There are many ways to see that your result is the right one. What does the right one mean?
It means that whenever such a sum appears anywhere in physics - I explicitly emphasize that not just in string theory, also in experimentally doable measurements of the Casimir force (between parallel metals resulting from quantized standing electromagnetic waves in between) - and one knows that the result is finite, the only possible finite part of the result that may be consistent with other symmetries of the problem (and that is actually confirmed experimentally whenever it is possible) is equal to−1/12 .
It's another widespread misconception (see all the incorrect comments right below your question) that the zeta-function regularization is the only way how to calculate the proper value. Let me show a completely different calculation - one that is a homework exercise in Joe Polchinski's "String Theory" textbook.
Exponential regulator method
Add an exponentially decreasing regulator to make the sum convergent - so that the sum becomes
S=∑n=1∞ne−ϵn
Note that this is not equivalent to generalizing the sum to the zeta-function. In the zeta-function, the n is the base that is exponentiated to the s th power. Here, the regulator has n in the exponent. Obviously, the original sum of integers is obtained in the ϵ→0 limit of the formula for S . In physics, ϵ would be viewed as a kind of "minimum distance" that can be resolved.
The sum above may be exactly evaluated and the result is (use Mathematica if you don't want to do it yourself, but you can do it yourself)
S=eϵ(eϵ−1)2
We will only need some Laurent expansion around ϵ=0 .
S=1+ϵ+ϵ2/2+O(ϵ3)(ϵ+ϵ2/2+ϵ3/6+O(ϵ4))2
We have
S=1ϵ21+ϵ+ϵ2/2+O(ϵ3)(1+ϵ/2+ϵ2/6+O(ϵ3))2
You see that the 1/ϵ2
leading divergence survives and the next subleading term cancels. The
resulting expansion may be calculated with this Mathematica command
1ϵ2−112+ϵ2240+O(ϵ4)
In the ϵ→0 limit we were interested in, the ϵ2/240 term as well as the smaller ones go to zero and may be erased. The leading divergence 1/ϵ2
may be and must be canceled by a local counterterm - a vacuum energy
term. This is true for the Casimir effect in electromagnetism (in this
case, the cancelled pole may be interpreted as the sum of the zero-point
energies in the case that no metals were bounding the region),
zero-point energies in string theory, and everywhere else. The
cancellation of the leading divergence is needed for physics to be
finite - but one may guarantee that the counterterm won't affect the
finite term, −1/12 , which is the correct result of the sum.
In physics applications, ϵ
would be dimensionful and its different powers are sharply separated
and may be treated individually. That's why the local counterterms may
eliminate the leading divergence but don't affect the finite part.
That's also why you couldn't have used a more complex regulator, like exp(−(ϵ+ϵ2)n) .
There are many other, apparently inequivalent ways to compute the right value of the sum. It is not just the zeta function.
Euler's method
Let me present one more, slightly less modern, method that was used by Leonhard Euler to calculate that the sum of integers is−1/12 .
It's of course a bit more heuristic but his heuristic approach showed
that he had a good intuition and the derivation could be turned into a
modern physics derivation, too.
We will work with two sums,
S=1+2+3+4+5+…,T=1−2+3−4+5−…
Extrapolating the geometric and similar sums to the divergent (and, in this case, marginally divergent) domain of values of x , the expression T may be summed according to the Taylor expansion
1(1+x)2=1−2x+3x2−4x3+…
Substitute x=1 to see that T=+1/4 . The value of S is easily calculated now:
T=(1+2+3+…)−2×(2+4+6+…)=(1+2+3+…)(1−4)=−3S
so S=−T/3=−1/12 .
A zeta-function calculation
A somewhat unusual calculation ofζ(−1)=−1/12 of mine may be found here:
s is added to the zeta function. The new function is the old zeta function for s=0 and for s=1 , it only differs by one. We Taylor expand around s=0 to get to s=1 and we find out that only a finite number of terms survives if the main argument x
is a non-positive integer. The resulting recursive relations for the
zeta function allow us to compute the values of the zeta-function at
integers smaller than 1 , and prove that the function vanishes at negative even values of x .
It means that whenever such a sum appears anywhere in physics - I explicitly emphasize that not just in string theory, also in experimentally doable measurements of the Casimir force (between parallel metals resulting from quantized standing electromagnetic waves in between) - and one knows that the result is finite, the only possible finite part of the result that may be consistent with other symmetries of the problem (and that is actually confirmed experimentally whenever it is possible) is equal to
It's another widespread misconception (see all the incorrect comments right below your question) that the zeta-function regularization is the only way how to calculate the proper value. Let me show a completely different calculation - one that is a homework exercise in Joe Polchinski's "String Theory" textbook.
Exponential regulator method
Add an exponentially decreasing regulator to make the sum convergent - so that the sum becomes
1/epsilon^2 * Series[epsilon^2 Sum[n Exp[-n epsilon], {n, 1, Infinity}], {epsilon, 0, 5}]
and the result is
There are many other, apparently inequivalent ways to compute the right value of the sum. It is not just the zeta function.
Euler's method
Let me present one more, slightly less modern, method that was used by Leonhard Euler to calculate that the sum of integers is
We will work with two sums,
A somewhat unusual calculation of
http://www.kolej.mff.cuni.cz/~lmotm275/RUZE/09/node7.htmlThe comments are in Czech but the equations represent bulk of the language that really matters, so the Czech comments shouldn't be a problem. A new argument (subscript)
0 comments:
Post a Comment
Don't Forget to comment