ζ(n)=∑k≥1k−n\displaystyle \zeta(n)=\sum_{k \geq 1} k^{-n}ζ(n)=k≥1∑k−n
We know that ζ(−1)=−112,ζ(2)=π26\zeta(-1)=\frac{-1}{12} , \zeta(2)=\frac{\pi^2}{6}ζ(−1)=12−1,ζ(2)=6π2
The point is that
∑n≥1n+1n2\displaystyle \sum_{n\geq 1}n+\frac{1}{n^2}n≥1∑n+n21 does not converge according to wolframalpha.
But by using the definition of the Riemann zeta function,
∑n≥1n+1n2=−112+π26\displaystyle \sum_{n\geq 1}n+\frac{1}{n^2}=\frac{-1}{12}+\frac{\pi^2}{6}n≥1∑n+n21=12−1+6π2
Which is the true statement?
Note by Aman Rajput 4 years, 12 months ago
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
_italics_
**bold**
__bold__
- bulleted- list
1. numbered2. list
paragraph 1paragraph 2
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
This is a quote
# I indented these lines # 4 spaces, and now they show # up as a code block. print "hello world"
\(
\)
\[
\]
2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Complex function theory introduces the concept of analytic continuation. It is possible to define a function on a subset of the complex plane, and then extend to it analytically to a larger subset of the plane. That does not mean that the original formula used to define the function is valid on the larger domain.
The function (1−z)−1(1-z)^{-1}(1−z)−1 is analytic on the whole complex plane except for 111, but is only defined by the power series expansion (1−z)−1 = ∑n=0∞zn (1 - z)^{-1} \; = \; \sum_{n=0}^\infty z^n (1−z)−1=n=0∑∞zn when ∣z∣<1|z| < 1∣z∣<1. You would not try to apply the series expansion for other values of zzz, and say −1 = ∑n=0∞2n -1 \; = \; \sum_{n=0}^\infty 2^n −1=n=0∑∞2n for example.
Or consider the Gamma function. It is defined for all complex zzz with strictly positive real part by the integral formula Γ(z) = ∫0∞tz−1e−t dtRe z>0 \Gamma(z) \; = \; \int_0^\infty t^{z-1} e^{-t}\,dt \qquad \qquad \mathrm{Re}\,z > 0 Γ(z)=∫0∞tz−1e−tdtRez>0 For all zzz with Re z>0\mathrm{Re}\,z > 0Rez>0, we can prove, using this integral definition, that Γ(z+1) = zΓ(z)Re z>0 \Gamma(z+1) \; = \; z \Gamma(z) \qquad \qquad \mathrm{Re}\,z > 0 Γ(z+1)=zΓ(z)Rez>0 So far, so good.
We can use this formula to extend the Gamma function to all complex numbers with real part greater than −1-1−1, except 000, by the formula Γ1(z) = Γ(z+1)zRe z>−1 ,z≠0 \Gamma_1(z) \; = \; \frac{\Gamma(z+1)}{z} \qquad \qquad \mathrm{Re}\,z > -1 \;, \qquad z \neq 0 Γ1(z)=zΓ(z+1)Rez>−1,z=0 It is clear that Γ1\Gamma_1Γ1 is analytic on this new domain, and coincides with Γ\GammaΓ on the domain of Γ\GammaΓ. Moreover, we can show that Γ1\Gamma_1Γ1 satisfies the equation Γ1(z+1) = zΓ1(z)Re z>−1 ,z≠0 \Gamma_1(z+1) \; =\; z\Gamma_1(z) \qquad \qquad \mathrm{Re}\,z > -1 \;, \quad z \neq 0 Γ1(z+1)=zΓ1(z)Rez>−1,z=0
We can now extend Γ1\Gamma_1Γ1 to a new analytic function Γ2\Gamma_2Γ2 on the set of all complex numbers with real part greater than −2-2−2 except −1,0-1,0−1,0 by the formula Γ2(z) = Γ1(z+1)zRe z>−2 ,z≠−1,0 . \Gamma_2(z) \; =\; \frac{\Gamma_1(z+1)}{z} \qquad \qquad \mathrm{Re}\,z > -2 \;, \qquad z \neq -1,0 \;. Γ2(z)=zΓ1(z+1)Rez>−2,z=−1,0. We can keep on going, and obtain a sequence of analytic functions Γn\Gamma_nΓn, where each Γn+1\Gamma_{n+1}Γn+1 is an extension of Γn\Gamma_nΓn, on increasingly large domains.
It is then possible to put these all together uniquely as an analytic function with domain the whole of C\mathbb{C}C except for 0,−1,−2,−3,…0,-1,-2,-3,\ldots0,−1,−2,−3,…, which extends the original Gamma function. This final extension is what we call the Gamma function. To save effort, we denote all these functions by the single symbol Γ\GammaΓ.
However, there is no reason to suppose that the integral formula for Γ(z)\Gamma(z)Γ(z) works except when zzz has positive real part - it is not valid anywhere else.
Returning to your original question...
The Riemann zeta function is defined by the formula ζ(s) = ∑n=1∞1nsRe s>1 \zeta(s) \; = \; \sum_{n=1}^\infty \frac{1}{n^s} \qquad \qquad \mathrm{Re}\,s > 1 ζ(s)=n=1∑∞ns1Res>1 It can be extended analytically to the whole complex plane. That does not mean that the above infinite sum formula is valid elsewhere in the complex plane. In particular, while ζ(−1)=−112\zeta(-1)=-\tfrac{1}{12}ζ(−1)=−121, we cannot use this to sum the positive integers to infinity.
The problem is that theoretical physicists seem to do so! They use formulae like 1+2+3+…=−1121 + 2 + 3 + \ldots = -\tfrac1{12}1+2+3+…=−121 in high-powered quantum renormalization arguments, and get the right answer. They do so because what they are doing is a short-hand for using the zeta function properly, moving from the infinite sum (for values of sss where it is valid), recognising that this is the zeta function, and that their theory is valid for all complex numbers sss, and then allowing themselves to put s=−1s=-1s=−1, using the correct formula −112-\tfrac1{12}−121 for ζ(−1)\zeta(-1)ζ(−1). Just writing 1+2+3+⋯=−1121 + 2 + 3 + \cdots = -\tfrac{1}{12}1+2+3+⋯=−121 saves a couple of pages of algebra/analysis! That does not make the formula true
Log in to reply
i know that this relation is widely useful in quantum and string theories. But i am not able to understand the validity of these two .. where to use this equation or where not ???
You can only use this formula if you can take the series ∑n\sum n∑n, replace it by ζ(s)\zeta(s)ζ(s), do the analysis for general sss, and then put s=−1s=-1s=−1 in the final result.
A lot of quantum and string theory calculations involve tricks such as these, which are often first introduced "by intuition", or because they are necessary to make things work. A more careful later analysis does the work accurately. Basically, what is happening is that the starting model of the physics of a problem leads to a situation where we are asked to sum the positive integers. A more carefully-formed model would ask us to evaluate ζ(s)\zeta(s)ζ(s). A simplified approach would be simply to work with summing the integers, and using the answer −112-\tfrac{1}{12}−121. However, to do so is just to adopt a notational shorthand.
Physicists are quite fond of simplified models, even though they are nonphysical. For example, if you study the energy levels of the hydrogen atom, you will work with a 1/r1/r1/r potential, even though that is not physical (it is not valid as r→0r \to 0r→0, since it does not account for the dimensions of the proton). However, it is a model which has exact solutions, and is a good first approximation to the true situation. It is a weirdness of quantum field theory that fixing some of these models requires us to appear to play fast and loose with infinity.
@Mark Hennings – okay thank you sir
The problem with the Numberphile video is that you can deduce all sorts of things if you mis-manipulate ∞\infty∞. Such as ∞+1=∞1 = (∞+1)−∞=∞−∞ = 0 \begin{array}{rcl} \infty + 1 & = & \infty \\ 1 \; = \; (\infty + 1) - \infty & = & \infty - \infty \; = \;0 \end{array} ∞+11=(∞+1)−∞==∞∞−∞=0 The Numberphile video introduces sss, which is equal to ∞\infty∞. It then says that s1=12s_1 = \tfrac12s1=21. Neither of these series converge. The first diverges, and the partial sums of the second alternate between 000 and 111. This does not make the average of these values equal to the limit. If you start with ∞\infty∞, and a false statement, you can deduce anything.
These manipulations are formal, and are not correct in themselves. You can (formally) get s=−112s = -\tfrac{1}{12}s=−121 by putting s=−1s=-1s=−1 into ζ(s)\zeta(s)ζ(s), and you can (formally) get s1=12s_1 = \tfrac12s1=21 by putting z=−1z=-1z=−1 into (1−z)−1(1-z)^{-1}(1−z)−1. Both of these "results" are consequences of two different ways of expressing functions obtained by analytic continuation, equating the true value with the incorrect application of the formula defining the function on some subdomain.
okay... thanks sir :)
@Ishan Singh @Hummus a @Aditya Kumar @Pi Han Goh @Mark Hennings
"We know that ζ(−1)=−112\zeta(-1) = -\dfrac{1}{12}ζ(−1)=−121" That's a regularized value of the series. The series doesn't converge.
what do you mean by regularised value :D
The value of ζ(−1)\zeta (-1) ζ(−1) is found via analytic continuation. In fact, the following equation : ζ(s)=∑n=1∞1ns \zeta (s) = \sum_{n=1}^{\infty} \frac{1}{n^s} ζ(s)=n=1∑∞ns1 is valid only if Re(s)>1Re(s)>1Re(s)>1.
For the value at other points, we need to use analytic continuation.
one can also find the ζ(−1)=−1/12\zeta(-1)=-1/12ζ(−1)=−1/12 using the standard definition. i dont think so Re(s)>1Re(s)>1Re(s)>1 . I can prove that...
If by standard definition you mean the series, then it's wrong as limn→∞∑r=1nr=limn→∞n(n+1)2→∞ \lim_{n \to \infty} \sum_{r=1}^{n} r = \lim_{n \to \infty} \frac{n(n+1)}{2} \to \inftyn→∞limr=1∑nr=n→∞lim2n(n+1)→∞
@A Former Brilliant Member – let me show you :) what i want to say .. check the note again . i used the standard definition
@Aman Rajput – s1s_1s1 doesn't exist. That's the first flaw in all such proofs. ;)
@A Former Brilliant Member – i can prove... s1 also
@Aman Rajput – First prove it exists. Then we'll go about calculating it.
@Aman Rajput – In fact with some more manipulations, you can show that 0=10=10=1 as well.
@A Former Brilliant Member – oh nice... that i am surely like to see. but show me using the above image :)
@Aman Rajput – 1+2+3⋯=−1120+1+2⋯=−112 ⟹ 1+1+1⋯=−112−(−112)=00+1+1⋯=0by subtracting, 1=01+2+3 \cdots = -\frac{1}{12} \\ 0+1+2 \cdots = -\frac{1}{12} \\\implies 1+1+1 \cdots = -\frac{1}{12} - \left( -\frac{1}{12} \right)=0\\ 0+1+1 \cdots = 0 \\ by \, subtracting, \, 1=0 1+2+3⋯=−1210+1+2⋯=−121⟹1+1+1⋯=−121−(−121)=00+1+1⋯=0bysubtracting,1=0
@A Former Brilliant Member – but 1+1+1+1... = -1/2
@Aman Rajput – But 1=01=01=0. Hence, LHS=0LHS=0LHS=0 and RHS=−02=0RHS=-\frac{0}{2}=0RHS=−20=0 ;)
@A Former Brilliant Member – hahahaha.. nice
@Aman Rajput – Also, to continue the joke, 1+2+3⋯=−112=−012=01+2+3 \cdots = -\frac{1}{12} = -\frac{0}{12} =01+2+3⋯=−121=−120=0
Problem Loading...
Note Loading...
Set Loading...
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
Complex function theory introduces the concept of analytic continuation. It is possible to define a function on a subset of the complex plane, and then extend to it analytically to a larger subset of the plane. That does not mean that the original formula used to define the function is valid on the larger domain.
The function (1−z)−1 is analytic on the whole complex plane except for 1, but is only defined by the power series expansion (1−z)−1=n=0∑∞zn when ∣z∣<1. You would not try to apply the series expansion for other values of z, and say −1=n=0∑∞2n for example.
Or consider the Gamma function. It is defined for all complex z with strictly positive real part by the integral formula Γ(z)=∫0∞tz−1e−tdtRez>0 For all z with Rez>0, we can prove, using this integral definition, that Γ(z+1)=zΓ(z)Rez>0 So far, so good.
We can use this formula to extend the Gamma function to all complex numbers with real part greater than −1, except 0, by the formula Γ1(z)=zΓ(z+1)Rez>−1,z=0 It is clear that Γ1 is analytic on this new domain, and coincides with Γ on the domain of Γ. Moreover, we can show that Γ1 satisfies the equation Γ1(z+1)=zΓ1(z)Rez>−1,z=0
We can now extend Γ1 to a new analytic function Γ2 on the set of all complex numbers with real part greater than −2 except −1,0 by the formula Γ2(z)=zΓ1(z+1)Rez>−2,z=−1,0. We can keep on going, and obtain a sequence of analytic functions Γn, where each Γn+1 is an extension of Γn, on increasingly large domains.
It is then possible to put these all together uniquely as an analytic function with domain the whole of C except for 0,−1,−2,−3,…, which extends the original Gamma function. This final extension is what we call the Gamma function. To save effort, we denote all these functions by the single symbol Γ.
However, there is no reason to suppose that the integral formula for Γ(z) works except when z has positive real part - it is not valid anywhere else.
Returning to your original question...
The Riemann zeta function is defined by the formula ζ(s)=n=1∑∞ns1Res>1 It can be extended analytically to the whole complex plane. That does not mean that the above infinite sum formula is valid elsewhere in the complex plane. In particular, while ζ(−1)=−121, we cannot use this to sum the positive integers to infinity.
The problem is that theoretical physicists seem to do so! They use formulae like 1+2+3+…=−121 in high-powered quantum renormalization arguments, and get the right answer. They do so because what they are doing is a short-hand for using the zeta function properly, moving from the infinite sum (for values of s where it is valid), recognising that this is the zeta function, and that their theory is valid for all complex numbers s, and then allowing themselves to put s=−1, using the correct formula −121 for ζ(−1). Just writing 1+2+3+⋯=−121 saves a couple of pages of algebra/analysis! That does not make the formula true
Log in to reply
i know that this relation is widely useful in quantum and string theories. But i am not able to understand the validity of these two .. where to use this equation or where not ???
Log in to reply
You can only use this formula if you can take the series ∑n, replace it by ζ(s), do the analysis for general s, and then put s=−1 in the final result.
A lot of quantum and string theory calculations involve tricks such as these, which are often first introduced "by intuition", or because they are necessary to make things work. A more careful later analysis does the work accurately. Basically, what is happening is that the starting model of the physics of a problem leads to a situation where we are asked to sum the positive integers. A more carefully-formed model would ask us to evaluate ζ(s). A simplified approach would be simply to work with summing the integers, and using the answer −121. However, to do so is just to adopt a notational shorthand.
Physicists are quite fond of simplified models, even though they are nonphysical. For example, if you study the energy levels of the hydrogen atom, you will work with a 1/r potential, even though that is not physical (it is not valid as r→0, since it does not account for the dimensions of the proton). However, it is a model which has exact solutions, and is a good first approximation to the true situation. It is a weirdness of quantum field theory that fixing some of these models requires us to appear to play fast and loose with infinity.
Log in to reply
The problem with the Numberphile video is that you can deduce all sorts of things if you mis-manipulate ∞. Such as ∞+11=(∞+1)−∞==∞∞−∞=0 The Numberphile video introduces s, which is equal to ∞. It then says that s1=21. Neither of these series converge. The first diverges, and the partial sums of the second alternate between 0 and 1. This does not make the average of these values equal to the limit. If you start with ∞, and a false statement, you can deduce anything.
These manipulations are formal, and are not correct in themselves. You can (formally) get s=−121 by putting s=−1 into ζ(s), and you can (formally) get s1=21 by putting z=−1 into (1−z)−1. Both of these "results" are consequences of two different ways of expressing functions obtained by analytic continuation, equating the true value with the incorrect application of the formula defining the function on some subdomain.
Log in to reply
okay... thanks sir :)
@Ishan Singh @Hummus a @Aditya Kumar @Pi Han Goh @Mark Hennings
Log in to reply
"We know that ζ(−1)=−121" That's a regularized value of the series. The series doesn't converge.
Log in to reply
what do you mean by regularised value :D
The value of ζ(−1) is found via analytic continuation. In fact, the following equation : ζ(s)=n=1∑∞ns1 is valid only if Re(s)>1.
For the value at other points, we need to use analytic continuation.
Log in to reply
one can also find the ζ(−1)=−1/12 using the standard definition. i dont think so Re(s)>1 . I can prove that...
Log in to reply
If by standard definition you mean the series, then it's wrong as n→∞limr=1∑nr=n→∞lim2n(n+1)→∞
Log in to reply
Log in to reply
s1 doesn't exist. That's the first flaw in all such proofs. ;)
Log in to reply
Log in to reply
0=1 as well.
In fact with some more manipulations, you can show thatLog in to reply
Log in to reply
1+2+3⋯=−1210+1+2⋯=−121⟹1+1+1⋯=−121−(−121)=00+1+1⋯=0bysubtracting,1=0
Log in to reply
Log in to reply
1=0. Hence, LHS=0 and RHS=−20=0 ;)
ButLog in to reply
Log in to reply
1+2+3⋯=−121=−120=0
Also, to continue the joke,