Tuesday, 30 May 2017

Fresnel Integrals via Differentiation under the Integral Sign




I've been trying to compute $\int_{-\infty}^{\infty}sin( x^2)dx$ via the feynman method with no luck. I was able to compute the Gaussian integral. The trick failed for fresnel integrals. Any suggestions?
here is what ive did for the gaussian



$I(t)=(\int_{0}^{t}exp( \frac{-x^2}{2})dx)^2 \\ \frac{\mathrm{d} I(t)}{\mathrm{d} t} = 2 \cdot exp(\frac{-t^2}{2})\cdot \int_0^{t}exp( \frac{-x^2}{2})dx \\ x=tb \\ \frac{\mathrm{d} I(t)}{\mathrm{d}} = 2 \cdot exp(\frac{-t^2}{2})\cdot \int_0^{1}t\cdot exp( \frac{-t^2b^2}{2})db = \int_0^1 2 \cdot t \cdot exp(\frac{-(1+b^2)t^2}{2})db \\ \int_0^1 2 \cdot t \cdot exp(\frac{-(1+b^2)t^2}{2})db = -2 \cdot \frac{d}{dt} \int_0^1 \frac {exp(\frac{(-1+b^2)t^2}{2})}{1+b^2}db \\ B(t) = \int_0^1 \frac {exp(\frac{(-1+b^2)t^2}{2})}{1+b^2}db \\ \frac{dI}{dt} = -2 \cdot \frac{dB}{dt} \\ I(t) = -2B(t) + C \\ t \to 0 \\C= \frac{-\pi}{2} \\ t \to \infty \\B(\infty)=0 \\I(\infty)=\frac{\pi}{2} \Rightarrow \int_{0}^\infty exp(\frac{-t^2}{2})= \sqrt{\frac{\pi}{2}} $


Answer



Let
$$
S(t)=\int_{0}^{t}\sin(x^{2})\,dx\quad\text{and}\quad C(t)=\int_{0}^{t}\sin(x^{2})\,dx\,.
$$
Using the identities

$$
\sin(x^{2})=-\frac{1}{2x}\frac{d}{dx}\cos(x^{2})\quad\text{and}\quad\cos(x^{2})=\frac{1}{2x}\frac{d}{dx}\sin(x^{2})\,,
$$
integrating by parts over $[1,t]$, and passing to the limit as $t\to\infty$, one shows that there exist
$$
\lim_{t\to\infty}S(t)=S_{\infty}\in\mathbb{R}\quad\text{and}\quad\lim_{t\to\infty}C(t)=C_{\infty}\in\mathbb{R}\,.
$$
Moreover, since
$$
S_{\infty}=\int_{0}^{\infty}\frac{\sin y}{2\sqrt y}\,dy=\sum_{k=0}^{\infty}(-1)^{k}a_{k}\quad\text{where}\quad a_{k}=\int_{k\pi}^{(k+1)\pi}\frac{|\sin y|}{2\sqrt y}\,dy

$$
and $00$. To evaluate $S_{\infty}$ with the Feynman method, let us introduce the mappings
$$
f(t)=\left(\int_{0}^{t}\sin(x^{2})\,dx\right)^{2}+\left(\int_{0}^{t}\cos(x^{2})\,dx\right)^{2},\quad
g(t)=\int_{0}^{1}\frac{\sin(t^{2}(1-x^{2}))}{1-x^{2}}\,dx\,.
$$
We can check that $f'(t)=g'(t)$ and $f(0)=g(0)$, hence $f(t)=g(t)$ for every $t\ge 0$. Since
$$
g(t)=\int_{0}^{t^{2}}\frac{\sin(2x+x^{2}/t^{2})}{2x+x^{2}/t^{2}}\,dx\to\int_{0}^{\infty}\frac{\sin(2x)}{2x}\,dx=\frac{\pi}{4}\quad\text{as }t\to\infty\,,
$$

we obtain that
$$
S_{\infty}^{2}+C_{\infty}^{2}=\frac{\pi}{4}\,.
$$
Proving that
$$
(*)\qquad S_{\infty}^{2}=C_{\infty}^{2}\,,
$$
we conclude that $S_{\infty}=\sqrt{\pi/8}$. To show $(*)$ we introduce the mappings
$$

F(t)=\left(\int_{0}^{t}\cos(x^{2})\,dx\right)^{2}-\left(\int_{0}^{t}\sin(x^{2})\,dx\right)^{2},\quad
G(t)=\int_{0}^{1}\frac{\sin(t^{2}(1+x^{2}))}{1+x^{2}}\,dx\,.
$$
One can check that $F'(t)=G'(t)$ and $F(0)=G(0)$, hence $F(t)=G(t)$ for every $t\ge 0$ and in particular
$$
C_{\infty}^{2}-S_{\infty}^{2}=\lim_{t\to\infty}G(t)=\lim_{t\to\infty}\int_{0}^{t}\frac{t}{y^{2}+t^{2}}\,\sin(y^{2}+t^{2})\,dy\,.
$$
We split
$$
\int_{0}^{t}\frac{t}{y^{2}+t^{2}}\,\sin(y^{2}+t^{2})\,dy=\int_{0}^{1}\frac{t}{y^{2}+t^{2}}\,\sin(y^{2}+t^{2})\,dy+\int_{1}^{t}\frac{t}{y^{2}+t^{2}}\,\sin(y^{2}+t^{2})\,dy

$$
and we observe that
$$
\left|\int_{0}^{1}\frac{t}{y^{2}+t^{2}}\,\sin(y^{2}+t^{2})\,dy\right|\le\frac{1}{t}
$$
whereas
\begin{equation*}
\begin{split}
\int_{1}^{t}\frac{t}{y^{2}+t^{2}}\,\sin(y^{2}+t^{2})\,dy&=\left[-\frac{t\cos(y^{2}+t^{2})}{2y(y^{2}+t^{2})}\right]_{y=1}^{y=t}\\
&\qquad-\frac{1}{2t}\int_{1}^{t}\frac{3t^{2}y^{2}+t^{4}}{y^{2}(y^{4}+2t^{2}y^{2}+t^{4})}\,\cos(y^{2}+t^{2})\,dy

\end{split}
\end{equation*}
and one can easily see that each term tends to zero as $t\to\infty$. Hence $(*)$ is proved.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...