Abstract

We examine the expansions of the solutions of the general Heun equation in terms of the Gauss hypergeometric functions. We present several expansions using functions, the forms of which differ from those applied before. In general, the coefficients of the expansions obey three-term recurrence relations. However, there exist certain choices of the parameters for which the recurrence relations become two-term. The coefficients of the expansions are then explicitly expressed in terms of the gamma functions. Discussing the termination of the presented series, we show that the finite-sum solutions of the general Heun equation in terms of generally irreducible hypergeometric functions have a representation through a single generalized hypergeometric function. Consequently, the power-series expansion of the Heun function for any such case is governed by a two-term recurrence relation.

1. Introduction

The general Heun equation [13], which is the most general second-order linear ordinary differential equation having four regular singular points, is currently widely encountered in physics and mathematics research (see, e.g., [114] and references therein). However, this equation is much less studied than its immediate predecessor, the Gauss hypergeometric equation, which is the most general equation having three regular singular points. A reason for the slow progress in the development of the theory is that the solutions of the Heun equation (as well as its four confluent reductions) in general are not expressed in terms of definite or contour integrals involving simpler functions [2, 3]. Furthermore, the convergence regions of power-series expansions near different singularities are rather restricted and several complications arise in studying the relevant connection problems [2, 3, 15]. Another general problematic point is that the power-series solutions of the Heun equation are governed by three-term recurrence relations between successive coefficients of expansions [13], instead of two-term ones appearing in the hypergeometric case [1618]. As a result, in general the coefficients are not determined explicitly.

In the present paper, we show that there exist some particular choices of the involved parameters for which the recurrence relations governing the power-series expansions become two-term. In these cases the solution of the general Heun equation can be written either as a linear combination of a finite number of the Gauss hypergeometric functions or in terms of a single generalized hypergeometric function. This is a main result of the present paper.

Another major result we report here is that in the case of the expansions of the solutions of the Heun equation in terms of hypergeometric functions there also exist particular choices of the involved parameters for which the governing three-term recurrence relations for expansion coefficients become two-term. In these cases the coefficients are explicitly written in terms of the gamma functions.

Expansions of the solutions of the Heun equation in terms of the Gauss hypergeometric functions , initiated by Svartholm [19], suggest a notable extension of the series technique. This is a useful approach applicable to many differential equations including those of more general type whose nature, outside a certain region of the extended complex plane containing only two regular singular points, is not necessary to be specified exactly. Expansions involving functions other than powers have been applied to the general and confluent Heun equations by many authors. The ordinary hypergeometric [1925], confluent hypergeometric [2629], Coulomb wave functions [30, 31], Bessel and Hankel functions [32], incomplete Beta and Gamma functions [3335], Hermite functions [36, 37], Goursat and Appell generalized hypergeometric functions of two variables of the first kind [38, 39], and other known special functions have been used as expansion functions. A useful property suggested by these expansions is the possibility of deriving finite-sum solutions by means of termination of the series.

As far as the expansions of the general Heun equation in terms of the hypergeometric functions are concerned, in the early papers by Svartholm [19], Erdélyi [20, 21], and Schmidt [22], the intuitive intention was to apply hypergeometric functions with parameters so chosen as to match the Heun equation as closely as possible. For this reason they used functions of the form , which have matching behavior in two singular points, and . These functions have the following Riemann -symbol representation:Here and may adopt several values provided (see [25]). It is clear that the functions have matching characteristic exponents at and , and their behavior does not match that of the Heun function at the third singular point of the hypergeometric equation .

However, it has been shown that one can also use functions that have matching behavior at only one singular point [38]. Exploring this idea, in the present paper we discuss the hypergeometric expansions of the solutions of the Heun equation in terms of functions of the form which have matching behavior (i.e., characteristic exponents) only at the singular point . These functions are presented by the Riemann -symbolwhere , and the parameters , are chosen so that the Fuchsian condition for the general Heun equation (3), i.e., , is fulfilled: . Note that these functions differ also from the Jacobi-polynomials used by Kalnins and Miller whose functions can be written in terms of hypergeometric functions of the form [23].

In the present paper we discuss several expansions in terms of the mentioned hypergeometric functions. In general, the coefficients of the expansions obey three-term recurrence relations similar to those known from previous developments [1925]. However, for certain choices of the involved parameters the recurrence relations reduce to two-term ones. In these exceptional cases the coefficients of the expansions are explicitly calculated. The result is expressed in terms of the gamma functions.

Discussing the conditions for deriving finite-sum solutions by means of termination of the presented series, we show that the termination is possible if a singularity of the Heun equation is an apparent one. Furthermore, we show that any finite-sum solution of the general Heun equation derived in this way has a representation through a single generalized hypergeometric function . The general conclusion is then that in any such case the power-series expansion of the Heun function is governed by a two-term recurrence relation (obviously, this is the relation obeyed by the corresponding power-series for ).

2. Hypergeometric Expansions

The general Heun equation written in its canonical form is [1]where the parameters satisfy the Fuchsian relation . We introduce an expansion of this equation’s solution of the formwith the involved Gauss hypergeometric functions obeying the equationSubstitution of (4)-(5) into (3) givesNow, using the following relations between the involved hypergeometric functions [1618]:where and , this equation is rewritten asfrom which we get a three-term recurrence relation for the coefficients of the expansion (4)withFrom the initial conditions and we get . Since is forbidden (it causes division by zero at in ) we obtain that the only possibility is . Hence, the expansion finally readsand the coefficients of the three-term recurrence relation (11) areThe expansion applies if , and are not zero or negative integers. The restrictions on and assure that the hypergeometric functions are not polynomials of fixed degree.

The derived expansion terminates if two successive coefficients vanish. If is the last nonzero coefficient and for some , we obtain from (11) that it should be so that the termination is possible ifNote that the equation results in a polynomial equation of degree for the accessory parameter . This equation is convenient for rewriting the recurrence relation (11) in the following matrix form:The vanishing of the determinant of the above matrix gives the polynomial equation for defining in general values for which the termination occurs.

One may consider a mirror expansionwhich differs from expansion (4) only by the sign of in the lower parameter of the involved hypergeometric functions. This change of the sign leads to a three-term recurrence relation (11) with the coefficientswhereThis expansion applies if and are not zero or negative integers and is not an integer.

In order for the series to terminate at some we put so that this time we derivefor the expansions with or or , respectively. Then the equation again gives a -degree polynomial equation for those values of the accessory parameter for which the termination occurs.

3. Finite-Sum Hypergeometric Solutions

It is readily shown that the finite-sum solutions derived from the above two types of expansions by the described termination procedure coincide, as can be expected because of apparent symmetry. For example, consider the expansion (15) in the case . The involved hypergeometric functions have the form . Since , we see that the set of the involved hypergeometric functions is exactly the same as in the case of the second type expansion (21) with , . Furthermore, examination of (20) shows that the equation for the accessory parameter and the expansion coefficients are also the same for the two expansions. The same happens to other two cases: and . Thus, while different in general, the expansions (15)-(18) and (21)-(25) lead to the same finite-sum closed-form solutions.

Consider the explicit forms of these solutions examining, for definiteness, the expansion (15)-(18). An immediate observation is that because of the symmetry of the Heun equation with respect to the interchange the finite-sum solutions produced by the choices and are of the same form. Furthermore, by applying the formula [16]to the involved hypergeometric functions or we see that the sum is a quasi-polynomial, namely, a product of and a polynomial in . Here are the first two of the solutions:

Note that, since is a characteristic exponent of the Heun equation, the transformation results in another Heun equation for . Hence, the derived finite-sum solutions corresponding to the choices and are generated from the polynomial solutions of the equation for .

More interesting is the case , when the finite-sum solutions involve hypergeometric functions irreducible, in general, to simpler functions. The case produces the trivial result , when the Heun equation is degenerated into the hypergeometric equation with the solution . The solution for the first nontrivial case readswhere is a root of the equationNote that the second term in (31) vanishes if so that in this degenerate case the solution involves one, not , terms. It is seen from (32) that this situation is necessarily the case if , and or equals . We will see that the solution in this case is a member of a family of specific solutions for which the expansion is governed by two-term recurrence relations for the coefficients.

The solutions (31) and (32) have been noticed on several occasions [4044]. It has been shown that, for , when the characteristic exponents of are so that they differ by an integer, (32) provides the condition for the singularity to be apparent (or “simple”); that is, no logarithmic terms are involved in the local Frobenius series expansion [4042]. In fact, the Frobenius solution in this case degenerates to a Taylor series. It has further been observed that the solution (31) can be expressed in terms of the Clausen generalized hypergeometric function with an upper parameter exceeding a lower one by unity [4042]:where the parameter is given asNote that using this parameter the solution of (32) is parameterized as [41]We will now show that a similar generalized hypergeometric representation holds also for and for all , .

4. The Case ,

For the termination equation for the accessory parameter is written asThe solution of the Heun equation for a root of this equation is given aswithIt is now checked that this solution is presented by the hypergeometric function as [42]where and the parameters , solve the equations (compare with (35))It is further checked that this system of equations admits a unique solution , (up to the transposition ).

The presented result is derived in a simple way by substituting the ansatz (39) into the general Heun equation and expanding the result in powers of . The equations resulting in cancelling the first three terms proportional to , , and are that given by (40), (41), and (36), respectively. It is then shown that these three equations are enough for the Heun equation to be satisfied identically.

A further remark is that (36) presents the condition for the singularity to be apparent for . This is straightforwardly verified by checking the power-series solution with for the neighborhood of the point . In calculating a division by zero will occur, unless satisfies (36), in which case the equation for will be identically satisfied.

It can be checked that generalized hypergeometric representations are achieved also for [42]. The conjecture is that for any negative integer , there exists a generalized hypergeometric solution of the Heun equation given by the ansatzprovided the singularity at is an apparent one. For the latter condition to be the case, the accessory parameter should satisfy a -degree polynomial equation which forces the above expansions (15)-(18) and (21)-(25) to terminate at th term. Note that (42) applies also for , that is, for , for which the Heun function degenerates to the Gauss hypergeometric function provided .

Finally, we note that by the elementary power change a Heun equation with a positive exponent parameter is transformed into the one with a negative parameter . Hence, it is understood that a similar generalized hypergeometric representation of the solution of the Heun equation can also be constructed for positive integer , . Thus, the only exception is the case .

It is a basic knowledge that the generalized hypergeometric function is given by a power-series with coefficients obeying a two-term recurrence relation. Since any finite-sum solution of the general Heun equation derived via termination of a hypergeometric series expansion has a representation through a single generalized hypergeometric function , the general conclusion is that in each such case the power-series expansion of the Heun function is governed by a two-term recurrence relation (obviously, by the relation obeyed by the corresponding power-series for ).

5. Hypergeometric Expansions with Two-Term Recurrence Relations for the Coefficients

In this section we explore if the three-term recurrence relations governing the above-presented hypergeometric expansions can be reduced to two-term ones. We will see that the answer is positive. Two-term reductions are achieved for an infinite set of particular choices of the involved parameters.

First, we mention a straightforward case which actually turns to be rather simple because in this case the Heun equation is transformed into the Gauss hypergeometric equation by a variable change. This is the case ifwhen the coefficient in (11) identically vanishes so that the recurrence relation between the expansion coefficients straightforwardly becomes two-term for both expansions (15)-(18) and (21)-(25). The coefficients of the expansions are then explicitly calculated. For instance, expansion (15) is written aswhere denotes the Pochhammer symbol. The values , and , and can then be written in terms of generalized hypergeometric series [17, 18]. For instance,

However, as it was already mentioned above, the case (43) is a rather simple one because the transformationreduces the Heun equation to the Gauss hypergeometric equation for the new function . The solution of the general Heun equation is then explicitly written as

Now, we will show that there exist nontrivial cases of two-term reductions of the three-term recurrence (11) with (16)-(18) or (22)-(24). These reductions are achieved by the following ansatz guessed by examination of the structure of solutions (33) and (39):where, having in mind the coefficients , , and given by (16)-(18), we putwith parameters to be defined later. Note that this ansatz implies that are not zero or negative integers.

The ratio is explicitly written asWith this, the recurrence relation (11) is rewritten asSubstituting and from (16) and (18) and cancelling the common denominator, this equation becomesThis is a polynomial equation in . Notably, it is of degree , not , because the highest-degree term proportional to identically vanishes. Hence, we have an equation of the formThen, equating to zero the coefficients warrants the satisfaction of the three-term recurrence relation (11) for all . We thus have equations , , of which equations serve for determination of the parameters and the remaining two impose restrictions on the parameters of the Heun equation.

One of these restrictions is derived by calculating the coefficient of the term proportional to which is readily shown to be . Hence,The second restriction imposed on the parameters of the Heun equation is checked to be a polynomial equation of the degree for the accessory parameter .

With the help of the Fuchsian condition , we haveso that the two-term recurrence relation (51) can be rewritten as ()Note that it follows from this relation, since , , and are not zero or negative integers, that may vanish only if is a positive integer such that or is a positive integer such that .

Resolving the recurrence (51), the coefficients of expansion (15)-(18) are explicitly written in terms of the gamma functions as

Here are the explicit solutions of the recurrence relation (11) for and .These results are readily checked by direct verification of the recurrence relation (11) with coefficients (16)-(18). We conclude by noting that similar explicit solutions can be straightforwardly derived for the expansion (21)-(25) as well.

6. Discussion

Thus, we have presented an expansion of the solutions of the Heun equation in terms of hypergeometric functions having the form with and expansions in terms of functions with . For any set of parameters of the Heun equation provided that , are not all simultaneously integers at least one of these expansions can be applied. Obviously, the expansions are meaningless if since then the involved hypergeometric functions are mere constants and for the solution the summation produces the trivial result .

The applied technique is readily extended to the four confluent Heun equations. For instance, the solutions of the single- and double-confluent Heun equations using the Kummer confluent hypergeometric functions of the forms , , and are straightforward. By slight modification, equations of more general type, e.g., of the type discussed by Schmidt [22], can also be considered. In all these cases the termination of the series results in closed-form solutions appreciated in many applications. A representative example is the determination of the exact complete return spectrum of a quantum two-state system excited by a laser pulse of Lorentzian shape and of a double level-crossing frequency detuning [45]. A large set of recent applications of the finite-sum expansions of the biconfluent Heun equation in terms of the Hermite functions to the Schrödinger equation is listed in [37] and references therein.

Regarding the closed-form solutions produced by the presented expansions, this happens in three cases: , , , . In each case the general Heun equation admits finite-sum solutions in general at choices of the accessory parameter defined by a polynomial equation of the order of . The last two choices for result in quasi-polynomial solutions, while, in the first case, when is a negative integer, the solutions involve hypergeometric functions generally irreducible to simpler functions. Discussing the termination of this series, we have shown that this is possible if a singularity of the Heun equation is an apparent one. We have further shown that the corresponding finite-sum solution of the general Heun equation has a representation through a single generalized hypergeometric function. The general conclusion suggested by this result is that in any such case the power-series expansion of the Heun function is governed by the two-term recurrence relation obeyed by the power-series for the corresponding generalized hypergeometric function .

There are many examples of application of finite-sum solutions of the Heun equation both in physics and mathematics [4656], for instance, the solution of a class of free boundary problems occurring in groundwater flow in liquid mechanics and the removal of false singular points of Fuchsian ordinary differential equations in applied mathematics [43]. Another example is the derivation of the third independent exactly solvable hypergeometric potential, after the Eckart and the Pöschl-Teller potentials, which is proportional to an energy-independent parameter and has a shape that is independent of this parameter [44]. Some other recent examples can be found in references listed in [14].

Finally, we have shown that there exist infinitely many choices of the involved parameters for which the three-term recurrence relations governing the hypergeometric expansions of the solutions of the general Heun equation are reduced to two-term ones. The coefficients of the expansions are then explicitly expressed in terms of the gamma functions. We have explicitly presented two such cases.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This research has been conducted within the scope of the International Associated Laboratory IRMAS (CNRS-France & SCS-Armenia). The work has been supported by the Russian-Armenian (Slavonic) University at the expense of the Ministry of Education and Science of the Russian Federation, the Armenian State Committee of Science (SCS Grant no. 18RF-139), the Armenian National Science and Education Fund (ANSEF Grant no. PS-4986), and the project “Leading Russian Research Universities” (Grant no. FTI_24_2016 of the Tomsk Polytechnic University). T. A. Ishkhanyan acknowledges the support from SPIE through a 2017 Optics and Photonics Education Scholarship and thanks the French Embassy in Armenia for a doctoral grant as well as the Agence Universitaire de la Francophonie and Armenian State Committee of Science for a Scientific Mobility grant.