IID random variables $(X_n)$ have $sum e^{X_n} c^n < infty$ a.s.
I'm working on the following exercise:
Let $X_1, X_2, ldots$ be i.i.d. nonnegative random variables. By virtue of the Borel-Cantelli lemma, show that for every $c in (0,1)$,
$$
sum_{n=1}^infty e^{X_n} c^n begin{cases}
< infty textrm{ a.s.} & textrm{if } mathbb E[X_1] < infty; \
= infty textrm{ a.s.} & textrm{if } mathbb E[X_1] = infty
end{cases}
$$
I'm trying to show $sum_{n=1}^infty mathbb Pleft[sum_{k=1}^n e^{X_k} c^k geq Mright] < infty$ for some large $M > 0$. For then, Borel-Cantelli gives us that $$ mathbb Pleft[limsup left{ sum_{k=1}^n e^{X_k} c^k geq Mright}right] = mathbb Pleft[sum_{k=1}^infty e^{X_k} c^k geq Mright] = 0$$ and we're done. But I don't know how to show $sum_{n=1}^infty mathbb Pleft[sum_{k=1}^n e^{X_k} c^k geq Mright] < infty$. Any suggestions?
probability probability-theory measure-theory convergence borel-cantelli-lemmas
add a comment |
I'm working on the following exercise:
Let $X_1, X_2, ldots$ be i.i.d. nonnegative random variables. By virtue of the Borel-Cantelli lemma, show that for every $c in (0,1)$,
$$
sum_{n=1}^infty e^{X_n} c^n begin{cases}
< infty textrm{ a.s.} & textrm{if } mathbb E[X_1] < infty; \
= infty textrm{ a.s.} & textrm{if } mathbb E[X_1] = infty
end{cases}
$$
I'm trying to show $sum_{n=1}^infty mathbb Pleft[sum_{k=1}^n e^{X_k} c^k geq Mright] < infty$ for some large $M > 0$. For then, Borel-Cantelli gives us that $$ mathbb Pleft[limsup left{ sum_{k=1}^n e^{X_k} c^k geq Mright}right] = mathbb Pleft[sum_{k=1}^infty e^{X_k} c^k geq Mright] = 0$$ and we're done. But I don't know how to show $sum_{n=1}^infty mathbb Pleft[sum_{k=1}^n e^{X_k} c^k geq Mright] < infty$. Any suggestions?
probability probability-theory measure-theory convergence borel-cantelli-lemmas
add a comment |
I'm working on the following exercise:
Let $X_1, X_2, ldots$ be i.i.d. nonnegative random variables. By virtue of the Borel-Cantelli lemma, show that for every $c in (0,1)$,
$$
sum_{n=1}^infty e^{X_n} c^n begin{cases}
< infty textrm{ a.s.} & textrm{if } mathbb E[X_1] < infty; \
= infty textrm{ a.s.} & textrm{if } mathbb E[X_1] = infty
end{cases}
$$
I'm trying to show $sum_{n=1}^infty mathbb Pleft[sum_{k=1}^n e^{X_k} c^k geq Mright] < infty$ for some large $M > 0$. For then, Borel-Cantelli gives us that $$ mathbb Pleft[limsup left{ sum_{k=1}^n e^{X_k} c^k geq Mright}right] = mathbb Pleft[sum_{k=1}^infty e^{X_k} c^k geq Mright] = 0$$ and we're done. But I don't know how to show $sum_{n=1}^infty mathbb Pleft[sum_{k=1}^n e^{X_k} c^k geq Mright] < infty$. Any suggestions?
probability probability-theory measure-theory convergence borel-cantelli-lemmas
I'm working on the following exercise:
Let $X_1, X_2, ldots$ be i.i.d. nonnegative random variables. By virtue of the Borel-Cantelli lemma, show that for every $c in (0,1)$,
$$
sum_{n=1}^infty e^{X_n} c^n begin{cases}
< infty textrm{ a.s.} & textrm{if } mathbb E[X_1] < infty; \
= infty textrm{ a.s.} & textrm{if } mathbb E[X_1] = infty
end{cases}
$$
I'm trying to show $sum_{n=1}^infty mathbb Pleft[sum_{k=1}^n e^{X_k} c^k geq Mright] < infty$ for some large $M > 0$. For then, Borel-Cantelli gives us that $$ mathbb Pleft[limsup left{ sum_{k=1}^n e^{X_k} c^k geq Mright}right] = mathbb Pleft[sum_{k=1}^infty e^{X_k} c^k geq Mright] = 0$$ and we're done. But I don't know how to show $sum_{n=1}^infty mathbb Pleft[sum_{k=1}^n e^{X_k} c^k geq Mright] < infty$. Any suggestions?
probability probability-theory measure-theory convergence borel-cantelli-lemmas
probability probability-theory measure-theory convergence borel-cantelli-lemmas
asked Nov 18 '18 at 17:54
D Ford
549213
549213
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
If $mathbb{E}(X_1)< infty$ then it follows from the strong law of large numbers that $S_n := sum_{j=1}^n X_j$ satisfies
$$lim_{n to infty} frac{S_n}{n} = mathbb{E}(X_1) quad text{a.s.};$$
hence
$$lim_{n to infty} frac{X_n}{n} = lim_{n to infty} left( frac{S_n}{n} - frac{S_{n-1}}{n} right)=0 quad text{a.s.}$$
Consequently, there exists for almost all $omega in Omega$ some $N in mathbb{N}$ such that $$left| frac{X_n(omega)}{n} right| leq -log(sqrt{c}) quad text{for all $n geq N$}$$ for fixed $cin (0,1)$, and so $$sum_{n geq N} e^{X_n(omega)} c^n leq sum_{n geq N} sqrt{c}^n < infty.$$
If $mathbb{E}(X_1)=infty$ then
$$sum_{n geq 1} mathbb{P}(X_n geq n)=sum_{n geq 1} mathbb{P}(X_1 geq n) =infty,$$
and therefore it follows from the Borel Cantelli lemma that $$mathbb{P}(X_n geq n , , text{infinitely often})=1,$$ i.e. $$e^{X_n} geq e^n quad text{for infinitely many $n$ with probability 1.}$$ This implies $sum_{n geq 1} e^{X_n} c^n = infty$ almost surely for $c:= 1/e$.
1
For the fact that $mathbb{E}[X_1] < infty$ implies $X_n/n to 0$ a.s., it may as well be proved by Borel-Cantelli: $$forall epsilon > 0 : quad sum_{n=1}^{infty} mathbb{P}[X_n > epsilon n] leq frac{1}{epsilon}mathbb{E}[X_1] < infty. $$ I am very certain that you already know this, but just wanted to mention in case OP needs an alternative approach.
– Sangchul Lee
Nov 18 '18 at 21:00
@SangchulLee Yes of course; thanks for your comment.
– saz
Nov 18 '18 at 21:02
@Did Ah right, I messed that up; thanks a lot for your comment.
– saz
Nov 19 '18 at 6:13
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%2f3003869%2fiid-random-variables-x-n-have-sum-ex-n-cn-infty-a-s%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
If $mathbb{E}(X_1)< infty$ then it follows from the strong law of large numbers that $S_n := sum_{j=1}^n X_j$ satisfies
$$lim_{n to infty} frac{S_n}{n} = mathbb{E}(X_1) quad text{a.s.};$$
hence
$$lim_{n to infty} frac{X_n}{n} = lim_{n to infty} left( frac{S_n}{n} - frac{S_{n-1}}{n} right)=0 quad text{a.s.}$$
Consequently, there exists for almost all $omega in Omega$ some $N in mathbb{N}$ such that $$left| frac{X_n(omega)}{n} right| leq -log(sqrt{c}) quad text{for all $n geq N$}$$ for fixed $cin (0,1)$, and so $$sum_{n geq N} e^{X_n(omega)} c^n leq sum_{n geq N} sqrt{c}^n < infty.$$
If $mathbb{E}(X_1)=infty$ then
$$sum_{n geq 1} mathbb{P}(X_n geq n)=sum_{n geq 1} mathbb{P}(X_1 geq n) =infty,$$
and therefore it follows from the Borel Cantelli lemma that $$mathbb{P}(X_n geq n , , text{infinitely often})=1,$$ i.e. $$e^{X_n} geq e^n quad text{for infinitely many $n$ with probability 1.}$$ This implies $sum_{n geq 1} e^{X_n} c^n = infty$ almost surely for $c:= 1/e$.
1
For the fact that $mathbb{E}[X_1] < infty$ implies $X_n/n to 0$ a.s., it may as well be proved by Borel-Cantelli: $$forall epsilon > 0 : quad sum_{n=1}^{infty} mathbb{P}[X_n > epsilon n] leq frac{1}{epsilon}mathbb{E}[X_1] < infty. $$ I am very certain that you already know this, but just wanted to mention in case OP needs an alternative approach.
– Sangchul Lee
Nov 18 '18 at 21:00
@SangchulLee Yes of course; thanks for your comment.
– saz
Nov 18 '18 at 21:02
@Did Ah right, I messed that up; thanks a lot for your comment.
– saz
Nov 19 '18 at 6:13
add a comment |
If $mathbb{E}(X_1)< infty$ then it follows from the strong law of large numbers that $S_n := sum_{j=1}^n X_j$ satisfies
$$lim_{n to infty} frac{S_n}{n} = mathbb{E}(X_1) quad text{a.s.};$$
hence
$$lim_{n to infty} frac{X_n}{n} = lim_{n to infty} left( frac{S_n}{n} - frac{S_{n-1}}{n} right)=0 quad text{a.s.}$$
Consequently, there exists for almost all $omega in Omega$ some $N in mathbb{N}$ such that $$left| frac{X_n(omega)}{n} right| leq -log(sqrt{c}) quad text{for all $n geq N$}$$ for fixed $cin (0,1)$, and so $$sum_{n geq N} e^{X_n(omega)} c^n leq sum_{n geq N} sqrt{c}^n < infty.$$
If $mathbb{E}(X_1)=infty$ then
$$sum_{n geq 1} mathbb{P}(X_n geq n)=sum_{n geq 1} mathbb{P}(X_1 geq n) =infty,$$
and therefore it follows from the Borel Cantelli lemma that $$mathbb{P}(X_n geq n , , text{infinitely often})=1,$$ i.e. $$e^{X_n} geq e^n quad text{for infinitely many $n$ with probability 1.}$$ This implies $sum_{n geq 1} e^{X_n} c^n = infty$ almost surely for $c:= 1/e$.
1
For the fact that $mathbb{E}[X_1] < infty$ implies $X_n/n to 0$ a.s., it may as well be proved by Borel-Cantelli: $$forall epsilon > 0 : quad sum_{n=1}^{infty} mathbb{P}[X_n > epsilon n] leq frac{1}{epsilon}mathbb{E}[X_1] < infty. $$ I am very certain that you already know this, but just wanted to mention in case OP needs an alternative approach.
– Sangchul Lee
Nov 18 '18 at 21:00
@SangchulLee Yes of course; thanks for your comment.
– saz
Nov 18 '18 at 21:02
@Did Ah right, I messed that up; thanks a lot for your comment.
– saz
Nov 19 '18 at 6:13
add a comment |
If $mathbb{E}(X_1)< infty$ then it follows from the strong law of large numbers that $S_n := sum_{j=1}^n X_j$ satisfies
$$lim_{n to infty} frac{S_n}{n} = mathbb{E}(X_1) quad text{a.s.};$$
hence
$$lim_{n to infty} frac{X_n}{n} = lim_{n to infty} left( frac{S_n}{n} - frac{S_{n-1}}{n} right)=0 quad text{a.s.}$$
Consequently, there exists for almost all $omega in Omega$ some $N in mathbb{N}$ such that $$left| frac{X_n(omega)}{n} right| leq -log(sqrt{c}) quad text{for all $n geq N$}$$ for fixed $cin (0,1)$, and so $$sum_{n geq N} e^{X_n(omega)} c^n leq sum_{n geq N} sqrt{c}^n < infty.$$
If $mathbb{E}(X_1)=infty$ then
$$sum_{n geq 1} mathbb{P}(X_n geq n)=sum_{n geq 1} mathbb{P}(X_1 geq n) =infty,$$
and therefore it follows from the Borel Cantelli lemma that $$mathbb{P}(X_n geq n , , text{infinitely often})=1,$$ i.e. $$e^{X_n} geq e^n quad text{for infinitely many $n$ with probability 1.}$$ This implies $sum_{n geq 1} e^{X_n} c^n = infty$ almost surely for $c:= 1/e$.
If $mathbb{E}(X_1)< infty$ then it follows from the strong law of large numbers that $S_n := sum_{j=1}^n X_j$ satisfies
$$lim_{n to infty} frac{S_n}{n} = mathbb{E}(X_1) quad text{a.s.};$$
hence
$$lim_{n to infty} frac{X_n}{n} = lim_{n to infty} left( frac{S_n}{n} - frac{S_{n-1}}{n} right)=0 quad text{a.s.}$$
Consequently, there exists for almost all $omega in Omega$ some $N in mathbb{N}$ such that $$left| frac{X_n(omega)}{n} right| leq -log(sqrt{c}) quad text{for all $n geq N$}$$ for fixed $cin (0,1)$, and so $$sum_{n geq N} e^{X_n(omega)} c^n leq sum_{n geq N} sqrt{c}^n < infty.$$
If $mathbb{E}(X_1)=infty$ then
$$sum_{n geq 1} mathbb{P}(X_n geq n)=sum_{n geq 1} mathbb{P}(X_1 geq n) =infty,$$
and therefore it follows from the Borel Cantelli lemma that $$mathbb{P}(X_n geq n , , text{infinitely often})=1,$$ i.e. $$e^{X_n} geq e^n quad text{for infinitely many $n$ with probability 1.}$$ This implies $sum_{n geq 1} e^{X_n} c^n = infty$ almost surely for $c:= 1/e$.
edited Nov 20 '18 at 18:41
answered Nov 18 '18 at 18:33
saz
78.1k758122
78.1k758122
1
For the fact that $mathbb{E}[X_1] < infty$ implies $X_n/n to 0$ a.s., it may as well be proved by Borel-Cantelli: $$forall epsilon > 0 : quad sum_{n=1}^{infty} mathbb{P}[X_n > epsilon n] leq frac{1}{epsilon}mathbb{E}[X_1] < infty. $$ I am very certain that you already know this, but just wanted to mention in case OP needs an alternative approach.
– Sangchul Lee
Nov 18 '18 at 21:00
@SangchulLee Yes of course; thanks for your comment.
– saz
Nov 18 '18 at 21:02
@Did Ah right, I messed that up; thanks a lot for your comment.
– saz
Nov 19 '18 at 6:13
add a comment |
1
For the fact that $mathbb{E}[X_1] < infty$ implies $X_n/n to 0$ a.s., it may as well be proved by Borel-Cantelli: $$forall epsilon > 0 : quad sum_{n=1}^{infty} mathbb{P}[X_n > epsilon n] leq frac{1}{epsilon}mathbb{E}[X_1] < infty. $$ I am very certain that you already know this, but just wanted to mention in case OP needs an alternative approach.
– Sangchul Lee
Nov 18 '18 at 21:00
@SangchulLee Yes of course; thanks for your comment.
– saz
Nov 18 '18 at 21:02
@Did Ah right, I messed that up; thanks a lot for your comment.
– saz
Nov 19 '18 at 6:13
1
1
For the fact that $mathbb{E}[X_1] < infty$ implies $X_n/n to 0$ a.s., it may as well be proved by Borel-Cantelli: $$forall epsilon > 0 : quad sum_{n=1}^{infty} mathbb{P}[X_n > epsilon n] leq frac{1}{epsilon}mathbb{E}[X_1] < infty. $$ I am very certain that you already know this, but just wanted to mention in case OP needs an alternative approach.
– Sangchul Lee
Nov 18 '18 at 21:00
For the fact that $mathbb{E}[X_1] < infty$ implies $X_n/n to 0$ a.s., it may as well be proved by Borel-Cantelli: $$forall epsilon > 0 : quad sum_{n=1}^{infty} mathbb{P}[X_n > epsilon n] leq frac{1}{epsilon}mathbb{E}[X_1] < infty. $$ I am very certain that you already know this, but just wanted to mention in case OP needs an alternative approach.
– Sangchul Lee
Nov 18 '18 at 21:00
@SangchulLee Yes of course; thanks for your comment.
– saz
Nov 18 '18 at 21:02
@SangchulLee Yes of course; thanks for your comment.
– saz
Nov 18 '18 at 21:02
@Did Ah right, I messed that up; thanks a lot for your comment.
– saz
Nov 19 '18 at 6:13
@Did Ah right, I messed that up; thanks a lot for your comment.
– saz
Nov 19 '18 at 6:13
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3003869%2fiid-random-variables-x-n-have-sum-ex-n-cn-infty-a-s%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