If the coefficients of the series representation of a hypergeometric function are
rational functions of the summation index, then the hypergeometric function can be
expressed as a linear sum of Lerch
functions. The Lerch
function is defined by
Further, if the parameters of the hypergeometric function are rational, we can proceed
to express the hypergeometric function as a linear sum of polylogarithms. The
polylogarithm function is defined by
The first theorem shows how to express such a hypergeometric function as a linear
sum of Lerch
functions.
Theorem
Let
,
, and
have partial fraction decomposition
Then
The next theorem can be used to range reduce the third argument of a Lerch
into the interval
.
Theorem
The next two theorems show how to convert Lerch
into polylogarithms if the third argument is rational.
Theorem
Theorem
Let
and
. Then
Corollary
Let
and
. Then
where
|