Integral exponencial

Gráfica de la función E1 (arriba) y de la función Ei (parte inferior).

En el ámbito de las matemáticas la integral exponencial es una función

especial definida en el plano complejo e identificada con el símbolo Ei.
Definiciones
Para valores reales de X , la integral exponencial Ei(x) se define como:

Esta definición puede ser utilizada para valores positivos de X , pero a causa de la
singularidad del integrando en cero, la integral debe ser interpretada en término
del valor principal de Cauchy. Para valores complejos del argumento, esta definición
es ambigua a causa de los puntos de ramificación en 0 y en infinito. En general, se
realiza un corte en el eje real negativo y Ei puede ser definida mediante
una continuación analítica en el resto del plano complejo.
Se utiliza la siguiente notación,

Para valores positivos de la parte real de, esto se puede expresar como
El comportamiento de E1 cerca del branch cut puede ser analizado mediante la
siguiente relación:

Propiedades
Las propiedades de la exponencial integral mostradas, en ocasiones, permiten
sortear él la evaluación explícita de la función a partir de la definición dada arriba.

Series Convergentes
Tras integrar la serie de Taylor de e –t/t, y extraer la singularidad logarítmica, se
puede obtener la siguiente representación en forma de serie de E1(x) para X real:

Para argumentos complejos fuera del eje real, esta serie se generaliza a

donde δ es la constante de Euler-Mascheroni. La suma converge para

todo Z complejo, y tomamos el valor usual del logaritmo complejo con el corte de
rama a lo largo del eje real negativo.

Series Asintóticas
Por desgracia, la convergencia de las series mostradas arriba es muy lenta para
argumentos con gran módulo. Por ejemplo, para X= 10, se necesitan más de 40
términos para obtener una respuesta correcta con 3 cifras significativas. Sin
embargo, existe una serie asintótica divergente que puede ser obtenida a partir de
la integración de por partes:

cuyo error es del orden y es válida para grandes valores de. El error relativo de la
serie asintótica se muestra en la gráfica de la derecha para varios valores de (en
rojo, en rosa). Cuando, la aproximación dada con es exacta en representación de
doble precisión, de 64 bits.

Comportamiento exponencial y logarítmico: Cotas

De las series dadas arriba, se deduce que E1 se comporta como una exponencial
negativa para grandes valores del argumento y como un logaritmo para pequeños
valores del mismo. Para valores reales positivos del argumento, E1 queda acotada
superior e inferiormente por funciones elementales como sigue: