5
$\begingroup$

I've come across some regularized product during study of zeta regularization . We can prove various results like :

$ \infty != \prod_{k=1}^\infty k = \sqrt{2\pi} $

I also know the proof using $\zeta_{\lambda}$ and all the standard stuff . Also , we know ,

$ \infty \# = \prod_{k=1}^\infty p_k = 4\pi^2 $

Where $n\#$ is primorial (product of first $n$ primes)

This is the question asked by C.Soulé, and answered by Garcia and Perez (http://cds.cern.ch/record/630829/files/sis-2003-264.pdf)

Now there are three questions I'd like to ask

(1) is there known intuitive explanation/s for this type of result?

(2) is there known (general )intuitive explanation/s for analytic continuation in general (like we used to compute $\zeta(-1)$ by elementary means ) ?

(3) is it "legal/safe" to say that regularized product of all odd primes is $2π^2$ i.e. can we divide both sides by 2 ?

$\endgroup$

2 Answers 2

1
$\begingroup$

I can give an intuitive explanation for "$\infty! = \sqrt{2\pi}$". If you are willing to allow the equation $$x \cdot x \cdot x \cdot ... = \sqrt{1/x}$$ (which follows by exponentiating $x + x + x + ... = -x/2$) then this ``follows" immediately from Wallis' product $$\frac{2^2 \cdot 4^2 \cdot 6^2 \cdot ...}{1^2 \cdot 3^2 \cdot 5^2 \cdot ...} = \frac{\pi}{2}$$ since the left-hand side is formally $$(2^4 \cdot 2^4 \cdot 2^4 \cdot ...) \cdot (\infty!)^2 = \frac{1}{4} (\infty!)^2.$$

$\endgroup$
0
1
$\begingroup$

I am currently working on a paper on this topic, but I can give you a link to my Wiki page where I summed up the main ideas and results.

In short, any divergent integral or series can be interpreted as an extended (infinite) number, in which the regularized value is the regular part in a similar way as in complex numbers the real part is the part of the complex number.

In other words the expression $(\infty)!$ means something like a mean value of the factorial (from zero to infinity), but since it is infinite, it is not a normal real number, but an extended number, albeit with real("finite") part $\sqrt{2\pi}$. It is some kind of $\lambda+\sqrt{2\pi}$ where $\lambda$ is some purely irregular number.

Speaking with more precise language, all the regularization techniques are represented by linear operators.

As such, the answer to your third question is, you can divide the both sides by a real number and the regularized value will remain correct. Notice though that taking only odd or even numbers in the left part is not equal to dividing it by 2.

On the other hand, you cannot invert (1/x) or exponentiate the both sides without taking into accout the irregular part.

So if you want the regularization to remain valid after you do any operations on the left part, you have to find a closed-form expression for the irregular part ($\lambda$), and depending on its properties apply the required operation to the sum $\lambda+\sqrt{2\pi}$. Then you would have to find the regular part of the result.

$\endgroup$
6
  • $\begingroup$ thank you for the answer . I'm somewhat thought in the same direction when I saw the Abel plana formula for convergent sum and Abel plana (Ramanujan) for divergent sum. In classical Abel plana there is $\int_0^\infty F(x)dx$ part which diverges for divergent series . In latter case of Ramanujan that part is dropped ( to get a convergent answer I think ! ) $\endgroup$
    – user145059
    Commented Sep 11, 2019 at 0:13
  • $\begingroup$ I don't understand answer to the third question . "Can I say the regularized product of all "odd" primes is $2π²$? " I.e by dividing both sides by 2?? $\endgroup$
    – user145059
    Commented Sep 11, 2019 at 0:17
  • $\begingroup$ I couldn't understand particularly this part of the answer : " As such, the answer to your third ................ left part is not equal to dividing it by 2." "Will remain same "means value not changes or got divided by 2? And I I don't get it in last statement wht you are trying to say?? $\endgroup$
    – user145059
    Commented Sep 11, 2019 at 0:20
  • 1
    $\begingroup$ @Alexander supertramp if you remove even or odd terms of the series on the left side, it is not the same as dividing it by 2. If you just divide the series by 2 then the regularized sum will be divided by 2 as well, but this will be true only for linear operations. Removing even or odd terms will have unpredictable effect on the regularized sum. $\endgroup$
    – Anixx
    Commented Sep 11, 2019 at 5:40
  • $\begingroup$ @ Anixx so for confirmation again , Can I "safely":say the regularized product of all "odd" primes is 2π² ?? $\endgroup$
    – user145059
    Commented Sep 11, 2019 at 8:41

You must log in to answer this question.