Doobs martingale eşitsizliği - Doobs martingale inequality - Wikipedia

İçinde matematik, Doob'un martingale eşitsizliği, Ayrıca şöyle bilinir Kolmogorov’un submartingale eşitsizliği çalışmasının bir sonucudur Stokastik süreçler. Bir stokastik sürecin belirli bir zaman aralığında verilen herhangi bir değeri aşma olasılığına bir sınır verir. Adından da anlaşılacağı gibi, sonuç genellikle sürecin bir süreç olması durumunda verilir. Martingale ancak sonuç submartingales için de geçerlidir.

Eşitsizlik Amerikalı matematikçiden kaynaklanıyor Joseph L. Doob.

Eşitsizlik beyanı

İzin Vermek X olmak submartingale Kesikli veya sürekli zamanda gerçek değerler almak. Yani, her zaman için s ve t ile s < t,

${ displaystyle X_ {s} leq operatorname {E} [X_ {t} mid { mathcal {F}} _ {s}].}$

(Sürekli-zamanlı bir alt-martingale için, işlemin ayrıca càdlàg.) Sonra, herhangi bir sabit için C > 0,

${ displaystyle P sol [ sup _ {0 leq t leq T} X_ {t} geq C sağ] leq { frac { operatöradı {E} [{ textrm {maks}} (X_ {T}, 0)]} {C}}.}$

Yukarıda, geleneksel olduğu gibi, P bir olasılık ölçüsü stokastik sürecin örnek uzayında Ω

${ displaystyle X: [0, T] times Omega ila [0, + infty)}$

ve ${ displaystyle operatöradı {E} [X]}$ gösterir beklenen değer olasılık ölçüsü ile ilgili olarak P, yani integral

${ displaystyle operatorname {E} [X_ {T}] = int _ { Omega} X_ {T} ( omega) , mathrm {d} P ( omega)}$

anlamında Lebesgue entegrasyonu. ${ displaystyle { mathcal {F}} _ {s}}$ gösterir σ-cebir hepsi tarafından üretildi rastgele değişkenler X_ben ile ben ≤ s; bu tür σ-cebirlerin toplanması bir süzme olasılık uzayının.

Diğer eşitsizlikler

Doob nedeniyle de alt-alt eşitsizlikler var. Aynı varsayımlarla X yukarıdaki gibi izin ver

${ displaystyle S_ {t} = sup _ {0 leq s leq t} X_ {s},}$

ve için p ≥ 1 izin

${ displaystyle | X_ {t} | _ {p} = | X_ {t} | _ {L ^ {p} ( Omega, { mathcal {F}}, P)} = sol ( operatöradı {E} [| X_ {t} | ^ {p}] sağ) ^ {1 / p}.}$

Bu gösterimde, Doob'un eşitsizliği yukarıda belirtildiği gibi okur

${ displaystyle P [S_ {T} geq C] leq { frac { | X_ {T} | _ {1}} {C}}.}$

Aşağıdaki eşitsizlikler de geçerlidir:

${ displaystyle | S_ {T} | _ {1} leq { frac {e} {e-1}} sol (1+ | X_ {T} log ^ {+} X_ {T} | _ {1} sağ)}$

ve için p > 1,

${ displaystyle | X_ {T} | _ {p} leq | S_ {T} | _ {p} leq { frac {p} {p-1}} | X_ {T} | _ {p}.}$

Bunların sonuncusu bazen Doob'un Maksimal eşitsizliği olarak bilinir.

İlgili eşitsizlikler

Doob'un ayrık zamanlı martingaller için eşitsizliği şu anlama gelir: Kolmogorov eşitsizliği: Eğer X₁, X₂, ... gerçek değerli bir dizi bağımsız rastgele değişkenler, her birinin ortalama sıfır olduğu açıktır.

${ displaystyle { begin {align} operatorname {E} left [X_ {1} + cdots + X_ {n} + X_ {n + 1} mid X_ {1}, ldots, X_ {n} right] & = X_ {1} + cdots + X_ {n} + operatöradı {E} left [X_ {n + 1} mid X_ {1}, ldots, X_ {n} sağ] & = X_ {1} + cdots + X_ {n}, end {hizalı}}}$

yani S_n = X₁ + ... + X_n bir martingal. Bunu not et Jensen'in eşitsizliği ima eder ki | S_n| negatif olmayan bir alt-martingale, eğer S_n bir martingal. Bu nedenle, alarak p Doob'un martingale eşitsizliğinde = 2,

${ displaystyle P sol [ max _ {1 leq i leq n} sol | S_ {i} sağ | geq lambda sağ] leq { frac { operatöradı {E} sol [ S_ {n} ^ {2} sağ]} { lambda ^ {2}}},}$

Bu tam olarak Kolmogorov'un eşitsizliğinin ifadesidir.

Uygulama: Brownian hareketi

İzin Vermek B kanonik tek boyutlu gösterir Brown hareketi. Sonra

${ displaystyle P sol [ sup _ {0 leq t leq T} B_ {t} geq C sağ] leq exp sol (- { frac {C ^ {2}} {2T} }sağ).}$

Kanıt sadece aşağıdaki gibidir: üstel fonksiyon, negatif olmayan herhangi bir λ için monoton olarak arttığından,

${ displaystyle sol { sup _ {0 leq t leq T} B_ {t} geq C sağ } = sol { sup _ {0 leq t leq T} exp ( lambda B_ {t}) geq exp ( lambda C) sağ }.}$

Doob'un eşitsizliğine göre ve Brownian hareketinin üssü pozitif bir alt-martingale olduğu için,

${ displaystyle { begin {align} P sol [ sup _ {0 leq t leq T} B_ {t} geq C sağ] & = P sol [ 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 sağ ) && operatöradı {E} sol [ exp ( lambda B_ {t}) sağ] = exp left ({ tfrac {1} {2}} lambda ^ {2} t sağ) son {hizalı}}}$

Sol taraf şuna bağlı olmadığından λ, Seç λ sağ tarafı küçültmek için: λ = C/T istenen eşitsizliği verir.

Referanslar

• Revuz, Daniel; Yor, Marc (1999). Sürekli martingales ve Brownian hareketi (Üçüncü baskı). Berlin: Springer. ISBN  3-540-64325-7. (Teorem II.1.7)
• Shiryaev, Albert N. (2001) [1994], "Martingale", Matematik Ansiklopedisi, EMS Basın