Calculate $int_0^1 frac{1}{sqrt{x(1-x)}} dx$ using residue calculus












3












$begingroup$


I'd like to calculate $$int_0^1 frac{1}{sqrt{x(1-x)}} dx,$$ using residue calculus. I was given a hint to consider the function $$f(z) = frac{1}{zsqrt{1-frac{1}{z}}}. $$ I thought I was relatively comfortable solving residue calculus problems, until I saw this one. Because I am already stuck before I have even begun.



I'm thinking that $f(z)$ is analytic when $z neq 0$ and when $1-1/z > 0. $ I'm also assuming I should make a branch cut of some sort because of the aforementioned condition on $1-1/z$. But it occured to me that $1-1/z leq 0$ precisely when $0 < z < 1$, and therefore this makes no sense to me since the limits of the integral that I am trying to solve are $0$ and $1$...



So in conclusion, I need a lot of help.










share|cite|improve this question









$endgroup$












  • $begingroup$
    I'm unsure what you mean by "residue calculus." If you want to use the Residue Theorem, you have to integrate over a closed curve. This can be accomplished by substituting $z=e^{2pi ix}$. Then you need to check that the resulting function is holomorphic on some region containing the closed unit ball except at a finite number of poles.
    $endgroup$
    – Ben W
    Jan 7 at 0:33










  • $begingroup$
    @BenW, this is a common usage of the phrase "residue calculus."
    $endgroup$
    – Cheerful Parsnip
    Jan 7 at 0:49










  • $begingroup$
    Okay, but I don't think the Residue Theorem is remotely appropriate here. You end up having some nasty function with $log(z)$'s under a square root, and then you have to deal with branch cuts which I'm not even sure will work in this case. Far easier just to do trig sub with $x-1/2=(1/2)sin(theta)$.
    $endgroup$
    – Ben W
    Jan 7 at 0:53






  • 1




    $begingroup$
    Use $$int_0^1x^{a-1}(1-x)^{b-1}dx=frac{Gamma(a)Gamma(b)}{Gamma(a+b)}$$ to see that $$int_0^1frac{dx}{sqrt{x(1-x)}}=pi$$
    $endgroup$
    – clathratus
    Jan 7 at 1:16






  • 1




    $begingroup$
    Choose line segment $[0,1]$ as branch cut of $frac{1}{sqrt{z(1-z)}}$, choose the branch where $sqrt{z(1-z)}$ is real and positive on upper side of $[0,1]$. Convince yourself $$-2int_0^1 frac{dx}{sqrt{x(1-x)}} = oint_C frac{dz}{sqrt{z(1-z)}}$$ where LHS is an ordinary Riemann improper integral of real function and RHS is a contour integral over any closed contour $C$ that wrap around the line segment $[0,1]$ counterclockwisely once. Evaluate RHS by sending $C$ to a circle with infinitely large radius and use the hint $f(z) = frac{1}{zsqrt{1-frac{1}{z}}}$
    $endgroup$
    – achille hui
    Jan 7 at 1:28
















3












$begingroup$


I'd like to calculate $$int_0^1 frac{1}{sqrt{x(1-x)}} dx,$$ using residue calculus. I was given a hint to consider the function $$f(z) = frac{1}{zsqrt{1-frac{1}{z}}}. $$ I thought I was relatively comfortable solving residue calculus problems, until I saw this one. Because I am already stuck before I have even begun.



I'm thinking that $f(z)$ is analytic when $z neq 0$ and when $1-1/z > 0. $ I'm also assuming I should make a branch cut of some sort because of the aforementioned condition on $1-1/z$. But it occured to me that $1-1/z leq 0$ precisely when $0 < z < 1$, and therefore this makes no sense to me since the limits of the integral that I am trying to solve are $0$ and $1$...



So in conclusion, I need a lot of help.










share|cite|improve this question









$endgroup$












  • $begingroup$
    I'm unsure what you mean by "residue calculus." If you want to use the Residue Theorem, you have to integrate over a closed curve. This can be accomplished by substituting $z=e^{2pi ix}$. Then you need to check that the resulting function is holomorphic on some region containing the closed unit ball except at a finite number of poles.
    $endgroup$
    – Ben W
    Jan 7 at 0:33










  • $begingroup$
    @BenW, this is a common usage of the phrase "residue calculus."
    $endgroup$
    – Cheerful Parsnip
    Jan 7 at 0:49










  • $begingroup$
    Okay, but I don't think the Residue Theorem is remotely appropriate here. You end up having some nasty function with $log(z)$'s under a square root, and then you have to deal with branch cuts which I'm not even sure will work in this case. Far easier just to do trig sub with $x-1/2=(1/2)sin(theta)$.
    $endgroup$
    – Ben W
    Jan 7 at 0:53






  • 1




    $begingroup$
    Use $$int_0^1x^{a-1}(1-x)^{b-1}dx=frac{Gamma(a)Gamma(b)}{Gamma(a+b)}$$ to see that $$int_0^1frac{dx}{sqrt{x(1-x)}}=pi$$
    $endgroup$
    – clathratus
    Jan 7 at 1:16






  • 1




    $begingroup$
    Choose line segment $[0,1]$ as branch cut of $frac{1}{sqrt{z(1-z)}}$, choose the branch where $sqrt{z(1-z)}$ is real and positive on upper side of $[0,1]$. Convince yourself $$-2int_0^1 frac{dx}{sqrt{x(1-x)}} = oint_C frac{dz}{sqrt{z(1-z)}}$$ where LHS is an ordinary Riemann improper integral of real function and RHS is a contour integral over any closed contour $C$ that wrap around the line segment $[0,1]$ counterclockwisely once. Evaluate RHS by sending $C$ to a circle with infinitely large radius and use the hint $f(z) = frac{1}{zsqrt{1-frac{1}{z}}}$
    $endgroup$
    – achille hui
    Jan 7 at 1:28














3












3








3


2



$begingroup$


I'd like to calculate $$int_0^1 frac{1}{sqrt{x(1-x)}} dx,$$ using residue calculus. I was given a hint to consider the function $$f(z) = frac{1}{zsqrt{1-frac{1}{z}}}. $$ I thought I was relatively comfortable solving residue calculus problems, until I saw this one. Because I am already stuck before I have even begun.



I'm thinking that $f(z)$ is analytic when $z neq 0$ and when $1-1/z > 0. $ I'm also assuming I should make a branch cut of some sort because of the aforementioned condition on $1-1/z$. But it occured to me that $1-1/z leq 0$ precisely when $0 < z < 1$, and therefore this makes no sense to me since the limits of the integral that I am trying to solve are $0$ and $1$...



So in conclusion, I need a lot of help.










share|cite|improve this question









$endgroup$




I'd like to calculate $$int_0^1 frac{1}{sqrt{x(1-x)}} dx,$$ using residue calculus. I was given a hint to consider the function $$f(z) = frac{1}{zsqrt{1-frac{1}{z}}}. $$ I thought I was relatively comfortable solving residue calculus problems, until I saw this one. Because I am already stuck before I have even begun.



I'm thinking that $f(z)$ is analytic when $z neq 0$ and when $1-1/z > 0. $ I'm also assuming I should make a branch cut of some sort because of the aforementioned condition on $1-1/z$. But it occured to me that $1-1/z leq 0$ precisely when $0 < z < 1$, and therefore this makes no sense to me since the limits of the integral that I am trying to solve are $0$ and $1$...



So in conclusion, I need a lot of help.







complex-analysis residue-calculus






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 7 at 0:27









j.eeej.eee

375




375












  • $begingroup$
    I'm unsure what you mean by "residue calculus." If you want to use the Residue Theorem, you have to integrate over a closed curve. This can be accomplished by substituting $z=e^{2pi ix}$. Then you need to check that the resulting function is holomorphic on some region containing the closed unit ball except at a finite number of poles.
    $endgroup$
    – Ben W
    Jan 7 at 0:33










  • $begingroup$
    @BenW, this is a common usage of the phrase "residue calculus."
    $endgroup$
    – Cheerful Parsnip
    Jan 7 at 0:49










  • $begingroup$
    Okay, but I don't think the Residue Theorem is remotely appropriate here. You end up having some nasty function with $log(z)$'s under a square root, and then you have to deal with branch cuts which I'm not even sure will work in this case. Far easier just to do trig sub with $x-1/2=(1/2)sin(theta)$.
    $endgroup$
    – Ben W
    Jan 7 at 0:53






  • 1




    $begingroup$
    Use $$int_0^1x^{a-1}(1-x)^{b-1}dx=frac{Gamma(a)Gamma(b)}{Gamma(a+b)}$$ to see that $$int_0^1frac{dx}{sqrt{x(1-x)}}=pi$$
    $endgroup$
    – clathratus
    Jan 7 at 1:16






  • 1




    $begingroup$
    Choose line segment $[0,1]$ as branch cut of $frac{1}{sqrt{z(1-z)}}$, choose the branch where $sqrt{z(1-z)}$ is real and positive on upper side of $[0,1]$. Convince yourself $$-2int_0^1 frac{dx}{sqrt{x(1-x)}} = oint_C frac{dz}{sqrt{z(1-z)}}$$ where LHS is an ordinary Riemann improper integral of real function and RHS is a contour integral over any closed contour $C$ that wrap around the line segment $[0,1]$ counterclockwisely once. Evaluate RHS by sending $C$ to a circle with infinitely large radius and use the hint $f(z) = frac{1}{zsqrt{1-frac{1}{z}}}$
    $endgroup$
    – achille hui
    Jan 7 at 1:28


















  • $begingroup$
    I'm unsure what you mean by "residue calculus." If you want to use the Residue Theorem, you have to integrate over a closed curve. This can be accomplished by substituting $z=e^{2pi ix}$. Then you need to check that the resulting function is holomorphic on some region containing the closed unit ball except at a finite number of poles.
    $endgroup$
    – Ben W
    Jan 7 at 0:33










  • $begingroup$
    @BenW, this is a common usage of the phrase "residue calculus."
    $endgroup$
    – Cheerful Parsnip
    Jan 7 at 0:49










  • $begingroup$
    Okay, but I don't think the Residue Theorem is remotely appropriate here. You end up having some nasty function with $log(z)$'s under a square root, and then you have to deal with branch cuts which I'm not even sure will work in this case. Far easier just to do trig sub with $x-1/2=(1/2)sin(theta)$.
    $endgroup$
    – Ben W
    Jan 7 at 0:53






  • 1




    $begingroup$
    Use $$int_0^1x^{a-1}(1-x)^{b-1}dx=frac{Gamma(a)Gamma(b)}{Gamma(a+b)}$$ to see that $$int_0^1frac{dx}{sqrt{x(1-x)}}=pi$$
    $endgroup$
    – clathratus
    Jan 7 at 1:16






  • 1




    $begingroup$
    Choose line segment $[0,1]$ as branch cut of $frac{1}{sqrt{z(1-z)}}$, choose the branch where $sqrt{z(1-z)}$ is real and positive on upper side of $[0,1]$. Convince yourself $$-2int_0^1 frac{dx}{sqrt{x(1-x)}} = oint_C frac{dz}{sqrt{z(1-z)}}$$ where LHS is an ordinary Riemann improper integral of real function and RHS is a contour integral over any closed contour $C$ that wrap around the line segment $[0,1]$ counterclockwisely once. Evaluate RHS by sending $C$ to a circle with infinitely large radius and use the hint $f(z) = frac{1}{zsqrt{1-frac{1}{z}}}$
    $endgroup$
    – achille hui
    Jan 7 at 1:28
















$begingroup$
I'm unsure what you mean by "residue calculus." If you want to use the Residue Theorem, you have to integrate over a closed curve. This can be accomplished by substituting $z=e^{2pi ix}$. Then you need to check that the resulting function is holomorphic on some region containing the closed unit ball except at a finite number of poles.
$endgroup$
– Ben W
Jan 7 at 0:33




$begingroup$
I'm unsure what you mean by "residue calculus." If you want to use the Residue Theorem, you have to integrate over a closed curve. This can be accomplished by substituting $z=e^{2pi ix}$. Then you need to check that the resulting function is holomorphic on some region containing the closed unit ball except at a finite number of poles.
$endgroup$
– Ben W
Jan 7 at 0:33












$begingroup$
@BenW, this is a common usage of the phrase "residue calculus."
$endgroup$
– Cheerful Parsnip
Jan 7 at 0:49




$begingroup$
@BenW, this is a common usage of the phrase "residue calculus."
$endgroup$
– Cheerful Parsnip
Jan 7 at 0:49












$begingroup$
Okay, but I don't think the Residue Theorem is remotely appropriate here. You end up having some nasty function with $log(z)$'s under a square root, and then you have to deal with branch cuts which I'm not even sure will work in this case. Far easier just to do trig sub with $x-1/2=(1/2)sin(theta)$.
$endgroup$
– Ben W
Jan 7 at 0:53




$begingroup$
Okay, but I don't think the Residue Theorem is remotely appropriate here. You end up having some nasty function with $log(z)$'s under a square root, and then you have to deal with branch cuts which I'm not even sure will work in this case. Far easier just to do trig sub with $x-1/2=(1/2)sin(theta)$.
$endgroup$
– Ben W
Jan 7 at 0:53




1




1




$begingroup$
Use $$int_0^1x^{a-1}(1-x)^{b-1}dx=frac{Gamma(a)Gamma(b)}{Gamma(a+b)}$$ to see that $$int_0^1frac{dx}{sqrt{x(1-x)}}=pi$$
$endgroup$
– clathratus
Jan 7 at 1:16




$begingroup$
Use $$int_0^1x^{a-1}(1-x)^{b-1}dx=frac{Gamma(a)Gamma(b)}{Gamma(a+b)}$$ to see that $$int_0^1frac{dx}{sqrt{x(1-x)}}=pi$$
$endgroup$
– clathratus
Jan 7 at 1:16




1




1




$begingroup$
Choose line segment $[0,1]$ as branch cut of $frac{1}{sqrt{z(1-z)}}$, choose the branch where $sqrt{z(1-z)}$ is real and positive on upper side of $[0,1]$. Convince yourself $$-2int_0^1 frac{dx}{sqrt{x(1-x)}} = oint_C frac{dz}{sqrt{z(1-z)}}$$ where LHS is an ordinary Riemann improper integral of real function and RHS is a contour integral over any closed contour $C$ that wrap around the line segment $[0,1]$ counterclockwisely once. Evaluate RHS by sending $C$ to a circle with infinitely large radius and use the hint $f(z) = frac{1}{zsqrt{1-frac{1}{z}}}$
$endgroup$
– achille hui
Jan 7 at 1:28




$begingroup$
Choose line segment $[0,1]$ as branch cut of $frac{1}{sqrt{z(1-z)}}$, choose the branch where $sqrt{z(1-z)}$ is real and positive on upper side of $[0,1]$. Convince yourself $$-2int_0^1 frac{dx}{sqrt{x(1-x)}} = oint_C frac{dz}{sqrt{z(1-z)}}$$ where LHS is an ordinary Riemann improper integral of real function and RHS is a contour integral over any closed contour $C$ that wrap around the line segment $[0,1]$ counterclockwisely once. Evaluate RHS by sending $C$ to a circle with infinitely large radius and use the hint $f(z) = frac{1}{zsqrt{1-frac{1}{z}}}$
$endgroup$
– achille hui
Jan 7 at 1:28










1 Answer
1






active

oldest

votes


















2












$begingroup$

$defth{theta}
defp{pi}
defe{varepsilon}
defg{gamma}
defG{Gamma}
DeclareMathOperator{sech}{sech}$
Let
begin{align*}
z &= r_1 e^{ith_1} \
&= 1+r_2 e^{ith_2}
end{align*}

where $r_i>0$ and $0leth_i<2p$.
(Here we choose the branch cuts for the two roots and, with the restriction on $th_i$, are examining the principal branch.)
Then
begin{align*}
g(z) &= frac{1}{sqrt{z(1-z)}} \
&= frac{1}{sqrt{r_1 r_2}} e^{-i(th_1+th_2+p)/2}.
end{align*}

Let $0<ell 1$.
It is a straightforward exercise to show that the branch cut for $g(z)$ extends along the real line from $x=0$ to $x=1$ and that
begin{align*}
lim_{eto 0^+} g(x+ie) &= -lim_{eto 0^+} g(x-ie)
= -frac{1}{sqrt{x(1-x)}}
& textrm{for }0<x<1.
end{align*}

Let $g = sum_{i=1}^4 g_i$ be the counterclockwise contour with
begin{align*}
g_1 &: t-ie,
tin(0,1) \
g_2 &: 1+e e^{ith},
thin[-p/2,p/2] \
g_3 &: 1-t+ie,
tin(0,1) \
g_4 &: e e^{ith},
thin[p/2,3p/2].
end{align*}

One can show that $int_{g_2} = int_{g_4} = 0$ in the limit $eto 0^+$.
(Note that, $int_{g_2}, int_{g_4}sim sqrte$.)
Thus, in the limit $eto 0^+$,
begin{align*}
int_g &to int_{g_1}+int_{g_3} \
&= int_0^1 g(t-ie)dt + int_0^1 g(1-t+ie)dt \
&= int_0^1 g(t-ie)dt - int_0^1 g(t+ie)dt \
&to 2int_0^1 frac{dx}{sqrt{x(1-x)}}.
end{align*}

Thus,
$$int_0^1 frac{dx}{sqrt{x(1-x)}} = frac 1 2 int_g g(z)dz.$$
Now deform the contour to $G: R e^{ith}, thin[0,2p)$, where $R>1$, and consider the limit $Rtoinfty$.
One can show that, for large $|z|$,
$g(z) = -i/z + O(1/z^2)$
and so
$int_G g(z) dz = 2p i(-i) = 2pi$
in the limit $Rtoinfty$.
Thus,
$$int_0^1 frac{dx}{sqrt{x(1-x)}} = p.$$



Avoiding branch cuts



Let $x = frac{1}{2}(1+tanh t)$.
Then
$$int_0^1 frac{dx}{sqrt{x(1-x)}} = int_{-infty}^infty sech t,dt.$$
In the spirit of the question we evaluate this integral using residue calculus.
Note that
begin{align*}
int_{-infty}^infty sech t,dt
&= lim_{eto 0^+}int_{-infty}^infty e^{ie t}sech t,dt \
&= lim_{eto 0^+}int_g e^{ie z}sech z,dz,
end{align*}

where $g$ encircles the poles in the upper half plane in a counterclockwise manner.
The (simple) poles occur at $z = (2n+1)p i/2$ for $n=0,1,ldots$.
It is a straightforward exercise to find the residues,
$$mathrm{Res}_{z=(2n+1)p i/2} e^{ie z}sech z
= (-1)^{n+1}i e^{-(2n+1)p e/2}.$$

Then
begin{align*}
sum mathrm{Res}, e^{ie z}sech z
&= sum_{n=0}^infty (-1)^{n+1}i e^{-(2n+1)p e/2} \
&= -i e^{-pe/2} sum_{n=0}^infty (-e^{-pe})^n \
&= -frac{i e^{pe/2}}{1+e^{pe}} \
&to -i/2.
end{align*}

Thus,
$$int_0^1 frac{dx}{sqrt{x(1-x)}} = 2pi i(-i/2) = p.$$






share|cite|improve this answer









$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3064552%2fcalculate-int-01-frac1-sqrtx1-x-dx-using-residue-calculus%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    2












    $begingroup$

    $defth{theta}
    defp{pi}
    defe{varepsilon}
    defg{gamma}
    defG{Gamma}
    DeclareMathOperator{sech}{sech}$
    Let
    begin{align*}
    z &= r_1 e^{ith_1} \
    &= 1+r_2 e^{ith_2}
    end{align*}

    where $r_i>0$ and $0leth_i<2p$.
    (Here we choose the branch cuts for the two roots and, with the restriction on $th_i$, are examining the principal branch.)
    Then
    begin{align*}
    g(z) &= frac{1}{sqrt{z(1-z)}} \
    &= frac{1}{sqrt{r_1 r_2}} e^{-i(th_1+th_2+p)/2}.
    end{align*}

    Let $0<ell 1$.
    It is a straightforward exercise to show that the branch cut for $g(z)$ extends along the real line from $x=0$ to $x=1$ and that
    begin{align*}
    lim_{eto 0^+} g(x+ie) &= -lim_{eto 0^+} g(x-ie)
    = -frac{1}{sqrt{x(1-x)}}
    & textrm{for }0<x<1.
    end{align*}

    Let $g = sum_{i=1}^4 g_i$ be the counterclockwise contour with
    begin{align*}
    g_1 &: t-ie,
    tin(0,1) \
    g_2 &: 1+e e^{ith},
    thin[-p/2,p/2] \
    g_3 &: 1-t+ie,
    tin(0,1) \
    g_4 &: e e^{ith},
    thin[p/2,3p/2].
    end{align*}

    One can show that $int_{g_2} = int_{g_4} = 0$ in the limit $eto 0^+$.
    (Note that, $int_{g_2}, int_{g_4}sim sqrte$.)
    Thus, in the limit $eto 0^+$,
    begin{align*}
    int_g &to int_{g_1}+int_{g_3} \
    &= int_0^1 g(t-ie)dt + int_0^1 g(1-t+ie)dt \
    &= int_0^1 g(t-ie)dt - int_0^1 g(t+ie)dt \
    &to 2int_0^1 frac{dx}{sqrt{x(1-x)}}.
    end{align*}

    Thus,
    $$int_0^1 frac{dx}{sqrt{x(1-x)}} = frac 1 2 int_g g(z)dz.$$
    Now deform the contour to $G: R e^{ith}, thin[0,2p)$, where $R>1$, and consider the limit $Rtoinfty$.
    One can show that, for large $|z|$,
    $g(z) = -i/z + O(1/z^2)$
    and so
    $int_G g(z) dz = 2p i(-i) = 2pi$
    in the limit $Rtoinfty$.
    Thus,
    $$int_0^1 frac{dx}{sqrt{x(1-x)}} = p.$$



    Avoiding branch cuts



    Let $x = frac{1}{2}(1+tanh t)$.
    Then
    $$int_0^1 frac{dx}{sqrt{x(1-x)}} = int_{-infty}^infty sech t,dt.$$
    In the spirit of the question we evaluate this integral using residue calculus.
    Note that
    begin{align*}
    int_{-infty}^infty sech t,dt
    &= lim_{eto 0^+}int_{-infty}^infty e^{ie t}sech t,dt \
    &= lim_{eto 0^+}int_g e^{ie z}sech z,dz,
    end{align*}

    where $g$ encircles the poles in the upper half plane in a counterclockwise manner.
    The (simple) poles occur at $z = (2n+1)p i/2$ for $n=0,1,ldots$.
    It is a straightforward exercise to find the residues,
    $$mathrm{Res}_{z=(2n+1)p i/2} e^{ie z}sech z
    = (-1)^{n+1}i e^{-(2n+1)p e/2}.$$

    Then
    begin{align*}
    sum mathrm{Res}, e^{ie z}sech z
    &= sum_{n=0}^infty (-1)^{n+1}i e^{-(2n+1)p e/2} \
    &= -i e^{-pe/2} sum_{n=0}^infty (-e^{-pe})^n \
    &= -frac{i e^{pe/2}}{1+e^{pe}} \
    &to -i/2.
    end{align*}

    Thus,
    $$int_0^1 frac{dx}{sqrt{x(1-x)}} = 2pi i(-i/2) = p.$$






    share|cite|improve this answer









    $endgroup$


















      2












      $begingroup$

      $defth{theta}
      defp{pi}
      defe{varepsilon}
      defg{gamma}
      defG{Gamma}
      DeclareMathOperator{sech}{sech}$
      Let
      begin{align*}
      z &= r_1 e^{ith_1} \
      &= 1+r_2 e^{ith_2}
      end{align*}

      where $r_i>0$ and $0leth_i<2p$.
      (Here we choose the branch cuts for the two roots and, with the restriction on $th_i$, are examining the principal branch.)
      Then
      begin{align*}
      g(z) &= frac{1}{sqrt{z(1-z)}} \
      &= frac{1}{sqrt{r_1 r_2}} e^{-i(th_1+th_2+p)/2}.
      end{align*}

      Let $0<ell 1$.
      It is a straightforward exercise to show that the branch cut for $g(z)$ extends along the real line from $x=0$ to $x=1$ and that
      begin{align*}
      lim_{eto 0^+} g(x+ie) &= -lim_{eto 0^+} g(x-ie)
      = -frac{1}{sqrt{x(1-x)}}
      & textrm{for }0<x<1.
      end{align*}

      Let $g = sum_{i=1}^4 g_i$ be the counterclockwise contour with
      begin{align*}
      g_1 &: t-ie,
      tin(0,1) \
      g_2 &: 1+e e^{ith},
      thin[-p/2,p/2] \
      g_3 &: 1-t+ie,
      tin(0,1) \
      g_4 &: e e^{ith},
      thin[p/2,3p/2].
      end{align*}

      One can show that $int_{g_2} = int_{g_4} = 0$ in the limit $eto 0^+$.
      (Note that, $int_{g_2}, int_{g_4}sim sqrte$.)
      Thus, in the limit $eto 0^+$,
      begin{align*}
      int_g &to int_{g_1}+int_{g_3} \
      &= int_0^1 g(t-ie)dt + int_0^1 g(1-t+ie)dt \
      &= int_0^1 g(t-ie)dt - int_0^1 g(t+ie)dt \
      &to 2int_0^1 frac{dx}{sqrt{x(1-x)}}.
      end{align*}

      Thus,
      $$int_0^1 frac{dx}{sqrt{x(1-x)}} = frac 1 2 int_g g(z)dz.$$
      Now deform the contour to $G: R e^{ith}, thin[0,2p)$, where $R>1$, and consider the limit $Rtoinfty$.
      One can show that, for large $|z|$,
      $g(z) = -i/z + O(1/z^2)$
      and so
      $int_G g(z) dz = 2p i(-i) = 2pi$
      in the limit $Rtoinfty$.
      Thus,
      $$int_0^1 frac{dx}{sqrt{x(1-x)}} = p.$$



      Avoiding branch cuts



      Let $x = frac{1}{2}(1+tanh t)$.
      Then
      $$int_0^1 frac{dx}{sqrt{x(1-x)}} = int_{-infty}^infty sech t,dt.$$
      In the spirit of the question we evaluate this integral using residue calculus.
      Note that
      begin{align*}
      int_{-infty}^infty sech t,dt
      &= lim_{eto 0^+}int_{-infty}^infty e^{ie t}sech t,dt \
      &= lim_{eto 0^+}int_g e^{ie z}sech z,dz,
      end{align*}

      where $g$ encircles the poles in the upper half plane in a counterclockwise manner.
      The (simple) poles occur at $z = (2n+1)p i/2$ for $n=0,1,ldots$.
      It is a straightforward exercise to find the residues,
      $$mathrm{Res}_{z=(2n+1)p i/2} e^{ie z}sech z
      = (-1)^{n+1}i e^{-(2n+1)p e/2}.$$

      Then
      begin{align*}
      sum mathrm{Res}, e^{ie z}sech z
      &= sum_{n=0}^infty (-1)^{n+1}i e^{-(2n+1)p e/2} \
      &= -i e^{-pe/2} sum_{n=0}^infty (-e^{-pe})^n \
      &= -frac{i e^{pe/2}}{1+e^{pe}} \
      &to -i/2.
      end{align*}

      Thus,
      $$int_0^1 frac{dx}{sqrt{x(1-x)}} = 2pi i(-i/2) = p.$$






      share|cite|improve this answer









      $endgroup$
















        2












        2








        2





        $begingroup$

        $defth{theta}
        defp{pi}
        defe{varepsilon}
        defg{gamma}
        defG{Gamma}
        DeclareMathOperator{sech}{sech}$
        Let
        begin{align*}
        z &= r_1 e^{ith_1} \
        &= 1+r_2 e^{ith_2}
        end{align*}

        where $r_i>0$ and $0leth_i<2p$.
        (Here we choose the branch cuts for the two roots and, with the restriction on $th_i$, are examining the principal branch.)
        Then
        begin{align*}
        g(z) &= frac{1}{sqrt{z(1-z)}} \
        &= frac{1}{sqrt{r_1 r_2}} e^{-i(th_1+th_2+p)/2}.
        end{align*}

        Let $0<ell 1$.
        It is a straightforward exercise to show that the branch cut for $g(z)$ extends along the real line from $x=0$ to $x=1$ and that
        begin{align*}
        lim_{eto 0^+} g(x+ie) &= -lim_{eto 0^+} g(x-ie)
        = -frac{1}{sqrt{x(1-x)}}
        & textrm{for }0<x<1.
        end{align*}

        Let $g = sum_{i=1}^4 g_i$ be the counterclockwise contour with
        begin{align*}
        g_1 &: t-ie,
        tin(0,1) \
        g_2 &: 1+e e^{ith},
        thin[-p/2,p/2] \
        g_3 &: 1-t+ie,
        tin(0,1) \
        g_4 &: e e^{ith},
        thin[p/2,3p/2].
        end{align*}

        One can show that $int_{g_2} = int_{g_4} = 0$ in the limit $eto 0^+$.
        (Note that, $int_{g_2}, int_{g_4}sim sqrte$.)
        Thus, in the limit $eto 0^+$,
        begin{align*}
        int_g &to int_{g_1}+int_{g_3} \
        &= int_0^1 g(t-ie)dt + int_0^1 g(1-t+ie)dt \
        &= int_0^1 g(t-ie)dt - int_0^1 g(t+ie)dt \
        &to 2int_0^1 frac{dx}{sqrt{x(1-x)}}.
        end{align*}

        Thus,
        $$int_0^1 frac{dx}{sqrt{x(1-x)}} = frac 1 2 int_g g(z)dz.$$
        Now deform the contour to $G: R e^{ith}, thin[0,2p)$, where $R>1$, and consider the limit $Rtoinfty$.
        One can show that, for large $|z|$,
        $g(z) = -i/z + O(1/z^2)$
        and so
        $int_G g(z) dz = 2p i(-i) = 2pi$
        in the limit $Rtoinfty$.
        Thus,
        $$int_0^1 frac{dx}{sqrt{x(1-x)}} = p.$$



        Avoiding branch cuts



        Let $x = frac{1}{2}(1+tanh t)$.
        Then
        $$int_0^1 frac{dx}{sqrt{x(1-x)}} = int_{-infty}^infty sech t,dt.$$
        In the spirit of the question we evaluate this integral using residue calculus.
        Note that
        begin{align*}
        int_{-infty}^infty sech t,dt
        &= lim_{eto 0^+}int_{-infty}^infty e^{ie t}sech t,dt \
        &= lim_{eto 0^+}int_g e^{ie z}sech z,dz,
        end{align*}

        where $g$ encircles the poles in the upper half plane in a counterclockwise manner.
        The (simple) poles occur at $z = (2n+1)p i/2$ for $n=0,1,ldots$.
        It is a straightforward exercise to find the residues,
        $$mathrm{Res}_{z=(2n+1)p i/2} e^{ie z}sech z
        = (-1)^{n+1}i e^{-(2n+1)p e/2}.$$

        Then
        begin{align*}
        sum mathrm{Res}, e^{ie z}sech z
        &= sum_{n=0}^infty (-1)^{n+1}i e^{-(2n+1)p e/2} \
        &= -i e^{-pe/2} sum_{n=0}^infty (-e^{-pe})^n \
        &= -frac{i e^{pe/2}}{1+e^{pe}} \
        &to -i/2.
        end{align*}

        Thus,
        $$int_0^1 frac{dx}{sqrt{x(1-x)}} = 2pi i(-i/2) = p.$$






        share|cite|improve this answer









        $endgroup$



        $defth{theta}
        defp{pi}
        defe{varepsilon}
        defg{gamma}
        defG{Gamma}
        DeclareMathOperator{sech}{sech}$
        Let
        begin{align*}
        z &= r_1 e^{ith_1} \
        &= 1+r_2 e^{ith_2}
        end{align*}

        where $r_i>0$ and $0leth_i<2p$.
        (Here we choose the branch cuts for the two roots and, with the restriction on $th_i$, are examining the principal branch.)
        Then
        begin{align*}
        g(z) &= frac{1}{sqrt{z(1-z)}} \
        &= frac{1}{sqrt{r_1 r_2}} e^{-i(th_1+th_2+p)/2}.
        end{align*}

        Let $0<ell 1$.
        It is a straightforward exercise to show that the branch cut for $g(z)$ extends along the real line from $x=0$ to $x=1$ and that
        begin{align*}
        lim_{eto 0^+} g(x+ie) &= -lim_{eto 0^+} g(x-ie)
        = -frac{1}{sqrt{x(1-x)}}
        & textrm{for }0<x<1.
        end{align*}

        Let $g = sum_{i=1}^4 g_i$ be the counterclockwise contour with
        begin{align*}
        g_1 &: t-ie,
        tin(0,1) \
        g_2 &: 1+e e^{ith},
        thin[-p/2,p/2] \
        g_3 &: 1-t+ie,
        tin(0,1) \
        g_4 &: e e^{ith},
        thin[p/2,3p/2].
        end{align*}

        One can show that $int_{g_2} = int_{g_4} = 0$ in the limit $eto 0^+$.
        (Note that, $int_{g_2}, int_{g_4}sim sqrte$.)
        Thus, in the limit $eto 0^+$,
        begin{align*}
        int_g &to int_{g_1}+int_{g_3} \
        &= int_0^1 g(t-ie)dt + int_0^1 g(1-t+ie)dt \
        &= int_0^1 g(t-ie)dt - int_0^1 g(t+ie)dt \
        &to 2int_0^1 frac{dx}{sqrt{x(1-x)}}.
        end{align*}

        Thus,
        $$int_0^1 frac{dx}{sqrt{x(1-x)}} = frac 1 2 int_g g(z)dz.$$
        Now deform the contour to $G: R e^{ith}, thin[0,2p)$, where $R>1$, and consider the limit $Rtoinfty$.
        One can show that, for large $|z|$,
        $g(z) = -i/z + O(1/z^2)$
        and so
        $int_G g(z) dz = 2p i(-i) = 2pi$
        in the limit $Rtoinfty$.
        Thus,
        $$int_0^1 frac{dx}{sqrt{x(1-x)}} = p.$$



        Avoiding branch cuts



        Let $x = frac{1}{2}(1+tanh t)$.
        Then
        $$int_0^1 frac{dx}{sqrt{x(1-x)}} = int_{-infty}^infty sech t,dt.$$
        In the spirit of the question we evaluate this integral using residue calculus.
        Note that
        begin{align*}
        int_{-infty}^infty sech t,dt
        &= lim_{eto 0^+}int_{-infty}^infty e^{ie t}sech t,dt \
        &= lim_{eto 0^+}int_g e^{ie z}sech z,dz,
        end{align*}

        where $g$ encircles the poles in the upper half plane in a counterclockwise manner.
        The (simple) poles occur at $z = (2n+1)p i/2$ for $n=0,1,ldots$.
        It is a straightforward exercise to find the residues,
        $$mathrm{Res}_{z=(2n+1)p i/2} e^{ie z}sech z
        = (-1)^{n+1}i e^{-(2n+1)p e/2}.$$

        Then
        begin{align*}
        sum mathrm{Res}, e^{ie z}sech z
        &= sum_{n=0}^infty (-1)^{n+1}i e^{-(2n+1)p e/2} \
        &= -i e^{-pe/2} sum_{n=0}^infty (-e^{-pe})^n \
        &= -frac{i e^{pe/2}}{1+e^{pe}} \
        &to -i/2.
        end{align*}

        Thus,
        $$int_0^1 frac{dx}{sqrt{x(1-x)}} = 2pi i(-i/2) = p.$$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 7 at 18:47









        user26872user26872

        14.9k22773




        14.9k22773






























            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%2f3064552%2fcalculate-int-01-frac1-sqrtx1-x-dx-using-residue-calculus%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

            Mario Kart Wii

            The Binding of Isaac: Rebirth/Afterbirth

            What does “Dominus providebit” mean?