반응형

[확률적분] 9. 일반적인 확률적분(2) 



fLad(Ω,L2([a,b]))라 하자. 그러면 L2ad([a,b]×Ω)상의 계단 확률과정열 {fn(t)}가 존재해서 다음이 성립한다.limnba|fn(t)f(t)|2dt=0,in probability

증명: 앞에서 fLad(Ω,L2([a,b]))에 대해 L2ad([a,b]×Ω)에서의 수열 {gn}이 존재해서 다음이 성립함을 보였다.limnba|gn(t)g(t)|2dt=0in probability
다음으로 각 gn(t)에 대해 L2ad([a,b]×Ω)상의 계단 확률과정열 {fn(t)}가 존재해서 다음이 성립한다.E(ba|fn(t)f(t)|2dt)<1n
부등식 |u+v|22(|u|2+|v|2)를 이용하여 임의의 ϵ>0에 대해 다음의 포함관계에 의해{ωΩ|ba|fn(t)f(t)|2dt>ϵ}{ωΩ|ba|fn(t)gn(t)|2dt>ϵ4}{ωΩ|ba|gn(t)f(t)|2dt>ϵ4}
다음의 부등식이 성립한다.P({ωΩ|ba|fn(t)f(t)|2dt>ϵ})P({ωΩ|ba|fn(t)gn(t)|2dt>ϵ4})+P({ba|gn(t)f(t)|2dt>ϵ4})
따라서 이 부등식에 체비셰프 부등식을 적용하면P({ωΩ|ba|fn(t)f(t)|2dt>ϵ})4ϵn+P({ωΩ|ba|gn(t)f(t)|2dt>ϵ4})
이고 임의의 ϵ>0에 대해 다음의 결과를 얻는다.limnP({ωΩ|ba|fn(t)f(t)|2dt>ϵ})=0
이제 fLad(Ω,L2([a,b]))에 대한 확률적분baf(t)dB(t)
를 정의할 준비가 되었다. 앞 정리의 결과를 적용해서 L2ad([a,b]×Ω)에서의 계단 확률과정열 {fn(t)}를 선택해서 다음이 성립한다고 하자.limnba|fn(t)f(t)|2dt=0in probability
모든 nN에 대해 다음의 확률적분I(fn)=bafn(t)dB(t)
은 계단 확률과정열에 대한 확률적분이고, f=fnfm, ϵ>0, C=ϵ32라고 하면 다음의 부등식이 성립한다.P({ωΩ||I(fn)I(fm)|>ϵ})ϵ2+P({ωΩ|ba|fn(t)fm(t)|2dt>ϵ32})
부등식 |u+v|22(|u|2+|v|2)과 다음의 포함관계로부터{ωΩ|ba|fn(t)fm(t)|2dt>ϵ32}{ωΩ|ba|fn(t)fm(t)|2dt}{ωΩ|ba|fm(t)fn(t)|2dt>ϵ38}
다음의 부등식이 성립한다.P({ωΩ|ba|fn(t)fm(t)|2dt})P({ωΩ|ba|fn(t)f(t)|2dt>ϵ38})+P({ωΩ|ba|fm(t)f(t)|2dt>ϵ38})
따라서 앞 정리의 결과로부터 다음의 식을 얻고limm,nP({ωΩ|ba|fn(t)fm(t)|2dt>ϵ32})=0
따라서 N>1이 존재해 n,mN일 때 다음의 부등식이 성립한다.P({ωΩ|ba|fn(t)fm(t)|2dt>ϵ32})<ϵ2
그러면 앞의 결과로부터 n,mN일 때 다음이 성립하고P({ωΩ||I(fn)I(fm)|>ϵ})<ϵ
이것은 확률변수들의 수열 {I(fn)}이 확률수렴함을 보여준다. 따라서 다음과 같이 확률적분을 정의할 수 있다.baf(t)dB(t)=limnI(fn),in probability
이 식의 우변의 극한은 수열 {fn}의 선택과 독립이고 따라서 이 확률적분은 잘 정의되고 그러므로 fLad(Ω,L2([a,b]))를 다음과 같이 정의할 수 있다.baf(t)dB(t)
fL2ad([a,b]×Ω)이면, 앞의 정리에서 모든 nN에 대해 fn=f라 할 수 있고, 극한으로 정의되는 확률적분은 앞에서 fL2ad([a,b]×Ω)에 대한 확률적분의 정의와 같다. 따라서 L2ad([a,b]×Ω)에서 Lad(Ω,L2([a,b]))로의 함수에 대해 적분할 수 있다. 


예: f(t)=e{B(t)}2라 하자. 그러면 fLad(Ω,L2([0,1]))이고 확률적분 10e{B(t)}2dB(t)는 정의된다.    


fL2ad([a,b]×Ω)이면, baf(t)dB(t)L2(Ω)이다. 그러나 fLad(Ω,L2([a,b]))이면, baf(t)dB(t)는 단지 확률변수이고 일반적으로 유한한 기댓값을 갖지 않는다. 


f{Ft}가측 연속 확률과정이라고 하자. 그러면 fLad(Ω,L2([a,b]))이고 다음이 성립하는데baf(t)dB(t)=limΔn0ni=1f(ti1){B(ti)B(ti1)},in probability

여기서 Δn={t0,t1,...,tn1,tn}은 유한 구간 [a,b]의 분할이고, Δn=max1in(titi1)이다. 

증명: 먼저 θLad(Ω,L2([a,b]))가 다음과 같이 정의되었다면θ(t,ω)=ni=1ξi1(ω)1[ti1,ti)(t)

여기서 ξi1Fti1가측이고, 그러면 다음의 등식이 성립한다.baθ(t)dB(t)=ni=1ξi1{B(ti)B(ti1)}
이제 이 정리의 f와 분할 Δn에 대해 fn(t)를 다음과 같이 정의하자.fn(t)=ni=1f(ti1)1[ti1,ti)(t)
그러면 f의 연속성으로부터 다음이 성립하고ba|fn(t)f(t)|2dt0a.s.
따라서 확률수렴한다. 반면에 앞의 결과로부터baf(t)dB(t)=limΔn0bafn(t)dB(t)in probability
이고 게다가 θ=fn이라고 하면 다음을 얻고bafn(t)dB(t)=ni=1f(ti1){B(ti)B(ti1)}
따라서 앞의 결과로부터 성립한다. 


참고자료: 

Introduction to Stochastic Integration, Hui-Hsiung Kuo, Springer       

반응형
Posted by skywalker222