5 votos

Demostrando que la función$f(x) = \int_0^\infty \cos (w^3/3 - x w ) d w$ satisface la ecuación$f'' + x f = 0$

Se supone que$x$ es real.

Formalmente, tenemos

ps

y por lo tanto

ps

El problema es que$$ f'' = \int_0^\infty -\cos (w^3/3 - x w ) w^2 d w , $ no converge como$$f'' + x f = \int_0^\infty \cos (w^3/3 - x w ) (-w^2 + x ) d w \\ = -\int_0^\infty \cos (w^3/3 - x w ) d(w^3/3 - x w ) \\ = - \sin(w^3/3- x w ) |_0^\infty . $.

Aparentemente, el problema radica en el hecho de que la expresión para$\sin(w^3/3- x w ) $ no está bien definida --- no converge.

Entonces, ¿alguien podría dar una simple prueba elemental?

2voto

Andreas Puntos 36

Su derivación es fina y conduce a una forma ambigua, como estado. Para explicar esto, considere el siguiente.

Su integral es $$ -\int_0^\infty \cos (w^3/3 - x w ) d(w^3/3 - x w ) $$ Si usted hace la transformación a$t = w^3/3 - x w$, para un finito () $x$, $$ -\int_0^\infty \cos (t) d t $$ que es un caso especial de $$ I(\nu) = -\int_0^\infty \cos (\nu \, t) d t $$ para $\nu = 1$. Por simetría, esto es $$ I(\nu) = -\frac12 \int_{-\infty}^\infty \cos (\nu \, t) d t = -\frac12 \Re {\Large(} \int_{-\infty}^\infty e^{j \nu \, t} d t \Grande) $$ , es decir, la parte real de un complejo integral. Para eliminar la ambigüedad de su expresión ahora puede interpretar la última integral en una distribución sentido. De hecho, tenemos la transformación de Fourier de la delta de distribución que puede ser (simbólicamente) declaró como $$ \delta (\nu ) = \int_{-\infty}^\infty e^{j \nu \, t} d t $$ Por lo tanto $$ I(\nu) = -\frac12 \Re {\Large(} \delta (\nu ) \Grande) $$ y, en particular, el deseado $$ I(\nu = 1) = 0 $$

De hecho, muchos de los tratamientos de la función de Airy (tenemos la integral representatin de la función de Airy aquí) ir a través de la transformada de Fourier.

Feliz Año Nuevo 2018!

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