A generating function involving harmonic number of even index

Calculus (Integrals, Series)
Post Reply
User avatar
Tolaso J Kos
Administrator
Administrator
Posts: 867
Joined: Sat Nov 07, 2015 6:12 pm
Location: Larisa
Contact:

A generating function involving harmonic number of even index

#1

Post by Tolaso J Kos »

Let $\mathcal{H}_n$ denote the $n$-th harmonic number. Prove that forall $|x|<1$ it holds that

\[\sum_{n=1}^{\infty} \frac{(-1)^{n-1} \mathcal{H}_{2n} x^{2n+1}}{2n+1} = \frac{\arctan x \log (1+x^2)}{2}\]
Imagination is much more important than knowledge.
mathofusva
Posts: 33
Joined: Tue May 10, 2016 3:56 pm

Re: A generating function involving harmonic number of even index

#2

Post by mathofusva »

Let the proposed series be $f(x)$. Then
$$f'(x) = \sum_{n=1}^\infty (-1)^{n-1}H_{2n}x^{2n} = - \sum_{n=1}^\infty H_{2n}(-x^2)^n.$$
Recall that
$$\sum_{n=1}^\infty H_nz^n = - \frac{\ln(1-z)}{1-z}.$$
It follows that
\begin{eqnarray*}
\sum_{n=1}^\infty H_{2n}z^{2n} & = & \frac{1}{2}\,(\sum_{n=1}^\infty H_nz^n + \sum_{n=1}^\infty H_n(-z)^n)\\
& = & - \frac{1}{2}\left(\frac{\ln(1-z)}{1-z} + \frac{\ln(1+z)}{1+z}\right).
\end{eqnarray*}
Setting $z = ix$ gives
\begin{eqnarray*}
\sum_{n=1}^\infty H_{2n}(-x^2)^n & = & - \frac{1}{2}\left(\frac{\ln(1-ix)}{1-ix} + \frac{\ln(1+ix)}{1+ix}\right)\\
& = & - \frac{1}{2}\,\frac{2x\arctan x+ \ln(1+x^2)}{1 + x^2},
\end{eqnarray*}
where we have used $\ln(1\pm ix) = \frac{1}{2}\ln(1 + x^2) \pm i\arctan x$. Thus,
$$f'(x) = \frac{1}{2}\,\frac{2x\arctan x+ \ln(1+x^2)}{1 + x^2}.$$
Integrating with respect to $x$ yields
$$f(x) = \frac{1}{2}\,\arctan x\ln(1+x^2)$$
as desired.
Post Reply

Create an account or sign in to join the discussion

You need to be a member in order to post a reply

Create an account

Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute

Register

Sign in

Who is online

Users browsing this forum: No registered users and 2 guests