Misplaced Pages

Itô isometry

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Term in stochastic calculus

In mathematics, the Itô isometry, named after Kiyoshi Itô, is a crucial fact about Itô stochastic integrals. One of its main applications is to enable the computation of variances for random variables that are given as Itô integrals.

Let W : [ 0 , T ] × Ω R {\displaystyle W:\times \Omega \to \mathbb {R} } denote the canonical real-valued Wiener process defined up to time T > 0 {\displaystyle T>0} , and let X : [ 0 , T ] × Ω R {\displaystyle X:\times \Omega \to \mathbb {R} } be a stochastic process that is adapted to the natural filtration F W {\displaystyle {\mathcal {F}}_{*}^{W}} of the Wiener process. Then

E [ ( 0 T X t d W t ) 2 ] = E [ 0 T X t 2 d t ] , {\displaystyle \operatorname {E} \left=\operatorname {E} \left,}

where E {\displaystyle \operatorname {E} } denotes expectation with respect to classical Wiener measure.

In other words, the Itô integral, as a function from the space L a d 2 ( [ 0 , T ] × Ω ) {\displaystyle L_{\mathrm {ad} }^{2}(\times \Omega )} of square-integrable adapted processes to the space L 2 ( Ω ) {\displaystyle L^{2}(\Omega )} of square-integrable random variables, is an isometry of normed vector spaces with respect to the norms induced by the inner products

( X , Y ) L a d 2 ( [ 0 , T ] × Ω ) := E ( 0 T X t Y t d t ) {\displaystyle {\begin{aligned}(X,Y)_{L_{\mathrm {ad} }^{2}(\times \Omega )}&:=\operatorname {E} \left(\int _{0}^{T}X_{t}\,Y_{t}\,\mathrm {d} t\right)\end{aligned}}}

and

( A , B ) L 2 ( Ω ) := E ( A B ) . {\displaystyle (A,B)_{L^{2}(\Omega )}:=\operatorname {E} (AB).}

As a consequence, the Itô integral respects these inner products as well, i.e. we can write

E [ ( 0 T X t d W t ) ( 0 T Y t d W t ) ] = E [ 0 T X t Y t d t ] {\displaystyle \operatorname {E} \left=\operatorname {E} \left}

for X , Y L a d 2 ( [ 0 , T ] × Ω ) {\displaystyle X,Y\in L_{\mathrm {ad} }^{2}(\times \Omega )} .

References

Category: