HeunC - The Heun Confluent function
HeunCPrime - The derivative of the Heun Confluent function
|
Calling Sequence
|
|
HeunC(, , , , , z)
HeunCPrime(, , , , , z)
|
|
Parameters
|
|
|
-
|
algebraic expression
|
|
-
|
algebraic expression
|
|
-
|
algebraic expression
|
|
-
|
algebraic expression
|
|
-
|
algebraic expression
|
z
|
-
|
algebraic expression
|
|
|
|
|
Description
|
|
•
|
The HeunC function is the solution of the Heun Confluent equation. Following the first reference (at the end), the equation and the conditions at the origin satisfied by HeunC are
|
>
|
FunctionAdvisor(definition, HeunC);
|
| (1) |
>
|
DEtools[hyperode]( hypergeom([a,b],[c],z), y(z) ) = 0;
|
| (2) |
|
can then be expressed in terms of HeunC functions
|
| (3) |
|
and the same for the 1F1 hypergeometric confluent equation
|
>
|
DEtools[hyperode]( hypergeom([a],[c],z), y(z) ) = 0;
|
| (4) |
| (5) |
|
HeunC, thus, contains as particular cases all the hypergeometric functions of the 2F1 and 1F1 classes - some of these specializations are listed at the end of the Examples section.
|
•
|
Two other important non-hypergeometric case of Heun's Confluent equation, are the "spheroidal wave function" equation
|
>
|
diff(y(z),z,z) + 2*(gamma+1)*z*diff(y(z),z)/(z^2-1) + (4*delta*z^2-c)/(z^2-1)*y(z) = 0;
|
| (6) |
|
and the rational form of Mathieu's equation,
|
>
|
diff(y(z),z,z) + z/(z^2-1)*diff(y(z),z) + (2*delta*(2*z^2-1)-a)/(z^2-1)*y(z) = 0;
|
| (7) |
|
obtained from the spheroidal wave function equation above by taking and further specializing .
|
•
|
The HeunC(,,,,, z) function is a local (Frobenius) solution to Heun's Confluent equation, computed as a power series expansion around the origin, a regular singular point. The series converges for , where the second regular singularity is located. An analytic continuation of HeunC is obtained through identities, relating the values of the function in different regions of the plane, for given values of the other parameters, or by expanding the solution around 1, the other regular singularity, and overlapping the series. General formulas relating these series expansions at different singularities and for arbitrary values of the other parameters, however, are not known at present.
|
|
|
Examples
|
|
Heun's Confluent equation,
>
|
|
| (8) |
can be transformed into another version of itself, that is, an equation with two regular singularities and one irregular singularity respectively located at , through transformations of the form
>
|
|
| (9) |
where , and . Under this transformation, the HeunC parameters transform according to -> , -> and -> . These transformations form a group of eight elements and imply on a number of identities, among which you have
>
|
|
| (10) |
Changing -> also results in a HeunC equation with the singularities located at ; this permits rewriting the solution to the CHE in different manners. For example, the general solution returned by default by dsolve is
>
|
|
| (11) |
When is an integer, however, these two "independent" solutions are not independent, yet a second pair of independent solutions can be constructed exploring this invariance in form under ->
>
|
|
| (12) |
For different from 1, the 2F1 and the confluent 1F1 hypergeometric functions are related to HeunC by
>
|
|
| (13) |
When , with a positive integer, the th + 1 coefficient in the series expansion is a polynomial in of order . If is a root of that polynomial, that coefficient is zero and with it all the following ones; the series then truncates and HeunC is a polynomial. For example, the necessary condition for a polynomial form is
>
|
|
| (14) |
Considering the first non-trivial case, for , the function is
>
|
|
| (15) |
So the coefficient of in the series expansion is
>
|
|
| (16) |
>
|
|
| (17) |
solving for , requesting from solve to return using RootOf, you have
>
|
|
| (18) |
>
|
|
| (19) |
substituting in we have
>
|
|
| (20) |
When the function admits a polynomial form, as is the case of by construction, to obtain the actual polynomial of degree (in this case ) use
>
|
|
| (21) |
|
|
References
|
|
|
Decarreau, A.; Dumont-Lepage, 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. 92 I-II, (1978): 53-78.
|
|
Ronveaux, A. ed. Heun's Differential Equations. Oxford University Press, 1995.
|
|
Slavyanov, S.Y., and Lay, W. Special Functions, A Unified Theory Based on Singularities. Oxford Mathematical Monographs, 2000.
|
|
|