\( \int_{0}^{\infty}\frac{1-\cos x}{x^2}\,dx \)
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
\( \int_{0}^{\infty}\frac{1-\cos x}{x^2}\,dx \)
Use complex analysis methods to prove that: $$\int_{0}^{\infty}\frac{1-\cos x}{x^2}\,dx=\frac{\pi}{2}$$
Imagination is much more important than knowledge.
Re: \( \int_{0}^{\infty}\frac{1-\cos x}{x^2}\,dx \)
Integrating by parts once we have that our integral equals to $\displaystyle \int_0^{\infty} \frac{\sin x}{x} \, {\rm d}x$. Due to the forum the exercise is I assume that we have to calculate the integral using complex analysis. For this purpose consider the function $\displaystyle f(z)=\frac{e^{iz}}{z}$ and integrate it on the counterclockwise contour presented below:Tolaso J Kos wrote:Use complex analysis methods to prove that: $$\int_{0}^{\infty}\frac{1-\cos x}{x^2}\,dx=\frac{\pi}{2}$$
[/centre]
Now since no pole of $f$ is enclosed by the contour we have that $\displaystyle \ointctrclockwise f(z)\, {\rm d}z =0$. Splitting the contour apart to the components it is consisted of we have:
$$\oint_{\gamma}f(z)\, {\rm d}z = \int_{-R}^{\epsilon}f(x)\, {\rm d}x +
\oint_{\mathcal{C}_\epsilon}f(z)\, {\rm d}z + \int_{\epsilon}^{R}f(x)\, {\rm
d}x + \oint_{\mathcal{C}_R} f(z)\, {\rm d}z$$
The contribution of the small circle is actually $-i \pi$ , since:
$$\lim_{\epsilon \to 0} \oint_{\mathcal{C}_{\epsilon}}^{} \! \frac{e^{iz}}{z}
\, {\rm d}z =-i\lim_{\epsilon \to 0}\int_{-\pi}^0 \! e^{i\epsilon
\cos(t)+\epsilon \sin(t)} \, {\rm d}t =-i\int_{-\pi}^0 \! 1 \, {\rm
d}t=- i \pi$$
while the contribution of the large circle is $0$, because of:
$$\lim_{R\rightarrow +\infty}\left | \oint_{\mathcal{C}_R}\frac{e^{iz}}{z}\,
{\rm d}z \right | \leq \lim_{R\rightarrow
+\infty}\int_{0}^{\pi}\frac{{\rm d}t}{e^{R\sin t}}= \int_{0}^{\pi}0\,
{\rm d}t =0$$
Thus:
$$\int_{-\infty}^{0}\frac{e^{iz}}{z}\, {\rm d}z +
\int_{0}^{\infty}\frac{e^{iz}}{z}\, {\rm d}z= i \pi \Leftrightarrow
\int_{-\infty}^{\infty}\frac{e^{iz}}{z}\, {\rm d}z = i \pi$$
Taking the imaginary part and dividing by $\frac{1}{2}$ yields the result.
$\displaystyle \sum_{n=1}^{\infty}\frac{1}{n^s}= \prod_{p \; \text{prime}}\frac{1}{1-p^{-s}}$
-
- Community Team
- Posts: 426
- Joined: Mon Nov 09, 2015 1:52 pm
Re: \( \int_{0}^{\infty}\frac{1-\cos x}{x^2}\,dx \)
Here is another solution using Laplace trasformations.
\(\displaystyle{\begin{aligned} \int_{0}^{\infty}\dfrac{1-\cos\,x}{x^2}\,\mathrm{d}x&=\int_{0}^{\infty}\dfrac{\sin\,x}{x}\,\mathrm{d}x\\&=\int_{0}^{\infty}e^{-x}\,\dfrac{e^x\,\sin\,x}{x}\,\mathrm{d}x\\&=\int_{1}^{\infty}\mathcal{L}(e^x\,\sin\,x)(s)\,\mathrm{d}s\\&=\int_{1}^{\infty}\dfrac{1}{1+(s-1)^2}\,\mathrm{d}s\\&=\left[\arctan\,(s-1)\right]_{1}^{\infty}\\&=\dfrac{\pi}{2}\end{aligned}}\)
since, \(\displaystyle{\lim_{x\to 0}\dfrac{e^x\,\sin\,x}{x}=\lim_{x\to 0}e^x\,\dfrac{\sin\,x}{x}=1}\).
\(\displaystyle{\begin{aligned} \int_{0}^{\infty}\dfrac{1-\cos\,x}{x^2}\,\mathrm{d}x&=\int_{0}^{\infty}\dfrac{\sin\,x}{x}\,\mathrm{d}x\\&=\int_{0}^{\infty}e^{-x}\,\dfrac{e^x\,\sin\,x}{x}\,\mathrm{d}x\\&=\int_{1}^{\infty}\mathcal{L}(e^x\,\sin\,x)(s)\,\mathrm{d}s\\&=\int_{1}^{\infty}\dfrac{1}{1+(s-1)^2}\,\mathrm{d}s\\&=\left[\arctan\,(s-1)\right]_{1}^{\infty}\\&=\dfrac{\pi}{2}\end{aligned}}\)
since, \(\displaystyle{\lim_{x\to 0}\dfrac{e^x\,\sin\,x}{x}=\lim_{x\to 0}e^x\,\dfrac{\sin\,x}{x}=1}\).
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 2 guests