5 votos

Una guía para justificar el cálculo de $\operatorname{Ai}'(0)$: diferenciación bajo el signo integral

Me gustaría saber cómo justificar rigurosamente que $$-\frac{1}{\pi}\int_0^\infty t\sin\left(\frac{t^3}{3}+0\right)dt=\operatorname{Ai}'(0).\tag{1}$$

I've performed the differentiation under the integral sign for the integral representation of the Airy function $\operatorname{Ai}(x)$ y con la ayuda de Wolfram Alpha de la calculadora en línea:

int -1/pi t*sin(t^3/3)dt, from t=0 to infinity

Hice una comparación. He utilizado la fórmula de esta Wikipedia.

Pregunta. Sé que numéricamente mi declaración de $(1)$ es correcto, pero ¿qué datos son necesarios para una rigurosa prueba? Yo sólo pido una guía con sugerencias acerca de lo que está obligado a comprobar, incluso la convergencia de la que resulta inadecuado integral. Muchas gracias.

1voto

Krzysztof Hasiński Puntos 229

Por la adición de la fórmula para$\cos$,$\cos(t^3/3 + xt) = \cos(t^3/3)\cos xt - \sin(t^3/3) \sin xt$.

Si podemos demostrar que $f(x)=\int_0^{\infty} \cos(t^3/3) \cos xt dt$ es diferenciable bajo el signo integral, a continuación, el mismo argumento que va a trabajar para $g(x) = \int_0^{\infty} \sin(t^3/3)\sin xt dt$. Para $g(x)$, tenemos que dividir la integral en $\int_0^1$ $\int_1^{\infty}$ debido a la singularidad en $t=0$.

Integración por partes ($u=(\cos xt)/t^2$, $dv=t^2\cos(t^3/3)dt$) --- mi respuesta anterior había un error en la búsqueda de $du$ --- da $$ f(x) = \frac{\sin(t^3/3)\cos xt}{t^2} \Bigg\vert_0^{\infty} + \int_0^{\infty} \frac{ x t^2\sin xt+2t\cos xt}{t^4} \sin(t^3/3) dt. $$

Consideremos $\lim_{x\rightarrow 0+} \frac{f(x)-f(0)}x$, ya que el $x\rightarrow 0-$ pueden ser tratados de la misma manera. Por lo tanto, vamos a $x_n$ ser una secuencia de números reales positivos convergente a $0$. Entonces $$ \begin{align} \frac{f(x_n)-f(0)}{x_n} &= \int_0^{\infty} \left( \frac{ x_n t^2\sin x_n t+2t(\cos x_n t -1)}{x_nt^4}\right) \sin (t^3/3) dt \end{align} $$ Por el Valor medio Teorema, dentro de la gran paranthesis está delimitado por $C/t^2$ uniformemente en $n$, para algunas de las $C>0$. Por lo tanto, podemos aplicar el Teorema de Convergencia Dominada para obtener $$\begin{align} \lim_{n\rightarrow\infty} \frac{f(x_n)-f(0)}{x_n} &= \int_0^{\infty} \lim_{n\rightarrow\infty} \left( \frac{ x_n t^2\sin x_n t+2t(\cos x_n t -1)}{x_nt^4}\right) \sin (t^3/3) dt < \infty.\end{align} $$ Por lo tanto, los resultados son los mismos con $x=0$ enchufado a la expresión de $f'$ después diferenciadas en virtud de integral.

Deje $g(x)=g_1(x)+g_2(x)$ donde la integral se realiza como $\int_0^1$$g_1$$\int_1^{\infty}$$g_2$. A continuación, $g_1'$ bajo el signo integral se justifica por el Teorema de Convergencia Dominada, sin recurrir a la integración por partes. Tratamos $g_2$ con la integración de las partes.

Integración por partes ($u=(\sin xt)/t^2$, $dv=t^2\sin(t^3/3)$) da $$ g_2(x) = \frac{-\cos(t^3/3)\pecado xt}{t^2} \Bigg\vert_1^{\infty} + \int_1^{\infty} \frac{xt^2\cos xt-2t\pecado xt}{t^4} \cos(t^3/3) dt. $$

Consideremos $\lim_{x\rightarrow 0+} \frac{g_2(x)-g_2(0)}x$, ya que el $x\rightarrow 0-$ pueden ser tratados de la misma manera. Por lo tanto, vamos a $x_n$ ser una secuencia de números reales positivos convergente a $0$. Entonces $$ \begin{align} \frac{g_2(x_n)-g_2(0)}{x_n} &= \cos(1/3)\frac{\sin x_n}{x_n}+\int_1^{\infty} \left( \frac{x_nt^2\cos x_nt - 2t\sin x_n t}{x_nt^4}\right) \cos (t^3/3) dt \end{align} $$ Por el Valor medio Teorema, dentro de la gran paranthesis está delimitado por $C/t^2$ uniformemente en $n$, para algunas de las $C>0$. Por lo tanto, podemos aplicar el Teorema de Convergencia Dominada para obtener $$\begin{align} \lim_{n\rightarrow\infty} \frac{g_2(x_n)-g_2(0)}{x_n} &= \cos(1/3)\frac{\sin x_n}{x_n}+ \int_1^{\infty} \lim_{n\rightarrow\infty} \left( \frac{x_nt^2\cos x_nt - 2t\sin x_n t}{x_nt^4}\right) \cos (t^3/3) dt\\ &= \cos(1/3) + \int_1^{\infty} \left(\frac1{t^2}-\frac2{t^2}\right)\cos(t^3/3)dt\end{align} $$ Por lo tanto, los resultados son los mismos con $x=0$ enchufado a la expresión de $g_2'$ después diferenciadas en virtud de integral. De hecho, la integración por partes ($u=1/t $, $dv=t^2\sin(t^3/3)dt$) $$ \int_1^{\infty} t\sin(t^3/3) dt=\cos(1/3) + \int_1^{\infty} \left(-\frac1{t^2} \right)\cos(t^3/3)dt. $$

1voto

jbwiv Puntos 466

Vamos a probar una más general resultado. Deje $\varphi\in C^{(1)}[0,\infty) \land \big(|\varphi(t)|<1,\,\forall t\in[0,\infty)\big)$. Deje $f(t,x) = \varphi\big(\frac{t^3}3+xt\big)$. Vamos a mostrar la diferenciación en virtud de la integral de las obras para todos $x\ge 0$. $I(x)=\int_0^\infty f(t,x)dt$. Tenemos que mostrar $$\lim_{\delta\to 0}\int_0^\infty \frac{f(t,x+\delta)-f(t,x)}{\delta}dt = \int_0^\infty \lim_{\delta\to 0}\frac{f(t,x+\delta)-f(t,x)}{\delta}dt. \tag1$$

Definir \begin{align} I_1(x) &:= \int_0^1\varphi\big(\frac{t^3}3+xt\big)\,dt \\ I_2(x) &:= \int_1^\infty\varphi\big(\frac{t^3}3+xt\big)\,dt \end{align} Considere la posibilidad de $I_2$ primera.

Deje $u:=\frac{t^3}3+xt$. Seguramente $u>0$. $$u<\frac{(t+x)^3}3\Longleftrightarrow (3u)^\frac13-x<t,\,\forall (t>1\land x\ge0). \tag2$$ Ahora $(u,x)$ es la variable independiente, mientras que $t$ se convierte en una función de $(u,x)$ y se denota como a $t(u,x)$. $$1 = (t^2+x)\frac{\partial t}{\partial u}$$ $$0=t^2\frac{\partial t}{\partial x}+t+x\frac{\partial t}{\partial x}\Longleftrightarrow \frac{\partial t}{\partial u}=-\frac{t}{t^2+x}$$ $$\frac{\partial}{\partial x}\frac1{t(u,x)^2+x}=-\frac{2t\frac{\partial t}{\partial x}+1}{(t^2+x)^2}=\frac1{(t^2+x)^2}\frac{t^2-x}{t^2+x},$$

$$I_2(x)=\int_{\frac13+x}^\infty \frac{\varphi(u)}{t^2+x}du,$$ y $$\frac{I_2(x+\delta)-I_2(x)}\delta=J_{2,1}-J_{2,2}$$ donde \begin{align} J_{2,1}&:=\int_{\frac13+x}^\infty\varphi(u)g(u,x,\delta)du \\ J_{2,2}&:= \frac1\delta\int_{\frac13+x}^{\frac13+x+\delta}\frac{\varphi(u)}{t(u,x+\delta)^2+x+\delta}\,du, \end{align} donde \begin{align} g(u,x,\delta) &:= \frac1\delta\Big(\frac1{t(u,x+\delta)^2+x+\delta}-\frac1{t(u,x)+x}\Big) \\ &=\frac1{(t(u,x+\theta\delta)^2+x+\theta\delta)^2}\frac{t(u,x+\theta\delta)^2-(x+\theta\delta)}{t(u,x+\theta\delta)^2+(x+\theta\delta)} \end{align} para algunos la función $\theta:=\theta(u,x,\delta)\in[0,1]$ con la segunda ecuación procedentes de expansión de Taylor de primer orden.

Por la desigualdad (2), para alguna función positiva $C$, $\forall u>C(x)$, $$t(u,x)^2+x>((3u)^\frac13-x)^2+x>u^\frac23,$$ $$0<\frac{t(u,x)^2-x}{t(u,x)^2+x}\le 1$$ $\forall u>C(u+\Delta),\ \forall \delta<\Delta$, para algunas de las $\Delta>0$, $$0<g(u,x,\delta)<\frac1{u^\frac43}$$ Así $$\int_{C(x+\Delta)}^\infty g(u,x,\delta)\varphi(u)du<\int_{C(x+\Delta)}^\infty\frac1{u^\frac43}du<\infty$$ Para $g(u,x,\delta)$ es continua para $(u,\delta)$ sobre un conjunto compacto $\big[\frac13+x,C(x+\Delta)\big]\times[0,\Delta]$ y por lo tanto está limitada por cualquier $x>0$. Por lo tanto podemos aplicar el Lebesgue del teorema de convergencia dominada a la integral de la $J_{2,1}$$\delta\to0$.

Es fácil ver $J_{2,2}\to\frac{\varphi(\frac13+x)}{1+x}$ $\delta\to0$ ya que el integrando es continuo en un conjunto compacto.

Ahora consideramos $$\frac{I_1(x+\delta)-I_1(x)}{\delta} =\int_0^1\frac1\delta\Big(\varphi\Big(\frac{t^3}3+x+\delta\Big)-\varphi\Big(\frac{t^3}3+x\Big)\Big)\, dt =\int_0^1\varphi'\Big(\frac{t^3}3+x+\theta_1\delta\)\, dt $$ para algunos la función $\theta_1:=\theta_1(\frac{t^3}3+x,\delta)\in[0,1]$. Como $\varphi\in C^{(1)}$ sobre un conjunto compacto, es uniformemente acotada con respecto a $(t,\delta)$ cualquier $x$. Por lo tanto, podemos aplicar de nuevo Lebesgue del teorema de convergencia dominada para la integral anterior.

Resumiendo la ecuación (1) queda demostrado.

0voto

Elliot Labs Puntos 172

Si entiendo tu pregunta correctamente, usted se está preguntando cómo se deriva la solución Aireada de la función como un complejo integral de Riemann?

Si es así, considere la ecuación de Airy:

$$ (1) \qquad \frac{d^2 y}{dx^2} - xy = 0 $$

Si realizamos la búsqueda de un contorno solución integral en alguna función desconocida, más general contorno $C$ en el plano complejo.

$$ y(x) = \int _C f(z) e^{xz} dz $$

La inserción de esta en (1) podemos encontrar:

$$ \int _C ( z^2 -x) f(z) e^{xz} dz = 0 $$

Luego nos integrar la negativa de bits por partes:

$$ 0 = - f(z)e^{xz} \bigg|_C + \int _C \bigg( z^2f + \frac{df}{dz}\bigg) e^{xz} dz $$

Si elegimos $f(z) = e^{- z^3/3}$ a continuación, debemos insistir en que en los puntos finales de la curva de nivel:

$$ f(z)e^{xz} \bigg|_C = e^{-z^3/3 + zx} \bigg|_C = 0 $$

Hay entonces tres regiones $j_{1,2,3}$ positivo coseno donde el contorno se desvanece en el plano complejo que nos da tres funciones, una para cada región.

$$ f_j = \frac{1}{2\pi} i \int _{C_j} e^{- z^3/3+ xz} dz $$

Podemos definir la función de Airy como la solución anterior evaluados en una de estas regiones. La función se expresa como:

$$ \operatorname{Ai}(x) = \frac 1 \pi \int ^\infty_0 \cos ( z^3/ + xz) dz = \frac {1}{2\pi} \int ^\infty _0 e^{i(z^3/3 _xz) }dz + \frac {1}{2\pi} \int ^\infty _ 0 e^{i(z^3/3 _xz)} dz $$

El uso de Jordania lema girar la integral en sentido anti-horario en la primera de las agujas del reloj y en el segundo integrando. Esto resultará en:

$$ \operatorname{Ai}(x) = \frac 1{2\pi} \int ^\infty _0 e^{ i (z^3/3 e^{3i\theta} + xze^{i\theta})} + \frac 1{2\pi} \int ^\infty _0 e^{- i (z^3/3 e^{-3i\theta} + xze^{-i\theta})} e^{-i\theta}dz $$

Luego nos ordenarlas exponentes a converger:

$$ \operatorname{Ai}(x) = \frac 1 \pi \Re \bigg( \int ^\infty_ 0 e^{\frac{z^3}{3} ( - \sin(3\theta) + i \cos (3\theta)) + xz(-\sin (\theta) + i \cos(\theta)) + i\theta} dz\bigg) $$

Ahora vamos a utilizar la siguiente integral de seguros de la convergencia:

$$ \int ^\infty _0 z^\lambda \cos (\frac {z^3}{3} + xz)dz = \frac 1 3 \int ^\infty_0 z^{\frac{(\lambda - 2)}{3}} \cos( \frac 1 3 z + x z^{\frac 1 3})dz $$

En respuesta concreta a tu pregunta, la diferenciación bajo el signo integral:

$$ \frac{d}{dx}\int ^b_a f(x,z) dz = \int ^b_a \frac{\partial f(x,z)}{\partial x} dz $$

No se puede utilizar debido a que no estamos seguros de que el R. H. S existe. Es por eso que realizar el giro para asegurar de una manera exponencial convergente integrando.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X