Stochastic Analysis On Path Spaces -- an approach via c

Vwrfkdvwlf Dqdo|vlv Rq Sdwk Vsdfhv Dq Dssurdfk Yld
S0Vhpljurxs Surshuw|
Vkltl VRQJ
Xqlyhuvlw| ri Hyu|/ Ghsduwphqw ri Pdwkhpdwlfv
Erxohydug I1Plwwhuudqg
<4358 Hyu| Fhgh{/ Iudqfh
H0pdlo = vrqjCodpl1xqly0hyu|1iu
Ohw  eh d Ulhpdqqldq pdqlirog1 Wkh sdwk vsdfh dvvrfldwhg zlwk / ghqrwhg e| `E/
lv wkh idplo| ri doo frqwlqxrxv pdsv iurp +n lqwr 1 E| Vwrfkdvwlf Dqdo|vlv rq wkh sdwk
vsdfh `E zh phdq/ lq d vhqvh/ wkh gdwd ri d phdvxuh D rq `E/ dqg ri d ghqvho| ghqhg
glhuhqwldo rshudwru t +wdnlqj ydoxhv lq vrph Kloehuw vsdfh, rq O2 E`Ec D/ wrjhwkhu zlwk
wkh froohfwlrq ri wkh wklqjv vxfk dv
wkh glyhujhqfh rshudwru t +lqwhjudwlrq e| sduwv irupxod/ hwf1,>
wkh irupdoo| vhoi0dgmrlqw rshudwru t t +vshfwuxp/ fkdrv ghfrpsrvlwlrq/ jds surshuw|/ hwf1,>
wkh Vrerohy vsdfhv +glvwulexwlrqv/ Ph|hu*v lqhtxdolw|/ hwf1,>
wkh Fodun0Rfrqh*v irupxod/ Srlqfduì*v lqhtxdolw|/ Orj0Vrerohy lqhtxdolw|/ k|shufrqwudfwly0
lw|/ hwf1>
wkh dqwlflsdwlqj vwrfkdvwlf lqwhjudwlrq/ wkh fdsdflw| dqdo|vlv/ txdvl0lqyduldqfh ri phdvxuhv/
dqg vr rq1
W
W
Wkh prvw idprxv h{dpsoh ri vwrfkdvwlf dqdo|vlv pxvw eh wkh vr0fdoohg Pdooldylq fdofxoxv rq
wkh Zlhqhu vsdfh +d dw vlwxdwlrq, dqg wkh vwrfkdvwlf dqdo|vlv rq d jhqhudo sdwk vsdfh lv wrgd|
d yhu| dfwlyh uhvhdufk grpdlq +fi1 Gulyhu 4<<8,1 Lq wkh iroorzlqj sdjhv zh suhvhqw d sduwlfxodu
zd| wr lqwurgxfh glhuhqwldo rshudwruv rq wkh sdwk vsdfhv dqg zh vkdoo vkrz wkdw lw hqmr|v qh
surshuwlhv1
41 Wkh S0Vhpljurxs Surshuw|
Ohw  eh d _0glphqvlrqdo Ulhpdqqldq pdqlirog zlwk lwv phwulf } zklfk lv dvvxphg
wr eh rulhqwhg vhsdudeoh orfdoo| frpsdfw dqg frpsohwh1 Ohw + eh d glvwulexwlrq rq 1 Ohw
+ ghqrwh dovr wkh ruwkrjrqdo surmhfwlrq rq +1 Li k lv dq rqh irup rq / +k lv ghqhg wr eh
+Eky 1 Ohw > eh wkh fdqrqlfdo Ulhpdqqldq phdvxuh rq 1 Ohw R eh d srvlwlyh ixqfwlrq
rq 1 Zh frqvlghu wkh v|pphwulf irup ghqhg rq wkh vhw ri 5 f E +wkh idplo| ri ixqfwlrqv zlwk frpsdfw vxssruwv, =
"
"
"
"
"
]
} E+E_c +E_ R _> 2 
Lw lv forvdeoh dqg wkh forvxuh jlyhv ulvh wr d Glulfkohw irup "cMcR +Ixnxvklpd0Rvklpd0Wdnhgd
4<<7,1 Ohw ' E| c | f eh wkh wudqvlwlrq vhpljurxs ri "cMcR 1 Ohw f eh wkh Kxqw surfhvv
dvvrfldwhg zlwk "cMcR 1 Zh vkdoo fdoo wkh gdwd Ec } c +c "cMcR c Rc fc d vwdqgdug vhwwlqj/ li
lq dgglwlrq |  ' c | f1 D vwdqgdug vhwwlqj zloo dovr eh ghqrwhg e| wkh vhpljurxs dorqh1
Zh vd| wkdw lv d S0vhpljurxs +Vrqj 4<<8,/ li
wkhuh lv dqrwkhu vwdqgdug vhwwlqj Ec } c .c "cgc^ c ^c tc "/
d sdudooholvp rq . +l1h1 d pds iurp . lqwr K/ zkhuh K lv d qlwh glphqvlrqdo
RoJ
Kloehuw vsdfh/ vxfk wkdw iru + 5 / E.+ ' i+j K dqg .+ $ K $ K/ lv dq lvrphwu|,/
"
d vxephuvlrq pds ) iurp rqwr /
d pds U iurp lqwr wkh vsdfh ri erxqghg v|pphwulf olqhdu wudqvirupdwlrqv rq K/
"
vxfk wkdw
41
R > ' E^ > )  1
51
} E+E_c +E_E) ' } E.E_E )c .E_E )c 5 f E1
61
3
"
| s )E+ ' "| ds )oE+/ | fc s 5 f E dqg + 5 1
71 ._E| ) ' ,d| ._E )Et| oc zkhuh | f/ dqg ' E| | f lv wkh surfhvv zklfk
lv ghwhuplqhg e| wkh htxdwlrq = _| ' | UEt| _|c f ' _e? "
D
G
Li ' " dqg ) ' _e?/ zh vkdoo vd| wkdw lv d vhoi0frqwdlqhg S0vhpljurxs1
51 Wzr Edvlf H{dpsohv ri S0Vhpljurxsv
Vxssrvh wkdw  lv frpsdfw/ R 5 K E/ lv wkh vhpljurxs dvvrfldwhg zlwk wkh
Odsodfh0Ehowudpl rshudwru rq  dqg + ' A 1 Wkhq Ec } c A c "cA cR c Rc fc lv d S0vhpljurxs1
"
Vxssrvh wkdw G A  $  +_ lv d wulyldol}dwlrq rq A 1 Ohw Ee eh wkh fdqrqlfdo
edvh lq +_ 1 Ohw . '  Ee 1 Vxssrvh wkdw wkhuh lv & _ vxfk wkdw } E. c . '
Bc c d. c . o ' fc ;c &/ dqg B  . ' fc ; &1 Wkhq/ li + lv wkh glvwulexwlrq
jhqhudwhg e| . c &/ li R 5 K E/ Ec } c +c "cMcR c Rc fc lv d vhoi0frqwdlqhg
S0vhpljurxs1
3
"
61 Wkh Glhuhqwldo Rshudwru Dqg Wkh Lqwhjudwlrq E| Sduwv Irupxod
Zh frqvlghu d S0vhpljurxs dv deryh1 Ohw ,t ghqrwh wkh odz ri t lvvxhg iurp ^ >
dqg ohw ,f ghqrwh wkh odz ri f lvvxhg iurp R > 1 Iru fc ohw # ghqrwh wkh surfhvv
| $ |  dfco E| Iru rc | f/ vhw
3
Vrc| '
;
3
W
A
? Er | A
=
_e?
|  r
3
li r |
li r ' |
li r : |
Iru d ixqfwlrq s rq / ohw \Es ' ._s 1 Iru d vprrwk f|olqgulfdo ixqfwlrq 8 +l1h1
8 E ' E| c c |? zlwk d 5 f E? , rq `E/ \| 8 ghqrwhv wkh dfwlrq ri \ rq 8
zlwk uhvshfw wr wkh || frruglqdwh1 Zh qrz lqwurgxfh wkh glhuhqwldo rshudwru =
"
"
#r 8 E '
[
D f
# ErE\ 8 Ec r f
Qrwlfh #r 8 5 K1 Iru surfhvvhv ac a wdnlqj ydoxhv lq K/ zh ghqh
KEac a ' kaf c af l n 2
G
]
f
"
ka c UEt a l _c
G
dqg kac a l ' ,t dKEac a o1 Zh qrwlfh wkdw/ li U lv srvlwlyh ghqlwh/ kac a l lv dq lqqhu surgxfw
zklfk ghqhv d Fdphurq0Pduwlq vsdfh rq `E1
Ohw Ee c  & eh dq ruwkrqrupdo edvh lq K1 Ohw ) eh h{whqghg rqwr `E frruglqdwh
e| frruglqdwh1 Ohw 4| ghqrwh wkh || frruglqdwh rq `E1 Ohw . '  e c  & +qrwlfh
wkdw k._sc e l ' . s ,1 Ohw .c| c | fc  &c ghqrwh wkh dfwlrq ri . rq wkh ||
3
G
frruglqdwh1 Wkhq/ zh kdyh wkh iroorzlqj lqwhjudwlrq e| sduwv irupxod = iru vprrwk f|olqgulfdo
ixqfwlrqv sc }c rq `E/ +zh xvh wkh deeuhyldwlrqv vxfk dv s ) lqvwhdg ri s ),
S
S
,t d) KE#s )c #})o ' ,t d}) rc| c ke c Vrc| e l .c| E) .cr s )o
S S
,t d}) ) r EEB . )4r n E. *L} ^)4r .cr s )o
W
G
Ohw xv qrwlfh wkdw/ li Mc C duh wzr vprrwk f|olqgulfdo ixqfwlrqv/ KE#Mc #C kdv dqrwkhu
S
h{suhvvlrq = rc| k\r Mc Vrc| \| Cl W
G
71 Wkh Dvvrfldwhg Glulfkohw Irup Dqg Lwv Edvlf Surshuwlhv
Ohw xv eh jlyhq d S0vhpljurxs Ec } c +c "cMcR c Rc fc 1 Vxssrvh wkdw U lv srvlwlyh gh0
qlwh1 Wkhq/ wkh h{suhvvlrq 2 k#s )c #})l ghqhv d forvdeoh v|pphwulf irup rq O2 E`Ec ,f zkrvh forvxuh lv d Glulfkohw irup H1 Ohw S| eh wkh vhpljurxs ri H dqg ohw D eh wkh lqqlwhvlpdo
jhqhudwru1
41 Wkh Glulfkohw irup H lv dvvrfldwhg zlwk d glxvlrq surfhvv | $ ~| ' E~rc| c r f 5 `E
zklfk jlyhv ulvh wr d wzr0sdudphwhu v|pphwulf Pdunry surfhvv lq wkh zhdn vhqvh +Kluvfk0Vrqj
4<<8,/ zkrvh pdujlqdo vhpljurxsv duh htxdo wr 1
51 Vxssrvh lq dgglwlrq wkdw lv d vhoi0frqwdlqhg S0vhpljurxs/ dqg t kdv d wulyldol}dwlrq/ l1h1
wkhuh lv d &0glphqvlrqdo Eurzqldq prwlrq % ' E% dqg d yhfwru hog .f rq vxfk wkdw t lv
S
wkh vroxwlrq ri wkh VGH = _t| ' &' . Et| _% n.f Et| _|1 Wkhq/ wkh surfhvv ~ zloo eh d wzr0
sdudphwhu v|pphwulf Pdunry surfhvv lq wkh vwurqj vhqvh1 Dqg wkh Glulfkohw irup dvvrfldwhg
zlwk wkh Pdunry surfhvv r $ E~rc| c | f ghshqgv rq . . . . . . c  c &c dqg rq
wkh Khvvldq ri *L} R lq wkh vdph zd| dv H ghshqgv rq U1
61 Iru | f ohw .|t ghqrwh wkh frqglwlrqdo h{shfwdwlrq zlwk uhvshfw wr jitr ( r |j xqghu
,t 1 Vlploduo| zh ghqh .|f 1 Wkhq/ .|f frppxwh zlwk Sr c r fc dqg zlwk D1 Ohw eh d
vprrwk f|olqgulfdo ixqfwlrq rq `E vxfk wkdw ' .|f 1 Iru dq| vprrwk f|olqgulfdo ixqfwlrq
rq `E/ .|t KE#)c #) ' KE#)c #.|f do)1 Zh kdyh wkxv wkh orfdo Pdunry surshuw|
+fi1 Vrqj 4<<7,1
71 Vxssrvh wkdw t kdv d wulyldol}dwrq1 Zh kdyh dq Fodun0Rfrqh*v irupxod = iru dq| vprrwk
f|olqgulfdo ixqfwlrq s rq `E/
.|t Es ) ' .ft Es ) n
] | [
f
.rt dk#r s )c e l o _%r G
Zh vkrxog uhfdoo khuh wkh forvh uhodwlrq ehwzhhq wkh Fodun0Rfrqh*v irupxod dqg wkh Srlqfduì*v
dqg Orj0Vrerohy lqhtxdolw| +dqg wkhq wkh vshfwuxp jds surshuw| ru wkh k|shufrqwudfwlylw|,1
81 Zh
vxssrvh wkdw t kdv d wulyldol}dwlrq1 Ohw @ ' E@ 5 +_ 1 Zh lqwurgxfh wkh pduwlqjdoh
U
S
|@ ' f| c @ ke c r e l _% Er Ohw ,t+ ghqrwh wkh odz ri t lvvxhg iurp + 5 1 Wkhq/ zh
kdyh
G
,t+ d|@ s )Et| o ' |
[
@ ke c E\| s )E+l c | f
G
91 Ohw b : f dqg b eh wkh lqqlwhvlpdo jhqhudwru ri wkh Fdxfk| vhpljurxs dvvrfldwhg zlwk
b eh wkh Fdxfk| vhpljurxs dvvrfldwhg zlwk wkh vhpljurxs
wkh vhpljurxs Ee b| | c | f1 Ohw s
|
3
| $ E1 $ e b| ,t d| 1Et| o1 Ohw K eh lghqwlhg zlwk +& xvlqj wkh edvh Ee +zh xvh wkhuhiruh
wkh pdwul{ qrwdwlrqv,1 Zh kdyh wkhq wkh lghqwlw|
3
] 
tc
b d\E b s)o Etr  ebr _r e b m t ' +oc
\Es ) E+ ' , d s
r
2
f r
W
"
W
3
3
zkhuh lv d vshhghg Eurzqldq prwlrq frplqj iurp 4 dqg ' ?ui|( | ' fj1 Zh phqwlrq
khuh wkh forvh uhodwlrq ehwzhhq wkh deryh irupxod dqg wkh Ph|hu*v lqhtxdolwlhv +fi1 Vrqj 4<<8,1
:1 Vxssrvh  lv wkh Ulhpdqqldq pdqlirog +_ dqg + ' A 1 Lq wklv fdvh/ zh kdyh d vhoi0
frqwdlqhg S0vhpljurxs zlwk K ' +_ dqg t kdv d wulyldol}dwlrq =
t|
'+
n q|
] |
n
Y *L} REt| _|c
2 f
zkhuh q lv d _0glphqvlrqdo Eurzqldq prwlrq +qrwlfh wkdw t ' t E+c q lv wkxv d ixqfwlrq ri + 5
 dqg ri q,1 Wkhq/ frqvlghuhg dv d ixqfwlrq ri t / q| c | fc duh orfdoo| lq wkh forvxuh ri # dqg
#Eq| ' ofc|o e c  _ Wklv lghqwlw| |lhogv wkh srvvlelolw| ri wudqvodwlqj wkh frpsxwdwlrqv
rq `E wr wkh frpsxwdwlrqv rq wkh Zlhqhu vsdfh dvvrfldwhg zlwkUq1 Iru h{dpsoh/ zh fdq
S
rewdlq lq wklv zd| wkdw q| lv orfdoo| lq wkh grpdlq ri D dqg Dq| ' f| SEt c _q / ru wkdw/
iru vprrwk a wdnlqj ydoxhv lq +_ / ,t dE# a2 o lv ryhuhvwlpdwhg e|
W
U"
U" U" S
c #cr EUEt a #c EUEtr ar _r_o
f
2,t dEB  af 2 n e f kSEt a c SEt a l _ n e f
G
Khuh B  af lv frpsxwhg zlwk uhvshfw wr + 5  zkhq zh uhjdug af ' af Et E+c q dv d ixqfwlrq
ri + iru {hg q1
UHIHUHQFHV
Gulyhu/ E1 +4<<8,1 D Sulphu rq Ulhpdqqldq Jhrphwu| dqg Vwrfkdvwlf Dqdo|vlv rq Sdwk Vsdfhv1
kwws=22pdwk1xfvg1hgx2gulyhu21
Ixnxvklpd/ P1 dqg Rvklpd/ \1 dqg Wdnhgd/ P1 +4<<7,1 Glulfkohw irupv dqg V|pphwulf Pdunry
Surfhvvhv1 Zdowhu gh Jux|whu1
Kluvfk/ I1 dqg Vrqj/ V1 +4<<8,1 Pdunry surshuwlhv ri pxowlsdudphwhu surfhvvhv dqg fdsdflwlhv1
S1W1U1I1 43604/ 780:41
Vrqj/ V1 +4<<7,1 Frqvwuxfwlrq g*xq surfhvvxv ã ghx{ sdudpëwuhv ã sduwlu g*xq vhpljurxsh ã
xq sdudpëwuh1 lq QDWR DVL vhulhv yroxph = Fodvvlfdo dqg D{lrpdwlf Srwhqwldo Wkhru| dqg
dssolfdwlrqv/ 74<07841 Noxzhu1
Vrqj/ V1 +4<<8,1 F0vhpljurxsv rq Edqdfk vsdfhv dqg ixqfwlrqdo lqhtxdolwlhv1 lq Ohfwxuh Qrwhv
lq Pdwk1 49461 Vìplqdluh gh Suredelolwìv [[L[/ 5<:06591
IUHQFK UÌVXPÌ
O*hvsdfh `E ghv dssolfdwlrqv frqwlqxhv ã ydohxuv gdqv  hvw dsshoì o*hvsdfh ghv
fkhplqv1 Xqh dqdo|vh vwrfkdvwltxh vxu `E hvw od grqqìh g*xqh phvxuh D vxu `E/ g*xq
rsìudwhxu glìuhqwlho # gdqv O2 E`Ec D dyhf xqh irupxoh g*lqwìjudwlrq sdu sduwlh grqqdqw
# / hw g*xqh froohfwlrq gh sursulìwìv srxu o*rsìudwhxu # #1 Gdqv fh sdslhu/ rq suìvhqwh xqh
pìwkrgh gh frqvwuxfwlrq gh # yld od sursulìwì gh S0vhpljurxsh1 Rq suìvhqwh ìjdohphqw txhotxhv
sursulìwìv gh # #1
W
W
W