Mostrar que $\left|\int_{-n}^{n}e^{iy^2}dy\right|\le 2$ $n\ge 5.$

Question

La pregunta es para mostrar que $$\left|\int_{-n}^{n}e^{iy^2}dy\right|\le 2$$
cuando $n\geq5$, $x \in \mathbb R $ y $i$ es una unidad imaginaria.

Mi esfuerzo:
$$|\int_{-n}^{n}e^{iy^2}dy|\leq \int_{-n}^{n}|e^{iy^2}|dy=\int_{-n}^{n}|\cos(y^2)+i\sin(y^2)|dy$$
$$ \leq \int_{-n}^{n}|\cos(y^2)|dy+\int_{-n}^{n}|i||\sin(y^2)|dy$$
$$\leq \int_{-n}^{n}|\cos(y^2)|dy+\int_{-n}^{n}|\sin(y^2)|dy$$

También se sabe que $|\cos(x)|,|\sin(x)|\leq1$
pero su lleva a ninguna parte integral desde luego evalutes a $0$..

Algún consejo?

Answer 1

$$\left|\int_{-n}^{n}e^{iy^2}dy\right|^2 =\left|\int_{-n}^{n}\cos{y^2}dy +i\int_{-n}^{n}\sin{y^2}dy\right|^2 \\= 4\left(\int_{0}^{n}\cos{y^2}dy \right)^2 + 4\left(\int_{0}^{n}\sin{y^2}dy \right)^2\\= 4[I^2_n + J^2_n]$$ Esto es de alguna manera relacionados con este: Demostrar únicamente por la transformación que: $ \int_0^\infty \cos(x^2) dx = \int_0^\infty \sin(x^2) dx $. Empleando el cambio de las variables de $2u =x^2$ Tenemos $$I_n=\int_0^n\cos(x^2) dx =\frac{1}{\sqrt{2}}\int^{n^2/2}_0\frac{\cos(2x)}{\sqrt{x}}\,dx$$ $$ J_n=\int_0^n \sin(x^2) dx=\frac{1}{\sqrt{2}}\int^{n^2/2}_0\frac{\sin(2x)}{\sqrt{x}}\,dx $$ Utilizando el mismo cambio de variables como el aquí uno obtener fácilmente

$$J_n = \frac{\sin^2 \frac{n^2}{2}}{n}+\frac{1}{2\sqrt{2}} \int^{\frac{n^2}{2}}_0\frac{\sin^2 x}{x^{3/2}}\,dx < \frac{1}{n}+\frac{1}{2\sqrt{2}} \int^{\infty}_0\frac{\sin^2 x}{x^{3/2}}\,dx $$ y $$I_n =\frac{1}{2} \frac{\sin 2 n^2}{n} +\frac{1}{4 }\frac{\sin^2 \frac{n^2}{2}}{n} +\frac{3}{8\sqrt{2}} \int^{\frac{n^2}{2}}_0\frac{\sin^2 x}{x^{5/2}}\,dx \\< \frac{3}{4n} +\frac{3}{8\sqrt{2}} \int^{\infty}_0\frac{\sin^2 x}{x^{5/2}}\,dx $$ Desde $0\le \sin^2 x\le 1$. A partir de esto tenemos, $$\int^\infty_0\frac{\sin^2 x}{x^{5/2}}\,dx = \frac{4\sqrt \pi}{3}$$ así mismo, se $$\int^{\infty}_0\frac{\sin^2 x}{x^{3/2}}\,dx =\sqrt\pi$$

De dónde,
$$J_n < \frac{1}{n}+\frac{\sqrt\pi}{2\sqrt{2}}= \frac{1}{n}+ \sqrt{\frac{\pi}{8}} $$ y $$I_n < \frac{3}{4n}+\frac{\sqrt\pi}{2\sqrt{2}} = \frac{3}{4n}+ \sqrt{\frac{\pi}{8}} $$ Desde entonces,

$$\color{red}{\lim_{n\to\infty}4 \left[ \left(\frac{3}{4n}+ \sqrt{\frac{\pi}{8}} \right)^2+ \left(\frac{1}{n}+ \sqrt{\frac{\pi}{8}} \right)^2\right] = \pi <4}$$

Que es muy grande $n$ somos, $$\color{red}{\left|\int_{-n}^{n}e^{iy^2}dy\right| = 2[I^2_n + J^2_n]^{1/2} \le 2\left[ \left(\frac{3}{4n}+ \sqrt{\frac{\pi}{8}} \right)^2+ \left(\frac{1}{n}+ \sqrt{\frac{\pi}{8}} \right)^2\right]^{1/2}<2}$$

Answer 2

Por la simetría y el cambio de variable $y^2=x$ hemos $$ \int_{-n}^{n}e^{-iy^2}\,dy = \int_{0}^{n^2}e^{-ix}\frac{dx}{\sqrt{x}}.\tag{A}$$ Por integración por partes la RHS de $(A)$ se convierte en $$ \left[\frac{-i+ie^{-ix}}{\sqrt{x}}\right]_0^{n^2}+\int_{0}^{n^2}\frac{-i+ie^{-ix}}{2x\sqrt{x}}\,dx\tag{B} $$ y la función de $\left|\frac{-i+ie^{-ix}}{2x\sqrt{x}}\right|=\frac{\left|\sin\frac{x}{2}\right|}{x\sqrt{x}}$ está delimitado por $\frac{1}{x\sqrt{x}}$ cualquier $x\geq \pi$ y $\frac{1}{2\sqrt{x}}$ sobre el intervalo de $(0,\pi)$. Por la desigualdad de triángulo se sigue que

$$ \left|\int_{-n}^{n}e^{-iy^2}\,dy\right|\leq \frac{2}{n^2}+\int_{0}^{\pi}\frac{dx}{2\sqrt{x}}+\int_{\pi}^{+\infty}\frac{dx}{x\sqrt{x}}\leq 3\tag{C} $$ para cualquier $n\geq 5$. La última desigualdad se puede refinar aún más mediante la aplicación de un paso adicional de integración por partes después de $(B)$. En realidad $$ \left|\int_{-n}^{n}e^{-iy^2}\,dy\right|\to \sqrt{\pi} \tag{D}$$ como $n\to +\infty$, por lo tanto para cualquier $\varepsilon>0$ la desigualdad $$ \left|\int_{-n}^{n}e^{-iy^2}\,dy\right|\leq \sqrt{\pi}+\varepsilon \tag{E}$$ vale para cualquier $n$ lo suficientemente grande. También tenemos $$ \int_{n^2}^{+\infty}\frac{e^{-iz}}{\sqrt{z}}\,dz \stackrel{\mathcal{L}}{=} e^{-in^2}\int_{0}^{+\infty}\frac{e^{-n^2 s}}{(i+s)\sqrt{\pi s}}=\frac{2 e^{-in^2}}{\sqrt{\pi}}\int_{0}^{+\infty}\frac{e^{-n^2 t^2}}{t^2+i}\,dt \tag{F}$$ así que por el triángulo de la desigualdad y la de Cauchy-Schwarz desigualdad se sigue que $$ \left|\int_{-n}^{n}e^{-iy^2}\,dy\right|\leq \sqrt{\pi}+\frac{\pi^{1/4}}{\sqrt{2n}}.\tag{G} $$ Mediante la mezcla de estos dos enfoques (integración por partes, la transformada de Laplace) podemos mejorar la $(G)$ hasta $$ \forall n\geq 2\pi,\qquad \left|\int_{-n}^{n}e^{-iy^2}\,dy\right|\leq \sqrt{\pi}+\frac{1}{2\sqrt{n}}.\tag{H} $$

Answer 3

Un Contorno De Cálculo Integral

Esta estimación es válida para todas las $n\gt0$, y muestra que el obligado es $2$ $n\ge4.5$ (desde $\sqrt\pi\doteq1.77245385$). El contorno en el plano complejo son líneas rectas, y están parametrizadas de forma lineal. $$ \begin{align} \left|\,\int_{-n}^ne^{iy^2}\,\mathrm{d}y\,\right| &\le\left|\,\int_{-n(1+i)}^{n(1+i)}e^{iy^2}\,\mathrm{d}y\,\right| +\left|\,\int_n^{n(1+i)}e^{iy^2}\,\mathrm{d}y\,\right| +\left|\,\int_{-n(1+i)}^{-n}e^{iy^2}\,\mathrm{d}y\,\right|\\ &\le\sqrt2\int_{-n}^ne^{-2y^2}\,\mathrm{d}y +2\int_0^1e^{-2n^2t}n\,\mathrm{d}t\\[3pt] &\le\sqrt\pi+\frac1n \end{align} $$

---

Esto es bastante buena

Aquí es la trama de el valor real de la integral frente a la estimación anterior vs $2$:

Tenga en cuenta que el primer máximo después de $n=4.5$ es el primero que está a menos de $2$.