Let $Λ^{\mathbb{R}}$ denote the linear space over $\mathbb{R}$ spanned by $z^{k}$, $k \in \mathbb{Z}$. Define the real inner product (with varying exponential weights) $<\boldsymbol{\cdot},\boldsymbol{\cdot} >_{\mathscr{L}} \colon Λ^{\mathbb{R}} \times Λ^{\mathbb{R}}
\to \mathbb{R}$, $(f,g) \mapsto \int_{\mathbb{R}}f(s)g(s) \exp (-\mathscr{N} V(s)) \md s$, $\mathscr{N} \in \mathbb{N}$, where the external field $V$ satisfies: (i) $V$ is real analytic on $\mathbb{R} \setminus \{0\}$; (ii) $\lim_{| x | \to \infty}(V(x)/\ln (x^{2} + 1)) =
+\infty$; and (iii) $\lim_{| x | \to 0}(V(x)/\ln (x^{-2} + 1))
= +\infty$. Orthogonalisation of the (ordered) base $\lbrace 1,z^{-1},z,z^{-2},z^{2},...c,z^{-k},z^{k},...c \rbrace$ with respect to $<\boldsymbol{\cdot},\boldsymbol{\cdot} >_{\mathscr{L}}$ yields the even degree and odd degree orthonormal Laurent polynomials $\lbrace ϕ_{m}(z) \rbrace_{m=0}^{\infty}$: $ϕ_{2n}(z) = ξ^{(2n)}_{-n}z^{-n} + ...b + ξ^{(2n)}_{n}z^{n}$, $ξ^{(2n)}_{n} > 0$, and $ϕ_{2n+1}(z) = ξ^{(2n+1)}_{-n-1} z^{-n-1} + ...b + ξ^{(2n+1)}_{n}z^{n}$, $ξ^{(2n+1)}_{-n-1} > 0$. Asymptotics in the double-scaling limit as $\mathscr{N},n \to \infty$ such that $\mathscr{N}/n = 1 + o(1)$ of $ξ^{(2n+1)}_{-n-1}$ and $ϕ_{2n+1}(z)$ (in the entire complex plane) are obtained by formulating the odd degree orthonormal Laurent polynomial problem as a matrix Riemann-Hilbert problem on $\mathbb{R}$, and then extracting the large-N behaviour by applying the non-linear steepest-descent method introduced in [1] and further developed in [2,3].
The Askey-Wilson polynomials are orthogonal polynomials in $x = \cos θ$, which are given as a terminating $_4ϕ_3$ basic hypergeometric series. The non-symmetric Askey-Wilson polynomials are Laurent polynomials in $z=e^{iθ}$, which are given as a sum of two terminating $_4ϕ_3$'s. They satisfy a biorthogonality relation. In this paper new orthogonality relations for single $_4ϕ_3$'s which are Laurent polynomials in $z$ are given, which imply the non-symmetric Askey-Wilson biorthogonality. These results include discrete orthogonality relations. They can be considered as a classical analytic study…
Orthogonal Laurent polynomials in the unit circle and the theory of Toda-like integrable systems are connected using the Gauss--Borel factorization of a Cantero-Moral-Velazquez moment matrix, which is constructed in terms of a complex quasi-definite measure supported in the unit circle. The factorization of the moment matrix leads to orthogonal Laurent polynomials in the unit circle and the corresponding second kind functions. Jacobi operators, 5-term recursion relations and Christoffel-Darboux kernels, projecting to particular spaces of truncated Laurent polynomials, and corresponding Christo…
An ordering for Laurent polynomials in the algebraic torus $(\mathbb C^*)^D$, inspired by the Cantero-Moral-Velázquez approach to orthogonal Laurent polynomials in the unit circle, leads to the construction of a moment matrix for a given Borel measure in the unit torus $\mathbb T^D$. The Gauss-Borel factorization of this moment matrix allows for the construction of multivariate biorthogonal Laurent polynomials in the unit torus which can be expressed as last quasi-determinants of bordered truncations of the moment matrix. Christoffel type perturbations of the measure given by the multiplicatio…
We introduce a spectral transform for the finite relativistic Toda lattice (RTL) in generalized form. In the nonrelativistic case, Moser constructed a spectral transform from the spectral theory of symmetric Jacobi matrices. Here we use a non-symmetric generalized eigenvalue problem for a pair of bidiagonal matrices (L,M) to define the spectral transform for the RTL. The inverse spectral transform is described in terms of a terminating T-fraction. The generalized eigenvalues are constants of motion and the auxiliary spectral data have explicit time evolution. Using the connection with the theo…
Matrix orthogonal Laurent polynomials in the unit circle and the theory of Toda-like integrable systems are connected using the Gauss--Borel factorization of two, left and a right, Cantero-Morales-Velazquez block moment matrices, which are constructed using a quasi-definite matrix measure. A block Gauss-Borel factorization problem of these moment matrices leads to two sets of biorthogonal matrix orthogonal Laurent polynomials and matrix Szegő polynomials, which can be expressed in terms of Schur complements of bordered truncations of the block moment matrix. The corresponding block extension o…
A formulation is given for the spectral transformation of the generalized eigenvalue problem through the decomposition of the second-order differential operators. This allows us to construct some Laurent biorthogonal polynomial systems with gaps in the degree of the polynomial sequence. These correspond to an exceptional-type extension of the orthogonal polynomials, as an extension of the Laurent biorthogonal polynomials. Specifically, we construct the exceptional extension of the Hendriksen-van Rossum polynomials, which are biorthogonal analogs of the classical orthogonal polynomials. Similar…
Laurent polynomials related to the Hahn-Exton $q$-Bessel function, which are $q$-analogues of the Lommel polynomials, have been introduced by Koelink and Swarttouw. The explicit strong moment functional with respect to which the Laurent $q$-Lommel polynomials are orthogonal is given. The strong moment functional gives rise to two positive definite moment functionals. For the corresponding sets of orthogonal polynomials the orthogonality measure is determined using the three-term recurrence relation as a starting point. The relation between Chebyshev polynomials of the second kind and the Laure…
Orthogonalisation of the (ordered) base $\lbrace 1,z^{-1},z,z^{-2},z^{2}, >...c,z^{-k},z^{k},...c \rbrace$ with respect to the real inner product $(f,g) \mapsto \int_{\mathbb{R}}f(s)g(s) \exp (-\mathscr{N} V(s)) \md s$, $\mathscr{N} \in \mathbb{N}$, where $V$ is real analytic on $\mathbb{R} \setminus \{0\}$, $\lim_{| x | \to \infty}(V(x)/ \ln (x^{2} + 1)) = +\infty$, and $\lim_{| x | \to 0} (V(x)/\ln (x^{-2} + 1)) = +\infty$, yields the even degree and odd degree orthonormal Laurent polynomials (OLPs), $ϕ_{2n}(z) = \sum_{k=-n}^{n} ξ^{(2n)}_{k}z^{k}$, with $ξ^{(2n)}_{n} > 0$, and $ϕ_{2n+1}(z) =…
We show that Laurent biorthogonal polynomials whose defining three-term recurrence have constant coefficients have coefficient arrays that are Riordan arrays. For each such family of Laurent biorthogonal polynomials we associate in a natural way a family of orthogonal polynomials. We also extend these results to a notion of generalized orthogonal polynomials whose recurrence depends on three parameters.
Let $f(z) = \sum_{k=0}^\infty d_k z^k$, $d_k\in\mathbb{C}\backslash\{ 0 \}$, $d_0=1$, be a power series with a non-zero radius of convergence $ρ$: $0 <ρ\leq +\infty$. Denote by $f_n(z)$ the n-th partial sum of $f$, and $R_{2n}(z) = \frac{ f_{2n}(z) }{ z^n }$, $R_{2n+1}(z) = \frac{ f_{2n+1}(z) }{ z^{n+1} }$, $n=0,1,2,...$. By the result of Hendriksen and Van Rossum there exists a linear functional $\mathbf{L}$ on Laurent polynomials, such that $\mathbf{L}(R_n R_m) = 0$, when $n\not= m$, while $\mathbf{L}(R_n^2)\not= 0$. We present an explicit integral representation for $\mathbf{L}$ in the abov…
Let there be given a probability measure $μ$ on the unit circle $\TT$ of the complex plane and consider the inner product induced by $μ$. In this paper we consider the problem of orthogonalizing a sequence of monomials $\{z^{r_k}\}_k$, for a certain order of the $r_k\in\mathbb{Z}$, by means of the Gram-Schmidt orthogonalization process. This leads to a basis of orthonormal Laurent polynomials $\{ψ_k\}_k$. We show that the matrix representation with respect to the basis $\{ψ_k\}_k$ of the operator of multiplication by $z$ is an infinite unitary or isometric matrix allowing a 'snake-shaped' matr…
It is shown that monic orthogonal polynomials on the unit circle are the characteristic polynomials of certain five-diagonal matrices depending on the Schur parameters. This result is achieved through the study of orthogonal Laurent polynomials on the unit circle. More precisely, it is a consequence of the five term recurrence relation obtained for these orthogonal Laurent polynomials, and the one to one correspondence established between them and the orthogonal polynomials on the unit circle. As an application, some results relating the behavior of the zeros of orthogonal polynomials and the …
A classical result due to Bochner classifies the orthogonal polynomials on the real line which are common eigenfunctions of a second order linear differential operator. We settle a natural version of the Bochner problem on the unit circle which answers a similar question concerning orthogonal Laurent polynomials and can be formulated as a bispectral problem involving CMV matrices. We solve this CMV bispectral problem in great generality proving that, except the Lebesgue measure, no other one on the unit circle yields a sequence of orthogonal Laurent polynomials which are eigenfunctions of a li…
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…
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…
Using the technique of the elliptic Frobenius determinant, we construct new elliptic solutions of the $QD$-algorithm. These solutions can be interpreted as elliptic solutions of the discrete-time Toda chain as well. As a by-product, we obtain new explicit orthogonal and biorthogonal polynomials in terms of the elliptic hypergeometric function ${_3}E_2(z)$. Their recurrence coefficients are expressed in terms of the elliptic functions. In the degenerate case we obtain the Krall-Jacobi polynomials and their biorthogonal analogs.
Recursive algebraic construction of two infinite families of polynomials in $n$ variables is proposed as a uniform method applicable to every semisimple Lie group of rank $n$. Its result recognizes Chebyshev polynomials of the first and second kind as the special case of the simple group of type $A_1$. The obtained not Laurent-type polynomials are proved to be equivalent to the partial cases of the Macdonald symmetric polynomials. Basic relation between the polynomials and their properties follow from the corresponding properties of the orbit functions, namely the orthogonality and discretizat…
Szego's procedure to connect orthogonal polynomials on the unit circle and orthogonal polynomials on [-1,1] is generalized to nonsymmetric measures. It generates the so-called semi-orthogonal functions on the linear space of Laurent polynomials L, and leads to a new orthogonality structure in the module LxL. This structure can be interpreted in terms of a 2x2 matrix measure on [-1,1], and semi-orthogonal functions provide the corresponding sequence of orthogonal matrix polynomials. This gives a connection between orthogonal polynomials on the unit circle and certain classes of matrix orthogona…
We study a family of the Laurent biorthogonal polynomials arising from the Hermite continued fraction for a ratio of two complete elliptic integrals. Recurrence coefficients, explicit expression and the weight function for these polynomials are obtained. We construct also a new explicit example of the Szegö polynomials orthogonal on the unit circle. Relations with associated Legendre polynomials are considered.
We give several descriptions of positive quadrature formulas which are exact for trigonometric -, respectively, Laurent polynomials of degree less or equal $n-1-m$, $0\leq m\leq n-1$. A complete and simple description is obtained with the help of orthogonal polynomials on the unit circle. In particular it is shown that the nodes polynomial can be generated by a simple recurrence relation. As a byproduct interlacing properties of zeros of para-orthogonal polynomials are obtained. Finally, asymptotics for the quadrature weights are presented.
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 …
This paper is devoted to the study of general (Laurent) polynomial modifications of moment functionals on the unit circle, i.e., associated with hermitian Toeplitz matrices. We present a new approach which allows us to study polynomial modifications of arbitrary degree. The main objective is the characterization of the quasi-definiteness of the functionals involved in the problem in terms of a difference equation relating the corresponding Schur parameters. The results are presented in the general framework of (non necessarily quasi-definite) hermitian functionals, so that the maximum number o…
We develop a theory of Darboux transformations for CMV matrices, canonical representations of the unitary operators. In perfect analogy with their self-adjoint version -- the Darboux transformations of Jacobi matrices -- they are equivalent to Laurent polynomial modifications of the underlying measures. We address other questions which emphasize the similarities between Darboux transformations for Jacobi and CMV matrices, like their (almost) isospectrality or the relation that they establish between the corresponding orthogonal polynomials, showing also that both transformations are connected …
Persymmetric Jacobi matrices are invariant under reflection with respect to the anti-diagonal. The associated orthogonal polynomials have distinctive properties that are discussed. They are found in particular to be also orthogonal on the restrictions either to the odd or to the even points of the complete orthogonality lattice. This is exploited to design very efficient inverse problem algorithms for the reconstruction of persymmetric Jacobi matrices from spectral points. Isospectral deformations of such matrices are also considered. Expressions for the associated polynomials and their weight…
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…
Orthogonal polynomials of degree $n$ with respect to the weight function $W_μ(x) = (1-\|x\|^2)^μ$ on the unit ball in $\RR^d$ are known to satisfy the partial differential equation $$ [ Δ- \la x, \nabla \ra^2 - (2 μ+d) \la x, \nabla \ra \right ] P = -n(n+2 μ+d) P $$ for $μ> -1$. The singular case of $μ= -1,-2, ...$ is studied in this paper. Explicit polynomial solutions are constructed and the equation for $ν= -2,-3,...$ is shown to have complete polynomial solutions if the dimension $d$ is odd. The orthogonality of the solution is also discussed.
Using continued fraction expansions of certain polygamma functions as a main tool, we find orthogonal polynomials with respect to the odd-index Bernoulli polynomials $B_{2k+1}(x)$ and the Euler polynomials $E_{2k+ν}(x)$, for $ν=0, 1, 2$. In the process we also determine the corresponding Jacobi continued fractions (or J-fractions) and Hankel determinants. In all these cases the Hankel determinants are polynomials in $x$ which factor completely over the rationals.
