WikiDer > Stoxastik jarayonlar va chegara muammolari - Vikipediya

Yilda matematika, biroz chegara muammolari usullari yordamida echilishi mumkin stoxastik tahlil. Ehtimol, eng taniqli misol Shizuo Kakutanining 1944 yildagi echimi Dirichlet muammosi uchun Laplas operatori foydalanish Braun harakati. Biroq, katta sinf uchun yarim elliptik ikkinchi darajali qisman differentsial tenglamalar bog'liq Dirichlet chegara muammosini an yordamida echish mumkin Bu jarayon bog'liq bo'lgan narsani hal qiladi stoxastik differentsial tenglama.

Kirish: Kakutani klassik Dirichlet muammosiga yechim

Ruxsat bering ${ displaystyle D}$ domen bo'ling (an ochiq va ulangan to'plam) ichida ${ textstyle mathbb {R} ^ {n}}$. Ruxsat bering ${ displaystyle Delta}$ bo'lishi Laplas operatori, ruxsat bering ${ displaystyle g}$ bo'lishi a cheklangan funktsiya ustida chegara ${ displaystyle kısalt D}$va muammoni ko'rib chiqing:

${ displaystyle { begin {case} - Delta u (x) = 0, & x in D displaystyle { lim _ {y to x} u (y)} = g (x), & x qisman D end {holatlarda}}}$

Agar echim bo'lsa, buni ko'rsatish mumkin ${ displaystyle u}$ mavjud, keyin ${ displaystyle u (x)}$ bo'ladi kutilayotgan qiymat ning ${ displaystyle g (x)}$ dan (tasodifiy) birinchi chiqish nuqtasida ${ displaystyle D}$ kanonik uchun Braun harakati dan boshlab ${ displaystyle x}$. Kakutani 1944 yildagi 3-teoremaga qarang. 710.

Dirichlet-Puasson muammosi

Ruxsat bering ${ displaystyle D}$ domen bo'lishi ${ textstyle mathbb {R} ^ {n}}$ va ruxsat bering ${ displaystyle L}$ bo'yicha yarim elliptik differentsial operator bo'ling ${ textstyle C ^ {2} ( mathbb {R} ^ {n}; mathbb {R})}$ shakl:

${ displaystyle L = sum _ {i = 1} ^ {n} b_ {i} (x) { frac { qismli} { qisman x_ {i}}} + sum _ {i, j = 1 } ^ {n} a_ {ij} (x) { frac { qismli ^ {2}} { qisman x_ {i} , qisman x_ {j}}}}$

bu erda koeffitsientlar ${ displaystyle b_ {i}}$ va ${ displaystyle a_ {ij}}$ bor doimiy funktsiyalar va hamma o'zgacha qiymatlar ning matritsa ${ displaystyle alfa (x) = a_ {ij} (x)}$ salbiy emas. Ruxsat bering ${ textstyle f in C (D; mathbb {R})}$ va ${ textstyle g in C ( qismli D; mathbb {R})}$. Ni ko'rib chiqing Poisson muammosi:

${ displaystyle { begin {case} -Lu (x) = f (x), & x in D displaystyle { lim _ {y to x} u (y)} = g (x), & x in kısmi D end {holatlar}} quad { mbox {(P1)}}}$

Ushbu muammoni hal qilishning stoxastik usuli g'oyasi quyidagicha. Birinchidan, bitta topadi Bu diffuziya ${ displaystyle X}$ kimning cheksiz kichik generator ${ displaystyle A}$ bilan mos keladi ${ displaystyle L}$ kuni ixcham qo'llab-quvvatlanadigan ${ displaystyle C ^ {2}}$ funktsiyalari ${ displaystyle f: mathbb {R} ^ {n} rightarrow mathbb {R}}$. Masalan, ${ displaystyle X}$ stoxastik differentsial tenglamaning echimi bo'lishi mumkin:

${ displaystyle mathrm {d} X_ {t} = b (X_ {t}) , mathrm {d} t + sigma (X_ {t}) , mathrm {d} B_ {t}}$

qayerda ${ displaystyle B}$ bu n- o'lchovli Braun harakati, ${ displaystyle b}$ tarkibiy qismlarga ega ${ displaystyle b_ {i}}$ yuqoridagi kabi va matritsa maydoni ${ displaystyle sigma}$ shunday tanlangan:

${ displaystyle { frac {1} {2}} sigma (x) sigma (x) ^ { top} = a (x), quad forall x in mathbb {R} ^ {n} }$

Bir nuqta uchun ${ displaystyle x in mathbb {R} ^ {n}}$, ruxsat bering ${ displaystyle mathbb {P} ^ {x}}$ qonunini bildiradi ${ displaystyle X}$ berilgan dastlabki ma'lumot ${ displaystyle X_ {0} = x}$va ruxsat bering ${ displaystyle mathbb {E} ^ {x}}$nisbatan kutishni bildiradi ${ displaystyle mathbb {P} ^ {x}}$. Ruxsat bering ${ displaystyle tau _ {D}}$ ning birinchi chiqish vaqtini belgilang ${ displaystyle X}$ dan ${ displaystyle D}$.

Ushbu yozuvda (P1) uchun nomzodning echimi:

${ displaystyle u (x) = mathbb {E} ^ {x} left [g { big (} X _ { tau _ {D}} { big)} cdot chi _ { { tau _ {D} <+ infty }} right] + mathbb {E} ^ {x} left [ int _ {0} ^ { tau _ {D}} f (X_ {t}) , mathrm {d} t o'ng]}$

sharti bilan ${ displaystyle g}$ a cheklangan funktsiya va bu:

${ displaystyle mathbb {E} ^ {x} left [ int _ {0} ^ { tau _ {D}} { big |} f (X_ {t}) { big |} , mathrm {d} t right] <+ infty}$

Ko'rinib turibdiki, yana bitta shart talab qilinadi:

${ displaystyle mathbb {P} ^ {x} { big (} tau _ {D} < infty { big)} = 1, quad forall x in D}$

Barcha uchun ${ displaystyle x}$, jarayon ${ displaystyle X}$ dan boshlab ${ displaystyle x}$ deyarli aniq barglar ${ displaystyle D}$ cheklangan vaqt ichida. Ushbu taxmin bo'yicha, yuqoridagi nomzodning echimi quyidagicha kamayadi:

${ displaystyle u (x) = mathbb {E} ^ {x} left [g { big (} X _ { tau _ {D}} { big)} right] + mathbb {E} ^ {x} left [ int _ {0} ^ { tau _ {D}} f (X_ {t}) , mathrm {d} t right]}$

va (P1) ni shu ma'noda hal qiladi ${ displaystyle { mathcal {A}}}$ uchun xarakterli operatorni bildiradi ${ displaystyle X}$ (bu bilan rozi ${ displaystyle A}$ kuni ${ displaystyle C ^ {2}}$ funktsiyalar), keyin:

${ displaystyle { begin {case} - { mathcal {A}} u (x) = f (x), & x in D displaystyle { lim _ {t uparrow tau _ {D}} u (X_ {t})} = g { big (} X _ { tau _ {D}} { big)}, & mathbb {P} ^ {x} { mbox {-as,}} ; forall x in D end {case}} quad { mbox {(P2)}}}$

Bundan tashqari, agar ${ textstyle v in C ^ {2} (D; mathbb {R})}$ qondiradi (P2) va doimiy mavjud ${ displaystyle C}$ hamma uchun ${ displaystyle x in D}$:

${ displaystyle | v (x) | leq C left (1+ mathbb {E} ^ {x} left [ int _ {0} ^ { tau _ {D}} { big |} g (X_ {s}) { big |} , mathrm {d} s right] right)}$

keyin ${ displaystyle v = u}$.

Adabiyotlar

• Kakutani, Shizuo (1944). "Ikki o'lchovli Braun harakati va garmonik funktsiyalar". Proc. Imp. Akad. Tokio. 20 (10): 706–714. doi:10.3792 / pia / 1195572706.
• Kakutani, Shizuo (1944). "Braun harakatlari to'g'risida n- bo'shliq ". Proc. Imp. Akad. Tokio. 20 (9): 648–652. doi:10.3792 / pia / 1195572742.
• Oksendal, Bernt K. (2003). Stoxastik differentsial tenglamalar: dasturlar bilan tanishtirish (Oltinchi nashr). Berlin: Springer. ISBN 3-540-04758-1. (9-bo'limga qarang)