We study the moment space corresponding to matrix measures on the unit circle. Moment points are characterized by non-negative definiteness of block Toeplitz matrices. This characterization is used to derive an explicit representation of orthogonal polynomials with respect to matrix measures on the unit circle and to present a geometric definition of canonical moments. It is demonstrated that these geometrically defined quantities coincide with the Verblunsky coefficients, which appear in the Szegö recursions for the matrix orthogonal polynomials. Finally, we provide an alternative proof of the Geronimus relations which is based on a simple relation between canonical moments of matrix measures on the interval [-1,1] and the Verblunsky coefficients corresponding to matrix measures on the unit circle.
We provide a new closed form expression for the Geronimus polynomials on the unit circle and use it to obtain new results and formulas. Among our results is a universality result at an endpoint of an arc for polynomials orthogonal with respect to a Geronimus type weight on an arc of the unit circle. The key tool is a formula of McLaughlin for powers of a two-by-two matrix, which we use to derive convenient formulas for Geronimus polynomials.
Contiguous hypergeometric relations for semiclassical discrete orthogonal polynomials are described as Christoffel and Geronimus transformations. Using the Christoffel-Geronimus-Uvarov formulas quasi-determinatal expressions for the shifted semiclassical discrete orthogonal polynomials are obtained.
This paper deals with monic orthogonal polynomial sequences (MOPS in short) generated by a Geronimus canonical spectral transformation of a positive Borel measure $μ$, i.e., \begin{equation*} \frac{1}{(x-c)}dμ(x)+Nδ(x-c), \end{equation*} for some free parameter $N \in \mathbb{R}_{+}$ and shift $c$. We analyze the behavior of the corresponding MOPS. In particular, we obtain such a behavior when the mass $N$ tends to infinity as well as we characterize the precise values of $N$ such the smallest (respectively, the largest) zero of these MOPS is located outside the support of the original measure…
Let $\un,$ be a quasi-definite linear functional defined on the space of polynomials $\mathbb{P}.$ For such a functional we can define a sequence of monic orthogonal polynomials (SMOP in short) $(P_n)_{n\geq 0},$ which satisfies a three term recurrence relation. Shifting one unity the recurrence coefficient indices given the sequence of associated polynomials of the first kind which are orthogonal with respect to a linear functional denoted by $\un^{(1)}$. In the literature two special transformations of the functional $\un$ are studied, the canonical Christoffel transformation $\widetilde \un…
This paper is devoted to characterizations classical orthogonal polynomials on quadratic lattices by using a matrix approach. In this form we recover the Hahn, Geronimus, Tricomi and Bochner type characterizations of classical orthogonal polynomials on quadratic lattices. Moreover a new characterization is also presented. From the Bochner type characterization we derive the three-term recurrence relation coefficients for these polynomials.
Linear spectral transformations of orthogonal polynomials in the real line, and in particular Geronimus transformations, are extended to orthogonal polynomials depending on several real variables. Multivariate Christoffel-Geronimus-Uvarov formulae for the perturbed orthogonal polynomials and their quasi-tau matrices are found for each perturbation of the original linear functional. These expressions are given in terms of quasi-determinants of bordered truncated block matrices and the 1D Christoffel-Geronimus-Uvarov formulae in terms of quotient of determinants of combinations of the original o…
Quasidefinite sesquilinear forms for Laurent polynomials in the complex plane and corresponding CMV biorthogonal Laurent polynomial families are studied. Bivariate linear functionals encompass large families of orthogonalities like Sobolev and discrete Sobolev types. Two possible Christoffel transformations of these linear functionals are discussed. Either the linear functionals are multiplied by a Laurent polynomial, or are multiplied by the complex conjugate of a Laurent polynomial. For the Geronimus transformation, the linear functional is perturbed in two possible manners as well, by a div…
In this paper transformations for matrix orthogonal polynomials in the real line are studied. The orthogonality is understood in a broad sense, and is given in terms of a nondegenerate continuous sesquilinear form, which in turn is determined by a quasidefinite matrix of bivariate generalized functions with a well defined support. The discussion of the orthogonality for such a sesquilinear form includes, among others, matrix Hankel cases with linear functionals, general matrix Sobolev orthogonality and discrete orthogonal polynomials with an infinite support. The first transformation considere…
This paper is a continuation of the recent paper "CMV biorthogonal Laurent polynomials: Christoffel formulas for Christoffel and Geronimus transformations" by the same authors. The behavior of quasidefinite sesquilinear forms for Laurent polynomials in the complex plane, characterized by bivariate linear functionals, and corresponding CMV biorthogonal Laurent polynomial families --including Sobolev and discrete Sobolev orthogonalities--- under two type of Geronimus--Uvarov transformations is studied. Either the linear functionals are multiplied by a Laurent polynomial and divided by the comple…
We construct new examples of bispectral dual Hahn polynomials, i.e., orthogonal polynomials with respect to certain superposition of Christoffel and Geronimus transforms of the dual Hahn measure and which are also eigenfunctions of a higher order difference operator. The new examples have the novelty that they depend on an arbitrary number of continuous parameters. These are the first examples with this property constructed from the classical discrete families.
In this paper, we study complex Jacobi matrices obtained by the Christoffel and Geronimus transformations at a nonreal complex number, including the properties of the corresponding sequences of orthogonal polynomials. We also present some invariant and semi-invariant properties of Jacobi matrices under such transformations. For instance, we show that a Nevai class is invariant under the transformations in question, which is not true in general, and that the ratio asymptotic still holds outside the spectrum of the corresponding symmetric complex Jacobi matrix but the spectrum could include one …
In this work, some theorems are established for orthogonal trigonometric polynomials (OTP) including Favard, Baxter, Geronimus, Rakhmanov, Szegö and the strong Szegö theorems which are important in the theory of orthogonal polynomials on the unit circle (OPUC). All these results are based on the mutual representation theorem of OPUC and OTP which deduced by a Riemann-Hilbert problem simultaneously characterizing them. In addition, Szegö recursions, four-term recurrences and some new identities for OPUC and OTP are also obtained by using their Riemann-Hilbert characterizations respectively.
Given a nontrivial positive measure $μ$ on the unit circle, the associated Christoffel-Darboux kernels are $K_n(z, w;μ) = \sum_{k=0}^{n}\overline{φ_{k}(w;μ)}\,φ_{k}(z;μ)$, $n \geq 0$, where $φ_{k}(\cdot; μ)$ are the orthonormal polynomials with respect to the measure $μ$. Let the positive measure $ν$ on the unit circle be given by $d ν(z) = |G_{2m}(z)|\, d μ(z)$, where $G_{2m}$ is a conjugate reciprocal polynomial of exact degree $2m$. We establish a determinantal formula expressing $\{K_n(z,w;ν)\}_{n \geq 0}$ directly in terms of $\{K_n(z,w;μ)\}_{n \geq 0}$. Furthermore, we consider the speci…
We present a new explicit family of polynomials orthogonal on the unit circle with a dense point spectrum. This family is expressed in terms of q-hypergeometric function of type ${_2}ϕ_1$. The orthogonality measure is the wrapped geometric distribution. Some "classical" properties of the above polynomials are presented.
In this paper we study the following family of hypergeometric polynomials: $y_n(x) = \frac{ (-1)^ρ}{ n! } x^n {}_2 F_0(-n,ρ;-;-\frac{1}{x})$, depending on a parameter $ρ\in\mathbb{N}$. Differential equations of orders $ρ+1$ and $2$ for these polynomials are given. A recurrence relation for $y_n$ is derived as well. Polynomials $y_n$ are Sobolev orthogonal polynomials on the unit circle with an explicit matrix measure.
In the case when the weight and its inverse belong to BMO(T), we prove the asymptotics of the monic orthogonal polynomials in L^p, 2<p<p_0. Immediate applications include the estimates on the uniform norm and asymptotics for the polynomial entropy.
The Kronecker polynomial $K(z)$ is a finite product of cyclotomic polynomials $C_j(z)$. Any Kronecker polynomial $K(z)$ of degree $N+1$ with simple roots on the unit circle generates a finite set $Φ_0=1, Φ_1(z), \dots, Φ_N(z) $ of polynomials (para) orthogonal on the unit circle (POPUC). This set is determined uniquely by the condition $Φ_N(z) = (N+1)^{-1} K'(z)$. Such set can be called the set of Sturmian Kronecker POPUC. We present several new explicit examples of such POPUC. In particular, we define and analyze properties of the Sturmian cyclotomic POPUC generated by the cyclotomic polynomi…
We consider a sequence of polynomials $\{P_n\}_{n \geq 0}$ satisfying a special $R_{II}$ type recurrence relation where the zeros of $P_n$ are simple and lie on the real line. It turns out that the polynomial $P_n$, for any $n \geq 2$, is the characteristic polynomial of a simple $n \times n$ generalized eigenvalue problem. It is shown that with this $R_{II}$ type recurrence relation one can always associate a positive measure on the unit circle. The orthogonality property satisfied by $P_n$ with respect to this measure is also obtained. Finally, examples are given to justify the results.
We consider properties and applications of a sequence of polynomials known as complementary Romanovski-Routh polynomials (CRR polynomials for short). These polynomials, which follow from the Romanovski-Routh polynomials or complexified Jacobi polynomials, are known to be useful objects in the studies of the one-dimensional Schrödinger equation and also the wave functions of quarks. One of the main results of this paper is to show how the CRR-polynomials are related to a special class of orthogonal polynomials on the unit circle. As another main result, we have established their connection to a…
M. Derevyagin, L. Vinet and A. Zhedanov introduced in Constr. Approx. 36 (2012) 513-535 a new connection between orthogonal polynomials on the unit circle and the real line. It maps any real CMV matrix into a Jacobi one depending on a real parameter $λ$. These authors prove that this map yields a natural link between the Jacobi polynomials on the unit circle and the little and big $-1$ Jacobi polynomials on the real line. They also provide explicit expressions for the measure and orthogonal polynomials associated with the Jacobi matrix in terms of those related to the CMV matrix, but only for …
The sequence $\{\,_2ϕ_1(q^{-k},q^{b+1};\,q^{-\overline{b}-k+1};\, q, q^{-\overline{b}+1/2} z)\}_{k \geq 0}$ of basic hypergeometric polynomials is known to be orthogonal on the unit circle with respect to the weight function $|(q^{1/2}e^{iθ};\,q)_{\infty}/(q^{b+1/2}e^{iθ};\,q)_{\infty}|^2$. This result, where one must take the parameters $q$ and $b$ to be $0 < q < 1$ and $\Re(b) > -1/2$, is due to P.I. Pastro \cite{Pastro-1985}. In the present manuscript we deal with the orthogonal polynomials $\hatΦ_{n}(b;.)$ and $\checkΦ_{n}(b;.)$ on the unit circle with respect to the two parametric familie…
An inifinite-dimensional representation of the double affine Hecke algebra of rank 1 and type $(C_1^{\vee},C_1)$ in which all generators are tridiagonal is presented. This representation naturally leads to two systems of polynomials that are orthogonal on the unit circle. These polynomials can be considered as circle analogs of the Askey-Wilson polynomials. The corresponding polynomials orthogonal on an interval are constructed and discussed.
The aim of this paper is to prove that Markov's theorem on variation of zeros of orthogonal polynomials on the real line [Math. Ann., 27:177-182,1886] remains essentially valid in the case of paraorthogonal polynomials on the unit circle.
