arctangents and logarithms are beautiful

Calculus Level 3

Find the value of 0 arctan ( π x ) arctan ( x ) x d x \displaystyle\int_{0}^{\infty} \frac{\arctan\left(\pi x\right) -\arctan\left(x\right)}{x} dx


The answer is 1.798.

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

Karan Chatrath
Dec 10, 2019

Let:

I ( t ) = 0 arctan ( t x ) x d x I(t) = \int_{0}^{\infty}\frac{\arctan(tx)}{x}dx

Using Leibnitz rule:

I ( t ) = 0 t ( arctan ( t x ) x ) d x = 0 1 1 + t 2 x 2 d x I'(t) = \int_{0}^{\infty}\frac{\partial}{\partial t} \left(\frac{\arctan(tx)}{x}\right)dx = \int_{0}^{\infty}\frac{1}{1+t^2x^2}dx

Evaluating the very standard integral on the RHS gives:

I ( t ) = π 2 t I ( t ) = π 2 ln t + C I'(t) = \frac{\pi}{2t} \implies I(t) = \frac{\pi}{2}\ln{t} + C

So, to evaluate the given integral:

A = 0 arctan ( π x ) a r c t a n ( x ) x d x A = \int_{0}^{\infty}\frac{\arctan(\pi x) - arctan(x)}{x}dx

A = I ( π ) I ( 1 ) A = I(\pi) - I(1)

Substituting the obtained expression for I ( t ) I(t) leads to:

A = π 2 ln π 1.7981 \boxed{A = \frac{\pi}{2}\ln{\pi} \approx 1.7981}

Amal Hari
Nov 28, 2019

Definite integrals can sometimes be simplified using iterated integrals. 0 arctan ( π x ) arctan ( x ) x d x = 0 arctan ( x ) arctan ( π x ) 1 x d y × d x \displaystyle\int_{0}^{\infty} \frac{\arctan\left(\pi x\right) -\arctan\left(x\right)}{x} dx =\displaystyle\int_{0}^{\infty} \int_{\arctan\left(x\right)}^{\arctan\left(\pi x\right) }\frac{1}{x} dy \times dx

This the double integral is over the region enclosed within y = arctan ( x ) y=\arctan\left(x\right) and y = arctan ( π x ) y= \arctan\left(\pi x\right)

From Fubini's theorem order of iteration of definite integrals is immaterial.The region as a function of x is enclosed by:

x = tan ( y ) x=\tan\left(y\right) and x = tan ( y ) π x=\frac{\tan\left(y\right)}{\pi}

Integral becomes:

0 π 2 tan ( y ) π tan ( y ) 1 x d x × d y = 0 π 2 ln ( x ) tan ( y ) π tan ( y ) d y \displaystyle\int_{0}^{\frac{\pi}{2}} \int_{\frac{\tan\left(y\right)}{\pi}}^{\tan\left(y\right)}\frac{1}{x} dx \times dy=\displaystyle \int_{0}^{\frac{\pi}{2}} \ln\left(x\right)\Biggr|_{\frac{\tan\left(y\right)}{\pi}}^{\tan\left(y\right)} dy

0 π 2 ( ln tan ( y ) ln ( tan ( y ) π ) ) d y = 0 π 2 ( ln tan ( y ) ln tan ( y ) + ln ( π ) ) d y \displaystyle \int_{0}^{\frac{\pi}{2}} \left(\ln\tan \left(y\right)- \ln\left(\frac{\tan\left(y\right)}{\pi} \right)\right)dy=\displaystyle \int_{0}^{\frac{\pi}{2}} \left(\ln\tan \left(y\right)-\ln\tan \left(y\right) +\ln\left(\pi\right) \right)dy

0 π 2 ln π d y = π × ln π 2 \displaystyle \int_{0}^{\frac{\pi}{2}} \ln\pi dy=\frac{\pi\times\ln \pi}{2}

I had a doubt, If we separate the integrals and then substitute π x = t \pi x=t , then we simply get 0 arctan ( π x ) x d x = 0 arctan ( x ) x d x \int_0^{\infty} \frac{\arctan(\pi x)}{x} dx = \int_0^{\infty} \frac{\arctan(x)}{x} dx and hence answer comes to be 0, but where did I go wrong I am not able to figure out.

Vilakshan Gupta - 1 year, 6 months ago

Log in to reply

Well if we look at how arctan π x \arctan \pi x and arctan x \arctan x changes with respect to x and look at their ratios we can see there is an extra factor of 1 π \frac{1}{\pi} for very large x. Which means they don't exactly equal out even at infinity and we cannot equate them. In a sense arctan π x \arctan \pi x reaches its limit faster than arctan x \arctan x

Amal Hari - 1 year, 6 months ago

Log in to reply

But what I am getting mathematically is that they are exactly equal...by the substitution I told you.

If you substitute π x = t \pi x=t , then π d x = d t \pi dx=dt and then you can see that the factor of π \pi cancels out with the limits of integration also remaining the same. So you see, they are exactly equal since there is no factor of π \pi . Where is the fault then?

Vilakshan Gupta - 1 year, 6 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...