Related papers: Rational function certification of multisum/integr…
Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this…
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 establish two binomial coefficient--generalized harmonic sum identities using the partial fraction decomposition method. These identities are a key ingredient in the proofs of numerous supercongruences. In particular, in other works of…
Finite trigonometric sums appear in various branches of Physics, Mathematics and their applications. For p; q to coprime positive integers and r we consider the finite trigonometric sums involving the product of three trigonometric…
We prove recursive formulas involving sums of divisors and sums of triangular numbers and give a variety of identities relating arithmetic functions to divisor functions providing inductive identities for such arithmetic functions.
We first give a bijective proof of Gould's identity in the model of binary words. Then we deduce Rothe's identity from Gould's identity again by a bijection, which also leads to a double-sum extension of the $q$-Chu-Vandermonde formula.
Let $F(x)$ be an analytical, real valued function defined on a compact domain $\mathcal {B}\subset\mathbb{R}$. We prove that the problem of establishing the irrationality of $F(x)$ evaluated at $x_0\in \mathcal{B}$ can be stated with…
The bilateral series corresponding to many of the third-, fifth-, sixth- and eighth order mock theta functions may be derived as special cases of $_2\psi_2$ series \[ \sum_{n=-\infty}^{\infty}\frac{(a,c;q)_n}{(b,d;q)_n}z^n. \] Three…
We present outlines of a general method to reach certain kinds of $q$-multiple sum identities. Throughout our exposition, we shall give generalizations to the results given by Dilcher, Prodinger, Fu and Lascoux, Zeng, and Guo and Zhang…
We give a new expression of the multiple harmonic sum, which serves as a refinement of the iterated integral expression of the multiple zeta value, and prove it using the so-called connected sum method. Based on this fact, by taking two…
We give a new method for the evaluation of a class of integrals of rational symmetric functions in N pairs of variables {x_a, y_a}_{a=1,... N} arising in coupled matrix models, valid for a broad class of two-variable measures. The result is…
A general strategy is given for the classification of graphs of rational surface singularities. For each maximal rational double point configuration we investigate the possible multiplicities in the fundamental cycle. We classify completely…
The use of function contracts to specify the behavior of functions often remains limited to the scope of a single function call. Relational properties link several function calls together within a single specification. They can express more…
We study q-integral representations of the q-gamma and the q-beta functions. This study leads to a very interesting q-constant. As an application of these integral representations, we obtain a simple conceptual proof of a family of…
We discuss reflections identities of harmonic sums up to weight three. The need for this kind of identities emerges in analysis of the general structure of eigenvalue of the BFKL equation. The reflection identities decompose a product of…
A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. We present in a unified and explicit way all these systems of orthogonal polynomials, the associated…
We give a simple geometric argument to derive in a common manner orthospectrum identities of Basmajian and Bridgeman. Our method also considerably simplifies the determination of the summands in these identities. For example, for every odd…
For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded…
The aim of this note is to provide a new identity connected with the Gauss hypergeometric function. This is achieved using results of certain combinatorial identities and a hypergeometric function approach.
We describe a bilinear identity satisfied by certain multidimensional q-hypergeometric integrals. The identity can be considered as a deformation of the Riemann bilinear relation for the twisted de Rham (co)homologies. The identity also…