This paper addresses a general method of polynomial transformation of hypergeometric equations. Examples of some classical special equations of mathematical physics are generated. Heun's equation and exceptional Jacobi polynomials are also treated.
We introduce new hypergeometric series expansions of the solutions to the general Heun equation. The form of the Gauss hypergeometric functions used as expansion function differs from that used before. We derive three such expansions and further generate, by termination of the series, closed-form solutions for several sets of involved parameters.
We show that the Heun confluent equation admits infinitely many solutions in terms of the confluent generalized hypergeometric functions. For each of these solutions a characteristic exponent of a regular singularity of the Heun confluent equation is a non-zero integer and the accessory parameter obeys a polynomial equation. Each of the solutions can be written as a linear combination with constant coefficients of a finite number of either the Kummer confluent hypergeometric functions or the Bessel functions.
In this work we establish new forms of Heun-to-Heun transformations and Heun-to-Hypergeometric transformations. The transformations are realised by changing the independent variable in a non-linear way. Using these we also point out some simple examples of transformations between equations that are not Fuchsian and that generalise the Heun-to-Hypergeometric transformations.
Starting from the equation obeyed by the derivative, we construct several expansions of the solutions of the general Heun equation in terms of the Appell generalized hypergeometric functions of two variables of the fist kind. Several cases when the expansions reduce to ones written in terms of simpler mathematical functions such as the incomplete Beta function or the Gauss hypergeometric function are identified. The conditions for deriving finite-sum solutions via termination of the series are discussed. In general, the coefficients of the expansions obey four-term recurrence relations; howeve…
The reductions of the Heun equation to the hypergeometric equation by polynomial transformations of its independent variable are enumerated and classified. Heun-to-hypergeometric reductions are similar to classical hypergeometric identities, but the conditions for the existence of a reduction involve features of the Heun equation that the hypergeometric equation does not possess; namely, its cross-ratio and accessory parameters. The reductions include quadratic and cubic transformations, which may be performed only if the singular points of the Heun equation form a harmonic or an equianharmoni…
We study Heun's differential equation in the case that one of the singularities is apparent. In particular we conjecture a relationship with generalized hypergeometric differential equation and establish it in some cases. We apply our results to exceptional Jacobi polynomials.
We show that in four particular cases the derivative of the solution of Heun general equation can be expressed in terms of a solution to another Heun equation. Starting from this property, we use the Gauss hypergeometric functions to construct series solutions to Heun equation for the mentioned cases. Each of the hypergeometric functions involved has correct singular behavior at only one of the singular points of the equation; the sum, however, has correct behavior.
We find transformations of variables which preserve the form of the equation for the kernels of integral relations among solutions of the Heun equation. These transformations lead to new kernels for the Heun equation, given by single hypergeometric functions (Lambe-Ward-type kernels) and by products of two hypergeometric functions (Erdélyi-type). Such kernels, by a limiting process, also afford new kernels for the confluent Heun equation.
We construct several expansions of the solutions of the confluent Heun equation in terms of the incomplete Beta functions and the Appell generalized hypergeometric functions of two variables of the fist kind. The coefficients of different expansions obey four-, five-, or six-term recurrence relations that are reduced to ones involving less number of terms only in a few exceptional cases. The conditions for deriving finite-sum solutions via termination of the series are discussed.
The Heun's equation with its four regular singularities emerges in many applications in science. Despite the growing interest of the scientific community, the literature has many gaps in conceptual mathematical aspects of this equation. Moreover, the translation of the mathematical language for non-mathematicians in making contemporary ideas applied in physical research is not also well developed. In this paper, Maier's Heun-to-hypergeometric reduction cases are studied in detail for four problems in quantum mechanics: (1) The Schrodinger's equation for the Coulomb problem on a 3-sphere, (2) t…
We construct new solutions in series of confluent hypergeometric functions for the confluent Heun equation (CHE). Some of these solutions are applied to the one-dimensional stationary Schrödinger equation with hyperbolic and trigonometric quasiexactly solvable potentials.
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 t…
This paper examines some solutions for confluent and double-confluent Heun equations. In the first place, we review two Leaver's solutions in series of regular and irregular confluent hypergeometric functions for the confluent equation and introduce an additional expansion in series of irregular confluent hypergeometric functions. Then, we find the conditions under which one of these solutions can be written as a linear combination of the others. In the second place, by means of limiting procedures we generate solutions for the double-confluent equation as well as for special limits of both th…
The q-Heun operator of the big q-Jacobi type on the exponential grid is defined. This operator is the most general second order q-difference operator that maps polynomials of degree $n$ to polynomials of degree $n+1$. It is tridiagonal in bases made out of either q-Pochhammer or big q-Jacobi polynomials and is bilinear in the operators of the q-Hahn algebra. The extension of this algebra that includes the q-Heun operator as generator is described. Biorthogonal Pastro polynomials are shown to satisfy a generalized eigenvalue problem or equivalently to be in the kernel of a special linear pencil…
We present a conspicuous number of indefinite integrals involving Heun functions and their products obtained by means of the Lagrangian formulation of a general homogeneous linear ordinary differential equation. As a by-product we also derive new indefinite integrals involving the Gauss hypergeometric function and products of hypergeometric functions with elliptic functions of the first kind. All integrals we obtained cannot be computed using Maple and Mathematica.
It is shown that the tridiagonalization of the hypergeometric operator $L$ yields the generic Heun operator $M$. The algebra generated by the operators $L,M$ and $Z=[L,M]$ is quadratic and a one-parameter generalization of the Racah algebra. The new Racah-Heun orthogonal polynomials are introduced as overlap coefficients between the eigenfunctions of the operators $L$ and $M$. An interpretation in terms of the Racah problem for $su(1,1)$ algebras and separation of variables in a superintegrable system are discussed.
We review different methods of generating potentials such that the one-dimensional Schrödinger equation (ODSE) can be transformed into the hypergeometric equation. We compare our results with previous studies, and complement the subject with new findings. Our main result is to derive new classes of potentials such that the ODSE can be transformed into the Heun equation and its confluent cases. The generalized Heun equation is also considered.
The paper presents a detailed analysis of the so-called "Double-Root Tangent-Polynomial" (DRtTP) reduction of the regular Gauss-reference (r-GRef) potential exactly solvable by hypergeometric functions. It is shown that the Dutt-Khare-Varshni (DKV) potential represents a remarkable particular case when the DRtTP r-GRef becomes expressible in terms of elementary functions. This is also true for its basic single- or double-step SUSY partners which are either exactly or conditionally exactly quantized by Heun polynomials (Hp-EQ or Hp-CEQ, respectively).
A survey of recents advances in the theory of Heun operators is offered. Some of the topics covered include: quadratic algebras and orthogonal polynomials, differential and difference Heun operators associated to Jacobi and Hahn polynomials, connections with time and band limiting problems in signal processing.
We find sets of solutions to the generalized spheroidal wave equation (GSWE) or, equivalently, to the confluent Heun equation. Each set is constituted by three solutions, one given by a series of ascending powers of the independent variable, and the others by series of regular and irregular confluent hypergeometric functions. For a fixed set, the solutions converge over different regions of the complex plane but present series coefficients proportional to each other. These solutions for the GSWE afford solutions to a double-confluent Heun equation by a taking-limit process due to Leaver. Anoth…
In the paper, the well-known quantum mechanical problem of a spin 1/2 particle in external Coulomb potential, reduced to a system of two first-order differential equations, is studied from the point of view of possible applications of the Heun function theory to treat this system. It is shown that in addition to the standard way to solve the problem in terms of the confluent hypergeometric functions (proposed in 1928 by G. Darvin and W. Gordon), there are possible several other possibilities which rely on applying the confluent Heun functions. Namely, in the paper there are elaborated two comb…
Biconfluent Heun (BCH) function, a confluent form of Heun function, is the special case of Grand Confluent Hypergeometric (GCH) function: this has a regular singularity at x=0, and an irregular singularity at infinity of rank 2. In this paper I apply three term recurrence formula (3TRF) [arXiv:1303.0806] to the integral formalism of GCH function including all higher terms of A_n's and the generating function for the GCH polynomial which makes B_n term terminated. I show how to transform power series expansion in closed forms of GCH equation to its integral representation analytically. This pap…
The cases when the equation for the derivative of the confluent Heun function has only three singularities (in general, the equation has four such points) are examined. It is shown that this occurs only in three specific cases. Further, it is shown that in all these three cases this equation is reduced to some confluent Heun equation with changed parameters. This means that in these cases the derivative of the confluent Heun function is expressed via some other confluent Heun function. The analysis of the obtained relations shows that they can be useful for the construction of some exact solut…
The Painlevé equations arise from the study of Hankel determinants generated by moment matrices, whose weights are expressed as the product of ``classical" weights multiplied by suitable ``deformation factors", usually dependent on a ``time variable'' $t$. From ladder operators one finds second order linear ordinary differential equations for associated orthogonal polynomials with coefficients being rational functions. The Painlevé and related functions appear as the residues of these rational functions. We will be interested in the situation when $n$, the order of the Hankel matrix and also t…
Applying the approach based on the equation for the derivative, we construct several expansions of the solutions of the general Heun equation in terms of the incomplete Beta functions. Several expansions in terms of the Appell generalized hypergeometric functions of two variables of the fist kind are also presented. The constructed expansions are applicable for arbitrary sets of the involved parameters. The coefficients of the expansions obey four-, five- or six-term recurrence relations. However, there exist several sets of the parameters for which the recurrence relations involve fewer terms…
We find pairs of solutions to a differential equation which is obtained as a special limit of a generalized spheroidal wave equation (this is also known as confluent Heun equation). One solution in each pair is given by a series of hypergeometric functions and converges for any finite value of the independent variable $z$, while the other is given by a series of modified Bessel functions and converges for $|z|>|z_{0}|$, where $z_{0}$ denotes a regular singularity. For short, the preceding limit is called Ince's limit after Ince who have used the same procedure to get the Mathieu equations from…
We give examples of infinite order rational transformations that leave linear differential equations covariant. These examples are non-trivial yet simple enough illustrations of exact representations of the renormalization group. We first illustrate covariance properties on order-two linear differential operators associated with identities relating the same $_2F_1$ hypergeometric function with different rational pullbacks. We provide two new and more general results of the previous covariance by rational functions: a new Heun function example and a higher genus $_2F_1$ hypergeometric function …
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,…
We reexamine and extend a group of solutions in series of Bessel functions for a limiting case of the confluent Heun equation and, then, apply such solutions to the one-dimensional Schrödinger equation with an inverted quasi-exactly solvable potential as well as to the angular equation for an electron in the field of a point electric dipole. For the first problem we find finite- and infinite-series solutions which are convergent and bounded for any value of the independent variable. For the angular equation, we also find expansions in series of Jacobi polynomials.
Since the advent of quantum mechanics different approaches to find analytical solutions of the Schrödinger equation have been successfully developed. Here we follow and generalize the approach pioneered by Natanzon and others by which the Schrödinger equations can be transformed into another well-known equation for transcendental function (e.g., the hypergeometric equation). This sets a class of potentials for which this transformation is possible. Our generalization consists in finding potentials allowing the transformation of the Schrödinger equation into a triconfluent Heun equation. We fin…
In a recent paper, the canonical forms of a new multi-parameter class of Abel differential equations, so-called AIR, all of whose members can be mapped into Riccati equations, were shown to be related to the differential equations for the hypergeometric 2F1, 1F1 and 0F1 functions. In this paper, a connection between the AIR canonical forms and the Heun General (GHE), Confluent (CHE) and Biconfluent (BHE) equations is presented. This connection fixes the value of one of the Heun parameters, expresses another one in terms of those remaining, and provides closed form solutions in terms of pFq fun…
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 …
We introduce a nine-parameter Heun-type differential equation and obtain three classes of its solutions as series of square integrable functions written in terms of the Jacobi polynomial. The expansion coefficients of the series satisfy three-term recursion relations, which are solved in terms of orthogonal polynomials with continuous and/or discrete spectra. Some of these are well-known polynomials while others are either new or modified versions of known ones.
Most of the theoretical physics known today is described by using a small number of differential equations. For linear systems, different forms of the hypergeometric or the confluent hypergeometric equations often suffice to describe the system studied. These equations have power series solutions with simple relations between consecutive coefficients and/ or can be represented in terms of simple integral transforms. If the problem is nonlinear, one often uses one form of the Painlevé equations. There are important examples, however, where one has to use higher order equations. Heun equation is…
The complexity measures of the Crámer-Rao, Fisher-Shannon and LMC (López-Ruiz, Mancini and Calvet) types of the Rakhmanov probability density $ρ_n(x)=ω(x) p_n^2(x)$ of the polynomials $p_n(x)$ orthogonal with respect to the weight function $ω(x)$, $x\in (a,b)$, are used to quantify various two-fold facets of the spreading of the Hermite, Laguerre and Jacobi systems all over their corresponding orthogonality intervals in both analytical and computational ways. Their explicit (Crámer-Rao) and asymptotical (Fisher-Shannon, LMC) values are given for the three systems of orthogonal polynomials. The…
We study the perturbative power-series expansions of the eigenvalues and eigenvectors of a general tridiagonal (Jacobi) matrix of dimension d. The(small) expansion parameters are being the entries of the two diagonals of length d-1 sandwiching the principal diagonal, which gives the unperturbed spectrum. The solution is found explicitly in terms of multivariable (Horn-type) hypergeometric series of 3d-5 variables in the generic case, or 2d-3 variables for the eigenvalue growing from a corner matrix element. To derive the result, we first rewrite the spectral problem for a Jacobi matrix as an e…
S-Heun operators on linear and $q$-linear grids are introduced. These operators are special cases of Heun operators and are related to Sklyanin-like algebras. The Continuous Hahn and Big $q$-Jacobi polynomials are functions on which these S-Heun operators have natural actions. We show that the S-Heun operators encompass both the bispectral operators and Kalnins and Miller's structure operators. These four structure operators realize special limit cases of the trigonometric degeneration of the original Sklyanin algebra. Finite-dimensional representations of these algebras are obtained from a tr…
Starting from a recently found branching formula for the six-parameter family of symmetric Macdonald-Koornwinder polynomials, we arrive by degeneration at corresponding branching rules for symmetric hypergeometric orthogonal polynomials of Wilson, continuous Hahn, Jacobi, Laguerre, and Hermite type.
In the present work we calculate the group structure of the Schlesinger transformations for isomonodromic deformations of order two Fuchsian differential equations. We perform these transformations as the isomorphisms between the moduli spaces of the logarithmic sl(2)- connections with fixed eigenvalues of residues at singular points. We give the geometrical interpretation of the Schlesinger transformations and perform the calculations using the techniques of the modifications of bundles with connections. In order to illustrate this result we present classical examples of symmetries of the hyp…
A relationship between two old mathematical subjects is observed: the theory of hypergeometric functions and the separability in classical mechanics. Separable potential perturbations of the integrable billiard systems and the Jacobi problem for geodesics on an ellipsoid are expressed through the Appell hypergeometric functions $F_4$ of two variables. Even when the number of degrees of freedom increases, if an ellipsoid is symmetric, the number of variables in the hypergeometric functions does not. Wider classes of separable potentials are given by the obtained new formulae automaticaly.
Explicit expressions for the Hahn multiple polynomials of type I, in terms of Kampé de Fériet hypergeometric series, are given. Orthogonal and biorthogonal relations are proven. Then, part of the Askey scheme for multiple orthogonal polynomials type I is completed. In particular, explicit expressions in terms of generalized hypergeometric series and Kampé de Fériet hypergeometric series, are given for the multiple orthogonal polynomials of type I for the Jacobi-Piñeiro, Meixner I, Meixner II, Kravchuk, Laguerre I, Laguerre II and Charlier families.
The recently found hypergeometric multiple orthogonal polynomials on the step-line by Lima and Loureiro are shown to be random walk polynomials. It is proven that the corresponding Jacobi matrix and its transpose, which are nonnegative matrices and describe higher recurrence relations, can be normalized to two stochastic matrices, dual to each other. Using the Christoffel-Darboux formula on the step-line and the Poincaré theory for non-homogeneous recurrence relations it is proven that both stochastic matrices are related by transposition in the large $n$ limit. These random walks are beyond b…
We derive a novel integral representations of Jacobi polynomials in terms of the Gauss hypergeometric function. Such representation is then used to give the explicit integral representation for the Heat kernel on the quantized Riemann sphere.
The classical orthogonal polynomials are usually defined by the Rodrigues' formula. This paper refers to a fractional extension of the classical Hermite, Laguerre, Jacobi, Charlier, Meixner, Krawtchouk and Hahn polynomials. By means of the Caputo operator of fractional calculus, C-Hermite, C-Laguerre, C-Legndre and the C-Jacobi functions are defined and their representation in terms of the hypergeometric functions are provided. Also, by means of the Gray and Zhang fractional difference oparator, fractional Charlier, Meixner, Krawtchouk and Hahn functions are defined and their representation in…
The Heckman-Opdam hypergeometric functions of type BC extend classical Jacobi functions in one variable and include the spherical functions of non-compact Grassmann manifolds over the real, complex or quaternionic numbers. There are various limit transitions known for such hypergeometric functions. In the present paper, we use an explicit form of the Harish-Chandra integral representation as well as an interpolated variant, in order to obtain limit results for three continuous classes of hypergeometric functions of type BC which are distinguished by explicit, sharp and uniform error bounds. Th…