The five Second Order Linear Heun equations and the corresponding Heun function solutions

Description



The five multiparameter Heun equations have been popping up with surprising frequency in applications during the last 15 years. Heun equations include as particular cases the Lame, Mathieu, spheroidal wave, hypergeometric, and with them most of the known equations of mathematical physics.


Five Heun functions are defined as the solutions to each of these five Heun equations, computed as power series solutions around the origin satisfying prescribed initial conditions.



Examples



The five Heun equations and their singularities


>


 (1) 
>


>


 (2) 
>


 (3) 

The solution to this equation is implemented in Maple as the HeunG function. The sum of the exponents of the singularities of Heun's equation is equal to two and the parameter is expressed in terms of the other ones by

>


 (4) 

The other four Heun equations are confluent cases, obtained from the general Heun equation above through confluence processes. These are: the Heun Confluent equation

>


 (5) 
>


 (6) 

having for solution the HeunC function; the Biconfluent equation

>


 (7) 
>


 (8) 

having for solution the HeunB function; the Doubleconfluent equation

>


 (9) 
>


 (10) 

having for solution the HeunD function, and the Triconfluent equation

>


 (11) 
>


 (12) 

having for solution the HeunT function.


The standard form of the four confluent equations is not uniform in the literature. The Maple choice of standard form follows [1], the classic reference for these equations, except for one particular: for the Doubleconfluent equation (DHE above) (and so the definition of HeunD) Maple uses the socalled Jaffe form, see [3], so that the two irregular singular points are symmetrically located at and .


The confluence process and the confluent Heun equation



To illustrate the confluence process leading to the four confluent Heun equations, the CHE is obtained from the general equation as follows.


Redefine the parameters entering the GHE using

>


 (13) 
>


 (14) 
>


 (15) 

Evaluating this limit, the singularity at "coalesces" with the one at resulting in

>


 (16) 

Rearranging the terms you get the CHE

>


 (17) 

Since the two singularities being coalesced are regular, the resulting single singularity at will be irregular (this is typical; there are exceptions though)

>


 (18) 



The five Heun functions



The Heun functions, HeunG, HeunC, HeunB, HeunD and HeunT, are defined as the solutions to the corresponding General, Confluent, Biconfluent, Doubleconfluent and Triconfluent Heun equations. These solutions are constructed as power series solutions around the origin, for certain initial conditions. The five equations and the initial conditions used to define the corresponding five Heun functions can be seen through the FunctionAdvisor

>


 (19) 
>


 (20) 
>


 (21) 
>


 (22) 
>


 (23) 

The power series solutions at the base of the functions' definitions have restricted radius of convergence in the HeunG, HeunC and HeunD cases, where the numerical evaluation is done using analytic extensions, exploring closed form identities satisfied by these functions, as well as series expansions around different singularities. For arbitrary values of the parameters, however, closed form formulas for the connection constants relating series expansions around different singularities, are not known.


As an example of the use of identities, for HeunD,

>


 (24) 

Hence, the evaluation of the function in the complex plane outside the unit circle is performed by mapping the problem into that of evaluating the function inside that circle. A similar situation is described in the help page for HeunG.


Remark: The coefficients entering the series expansions represented by the Heun functions satisfy three term recurrence relations. A solution to these recursion equations is not known in the general case, so a closed form for the series's coefficients is not available and the computation of  say  the th coefficient requires the explicit computation of all the previous ones.




Some important facts about Heun functions


•

They are more general than the rest of the functions of the mathematical language in that they contain most of them as particular cases. Consequently, the Heun equations cannot have their solution expressed (but as infinite sum power series) without using the corresponding Heun functions.

•

The Heun functions have a rich structure and so satisfy a rather large number of identities.

•

Because they have such a rich structure and include as particular so many functions, including the Mathieu, Lame, Spheroidal Wave and hypergeometric 2F1, 1F1 and 0F1 functions, the interrelations between them and the Heun ones are a source of many nontrivial identities between the former.

•

Due to the enlarged structure of singularities (if compared for instance with hypergeometric functions) the Heun functions are increasingly appearing in the modeling of different types of problems in applied mathematics.



References



[1] Decarreau, A.; DumontLepage, M.C.; Maroni, P.; Robert, A.; and Ronveaux, A. "Formes Canoniques de Equations confluentes de l'equation de Heun." Annales de la Societe Scientifique de Bruxelles, Vol. III. (1978): 5378.


[2] Ronveaux, A., ed. Heun's Differential Equations. Oxford, England: Oxford University Press, 1995.


[3] Slavyanov, S.Y., and Lay W. Special Functions, A Unified Theory Based on Singularities. Oxford, England: Oxford Mathematical Monographs, 2000.


