A FAMILY OF LOG INTEGRALS
I saw this integral today in Twitter which is related to a family of integrals, and this post is dedicated to proof the following results and find the value of some particular cases of
Lets start with the first integral:
Consider first the following substitution , than:
(1)
Now recall the well known result proved here
Differentiating both sides with respect to we get
(2)
Comparing (1) and (2), we see that letting , we obtain
or
(3)
And the first result is proved.
Now, if we let in (3) we get
(4)
since .
for
(5)
for
(6)
Now consider the second integral, namely:
let
(7)
on the other hand from (2)
differentiating the above equation with respect to
(8)
Comparing (7) and (8), and setting and the second result is established
(9)
for
(10)
for
(11)
for
(12)
The third integral
letting we obtain
Differentiating both sides of (8) with respect to we get
(13)
and we obtain
(14)
for
(15)
for
(16)
for
(17)
For the last integral
let
(18)
Differentiating both sides of (13) with respect to a we get
(19)
Comparing (18) and (19) we conclude that
(20)
If we let we obtain
(21)
If we let we get
(22)
If we let we obtain
(23)
Ricardo Albahari
There's a mistake in the calculations in line (19). It should be (5+28cot^2 + 24^cot^24)/sin. Thanks for this very interesting derivation!
ReplyDelete