Solution to the Basel Problem in complex analysis pole issue.
Solve:
$$sum_{n=1}^{infty} frac{1}{z^2}$$
Before you mark as duplicate, I have a problem with only the consideration of the pole, please read carefully!
Consider:
$$f(z) = frac{pi cot(pi z)}{z^2}$$
The obvious three order pole is at $z=0$
But there should be a pole at $z=n?$ because $frac{1}{tan(pi z)}$ doesnt exist for $z in mathbb{N}$
And there isnt any poles at $z=ni$
Wolframlpha: returns it as saying there is only one pole at $z=0$ I am confused now?
Consider a square:
How would we do this?
calculus real-analysis integration sequences-and-series complex-analysis
add a comment |
Solve:
$$sum_{n=1}^{infty} frac{1}{z^2}$$
Before you mark as duplicate, I have a problem with only the consideration of the pole, please read carefully!
Consider:
$$f(z) = frac{pi cot(pi z)}{z^2}$$
The obvious three order pole is at $z=0$
But there should be a pole at $z=n?$ because $frac{1}{tan(pi z)}$ doesnt exist for $z in mathbb{N}$
And there isnt any poles at $z=ni$
Wolframlpha: returns it as saying there is only one pole at $z=0$ I am confused now?
Consider a square:
How would we do this?
calculus real-analysis integration sequences-and-series complex-analysis
5
I don't know what you entered into WolframAlpha, but yes, $(picotpi z)/z^2$ has simple poles at all $ninmathbb{Z}setminus{0}$. The residue at $z=n$ is $1/n^2$ for $nneq 0$. (This is why one uses that trick with the cotangent.)
– mickep
Jan 12 '15 at 14:40
Is this account yours? If so, you should probably try to merge that account with this one by following the instructions on this page.
– robjohn♦
Jan 15 '15 at 0:26
add a comment |
Solve:
$$sum_{n=1}^{infty} frac{1}{z^2}$$
Before you mark as duplicate, I have a problem with only the consideration of the pole, please read carefully!
Consider:
$$f(z) = frac{pi cot(pi z)}{z^2}$$
The obvious three order pole is at $z=0$
But there should be a pole at $z=n?$ because $frac{1}{tan(pi z)}$ doesnt exist for $z in mathbb{N}$
And there isnt any poles at $z=ni$
Wolframlpha: returns it as saying there is only one pole at $z=0$ I am confused now?
Consider a square:
How would we do this?
calculus real-analysis integration sequences-and-series complex-analysis
Solve:
$$sum_{n=1}^{infty} frac{1}{z^2}$$
Before you mark as duplicate, I have a problem with only the consideration of the pole, please read carefully!
Consider:
$$f(z) = frac{pi cot(pi z)}{z^2}$$
The obvious three order pole is at $z=0$
But there should be a pole at $z=n?$ because $frac{1}{tan(pi z)}$ doesnt exist for $z in mathbb{N}$
And there isnt any poles at $z=ni$
Wolframlpha: returns it as saying there is only one pole at $z=0$ I am confused now?
Consider a square:
How would we do this?
calculus real-analysis integration sequences-and-series complex-analysis
calculus real-analysis integration sequences-and-series complex-analysis
asked Jan 12 '15 at 14:38
Amad27
5,32321753
5,32321753
5
I don't know what you entered into WolframAlpha, but yes, $(picotpi z)/z^2$ has simple poles at all $ninmathbb{Z}setminus{0}$. The residue at $z=n$ is $1/n^2$ for $nneq 0$. (This is why one uses that trick with the cotangent.)
– mickep
Jan 12 '15 at 14:40
Is this account yours? If so, you should probably try to merge that account with this one by following the instructions on this page.
– robjohn♦
Jan 15 '15 at 0:26
add a comment |
5
I don't know what you entered into WolframAlpha, but yes, $(picotpi z)/z^2$ has simple poles at all $ninmathbb{Z}setminus{0}$. The residue at $z=n$ is $1/n^2$ for $nneq 0$. (This is why one uses that trick with the cotangent.)
– mickep
Jan 12 '15 at 14:40
Is this account yours? If so, you should probably try to merge that account with this one by following the instructions on this page.
– robjohn♦
Jan 15 '15 at 0:26
5
5
I don't know what you entered into WolframAlpha, but yes, $(picotpi z)/z^2$ has simple poles at all $ninmathbb{Z}setminus{0}$. The residue at $z=n$ is $1/n^2$ for $nneq 0$. (This is why one uses that trick with the cotangent.)
– mickep
Jan 12 '15 at 14:40
I don't know what you entered into WolframAlpha, but yes, $(picotpi z)/z^2$ has simple poles at all $ninmathbb{Z}setminus{0}$. The residue at $z=n$ is $1/n^2$ for $nneq 0$. (This is why one uses that trick with the cotangent.)
– mickep
Jan 12 '15 at 14:40
Is this account yours? If so, you should probably try to merge that account with this one by following the instructions on this page.
– robjohn♦
Jan 15 '15 at 0:26
Is this account yours? If so, you should probably try to merge that account with this one by following the instructions on this page.
– robjohn♦
Jan 15 '15 at 0:26
add a comment |
1 Answer
1
active
oldest
votes
We have the Laurent expansion at $z=0$:
$$
begin{align}
frac{picot(pi z)}{z^2}
&=fracpi{z^2}frac{cos(pi z)}{sin(pi z)}\
&=fracpi{z^2}frac{1-frac{(pi z)^2}2+frac{(pi z)^4}{24}-dots}{pi zleft(1-frac{(pi z)^2}6+frac{(pi z)^4}{120}-dotsright)}\
&=frac1{z^3}left(1-frac{(pi z)^2}3-frac{(pi z)^4}{45}-dotsright)\[6pt]
&=frac1{z^3}bbox[5px,border:2px solid #C00000]{-frac{pi^2}{3z}}-frac{pi^4z}{45}-dots
end{align}
$$
Thus, the residue of $frac{picot(pi z)}{z^2}$ at $z=0$ is $-frac{pi^2}3$.
Since $picot(pi z)$ has residue $1$ at each integer, at $z=n$, where $n$ is a non-zero integer, the residue of $frac{picot(pi z)}{z^2}$ is $frac1{n^2}$.
Consider
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z
$$
along the contour
$$
gamma=Re^{i[0,2pi]}cup re^{-i[0,2pi]}
$$
where $R=left(n+frac12right)pitoinfty$ where $ninmathbb{Z}$ and $rto0$.
The integral along $gamma$ is the sum of the residues of the singularities inside. The singularities inside the contour are those at the non-zero integers, zero being excluded by the small clockwise circle. That is,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=2sum_{n=1}^inftyfrac1{n^2}
$$
The integral along the large circle tends to $0$ because $picot(pi z)$ is bounded on the whole of the large circle and $left|frac1{z^2}right|=frac1{R^2}$ on a circle of length $2pi R$.
The integral along the small clockwise circle is the negative of the residue of the singularity inside; that is, $frac{pi^2}3$. Thus,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=frac{pi^2}3
$$
Putting these two together, we get
$$
sum_{n=1}^inftyfrac1{n^2}=frac{pi^2}6
$$
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%2f1101305%2fsolution-to-the-basel-problem-in-complex-analysis-pole-issue%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
We have the Laurent expansion at $z=0$:
$$
begin{align}
frac{picot(pi z)}{z^2}
&=fracpi{z^2}frac{cos(pi z)}{sin(pi z)}\
&=fracpi{z^2}frac{1-frac{(pi z)^2}2+frac{(pi z)^4}{24}-dots}{pi zleft(1-frac{(pi z)^2}6+frac{(pi z)^4}{120}-dotsright)}\
&=frac1{z^3}left(1-frac{(pi z)^2}3-frac{(pi z)^4}{45}-dotsright)\[6pt]
&=frac1{z^3}bbox[5px,border:2px solid #C00000]{-frac{pi^2}{3z}}-frac{pi^4z}{45}-dots
end{align}
$$
Thus, the residue of $frac{picot(pi z)}{z^2}$ at $z=0$ is $-frac{pi^2}3$.
Since $picot(pi z)$ has residue $1$ at each integer, at $z=n$, where $n$ is a non-zero integer, the residue of $frac{picot(pi z)}{z^2}$ is $frac1{n^2}$.
Consider
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z
$$
along the contour
$$
gamma=Re^{i[0,2pi]}cup re^{-i[0,2pi]}
$$
where $R=left(n+frac12right)pitoinfty$ where $ninmathbb{Z}$ and $rto0$.
The integral along $gamma$ is the sum of the residues of the singularities inside. The singularities inside the contour are those at the non-zero integers, zero being excluded by the small clockwise circle. That is,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=2sum_{n=1}^inftyfrac1{n^2}
$$
The integral along the large circle tends to $0$ because $picot(pi z)$ is bounded on the whole of the large circle and $left|frac1{z^2}right|=frac1{R^2}$ on a circle of length $2pi R$.
The integral along the small clockwise circle is the negative of the residue of the singularity inside; that is, $frac{pi^2}3$. Thus,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=frac{pi^2}3
$$
Putting these two together, we get
$$
sum_{n=1}^inftyfrac1{n^2}=frac{pi^2}6
$$
add a comment |
We have the Laurent expansion at $z=0$:
$$
begin{align}
frac{picot(pi z)}{z^2}
&=fracpi{z^2}frac{cos(pi z)}{sin(pi z)}\
&=fracpi{z^2}frac{1-frac{(pi z)^2}2+frac{(pi z)^4}{24}-dots}{pi zleft(1-frac{(pi z)^2}6+frac{(pi z)^4}{120}-dotsright)}\
&=frac1{z^3}left(1-frac{(pi z)^2}3-frac{(pi z)^4}{45}-dotsright)\[6pt]
&=frac1{z^3}bbox[5px,border:2px solid #C00000]{-frac{pi^2}{3z}}-frac{pi^4z}{45}-dots
end{align}
$$
Thus, the residue of $frac{picot(pi z)}{z^2}$ at $z=0$ is $-frac{pi^2}3$.
Since $picot(pi z)$ has residue $1$ at each integer, at $z=n$, where $n$ is a non-zero integer, the residue of $frac{picot(pi z)}{z^2}$ is $frac1{n^2}$.
Consider
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z
$$
along the contour
$$
gamma=Re^{i[0,2pi]}cup re^{-i[0,2pi]}
$$
where $R=left(n+frac12right)pitoinfty$ where $ninmathbb{Z}$ and $rto0$.
The integral along $gamma$ is the sum of the residues of the singularities inside. The singularities inside the contour are those at the non-zero integers, zero being excluded by the small clockwise circle. That is,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=2sum_{n=1}^inftyfrac1{n^2}
$$
The integral along the large circle tends to $0$ because $picot(pi z)$ is bounded on the whole of the large circle and $left|frac1{z^2}right|=frac1{R^2}$ on a circle of length $2pi R$.
The integral along the small clockwise circle is the negative of the residue of the singularity inside; that is, $frac{pi^2}3$. Thus,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=frac{pi^2}3
$$
Putting these two together, we get
$$
sum_{n=1}^inftyfrac1{n^2}=frac{pi^2}6
$$
add a comment |
We have the Laurent expansion at $z=0$:
$$
begin{align}
frac{picot(pi z)}{z^2}
&=fracpi{z^2}frac{cos(pi z)}{sin(pi z)}\
&=fracpi{z^2}frac{1-frac{(pi z)^2}2+frac{(pi z)^4}{24}-dots}{pi zleft(1-frac{(pi z)^2}6+frac{(pi z)^4}{120}-dotsright)}\
&=frac1{z^3}left(1-frac{(pi z)^2}3-frac{(pi z)^4}{45}-dotsright)\[6pt]
&=frac1{z^3}bbox[5px,border:2px solid #C00000]{-frac{pi^2}{3z}}-frac{pi^4z}{45}-dots
end{align}
$$
Thus, the residue of $frac{picot(pi z)}{z^2}$ at $z=0$ is $-frac{pi^2}3$.
Since $picot(pi z)$ has residue $1$ at each integer, at $z=n$, where $n$ is a non-zero integer, the residue of $frac{picot(pi z)}{z^2}$ is $frac1{n^2}$.
Consider
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z
$$
along the contour
$$
gamma=Re^{i[0,2pi]}cup re^{-i[0,2pi]}
$$
where $R=left(n+frac12right)pitoinfty$ where $ninmathbb{Z}$ and $rto0$.
The integral along $gamma$ is the sum of the residues of the singularities inside. The singularities inside the contour are those at the non-zero integers, zero being excluded by the small clockwise circle. That is,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=2sum_{n=1}^inftyfrac1{n^2}
$$
The integral along the large circle tends to $0$ because $picot(pi z)$ is bounded on the whole of the large circle and $left|frac1{z^2}right|=frac1{R^2}$ on a circle of length $2pi R$.
The integral along the small clockwise circle is the negative of the residue of the singularity inside; that is, $frac{pi^2}3$. Thus,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=frac{pi^2}3
$$
Putting these two together, we get
$$
sum_{n=1}^inftyfrac1{n^2}=frac{pi^2}6
$$
We have the Laurent expansion at $z=0$:
$$
begin{align}
frac{picot(pi z)}{z^2}
&=fracpi{z^2}frac{cos(pi z)}{sin(pi z)}\
&=fracpi{z^2}frac{1-frac{(pi z)^2}2+frac{(pi z)^4}{24}-dots}{pi zleft(1-frac{(pi z)^2}6+frac{(pi z)^4}{120}-dotsright)}\
&=frac1{z^3}left(1-frac{(pi z)^2}3-frac{(pi z)^4}{45}-dotsright)\[6pt]
&=frac1{z^3}bbox[5px,border:2px solid #C00000]{-frac{pi^2}{3z}}-frac{pi^4z}{45}-dots
end{align}
$$
Thus, the residue of $frac{picot(pi z)}{z^2}$ at $z=0$ is $-frac{pi^2}3$.
Since $picot(pi z)$ has residue $1$ at each integer, at $z=n$, where $n$ is a non-zero integer, the residue of $frac{picot(pi z)}{z^2}$ is $frac1{n^2}$.
Consider
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z
$$
along the contour
$$
gamma=Re^{i[0,2pi]}cup re^{-i[0,2pi]}
$$
where $R=left(n+frac12right)pitoinfty$ where $ninmathbb{Z}$ and $rto0$.
The integral along $gamma$ is the sum of the residues of the singularities inside. The singularities inside the contour are those at the non-zero integers, zero being excluded by the small clockwise circle. That is,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=2sum_{n=1}^inftyfrac1{n^2}
$$
The integral along the large circle tends to $0$ because $picot(pi z)$ is bounded on the whole of the large circle and $left|frac1{z^2}right|=frac1{R^2}$ on a circle of length $2pi R$.
The integral along the small clockwise circle is the negative of the residue of the singularity inside; that is, $frac{pi^2}3$. Thus,
$$
frac1{2pi i}int_gamma frac{picot(pi z)}{z^2},mathrm{d}z=frac{pi^2}3
$$
Putting these two together, we get
$$
sum_{n=1}^inftyfrac1{n^2}=frac{pi^2}6
$$
edited Jan 15 '15 at 11:05
answered Jan 15 '15 at 1:16
robjohn♦
264k27303623
264k27303623
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.
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.
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%2f1101305%2fsolution-to-the-basel-problem-in-complex-analysis-pole-issue%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
5
I don't know what you entered into WolframAlpha, but yes, $(picotpi z)/z^2$ has simple poles at all $ninmathbb{Z}setminus{0}$. The residue at $z=n$ is $1/n^2$ for $nneq 0$. (This is why one uses that trick with the cotangent.)
– mickep
Jan 12 '15 at 14:40
Is this account yours? If so, you should probably try to merge that account with this one by following the instructions on this page.
– robjohn♦
Jan 15 '15 at 0:26