$\int_0^\infty \frac{\log x \sin x}{x}\, dx$
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
$\int_0^\infty \frac{\log x \sin x}{x}\, dx$
Prove that:
$$\int_0^\infty \frac{\log x \sin x}{x}\, {\rm d}x = - \frac{\gamma \pi}{2}$$
where $\gamma$ stands for Euler - Mascheroni constant.
$$\int_0^\infty \frac{\log x \sin x}{x}\, {\rm d}x = - \frac{\gamma \pi}{2}$$
where $\gamma$ stands for Euler - Mascheroni constant.
Imagination is much more important than knowledge.
Re: $\int_0^\infty \frac{\log x \sin x}{x}\, dx$
We might begin with the observation that, for $\mathfrak{Re}(s) < 1$, the integral $\displaystyle \int_{\gamma_r} z^{s-1}e^{iz}\,dz$ vanishes over the contour $\gamma_r = [0,r] \cup re^{i[0,\pi/2]}\cup [ir,0]$.
Since, \begin{align*}\left|\int_{[re^{i[0,\pi/2]}]} z^{s-1}e^{iz}\,dz\right| &\le \int_0^{\pi/2} r^{\mathfrak{Re}(s)}e^{|\mathfrak{I}(s)|\pi/2}e^{-r\sin \theta}\,d\theta\\& \le r^{\mathfrak{Re}(s)}e^{|\mathfrak{I}(s)|\pi/2}\int_0^{\pi/2} e^{-2r\theta/\pi}\,d\theta \qquad \text{ (Jordan's Inequality) }\\& = \frac{\pi}{2}r^{\mathfrak{Re}(s)-1}e^{|\mathfrak{I}(s)|\pi/2}(1-e^{-r})\end{align*}
Therefore, the integrals over the arc: $r[0,\pi/2]$ vanishes as $r \to 0^{+}$ and $r \to +\infty$.
Hence, $$\int_0^{\infty} z^{s-1}e^{iz}\,dz - \int_0^{i \infty} z^{s-1}e^{iz}\,dz = 0$$
or, $$\int_0^{\infty} z^{s-1}e^{iz}\,dz = e^{i\pi s/2}\int_0^{\infty} z^{s-1}e^{-z}\,dz = e^{i\pi s/2}\Gamma(s)$$
Thus, \begin{align*}&\int_0^{\infty} x^{s-1}\sin x\,dx &=& \sin \left(\frac{\pi s}{2}\right)\Gamma (s)\\ \implies & \int_0^{\infty} x^{s-1}\sin x \log x\,dx &=& \frac{\partial}{\partial s}\left(\sin \left(\frac{\pi s}{2}\right)\Gamma (s)\right)\\ \implies & \int_0^{\infty} \frac{\sin x \log x}{x}\,dx &=& \lim\limits_{s \to 0^{+}} \frac{\frac{\pi}{2}\cos \frac{\pi s}{2} + \psi (s)\sin \frac{\pi s}{2}}{s}\\&&=& \frac{\pi}{2}\lim\limits_{s \to 0^{+}} \left(\frac{1}{s}+\psi(s)\right)\\&&=& -\frac{\gamma \pi}{2}\end{align*}
Since, \begin{align*}\left|\int_{[re^{i[0,\pi/2]}]} z^{s-1}e^{iz}\,dz\right| &\le \int_0^{\pi/2} r^{\mathfrak{Re}(s)}e^{|\mathfrak{I}(s)|\pi/2}e^{-r\sin \theta}\,d\theta\\& \le r^{\mathfrak{Re}(s)}e^{|\mathfrak{I}(s)|\pi/2}\int_0^{\pi/2} e^{-2r\theta/\pi}\,d\theta \qquad \text{ (Jordan's Inequality) }\\& = \frac{\pi}{2}r^{\mathfrak{Re}(s)-1}e^{|\mathfrak{I}(s)|\pi/2}(1-e^{-r})\end{align*}
Therefore, the integrals over the arc: $r[0,\pi/2]$ vanishes as $r \to 0^{+}$ and $r \to +\infty$.
Hence, $$\int_0^{\infty} z^{s-1}e^{iz}\,dz - \int_0^{i \infty} z^{s-1}e^{iz}\,dz = 0$$
or, $$\int_0^{\infty} z^{s-1}e^{iz}\,dz = e^{i\pi s/2}\int_0^{\infty} z^{s-1}e^{-z}\,dz = e^{i\pi s/2}\Gamma(s)$$
Thus, \begin{align*}&\int_0^{\infty} x^{s-1}\sin x\,dx &=& \sin \left(\frac{\pi s}{2}\right)\Gamma (s)\\ \implies & \int_0^{\infty} x^{s-1}\sin x \log x\,dx &=& \frac{\partial}{\partial s}\left(\sin \left(\frac{\pi s}{2}\right)\Gamma (s)\right)\\ \implies & \int_0^{\infty} \frac{\sin x \log x}{x}\,dx &=& \lim\limits_{s \to 0^{+}} \frac{\frac{\pi}{2}\cos \frac{\pi s}{2} + \psi (s)\sin \frac{\pi s}{2}}{s}\\&&=& \frac{\pi}{2}\lim\limits_{s \to 0^{+}} \left(\frac{1}{s}+\psi(s)\right)\\&&=& -\frac{\gamma \pi}{2}\end{align*}
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
Re: $\int_0^\infty \frac{\log x \sin x}{x}\, dx$
Nicely done. Here is another approach using the MAZ identity which is:
$$\int_0^\infty \frac{\log x \sin x}{x}\, {\rm d}x = -\int_0^\infty \frac{\log y +\gamma}{y^2+1}\, {\rm d}y =-\frac{\gamma \pi}{2}$$
since $\displaystyle \int_0^{\infty} \frac{\ln x}{x^2+1}\, {\rm d}x =0$. (easy to prove)
Applying the above identity it is easy to note that $\mathcal{L}^{-1} \left\{\frac{\log x}{x}\right\}= -\log y -\gamma$ and we already know that $\mathcal{L}\{\sin x\}= \frac{1}{y^2+1}$. Hence:MAZ identity
Let $g, h$ be two functions and let $G, H$ be their Laplace Transforms respectively. Then the equation:
$$\int_0^\infty g(x) H(x) \, {\rm d}x = \int_0^\infty G(x) h(x) \, {\rm d}x$$
holds.
$$\int_0^\infty \frac{\log x \sin x}{x}\, {\rm d}x = -\int_0^\infty \frac{\log y +\gamma}{y^2+1}\, {\rm d}y =-\frac{\gamma \pi}{2}$$
since $\displaystyle \int_0^{\infty} \frac{\ln x}{x^2+1}\, {\rm d}x =0$. (easy to prove)
Imagination is much more important than knowledge.
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 28 guests