The main aim of this paper is the study of the general solution of the exceptional Hermite differential equation with fixed partition $λ= (1)$ and the construction of minimal surfaces associated with this solution. We derive a linear second-order ordinary differential equation associated with a specific family of exceptional polynomials of codimension two. We show that these polynomials can be expressed in terms of classical Hermite polynomials. Based on this fact, we demonstrate that there exists a link between the norm of an exceptional Hermite polynomial and the gap sequence arising from the partition used to construct this polynomial. We find the general analytic solution of the exceptional Hermite differential equation which has no gap in its spectrum. We show that the spectrum is complemented by non-polynomial solutions. We present an implementation of the obtained results for the surfaces expressed in terms of the general solution making use of the classical Enneper-Weierstrass formula for the immersion in the Euclidean space $\mathbb{E}^3$, leading to minimal surfaces. Three-dimensional displays of these surfaces are presented.
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.
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 an…
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 cor…
We have generalized the solutions of the radial Dirac equation with a tensor potential under spin and pseudospin symmetry limits to exceptional orthogonal Hermite polynomials family. We have obtained new general rational potential models which are the generalization of the nonlinear isotonic potential families and also energy dependent.
In recent years, many exceptional orthogonal polynomials (EOP) were introduced and used to construct new families of 1D exactly solvable quantum potentials, some of which are shape invariant. In this paper, we construct from Hermite and Laguerre EOP and their related quantum systems new 2D superintegrable Hamiltonians with higher-order integrals of motion and the polynomial algebras generated by their integrals of motion. We obtain the finite-dimensional unitary representations of the polynomial algebras and the corresponding energy spectrum. We also point out a new type of degeneracies of the…
A new recurrence relation for exceptional orthogonal polynomials is proposed, which holds for type 1, 2 and 3. As concrete examples, the recurrence relations are given for Xj-Hermite, Laguerre and Jacobi polynomials in j = 1,2 case.
The type III Hermite $X_m$ exceptional orthogonal polynomial family is generalized to a double-indexed one $X_{m_1,m_2}$ (with $m_1$ even and $m_2$ odd such that $m_2 > m_1$) and the corresponding rational extensions of the harmonic oscillator are constructed by using second-order supersymmetric quantum mechanics. The new polynomials are proved to be expressible in terms of mixed products of Hermite and pseudo-Hermite ones, while some of the associated potentials are linked with rational solutions of the Painlevé IV equation. A novel set of ladder operators for the extended oscillators is also…
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…
It is shown that fundamental solutions $K^σ(x,y;t)=\langle x|e^{-i H^σt}|y\rangle$ of the non-stationary Schrödinger equation (Green functions, or propagators) for the rational extensions of the Harmonic oscillator $H^σ=H_{\rm osc}+ΔV^σ$ are expressed in terms of elementary functions only. An algorithm to calculate explicitly $K_σ$ for an arbitrary $σ\in \mathbb{N}$ is given, compact expressions for $K^{\{1,2\}}$ and $K^{\{2,3\}}$ are presented. A generalization of the Mehler's formula to the case of exceptional Hermite polynomials is given.
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…
We construct energy-dependent potentials for which the Schroedinger equations admit solu- tions in terms of exceptional orthogonal polynomials. Our method of construction is based on certain point transformations, applied to the equations of exceptional Hermite, Jacobi and Laguerre polynomials. We present several examples of boundary-value problems with energy-dependent potentials that admit a discrete spectrum and the corresponding normalizable solutions in closed form.
Exceptional orthogonal polynomial systems (X-OPS) arise as eigenfunctions of Sturm-Liouville problems and generalize in this sense the classical families of Hermite, Laguerre and Jacobi. They also generalize the family of CPRS orthogonal polynomials. We formulate the following conjecture: every exceptional orthogonal polynomial system is related to a classical system by a Darboux-Crum transformation. We give a proof of this conjecture for codimension 2 exceptional orthogonal polynomials (X2-OPs). As a by-product of this analysis, we prove a Bochner-type theorem classifying all possible X2-OPS.…
We construct the coherent states and Schrödinger cat states associated with new types of ladder operators for a particular case of a rationally extended harmonic oscillator involving type III Hermite exceptional orthogonal polynomials. In addition to the coherent states of the annihilation operator, $c$, we form the linearised version, \tilde{c}, and obtain its coherent states. We find that while the coherent states defined as eigenvectors of the annihilation operator $c$ display only quantum behaviour, those of the linearised version, \tilde{c}, have position probability densities displaying …
Consider the Wronskians of the classical Hermite polynomials $$H_{λ, l}(x):=\mathrm{Wr}(H_l(x),H_{k_1}(x),\ldots, H_{k_n}(x)), \quad l \in \mathbb Z_{\geq 0},$$ where $k_i=λ_i+n-i, \,\, i=1,\dots, n$ and $λ=(λ_1, \dots, λ_n)$ is a partition. Gómez-Ullate et al showed that for a special class of partitions the corresponding polynomials are orthogonal and dense among all polynomials with certain inner product, but in contrast to the usual case have some degrees missing (so called exceptional orthogonal polynomials). We generalise their results to all partitions by considering complex contours of…
We extend and generalize the construction of Sturm-Liouville problems for a family of Hamiltonians constrained to fulfill a third-order shape-invariance condition and focusing on the "$-2x/3$" hierarchy of solutions to the fourth Painlevé transcendent. Such a construction has been previously addressed in the literature for some particular cases but we realize it here in the most general case. The corresponding potential in the Hamiltonian operator is a rationally extended oscillator defined in terms of the conventional Okamoto polynomials, from which we identify three different zero-modes cons…
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…
The Bochner Classification Theorem (1929) characterizes the polynomial sequences $\p_{n}\}_{n=0}^{\infty}$, with $\text{deg}\,p_{n}=n$ that simultaneously form a complete set of eigenstates for a second-order differential operator and are orthogonal with respect to a positive Borel measure having finite moments of all orders. Indeed, up to a complex linear change of variable, only the classical Hermite, Laguerre, and Jacobi polynomials satisfy these conditions. In 2009, Gómez-Ullate, Kamran, and Milson found that for sequences $\{p_{n}\}_{n=1}^{\infty}$, $\text{deg}\,p_{n}=n$ (without the cons…
In recent years, one of the most interesting developments in quantum mechanics has been the construction of new exactly solvable potentials connected with the appearance of families of exceptional orthogonal polynomials (EOP) in mathematical physics. In contrast with families of (Jacobi, Laguerre and Hermite) classical orthogonal polynomials, which start with a constant, the EOP families begin with some polynomial of degree greater than or equal to one, but still form complete, orthogonal sets with respect to some positive-definite measure. We show how they may appear in the bound-state wavefu…
An interesting discovery in the last two years in the field of mathematical physics has been the exceptional $X_\ell$ Laguerre and Jacobi polynomials. Unlike the well-known classical orthogonal polynomials which start with constant terms, these new polynomials have lowest degree $\ell=1,2,...$, and yet they form complete set with respect to some positive-definite measure. While the mathematical properties of these new $X_\ell$ polynomials deserve further analysis, it is also of interest to see if they play any role in physical systems. In this paper we indicate some physical models in which th…
We construct the coherent states of general order, $m$ for the ladder operators, $c(m)$ and $c^\dagger(m)$, which act on rational deformations of the harmonic oscillator. The position wavefunctions of the eigenvectors involve type III Hermite exceptional orthogonal polynomials. We plot energy expectations, time-dependent position probability densities for the coherent states and for the even and odd cat states, Wigner functions, and Heisenberg uncertainty relations. We find generally non-classical behaviour, with one exception: there is a regime of large magnitude of the coherent state paramet…
New ladder operators are constructed for a rational extension of the harmonic oscillator associated with type III Hermite exceptional orthogonal polynomials and characterized by an even integer $m$. The eigenstates of the Hamiltonian separate into $m+1$ infinite-dimensional unitary irreducible representations of the corresponding polynomial Heisenberg algebra. These ladder operators are used to construct a higher-order integral of motion for two superintegrable two-dimensional systems separable in cartesian coordinates. The polynomial algebras of such systems provide for the first time an alge…
