Doobsche Maximalungleichung

Die Doobsche Maximalungleichung ist eine der zentralen Ungleichungen in der Stochastik. Neben der Burkholder-Ungleichung ist sie eine der gängigsten Berechnungsmethoden für die (stochastische) Größenordnung von (stetigen) Martingalen. Sie ist nach Joseph L. Doob benannt und findet sich in der Literatur unter unterschiedlichen Namen (Doobsche $L^{p}$-Ungleichung, Doobsche Ungleichung(en), Doobsche Extremal-Ungleichungen, Maximale Ungleichung, Doobs Maximal-Ungleichung) wie auch in leicht unterschiedlichen Formulierungen, die sich durch die Anzahl der angegebenen Ungleichungen und die Voraussetzungen unterscheiden. Die Benennung als $L^{p}$-Ungleichung folgt aus der Verwendung der $L^{p}$-Norm, die Benennung als "Maximal", da das Supremum der ersten Glieder des Prozesses abgeschätzt wird. Es finden sich auch Unterschiede in der Notation, so werden entweder die $L^{p}$-Norm oder der Erwartungswert zur Formulierung verwendet.

Diskrete Indexmenge

Sei $(X_{n})_{n\in \mathbb {N} }$ ein stochastischer Prozess. Definiere

$X_{n}^{*}:=\sup\{X_{k}\,|\,k\leq n\}$ und $|X|_{n}^{*}:=\sup\{|X_{k}|\,|\,k\leq n\}$

Ist $X$ ein Submartingal, dann gilt für jedes $\lambda >0$

$\lambda P(X_{n}^{*}\geq \lambda )\leq \operatorname {E} (X_{n}\mathbf {1} _{\{X_{n}^{*}\geq \lambda \}})\leq \operatorname {E} (|X_{n}|\mathbf {1} _{\{X_{n}^{*}\geq \lambda \}})$.

Ist $X$ ein Martingal oder ein positives Submartingal und ist $\lambda >0$ sowie $p\geq 1$, so gilt

$\lambda ^{p}P(|X|_{n}^{*}\geq \lambda )\leq \operatorname {E} (|X_{n}|^{p})$.

Des Weiteren gilt für jedes $p>1$ immer

$\operatorname {E} (|X_{n}|^{p})\leq \operatorname {E} \left(\left(|X|_{n}^{*}\right)^{p}\right)\leq \left({\frac {p}{p-1}}\right)^{p}\operatorname {E} (|X_{n}|^{p})$

In der Formulierung finden sich diverse Unterschiede. So zählen manche Autoren die erste Ungleichung nicht dazu, andere formulieren lediglich die erste und die zweite Ungleichung, und diese nur für positive Submartingale, zeigen nur einen Spezialfall für fixes $p$ oder nennen die erste Ungleichung Doobsche Extremal-Ungleichung und die zweite Doobsche $L^{p}$-Ungleichung.

Stetige Indexmenge

Es sei $(M_{t})_{t\geq 0}\;$ ein Martingal oder nichtnegatives Submartingal und $p>1$ und sei $(M_{t})$ rechtsstetig. Dann gilt für alle $T>0$:

$\|\sup _{t\leq T}|M_{t}|\,\|_{p}\leq {\frac {p}{p-1}}\|M_{T}\|_{p}$.

Dabei bezeichnet $\|\cdot \|_{p}$ die Lp-Norm. Man beachte, dass $q={\tfrac {p}{p-1}}$ die konjugierte reelle Zahl zu $p$ ist, d. h., es gilt ${\tfrac {1}{p}}+{\tfrac {1}{q}}=1$. Entsprechend ist der zentrale Beweisschritt die Anwendung der Hölder-Ungleichung.

Literatur

• Achim Klenke: Wahrscheinlichkeitstheorie. 3. Auflage. Springer-Verlag, Berlin Heidelberg 2013, ISBN 978-3-642-36017-6, doi:10.1007/978-3-642-36018-3. 
• David Meintrup, Stefan Schäffler: Stochastik. Theorie und Anwendungen. Springer-Verlag, Berlin Heidelberg New York 2005, ISBN 978-3-540-21676-6, doi:10.1007/b137972. 
• Norbert Kusolitsch: Maß- und Wahrscheinlichkeitstheorie. Eine Einführung. 2., überarbeitete und erweiterte Auflage. Springer-Verlag, Berlin Heidelberg 2014, ISBN 978-3-642-45386-1, doi:10.1007/978-3-642-45387-8. 
• Klaus D. Schmidt: Maß und Wahrscheinlichkeit. 2., durchgesehene Auflage. Springer-Verlag, Heidelberg Dordrecht London New York 2011, ISBN 978-3-642-21025-9, doi:10.1007/978-3-642-21026-6.