In [Electron. J. Combin. 10 (2003), #R10], the author presented a new basic hypergeometric matrix inverse with applications to bilateral basic hypergeometric series. This matrix inversion result was directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. The present paper features three different multivariable generalizations of the above result. These are extracted from Gustafson's A_r and C_r extensions and of the author's recent A_r extension of Bailey's 6-psi-6 summation formula. By combining these new multidimensional matrix inverses with A_r and D_r extensions of Jackson's 8-phi-7 summation theorem three balanced very-well-poised 8-psi-8 summation theorems associated with the root systems A_r and C_r are derived.
We give multidimensional generalizations of several transformation formulae for basic hypergeometric series of a specific type. Most of the upper parameters of the series differ multiplicatively from corresponding lower parameters by a nonnegative integer power of the base q. In one dimension, formulae for such series have been found, in the q -> 1 case, by B. M. Minton and P. W. Karlsson, and in the basic case by G. Gasper, by W. C. Chu, and more recently by the author. Our identities involve multilateral basic hypergeometric series associated to the root system A_r (or equivalently, the unit…
In this article, we derive some identities for multilateral basic hypergeometric series associated to the root system A_n. First, we apply Ismail's argument to an A_n q-binomial theorem of Milne and derive a new A_n generalization of Ramanujan's 1-psi-1 summation theorem. From this new A_n 1-psi-1 summation and from an A_n 1-psi-1 summation of Gustafson we deduce two lemmas for deriving simple A_n generalizations of bilateral basic hypergeometric series identities. These lemmas are closely related to the Macdonald identities for A_n. As samples for possible applications of these lemmas, we pro…
We prove a master theorem for hypergeometric functions of Karlsson-Minton type, stating that a very general multilateral U(n) Karlsson-Minton type hypergeometric series may be reduced to a finite sum. This identity contains the Karlsson-Minton summation formula and many of its known generalizations as special cases, and it also implies several "Bailey-type" identities for U(n) hypergeometric series, including multivariable 10-W-9 transformations of Milne and Newcomb and of Kajihara. Even in the one-variable case our identity is new, and even in this case its proof depends on the theory of mult…
We present a new matrix inverse with applications in the theory of bilateral basic hypergeometric series. Our matrix inversion result is directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. We combine our bilateral matrix inverse with known basic hypergeometric summation theorems to derive, via inverse relations, several new identities for bilateral basic hypergeometric series.
Multidimensional matrix inversions provide a powerful tool for studying multiple hypergeometric series. In order to extend this technique to elliptic hypergeometric series, we present three new multidimensional matrix inversions. As applications, we obtain a new $A_r$ elliptic Jackson summation, as well as several quadratic, cubic and quartic summation formulas.
Using Krattenthaler's operator method, we give a new proof of Warnaar's recent elliptic extension of Krattenthaler's matrix inversion. Further, using a theta function identity closely related to Warnaar's inversion, we derive summation and transformation formulas for elliptic hypergeometric series of Karlsson-Minton-type. A special case yields a particular summation that was used by Warnaar to derive quadratic, cubic and quartic transformations for elliptic hypergeometric series. Starting from another theta function identity, we derive yet different summation and transformation formulas for el…
In this paper, we propose a general method to express explicitly the inversion and the connection coefficients between two basic hypergeometric polynomial sets. As application, we consider some $d$-orthogonal basic hypergeometric polynomials and we derive expansion formulae corresponding to all the families within the $q$-Askey scheme.
Given complex parameters $x$, $ν$, $α$, $β$ and $γ\notin -\mathbb{N}$, consider the infinite lower triangular matrix $\mathbf{A}(x,ν;α, β,γ)$ with elements $$ A_{n,k}(x,ν;α,β,γ) = \displaystyle (-1)^k\binom{n+α}{k+α} \cdot F(k-n,-(β+n)ν;-(γ+n);x) $$ for $1 \leqslant k \leqslant n$, depending on the Hypergeometric polynomials $F(-n,\cdot;\cdot;x)$, $n \in \mathbb{N}^*$. After stating a general criterion for the inversion of infinite matrices in terms of associated generating functions, we prove that the inverse matrix $\mathbf{B}(x,ν;α, β,γ) = \mathbf{A}(x,ν;α, β,γ)^{-1}$ is given by \begin{ali…
For any complex parameters $x$ and $ν$, we provide a new class of linear inversion formulas $T = A(x,ν) \cdot S \Leftrightarrow S = B(x,ν) \cdot T$ between sequences $S = (S_n)_{n \in \mathbb{N}^*}$ and $T = (T_n)_{n \in \mathbb{N}^*}$, where the infinite lower-triangular matrix $A(x,ν)$ and its inverse $B(x,ν)$ involve Hypergeometric polynomials $F(\cdot)$, namely $$ \left\{ \begin{array}{ll} A_{n,k}(x,ν) = \displaystyle (-1)^k\binom{n}{k}F(k-n,-nν;-n;x), \\ B_{n,k}(x,ν) = \displaystyle (-1)^k\binom{n}{k}F(k-n,kν;k;x) \end{array} \right. $$ for $1 \leqslant k \leqslant n$. Functional relation…
We extend expansion formulas of Liu given in 2013 to the context of multiple series over root systems. Liu and others have shown the usefulness of these formulas in Special Functions and number-theoretic contexts. We extend Wang and Ma's generalizations of Liu's work which they obtained using $q$-Lagrange inversion. We use the $A_n$ and $C_n$ Bailey transformation and other summation theorems due to Gustafson, Milne, Milne and Lilly, and others, from the theory of $A_n$, $C_n$ and $D_n$ basic hypergeometric series.
A series expansion for Heckman-Opdam hypergeometric functions $φ_λ$ is obtained for all $λ\in \mathfrak a^*_{\mathbb C}.$ As a consequence, estimates for $φ_λ$ away from the walls of a Weyl chamber are established. We also characterize the bounded hypergeometric functions and thus prove an analogue of the celebrated theorem of Helgason and Johnson on the bounded spherical functions on a Riemannian symmetric space of the noncompact type. The $L^p$-theory for the hypergeometric Fourier transform is developed for $0<p<2$. In particular, an inversion formula is proved when $1\leq p <2$.
We discuss the spectral decomposition of the hypergeometric differential operators on the line $\mathrm{Re}\, z=1/2$. Such operators arise in the problem of decomposition of tensor products of unitary representations of the universal covering of the group $SL(2\,{\mathbb R}$. Our main purpose is a search of natural bases in generalized eigenspaces and variants of the inversion formula.
Given parameters $x \notin \mathbb{R}^- \cup \{1\}$ and $ν$, $\mathrm{Re}(ν) < 0$, and the space $\mathscr{H}_0$ of entire functions in $\mathbb{C}$ vanishing at $0$, we consider the family of operators $\mathfrak{L} = c_0 \cdot δ\circ \mathfrak{M}$ with constant $c_0 = ν(1-ν)x/(1-x)$, $δ= z \, \mathrm{d}/\mathrm{d}z$ and integral operator $\mathfrak{M}$ defined by $$ \mathfrak{M}f(z) = \int_0^1 e^{- \frac{z}{x}t^{-ν}(1-(1-x)t)} \, f \left ( \frac{z}{x} \, t^{-ν}(1-t) \right ) \, \frac{\mathrm{d}t}{t}, \qquad z \in \mathbb{C}, $$ for all $f \in \mathscr{H}_0$. Inverting $\mathfrak{L}$ or $\mat…
We continue a program generalizing classical results from the analysis on symmetric cones to the Dunkl setting for root systems of type A. In particular, we prove a Dunkl-Laplace transform identity for Heckman-Opdam hypergeometric functions of type A and more generally, for the associated Cherednik kernel. This is achieved by analytic continuation from a Laplace transform identity for non-symmetric Jack polynomials which was stated, for the symmetric case, as a key conjecture in an unpublished manuscript of Macdonald (2013). Our proof for the Jack polynomials is based on Dunkl operator techniq…
We study the perturbative power-series expansions of the eigenvalues and eigenvectors of a general tridiagonal (Jacobi) matrix of dimension d. The(small) expansion parameters are being the entries of the two diagonals of length d-1 sandwiching the principal diagonal, which gives the unperturbed spectrum. The solution is found explicitly in terms of multivariable (Horn-type) hypergeometric series of 3d-5 variables in the generic case, or 2d-3 variables for the eigenvalue growing from a corner matrix element. To derive the result, we first rewrite the spectral problem for a Jacobi matrix as an e…
In this paper, we explore the symmetric nature of the terminating basic hypergeometric series representations of the Askey--Wilson polynomials and the corresponding terminating basic hypergeometric transformations that these polynomials satisfy. In particular we identify and classify the set of 4 and 7 equivalence classes of terminating balanced ${}_4ϕ_3$ and terminating very-well poised ${}_8W_7$ basic hypergeometric series which are connected with the Askey--Wilson polynomials. We study the inversion properties of these equivalence classes and also identify the connection of both sets of equ…
