v matematika, Doobova nerovnost martingale, také známý jako Kolmogorovova submartingální nerovnost je výsledkem studia stochastické procesy. Poskytuje ohraničení pravděpodobnosti, že stochastický proces překročí jakoukoli danou hodnotu v daném časovém intervalu. Jak název napovídá, výsledek je obvykle uveden v případě, že jde o a martingale, ale výsledek je platný i pro submartingales.
Nerovnost je způsobena americkým matematikem Joseph L. Doob.
Prohlášení o nerovnosti
Nechat X být submartingale přijímání skutečných hodnot, buď v diskrétním nebo kontinuálním čase. To znamená navždy s a t s s < t,
![{ displaystyle X_ {s} leq operatorname {E} [X_ {t} mid { mathcal {F}} _ {s}].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c355b118cbb95b7bb59228b1a9f9662bbbb710c8)
(U nepřetržitého submartingale předpokládejme dále, že proces je càdlàg.) Potom pro každou konstantu C > 0,
![{ displaystyle P left [ sup _ {0 leq t leq T} X_ {t} geq C right] leq { frac { operatorname {E} [{ textrm {max}} (X_ {T}, 0)]} {C}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d36011782354dc208ef8504a0aece7fcb0c6ce62)
Ve výše uvedeném, jak je obvyklé, P označuje a míra pravděpodobnosti na vzorkovém prostoru Ω stochastického procesu
![X: [0, T] krát Omega až [0, + infty)](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d73ca33eff3441beff5f462deb362a83a21b5ce)
a
označuje očekávaná hodnota s ohledem na míru pravděpodobnosti P, tj. integrál
![{ displaystyle operatorname {E} [X_ {T}] = int _ { Omega} X_ {T} ( omega) , mathrm {d} P ( omega)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a75d1e96be90d20d2f6a0645fa5778d785ffff7c)
ve smyslu Lebesgueova integrace.
označuje σ-algebra generované všemi náhodné proměnné Xi s i ≤ s; soubor takových σ-algeber tvoří a filtrace pravděpodobnostního prostoru.
Další nerovnosti
Existují další nerovnosti submartingale také kvůli Doobovi. Se stejnými předpoklady X jak je uvedeno výše, nechť

a pro p ≥ 1 let
![{ displaystyle | X_ {t} | _ {p} = | X_ {t} | _ {L ^ {p} ( Omega, { mathcal {F}}, P)} = vlevo ( operatorname {E} [| X_ {t} | ^ {p}] right) ^ {1 / p}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/886be456c431ebeb2d103b62323e91dd19369a26)
V této notaci zní Doobova nerovnost, jak je uvedeno výše
![{ displaystyle P [S_ {T} geq C] leq { frac { | X_ {T} | _ {1}} {C}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/33364b1f06ddbb0933bf11355869628158026eed)
Platí také následující nerovnosti:

a pro p > 1,

Poslední z nich je někdy známá jako Doobova maximální nerovnost.
Související nerovnosti
Doobova nerovnost pro diskrétní martingales naznačuje Kolmogorovova nerovnost: pokud X1, X2, ... je sled skutečných hodnot nezávislé náhodné proměnné, každý se střední nulou, je jasné, že
![{ displaystyle { begin {aligned} operatorname {E} left [X_ {1} + cdots + X_ {n} + X_ {n + 1} mid X_ {1}, ldots, X_ {n} right] & = X_ {1} + cdots + X_ {n} + operatorname {E} left [X_ {n + 1} mid X_ {1}, ldots, X_ {n} right] & = X_ {1} + cdots + X_ {n}, end {zarovnáno}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4e1758a5a9aecf9a8a2f4924f6fab0c2c7da1d0)
takže Sn = X1 + ... + Xn je martingale. Všimněte si, že Jensenova nerovnost znamená, že | Sn| je nezáporný submartingale, pokud Sn je martingale. Proto, přičemž p = 2 v Doobově nerovnosti martingale,
![{ displaystyle P left [ max _ {1 leq i leq n} left | S_ {i} right | geq lambda right] leq { frac { operatorname {E} left [ S_ {n} ^ {2} right]} { lambda ^ {2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/901d68d85b1dcfde0b0eeb740ac56f7e03ee2aa1)
což je přesně tvrzení Kolmogorovovy nerovnosti.
Aplikace: Brownův pohyb
Nechat B označovat kanonické jednorozměrné Brownův pohyb. Pak
![{ displaystyle P left [ sup _ {0 leq t leq T} B_ {t} geq C right] leq exp left (- { frac {C ^ {2}} {2T} }že jo).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73d503050f20b58c26523ec27f525f5c4d23bfdf)
Důkaz je následující: protože exponenciální funkce se monotónně zvyšuje, pro jakékoli nezáporné λ,

Doobovou nerovností a protože exponenciál Brownova pohybu je pozitivní submartingale,
![{ displaystyle { begin {zarovnáno} P left [ sup _ {0 leq t leq T} B_ {t} geq C right] & = P left [ sup _ {0 leq t leq T} exp ( lambda B_ {t}) geq exp ( lambda C) right] [8pt] & leq { frac { operatorname {E} [ exp ( lambda B_ { T})]} { exp ( lambda C)}} [8pt] & = exp left ({ tfrac {1} {2}} lambda ^ {2} T- lambda C right ) && operatorname {E} left [ exp ( lambda B_ {t}) right] = exp left ({ tfrac {1} {2}} lambda ^ {2} t right) konec {zarovnáno}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7adc5f4ced3ecbe70772469ff09afc03f99ca28)
Protože levá strana nezávisí na λ, Vybrat λ minimalizovat pravou stranu: λ = C/T dává požadovanou nerovnost.
Reference