adapted, increasing, (locally) integrable variation process is a (local) submartingale












0












$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$










share|cite|improve this question











$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
















0












$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$










share|cite|improve this question











$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














0












0








0





$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$










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















  • $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










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
});


}
});














draft saved

draft discarded


















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
















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

Human spaceflight

Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

張江高科駅