The "complete" gamma function can be generalized to the incomplete gamma function
such that
. This "upper" incomplete gamma function is given by
(1) |
For an integer
(2) | |||
(3) |
where is the exponential sum function. It is implemented as Gamma[a, z] in the Wolfram Language.
The special case of can be expressed in terms of the subfactorial
as
(4) |
The incomplete gamma function has continued fraction
(5) |
(Wall 1948, p. 358).
The lower incomplete gamma function is given by
(6) | |||
(7) | |||
(8) |
where is the confluent hypergeometric function of the first kind. For
an integer
,
(9) | |||
(10) |
It is implemented as Gamma[a, 0, z] in the Wolfram Language.
By definition, the lower and upper incomplete gamma functions satisfy
(11) |
The exponential integral is closely related to the incomplete gamma function
by
(12) |
Therefore, for real ,
(13) |