Limit of divided integrals

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











up vote
1
down vote

favorite
1












Prove that: $$limlimits_mto infty fracintlimits_0^pi/2(sin(x))^2m dxintlimits_0^pi/2(sin(x))^2m+1 dx = 1$$



I had tried to get it from inequalities like $$(sin(x))^2m+1 le (sin(x))^2m le (sin(x))^2m-1$$
But I always hit a wall in that regard (I integrate the sin functions and from there keep on going but there it ends).










share|cite|improve this question



























    up vote
    1
    down vote

    favorite
    1












    Prove that: $$limlimits_mto infty fracintlimits_0^pi/2(sin(x))^2m dxintlimits_0^pi/2(sin(x))^2m+1 dx = 1$$



    I had tried to get it from inequalities like $$(sin(x))^2m+1 le (sin(x))^2m le (sin(x))^2m-1$$
    But I always hit a wall in that regard (I integrate the sin functions and from there keep on going but there it ends).










    share|cite|improve this question

























      up vote
      1
      down vote

      favorite
      1









      up vote
      1
      down vote

      favorite
      1






      1





      Prove that: $$limlimits_mto infty fracintlimits_0^pi/2(sin(x))^2m dxintlimits_0^pi/2(sin(x))^2m+1 dx = 1$$



      I had tried to get it from inequalities like $$(sin(x))^2m+1 le (sin(x))^2m le (sin(x))^2m-1$$
      But I always hit a wall in that regard (I integrate the sin functions and from there keep on going but there it ends).










      share|cite|improve this question















      Prove that: $$limlimits_mto infty fracintlimits_0^pi/2(sin(x))^2m dxintlimits_0^pi/2(sin(x))^2m+1 dx = 1$$



      I had tried to get it from inequalities like $$(sin(x))^2m+1 le (sin(x))^2m le (sin(x))^2m-1$$
      But I always hit a wall in that regard (I integrate the sin functions and from there keep on going but there it ends).







      calculus






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jul 2 at 22:35









      David G. Stork

      8,18621232




      8,18621232










      asked Jul 2 at 18:55









      David

      366




      366




















          5 Answers
          5






          active

          oldest

          votes

















          up vote
          1
          down vote



          accepted










          You can calculate the integrals easily by using the first reduction formula at http://www.vias.org/calculus/07_trigonometric_functions_05_03.html. Notice that the term outside the integral becomes $0$ when the limits are integration are substituted.






          share|cite|improve this answer




















          • I will check out this direction, it was untaught as far as I can see in my notes so I will just check it over and try understanding it.
            – David
            Jul 2 at 19:41

















          up vote
          6
          down vote













          You were on the right track. Let $I_n = int_0^pi/2sin(x)^n,dx$. Then $I_n_ngeq 0$ is clearly a decreasing sequence convergent to zero, and by integration by parts
          $$ I_2m+2 = frac2m+12m+2,I_2m$$
          In particular
          $$ fracI_2mI_2m+1 geq fracI_2m+1I_2m+1 = 1 $$
          and
          $$ fracI_2mI_2m+1 leq fracI_2mI_2m+2 = 1+frac12m+1, $$
          so the claim follows by squeezing.
          You may also prove $fracI_2mI_2m+1sim 1+frac28m+3$ through essentially the same technique.






          share|cite|improve this answer



























            up vote
            0
            down vote













            Just perform the integrals.



            The numerator is:



            $$fracsqrtpi Gamma left(m+frac12right)2 Gamma (m+1)$$



            and the denominator is



            $$fracsqrtpi Gamma (m+1)2 Gamma left(m+frac32right)$$



            so the limit arises directly.






            share|cite|improve this answer




















            • Would you mind to elaborate on your approach? the signs you are using were unused in my classes and so I am a bit confused as to the meaning of them (mostly this one $Gamma$)
              – David
              Jul 2 at 19:40











            • $Gamma$ is the gamma function. en.wikipedia.org/wiki/Gamma_function
              – David G. Stork
              Jul 2 at 22:43

















            up vote
            0
            down vote













            If you have a look at Table of Integrals, Series, and Products (Seventh Edition) by I.S. Gradshteyn and I.M. Ryzhik, you should find that
            $$intlimits_0^pi/2(sin(x))^2m, dx=frac(2m-1)!! (2m)!! frac pi 2=fracsqrtpi , Gamma left(m+frac12right)2, Gamma (m+1)$$
            $$intlimits_0^pi/2(sin(x))^2m+1, dx=frac(2m)!! (2m+1)!! =fracsqrtpi , Gamma (m+1)2 ,Gamma left(m+frac32right)$$ (formulae FI II 151). This makes
            $$I_m=fracintlimits_0^pi/2(sin(x))^2m, dxintlimits_0^pi/2(sin(x))^2m+1, dx= fracGamma left(m+frac12right) Gamma left(m+frac32right)Gamma
            (m+1)^2$$ Now, take logarithms, use Stirling approximation and continue with Taylor series for large values of $m$ to get
            $$log(I_m)=frac14 m-frac18 m^2+Oleft(frac1m^3right)$$
            $$I_m=e^log(I_m)=1+frac14 m-frac332 m^2+Oleft(frac1m^3right)$$ which, for sure, shows the limit but also how it is approached.



            As shown in the table below, the approximation is quite good even for small values of $m$.
            $$left(
            beginarrayccc
            m & textexact & textapproximation \
            1 & 1.17810 & 1.15625 \
            2 & 1.10447 & 1.10156 \
            3 & 1.07379 & 1.07292 \
            4 & 1.05701 & 1.05664 \
            5 & 1.04644 & 1.04625 \
            6 & 1.03917 & 1.03906 \
            7 & 1.03387 & 1.03380 \
            8 & 1.02983 & 1.02979 \
            9 & 1.02665 & 1.02662 \
            10 & 1.02409 & 1.02406
            endarray
            right)$$






            share|cite|improve this answer



























              up vote
              0
              down vote













              $newcommandbbx[1],bbox[15px,border:1px groove navy]displaystyle#1,
              newcommandbraces[1]leftlbrace,#1,rightrbrace
              newcommandbracks[1]leftlbrack,#1,rightrbrack
              newcommandddmathrmd
              newcommandds[1]displaystyle#1
              newcommandexpo[1],mathrme^#1,
              newcommandicmathrmi
              newcommandmc[1]mathcal#1
              newcommandmrm[1]mathrm#1
              newcommandpars[1]left(,#1,right)
              newcommandpartiald[3]fracpartial^#1 #2partial #3^#1
              newcommandroot[2],sqrt[#1],#2,,
              newcommandtotald[3]fracmathrmd^#1 #2mathrmd #3^#1
              newcommandverts[1]leftvert,#1,rightvert$
              beginalign
              int_0^pi/2sin^nparsx,dd x & =
              int_0^pi/2cos^nparsx,dd x =
              int_0^pi/2expparsnlnparscosparsx,dd x
              \[5mm] & stackrelmrmas n to inftysim
              int_0^inftyexpo-nx^2/2
              pars1 - x^4 over 12,dd x
              quadpars~Laplace Method~
              \[5mm] & = rootpi over 21 over rootn -
              1 over 4rootpi over 21 over n^5/2
              endalign




              $$
              implies lim_m to inftydsint_0^pi/2sin^2mparsx,dd x over
              dsint_0^pi/2sin^2m + 1parsx,dd x =
              lim_m to inftyroot2m + 1 over 2m = bbxLarge 1
              $$




              share|cite|improve this answer




















                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%2f2838830%2flimit-of-divided-integrals%23new-answer', 'question_page');

                );

                Post as a guest






























                5 Answers
                5






                active

                oldest

                votes








                5 Answers
                5






                active

                oldest

                votes









                active

                oldest

                votes






                active

                oldest

                votes








                up vote
                1
                down vote



                accepted










                You can calculate the integrals easily by using the first reduction formula at http://www.vias.org/calculus/07_trigonometric_functions_05_03.html. Notice that the term outside the integral becomes $0$ when the limits are integration are substituted.






                share|cite|improve this answer




















                • I will check out this direction, it was untaught as far as I can see in my notes so I will just check it over and try understanding it.
                  – David
                  Jul 2 at 19:41














                up vote
                1
                down vote



                accepted










                You can calculate the integrals easily by using the first reduction formula at http://www.vias.org/calculus/07_trigonometric_functions_05_03.html. Notice that the term outside the integral becomes $0$ when the limits are integration are substituted.






                share|cite|improve this answer




















                • I will check out this direction, it was untaught as far as I can see in my notes so I will just check it over and try understanding it.
                  – David
                  Jul 2 at 19:41












                up vote
                1
                down vote



                accepted







                up vote
                1
                down vote



                accepted






                You can calculate the integrals easily by using the first reduction formula at http://www.vias.org/calculus/07_trigonometric_functions_05_03.html. Notice that the term outside the integral becomes $0$ when the limits are integration are substituted.






                share|cite|improve this answer












                You can calculate the integrals easily by using the first reduction formula at http://www.vias.org/calculus/07_trigonometric_functions_05_03.html. Notice that the term outside the integral becomes $0$ when the limits are integration are substituted.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Jul 2 at 19:24









                saulspatz

                11.6k21324




                11.6k21324











                • I will check out this direction, it was untaught as far as I can see in my notes so I will just check it over and try understanding it.
                  – David
                  Jul 2 at 19:41
















                • I will check out this direction, it was untaught as far as I can see in my notes so I will just check it over and try understanding it.
                  – David
                  Jul 2 at 19:41















                I will check out this direction, it was untaught as far as I can see in my notes so I will just check it over and try understanding it.
                – David
                Jul 2 at 19:41




                I will check out this direction, it was untaught as far as I can see in my notes so I will just check it over and try understanding it.
                – David
                Jul 2 at 19:41










                up vote
                6
                down vote













                You were on the right track. Let $I_n = int_0^pi/2sin(x)^n,dx$. Then $I_n_ngeq 0$ is clearly a decreasing sequence convergent to zero, and by integration by parts
                $$ I_2m+2 = frac2m+12m+2,I_2m$$
                In particular
                $$ fracI_2mI_2m+1 geq fracI_2m+1I_2m+1 = 1 $$
                and
                $$ fracI_2mI_2m+1 leq fracI_2mI_2m+2 = 1+frac12m+1, $$
                so the claim follows by squeezing.
                You may also prove $fracI_2mI_2m+1sim 1+frac28m+3$ through essentially the same technique.






                share|cite|improve this answer
























                  up vote
                  6
                  down vote













                  You were on the right track. Let $I_n = int_0^pi/2sin(x)^n,dx$. Then $I_n_ngeq 0$ is clearly a decreasing sequence convergent to zero, and by integration by parts
                  $$ I_2m+2 = frac2m+12m+2,I_2m$$
                  In particular
                  $$ fracI_2mI_2m+1 geq fracI_2m+1I_2m+1 = 1 $$
                  and
                  $$ fracI_2mI_2m+1 leq fracI_2mI_2m+2 = 1+frac12m+1, $$
                  so the claim follows by squeezing.
                  You may also prove $fracI_2mI_2m+1sim 1+frac28m+3$ through essentially the same technique.






                  share|cite|improve this answer






















                    up vote
                    6
                    down vote










                    up vote
                    6
                    down vote









                    You were on the right track. Let $I_n = int_0^pi/2sin(x)^n,dx$. Then $I_n_ngeq 0$ is clearly a decreasing sequence convergent to zero, and by integration by parts
                    $$ I_2m+2 = frac2m+12m+2,I_2m$$
                    In particular
                    $$ fracI_2mI_2m+1 geq fracI_2m+1I_2m+1 = 1 $$
                    and
                    $$ fracI_2mI_2m+1 leq fracI_2mI_2m+2 = 1+frac12m+1, $$
                    so the claim follows by squeezing.
                    You may also prove $fracI_2mI_2m+1sim 1+frac28m+3$ through essentially the same technique.






                    share|cite|improve this answer












                    You were on the right track. Let $I_n = int_0^pi/2sin(x)^n,dx$. Then $I_n_ngeq 0$ is clearly a decreasing sequence convergent to zero, and by integration by parts
                    $$ I_2m+2 = frac2m+12m+2,I_2m$$
                    In particular
                    $$ fracI_2mI_2m+1 geq fracI_2m+1I_2m+1 = 1 $$
                    and
                    $$ fracI_2mI_2m+1 leq fracI_2mI_2m+2 = 1+frac12m+1, $$
                    so the claim follows by squeezing.
                    You may also prove $fracI_2mI_2m+1sim 1+frac28m+3$ through essentially the same technique.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Jul 2 at 19:47









                    Jack D'Aurizio♦

                    275k32268640




                    275k32268640




















                        up vote
                        0
                        down vote













                        Just perform the integrals.



                        The numerator is:



                        $$fracsqrtpi Gamma left(m+frac12right)2 Gamma (m+1)$$



                        and the denominator is



                        $$fracsqrtpi Gamma (m+1)2 Gamma left(m+frac32right)$$



                        so the limit arises directly.






                        share|cite|improve this answer




















                        • Would you mind to elaborate on your approach? the signs you are using were unused in my classes and so I am a bit confused as to the meaning of them (mostly this one $Gamma$)
                          – David
                          Jul 2 at 19:40











                        • $Gamma$ is the gamma function. en.wikipedia.org/wiki/Gamma_function
                          – David G. Stork
                          Jul 2 at 22:43














                        up vote
                        0
                        down vote













                        Just perform the integrals.



                        The numerator is:



                        $$fracsqrtpi Gamma left(m+frac12right)2 Gamma (m+1)$$



                        and the denominator is



                        $$fracsqrtpi Gamma (m+1)2 Gamma left(m+frac32right)$$



                        so the limit arises directly.






                        share|cite|improve this answer




















                        • Would you mind to elaborate on your approach? the signs you are using were unused in my classes and so I am a bit confused as to the meaning of them (mostly this one $Gamma$)
                          – David
                          Jul 2 at 19:40











                        • $Gamma$ is the gamma function. en.wikipedia.org/wiki/Gamma_function
                          – David G. Stork
                          Jul 2 at 22:43












                        up vote
                        0
                        down vote










                        up vote
                        0
                        down vote









                        Just perform the integrals.



                        The numerator is:



                        $$fracsqrtpi Gamma left(m+frac12right)2 Gamma (m+1)$$



                        and the denominator is



                        $$fracsqrtpi Gamma (m+1)2 Gamma left(m+frac32right)$$



                        so the limit arises directly.






                        share|cite|improve this answer












                        Just perform the integrals.



                        The numerator is:



                        $$fracsqrtpi Gamma left(m+frac12right)2 Gamma (m+1)$$



                        and the denominator is



                        $$fracsqrtpi Gamma (m+1)2 Gamma left(m+frac32right)$$



                        so the limit arises directly.







                        share|cite|improve this answer












                        share|cite|improve this answer



                        share|cite|improve this answer










                        answered Jul 2 at 19:10









                        David G. Stork

                        8,18621232




                        8,18621232











                        • Would you mind to elaborate on your approach? the signs you are using were unused in my classes and so I am a bit confused as to the meaning of them (mostly this one $Gamma$)
                          – David
                          Jul 2 at 19:40











                        • $Gamma$ is the gamma function. en.wikipedia.org/wiki/Gamma_function
                          – David G. Stork
                          Jul 2 at 22:43
















                        • Would you mind to elaborate on your approach? the signs you are using were unused in my classes and so I am a bit confused as to the meaning of them (mostly this one $Gamma$)
                          – David
                          Jul 2 at 19:40











                        • $Gamma$ is the gamma function. en.wikipedia.org/wiki/Gamma_function
                          – David G. Stork
                          Jul 2 at 22:43















                        Would you mind to elaborate on your approach? the signs you are using were unused in my classes and so I am a bit confused as to the meaning of them (mostly this one $Gamma$)
                        – David
                        Jul 2 at 19:40





                        Would you mind to elaborate on your approach? the signs you are using were unused in my classes and so I am a bit confused as to the meaning of them (mostly this one $Gamma$)
                        – David
                        Jul 2 at 19:40













                        $Gamma$ is the gamma function. en.wikipedia.org/wiki/Gamma_function
                        – David G. Stork
                        Jul 2 at 22:43




                        $Gamma$ is the gamma function. en.wikipedia.org/wiki/Gamma_function
                        – David G. Stork
                        Jul 2 at 22:43










                        up vote
                        0
                        down vote













                        If you have a look at Table of Integrals, Series, and Products (Seventh Edition) by I.S. Gradshteyn and I.M. Ryzhik, you should find that
                        $$intlimits_0^pi/2(sin(x))^2m, dx=frac(2m-1)!! (2m)!! frac pi 2=fracsqrtpi , Gamma left(m+frac12right)2, Gamma (m+1)$$
                        $$intlimits_0^pi/2(sin(x))^2m+1, dx=frac(2m)!! (2m+1)!! =fracsqrtpi , Gamma (m+1)2 ,Gamma left(m+frac32right)$$ (formulae FI II 151). This makes
                        $$I_m=fracintlimits_0^pi/2(sin(x))^2m, dxintlimits_0^pi/2(sin(x))^2m+1, dx= fracGamma left(m+frac12right) Gamma left(m+frac32right)Gamma
                        (m+1)^2$$ Now, take logarithms, use Stirling approximation and continue with Taylor series for large values of $m$ to get
                        $$log(I_m)=frac14 m-frac18 m^2+Oleft(frac1m^3right)$$
                        $$I_m=e^log(I_m)=1+frac14 m-frac332 m^2+Oleft(frac1m^3right)$$ which, for sure, shows the limit but also how it is approached.



                        As shown in the table below, the approximation is quite good even for small values of $m$.
                        $$left(
                        beginarrayccc
                        m & textexact & textapproximation \
                        1 & 1.17810 & 1.15625 \
                        2 & 1.10447 & 1.10156 \
                        3 & 1.07379 & 1.07292 \
                        4 & 1.05701 & 1.05664 \
                        5 & 1.04644 & 1.04625 \
                        6 & 1.03917 & 1.03906 \
                        7 & 1.03387 & 1.03380 \
                        8 & 1.02983 & 1.02979 \
                        9 & 1.02665 & 1.02662 \
                        10 & 1.02409 & 1.02406
                        endarray
                        right)$$






                        share|cite|improve this answer
























                          up vote
                          0
                          down vote













                          If you have a look at Table of Integrals, Series, and Products (Seventh Edition) by I.S. Gradshteyn and I.M. Ryzhik, you should find that
                          $$intlimits_0^pi/2(sin(x))^2m, dx=frac(2m-1)!! (2m)!! frac pi 2=fracsqrtpi , Gamma left(m+frac12right)2, Gamma (m+1)$$
                          $$intlimits_0^pi/2(sin(x))^2m+1, dx=frac(2m)!! (2m+1)!! =fracsqrtpi , Gamma (m+1)2 ,Gamma left(m+frac32right)$$ (formulae FI II 151). This makes
                          $$I_m=fracintlimits_0^pi/2(sin(x))^2m, dxintlimits_0^pi/2(sin(x))^2m+1, dx= fracGamma left(m+frac12right) Gamma left(m+frac32right)Gamma
                          (m+1)^2$$ Now, take logarithms, use Stirling approximation and continue with Taylor series for large values of $m$ to get
                          $$log(I_m)=frac14 m-frac18 m^2+Oleft(frac1m^3right)$$
                          $$I_m=e^log(I_m)=1+frac14 m-frac332 m^2+Oleft(frac1m^3right)$$ which, for sure, shows the limit but also how it is approached.



                          As shown in the table below, the approximation is quite good even for small values of $m$.
                          $$left(
                          beginarrayccc
                          m & textexact & textapproximation \
                          1 & 1.17810 & 1.15625 \
                          2 & 1.10447 & 1.10156 \
                          3 & 1.07379 & 1.07292 \
                          4 & 1.05701 & 1.05664 \
                          5 & 1.04644 & 1.04625 \
                          6 & 1.03917 & 1.03906 \
                          7 & 1.03387 & 1.03380 \
                          8 & 1.02983 & 1.02979 \
                          9 & 1.02665 & 1.02662 \
                          10 & 1.02409 & 1.02406
                          endarray
                          right)$$






                          share|cite|improve this answer






















                            up vote
                            0
                            down vote










                            up vote
                            0
                            down vote









                            If you have a look at Table of Integrals, Series, and Products (Seventh Edition) by I.S. Gradshteyn and I.M. Ryzhik, you should find that
                            $$intlimits_0^pi/2(sin(x))^2m, dx=frac(2m-1)!! (2m)!! frac pi 2=fracsqrtpi , Gamma left(m+frac12right)2, Gamma (m+1)$$
                            $$intlimits_0^pi/2(sin(x))^2m+1, dx=frac(2m)!! (2m+1)!! =fracsqrtpi , Gamma (m+1)2 ,Gamma left(m+frac32right)$$ (formulae FI II 151). This makes
                            $$I_m=fracintlimits_0^pi/2(sin(x))^2m, dxintlimits_0^pi/2(sin(x))^2m+1, dx= fracGamma left(m+frac12right) Gamma left(m+frac32right)Gamma
                            (m+1)^2$$ Now, take logarithms, use Stirling approximation and continue with Taylor series for large values of $m$ to get
                            $$log(I_m)=frac14 m-frac18 m^2+Oleft(frac1m^3right)$$
                            $$I_m=e^log(I_m)=1+frac14 m-frac332 m^2+Oleft(frac1m^3right)$$ which, for sure, shows the limit but also how it is approached.



                            As shown in the table below, the approximation is quite good even for small values of $m$.
                            $$left(
                            beginarrayccc
                            m & textexact & textapproximation \
                            1 & 1.17810 & 1.15625 \
                            2 & 1.10447 & 1.10156 \
                            3 & 1.07379 & 1.07292 \
                            4 & 1.05701 & 1.05664 \
                            5 & 1.04644 & 1.04625 \
                            6 & 1.03917 & 1.03906 \
                            7 & 1.03387 & 1.03380 \
                            8 & 1.02983 & 1.02979 \
                            9 & 1.02665 & 1.02662 \
                            10 & 1.02409 & 1.02406
                            endarray
                            right)$$






                            share|cite|improve this answer












                            If you have a look at Table of Integrals, Series, and Products (Seventh Edition) by I.S. Gradshteyn and I.M. Ryzhik, you should find that
                            $$intlimits_0^pi/2(sin(x))^2m, dx=frac(2m-1)!! (2m)!! frac pi 2=fracsqrtpi , Gamma left(m+frac12right)2, Gamma (m+1)$$
                            $$intlimits_0^pi/2(sin(x))^2m+1, dx=frac(2m)!! (2m+1)!! =fracsqrtpi , Gamma (m+1)2 ,Gamma left(m+frac32right)$$ (formulae FI II 151). This makes
                            $$I_m=fracintlimits_0^pi/2(sin(x))^2m, dxintlimits_0^pi/2(sin(x))^2m+1, dx= fracGamma left(m+frac12right) Gamma left(m+frac32right)Gamma
                            (m+1)^2$$ Now, take logarithms, use Stirling approximation and continue with Taylor series for large values of $m$ to get
                            $$log(I_m)=frac14 m-frac18 m^2+Oleft(frac1m^3right)$$
                            $$I_m=e^log(I_m)=1+frac14 m-frac332 m^2+Oleft(frac1m^3right)$$ which, for sure, shows the limit but also how it is approached.



                            As shown in the table below, the approximation is quite good even for small values of $m$.
                            $$left(
                            beginarrayccc
                            m & textexact & textapproximation \
                            1 & 1.17810 & 1.15625 \
                            2 & 1.10447 & 1.10156 \
                            3 & 1.07379 & 1.07292 \
                            4 & 1.05701 & 1.05664 \
                            5 & 1.04644 & 1.04625 \
                            6 & 1.03917 & 1.03906 \
                            7 & 1.03387 & 1.03380 \
                            8 & 1.02983 & 1.02979 \
                            9 & 1.02665 & 1.02662 \
                            10 & 1.02409 & 1.02406
                            endarray
                            right)$$







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Jul 3 at 6:15









                            Claude Leibovici

                            113k1155127




                            113k1155127




















                                up vote
                                0
                                down vote













                                $newcommandbbx[1],bbox[15px,border:1px groove navy]displaystyle#1,
                                newcommandbraces[1]leftlbrace,#1,rightrbrace
                                newcommandbracks[1]leftlbrack,#1,rightrbrack
                                newcommandddmathrmd
                                newcommandds[1]displaystyle#1
                                newcommandexpo[1],mathrme^#1,
                                newcommandicmathrmi
                                newcommandmc[1]mathcal#1
                                newcommandmrm[1]mathrm#1
                                newcommandpars[1]left(,#1,right)
                                newcommandpartiald[3]fracpartial^#1 #2partial #3^#1
                                newcommandroot[2],sqrt[#1],#2,,
                                newcommandtotald[3]fracmathrmd^#1 #2mathrmd #3^#1
                                newcommandverts[1]leftvert,#1,rightvert$
                                beginalign
                                int_0^pi/2sin^nparsx,dd x & =
                                int_0^pi/2cos^nparsx,dd x =
                                int_0^pi/2expparsnlnparscosparsx,dd x
                                \[5mm] & stackrelmrmas n to inftysim
                                int_0^inftyexpo-nx^2/2
                                pars1 - x^4 over 12,dd x
                                quadpars~Laplace Method~
                                \[5mm] & = rootpi over 21 over rootn -
                                1 over 4rootpi over 21 over n^5/2
                                endalign




                                $$
                                implies lim_m to inftydsint_0^pi/2sin^2mparsx,dd x over
                                dsint_0^pi/2sin^2m + 1parsx,dd x =
                                lim_m to inftyroot2m + 1 over 2m = bbxLarge 1
                                $$




                                share|cite|improve this answer
























                                  up vote
                                  0
                                  down vote













                                  $newcommandbbx[1],bbox[15px,border:1px groove navy]displaystyle#1,
                                  newcommandbraces[1]leftlbrace,#1,rightrbrace
                                  newcommandbracks[1]leftlbrack,#1,rightrbrack
                                  newcommandddmathrmd
                                  newcommandds[1]displaystyle#1
                                  newcommandexpo[1],mathrme^#1,
                                  newcommandicmathrmi
                                  newcommandmc[1]mathcal#1
                                  newcommandmrm[1]mathrm#1
                                  newcommandpars[1]left(,#1,right)
                                  newcommandpartiald[3]fracpartial^#1 #2partial #3^#1
                                  newcommandroot[2],sqrt[#1],#2,,
                                  newcommandtotald[3]fracmathrmd^#1 #2mathrmd #3^#1
                                  newcommandverts[1]leftvert,#1,rightvert$
                                  beginalign
                                  int_0^pi/2sin^nparsx,dd x & =
                                  int_0^pi/2cos^nparsx,dd x =
                                  int_0^pi/2expparsnlnparscosparsx,dd x
                                  \[5mm] & stackrelmrmas n to inftysim
                                  int_0^inftyexpo-nx^2/2
                                  pars1 - x^4 over 12,dd x
                                  quadpars~Laplace Method~
                                  \[5mm] & = rootpi over 21 over rootn -
                                  1 over 4rootpi over 21 over n^5/2
                                  endalign




                                  $$
                                  implies lim_m to inftydsint_0^pi/2sin^2mparsx,dd x over
                                  dsint_0^pi/2sin^2m + 1parsx,dd x =
                                  lim_m to inftyroot2m + 1 over 2m = bbxLarge 1
                                  $$




                                  share|cite|improve this answer






















                                    up vote
                                    0
                                    down vote










                                    up vote
                                    0
                                    down vote









                                    $newcommandbbx[1],bbox[15px,border:1px groove navy]displaystyle#1,
                                    newcommandbraces[1]leftlbrace,#1,rightrbrace
                                    newcommandbracks[1]leftlbrack,#1,rightrbrack
                                    newcommandddmathrmd
                                    newcommandds[1]displaystyle#1
                                    newcommandexpo[1],mathrme^#1,
                                    newcommandicmathrmi
                                    newcommandmc[1]mathcal#1
                                    newcommandmrm[1]mathrm#1
                                    newcommandpars[1]left(,#1,right)
                                    newcommandpartiald[3]fracpartial^#1 #2partial #3^#1
                                    newcommandroot[2],sqrt[#1],#2,,
                                    newcommandtotald[3]fracmathrmd^#1 #2mathrmd #3^#1
                                    newcommandverts[1]leftvert,#1,rightvert$
                                    beginalign
                                    int_0^pi/2sin^nparsx,dd x & =
                                    int_0^pi/2cos^nparsx,dd x =
                                    int_0^pi/2expparsnlnparscosparsx,dd x
                                    \[5mm] & stackrelmrmas n to inftysim
                                    int_0^inftyexpo-nx^2/2
                                    pars1 - x^4 over 12,dd x
                                    quadpars~Laplace Method~
                                    \[5mm] & = rootpi over 21 over rootn -
                                    1 over 4rootpi over 21 over n^5/2
                                    endalign




                                    $$
                                    implies lim_m to inftydsint_0^pi/2sin^2mparsx,dd x over
                                    dsint_0^pi/2sin^2m + 1parsx,dd x =
                                    lim_m to inftyroot2m + 1 over 2m = bbxLarge 1
                                    $$




                                    share|cite|improve this answer












                                    $newcommandbbx[1],bbox[15px,border:1px groove navy]displaystyle#1,
                                    newcommandbraces[1]leftlbrace,#1,rightrbrace
                                    newcommandbracks[1]leftlbrack,#1,rightrbrack
                                    newcommandddmathrmd
                                    newcommandds[1]displaystyle#1
                                    newcommandexpo[1],mathrme^#1,
                                    newcommandicmathrmi
                                    newcommandmc[1]mathcal#1
                                    newcommandmrm[1]mathrm#1
                                    newcommandpars[1]left(,#1,right)
                                    newcommandpartiald[3]fracpartial^#1 #2partial #3^#1
                                    newcommandroot[2],sqrt[#1],#2,,
                                    newcommandtotald[3]fracmathrmd^#1 #2mathrmd #3^#1
                                    newcommandverts[1]leftvert,#1,rightvert$
                                    beginalign
                                    int_0^pi/2sin^nparsx,dd x & =
                                    int_0^pi/2cos^nparsx,dd x =
                                    int_0^pi/2expparsnlnparscosparsx,dd x
                                    \[5mm] & stackrelmrmas n to inftysim
                                    int_0^inftyexpo-nx^2/2
                                    pars1 - x^4 over 12,dd x
                                    quadpars~Laplace Method~
                                    \[5mm] & = rootpi over 21 over rootn -
                                    1 over 4rootpi over 21 over n^5/2
                                    endalign




                                    $$
                                    implies lim_m to inftydsint_0^pi/2sin^2mparsx,dd x over
                                    dsint_0^pi/2sin^2m + 1parsx,dd x =
                                    lim_m to inftyroot2m + 1 over 2m = bbxLarge 1
                                    $$





                                    share|cite|improve this answer












                                    share|cite|improve this answer



                                    share|cite|improve this answer










                                    answered Sep 8 at 2:28









                                    Felix Marin

                                    66.1k7106136




                                    66.1k7106136



























                                         

                                        draft saved


                                        draft discarded















































                                         


                                        draft saved


                                        draft discarded














                                        StackExchange.ready(
                                        function ()
                                        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2838830%2flimit-of-divided-integrals%23new-answer', 'question_page');

                                        );

                                        Post as a guest













































































                                        這個網誌中的熱門文章

                                        tkz-euclide: tkzDrawCircle[R] not working

                                        How to combine Bézier curves to a surface?

                                        1st Magritte Awards