I'm looking at: $$\int_{-\infty}^\infty \sin(2cx)\frac{1-2x^2-\cos(2x)}{2x^3}dx$$ How come this converges for $c \in \mathbb{R}$? And how does mathematica compute it as: $$\frac{\pi \left(-2 \left(c^2+1\right) \left| c\right| +(c-1) c \left| c-1\right| +c (c+1) \left| c+1\right| \right)}{2 c}$$
-
Please post the Mathematica code so we don't have to type it! – mjw Feb 11 '20 at 03:00
-
Integrate[ Sin[2 x c] (-((-1 + 2 x^2 + Cos[2 x])/(2 x^3))), {x, -Infinity, Infinity}] – mtheorylord Feb 11 '20 at 03:00
-
Takes quite a while to compute! – mjw Feb 11 '20 at 03:02
-
You can tell Mathematica something about $c$. For example, try $\texttt{Assuming}[c>1], ...$ – mjw Feb 11 '20 at 03:05
-
Why would you expect it not to converge? By the way, looks like the answer is zero. – mjw Feb 11 '20 at 03:08
-
For $c>1$ it is zero, each part in the sum individually doesn't converge, and cosine is bounded – mtheorylord Feb 11 '20 at 03:09
1 Answers
First, the convergence analysis:
- Observe that for $x$ small we have $1 - 2x^2 - \cos(2x) = O(x^4)$, and so the integral is not singular near the origin.
- When $|x|$ is large, the integral $\displaystyle \int\sin(2cx) \frac{1 - \cos(2x)}{2x^3} dx$ is absolutely integrable.
- The remaining term is $\displaystyle \int \frac{\sin(2cx)}{x} dx$ which rescales to the well-known sinc integral.
To evaluate the integral $\displaystyle \int \sin(2cx) \frac{1 - \cos(2x)}{2x^3} dx$ observe that since the function is even we can write it as
$$ 2 \lim_{a \to 0^+} \lim_{b \to \infty} \int_a^b \frac{\sin(2cx)}{2x^3} - \frac{\sin(2cx + 2x) + \sin(2cx - 2x)}{4x^3} dx $$
Integrating by parts we have that
$$ \int \frac{\sin(2Ax)}{2x^3} dx = - \frac{\sin(2Ax)}{x^2} + 2A \int \frac{\cos(2Ax)}{x^2} dx \\= - \frac{\sin(2Ax)}{x^2} - 2A \frac{\cos(2Ax)}{x} + (2A)^2 \int \frac{\sin(2Ax)}{x} ~dx $$
Doing some algebra we are essentially down to looking at
$$ \lim_{a \to 0^+} \frac{\sin(2ca)}{a^2} + 2c \frac{\cos(2ca)}{a} - \frac{\sin(2(c+1)a)}{2a^2} - (c+1) \frac{\cos(2(c+1)a)}{a} - \frac{\sin(2(c-1)a)}{2a^2} - (c-1) \frac{\cos(2(c-1)a)}{a} $$
plus a bunch of sinc integrals. This limit can be evaluated using L'Hospital's rule to yield zero.
This means that the original integral can be simplified as the sum of a bunch of sinc integrals.

- 73,139