Related papers: A Telescoping method for Double Summations

The Riemann zeta identity at even integers of Lettington, along with his other Bernoulli and zeta relations, are generalized. Other corresponding recurrences and determinant relations are illustrated. Another consequence is the application…

The transformation theory of the Appell $F_2(a,b_1,b_2;c_1,c_2;x,y)$ double hypergeometric function is used to obtain a set of series representations of $F_2$ which provide an efficient way to evaluate $F_2$ for real values of its arguments…

We prove certain Nahm-type sum representations for the (odd modulus) Andrews-Gordon identities, the (even modulus) Andrews-Bressoud identities, and Rogers' false theta functions. These identities are motivated on one hand by a recent work…

An identity by Ramanujan related to the multisection of Bernoulli numbers is revisited. Two alternative approaches are proposed, both relying on the multisection technique. A geometric approach reveals the role played by the symmetries of…

We prove the second author's "denominator conjecture" [40] concerning the common denominators of coefficients of certain linear forms in zeta values. These forms were recently constructed to obtain lower bounds for the dimension of the…

Symbolic summation as an active research topic of symbolic computation provides efficient algorithmic tools for evaluating and simplifying different types of sums arising from mathematics, computer science, physics and other areas. Most of…

For certain class of hypergeometric functions ${}_3F_2$ with rational parameters, we give a sufficient condition for the special value at $1$ to be expressed in terms of logarithms of algebraic numbers. We give two proofs, both of which are…

Four dimensional $\mathcal{N}=2$ Argyres-Douglas theories have been recently conjectured to be described by $\mathcal{N}=1$ Lagrangian theories. Such models, once reduced to 3d, should be mirror dual to Lagrangian $\mathcal{N}=4$ theories.…

Telescopers for a function are linear differential (resp. difference) operators annihilated by the definite integral (resp. definite sum) of this function. They play a key role in Wilf-Zeilberger theory and algorithms for computing them…

A set $\mathcal{S}$ of points in $\mathbb{R}^n$ is called a rationally parameterisable hypersurface if $\mathcal{S}=\{\boldsymbol{\sigma}(\mathbf{t}): \mathbf{t} \in D\}$, where $\boldsymbol{\sigma}: \mathbb{R}^{n-1} \rightarrow…

In a previous work ([Eb]), the author proposed a method employing contiguity relations to derive hypergeometric series in closed form. In [Eb], this method was used to derive Gauss's hypergeometric series $_2F_1$ possessing closed forms.…

This manuscript introduces a general multisection identity expressed equivalently in terms of infinite double products and/or infinite double series, from which several new product or summation identities involving special functions…

For $f \in H^p(\delta^2)$, $0<p\leq 2$, with Haar expansion $f=\sum f_{I \times J}h_{I\times J}$ we constructively determine the Pietsch measure of the $2$-summing multiplication operator \[\mathcal{M}_f:\ell^{\infty} \rightarrow…

Here, we establish a polynomial identity in three variables $a, b, c$, and with the degree of the polynomial given in terms of two integers $L, M$. By letting $L$ and $M$ tend to infinity, we get the 1993 Alladi-Gordon $q$-hypergeometric…

We consider two sequences $a(n)$ and $b(n)$, $1\leq n<\infty$, generated by Dirichlet series $$\sum_{n=1}^{\infty}\frac{a(n)}{\lambda_n^{s}}\qquad\text{and}\qquad \sum_{n=1}^{\infty}\frac{b(n)}{\mu_n^{s}},$$ satisfying a familiar functional…

We first present some identities involving the Pochhammer symbol (rising factorial). We also recall and present some new properties of the Jacobi polynomials. We use them to expand a general hypergeometric function in an orthogonal series…

In 2010, Kh. Hessami Pilehrood and T. Hessami Pilehrood introduced generating function identities used to obtain series accelerations for values of Dirichlet's $\beta$ function, via the Markov--Wilf--Zeilberger method. Inspired by these…

We show that for supersingular prime p the image of a unique meromorphic function G_p on X_0(p) (of degree two, with polar divisor {[0]_0,[\infty]_0}) under a certain Hecke operator is equal to j(\tau) (up to some additional constant). This…

Let $f$ be a homogeneous polynomial of even degree $d$. We study the decompositions $f=\sum_{i=1}^r f_i^2$ where $\mathrm{deg} f_i=d/2$. The minimal number of summands $r$ is called the $2$-rank of $f$, so that the polynomials having…

We show that identities involving trigonometric sums recently proved by Harshitha, Vasuki and Yathirajsharma, using Ramanujan's theory of theta functions, were either already in the literature or can be proved easily by adapting results…