Variance and covariance inequalityMinimizing the variance of weighted sum of two random variables with respect to the weightsFinding covariance given varianceVariance and covarianceVariance, Covariance, and Correlation answer checkConditional Expectation and Variance QuestionVariance and covariance between 2 variablesHow to prove an equality envolving variance and covarianceFinding the covariance of X,Y using variance?Covariance between given iid random variable and sample averageVariance of ratio of mean value of functions of a random variable
How could the B-29 bomber back up under its own power?
Is a world with one country feeding everyone possible?
What is the required burn to keep a satellite at a Lagrangian point?
One word for 'the thing that attracts me'?
How would a physicist explain this starship engine?
why "American-born", not "America-born"?
Why is this python script running in background consuming 100 % CPU?
size of pointers and architecture
amsmath: How can I use the equation numbering and label manually and anywhere?
How many wires should be in a new thermostat cable?
Real Analysis: Proof of the equivalent definitions of the derivative.
What does it mean when みたいな is at the end of a sentence?
Is it normal to "extract a paper" from a master thesis?
Passport queue length in UK in relation to arrival method
Illustrating that universal optimality is stronger than sphere packing
How does the Earth's center produce heat?
mmap: effect of other processes writing to a file previously mapped read-only
Negative impact of having the launch pad away from the Equator
What does it mean for something to be strictly less than epsilon for an arbitrary epsilon?
Does the fact that we can only measure the two-way speed of light undermine the axiom of invariance?
If I arrive in the UK, and then head to mainland Europe, does my Schengen visa 90 day limit start when I arrived in the UK, or mainland Europe?
csname in newenviroment
To exponential digit growth and beyond!
Keeping the dodos out of the field
Variance and covariance inequality
Minimizing the variance of weighted sum of two random variables with respect to the weightsFinding covariance given varianceVariance and covarianceVariance, Covariance, and Correlation answer checkConditional Expectation and Variance QuestionVariance and covariance between 2 variablesHow to prove an equality envolving variance and covarianceFinding the covariance of X,Y using variance?Covariance between given iid random variable and sample averageVariance of ratio of mean value of functions of a random variable
$begingroup$
Given a real-valued random variable $X$, is
$$2mathbb E[X] mathrmVar(X) geq mathrmCov(X, X^2)$$
true?
Any pointers for how to tackle this problem would be immensely helpful.
probability inequality variance covariance
$endgroup$
add a comment |
$begingroup$
Given a real-valued random variable $X$, is
$$2mathbb E[X] mathrmVar(X) geq mathrmCov(X, X^2)$$
true?
Any pointers for how to tackle this problem would be immensely helpful.
probability inequality variance covariance
$endgroup$
$begingroup$
One trick is to write a little computer program to generate examples randomly, which you can use to find counterexamples. Such as $P(X=a)=p, P(X=b)=1-p$, where you use a random number generator to pick the parameters $a,b,p$ and exact formulas in terms of $a,b.p$ for the relevant moments of $X$.
$endgroup$
– kimchi lover
May 15 at 1:04
$begingroup$
I expect that the answer will follow quickly after applying the well-known identities $textVar(X)=mathbb E[X^2]-mathbb E[X]^2$ and $textCov(X,Y)=mathbb E[XY]-mathbb E[X]mathbb E[Y]$
$endgroup$
– M. Nestor
May 15 at 1:06
add a comment |
$begingroup$
Given a real-valued random variable $X$, is
$$2mathbb E[X] mathrmVar(X) geq mathrmCov(X, X^2)$$
true?
Any pointers for how to tackle this problem would be immensely helpful.
probability inequality variance covariance
$endgroup$
Given a real-valued random variable $X$, is
$$2mathbb E[X] mathrmVar(X) geq mathrmCov(X, X^2)$$
true?
Any pointers for how to tackle this problem would be immensely helpful.
probability inequality variance covariance
probability inequality variance covariance
asked May 15 at 0:42
sk1ll3rsk1ll3r
455
455
$begingroup$
One trick is to write a little computer program to generate examples randomly, which you can use to find counterexamples. Such as $P(X=a)=p, P(X=b)=1-p$, where you use a random number generator to pick the parameters $a,b,p$ and exact formulas in terms of $a,b.p$ for the relevant moments of $X$.
$endgroup$
– kimchi lover
May 15 at 1:04
$begingroup$
I expect that the answer will follow quickly after applying the well-known identities $textVar(X)=mathbb E[X^2]-mathbb E[X]^2$ and $textCov(X,Y)=mathbb E[XY]-mathbb E[X]mathbb E[Y]$
$endgroup$
– M. Nestor
May 15 at 1:06
add a comment |
$begingroup$
One trick is to write a little computer program to generate examples randomly, which you can use to find counterexamples. Such as $P(X=a)=p, P(X=b)=1-p$, where you use a random number generator to pick the parameters $a,b,p$ and exact formulas in terms of $a,b.p$ for the relevant moments of $X$.
$endgroup$
– kimchi lover
May 15 at 1:04
$begingroup$
I expect that the answer will follow quickly after applying the well-known identities $textVar(X)=mathbb E[X^2]-mathbb E[X]^2$ and $textCov(X,Y)=mathbb E[XY]-mathbb E[X]mathbb E[Y]$
$endgroup$
– M. Nestor
May 15 at 1:06
$begingroup$
One trick is to write a little computer program to generate examples randomly, which you can use to find counterexamples. Such as $P(X=a)=p, P(X=b)=1-p$, where you use a random number generator to pick the parameters $a,b,p$ and exact formulas in terms of $a,b.p$ for the relevant moments of $X$.
$endgroup$
– kimchi lover
May 15 at 1:04
$begingroup$
One trick is to write a little computer program to generate examples randomly, which you can use to find counterexamples. Such as $P(X=a)=p, P(X=b)=1-p$, where you use a random number generator to pick the parameters $a,b,p$ and exact formulas in terms of $a,b.p$ for the relevant moments of $X$.
$endgroup$
– kimchi lover
May 15 at 1:04
$begingroup$
I expect that the answer will follow quickly after applying the well-known identities $textVar(X)=mathbb E[X^2]-mathbb E[X]^2$ and $textCov(X,Y)=mathbb E[XY]-mathbb E[X]mathbb E[Y]$
$endgroup$
– M. Nestor
May 15 at 1:06
$begingroup$
I expect that the answer will follow quickly after applying the well-known identities $textVar(X)=mathbb E[X^2]-mathbb E[X]^2$ and $textCov(X,Y)=mathbb E[XY]-mathbb E[X]mathbb E[Y]$
$endgroup$
– M. Nestor
May 15 at 1:06
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Use the variance and covariance identities
$$textVar(X)=mathbb E[X^2] − mathbb E[X]^2$$
and
$$textCov(X,Y) = mathbb E[XY] − mathbb E[X] mathbb E[Y]$$
Then the given inequality is equivalent to
$$ 2 mathbb E[X] Big( mathbb E[X^2] - mathbb E[X]^2 Big)
overset?geq
mathbb E[X^3] - mathbb E[X] mathbb E[X^2] tag1$$
For a counterexample, let $X sim textExp(lambda)$ be the exponential distribution with parameter $lambda in (0, infty)$ and probability mass function
$$ f_X(x) = begincases
lambda e^-lambda x & textif x geq 0 \
0 & textif x < 0
endcases $$
Its $n$-th moment is given by $mathbb E[X^n]=fracn!lambda^n$, so the inequality $(1)$ becomes
$$2 cdot frac1lambda Big( frac2lambda^2 - frac1lambda^2 Big)
geq
frac6lambda^3 - frac1lambda cdot frac2lambda^2$$
which reduces to
$$frac2lambda^3 geq frac4lambda^3$$
This is false for all $lambda in (0, infty)$, hence we found a counterexample.
$endgroup$
$begingroup$
hi! thanks a lot for this. do you think the inequality is false for a real-valued $X$ (as specified in the question) as well? i haven't been able to find a counter-example. for $X sim mathrmNormal(mu, sigma^2)$, both left and right hand side reduce to $2musigma^2$.
$endgroup$
– sk1ll3r
May 15 at 3:02
1
$begingroup$
Sorry I did not notice that detail. I edited my answer to include an example where $X$ has continuous support.
$endgroup$
– M. Nestor
May 15 at 3:40
add a comment |
$begingroup$
Alternate approach / observation...
Assume $2 E[X] Var(X) ge Cov(X, X^2)$ for any real-valued r.v. $X.$ Then in particular it would also be true for $-X$, so that:
$$
beginalign
2E[-X] Var(-X) &ge Cov(-X, (-X)^2)\
-2E[X] Var(X) &ge -Cov(X, X^2)\
2E[X] Var(X) &le Cov(X, X^2)
endalign
$$
which, combined with the original inequality, means: $2E[X]Var(X) = Cov(X, X^2)$ for all $X$.
At this point, it would seem one should be able to find a counter-example easily, without using e.g. $Cov(X, X^2) = E[X^3] - E[X]E[X^2]$ etc, but I just couldn't think of a quick one. :(
$endgroup$
add a comment |
Your Answer
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%2f3226379%2fvariance-and-covariance-inequality%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Use the variance and covariance identities
$$textVar(X)=mathbb E[X^2] − mathbb E[X]^2$$
and
$$textCov(X,Y) = mathbb E[XY] − mathbb E[X] mathbb E[Y]$$
Then the given inequality is equivalent to
$$ 2 mathbb E[X] Big( mathbb E[X^2] - mathbb E[X]^2 Big)
overset?geq
mathbb E[X^3] - mathbb E[X] mathbb E[X^2] tag1$$
For a counterexample, let $X sim textExp(lambda)$ be the exponential distribution with parameter $lambda in (0, infty)$ and probability mass function
$$ f_X(x) = begincases
lambda e^-lambda x & textif x geq 0 \
0 & textif x < 0
endcases $$
Its $n$-th moment is given by $mathbb E[X^n]=fracn!lambda^n$, so the inequality $(1)$ becomes
$$2 cdot frac1lambda Big( frac2lambda^2 - frac1lambda^2 Big)
geq
frac6lambda^3 - frac1lambda cdot frac2lambda^2$$
which reduces to
$$frac2lambda^3 geq frac4lambda^3$$
This is false for all $lambda in (0, infty)$, hence we found a counterexample.
$endgroup$
$begingroup$
hi! thanks a lot for this. do you think the inequality is false for a real-valued $X$ (as specified in the question) as well? i haven't been able to find a counter-example. for $X sim mathrmNormal(mu, sigma^2)$, both left and right hand side reduce to $2musigma^2$.
$endgroup$
– sk1ll3r
May 15 at 3:02
1
$begingroup$
Sorry I did not notice that detail. I edited my answer to include an example where $X$ has continuous support.
$endgroup$
– M. Nestor
May 15 at 3:40
add a comment |
$begingroup$
Use the variance and covariance identities
$$textVar(X)=mathbb E[X^2] − mathbb E[X]^2$$
and
$$textCov(X,Y) = mathbb E[XY] − mathbb E[X] mathbb E[Y]$$
Then the given inequality is equivalent to
$$ 2 mathbb E[X] Big( mathbb E[X^2] - mathbb E[X]^2 Big)
overset?geq
mathbb E[X^3] - mathbb E[X] mathbb E[X^2] tag1$$
For a counterexample, let $X sim textExp(lambda)$ be the exponential distribution with parameter $lambda in (0, infty)$ and probability mass function
$$ f_X(x) = begincases
lambda e^-lambda x & textif x geq 0 \
0 & textif x < 0
endcases $$
Its $n$-th moment is given by $mathbb E[X^n]=fracn!lambda^n$, so the inequality $(1)$ becomes
$$2 cdot frac1lambda Big( frac2lambda^2 - frac1lambda^2 Big)
geq
frac6lambda^3 - frac1lambda cdot frac2lambda^2$$
which reduces to
$$frac2lambda^3 geq frac4lambda^3$$
This is false for all $lambda in (0, infty)$, hence we found a counterexample.
$endgroup$
$begingroup$
hi! thanks a lot for this. do you think the inequality is false for a real-valued $X$ (as specified in the question) as well? i haven't been able to find a counter-example. for $X sim mathrmNormal(mu, sigma^2)$, both left and right hand side reduce to $2musigma^2$.
$endgroup$
– sk1ll3r
May 15 at 3:02
1
$begingroup$
Sorry I did not notice that detail. I edited my answer to include an example where $X$ has continuous support.
$endgroup$
– M. Nestor
May 15 at 3:40
add a comment |
$begingroup$
Use the variance and covariance identities
$$textVar(X)=mathbb E[X^2] − mathbb E[X]^2$$
and
$$textCov(X,Y) = mathbb E[XY] − mathbb E[X] mathbb E[Y]$$
Then the given inequality is equivalent to
$$ 2 mathbb E[X] Big( mathbb E[X^2] - mathbb E[X]^2 Big)
overset?geq
mathbb E[X^3] - mathbb E[X] mathbb E[X^2] tag1$$
For a counterexample, let $X sim textExp(lambda)$ be the exponential distribution with parameter $lambda in (0, infty)$ and probability mass function
$$ f_X(x) = begincases
lambda e^-lambda x & textif x geq 0 \
0 & textif x < 0
endcases $$
Its $n$-th moment is given by $mathbb E[X^n]=fracn!lambda^n$, so the inequality $(1)$ becomes
$$2 cdot frac1lambda Big( frac2lambda^2 - frac1lambda^2 Big)
geq
frac6lambda^3 - frac1lambda cdot frac2lambda^2$$
which reduces to
$$frac2lambda^3 geq frac4lambda^3$$
This is false for all $lambda in (0, infty)$, hence we found a counterexample.
$endgroup$
Use the variance and covariance identities
$$textVar(X)=mathbb E[X^2] − mathbb E[X]^2$$
and
$$textCov(X,Y) = mathbb E[XY] − mathbb E[X] mathbb E[Y]$$
Then the given inequality is equivalent to
$$ 2 mathbb E[X] Big( mathbb E[X^2] - mathbb E[X]^2 Big)
overset?geq
mathbb E[X^3] - mathbb E[X] mathbb E[X^2] tag1$$
For a counterexample, let $X sim textExp(lambda)$ be the exponential distribution with parameter $lambda in (0, infty)$ and probability mass function
$$ f_X(x) = begincases
lambda e^-lambda x & textif x geq 0 \
0 & textif x < 0
endcases $$
Its $n$-th moment is given by $mathbb E[X^n]=fracn!lambda^n$, so the inequality $(1)$ becomes
$$2 cdot frac1lambda Big( frac2lambda^2 - frac1lambda^2 Big)
geq
frac6lambda^3 - frac1lambda cdot frac2lambda^2$$
which reduces to
$$frac2lambda^3 geq frac4lambda^3$$
This is false for all $lambda in (0, infty)$, hence we found a counterexample.
edited May 15 at 4:04
answered May 15 at 1:32
M. NestorM. Nestor
890115
890115
$begingroup$
hi! thanks a lot for this. do you think the inequality is false for a real-valued $X$ (as specified in the question) as well? i haven't been able to find a counter-example. for $X sim mathrmNormal(mu, sigma^2)$, both left and right hand side reduce to $2musigma^2$.
$endgroup$
– sk1ll3r
May 15 at 3:02
1
$begingroup$
Sorry I did not notice that detail. I edited my answer to include an example where $X$ has continuous support.
$endgroup$
– M. Nestor
May 15 at 3:40
add a comment |
$begingroup$
hi! thanks a lot for this. do you think the inequality is false for a real-valued $X$ (as specified in the question) as well? i haven't been able to find a counter-example. for $X sim mathrmNormal(mu, sigma^2)$, both left and right hand side reduce to $2musigma^2$.
$endgroup$
– sk1ll3r
May 15 at 3:02
1
$begingroup$
Sorry I did not notice that detail. I edited my answer to include an example where $X$ has continuous support.
$endgroup$
– M. Nestor
May 15 at 3:40
$begingroup$
hi! thanks a lot for this. do you think the inequality is false for a real-valued $X$ (as specified in the question) as well? i haven't been able to find a counter-example. for $X sim mathrmNormal(mu, sigma^2)$, both left and right hand side reduce to $2musigma^2$.
$endgroup$
– sk1ll3r
May 15 at 3:02
$begingroup$
hi! thanks a lot for this. do you think the inequality is false for a real-valued $X$ (as specified in the question) as well? i haven't been able to find a counter-example. for $X sim mathrmNormal(mu, sigma^2)$, both left and right hand side reduce to $2musigma^2$.
$endgroup$
– sk1ll3r
May 15 at 3:02
1
1
$begingroup$
Sorry I did not notice that detail. I edited my answer to include an example where $X$ has continuous support.
$endgroup$
– M. Nestor
May 15 at 3:40
$begingroup$
Sorry I did not notice that detail. I edited my answer to include an example where $X$ has continuous support.
$endgroup$
– M. Nestor
May 15 at 3:40
add a comment |
$begingroup$
Alternate approach / observation...
Assume $2 E[X] Var(X) ge Cov(X, X^2)$ for any real-valued r.v. $X.$ Then in particular it would also be true for $-X$, so that:
$$
beginalign
2E[-X] Var(-X) &ge Cov(-X, (-X)^2)\
-2E[X] Var(X) &ge -Cov(X, X^2)\
2E[X] Var(X) &le Cov(X, X^2)
endalign
$$
which, combined with the original inequality, means: $2E[X]Var(X) = Cov(X, X^2)$ for all $X$.
At this point, it would seem one should be able to find a counter-example easily, without using e.g. $Cov(X, X^2) = E[X^3] - E[X]E[X^2]$ etc, but I just couldn't think of a quick one. :(
$endgroup$
add a comment |
$begingroup$
Alternate approach / observation...
Assume $2 E[X] Var(X) ge Cov(X, X^2)$ for any real-valued r.v. $X.$ Then in particular it would also be true for $-X$, so that:
$$
beginalign
2E[-X] Var(-X) &ge Cov(-X, (-X)^2)\
-2E[X] Var(X) &ge -Cov(X, X^2)\
2E[X] Var(X) &le Cov(X, X^2)
endalign
$$
which, combined with the original inequality, means: $2E[X]Var(X) = Cov(X, X^2)$ for all $X$.
At this point, it would seem one should be able to find a counter-example easily, without using e.g. $Cov(X, X^2) = E[X^3] - E[X]E[X^2]$ etc, but I just couldn't think of a quick one. :(
$endgroup$
add a comment |
$begingroup$
Alternate approach / observation...
Assume $2 E[X] Var(X) ge Cov(X, X^2)$ for any real-valued r.v. $X.$ Then in particular it would also be true for $-X$, so that:
$$
beginalign
2E[-X] Var(-X) &ge Cov(-X, (-X)^2)\
-2E[X] Var(X) &ge -Cov(X, X^2)\
2E[X] Var(X) &le Cov(X, X^2)
endalign
$$
which, combined with the original inequality, means: $2E[X]Var(X) = Cov(X, X^2)$ for all $X$.
At this point, it would seem one should be able to find a counter-example easily, without using e.g. $Cov(X, X^2) = E[X^3] - E[X]E[X^2]$ etc, but I just couldn't think of a quick one. :(
$endgroup$
Alternate approach / observation...
Assume $2 E[X] Var(X) ge Cov(X, X^2)$ for any real-valued r.v. $X.$ Then in particular it would also be true for $-X$, so that:
$$
beginalign
2E[-X] Var(-X) &ge Cov(-X, (-X)^2)\
-2E[X] Var(X) &ge -Cov(X, X^2)\
2E[X] Var(X) &le Cov(X, X^2)
endalign
$$
which, combined with the original inequality, means: $2E[X]Var(X) = Cov(X, X^2)$ for all $X$.
At this point, it would seem one should be able to find a counter-example easily, without using e.g. $Cov(X, X^2) = E[X^3] - E[X]E[X^2]$ etc, but I just couldn't think of a quick one. :(
answered May 15 at 4:35
antkamantkam
4,569415
4,569415
add a comment |
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%2f3226379%2fvariance-and-covariance-inequality%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$
One trick is to write a little computer program to generate examples randomly, which you can use to find counterexamples. Such as $P(X=a)=p, P(X=b)=1-p$, where you use a random number generator to pick the parameters $a,b,p$ and exact formulas in terms of $a,b.p$ for the relevant moments of $X$.
$endgroup$
– kimchi lover
May 15 at 1:04
$begingroup$
I expect that the answer will follow quickly after applying the well-known identities $textVar(X)=mathbb E[X^2]-mathbb E[X]^2$ and $textCov(X,Y)=mathbb E[XY]-mathbb E[X]mathbb E[Y]$
$endgroup$
– M. Nestor
May 15 at 1:06