HOME

TheInfoList



OR:

In mathematics, the local Heun function H \ell (a,q;\alpha ,\beta, \gamma, \delta ; z) 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 Linearity is the property of a mathematical relationship ('' function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear ...
ordinary differential equation In mathematics, an ordinary differential equation (ODE) is a differential equation whose unknown(s) consists of one (or more) function(s) of one variable and involves the derivatives of those functions. The term ''ordinary'' is used in contrast ...
(ODE) of the form :\frac + \left frac+ \frac + \frac \right \frac + \frac 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 point In mathematics, in the theory of ordinary differential equations in the complex plane \Complex, the points of \Complex are classified into ''ordinary points'', at which the equation's coefficients are analytic functions, and ''singular points'', at ...
s: 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 Lamé may refer to: *Lamé (fabric), a clothing fabric with metallic strands *Lamé (fencing), a jacket used for detecting hits * Lamé (crater) on the Moon * Ngeté-Herdé language, also known as Lamé, spoken in Chad *Peve language, also known ...
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. :


q-analog

The
q-analog In mathematics, a ''q''-analog of a theorem, identity or expression is a generalization involving a new parameter ''q'' that returns the original theorem, identity or expression in the limit as . Typically, mathematicians are interested in ''q' ...
of Heun's equation has been discovered by and studied by .


Symmetries

Heun's equation has a group of symmetries of order 192, isomorphic to the
Coxeter group In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean refle ...
of the
Coxeter diagram Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington t ...
''D''4, 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 In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite 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 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.


See also

*
Heine–Stieltjes polynomials In mathematics, the Heine–Stieltjes polynomials or Stieltjes polynomials, introduced by , are polynomial solutions of a second-order Fuchsian equation, a differential equation all of whose singularities are regular singularity, regular. The Fuc ...
, a generalization of Heun polynomials.


References

* A. Erdélyi, F. Oberhettinger, W. Magnus and F. Tricom
Higher Transcendental functions vol. 3
(McGraw Hill, NY, 1953). * * * * * * *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. Ordinary differential equations Special functions