Conditional expectation application

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












Suppose I have two non-negative r.v.s $X,Y geq 1$ and I know $mathbbE(X^2 | Y) = (Y-1) ^ 2$.



Does this mean $mathbbE(X | Y) = Y - 1$?



Cause, if i recall right the intro to probability, I have
$mathbbE(X^2 | Y = y) = (y - 1)^2$, so it obvious that $mathbbE(X | Y = y) = y - 1$ for all $y$. But then I saw that conditional expectation is actually a function - projection to some space etc. and now this doesn't seem obvious at all.







share|cite|improve this question























    up vote
    0
    down vote

    favorite












    Suppose I have two non-negative r.v.s $X,Y geq 1$ and I know $mathbbE(X^2 | Y) = (Y-1) ^ 2$.



    Does this mean $mathbbE(X | Y) = Y - 1$?



    Cause, if i recall right the intro to probability, I have
    $mathbbE(X^2 | Y = y) = (y - 1)^2$, so it obvious that $mathbbE(X | Y = y) = y - 1$ for all $y$. But then I saw that conditional expectation is actually a function - projection to some space etc. and now this doesn't seem obvious at all.







    share|cite|improve this question





















      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      Suppose I have two non-negative r.v.s $X,Y geq 1$ and I know $mathbbE(X^2 | Y) = (Y-1) ^ 2$.



      Does this mean $mathbbE(X | Y) = Y - 1$?



      Cause, if i recall right the intro to probability, I have
      $mathbbE(X^2 | Y = y) = (y - 1)^2$, so it obvious that $mathbbE(X | Y = y) = y - 1$ for all $y$. But then I saw that conditional expectation is actually a function - projection to some space etc. and now this doesn't seem obvious at all.







      share|cite|improve this question











      Suppose I have two non-negative r.v.s $X,Y geq 1$ and I know $mathbbE(X^2 | Y) = (Y-1) ^ 2$.



      Does this mean $mathbbE(X | Y) = Y - 1$?



      Cause, if i recall right the intro to probability, I have
      $mathbbE(X^2 | Y = y) = (y - 1)^2$, so it obvious that $mathbbE(X | Y = y) = y - 1$ for all $y$. But then I saw that conditional expectation is actually a function - projection to some space etc. and now this doesn't seem obvious at all.









      share|cite|improve this question










      share|cite|improve this question




      share|cite|improve this question









      asked Jul 28 at 11:23









      dEmigOd

      1,2731512




      1,2731512




















          4 Answers
          4






          active

          oldest

          votes

















          up vote
          2
          down vote



          accepted










          No.



          Let it be that $Z$ is a random variable with $Z>0.5$, $mathbb EZ^2=1$ and $0<mathbb EZ<1$. Further let it be that $Y$ and $Z$ are independent and $Y>3$.



          Then for $X=(Y-1)Z>1$ and we find: $$mathbb E[X^2mid Y]=mathbb E[(Y-1)^2Z^2mid Y]=(Y-1)^2mathbb EZ^2=(Y-1)^2$$ and:$$mathbb E[Xmid Y]=mathbb E[(Y-1)Zmid Y]=(Y-1)mathbb EZ<(Y-1)$$






          share|cite|improve this answer



















          • 2




            You forgot the following: $X,Yge 1$
            – Bob
            Jul 28 at 11:39










          • @Bob Yes, you are right. But I am sure that it is not okay. I will delete this within some minutes, and then will try to find a suitable counterexample.
            – Vera
            Jul 28 at 11:41










          • @Bob I found another counterexample.
            – Vera
            Jul 28 at 12:00

















          up vote
          3
          down vote













          Let $Omega=a,b, mathcalF=2^Omega$ and $mathbbP$ the uniform probability on $Omega$. Define $X(a)=sqrt3/2, X(b)=sqrt5/2$ and $Y(a)=sqrt2+1=Y(b)$. Then $X,Yge1$ and $$mathbbE(X^2|Y)=mathbbE(X^2)=frac12frac32+frac12frac52=2=(Y-1)^2$$ but



          $$mathbbE(X|Y)=mathbbE(X)=frac12sqrtfrac32+frac12sqrtfrac52neqsqrt2=Y-1$$






          share|cite|improve this answer




























            up vote
            0
            down vote













            Generally this is not true. Even without introducing any conditioning, in all generality $mathbfE[X^2] neq (mathbfE[X])^2$.



            You can still say something: from Jensen's inequality, since $x mapsto x^2$ is convex, you always have that $mathbfE[X^2] geq (mathbfE[X])^2$, which also applies to your original question for conditional probabilities:



            $$mathbfE[X | Y] leq sqrt Y] = |Y-1| = Y - 1 text from Y geq 1$$






            share|cite|improve this answer























            • I suppose, if for example it is equality (after all) your claim is still true
              – dEmigOd
              Jul 28 at 11:46










            • I think Jensen's inequality for the square function can only be an equality when $X | Y$ is almost surely constant.
              – ippiki-ookami
              Jul 28 at 11:53

















            up vote
            0
            down vote













            Let $X_0$ be $N(0,1)$, $X=X_0^2+1$ and $Y=1+sqrt 3+E(X_0)^4$. Then $E(X^2|Y)=(Y-1)^2$ and $E(X|Y)=2neq Y-1$ My idea is to give a simple example where $Y$ is a constant.






            share|cite|improve this answer























            • The question requires that $X, Y geq 1$
              – ippiki-ookami
              Jul 28 at 11:59










            • @ippiki-ookami See my revised answer.
              – Kavi Rama Murthy
              Jul 28 at 12:08










            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',
            convertImagesToLinks: true,
            noModals: false,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            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%2f2865182%2fconditional-expectation-application%23new-answer', 'question_page');

            );

            Post as a guest






























            4 Answers
            4






            active

            oldest

            votes








            4 Answers
            4






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            2
            down vote



            accepted










            No.



            Let it be that $Z$ is a random variable with $Z>0.5$, $mathbb EZ^2=1$ and $0<mathbb EZ<1$. Further let it be that $Y$ and $Z$ are independent and $Y>3$.



            Then for $X=(Y-1)Z>1$ and we find: $$mathbb E[X^2mid Y]=mathbb E[(Y-1)^2Z^2mid Y]=(Y-1)^2mathbb EZ^2=(Y-1)^2$$ and:$$mathbb E[Xmid Y]=mathbb E[(Y-1)Zmid Y]=(Y-1)mathbb EZ<(Y-1)$$






            share|cite|improve this answer



















            • 2




              You forgot the following: $X,Yge 1$
              – Bob
              Jul 28 at 11:39










            • @Bob Yes, you are right. But I am sure that it is not okay. I will delete this within some minutes, and then will try to find a suitable counterexample.
              – Vera
              Jul 28 at 11:41










            • @Bob I found another counterexample.
              – Vera
              Jul 28 at 12:00














            up vote
            2
            down vote



            accepted










            No.



            Let it be that $Z$ is a random variable with $Z>0.5$, $mathbb EZ^2=1$ and $0<mathbb EZ<1$. Further let it be that $Y$ and $Z$ are independent and $Y>3$.



            Then for $X=(Y-1)Z>1$ and we find: $$mathbb E[X^2mid Y]=mathbb E[(Y-1)^2Z^2mid Y]=(Y-1)^2mathbb EZ^2=(Y-1)^2$$ and:$$mathbb E[Xmid Y]=mathbb E[(Y-1)Zmid Y]=(Y-1)mathbb EZ<(Y-1)$$






            share|cite|improve this answer



















            • 2




              You forgot the following: $X,Yge 1$
              – Bob
              Jul 28 at 11:39










            • @Bob Yes, you are right. But I am sure that it is not okay. I will delete this within some minutes, and then will try to find a suitable counterexample.
              – Vera
              Jul 28 at 11:41










            • @Bob I found another counterexample.
              – Vera
              Jul 28 at 12:00












            up vote
            2
            down vote



            accepted







            up vote
            2
            down vote



            accepted






            No.



            Let it be that $Z$ is a random variable with $Z>0.5$, $mathbb EZ^2=1$ and $0<mathbb EZ<1$. Further let it be that $Y$ and $Z$ are independent and $Y>3$.



            Then for $X=(Y-1)Z>1$ and we find: $$mathbb E[X^2mid Y]=mathbb E[(Y-1)^2Z^2mid Y]=(Y-1)^2mathbb EZ^2=(Y-1)^2$$ and:$$mathbb E[Xmid Y]=mathbb E[(Y-1)Zmid Y]=(Y-1)mathbb EZ<(Y-1)$$






            share|cite|improve this answer















            No.



            Let it be that $Z$ is a random variable with $Z>0.5$, $mathbb EZ^2=1$ and $0<mathbb EZ<1$. Further let it be that $Y$ and $Z$ are independent and $Y>3$.



            Then for $X=(Y-1)Z>1$ and we find: $$mathbb E[X^2mid Y]=mathbb E[(Y-1)^2Z^2mid Y]=(Y-1)^2mathbb EZ^2=(Y-1)^2$$ and:$$mathbb E[Xmid Y]=mathbb E[(Y-1)Zmid Y]=(Y-1)mathbb EZ<(Y-1)$$







            share|cite|improve this answer















            share|cite|improve this answer



            share|cite|improve this answer








            edited Jul 28 at 11:59


























            answered Jul 28 at 11:36









            Vera

            1,696313




            1,696313







            • 2




              You forgot the following: $X,Yge 1$
              – Bob
              Jul 28 at 11:39










            • @Bob Yes, you are right. But I am sure that it is not okay. I will delete this within some minutes, and then will try to find a suitable counterexample.
              – Vera
              Jul 28 at 11:41










            • @Bob I found another counterexample.
              – Vera
              Jul 28 at 12:00












            • 2




              You forgot the following: $X,Yge 1$
              – Bob
              Jul 28 at 11:39










            • @Bob Yes, you are right. But I am sure that it is not okay. I will delete this within some minutes, and then will try to find a suitable counterexample.
              – Vera
              Jul 28 at 11:41










            • @Bob I found another counterexample.
              – Vera
              Jul 28 at 12:00







            2




            2




            You forgot the following: $X,Yge 1$
            – Bob
            Jul 28 at 11:39




            You forgot the following: $X,Yge 1$
            – Bob
            Jul 28 at 11:39












            @Bob Yes, you are right. But I am sure that it is not okay. I will delete this within some minutes, and then will try to find a suitable counterexample.
            – Vera
            Jul 28 at 11:41




            @Bob Yes, you are right. But I am sure that it is not okay. I will delete this within some minutes, and then will try to find a suitable counterexample.
            – Vera
            Jul 28 at 11:41












            @Bob I found another counterexample.
            – Vera
            Jul 28 at 12:00




            @Bob I found another counterexample.
            – Vera
            Jul 28 at 12:00










            up vote
            3
            down vote













            Let $Omega=a,b, mathcalF=2^Omega$ and $mathbbP$ the uniform probability on $Omega$. Define $X(a)=sqrt3/2, X(b)=sqrt5/2$ and $Y(a)=sqrt2+1=Y(b)$. Then $X,Yge1$ and $$mathbbE(X^2|Y)=mathbbE(X^2)=frac12frac32+frac12frac52=2=(Y-1)^2$$ but



            $$mathbbE(X|Y)=mathbbE(X)=frac12sqrtfrac32+frac12sqrtfrac52neqsqrt2=Y-1$$






            share|cite|improve this answer

























              up vote
              3
              down vote













              Let $Omega=a,b, mathcalF=2^Omega$ and $mathbbP$ the uniform probability on $Omega$. Define $X(a)=sqrt3/2, X(b)=sqrt5/2$ and $Y(a)=sqrt2+1=Y(b)$. Then $X,Yge1$ and $$mathbbE(X^2|Y)=mathbbE(X^2)=frac12frac32+frac12frac52=2=(Y-1)^2$$ but



              $$mathbbE(X|Y)=mathbbE(X)=frac12sqrtfrac32+frac12sqrtfrac52neqsqrt2=Y-1$$






              share|cite|improve this answer























                up vote
                3
                down vote










                up vote
                3
                down vote









                Let $Omega=a,b, mathcalF=2^Omega$ and $mathbbP$ the uniform probability on $Omega$. Define $X(a)=sqrt3/2, X(b)=sqrt5/2$ and $Y(a)=sqrt2+1=Y(b)$. Then $X,Yge1$ and $$mathbbE(X^2|Y)=mathbbE(X^2)=frac12frac32+frac12frac52=2=(Y-1)^2$$ but



                $$mathbbE(X|Y)=mathbbE(X)=frac12sqrtfrac32+frac12sqrtfrac52neqsqrt2=Y-1$$






                share|cite|improve this answer













                Let $Omega=a,b, mathcalF=2^Omega$ and $mathbbP$ the uniform probability on $Omega$. Define $X(a)=sqrt3/2, X(b)=sqrt5/2$ and $Y(a)=sqrt2+1=Y(b)$. Then $X,Yge1$ and $$mathbbE(X^2|Y)=mathbbE(X^2)=frac12frac32+frac12frac52=2=(Y-1)^2$$ but



                $$mathbbE(X|Y)=mathbbE(X)=frac12sqrtfrac32+frac12sqrtfrac52neqsqrt2=Y-1$$







                share|cite|improve this answer













                share|cite|improve this answer



                share|cite|improve this answer











                answered Jul 28 at 11:55









                Bob

                1,517522




                1,517522




















                    up vote
                    0
                    down vote













                    Generally this is not true. Even without introducing any conditioning, in all generality $mathbfE[X^2] neq (mathbfE[X])^2$.



                    You can still say something: from Jensen's inequality, since $x mapsto x^2$ is convex, you always have that $mathbfE[X^2] geq (mathbfE[X])^2$, which also applies to your original question for conditional probabilities:



                    $$mathbfE[X | Y] leq sqrt Y] = |Y-1| = Y - 1 text from Y geq 1$$






                    share|cite|improve this answer























                    • I suppose, if for example it is equality (after all) your claim is still true
                      – dEmigOd
                      Jul 28 at 11:46










                    • I think Jensen's inequality for the square function can only be an equality when $X | Y$ is almost surely constant.
                      – ippiki-ookami
                      Jul 28 at 11:53














                    up vote
                    0
                    down vote













                    Generally this is not true. Even without introducing any conditioning, in all generality $mathbfE[X^2] neq (mathbfE[X])^2$.



                    You can still say something: from Jensen's inequality, since $x mapsto x^2$ is convex, you always have that $mathbfE[X^2] geq (mathbfE[X])^2$, which also applies to your original question for conditional probabilities:



                    $$mathbfE[X | Y] leq sqrt Y] = |Y-1| = Y - 1 text from Y geq 1$$






                    share|cite|improve this answer























                    • I suppose, if for example it is equality (after all) your claim is still true
                      – dEmigOd
                      Jul 28 at 11:46










                    • I think Jensen's inequality for the square function can only be an equality when $X | Y$ is almost surely constant.
                      – ippiki-ookami
                      Jul 28 at 11:53












                    up vote
                    0
                    down vote










                    up vote
                    0
                    down vote









                    Generally this is not true. Even without introducing any conditioning, in all generality $mathbfE[X^2] neq (mathbfE[X])^2$.



                    You can still say something: from Jensen's inequality, since $x mapsto x^2$ is convex, you always have that $mathbfE[X^2] geq (mathbfE[X])^2$, which also applies to your original question for conditional probabilities:



                    $$mathbfE[X | Y] leq sqrt Y] = |Y-1| = Y - 1 text from Y geq 1$$






                    share|cite|improve this answer















                    Generally this is not true. Even without introducing any conditioning, in all generality $mathbfE[X^2] neq (mathbfE[X])^2$.



                    You can still say something: from Jensen's inequality, since $x mapsto x^2$ is convex, you always have that $mathbfE[X^2] geq (mathbfE[X])^2$, which also applies to your original question for conditional probabilities:



                    $$mathbfE[X | Y] leq sqrt Y] = |Y-1| = Y - 1 text from Y geq 1$$







                    share|cite|improve this answer















                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Jul 28 at 11:46


























                    answered Jul 28 at 11:35









                    ippiki-ookami

                    303216




                    303216











                    • I suppose, if for example it is equality (after all) your claim is still true
                      – dEmigOd
                      Jul 28 at 11:46










                    • I think Jensen's inequality for the square function can only be an equality when $X | Y$ is almost surely constant.
                      – ippiki-ookami
                      Jul 28 at 11:53
















                    • I suppose, if for example it is equality (after all) your claim is still true
                      – dEmigOd
                      Jul 28 at 11:46










                    • I think Jensen's inequality for the square function can only be an equality when $X | Y$ is almost surely constant.
                      – ippiki-ookami
                      Jul 28 at 11:53















                    I suppose, if for example it is equality (after all) your claim is still true
                    – dEmigOd
                    Jul 28 at 11:46




                    I suppose, if for example it is equality (after all) your claim is still true
                    – dEmigOd
                    Jul 28 at 11:46












                    I think Jensen's inequality for the square function can only be an equality when $X | Y$ is almost surely constant.
                    – ippiki-ookami
                    Jul 28 at 11:53




                    I think Jensen's inequality for the square function can only be an equality when $X | Y$ is almost surely constant.
                    – ippiki-ookami
                    Jul 28 at 11:53










                    up vote
                    0
                    down vote













                    Let $X_0$ be $N(0,1)$, $X=X_0^2+1$ and $Y=1+sqrt 3+E(X_0)^4$. Then $E(X^2|Y)=(Y-1)^2$ and $E(X|Y)=2neq Y-1$ My idea is to give a simple example where $Y$ is a constant.






                    share|cite|improve this answer























                    • The question requires that $X, Y geq 1$
                      – ippiki-ookami
                      Jul 28 at 11:59










                    • @ippiki-ookami See my revised answer.
                      – Kavi Rama Murthy
                      Jul 28 at 12:08














                    up vote
                    0
                    down vote













                    Let $X_0$ be $N(0,1)$, $X=X_0^2+1$ and $Y=1+sqrt 3+E(X_0)^4$. Then $E(X^2|Y)=(Y-1)^2$ and $E(X|Y)=2neq Y-1$ My idea is to give a simple example where $Y$ is a constant.






                    share|cite|improve this answer























                    • The question requires that $X, Y geq 1$
                      – ippiki-ookami
                      Jul 28 at 11:59










                    • @ippiki-ookami See my revised answer.
                      – Kavi Rama Murthy
                      Jul 28 at 12:08












                    up vote
                    0
                    down vote










                    up vote
                    0
                    down vote









                    Let $X_0$ be $N(0,1)$, $X=X_0^2+1$ and $Y=1+sqrt 3+E(X_0)^4$. Then $E(X^2|Y)=(Y-1)^2$ and $E(X|Y)=2neq Y-1$ My idea is to give a simple example where $Y$ is a constant.






                    share|cite|improve this answer















                    Let $X_0$ be $N(0,1)$, $X=X_0^2+1$ and $Y=1+sqrt 3+E(X_0)^4$. Then $E(X^2|Y)=(Y-1)^2$ and $E(X|Y)=2neq Y-1$ My idea is to give a simple example where $Y$ is a constant.







                    share|cite|improve this answer















                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Jul 28 at 12:05


























                    answered Jul 28 at 11:58









                    Kavi Rama Murthy

                    19.9k2829




                    19.9k2829











                    • The question requires that $X, Y geq 1$
                      – ippiki-ookami
                      Jul 28 at 11:59










                    • @ippiki-ookami See my revised answer.
                      – Kavi Rama Murthy
                      Jul 28 at 12:08
















                    • The question requires that $X, Y geq 1$
                      – ippiki-ookami
                      Jul 28 at 11:59










                    • @ippiki-ookami See my revised answer.
                      – Kavi Rama Murthy
                      Jul 28 at 12:08















                    The question requires that $X, Y geq 1$
                    – ippiki-ookami
                    Jul 28 at 11:59




                    The question requires that $X, Y geq 1$
                    – ippiki-ookami
                    Jul 28 at 11:59












                    @ippiki-ookami See my revised answer.
                    – Kavi Rama Murthy
                    Jul 28 at 12:08




                    @ippiki-ookami See my revised answer.
                    – Kavi Rama Murthy
                    Jul 28 at 12:08












                     

                    draft saved


                    draft discarded


























                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865182%2fconditional-expectation-application%23new-answer', 'question_page');

                    );

                    Post as a guest













































































                    Comments

                    Popular posts from this blog

                    Color the edges and diagonals of a regular polygon

                    Relationship between determinant of matrix and determinant of adjoint?

                    What is the equation of a 3D cone with generalised tilt?