Big $q$-Jacobi functions are eigenfunctions of a second order $q$-difference operator $L$. We study $L$ as an unbounded self-adjoint operator on an $L^2$-space of functions on $\mathbb R$ with a discrete measure. We describe explicitly the spectral decomposition of $L$ using an integral transform $\mathcal F$ with two different big $q$-Jacobi functions as a kernel, and we construct the inverse of $\mathcal F$.
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…
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.
A hierarchy of matrix-valued polynomials which generalize the Jacobi polynomials is found. Defined by a Rodrigues formula, they are also products of a sequence of differential operators. Each class of polynomials is complete, satisfies a two-step recurrence relation, integral inter-relations, and quasi-orthogonality relations.
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 …
We study a new family of "classical" orthogonal polynomials, here called big -1 Jacobi polynomials, which satisfy (apart from a 3-term recurrence relation) an eigenvalue problem with differential operators of Dunkl-type. These polynomials can be obtained from the big $q$-Jacobi polynomials in the limit $q \to -1$. An explicit expression of these polynomials in terms of Gauss' hypergeometric functions is found. The big -1 Jacobi polynomials are orthogonal on the union of two symmetric intervals of the real axis. We show that the big -1 Jacobi polynomials can be obtained from the Bannai-Ito poly…
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 give a detailed description of the resolution of the identity of a second order $q$-difference operator considered as an unbounded self-adjoint operator on two different Hilbert spaces. The $q$-difference operator and the two choices of Hilbert spaces naturally arise from harmonic analysis on the quantum group $SU_q(1,1)$ and $SU_q(2)$. The spectral analysis associated to $SU_q(1,1)$ leads to the big $q$-Jacobi function transform together with its Plancherel measure and inversion formula. The dual orthogonality relations give a one-parameter family of non-extremal orthogonality measures for…
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…
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.
We prove $\ell^p\big(\mathbb Z^d\big)$ bounds, for $p\in(1, \infty)$, of discrete maximal functions corresponding to averaging operators and truncated singular integrals of Radon type, and their applications to pointwise ergodic theory. Our new approach is based on a unified analysis of both types of operators, and also yields an extension to the vector-valued form of these results.
We write spectral decomposition of the hypergeometric differential operator on the contour $Re z=1/2$ (multiplicity of spectrum is 2). As a result, we obtain an integral transform that differs from the Jacobi (or Olevsky) transform. We also try to do a step towards vector-valued special functions and construct a 3F2 orthogonal basis in the space of functions having values in 2-dimensional space. This basis is lying in an analytic continuation of continuous dual Hahn polynomials with respect to number $n$ of a polynomial. In Addendum, we discuss a vector-value analog of the Meixner--Pollachek o…
New convolution identities for orthogonal polynomials belonging to the $q=-1$ analog of the Askey-scheme are obtained. A specialization of the Chihara polynomials will play a central role as the eigenfunctions of a special element of the Lie superalgebra $\mathfrak{osp}(1|2)$ in the positive discrete series representation. Using the Clebsch-Gordan coefficients, a convolution identity for the Specialized Chihara, the dual -1 Hahn and the Big -1 Jacobi polynomials is found. Using the Racah coefficients, a convolution identity for the Big -1 Jacobi and the Bannai-Ito polynomials is found. Finally…
In this paper, we first introduce some new kinds of weighted amalgam spaces. Then we deal with the vector-valued intrinsic square functions, which are given by \begin{equation*} \mathcal S_γ(\vec{f})(x) = \Bigg(\sum_{j=1}^\infty \big|\mathcal S_γ(f_j)(x) \big|^2\Bigg)^{1/2}, \end{equation*} where $0<γ\leq1$ and \begin{equation*} \mathcal S_γ(f_j)(x) = \left(\iint_{Γ(x)} \Big[\sup_{φ\in{\mathcal C}_γ} \big|φ_t*f_j(y) \big|\Big]^2 \frac{dydt}{t^{n+1}}\right)^{1/2}, \quad j=1,2,\dots. \end{equation*} In his fundamental work, Wilson established strong-type and weak-type estimates for vector-valued…
A two-variable generalization of the Big $-1$ Jacobi polynomials is introduced and characterized. These bivariate polynomials are constructed as a coupled product of two univariate Big $-1$ Jacobi polynomials. Their orthogonality measure is obtained. Their bispectral properties (eigenvalue equations and recurrence relations) are determined through a limiting process from the two-variable Big $q$-Jacobi polynomials of Lewanowicz and Woźny. An alternative derivation of the weight function using Pearson-type equations is presented.
The main result of the paper is a construction of a five-parameter family of new bases in the algebra of symmetric functions. These bases are inhomogeneous and share many properties of systems of orthogonal polynomials on an interval of the real line. This means, in particular, that the algebra of symmetric functions is embedded into the algebra of continuous functions on a certain compact space Omega, and under this realization, our bases turn into orthogonal bases of weighted Hilbert spaces corresponding to certain probability measures on Omega. These measures are of independent interest ---…
We study multiplier theorems on a vector-valued function space, which is a generalization of the results of Calderón-Torchinsky and Grafakos-He-Honzík-Nguyen, and an improvement of the result of Triebel. For $0<p<\infty$ and $0<q\leq \infty$ we obtain that if $r>\frac{d}{s-(d/\min{(1,p,q)}-d)}$, then $$\big\Vert \big\{\big( m_k \hat{f_k}\big)^{\vee}\big\}_{k\in\mathbb{N}}\big\Vert_{L^p(l^q)}\lesssim_{p,q} \sup_{l\in\mathbb{N}}{\big\Vert m_l(2^l\cdot)\big\Vert_{L_s^r(\mathbb{R}^d)}} \big\Vert \big\{f_k\big\}_{k\in\mathbb{N}}\big\Vert_{L^p(l^q)}, ~~f_k\in\mathcal{E}(A2^k),$$ under the condition …
We investigate mixed Lusin area integrals associated with Jacobi trigonometric polynomial expansions. We prove that these operators can be viewed as vector-valued Calderón-Zygmund operators in the sense of the associated space of homogeneous type. Consequently, their various mapping properties, in particular on weighted $L^p$ spaces, follow from the general theory.
The q-Laguerre polynomials correspond to an indetermined moment problem. For explicit discrete non-N-extremal measures corresponding to Ramanujan's ${}_1ψ_1$-summation we complement the orthogonal q-Laguerre polynomials into an explicit orthogonal basis for the corresponding L^2-space. The dual orthogonal system consists of so-called big q-Bessel functions, which can be obtained as a rigorous limit of the orthogonal system of big q-Jacobi polynomials. Interpretations on the SU(1,1) and E(2) quantum groups are discussed.
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.
We present a transplantation theorem for Jacobi coefficients in weighted spaces. In fact, by using a discrete vector-valued local Calderón-Zygmund theory, which has recently been furnished, we prove the boundedness of transplantation operators from $\ell^p(\mathbb{N},w)$ into itself, where $w$ is a weight in the discrete Muckenhoupt class $A_{p}(\mathbb{N})$. Moreover, we obtain weighted weak $(1,1)$ estimates for those operators.
In this paper, we consider a natural extension of several results related to Krall-type polynomials introducing a modification of a $q$-classical linear functional via the addition of one or two mass points. The limit relations between the $q$-Krall type modification of big $q$-Jacobi, little $q$-Jacobi, big $q$-Laguerre, and other families of the $q$-Hahn tableau are established.
We illustrate how Jordan algebras can provide a framework for the interpretation of certain classes of orthogonal polynomials. The big -1 Jacobi polynomials are eigenfunctions of a first order operator of Dunkl type. We consider an algebra that has this operator (up to constants) as one of its three generators and whose defining relations are given in terms of anticommutators. It is a special case of the Askey-Wilson algebra AW(3). We show how the structure and recurrence relations of the big -1 Jacobi polynomials are obtained from the representations of this algebra. We also present ladder op…
Let $\{T_t\}_{t>0}$ be a strongly continuous semigroup of positive contractions on $L_p(X,μ)$ with $1<p<\infty$. Let $E$ be a UMD Banach lattice of measurable functions on another measure space $(Ω,ν)$. For $f\in L_p(X; E)$ define $$\mathcal M(f)(x, ω)=\sup_{t>0}\frac1t\Big|\int_0^tT_s(f(\cdot,ω))(x)ds\Big|,\quad (x,ω)\in X\timesΩ.$$ Then the following maximal ergodic inequality holds $$\big\|\mathcal M(f)\big\|_{L_p(X; E)}\lesssim \big\|f\big\|_{L_p(X; E)},\quad f\in L_p(X; E).$$ If the semigroup $\{T_t\}_{t>0}$ is additionally assumed to be analytic, then $\{T_t\}_{t>0}$ extends to an analyt…
Consider a root system of type $BC_1$ on the real line $\mathbb R$ with general positive multiplicities. The Cherednik-Opdam transform defines a unitary operator from an $L^2$-space on $\mathbb R$ to a $L^2$-space of $\mathbb C^2$-valued functions on $\mathbb R^+$ with the Harish-Chandra measure $|c(\lam)|^{-2}d\lam$. By introducing a weight function of the form $\cosh^{-\sig}(t)\tanh^{2k} t$ on $\mathbb R$ we find an orthogonal basis for the $L^2$-space on $\mathbb R$ consisting of even and odd functions expressed in terms of the Jacobi polynomials (for each fixed $\sig$ and $k$). We find a R…
We consider direct and inverse Jacobi transforms with measures $dμ(t)=2^{2ρ}(\sinh t)^{2α+1}(\cosh t)^{2β+1}\,dt$ and $dσ(λ)=(2π)^{-1}\bigl|\frac{2^{ρ-iλ}Γ(α+1)Γ(iλ)} {Γ((ρ+iλ)/2)Γ((ρ+iλ)/2-β)}\bigr|^{-2}\,dλ$, respectively. We solve the following generalized Logan problem: to find \[ \infΛ((-1)^{m-1}f), \quad m\in \mathbb{N}, \] where $Λ(f)=\sup\,\{λ>0\colon f(λ)>0\}$ and the infimum is taken over all nontrivial even entire functions $f$ of exponential type that are Jacobi transforms of positive measures with supports on an interval. Here, if $m\ge 2$, then we additionally assume that $\int_{…
In this paper, the author considers the weighted vector-valued estimate for the operator defined by $$T_Af(x)={\rm p.\,v.}\int_{\mathbb{R}^n}\frac{Ω(x-y)}{|x-y|^{n+1}}\big(A(x)-A(y)-\nabla A(y)\big)f(y){\rm d}y,$$ and the corresponding maximal operator $T_A^*$, where $Ω$ is homogeneous of degree zero, has vanishing moment of order one, $A$ is a function in $\mathbb{R}^n$ such that $\nabla A\in {\rm BMO}(\mathbb{R}^n)$. By a pointwise estimate for $\|\{T_Af_k(x)\}\|_{l^q}$ and the weighted $L^p$ estimates for the sparse operator $$\mathcal{A}_{\mathcal{S},\,L(\log L)^β}f(x)=\sum_{Q\in\mathcal{S…
The spectral decomposition for an explicit second-order differential operator $T$ is determined. The spectrum consists of a continuous part with multiplicity two, a continuous part with multiplicity one, and a finite discrete part with multiplicity one. The spectral analysis gives rise to a generalized Fourier transform with an explicit hypergeometric function as a kernel. Using Jacobi polynomials the operator $T$ can also be realized as a five-diagonal operator, hence leading to orthogonality relations for $2\times 2$-matrix-valued polynomials. These matrix-valued polynomials can be considere…
In this paper we commence the study of discrete harmonic analysis associated with Jacobi orthogonal polynomials of order $(α,β)$. Particularly, we give the solution $W^{(α,β)}_t$, $t\ge 0$, and some properties of the heat equation related to the operator $J^{(α,β)}-I$, where $J^{(α,β)}$ is the three-term recurrence relation for the normalized Jacobi polynomials and $I$ is the identity operator. These results will be a consequence of a much more general theorem concerning the solution of the heat equation for Jacobi matrices. In addition, we also prove the positivity of the operator $W^{(α,β)}_…
We study spectral properties of Schrödinger operators with $δ$-interactions on a semi-axis by using the theory of boundary triplets and the corresponding Weyl functions. We establish a connection between spectral properties (deficiency indices, self-adjointness, semiboundedness, discreteness of spectra, resolvent comparability etc.) of Schrödinger operators with point interactions and a special class of block Jacobi matrices.