New solutions for the elliptic Darboux equation are obtained as particular cases of solutions constructed for Heun's general equation. We consider two groups of power series expansions and two new groups of expansions in series of Gauss hypergeometric functions. The convergence of one group in power series is determined by means of ratio tests for infinite series, while the other groups are designed to solve problems which admit finite-series solutions. Actually, we envisage periodic quasi-exactly solvable potentials for which the stationary one-dimensional Schrödinger equation is reduced to the Darboux equation. In general, finite- and infinite-series solutions are obtained from power series expansions for Heun's equation. However, we show that the Schrödinger equation admits additional finite-series expansions in terms of hypergeometric functions for a family of associated Lamé potentials used in band theory of solids. For each finite-series solution we find as well four infinite-series expansions which are bounded and convergent for all values of the independent variable. Finally we find that it is possible to use transformations of variables in order to generate new solutions for the Darboux equation out of other expansions in series of hypergeometric functions for the Heun equation.
We obtain isomonodromic transformations for Heun's equation by generalizing Darboux transformation, and we find pairs and triplets of Heun's equation which have the same monodromy structure. By composing generalized Darboux transformations, we establish a new construction of the commuting operator which ensures finite-gap property. As an application, we prove conjectures in part III.
We review Darboux-Crum transformation of Heun's differential equation. By rewriting an integral transformation of Heun's differential equation into a form of elliptic functions, we see that the integral representation is a generalization of Darboux-Crum transformation. We also consider conservation of monodromy with respect to the transformations.
We present some recent progresses on Heun functions, gathering results from classical analysis up to elliptic functions. We describe Picard's generalization of Floquet's theory for differential equations with doubly periodic coefficients and give the detailed forms of the level one Heun functions in terms of Jacobi theta functions. The finite-gap solutions give an interesting alternative integral representation which, at level one, is shown to be equivalent to their elliptic form.
An analysis of the generalized confluent Heun equation $(α_2r^2+α_1r)\,y''+(β_2r^2+β_1r+β_0)\,y'-(\varepsilon_1r+\varepsilon_0)\,y=0$ in $d$-dimensional space, where $\{α_i, β_i, \varepsilon_i\}$ are real parameters, is presented. With the aid of these general results, the quasi exact solvability of the Schrödinger eigenproblem generated by the softcore Coulomb potential $V(r)=-e^2Z/(r+b),\, b>0$, is explicitly resolved. Necessary and sufficient conditions for polynomial solvability are given. A three-term recurrence relation is provided to generate the coefficients of polynomial solutions exp…
The present paper analyze the constraints on the confluent Heun type-equation, $(a_{3,1}r^2+a_{3,2}r)y"+(a_{2,0}r^2+a_{2,1}r+a_{2,2})y'-(τ_{1,0}r+τ_{1,1})y=0,$ where $|a_{3,1}|^2+|a_{3,2}|^2\neq 0, $ and $a_{i,j},i=3,2,1, j=0,1,2$ are real parameters, to admit polynomial solutions. The necessary and sufficient conditions for the existence of these polynomials are given. A three-term recurrence relation is provided to generate the polynomial solutions explicitly. We, then, prove that these polynomial solutions are a source of finite sequences of orthogonal polynomials. Several properties, such …
We find a remarkable subalgebra of higher symmetries of the elliptic Euler-Darboux equation. To this aim we map such equation into its hyperbolic analogue already studied by Shemarulin. Taking into consideration how symmetries and recursion operators transform by this complex contact transformation, we explicitly give the structure of this Lie algebra and prove that it is finitely generated. Furthermore, higher symmetries depending on jets up to second order are explicitly computed.
The BC_N elliptic Inozemtsev model is a quantum integrable systems with N-particles whose potential is given by elliptic functions. Eigenstates and eigenvalues of this model are investigated.
We consider the non-stationary Heun equation, also known as quantum Painlevé VI, which has appeared in different works on quantum integrable models and conformal field theory. We use a generalized kernel function identity to transform the problem to solve this equation into a differential-difference equation which, as we show, can be solved by efficient recursive algorithms. We thus obtain series representations of solutions which provide elliptic generalizations of the Jacobi polynomials. These series reproduce, in a limiting case, a perturbative solution of the Heun equation due to Takemura,…
Structure and properties of families of critical points for classes of functions $W(z,\bar{z})$ obeying the elliptic Euler-Poisson-Darboux equation $E(1/2,1/2)$ are studied. General variational and differential equations governing the dependence of critical points in variational (deformation) parameters are found. Explicit examples of the corresponding integrable quasi-linear differential systems and hierarchies are presented There are the extended dispersionless Toda/nonlinear Schrödinger hierarchies, the "inverse" hierarchy and equations associated with the real-analytic Eisenstein series $E…
The Heun equation can be rewritten as an eigenvalue equation for an ordinary differential operator of the form $-d^2/dx^2+V(g;x)$, where the potential is an elliptic function depending on a coupling vector $g\in{\mathbb R}^4$. Alternatively, this operator arises from the $BC_1$ specialization of the $BC_N$ elliptic nonrelativistic Calogero-Moser system (a.k.a. the Inozemtsev system). Under suitable restrictions on the elliptic periods and on $g$, we associate to this operator a self-adjoint operator $H(g)$ on the Hilbert space ${\mathcal H}=L^2([0,ω_1],dx)$, where $2ω_1$ is the real period of …
It is shown that the four-parameter family of elliptic functions $$u_D(z)=m_0(m_0+1)\wp(z)+\sum_{i=1}^3 m_i(m_i+1)\wp(z-ω_i)$$ introduced by Darboux and rediscovered a hundred years later by Treibich and Verdier, is the most general meromorphic family containing infinitely many finite-gap potentials.
We develop a theory for the Hermite-Krichever Ansatz on the Heun equation. As a byproduct, we find formulae which reduce hyperelliptic integrals to elliptic ones.
It is known that the Fuchsian differential equation which produces the sixth Painlevé equation corresponds to the Fuchsian differential equation with different parameters via Euler's integral transformation, and Heun's equation also corresponds to Heun's equation with different parameters, again via Euler's integral transformation. In this paper we study the correspondences in detail. After investigating correspondences with respect to monodromy, it is demonstrated that the existence of polynomial-type solutions corresponds to apparency (non-branching) of a singularity. For the elliptical repr…
The 'relativistic' Heun equation is an 8-coupling difference equation that generalizes the 4-coupling Heun differential equation. It can be viewed as the time-independent Schrödinger equation for an analytic difference operator introduced by van Diejen. We study Hilbert space features of this operator and its 'modular partner', based on an in-depth analysis of the eigenvectors of a Hilbert-Schmidt integral operator whose integral kernel has a previously known relation to the two difference operators. With suitable restrictions on the parameters, we show that the commuting difference operators …
We relate two parameter solutions of the sixth Painlevé equation and finite-gap solutions of the Heun equation by considering monodromy on a certain class of Fuchsian differential equations. In the appendix, we present formulae on differentials of elliptic modular functions, and obtain the ellitic form of the sixth Painlevé equation directly.
Upon solving a finite discrete reduction of the difference Heun equation, we arrive at an elliptic generalization of the Racah polynomials. We exhibit the three-term recurrence relation and the orthogonality relations for these elliptic Racah polynomials. The well-known $q$-Racah polynomials of Askey and Wilson are recovered as a trigonometric limit.
We apply a method of perturbation for the $BC_1$ Inozemtsev model from the trigonometric model and show the holomorphy of perturbation.Consequently, the convergence of eigenvalues and eigenfuncions which are expressed as formal power series is proved. We investigate also the relationship between $L^2$ space and some finite dimensional space of elliptic functions.
We apply solutions of Heun's general equation to the stationary Schrödinger equation with two quasi-exactly solvable elliptic potentials which depend on a real parameter $\ell$. We get finite-series solutions from power series expansions for Heun's equation if $\ell$ is an integer, except if $\ell=-1,-2,-3,-4$. If $\ell\neq-5/2$ is half an odd integer, we obtain finite series in terms of hypergeometric functions. The quasi-exact solvability is expressed by the finite series solutions. However, for any value of $\ell$, we find infinite-series eigenfunctions which are convergent and bounded for …
The Inozemtsev model is considered to be a multivaluable generalization of Heun's equation. We review results on Heun's equation, the elliptic Calogero-Moser-Sutherland model and the Inozemtsev model, and discuss some approaches to the finite-gap integration for multivariable models.
Rogue waves on the periodic background are considered for the nonlinear Schrodinger (NLS) equation in the focusing case. The two periodic wave solutions are expressed by the Jacobian elliptic functions dn and cn. Both periodic waves are modulationally unstable with respect to long-wave perturbations. Exact solutions for the rogue waves on the periodic background are constructed by using the explicit expressions for the periodic eigenfunctions of the Zakharov-Shabat spectral problem and the Darboux transformations. These exact solutions labeled as rogue periodic waves generalize the classical r…
We consider the real stationary two-dimensional Schroedinger equation. With the aid of any its particular solution we construct a Vekua equation possessing the following special property. The real parts of its solutions are solutions of the original Schroedinger equation and the imaginary parts are solutions of an associated Schroedinger equation with a potential having the form of a potential obtained after the Darboux transformation. Using L. Bers theory of Taylor series for pseudoanalytic functions we obtain a locally complete system of solutions of the original Schroedinger equation which …
The study of the Dirac system and second-order elliptic equations with complex-valued coefficients on the plane leads to bicomplex Vekua equations. To the difference of complex pseudoanalytic (generalized analytic) functions the theory of bicomplex functions has not been developed. Such basic facts as the similarity principle or the Liouville theorem in general are no longer available due to the presence of zero divisors in the algebra of bicomplex numbers. We develop a theory of bicomplex pseudoanalytic formal powers analogous to the developed by Bers and obtain Cauchy's integral formula in t…
