Euler's Series of Pi

C o n c e p t s

This topic requires familiarity with the following concepts:

  • Sequences and series
  • Polynomial expressions
  • l'Hopital's Rule
  • Integration and differentiation
  • Hyperbolic functions
  • Taylor series
  • Roots of polynomials

Euler proved that the sum of the infinite reciprocals of the square converge to one-sixth of π squared:

$\frac{{{\pi }^{2}}}{6}=\frac{1}{{{1}^{2}}}+\frac{1}{{{2}^{2}}}+\frac{1}{{{3}^{2}}}+\frac{1}{{{4}^{2}}}+\text{....}=\sum\limits_{n=1}^{\infty }{\frac{1}{{{n}^{2}}}}$

He found the convergence of other series of the form: $\sum\limits_{n=1}^{\infty }{\frac{1}{{{n}^{2p}}}}=K{{\pi }^{2p}}$, where n is an integer and K is some real number. Here I will choose to call the series of the form $\sum{\frac{1}{{{[{{(k\pi )}^{2}}\pm {{z}^{2}}]}^{p}}}}$ Euler's series of π of order 2p. I will denote its convergence as the following expressions: ${{S}_{2p}}(z)=\sum\limits_{n=1}^{\infty }{\frac{1}{{{[{{(n\pi )}^{2}}-{{z}^{2}}]}^{p}}}}$ and ${{S}_{2pi}}(z)=\sum\limits_{n=1}^{\infty }{\frac{1}{{{[{{(n\pi )}^{2}}+{{z}^{2}}]}^{p}}}}$ (S for the sine function).

After tracing methods Euler used to prove the convergence of his series, I finally found a method to find S2p(z) and S2pi(z). It's rather tedious to find the convergence values for p > 2, but it can be found through diligence if desired. Here, I offer the proof for p = 1 and p = 2. The products of squares are also mentioned.

The following relationships will be proved:

  • Let ${{S}_{2}}(z)=\sum\limits_{n=1}^{\infty }{\frac{1}{{{(n\pi )}^{2}}-{{z}^{2}}}}=\sum\limits_{n=1}^{\infty }{\frac{\tan ({z}/{{{2}^{n}})}\;}{z\cdot {{2}^{n+1}}}}$. Then ${{S}_{2}}(z)=\frac{\sin z-z\cos z}{2{{z}^{2}}\sin z}$, z ≠ 0.
  • Let ${{S}_{2i}}(z)=\sum\limits_{n=1}^{\infty }{\frac{1}{{{(n\pi )}^{2}}+{{z}^{2}}}}=\sum\limits_{n=1}^{\infty }{\frac{\tanh ({z}/{{{2}^{n}})}\;}{z\cdot {{2}^{n+1}}}}$. Then ${{S}_{2i}}(z)=\frac{z\cosh z-\sinh z}{2{{z}^{2}}\sinh z}$, z ≠ 0.
  • ${{S}_{4}}(z)=\sum\limits_{n=1}^{\infty }{\frac{1}{{{[{{(n\pi )}^{2}}-{{z}^{2}}]}^{2}}}}=\frac{{{z}^{2}}+z\cos z\sin z-2{{\sin }^{2}}z}{4{{z}^{4}}{{\sin }^{2}}z}$, z ≠ 0.
  • ${{S}_{4i}}(z)=\sum\limits_{n=1}^{\infty }{\frac{1}{{{[{{(n\pi )}^{2}}+{{z}^{2}}]}^{2}}}}=\frac{2{{\sinh }^{2}}z-z\cosh z\sinh z-{{z}^{2}}}{4{{z}^{4}}{{\sinh }^{2}}z}$, z ≠ 0.

For the case when z = 0, we can evaluate the limit to obtain the same result as Euler as stated in the first equation. Thus, $\underset{z\to 0}{\mathop{\lim }}\,{{S}_{2}}(z)=\underset{z\to 0}{\mathop{\lim }}\,{{S}_{2i}}(z)=\frac{1}{6}$, by applying l’Hopital’s rule.

Proof

The Taylor expansion of sine is $\sin x=x-\frac{{{x}^{3}}}{3!}+\frac{{{x}^{5}}}{5!}-\frac{{{x}^{7}}}{7!}+\frac{{{x}^{9}}}{9!}-\frac{{{x}^{11}}}{11!}+\text{....}$. Without difficulty, we manipulate to obtain the following critical expression for the proof:

(i) $\frac{\sin \sqrt{x}}{\sqrt{x}}=1-\frac{x}{3!}+\frac{x^2}{5!}-\frac{{{x}^{3}}}{7!}+\frac{{{x}^{4}}}{9!}-\frac{{{x}^{5}}}{11!}+\text{....}$

The zeros of sin x are x = {0, ±π, ±2π, ±3π, ±4π, ....., ±} for integers n. Thus, the zeros of $\frac{\sin \sqrt{x}}{\sqrt{x}}$ are simply the zeros of $\sin \sqrt{x}$, which are x = {π2, (2π)2, (3π)2, (4π)2, ....., ()2}. (Zero is not a root since we get an indeterminate form 0/0.) Now, we substitute y + z2 for x. Therefore:

(ii) $\frac{\sin \sqrt{y+{{z}^{2}}}}{\sqrt{y+{{z}^{2}}}}=1-\frac{y+{{z}^{2}}}{3!}+\frac{{{(y+{{z}^{2}})}^{2}}}{5!}-\frac{{{(y+{{z}^{2}})}^{3}}}{7!}+\frac{{{(y+{{z}^{2}})}^{4}}}{9!}-\text{....}$

Substitution changes the zeros of (ii) to y = {π2z2, (2π)2z2, (3π)2z2, (4π)2z2, ....., ()2z2}.

We want to express the series (ii) in the form of a polynomial of the form: ${{P}_{n}}(y)={{a}_{0}}+{{a}_{1}}y+{{a}_{2}}{{y}^{2}}+{{a}_{3}}{{y}^{3}}+{{a}_{4}}{{y}^{4}}+\text{....}+{{a}_{n}}{{y}^{n}}$. Euler knew that if Pn(y) is a polynomial of degree n, where n is finite, then the reciprocals of the roots have a sum of $-\frac{{{a}_{1}}}{{{a}_{0}}}$. (For a discussion on polynomial roots, see Roots of Polynomials.) He extended this idea to polynomials of infinite terms. Therefore, if we are to find the sum of the reciprocal of the roots in (ii) we must find the coefficient of the y term a1 and the constant a0. We will find the coefficient and the constant by manipulating the Taylor series for equation (ii).

The Taylor series for a function f(x) is given by: $f(x)=f(c)+f'(c)(x-c)+\frac{f''(c)}{2!}{{(x-c)}^{2}}+\text{....}$. If we put x = x + c, the series becomes:

(iii) $f(x+c)=f(c)+f'(c)x+\frac{f''(c)}{2}{{x}^{2}}+\frac{f'''(c)}{3!}{{x}^{3}}+\frac{{{f}^{(4)}}(c)}{4!}{{x}^{4}}+\text{....}$

Therefore, if we denote Ps(y) as $\frac{\sin \sqrt{y}}{\sqrt{y}}$ and make the substitution y = y + z2, then we have:

(iv) $\frac{\sin \sqrt{y+{{z}^{2}}}}{\sqrt{y+{{z}^{2}}}}={{P}_{s}}({{z}^{2}})+\frac{P_{s}^{(1)}({{z}^{2}})}{1!}y+\frac{P_{s}^{(2)}({{z}^{2}})}{2!}{{y}^{2}}+\frac{P_{s}^{(3)}({{z}^{2}})}{3!}{{y}^{3}}+\frac{P_{s}^{(4)}({{z}^{2}})}{4!}{{y}^{4}}+\text{....}$

For (iv), we have ${{P}_{s}}({{z}^{2}})=\frac{\sin z}{z}$ and $P_{s}^{(1)}({{z}^{2}})=\frac{d}{dy}{{\left[ {{y}^{-\frac{1}{2}}}\sin \left( {{y}^{-\frac{1}{2}}} \right) \right]}_{y={{z}^{2}}}}=\frac{z\cos z-\sin z}{2{{z}^{3}}}$, which are a0 and a1, respectively. Hence,

(v) $-\frac{{{a}_{1}}}{{{a}_{0}}}=-\frac{P_{s}^{(1)}({{z}^{2}})}{{{P}_{S}}({{z}^{2}})}=-\frac{\frac{z\cos z-\sin z}{2{{z}^{3}}}}{\frac{\sin z}{z}}=\frac{\sin z-z\cos z}{2{{z}^{2}}\sin z}$, where z ≠ 0

This proves the first case where the form in the denominator is a difference of two squares. To find the formula for the second case where the form of the denominator is the sum of two squares, use the substitution z = zi, where i is the imaginary unit:

(vi) $\sum\limits_{n=1}^{\infty }{\frac{1}{{{(n\pi )}^{2}}+{{z}^{2}}}}={{S}_{2i}}(z)=\frac{\sin (zi)-(zi)\cos (zi)}{2{{(zi)}^{2}}\sin (zi)}=-\frac{i\sinh (z)-iz\cosh (z)}{2{{z}^{2}}i\sinh (z)}=\frac{z\cosh z-\sinh z}{2{{z}^{2}}\sinh z}$

The last expression was obtained by using the substitutions sin(xi) = isinh(x) and cos(xi) = cosh(x).

Because I used the substitution with i, the notation S2pi(z) was used for summations of the type ${{S}_{2pi}}(z)=\sum\limits_{n=1}^{\infty}{\frac{1}{{{[{{(n\pi )}^{2}}+{{z}^{2}}]}^{p}}}}$.

Conversion to Product

We observe that (v) can be rewritten as ${{S}_{2}}(z)=\frac{\sin z-z\cos z}{2{{z}^{2}}z}\cdot \frac{z}{\sin z}$. This also means that:

(vii) ${{S}_{2}}(\sqrt{z})=\frac{\sin \sqrt{z}-\sqrt{z}\cos \sqrt{z}}{2z\sqrt{z}}\cdot \frac{\sqrt{z}}{\sin \sqrt{z}}=-\frac{\frac{d}{dz}\left[ \frac{\sin \sqrt{z}}{\sqrt{z}} \right]}{\frac{\sin \sqrt{z}}{\sqrt{z}}}$

From (vi), we have:

(viii) $\int{{{S}_{2}}(\sqrt{z})dz=-\ln \frac{\sin \sqrt{z}}{\sqrt{z}}}$

Also, $S_{2}(\sqrt{z})=\frac{1}{{{\pi }^{2}}-z}+\frac{1}{{{(2\pi )}^{2}}-z}+\frac{1}{{{(3\pi )}^{2}}-z}+\frac{1}{{{(4\pi )}^{2}}-z}+\text{....}$, integration gives:

(ix) $\int{\text{ }{{S}_{2}}(\sqrt{z})\text{ }dz}=-\left[ \ln ({{\pi }^{2}}-z)+\ln (4{{\pi }^{2}}-z)+\ln (9{{\pi }^{2}}-z)+\text{ }..... \right]$

and since (vii) and (viii) are equal we have:

(x) $\left[ \ln \frac{\sin \sqrt{z}}{\sqrt{z}} \right]_{z_{1}^{2}}^{z_{2}^{2}}=\left[ \ln [{{\pi }^{2}}-z]+\ln [{{(2\pi )}^{2}}-z]+\ln [{{(3\pi )}^{2}}-z]+\ln [{{(4\pi )}^{2}}-z]+\text{.....} \right]_{z_{1}^{2}}^{z_{2}^{2}}$

Since z cannot be negative, we have to let the lower and upper limits be $z_{1}^{2}$ and $z_{2}^{2}$, respectively. Therefore, using the sum of log identity, we have

(xi) $\frac{{{z}_{1}}\sin {{z}_{2}}}{{{z}_{2}}\sin {{z}_{1}}}=\left( \frac{{{\pi }^{2}}-z_{2}^{2}}{{{\pi }^{2}}-z_{1}^{2}} \right)\left( \frac{{{(2\pi )}^{2}}-z_{2}^{2}}{{{(2\pi )}^{2}}-z_{1}^{2}} \right)\left( \frac{{{(3\pi )}^{2}}-z_{2}^{2}}{{{(3\pi )}^{2}}-z_{1}^{2}} \right)\left( \frac{{{(4\pi )}^{2}}-z_{2}^{2}}{{{(4\pi )}^{2}}-z_{1}^{2}} \right)\text{.....}=\prod\limits_{n=1}^{\infty }{\frac{{{(n\pi )}^{2}}-z_{2}^{2}}{{{(n\pi )}^{2}}-z_{1}^{2}}}$

Making another substitution of z1 = z1i and z2 = z2i, we obtain:

(xii) $\frac{{{z}_{1}}\sinh {{z}_{2}}}{{{z}_{2}}\sinh {{z}_{1}}}=\prod\limits_{n=1}^{\infty }{\frac{{{(n\pi )}^{2}}+z_{2}^{2}}{{{(n\pi )}^{2}}+z_{1}^{2}}}$

General Series of Squares

Let’s return to our original function ${{S}_{2}}(z)=\sum\limits_{n=1}^{\infty }{\frac{1}{{{(n\pi )}^{2}}-{{z}^{2}}}}$. If we make the substitution z = , where k is any constant, we obtain: ${{S}_{2}}(k\pi )=\frac{\sin (k\pi )-(k\pi )\cos (k\pi )}{2{{(k\pi )}^{2}}\sin (k\pi )}=\sum\limits_{n=1}^{\infty }{\frac{1}{{{n}^{2}}{{\pi }^{2}}-{{k}^{2}}{{\pi }^{2}}}}$ or

(xiii) ${{\pi }^{2}}\cdot {{S}_{2}}(k\pi )=\frac{\sin (k\pi )-(k\pi )\cos (k\pi )}{2{{k}^{2}}\sin (k\pi )}=\sum\limits_{n=1}^{\infty }{\frac{1}{{{n}^{2}}-{{k}^{2}}}}$

Again, a substitution of k = ki would give us

(xiv) ${{\pi }^{2}}\cdot {{S}_{2}}(k\pi )=\frac{(k\pi )\cosh (k\pi )-\sinh (k\pi )}{2{{k}^{2}}\sinh (k\pi )}=\sum\limits_{n=1}^{\infty }{\frac{1}{{{n}^{2}}+{{k}^{2}}}}$

Order 4p

(xv) $\sum\limits_{n=1}^{\infty }{\frac{1}{{{[{{n}^{2}}-{{k}^{2}}]}^{2}}}}=\frac{{{(k\pi )}^{2}}+(k\pi )\cos (k\pi )\sin (k\pi )-2{{\sin }^{2}}(k\pi )}{4{{(k\pi )}^{4}}{{\sin }^{2}}(k\pi )}$

(xvi) $\sum\limits_{n=1}^{\infty }{\frac{1}{{{[{{n}^{2}}+{{k}^{2}}]}^{2}}}}=\frac{2{{\sinh }^{2}}(k\pi )-(k\pi )\cosh (k\pi )\sinh (k\pi )-{{(k\pi )}^{2}}}{4{{(k\pi )}^{4}}{{\sinh }^{2}}(k\pi )}$

Series from Cosine

Using the cosine series, we come to a simpler summations:

(xvii) $[{{C}_{2}}(z)=\sum\limits_{n=1}^{\infty }{\frac{1}{{{[(2n-1)\pi ]}^{2}}-{{z}^{2}}}}=\frac{\tan ({z}/{2}\;)}{4z}$

(xviii) ${{\pi }^{2}}\cdot {{C}_{2}}(k\pi )=\sum\limits_{n=1}^{\infty }{\frac{1}{{{(2n-1)}^{2}}-{{k}^{2}}}}=\frac{\pi \tan ({k\pi }/{2}\;)}{4k}$

(xix) $\sum\limits_{n=1}^{\infty }{\frac{1}{{{[{{(n\pi )}^{2}}-{{z}^{2}}]}^{2}}}}=\sum\limits_{n=1}^{\infty }{\frac{{{\sec }^{2}}({z}/{{{2}^{n}}}\;)}{{{2}^{2n+2}}\cdot {{z}^{2}}}-\frac{\tan ({z}/{{{2}^{n}}}\;)}{{{2}^{n+2}}\cdot {{z}^{3}}}}$