$Γ$-evaluations of hypergeometric series

Frits Beukers,Jens Forsgård
DOI: https://doi.org/10.48550/arXiv.2004.08117
2021-06-22
Abstract:In this paper we explore special values of Gaussian hypergeometric functions in terms of products of Euler $\Gamma$-functions and exponential functions of linear functions of the hypergeometric parameters. They include some classical evaluations, but the main inspiration is from the contiguity method recently applied by Akihito Ebisu.
Classical Analysis and ODEs,Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the exact evaluation of hypergeometric series under specific parameters. Specifically, the authors explore the Γ - evaluation (Gamma - evaluation) of the Gauss hypergeometric function \(F(a, b, c|z)\) under certain specific parameter values. These evaluations usually involve the product form of the Γ function, and in some cases also include exponential functions or periodic functions. The main goal of the paper is to systematically study these Γ - evaluations and provide a method to derive new Γ - evaluations, especially in the case where the parameters are non - resonant. Some key points mentioned in the paper include: 1. **Classical evaluations**: The paper reviews some classical hypergeometric function evaluations, such as Gauss evaluation and Kummer evaluation. - Gauss evaluation: \[ F(a, b, c|1)=\frac{\Gamma(c)\Gamma(c - a - b)}{\Gamma(c - a)\Gamma(c - b)} \] - Kummer evaluation: \[ F(a, b, a - b + 1|-1)=\frac{1}{2}\frac{\Gamma(a/2)\Gamma(a - b + 1)}{\Gamma(a)\Gamma(a/2 - b + 1)} \] 2. **New evaluations**: The paper proposes a systematic method to find new Γ - evaluations. This method is based on the contiguity property of hypergeometric functions and is achieved by constructing and solving functional equations. - For example, for parameters \((a, b, c)\) and shift vector \(\gamma=(k, l, m)\), rational functions \(R_{\gamma}(\beta, z)\) and \(Q_{\gamma}(\beta, z)\) can be found through the contiguity relation such that: \[ F(\beta+\gamma|z)=R_{\gamma}(\beta, z)F(\beta|z)+Q_{\gamma}(\beta, z)F'(\beta|z) \] 3. **Non - resonant case**: The paper pays special attention to the non - resonant case, that is, the case where the parameters \(a + kt, b + lt, c - b+(m - l)t, c - a+(m - k)t\) are not all integer constants. In this case, the authors prove that there exists a complex interpolation such that the Γ - evaluation can be extended to arbitrary parameter values. 4. **Main result**: The main result of the paper is Theorem 2.5, which provides a method to determine the complex interpolation of the Γ - evaluation for any admissible quadruple \((\beta, z_{0})\). This result allows the derivation of the interpolation form from the finite form of the Γ - evaluation. In summary, this paper aims to systematically study and derive the exact evaluation of hypergeometric functions under specific parameters, especially through the methods of contiguity property and functional equations, providing a theoretical basis and computational method for new Γ - evaluations.