adapted, increasing, (locally) integrable variation process is a (local) submartingale
$begingroup$
I read a theorem that an adapted, increasing, (locally) integrable integrable, variation process is a (local) submartingale. (here increasing includes right continuity).
Definition: A process is $textbf{increasing}$ if each sample path is increasing and right continuous
Definition: A process has $textbf{finite variation}$ if it is the difference of two increasing processes
Definition: Let $X$ be a process with finite variation. We define the variation process $V_X$ by setting $V_X(t,omega)$ to be the variation of $X(cdot, omega)$ on $[0,t]$
Definition: A process is said to be $textbf{integrable}$ if $sup_{tgeq 0 } mathbb{E}|X_t|<infty$
Note: For an increasing, nonnegative process $X$ is integrable is equivalent to $X_{infty}$ existing a.s. and being an integrable random variable.
Definition: A finite variation process $X$ is said to have $textbf{integrable variation}$ if $V_X$ is integrable.
Definiton: A finite variation process $X$ is said to have $textbf{locally integrable variation}$ if there exists a sequence of stopping times $(T_n)_{n in mathbb{N}}$ such that $T_n nearrow infty$ a.s. and for each $n in mathbb{N}$, $X^{T_n}$ has integrable variation
Put $A$ to be our increasing process with locally integrable variation. So I know the adapted condition is satisfied, as is the increasing conditional expectation condition. But I cannot see how locally integrable variation implies for each $t geq 0$, $mathbb{E}|A_t| < infty$. The proof in the book (Klebner) is short but mentions (regardless of integrable or locally integrable variation) that it has to do with the localizing sequence. Since I'm new to localized properties, could someone explain?
From assumption, we can choose our localizing sequence $(T_n)_{n in mathbb{N}}$ such that $T_n nearrow infty$ a.s. and for each $n in mathbb{N}$, $sup_{t geq 0} mathbb{E} [{V_A}_{t wedge T_n}] < infty$
probability-theory stochastic-processes stochastic-calculus conditional-probability stochastic-analysis
$endgroup$
|
show 2 more comments
$begingroup$
I read a theorem that an adapted, increasing, (locally) integrable integrable, variation process is a (local) submartingale. (here increasing includes right continuity).
Definition: A process is $textbf{increasing}$ if each sample path is increasing and right continuous
Definition: A process has $textbf{finite variation}$ if it is the difference of two increasing processes
Definition: Let $X$ be a process with finite variation. We define the variation process $V_X$ by setting $V_X(t,omega)$ to be the variation of $X(cdot, omega)$ on $[0,t]$
Definition: A process is said to be $textbf{integrable}$ if $sup_{tgeq 0 } mathbb{E}|X_t|<infty$
Note: For an increasing, nonnegative process $X$ is integrable is equivalent to $X_{infty}$ existing a.s. and being an integrable random variable.
Definition: A finite variation process $X$ is said to have $textbf{integrable variation}$ if $V_X$ is integrable.
Definiton: A finite variation process $X$ is said to have $textbf{locally integrable variation}$ if there exists a sequence of stopping times $(T_n)_{n in mathbb{N}}$ such that $T_n nearrow infty$ a.s. and for each $n in mathbb{N}$, $X^{T_n}$ has integrable variation
Put $A$ to be our increasing process with locally integrable variation. So I know the adapted condition is satisfied, as is the increasing conditional expectation condition. But I cannot see how locally integrable variation implies for each $t geq 0$, $mathbb{E}|A_t| < infty$. The proof in the book (Klebner) is short but mentions (regardless of integrable or locally integrable variation) that it has to do with the localizing sequence. Since I'm new to localized properties, could someone explain?
From assumption, we can choose our localizing sequence $(T_n)_{n in mathbb{N}}$ such that $T_n nearrow infty$ a.s. and for each $n in mathbb{N}$, $sup_{t geq 0} mathbb{E} [{V_A}_{t wedge T_n}] < infty$
probability-theory stochastic-processes stochastic-calculus conditional-probability stochastic-analysis
$endgroup$
$begingroup$
What exactly do you mean by locally integrable variation? Could you add the definition?
$endgroup$
– saz
Jan 16 at 7:56
$begingroup$
Oh yeah, I'll edit that in
$endgroup$
– Ceeerson
Jan 16 at 8:24
$begingroup$
You added a lot of definitions, but as far as I can see you didn't define "locally integrable variation"? Do you define "locally integrable" via a localizing sequence of stopping times?
$endgroup$
– saz
Jan 16 at 8:49
$begingroup$
exactly, I'll add that in too
$endgroup$
– Ceeerson
Jan 16 at 8:53
1
$begingroup$
Well, if the variation process is integrable, then the assertion is a direct consequence of the fact that $$|X_t-X_0| leq V_X(t).$$ (Actually, they are equal because of the monotonicity of the sample paths.) However, I currently don't see why the assertion should be true if the variation process is only locally integrable.
$endgroup$
– saz
Jan 16 at 16:07
|
show 2 more comments
$begingroup$
I read a theorem that an adapted, increasing, (locally) integrable integrable, variation process is a (local) submartingale. (here increasing includes right continuity).
Definition: A process is $textbf{increasing}$ if each sample path is increasing and right continuous
Definition: A process has $textbf{finite variation}$ if it is the difference of two increasing processes
Definition: Let $X$ be a process with finite variation. We define the variation process $V_X$ by setting $V_X(t,omega)$ to be the variation of $X(cdot, omega)$ on $[0,t]$
Definition: A process is said to be $textbf{integrable}$ if $sup_{tgeq 0 } mathbb{E}|X_t|<infty$
Note: For an increasing, nonnegative process $X$ is integrable is equivalent to $X_{infty}$ existing a.s. and being an integrable random variable.
Definition: A finite variation process $X$ is said to have $textbf{integrable variation}$ if $V_X$ is integrable.
Definiton: A finite variation process $X$ is said to have $textbf{locally integrable variation}$ if there exists a sequence of stopping times $(T_n)_{n in mathbb{N}}$ such that $T_n nearrow infty$ a.s. and for each $n in mathbb{N}$, $X^{T_n}$ has integrable variation
Put $A$ to be our increasing process with locally integrable variation. So I know the adapted condition is satisfied, as is the increasing conditional expectation condition. But I cannot see how locally integrable variation implies for each $t geq 0$, $mathbb{E}|A_t| < infty$. The proof in the book (Klebner) is short but mentions (regardless of integrable or locally integrable variation) that it has to do with the localizing sequence. Since I'm new to localized properties, could someone explain?
From assumption, we can choose our localizing sequence $(T_n)_{n in mathbb{N}}$ such that $T_n nearrow infty$ a.s. and for each $n in mathbb{N}$, $sup_{t geq 0} mathbb{E} [{V_A}_{t wedge T_n}] < infty$
probability-theory stochastic-processes stochastic-calculus conditional-probability stochastic-analysis
$endgroup$
I read a theorem that an adapted, increasing, (locally) integrable integrable, variation process is a (local) submartingale. (here increasing includes right continuity).
Definition: A process is $textbf{increasing}$ if each sample path is increasing and right continuous
Definition: A process has $textbf{finite variation}$ if it is the difference of two increasing processes
Definition: Let $X$ be a process with finite variation. We define the variation process $V_X$ by setting $V_X(t,omega)$ to be the variation of $X(cdot, omega)$ on $[0,t]$
Definition: A process is said to be $textbf{integrable}$ if $sup_{tgeq 0 } mathbb{E}|X_t|<infty$
Note: For an increasing, nonnegative process $X$ is integrable is equivalent to $X_{infty}$ existing a.s. and being an integrable random variable.
Definition: A finite variation process $X$ is said to have $textbf{integrable variation}$ if $V_X$ is integrable.
Definiton: A finite variation process $X$ is said to have $textbf{locally integrable variation}$ if there exists a sequence of stopping times $(T_n)_{n in mathbb{N}}$ such that $T_n nearrow infty$ a.s. and for each $n in mathbb{N}$, $X^{T_n}$ has integrable variation
Put $A$ to be our increasing process with locally integrable variation. So I know the adapted condition is satisfied, as is the increasing conditional expectation condition. But I cannot see how locally integrable variation implies for each $t geq 0$, $mathbb{E}|A_t| < infty$. The proof in the book (Klebner) is short but mentions (regardless of integrable or locally integrable variation) that it has to do with the localizing sequence. Since I'm new to localized properties, could someone explain?
From assumption, we can choose our localizing sequence $(T_n)_{n in mathbb{N}}$ such that $T_n nearrow infty$ a.s. and for each $n in mathbb{N}$, $sup_{t geq 0} mathbb{E} [{V_A}_{t wedge T_n}] < infty$
probability-theory stochastic-processes stochastic-calculus conditional-probability stochastic-analysis
probability-theory stochastic-processes stochastic-calculus conditional-probability stochastic-analysis
edited Jan 16 at 19:49
Ceeerson
asked Jan 16 at 7:34
CeeersonCeeerson
766
766
$begingroup$
What exactly do you mean by locally integrable variation? Could you add the definition?
$endgroup$
– saz
Jan 16 at 7:56
$begingroup$
Oh yeah, I'll edit that in
$endgroup$
– Ceeerson
Jan 16 at 8:24
$begingroup$
You added a lot of definitions, but as far as I can see you didn't define "locally integrable variation"? Do you define "locally integrable" via a localizing sequence of stopping times?
$endgroup$
– saz
Jan 16 at 8:49
$begingroup$
exactly, I'll add that in too
$endgroup$
– Ceeerson
Jan 16 at 8:53
1
$begingroup$
Well, if the variation process is integrable, then the assertion is a direct consequence of the fact that $$|X_t-X_0| leq V_X(t).$$ (Actually, they are equal because of the monotonicity of the sample paths.) However, I currently don't see why the assertion should be true if the variation process is only locally integrable.
$endgroup$
– saz
Jan 16 at 16:07
|
show 2 more comments
$begingroup$
What exactly do you mean by locally integrable variation? Could you add the definition?
$endgroup$
– saz
Jan 16 at 7:56
$begingroup$
Oh yeah, I'll edit that in
$endgroup$
– Ceeerson
Jan 16 at 8:24
$begingroup$
You added a lot of definitions, but as far as I can see you didn't define "locally integrable variation"? Do you define "locally integrable" via a localizing sequence of stopping times?
$endgroup$
– saz
Jan 16 at 8:49
$begingroup$
exactly, I'll add that in too
$endgroup$
– Ceeerson
Jan 16 at 8:53
1
$begingroup$
Well, if the variation process is integrable, then the assertion is a direct consequence of the fact that $$|X_t-X_0| leq V_X(t).$$ (Actually, they are equal because of the monotonicity of the sample paths.) However, I currently don't see why the assertion should be true if the variation process is only locally integrable.
$endgroup$
– saz
Jan 16 at 16:07
$begingroup$
What exactly do you mean by locally integrable variation? Could you add the definition?
$endgroup$
– saz
Jan 16 at 7:56
$begingroup$
What exactly do you mean by locally integrable variation? Could you add the definition?
$endgroup$
– saz
Jan 16 at 7:56
$begingroup$
Oh yeah, I'll edit that in
$endgroup$
– Ceeerson
Jan 16 at 8:24
$begingroup$
Oh yeah, I'll edit that in
$endgroup$
– Ceeerson
Jan 16 at 8:24
$begingroup$
You added a lot of definitions, but as far as I can see you didn't define "locally integrable variation"? Do you define "locally integrable" via a localizing sequence of stopping times?
$endgroup$
– saz
Jan 16 at 8:49
$begingroup$
You added a lot of definitions, but as far as I can see you didn't define "locally integrable variation"? Do you define "locally integrable" via a localizing sequence of stopping times?
$endgroup$
– saz
Jan 16 at 8:49
$begingroup$
exactly, I'll add that in too
$endgroup$
– Ceeerson
Jan 16 at 8:53
$begingroup$
exactly, I'll add that in too
$endgroup$
– Ceeerson
Jan 16 at 8:53
1
1
$begingroup$
Well, if the variation process is integrable, then the assertion is a direct consequence of the fact that $$|X_t-X_0| leq V_X(t).$$ (Actually, they are equal because of the monotonicity of the sample paths.) However, I currently don't see why the assertion should be true if the variation process is only locally integrable.
$endgroup$
– saz
Jan 16 at 16:07
$begingroup$
Well, if the variation process is integrable, then the assertion is a direct consequence of the fact that $$|X_t-X_0| leq V_X(t).$$ (Actually, they are equal because of the monotonicity of the sample paths.) However, I currently don't see why the assertion should be true if the variation process is only locally integrable.
$endgroup$
– saz
Jan 16 at 16:07
|
show 2 more comments
0
active
oldest
votes
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%2f3075423%2fadapted-increasing-locally-integrable-variation-process-is-a-local-submart%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3075423%2fadapted-increasing-locally-integrable-variation-process-is-a-local-submart%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$
What exactly do you mean by locally integrable variation? Could you add the definition?
$endgroup$
– saz
Jan 16 at 7:56
$begingroup$
Oh yeah, I'll edit that in
$endgroup$
– Ceeerson
Jan 16 at 8:24
$begingroup$
You added a lot of definitions, but as far as I can see you didn't define "locally integrable variation"? Do you define "locally integrable" via a localizing sequence of stopping times?
$endgroup$
– saz
Jan 16 at 8:49
$begingroup$
exactly, I'll add that in too
$endgroup$
– Ceeerson
Jan 16 at 8:53
1
$begingroup$
Well, if the variation process is integrable, then the assertion is a direct consequence of the fact that $$|X_t-X_0| leq V_X(t).$$ (Actually, they are equal because of the monotonicity of the sample paths.) However, I currently don't see why the assertion should be true if the variation process is only locally integrable.
$endgroup$
– saz
Jan 16 at 16:07