Why is an elementary Ito integral necessarily continuous?
$begingroup$
So I am working/reading through a proof that general Ito integrals have continuous versions. So that
$$I_f(t) = int_0^t f(s,omega)dB_s(omega)$$
Has a continuous version in $t$.
The proof I am reading does this by considering a sequence of elementary functions $phi_n$ that converge to $f$ in $L^2 (P)$. The author defines
$$I_n (t) = int_0^t phi_n (s,omega) dB_s (omega)$$
and states that $I_n (t)$ is continuous, but does not give the justification.
Here, $phi_n$ is assumed to take the form
$$phi_n = sum_j e_j^{(n)} (omega)times mathbb{1}_{left( t in[t_j,t_{j+1})right) }$$
My question is why must $I_n (t)$ be continuous in $t$ when we do not know this to be the case for the more general $f$ (though $f$ is also restricted to being $mathcal{F}_t$ adapted etc).
It is assumed throughout the book that the process $B_t$ is a continuous version of Brownian motion, so I don't find it difficult to believe, but I don't understand why it automatically holds for elementary functions and not the more general $f$?
edit
Following Saz's comment. So to show it's continuous for elementary functions, can we write:
$$|I_n (t) - I_n (s) | leq varepsilon$$
$$iff left| sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j} right| leq varepsilon$$
And so we have
$$left| sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j}right| leq |t-s| max_{t_j in [s,t]} |e_j^{(n)}| max_{t_j in [s,t]} |Delta B_j|$$
And so choosing
$$|t-s| leq varepsilon/ max_{t_j in [s,t]} |e_j^{(n)}| max_{t_j in [s,t]} |Delta B_j| = delta$$
It follows that if $|t-s|leq delta$ then $|I_n(t)-I_n(s)|leq varepsilon$
Is this correct?
probability continuity stochastic-calculus stochastic-integrals
$endgroup$
add a comment |
$begingroup$
So I am working/reading through a proof that general Ito integrals have continuous versions. So that
$$I_f(t) = int_0^t f(s,omega)dB_s(omega)$$
Has a continuous version in $t$.
The proof I am reading does this by considering a sequence of elementary functions $phi_n$ that converge to $f$ in $L^2 (P)$. The author defines
$$I_n (t) = int_0^t phi_n (s,omega) dB_s (omega)$$
and states that $I_n (t)$ is continuous, but does not give the justification.
Here, $phi_n$ is assumed to take the form
$$phi_n = sum_j e_j^{(n)} (omega)times mathbb{1}_{left( t in[t_j,t_{j+1})right) }$$
My question is why must $I_n (t)$ be continuous in $t$ when we do not know this to be the case for the more general $f$ (though $f$ is also restricted to being $mathcal{F}_t$ adapted etc).
It is assumed throughout the book that the process $B_t$ is a continuous version of Brownian motion, so I don't find it difficult to believe, but I don't understand why it automatically holds for elementary functions and not the more general $f$?
edit
Following Saz's comment. So to show it's continuous for elementary functions, can we write:
$$|I_n (t) - I_n (s) | leq varepsilon$$
$$iff left| sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j} right| leq varepsilon$$
And so we have
$$left| sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j}right| leq |t-s| max_{t_j in [s,t]} |e_j^{(n)}| max_{t_j in [s,t]} |Delta B_j|$$
And so choosing
$$|t-s| leq varepsilon/ max_{t_j in [s,t]} |e_j^{(n)}| max_{t_j in [s,t]} |Delta B_j| = delta$$
It follows that if $|t-s|leq delta$ then $|I_n(t)-I_n(s)|leq varepsilon$
Is this correct?
probability continuity stochastic-calculus stochastic-integrals
$endgroup$
$begingroup$
For elementary functions you can calculate the stochastic integral explicitly and check that it continuous in $t$. For general functions this approach doesn't work since it is not possible to calculate the integral explicitly...
$endgroup$
– saz
Dec 12 '18 at 6:29
$begingroup$
Thanks Saz, that makes sense. Sorry, I really struggle with this sort of stuff. I have added to the end of my post, is it correct? I worry that the $max Delta B_j$ is not properly defined in this instance.
$endgroup$
– Xiaomi
Dec 12 '18 at 7:11
add a comment |
$begingroup$
So I am working/reading through a proof that general Ito integrals have continuous versions. So that
$$I_f(t) = int_0^t f(s,omega)dB_s(omega)$$
Has a continuous version in $t$.
The proof I am reading does this by considering a sequence of elementary functions $phi_n$ that converge to $f$ in $L^2 (P)$. The author defines
$$I_n (t) = int_0^t phi_n (s,omega) dB_s (omega)$$
and states that $I_n (t)$ is continuous, but does not give the justification.
Here, $phi_n$ is assumed to take the form
$$phi_n = sum_j e_j^{(n)} (omega)times mathbb{1}_{left( t in[t_j,t_{j+1})right) }$$
My question is why must $I_n (t)$ be continuous in $t$ when we do not know this to be the case for the more general $f$ (though $f$ is also restricted to being $mathcal{F}_t$ adapted etc).
It is assumed throughout the book that the process $B_t$ is a continuous version of Brownian motion, so I don't find it difficult to believe, but I don't understand why it automatically holds for elementary functions and not the more general $f$?
edit
Following Saz's comment. So to show it's continuous for elementary functions, can we write:
$$|I_n (t) - I_n (s) | leq varepsilon$$
$$iff left| sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j} right| leq varepsilon$$
And so we have
$$left| sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j}right| leq |t-s| max_{t_j in [s,t]} |e_j^{(n)}| max_{t_j in [s,t]} |Delta B_j|$$
And so choosing
$$|t-s| leq varepsilon/ max_{t_j in [s,t]} |e_j^{(n)}| max_{t_j in [s,t]} |Delta B_j| = delta$$
It follows that if $|t-s|leq delta$ then $|I_n(t)-I_n(s)|leq varepsilon$
Is this correct?
probability continuity stochastic-calculus stochastic-integrals
$endgroup$
So I am working/reading through a proof that general Ito integrals have continuous versions. So that
$$I_f(t) = int_0^t f(s,omega)dB_s(omega)$$
Has a continuous version in $t$.
The proof I am reading does this by considering a sequence of elementary functions $phi_n$ that converge to $f$ in $L^2 (P)$. The author defines
$$I_n (t) = int_0^t phi_n (s,omega) dB_s (omega)$$
and states that $I_n (t)$ is continuous, but does not give the justification.
Here, $phi_n$ is assumed to take the form
$$phi_n = sum_j e_j^{(n)} (omega)times mathbb{1}_{left( t in[t_j,t_{j+1})right) }$$
My question is why must $I_n (t)$ be continuous in $t$ when we do not know this to be the case for the more general $f$ (though $f$ is also restricted to being $mathcal{F}_t$ adapted etc).
It is assumed throughout the book that the process $B_t$ is a continuous version of Brownian motion, so I don't find it difficult to believe, but I don't understand why it automatically holds for elementary functions and not the more general $f$?
edit
Following Saz's comment. So to show it's continuous for elementary functions, can we write:
$$|I_n (t) - I_n (s) | leq varepsilon$$
$$iff left| sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j} right| leq varepsilon$$
And so we have
$$left| sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j}right| leq |t-s| max_{t_j in [s,t]} |e_j^{(n)}| max_{t_j in [s,t]} |Delta B_j|$$
And so choosing
$$|t-s| leq varepsilon/ max_{t_j in [s,t]} |e_j^{(n)}| max_{t_j in [s,t]} |Delta B_j| = delta$$
It follows that if $|t-s|leq delta$ then $|I_n(t)-I_n(s)|leq varepsilon$
Is this correct?
probability continuity stochastic-calculus stochastic-integrals
probability continuity stochastic-calculus stochastic-integrals
edited Dec 12 '18 at 9:27
Xiaomi
asked Dec 12 '18 at 3:47
XiaomiXiaomi
1,057115
1,057115
$begingroup$
For elementary functions you can calculate the stochastic integral explicitly and check that it continuous in $t$. For general functions this approach doesn't work since it is not possible to calculate the integral explicitly...
$endgroup$
– saz
Dec 12 '18 at 6:29
$begingroup$
Thanks Saz, that makes sense. Sorry, I really struggle with this sort of stuff. I have added to the end of my post, is it correct? I worry that the $max Delta B_j$ is not properly defined in this instance.
$endgroup$
– Xiaomi
Dec 12 '18 at 7:11
add a comment |
$begingroup$
For elementary functions you can calculate the stochastic integral explicitly and check that it continuous in $t$. For general functions this approach doesn't work since it is not possible to calculate the integral explicitly...
$endgroup$
– saz
Dec 12 '18 at 6:29
$begingroup$
Thanks Saz, that makes sense. Sorry, I really struggle with this sort of stuff. I have added to the end of my post, is it correct? I worry that the $max Delta B_j$ is not properly defined in this instance.
$endgroup$
– Xiaomi
Dec 12 '18 at 7:11
$begingroup$
For elementary functions you can calculate the stochastic integral explicitly and check that it continuous in $t$. For general functions this approach doesn't work since it is not possible to calculate the integral explicitly...
$endgroup$
– saz
Dec 12 '18 at 6:29
$begingroup$
For elementary functions you can calculate the stochastic integral explicitly and check that it continuous in $t$. For general functions this approach doesn't work since it is not possible to calculate the integral explicitly...
$endgroup$
– saz
Dec 12 '18 at 6:29
$begingroup$
Thanks Saz, that makes sense. Sorry, I really struggle with this sort of stuff. I have added to the end of my post, is it correct? I worry that the $max Delta B_j$ is not properly defined in this instance.
$endgroup$
– Xiaomi
Dec 12 '18 at 7:11
$begingroup$
Thanks Saz, that makes sense. Sorry, I really struggle with this sort of stuff. I have added to the end of my post, is it correct? I worry that the $max Delta B_j$ is not properly defined in this instance.
$endgroup$
– Xiaomi
Dec 12 '18 at 7:11
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I don't see what you wrote as
$$
|I_n (t) - I_n (s) | leq varepsiloniff sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j} < varepsilon.
$$ One can see that it is not true if one looks at how $I_n(t)$ is defined. In fact, each $I_n(t)$ is defined in the same manner as ordinary integral by
$$
I_n (t) = sum_{j=1}^n e_j(omega) (B_{twedge t_{j+1}}(omega) - B_{twedge t_{j}}(omega)).
$$ We can see immediately that $I_n(t)$ is continuous in $t$ since $tmapsto B_t(omega)$ is continuous for all $omegainOmega$.
$endgroup$
$begingroup$
Is the equivalence correct now that I've inserted absolute values and corrected $<$ to $leq$? I want to make sure I understand the error so I don't repeat it. Also, thanks for your answer, it is very clear and intuitive!
$endgroup$
– Xiaomi
Dec 12 '18 at 9:29
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3036201%2fwhy-is-an-elementary-ito-integral-necessarily-continuous%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I don't see what you wrote as
$$
|I_n (t) - I_n (s) | leq varepsiloniff sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j} < varepsilon.
$$ One can see that it is not true if one looks at how $I_n(t)$ is defined. In fact, each $I_n(t)$ is defined in the same manner as ordinary integral by
$$
I_n (t) = sum_{j=1}^n e_j(omega) (B_{twedge t_{j+1}}(omega) - B_{twedge t_{j}}(omega)).
$$ We can see immediately that $I_n(t)$ is continuous in $t$ since $tmapsto B_t(omega)$ is continuous for all $omegainOmega$.
$endgroup$
$begingroup$
Is the equivalence correct now that I've inserted absolute values and corrected $<$ to $leq$? I want to make sure I understand the error so I don't repeat it. Also, thanks for your answer, it is very clear and intuitive!
$endgroup$
– Xiaomi
Dec 12 '18 at 9:29
add a comment |
$begingroup$
I don't see what you wrote as
$$
|I_n (t) - I_n (s) | leq varepsiloniff sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j} < varepsilon.
$$ One can see that it is not true if one looks at how $I_n(t)$ is defined. In fact, each $I_n(t)$ is defined in the same manner as ordinary integral by
$$
I_n (t) = sum_{j=1}^n e_j(omega) (B_{twedge t_{j+1}}(omega) - B_{twedge t_{j}}(omega)).
$$ We can see immediately that $I_n(t)$ is continuous in $t$ since $tmapsto B_t(omega)$ is continuous for all $omegainOmega$.
$endgroup$
$begingroup$
Is the equivalence correct now that I've inserted absolute values and corrected $<$ to $leq$? I want to make sure I understand the error so I don't repeat it. Also, thanks for your answer, it is very clear and intuitive!
$endgroup$
– Xiaomi
Dec 12 '18 at 9:29
add a comment |
$begingroup$
I don't see what you wrote as
$$
|I_n (t) - I_n (s) | leq varepsiloniff sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j} < varepsilon.
$$ One can see that it is not true if one looks at how $I_n(t)$ is defined. In fact, each $I_n(t)$ is defined in the same manner as ordinary integral by
$$
I_n (t) = sum_{j=1}^n e_j(omega) (B_{twedge t_{j+1}}(omega) - B_{twedge t_{j}}(omega)).
$$ We can see immediately that $I_n(t)$ is continuous in $t$ since $tmapsto B_t(omega)$ is continuous for all $omegainOmega$.
$endgroup$
I don't see what you wrote as
$$
|I_n (t) - I_n (s) | leq varepsiloniff sum_{t_j in [s,t]} e_j^{(n)} Delta B_{t_j} < varepsilon.
$$ One can see that it is not true if one looks at how $I_n(t)$ is defined. In fact, each $I_n(t)$ is defined in the same manner as ordinary integral by
$$
I_n (t) = sum_{j=1}^n e_j(omega) (B_{twedge t_{j+1}}(omega) - B_{twedge t_{j}}(omega)).
$$ We can see immediately that $I_n(t)$ is continuous in $t$ since $tmapsto B_t(omega)$ is continuous for all $omegainOmega$.
answered Dec 12 '18 at 8:00
SongSong
11.7k628
11.7k628
$begingroup$
Is the equivalence correct now that I've inserted absolute values and corrected $<$ to $leq$? I want to make sure I understand the error so I don't repeat it. Also, thanks for your answer, it is very clear and intuitive!
$endgroup$
– Xiaomi
Dec 12 '18 at 9:29
add a comment |
$begingroup$
Is the equivalence correct now that I've inserted absolute values and corrected $<$ to $leq$? I want to make sure I understand the error so I don't repeat it. Also, thanks for your answer, it is very clear and intuitive!
$endgroup$
– Xiaomi
Dec 12 '18 at 9:29
$begingroup$
Is the equivalence correct now that I've inserted absolute values and corrected $<$ to $leq$? I want to make sure I understand the error so I don't repeat it. Also, thanks for your answer, it is very clear and intuitive!
$endgroup$
– Xiaomi
Dec 12 '18 at 9:29
$begingroup$
Is the equivalence correct now that I've inserted absolute values and corrected $<$ to $leq$? I want to make sure I understand the error so I don't repeat it. Also, thanks for your answer, it is very clear and intuitive!
$endgroup$
– Xiaomi
Dec 12 '18 at 9:29
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3036201%2fwhy-is-an-elementary-ito-integral-necessarily-continuous%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
For elementary functions you can calculate the stochastic integral explicitly and check that it continuous in $t$. For general functions this approach doesn't work since it is not possible to calculate the integral explicitly...
$endgroup$
– saz
Dec 12 '18 at 6:29
$begingroup$
Thanks Saz, that makes sense. Sorry, I really struggle with this sort of stuff. I have added to the end of my post, is it correct? I worry that the $max Delta B_j$ is not properly defined in this instance.
$endgroup$
– Xiaomi
Dec 12 '18 at 7:11