A Question about Weak Convergence of a Ratio












1












$begingroup$


I have a question regarding convergence in distribution, which arose during one of my research works. First, let me describe the setup a bit:



$textbf{Description of the Problem}$:



Suppose that $X_n$ and $Y_n$ are two $textbf{independent}$ sequences of random variables, such that $sqrt{n} X_n xrightarrow{d} F$ and $sqrt{n}Y_n xrightarrow{d} F$, where $F$ is a continuous probability distribution. As a consequence, $frac{X_n}{Y_n} xrightarrow{d} frac{X}{Y}$, where $X$ and $Y$ are independent observations drawn from $F$.



Now, suppose that $W_n$ and $Z_n$ are two sequences of random variables such that the joint sequences $(X_n,W_n)$ and $(Y_n,Z_n)$ are independent with each other ($X_n$ and $W_n$ may be dependent, and similarly, $Y_n$ and $Z_n$ may be dependent). Also, assume that $X_n - W_n xrightarrow{d} 0$ and $Y_n - Z_n xrightarrow{d} 0$.



$textbf{My Question}$:



Does the above setting imply that:
$$frac{W_n}{Z_n}xrightarrow{d} frac{X}{Y}~?$$



In my research, $F$ is the standard normal distribution $N(0,1)$, so I would also be happy if you can prove the claim with this additional assumption. And in case the claim is false, are there other technical assumptions which make it true?



Many thanks.










share|cite|improve this question









$endgroup$

















    1












    $begingroup$


    I have a question regarding convergence in distribution, which arose during one of my research works. First, let me describe the setup a bit:



    $textbf{Description of the Problem}$:



    Suppose that $X_n$ and $Y_n$ are two $textbf{independent}$ sequences of random variables, such that $sqrt{n} X_n xrightarrow{d} F$ and $sqrt{n}Y_n xrightarrow{d} F$, where $F$ is a continuous probability distribution. As a consequence, $frac{X_n}{Y_n} xrightarrow{d} frac{X}{Y}$, where $X$ and $Y$ are independent observations drawn from $F$.



    Now, suppose that $W_n$ and $Z_n$ are two sequences of random variables such that the joint sequences $(X_n,W_n)$ and $(Y_n,Z_n)$ are independent with each other ($X_n$ and $W_n$ may be dependent, and similarly, $Y_n$ and $Z_n$ may be dependent). Also, assume that $X_n - W_n xrightarrow{d} 0$ and $Y_n - Z_n xrightarrow{d} 0$.



    $textbf{My Question}$:



    Does the above setting imply that:
    $$frac{W_n}{Z_n}xrightarrow{d} frac{X}{Y}~?$$



    In my research, $F$ is the standard normal distribution $N(0,1)$, so I would also be happy if you can prove the claim with this additional assumption. And in case the claim is false, are there other technical assumptions which make it true?



    Many thanks.










    share|cite|improve this question









    $endgroup$















      1












      1








      1





      $begingroup$


      I have a question regarding convergence in distribution, which arose during one of my research works. First, let me describe the setup a bit:



      $textbf{Description of the Problem}$:



      Suppose that $X_n$ and $Y_n$ are two $textbf{independent}$ sequences of random variables, such that $sqrt{n} X_n xrightarrow{d} F$ and $sqrt{n}Y_n xrightarrow{d} F$, where $F$ is a continuous probability distribution. As a consequence, $frac{X_n}{Y_n} xrightarrow{d} frac{X}{Y}$, where $X$ and $Y$ are independent observations drawn from $F$.



      Now, suppose that $W_n$ and $Z_n$ are two sequences of random variables such that the joint sequences $(X_n,W_n)$ and $(Y_n,Z_n)$ are independent with each other ($X_n$ and $W_n$ may be dependent, and similarly, $Y_n$ and $Z_n$ may be dependent). Also, assume that $X_n - W_n xrightarrow{d} 0$ and $Y_n - Z_n xrightarrow{d} 0$.



      $textbf{My Question}$:



      Does the above setting imply that:
      $$frac{W_n}{Z_n}xrightarrow{d} frac{X}{Y}~?$$



      In my research, $F$ is the standard normal distribution $N(0,1)$, so I would also be happy if you can prove the claim with this additional assumption. And in case the claim is false, are there other technical assumptions which make it true?



      Many thanks.










      share|cite|improve this question









      $endgroup$




      I have a question regarding convergence in distribution, which arose during one of my research works. First, let me describe the setup a bit:



      $textbf{Description of the Problem}$:



      Suppose that $X_n$ and $Y_n$ are two $textbf{independent}$ sequences of random variables, such that $sqrt{n} X_n xrightarrow{d} F$ and $sqrt{n}Y_n xrightarrow{d} F$, where $F$ is a continuous probability distribution. As a consequence, $frac{X_n}{Y_n} xrightarrow{d} frac{X}{Y}$, where $X$ and $Y$ are independent observations drawn from $F$.



      Now, suppose that $W_n$ and $Z_n$ are two sequences of random variables such that the joint sequences $(X_n,W_n)$ and $(Y_n,Z_n)$ are independent with each other ($X_n$ and $W_n$ may be dependent, and similarly, $Y_n$ and $Z_n$ may be dependent). Also, assume that $X_n - W_n xrightarrow{d} 0$ and $Y_n - Z_n xrightarrow{d} 0$.



      $textbf{My Question}$:



      Does the above setting imply that:
      $$frac{W_n}{Z_n}xrightarrow{d} frac{X}{Y}~?$$



      In my research, $F$ is the standard normal distribution $N(0,1)$, so I would also be happy if you can prove the claim with this additional assumption. And in case the claim is false, are there other technical assumptions which make it true?



      Many thanks.







      probability-theory weak-convergence






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Jan 2 at 9:16









      UsermathUsermath

      1306




      1306






















          2 Answers
          2






          active

          oldest

          votes


















          1












          $begingroup$

          The statement is false given your assumptions. A simple counterexample is already given. To induce the desired result, one can strengthen the assumption to $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Then one can show that (by e.g. Portmanteau lemma)
          $$
          sqrt{n}(X_n - W_n) to_d 0 Leftrightarrow sqrt{n}(X_n - W_n) to_p 0.
          $$
          Thus, one can conclude that
          $$
          sqrt{n}W_n = sqrt{n}X_n +sqrt{n} (W_n - X_n) to_d F.
          $$
          This is because $A_n to_d A$ and $B_n to_p c$ implies $(A_n,B_n) to_d (A,c)$. Then, continuous mapping theorem gives $A_n + B_n to_d A+c$. In the same spirit, we have $Z_n to_d F$, and hence $(W_n, Z_n) to_d (X,Y)$ where $X,Ysim F$ and $Xperp !!!perp Y.$ Continuous mapping theorem gives
          $$
          frac{W_n}{Z_n}to_d frac{X}{Y}
          $$
          as wanted.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            Thanks for your help, but note that I am assuming that $sqrt{n}X_n$ and $sqrt{n}Y_n$ are converging weakly to $F$, not $X_n$ and $Y_n$.
            $endgroup$
            – Usermath
            Jan 2 at 9:32








          • 1




            $begingroup$
            Oops, I misread it. Then you need stronger assumption that $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Otherwise, It can even fail that $sqrt{n}W_n to_d F.$
            $endgroup$
            – Song
            Jan 2 at 9:35






          • 1




            $begingroup$
            I'm saying that you should strengthen the assumption. A simple example shows that it fails given your original assumption. Take $W_n = 5X_n$ and $Z_n = 3Y_n$ for example.
            $endgroup$
            – Song
            Jan 2 at 9:38










          • $begingroup$
            Thanks, Song! I got it.
            $endgroup$
            – Usermath
            Jan 2 at 9:39










          • $begingroup$
            I hope it will help you :)
            $endgroup$
            – Song
            Jan 2 at 9:46



















          0












          $begingroup$

          Sorry for the confusion. I think one simple counterexample is $W_n = frac{1}{n}$ and $Z_n = frac{2}{n}$. Take $X_n$ and $Y_n$ to be the means of iid random variables with mean $0$ and finite variance.






          share|cite|improve this answer









          $endgroup$













            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%2f3059266%2fa-question-about-weak-convergence-of-a-ratio%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









            1












            $begingroup$

            The statement is false given your assumptions. A simple counterexample is already given. To induce the desired result, one can strengthen the assumption to $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Then one can show that (by e.g. Portmanteau lemma)
            $$
            sqrt{n}(X_n - W_n) to_d 0 Leftrightarrow sqrt{n}(X_n - W_n) to_p 0.
            $$
            Thus, one can conclude that
            $$
            sqrt{n}W_n = sqrt{n}X_n +sqrt{n} (W_n - X_n) to_d F.
            $$
            This is because $A_n to_d A$ and $B_n to_p c$ implies $(A_n,B_n) to_d (A,c)$. Then, continuous mapping theorem gives $A_n + B_n to_d A+c$. In the same spirit, we have $Z_n to_d F$, and hence $(W_n, Z_n) to_d (X,Y)$ where $X,Ysim F$ and $Xperp !!!perp Y.$ Continuous mapping theorem gives
            $$
            frac{W_n}{Z_n}to_d frac{X}{Y}
            $$
            as wanted.






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              Thanks for your help, but note that I am assuming that $sqrt{n}X_n$ and $sqrt{n}Y_n$ are converging weakly to $F$, not $X_n$ and $Y_n$.
              $endgroup$
              – Usermath
              Jan 2 at 9:32








            • 1




              $begingroup$
              Oops, I misread it. Then you need stronger assumption that $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Otherwise, It can even fail that $sqrt{n}W_n to_d F.$
              $endgroup$
              – Song
              Jan 2 at 9:35






            • 1




              $begingroup$
              I'm saying that you should strengthen the assumption. A simple example shows that it fails given your original assumption. Take $W_n = 5X_n$ and $Z_n = 3Y_n$ for example.
              $endgroup$
              – Song
              Jan 2 at 9:38










            • $begingroup$
              Thanks, Song! I got it.
              $endgroup$
              – Usermath
              Jan 2 at 9:39










            • $begingroup$
              I hope it will help you :)
              $endgroup$
              – Song
              Jan 2 at 9:46
















            1












            $begingroup$

            The statement is false given your assumptions. A simple counterexample is already given. To induce the desired result, one can strengthen the assumption to $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Then one can show that (by e.g. Portmanteau lemma)
            $$
            sqrt{n}(X_n - W_n) to_d 0 Leftrightarrow sqrt{n}(X_n - W_n) to_p 0.
            $$
            Thus, one can conclude that
            $$
            sqrt{n}W_n = sqrt{n}X_n +sqrt{n} (W_n - X_n) to_d F.
            $$
            This is because $A_n to_d A$ and $B_n to_p c$ implies $(A_n,B_n) to_d (A,c)$. Then, continuous mapping theorem gives $A_n + B_n to_d A+c$. In the same spirit, we have $Z_n to_d F$, and hence $(W_n, Z_n) to_d (X,Y)$ where $X,Ysim F$ and $Xperp !!!perp Y.$ Continuous mapping theorem gives
            $$
            frac{W_n}{Z_n}to_d frac{X}{Y}
            $$
            as wanted.






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              Thanks for your help, but note that I am assuming that $sqrt{n}X_n$ and $sqrt{n}Y_n$ are converging weakly to $F$, not $X_n$ and $Y_n$.
              $endgroup$
              – Usermath
              Jan 2 at 9:32








            • 1




              $begingroup$
              Oops, I misread it. Then you need stronger assumption that $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Otherwise, It can even fail that $sqrt{n}W_n to_d F.$
              $endgroup$
              – Song
              Jan 2 at 9:35






            • 1




              $begingroup$
              I'm saying that you should strengthen the assumption. A simple example shows that it fails given your original assumption. Take $W_n = 5X_n$ and $Z_n = 3Y_n$ for example.
              $endgroup$
              – Song
              Jan 2 at 9:38










            • $begingroup$
              Thanks, Song! I got it.
              $endgroup$
              – Usermath
              Jan 2 at 9:39










            • $begingroup$
              I hope it will help you :)
              $endgroup$
              – Song
              Jan 2 at 9:46














            1












            1








            1





            $begingroup$

            The statement is false given your assumptions. A simple counterexample is already given. To induce the desired result, one can strengthen the assumption to $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Then one can show that (by e.g. Portmanteau lemma)
            $$
            sqrt{n}(X_n - W_n) to_d 0 Leftrightarrow sqrt{n}(X_n - W_n) to_p 0.
            $$
            Thus, one can conclude that
            $$
            sqrt{n}W_n = sqrt{n}X_n +sqrt{n} (W_n - X_n) to_d F.
            $$
            This is because $A_n to_d A$ and $B_n to_p c$ implies $(A_n,B_n) to_d (A,c)$. Then, continuous mapping theorem gives $A_n + B_n to_d A+c$. In the same spirit, we have $Z_n to_d F$, and hence $(W_n, Z_n) to_d (X,Y)$ where $X,Ysim F$ and $Xperp !!!perp Y.$ Continuous mapping theorem gives
            $$
            frac{W_n}{Z_n}to_d frac{X}{Y}
            $$
            as wanted.






            share|cite|improve this answer











            $endgroup$



            The statement is false given your assumptions. A simple counterexample is already given. To induce the desired result, one can strengthen the assumption to $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Then one can show that (by e.g. Portmanteau lemma)
            $$
            sqrt{n}(X_n - W_n) to_d 0 Leftrightarrow sqrt{n}(X_n - W_n) to_p 0.
            $$
            Thus, one can conclude that
            $$
            sqrt{n}W_n = sqrt{n}X_n +sqrt{n} (W_n - X_n) to_d F.
            $$
            This is because $A_n to_d A$ and $B_n to_p c$ implies $(A_n,B_n) to_d (A,c)$. Then, continuous mapping theorem gives $A_n + B_n to_d A+c$. In the same spirit, we have $Z_n to_d F$, and hence $(W_n, Z_n) to_d (X,Y)$ where $X,Ysim F$ and $Xperp !!!perp Y.$ Continuous mapping theorem gives
            $$
            frac{W_n}{Z_n}to_d frac{X}{Y}
            $$
            as wanted.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Jan 2 at 9:42

























            answered Jan 2 at 9:26









            SongSong

            7,578423




            7,578423












            • $begingroup$
              Thanks for your help, but note that I am assuming that $sqrt{n}X_n$ and $sqrt{n}Y_n$ are converging weakly to $F$, not $X_n$ and $Y_n$.
              $endgroup$
              – Usermath
              Jan 2 at 9:32








            • 1




              $begingroup$
              Oops, I misread it. Then you need stronger assumption that $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Otherwise, It can even fail that $sqrt{n}W_n to_d F.$
              $endgroup$
              – Song
              Jan 2 at 9:35






            • 1




              $begingroup$
              I'm saying that you should strengthen the assumption. A simple example shows that it fails given your original assumption. Take $W_n = 5X_n$ and $Z_n = 3Y_n$ for example.
              $endgroup$
              – Song
              Jan 2 at 9:38










            • $begingroup$
              Thanks, Song! I got it.
              $endgroup$
              – Usermath
              Jan 2 at 9:39










            • $begingroup$
              I hope it will help you :)
              $endgroup$
              – Song
              Jan 2 at 9:46


















            • $begingroup$
              Thanks for your help, but note that I am assuming that $sqrt{n}X_n$ and $sqrt{n}Y_n$ are converging weakly to $F$, not $X_n$ and $Y_n$.
              $endgroup$
              – Usermath
              Jan 2 at 9:32








            • 1




              $begingroup$
              Oops, I misread it. Then you need stronger assumption that $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Otherwise, It can even fail that $sqrt{n}W_n to_d F.$
              $endgroup$
              – Song
              Jan 2 at 9:35






            • 1




              $begingroup$
              I'm saying that you should strengthen the assumption. A simple example shows that it fails given your original assumption. Take $W_n = 5X_n$ and $Z_n = 3Y_n$ for example.
              $endgroup$
              – Song
              Jan 2 at 9:38










            • $begingroup$
              Thanks, Song! I got it.
              $endgroup$
              – Usermath
              Jan 2 at 9:39










            • $begingroup$
              I hope it will help you :)
              $endgroup$
              – Song
              Jan 2 at 9:46
















            $begingroup$
            Thanks for your help, but note that I am assuming that $sqrt{n}X_n$ and $sqrt{n}Y_n$ are converging weakly to $F$, not $X_n$ and $Y_n$.
            $endgroup$
            – Usermath
            Jan 2 at 9:32






            $begingroup$
            Thanks for your help, but note that I am assuming that $sqrt{n}X_n$ and $sqrt{n}Y_n$ are converging weakly to $F$, not $X_n$ and $Y_n$.
            $endgroup$
            – Usermath
            Jan 2 at 9:32






            1




            1




            $begingroup$
            Oops, I misread it. Then you need stronger assumption that $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Otherwise, It can even fail that $sqrt{n}W_n to_d F.$
            $endgroup$
            – Song
            Jan 2 at 9:35




            $begingroup$
            Oops, I misread it. Then you need stronger assumption that $sqrt{n}(W_n-X_n) to_d 0$ and $sqrt{n}(Z_n-Y_n) to_d 0$. Otherwise, It can even fail that $sqrt{n}W_n to_d F.$
            $endgroup$
            – Song
            Jan 2 at 9:35




            1




            1




            $begingroup$
            I'm saying that you should strengthen the assumption. A simple example shows that it fails given your original assumption. Take $W_n = 5X_n$ and $Z_n = 3Y_n$ for example.
            $endgroup$
            – Song
            Jan 2 at 9:38




            $begingroup$
            I'm saying that you should strengthen the assumption. A simple example shows that it fails given your original assumption. Take $W_n = 5X_n$ and $Z_n = 3Y_n$ for example.
            $endgroup$
            – Song
            Jan 2 at 9:38












            $begingroup$
            Thanks, Song! I got it.
            $endgroup$
            – Usermath
            Jan 2 at 9:39




            $begingroup$
            Thanks, Song! I got it.
            $endgroup$
            – Usermath
            Jan 2 at 9:39












            $begingroup$
            I hope it will help you :)
            $endgroup$
            – Song
            Jan 2 at 9:46




            $begingroup$
            I hope it will help you :)
            $endgroup$
            – Song
            Jan 2 at 9:46











            0












            $begingroup$

            Sorry for the confusion. I think one simple counterexample is $W_n = frac{1}{n}$ and $Z_n = frac{2}{n}$. Take $X_n$ and $Y_n$ to be the means of iid random variables with mean $0$ and finite variance.






            share|cite|improve this answer









            $endgroup$


















              0












              $begingroup$

              Sorry for the confusion. I think one simple counterexample is $W_n = frac{1}{n}$ and $Z_n = frac{2}{n}$. Take $X_n$ and $Y_n$ to be the means of iid random variables with mean $0$ and finite variance.






              share|cite|improve this answer









              $endgroup$
















                0












                0








                0





                $begingroup$

                Sorry for the confusion. I think one simple counterexample is $W_n = frac{1}{n}$ and $Z_n = frac{2}{n}$. Take $X_n$ and $Y_n$ to be the means of iid random variables with mean $0$ and finite variance.






                share|cite|improve this answer









                $endgroup$



                Sorry for the confusion. I think one simple counterexample is $W_n = frac{1}{n}$ and $Z_n = frac{2}{n}$. Take $X_n$ and $Y_n$ to be the means of iid random variables with mean $0$ and finite variance.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Jan 2 at 9:38









                UsermathUsermath

                1306




                1306






























                    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%2f3059266%2fa-question-about-weak-convergence-of-a-ratio%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

                    Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

                    Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

                    A Topological Invariant for $pi_3(U(n))$