I = ∫ 0 1 1 − x 2 ( 2 x − 1 ) ln x d x
Find the value of the closed form of the above integral
I
.
Submit your answer as
⌊
2
4
I
⌋
.
Notation: ⌊ ⋅ ⌋ denotes the floor 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.
I = 2 1 ∫ 0 1 1 − x 2 ln x 2 d ( x 2 ) − ∫ 0 1 1 − x 2 ln x d x
Now, I) ∫ 0 1 x a ln b x d x = ∂ a ( b ) ∂ ( b ) ( ∫ 0 1 x a d x ) = ∂ a ( b ) ∂ ( b ) ( a + 1 1 ) = ( a + 1 ) b + 1 ( − 1 ) b b !
II) F ( m ) = ∫ 0 1 1 − x ln m ( x ) d x = n = 0 ∑ ∞ ∫ 0 1 x n ln m ( x ) d x = n = 0 ∑ ∞ ( n + 1 ) m + 1 ( − 1 ) m Γ ( m + 1 ) = ( − 1 ) m Γ ( m + 1 ) ζ ( m + 1 )
I = Set x 2 = y 2 1 ∫ 0 1 1 − y ln y − n = 0 ∑ ∞ ∫ 0 1 x 2 n ln x d x
Using I & II , I = 2 1 F ( 1 ) + n = 0 ∑ ∞ ( 2 n + 1 ) 2 1 = − 2 1 ζ ( 2 ) + 8 π 2 = 2 4 π 2
Thus the answer is ⌊ π 2 ⌋ = 9
Note : The R e d sum can be evaluated in various ways, the below is using integration :
If we define G ( s ) = n ≥ 0 ∑ ( 2 n + 1 ) s 1 then we can easily see that G ( s ) = ( 1 − 2 − s ) ζ ( s ) so that ζ ( 2 ) = 3 4 G ( 2 ) , so computing G ( 2 ) will give us ζ ( 2 ) also.
G ( 2 ) = n = 0 ∑ ∞ ( 2 n + 1 ) 2 1 = n = 0 ∑ ∞ 2 n + 1 1 2 n + 1 1 = ∫ 0 1 ∫ 0 1 n = 0 ∑ ∞ ( x y ) 2 n d x d y = ∫ 0 1 ∫ 0 1 1 − x 2 y 2 d x d y
2 1 ( ∫ 0 1 ∫ 0 1 1 + x y d x d y + 1 − x y d x d y ) = 2 1 ( ∫ 0 1 y ln ( 1 + y ) d y − ∫ 0 1 y ln ( 1 − y ) d y ) = 2 1 ( 1 2 π 2 + 6 π 2 ) = 8 π 2
Thus ζ ( 2 ) = 3 4 G ( 2 ) = 6 π 2
Actually, if you already know and use ζ ( 2 ) , you can calculate the reciprocal of odd squares very easily.
Hint: Integers = Odd integers + Even integers.
Log in to reply
Thanks for having a look ! . I know that part , n ≥ 0 ∑ ( 2 n + 1 ) s 1 = ( 1 − 2 − s ) ζ ( s ) for s > 1
Log in to reply
Right, so if you're already using ζ ( 2 ) in the solution, it seems counter-intuitive to extensively prove this summation. It would make more sense to prove ζ ( 2 ) = 6 π 2 using the approach first, and then explain how to get the odd squares.
Problem Loading...
Note Loading...
Set Loading...
We have I = ∫ 0 1 1 − x 2 x ln x d x − ∫ 0 1 1 + x ln x d x = 4 1 ∫ 0 1 1 − x ln x d x − ∫ 0 1 1 + x ln x d x splitting the integral and applying a trivial change of variable. But ∫ 0 1 1 − x ln x d x = n = 0 ∑ ∞ ∫ 0 1 x n ln x d x = − n = 0 ∑ ∞ ( n + 1 ) 2 1 = − ζ ( 2 ) and ∫ 0 1 1 + x ln x x = n = 0 ∑ ∞ ( − 1 ) n ∫ 0 1 x n ln x d x = − n = 0 ∑ ∞ ( n + 1 ) 2 ( − 1 ) n = − 2 1 ζ ( 2 ) (these results can be justified using the Monotonic and Dominated Convergence Theorems respectively) and hence I = − 4 1 ζ ( 2 ) + 2 1 ζ ( 2 ) = 4 1 ζ ( 2 ) = 2 4 1 π 2 making the answer ⌊ π 2 ⌋ = 9 .