A proof of the Veselov Conjecture for segments
In this note, we prove Veselov's conjecture on the zeros of Wronskians whose entries are Hermite polynomials when the degrees of the polynomials are consecutive positive integres.
Discover
Research tools
Network
Opportunities
Account
Source author record
Antonio J. Duran appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this note, we prove Veselov's conjecture on the zeros of Wronskians whose entries are Hermite polynomials when the degrees of the polynomials are consecutive positive integres.
Given a finite set $F=\{f_1,\cdots ,f_k\}$ of nonnegative integers (written in increasing size) and a classical discrete family $(p_n)_n$ of orthogonal polynomials (Charlier, Meixner, Krawtchouk or Hahn), we consider the Casorati determinant $\det(p_{f_i}(x+j-1))_{i,j=1,\cdots,k}$. In this paper we prove a nice invariant property for this kind of Casorati determinants when the set $F$ is changed by $I(F)=\{0,1,2,\cdots,\max F\}\setminus \{\max F-f:f\in F\}$. This symmetry is related to the existence of higher order difference equations for the orthogonal polynomials with respect to certain Christoffel transforms of the classical discrete measures. By passing to the limit, this invariant property is extended for Wronskian type determinants whose entries are Hermite, Laguerre and Jacobi polynomials.
Using the concept of $\mathcal{D}$-operator and the classical discrete family of dual Hahn, we construct orthogonal polynomials $(q_n)_n$ which are also eigenfunctions of higher order difference operators.
Using Casorati determinants of Charlier polynomials, we construct for each finite set $F$ of positive integers a sequence of polynomials $r_n^F$, $n\in σ_F$, which are eigenfunction of a second order difference operator, where $σ_F$ is an infinite set of nonnegative integers, $σ_F \varsubsetneq \NN$. For certain finite sets $F$ (we call them admissible sets), we prove that the polynomials $r_n^F$, $n\in σ_F$, are actually exceptional Charlier polynomials; that is, in addition, they are orthogonal and complete with respect to a positive measure. By passing to the limit, we transform the Casorati determinant of Charlier polynomials into a Wronskian determinant of Hermite polynomials. For admissible sets, these Wronskian determinants turn out to be exceptional Hermite polynomials.
Using Casorati determinants of Meixner polynomials $(m_n^{a,c})_n$, we construct for each pair $\F=(F_1,F_2)$ of finite sets of positive integers a sequence of polynomials $m_n^{a,c;\F}$, $n\in σ_\F$, which are eigenfunctions of a second order difference operator, where $σ_\F$ is certain infinite set of nonnegative integers, $σ_\F \varsubsetneq \NN$. When $c$ and $\F$ satisfy a suitable admissibility condition, we prove that the polynomials $m_n^{a,c;\F}$, $n\in σ_\F$, are actually exceptional Meixner polynomials; that is, in addition, they are orthogonal and complete with respect to a positive measure. By passing to the limit, we transform the Casorati determinant of Meixner polynomials into a Wronskian type determinant of Laguerre polynomials $(L_n^α)_n$. Under the admissibility conditions for $\F$ and $α$, these Wronskian type determinants turn out to be exceptional Laguerre polynomials.
The aim of this paper is to bring into the picture a new phenomenon in the theory of orthogonal matrix polynomials satisfying second order differential equations. The last few years have witnessed some examples of a (fixed) family of orthogonal matrix polynomials whose elements are common eigenfunctions of several linearly independent second order differential operators. We show that the dual situation is also possible: there are examples of different families of matrix polynomials, each family orthogonal with respect to a different weight matrix, whose elements are eigenfunctions of a common second order differential operator. These examples are constructed by adding a discrete mass at certain point to a weight matrix: $\widetilde{W}=W+δ_{t_0}M(t_0)$. Our method consists in showing how to choose the discrete mass $M(t_0)$, the point $t_0$ where the mass lives and the weight matrix $W$ so that the new weight matrix $\widetilde{W}$ inherits some of the symmetric second order differential operators associated with $W$. It is well known that this situation is not possible for the classical scalar families of Hermite, Laguerre and Jacobi.