¿Cuál es la antiderivada de [matemáticas] e ^ {x ^ 2} [/ matemáticas]?

Esta es una pregunta recurrente. Pondré mi perspectiva aquí y ‘presentaré’ una función realmente valiosa, que hace el trabajo. Insisto en los valores reales , porque los números complejos, que se utilizarán en el camino, proporcionan un camino elegante. Primero, ¿cuál es una integral indefinida de una función [matemáticas] f (x) [/ matemáticas]?
Es una función, o una familia de funciones que difieren en una constante con derivada igual a [math] f [/ math]. Por lo tanto, para el problema en consideración, podemos escribir

[matemáticas] \ int e ^ {x ^ 2} \ mathrm {d} x = \ int_0 ^ xe ^ {t ^ 2} \ mathrm {d} t + C \ dotsi (*) [/ math]

¿Qué tiene de especial el cero? Nada. Uno puede elegir libremente otro límite inferior (digamos algunos [matemática] a [/ matemática]), y obtener el formulario anterior, es decir

[matemáticas] \ int_a ^ xe ^ {t ^ 2} \ mathrm {d} t = \ int_0 ^ xe ^ {t ^ 2} \ mathrm {d} t + \ int_a ^ 0e ^ {t ^ 2} \ mathrm {d } t [/ matemáticas]

Observe que [math] e ^ {t ^ 2} [/ math] está acotado en el intervalo [math] (a, 0) [/ math] para cualquier finite [math] a [/ math], por lo tanto, el segundo existen dos integrales y pueden absorberse en la constante arbitraria [matemáticas] C [/ matemáticas] en la ecuación [matemáticas] (*) [/ matemáticas]. Para continuar, dejamos que [math] t = u / i [/ math] en la ecuación [math] (*) [/ math] obteniendo

[matemáticas] \ int_0 ^ xe ^ {t ^ 2} \ mathrm {d} t = \ frac {1} {i} \ int_0 ^ {ix} e ^ {- u ^ 2} \ mathrm {d} u [/ matemáticas]

comparando la ecuación anterior con la definición de la función de error que podemos escribir

[matemáticas] \ int_0 ^ xe ^ {t ^ 2} \ mathrm {d} t = \ frac {\ sqrt {\ pi}} {2i} \ mathrm {erf} (ix) [/ math]

Además, observe que el resultado es una función real (usando [math] \ mathrm {erf} (\ bar {z}) = \ overline {\ mathrm {erf} (z)} [/ math]). Esto motiva la definición de la función [math] \ mathrm {erfi} (z) [/ math], llamada función de error imaginario [math] \ mathrm {erfi} (z) = – i ~ \ mathrm {erf} (iz ) [/ math], que puede usarse para expresar la integral en la ecuación [math] (*) [/ math]. Obtenemos

[matemáticas] \ displaystyle \ int e ^ {x ^ 2} \ mathrm {d} x = \ frac {\ sqrt {\ pi}} {2} \ mathrm {erfi} (x) + C [/ math]

La integral se representa a continuación para [matemáticas] C = 0, \ pm 3 [/ matemáticas]

CÓDIGO : El código MATLAB para [math] \ mathrm {erfi} (x) [/ math] se publica aquí.

PD : Una integral estrechamente relacionada se llama la integral de Dawson.

Salud !

ACTUALIZACIÓN : Joel Birch señala en los comentarios que leí mal la pregunta. Mi respuesta original, citada aquí, se refiere a [math] \ int e ^ {- x ^ 2} \, dx [/ math], mientras que la pregunta sobre [math] \ int e ^ {x ^ 2} \, dx [/matemáticas].

Hasta un factor constante, es lo que se llama la “función de error”, debido a su conexión con la distribución normal, a menudo utilizada para modelar la incertidumbre (o “error”) en las estadísticas. Si está pidiendo la integral sobre la línea real completa, eso es [math] \ sqrt {\ pi} [/ math].

Por supuesto,

[matemáticas] \ int e ^ {x ^ 2} \, dx = \ int e ^ {- (ix) ^ 2} \, dx, [/ matemáticas]

así que hasta un múltiplo constante esto es igual a la función de error de ix , como podemos ver al hacer la sustitución u = ix . Un nombre que a veces se usa aquí es erfi(x) , por ejemplo, en MATLAB o ciertas bibliotecas FORTRAN. (Ya sabes, como en “función de error” + “imaginario”)

En términos de series de Taylor, [matemáticas] \ displaystyle e ^ x = \ displaystyle \ lim_ {t \ to \ infty} \ sum_ {n = 0} ^ t \ frac {x ^ n} {n!} \ Por lo tanto e ^ {2x} = \ displaystyle \ lim_ {t \ to \ infty} \ sum_ {n = 0} ^ t \ frac {x ^ {2n}} {n!} [/ Math]

[matemáticas] \ displaystyle \ por lo tanto \ int {e ^ {x ^ 2}} dx = \ lim_ {t \ to \ infty} \ sum_ {n = 0} ^ t \ int {\ frac {x ^ {2n}} {n!} dx} = \ lim_ {t \ to \ infty} \ sum_ {n = 0} ^ t \ frac {x ^ {2n + 1}} {n! (2n + 1)} + C [/ math ]

Tenga en cuenta que el límite y la suma son independientes de la operación de integración; la suma de una integral es igual a la integral de una suma, si eso tiene sentido, ya que ambas son operaciones técnicamente aditivas.

En caso de que no esté familiarizado con lo que es una serie de maclaurina / taylor, cualquier serie de taylor de función es igual a T, mientras que

[matemáticas] T \ aprox \ displaystyle lim_ {t \ to \ infty} \ sum_ {n = 0} ^ t \ frac {f ^ {(n)} (xa) (xa) ^ n} {n!} [/ matemáticas]

donde x es x, a es un desplazamiento constante y (n) es el número de derivadas en la serie. Las series de Maclaurin son básicamente series de Taylor pero [matemáticas] a = 0 [/ matemáticas].

Para probar que una función es igual a su equivalente de la serie Maclaurin / Taylor, debe probar que [math] \ delta [/ math], el símbolo que preferiría usar para describir errores y discrepancias en los valores de retorno dado este supuesto, se acerca cero cuando t se acerca al infinito.

Entonces: [matemáticas] f (x) = T + | \ delta | \ por lo tanto [/ math] if [math] \ delta \ to 0 [/ math] as [math] T \ to f (x) [/ math] then [math] f (x) \ approx T [/ math]