In mathematics, Hörmander's condition is a property of vector fields that, if satisfied, has many useful consequences in the theory of partial and stochastic differential equations. The condition is named after the Swedish mathematician Lars Hörmander.
Let A0, A1, ... An be vector fields on Rd. They are said to satisfy Hörmander's condition if, for every point x ∈ Rd, the vectors
span Rd. They are said to satisfy the parabolic Hörmander condition if the same holds true, but with the index taking only values in 1,...,n.
Now consider the stochastic differential equation
where the vectors fields are assumed to have bounded derivative. Hörmander's theorem asserts that if the SDE above satisfies the parabolic Hörmander condition, then its solutions admit a smooth density with respect to Lebesgue measure.
Application to the Cauchy problem
With the same notation as above, define a second-order differential operator F by
An important problem in the theory of partial differential equations is to determine sufficient conditions on the vector fields Ai for the Cauchy problem
has a smooth fundamental solution, i.e. a real-valued function p (0, +∞) × R2d→R such that p(t, ·, ·) is smooth on R2d for each t and
satisfies the Cauchy problem above. It had been known for some time that a smooth solution exists in the elliptic case, in which
and the matrix A = (aji), 1 ≤ j ≤ d, 1 ≤ i ≤ n is such that AA∗ is everywhere an invertible matrix.
The great achievement of Hörmander's 1967 paper was to show that a smooth fundamental solution exists under a considerably weaker assumption: the parabolic version of the condition that now bears his name.