Calculate $int_0^1 frac{1}{sqrt{x(1-x)}} dx$ using residue calculus
$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.
complex-analysis residue-calculus
$endgroup$
add a comment |
$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.
complex-analysis residue-calculus
$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
add a comment |
$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.
complex-analysis residue-calculus
$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
complex-analysis residue-calculus
asked Jan 7 at 0:27
j.eeej.eee
787
787
$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
add a comment |
$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
add a comment |
1 Answer
1
active
oldest
votes
$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.$$
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.$$
$endgroup$
add a comment |
$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.$$
$endgroup$
add a comment |
$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.$$
$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.$$
answered Jan 7 at 18:47
user26872user26872
14.9k22873
14.9k22873
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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