Partial sums of hypergeometric series of unit argument

Transformation formulas for bilinear sums of basic hypergeometric series

A master formula of transformation formulas for bilinear sums of basic hypergeometric series is proposed. It is obtained from the author's previous results on a transformation formula for Milne's multivariate generalization of basic hypergeometric series of type $A$ with different dimensions and it can be considered as a generalization of Whipple-Sears transformation formula for terminating balanced ${}_4 ϕ_3$ series. As an application of the master formula, one variable cases of some transformation formulas for bilinear sums of basic hypergeometric series are given as examples. The bilinear t…

Analytic continuation of the generalized hypergeometric series near unit argument with emphasis on the zero-balanced series

Various methods to obtain the analytic continuation near $z=1$ of the hypergeometric series $_{p+1}F_p(z)$ are reviewed together with some of the results. One approach is to establish a recurrence relation with respect to $p$ and then, after its repeated use, to resort to the well-known properties of the Gaussian hypergeometric series. Another approach is based on the properties of the underlying generalized hypergeometric differential equation: For the coefficients in the power series expansion around $z=1$ a general formula, valid for any $p$, is found in terms of a limit of a terminating Sa…

On Hypergeometric 3F2(1)

By systematically applying ten inequivalent two-part relations between hypergeometric sums 3F2(1) to the published database of all such sums, 66 new sums are obtained. Many results extracted from the literature are shown to be special cases of these new sums. In particular, the general problem of finding elements contiguous to Watson's, Dixon's and Whipple's theorem is reduced to a simple algorithm suitable for machine computation. Several errors in the literature are corrected or noted.

Partial Sums of Two Quartic q-Series

The partial sums of two quartic basic hypergeometric series are investigated by means of the modified Abel lemma on summation by parts. Several summation and transformation formulae are consequently established.

Hypergeometric Functions at Unit Argument: Simple Derivation of Old and New Identities

The main goal of this paper is to derive a number of identities for the generalized hypergeometric function evaluated at unity and for certain terminating multivariate hypergeometric functions from the symmetries and other properties of Meijer's $G$ function. For instance, we recover two- and three-term Thomae relations for ${}_3F_2$, give two- and three-term transformations for ${}_4F_3$ with one unit shift and ${}_5F_4$ with two unit shifts in the parameters, establish multi-term identities for general ${}_{p}F_{p-1}$ and several transformations for terminating Kampé de Fériet and Srivastava…

超几何恒等式的应用：生成广义超几何缩减公式

On the application of a hypergeometric identity to generate generalized hypergeometric reduction formulas

本文通过新的超几何恒等式推导出新的求和公式，并验证了相关函数的递推关系

有限域上的超几何函数

Hypergeometric functions over finite fields

本文利用修改后的Gauss和定义了有限域上的广义超几何函数，证明其求和、变换与乘积公式，展现与复数域经典超几何函数的类比，并应用于K3曲面zeta函数。

A short proof of duality relations for hypergeometric functions

Identities involving finite sums of products of hypergeometric functions and their duals have been studied since 1930s. Recently Beukers and Jouhet have used an algebraic approach to derive a very general family of duality relations. In this paper we provide an alternative way of obtaining such results. Our method is very simple and it is based on the non-local derangement identity.

On Hypergeometrics 3F2(1) - A Review

By systematically applying ten well-known and inequivalent two-part relations between hypergeometric sums 3F2(...|1) to the published database of all such sums, 62 new sums are obtained. The existing literature is summarized, and many purportedly novel results extracted from that literature are shown to be special cases of these new sums. The general problem of finding elements contiguous to Watson's, Dixon's and Whipple's theorems is reduced to a simple algorithm suitable for machine computation. Several errors in the literature are corrected or noted. The present paper both summarizes and ex…

Voros Coefficients at the Origin and at the Infinity of the Generalized Hypergeometric Differential Equations with a Large Parameter

Voros coefficients of the generalized hypergeometric differential equations with a large parameter are defined and their explicit forms are given for the origin and for the infinity. It is shown that they are Borel summable in some specified regions in the space of parameters and their Borel sums in the regions are given.

Convergence of Magnus integral addition theorems for confluent hypergeometric functions

In 1946, Magnus presented an addition theorem for the confluent hypergeometric function of the second kind $U$ with argument $x+y$ expressed as an integral of a product of two $U$'s, one with argument $x$ and another with argument $y$. We take advantage of recently obtained asymptotics for $U$ with large complex first parameter to determine a domain of convergence for Magnus' result. Using well-known specializations of $U$, we obtain corresponding integral addition theorems with precise domains of convergence for modified parabolic cylinder functions, and Hankel, Macdonald, and Bessel function…

On the generalized hypergeometric function, Sobolev orthogonal polynomials and biorthogonal rational functions

It turned out that the partial sums $g_n(z) = \sum_{k=0}^n \frac{(a_1)_k ... (a_p)_k}{(b_1)_k ... (b_q)_k} \frac{z^k}{k!}$, of the generalized hypergeometric series ${}_p F_q(a_1,...,a_p; b_1,...,b_q;z)$, with parameters $a_j,b_l\in\mathbb{C}\backslash\{ 0,-1,-2,... \}$, are Sobolev orthogonal polynomials. The corresponding monic polynomials $G_n(z)$ are polynomials of $R_I$ type, and therefore they are related to biorthogonal rational functions. Polynomials $g_n$ possess a differential equation (in $z$), and a recurrence relation (in $n$). We study integral representations for $g_n$, and some…

A new identity for a sum of products of the generalized hypergeometric functions

Reduction formulas for sums of products of hypergeometric functions can be traced back to Euler. This topic has an intimate connection to summation and transformation formulas, contiguous relations and algebraic properties of the (generalized) hypergeometric differential equation. Over recent several years, important discoveries have been made in this subject by Gorelov, Ebisu, Beukers and Jouhet and Feng, Kuznetsov and Yang. In this paper, we give a generalization of Feng, Kuznetsov and Yang identity covering also Ebisu's and Gorelov's formulas as particular cases.

Euler-type integrals for the generalized hypergeometric matrix function

In this paper, we investigate the Euler-type integral representations for the generalized hypergeometric matrix function and develop some transformations in terms of hypergeometric matrix functions. Furthermore, unit and half arguments have been provided for several particular cases.

Cotangent sums related to the Riemann Hypothesis for various shifts of the argument

One of the approaches to the Riemann Hypothesis is the Nyman-Beurling criterion. Cotangent sums play a significant role. Here we investigate the values of these cotangent sums for various shifts of the argument.

Multiple (inverse) binomial sums of arbitrary weight and depth and the all-order epsilon-expansion of generalized hypergeometric functions with one half-integer value of parameter

We continue the study of the construction of analytical coefficients of the epsilon-expansion of hypergeometric functions and their connection with Feynman diagrams. In this paper, we show the following results: Theorem A: The multiple (inverse) binomial sums of arbitrary weight and depth (see Eq. (1.1)) are expressible in terms of Remiddi-Vermaseren functions. Theorem B: The epsilon expansion of a hypergeometric function with one half-integer value of parameter (see Eq. (1.2)) is expressible in terms of the harmonic polylogarithms of Remiddi and Vermaseren with coefficients that are ratios of…

A note on the generalized-hypergeometric solutions of general and single-confluent Heun equations

We review the series solutions of the general and single-confluent Heun equations in terms of powers, ordinary-hypergeometric and confluent-hypergeometric functions. The conditions under which the expansions reduce to finite sums as well as the cases when the coefficients of power-series expansions obey two-term recurrence relations are discussed. Infinitely many cases for which a solution of a general or single-confluent Heun equation is written through a single generalized hypergeometric function are indicated. It is shown that the parameters of this generalized hypergeometric function are t…

A summation formula for a ${}_3F_2(1)$ hypergeometric series

A summation formula is derived for the hypergeometric series of unit argument ${}_3F_2(1,1,c;d,n+2;1)$, where $n=0, 1, 2, \ldots$ and $\Re (d-c+n)>0$.

Laplace transforms based some novel integrals via hypergeometric technique

In this paper, we obtain the analytical solutions of Laplace transforms based some novel integrals with suitable convergence conditions, by using hypergeometric approach (some algebraic properties of Pochhammer symbol and classical summation theorems of hypergeometric series ${}_{2}F_{1}(1)$, ${}_{2}F_{1}(-1)$ , ${}_{4}F_{3}(-1)$) . Also, we obtain the Laplace transforms of arbitrary powers of some finite series containing hyperbolic sine and cosine functions having different arguments, in terms of hypergeometric and Beta functions. Moreover, Laplace transforms of even and odd positive integra…

The Clausenian hypergeometric function $_3F_2$ with unit argument and negative integral parameter differences

New explicit as well as manifestly symmetric three-term summationformulas are derived for the Clausenian hypergeometric series $_3F_2(1)$ with negative integral parameter differences. Our results generalize and naturally extend several similar relations published, in recent years, by many authors. An appropriate and useful connection is established with the quite underestimated 1974 paper by P. W. Karlsson.

矩阵参数超几何函数1F1的代数分析

Algebraic Analysis of the Hypergeometric Function 1F1 of a Matrix Argument

本文研究矩阵参数超几何函数1F1的Muirhead微分算子系统，提出其Weyl闭包特征簇组合结构的猜想，并确定了该系统的奇异轨迹。

Sum relations for multiple zeta values and connection formulas for the Gauss hypergeometric functions

We give an explicit representation for the sums of multiple zeta-star values of fixed weight and height in terms of Riemann zeta values.

关于一类通过递归和乘积二项式 - 调和恒等式的超几何和

Recurrences for Hypergeometric Moments and Binomial-Harmonic Sums

研究系数特定的超几何级数，通过在分母引入移位参数，利用欧拉超几何微分方程推导递归，求解得到普通和与交错和化简及正分母幂公式，还应用于乘积二项式情形与调和数和，给出处理多种相关和式的统一框架。

On a $q$-deformation of modular forms

There are many instances known when the Fourier coefficients of modular forms are congruent to partial sums of hypergeometric series. In our previous work arXiv:1803.01830, such partial sums are related to the radial asymptotics of infinite $q$-hypergeometric sums at roots of unity. Here we combine the two features to construct a hypergeometric $q$-deformation of two CM modular forms of weight 3 and discuss the corresponding $q$-congruences.

双曲反正弦核、有限傅里叶滤波器和四次中心二项式调和和

Arcsine kernels, inverse-binomial harmonic sums, and classical hypergeometric transformations

研究将反正弦幂展开相关系数族放入双曲反正弦核，通过有限傅里叶投影和梅林变形等方法，得到含特定参数的恒等式及相关结果，还记录了核间卷积等细节，指出直接四次核会导致不同的\({}_4F_3\)族。

Relations for a class of terminating ${}_4F_3(4)$ hypergeometric series

We derive relations for a certain class of terminating ${}_4F_3(4)$ hypergeometric series with three free parameters. The invariance group composed of these relations is shown to be isomorphic to the symmetric group $S_3$. We further study relations for terminating ${}_3F_2(4)$ series that fall under two families. By using a series reversal, we examine the corresponding terminating ${}_4F_3(1/4)$ and ${}_3F_2(1/4)$ series relations. We additionally derive formulas for the sums of the first $n+1$ terms of several nonterminating ${}_3F_2(4)$ and ${}_3F_2(1/4)$ series. We also show how certain kn…

Large Parameter Cases of the Gauss Hypergeometric Function

We consider the asymptotic behaviour of the Gauss hypergeometric function when several of the parameters a, b, c are large. We indicate which cases are of interest for orthogonal polynomials (Jacobi, but also Krawtchouk, Meixner, etc.), which results are already available and which cases need more attention. We also consider a few examples of 3F2-functions of unit argument, to explain which difficulties arise in these cases, when standard integrals or differential equations are not available.

超几何级数和基本超几何级数的一般对偶关系

General duality relations for hypergeometric and basic hypergeometric series

本文提出了超几何和q-超几何函数对偶关系的统一推广，涵盖高斯型、合流型及其q-模拟，并推导出固定参数下的多项关系。

Complete Monotonicity and Zeros of Sums of Squared Baskakov Functions

We prove complete monotonicity of sums of squares of generalized Baskakov basis functions by deriving the corresponding results for hypergeometric functions. Moreover, in the central Baskakov case we study the distribution of the complex zeros for large values of a parameter. We finally discuss the extension of some results for sums of higher powers.

多和/积分/"$q$"恒等式的有理函数证明

Rational function certification of multisum/integral/``$q$'' identities

将证明终止超几何恒等式的有理函数证明方法从单和或单积分推广到多积分/和及"$q$"积分/和.

Summation formulae for noncommutative hypergeometric series

We establish several summation formulae for hypergeometric and basic hypergeometric series involving noncommutative parameters and argument. These results were inspired by a recent paper of J. A. Tirao [Proc. Nat. Acad. Sci. 100 (14) (2003), 8138-8141].

Combinatorial identities and hypergeometric series

This paper describes a method to find a connection between combinatorial identities and hypergeometric series with a number of examples. Combinatorial identities can often be written as hypergeometric series with unit argument. In a number of cases these hypergeometric series are balanced and can be reduced to a simpler form. In this paper some combinatorial identities are proved using this method assuming that the results in the tables of Prudnikov et al. [12] are proven without using hypergeometric functions.

One-parameter orthogonality relations for basic hypergeometric series

The second order hypergeometric q-difference operator is studied for the value c=-q. For certain parameter regimes the corresponding recurrence relation can be related to a symmetric operator on the Hilbert space l^2(Z). The operator has deficiency indices (1,1) and we describe as explicitly as possible the spectral resolutions of the self-adjoint extensions. This gives rise to one-parameter orthogonality relations for sums of two 2\phi1-series. In particular, we find that the Ismail-Zhang q-analogue of the exponential function satisfies certain orthogonality relations analogous to the Fourier…

Addition formulas for the $_{p}F_{p}$ and $_{p+1}F_{p}$ generalized hypergeometric functions with arbitrary parameters and their Kummer- and Euler-type transformations

We obtain addition formulas for $_{p}F_{p}$ and $_{p+1}F_{p}$ generalized hypergeometric functions with general parameters. These are utilized in conjunction with integral representations of these functions to derive Kummer- and Euler-type transformations that express $_{p}F_{p}\left(x\right)$ and $_{p+1}F_p\left(x\right)$ in the form of sums of $_{p}F_{p}\left(-x\right)$ and $_{p+1}F_p\left(-x\right)$ functions, respectively.

Towards all-order Laurent expansion of generalized hypergeometric functions around rational values of parameters

We prove the following theorems: 1) The Laurent expansions in epsilon of the Gauss hypergeometric functions 2F1(I_1+a*epsilon, I_2+b*epsilon; I_3+p/q + c epsilon; z), 2F1(I_1+p/q+a*epsilon, I_2+p/q+b*epsilon; I_3+ p/q+c*epsilon;z), 2F1(I_1+p/q+a*epsilon, I_2+b*epsilon; I_3+p/q+c*epsilon;z), where I_1,I_2,I_3,p,q are arbitrary integers, a,b,c are arbitrary numbers and epsilon is an infinitesimal parameter, are expressible in terms of multiple polylogarithms of q-roots of unity with coefficients that are ratios of polynomials; 2) The Laurent expansion of the Gauss hypergeometric function 2F1(I_1…