Decent Integral (1)

Calculus Level 5

Evaluate 0 1 tan 1 ( x ) ln ( x ) d x \displaystyle{\int_{0}^{1}\tan^{-1}(x)\ln(x)\,\mathrm{d}x} . If the answer can be expressed as a ln ( 2 ) + ( π b ) π c \dfrac{a\ln\left(2\right)+\left({\pi}-b\right){\pi}}{c} , where a a , b b and c c are positive integers, write your answer as a + b + c a+b+c .

Challenge : Solve the problem by hand.


The answer is 84.

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.

1 solution

Aareyan Manzoor
Jul 24, 2017

the way to solve this is to write the sum n = 0 ( 1 ) n 2 n + 1 0 1 x 2 n + 1 ln ( x ) d x = n = 0 ( 1 ) n 2 ( 2 n + 1 ) d d n 0 1 x 2 n + 1 d x = n = 0 ( 1 ) n 2 ( 2 n + 1 ) d d n 1 2 n + 2 = n = 0 ( 1 ) n ( 2 n + 1 ) ( 2 n + 2 ) 2 \sum_{n=0}^\infty\dfrac{(-1)^n}{2n+1} \int_0^1 x^{2n+1} \ln(x) dx=\sum_{n=0}^\infty\dfrac{(-1)^n}{2(2n+1)} \dfrac{d}{dn} \int_0^1 x^{2n+1} dx=\sum_{n=0}^\infty\dfrac{(-1)^n}{2(2n+1)} \dfrac{d}{dn} \dfrac{1}{2n+2}=-\sum_{n=0}^\infty\dfrac{(-1)^n}{(2n+1)(2n+2)^2} note the exchange of sum and integral is possible due to to absloute convergence for the series of arctan(x) between 0 and 1. we can use partial fractions to get the sum is n = 0 ( ( 1 ) n 4 ( n + 1 ) 2 + ( 1 ) n 2 ( n + 1 ) ( 1 ) n 2 n + 1 ) = η ( 2 ) 4 + η ( 1 ) 2 arctan ( 1 ) \sum_{n=0}^\infty \left(\dfrac{(-1)^n}{4(n+1)^2}+\dfrac{(-1)^n}{2(n+1)}-\dfrac{(-1)^n}{2n+1}\right)=\dfrac{\eta(2)}{4}+\dfrac{\eta(1)}{2}-\arctan(1) where η ( n ) \eta(n) is the dirichilet eta function. the solution follows as π ( π 12 ) + 24 ln ( 2 ) 48 \dfrac{\pi(\pi-12)+24\ln(2)}{48}

I commented on Mark Hennings's solution to another problem like this (that uses a differentiation/integration under the integral sign technique), and I made the same mistake. But I can't find it to tell him I understand it now. It was integral of (ln(x))^2/e^x. Weird.

James Wilson - 3 years, 9 months ago

Very nice solution except I believe you made a mistake. But before I get to that, the fact that you use n in two different places makes it confusing. However, if one can recognize that the n in the series is a bound (or dummy) variable, then they can see through that part. However, you double differentiated with respect to n. Shouldn't you have integrated it w.r.t to n instead of differentiating it again? So then isn't your answer incorrect?

James Wilson - 3 years, 9 months ago

Log in to reply

i think you are confused in these two steps: 0 1 a r c t a n ( x ) ln ( x ) d x = 0 1 n = 0 x 2 n + 1 ( 1 ) n 2 n + 1 ln ( x ) d x = n = 0 ( 1 ) n 2 n + 1 0 1 x 2 n + 1 ln ( x ) \int_0^1 arctan(x)\ln(x) dx=\int_0^1 \sum_{n=0}^\infty \dfrac{x^{2n+1} (-1)^n}{2n+1} \ln(x) dx= \sum_{n=0}^\infty \dfrac{ (-1)^n}{2n+1} \int_0^1 x^{2n+1} \ln(x) and d d n 0 1 x 2 n + 1 d x = 0 1 d d n x 2 n + 1 d x = 2 0 1 x 2 n + 1 ln ( x ) d x \dfrac{d}{dn} \int_0^1 x^{2n+1}dx=\int_0^1 \dfrac{d}{dn} x^{2n+1} dx =2\int_0^1 x^{2n+1}\ln(x) dx

Aareyan Manzoor - 3 years, 9 months ago

Log in to reply

Ah ok I see now

James Wilson - 3 years, 9 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...