Discussion about math, puzzles, games and fun. Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ π -¹ ² ³ °

You are not logged in.

- Topics: Active | Unanswered

Pages: **1**

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 84,363

The above sum appeared in another thread and is solved by somewhat mysterious trigonometric products. Let's see if the methods of experimental math can shed some light on that.

If we proceed experimentally then we would try to sum the above to as many digits as possible. This is not mere numerics as some people call it. If you have been following along then you know that we often can get a closed form just by those "mere numerics."

Our first problem is the slow convergence of S. We first change S into the more convenient sum,

we start to play.

It is clear that convergence is very slow and we would need zillions of terms to get many digits. Enter the great Kummer, father of the so called "Kummer Transformation!"

Supposing we subtract a known series from S. We will use the zeta functions for this purpose.

What have we accomplished? Look at the RHS we see a sum that has a dominating term of n^4 in the denominator. S originally had a dominating term of n^2 in the denominator. 1 / n^4 converges faster than 1 / n^2. Why? The terms shrink faster.

Here is the good part. We can do it again!

Look at the RHS. It has a dominating term of n^6 which should converge faster than the last one of n^4.

Again? Why not!

A dominating term of n^8. We continue to do this as long as we like. Normally we would stop at some convenient value which makes convergence quick and then PSLQ the answer. Here we have the possibility of continuing the process an infinite number of times. We get:

The sum on the right can replaced by 1 / 2 which can be verified numerically. This is as rigorous as I can get with that right now. So we have:

We rearrange this to,

We can drop the 1 / 2 because the first term in S starts at 2.

What have we done? We have replaced S with an infinite sum of zeta functions. Why is this better? Well, we can use a generating function to sum it!

If you know your gf's then you will recognize a series that is close to 6). It is Coth(x). The Mclaurin series for it is,

we can now use the shift operator on the series by multiplying by x.

Multiply both sides by 1 / 2.

Subtract 1 / 2 from both sides.

Substitute x = π.

The RHS of 7) is the RHS of 6)! so

**In mathematics, you don't understand things. You just get used to them.I have the result, but I do not yet know how to get it.All physicists, and a good many quite respectable mathematicians are contemptuous about proof.**

Offline

**anonimnystefy****Real Member**- From: The Foundation
- Registered: 2011-05-23
- Posts: 15,307

A cool way! But how do you know that the terms of pi*coth(pi)/2 are the same as the terms in the sum?

Here lies the reader who will never open this book. He is forever dead.

Taking a new step, uttering a new word, is what people fear most. ― Fyodor Dostoyevsky, Crime and Punishment

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 84,363

You mean 6) and 7)?

**In mathematics, you don't understand things. You just get used to them.I have the result, but I do not yet know how to get it.All physicists, and a good many quite respectable mathematicians are contemptuous about proof.**

Offline

**anonimnystefy****Real Member**- From: The Foundation
- Registered: 2011-05-23
- Posts: 15,307

Everything up to 7), inclusive, is okay. But I am not sure how we can be certain that what we got by manipulating the coth series is the same as S.

*Last edited by anonimnystefy (2012-06-29 08:25:14)*

Here lies the reader who will never open this book. He is forever dead.

Taking a new step, uttering a new word, is what people fear most. ― Fyodor Dostoyevsky, Crime and Punishment

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 84,363

The RHS of 7) is the RHS of 6)! so

I am not understanding you. Is this the line that you mean?

**In mathematics, you don't understand things. You just get used to them.I have the result, but I do not yet know how to get it.All physicists, and a good many quite respectable mathematicians are contemptuous about proof.**

Offline

**anonimnystefy****Real Member**- From: The Foundation
- Registered: 2011-05-23
- Posts: 15,307

Exactly.

Here lies the reader who will never open this book. He is forever dead.

Taking a new step, uttering a new word, is what people fear most. ― Fyodor Dostoyevsky, Crime and Punishment

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 84,363

Since the time of Euler and the Basel problem all the even zeta functions have known closed forms. Take every sum in 6) and do it and you will see them match every term in 7).

I have the result, but I do not yet know how to get it.

All physicists, and a good many quite respectable mathematicians are contemptuous about proof.

Offline

**anonimnystefy****Real Member**- From: The Foundation
- Registered: 2011-05-23
- Posts: 15,307

Have closed forms been found for odd zeta functions?

Here lies the reader who will never open this book. He is forever dead.

Offline

**bobbym****Administrator**- From: Bumpkinland
- Registered: 2009-04-12
- Posts: 84,363

Do you understand that 6) and 7) are the same.

Have closed forms been found for odd zeta functions?

No closed forms are known for them.

I have the result, but I do not yet know how to get it.

All physicists, and a good many quite respectable mathematicians are contemptuous about proof.

Offline

Pages: **1**