To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Hörmander's condition

From Wikipedia, the free encyclopedia

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.

YouTube Encyclopedic

  • 1/2
    Views:
    527
    847
  • Anton Thalmaier: The geometry of subelliptic diffusions
  • Nicola Garofalo: Hypoelliptic operators and analysis on Carnot-Carathéodory spaces

Transcription

Definition

Given two C1 vector fields V and W on d-dimensional Euclidean space Rd, let [VW] denote their Lie bracket, another vector field defined by

where DV(x) denotes the Fréchet derivative of V at x ∈ Rd, which can be thought of as a matrix that is applied to the vector W(x), and vice versa.

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.

Application to stochastic differential equations

Consider the stochastic differential equation (SDE)

where the vectors fields are assumed to have bounded derivative, the normalized n-dimensional Brownian motion and stands for the Stratonovich integral interpretation of the SDE. 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

to have 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.

Application to control systems

Let M be a smooth manifold and be smooth vector fields on M. Assuming that these vector fields satisfy Hörmander's condition, then the control system

is locally controllable in any time at every point of M. This is known as the Chow–Rashevskii theorem. See Orbit (control theory).

See also

References

  • Bell, Denis R. (2006). The Malliavin calculus. Mineola, NY: Dover Publications Inc. pp. x+113. ISBN 0-486-44994-7. MR2250060 (See the introduction)
  • Hörmander, Lars (1967). "Hypoelliptic second order differential equations". Acta Math. 119: 147–171. doi:10.1007/BF02392081. ISSN 0001-5962. MR0222474
This page was last edited on 23 January 2024, at 11:54
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.