Rational function certification of multisum/integral/``$q$'' identities

Herbert S. Wilf,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.math/9207218

1992-07-01

Combinatorics

Abstract:The method of rational function certification for proving terminating hypergeometric identities is extended from single sums or integrals to multi-integral/sums and ``$q$'' integral/sums.

What problem does this paper attempt to address?

Nonterminating Basic Hypergeometric Series and the $q$-Zeilberger Algorithm

William Y.C. Chen,Qing-Hu Hou,Yan-Ping Mu

DOI: https://doi.org/10.48550/arXiv.math/0509281

2005-09-13

Abstract:We present a systematic method for proving nonterminating basic hypergeometric identities. Assume that $k$ is the summation index. By setting a parameter $x$ to $xq^n$, we may find a recurrence relation of the summation by using the $q$-Zeilberger algorithm. This method applies to almost all nonterminating basic hypergeometric summation formulas in the book of Gasper and Rahman. Furthermore, by comparing the recursions and the limit values, we may verify many classical transformation formulas, including the Sears-Carlitz transformation, transformations of the very-well-poised $_8\phi_7$ series, the Rogers-Fine identity, and the limiting case of Watson's formula that implies the Rogers-Ramanujan identities.

Combinatorics
q-Rational and q-real binomial coefficients

John Machacek,Nicholas Ovenhouse

DOI: https://doi.org/10.1016/j.aam.2023.102618

IF: 1.271

2024-02-01

Advances in Applied Mathematics

Abstract:We consider q-binomial coefficients built from the q-rational and q-real numbers defined by Morier-Genoud and Ovsienko in terms of continued fractions. We establish versions of both the q-Pascal identity and the q-binomial theorem in this setting. These results are then used to find more identities satisfied by the q-analogues of Morier-Genoud and Ovsienko, including a Chu–Vandermonde identity and q-Gamma function identities.

mathematics, applied
Q-Difference Equations of Moment Integrals for Transformational Identities and Generating Functions

Jian Cao,Tianxin Cai

DOI: https://doi.org/10.1080/10236198.2014.961444

2014-01-01

Abstract:In this paper, we show how to deduce several moment integrals by the method of q-difference equation. In addition, we obtain several generalizations of transformational identities by the technique of moment integrals. Meanwhile, we obtain some special cases of bilateral-unilateral series and the Rogers-Ramanujan identities as by-products. Moreover, we give two mixed generating functions for generalized Rogers-Szego polynomials by moment integrals and derive two transformational identities by symmetry. At last, a trilinear generating function for generalized Rogers-Szego polynomials is given by moment integrals.
An Algorithmic Approach to the $q$-Summability Problem of Bivariate Rational Functions

Rong-Hua Wang

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

2019-11-12

Abstract:In 2014, Chen and Singer solved the summability problem of bivariate rational functions. Later an algorithmic proof was presented by Hou and the author. In this paper, the algorithm will be simplified and adapted to the $q$-case.

Combinatorics
On certain $q$-multiple sums

Aung Phone Maw

2024-10-12

Abstract: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 concerning $q$-series identities related to divisor functions. Our exposition shall also provide a generalization of the duality relation for finite multiple harmonic $q$-series given by Bradley.

Combinatorics,Number Theory
A general $q$-series transformation and its applications to multi-sum Rogers-Ramanujan-Slater identities

Jianan Xu,Xinrong Ma

2024-05-27

Abstract:In the present paper, we establish a general transformation for $q$-series which contains L. Wang et al's transformation involved in Nahm series. As direct applications, some concrete new transformation formulas for the ${}_{r+1}\phi_r$ series as well as $q$-identities of multi-sum Rogers-Ramanujan-Slater type are presented.

Combinatorics
On q-series identities with multiple sums related to divisor functions

Aung Phone Maw

2024-07-31

Abstract:We provide an exposition of q-identities with multiple sums related to divisor functions given by Dilcher, Prodinger, Fu and Lascoux, Zeng, Guo and Zhang. Meanwhile, for each of these identities, a more powerful statement will be derived through our exposition.

Combinatorics
General $q$-series transformations based on Abel's lemma on summation by parts and their applications

Jianan Xu,Xinrong Ma

2023-09-22

Abstract:In this paper, we establish three new and general transformations with sixteen parameters and bases via Abel's lemma on summation by parts. As applications, we set up a lot of new transformations of basic hypergeometric series. Among include some new results of Gasper and Rahman's quadratic, cubic, and quartic transformations. Furthermore, we put forward the so-called $(R,S)$-type transformation with arbitrary degree to unify such multibasic transformations. Some special $(R,S)$-type transformations are presented.

Classical Analysis and ODEs
q-Hypergeometric proofs of polynomial analogues of the triple product identity, Lebesgue's identity and Euler's pentagonal number theorem

S. Ole Warnaar

DOI: https://doi.org/10.48550/arXiv.math/0203229

2002-03-22

Abstract:We present alternative, q-hypergeometric proofs of some polynomial analogues of classical q-series identities recently discovered by Alladi and Berkovich, and Berkovich and Garvan.

Combinatorics,Quantum Algebra
On the q-binomial identities involving the Legendre symbol modulo 3

Alexander Berkovich

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

2023-02-13

Abstract:I use polynomial analogue of the Jacobi triple product identity together with the Eisenstein formula for the Legendre symbol modulo 3 . to prove six identities involving the $q$-binomial coefficients. These identities are then extended to the new infinite hierarchies of q-series identities by means of the special case of Bailey's lemma. Some of the identities of Ramanujan, Slater, McLaughlin and Sills are obtained this way.

Number Theory
On a new identity for the H-function with applications to the summation of hypergeometric series

Arjun K. Rathie,L.C.S.M. Ozelim,P.N. Rathie

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

2017-02-07

Abstract:Using generalized hypergeometric functions to perform symbolic manipulation of equations is of great importance to pure and applied scientists. There are in the literature a great number of identities for the Meijer-G function. On the other hand, when more complex expressions arise, the latter function is not capable of representing them. The H-function is an alternative to overcome this issue, as it is a generalization of the Meijer-G function. In the present paper, a new identity for the H-function is derived. In short, this result enables one to split a particular H-function into the sum of two other H-functions. The new relation in addition to an old result are applied to the summation of hypergeometric series. Finally, some relations between H-functions and elementary functions are built

Classical Analysis and ODEs,Complex Variables
A study on unification of generalized hypergeometric function and Mittag-Leffler function with certain integral transforms of generalized basic hypergeometric function

K.K. Chaudhary,S.B. Rao

DOI: https://doi.org/10.15421/242402

2024-07-08

Researches in Mathematics

Abstract:This research article explores some new properties of generalized hypergeometric function and its q-analogue. The connections between ${}_{2}{{R}_{1}}^{\upsilon }(\mathfrak{z})$, the Wright function, and generalized Mittag-Leffler functions are explored. The authors introduce the q-analogue of generalized hypergeometric function denoted by ${}_{2}{{R}_{1}}^{\upsilon ,q}(\mathfrak{z})$ and discuss its properties and connections with q-Wright function and q-versions of generalized Mittag-Leffler functions. We get the q-integral transforms such as q-Mellin, q-Euler (beta), q-Laplace, q-sumudu, and q-natural transforms of Wright-type generalized q-hypergeometric function. This article contributes to the understanding of hypergeometric functions in q-calculus.
$q$-Binomial Identities Finder

Hao Zhong,Leqi Zhao

2024-08-20

Abstract:This paper presents a symbolic computation method for automatically transforming $q$-hypergeometric identities to $q$-binomial identities. Through this method, many previously proven $q$-binomial identities, including $q$-Saalschütz's formula and $q$-Suranyi's formula, are re-fund, and numerous new ones are discovered. Moreover, the generation of the identities is accompanied by the corresponding proofs. During the transformation process, different ranges of variable values and various combinations of $q$-Pochhammer symbols yield different identities. The algorithm maps variable constraints to positive elements in an ordered vector space and employs a backtracking method to provide the feasible variable constraints and $q$-binomial coefficient combinations for each step.

Combinatorics
Certain q-Analogue of Fractional Integrals and Derivatives Involving Basic Analogue of the Several Variable Aleph-Function

Dinesh Kumar,Frédéric Ayant,Norbert Südland,Junesang Choi

DOI: https://doi.org/10.3390/axioms12010051

2023-01-04

Axioms

Abstract:Using Mellin-Barnes contour integrals, we aim at suggesting a q-analogue (q-extension) of the several variable Aleph-function. Then we present Riemann Liouville fractional q-integral and q-differential formulae for the q-extended several variable Aleph-function. Using the q-analogue of the Leibniz rule for the fractional q-derivative of a product of two basic functions, we also provide a formula for the q-extended several variable Aleph-function, which is expressed in terms of an infinite series of the q-extended several variable Aleph-function. Since the three main formulas presented in this article are so general, they can be reduced to yield a number of identities involving q-extended simpler special functions. In this connection, we choose only one main formula to offer some of its particular instances involving diverse q-extended special functions, for example, the q-extended I-function, the q-extended H-function, and the q-extended Meijer's G-function. The results presented here are hoped and believed to find some applications, in particular, in quantum mechanics.
Quantitatively hyper-positive real rational functions II

Daniel Alpay,Izchak Lewkowicz

DOI: https://doi.org/10.1016/j.laa.2024.02.003

IF: 1.307

2024-03-17

Linear Algebra and its Applications

Abstract:Colloquially, quantitatively Hyper-Positive functions form a sub-family of the "Strictly Positive real" functions, where in addition state-space realization always exists and the limit at infinity is non-singular. In scalar terminology, such function maps the right-half of the complex plane into a sub-region of the right-half plane, which can be contained in a finite disk. Moreover, under inversion this disk is mapped onto itself. In [9] we showed that these functions appear in the "absolute stability" Lurie-type problems and characterized these families through their state-space realization, in the spirit of the Kalman-Yakubovich-Popov Lemma. Here, we present additional characterizations, i.e. as rational functions and through the corresponding kernels. Subsequently, a description of all solutions of the tangential Nevanlinna-Pick interpolation problem, in this framework, is presented.

mathematics, applied
An extension of basic Humbert hypergeometric functions

Ayman Shehata

2023-12-09

Abstract:Given the growing quantity of proposals and works of basic hypergeometric functions in the scope of $q$-calculus, it is important to introduce a systematic classification of $q$-calculus. Our aim in this article is to investigate certain interesting several $q$-partial derivative formulas, $q$-contiguous function relations, $q$-recurrence relations, various $q$-partial differential equations, summation formulas, transformation formulas and $q$-integrals representations for basic Humbert confluent hypergeometric functions under what constraints of parameters. These interesting properties, as special cases, include many known expansions of basic Humbert hypergeometric functions, and are also include particular interest in the area.

Classical Analysis and ODEs
Nested Integrals and Rationalizing Transformations

Clemens G. Raab

2023-11-29

Abstract:A brief overview of some computer algebra methods for computations with nested integrals is given. The focus is on nested integrals over integrands involving square roots. Rewrite rules for conversion to and from associated nested sums are discussed. We also include a short discussion comparing the holonomic systems approach and the differential field approach. For simplification to rational integrands, we give a comprehensive list of univariate rationalizing transformations, including transformations tuned to map the interval $[0,1]$ bijectively to itself.

Symbolic Computation,Mathematical Physics
Several new product identities in relation to two-variable Rogers-Ramanujan type sums and mock theta functions

Alexandru Pascadi

2024-04-17

Abstract:Product identities in two variables $x, q$ expand infinite products as infinite sums, which are linear combinations of theta functions; famous examples include Jacobi's triple product identity, Watson's quintuple identity, and Hirschhorn's septuple identity. We view these series expansions as representations in canonical bases of certain vector spaces of quasiperiodic meromorphic functions (related to sections of line and vector bundles), and find new identities for two nonuple products, an undecuple product, and several two-variable Rogers-Ramanujan type sums. Our main theorem explains a correspondence between the septuple product identity and the two original Rogers-Ramanujan identities, involving two-variable analogues of fifth-order mock theta functions. We also prove a similar correspondence between an octuple product identity of Ewell and two simpler variations of the Rogers-Ramanujan identities, which is related to third-order mock theta functions, and conjecture other occurrences of this phenomenon. As applications, we specialize our results to obtain identities for quotients of generalized Dedekind eta functions and mock theta functions.

Combinatorics
Indefinite $q$-integrals from a method using $q$-Ricatti equations

G. E. Heragy,Z. S.I. Mansour,K. M. Oraby

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

2022-03-03

Abstract:Earlier work introduced a method for obtaining indefinite $q$-integrals of $q$-special functions from the second-order linear $q$-difference equations that define them. In this paper, we reformulate the method in terms of $q$-Riccati equations, which are nonlinear and first order. We derive $q$-integrals using fragments of these Riccati equations, and here only two specific fragment types are examined in detail. The results presented here are for $q$-Airy function, Ramanujan function, Jackson $q$-Bessel functions, discrete $q$-Hermite polynomials, $q$-Laguerre polynomials, Stieltjes-Wigert polynomial, little $q$-Legendre, and big $q$-Legendre polynomials.

Classical Analysis and ODEs
A $q$-analogue of the identity $\sum_{k=0}^\infty\frac{(-1)^k}{(2k+1)^3}=\frac{\pi^3}{32}$

Qing-Hu Hou,Zhi-Wei Sun

2018-01-01

Abstract:It is well known that $$sum_{k=0}^inftyfrac{(-1)^k}{(2k+1)^3}=frac{pi^3}{32}.$$ We show that this identity has the following $q$-analogue: begin{equation*} sum_{k=0}^infty(-1)^kfrac{q^{2k}(1+q^{2k+1})}{(1-q^{2k+1})^3}=frac{(q^2;q^4)_{infty}^2(q^4;q^4)_{infty}^6} {(q;q^2)_{infty}^4}, end{equation*} where $q$ is any complex number with $|q|u003c1$.

Rational function certification of multisum/integral/``$q$'' identities

Nonterminating Basic Hypergeometric Series and the $q$-Zeilberger Algorithm

q-Rational and q-real binomial coefficients

Q-Difference Equations of Moment Integrals for Transformational Identities and Generating Functions

An Algorithmic Approach to the $q$-Summability Problem of Bivariate Rational Functions

On certain $q$-multiple sums

A general $q$-series transformation and its applications to multi-sum Rogers-Ramanujan-Slater identities

On q-series identities with multiple sums related to divisor functions

General $q$-series transformations based on Abel's lemma on summation by parts and their applications

q-Hypergeometric proofs of polynomial analogues of the triple product identity, Lebesgue's identity and Euler's pentagonal number theorem

On the q-binomial identities involving the Legendre symbol modulo 3

On a new identity for the H-function with applications to the summation of hypergeometric series

A study on unification of generalized hypergeometric function and Mittag-Leffler function with certain integral transforms of generalized basic hypergeometric function

$q$-Binomial Identities Finder

Certain q-Analogue of Fractional Integrals and Derivatives Involving Basic Analogue of the Several Variable Aleph-Function

Quantitatively hyper-positive real rational functions II

An extension of basic Humbert hypergeometric functions

Nested Integrals and Rationalizing Transformations

Several new product identities in relation to two-variable Rogers-Ramanujan type sums and mock theta functions

Indefinite $q$-integrals from a method using $q$-Ricatti equations

A $q$-analogue of the identity $\sum_{k=0}^\infty\frac{(-1)^k}{(2k+1)^3}=\frac{\pi^3}{32}$