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
|