Necesita ayuda con $\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$

Question

Que %#% $ de #% donde $$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$ $ $$S(x)=-\frac12+\int_0^x\sin\frac{\pi t^2}2dt,\tag2$ $ son cambiados de puesto integrales de Fresnel.

Mathematica y Maple retorno no evaluado el % integral $$C(s)=-\frac12+\int_0^x\cos\frac{\pi t^2}2dt\tag3$. Integración numérica sugiere que $I$ $ pero yo no era capaz de probarlo.

Por lo tanto, les pido su ayuda con este problema.

Answer 1

Aviso el integrando puede ser reescrita como:

$$\pi x + \frac{S C' - C, S}{S^2 + C^2} = \pi x + \frac{1}{2}\left(\frac{C' es'}{C - es} - \frac{C' + 'es'} {C,+}\right) = \pi x + \frac{1}{2} \log\left(\frac{C-es}{C,+}\right)' $$ La integral es igual a

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

El uso de $$\int_0^{\infty} \cos \frac{\pi t^2}{2} dt = \int_0^{\infty} \sin \frac{\pi t^2}{2} dt = \frac12,$$ podemos simplificar $M(x)$ a

$$\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} $$ A partir de esto, nos encontramos con la integral es igual a $$\lim_{x\to\infty} \left( \frac{\pi x^2}{2} + \color{red}{\frac{\pi}{4}} - \color{verde}{\frac{\pi}{2}} - \color{blue}{\frac{\pi x^2}{2}} + O(\frac{1}{x}) \right) = -\frac{\pi}{4}.$$