-
Complete classification of rational solutions of $A_{2n}$-Painlevé systems
Authors:
David Gómez-Ullate,
Yves Grandati,
Robert Milson
Abstract:
We provide a complete classification and an explicit representation of rational solutions to the fourth Painlevé equation PIV and its higher order generalizations known as the $A_{2n}$-Painlevé or Noumi-Yamada systems. The construction of solutions makes use of the theory of cyclic dressing chains of Schrödinger operators. Studying the local expansions of the solutions around their singularities w…
▽ More
We provide a complete classification and an explicit representation of rational solutions to the fourth Painlevé equation PIV and its higher order generalizations known as the $A_{2n}$-Painlevé or Noumi-Yamada systems. The construction of solutions makes use of the theory of cyclic dressing chains of Schrödinger operators. Studying the local expansions of the solutions around their singularities we find that some coefficients in their Laurent expansion must vanish, which express precisely the conditions of trivial monodromy of the associated potentials. The characterization of trivial monodromy potentials with quadratic growth implies that all rational solutions can be expressed as Wronskian determinants of suitably chosen sequences of Hermite polynomials. The main classification result states that every rational solution to the $A_{2n}$-Painlevé system corresponds to a cycle of Maya diagrams, which can be indexed by an oddly coloured integer sequence. Finally, we establish the link with the standard approach to building rational solutions, based on applying Bäcklund transformations on seed solutions, by providing a representation for the symmetry group action on coloured sequences and Maya cycles.
△ Less
Submitted 12 April, 2021; v1 submitted 30 September, 2020;
originally announced October 2020.
-
Lectures on exceptional orthogonal polynomials and rational solutions to Painlevé equations
Authors:
David Gómez-Ullate,
Robert Milson
Abstract:
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 presente…
▽ More
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 chains of Schrödinger operators with potentials that are rational extensions of the harmonic oscillator. Some of the material presented here (Sturm-Liouville operators, classical orthogonal polynomials, Darboux-Crum transformations, etc.) are classical and can be found in many textbooks, while some results (genus, interlacing and cyclic Maya diagrams) are new and presented for the first time in this set of lecture notes.
△ Less
Submitted 14 December, 2019;
originally announced December 2019.
-
Corrigendum on the proof of completeness for exceptional Hermite polynomials
Authors:
David Gomez-Ullate,
Yves Grandati,
Robert Milson
Abstract:
Exceptional orthogonal polynomials are complete families of orthogonal polynomials that arise as eigenfunctions of a Sturm-Liouville problem. Antonio Durán discovered a gap in the original proof of completeness for exceptional Hermite polynomials, that has propagated to analogous results for other exceptional families. In this paper we provide an alternative proof that follows essentially the same…
▽ More
Exceptional orthogonal polynomials are complete families of orthogonal polynomials that arise as eigenfunctions of a Sturm-Liouville problem. Antonio Durán discovered a gap in the original proof of completeness for exceptional Hermite polynomials, that has propagated to analogous results for other exceptional families. In this paper we provide an alternative proof that follows essentially the same arguments, but provides a direct proof of the key lemma on which the completeness proof is based. This direct proof makes use of the theory of trivial monodromy potentials developed by Duistermaat and Grünbaum and Oblomkov.
△ Less
Submitted 24 November, 2019;
originally announced November 2019.
-
Cyclic Maya diagrams and rational solutions of higher order Painlevé systems
Authors:
Peter A. Clarkson,
David Gómez-Ullate,
Yves Grandati,
Robert Milson
Abstract:
This paper focuses on the construction of rational solutions for the $A_{2n}$ Painlevé system, also called the Noumi-Yamada system, which are considered the higher order generalizations of PIV. In this even case, we introduce a method to construct the rational solutions based on cyclic dressing chains of Schrödinger operators with potentials in the class of rational extensions of the harmonic osci…
▽ More
This paper focuses on the construction of rational solutions for the $A_{2n}$ Painlevé system, also called the Noumi-Yamada system, which are considered the higher order generalizations of PIV. In this even case, we introduce a method to construct the rational solutions based on cyclic dressing chains of Schrödinger operators with potentials in the class of rational extensions of the harmonic oscillator. Each potential in the chain can be indexed by a single Maya diagram and expressed in terms of a Wronskian determinant whose entries are Hermite polynomials. We introduce the notion of cyclic Maya diagrams and we characterize them for any possible period, using the concepts of genus and interlacing. The resulting classes of solutions can be expressed in terms of special polynomials that generalize the families of generalized Hermite, generalized Okamoto and Umemura polynomials, showing that they are particular cases of a larger family.
△ Less
Submitted 14 September, 2019; v1 submitted 22 November, 2018;
originally announced November 2018.
-
Shape invariance and equivalence relations for pseudowronskians of Laguerre and Jacobi polynomials
Authors:
David Gomez-Ullate,
Yves Grandati,
Robert Milson
Abstract:
In a previous paper we derived equivalence relations for pseudo-Wronskian determinants of Hermite polynomials. In this paper we obtain the analogous result for Laguerre and Jacobi polynomials. The equivalence formulas are richer in this case since rational Darboux transformations can be defined for four families of seed functions, as opposed to only two families in the Hermite case. The pseudo-Wro…
▽ More
In a previous paper we derived equivalence relations for pseudo-Wronskian determinants of Hermite polynomials. In this paper we obtain the analogous result for Laguerre and Jacobi polynomials. The equivalence formulas are richer in this case since rational Darboux transformations can be defined for four families of seed functions, as opposed to only two families in the Hermite case. The pseudo-Wronskian determinants of Laguerre and Jacobi type will thus depend on two Maya diagrams, while Hermite pseudo-Wronskians depend on just one Maya diagram. We show that these equivalence relations can be interpreted as the general transcription of shape invariance and specific discrete symmetries acting on the parameters of the isotonic oscillator and Darboux-Poschl-Teller potential.
△ Less
Submitted 15 February, 2018;
originally announced February 2018.
-
Zeros of exceptional Hermite polynomials
Authors:
A. B. J. Kuijlaars,
R. Milson
Abstract:
We study the zeros of exceptional Hermite polynomials associated with an even partition $λ$. We prove several conjectures regarding the asymptotic behavior of both the regular (real) and the exceptional (complex) zeros. The real zeros are distributed as the zeros of usual Hermite polynomials and, after contracting by a factor $\sqrt{2n}$, we prove that they follow the semi-circle law. The non-real…
▽ More
We study the zeros of exceptional Hermite polynomials associated with an even partition $λ$. We prove several conjectures regarding the asymptotic behavior of both the regular (real) and the exceptional (complex) zeros. The real zeros are distributed as the zeros of usual Hermite polynomials and, after contracting by a factor $\sqrt{2n}$, we prove that they follow the semi-circle law. The non-real zeros tend to the zeros of the generalized Hermite polynomial $H_λ$, provided that these zeros are simple. It was conjectured by Veselov that the zeros of generalized Hermite polynomials are always simple, except possibly for the zero at the origin, but this conjecture remains open.
△ Less
Submitted 19 December, 2014;
originally announced December 2014.
-
Extended Krein-Adler theorem for the translationally shape invariant potentials
Authors:
David Gómez-Ullate,
Yves Grandati,
Robert Milson
Abstract:
Considering successive extensions of primary translationally shape invariant potentials, we enlarge the Krein-Adler theorem to mixed chains of state adding and state-deleting Darboux-Bäcklund transformations. It allows us to establish novel bilinear Wronskian and determinantal identities for classical orthogonal polynomials.
Considering successive extensions of primary translationally shape invariant potentials, we enlarge the Krein-Adler theorem to mixed chains of state adding and state-deleting Darboux-Bäcklund transformations. It allows us to establish novel bilinear Wronskian and determinantal identities for classical orthogonal polynomials.
△ Less
Submitted 15 September, 2013;
originally announced September 2013.
-
Rational extensions of the quantum harmonic oscillator and exceptional Hermite polynomials
Authors:
David Gomez-Ullate,
Yves Grandati,
Robert Milson
Abstract:
We prove that every rational extension of the quantum harmonic oscillator that is exactly solvable by polynomials is monodromy free, and therefore can be obtained by applying a finite number of state-deleting Darboux transformations on the harmonic oscillator. Equivalently, every exceptional orthogonal polynomial system of Hermite type can be obtained by applying a Darboux-Crum transformation to t…
▽ More
We prove that every rational extension of the quantum harmonic oscillator that is exactly solvable by polynomials is monodromy free, and therefore can be obtained by applying a finite number of state-deleting Darboux transformations on the harmonic oscillator. Equivalently, every exceptional orthogonal polynomial system of Hermite type can be obtained by applying a Darboux-Crum transformation to the classical Hermite polynomials. Exceptional Hermite polynomial systems only exist for even codimension 2m, and they are indexed by the partitions λof m. We provide explicit expressions for their corresponding orthogonality weights and differential operators and a separate proof of their completeness. Exceptional Hermite polynomials satisfy a 2l+3 recurrence relation where l is the length of the partition λ. Explicit expressions for such recurrence relations are given.
△ Less
Submitted 21 June, 2013;
originally announced June 2013.
-
Asymptotic behaviour of zeros of exceptional Jacobi and Laguerre polynomials
Authors:
David Gómez-Ullate,
Francisco Marcellán,
Robert Milson
Abstract:
The location and asymptotic behaviour for large n of the zeros of exceptional Jacobi and Laguerre polynomials are discussed. The zeros of exceptional polynomials fall into two classes: the regular zeros, which lie in the interval of orthogonality and the exceptional zeros, which lie outside that interval. We show that the regular zeros have two interlacing properties: one is the natural interlacin…
▽ More
The location and asymptotic behaviour for large n of the zeros of exceptional Jacobi and Laguerre polynomials are discussed. The zeros of exceptional polynomials fall into two classes: the regular zeros, which lie in the interval of orthogonality and the exceptional zeros, which lie outside that interval. We show that the regular zeros have two interlacing properties: one is the natural interlacing between consecutive polynomials as a consequence of their Sturm-Liouville character, while the other one shows interlacing between the zeros of exceptional and classical polynomials. A generalization of the classical Heine-Mehler formula is provided for the exceptional polynomials, which allows to derive the asymptotic behaviour of their regular zeros. We also describe the location and the asymptotic behaviour of the exceptional zeros, which converge for large n to fixed values.
△ Less
Submitted 10 April, 2012;
originally announced April 2012.
-
Quasi-exact solvability in a general polynomial setting
Authors:
David Gomez-Ullate,
Niky Kamran,
Robert Milson
Abstract:
Our goal in this paper is to extend the theory of quasi-exactly solvable Schrodinger operators beyond the Lie-algebraic class. Let $\cP_n$ be the space of n-th degree polynomials in one variable. We first analyze "exceptional polynomial subspaces" which are those proper subspaces of $\cP_n$ invariant under second order differential operators which do not preserve $\cP_n$. We characterize the onl…
▽ More
Our goal in this paper is to extend the theory of quasi-exactly solvable Schrodinger operators beyond the Lie-algebraic class. Let $\cP_n$ be the space of n-th degree polynomials in one variable. We first analyze "exceptional polynomial subspaces" which are those proper subspaces of $\cP_n$ invariant under second order differential operators which do not preserve $\cP_n$. We characterize the only possible exceptional subspaces of codimension one and we describe the space of second order differential operators that leave these subspaces invariant. We then use equivalence under changes of variable and gauge transformations to achieve a complete classification of these new, non-Lie algebraic Schrodinger operators. As an example, we discuss a finite gap elliptic potential which does not belong to the Treibich-Verdier class.
△ Less
Submitted 27 October, 2006;
originally announced October 2006.
-
Structure theorems for linear and non-linear differential operators admitting invariant polynomial subspaces
Authors:
David Gomez-Ullate,
Niky Kamran,
Robert Milson
Abstract:
In this paper we derive structure theorems that characterize the spaces of linear and non-linear differential operators that preserve finite dimensional subspaces generated by polynomials in one or several variables. By means of the useful concept of deficiency, we can write explicit basis for these spaces of differential operators. In the case of linear operators, these results apply to the the…
▽ More
In this paper we derive structure theorems that characterize the spaces of linear and non-linear differential operators that preserve finite dimensional subspaces generated by polynomials in one or several variables. By means of the useful concept of deficiency, we can write explicit basis for these spaces of differential operators. In the case of linear operators, these results apply to the theory of quasi-exact solvability in quantum mechanics, specially in the multivariate case where the Lie algebraic approach is harder to apply. In the case of non-linear operators, the structure theorems in this paper can be applied to the method of finding special solutions of non-linear evolution equations by nonlinear separation of variables.
△ Less
Submitted 26 April, 2006;
originally announced April 2006.
-
Quasi-exact solvability beyond the SL(2) algebraization
Authors:
David Gomez-Ullate,
Niky Kamran,
Robert Milson
Abstract:
We present evidence to suggest that the study of one dimensional quasi-exactly solvable (QES) models in quantum mechanics should be extended beyond the usual $\sla(2)$ approach. The motivation is twofold: We first show that certain quasi-exactly solvable potentials constructed with the $\sla(2)$ Lie algebraic method allow for a new larger portion of the spectrum to be obtained algebraically. Thi…
▽ More
We present evidence to suggest that the study of one dimensional quasi-exactly solvable (QES) models in quantum mechanics should be extended beyond the usual $\sla(2)$ approach. The motivation is twofold: We first show that certain quasi-exactly solvable potentials constructed with the $\sla(2)$ Lie algebraic method allow for a new larger portion of the spectrum to be obtained algebraically. This is done via another algebraization in which the algebraic hamiltonian cannot be expressed as a polynomial in the generators of $\sla(2)$. We then show an example of a new quasi-exactly solvable potential which cannot be obtained within the Lie-algebraic approach.
△ Less
Submitted 21 August, 2006; v1 submitted 24 January, 2006;
originally announced January 2006.
-
Supersymmetry and algebraic deformations
Authors:
D. Gomez-Ullate,
N. Kamran,
R. Milson
Abstract:
We describe a class of algebraically solvable SUSY models by considering the deformation of invariant polynomial flags by means of the Darboux transformation. The algebraic deformations corresponding to the addition of a bound state to a shape-invariant potential are particularly interesting. The polynomial flags in question are indexed by a deformation parameter m=1,2,... and lead to new algebr…
▽ More
We describe a class of algebraically solvable SUSY models by considering the deformation of invariant polynomial flags by means of the Darboux transformation. The algebraic deformations corresponding to the addition of a bound state to a shape-invariant potential are particularly interesting. The polynomial flags in question are indexed by a deformation parameter m=1,2,... and lead to new algebraically solvable models. We illustrate these ideas by considering deformations of the hyperbolic Pöschl-Teller potential.
△ Less
Submitted 26 February, 2004;
originally announced February 2004.
-
Quasi-Exact Solvability and the direct approach to invariant subspaces
Authors:
D. Gomez-Ullate,
N. Kamran,
R. Milson
Abstract:
We propose a more direct approach to constructing differential operators that preserve polynomial subspaces than the one based on considering elements of the enveloping algebra of sl(2). This approach is used here to construct new exactly solvable and quasi-exactly solvable quantum Hamiltonians on the line which are not Lie-algebraic. It is also applied to generate potentials with multiple algeb…
▽ More
We propose a more direct approach to constructing differential operators that preserve polynomial subspaces than the one based on considering elements of the enveloping algebra of sl(2). This approach is used here to construct new exactly solvable and quasi-exactly solvable quantum Hamiltonians on the line which are not Lie-algebraic. It is also applied to generate potentials with multiple algebraic sectors. We discuss two illustrative examples of these two applications: an interesting generalization of the Lamé potential which posses four algebraic sectors, and a quasi-exactly solvable deformation of the Morse potential which is not Lie-algebraic.
△ Less
Submitted 21 January, 2004;
originally announced January 2004.
-
The Darboux transformation and algebraic deformations of shape-invariant potentials
Authors:
David Gomez-Ullate,
Niky Kamran,
Robert Milson
Abstract:
We investigate the backward Darboux transformations (addition of a lowest bound state) of shape-invariant potentials on the line, and classify the subclass of algebraic deformations, those for which the potential and the bound states are simple elementary functions. A countable family, $m=0,1,2,...$, of deformations exists for each family of shape-invariant potentials. We prove that the $m$-th d…
▽ More
We investigate the backward Darboux transformations (addition of a lowest bound state) of shape-invariant potentials on the line, and classify the subclass of algebraic deformations, those for which the potential and the bound states are simple elementary functions. A countable family, $m=0,1,2,...$, of deformations exists for each family of shape-invariant potentials. We prove that the $m$-th deformation is exactly solvable by polynomials, meaning that it leaves invariant an infinite flag of polynomial modules $\mathcal{P}^{(m)}_m\subset\mathcal{P}^{(m)}_{m+1}\subset...$, where $\mathcal{P}^{(m)}_n$ is a codimension $m$ subspace of $<1,z,...,z^n>$. In particular, we prove that the first ($m=1$) algebraic deformation of the shape-invariant class is precisely the class of operators preserving the infinite flag of exceptional monomial modules $\mathcal{P}^{(1)}_n = < 1,z^2,...,z^n>$. By construction, these algebraically deformed Hamiltonians do not have an $\mathfrak{sl}(2)$ hidden symmetry algebra structure.
△ Less
Submitted 10 November, 2003; v1 submitted 11 August, 2003;
originally announced August 2003.
-
Invariant Modules and the Reduction of Nonlinear Partial Differential Equations to Dynamical Systems
Authors:
Niky Kamran,
Robert Milson,
Peter Olver
Abstract:
We completely characterize all nonlinear partial differential equations leaving a given finite-dimensional vector space of analytic functions invariant. Existence of an invariant subspace leads to a re duction of the associated dynamical partial differential equations to a system of ordinary differential equations, and provide a nonlinear counterpart to quasi-exactly solvable quantum Hamiltonian…
▽ More
We completely characterize all nonlinear partial differential equations leaving a given finite-dimensional vector space of analytic functions invariant. Existence of an invariant subspace leads to a re duction of the associated dynamical partial differential equations to a system of ordinary differential equations, and provide a nonlinear counterpart to quasi-exactly solvable quantum Hamiltonians. These results rely on a useful extension of the classical Wronskian determinant condition for linear independence of functions. In addition, new approaches to the characterization o f the annihilating differential operators for spaces of analytic functions are presented.
△ Less
Submitted 15 April, 1999;
originally announced April 1999.
-
Algebraic Exact Solvability of trigonometric-type Hamiltonians associated to root systems
Authors:
N. Kamran,
R. Milson
Abstract:
In this article, we study and settle several structural questions concerning the exact solvability of the Olshanetsky-Perelomov quantum Hamiltonians corresponding to an arbitrary root system. We show that these operators can be written as linear combinations of certain basic operators admitting infinite flags of invariant subspaces, namely the Laplacian and the logarithmic gradient of invariant…
▽ More
In this article, we study and settle several structural questions concerning the exact solvability of the Olshanetsky-Perelomov quantum Hamiltonians corresponding to an arbitrary root system. We show that these operators can be written as linear combinations of certain basic operators admitting infinite flags of invariant subspaces, namely the Laplacian and the logarithmic gradient of invariant factors of the Weyl denominator. The coefficients of the constituent linear combination become the coupling constants of the final model. We also demonstr ate the $L^2$ completeness of the eigenfunctions obtained by this procedure, and describe a straight-forward recursive procedure based on the Freudenthal multiplicity formula for constructing the eigenfunctions explicitly.
△ Less
Submitted 26 October, 1998;
originally announced October 1998.
-
Imprimitively generated Lie-algebraic Hamiltonians and separation of variables
Authors:
Robert Milson
Abstract:
Turbiner's conjecture posits that a Lie-algebraic Hamiltonian operator whose domain is a subset of the Euclidean plane admits a separation of variables. A proof of this conjecture is given in those cases where the generating Lie-algebra acts imprimitively. The general form of the conjecture is false. A counter-example is given based on the trigonometric Olshanetsky-Perelomov potential correspond…
▽ More
Turbiner's conjecture posits that a Lie-algebraic Hamiltonian operator whose domain is a subset of the Euclidean plane admits a separation of variables. A proof of this conjecture is given in those cases where the generating Lie-algebra acts imprimitively. The general form of the conjecture is false. A counter-example is given based on the trigonometric Olshanetsky-Perelomov potential corresponding to the A_2 root system.
△ Less
Submitted 10 June, 1998;
originally announced June 1998.
-
Quantization of cohomology in semi-simple Lie algebras
Authors:
R. Milson,
D. Richter
Abstract:
The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional invariant subspace of functions seems to act as a kind of quantization condition on this H^1. It was known that this quantization of cohomology holds for all re…
▽ More
The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional invariant subspace of functions seems to act as a kind of quantization condition on this H^1. It was known that this quantization of cohomology holds for all realizations on 2-dimensional homogeneous spaces, but the extent to which quantization of cohomology is true in general was an open question. The present article presents the first known counter-examples to quantization of cohomology; it is shown that quantization can fail even if the Lie algebra is semi-simple, and even if the homogeneous space in question is compact. A explanation for the quantization phenomenon is given in the case of semi-simple Lie algebras. It is shown that the set of classes in H^1 that admit finite-dimensional invariant subspaces is a semigroup that lies inside a finitely-generated abelian group. In order for this abelian group be a discrete subset of H^1, i.e. in order for quantization to take place, some extra conditions on the isotropy subalgebra are required. Two different instances of such necessary conditions are presented.
△ Less
Submitted 29 May, 1998; v1 submitted 22 May, 1998;
originally announced May 1998.
-
On the Liouville transformation and exactly-solvable Schrodinger equations
Authors:
Robert Milson
Abstract:
The present article discusses the connection between exactly-solvable Schrodinger equations and the Liouville transformation. This transformation yields a large class of exactly-solvable potentials, including the exactly-solvable potentials introduced by Natanzon. As well, this class is shown to contain two new families of exactly solvable potentials.
The present article discusses the connection between exactly-solvable Schrodinger equations and the Liouville transformation. This transformation yields a large class of exactly-solvable potentials, including the exactly-solvable potentials introduced by Natanzon. As well, this class is shown to contain two new families of exactly solvable potentials.
△ Less
Submitted 21 October, 1997; v1 submitted 15 June, 1997;
originally announced June 1997.
