7
$\begingroup$

I am interested to know if Ito integrals against Brownian motion can also be constructed via Skorohod representation. By this I mean the following: let $S_n$ be a simple random walk started at zero; for convenience assume the process linearly interpolates between times. Let $X^n$ be the process $$t \mapsto X^n_t = \frac{S_{nt}}{\sqrt{n}},$$ and of course the $X^n$ process converges weakly to Brownian motion (using the standard sup norm on $[0,1]$).

Now by Skorohod representation there exists a probabilty space supporting all the $X^n$ processes and a Brownian motion $B$ such that $X^n \to B$ almost surely. My question is if it is true that $$\int_0^1 f(t) dX^n_t \xrightarrow{a.s.} \int_0^1 f(t) dB_t$$ as $n \to \infty$, where $f$ is an $L^2$ function (deterministic even). The stochastic integral on the right is defined in the usual Ito type way as a limit in $L^2$ of the probability space.

It seems obvious that it is true for $f$ being an indicator function, and then by a density argument it goes through for general $f$. However I am a bit worried that I am missing something here and am looking for any insights. If it is true then that begs the question of whether or not it holds simultaneously for all $f$ at the same time, i.e. there is or is not an issue with null sets. Unfortunately null sets have a way of reducing me to a puddle of helplessness :)

ADDENDUM

Let me add a few more details to clarify a little and perhaps pique some interest. Skorohod representation tells us that there is a probability space $(\Omega, \mathcal{F}, P)$ and processes $X^n$ and $B$ defined on the space such that:

1) $t \mapsto X^n_t$ has the law of $t \mapsto S_{nt}/\sqrt{n}$,

2) $t \mapsto B_t$ is a Brownian motion,

3) the event $$E = \{ \omega \in \Omega : \sup_{0 \leq t \leq 1} |X_t^n(\omega) - B_t(\omega)| \to 0 \}$$ has $P(E) = 1$.

Note the first two statements are only about the marginal distribution of the processes, they say nothing about their joint distributions.

Now for any $f : [0,1] \to \mathbb{R}$ of the form $f(t) = \mathbf{1} \{ t \in I \}$, where $I$ is an interval of the form $[t_1, t_2], (t_1, t_2], [t_1, t_2), (t_1, t_2)$, and for any $\omega \in E$, one has $$ \int_0^1 f(t) dX_t^n (\omega) = X_{t_2}^n(\omega) - X_{t_1}^n(\omega) \to B_{t_2}(\omega) - B_{t_1}(\omega) = \int_0^1 f(t) dB_t(\omega) $$ as $n \to \infty$. Hence by linearity it follows that for all $f$ that are simple functions (finite linear combinations of indicator functions) and all $\omega \in E$ that $$ \int_0^1 f(t) dX_t^n(\omega) \to \int_0^1 f(t) dB_t(\omega). $$ The question is: to how large of a class of functions can the last equation be extended such that it holds for all $f$ in this class and all $\omega \in E$? It seems obvious that it should go beyond the class of simple functions, but I am not sure that it can go all the way up to $L^2([0,1])$.

$\endgroup$

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.