Posts

Showing posts from October, 2021

INTEGRAL ln x/cosh^2 x \,dx

Image
In this post We will prove the following integral Lets first evaluate the integral (1) Differentiating (1) w.r. to s Now, letting (2) Now recall that (3) And consequently (4) We also have the following relations ( proved here ) and Setting in (3) and (4) we get (5) (6) Plugging (5) and (6) in (2) Appendix Recall the geometric series

MAMLSTEN INTEGRALS - PART I

Image
We will today prove the following integral that belongs to a family of log-log integrals known as Malmsten integrals  which Vardi´s integral is a particular case: Mamlsten Integrals (1) If we let      in (1) we obtain the desired result: (2) Appendix: Cauchy Product Example We have that and , we therefore obtain Evaluation of the integral: Recall the sine of a difference formula And The Fourier series for the LogGamma function proved here If we let       We obtain Or

MOMENTS OF LOGCOS AND LOGSINE

Image
Some fun integrals for Friday: We used (1) (2) (3)

Two Amazing Integrals

Image
Today we will prove the following two amazing integrals (1) (2) In order to prove (1), first recall the following results: (3) (4) Then, (5) If we let and in (5), we get (6) Where We used the result We can rewrite (6) as (7) If we now integrate (7) w.r. to z we have: The evaluation of the constant is a beautiful exercise per se. Fortunately relying on the previous estabilished Vardi´s integral We may accomplish it easily. Setting in the last equation, the L.H.S. becomes Where we used the Vardi´s integral proved here : And The R.H.S. becomes Equating L.H.S. and R.H.S. we conclude that And finally (8) Or (9) Appendix Recall Legendre Duplication Formula for the Gamma Function Letting