Digital Library of Mathematical Functions
About the Project
NIST
8 Incomplete Gamma and Related FunctionsRelated Functions

§8.19 Generalized Exponential Integral

Contents

§8.19(i) Definition and Integral Representations

For p,z

8.19.1 Ep(z)=zp-1Γ(1-p,z).

Most properties of Ep(z) follow straightforwardly from those of Γ(a,z). For an extensive treatment of E1(z) see Chapter 6.

8.19.2 Ep(z)=zp-1z-ttpt.

When the path of integration excludes the origin and does not cross the negative real axis (8.19.2) defines the principal value of Ep(z), and unless indicated otherwise in the DLMF principal values are assumed.

Other Integral Representations

8.19.3 Ep(z) =1-zttpt,
|phz|<12π,
8.19.4 Ep(z) =zp-1-zΓ(p)0tp-1-zt1+tt,
|phz|<12π, p>0.

Integral representations of Mellin–Barnes type for Ep(z) follow immediately from (8.6.11), (8.6.12), and (8.19.1).

§8.19(ii) Graphics

Figure 8.19.1: Ep(x), 0x3, 0p8. Magnify

In Figures 8.19.28.19.5, height corresponds to the absolute value of the function and color to the phase. See About Color Map.

Figure 8.19.2: E12(x+y), -4x4, -4y4. Principal value. There is a branch cut along the negative real axis. Magnify
Figure 8.19.3: E1(x+y), -4x4, -4y4. Principal value. There is a branch cut along the negative real axis. Magnify
Figure 8.19.4: E32(x+y), -3x3, -3y3. Principal value. There is a branch cut along the negative real axis. Magnify
Figure 8.19.5: E2(x+y), -3x3, -3y3. Principal value. There is a branch cut along the negative real axis. Magnify

§8.19(iii) Special Values

8.19.5 E0(z)=z-1-z,
z0,
8.19.6 Ep(0)=1p-1,
p>1,
8.19.7 En(z)=(-z)n-1(n-1)!E1(z)+-z(n-1)!k=0n-2(n-k-2)!(-z)k,
n=2,3,.

§8.19(iv) Series Expansions

For n=1,2,3,,

8.19.8 En(z)=(-z)n-1(n-1)!(ψ(n)-lnz)-k=0kn-1(-z)kk!(1-n+k),

and

8.19.9 En(z)=(-1)nzn-1(n-1)!lnz+-z(n-1)!k=1n-1(-z)k-1Γ(n-k)+-z(-z)n-1(n-1)!k=0zkk!ψ(k+1),

with |phz|π in both equations. For ψ(x) see §5.2(i).

When p

8.19.10 Ep(z)=zp-1Γ(1-p)-k=0(-z)kk!(1-p+k),
8.19.11 Ep(z)=Γ(1-p)(zp-1--zk=0zkΓ(2-p+k)),

again with |phz|π in both equations. The right-hand sides are replaced by their limiting forms when p=1,2,3,.

§8.19(v) Recurrence Relation and Derivatives

8.19.12 pEp+1(z)+zEp(z)=-z.
8.19.13 zEp(z) =-Ep-1(z),
8.19.14 z(zEp(z)) =zEp(z)(1+p-1z)-1z.

p-Derivatives

For j=1,2,3,,

8.19.15 jEp(z)pj=(-1)j1(lnt)jt-p-ztt,
z>0.

For properties and numerical tables see Milgram (1985), and also (when p=1) MacLeod (2002b).

§8.19(vi) Relation to Confluent Hypergeometric Function

§8.19(vii) Continued Fraction

8.19.17 Ep(z)=-z(1z+p1+1z+p+11+2z+),
|phz|<π.

See also Cuyt et al. (2008, pp. 277–285).

§8.19(viii) Analytic Continuation

The general function Ep(z) is attained by extending the path in (8.19.2) across the negative real axis. Unless p is a nonpositive integer, Ep(z) has a branch point at z=0. For z0 each branch of Ep(z) is an entire function of p.

8.19.18 Ep(z2mπ)=2πmpπΓ(p)sin(mpπ)sin(pπ)zp-1+Ep(z),
m, z0.

§8.19(ix) Inequalities

For n=1,2,3, and x>0,

8.19.19 n-1nEn(x)<En+1(x)<En(x),
8.19.20 (En(x))2<En-1(x)En+1(x),
8.19.21 1x+n<xEn(x)1x+n-1,
8.19.22 xEn(x)En-1(x)>0.

§8.19(x) Integrals

8.19.23 zEp-1(t)t=Ep(z),
|phz|<π,
8.19.24 0-atEn(t)t=(-1)n-1an(ln(1+a)+k=1n-1(-1)kakk),
n=1,2,, a>-1,
8.19.25 0-attb-1Ep(t)t=Γ(b)(1+a)-bp+b-1F(1,b;p+b;a/(1+a)),
a>-1, (p+b)>1.
8.19.26 0Ep(t)Eq(t)t=L(p)+L(q)p+q-1,
p>0, q>0, p+q>1,

where

8.19.27 L(p)=0-tEp(t)t=12pF(1,1;1+p;12),
p>0.

For the hypergeometric function F(a,b;c;z) see §15.2(i). When p=1,2,3,, L(p) can also be evaluated via (8.19.24).

For collections of integrals involving Ep(z), especially for integer p, see Apelblat (1983, §§7.1–7.2) and LeCaine (1945).

§8.19(xi) Further Generalizations

For higher-order generalized exponential integrals see Meijer and Baken (1987) and Milgram (1985).