2210 CHAPTER 64. WIENER PROCESSES

=m

∑k=1

dk

∫Rp

f (Y)dνk

where νk (B)≡∫

ΩXDkXB (Y)dP. Now let

νn (B)≡∫

m

∑k=1

dkXDkXB (Y) =∫

snXB (Y)dP

It is indexed with n thanks to sn. Then

νn (B) =m

∑k=1

dk

∫Ω

XDkXB (Y)dP =m

∑k=1

dkνk (B)

Hence ∫Ω

f (Y)sndP =∫

f (Y)m

∑k=1

dkXDk dP =m

∑k=1

dk

∫Rp

f (y)dνk

=∫Rp

f (y)m

∑k=1

dkdνk =∫Rp

f (y)dνn

(sndP = dνn so to speak.) Then let sn (ω) ↑ X (ω) . Clearly νn ≪ ν and so by the RadonNikodym theorem dνn = hndν where hn ↑ 1. It follows from the monotone convergencetheorem that one can pass to a limit in the above and obtain∫

f (Y)XdP =∫Rp

f (y)dν

The interest here is to let f (Y) ≡ eλ ·Y so f (y) = eλ ·y. To remember this, XdP = dν in asort of sloppy way then the above formula holds.

Lemma 64.6.4 Each eW (h) is in Lp (Ω) for every h ∈ H and for every p≥ 1. In fact,∫Ω

(eW (h)

)pdP =

∫Ω

eW (ph)dP = e12 |ph|2H .

In addition to this,n

∑k=0

W (h)k

k!→ eW (h) in Lp (Ω,F ,P) , p > 1

Proof: It suffices to verify this for all positive integers p. Let p be such an integer. Notethat from the linearity of W,

(eW (h)

)p= epW (h) = eW (ph) and so it suffices to verify that for

each h ∈ H,eW (h) is in L1 (Ω). From Lemma 64.6.3,∫Ω

eW (h)dP =∫R

eydν (y)

where ν (B)≡∫

ΩXB (W (h))dP =

∫RXB (y)dν (y) . In using this lemma, Y =W (h) ,X =

1. Thus∫Ω

eW (h)dP =∫

0ν (ey > λ )dλ =

∫∞

0

1√2π |h|

∫[y>ln(λ )]

e− 1

2y2

|h|2 dydλ ,u = ln(λ ) ,

2210 CHAPTER 64. WIENER PROCESSESMs: ai [FO av.where Vv; (B) = Jo 2p, 23 (Y) dP. Now letVn (B) = I Ye 2, %0(¥) = [ sn 2g (Y) dPIt is indexed with n thanks to s,. Thenmv,(B) = ¥ dk [ 2p, Ba (VAP = Y° dyvy(B)k=1 72 k=lHence[fd mar = [FO Ld PndP= Yi a [Fo ave[FO Ladve= [£O)d(s,dP = dv, so to speak.) Then let s,(@) + X (@). Clearly v, < v and so by the RadonNikodym theorem dv, = hy,dv where h, + 1. It follows from the monotone convergencetheorem that one can pass to a limit in the above and obtain[rcoxar=[ riyavQ R?The interest here is to let f (Y) = e*'Y so f(y) = e+. To remember this, XdP = dv inasort of sloppy way then the above formula holds.Lemma 64.6.4 Each e“") is in LP (Q) for every h € H and for every p > 1. In fact,| (1) "ap [eM Pap = edie,Q QIn addition to this," W (h)*y? ) > W(t) in L?(Q,F,P), p>1k=0 .Proof: It suffices to verify this for all positive integers p. Let p be such an integer. NotePthat from the linearity of W, (ev) = ePW(h) — eW(Ph) and so it suffices to verify that foreach h € H,e") is in L! (Q). From Lemma 64.6.3,[ eVMap= | eav (y)Jo Rwhere V (B) = Jo 23 (W (h))dP = Jp 2p (y)dv(y). In using this lemma, Y = W (h) ,X =1. Thus2poo co 1 ly"ap = | vie >A a= | >In? dydA,u=In(Ahe 0 te 0 V2n|h| b>in(ay] yadu=In(A),