数学において、局所ホイン関数[ 1 ]は、ホインの微分方程式の解で、正則かつ特異点z = 0 で 1 となるものである。局所ホイン関数は、 z = 1 でも正則な場合は Hf と表記されるホイン関数と呼ばれ、3 つの有限特異点z = 0, 1, aすべてで正則な場合は Hpと表記されるホイン多項式 と呼ばれる。 
ホウン方程式
ホイン方程式は、次の形式の 2階線形常微分方程式である。
![{\displaystyle {\frac {d^{2}w}{dz^{2}}}+\left[{\frac {\gamma }{z}}+{\frac {\delta }{z-1}}+{\frac {\epsilon }{za}}\right]{\frac {dw}{dz}}+{\frac {\alpha \beta zq}{z(z-1)(za)}}w=0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
この条件は、無限遠における正規特異点の特性指数が α と β となるように取られます (以下を参照)。 
複素数qは補助パラメータと呼ばれる。ホイン方程式には、指数 (0, 1 − γ )、(0, 1 − δ)、(0, 1 − ϵ)、(α, β) を持つ 0, 1, a, ∞ の 4 つの正則特異点がある。ラメ方程式や超幾何微分方程式など、最大 4 つの正則特異点を持つ拡張複素平面上のすべての2階線形常微分方程式は、変数変換によってこの方程式に変換できる。
ホイン方程式のさまざまな正規特異点が不規則特異点に合体すると、以下の表に示すように、方程式のいくつかの合流形式が生じます。
ホイン方程式の形式[ 2 ]| 形状 | 特異点 | 方程式 |
|---|
| 一般的な | 0, 1, a , ∞ | ![{\displaystyle {\frac {d^{2}w}{dz^{2}}}+\left[{\frac {\gamma }{z}}+{\frac {\delta }{z-1}}+{\frac {\epsilon }{za}}\right]{\frac {dw}{dz}}+{\frac {\alpha \beta zq}{z(z-1)(za)}}w=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
| 合流 | 0, 1, ∞(不規則、ランク1) | ![{\displaystyle {\frac {d^{2}w}{dz^{2}}}+\left[{\frac {\gamma }{z}}+{\frac {\delta }{z-1}}+\epsilon \right]{\frac {dw}{dz}}+{\frac {\alpha zq}{z(z-1)}}w=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
| 二重合流 | 0(不規則、ランク1)、∞(不規則、ランク1) | ![{\displaystyle {\frac {d^{2}w}{dz^{2}}}+\left[{\frac {\delta }{z^{2}}}+{\frac {\gamma }{z}}+1\right]{\frac {dw}{dz}}+{\frac {\alpha zq}{z^{2}}}w=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
| 二合流性 | 0、∞(不規則、ランク2) | ![{\displaystyle {\frac {d^{2}w}{dz^{2}}}-\left[{\frac {\gamma }{z}}+\delta +z\right]{\frac {dw}{dz}}+{\frac {\alpha zq}{z}}w=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
| 三合流 | ∞(不規則、ランク3) |  |
qアナログ
ホイン方程式のq類似体はハーン(1971)[3]によって発見され、2017年 に竹村によって研究された。[ 4 ]
対称性
ホイン方程式は、コクセター図D 4のコクセター群と同型な、順序 192 の対称性群を持ち、これはクンマーによって得られた超幾何微分方程式の 24 の対称性と類似しています。
局所ホイン関数を固定する対称性は、4点上の対称群と同型な位数24の群を形成するため、これらの対称性を局所ホイン関数に作用させることで得られる本質的に異なる解は192/24 = 8 = 2 × 4個存在し、4つの特異点それぞれについて2つの指数それぞれに対する解を与える。192個の対称性の完全なリストは、Maier (2007) [ 5 ]によって機械計算によって与えられた。これまで様々な著者が手作業でこれらをリストアップしようと試みたが、多くの誤りや欠落があった。例えば、ホインがリストアップした48個の局所解のほとんどには重大な誤りが含まれている。 harvtxt error: no target: CITEREFMaier2007 (help)
参照
参考文献