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 by some rather simple elementary functions.
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…
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.
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 pro…
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.
In this paper, we shall prove the uniform sharp $L^p$ decay estimates for a class of oscillatory integral operators with polynomial phases. By this one-dimensional result, we can use the rotation method to obtain uniform sharp $L^p$ estimates of certain higher-dimensional oscillatory integral operators.
We prove that a variety of oscillatory and polynomial Carleson operators are uniformly bounded on the family of parameters under considerations. As a particular application of our techniques, we prove uniform bounds for oscillatory Carleson operators near a single scale version of the quadratic Carleson operator.
Matrix-valued spherical functions related to the quantum symmetric pair for the quantum analogue of $(SU(2) \times SU(2), \text{diag})$ are introduced and studied in detail. The quantum symmetric pair is given in terms of a quantised universal enveloping algebra with a coideal subalgebra. The matrix-valued spherical functions give rise to matrix-valued orthogonal polynomials, which are matrix-valued analogues of a subfamily of Askey-Wilson polynomials. For these matrix-valued orthogonal polynomials a number of properties are derived using this quantum group interpretation: the orthogonality re…
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 paper, we shall prove the $L^{p}$ endpoint decay estimates of oscillatory integral operators with homogeneous polynomial phases $S$ in $\mathbb{R} \times \mathbb{R}$. As a consequence, sharp $L^{p}$ decay estimates are also obtained when polynomial phases have the form $S(x^{m_{1}},y^{m_{2}})$ with $m_1$ and $m_2$ being positive integers.
We obtain sharp $L^p$ bounds for oscillatory integral operators with generic homogeneous polynomial phases in several variables. The phases considered in this paper satisfy the rank one condition which is an important notion introduced by Greenleaf, Pramanik and Tang. Under certain additional assumptions, we can establish sharp damping estimates with critical exponents to prove endpoint $L^p$ estimates.
In this paper we consider sequences of polynomials orthogonal with respect to certain discrete Laguerre-Sobolev inner product, with two perturbations (involving derivatives) located inside the oscillatory region for the classical Laguerre polynomials. We focus our attention on the representation of these polynomials in terms of the classical Laguerre polynomials and deduce the coefficients of their corresponding five-term recurrence relation, as well as the asymptotic behavior of these coefficients when the degree of the polynomials tends to infinity. Also, the outer relative asymptotics of or…
The sharp range of $L^p$-estimates for the class of Hörmander-type oscillatory integral operators is established in all dimensions under a positive-definite assumption on the phase. This is achieved by generalising a recent approach of the first author for studying the Fourier extension operator, which utilises polynomial partitioning arguments.
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…
In this paper, we consider the degenerate and singular oscillatory integral operator with a singular kernel which is not a Calderón-Zygmund kernel and satisfies suitable size and derivative conditions related to a real parameter $μ$. For any given homogeneous polynomial phases, except monomial phases, of degreee $n$, we give the range of $p$ for which the sharp decay rate $-\frac{1-μ}{n}$ on $L^2$ spaces can be preserved on $L^p$ spaces.
We prove that the $L^2$ bound of an oscillatory integral associated with a polynomial depends only on the number of monomials that this polynomial consists of.
We consider the following oscillatory integral operator \begin{equation}\label{opera-defi-1} T_{α,m}f(x)=\int_{\mathbb R^n}e^{i(x_1^{α_1} y_1^m+\cdots+x_n^{α_n} y_n^m)}f(y)dy, \end{equation} where the function $f$ is a Schwartz function. In this paper, the restriction theorem on $\mathbb{S}^{n-1}$ for this operator is obtained. Moreover, we obtain a necessary condition which ensures the restriction theorem hold.
We make progress on an interesting problem on the boundedness of maximal modulations of the Hilbert transform along the parabola. Namely, if we consider the multiplier arising from it and restrict it to lines, we prove uniform $L^p$ bounds for maximal modulations of the associated operators. Our methods consist of identifying where to use effectively the polynomial Carleson theorem, and where we can take advantage of the presence of oscillation to obtain decay through the $TT^*$ method.
This paper is devoted to $L^2$ estimates for trilinear oscillatory integrals of convolution type on $\mathbb{R}^2$. The phases in the oscillatory factors include smooth functions and polynomials. We shall establish sharp $L^2$ decay estimates of trilinear oscillatory integrals with smooth phases, and then give $L^2$ uniform estimates for these integrals with polynomial phases.
We obtain $L^2$ decay estimates in $λ$ for oscillatory integral operators whose phase functions are homogeneous polynomials of degree m and satisfy various genericity assumptions. The decay rates obtained are optimal in the case of (2+2)--dimensions for any m while, in higher dimensions, the result is sharp for m sufficiently large. The proof for large $m$ follows from essentially algebraic considerations. For cubics in (2+2)--dimensions, the proof involves decomposing the operator near the conic zero variety of the determinant of the Hessian of the phase function, using an elaboration of the …
We obtain the $L^p$ decay of oscillatory integral operators $T_λ$ with certain homogeneous polynomial phase of degree $d$ in $(n+n)$-dimensions. In this paper we require that $d>2n$. If $d/(d-n)<p<d/n$, the decay is sharp and the decay rate is related to the Newton distance. In the case of $p=d/n$ or $d/(d-n)$, we also obtain the almost sharp decay, here "almost" means the decay contains a $\log(λ)$ term. For otherwise, the $L^p$ decay of $T_λ$ is also obtained but not sharp. A counterexample also arises in this paper to show that $d/(d-n)\leq p\leq d/n$ is not necessary to guarantee the sharp…
Let Pd,n denote the space of all real polynomials of degree at most d on R^n. We prove a new estimate for the logarithmic measure of the sublevel set of a polynomial P in Pd,1. Using this estimate, we prove a sharp estimate for a singular oscillatory integral on R^n.
Stein and Wainger proved the $L^p$ bounds of the polynomial Carleson operator for all integer-power polynomials without linear term. In the present paper, we partially generalise this result to all fractional monomials in dimension one. Moreover, the connections with Carleson's theorem and the Hilbert transform along vector fields or (variable) curves are also discussed in details.
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.
Let Pd denote the space of all real polynomials of degree at most d. It is an old result of Stein and Wainger that for every polynomial P in Pd: |p.v.\int_R {e^{iP(t)} dt/t} | < C(d) for some constant C(d) depending only on d. On the other hand, Carbery, Wainger and Wright claim that the true order of magnitude of the above principal value integral is log d. We prove this conjecture.
For each $ d \geq 2$, the Hilbert transform with a polynomial oscillation as below satisfies a $ (1, r )$ sparse bound, for all $ r>1$ $$ H _{ \ast } f (x) = \sup _{ε} \Bigl\lvert \int_{|y| > ε} f (x-y) \frac { e ^{2 πi y ^d }} y\; dy \Bigr\rvert. $$ This quickly implies weak-type inequalities for the maximal truncations, which hold for $A_1$ weights, but are new even in the case of Lebesgue measure. The unweighted weak-type estimate \emph{without maximal truncations} but with arbitrary polynomials, is due to Chanillo and Christ (1987).
In this paper we consider the problem on uniform estimates for generalized oscillatory integrals given by Mittag- Leffler functions with the homogeneous polynomial phase. We obtain a variant of Ricci-Stein Lemma and invariant estimates for corresponding integrals.
We introduce matrix-valued weight functions of arbitrary size, which are analogues of the weight function for the Gegenbauer or ultraspherical polynomials for the parameter $ν>0$. The LDU-decomposition of the weight is explicitly given in terms of Gegenbauer polynomials. We establish a matrix-valued Pearson equation for these matrix weights leading to explicit shift operators relating the weights for parameter $ν$ and $ν+1$. The matrix coefficients of the Pearson equation are obtained using a special matrix-valued differential operator in a commutative algebra of symmetric differential operato…
