∫ 0 ∞ e x − 1 x 3 ln ( e x − 1 ) d x = π A ζ ( B ) + C ζ ( D )
If A , B , C and D are positive integers such that the equation above holds true, find A + B + C + D .
Notation : ζ ( ⋅ ) denotes the Riemann Zeta function .
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.
How did you know that n = 1 ∑ ∞ n 4 H n = 3 ζ ( 5 ) − 6 1 π 2 ζ ( 3 ) ? Can we prove that using the similar methods shown here ?
Log in to reply
Here's one method , which is pretty full-on.
There are others. You can play around with the series T ( a , b , c ) = m = 1 ∑ ∞ n = 1 ∑ ∞ m a n b ( m + n ) c 1 obtaining recurrence relations between them and values of the Zeta function, such as T ( a + 1 , b , c + 1 ) + T ( a , b + 1 , c + 1 ) T ( a , 0 , c ) + T ( c , 0 , a ) = = T ( a + 1 , b + 1 , c ) ζ ( a ) ζ ( c ) − ζ ( a + c ) For our purposes, we want to evaluate T ( 1 , 0 , 4 ) . The series T ( r , 0 , N − r ) are comparatively easy to sum by these methods if N is odd.
Euler first proved this particular identity. It can be established by contour integration, as can the formula for ∑ n n q H n for all q ≥ 2 .
Log in to reply
This one? THANK YOUUUUU!
Log in to reply
@Pi Han Goh – There is another paper available online by Huard, Williams and Zhang which is more combinatoric, but the one you have found has the results...
Another way of proving it is integration by parts.
Log in to reply
To elaborate, use the integral representation of 1/n^p, interchange summation and integral, use generating function of harmonic number and in the final integral, use by parts. You will arrive at general formula in terms of zeta function.
Log in to reply
@Ishan Singh – To elaborate, use the integral representation of n q 1 , interchange summation and integral, use generating function of harmonic number and in the final integral, use by parts. You will arrive at the general formula in terms of zeta function.
Log in to reply
@Ishan Singh – Instead of using IBP, once you have reached the integral, you can also differentiate the beta function.
Log in to reply
@Ishan Singh – If I have understood your method, what you are saying is essentially that the sum of H n / n 4 can be written in terms of an integral basically of the same type as the question started with, and you propose a different method for calculating the initial integral, either integrating by parts using dilogarithms or else by looking at the asymptotics of the beta function B ( a , b ) and its derivatives.
Since these asymptotics are remarkably delicate (you are working near the points of singularity of the beta function), I am sure that Pi Han (and I) would like to see a complete solution as you propose.
Log in to reply
@Mark Hennings – Sure, I'll write a full solution once I'm over with my exams. Here's the identity I'm talking about n = 1 ∑ ∞ n q H n = ( 1 + 2 q ) ζ ( q + 1 ) − 2 1 k = 1 ∑ q − 2 ζ ( k + 1 ) ζ ( q − k )
Log in to reply
@Ishan Singh – OK, I have it now. The singularities of B ( a , b ) near a = 0 cancel out when we consider ∂ a ∂ b ∂ 2 B , so that F ( b ) = ∫ 0 1 x ( 1 − x ) b − 1 ln x ln ( 1 − x ) d x = a → 0 + lim ∂ a ∂ b ∂ 2 B = ( γ + ψ ( b ) ) ψ ( 1 ) ( b ) − 2 1 ψ ( 2 ) ( b ) and hence, for example, ∫ 0 1 x ln x ln 3 ( 1 − x ) d x = F ′ ′ ( 1 ) = 2 1 π 2 ψ ( 2 ) ( 1 ) − 2 1 ψ ( 4 ) ( 1 ) = − π 2 ζ ( 3 ) + 1 2 ζ ( 5 ) as required.
Log in to reply
@Mark Hennings – Yes. That's one of my ways. Other involves IBP which I will post after exams.
@Ishan Singh – I know the identity - I am interested in your method of its derivation...
Problem Loading...
Note Loading...
Set Loading...
With the substitution u = 1 − e − x the integral becomes I = = ∫ 0 ∞ e x − 1 x 3 ln ( e x − 1 ) d x = − ∫ 0 1 u ln 3 ( 1 − u ) ln ( 1 − u u ) d u ∫ 0 1 u ln 4 ( 1 − u ) d u − ∫ 0 1 u ln 3 ( 1 − u ) ln u d u = ∫ 0 1 1 − u ln 4 u d u − ∫ 0 1 1 − u ln ( 1 − u ) ln 3 u d u Now ∫ 0 1 1 − u ln 4 u d u = n = 0 ∑ ∞ ∫ 0 1 u n ln 4 u d u = n = 0 ∑ ∞ ( n + 1 ) 5 2 4 = 2 4 ζ ( 5 ) , and ∫ 0 1 1 − u ln ( 1 − u ) ln 3 u d u = = = = − n = 1 ∑ ∞ H n ∫ 0 1 u n ln 3 u d u 6 n = 1 ∑ ∞ ( n + 1 ) 4 H n = 6 n = 1 ∑ ∞ [ ( n + 1 ) 4 H n + 1 − ( n + 1 ) 5 1 ] 6 n = 1 ∑ ∞ [ n 4 H n − n 5 1 ] = 6 [ ( 3 ζ ( 5 ) − 6 1 π 2 ζ ( 3 ) ) − ζ ( 5 ) ] 1 2 ζ ( 5 ) − π 2 ζ ( 3 ) . Putting these results, together I = 2 4 ζ ( 5 ) − ( 1 2 ζ ( 5 ) − π 2 ζ ( 3 ) ) = π 2 ζ ( 3 ) + 1 2 ζ ( 5 ) making the answer 2 + 3 + 1 2 + 5 = 2 2 .