Darboux transformations for multivariate orthogonal polynomials
Gerardo Ariznabarreta, Manuel Mañas
备注：
In this version we have not only added two more bibliographic references but also performed major changes in Section 3 on poised sets. This was motivated by our recent finding that full column rank of the Vandermonde matrix is not only necessary but sufficient. arXiv admin note: text overlap with arXiv:1409.0570
发表信息：
Journal of Approximation Theory 225 (2018) 242-283
Darboux transformations for polynomial perturbations of a real multivariate measure are found. The 1D Christoffel formula is extended to the multidimensional realm: multivariate orthogonal polynomials are expressed in terms of last quasi-determinants and sample matrices. The coefficients of these matrices are the original orthogonal polynomials evaluated at a set of nodes, which is supposed to be poised. A discussion for the existence of poised sets is given in terms of algebraic hypersufaces in the complex affine space.
We obtain an extension of the Christoffel--Darboux formula for matrix orthogonal polynomials with a generalized Hankel symmetry, including the Adler-van Moerbeke generalized orthogonal polynomials.
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; …
An alternative expression for the Christoffel--Darboux formula for multiple orthogonal polynomials of mixed type is derived from the $LU$ factorization of the moment matrix of a given measure and two sets of weights. We use the action of the generalized Jacobi matrix $J$, also responsible for the recurrence relations, on the linear forms and their duals to obtain the result.
It has been recently discovered that exceptional families of Sturm-Liouville orthogonal polynomials exist, that generalize in some sense the classical polynomials of Hermite, Laguerre and Jacobi. In this paper we show how new families of exceptional orthogonal polynomials can be constructed by means of multiple-step algebraic Darboux transformations. The construction is illustrated with an example of a 2-step Darboux transformation of the classical Laguerre polynomials, which gives rise to a new orthogonal polynomial system indexed by two integer parameters. For particular values of these para…
Bleher and Kuijlaars recently showed that the eigenvalue correlations from matrix ensembles with external source can be expressed by means of a kernel built out of special multiple orthogonal polynomials. We derive a Christoffel-Darboux formula for this kernel for general multiple orthogonal polynomials. In addition, we show that the formula can be written in terms of the solution of the Riemann-Hilbert problem for multiple orthogonal polynomials, which will be useful for asymptotic analysis.
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…
We study orthogonal polynomials with periodically modulated Jacobi parameters in the case when $0$ lies on the soft edge of the spectrum of the corresponding periodic Jacobi matrix. We determine when the orthogonality measure is absolutely continuous and we provide a constructive formula for it in terms of the limit of Turán determinants. We next consider asymptotics of the solutions of associated second order difference equation. Finally, we study scaling limits of the Christoffel--Darboux kernel.
Classically, it is well known that a single weight on a real interval leads to orthogonal polynomials. In "Generalized orthogonal polynomials, discrete KP and Riemann-Hilbert problems", Comm. Math. Phys. 207, pp. 589-620 (1999), we have shown that $m$-periodic sequences of weights lead to "moments", polynomials defined by determinants of matrices involving these moments and $2m+1$-step relations between them, thus leading to $2m+1$-band matrices $L$. Given a Darboux transformations on $L$, which effect does it have on the $m$-periodic sequence of weights and on the associated polynomials ? The…
Exceptional orthogonal polynomials are families of orthogonal polynomials that arise as solutions of Sturm-Liouville eigenvalue problems. They generalize the classical families of Hermite, Laguerre, and Jacobi polynomials by allowing for polynomial sequences that miss a finite number of "exceptional" degrees. In this paper we introduce a new construction of multi-parameter exceptional Legendre polynomials by considering the isospectral deformation of the classical Legendre operator. Using confluent Darboux transformations and a technique from inverse scattering theory, we obtain a fully explic…
The Christoffel-Darboux kernels for orthogonal polynomials in several real variables are investigated within the context of the three term recurrence relation reformulated for this purpose. Examples of orthogonal polynomials on the unit circle and on the Bernoulli lemniscate are discussed.
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…
Recently a spectral Favard theorem for bounded banded lower Hessenberg matrices that admit a positive bidiagonal factorization was presented. These type of matrices are oscillatory. In this paper the Lima-Loureiro hypergeometric multiple orthogonal polynomials and the Jacobi-Piñeiro multiple orthogonal polynomials are discussed at the light of this bidiagonal factorization for tetradiagonal matrices. The Darboux transformations of tetradiagonal Hessenberg matrices is studied and Christoffel formulas for the elements of the bidiagonal factorization are given, i.e., the bidiagonal factorization …
We study scaling limits of deterministic Jacobi matrices at a fixed point, $x_0$, and their connection to the scaling limits of the Christoffel-Darboux kernel at that point. We show that in the case that the orthogonal polynomials are bounded at $x_0$, a subsequential limit always exists and can be expressed as a canonical system. We further show that under weak conditions on the associated measure, bulk universality of the CD kernel is equivalent to the existence of a limit of a particular explicit form.
Simple derivation is presented of the four families of infinitely many shape invariant Hamiltonians corresponding to the exceptional Laguerre and Jacobi polynomials. Darboux-Crum transformations are applied to connect the well-known shape invariant Hamiltonians of the radial oscillator and the Darboux-Pöschl-Teller potential to the shape invariant potentials of Odake-Sasaki. Dutta and Roy derived the two lowest members of the exceptional Laguerre polynomials by this method. The method is expanded to its full generality and many other ramifications, including the aspects of generalised Bochner …
We study algebraic curves that are envelopes of families of polygons supported on the unit circle T. We address, in particular, a characterization of such curves of minimal class and show that all realizations of these curves are essentially equivalent and can be described in terms of orthogonal polynomials on the unit circle (OPUC), also known as Szegő polynomials. Our results have connections to classical results from algebraic and projective geometry, such as theorems of Poncelet, Darboux, and Kippenhahn; numerical ranges of a class of matrices; and Blaschke products and disk functions. Thi…
We present a formula describing the asymptotics of a class of multivariate orthogonal polynomials with hyperoctahedral symmetry as the degree tends to infinity. The polynomials under consideration are characterized by a factorized weight function satisfying certain analyticity assumptions. As an application, the large-degree asymptotics of the Koornwinder-Macdonald BC_N-type multivariate Askey-Wilson polynomials is determined.
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…
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…
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…
We define two isomorphic algebras of differential operators: the first algebra consists of ordinary differential operators and contains the hypergeometric differential operator, while the second one consists of partial differential operators in $d$ variables and contains the Appell-Lauricella partial differential operator. Using this isomorphism, we construct partial differential operators which are Darboux transformations from polynomials of the Appell-Lauricella operator. We show that these operators can be embedded into commutative algebras of partial differential operators, containing $d$ …
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 …
We present a generalization of multiple orthogonal polynomials of type I and type II, which we call multiple orthogonal polynomials of mixed type. Some basic properties are formulated, and a Riemann-Hilbert problem for the multiple orthogonal polynomials of mixed type is given. We derive a Christoffel-Darboux formula for these polynomials using the solution of the Riemann-Hilbert problem. The main motivation for studying these polynomials comes from a model of non-intersecting one-dimensional Brownian motions with a given number of starting points and endpoints. The correlation kernel for the …
The discrete cosine transforms of types V--VIII are generalized to the antisymmetric and symmetric multivariate discrete cosine transforms. Four families of discretely and continuously orthogonal Chebyshev-like polynomials corresponding to the antisymmetric and symmetric generalizations of cosine functions are introduced. Each family forms an orthogonal basis of the space of all polynomials with respect to some weighted integral. Cubature formulas, which correspond to these families of polynomials and which stem from the developed discrete cosine transforms, are derived. Examples of three-dime…
Differential properties for orthogonal polynomials in several variables are studied. We consider multivariate orthogonal polynomials whose gradients satisfy some quasi--orthogonality conditions. We obtain several characterizations for these polynomials including the analogous of the semiclassical Pearson differential equation, the structure relation and a differential--difference equation.
The orthogonality relations of multivariate Krawtchouk polynomials are discussed. In case of two variables, the necessary and sufficient conditions of orthogonality is given by Grünbaum and Rahman in [SIGMA 6 (2010), 090, 12 pages, arXiv:1007.4327]. In this study, a simple proof of the necessary and sufficient condition of orthogonality is given for a general case.
We study multivariable Christoffel-Darboux kernels, which may be viewed as reproducing kernels for antisymmetric orthogonal polynomials, and also as correlation functions for products of characteristic polynomials of random Hermitian matrices. Using their interpretation as reproducing kernels, we obtain simple proofs of Pfaffian and determinant formulas, as well as Schur polynomial expansions, for such kernels. In subsequent work, these results are applied in combinatorics (enumeration of marked shifted tableaux) and number theory (representation of integers as sums of squares).
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…
In this article we consider orthonormal systems consisting of tensor products of splines. We show some convergence results of the corresponding orthogonal series including a.e. convergence and unconditional convergence in $L^p$ for $1<p<\infty$, where the latter is proved under some geometric conditions on the involved partitions that depend on the spline order.
Multivariate orthogonal polynomials can be introduced by using a moment functional defined on the linear space of polynomials in several variables with real coefficients. We study the so-called Uvarov and Christoffel modifications obtained by adding to the moment functional a finite set of mass points, or by multiplying it times a polynomial of total degree 2, respectively. Orthogonal polynomials associated with modified moment functionals will be studied, as well as the impact of the modification in useful properties of the orthogonal polynomials. Finally, some illustrative examples will be g…
We study double integral representations of Christoffel-Darboux kernels associated with two examples of Hermite-type matrix orthogonal polynomials. We show that the Fredholm determinants connected with these kernels are related through the Its-Izergin-Korepin-Slavnov (IIKS) theory with a certain Riemann-Hilbert problem. Using this Riemann-Hilbert problem we obtain a Lax pair whose compatibility conditions lead to a non-commutative version of the Painleve' IV differential equation for each family.
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 …
We describe an approach to universality limits for orthogonal polynomials on the real line which is completely local and uses only the boundary behavior of the Weyl m-function at the point. We show that bulk universality of the Christoffel-Darboux kernel holds for any point where the imaginary part of the m-function has a positive finite nontangential limit. This approach is based on studying a matrix version of the Christoffel-Darboux kernel and the realization that bulk universality for this kernel at a point is equivalent to the fact that the corresponding m-function has normal limits at th…
This paper is a sequel of the reference \cite[§4.2, p.p. 1782--1783]{almp}, in where some families of quadratic polynomial vector fields related with orthogonal polynomials were studied. We extend such results that contain some details related with differential Galois Theory as well the inclusion of Darboux theory of integrability and qualitative theory of dynamical systems.
Fourier transform of multivariate orthogonal polynomials on the unit ball are obtained. By using Parseval's identity, a new family of multivariate orthogonal functions are introduced. The results are expressed in terms of the continuous Hahn polynomials.
The aim of this paper is to study some models of quasi-birth-and-death (QBD) processes arising from the theory of bivariate orthogonal polynomials. First we will see how to perform the spectral analysis in the general setting as well as to obtain results about recurrence and the invariant measure of these processes in terms of the spectral measure supported on some domain $Ω\subset\mathbb{R}^d$. Afterwards, we will apply our results to several examples of bivariate orthogonal polynomials, namely product orthogonal polynomials, orthogonal polynomials on a parabolic domain and orthogonal polynom…
In this paper, we obtain the ladder operators and associated compatibility conditions for the type I and the type II multiple orthogonal polynomials. These ladder equations extend known results for orthogonal polynomials and can be used to derive the differential equations satisfied by multiple orthogonal polynomials. Our approach is based on Riemann-Hilbert problems and the Christoffel-Darboux formula for multiple orthogonal polynomials, and the nearest-neighbor recurrence relations. As an illustration, we give several explicit examples involving multiple Hermite and Laguerre polynomials, and…
In this paper Fourier transform of multivariate orthogonal polynomials on the simplex is presented. A new family of multivariate orthogonal functions is obtained by using the Parseval's identity and several recurrence relations are derived.
We introduce a new multivariate orthogonal polynomial which is a 2-parameter deformation of the spherical polynomial by harmonic analysis on symmetric cone. This is also regarded as a multivariate analogue of the circular Jacobi polynomial. Further, the weight function of its orthogonality relation coincides with the circular Jacobi ensemble defined by Bourgade et al.. We also obtain its main properties : generating function, pseudo differential equation and deteraminant expression.
These are the lecture notes for a course on exceptional polynomials taught at the \textit{AIMS-Volkswagen Stiftung Workshop on Introduction to Orthogonal Polynomials and Applications} that took place in Douala (Cameroon) from October 5-12, 2018. They summarize the basic results and construction of exceptional poynomials, developed over the past ten years. In addition, some new results are presented on the construction of rational solutions to Painlevé equation PIV and its higher order generalizations that belong to the $A_{2n}^{(1)}$-Painlevé hierarchy. The construction is based on dressing ch…
We show that the average characteristic polynomial P_n(z) = E [\det(zI-M)] of the random Hermitian matrix ensemble Z_n^{-1} \exp(-Tr(V(M)-AM))dM is characterized by multiple orthogonality conditions that depend on the eigenvalues of the external source A. For each eigenvalue a_j of A, there is a weight and P_n has n_j orthogonality conditions with respect to this weight, if n_j is the multiplicity of a_j. The eigenvalue correlation functions have determinantal form, as shown by Zinn-Justin. Here we give a different expression for the kernel. We derive a Christoffel-Darboux formula in case A ha…
We survey some recent developments in the theory of orthogonal polynomials defined by differential equations. The key finding is that there exist orthogonal polynomials defined by 2nd order differential equations that fall outside the classical families of Jacobi, Laguerre, and Hermite polynomials. Unlike the classical families, these new examples, called exceptional orthogonal polynomials, feature non-standard polynomial flags; the lowest degree polynomial has degree $m>0$. In this paper we review the classification of codimension $m=1$ exceptional polynomials, and give a novel, compact proof…
We show that multiple orthogonal polynomials for r measures $(μ_1,...,μ_r)$ satisfy a system of linear recurrence relations only involving nearest neighbor multi-indices $\vec{n}\pm \vec{e}_j$, where $\vec{e}_j$ are the standard unit vectors. The recurrence coefficients are not arbitrary but satisfy a system of partial difference equations with boundary values given by the recurrence coefficients of the orthogonal polynomials with each of measures $μ_j$. We show how the Christoffel-Darboux formula for multiple orthogonal polynomials can be obtained easily using this information. We give explic…
