Heun function

In mathematics, the local Heun function $H \ell (a,q;\alpha ,\beta, \gamma, \delta ; z)$ {{harvs|authorlink=Karl Heun|first=Karl L. W. |last=Heun|year=1889}} is the solution of Heun's differential equation that is holomorphic and 1 at the singular point z = 0. The local Heun function is called a Heun function, denoted Hf, if it is also regular at z = 1, and is called a Heun polynomial, denoted Hp, if it is regular at all three finite singular points z = 0, 1, a.

Heun's equation

Heun's equation is a second-order linear ordinary differential equation (ODE) of the form

: $\frac {d^2w}{dz^2} +
\left[\frac{\gamma}{z}+ \frac{\delta}{z-1} + \frac{\epsilon}{z-a} \right]
\frac {dw}{dz}
+ \frac {\alpha \beta z -q} {z(z-1)(z-a)} w = 0.$

The condition $\epsilon=\alpha+\beta-\gamma-\delta+1$ is taken so that the characteristic exponents for the regular singularity at infinity are α and β (see below).

The complex number q is called the accessory parameter. Heun's equation has four regular singular points: 0, 1, a and ∞ with exponents (0, 1 − γ), (0, 1 − δ), (0, 1 − ϵ), and (α, β). Every second-order linear ODE on the extended complex plane with at most four regular singular points, such as the Lamé equation or the hypergeometric differential equation, can be transformed into this equation by a change of variable.

Coalescence of various regular singularities of the Heun equation into irregular singularities give rise to several confluent forms of the equation, as shown in the table below.

class="wikitable" \|+Forms of the Heun Equation[https://dlmf.nist.gov/31.12 DLMF §31.12 Confluent Forms of Heun’s Equation]
Form	Singularities	Equation
General \| 0, 1, a, ∞ \| $\frac{d^2w}{dz^2} + \left[\frac{\gamma}{z}+ \frac{\delta}{z-1} + \frac{\epsilon}{z-a} \right] \frac{dw}{dz} + \frac{\alpha \beta z -q}{z(z-1)(z-a)} w = 0$
Confluent \| 0, 1, ∞ (irregular, rank 1) \| $\frac{d^2w}{dz^2} + \left[\frac{\gamma}{z}+ \frac{\delta}{z-1} + \epsilon \right] \frac{dw}{dz} + \frac{\alpha z -q}{z(z-1)} w = 0$
Doubly Confluent \| 0 (irregular, rank 1), ∞ (irregular, rank 1) \| $\frac{d^2w}{dz^2} + \left[\frac{\delta}{z^2}+ \frac{\gamma}{z} + 1 \right] \frac{dw}{dz} + \frac{\alpha z -q}{z^2} w = 0$
Biconfluent \| 0, ∞ (irregular, rank 2) \| $\frac{d^2w}{dz^2} - \left[\frac{\gamma}{z}+ \delta + z \right] \frac{dw}{dz} + \frac{\alpha z -q}{z} w = 0$
Triconfluent \| ∞ (irregular, rank 3) \| $\frac{d^2w}{dz^2} + \left(\gamma + z \right) z \frac{dw}{dz} + \left(\alpha z -q\right) w = 0$

class="wikitable"

|+Forms of the Heun Equation[https://dlmf.nist.gov/31.12 DLMF §31.12 Confluent Forms of Heun’s Equation]

Form

Singularities

Equation

General

| 0, 1, a, ∞

| $\frac{d^2w}{dz^2} + \left[\frac{\gamma}{z}+ \frac{\delta}{z-1} + \frac{\epsilon}{z-a} \right] \frac{dw}{dz} + \frac{\alpha \beta z -q}{z(z-1)(z-a)} w = 0$

Confluent

| 0, 1, ∞ (irregular, rank 1)

| $\frac{d^2w}{dz^2} + \left[\frac{\gamma}{z}+ \frac{\delta}{z-1} + \epsilon \right] \frac{dw}{dz} + \frac{\alpha z -q}{z(z-1)} w = 0$

Doubly Confluent

| 0 (irregular, rank 1), ∞ (irregular, rank 1)

| $\frac{d^2w}{dz^2} + \left[\frac{\delta}{z^2}+ \frac{\gamma}{z} + 1 \right] \frac{dw}{dz} + \frac{\alpha z -q}{z^2} w = 0$

Biconfluent

| 0, ∞ (irregular, rank 2)

| $\frac{d^2w}{dz^2} - \left[\frac{\gamma}{z}+ \delta + z \right] \frac{dw}{dz} + \frac{\alpha z -q}{z} w = 0$

Triconfluent

| ∞ (irregular, rank 3)

| $\frac{d^2w}{dz^2} + \left(\gamma + z \right) z \frac{dw}{dz} + \left(\alpha z -q\right) w = 0$

q-analog

The q-analog of Heun's equation has been discovered by {{harvs|txt|authorlink=Wolfgang Hahn|last=Hahn|year=1971}} and studied by {{harvtxt|Takemura|2017}}.

Symmetries

Heun's equation has a group of symmetries of order 192, isomorphic to the Coxeter group of the Coxeter diagram D₄, analogous to the 24 symmetries of the hypergeometric differential equations obtained by Kummer.

The symmetries fixing the local Heun function form a group of order 24 isomorphic to the symmetric group on 4 points, so there are 192/24 = 8 = 2 × 4 essentially different solutions given by acting on the local Heun function by these symmetries, which give solutions for each of the 2 exponents for each of the 4 singular points. The complete list of 192 symmetries was given by {{harvtxt|Maier|2007}} using machine calculation. Several previous attempts by various authors to list these by hand contained many errors and omissions; for example, most of the 48 local solutions listed by Heun contain serious errors.

References

A. Erdélyi, F. Oberhettinger, W. Magnus and F. Tricomi [http://apps.nrbook.com/bateman/Vol3.pdf Higher Transcendental functions vol. 3] (McGraw Hill, NY, 1953).
{{Citation | last1=Forsyth | first1=Andrew Russell | title=Theory of differential equations. 4. Ordinary linear equations | orig-year=1906 | publisher=Dover Publications | location=New York | mr=0123757 | year=1959|url=https://archive.org/details/theorydiffeq04forsrich|pages=158}}
{{citation|first=Karl |last=Heun |url=https://zenodo.org/record/1428220 |title= Zur Theorie der Riemann'schen Functionen zweiter Ordnung mit vier Verzweigungspunkten|journal= Mathematische Annalen |volume=33|issue=2 |page= 161 |year=1889 |doi=10.1007/bf01443849|s2cid=120008459 |url-access= |url-status= |archive-url= |archive-date= }}
{{Citation | last1=Maier | first1=Robert S. | title=The 192 solutions of the Heun equation | arxiv=math/0408317 | doi=10.1090/S0025-5718-06-01939-9 | mr=2291838 | year=2007 | journal=Mathematics of Computation | volume=76 | issue=258 | pages=811–843| bibcode=2007MaCom..76..811M | s2cid=749861 }}
{{Citation | editor1-last=Ronveaux | editor1-first=A. | title=Heun's differential equations | publisher=The Clarendon Press Oxford University Press | series=Oxford Science Publications | isbn=978-0-19-859695-0 | mr=1392976 | year=1995}}
{{dlmf|id=31|title=Heun functions|first=B. D.|last=Sleeman|first2=V. B. |last2=Kuznetzov}}
{{Citation | last1=Valent | first1=Galliano | title=Difference equations, special functions and orthogonal polynomials | arxiv=math-ph/0512006 | publisher=World Sci. Publ., Hackensack, NJ | doi=10.1142/9789812770752_0057 | mr=2451210 | year=2007 | chapter=Heun functions versus elliptic functions | pages=664–686| isbn=978-981-270-643-0 | s2cid=8520520 }}
Hahn W.(1971) On linear geometric difference equations with accessory parameters.Funkcial. Ekvac., 14, 73–78
{{Citation|last=Takemura|first= K. |year=2017|title=Degenerations of Ruijsenaars–van Diejen operator and q-Painlevé equations|journal=Journal of Integrable Systems|volume=2|issue=1|doi= 10.1093/integr/xyx008 |arxiv=1608.07265}}.

Category:Ordinary differential equations

Category:Special functions

Heun function

Heun's equation

q-analog

Symmetries

See also

References