-
Classification of exceptional Jacobi polynomials
Authors:
Maria Angeles Garcia-Ferrero,
David Gomez-Ullate,
Robert Milson
Abstract:
We provide a full classification scheme for exceptional Jacobi operators and polynomials. The classification contains six degeneracy classes according to whether $α,β$ or $α\pmβ$ assume integer values. Exceptional Jacobi operators are in one-to-one correspondence with spectral diagrams, a combinatorial object that describes the number and asymptotic behaviour at the endpoints of $(-1,1)$ of all qu…
▽ More
We provide a full classification scheme for exceptional Jacobi operators and polynomials. The classification contains six degeneracy classes according to whether $α,β$ or $α\pmβ$ assume integer values. Exceptional Jacobi operators are in one-to-one correspondence with spectral diagrams, a combinatorial object that describes the number and asymptotic behaviour at the endpoints of $(-1,1)$ of all quasi-rational eigenfunctions of the operator. With a convenient indexing scheme for spectral diagrams, explicit Wronskian and integral construction formulas are given to build the exceptional operators and polynomials from the information encoded in the spectral diagram. In the fully degenerate class $α,β\in\mathbb N_0$ there exist exceptional Jacobi operators with an arbitrary number of continuous parameters. The classification result is achieved by a careful description of all possible rational Darboux transformations that can be performed on exceptional Jacobi operators.
△ Less
Submitted 30 May, 2025; v1 submitted 4 September, 2024;
originally announced September 2024.
-
Hybrid Search method for Zermelo's navigation problem
Authors:
Daniel Precioso,
Robert Milson,
Louis Bu,
Yvonne Menchions,
David Gómez-Ullate
Abstract:
In this paper, we present a novel algorithm called the Hybrid Search algorithm that integrates the Zermelo's Navigation Initial Value Problem with the Ferraro-Martín de Diego-Almagro algorithm to find the optimal route for a vessel to reach its destination. Our algorithm is designed to work in both Euclidean and spherical spaces and utilizes a heuristic that allows the vessel to move forward while…
▽ More
In this paper, we present a novel algorithm called the Hybrid Search algorithm that integrates the Zermelo's Navigation Initial Value Problem with the Ferraro-Martín de Diego-Almagro algorithm to find the optimal route for a vessel to reach its destination. Our algorithm is designed to work in both Euclidean and spherical spaces and utilizes a heuristic that allows the vessel to move forward while remaining within a predetermined search cone centred around the destination. This approach not only improves efficiency but also includes obstacle avoidance, making it well-suited for real-world applications. We evaluate the performance of the Hybrid Search algorithm on synthetic vector fields and real ocean currents data, demonstrating its effectiveness and performance.
△ Less
Submitted 6 October, 2023; v1 submitted 4 August, 2023;
originally announced August 2023.
-
Exceptional Gegenbauer polynomials via isospectral deformation
Authors:
María~Ángeles García-Ferrero,
David Gómez-Ullate,
Robert Milson,
James Munday
Abstract:
We show a method to construct isospectral deformations of classical orthogonal polynomials. The construction is based on confluent Darboux transformations, and it allows to construct Sturm-Liouville problems with polynomial eigenfunctions that have an arbitrary number of continuous parameters. We propose to call these new orthogonal polynomial systems \emph{exceptional polynomials of the second ki…
▽ More
We show a method to construct isospectral deformations of classical orthogonal polynomials. The construction is based on confluent Darboux transformations, and it allows to construct Sturm-Liouville problems with polynomial eigenfunctions that have an arbitrary number of continuous parameters. We propose to call these new orthogonal polynomial systems \emph{exceptional polynomials of the second kind}. We illustrate this construction by describing the class of exceptional Gegenbauer polynomials of the second kind.
△ Less
Submitted 8 October, 2021;
originally announced October 2021.
-
Spectral Theory of Exceptional Hermite Polynomials
Authors:
David Gomez-Ullate,
Yves Grandati,
Robert Milson
Abstract:
In this paper we revisit exceptional Hermite polynomials from the point of view of spectral theory, following the work initiated by Lance Littlejohn. Adapting a result of Deift, we provide an alternative proof of the completeness of these polynomial families. In addition, using equivalence of Hermite Wronskians we characterize the possible gap sets for the class of exceptional Hermite polynomials.
In this paper we revisit exceptional Hermite polynomials from the point of view of spectral theory, following the work initiated by Lance Littlejohn. Adapting a result of Deift, we provide an alternative proof of the completeness of these polynomial families. In addition, using equivalence of Hermite Wronskians we characterize the possible gap sets for the class of exceptional Hermite polynomials.
△ Less
Submitted 18 December, 2020; v1 submitted 3 December, 2020;
originally announced December 2020.
-
Exceptional Legendre Polynomials and Confluent Darboux Transformations
Authors:
María Ángeles García-Ferrero,
David Gómez-Ullate,
Robert Milson
Abstract:
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 pol…
▽ More
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 explicit description of the operators and polynomials in question. The main novelty of the paper is the novel construction that allows for exceptional polynomial families with an arbitrary number of real parameters.
△ Less
Submitted 20 February, 2021; v1 submitted 6 August, 2020;
originally announced August 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.
-
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.
-
Durfee rectangles and pseudo-Wronskian equivalences for Hermite polynomials
Authors:
David Gomez-Ullate,
Yves Grandati,
Robert Milson
Abstract:
We study an equivalence class of iterated rational Darboux transformations applied on the harmonic oscillator, showing that many choices of state adding and state deleting transformations lead to the same transformed potential. As a by-product, we derive new identities between determinants whose entries are Hermite polynomials. These identities have a combinatorial interpretation in terms of Maya…
▽ More
We study an equivalence class of iterated rational Darboux transformations applied on the harmonic oscillator, showing that many choices of state adding and state deleting transformations lead to the same transformed potential. As a by-product, we derive new identities between determinants whose entries are Hermite polynomials. These identities have a combinatorial interpretation in terms of Maya diagrams, partitions and Durfee rectangles, and serve to characterize the equivalence class of rational Darboux transformations. Since the determinants have different orders, we analyze the problem of finding the minimal order determinant in each equivalence class, or equivalently, the minimum number of Darboux transformations. The solution to this problem has an elegan graphical interpretation. The results are applied to provide alternative and more efficient representations for exceptional Hermite polynomials and rational solutions of the Painlevé IV equation.
△ Less
Submitted 2 April, 2017; v1 submitted 16 December, 2016;
originally announced December 2016.
-
A Bochner type classification theorem for exceptional orthogonal polynomials
Authors:
M. Ángeles García-Ferrero,
David Gómez-Ullate,
Robert Milson
Abstract:
It was recently conjectured that every system of exceptional orthogonal polynomials is related to classical orthogonal polynomials by a sequence of Darboux transformations. In this paper we prove this conjecture, which paves the road to a complete classification of all exceptional orthogonal polynomials. In some sense, this paper can be regarded as the extension of Bochner's result for classical o…
▽ More
It was recently conjectured that every system of exceptional orthogonal polynomials is related to classical orthogonal polynomials by a sequence of Darboux transformations. In this paper we prove this conjecture, which paves the road to a complete classification of all exceptional orthogonal polynomials. In some sense, this paper can be regarded as the extension of Bochner's result for classical orthogonal polynomials to the exceptional class. As a supplementary result, we derive a canonical form for exceptional operators based on a bilinear formalism, and prove that every exceptional operator has trivial monodromy at all primary poles.
△ Less
Submitted 5 February, 2017; v1 submitted 14 March, 2016;
originally announced March 2016.
-
Recurrence Relations for Exceptional Hermite Polynomials
Authors:
D. Gomez-Ullate,
A. Kasman,
A. B. J. Kuijlaars,
R. Milson
Abstract:
The bispectral anti-isomorphism is applied to differential operators involving elements of the stabilizer ring to produce explicit formulas for all difference operators having any of the Hermite exceptional orthogonal polynomials as eigenfunctions with eigenvalues that are polynomials in $x$.
The bispectral anti-isomorphism is applied to differential operators involving elements of the stabilizer ring to produce explicit formulas for all difference operators having any of the Hermite exceptional orthogonal polynomials as eigenfunctions with eigenvalues that are polynomials in $x$.
△ Less
Submitted 2 July, 2015; v1 submitted 11 June, 2015;
originally announced June 2015.
-
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.
-
Understanding complex dynamics by means of an associated Riemann surface
Authors:
David Gomez-Ullate,
Paolo Santini,
Matteo Sommacal,
Francesco Calogero
Abstract:
We provide an example of how the complex dynamics of a recently introduced model can be understood via a detailed analysis of its associated Riemann surface. Thanks to this geometric description an explicit formula for the period of the orbits can be derived, which is shown to depend on the initial data and the continued fraction expansion of a simple ratio of the coupling constants of the problem…
▽ More
We provide an example of how the complex dynamics of a recently introduced model can be understood via a detailed analysis of its associated Riemann surface. Thanks to this geometric description an explicit formula for the period of the orbits can be derived, which is shown to depend on the initial data and the continued fraction expansion of a simple ratio of the coupling constants of the problem. For rational values of this ratio and generic values of the initial data, all orbits are periodic and the system is isochronous. For irrational values of the ratio, there exist periodic and quasi-periodic orbits for different initial data. Moreover, the dependence of the period on the initial data shows a rich behavior and initial data can always be found such the period is arbitrarily high.
△ Less
Submitted 12 April, 2011;
originally announced April 2011.
-
Two-step Darboux transformations and exceptional Laguerre polynomials
Authors:
David Gomez-Ullate,
Niky Kamran,
Robert Milson
Abstract:
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…
▽ More
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 parameters, the classical Laguerre and the type II $X_\ell$-Laguerre polynomials are recovered.
△ Less
Submitted 21 August, 2011; v1 submitted 29 March, 2011;
originally announced March 2011.
-
On orthogonal polynomials spanning a non-standard flag
Authors:
David Gomez-Ullate,
Niky Kamran,
Robert Milson
Abstract:
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, featur…
▽ More
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 of the fundamental classification theorem for codimension 1 polynomial flags. As well, we describe the mechanism or rational factorizations of 2nd order operators as the analogue of the Darboux transformation in this context. We finish with the example of higher codimension generalization of Jacobi polynomials and perform the complete analysis of parameter values for which these families have non-singular weights.
△ Less
Submitted 21 May, 2012; v1 submitted 28 January, 2011;
originally announced January 2011.
-
An extended class of orthogonal polynomials defined by a Sturm-Liouville problem
Authors:
David Gomez-Ullate,
Niky Kamran,
Robert Milson
Abstract:
We present two infinite sequences of polynomial eigenfunctions of a Sturm-Liouville problem. As opposed to the classical orthogonal polynomial systems, these sequences start with a polynomial of degree one. We denote these polynomials as $X_1$-Jacobi and $X_1$-Laguerre and we prove that they are orthogonal with respect to a positive definite inner product defined over the the compact interval…
▽ More
We present two infinite sequences of polynomial eigenfunctions of a Sturm-Liouville problem. As opposed to the classical orthogonal polynomial systems, these sequences start with a polynomial of degree one. We denote these polynomials as $X_1$-Jacobi and $X_1$-Laguerre and we prove that they are orthogonal with respect to a positive definite inner product defined over the the compact interval $[-1,1]$ or the half-line $[0,\infty)$, respectively, and they are a basis of the corresponding $L^2$ Hilbert spaces. Moreover, we prove a converse statement similar to Bochner's theorem for the classical orthogonal polynomial systems: if a self-adjoint second order operator has a complete set of polynomial eigenfunctions $\{p_i\}_{i=1}^\infty$, then it must be either the $X_1$-Jacobi or the $X_1$-Laguerre Sturm-Liouville problem. A Rodrigues-type formula can be derived for both of the $X_1$ polynomial sequences.
△ Less
Submitted 21 January, 2009; v1 submitted 24 July, 2008;
originally announced July 2008.
-
Asymptotically isochronous systems
Authors:
Francesco Calogero,
David Gomez-Ullate
Abstract:
Mechanisms are elucidated underlying the existence of dynamical systems whose generic solutions approach asymptotically (at large time) isochronous evolutions: all their dependent variables tend asymptotically to functions periodic with the same fixed period. We focus on two such mechanisms, emphasizing their generality and illustrating each of them via a representative example. The first exampl…
▽ More
Mechanisms are elucidated underlying the existence of dynamical systems whose generic solutions approach asymptotically (at large time) isochronous evolutions: all their dependent variables tend asymptotically to functions periodic with the same fixed period. We focus on two such mechanisms, emphasizing their generality and illustrating each of them via a representative example. The first example belongs to a recently discovered class of integrable indeed solvable many-body problems. The second example consists of a broad class of (generally nonintegrable) models obtained by deforming appropriately the well-known (integrable and isochronous) many-body problem with inverse-cube two-body forces and a one-body linear ("harmonic oscillator") force.
△ Less
Submitted 8 October, 2007;
originally announced October 2007.
-
The Transition from Regular to Irregular Motions, Explained as Travel on Riemann Surfaces
Authors:
F. Calogero,
D. Gomez-Ullate,
P. M. Santini,
M. Sommacal
Abstract:
We introduce and discuss a simple Hamiltonian dynamical system, interpretable as a 3-body problem in the complex plane and providing the prototype of a mechanism explaining the transition from regular to irregular motions as travel on Riemann surfaces. The interest of this phenomenology -- illustrating the onset in a deterministic context of irregular motions -- is underlined by its generality,…
▽ More
We introduce and discuss a simple Hamiltonian dynamical system, interpretable as a 3-body problem in the complex plane and providing the prototype of a mechanism explaining the transition from regular to irregular motions as travel on Riemann surfaces. The interest of this phenomenology -- illustrating the onset in a deterministic context of irregular motions -- is underlined by its generality, suggesting its eventual relevance to understand natural phenomena and experimental investigations. Here only some of our main findings are reported, without detailing their proofs: a more complete presentation will be published elsewhere.
△ Less
Submitted 13 July, 2005;
originally announced July 2005.
