A note on values of $ {}_{4}F_{3} $ hypergeometric functions

Xinhua Xiong,Kunzhen Zhang

DOI: https://doi.org/10.48550/arXiv.2209.12705

2023-07-10

Abstract:In this note, we firstly establish an extended Gauss's summation identity. Using this identity, we compute values of a family of $_4F_3$ hypergeometric functions, which generalize the results obtained by Ferretti et al..

Number Theory

What problem does this paper attempt to address?

A Formula of Two-Partition Hodge Integrals

Chiu-Chu Melissa Liu,Kefeng Liu,Jian Zhou

DOI: https://doi.org/10.1090/s0894-0347-06-00541-8

2007-01-01

Journal of the American Mathematical Society

Abstract:We prove a formula conjectured by the third author expressing certain Hodgeintegrals in terms of certain Chern-Simons link invariants. Such invariantsalso arise in the representation theory of Kac-Moody algebras.
Hypergeometric functions over finite fields

Noriyuki Otsubo

2023-08-02

Abstract:We give a definition of generalized hypergeometric functions over finite fields using modified Gauss sums, which enables us to find clear analogy with classical hypergeometric functions over the complex numbers. We study their fundamental properties and prove summation formulas, transformation formulas and product formulas. An application to zeta functions of K3-surfaces is given. In the appendix, we give an elementary proof of the Davenport-Hasse multiplication formula for Gauss sums.

Number Theory,Classical Analysis and ODEs
Two closed-form evaluations for the generalized hypergeometric function ${}_4F_3(\frac1{16})$

Arjun K. Rathie,Mykola A. Shpot

2024-08-12

Abstract:The objective of this short note is to provide two closed-form evaluations for the generalized hypergeometric function $_4F_3$ of the argument $\frac1{16}$. This is achieved by means of separating a generalized hypergeometric function $_3F_2$ into even and odd components, together with the use of two known results for $_3F_2(\pm\frac14)$ available in the literature. As an application, we obtain an interesting infinite-sum representation for the number $\pi^2$. Certain connections with the work of Ramanujan and other authors are discussed, involving other special functions and binomial sums of different kinds.

Classical Analysis and ODEs
On Hypergeometrics 3F2(1) - A Review

Michael Milgram

DOI: https://doi.org/10.48550/arXiv.1011.4546

2010-11-20

Abstract: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 extends a previous work on this subject.

Classical Analysis and ODEs,Mathematical Physics
A summation formula for a ${}_3F_2(1)$ hypergeometric series

R B Paris

DOI: https://doi.org/10.48550/arXiv.1803.03012

2018-03-08

Classical Analysis and ODEs

Abstract: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$.
Gauss Hypergeometric Representations of the Ferrers Function of the Second Kind

Howard S. Cohl,Justin Park,Hans Volkmer

DOI: https://doi.org/10.3842/SIGMA.2021.053

2021-05-20

Abstract:We derive all eighteen Gauss hypergeometric representations for the Ferrers function of the second kind, each with a different argument. They are obtained from the eighteen hypergeometric representations of the associated Legendre function of the second kind by using a limit representation. For the 18 hypergeometric arguments which correspond to these representations, we give geometrical descriptions of the corresponding convergence regions in the complex plane. In addition, we consider a corresponding single sum Fourier expansion for the Ferrers function of the second kind. In four of the eighteen cases, the determination of the Ferrers function of the second kind requires the evaluation of the hypergeometric function separately above and below the branch cut at $[1,\infty)$. In order to complete these derivations, we use well-known results to derive expressions for the hypergeometric function above and below its branch cut. Finally we give a detailed review of the 1888 paper by Richard Olbricht who was the first to study hypergeometric representations of Legendre functions.

Classical Analysis and ODEs
Gauss Sum of Index 4: (2) Non–cyclic Case

Jing Yang,Shi Xin Luo,Ke Qin Feng

DOI: https://doi.org/10.1007/s10114-005-0645-y

2005-01-01

Acta Mathematica Sinica English Series

Abstract:Assume that m ≥, p is a prime number, (m, p(p – 1)) = 1, −1 ∉ 〈p〉 ⊂ (ℤ/mℤ)* and[(ℤ/mℤ)* : 〈p〉] = 4. In this paper, we calculate the value of Gauss sum $G{\left( \chi \right)} = {\sum {_{{x \in \mathbb{F}^{ * }_{q} }} \chi {\left( x \right)}\zeta ^{{T{\left( x \right)}}}_{p} } }$over ${\mathbb F}$ q , where q = p f , $f = \frac{{\varphi {\left( m \right)}}}{4}$, χ is a multiplicative character of ${\mathbb F}$ q and T is the trace map from${\mathbb F}$ q to ${\mathbb F}$ p . Under our assumptions, G(χ) belongs to the decomposition field K of p in ℚ(ζ m ) and Kis an imaginary quartic abelian number field. When the Galois group Gal(K/ℚ) is cyclic, we havestudied this cyclic case in another paper: "Gauss sums of index four: (1) cyclic case" (accepted byActa Mathematica Sinica, 2003). In this paper we deal with the non–cyclic case.
Hypergeometric evaluation identities and supercongruences

Ling Long

DOI: https://doi.org/10.48550/arXiv.0912.0197

2010-12-16

Abstract:In this article, we provide an application of hypergeometric evaluation identities, including a strange valuation of Gosper, to prove several supercongruences related to special valuations of truncated hypergeometric series. In particular, we prove a conjecture of van Hamme.

Number Theory
Supercongruences arising from a ${}_7F_6$ hypergeometric transformation formula

Chen Wang

2023-06-05

Abstract:Using a ${}_7F_6$ hypergeometric transformation formula, we prove two supercongruences. In particular, one of these supercongruences confirms a recent conjecture of Guo, Liu and Schlosser, and gives an extension of a supercongruence of Long and Ramakrishna.

Number Theory,Combinatorics
Gauss Relations in Feynman Integrals

Tai-Fu Feng,Yang Zhou,Hai-Bin Zhang

2024-07-15

Abstract:Embedding Feynman integrals in Grassmannians, we express Feynman integrals as linear combinations of generalized hypergeometric functions. Here we present general methods to obtain Gauss relations among those generalized hypergeometric functions. The hypergeometric expressions of Feynman integral are analytically continued from some connected component to another by the Gauss inverse relations, then continued to the whole domain of definition by the Gauss-Kummer relations. The Laurant series of the Feynman integral around the time-space dimension $D=4$ is obtained by the Gauss adjacent relations where the coefficients of powers of $D-4$ are given as some finite linear combinations of hypergeometric functions with integer parameters. As an example, we illustrate how to use the method to obtain the analytic expression of the Feynman integral of one-loop self energy in its whole domain of definition.

High Energy Physics - Theory
On the hypergeometric function and families of holomorphic functions

Mark Elin,Fiana Jacobzon

2024-06-05

Abstract:In this work, we examine one two-parameter family of sets consisting of functions holomorphic in the unit disk, previously investigated by several mathematicians. We focus on the set-theoretic properties of this family, identify the general form of filtrations within it, and discover that it is not a lattice. This insight motivates us to introduce a refined concept of quasi-infima and quasi-suprema, and to establish their complete description. Unexpectedly, some new properties of the Gauß hypergeometric function play a crucial role in our investigation.

Complex Variables
$Γ$-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
Gauss Sum of Index 4: (1) Cyclic Case

Ke Qin Feng,Jing Yang,Shi Xin Luo

DOI: https://doi.org/10.1007/s10114-005-0610-9

2005-01-01

Acta Mathematica Sinica English Series

Abstract:Let p be a prime, m ≥ 2, and (m, p(p – 1)) = 1. In this paper, we will calculate explicitlythe Gauss sum $G{\left( \chi \right)} = {\sum {_{{x \in \mathbb{F}^{ * }_{q} }} \chi {\left( x \right)}\zeta ^{{T{\left( x \right)}}}_{p} } }$in the case of [(ℤ/mℤ)* : 〈p〉] = 4, and −1 ∉ 〈p〉, whereq = p f , $f = \frac{{\varphi {\left( m \right)}}}{4}$, χ is a multiplicative character of ${\Bbb F}$ q with order m, and T is the trace map for${\Bbb F}$ q /${\Bbb F}$ p . Under the assumptions [(ℤ/mℤ)* : 〈p〉] = 4 and −1 ∉ 〈p〉, the decomposition field of p in thecyclotomic field ℚ(ζ m ) is an imaginary quartic (abelian) field. And G (χ) is an integer in K. We dealwith the case where K is cyclic in this paper and leave the non–cyclic case to the next paper.
Relations for a class of terminating ${}_4F_3(4)$ hypergeometric series

Ilia D. Mishev

DOI: https://doi.org/10.48550/arXiv.2012.13822

2020-12-27

Abstract: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 known summation formulas for terminating ${}_2F_1(4)$ and ${}_3F_2(4)$ series follow as limiting cases of some of our relations.

Classical Analysis and ODEs
GKZ hypergeometric systems of the four-loop vacuum Feynman integrals

Hai-Bin Zhang,Tai-Fu Feng

2024-03-19

Abstract:Basing on Mellin-Barnes representations and Miller's transformation, we present the Gel'fand-Kapranov-Zelevinsky (GKZ) hypergeometric systems of 4-loop vacuum Feynman integrals with arbitrary masses. Through the GKZ hypergeometric systems, the analytical hypergeometric solutions of 4-loop vacuum Feynman integrals with arbitrary masses can be obtained in neighborhoods of origin including infinity. The analytical expressions of 4-loop vacuum Feynman integrals can be formulated as a linear combination of the fundamental solution systems in certain convergent region.

High Energy Physics - Phenomenology,High Energy Physics - Theory
On the interplay among hypergeometric functions, complete elliptic integrals, and Fourier–Legendre expansions

John M. Campbell,Jacopo D'Aurizio,Jonathan Sondow

DOI: https://doi.org/10.1016/j.jmaa.2019.06.017

IF: 1.417

2019-11-01

Journal of Mathematical Analysis and Applications

Abstract:Motivated by our previous work on hypergeometric functions and the parbelos constant, we perform a deeper investigation on the interplay among generalized complete elliptic integrals, Fourier–Legendre (FL) series expansions, and Fqp series. We produce new hypergeometric transformations and closed-form evaluations for new series involving harmonic numbers, through the use of the integration method outlined as follows: Letting K denote the complete elliptic integral of the first kind, for a suitable function g we evaluate integrals such as∫01K(x)g(x)dx in two different ways: (1) by expanding K as a Maclaurin series, perhaps after a transformation or a change of variable, and then integrating term-by-term; and (2) by expanding g as a shifted FL series, and then integrating term-by-term. Equating the expressions produced by these two approaches often gives us new closed-form evaluations, as in the formulas involving Catalan's constant G∑n=0∞(2nn)2Hn+14−Hn−1416n=Γ4(14)8π2−4Gπ,∑m,n≥0(2mm)2(2nn)216m+n(m+n+1)(2m+3)=7ζ(3)−4Gπ2.

mathematics, applied
Whipple-type $_3F_2$-series and summation formulae involving generalized harmonic numbers

Chuanan Wei,Xiaoxia Wang

DOI: https://doi.org/10.48550/arXiv.1709.00335

2017-08-31

Abstract:By means of the derivative operator and Whipple-type $_3F_2$-series identities, two families of summation formulae involving generalized harmonic numbers are established.

Combinatorics,Number Theory
Supercongruences satisfied by coefficients of 2F1 hypergeometric series

Heng Huat Chan,Aristides Kontogeorgis,Christian Krattenthaler,Robert Osburn

DOI: https://doi.org/10.48550/arXiv.0912.0620

2009-12-03

Abstract:Recently, Chan, Cooper and Sica conjectured two congruences for coefficients of classical 2F1 hypergeometric series which also arise from power series expansions of modular forms in terms of modular functions. We prove these two congruences using combinatorial properties of the coefficients.

Number Theory,Combinatorics
$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications

Wang Chen,Sun Zhi-Wei

2019-01-01

Abstract: In this paper, we mainly study the congruence properties of the following truncated hypergeometric series $$ {}_4F_3\bigg[\begin{matrix}\alpha&1+\frac{\alpha}{2}&\alpha&\alpha\\ &\frac{\alpha}{2}&1&1\end{matrix}\bigg|\ \lambda\bigg]_{p-1}, $$ where $p$ is an odd prime, $\lambda=\pm1$ and $\alpha\in\mathbb{Z}_p^{\times}$. For example, for $\lambda=-1$ we obtain $$ {}_4F_3\bigg[\begin{matrix}\alpha&1+\frac{\alpha}{2}&\alpha&\alpha\\ &\frac{\alpha}{2}&1&1\end{matrix}\bigg|-1\bigg]_{p-1}\equiv\frac{\alpha+\langle-\alpha\rangle_p}{\Gamma_p(1+\alpha)\Gamma_p(1-\alpha)}\pmod{p^3}, $$ where $\langle x\rangle_p$ is the least nonnegative residue of $x$ modulo $p$ and $\Gamma_p$ is the well-known $p$-adic gamma function. As applications, we confirm several conjectures posed by Sun recently; for example, we determine $$\sum_{k=0}^{p-1}(-1)^k(2k+1)\sum_{j=0}^k\binom {-x}j^3\binom{x-1}{k-j}^3$$ modulo $p^2$ for any prime $p>3$ and $p$-adic integer $x$.
Product formulas for basic hypergeometric series by evaluations of Askey--Wilson polynomials

Howard Cohl,Michael Schlosser

2024-11-06

Abstract:Ismail and Wilson derived a generating function for Askey--Wilson polynomials which is given by a product of $q$-Gauss (Heine) nonterminating basic hypergeometric functions. We provide a generalization of that generating function which contains an extra parameter. A special case gives a closed form summation formula for a quadruple basic hypergeometric sum. Using the Ismail--Wilson generating function combined with explicit summations for terminating balanced basic hypergeometric $_4\phi_3$ series, we compute new basic hypergeometric product transformations for nonterminating basic hypergeometric series and provide corresponding integral representations.

Classical Analysis and ODEs

A note on values of $ {}_{4}F_{3} $ hypergeometric functions

A Formula of Two-Partition Hodge Integrals

Hypergeometric functions over finite fields

Two closed-form evaluations for the generalized hypergeometric function ${}_4F_3(\frac1{16})$

On Hypergeometrics 3F2(1) - A Review

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

Gauss Hypergeometric Representations of the Ferrers Function of the Second Kind

Gauss Sum of Index 4: (2) Non–cyclic Case

Hypergeometric evaluation identities and supercongruences

Supercongruences arising from a ${}_7F_6$ hypergeometric transformation formula

Gauss Relations in Feynman Integrals

On the hypergeometric function and families of holomorphic functions

$Γ$-evaluations of hypergeometric series

Gauss Sum of Index 4: (1) Cyclic Case

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

GKZ hypergeometric systems of the four-loop vacuum Feynman integrals

On the interplay among hypergeometric functions, complete elliptic integrals, and Fourier–Legendre expansions

Whipple-type $_3F_2$-series and summation formulae involving generalized harmonic numbers

Supercongruences satisfied by coefficients of 2F1 hypergeometric series

$p$-adic analogues of two ${}_4F_3$ hypergeometric identities and their applications

Product formulas for basic hypergeometric series by evaluations of Askey--Wilson polynomials