Showing that $Gamma(x) Gamma(y) = Gamma(x+y)intlimits_0^1 lambda^x-1(1-lambda)^y-1dlambda$

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











up vote
0
down vote

favorite












On page 56 of Titchmarsh's Theory of Functions, Titchmarsh makes the following claim:



beginalign
fracGamma(x)Gamma(y)Gamma(x+y) &= phi(x,y); (x>0,y>0)
endalign
where beginalign
phi(x,y) &=intlimits_0^inftyfracv^y-1(1+v)^x+ydv\
&= 2 intlimits_0^frac12pi (cos theta)^2x-1(sintheta)^2y-1dtheta\
&= intlimits_0^1 lambda^x-1(1-lambda)^y-1dlambda
endalign



I understand how the first integral is achieved using substitution, but I can't figure out how to go from the first integral to the second or the second integral to the third.







share|cite|improve this question



















  • Search for the derivation of the relation between beta and gamma functions.
    – StubbornAtom
    Jul 16 at 4:32










  • Second to third is by the substitution $lambda = (cos x)^2$
    – Kavi Rama Murthy
    Jul 16 at 5:55










  • See math.stackexchange.com/questions/514025/….
    – StubbornAtom
    Jul 16 at 6:15














up vote
0
down vote

favorite












On page 56 of Titchmarsh's Theory of Functions, Titchmarsh makes the following claim:



beginalign
fracGamma(x)Gamma(y)Gamma(x+y) &= phi(x,y); (x>0,y>0)
endalign
where beginalign
phi(x,y) &=intlimits_0^inftyfracv^y-1(1+v)^x+ydv\
&= 2 intlimits_0^frac12pi (cos theta)^2x-1(sintheta)^2y-1dtheta\
&= intlimits_0^1 lambda^x-1(1-lambda)^y-1dlambda
endalign



I understand how the first integral is achieved using substitution, but I can't figure out how to go from the first integral to the second or the second integral to the third.







share|cite|improve this question



















  • Search for the derivation of the relation between beta and gamma functions.
    – StubbornAtom
    Jul 16 at 4:32










  • Second to third is by the substitution $lambda = (cos x)^2$
    – Kavi Rama Murthy
    Jul 16 at 5:55










  • See math.stackexchange.com/questions/514025/….
    – StubbornAtom
    Jul 16 at 6:15












up vote
0
down vote

favorite









up vote
0
down vote

favorite











On page 56 of Titchmarsh's Theory of Functions, Titchmarsh makes the following claim:



beginalign
fracGamma(x)Gamma(y)Gamma(x+y) &= phi(x,y); (x>0,y>0)
endalign
where beginalign
phi(x,y) &=intlimits_0^inftyfracv^y-1(1+v)^x+ydv\
&= 2 intlimits_0^frac12pi (cos theta)^2x-1(sintheta)^2y-1dtheta\
&= intlimits_0^1 lambda^x-1(1-lambda)^y-1dlambda
endalign



I understand how the first integral is achieved using substitution, but I can't figure out how to go from the first integral to the second or the second integral to the third.







share|cite|improve this question











On page 56 of Titchmarsh's Theory of Functions, Titchmarsh makes the following claim:



beginalign
fracGamma(x)Gamma(y)Gamma(x+y) &= phi(x,y); (x>0,y>0)
endalign
where beginalign
phi(x,y) &=intlimits_0^inftyfracv^y-1(1+v)^x+ydv\
&= 2 intlimits_0^frac12pi (cos theta)^2x-1(sintheta)^2y-1dtheta\
&= intlimits_0^1 lambda^x-1(1-lambda)^y-1dlambda
endalign



I understand how the first integral is achieved using substitution, but I can't figure out how to go from the first integral to the second or the second integral to the third.









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 16 at 4:18









Josh

477




477











  • Search for the derivation of the relation between beta and gamma functions.
    – StubbornAtom
    Jul 16 at 4:32










  • Second to third is by the substitution $lambda = (cos x)^2$
    – Kavi Rama Murthy
    Jul 16 at 5:55










  • See math.stackexchange.com/questions/514025/….
    – StubbornAtom
    Jul 16 at 6:15
















  • Search for the derivation of the relation between beta and gamma functions.
    – StubbornAtom
    Jul 16 at 4:32










  • Second to third is by the substitution $lambda = (cos x)^2$
    – Kavi Rama Murthy
    Jul 16 at 5:55










  • See math.stackexchange.com/questions/514025/….
    – StubbornAtom
    Jul 16 at 6:15















Search for the derivation of the relation between beta and gamma functions.
– StubbornAtom
Jul 16 at 4:32




Search for the derivation of the relation between beta and gamma functions.
– StubbornAtom
Jul 16 at 4:32












Second to third is by the substitution $lambda = (cos x)^2$
– Kavi Rama Murthy
Jul 16 at 5:55




Second to third is by the substitution $lambda = (cos x)^2$
– Kavi Rama Murthy
Jul 16 at 5:55












See math.stackexchange.com/questions/514025/….
– StubbornAtom
Jul 16 at 6:15




See math.stackexchange.com/questions/514025/….
– StubbornAtom
Jul 16 at 6:15










1 Answer
1






active

oldest

votes

















up vote
0
down vote



accepted










From the first to second,



beginalign
phi(x,y) &=intlimits_0^inftyfracv^y-1(1+v)^x+ydv\
&=intlimits_0^inftyfrac(tan^2theta)^y-1(1+(tan^2theta))^x+yd(tan^2theta)\
&=intlimits_0^frac12pifrac(tan^2theta)^y-1(sec^2theta)^x+y(2tanthetasec^2theta)dtheta\
&=2intlimits_0^frac12pi(sintheta)^2y-2+1(cos theta)^-(2y-2+1)+(2x+2y)-2dtheta\
&= 2 intlimits_0^frac12pi (cos theta)^2x-1(sintheta)^2y-1dtheta\
endalign



Now can you think of the next substitution? (Hint: look at the limits and the exponents)






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%2f2853087%2fshowing-that-gammax-gammay-gammaxy-int-limits-01-lambdax-11%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote



    accepted










    From the first to second,



    beginalign
    phi(x,y) &=intlimits_0^inftyfracv^y-1(1+v)^x+ydv\
    &=intlimits_0^inftyfrac(tan^2theta)^y-1(1+(tan^2theta))^x+yd(tan^2theta)\
    &=intlimits_0^frac12pifrac(tan^2theta)^y-1(sec^2theta)^x+y(2tanthetasec^2theta)dtheta\
    &=2intlimits_0^frac12pi(sintheta)^2y-2+1(cos theta)^-(2y-2+1)+(2x+2y)-2dtheta\
    &= 2 intlimits_0^frac12pi (cos theta)^2x-1(sintheta)^2y-1dtheta\
    endalign



    Now can you think of the next substitution? (Hint: look at the limits and the exponents)






    share|cite|improve this answer



























      up vote
      0
      down vote



      accepted










      From the first to second,



      beginalign
      phi(x,y) &=intlimits_0^inftyfracv^y-1(1+v)^x+ydv\
      &=intlimits_0^inftyfrac(tan^2theta)^y-1(1+(tan^2theta))^x+yd(tan^2theta)\
      &=intlimits_0^frac12pifrac(tan^2theta)^y-1(sec^2theta)^x+y(2tanthetasec^2theta)dtheta\
      &=2intlimits_0^frac12pi(sintheta)^2y-2+1(cos theta)^-(2y-2+1)+(2x+2y)-2dtheta\
      &= 2 intlimits_0^frac12pi (cos theta)^2x-1(sintheta)^2y-1dtheta\
      endalign



      Now can you think of the next substitution? (Hint: look at the limits and the exponents)






      share|cite|improve this answer

























        up vote
        0
        down vote



        accepted







        up vote
        0
        down vote



        accepted






        From the first to second,



        beginalign
        phi(x,y) &=intlimits_0^inftyfracv^y-1(1+v)^x+ydv\
        &=intlimits_0^inftyfrac(tan^2theta)^y-1(1+(tan^2theta))^x+yd(tan^2theta)\
        &=intlimits_0^frac12pifrac(tan^2theta)^y-1(sec^2theta)^x+y(2tanthetasec^2theta)dtheta\
        &=2intlimits_0^frac12pi(sintheta)^2y-2+1(cos theta)^-(2y-2+1)+(2x+2y)-2dtheta\
        &= 2 intlimits_0^frac12pi (cos theta)^2x-1(sintheta)^2y-1dtheta\
        endalign



        Now can you think of the next substitution? (Hint: look at the limits and the exponents)






        share|cite|improve this answer















        From the first to second,



        beginalign
        phi(x,y) &=intlimits_0^inftyfracv^y-1(1+v)^x+ydv\
        &=intlimits_0^inftyfrac(tan^2theta)^y-1(1+(tan^2theta))^x+yd(tan^2theta)\
        &=intlimits_0^frac12pifrac(tan^2theta)^y-1(sec^2theta)^x+y(2tanthetasec^2theta)dtheta\
        &=2intlimits_0^frac12pi(sintheta)^2y-2+1(cos theta)^-(2y-2+1)+(2x+2y)-2dtheta\
        &= 2 intlimits_0^frac12pi (cos theta)^2x-1(sintheta)^2y-1dtheta\
        endalign



        Now can you think of the next substitution? (Hint: look at the limits and the exponents)







        share|cite|improve this answer















        share|cite|improve this answer



        share|cite|improve this answer








        edited Jul 16 at 4:43


























        answered Jul 16 at 4:36









        Karn Watcharasupat

        3,8172426




        3,8172426






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2853087%2fshowing-that-gammax-gammay-gammaxy-int-limits-01-lambdax-11%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

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

            Relationship between determinant of matrix and determinant of adjoint?

            Color the edges and diagonals of a regular polygon