# Need help with $\int_0^\infty\left(\pi\,x+\frac{S(x)\cos\frac{\pi x^2}2-C(x)\sin\frac{\pi x^2}2}{S(x)^2+C(x)^2}\right)dx$

Let $$I=\int_0^\infty\left(\pi\,x+\frac{S(x)\cos\frac{\pi x^2}2-C(x)\sin\frac{\pi x^2}2}{S(x)^2+C(x)^2}\right)dx,\tag1$$ where $$S(x)=-\frac12+\int_0^x\sin\frac{\pi t^2}2dt,\tag2$$ $$C(s)=-\frac12+\int_0^x\cos\frac{\pi t^2}2dt\tag3$$ are shifted Fresnel integrals.

Mathematica and Maple return the integral $I$ unevaluated. Numerical integration suggests that $$I\stackrel?=-\frac\pi4,\tag4$$ but I was not able to prove it.

So, I ask for your help with this problem.

• Frankly speaking, the topic is rather of a sporting interest as a very difficult technical problem. A real problem is how to evaluate that with relative error 0.0001. – user64494 Sep 14 '13 at 20:05
• The Maple command $$int(x-> Pi*x+(S(x)*cos((1/2)*Pi*x^2)-C(x)*sin((1/2)*Pi*x^2))/(C(x)^2+S(x)^2) , 0 .. infinity, numeric, method = \_d01amc, epsilon = 0.1e-2)$$ outputs $-.7853969124$. – user64494 Sep 14 '13 at 20:45

## 1 Answer

Notice the integrand can be rewritten as:

$$\pi x + \frac{S C' - C S'}{S^2 + C^2} = \pi x + \frac{1}{2i}\left(\frac{C' - iS'}{C - iS} - \frac{C' + iS'}{C + iS}\right) = \pi x + \frac{1}{2i} \log\left(\frac{C-iS}{C+iS}\right)'$$ The integral is equal to

$$\lim_{x\to\infty} \left[\frac{\pi t^2}{2} + \frac{1}{2i}\log\left(\frac{C(t)-iS(t)}{C(t)+iS(t)}\right)\right]_0^x =\lim_{x\to\infty} \left(\frac{\pi x^2}{2} + \Im ( \log M(x) )\right)$$ where $\displaystyle\quad M(x) = \frac{C(x)-iS(x)}{C(0)-iS(0)}$.

Using $$\int_0^{\infty} \cos \frac{\pi t^2}{2} dt = \int_0^{\infty} \sin \frac{\pi t^2}{2} dt = \frac12,$$ we can simplify $M(x)$ to

\begin{align} \frac{\color{red}{-}\int_{x}^{\infty} e^{-i\frac{\pi}{2} t^2}dt}{\color{red}{-\frac12+\frac12 i}} = & \sqrt{2}e^{i(\color{red}{\frac{\pi}{4}}-\color{blue}{\frac{\pi}{2}x^2})}\int_0^{\infty} e^{-i(\frac{\pi}{2} t^2 + \pi x t)} dt\\ \sim & \frac{\sqrt{2}}{\color{green}{i} \pi x} e^{i(\color{red}{\frac{\pi}{4}}-\color{blue}{\frac{\pi}{2}x^2})}( 1 + O(\frac{1}{x}) ) \quad\text{ for large } x. \end{align} From this, we find the integral equals to $$\lim_{x\to\infty} \left( \frac{\pi x^2}{2} + \color{red}{\frac{\pi}{4}} - \color{green}{\frac{\pi}{2}} - \color{blue}{\frac{\pi x^2}{2}} + O(\frac{1}{x}) \right) = -\frac{\pi}{4}.$$