The little q-Jacobi function transform depends on three parameters. An explicit expression as a sum of two very-well-poised 8W7-series is derived for the dual transmutation kernel (a kind of non-symmetric Poisson kernel) relating little q-Jacobi function transforms for different parameter sets. A product formula for the dual transmutation kernel is obtained. For the inverse transform the transmutation kernel is given as a 3\phi2-series, and a product formula as a finite sum is derived. The transmutation kernel gives rise to intertwining operators for the second order hypergeometric q-difference operator, which generalise the intertwining operators arising from a Darboux factorisation.
In this paper we obtain a set of five new transmutations of the mother formula. Further, we obtain the second set of ten exact metafunctional equations by crossbreeding on every two elements of the previous set. Elements of the last set represent a kind of synergetic formulae describing cooperative interactions between corresponding sets of values of basic classical functions.
This paper studies properties of q-Jacobi polynomials and their duals by means of operators of the discrete series representations for the quantum algebra U_q(su_{1,1}). Spectrum and eigenfunctions of these operators are found explicitly. These eigenfunctions, when normalized, form an orthogonal basis in the representation space. The initial U_q(su_{1,1})-basis and the bases of these eigenfunctions are interconnected by matrices, whose entries are expressed in terms of little and big q-Jacobi polynomials. The orthogonality by rows in these unitary connection matrices leads to the orthogonality…
The inverse quantum scattering problem for the perturbed Bessel equation is considered. A direct and practical method for solving the problem is proposed. It allows one to reduce the inverse problem to a system of linear algebraic equations, and the potential is recovered from the first component of the solution vector of the system. The approach is based on a special form Fourier-Jacobi series representation for the transmutation operator kernel and the Gelfand-Levitan equation which serves for obtaining the system of linear algebraic equations. The convergence and stability of the method are…
We introduce two kinds of multiple little q-Jacobi polynomials by imposing orthogonality conditions with respect to r discrete little q-Jacobi measures on the exponential lattice q^k (k=0,1,2,3,...), where 0 < q < 1. We show that these multiple little q-Jacobi polynomials have useful q-difference properties, such as a Rodrigues formula (consisting of a product of r difference operators). Some properties of the zeros of these polynomials and some asymptotic properties will be given as well.
Matrix-valued analogues of the little q-Jacobi polynomials are introduced and studied. For the 2x2-matrix-valued little q-Jacobi polynomials explicit expressions for the orthogonality relations, Rodrigues formula, three-term recurrence relation and their relation to matrix-valued q-hypergeometric series and the scalar-valued little q-Jacobi polynomials are presented. The study is based on a matrix-valued q-difference operator, which is a q-analogue of Tirao's matrix-valued hypergeometric differential operator.
New representations for an integral kernel of the transmutation operator and for a regular solution of the perturbed Bessel equation of the form $-u^{\prime\prime}+\left(\frac{\ell(\ell+1)}{x^{2}}+q(x)\right)u=ω^{2}u$ are obtained. The integral kernel is represented as a Fourier-Jacobi series. The solution is represented as a Neumann series of Bessel functions uniformly convergent with respect to $ω$. For the coefficients of the series convenient for numerical computation recurrent integration formulas are obtained. The new representation improves the ones from arXiv:1609.06679 and arXiv:1712.…
The tensor product of a positive and a negative discrete series representation of the quantum algebra U_q(su(1,1)) decomposes as a direct integral over the principal unitary series representations. Discrete terms can appear, and these terms are a finite number of discrete series representations, or one complementary series representation. From the interpretation as overlap coefficients of little q-Jacobi functions and Al-Salam and Chihara polynomials in base q and base q^{-1}, two closely related bilinear summation formulas for the Al-Salam and Chihara polynomials are derived. The formulas inv…
The research about Harmonic Analysis associated with Jacobi expansions carried out in \cite{ACL-JacI} and \cite{ACL-JacII} is continued in this paper. Given the operator $\mathcal{J}^{(α,β)}=J^{(α,β)}-I$, where $J^{(α,β)}$ is the three-term recurrence relation for the normalized Jacobi polynomials and $I$ is the identity operator, we define the corresponding Littlewood-Paley-Stein $g_k^{(α,β)}$-functions associated with it and we prove an equivalence of norms with weights for them. As a consequence, we deduce a result for Laplace type multipliers.
We introduce a new map from polynomials orthogonal on the unit circle to polynomials orthogonal on the real axis. This map is closely related with the theory of CMV matrices. It contains an arbitrary parameter which leads to a linear operator pencil. We show that the little and big -1 Jacobi polynomials are naturally obtained under this map from the Jacobi polynomials on the unit circle.
Little $q$-Jacobi polynomials and symmetry breaking operators for $U_q(sl_2)$
Centre de Recherches Mathématiques, Université de Montréal（蒙特利尔大学数学研究中心）；Laboratoire de mathématiques de Reims LMR, UMR 9008, Université de Reims Champagne-Ardenne（兰斯香槟-阿登大学兰斯数学实验室）
We apply the Pade technique to find rational approximations to % \[h^{\pm}(q_1,q_2)=\sum_{k=1}^\infty\frac{\q_1^k}{1\pm \q_2^k}, 0<q_1,q_2<1, q_1\in\mathbb{Q}, q_2=1/p_2, p_2\in\mathbb{N}\setminus\{1\}.\] % A separate section is dedicated to the special case $q_i=q^{r_i}, r_i\in\mathbb{N}, q=1/p, p\in\mathbb{N}\setminus\{1\}$. In this construction we make use of little $q$-Jacobi polynomials. Our rational approximations are good enough to prove the irrationality of $h^{\pm}(q_1,q_2)$ and give an upper bound for the irrationality measure.
We show how one can use Hermite-Padé approximation and little $q$-Jacobi polynomials to construct rational approximants for $ζ_q(2)$. These numbers are $q$-analogues of the well known $ζ(2)$. Here $q=\frac{1}{p}$, with $p$ an integer greater than one. These approximants are good enough to show the irrationality of $ζ_q(2)$ and they allow us to calculate an upper bound for its measure of irrationality: $μ(ζ_q(2))\leq 10π^2/(5π^2-24) \approx 3.8936$. This is sharper than the upper bound given by Zudilin (\textit{On the irrationality measure for a $q$-analogue of $ζ(2)$}, Mat. Sb. \textbf{193} (2…
We study a family of orthogonal polynomials which satisfy (apart from a 3-term recurrence relation) an eigenvalue equation involving a third order differential operator of Dunkl-type. The orthogonality measure of these polynomials consists in the continuous measure of the little -1 Jacobi polynomials to which is added an arbitrary mass located at the point $x=0$, the middle of the orthogonality interval. This provides the first nontrivial example of Krall-type polynomials with a point mass inside the orthogonality interval. These polynomials can be obtained by a Geronimus transform of the litt…
Nonsymmetric Askey-Wilson polynomials are usually written as Laurent polynomials. We write them equivalently as 2-vector-valued symmetric Laurent polynomials. Then the Dunkl-Cherednik operator of which they are eigenfunctions, is represented as a 2x2 matrix-valued operator. As a new result made possible by this approach we obtain positive definiteness of the inner product in the orthogonality relations, under certain constraints on the parameters. A limit transition to nonsymmetric little q-Jacobi polynomials also becomes possible in this way. Nonsymmetric Jacobi polynomials are considered as …
As the fourth stage of the project multi-indexed orthogonal polynomials, we present the multi-indexed Meixner and little $q$-Jacobi (Laguerre) polynomials in the framework of `discrete quantum mechanics' with real shifts defined on the semi-infinite lattice in one dimension. They are obtained, in a similar way to the multi-indexed Laguerre and Jacobi polynomials reported earlier, from the quantum mechanical systems corresponding to the original orthogonal polynomials by multiple application of the discrete analogue of the Darboux transformations or the Crum-Krein-Adler deletion of virtual stat…
We study several fundamental operators in harmonic analysis related to Jacobi expansions, including Riesz transforms, imaginary powers of the Jacobi operator, the Jacobi-Poisson semigroup maximal operator and Littlewood-Paley-Stein square functions. We show that these are (vector-valued) Calderón-Zygmund operators in the sense of the associated space of homogeneous type, and hence their mapping properties follow from the general theory. Our proofs rely on an explicit formula for the Jacobi-Poisson kernel, which we derive from a product formula for Jacobi polynomials.
In this paper we present an addition to Askey's scheme of q-hypergeometric orthogonal polynomials involving classes of q-special functions which do not consist of polynomials only. The special functions are q-analogues of the Jacobi and Bessel function, and are Askey-Wilson functions, big q-Jacobi functions and little q-Jacobi functions and the corrresponding q-Bessel functions. The generalised orthogonality relations and the second order q-difference equations for these families are given. Limit transitions between these families are discussed. The quantum group theoretic interpretations are …
A limit formula from q-Racah polynomials to big q-Jacobi polynomials is given which can be considered as a limit formula for orthogonal polynomials. This is extended to a multi-parameter limit with 3 parameters, also involving (q-)Hahn polynomials, little q-Jacobi polynomials and Jacobi polynomials. Also the limits from Askey-Wilson to Wilson polynomials and from q-Racah to Racah polynomials are given in a more conceptual way.
We find all polynomials solutions $P_n(x)$ of the abstract "hypergeometric" equation $L P_n(x) = λ_n P_n(x)$, where $L$ is a linear operator sending any polynomial of degree $n$ to a polynomial of the same degree with the property that $L$ is two-diagonal in the monomial basis, i.e. $L x^n = λ_n x^n + μ_n x^{n-1}$ with arbitrary nonzero coefficients $λ_n, μ_n$ . Under obvious nondegenerate conditions, the polynomial eigensolutions $L P_n(x) = λ_n P_n(x)$ are unique. The main result of the paper is a classification of all {\it orthogonal} polynomials $P_n(x)$ of such type, i.e. $P_n(x)$ are ass…
Following a symmetrization procedure proposed recently by Nowak and Stempak, we consider the setting of symmetrized Jacobi expansions. In this framework we investigate mapping properties of several fundamental harmonic analysis operators, including Riesz transforms, Poisson semigroup maximal operator, Littlewood-Paley-Stein square functions and multipliers of Laplace and Laplace-Stieltjes transform type. Our paper delivers also some new results in the original setting of classical Jacobi expansions.
A general scheme for tridiagonalising differential, difference or q-difference operators using orthogonal polynomials is described. From the tridiagonal form the spectral decomposition can be described in terms of the orthogonality measure of generally different orthogonal polynomials. Three examples are worked out: (1) related to Jacobi and Wilson polynomials for a second order differential operator, (2) related to little q-Jacobi polynomials and Askey-Wilson polynomials for a bounded second order q-difference operator, (3) related to little q-Jacobi polynomials for an unbounded second order …
We study potential operators (Riesz and Bessel potentials) associated with classical Jacobi and Fourier-Bessel expansions. We prove sharp estimates for the corresponding potential kernels. Then we characterize those $1 \le p,q \le \infty$, for which the potential operators are of strong type $(p,q)$, of weak type $(p,q)$ and of restricted weak type $(p,q)$. These results may be thought of as analogues of the celebrated Hardy-Littlewood-Sobolev fractional integration theorem in the Jacobi and Fourier-Bessel settings. As an ingredient of our line of reasoning, we also obtain sharp estimates of t…
In this paper, we consider the second-order differential expression \ell [y](x)=(1-x^2)(-(y'(x))'+k(1-x^2)^(-1)y(x))(x\in(-1,1)). This is the Jacobi differential expression with non-classical parameters α = β= -1 in contrast to the classical case when α, β > -1. For fixed k \geq 0 and appropriate values of the spectral parameter λ, the equation \ell[y]=λy has, as in the classical case, a sequence of (Jacobi) polynomial solutions {P_{n}^{(-1,-1)}}_{n=0}^{\infty}. These Jacobi polynomial solutions of degree \geq 2 form a complete orthogonal set in the Hilbert space L^2((-1,1);(1-x^2)^(-1). Unlik…
The q-Heun operator of the big q-Jacobi type on the exponential grid is defined. This operator is the most general second order q-difference operator that maps polynomials of degree $n$ to polynomials of degree $n+1$. It is tridiagonal in bases made out of either q-Pochhammer or big q-Jacobi polynomials and is bilinear in the operators of the q-Hahn algebra. The extension of this algebra that includes the q-Heun operator as generator is described. Biorthogonal Pastro polynomials are shown to satisfy a generalized eigenvalue problem or equivalently to be in the kernel of a special linear pencil…
In the lecture notes we start off with an introduction to the $q$-hypergeometric series, or basic hypergeometric series, and we derive some elementary summation and transformation results. Then the $q$-hypergeometric difference equation is studied, and in particular we study solutions given in terms of power series at $0$ and at $\infty$. Factorisations of the corresponding operator are considered in terms of a lowering operator, which is the $q$-derivative, and the related raising operator. Next we consider the $q$-hypergeometric operator in a special case, and we show that there is a natural…
For little q-Jacobi polynomials and q-Hahn polynomials we give particular q-hypergeometric series representations in which the termwise q=0 limit can be taken. When rewritten in matrix form, these series representations can be viewed as LU factorizations. We develop a general theory of LU factorizations related to complete systems of orthogonal polynomials with discrete orthogonality relations which admit a dual system of orthogonal polynomials. For the q=0 orthogonal limit functions we discuss interpretations on p-adic spaces. In the little 0-Jacobi case we also discuss product formulas.
