A second addition formula for continuous q-ultraspherical polynomials
Tom H. Koornwinder
备注：
17 pages; remarks added; to appear in "Theory and Applications of Special Functions. A Volume Dedicated to Mizan Rahman", M. E. H. Ismail and E. Koelink (eds.), Developments in Mathematics, Kluwer
发表信息：
Theory and Applications of Special Functions. A Volume Dedicated to Mizan Rahman, M.E.H. Ismail and E. Koelink (eds.), Developments in Mathematics, Vol. 13, Springer, 2005, pp. 339-360
This paper provides the details of Remark 5.4 in the author's paper "Askey-Wilson polynomials as zonal spherical functions on the SU(2) quantum group", SIAM J. Math. Anal. 24 (1993), 795-813. In formula (5.9) of the 1993 paper a two-parameter class of Askey-Wilson polynomials was expanded as a finite Fourier series with a product of two 3phi2's as Fourier coefficients. The proof given there used the quantum group interpretation. Here this identity will be generalized to a 3-parameter class of Askey-Wilson polynomials being expanded in terms of continuous q-ultraspherical polynomials with a product of two 2phi2's as coefficients, and an analytic proof will be given for it. Then Gegenbauer's addition formula for ultraspherical polynomials and Rahman's addition formula for q-Bessel functions will be obtained as limit cases. This q-analogue of Gegenbauer's addition formula is quite different from the addition formula for continuous q-ultraspherical polynomials obtained by Rahman and Verma in 1986. Furthermore, the functions occurring as factors in the expansion coefficents will be interpreted as a special case of a system of biorthogonal rational functions with respect to the Askey-Roy q-beta measure. A degenerate case of this biorthogonality are Pastro's biorthogonal polynomials associated with the Stieltjes-Wigert polynomials.
We present a short proof that the normalized Turán determinant in the ultraspherical case is convex or concave depending on whether parameter $λ$ is positive or negative.
In a companion paper [On semiclassical orthogonal polynomials via polynomial mappings, J. Math. Anal. Appl. (2017)] we proved that the semiclassical class of orthogonal polynomials is stable under polynomial transformations. In this work we use this fact to derive in an unified way old and new properties concerning the sieved ultraspherical polynomials of the first and second kind. In particular we derive ordinary differential equations for these polynomials. As an application, we use the differential equation for sieved ultraspherical polynomials of the first kind to deduce that the zeros of …
We show that a confluent case of the big q-Jacobi polynomials P_n(x;a,b,c;q), which corresponds to a=b=-c, leads to a discrete orthogonality relation for imaginary values of the parameter a (outside of its commonly known domain 0<a< q^{-1}). Since P_n(x;q^α, q^α, -q^α; q) tend to Gegenbauer (or ultraspherical) polynomials in the limit as q->1, this family represents yet another q-extension of these classical polynomials, different from the continuous q-ultraspherical polynomials of Rogers. The dual family with respect to the polynomials P_n(x;a,a,-a;q) (i.e., the dual discrete q-ultraspherical…
We examine a result of A. Iserles and E. B. Saff, use it to prove a conjecture of S. Fisk that a linear operator which maps monomials to Legendre polynomials also preserves zeros in the open interval $|x|<1$, and state a more general version of the conjecture for the Jacobi polynomials.
For a one-parameter family of lower triangular matrices with entries involving continuous $q$-ultraspherical polynomials we give an explicit lower triangular inverse matrix, with entries involving again continuous $q$-ultraspherical functions. The matrices are $q$-analogues of results given by Cagliero and Koornwinder recently. The proofs are not $q$-analogues of the Cagliero-Koornwinder case, but are of a different nature involving $q$-Racah polynomials. Some applications of these new formulas are given. Also the limit $β\to 0$ is studied and gives rise to continuous $q$-Hermite polynomials f…
In the first part, by the first author's work of 1972, an integral representation for an ultraspherical polynomial of higher index in terms of one of lower index and an infinite series was obtained. While this representation works well from a theoretical point of view, it is not numerically satisfactory as it involves polynomials of high degree, which are numerically unstable. Here we sum this series to obtain an integral, which is numerically tractable.
A new characterization of the generalized Hermite polynomials and of the orthogonal polynomials with respect to the maesure $|x|^\g (1-x^2)^{\a-1/2}dx$ is derived which is based on a "reversing property" of the coefficients in the corresponding recurrence formulas and does not use the representation in terms of generalized Laguerre and Jacobi polynomials. A similar characterization can be obtained for a generalization of the sieved ultraspherical polynomials of the first and second kind. These results are applied in order to determine the asymptotic limit distribution for the zeros when the de…
A recent conjecture by I. Raşa asserts that the sum of the squared Bernstein basis polynomials is a convex function in $[0,1]$. This conjecture turns out to be equivalent to a certain upper pointwise estimate of the ratio $P_n^{\prime}(x)/P_n(x)$ for $x\geq 1$, where $P_n$ is the $n$-th Legendre polynomial. Here, we prove both upper and lower pointwise estimates for the ratios $\big(P_n^{(λ)}(x)\big)^{\prime}/P_n^{(λ)}(x)$, $~x\geq 1$, where $P_n^{(λ)}$ is the $n$-th ultraspherical polynomial. In particular, we validate Raşa's conjecture.
We prove pointwise bounds for two-parameter families of Jacobi polynomials. Our bounds imply estimates for a class of functions arising from the spectral analysis of distinguished Laplacians and sub-Laplacians on the unit sphere in arbitrary dimension, and are instrumental in the proof of sharp multiplier theorems for those operators.
We discuss and compare upper and lower bounds obtained by two different methods for the positive zero of the ultraspherical polynomial $C_{n}^{(λ)}$ that is greater than $1$ when $-3/2 < λ< -1/2.$ Our first approach uses mixed three term recurrence relations and interlacing of zeros while the second approach uses a method going back to Euler and Rayleigh and already applied to Bessel functions and Laguerre and $q$-Laguerre polynomials. We use the bounds obtained by the second method to simplify the proof of the interlacing of the zeros of $(1-x^2)C_{n}^{(λ)}$ and $C_{n+1}^{(λ)}$, for $-3/2 < λ…
We look for differential equations satisfied by the generalized Jacobi polynomials which are orthogonal on the interval [-1,1] with respect to the classical weight function for the Jacobi polynomials together with point masses at both endpoints. In the special symmetric case that both parameters are equal and also the two point masses are equal we find all differential equations of spectral type satisfied by these symmetric generalized ultraspherical polynomials. We show that if the point masses are positive only for nonnegative integer values of the parameter there exists exactly one differen…
For $k \ge 2$ even, and $ α\ge -(2k+1)/4 $, we provide a uniform approximation of the ultraspherical polynomials $ P_k^{(α,\, α)}(x) $ in the oscillatory region with a very explicit error term. In fact, our result covers all $α$ for which the expression "oscillatory region" makes sense. We show that there the function $g(x)={c \sqrt{b(x)} \, (1-x^2)^{(α+1)/2} P_k^{(α, α)}(x)=\cos \mathcal{B}(x)+ r(x)}$, where $c=c(k, α)$ is defined by the normalization, $\mathcal{B}(x)=\int_{0}^ x b(x) dx$, and the functions $c,\, b(x), \, \mathcal{B}(x)$, as well as bounds on the error term $r(x)$ are given b…
We characterize, up to a conjecture, probability distributions of all order finite moments having ultraspherical type generating functions for orthogonal polynomials.
We find all spectral type differential equations satisfied by the symmetric generalized ultraspherical polynomials which are orthogonal on the interval [-1,1] with respect to the classical symmetric weight function for the Jacobi polynomials together with equal mass points at both ends of the interval of orthogonality. In order to find explicit formulas for the coefficients of these differential equations we have to solve systems of equations involving derivatives of the classical Jacobi polynomials. These systems of equations have a unique solution which is given explicitly. This is a consequ…
We show that the only polynomial sets with a generating function of the form F (xt -- R(t)) and satisfying a three-term recursion relation are the monomial set and the rescaled ultraspherical, Hermite, and Chebyshev polynomials of the first kind.
We provide an algebraic interpretation for two classes of continuous $q$-polynomials. Rogers' continuous $q$-Hermite polynomials and continuous $q$-ultraspherical polynomials are shown to realize, respectively, bases for representation spaces of the $q$-Heisenberg algebra and a $q$-deformation of the Euclidean algebra in these dimensions. A generating function for the continuous $q$-Hermite polynomials and a $q$-analog of the Fourier-Gegenbauer expansion are naturally obtained from these models.
We show that the only orthogonal polynomials with a generating function of the form $F(x z - αz^2)$ are the ultraspherical, Hermite, and Chebyshev polynomials of the first kind. For special $F$ for which this is the case, we then finish the classification of orthogonal polynomials with more general generating functions $F(x w(z) - R(z))$.
The dual discrete $q$-ultraspherical polynomials $D_n^{(s)}(μ(x;s)|q)$ correspond to indeterminate moment problem and, therefore, have one-parameter family of extremal orthogonality relations. It is shown that special cases of dual discrete $q$-ultraspherical polynomials $D_n^{(s)}(μ(x;s)|q)$, when $s=q^{-1}$ and $s=q$, are directly connected with $q^{-1}$-Hermite polynomials. These connections are given in an explicit form. Using these relations, all extremal orthogonality relations for these special cases of polynomials $D_n^{(s)}(μ(x;s)|q)$ are found.
We observe that the linearization coefficients for ultraspherical polynomials are the orthogonality weights for Racah polynomials with special parameters. Then it turns out that the linearization sum with such a Racah polynomial as extra factor inserted, can also be evaluated. The corresponding Fourier--Racah expansion is an addition type formula which is dual to the well-known addition formula for ultraspherical polynomials. The limit to the case of Hermite polynomials of this dual addition formula is also considered. Similar results as for ultraspherical polynomials, although only formal, ar…
We prove that a customary Sturm-Liouville form of second-order $q$-difference equation for the continuous $q$-ultraspherical polynomials $C_n(x;β| q)$ of Rogers can be written in a factorized form in terms of some explicitly defined $q$-difference operator ${\mathcal D}_x^{β, q}$. This reveals the fact that the continuous $q$-ultraspherical polynomials $C_n(x;β| q)$ are actually governed by the $q$-difference equation ${\mathcal D}_x^{β, q} C_n(x;β| q)= (q^{-n/2}+βq^{n/2}) C_n(x;β| q)$, which can be regarded as a square root of the equation, obtained from its original form.
We start by presenting a generalization of a discrete wave equation that is particularly satisfied by the entries of the matrix coefficients of the refinement equation corresponding to the multiresolution analysis of Alpert. The entries are in fact functions of two discrete variables and they can be expressed in terms of the Legendre polynomials. Next, we generalize these functions to the case of the ultraspherical polynomials and show that these new functions obey two generalized eigenvalue problems in each of the two discrete variables, which constitute a generalized bispectral problem. At t…
Let $\displaystyle \{x_{k,n-1}\} _{k=1}^{n-1}$ and $\displaystyle \{x_{k,n}\} _{k=1}^{n},$ $n \in \mathbb{N}$, be two sets of real, distinct points satisfying the interlacing property $ x_{i,n}<x_{i,n-1}< x_{i+1,n}, \, \, \, i = 1,2,\dots,n-1.$ Wendroff proved that if $p_{n-1}(x) = \displaystyle \prod _{k=1}^{n-1} (x-x_{k,n-1})$ and $p_n(x) = \displaystyle \prod _{k=1}^n (x-x_{k,n})$, then $p_{n-1}$ and $p_n$ can be embedded in a non-unique monic orthogonal sequence $\{p_{n}\} _{n=0}^\infty. $ We investigate a question raised by Mourad Ismail at OPSFA 2015 as to the nature and properties of or…
We derive a generalized Rogers generating function and corresponding definite integral, for the continuous $q$-ultraspherical polynomials by applying its connection relation and utilizing orthogonality. Using a recent generalization of the Rogers generating function by Ismail & Simeonov expanded in terms of Askey-Wilson polynomials, we derive corresponding generalized expansions for the continuous $q$-Jacobi, and Wilson polynomials with two and four free parameters respectively. Comparing the coefficients of the Askey-Wilson expansion to our continuous $q$-ultraspherical/Rogers expansion, we d…
We derive generalized generating functions for basic hypergeometric orthogonal polynomials by applying connection relations with one free parameter to them. In particular, we generalize generating functions for the Askey-Wilson, continuous $q$-ultraspherical/Rogers, little $q$-Laguerre/Wall, and $q$-Laguerre polynomials. Depending on what type of orthogonality these polynomials satisfy, we derive corresponding definite integrals, infinite series, bilateral infinite series, and $q$-integrals.
We study convexity properties of the zeros of some special functions that follow from the convexity theorem of Sturm. We prove results on the intervals of convexity for the zeros of Laguerre, Jacobi and ultraspherical polynomials, as well as functions related to them, using transformations under which the zeros remain unchanged. We give upper as well as lower bounds for the distance between consecutive zeros in several cases.
From Koornwinder's interpretation of big $q$-Legendre polynomials as spherical elements on the quantum $SU(2)$ group an addition formula is derived for the big $q$-Legendre polynomial. The formula involves Al-Salam--Carlitz polynomials, little $q$-Jacobi polynomials and dual $q$-Krawtchouk polynomials. For the little $q$-ultraspherical polynomials a product formula in terms of a big $q$-Legendre polynomial follows by $q$-integration. The addition and product formula for the Legendre polynomials are obtained when $q$ tends to 1.
We study the Delsarte problem for even functions continuous on [-1,1], nonpositive on [-1/2,1/2], and representable as series with respect to the ultraspherical polynomials. The value of the Delsarte problem gives an upper bound for the largest power of antipodal spherical 1/2-code of the space Rm.
In this research, by applying the extended Sturm-Liouville theorem for symmetric functions, a basic class of symmetric orthogonal polynomials (BCSOP) with four free parameters is introduced and all its standard properties, such as a generic second order differential equation along with its explicit polynomial solution, a generic orthogonality relation, a generic three term recurrence relation and so on, are presented. Then, it is shown that four main sequences of symmetric orthogonal polynomials can essentially be extracted from the introduced class. They are respectively the generalized ultra…
We study Schur Q-polynomials evaluated on a geometric progression, or equivalently q-enumeration of marked shifted tableaux, seeking explicit formulas that remain regular at q=1. We obtain several such expressions as multiple basic hypergeometric series, and as determinants and pfaffians of continuous q-ultraspherical or continuous q-Jacobi polynomials. As special cases, we obtain simple closed formulas for staircase-type partitions.
An explicit structure relation for Askey-Wilson polynomials is given. This involves a divided q-difference operator which is skew symmetric with respect to the Askey-Wilson inner product and which sends polynomials of degree n to polynomials of degree n+1. By specialization of parameters and by taking limits, similar structure relations, as well as lowering and raising relations, can be obtained for other families in the q-Askey scheme and the Askey scheme. This is explicitly discussed for Jacobi polynomials, continuous q-Jacobi polynomials, continuous q-ultraspherical polynomials, and for big…
We give a Gegenbauer expansion of the two variable function $| s - t |^α$ in terms of the ultraspherical polynomials $C_l^λ (s)$ and $C^μ_m (t)$. Generalization, specialization, and limits of the expansion are also discussed.
We study mapping properties of operators with kernels defined via a combination of continuous and discrete orthogonal polynomials, which provide an abstract formulation of quantum (q-) Fourier type systems. We prove Ismail conjecture regarding the existence of a reproducing kernel structure behind these kernels, by establishing a link with Saitoh theory of linear transformations in Hilbert space. The results are illustrated with Fourier kernels with ultraspherical weights, their continuous q-extensions and generalizations. As a byproduct of this approach, a new class of sampling theorems is ob…
Let $(p_n)_n$ be a sequence of orthogonal polynomials with respect to the measure $μ$. Let $T$ be a linear operator acting in the linear space of polynomials $\PP$ and satisfying that $\dgr(T(p))=\dgr(p)-1$, for all polynomial $p$. We then construct a sequence of polynomials $(s_n)_n$, depending on $T$ but not on $μ$, such that the Wronskian type $n\times n$ determinant $\det \left(T^{i-1}(p_{m+j-1}(x))\right)_{i,j=1}^n$ is equal to the $m\times m$ determinant $\det \left(q^{j-1}_{n+i-1}(x)\right)_{i,j=1}^m$, up to multiplicative constants, where the polynomials $q_n^i$, $n,i\ge 0$, are define…
We show that the method of separation of variables gives a natural generalisation of integral relations for classical special functions of one variable. The approach is illustrated by giving a new proof of the ``quadratic'' integral relations for the continuous q-ultraspherical polynomials. The separating integral operator M expressed in terms of the Askey-Wilson operator is studied in detail: apart from writing down the characteristic (``separation'') equations it satisfies, we find its spectrum, eigenfunctions, inversion, invariants (invariant q-difference operators), and give its interpreta…
Here we study the quantity $$ τ_{n,k}:=\frac{|T_n^{(k)}(ω_{n,k})|}{T_n^{(k)}(1)}\,, $$ where $T_n$ is the $n$-th Chebyshev polynomial of the first kind and $ω_{n,k}$ is the largest zero of $T_n^{(k+1)}$. Since the absolute values of the local extrema of $T_n^{(k)}$ increase monotonically towards the end-points of $[-1,1]$, the value $τ_{n,k}$ shows how small is the largest critical value of $\,T_n^{(k)}\,$ relative to its global maximum $\,T_n^{(k)}(1)$. This is a continuation of the recent paper \cite{NNS2018}, where upper bounds and asymptotic formuae for $τ_{n,k}$ have been obtained on the …
We present new Pieri type formulas for Jack polynomials. As an application, we give a new derivation of higher order difference equations for interpolation Jack polynomials originally found by Knop and Sahi. We also propose Pieri formulas for interpolation Jack polynomials and intertwining relations for a kernel function for Jack polynomials.
For a two parameter family of Askey-Wilson polynomials, that can be regarded as basic analogues of the Legendre polynomials, an addition formula is derived. The addition formula is a two-parameter extension of Koornwinder's addition formula for the little $q$-Legendre polynomials. A corresponding product formula is derived. As the base tends to one, the addition and product formula go over into the addition and product formula for the Legendre polynomial. The addition formula is derived from the interpretation of Askey-Wilson polynomials as generalised matrix elements on the quantum $SU(2)$ gr…
We present determinantal formulas for families of exceptional $X_m$-Laguerre and exceptional $X_m$-Jacobi polynomials and also for exceptional $X_2$-Hermite polynomials. The formulas resemble Vandermonde determinants and use the zeros of the classical orthogonal polynomials.
The aim of this paper is to construct generating functions for new families of special polynomials including the Appel polynomials, the Hermite-Kampè de Fèriet polynomials, the Milne-Thomson type polynomials, parametric kinds of Apostol type numbers and polynomials. Using Euler's formula, relations among special functions, Hermite-type polynomials, the Chebyshev polynomials and the Dickson polynomials are given. Using generating functions and their functional equations, various formulas and identities are given. With help of computational formula for new families of special polynomials, some o…
Classical orthogonal polynomials in one variable can be characterized as the only orthogonal polynomials satisfying a Rodrigues formula. In this paper, using the second kind Kronecker power of a matrix, a Rodrigues formula is introduced for classical orthogonal polynomials in two variables.
We recast Byerly's formula for integrals of products of Legendre polynomials. Then we adopt the idea to the case of Jacobi polynomials. After that, we use the formula to derive an asymptotic formula for integrals of products of Jacobi polynomials. The asymptotic formula is similar to an analogous one recently obtained by the first author and Jeff Geronimo for a different case. Thus, it suggests that such an asymptotic behavior is rather generic for integrals of products of orthogonal polynomials.
We derive Mehler--Heine type asymptotic formulas for Charlier and Meixner polynomials, and also for their associated families. These formulas provide good approximations for the polynomials in the neighborhood of $x=0,$ and determine the asymptotic limit of their zeros as the degree $n$ goes to infinity.
We prove a generalization of the Kibble--Slepian formula (for Hermite polynomials) and its unitary analogue involving the $2$D Hermite polynomials recently proved in \cite{Ism4}. We derive integral representations for the $2$D Hermite polynomials which are of independent interest. Several new generating functions for $2$D $q$-Hermite polynomials will also be given.
As a part of the program `discrete quantum mechanics,' we present general reflectionless potentials for difference Schrödinger equations with pure imaginary shifts. By combining contiguous integer wave number reflectionless potentials, we construct the discrete analogues of the $h(h+1)/\cosh^2x$ potential with the integer $h$, which belong to the recently constructed families of solvable dynamics having the $q$-ultraspherical polynomials with $|q|=1$ as the main part of the eigenfunctions. For the general ($h\in\mathbb{R}_{>0}$) scattering theory for these potentials, we need the connection fo…
We propose new Pieri type formulas for Jack polynomials, which is another kind of Pieri type formulas than the ones in the previous paper (G. Shibukawa, arXiv:2004.12875). From these new Pieri type formulas, we give yet another proof of difference and Pieri formulas for interpolation Jack polynomials. Further, we also generalize a falling type twisted Pieri formula to the binomial type polynomials including Jack and multivariate Bernoulli polynomials.
Jacobi-Trudy formula for a generalisation of Schur polynomials related to any sequence of orthogonal polynomials in one variable is given. As a corollary we have Giambelli formula for generalised Schur polynomials.
Starting from the addition formula for $q$-disk polynomials, which is an identity in non-commuting variables, we establish a basic analogue in commuting variables of the addition and product formula for disk polynomials. These contain as limiting cases the addition and product formula for little $q$-Legendre polynomials. As $q$ tends to $1$ the addition and product formula for disk polynomials are recovered.
We present an integral product formula for Jack polynomials of two variables, extending that of zonal polynomials. It provides another way to find the explicit integral representation for the generalized Bessel function of type $ B_2 $, as presented in \cite{D}.
