miniatura|Gràfica de l'exponencial integral de (funció ) En l'àmbit de les matemàtiques, lexponencial integral és una funció especial definida en el pla complex i identificada amb el símbol .
La funció exponencial integral, , es defineix per:
Com la integral de divergeix en 0, aquesta definició ha de ser entesa en termes del valor principal de Cauchy.
L'algorisme de Risch mostra que no és una funció elemental.
La funció exponencial integral es pot desenvolupar en la sèrie: (on és la constant d'Euler-Mascheroni).
Està connectada a una altra funció definida per:
Aquesta funció amplia l'exponencial integral als reals negatius donada la identitat:
Les dues funcions s'expressen en funció de la funció entera definida per:
i es pot escriure
o
Definicions miniatura|Gràfica de la funció (a dalt) i de la funció (a baix) Per a valors reals de , la funció exponencial integral, , es defineix com
Aquesta definició pot ser utilitzada per a valors positius de , però a causa de la singularitat de l'integrant en zero, la integral ha de ser interpretada en terme del valor principal de Cauchy. Per a valors complexos de l'argument, aquesta definició és ambigua a causa dels punts de ramificació en i en . En general, es realitza un tall en l'eix real negatiu i pot ser definida mitjançant una continuació analítica a la resta del pla complex.
S'utilitza la següent notació,
Per a valors positius de la part real de , això es pot expressar com
El comportament de prop de la branca tallada pot ser analitzat mitjançant la següent relació:
Propietats Les propietats de l'exponencial integral mostrades, a vegades, permeten sortejar l'avaluació explícita de la funció a partir de la definició donada a dalt.
Sèries convergents Després d'integrar la sèrie de Taylor de , i extreure la singularitat logarítmica, es pot obtenir la següent representació en forma de sèrie de per a real:
Per arguments complexos fora de l'eix real, aquesta sèrie es generalitza en (on és la constant d'Euler-Mascheroni).
La suma convergeix per a tot complex, i prenem el valor usual del logaritme complex amb el tall de branca al llarg de l'eix real negatiu. Aquesta fórmula es pot utilitzar per calcular amb operacions de punt flotant per a real entre 0 i 2,5. Per , el resultat és inexacte i pot causar una cancel·lació numérica.
Ramanujan va trobar una sèrie convergent més ràpida:
Sèries asimptòtiques (divergents) miniatura|Error relatiu de l'aproximació asimptòtica per a diferents valors del nombre en funció de la suma parcial : (vermell), (verd), (groc), (blau) i (rosa) Per desgràcia, la convergència de les sèries mostrades a dalt és molt lenta per arguments amb gran mòdul. Per exemple, per , es necessiten més de 40 termes per obtenir una resposta correcta amb 3 xifres significatives. No obstant això, hi ha una sèrie asimptòtica divergent que pot ser obtinguda a partir de la integració per parts de :
on l'error és de l'ordre i és vàlid per a grans valors de .
L'error relatiu de la sèrie asimptòtica es mostra a la gràfica de la dreta per a diversos valors de ( en vermell, en rosa).
Comportament exponencial i logarítmic: Acotaments miniatura|Acotament de per funcions elementals De les sèries donades a dalt, es dedueix que es comporta com una exponencial negativa per a grans valors de l'argument i com un logaritme per a petits valors del mateix. Per a valors reals positius de l'argument, queda acotada superior i inferiorment per les funcions elementals:
La part esquerra de la desigualtat es mostra a la gràfica de la dreta en blau, la part central, que és , és la corba negra i la part de la dreta és la corba vermella.
Definició mitjançant Les funcions i poden ser escrites de forma més simple mitjançant la funció entera , definida com:
(cal notar que aquesta és la sèrie alternada que apareixia en la definició de . Se segueix immediatament que:
Relació amb altres funcions La integral exponencial està estretament relacionada amb la funció logaritme integral, definida com:
per a tot real positiu més gran d'.
L'equació de Kummer
en general es resol mitjançant les funcions hipergeomètriques confluents i Però quan i llavors
tenim
per a tot . Una segona solució ve donada llavors per . De fet,
amb la derivada avaluada en Una altra relació amb les funcions hipergeométriques confluents és que és una funció de temps exponencial :
L'exponencial integral també pot ser generalitzada a
que es pot escriure com un cas especial de la funció gamma incompleta:
Per obtenir més informació sobre les propietats d'aquesta funció, consulteu l'article més extens sobre la funció gamma incompleta. La forma generalitzada a vegades es diu la funció Misra , definida com:
Incloent un logaritme es defineix la funció integral exponencial generalitzada .
La integral indefinida:
és similar en forma a la funció generatriu ordinària per , el nombre de divisors de :
Derivades Les derivades de les funcions es poden obtenir mitjançant l'ús de la fórmula
Vegeu que la funció és senzilla d'avaluar (donant un terme inicial a la relació recursiva), ja que és .
Exponencial integral d'un argument imaginari miniatura| respecte a ; part real en negre, part imaginària en vermell Si és imaginari i la funció té una part real no nul·la, podem fer servir la fórmula
per obtenir una relació de l'exponencial integral amb les integrals trigonomètriques i :
Les parts real i imaginària de estan dibuixades en la gràfica de la dreta, en negre i vermell respectivament.
Aproximacions Hi ha un nombre d'aproximacions per a la funció exponencial integral. Aquestes inclouen:
Aproximació de Swamee i Ohija ,
on , i
Aproximació d'Allen i Hastings
on , , , i .
Expansió en fracció contínua
Aproximació de Barry, Parlange i Lee
on , , , on és la constant d'Euler–Mascheroni.
Per a valors de entre 0 i 2,5 Sigui:
La suma convergeix per a tot real positiu, però amb operacions de punt flotant, el resultat és incorrecte per , a causa de la pèrdua de precisió en relació al restar el nombre d'ordres de diferents magnituds.
Per valors de > 40 Existeix una sèrie divergent que permet d'apropar per a valors grans de obtinguts mitjançant la integració per parts, el que dona la següent expansió asimptòtica:
Per tal de tenir una precisió de 64 bits (doble precisió), s'utilitza el valor .
Aplicacions Transmissió de calor amb dependència temporal. Flux d'aigües subterrànies fora de l'equilibri en la solució de Theis. Transferència radiativa en atmosferes estel·lars. Equació de difusivitat radial per a fluxos transitoris o de flux no estacionari entre fonts i embornals amb forma de línia recta. Solucions a l'equació del transport de neutrons en geometries simplificades 1-D.
Referències
Bibliografia
, jstor 2007964, mr 0777276
Vegeu també Constant de Gompertz Cosinus integral Integral de Goodwin-Staton Logaritme integral Sinus integral
Enllaços externs
Formulas and identities for Ei Categoria:Anàlisi matemàtica Categoria:Funcions especials Categoria:Integrals