ホイン函数
数学 の分野における局所ホイン函数 （ホインかんすう、英 : Heun function ）H ℓ(a , q ; α , β , γ , δ ; z ) とは、正則かつ特異点 z = 0 において 1 となるような、ホインの微分方程式 （Heun's differential equation）の解である(Karl L. W. Heun 1889 ) 。局所ホイン函数は z = 1 でも正則であるならホイン函数 と呼ばれ、Hf と表される。また、すべての三つの有限特異点 z = 0, 1, a において正則であるなら、局所ホイン函数はホイン多項式 （Heun polynomial）と呼ばれ、Hp と表される。
ホインの方程式は、次の形状の二階線型 常微分方程式 である。
d
2
w
d
z
2
+
[
γ γ -->
z
+
δ δ -->
z
− − -->
1
+
ϵ ϵ -->
z
− − -->
a
]
d
w
d
z
+
α α -->
β β -->
z
− − -->
q
z
(
z
− − -->
1
)
(
z
− − -->
a
)
w
=
0.
{\displaystyle {\frac {d^{2}w}{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.}
条件
ϵ ϵ -->
=
α α -->
+
β β -->
− − -->
γ γ -->
− − -->
δ δ -->
+
1
{\displaystyle \epsilon =\alpha +\beta -\gamma -\delta +1}
複素数 q はアクセサリーパラメータ （accessory parameter）と呼ばれる。ホインの方程式には四つの確定特異点 （英語版 ） a および ∞ と、指数 (0, 1 − γ ), (0, 1 − δ ), (0, 1 − ϵ ) および (α , β ) が存在する。拡張複素平面 上のすべての二階線型常微分方程式で、高々四つの確定特異点を持つもの、たとえばラメ函数 や超幾何微分方程式 などは、変数変換によってこの方程式に変換することが出来る。
ホインの方程式は、位数 192 の対称性の群を持ち、それらはコクセター図形 （英語版 ） D 4 のコクセター群 と同型で、クンマーによって得られた超幾何微分方程式 の 24 の対称性と類似のものである。局所ホイン函数を固定する対称性は、4 つの点の上で対称群 と同型となる位数 24 の群を形成する。したがって、それらの対称性によって局所ホイン函数の上を動くことで得られる 192/24 = 8 = 2 × 4 個の本質的に異なる解が存在し、それらは各 4 つの特異点に対する各 2 つの指数について得られる。192 個の対称性の完全なリストは、機械計算によって Maier (2007) で与えられた。それ以前の手計算による様々な研究者によるリスト完成への試みは、多くの誤りや見落としを含むものであった。例えば、ホインによってリスト化された 48 の局所解のほとんどに、深刻な誤りが含まれていた。
A. Erdélyi, F. Oberhettinger, W. Magnus and F. Tricomi Higher Transcendental functions vol. 3 (McGraw Hill, NY, 1953).
Forsyth, Andrew Russell (1959) [1906], Theory of differential equations. 4. Ordinary linear equations Dover Publications , pp. 158, MR 0123757 , https://archive.org/details/theorydiffeq04forsrich Heun, Karl (1889), “Zur Theorie der Riemann'schen Functionen zweiter Ordnung mit vier Verzweigungspunkten” , Mathematische Annalen 33 : 161, http://www.digizeitschriften.de/resolveppn/GDZPPN00225140X Maier, Robert S. (2007), “The 192 solutions of the Heun equation”, Mathematics of Computation 76 (258): 811–843, arXiv :math/0408317 , doi :10.1090/S0025-5718-06-01939-9 , MR 2291838 Ronveaux, A., ed. (1995), Heun's differential equations , Oxford Science Publications, The Clarendon Press Oxford University Press, ISBN 978-0-19-859695-0 , MR 1392976 Sleeman, B. D.; Kuznetzov, V. B. (2010), “Heun functions” , in Olver, Frank W. J. ; Lozier, Daniel M.; Boisvert, Ronald F. et al., NIST Handbook of Mathematical Functions ISBN 978-0521192255 , http://dlmf.nist.gov/31 Valent, Galliano (2007), “Heun functions versus elliptic functions”, Difference equations, special functions and orthogonal polynomials , World Sci. Publ., Hackensack, NJ, pp. 664–686, arXiv :math-ph/0512006 , doi :10.1142/9789812770752_0057 , MR 2451210
![{\displaystyle {\frac {d^{2}w}{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.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/67a0b10a0c9676e965486e9615ad58c9be85f22e)
