Abstract:Using a pointwise version of Fejér's theorem about Fourier series, we obtain two formulae related to the series representations of positive integral powers of $\pi$. We also check the correctness of our formulae by the applications of the R software.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to find the series representations of all positive integer powers of π. Specifically, by using a point - wise version theorem of Fejér about Fourier series, the author derives two formulas, which can be used to generate the series representations of all positive integer powers of π.
### Problem Background
It is known that some specific powers of π can be represented by series, for example:
\[
\sum_{n = 1}^{\infty}\frac{(- 1)^{n - 1}}{2n - 1}=\frac{\pi}{4}, \quad\sum_{n = 1}^{\infty}\frac{(- 1)^{n - 1}}{(2n - 1)^{3}}=\frac{\pi^{3}}{32}, \quad\sum_{n = 1}^{\infty}\frac{(- 1)^{n - 1}}{(2n - 1)^{5}}=\frac{5\pi^{5}}{1536}
\]
and
\[
\sum_{n = 1}^{\infty}\frac{1}{n^{2}}=\frac{\pi^{2}}{6}, \quad\sum_{n = 1}^{\infty}\frac{1}{n^{4}}=\frac{\pi^{4}}{90}, \quad\sum_{n = 1}^{\infty}\frac{1}{n^{6}}=\frac{\pi^{6}}{945}
\]
### Research Objectives
The author's goal is to find a general method to represent the series forms of all positive integer powers of π. To this end, they propose two main theorems:
1. **Theorem 1.2**: For any integer \(k\geq1\),
\[
\frac{1}{2}=\frac{1}{4k + 2}+\sum_{l = 1}^{k}\sum_{n = 1}^{\infty}\frac{(2k)!}{(2k + 1-2l)!(n\pi)^{2l}}(- 1)^{l - 1}
\]
2. **Theorem 1.3**: For any integer \(k\geq1\),
\[
-\frac{1}{4k + 2}\pi^{2k}=\sum_{l = 0}^{k - 1}\sum_{n = 1}^{\infty}\frac{\pi^{2k-2l-2}(2k)!(- 1)^{n}(- 1)^{l}}{(2k-2l - 1)!(2n)^{2l + 2}}
+\sum_{l = 0}^{k}\sum_{n = 1}^{\infty}\frac{\pi^{2k-2l-1}(- 1)^{n}(- 1)^{l}(2k)!}{(2n - 1)^{2l + 1}(2k-2l)!}
+\sum_{n = 1}^{\infty}\frac{(- 1)^{k}(- 1)^{n}(2k)!}{\pi(2n - 1)^{2k + 1}}
\]
### Conclusions
Through the above theorems and verification by R - language programming, the author has successfully found a series of series representations of positive integer powers of π and verified the correctness of these representations. For example:
\[
\sum_{n = 1}^{\infty}\frac{1}{n^{8}}=\frac{\pi^{8}}{9450}, \quad\sum_{n = 1}^{\infty}\frac{1}{n^{10}}=\frac{\pi^{10}}{93555}
\]
In short, the main contribution of this paper is to provide a systematic method to generate the series representations of all positive integer powers of π, thus providing new tools and perspectives for related research in mathematical analysis.