Contour intergal of a rational trigonometric function, can't find my mistake.











up vote
1
down vote

favorite












This is the integral :
$$I = int_{0}^{2pi} frac{dx}{(5+4cos x)^2} $$
Which, according to wolfram alpha, should evaluate to $frac{10pi}{27} $,
but the value i find is $frac{20pi}{27} $.





These are my calculations :



Using complex form of cosine i get $ cos x = frac{t^2+1}{2t}$
where $ t = e^{ix}$ and $ dx = frac{dt}{it}$.
If $partial{D} $ is the unit circle
$$ I = int_{partial{D}} frac{-i}{t(frac{5t+2t^2+2}{t})^2} dt =
-i int_{partial{D}}frac{t}{(t+2)^2(t+1/2)^2}dt = -i I_a$$



$I_a = pi i $ times the residue in -$frac{1}{2}$



The residue is equal to
begin{align}
lim_{zto-frac{1}{2}} frac{d}{dz} left( frac{t(t+1/2)^2}{(t+2)^2(t+1/2)^2}right)
&= lim_{zto-frac{1}{2}} frac{d}{dz} frac{t}{(t+2)^2}
\&= lim_{zto-frac{1}{2}} frac{(t+2)^2-2t(t+2)}{(t+2)^4}
\&= lim_{zto-frac{1}{2}} frac{2-t}{(t+2)^3}
= frac{2+1/2}{(-1/2+2)^3}
\&= frac{5/2}{27/9} = frac{20}{27}
end{align}



so $ I_a = ipifrac{20}{27}$



So our original integral $$I = -i I_a = -i^2 pifrac{20}{27} = frac{20pi}{27}$$










share|cite|improve this question
























  • Residue theorem asks for a factor $2pi i$ instead of $pi i$ no?
    – Math_QED
    Nov 21 at 20:09










  • I tought since it's on the real axis, it was $ipi$
    – Nicola Fattoruso
    Nov 21 at 20:13










  • Did you mean to say $dx = frac{dt}{it}$?
    – Acccumulation
    Nov 21 at 20:13












  • Yes, edited sorry.
    – Nicola Fattoruso
    Nov 21 at 20:15










  • No, the residue theorem always give $2 pi i$.
    – Math_QED
    Nov 21 at 20:15















up vote
1
down vote

favorite












This is the integral :
$$I = int_{0}^{2pi} frac{dx}{(5+4cos x)^2} $$
Which, according to wolfram alpha, should evaluate to $frac{10pi}{27} $,
but the value i find is $frac{20pi}{27} $.





These are my calculations :



Using complex form of cosine i get $ cos x = frac{t^2+1}{2t}$
where $ t = e^{ix}$ and $ dx = frac{dt}{it}$.
If $partial{D} $ is the unit circle
$$ I = int_{partial{D}} frac{-i}{t(frac{5t+2t^2+2}{t})^2} dt =
-i int_{partial{D}}frac{t}{(t+2)^2(t+1/2)^2}dt = -i I_a$$



$I_a = pi i $ times the residue in -$frac{1}{2}$



The residue is equal to
begin{align}
lim_{zto-frac{1}{2}} frac{d}{dz} left( frac{t(t+1/2)^2}{(t+2)^2(t+1/2)^2}right)
&= lim_{zto-frac{1}{2}} frac{d}{dz} frac{t}{(t+2)^2}
\&= lim_{zto-frac{1}{2}} frac{(t+2)^2-2t(t+2)}{(t+2)^4}
\&= lim_{zto-frac{1}{2}} frac{2-t}{(t+2)^3}
= frac{2+1/2}{(-1/2+2)^3}
\&= frac{5/2}{27/9} = frac{20}{27}
end{align}



so $ I_a = ipifrac{20}{27}$



So our original integral $$I = -i I_a = -i^2 pifrac{20}{27} = frac{20pi}{27}$$










share|cite|improve this question
























  • Residue theorem asks for a factor $2pi i$ instead of $pi i$ no?
    – Math_QED
    Nov 21 at 20:09










  • I tought since it's on the real axis, it was $ipi$
    – Nicola Fattoruso
    Nov 21 at 20:13










  • Did you mean to say $dx = frac{dt}{it}$?
    – Acccumulation
    Nov 21 at 20:13












  • Yes, edited sorry.
    – Nicola Fattoruso
    Nov 21 at 20:15










  • No, the residue theorem always give $2 pi i$.
    – Math_QED
    Nov 21 at 20:15













up vote
1
down vote

favorite









up vote
1
down vote

favorite











This is the integral :
$$I = int_{0}^{2pi} frac{dx}{(5+4cos x)^2} $$
Which, according to wolfram alpha, should evaluate to $frac{10pi}{27} $,
but the value i find is $frac{20pi}{27} $.





These are my calculations :



Using complex form of cosine i get $ cos x = frac{t^2+1}{2t}$
where $ t = e^{ix}$ and $ dx = frac{dt}{it}$.
If $partial{D} $ is the unit circle
$$ I = int_{partial{D}} frac{-i}{t(frac{5t+2t^2+2}{t})^2} dt =
-i int_{partial{D}}frac{t}{(t+2)^2(t+1/2)^2}dt = -i I_a$$



$I_a = pi i $ times the residue in -$frac{1}{2}$



The residue is equal to
begin{align}
lim_{zto-frac{1}{2}} frac{d}{dz} left( frac{t(t+1/2)^2}{(t+2)^2(t+1/2)^2}right)
&= lim_{zto-frac{1}{2}} frac{d}{dz} frac{t}{(t+2)^2}
\&= lim_{zto-frac{1}{2}} frac{(t+2)^2-2t(t+2)}{(t+2)^4}
\&= lim_{zto-frac{1}{2}} frac{2-t}{(t+2)^3}
= frac{2+1/2}{(-1/2+2)^3}
\&= frac{5/2}{27/9} = frac{20}{27}
end{align}



so $ I_a = ipifrac{20}{27}$



So our original integral $$I = -i I_a = -i^2 pifrac{20}{27} = frac{20pi}{27}$$










share|cite|improve this question















This is the integral :
$$I = int_{0}^{2pi} frac{dx}{(5+4cos x)^2} $$
Which, according to wolfram alpha, should evaluate to $frac{10pi}{27} $,
but the value i find is $frac{20pi}{27} $.





These are my calculations :



Using complex form of cosine i get $ cos x = frac{t^2+1}{2t}$
where $ t = e^{ix}$ and $ dx = frac{dt}{it}$.
If $partial{D} $ is the unit circle
$$ I = int_{partial{D}} frac{-i}{t(frac{5t+2t^2+2}{t})^2} dt =
-i int_{partial{D}}frac{t}{(t+2)^2(t+1/2)^2}dt = -i I_a$$



$I_a = pi i $ times the residue in -$frac{1}{2}$



The residue is equal to
begin{align}
lim_{zto-frac{1}{2}} frac{d}{dz} left( frac{t(t+1/2)^2}{(t+2)^2(t+1/2)^2}right)
&= lim_{zto-frac{1}{2}} frac{d}{dz} frac{t}{(t+2)^2}
\&= lim_{zto-frac{1}{2}} frac{(t+2)^2-2t(t+2)}{(t+2)^4}
\&= lim_{zto-frac{1}{2}} frac{2-t}{(t+2)^3}
= frac{2+1/2}{(-1/2+2)^3}
\&= frac{5/2}{27/9} = frac{20}{27}
end{align}



so $ I_a = ipifrac{20}{27}$



So our original integral $$I = -i I_a = -i^2 pifrac{20}{27} = frac{20pi}{27}$$







complex-analysis contour-integration trigonometric-integrals






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 21 at 21:06









LutzL

54.8k42053




54.8k42053










asked Nov 21 at 19:56









Nicola Fattoruso

63




63












  • Residue theorem asks for a factor $2pi i$ instead of $pi i$ no?
    – Math_QED
    Nov 21 at 20:09










  • I tought since it's on the real axis, it was $ipi$
    – Nicola Fattoruso
    Nov 21 at 20:13










  • Did you mean to say $dx = frac{dt}{it}$?
    – Acccumulation
    Nov 21 at 20:13












  • Yes, edited sorry.
    – Nicola Fattoruso
    Nov 21 at 20:15










  • No, the residue theorem always give $2 pi i$.
    – Math_QED
    Nov 21 at 20:15


















  • Residue theorem asks for a factor $2pi i$ instead of $pi i$ no?
    – Math_QED
    Nov 21 at 20:09










  • I tought since it's on the real axis, it was $ipi$
    – Nicola Fattoruso
    Nov 21 at 20:13










  • Did you mean to say $dx = frac{dt}{it}$?
    – Acccumulation
    Nov 21 at 20:13












  • Yes, edited sorry.
    – Nicola Fattoruso
    Nov 21 at 20:15










  • No, the residue theorem always give $2 pi i$.
    – Math_QED
    Nov 21 at 20:15
















Residue theorem asks for a factor $2pi i$ instead of $pi i$ no?
– Math_QED
Nov 21 at 20:09




Residue theorem asks for a factor $2pi i$ instead of $pi i$ no?
– Math_QED
Nov 21 at 20:09












I tought since it's on the real axis, it was $ipi$
– Nicola Fattoruso
Nov 21 at 20:13




I tought since it's on the real axis, it was $ipi$
– Nicola Fattoruso
Nov 21 at 20:13












Did you mean to say $dx = frac{dt}{it}$?
– Acccumulation
Nov 21 at 20:13






Did you mean to say $dx = frac{dt}{it}$?
– Acccumulation
Nov 21 at 20:13














Yes, edited sorry.
– Nicola Fattoruso
Nov 21 at 20:15




Yes, edited sorry.
– Nicola Fattoruso
Nov 21 at 20:15












No, the residue theorem always give $2 pi i$.
– Math_QED
Nov 21 at 20:15




No, the residue theorem always give $2 pi i$.
– Math_QED
Nov 21 at 20:15










2 Answers
2






active

oldest

votes

















up vote
2
down vote













You made an error in calculating the factorization of the denominator. You should get $$5t+2t^2+2=(2+t)(1+2t)=2(t+2)(t+1/2),$$ where you missed to transfer the leading factor $2$ to the factorized expression. The correction leads to $I=-frac i4 I_a$ and the additional division by $4$ corrects the residuum that is computed with the correct factor $2pi i$.





You could also use the geometric/binomial series to get the correct residual coefficient. Then, using $u=t+frac12$,
$$
frac{t}{(t+2)^2(t+frac12)^2}=frac{u-tfrac12}{(u+frac32)^2u^2}
=frac49(u-tfrac12)sum_{k=0}^infty (k+1)left(-frac23right)^ku^{k-2}
$$

so that the coefficient for the power $u^{-1}=(t+frac12)^{-2}$ is $frac49(1+frac12cdot2cdotfrac23)=frac{20}{27}$. The integration over the unit circle adds the factor $2pi i$, so that in the final result $I=frac{10pi}{27}$.






share|cite|improve this answer























  • +1 for the second method, although I think taking the limit is more straightforward.
    – Math_QED
    Nov 21 at 21:25


















up vote
0
down vote













Your mistake is when using the residue theorem:



$$oint_{C^+} f(z) dz = 2pi isum_{singularities} Res(f,singularity)$$



You forgot the factor $2$ in this formula.





Another mistake: $$5t + 2t^2 + 2 = 2(t+2)(t+1/2)$$



You again forgot a factor 2 (which will yield a factor $4$ eventually)





You also made a mistake in calculating the residue.



Note that $(-1/2 + 2)^3 = (3/2)^3 = 27/8$





Correcting these two mistakes, we easily find the correct answer.






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: 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%2f3008258%2fcontour-intergal-of-a-rational-trigonometric-function-cant-find-my-mistake%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








    up vote
    2
    down vote













    You made an error in calculating the factorization of the denominator. You should get $$5t+2t^2+2=(2+t)(1+2t)=2(t+2)(t+1/2),$$ where you missed to transfer the leading factor $2$ to the factorized expression. The correction leads to $I=-frac i4 I_a$ and the additional division by $4$ corrects the residuum that is computed with the correct factor $2pi i$.





    You could also use the geometric/binomial series to get the correct residual coefficient. Then, using $u=t+frac12$,
    $$
    frac{t}{(t+2)^2(t+frac12)^2}=frac{u-tfrac12}{(u+frac32)^2u^2}
    =frac49(u-tfrac12)sum_{k=0}^infty (k+1)left(-frac23right)^ku^{k-2}
    $$

    so that the coefficient for the power $u^{-1}=(t+frac12)^{-2}$ is $frac49(1+frac12cdot2cdotfrac23)=frac{20}{27}$. The integration over the unit circle adds the factor $2pi i$, so that in the final result $I=frac{10pi}{27}$.






    share|cite|improve this answer























    • +1 for the second method, although I think taking the limit is more straightforward.
      – Math_QED
      Nov 21 at 21:25















    up vote
    2
    down vote













    You made an error in calculating the factorization of the denominator. You should get $$5t+2t^2+2=(2+t)(1+2t)=2(t+2)(t+1/2),$$ where you missed to transfer the leading factor $2$ to the factorized expression. The correction leads to $I=-frac i4 I_a$ and the additional division by $4$ corrects the residuum that is computed with the correct factor $2pi i$.





    You could also use the geometric/binomial series to get the correct residual coefficient. Then, using $u=t+frac12$,
    $$
    frac{t}{(t+2)^2(t+frac12)^2}=frac{u-tfrac12}{(u+frac32)^2u^2}
    =frac49(u-tfrac12)sum_{k=0}^infty (k+1)left(-frac23right)^ku^{k-2}
    $$

    so that the coefficient for the power $u^{-1}=(t+frac12)^{-2}$ is $frac49(1+frac12cdot2cdotfrac23)=frac{20}{27}$. The integration over the unit circle adds the factor $2pi i$, so that in the final result $I=frac{10pi}{27}$.






    share|cite|improve this answer























    • +1 for the second method, although I think taking the limit is more straightforward.
      – Math_QED
      Nov 21 at 21:25













    up vote
    2
    down vote










    up vote
    2
    down vote









    You made an error in calculating the factorization of the denominator. You should get $$5t+2t^2+2=(2+t)(1+2t)=2(t+2)(t+1/2),$$ where you missed to transfer the leading factor $2$ to the factorized expression. The correction leads to $I=-frac i4 I_a$ and the additional division by $4$ corrects the residuum that is computed with the correct factor $2pi i$.





    You could also use the geometric/binomial series to get the correct residual coefficient. Then, using $u=t+frac12$,
    $$
    frac{t}{(t+2)^2(t+frac12)^2}=frac{u-tfrac12}{(u+frac32)^2u^2}
    =frac49(u-tfrac12)sum_{k=0}^infty (k+1)left(-frac23right)^ku^{k-2}
    $$

    so that the coefficient for the power $u^{-1}=(t+frac12)^{-2}$ is $frac49(1+frac12cdot2cdotfrac23)=frac{20}{27}$. The integration over the unit circle adds the factor $2pi i$, so that in the final result $I=frac{10pi}{27}$.






    share|cite|improve this answer














    You made an error in calculating the factorization of the denominator. You should get $$5t+2t^2+2=(2+t)(1+2t)=2(t+2)(t+1/2),$$ where you missed to transfer the leading factor $2$ to the factorized expression. The correction leads to $I=-frac i4 I_a$ and the additional division by $4$ corrects the residuum that is computed with the correct factor $2pi i$.





    You could also use the geometric/binomial series to get the correct residual coefficient. Then, using $u=t+frac12$,
    $$
    frac{t}{(t+2)^2(t+frac12)^2}=frac{u-tfrac12}{(u+frac32)^2u^2}
    =frac49(u-tfrac12)sum_{k=0}^infty (k+1)left(-frac23right)^ku^{k-2}
    $$

    so that the coefficient for the power $u^{-1}=(t+frac12)^{-2}$ is $frac49(1+frac12cdot2cdotfrac23)=frac{20}{27}$. The integration over the unit circle adds the factor $2pi i$, so that in the final result $I=frac{10pi}{27}$.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited Nov 21 at 21:29

























    answered Nov 21 at 21:23









    LutzL

    54.8k42053




    54.8k42053












    • +1 for the second method, although I think taking the limit is more straightforward.
      – Math_QED
      Nov 21 at 21:25


















    • +1 for the second method, although I think taking the limit is more straightforward.
      – Math_QED
      Nov 21 at 21:25
















    +1 for the second method, although I think taking the limit is more straightforward.
    – Math_QED
    Nov 21 at 21:25




    +1 for the second method, although I think taking the limit is more straightforward.
    – Math_QED
    Nov 21 at 21:25










    up vote
    0
    down vote













    Your mistake is when using the residue theorem:



    $$oint_{C^+} f(z) dz = 2pi isum_{singularities} Res(f,singularity)$$



    You forgot the factor $2$ in this formula.





    Another mistake: $$5t + 2t^2 + 2 = 2(t+2)(t+1/2)$$



    You again forgot a factor 2 (which will yield a factor $4$ eventually)





    You also made a mistake in calculating the residue.



    Note that $(-1/2 + 2)^3 = (3/2)^3 = 27/8$





    Correcting these two mistakes, we easily find the correct answer.






    share|cite|improve this answer



























      up vote
      0
      down vote













      Your mistake is when using the residue theorem:



      $$oint_{C^+} f(z) dz = 2pi isum_{singularities} Res(f,singularity)$$



      You forgot the factor $2$ in this formula.





      Another mistake: $$5t + 2t^2 + 2 = 2(t+2)(t+1/2)$$



      You again forgot a factor 2 (which will yield a factor $4$ eventually)





      You also made a mistake in calculating the residue.



      Note that $(-1/2 + 2)^3 = (3/2)^3 = 27/8$





      Correcting these two mistakes, we easily find the correct answer.






      share|cite|improve this answer

























        up vote
        0
        down vote










        up vote
        0
        down vote









        Your mistake is when using the residue theorem:



        $$oint_{C^+} f(z) dz = 2pi isum_{singularities} Res(f,singularity)$$



        You forgot the factor $2$ in this formula.





        Another mistake: $$5t + 2t^2 + 2 = 2(t+2)(t+1/2)$$



        You again forgot a factor 2 (which will yield a factor $4$ eventually)





        You also made a mistake in calculating the residue.



        Note that $(-1/2 + 2)^3 = (3/2)^3 = 27/8$





        Correcting these two mistakes, we easily find the correct answer.






        share|cite|improve this answer














        Your mistake is when using the residue theorem:



        $$oint_{C^+} f(z) dz = 2pi isum_{singularities} Res(f,singularity)$$



        You forgot the factor $2$ in this formula.





        Another mistake: $$5t + 2t^2 + 2 = 2(t+2)(t+1/2)$$



        You again forgot a factor 2 (which will yield a factor $4$ eventually)





        You also made a mistake in calculating the residue.



        Note that $(-1/2 + 2)^3 = (3/2)^3 = 27/8$





        Correcting these two mistakes, we easily find the correct answer.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Nov 21 at 21:23

























        answered Nov 21 at 20:12









        Math_QED

        6,88931449




        6,88931449






























            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • 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.


            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%2f3008258%2fcontour-intergal-of-a-rational-trigonometric-function-cant-find-my-mistake%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

            Index of /

            Tribalistas

            Listed building