If n = 0 ∑ ∞ j = 0 ∑ n k = j ∑ n ( k n ) ( j k ) ( j n ) 8 n ( 2 n + 1 ) 3 2 j can be expressed as b π a + d ln c ( c ) where a , b , c , d are positive integers, a , c are primes numbers, then find a + b + c + d .
This is an original problem and also it is shared proposed problem in Romanian Mathematical Magazine to prove the closed form .
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.
Problem Loading...
Note Loading...
Set Loading...
I'm sharing my solution for proposed problem
Solution by proposer
Recall the ordinary generating function for binomial theorem, ie B ( j ) = k = 0 ∑ n ( k n ) x k = ( 1 + x ) n . Now we perform jth times derivatives w.r.t x and multiply throughly by j ! 1 we yields at x = 1 j ! 1 d x j d j B ( j ) = k = 0 ∑ ∞ ( k n ) ( k ) j x k − j = ( n ) j ( 1 + x ) n − j ⇒ k = j ∑ n ( k n ) ( j k ) = 2 n − j ( j n ) where ( n ) j is pochhammer polynomial and hence we have n = 0 ∑ ∞ j = 0 ∑ n ( j n ) d x j d j j ! 8 n ( 2 n + 1 ) 3 2 j B ( J ) = n = 0 ∑ ∞ j = 0 ∑ n 4 n 1 ( j n ) 2 ( 2 n + 1 ) 3 1 = n = 0 ∑ ∞ 4 n ( 2 n + 1 ) 3 1 ( n 2 n ) since by Vandermonde Convolution k = 0 ∑ r ( k m ) ( n − k n ) = ( r m + n ) set m = r = n we have k = 0 ∑ r ( k r ) 2 = ( r 2 r ) (case appears in our main problem) and hence are left to evaluate the latter sum. We recall the generating function for central binomial coefficients as k = 0 ∑ ∞ ( n 2 n ) x 2 k = 1 − 4 x 2 1 so k = 0 ∑ ∞ ( n 2 n ) 4 n x 2 k = 1 − x 2 1 and hence on integrating we have n = 0 ∑ ∞ 4 n ( 2 n + 1 ) x 2 n ( n 2 n ) = x sin − 1 x ⇒ n = 0 ∑ ∞ 4 n ( 2 n + 1 ) 1 ∫ 0 1 x 2 n ln x d x = ∫ 0 1 x sin − 1 x ln x d x = − 0 + 2 1 ∫ 0 1 1 − x 2 ln 2 x = 2 1 ∫ 0 2 π ln 2 ( sin x ) d x = 1 6 π d m 2 d 2 ( 4 m 1 ( m 2 m ) ) m = 0 = 8 π d m d ( 4 m 1 ( m 2 m ) ( ψ 0 ( 2 m + 1 ) − ψ 0 ( m + 1 ) − ln 2 ) ) m = 0 = 1 6 π 4 m 1 ( m 2 m ) ( 4 ψ 0 ( m + 1 ) + 4 ψ 0 ( 2 m + 1 ) − 2 ψ 1 ( m + 1 ) + 4 ψ 1 ( 2 m + 1 ) ) + 4 ψ 0 ( m + 1 ) ( ln 4 − 2 ψ 0 ( m + 1 ) ) − 8 ln 2 ψ 0 ( 2 m + 1 ) + ln 2 4 ) m = 0 and hence 1 6 π ( 8 ψ ( 1 ) + 2 ψ 1 ( 1 ) + 4 ψ 1 ( 1 ) ( ln 4 − 2 ψ ( 1 ) ) − 4 ln 4 ψ ( 1 ) + ln 2 4 ) = 1 6 π ( 3 π 2 + ln 2 4 ) = 4 8 π 3 + 4 ln 2 ( 2 ) = 4 π ( 2 ζ ( 2 ) + ln 2 2 ) which completes the proof.