
En matemáticas , la integral exponencial es una función especial en el plano complejo . Se define como una integral definida particular de la razón entre una función exponencial y su argumento .
Definiciones
Para valores reales distintos de cero de , la integral exponencialse define como
El algoritmo de Risch muestra que no es una función elemental . La definición anterior se puede utilizar para valores positivos de , pero la integral debe entenderse en términos del valor principal de Cauchy debido a la singularidad del integrando en cero.
Para valores complejos del argumento, la definición se vuelve ambigua debido a los puntos de ramificación en y . [ 1 ] En lugar de , se utiliza la siguiente notación, [ 2 ]

Para valores positivos de , tenemos .
En general, un corte de rama se toma en el eje real negativo ypuede definirse mediante continuación analítica en cualquier otro lugar del plano complejo.
Para valores positivos de la parte real de , esto se puede escribir [ 3 ]
El comportamiento de cerca del corte de la rama se puede ver por la siguiente relación: [ 4 ]
Propiedades
En ciertos casos, varias propiedades de la integral exponencial que se muestra a continuación permiten evitar su evaluación explícita mediante la definición anterior.
Series convergentes

Para argumentos reales o complejos fuera del eje real negativo,se puede expresar como [ 5 ] dóndees la constante de Euler-Mascheroni . La suma converge para todos los números complejos . , y tomamos el valor usual del logaritmo complejo con un corte de rama a lo largo del eje real negativo.
Esta fórmula se puede utilizar para calcularcon operaciones de punto flotante para operaciones realesentrey. Para , el resultado es inexacto debido a la cancelación .
Ramanujan encontró una serie de convergencia más rápida : [ 6 ]
Series asintóticas (divergentes)

La convergencia de la serie anterior es lenta para argumentos de módulo mayor. Por ejemplo, se requieren más de 40 términos para obtener una respuesta correcta con tres cifras significativas para . [ 7 ] Sin embargo, para valores positivos de , existe una aproximación de serie divergente que se puede obtener integrandopor partes: [ 8 ] El error relativo de la aproximación anterior se representa en la figura de la derecha para varios valores de , el número de términos en la suma truncada ( en rojo ,en rosa).
Asintótica más allá de todos los órdenes

Utilizando la integración por partes , podemos obtener una fórmula explícita [ 9 ]. Para cualquier fijo , el valor absoluto del término de errordisminuye, luego aumenta. El mínimo se produce en , en ese momento Se dice que este límite es "asintótico más allá de todos los órdenes" .
Comportamiento exponencial y logarítmico: acotación

De las dos series sugeridas en subsecciones anteriores, se deduce quese comporta como una exponencial negativa para valores grandes del argumento y como un logaritmo para valores pequeños. Para valores reales positivos del argumento,puede ser acotado por funciones elementales de la siguiente manera: [ 10 ]
El lado izquierdo de esta desigualdad se muestra en el gráfico de la izquierda en azul; la parte centralse muestra en negro y el lado derecho se muestra en rojo.
Definición de Ein
Ambosyse puede escribir de forma más sencilla utilizando la función completa . [ 11 ] definido como (tenga en cuenta que esta es solo la serie alternada en la definición anterior de ) . Entonces tenemos ;\\\operatorname {Ei} (x)&={\hphantom {-}}\gamma +\ln {x}-\mathrm {Ein} (-x),&&x\neq 0.\end{aligned}}} La funciónestá relacionado con la función generadora exponencial de los números armónicos :
Relación con otras funciones
La ecuación de Kummer Generalmente se resuelve mediante funciones hipergeométricas confluentes.y . Pero cuandoy , es decir, tenemos para todos . Una segunda solución viene dada por . De hecho, con la derivada evaluada en . Otra conexión con las funciones hipergeométricas confluentes es que es una exponencial multiplicada por la función:
La integral exponencial está estrechamente relacionada con la función integral logarítmica .por la fórmula para valores reales distintos de cero de .
El desarrollo en serie de la integral exponencial da lugar inmediatamente a una expresión en términos de la función hipergeométrica generalizada .:
Generalización
La integral exponencial también puede generalizarse a que puede escribirse como un caso especial de la función gamma incompleta superior : [ 12 ]
La forma generalizada se denomina a veces función de Misra . , [ a ] [ b ] definido como
Incluir un logaritmo define la función integro-exponencial generalizada [ 13 ].
Derivados
Las derivadas de las funciones generalizadasse puede calcular mediante la fórmula [ 14 ] Tenga en cuenta que la funciónes fácil de evaluar (lo que hace que esta recursión sea útil), ya que es simplemente . [ 15 ]
Integral exponencial de argumento imaginario

Sies imaginario, tiene una parte real no negativa, por lo que podemos usar la fórmula para obtener una relación con las integrales trigonométricasy: Las partes reales e imaginarias deSe representan en la figura de la derecha con curvas negras y rojas.
Aproximaciones
Se han propuesto varias aproximaciones para la función integral exponencial. Estas incluyen:
- La aproximación de Swamee y Ohija [ 16 ]dónde
- La aproximación de Allen y Hastings [ 16 ] [ 17 ]dónde
- La expansión fraccionaria continua [ 17 ]
- La aproximación de Barry et al. [ 18 ]dónde:consiendo la constante de Euler-Mascheroni .
Función inversa de la integral exponencial
Podemos expresar la función inversa de la integral exponencial en forma de serie de potencias : [ 19 ] dóndees la constante de Ramanujan-Soldner yes una sucesión polinómica definida por la siguiente relación de recurrencia :
Para ,y tenemos la fórmula:
Aplicaciones
- Transferencia de calor dependiente del tiempo
- Flujo de agua subterránea en desequilibrio en la solución de Theis (denominado función de pozo ).
- Transferencia radiactiva en atmósferas estelares y planetarias
- Ecuación de difusividad radial para flujo transitorio o en estado no estacionario con fuentes y sumideros lineales.
- Soluciones a la ecuación de transporte de neutrones en geometrías 1-D simplificadas [ 20 ]
- Soluciones a la ecuación diferencial no lineal de Trachenko-Zaccone para la función exponencial estirada en la relajación de sólidos amorfos y transición vítrea [ 21 ] [ 22 ]
Véase también
Notas a pie de página
- ↑ Según RD Misra; Misra & Born 1940 , pág. 178.
- ↑ Muchas propiedades de esta forma generalizada se pueden encontrar en DLMF 8.19 .
Citas
- ↑ Abramowitz y Stegun 1964 , pág. 228
- ↑ Abramowitz y Stegun 1964 , pág. 228, 5.1.1
- ↑ Abramowitz y Stegun 1964 , pág. 228, 5.1.4 con n = 1
- ↑ Abramowitz y Stegun 1964 , pág. 228, 5.1.7
- ↑ Abramowitz y Stegun 1964 , pág. 229, 5.1.11
- ↑ Andrews y Berndt 2013 , pág. 130, 24.16
- ↑ Bleistein y Handelsman 1986 , pág. 2
- ↑ Bleistein y Handelsman 1986 , pág. 3
- ↑ O'Malley, Robert E. (2014). «Aproximaciones asintóticas». En O'Malley, Robert E. (ed.). Desarrollos históricos en perturbaciones singulares . Cham: Springer International Publishing. pp. 27–51 . doi : 10.1007/978-3-319-11924-3_2 . ISBN 978-3-319-11924-3.
- ↑ Abramowitz y Stegun 1964 , pág. 229, 5.1.20
- ↑ Abramowitz y Stegun 1964 , pág. 228, véase la nota al pie 3
- ↑ Abramowitz y Stegun 1964 , pág. 230, 5.1.45
- ↑ Milgram 1985 .
- ↑ Abramowitz y Stegun 1964 , pág. 230, 5.1.26
- ↑ Abramowitz y Stegun 1964 , pág. 229, 5.1.24
- 1 2 Giao, Pham Huy (2003-05-01). "Revisión de la aproximación de la función del pozo y una técnica gráfica sencilla de ajuste de curvas para la solución de Theis". Agua subterránea . 41 (3): 387– 390. Bibcode : 2003GrWat..41..387G . doi : 10.1111/j.1745-6584.2003.tb02608.x . ISSN 1745-6584 . PMID 12772832. S2CID 31982931 .
- 1 2 Tseng, Peng-Hsiang; Lee, Tien-Chang (1998-02-26). "Evaluación numérica de la integral exponencial: la aproximación de la función de pozo de Theis". Journal of Hydrology . 205 ( 1– 2): 38– 51. Bibcode : 1998JHyd..205...38T . doi : 10.1016/S0022-1694(97)00134-0 .
- ↑ Barry, D. A; Parlange, J. -Y; Li, L (2000-01-31). "Aproximación para la integral exponencial (función de pozo de Theis)". Journal of Hydrology . 227 ( 1– 4): 287– 291. Bibcode : 2000JHyd..227..287B . doi : 10.1016/S0022-1694(99)00184-5 .
- ↑ "Función inversa de la integral exponencial Ei −1 ( x ) " . Mathematics Stack Exchange . Consultado el 24-04-2024 .
- ↑ George I. Bell; Samuel Glasstone (1970). Teoría del reactor nuclear . Van Nostrand Reinhold Company.
- ↑ Trachenko, K.; Zaccone, A. (14 de junio de 2021). "Relajación exponencial lenta estirada y exponencial rápida comprimida a partir de la dinámica de eventos locales" . Journal of Physics: Condensed Matter . 33 : 315101. arXiv : 2010.10440 . doi : 10.1088/1361-648X/ac04cd . ISSN 0953-8984 .
- ↑ Ginzburg, VV; Gendelman, OV; Zaccone, A. (23 de febrero de 2024). "Marco físico unificador para los fenómenos de relajación exponencial estirada, exponencial comprimida y logarítmica en polímeros vítreos" . Macromolecules . 57 (5): 2520–2529 . arXiv : 2311.09321 . doi : 10.1021/acs.macromol.3c02480 . ISSN 0024-9297 .
Referencias
- [ Abramowitz y Stegun ] Gautschi, Walter; Cahill, William F. (1964). "5. Integral exponencial y funciones relacionadas" . En Abramowitz, Milton ; Stegun, Irene (eds.). Manual de funciones matemáticas con fórmulas, gráficas y tablas matemáticas . Nueva York: Dover. ISBN 978-0-486-61272-0.
{{cite book}}: Incompatibilidad de ISBN/Fecha ( ayuda ) - Andrews, George E.; Berndt, Bruce C. (2013). El cuaderno perdido de Ramanujan. Parte IV . Berlín; Nueva York: Springer-Verlag . ISBN 978-1-4614-4080-2.
- Bender, Carl M.; Orszag, Steven A. (1978). Métodos matemáticos avanzados para científicos e ingenieros . McGraw-Hill. ISBN 978-0-07-004452-4.
- Bleistein, Norman; Handelsman, Richard A. (1986). Expansiones asintóticas de integrales . Dover. ISBN 978-0-486-65082-1.
- Busbridge, Ida W. (1950). "Sobre la función integro-exponencial y la evaluación de algunas integrales que la involucran". Quart. J. Math. (Oxford) . 1 (1): 176– 184. Bibcode : 1950QJMat...1..176B . doi : 10.1093/qmath/1.1.176 .
- Chiccoli, C.; Lorenzutta, S.; Maino, G. (1988). "Sobre la evaluación de integrales exponenciales generalizadas E ν (x)". J. Comput. Phys . 78 (2): 278– 287. Bibcode : 1988JCoPh..78..278C . doi : 10.1016/0021-9991(88)90050-2 .
- Chiccoli, C.; Lorenzutta, S.; Maino, G. (1990). "Resultados recientes para integrales exponenciales generalizadas" . Computer Math. Applic . 19 (5): 21– 29. doi : 10.1016/0898-1221(90)90098-5 . Archivado del original el 11 de diciembre de 2024.
- [DLMF 8.19] Paris, RB (2010), "Integral exponencial generalizada" , en Olver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions , Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .
- Kölbig, KS (1983). "Sobre la integral exp( − μ t ) t ν − 1 log m t dt " . Math. Comput . 41 (163): 171– 182. doi : 10.1090/S0025-5718-1983-0701632-1 .
- MacLeod, Allan J. (2002). "El cálculo eficiente de algunas integrales exponenciales generalizadas" . J. Comput. Appl. Math . 148 (2): 363– 374. Bibcode : 2002JCoAM.148..363M . doi : 10.1016/S0377-0427(02)00556-3 .
- Milgram, MS (1985). "La función integro-exponencial generalizada" . Matemáticas de la Computación . 44 ( 170): 443– 458. doi : 10.1090/S0025-5718-1985-0777276-4 . JSTOR 2007964. MR 0777276 .
- Misra, Rama Dhar; Born, M. (1940). "Sobre la estabilidad de las redes cristalinas. II". Actas matemáticas de la Sociedad Filosófica de Cambridge . 36 (2): 173. Bibcode : 1940PCPS...36..173M . doi : 10.1017/S030500410001714X . S2CID 251097063 .
- Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007). «Sección 6.3. Integrales exponenciales» . Numerical Recipes: The Art of Scientific Computing (3.ª ed.). Nueva York: Cambridge University Press. ISBN 978-0-521-88068-8Archivado del original el 11 de agosto de 2011. Consultado el 9 de agosto de 2011 .
- Sharma, RR; Zohuri, Bahman (1977). "Un método general para una evaluación precisa de integrales exponenciales E 1 ( x ), x > 0". J. Comput. Phys . 25 (2): 199– 204. Bibcode : 1977JCoPh..25..199S . doi : 10.1016/0021-9991(77)90022-5 .
- Stankiewicz, A. (1968). "Tablas de las funciones integro-exponenciales". Acta Astronomica . 18 : 289. Bibcode : 1968AcA....18..289S .
- Temme, NM (2010), "Integrales exponenciales, logarítmicas, seno y coseno" , en Olver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions , Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248 .
Enlaces externos
- "Función exponencial integral" , Enciclopedia de Matemáticas , EMS Press, 2001 [1994]
- Documentación del NIST sobre la integral exponencial generalizada
- Weisstein, Eric W. "Integral exponencial" . MundoMatemático .
- Weisstein, Eric W. " En -Función" . MundoMatemático .
- "Integral exponencial Ei" . Sitio web de Wolfram Functions.
- Integrales exponenciales, logarítmicas, sinusoidales y cosenoidales en DLMF .
- exponenciales
- Funciones especiales
- funciones hipergeométricas especiales
- Integrales