Related papers: A summation formula for a ${}_3F_2(1)$ hypergeomet…
We show that the denominator formula for the strange series of affine superalgebras, conjectured by Kac and Wakimoto and proved by Zagier, follows from a classical determinant evaluation of Frobenius. As a limit case, we obtain exact…
Let $k\ge 2$ be a fixed integer. We consider sums of type $\sum_{n_1\cdots n_k\le x} F(n_1,\ldots,n_k)$, taken over the hyperbolic region $\{(n_1,\ldots,n_k)\in {\Bbb N}^k: n_1\cdots n_k\le x\}$, where $F:{\Bbb N}^k\to {\Bbb C}$ is a given…
The article addresses the problem whether indefinite double sums involving a generic sequence can be simplified in terms of indefinite single sums. Depending on the structure of the double sum, the proposed summation machinery may provide…
In terms of the hypergeometric method, we give the extensions of two known series for $\pi$. Further, other twenty-nine summation formulas for $\pi$, $\pi^2$ and $1/\pi$ with free parameters are also derived in the same way.
Any three hypergeometric series whose respective parameters, a, b and c, differ by integers satisfy a linear relation with coefficients that are rational functions of a, b, c and the variable x. These relations are called three-term…
We prove a result on the divisibility of the truncated hypergeometric function 3F2.
We prove explicit formulas for certain first and second moment sums of families of Gaussian hypergeometric functions $_{n+1}F_n$, $n\ge1$, over finite fields with $q$ elements where $q$ is an odd prime. This enables us to find an estimate…
An achievement set of a series is a set of all its subsums. We study the properties of achievement sets of conditionally convergent series in finite dimensional spaces. The purpose of the paper is to answer some of the open problems…
In this paper, we derive the following asymptotic formula $$ \mathop{{\sum}'}_{n\leqslant x}\dfrac{r(n)}{r(n+1)} = {x}{(\ln x)^{-3/4}}(c+o(1)),\ \ x \to +\infty,$$ where $r(n)$ is the number of representations of $n$ as a sum of two…
From the algebraic solution of $x^{n}-x+t=0$ for $n=2,3,4$ and the corresponding solution in terms of hypergeometric functions, we obtain a set of reduction formulas for hypergeometric functions. By differentiation and integration of these…
The general problem of the factorization of a basic hypergeometric series is presented and discussed. The case of the general $_2\psi_2$ series is examined in detail. Connections are found with the theory of basic hypergeometric series on…
Any three basic hypergeometric series {}_{2}phi_{1} whose respective parameters (a, b, c) differ by integer powers of the base q satisfy a linear relation with coefficients which are rational functions of a, b, c, q and the variable x.…
In this article three expansion formulas for a generalized hypergeometric function $_4F_3$ are derived, when its upper parameters differ by integers. Though the results are special cases of a general continuation formula for $_pF_q$, they…
We obtain series expansion formulas for the Hadamard fractional integral and fractional derivative of a smooth function. When considering finite sums only, an upper bound for the error is given. Numerical simulations show the efficiency of…
The purpose of the paper is to introduce two new algorithms. The first one computes a linear recursion for proper hypergeometric multisums, by treating one summation variable at a time, and provides rational certificates along the way. A…
In this paper, we present a new method for finding identities for hypergeoemtric series, such as the (Gauss) hypergeometric series, the generalized hypergeometric series and the Appell-Lauricella hypergeometric series. Furthermore, using…
Results are presented for some infinite series appearing in Feynman diagram calculations, many of which are similar to the Euler series. These include both one-, two- and three-dimensional series. The sums of these series can be evaluated…
We present recent computer algebra methods that support the calculations of (multivariate) series solutions for (certain coupled systems of partial) linear differential equations. The summand of the series solutions may be built by…
In this paper, we establish the following two congruences: \begin{gather*} \sum_{k=0}^{(p+1)/2}(3k-1)\frac{\left(-\frac{1}{2}\right)_k^2\left(\frac{1}{2}\right)_k4^k}{k!^3}\equiv…
We employ a one-variable extension of q-rook theory to give combinatorial proofs of some basic hypergeometric summations, including the q-Pfaff-Saalsch\"utz summation and a 4phi3 summation by Jain.