Related papers: A Telescoping method for Double Summations

By telescoping method, Sun gave some hypergeometric series whose sums are related to $\pi$ recently. We investigate these series from the point of view of Gosper's algorithm. Given a hypergeometric term $t_k$, we consider the Gosper…

In a prior paper we found that the Fourier-Legendre series of a Bessel function of the first kind J_{N}\left(kx\right) and of a modified Bessel functions of the first kind I_{N}\left(kx\right) lead to an infinite set of series involving…

Source identities are fundamental identities between multivariable special functions. We give a geometric derivation of rational and trigonometric source identities. We also give a systematic derivation and extension of various determinant…

Piatetski-Shapiro--Rallis discovered an integral representation construction, known as the doubling method, for the tensor product $L$-function of a cuspidal automorphic representation of $G \times \mathrm{GL}_1$, where $G$ is a classical…

Through a systematic approach on generating Wilf-Zeilberger-pairs, we prove some hypergeometric identities conjectures due to Z.W. Sun, J. Guillera and Y. Zhao etc., including two Ramanujan-$1/\pi^4$, one $1/\pi^3$ formulas as well as a…

This article describes the REDUCE package ZEILBERG implemented by Gregor St\"olting and the author. The REDUCE package ZEILBERG is a careful implementation of the Gosper and Zeilberger algorithms for indefinite, and definite summation of…

It is shown that the classical quadratic and cubic transformation identities satisfied by the hypergeometric function ${}_3F_2$ can be extended to include additional parameter pairs, which differ by integers. In the extended identities,…

We generalize a terminating summation formula to a unilateral nonterminating, and further, a bilateral summation formula by a property of analytic functions. The unilateral one is proved to be a $q$-analogue of a $_4F_3$-summation formula.…

We show that a double character sum, appearing in the work of Conrey-Iwaniec and Petrow-Young on Weyl bound for certain $L$-functions, is essentially a hypergeometric sum introduced by Katz. This produces a simple proof of the upper bound…

In the first part we analyze space $\mathcal G^*(\mathbb R^{n}_+)$ and its dual through Laguerre expansions when these spaces correspond to a general sequence $\{M_p\}_{p\in\mathbb N_0}$, where $^*$ is a common notation for the Beurling and…

Frolicher and Nijenhuis recognized well in the middle of the previous century that the Lie bracket and its Jacobi identity could and should exist beyond Lie algebras. Nevertheless the conceptual meaning of their discovery has been obscured…

We survey combinatorial interpretations of some dozen identities for the double factorial such as, for instance, (2n-2)!! + Sum_{k=2}^{n} (2n-1)!!(2k-4)!!/(2k-1)!! = (2n-1)!!. Our methods are mostly bijective.

We give several expansion and identities involving the Ramanujan function $A_q$ and the Stieltjes--Wigert polynomials. Special values of our idenitities give $m$-versions of some of the items on the Slater list of Rogers-Ramanujan type…

We give a method to embed the q-series in a (p,q)-series and derive the corresponding (p,q)-extensions of the known q-identities. The (p,q)-hypergeometric series, or twin-basic hypergeometric series (diferent from the usual bibasic…

We show that the results we had obtained on diagonals of nine and ten parameters families of rational functions using creative telescoping, yielding modular forms expressed as pullbacked $ _2F_1$ hypergeometric functions, can be obtained,…

We show that several terminating summation and transformation formulas for basic hypergeometric series can be proved in a straightforward way. Along the same line, new finite forms of Jacobi's triple product identity and Watson's quintuple…

We introduce two remarkable identities written in terms of single commutators and anticommutators for any three elements of arbitrary associative algebra. One is a consequence of other (fundamental identity). From the fundamental identity,…

We extend Zeilberger's approach to special function identities to cases that are not holonomic. The method of creative telescoping is thus applied to definite sums or integrals involving Stirling or Bernoulli numbers, incomplete Gamma…

By applying the derivative operator to the corresponding hypergeometric form of a $q$-series transformation due to Andrews [1,Theorem 4], we establish a general harmonic number identity. As the special cases of it, several interesting…

We prove hypergeometric type identities for a function defined in terms of quotients of the $p$-adic gamma function. We use these identities to prove a supercongruence conjecture of Rodriguez-Villegas between a truncated $_4F_3$…