Heun関数

数学において、局所ホイン関数[ 1 ]は、ホインの微分方程式の解で、正則かつ特異点z  = 0 で 1 となるものである。局所ホイン関数は z = 1 でも正則な場合は Hf と表記されるホイン関数と呼ばれ、3 つの有限特異点z  = 0, 1,  aすべてで正則な場合は Hpと表記されるホイン多項式 と呼ばれる。 H1つのq;αβγδ;z{\displaystyle H\ell (a,q;\alpha ,\beta ,\gamma ,\delta ;z)}

ホウン方程式

ホイン方程式は、次の形式の 2階線形常微分方程式である。

d2wdz2+[γz+δz1+ϵza]dwdz+αβzqz(z1)(za)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は補助パラメータと呼ばれる。ホイン方程式には、指数 (0, 1  γ )、(0, 1 − δ)、(0, 1 − ϵ)、(α, β) を持つ 0, 1, a, ∞ の 4 つの正則特異点がある。ラメ方程式や超幾何微分方程式など、最大 4 つの正則特異点を持つ拡張複素平面上のすべての2階線形常微分方程式は、変数変換によってこの方程式に変換できる。

ホイン方程式のさまざまな正規特異点が不規則特異点に合体すると、以下の表に示すように、方程式のいくつかの合流形式が生じます。

ホイン方程式の形式[ 2 ]
形状特異点方程式
一般的な 0, 1, a , ∞ d2wdz2+[γz+δz1+ϵza]dwdz+αβzqz(z1)(za)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}
合流 0, 1, ∞(不規則、ランク1) d2wdz2+[γz+δz1+ϵ]dwdz+αzqz(z1)w=0{\displaystyle {\frac {d^{2}w}{dz^{2}}}+\left[{\frac {\gamma }{z}}+{\frac {\delta }{z-1}}+\epsilon \right]{\frac {dw}{dz}}+{\frac {\alpha z-q}{z(z-1)}}w=0}
二重合流 0(不規則、ランク1)、∞(不規則、ランク1) d2wdz2+[δz2+γz+1]dwdz+αzqz2w=0{\displaystyle {\frac {d^{2}w}{dz^{2}}}+\left[{\frac {\delta }{z^{2}}}+{\frac {\gamma }{z}}+1\right]{\frac {dw}{dz}}+{\frac {\alpha z-q}{z^{2}}}w=0}
二合流性 0、∞(不規則、ランク2) d2wdz2[γz+δ+z]dwdz+αzqzw=0{\displaystyle {\frac {d^{2}w}{dz^{2}}}-\left[{\frac {\gamma }{z}}+\delta +z\right]{\frac {dw}{dz}}+{\frac {\alpha z-q}{z}}w=0}
三合流 ∞(不規則、ランク3) d2wdz2+(γ+z)zdwdz+(αzq)w=0{\displaystyle {\frac {d^{2}w}{dz^{2}}}+\left(\gamma +z\right)z{\frac {dw}{dz}}+\left(\alpha z-q\right)w=0}

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)

参照

参考文献

  1. ^カール・ヒューン (1888 年 6 月)。「リーマンの機能に関する理論」Mathematische Annalen (ドイツ語)。33 (2): 161–179土井: 10.1007/BF01443849ISSN  0025-5831
  2. ^ 「DLMF: §31.12 ホイン方程式の合流形 ‣ 特性 ‣ 第31章 ホイン関数」dlmf.nist.gov . 2026年1月25日閲覧
  3. ^ Hahn, W. (1971). 「補助パラメータを持つ線形幾何差分方程式について」. Funkcial. Ekvac . 14 : 73–78 .
  4. ^竹村公一 (2017). 「Ruijsenaars-van Diejen 演算子と q-Painlevé 方程式の縮退」ジャーナル・オブ・インテグラブル・システムズ2 (1)。arXiv : 1608.07265ドイ: 10.1093/integr/xyx008ISSN 2058-5985 
  5. ^マイヤー, ロバート S. (2006年11月28日). 「ホイン方程式の192の解」 .計算数学. 76 (258): 811– 843. doi : 10.1090/S0025-5718-06-01939-9 . ISSN 0025-5718 .