If $P(|a|>k)leq p^k$ then $lim_kto inftyint_>ka^2dmathbbP = 0$? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Computing $limlimits_ntoinfty int_0^inftyfracsin(x/n)(1+x/n)^n, dx$Evaluating an integral of a function $a:mathbbNto [0,infty)$ with respect to certain measureUse monotone convergence theorem to show that $f(x)=frac1x$ is not summable on $(0,1)$Conditions for convergence of partial sums of i.i.d. random variables to positive infinityHow to compute or give a limsup of this integral?monotone convergence intergrationFind $limlimits_ntoinftyint_mathbbRmathbb1_[0,1](x)fracnx^nsin(nx)-nsqrtx + 2n^2dlambda$Show that $int_Ssumlimits_n=1^infty f_n dmu = sumlimits_n=1^inftyint_S f_n dmu$Bartle's proof of Lebesgue Dominated Convergence TheoremUsing one of the convergence theorems, find the limit of the following integral.

Can a 1st-level character have an ability score above 18?

Slither Like a Snake

Aligning matrix of nodes with grid

Is it possible to ask for a hotel room without minibar/extra services?

What do you call a plan that's an alternative plan in case your initial plan fails?

Using "nakedly" instead of "with nothing on"

Can I throw a sword that doesn't have the Thrown property at someone?

Who can trigger ship-wide alerts in Star Trek?

What are the performance impacts of 'functional' Rust?

What did Darwin mean by 'squib' here?

I'm having difficulty getting my players to do stuff in a sandbox campaign

What is the electric potential inside a point charge?

Is there folklore associating late breastfeeding with low intelligence and/or gullibility?

I'm thinking of a number

How did passengers keep warm on sail ships?

How to say that you spent the night with someone, you were only sleeping and nothing else?

Stop battery usage [Ubuntu 18]

How to rotate it perfectly?

Mortgage adviser recommends a longer term than necessary combined with overpayments

Keep going mode for require-package

What to do with post with dry rot?

What was Bilhah and Zilpah's ancestry?

Does the STL have a way to apply a function before calling less than?

Can smartphones with the same camera sensor have different image quality?



If $P(|a|>k)leq p^k$ then $lim_kto inftyint_a^2dmathbbP = 0$?



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Computing $limlimits_ntoinfty int_0^inftyfracsin(x/n)(1+x/n)^n, dx$Evaluating an integral of a function $a:mathbbNto [0,infty)$ with respect to certain measureUse monotone convergence theorem to show that $f(x)=frac1x$ is not summable on $(0,1)$Conditions for convergence of partial sums of i.i.d. random variables to positive infinityHow to compute or give a limsup of this integral?monotone convergence intergrationFind $limlimits_ntoinftyint_mathbbRmathbb1_[0,1](x)fracnx^nsin(nx)-nsqrtx + 2n^2dlambda$Show that $int_Ssumlimits_n=1^infty f_n dmu = sumlimits_n=1^inftyint_S f_n dmu$Bartle's proof of Lebesgue Dominated Convergence TheoremUsing one of the convergence theorems, find the limit of the following integral.










2












$begingroup$



Let $p in (0,1)$. If $P(|a|>k)leq p^k$ then $$lim_kto inftyint_a^2dmathbbP = 0?$$




is this affirmation true? It seems to be, but as I cannot use monotone convergence theorem, nor dominated convergence theorem, as the measurable function a might not be bounded, I'm lost on how to show it. Is the exponential bound on the probability enough to ensure the limit is $0$?



Sorry for not giving details of any attemps but as I cannot bound the integrand by $k$, nor anything related, I'm unsure how to proceed.



Thanks in advance.










share|cite|improve this question









$endgroup$
















    2












    $begingroup$



    Let $p in (0,1)$. If $P(|a|>k)leq p^k$ then $$lim_kto inftyint_a^2dmathbbP = 0?$$




    is this affirmation true? It seems to be, but as I cannot use monotone convergence theorem, nor dominated convergence theorem, as the measurable function a might not be bounded, I'm lost on how to show it. Is the exponential bound on the probability enough to ensure the limit is $0$?



    Sorry for not giving details of any attemps but as I cannot bound the integrand by $k$, nor anything related, I'm unsure how to proceed.



    Thanks in advance.










    share|cite|improve this question









    $endgroup$














      2












      2








      2





      $begingroup$



      Let $p in (0,1)$. If $P(|a|>k)leq p^k$ then $$lim_kto inftyint_a^2dmathbbP = 0?$$




      is this affirmation true? It seems to be, but as I cannot use monotone convergence theorem, nor dominated convergence theorem, as the measurable function a might not be bounded, I'm lost on how to show it. Is the exponential bound on the probability enough to ensure the limit is $0$?



      Sorry for not giving details of any attemps but as I cannot bound the integrand by $k$, nor anything related, I'm unsure how to proceed.



      Thanks in advance.










      share|cite|improve this question









      $endgroup$





      Let $p in (0,1)$. If $P(|a|>k)leq p^k$ then $$lim_kto inftyint_a^2dmathbbP = 0?$$




      is this affirmation true? It seems to be, but as I cannot use monotone convergence theorem, nor dominated convergence theorem, as the measurable function a might not be bounded, I'm lost on how to show it. Is the exponential bound on the probability enough to ensure the limit is $0$?



      Sorry for not giving details of any attemps but as I cannot bound the integrand by $k$, nor anything related, I'm unsure how to proceed.



      Thanks in advance.







      probability integration






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Apr 8 at 19:09









      Matheus barros castroMatheus barros castro

      387110




      387110




















          2 Answers
          2






          active

          oldest

          votes


















          3












          $begingroup$

          Yes, this is true. Break the sum up as:
          beginalign*
          int_a^2 d mathbbP&=sum_n=k^infty int_n< a^2 d mathbbP\
          &leq sum_n=k^infty (n+1)^2 mathbbP(n<|a|leq n+1)\
          &leq sum_n=k^infty (n+1)^2 p^n.
          endalign*



          Now the sum above is convergent for $p in (0,1)$, so in particular the tail sums have to be going to zero.






          share|cite|improve this answer









          $endgroup$




















            2












            $begingroup$

            A variation on kccu's solution uses the trick that for any random variable $a$ and any $q > 0$, you can write
            $$int |a|^q,dmathbbP = q int_0^infty x^q-1 mathbbP(|a| > x),dx.$$
            To prove this, write $mathbb P(|a| > x) = int 1_ > x,dmathbbP$ and interchange the integrals (which is justified since everything is nonnegative). Then note that $int_0^infty q x^q-1 1_ > x,dx = int_0^a q x^q-1,dx = |a|^q$ by the fundamental theorem of calculus.



            With $q=2$ this reads
            $$int a^2,dmathbbP = 2 int_0^infty x mathbbP(|a| > x),dx le 2 int_0^infty x p^x,dx < infty$$
            which is a convergent integral.



            Now if $f_k = a^2 1_ > k$, we have $|f_k| le a^2$ and $f_k to 0$ a.e. We have just shown $a^2$ is integrable, so by dominated convergence, $int f_k ,dmathbbP to 0$ as desired.






            share|cite|improve this answer









            $endgroup$













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



              );













              draft saved

              draft discarded


















              StackExchange.ready(
              function ()
              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3180066%2fif-pak-leq-pk-then-lim-k-to-infty-int-ak-a2d-mathbbp-0%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









              3












              $begingroup$

              Yes, this is true. Break the sum up as:
              beginalign*
              int_a^2 d mathbbP&=sum_n=k^infty int_n< a^2 d mathbbP\
              &leq sum_n=k^infty (n+1)^2 mathbbP(n<|a|leq n+1)\
              &leq sum_n=k^infty (n+1)^2 p^n.
              endalign*



              Now the sum above is convergent for $p in (0,1)$, so in particular the tail sums have to be going to zero.






              share|cite|improve this answer









              $endgroup$

















                3












                $begingroup$

                Yes, this is true. Break the sum up as:
                beginalign*
                int_a^2 d mathbbP&=sum_n=k^infty int_n< a^2 d mathbbP\
                &leq sum_n=k^infty (n+1)^2 mathbbP(n<|a|leq n+1)\
                &leq sum_n=k^infty (n+1)^2 p^n.
                endalign*



                Now the sum above is convergent for $p in (0,1)$, so in particular the tail sums have to be going to zero.






                share|cite|improve this answer









                $endgroup$















                  3












                  3








                  3





                  $begingroup$

                  Yes, this is true. Break the sum up as:
                  beginalign*
                  int_a^2 d mathbbP&=sum_n=k^infty int_n< a^2 d mathbbP\
                  &leq sum_n=k^infty (n+1)^2 mathbbP(n<|a|leq n+1)\
                  &leq sum_n=k^infty (n+1)^2 p^n.
                  endalign*



                  Now the sum above is convergent for $p in (0,1)$, so in particular the tail sums have to be going to zero.






                  share|cite|improve this answer









                  $endgroup$



                  Yes, this is true. Break the sum up as:
                  beginalign*
                  int_a^2 d mathbbP&=sum_n=k^infty int_n< a^2 d mathbbP\
                  &leq sum_n=k^infty (n+1)^2 mathbbP(n<|a|leq n+1)\
                  &leq sum_n=k^infty (n+1)^2 p^n.
                  endalign*



                  Now the sum above is convergent for $p in (0,1)$, so in particular the tail sums have to be going to zero.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Apr 8 at 19:37









                  kccukccu

                  11.2k11231




                  11.2k11231





















                      2












                      $begingroup$

                      A variation on kccu's solution uses the trick that for any random variable $a$ and any $q > 0$, you can write
                      $$int |a|^q,dmathbbP = q int_0^infty x^q-1 mathbbP(|a| > x),dx.$$
                      To prove this, write $mathbb P(|a| > x) = int 1_ > x,dmathbbP$ and interchange the integrals (which is justified since everything is nonnegative). Then note that $int_0^infty q x^q-1 1_ > x,dx = int_0^a q x^q-1,dx = |a|^q$ by the fundamental theorem of calculus.



                      With $q=2$ this reads
                      $$int a^2,dmathbbP = 2 int_0^infty x mathbbP(|a| > x),dx le 2 int_0^infty x p^x,dx < infty$$
                      which is a convergent integral.



                      Now if $f_k = a^2 1_ > k$, we have $|f_k| le a^2$ and $f_k to 0$ a.e. We have just shown $a^2$ is integrable, so by dominated convergence, $int f_k ,dmathbbP to 0$ as desired.






                      share|cite|improve this answer









                      $endgroup$

















                        2












                        $begingroup$

                        A variation on kccu's solution uses the trick that for any random variable $a$ and any $q > 0$, you can write
                        $$int |a|^q,dmathbbP = q int_0^infty x^q-1 mathbbP(|a| > x),dx.$$
                        To prove this, write $mathbb P(|a| > x) = int 1_ > x,dmathbbP$ and interchange the integrals (which is justified since everything is nonnegative). Then note that $int_0^infty q x^q-1 1_ > x,dx = int_0^a q x^q-1,dx = |a|^q$ by the fundamental theorem of calculus.



                        With $q=2$ this reads
                        $$int a^2,dmathbbP = 2 int_0^infty x mathbbP(|a| > x),dx le 2 int_0^infty x p^x,dx < infty$$
                        which is a convergent integral.



                        Now if $f_k = a^2 1_ > k$, we have $|f_k| le a^2$ and $f_k to 0$ a.e. We have just shown $a^2$ is integrable, so by dominated convergence, $int f_k ,dmathbbP to 0$ as desired.






                        share|cite|improve this answer









                        $endgroup$















                          2












                          2








                          2





                          $begingroup$

                          A variation on kccu's solution uses the trick that for any random variable $a$ and any $q > 0$, you can write
                          $$int |a|^q,dmathbbP = q int_0^infty x^q-1 mathbbP(|a| > x),dx.$$
                          To prove this, write $mathbb P(|a| > x) = int 1_ > x,dmathbbP$ and interchange the integrals (which is justified since everything is nonnegative). Then note that $int_0^infty q x^q-1 1_ > x,dx = int_0^a q x^q-1,dx = |a|^q$ by the fundamental theorem of calculus.



                          With $q=2$ this reads
                          $$int a^2,dmathbbP = 2 int_0^infty x mathbbP(|a| > x),dx le 2 int_0^infty x p^x,dx < infty$$
                          which is a convergent integral.



                          Now if $f_k = a^2 1_ > k$, we have $|f_k| le a^2$ and $f_k to 0$ a.e. We have just shown $a^2$ is integrable, so by dominated convergence, $int f_k ,dmathbbP to 0$ as desired.






                          share|cite|improve this answer









                          $endgroup$



                          A variation on kccu's solution uses the trick that for any random variable $a$ and any $q > 0$, you can write
                          $$int |a|^q,dmathbbP = q int_0^infty x^q-1 mathbbP(|a| > x),dx.$$
                          To prove this, write $mathbb P(|a| > x) = int 1_ > x,dmathbbP$ and interchange the integrals (which is justified since everything is nonnegative). Then note that $int_0^infty q x^q-1 1_ > x,dx = int_0^a q x^q-1,dx = |a|^q$ by the fundamental theorem of calculus.



                          With $q=2$ this reads
                          $$int a^2,dmathbbP = 2 int_0^infty x mathbbP(|a| > x),dx le 2 int_0^infty x p^x,dx < infty$$
                          which is a convergent integral.



                          Now if $f_k = a^2 1_ > k$, we have $|f_k| le a^2$ and $f_k to 0$ a.e. We have just shown $a^2$ is integrable, so by dominated convergence, $int f_k ,dmathbbP to 0$ as desired.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Apr 8 at 19:52









                          Nate EldredgeNate Eldredge

                          64.6k682174




                          64.6k682174



























                              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%2f3180066%2fif-pak-leq-pk-then-lim-k-to-infty-int-ak-a2d-mathbbp-0%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

                              A recreational problem The 2019 Stack Overflow Developer Survey Results Are In Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manaraprime factors of numbers formed by primorialsAll the small primes close together yet againSimple quadratic, crazy question part 2Can every odd prime $pne 11$ be the smallest prime factor of a carmichael-number with $3$ prime factors?Is the product of consecutive primes in $(a, b)[n]$ $=$ $1$ $pmod ab$?Pythagorean triples that “survive” Euler's totient functionA question about a certain type of primesPrimes of the form $p^2+p+41$

                              369. pr. Kr. Događaji Rođenja Smrti

                              A weird inequality regarding integrals, limits, as well as sequence of functions. The 2019 Stack Overflow Developer Survey Results Are InA question regarding limits and integrable functionsChanging the order of $lim$ and $inf$ for point-wise converging monotonic sequence of functionsSequence of Distribution FunctionsBasic question on interchanging limits and integralsA sequence of functions $f_n$ that converges non-uniformly to $f$ but the limit of the integrals equals the integral of the limits?Is this (exotic) integral well defined and convergent (always)? and the bound correct?Sequence of differentiable,equicontinuous functionsProb. 10 (d), Chap. 6, in Baby Rudin: Holder Inequality for Improper Integrals With Infinite LimitsSuppose $f_n : [0,1]rightarrowmathbbR$ is a sequence of $C^1$ functions that converges pointwise to $f$.Suppose $f$ is a continuous function on $[a,b]$ and let $M=sup_ a leq x leq b |f(x)|$