15
$\begingroup$

It happens that, for any $m\geq 1$, $$\sum_{n=0}^{+\infty}\frac{(-1)^n}{(2n+1)^{2m+1}}=\frac{E_{2m}}{2\cdot(2m)!}\left(\frac{\pi}{2}\right)^{2m+1}\tag{1}$$ where $E_{2m}$ is an integer number.


My proof works through the following lines: the LHS is: $$\frac{1}{(2m)!}\int_{0}^{1}\frac{(\log x)^{2m}}{1+x^2}dx = \frac{1}{2\cdot(2m)!}\int_{0}^{+\infty}\frac{(\log x)^{2m}}{1+x^2}dx,$$ so we just need to compute: $$\left.\frac{d^{2m}}{dk^{2m}}\int_{0}^{+\infty}\frac{x^k}{1+x^2}\right|_{k=0},\tag{2}$$ but: $$ \int_{0}^{+\infty}\frac{x^{1/r}}{1+x^2}\,dx = r\int_{0}^{+\infty}\frac{y^r}{1+y^{2r}}\,dy = \frac{\pi/2}{\cos(\pi/(2r))}$$ by the residue theorem, so $E_{2m}$ is just the absolute value of an Euler number, that belongs to $\mathbb{N}$.


Can someone provide a real-analytic proof of $(1)$?

$\endgroup$
10
  • $\begingroup$ You could express the partial fractions expansion of $\sec x$ as an iterated sum, switch the order of summation, and then compare it to the Taylor series of $\sec x$ at $x=0$. $\endgroup$ Commented Jun 28, 2014 at 15:04
  • $\begingroup$ @RandomVariable: please post your argument as an answer, I'll be glad to upvote and accept it. $\endgroup$ Commented Jun 28, 2014 at 15:07
  • $\begingroup$ I actually already posted it in another thread. I just don't like to link to my own answers. It's the second answer in my post. Robjohn also posted an answer. math.stackexchange.com/questions/762813/… $\endgroup$ Commented Jun 28, 2014 at 15:15
  • $\begingroup$ All right, I just posted my solution in the other thread, thanks for pointing that out. $\endgroup$ Commented Jun 28, 2014 at 15:24
  • $\begingroup$ @JackD'Aurizio : I don't get why $\zeta(2m+1)$ and $\eta(2m+1)$ are complicated (in contrary to $\zeta(2m),\eta(2m)$), but not $\beta(2m+1)$, do you have an explanation for this ? $\endgroup$ Commented Jun 19, 2016 at 3:32

0

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.