¿Qué tipo de integral es esta? [matemáticas] \ displaystyle \ int_ {0} ^ {5} e ^ {\ displaystyle \ int_ {0} ^ {x} \ cos \ left (y ^ {2} \ right) \ mathrm {d} y} \ mathrm {d} x [/ matemáticas]

Tenemos una integral de la forma:

[matemáticas] \ int_0 ^ 5 f (x) dx [/ matemáticas]

Con f (x) = [matemáticas] e ^ {\ int_0 ^ x cos (y ^ 2) dy} [/ matemáticas]

Por lo general, si f (x) tuviera una función primitiva fácil, F (x), solo evaluaríamos la integral como F (5) – F (0). En general, no es muy fácil encontrar dicha función F (x) con F ‘(x) = f (x).

En nuestro caso tenemos f (x) = [matemáticas] e ^ {\ int_0 ^ x cos (y ^ 2) dy} [/ matemáticas] = [matemáticas] e ^ {g (x)} [/ matemáticas]

Una función primitiva para [math] e ^ {g (x)} [/ math] también es en general un problema difícil de resolver.

Sin embargo, tenemos suerte en este caso porque la función g (x) es una función especial, de hecho:

C (x) = [matemáticas] \ int cos (\ frac {\ pi t ^ 2} {2}) dx [/ matemáticas]

Entonces, nuestro problema original puede reformularse como

I = [matemáticas] \ int_0 ^ 5 e ^ {\ sqrt {\ frac {2} {\ pi}} C (\ sqrt {\ frac {\ pi} {2}} x)} dx [/ matemáticas]

Esta integral probablemente no sea computable en forma cerrada, pero usando los primeros términos en la función exponencial con [matemáticas] \ sqrt {\ frac {2} {\ pi}} C (\ sqrt {\ frac {\ pi} {2 }} x) [/ math] como argumento encontramos que nuestra integral parece tener un valor aproximado calculado con [math] \ sqrt {\ frac {\ pi} {2}} [/ math] ~ 1.25

I ~ [matemáticas] \ int_0 ^ {5 * 1.25} (C (x) + \ frac {1.25} {2} C (x) ^ 2 + \ frac {1.25 ^ 2} {6} [/ matemáticas] [matemáticas ] C (x) ^ 3 + \ frac {1.25 ^ 3} {24} C (x) ^ 4 + \ frac {1.25 ^ 4} {120} C (x) ^ 5 + \ frac {1.25 ^ 5} { 720} C (x) ^ 6 + \ frac {1.25 ^ 6} {5040} C (x) ^ 7) dx [/ matemáticas] ~ 4.46

La integral no crece muy rápidamente al agregar más términos, pero aún hay que tener cuidado al usar todos los términos, ya que la integral puede divergir.

Permítanme agregar que este método de cálculo de una integral de este tipo es extremadamente grueso, en el mejor de los casos, puede obtener un límite inferior utilizando solo estos primeros términos de la serie como este.

Si se desea obtener una mejor aproximación, podemos considerar la suma finita:

[matemáticas] \ sum_ {n = 1} ^ N \ int_0 ^ {5 * 1.25} \ frac {1.25 ^ {n-1}} {n!} C (x) ^ n dx [/ matemáticas]

Arriba sumamos los primeros 7 términos, pero la suma de términos en una serie es la forma más lenta de encontrar cuál es el valor, si es que existe. Sin embargo, uno podría calcular algunos términos en la serie anterior, luego usar técnicas de suma para tratar de acelerar el proceso de extracción de una mejor respuesta.

¿Qué tipo de integral es [math] \ int_0 ^ 5 e ^ {\ int_0 ^ x \ cos⁡ (y ^ 2) dy} dx [/ math] ?

En la respuesta de Vincent Haugdahl, él da una buena respuesta a la pregunta “qué tipo …”: es una integral “regular” (única) de una función que se define en términos de otra integral, a saber, [matemáticas] f ( x) = e ^ {\ int_0 ^ x \ cos⁡ (y ^ 2) dy} [/ math]. (Nota: el término “doble integral” realmente no se aplica aquí, a pesar de que tenemos una integral dentro de otra).

Ampliaré la respuesta de Haugdahl para dar una mejor aproximación del valor de la integral. Específicamente, es solo un poco menos de 7.5.

Como señala Haugdahl, la integral en el exponente es una variación de una “función especial” llamada función de coseno de Fresnel (normalizada)

[matemáticas] C (x) = \ int_0 ^ x \ cos \ left (\ frac {\ pi} {2} t ^ 2 \ right) dt [/ math]

(Ver Mathworld o Wikipedia, pero tenga en cuenta que este último analiza principalmente la versión no normalizada). En particular, con [math] k = \ sqrt {\ frac {\ pi} {2}} [/ math], hacemos la sustitución [math] u = ky [/ math], [math] du = k \, dy [/ math]:

[matemáticas] \ int_0 ^ x \ cos (y ^ 2) dy = \ frac {1} {k} \ int_0 ^ kx \ cos (k ^ 2u ^ 2) du = \ frac {1} {k} C (kx )[/matemáticas]

Por lo tanto, debemos evaluar [matemáticas] \ int_0 ^ 5 \ exp \ left [\ sqrt {\ frac {2} {\ pi}} C \ left (\ sqrt {\ frac {\ pi} {2}} \, x \ right) \ right] dx [/ math]. Aquí hay una vista de ese integrando en el intervalo [matemáticas] [0,5] [/ matemáticas]; Como puede ver, hay una buena cantidad de oscilación:

Se puede encontrar una aproximación razonablemente buena simplemente observando que esta función tiene un valor promedio cercano a 1.5, dando un área de aproximadamente [matemáticas] 5 \ veces 1.5 = 7.5 [/ matemáticas]. Los métodos usuales de integración numérica (regla de punto medio, regla trapezoidal, etc.) pueden dar más precisión; por ejemplo, usando el método adaptativo de Simpson, obtenemos 7,4892.

Aquí hay un enlace a mi página web que hizo estos cálculos, si quieres jugar un poco: Riemann Sums

Es una doble integral. Las integrales dobles se pueden evaluar evaluando primero la integral interna ([matemática] \ int_0 ^ x cos (y ^ 2) dy [/ matemática] en este caso), luego evaluando la integral externa.

La integral a la que se está elevando e se llama integral de Fresnel

La primera integral es evaluada

[matemáticas] \ int_ {0} ^ {x} cos (y ^ {2}) dy = \ sqrt {\ frac {\ pi} {2}} C (\ sqrt {\ frac {2} {\ pi}} x) [/ matemáticas]

Tenga en cuenta aquí todas estas constantes, excepto el término x Entonces evaluamos la siguiente integral como de costumbre.