A Harmonic Sum

Calculus Level 5

n = 1 ( H n ) 2 2 n = π a b + log 2 ( c ) \displaystyle \sum_{n=1}^\infty \frac { (H_n )^2}{2^n} = \frac {\pi ^a}{b} + \log ^2 (c)

Let H n H_n denote the n th n^{\text{th}} harmonic number such that the above series is satisfied for positive integers a , b , c a,b,c .

Find a + b + c a+b+c .

Details and Assumptions

  • H n = 1 + 1 2 + 1 3 + 1 n H_n = 1 + \frac 1 2 + \frac 1 3 + \ldots \frac 1 n for n = 1 , 2 , 3 , n = 1,2,3, \ldots

  • log \log is a natural logarithm


The answer is 10.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Let S S denote the summation.

The series is convergent by Ratio Test as :- lim n a n + 1 a n = ( H n + 1 ) 2 2 ( H n ) 2 = 1 2 \displaystyle \lim_{n\to\infty}\frac{a_{n+1}}{a_{n}}=\frac{(H_{n+1})^{2}}{2(H_{n})^{2}}=\frac{1}{2}\\ [ a n a_{n} is the general nth term of the series]

Here we can use the approximation H n ln ( n ) + γ H_{n} \approx \ln(n)+\gamma when n n\to\infty [Here γ \gamma denotes the Euler-Mascheroni Constant]

S = ( H 1 ) 2 2 1 + ( H 2 ) 2 2 2 + ( H 3 ) 2 2 3 + ( H 4 ) 2 2 4 + . . . . . . . S = \frac{(H_{1})^{2}}{2^{1}} +\frac{(H_{2})^{2}}{2^{2}}+\frac{(H_{3})^{2}}{2^{3}}+\frac{(H_{4})^{2}}{2^{4}}+.......

S 2 = ( H 1 ) 2 2 2 + ( H 2 ) 2 2 3 + ( H 3 ) 2 2 4 + ( H 4 ) 2 2 5 + . . . . . . . \,\,\,\,\,\,\,\,\,\,\;\;\;\;\;\frac{S}{2}=\qquad\qquad\frac{(H_{1})^{2}}{2^{2}} +\frac{(H_{2})^{2}}{2^{3}}+\frac{(H_{3})^{2}}{2^{4}}+\frac{(H_{4})^{2}}{2^{5}}+.......

Subtracting the second expression from the first expression.

S 2 = n = 1 ( ( H n ) 2 ( H n 1 ) 2 ) 2 n \frac{S}{2} = \sum_{n=1}^{\infty}\frac{\left((H_{n})^{2}-(H_{n-1})^{2}\right)}{2^{n}}

= n = 1 ( H n + H n 1 ) n 2 n \displaystyle = \sum_{n=1}^{\infty}\frac{(H_{n}+H_{n-1})}{n2^{n}} [As H n H n 1 = 1 n H_{n}-H_{n-1} = \frac{1}{n} ]

Now both the series n = 1 H n n 2 n \displaystyle \sum_{n=1}^{\infty}\frac{H_{n}}{n2^{n}} and the series n = 1 H n 1 n 2 n \displaystyle \sum_{n=1}^{\infty}\frac{H_{n-1}}{n2^{n}} converges by ratio test.

Hence we can write = n = 1 ( H n + H n 1 ) n 2 n = n = 1 H n n 2 n + n = 1 H n 1 n 2 n = n = 1 H n n 2 n + n = 1 H n ( n + 1 ) 2 n + 1 \displaystyle = \sum_{n=1}^{\infty}\frac{(H_{n}+H_{n-1})}{n2^{n}}=\sum_{n=1}^{\infty}\frac{H_{n}}{n2^{n}}+\sum_{n=1}^{\infty}\frac{H_{n-1}}{n2^{n}}=\sum_{n=1}^{\infty}\frac{H_{n}}{n2^{n}}+\sum_{n=1}^{\infty}\frac{H_{n}}{(n+1)2^{n+1}}

Now using the Generating Function for n = 1 H n z n = ln ( 1 z ) 1 z \displaystyle \sum_{n=1}^{\infty}H_{n}z^{n} = -\frac{\ln(1-z)}{1-z}

We can write it in terms of two integrals:-

0 1 2 ln ( 1 x ) x ( 1 x ) d x 0 1 2 ln ( 1 x ) 1 x d x = 0 1 2 ( ln ( 1 x ) x + 2 ln ( 1 x ) 1 x ) d x = Li 2 ( 1 2 ) + ( ln ( 2 ) ) 2 2 = π 2 12 + ( ln ( 2 ) ) 2 2 \displaystyle \int_{0}^{\frac{1}{2}} \frac{-\ln(1-x)}{x(1-x)}dx - \int_{0}^{\frac{1}{2}}\frac{\ln(1-x)}{1-x}{dx} = -\int_{0}^{\frac{1}{2}}\left(\frac{\ln(1-x)}{x} +\frac{2\ln(1-x)}{1-x}\right)dx = \text{Li}_{2}(\frac{1}{2}) +\frac{(\ln(2))^{2}}{2} = \frac{\pi^{2}}{12} + \frac{(\ln(2))^{2}}{2}

So S 2 = π 2 12 + ( ln ( 2 ) ) 2 2 \displaystyle \frac{S}{2} =\frac{\pi^{2}}{12} + \frac{(\ln(2))^{2}}{2}

So S = π 2 6 + ( ln ( 2 ) ) 2 \displaystyle S=\frac{\pi^{2}}{6} + (\ln(2))^{2}

Note:- Here Li 2 ( z ) \text{Li}_{2}(z) denotes the Dilogarithm Function .

Pratik Shastri
Mar 24, 2015

I'm assuming that you are aware of the generating function of the harmonic numbers, IE, n = 1 H n z n = log ( 1 z ) 1 z \displaystyle\sum_{n=1}^{\infty} H_nz^n=-\dfrac{\log(1-z)}{1-z} . This is quite easy to prove by considering the recurrence relation of the harmonic numbers.

Integrate both the sides from z = 0 z=0 to z = x z=x ( 0 < x < 1 0<x<1 ) to obtain n = 2 H n 1 n x n = 1 2 log 2 ( x ) ( 1 ) \sum_{n=2}^{\infty}\dfrac{H_{n-1}}{n}x^n=\dfrac{1}{2}\log^2(x) \ \ \ \ \ \ \ \ \ \ \ ---- (1)

Consider the following recurrence relation of the harmonic numbers H n = H n 1 + 1 n H_n=H_{n-1}+\dfrac{1}{n} Square both the sides to get ( H n ) 2 = ( H n 1 ) 2 + 1 n 2 + 2 H n 1 n (H_n)^2=(H_{n-1})^2+\dfrac{1}{n^2}+2\dfrac{H_{n-1}}{n} Now let the generating function of the infinite sequence { ( H n ) 2 } n = 1 \left\{\left(H_n\right)^2\right\}_{n=1}^{\infty} be g ( x ) g(x) . Multiply both the sides of the equality by x n x^n and sum it up from n = 2 n=2 to n = n=\infty to get n = 2 ( H n ) 2 x n = n = 2 ( H n 1 ) 2 x n + n = 2 x n n 2 + n = 2 H n 1 n x n g ( x ) x = from ( 1 ) x g ( x ) + L i 2 ( x ) x + log 2 ( 1 x ) g ( x ) = L i 2 ( x ) + log 2 ( 1 x ) 1 x \begin{aligned}\sum_{n=2}^{\infty}\left(H_n\right)^2x^n &=\sum_{n=2}^{\infty} \left(H_{n-1}\right)^2x^n+\sum_{n=2}^{\infty} \dfrac{x^n}{n^2}+\sum_{n=2}^{\infty}\dfrac{H_{n-1}}{n}x^n\\g(x)-x &\stackrel{\text{from} \ (1)}{=}xg(x)+\rm{Li}_2(x)-x+\log^2(1-x) \\ g(x) &= \dfrac{\rm{Li}_2(x)+\log^2(1-x)}{1-x} \end{aligned} Now simply put x = 2 x=2 to obtain n = 1 ( H n ) 2 2 n = g ( 1 / 2 ) = π 2 6 + log 2 ( 2 ) \displaystyle\sum_{n=1}^{\infty} \dfrac{\left(H_n\right)^2}{2^n}=g(1/2)=\boxed{\dfrac{\pi^2}{6}+\log^2(2)}

NOTE 1 : L i 2 ( x ) = n = 1 x n n 2 \rm{Li}_2(x)=\displaystyle\sum_{n=1}^{\infty} \dfrac{x^n}{n^2}

NOTE 2 : To evaluate L i 2 ( 1 / 2 ) \rm{Li}_2(1/2) , use the duplication formula - L i 2 ( x ) + L i 2 ( 1 x ) = π 2 6 log ( x ) log ( 1 x ) \rm{Li}_2(x)+\rm{Li}_2(1-x)=\dfrac{\pi^2}{6}-\log(x)\log(1-x)

I did exactly the same way, you know when you first posted that problem then I also I did by this method and reported your problem. This time it is completely correct.

Ronak Agarwal - 6 years, 2 months ago

Log in to reply

Nice. I made a small calculation error the last time :P

Pratik Shastri - 6 years, 2 months ago

Log in to reply

Thanks. How's your preparation for JEE Mains.

Ronak Agarwal - 6 years, 2 months ago

Log in to reply

@Ronak Agarwal Well, good. Some titbits are still left though. What about you? How much are you expecting to score?

Pratik Shastri - 6 years, 2 months ago

Log in to reply

@Pratik Shastri In Maths no problem whatsoever expecting 120/120 if no silly mistakes , in Chemistry seriously we have to memorise too much, but I can't remember everything hope to get near 95 to 100., in Physics expecting no less than 110 if no silly mistakes,

Overall aiming for 325 330 325-330

What's your expected score.

Ronak Agarwal - 6 years, 2 months ago

Log in to reply

@Ronak Agarwal Cool! Even I don't have many problems in physics and maths. Can't say much about chemistry, though I still expect above 90. But I'm definitely not expecting 300+ :P Nobody from vadodara has ever crossed 300 as far as I can remember.

Pratik Shastri - 6 years, 2 months ago

Log in to reply

@Pratik Shastri Well I guess this year they will :D

A Former Brilliant Member - 6 years, 2 months ago

And congratulations for qualifying INCHO (Y) (Y)

Pratik Shastri - 6 years, 2 months ago

Nearly the same as what I did! Thanks for the problem!

Kartik Sharma - 6 years, 2 months ago

I guessed it :P

Did you get this week's MSE Newsletter ? If so , did you check out this question(well not really a question) by Calvin sir ? Just look at it for passing time !

A Former Brilliant Member - 6 years, 2 months ago

Log in to reply

I saw this a long time ago. Also what do you mean my newsletter?

Pratik Shastri - 6 years, 2 months ago

Log in to reply

Well , I don't know how or why , but I get these newsletters a.k.a emails with the popular and nice questions from the past week on every Tuesday from 5 SE sites

A Former Brilliant Member - 6 years, 2 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...