13

5

This question may sound ridiculous at first sight, but let me please show you all how I arrived at the afore mentioned 'identity'.

Let us begin with (one of the many) equalities established by Euler:

$$ \displaystyle f(x) = \frac{sin(x)}{x} = \prod_{n=1}^{\infty} \Big(1-\frac{x^2}{n^2\pi^2}\Big) $$

as $(a^2-b^2)=(a+b)(a-b)$, we can also write: (EDIT: We can not write this...)

$$ \displaystyle f(x) = \prod_{n=1}^{\infty} \Big(1+\frac{x}{n\pi}\Big) \cdot \prod_{n=1}^{\infty} \Big(1-\frac{x}{n\pi}\Big) $$

We now we arrange the terms with $ (n = 1 \land n=-2)$, $ (n = -1 \land n=2$), $( n=3 \land -4)$ , $ (n=-3 \land n=4)$ , ..., $ (n = 2n \land n=-2n-1) $ and $(n=-2n \land n=2n+1)$ together . After doing so, we multiply the terms accordingly to the arrangement. If we write out the products, we get:

$$ f(x)=\big((1-x/2\pi + x/\pi -x^2/2\pi^2)(1+x/2\pi-x/\pi - x^2/2\pi^2)\big)... $$ $$ ...\big((1-\frac{x}{(2n)\pi} + \frac{x}{(2n-1)\pi} -\frac{x^2}{(2n(n-1))^2\pi^2})(1+\frac{x}{2n\pi} -\frac{x}{(2n-1)\pi} -\frac{x^2}{(2n(2n-1))^2\pi^2)})\big) $$

Now we equate the $x^2$-term of this infinite product, using Newton's identities (notice that the'$x$'-terms are eliminated) to the $x^2$-term of the Taylor-expansion series of $\frac{sin(x)}{x}$ . So,

$$ -\frac{2}{\pi^2}\Big(\frac{1}{1\cdot2} + \frac{1}{3\cdot4} + \frac{1}{5\cdot6} + ... + \frac{1}{2n(2n-1)}\Big) = -\frac{1}{6} $$

Multiplying both sides by $-\pi^2$ and dividing by 2 yields

$$\sum_{n=1}^{\infty} \frac{1}{2n(2n-1)} = \pi^2/12 $$

That (infinite) sum 'also' equates $ln(2)$, however (According to the last section of this paper).

So we find $$ \frac{\pi^2}{12} = ln(2) $$ .

Of course we all know that this is not true (you can verify it by checking the first couple of digits). I'd like to know how much of this method, which I used to arive at this absurd conclusion, is true, where it goes wrong and how it can be improved to make it work in this and perhaps other cases (series).

Thanks in advance,

Max Muller

(note I: 'ln' means 'natural logarithm) (note II: with 'to make it work' means: 'to find the exact value of)

flag
7 
Wouldn't it be cool if it were true, though! – Nate Eldredge Jun 9 2010 at 16:03
4 
This forum is aimed at research-level mathematicians, but the topic of this question lies firmly in the domain of undergraduate mathematics. I think that "Ask Dr. Math" and "Art of Problem Solving" would be more appropriate venues for this question. – Ian Morris Jun 9 2010 at 17:41
3 
@ Ian Morris: I guess you're right. I didn't expect my 'proof' to be torn apart that quickly. I thought that if the infinite product could be expressed by a product of two infinite products, I could produce documented mathematical thought on open problem(s) at research level. – Max Muller Jun 9 2010 at 17:56
11 
Well, we all are safe once again. I'm a bit worried that young Max may eventually succeed in finding an inner contradiction in the building of Mathematics. Then, everybody go home, and this site will be terminated too :-( – Pietro Majer Jun 9 2010 at 21:09
6 
@Ian Morris: Understanding when this type of calculation is valid is very definitely research-level. Most (valid) calculations of this type are actually short-hand for manipulating meromorphic functions, and it is often easier to guess the calculation first and then check it (this is why Euler was such a great mathematician). One place where these calculations turn up in spades is in analytic number theory, at least if the two weeks of the course I took form R. Borcherds is any indication. Another place is quantum field theory, where there are outstanding problems to define certain integrals. – Theo Johnson-Freyd Jun 12 2010 at 16:38
show 7 more comments

3 Answers

32

You cannot split (1-(x/n)^2) into (1 -x/n) (1 + x/n), since the products no longer converge.

link|flag
Could you please elaborate on that? Why is it necessary for these prodcucts to converge? – Max Muller Jun 9 2010 at 16:21
See en.wikipedia.org/wiki/Infinite_product and en.wikipedia.org/wiki/Conditional_convergence – ex falso quodlibet Jun 9 2010 at 16:31
1 
The statements: - The product of (1 + a_n) converges - The sum of a_n converges are equivalent. So we know that prod (1 + a_n), where a_2n = (1 + x/n) and a_2n = (1 - x/n) does not converge unconditionally. So by reordering it can achieve any positive value by the same argument as for sums. Just rewrite product (1 + a_n) = exp(sum log(1 + a_n)) to show this. – Helge Jun 9 2010 at 16:50
6 
Yes, you treated divergent infinite products as convergent. You get the same sort of problems as you do with treating divergent series as convergent, like $$0 = (1 - 1) + (1 - 1) +\cdots=1-(1-1)+(1-1)\cdots =1.$$ – Robin Chapman Jun 9 2010 at 17:40
Ok.. thank you Helge! I guess you can imagine I'm a bit disappointed that my flow of (il)logical arguments was interupted that quickly... but you're right, of course. Suppose we can write sin(x)/x as the product of two infinite (divergent) products. Would the rest of the 'proof' be correct? – Max Muller Jun 9 2010 at 17:46
show 3 more comments
5

Eisenstein defined elliptic functions by working with conditionally convergent series. In particular he studied how a series changes when you rearrange the terms in a specific way. You can find a lot about his work in this direction in Weil's beautiful book Elliptic Functions according to Eisenstein and Kronecker. An analogous question would be what happens to your product formula when you use a different way of pairing positive and negative indices. I do not know whether this has been studied before . . . A look into Weil's book will convince you (if you didn't know that already) that some functions are most interesting at those places where convergence fails.

link|flag
Thank you for the reference! As for the different pairing methods, that was what I was thinking about as well... An infinite amount of different (infinite) sum series would all converge to the same value! By the way, do you think there's a way to describe my double product formula in a closed form? I know it diverges, so perhaps it could be an exponential function? Like sin(x)^x? – Max Muller Jun 10 2010 at 13:31
P.S. I'm not sure why (some) functions are most interesting at those places where convergence fails... could you please explain? I am very interested in transforming divergent to convergent series, though, to make the double product equal the single product (and sin(x)/x). Do you think this is possible, one way or another? Or do you know any texts/papers on this subject matter? – Max Muller Jun 10 2010 at 13:44
1 
values for divergent series ... see Hardy's book, DIVERGENT SERIES – Gerald Edgar Jun 10 2010 at 15:17
I was of course thinking of zeta functions, L-series and theta functions. For methods of assigning finite values to interesting divergent sums (as well as for plenty of other reasons as well), I strongly advise you to read <em>Euler through time: a new look at old themes</em> by Varadarajan. – Franz Lemmermeyer Jun 10 2010 at 17:52
I thank both of you for the references! I think I'll have some good reading for the summer holidays... – Max Muller Jun 10 2010 at 18:30
show 1 more comment
3

It is a common trick, found in many elementary calculus texts: take a conditionally convergent series, and rearrange it to have any sum you like.

link|flag
Ok, thanks mister Edgar. Please look at the comments I posted to Franz Lemmermeyer's answer, I'd like to know if you have some answers on the questions I posed there as well! – Max Muller Jun 10 2010 at 13:45
You probably already know this Edgar, but this is usually called the Riemann rearrangement theorem, or the Riemann series theorem – Daniel Barter Jun 13 2010 at 3:55

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.