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.
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 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.
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.
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…
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 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.
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.
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.
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…
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…
The Heun function generalizes all well-known special functions such as Spheroidal Wave, Lame, Mathieu, and hypergeometric functions. Heun functions are applicable to diverse areas such as theory of black holes, lattice systems in statistical mechanics, solution of the Schrodinger equation of quantum mechanics, and addition of three quantum spins. In this paper, applying three term recurrence formula, I consider asymptotic behaviors of Heun function and its integral formalism including all higher terms of A_n's. I will show how the power series expansion of Heun functions can be converted to cl…
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…
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…
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.
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.
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 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…
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…
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…
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.
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…
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…
Heun's equation naturally appears as special cases of Fuchsian system of differential equations of rank two with four singularities by introducing the space of initial conditions of the sixth Painlevé equation. Middle convolutions of the Fuchsian system are related with an integral transformation of Heun's equation.
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 …
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 obtain addition formulas for $_{p}F_{p}$ and $_{p+1}F_{p}$ generalized hypergeometric functions with general parameters. These are utilized in conjunction with integral representations of these functions to derive Kummer- and Euler-type transformations that express $_{p}F_{p}\left(x\right)$ and $_{p+1}F_p\left(x\right)$ in the form of sums of $_{p}F_{p}\left(-x\right)$ and $_{p+1}F_p\left(-x\right)$ functions, respectively.
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 …
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…
Integral relations and transformation rules are used to obtain, out of an asymptotic solution, a new group of four pairs of solutions to the double-confluent Heun equation. Each pair presents the same series coefficients but has solutions convergent in different regions of the complex plane. Integral relations are also established between solutions given by series of Coulomb wave functions. The Whittaker-Hill equation and another equation are studied as particular cases of both the double-confluent and the single-confluent Heun equations. Finally, applications for the Schrödinger equation with…
We give examples where the Heun function exists in general relativity. It turns out that while a wave equation written in the background of certain metric yields Mathieu functions as its solutions in four space-time dimensions, the trivial generalization to five dimensions results in the double confluent Heun function. We reduce this solution to the Mathieu function with some transformations.
The explicit formulas for the maps interconnecting the sets of solutions of the special double confluent Heun equation and the equation of the RSJ model of overdamped Josephson junction in case of shifted sinusoidal bias are given. The approach these are based upon leans on the extensive application of eigenfunctions of certain linear operator acting on functions holomorphic on the universal cover of the punctured complex plane. The functional equation the eigenfunctions noted obey is derived, the matrix form of the monodromy transformation they infer is given.
Three linear operators (${\mathcal L}$-operators) determining automorphisms of the space of solutions to a special double confluent Heun equation (sDCHE) of negative integer order are considered. Their composition rules involving in a natural way the monodromy transformation are given. Introducing eigenfunctions $E_{\{+\}}, E_{\{-\}}$ of one of the ${\mathcal L}$-operators (${\mathcal L}_C$) satisfying sDCHE, the four polylocal quadratic functionals playing role of the first integrals of sDCHE are derived. Their use allows to construct the explicit matrix representations of ${\mathcal L}$-oper…
A master formula of transformation formulas for bilinear sums of basic hypergeometric series is proposed. It is obtained from the author's previous results on a transformation formula for Milne's multivariate generalization of basic hypergeometric series of type $A$ with different dimensions and it can be considered as a generalization of Whipple-Sears transformation formula for terminating balanced ${}_4 ϕ_3$ series. As an application of the master formula, one variable cases of some transformation formulas for bilinear sums of basic hypergeometric series are given as examples. The bilinear t…
It is shown that the regular-at-infinity solution of the 1D Schrodinger equation with the hyperbolic Poschl-Teller (h-PT) potential with integer parameters is expressible in terms of a n-order Heun polynomial in y=thr at an arbitrary negative energy. It was proven that the Heun polynomials in question form a subset of generally complex Lambe-Ward polynomials corresponding to zero value of the accessory parameter. Since the mentioned solution expressed in the new variable y has an almost-everywhere holomorphic (AEH) form it can be used as the factorization function (FF) for canonical Liouville-…
Firstly, we construct kernels of integral relations among solutions of the confluent Heun equation (CHE) and its limit, the reduced CHE (RCHE). In both cases we generate additional kernels by systematically applying substitutions of variables. Secondly, we establish integral relations between known solutions of the CHE that are power series and solutions that are series of special functions; and similarly for solutions of the RCHE. Thirdly, by using one of the integral relations as an integral transformation we obtain a new series solution of the spheroidal wave equation. From this solution we…
Finite-part integration is a recently introduced method of evaluating convergent integrals by means of the finite part of divergent integrals [E.A. Galapon, {\it Proc. R. Soc. A 473, 20160567} (2017)]. Current application of the method involves exact and asymptotic evaluation of the generalized Stieltjes transform $\int_0^a f(x)/(ω+ x)^ρ \, \mathrm{d}x$ under the assumption that the extension of $f(x)$ in the complex plane is entire. In this paper, the method is elaborated further and extended to accommodate the presence of competing singularities of the complex extension of $f(x)$. Finite par…
We show that the complex hypergeometric function describing $6j$-symbols for $SL(2,\mathbb{C})$ group is a special degeneration of the $V$-function -- an elliptic analogue of the Euler-Gauss $_2F_1$ hypergeometric function. For this function, we derive mixed difference-recurrence relations as limiting forms of the elliptic hypergeometric equation and some symmetry transformations. At the intermediate steps of computations, there emerge a function describing the $6j$-symbols for the Faddeev modular double and the corresponding difference equations and symmetry transformations.
We explore the large set of linear transformations of Srivastava's $H_C$ triple hypergeometric function. This function has been recently linked to the massive one-loop conformal scalar 3-point Feynman integral. We focus here on the class of linear transformations of $H_C$ that can be obtained from linear transformations of the Gauss $_2F_1$ hypergeometric function and, as $H_C$ is also a three variable generalization of the Appell $F_1$ double hypergeometric function, from the particular linear transformation of $F_1$ known as Carlson's identity and some of its generalizations. These transform…
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…
We prove a pair of transformation formulas for multivariate elliptic hypergeometric sum/integrals associated to the $A_n$ and $BC_n$ root systems, generalising the formulas previously obtained by Rains. The sum/integrals are expressed in terms of the lens elliptic gamma function, a generalisation of the elliptic gamma function that depends on an additional integer variable, as well as a complex variable and two elliptic nomes. As an application of our results, we prove an equality between $S^1\times S^3/\mathbb{Z}_r$ supersymmetric indices, for a pair of four-dimensional $\mathcal{N}=1$ supers…
We report a solution of the one-dimensional Schrodinger equation with a hyperbolic double-well confining potential via a transformation to the so-called confluent Heun equation. We discuss the requirements on the parameters of the system in which a reduction to Heun polynomials is possible, representing the wavefunctions of bound states.
The Schrödinger equation $ψ"(x)+κ^2 ψ(x)=0$ where $κ^2=k^2-V(x)$ is rewritten as a more popular form of a second order differential equation through taking a similarity transformation $ψ(z)=ϕ(z)u(z)$ with $z=z(x)$. The Schrödinger invariant $I_{S}(x)$ can be calculated directly by the Schwarzian derivative $\{z, x\}$ and the invariant $I(z)$ of the differential equation $u_{zz}+f(z)u_{z}+g(z)u=0$. We find an important relation for moving particle as $\nabla^2=-I_{S}(x)$ and thus explain the reason why the Schrödinger invariant $I_{S}(x)$ keeps constant. As an illustration, we take the typical …
The computational technique of $N$-fold Mellin-Barnes (MB) integrals, presented in a companion paper by the same authors, is used to derive sets of series representations of the massive one-loop conformal 3-point Feynman integral in various configurations. This shows the great simplicity and efficiency of the method in nonresonant cases (generic propagator powers) as well as some of its subtleties in the resonant ones (for unit propagator powers). We confirm certain results in the physics and mathematics literature and provide many new results, some of them dealing with the more general massiv…