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) |