Satz von Hörmander

Der Satz von Hörmander ist ein Theorem aus der Mathematik. Er ist ein Ergebnis aus der stochastischen Analysis (Malliavin-Kalkül) und der Theorie der partiellen Differentialgleichungen. Der Satz beweist die Existenz einer stetigen Dichte der Lösung einer stochastischen Differentialgleichung. Er wurde ursprünglich von Lars Hörmander für partielle Differentialgleichungen bewiesen. Im Artikel wird die probabilistische Variante behandelt.

Satz von Hörmander

Seien $V_0,V_1,\dots ,V_n$ Vektorfelder, für die die Hörmander-Bedingung gilt, und $\xi$ sei die Lösung der folgenden stochastischen Differentialgleichung

${\xi }_t=x+\underset{0}{\overset{t}{\int }}{V}_0({\xi }_s)\mathrm{d}s+\sum _{i=1}^n\underset{0}{\overset{t}{\int }}{V}_i({\xi }_s)\circ \mathrm{d}{B}_i(s)$,

wobei $\circ \mathrm{d}$ das Stratonowitsch-Integral bezeichnet und $B=(B_1,\dots ,B_n)$ die ${ℝ}^n$-Brownsche Bewegung. Dann hat für $t\in (0,1]$ die Zufallsvariable ${\xi }_t$ eine absolut-stetige Verteilung mit Dichte in $C^{\mathrm{\infty }}$.

Hörmander-Bedingung

Mit $[A,B]$ bezeichne man Lie-Klammern mit Fréchet-Ableitungen $\mathrm{D}A(x)$

$[A,B](x)=\mathrm{D}A(x)B(x)-A(x)\mathrm{D}B(x)$.

Seien $V_0,V_1,\dots ,V_n$ beschränkte Vektorfelder in $C^{\mathrm{\infty }}({ℝ}^d)$ mit beschränkten Ableitungen jeder Ordnung. Definiere $U_0:=\{V_0,V_1,\dots ,V_n\}$ und rekursiv

$U_{n+1}:=U_n\cup \{[V,V_i],V\in U_n\mid i\in \{0,1,\dots ,n\}\}$.

Setze außerdem

$𝒰:=\bigcup U_n$ und

$𝒰(x):=\mathrm{span}(U(x)\mid U\in 𝒰)$.

Dann erfüllt die Familie $V_0,V_1,\dots ,V_n$ die Hörmander-Bedingung, wenn für jedes $x\in {ℝ}^d$ die Gleichheit

$\dim 𝒰(x)=d$

gilt.