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 theory of Laurent orthogonal polynomials, we study the long-time behaviour of the RTL. As in the case of the Toda lattice the matrix entries have asymptotic limits. We show that L tends to an upper Hessenberg matrix with the generalized eigenvalues sorted on the diagonal, while M tends to the identity matrix.
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…
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…
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…
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…
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…
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} + …
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…
Consider the Laguerre polynomials and deform them by the introduction in the measure of an exponential singularity at zero. In [Chen Y., Its A., J. Approx. Theory 162 (2010), 270-297, arXiv:0808.3590] the authors proved that this deformation can be described by systems of differential/difference equations for the corresponding recursion coefficients and that these equations, ultimately, are equivalent to the Painlevé III equation and its Bäcklund/Schlesinger transformations. Here we prove that an analogue result holds for some kind of semiclassical matrix-valued orthogonal polynomials of Lague…
In this paper we present multidimensional analogues of both the continuous- and discrete-time Toda lattices. The integrable systems that we consider here have two or more space coordinates. To construct the systems, we generalize the orthogonal polynomial approach for the continuous and discrete Toda lattices to the case of multiple orthogonal polynomials.
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.
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…
A general family of matrix valued Hermite type orthogonal polynomials is introduced and studied in detail by deriving Pearson equations for the weight and matrix valued differential equations for these matrix polynomials. This is used to derive Rodrigues formulas, explicit formulas for the squared norm and to give an explicit expression of the matrix entries as well to derive a connection formula for the matrix polynomials of Hermite type. We derive matrix valued analogues of Burchnall formulas in operational form as well explicit expansions for the matrix valued Hermite type orthogonal polyno…
The Cholesky factorization of the moment matrix is applied to discrete orthogonal polynomials on the homogeneous lattice. In particular, semiclassical discrete orthogonal polynomials, which are built in terms of a discrete Pearson equation, are studied. The Laguerre-Freud structure semi-infinite matrix that models the shifts by $\pm 1$ in the independent variable of the set of orthogonal polynomials is introduced. In the semiclassical case it is proven that this Laguerre-Freud matrix is banded. From the well known fact that moments of the semiclassical weights are logarithmic derivatives of ge…
We give a survey of the connection between orthogonal polynomials, Toda lattices and related lattices, and Painlevé equations (discrete and continuous).
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…
We consider the relation of the multi-component 2D Toda hierarchy with matrix orthogonal and biorthogonal polynomials. The multi-graded Hankel reduction of this hierarchy is considered and the corresponding generalized matrix orthogonal polynomials are studied. In particular for these polynomials we consider the recursion relations, and for rank one weights its relation with multiple orthogonal polynomials of mixed type with a type II normalization and the corresponding link with a Riemann--Hilbert problem.
In this work we characterize a full Kostant-Toda system in terms of a family of matrix polynomials orthogonal with respect to a complex matrix measure. In order to study the solution of this dynamical system we give explicit expressions for the Weyl function and we also obtain, under some conditions, a representation of the vector of linear functionals associated with this system.
Multiple orthogonality is considered in the realm of a Gauss--Borel factorization problem for a semi-infinite moment matrix. Perfect combinations of weights and a finite Borel measure are constructed in terms of M-Nikishin systems. These perfect combinations ensure that the problem of mixed multiple orthogonality has a unique solution, that can be obtained from the solution of a Gauss--Borel factorization problem for a semi-infinite matrix, which plays the role of a moment matrix. This leads to sequences of multiple orthogonal polynomials, their duals and second kind functions. It also gives t…
When a measure $ψ(x)$ on the real line is subjected to the modification $dψ^{(t)}(x) = e^{-tx} d ψ(x)$, then the coefficients of the recurrence relation of the orthogonal polynomials in $x$ with respect to the measure $ψ^{(t)}(x)$ are known to satisfy the so-called Toda lattice formulas as functions of $t$. In this paper we consider a modification of the form $e^{-t(p x+q/x)}$ of measures or, more generally, of moment functionals, associated with orthogonal L-polynomials and show that the coefficients of the recurrence relation of these L-orthogonal polynomials satisfy what we call an extended…
Given a matrix polynomial $W(x)$, matrix bi-orthogonal polynomials with respect to the sesquilinear form $\langle P(x),Q(x)\rangle_W=\int P(x) W(x)\operatorname{d}μ(x)(Q(x))^{\top}$, $P(x),Q(x)\in\mathbb R^{p\times p}[x]$, where $μ(x)$ is a matrix of Borel measures supported in some infinite subset of the real line, are considered. Connection formulas between the sequences of matrix bi-orthogonal polynomials with respect to $\langle \cdot,\cdot\rangle_W$ and matrix polynomials orthogonal with respect to $μ(x)$ are presented. In particular, for the case of nonsingular leading coefficients of th…
The correspondence between a high-order non symmetric difference operator with complex coefficients and the evolution of an operator defined by a Lax pair is established. The solution of the discrete dynamical system is studied, giving explicit expressions for the resolvent function and, under some conditions, the representation of the vector of functionals, associated with the solution for our integrable systems. The method of investigation is based on the evolutions of the matrical moments.
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…
Nenciu and Simon found that the analogue of the Toda system in the context of orthogonal polynomials on the unit circle is the defocusing Ablowitz-Ladik system. In this paper we use the CMV and extended CMV matrices, respectively, to construct Lax pair representations for this system in the periodic, finite, and infinite cases.
We construct new elliptic solutions of the restricted Toda chain. These solutions give rise to a new explicit class of orthogonal polynomials which can be considered as a generalization of the Stieltjes-Carlitz elliptic polynomials. Relations between characteristic (i.e. positive definite) functions, Toda chain and orthogonal polynomials are developed in order to derive main properties of these polynomials. The recurrence coefficients and the weight function of these polynomials are expressed explicitly. In the degenerated cases of the elliptic functions the modified Meixner polynomials and th…
The discrete-time Toda equation arises as a universal equation for the relevant Hankel determinants associated with one-variable orthogonal polynomials through the mechanism of adjacency, which amounts to the inclusion of shifted weight functions in the orthogonality condition. In this paper we extend this mechanism to a new class of two-variable orthogonal polynomials where the variables are related via an elliptic curve. This leads to a `Higher order Analogue of the Discrete-time Toda' (HADT) equation for the associated Hankel determinants, together with its Lax pair, which is derived from t…
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.
Burchnall's method to invert the Feldheim-Watson linearization formula for the Hermite polynomials is extended to all polynomial families in the Askey-scheme and its $q$-analogue. The resulting expansion formulas are made explicit for several families corresponding to measures with infinite support, including the Wilson and Askey-Wilson polynomials. An integrated version gives the possibility to give alternate expression for orthogonal polynomials with respect to a modified weight. This gives expansions for polynomials, such as Hermite, Laguerre, Meixner, Charlier, Meixner-Pollaczek and big $q…
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 …
In this paper we study the simplest deformation on a sequence of orthogonal polynomials, namely, replacing the original (or reference) weight $w_0(x)$ defined on an interval by $w_0(x)e^{-tx}.$ It is a well-known fact that under such a deformation the recurrence coefficients denoted as $α_n$ and $β_n$ evolve in $t$ according to the Toda equations, giving rise to the time dependent orthogonal polynomials, using Sogo's terminology. The resulting "time-dependent" Jacobi polynomials satisfy a linear second order ode. We will show that the coefficients of this ode are intimately related to a partic…
Multivariate orthogonal polynomials in $D$ real dimensions are considered from the perspective of the Cholesky factorization of a moment matrix. The approach allows for the construction of corresponding multivariate orthogonal polynomials, associated second kind functions, Jacobi type matrices and associated three term relations and also Christoffel-Darboux formulæ. The multivariate orthogonal polynomials, its second kind functions and the corresponding Christoffel-Darboux kernels are shown to be quasi-determinants --as well as Schur complements-- of bordered truncations of the moment matrix; …
Classically, a single weight on an interval of the real line leads to moments, orthogonal polynomials and tridiagonal matrices. Appropriately deforming this weight with times t=(t_1,t_2,...), leads to the standard Toda lattice and tau-functions, expressed as Hermitian matrix integrals. This paper is concerned with a sequence of t-perturbed weights, rather than one single weight. This sequence leads to moments, polynomials and a (fuller) matrix evolving according to the discrete KP-hierarchy. The associated tau-functions have integral, as well as vertex operator representations. Among the examp…
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 …
The relation between the Toda lattices and similar nonlinear chains and orthogonal polynomials on the real line has been elaborated immensely for the last decades. We examine another system of the differential-difference equations known as the Schur flow within the framework of the theory of orthogonal polynomials on the unit circle. This system can be exhibited in equivalent form as the Lax equation, and the corresponding spectral measure undergoes a simple transformation. The general result is illustrated on the modified Bessel measures on the unit circle and the long time behavior of their …
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 study a sequence of polynomials orthogonal with respect to a one parameter family of weights $$ w(x):=w(x,t)=\rex^{-t/x}\:x^{\al}(1-x)^{\bt},\quad t\geq 0, $$ defined for $x\in[0,1].$ If $t=0,$ this reduces to a shifted Jacobi weight. Our ladder operator formalism and the associated compatibility conditions give an easy determination of the recurrence coefficients. For $t>0,$ the factor $\rex^{-t/x}$ induces an infinitely strong zero at $x=0.$ With the aid of the compatibility conditions, the recurrence coefficients are expressed in terms of a set of auxiliary quantities that satisfy a syst…
The Askey-Wilson polynomials are a four-parameter family of orthogonal symmetric Laurent polynomials $R_n[z]$ which are eigenfunctions of a second-order $q$-difference operator $L$, and of a second-order difference operator in the variable $n$ with eigenvalue $z +z^{-1}=2x$. Then $L$ and multiplication by $z+z^{-1}$ generate the Askey-Wilson (Zhedanov) algebra. A nice property of the Askey-Wilson polynomials is that the variables $z$ and $n$ occur in the explicit expression in a similar and to some extent exchangeable way. This property is called duality. It returns in the non-symmetric case a…
