特殊関数 グラフィックスライブラリー
Graphics Library of Special functions

Lamé 関数

Lamé 関数

日：Lamé関数，ラーメ関数（ラメ関数）
英：Lamé function，仏：Fonction de Lamé，独：Lamésche funktion

　Laplace の方程式を楕円体座標で変数分離すると、その各成分の満たす微分方程式は、いずれも

• 

の形に帰着できる。これを、代数的な Lamé の微分方程式といい、その解を 代数的 Lamé 関数という※1。代数的な Lamé の微分方程式は、1837年に G. Lamé によって初めて導入された。
　代数的な Lamé の微分方程式は、に確定特異点を持ち、超幾何微分方程式、(代数的な) Mathieu の微分方程式、および回転楕円体波動微分方程式よりも特異点の個数が多い。
　代数的な Lamé の微分方程式は、Jacobi の楕円関数を用いた変換

• 

によって

• 

なる形に帰着できる※2。通常はこれを Lamé の微分方程式、その解を Lamé 関数という場合が多い (ここでもこれを扱う)。
　Lamé の微分方程式は、より一般的な Hill の微分方程式の特別な場合である。したがって Floquet の定理により、Lamé の微分方程式の固有値が適当な値をとるとき、 二つの基本解の一方は完全楕円積分またはを周期とする周期関数になる。このうち、極限のときに (すなわち(は整数)のときに)に近づく解、に近づく解をそれぞれと表記し、第1種 Lamé 関数という。また、そのときの固有値をそれぞれと表記し、Lamé 固有値関数という (詳細は後述)※3。
　第1種 Lamé 関数は、直交性

• 

を有する (ただし、とは一方が偶数(奇数)のとき、もう一方も偶数(奇数)とする)。
　第1種 Lamé 関数は周期関数であるため、次のように Fourier 級数に展開できる (ただし、とする)。

• 

ここに、Fourier 係数等は、次の漸化式、および規格化条件式を満たす (とする)。

• 

　また、第1種 Lamé 関数とは反対の偶奇性を持ち、非周期的な第2の基本解

• 

を、第2種 Lamé 関数という。ここに、は初期条件

• 

を満たすように選んだ任意定数であるとする。
　第2種 Lamé 関数は、周期性の代わりに次の関数等式を満たす。

• 

　このほか、第3種 Lamé 関数として

• 

を独自に定義する。これは指数関数や Hankel 関数の類似である。
　一般に Lamé 関数は、複素平面上で Jacobi の楕円関数がとなるようなにおいて対数分岐点を持つ無限多価関数である。しかし、がともに自然数でとなる特別な第1種 Lamé 関数は、初等代数関数に Jacobi の楕円関数を代入したものに還元される。これは ｢Lamé 多項式｣ と呼ばれる一価有理型関数である。すなわち、この場合の第1種 Lamé 関数の分枝切断線は、その両端での関数値が一致するために消失する。
　Lamé の微分方程式は、19世紀中頃から超幾何微分方程式に次いで注目された線形常微分方程式の具体例である。楕円関数に対する興味も背景にあって、G. Lamé を始め、C. Hermite、J. Liouville、H. E. Heine 等、多くの数学者が Lamé の微分方程式を研究した。さらに、1881年に G. H. Halphen は、楕円関数を係数とする一般的な線形常微分方程式に関する論文を発表した。
　しかし、Lamé の微分方程式のように固有値 (アクセサリーパラメータ) を持つ線形常微分方程式の理論は、超幾何微分方程式のそれに比べて格段に難しい。例えば、｢Gauss - Schwarz 理論｣ の拡張 ― 基本領域の半分が円弧四角形である保型関数を、Lamé (または後述の Heun) 微分方程式の２基本解の比の逆関数で表わす理論 ― は、可能であることが分かっていても、実際に具体的な係数を決定するのは大変困難である。このように、不明な点も多いため現在でも研究が続けられている。
　Lamé 関数の古典的応用事例としては、楕円体の平衡形状論のように境界条件が楕円体である場合の物理問題や、惑星の温度分布などが知られるが、計算が複雑で取り扱いも難しいため限られていた。しかし、電子計算機の性能がかなり向上した現在では、Lamé 関数に対する抵抗感も薄まる傾向にあり、後述の Heun 関数とともに応用事例の数は増えつつある (楕円体関数系の特殊関数は、21世紀になってようやく Bessel 関数並に駆使できる時代が到来したと言えるのかもしれない)。

　実変数の第1種 Lamé 関数のグラフ。順に、①, ②, ③, ④。いずれも＝－0.5～20 (+0.25)。

• 　①
  
• 　②
  
• 　③
  
• 　④
  

　実変数の第1種 Lamé 関数のグラフ。順に、①, ②, ③。いずれも＝0～9 (+1)。

• 　①
  
• 　②
  
• 　③
  

　複素変数の第1種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第1種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第1種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第1種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　アニメーション（5.20MB）
　複素変数の第1種 Lamé 関数のグラフ。＝0～5 (+0.1)。

• 

　実変数の第1種 Lamé 関数のグラフ。順に、①, ②, ③, ④。いずれも＝－0.5～20 (+0.25)。

• 　①
  
• 　②
  
• 　③
  
• 　④
  

　実変数の第1種 Lamé 関数のグラフ。順に、①, ②, ③。いずれも＝1～9 (+1)。

• 　①
  
• 　②
  
• 　③
  

　複素変数の第1種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第1種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第1種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　実変数の第2種 Lamé 関数のグラフ。順に、①, ②, ③, ④。いずれも＝－0.5～20 (+0.25)。

• 　①
  
• 　②
  
• 　③
  
• 　④
  

　実変数の第2種 Lamé 関数のグラフ。順に、①, ②, ③。いずれも＝0～9 (+1)。

• 　①
  
• 　②
  
• 　③
  

　複素変数の第2種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第2種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第2種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第2種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　実変数の第2種 Lamé 関数のグラフ。順に、①, ②, ③, ④。いずれも＝－0.5～20 (+0.25)。

• 　①
  
• 　②
  
• 　③
  
• 　④
  

　実変数の第2種 Lamé 関数のグラフ。順に、①, ②, ③。いずれも＝1～9 (+1)。

• 　①
  
• 　②
  
• 　③
  

　複素変数の第2種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第2種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第2種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第3種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第3種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第3種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第3種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第3種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第3種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第3種 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

Lamé 多項式

日：Lamé多項式，ラーメ多項式（ラメ多項式）
英：Lamé polynomials，仏：Polynôme de Lamé，独：Laméschen Polynom

　第1種 Lamé 関数のがともに自然数でとなる特別な場合は、Lamé 多項式と呼ばれている。これは、代数的な Lamé の微分方程式の解が、この場合に多項式、または多項式と無理関数との積に還元されることによる名称である。よって、Lamé 多項式は ｢多項式｣ と言いつつも、実質は Jacobi の楕円関数で表わされる。
　現在、Lamé 多項式は無理関数因子の型に基づいて８種類に分類されている。それらを一般に通用している関数記号とともに、第1種 Lamé 関数との関係式で表わすと、次のようになる。

• 

したがって、Lamé 多項式が満たす公式等は第1種 Lamé 関数のそれと同じである。特に、数値計算に便利な Fourier 級数は全く同じものが使用できる。しかし実際は、このうちのおよびにおいて、Fourier 係数の規格化定数を求める際に不定形が出現する。そこで、これを回避するための代替公式として

• 

を用いることができる。ここに、係数等は次の漸化式、および規格化条件式を満たす (とする)。

• 

　つまり、第1種 Lamé 関数の場合も、係数を求める過程で不定形が出現するためにが使えないときは、上記の Fourier 級数を用いて計算する。
　のときの Lamé 多項式は最も簡単な形になり、具体的に Jacobi の楕円関数によって表わすと

• 

となる。ここに現れた形の楕円関数は、それぞれの Lamé 多項式において常に発生する因子であり、代数的な Lamé の微分方程式の解では無理関数因子に相当する。また、Lamé 多項式の関数記号の由来でもある。
　なお、実変数のグラフは、前項で掲示した第1種 Lamé 関数のそれに部分的に含まれているので省略する。また、複素変数のグラフは、Lamé 多項式が初等代数関数に Jacobi の楕円関数を代入した関数であることを踏まえて、各々２種類のグラフ (３次元絶対値グラフ、およびその平面グラフ) に留める。

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。
　(の場合は定数関数となるので描画しない。)

• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  
• 　n=3
  
• 　n=3
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  
• 　n=3
  
• 　n=3
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=0
  
• 　n=0
  
• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  
• 　n=3
  
• 　n=3
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=0
  
• 　n=0
  
• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  
• 　n=3
  
• 　n=3
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=0
  
• 　n=0
  
• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  
• 　n=3
  
• 　n=3
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=0
  
• 　n=0
  
• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  
• 　n=3
  
• 　n=3
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=0
  
• 　n=0
  
• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  
• 　n=3
  
• 　n=3
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=0
  
• 　n=0
  
• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  
• 　n=3
  
• 　n=3
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=0
  
• 　n=0
  
• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  

　複素変数の Lamé 多項式のグラフ。2種類のグラフごとにの順。

• 　n=1
  
• 　n=1
  
• 　n=2
  
• 　n=2
  
• 　n=3
  
• 　n=3
  

一般 Lamé 関数

　が固有値とは限らない任意定数であるとした、Lamé の微分方程式

• 

を直接解いて得られる、次の初期条件を満たす解
を、ここでは一般 Lamé 関数と呼ぶこととする。(この名称、および関数記号は独自のものである。)
　特に、が固有値である場合は、第1種 Lamé 関数と第2種 Lamé 関数の線形結合

• 

で表わされる。すなわち、第1種～第3種 Lamé 関数はこの特殊型である。
　一般 Lamé 関数も、複素平面上で Jacobi の楕円関数がとなるようなにおいて対数分岐点を持つ無限多価関数である。

　実変数の一般 Lamé 関数のグラフ。順に、①②。
　いずれも＝－0.5～20 (+0.25)。

• 　①
  
• 　②
  

　実変数の一般 Lamé 関数のグラフ。順に、①②。
　いずれも＝－10～10 (+0.25)。水色→青→赤(＝0)→黄→緑。

• 　①
  
• 　②
  

　複素変数の一般 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の一般 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の一般 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の一般 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の一般 Lamé 関数のグラフ。

• 
• 
• 
• 
• 

　アニメーション（7.74MB）
　複素変数の一般 Lamé 関数のグラフ。＝0～12 (+0.2)。

• 

Lamé 固有値関数

　Lamé の微分方程式

• 

についても、Mathieu 関数と同様に Floquet の定理が適用できて、二つの基本解のうち一方は必ず
なる擬周期性を持つ解となる。この擬周期性基本解が実定義域で有界となるようなの値域を ｢安定域｣ といい、有界とならないようなの値域を ｢不安定域｣ という。
　固有値を、と次数およびパラメータの関数と考え、Lamé 固有値関数という。周期関数に対する固有値を 、周期関数に対する固有値をと表記する。
　特にが非整数のときは、となる。またが整数でのとき、となる。
　Lamé 固有値関数の数値計算は、Mathieu 固有値関数と同様に、無限次連分数方程式や三重対角行列の固有値に基づく方程式を用いると便利である。補助的な固有値関数
を介すると、三重対角行列法の場合は、

• 

となる。ここには、第1種 Lamé 関数を Fourier 級数展開したときの係数である。
　なお、が非整数次の場合は、

• 

によって求められる。ここには、を２で割ったときの余りである。

　青色領域または境界線上が ｢安定域｣、黄色領域が ｢不安定域｣ である。
　①：、＝0～12 (+1)。②：さらに広い領域の描画。

• 　①
  
• 　②
  

　①：、＝0～12 (+1)。②：さらに広い領域の描画。

• 　①
  
• 　②
  

　実変数の Lamé 固有値関数のグラフ。、＝0～10 (+1)。
　(実線は、破線はである。以下同様。）

• 

　実変数の Lamé 固有値関数のグラフ。、＝0～10 (+1)。

• 

　実変数の Lamé 固有値関数のグラフ。
　①：、＝0～10 (+1)。②：原点付近を拡大。いずれも太線はが整数のとき。

• 　①
  
• 　②
  

　実変数の Lamé 固有値関数のグラフ。
　①：、＝0～10 (+1)。②：原点付近を拡大。いずれも太線はが整数のとき。

• 　①
  
• 　②
  

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　次数が複素数(は整数、は実数) のとき、グラフは不安定域を占める。
　実変数の Lamé 固有値関数のグラフ。
　＝0～7 (+1) かつ、＝0～8 (+0.2)。色調が/10、輝度が1－/9で変化する場合。太線はが整数のとき。

• 

　実変数の Lamé 固有値関数のグラフ。
　＝0～10 (+1) かつ、＝0～15 (+0.2)。色調が/10、輝度が1－/15で変化する場合。太線はが整数のとき。

• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　次数が複素数(は整数でない実数、は実数) のとき、実数軸上で Lamé 固有値関数は実数値を取らず、安定域でも不安定域でもない。したがって、この場合は複素変数のグラフのみを描画する。
　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の Lamé 固有値関数のグラフ。

• 
• 
• 
• 
• 

Heun 関数

日：Heun関数，ホイン関数
英：Heun function，仏：Fonction de Heun，独：Heun funktion

　一般に ｢Fuchs 型｣ と称される二階線形常微分方程式

• 

は、微分方程式の特異点として個の確定特異点のみを持つ。それぞれの確定特異点における特性指数と基本解の組は、順に

• 

となる。ここに、個のパラメータがあるが、先の微分方程式に付随する条件式によってのうちの１個およびのうちの２個は他で表わされるので、本質的なパラメータは個である。そのうち、個のは自由パラメータ、残りの個のはアクセサリーパラメータ (特異点近傍の性質からだけでは決定できないパラメータ) と呼ばれる。
　このように、線形常微分方程式の解の局所的な振る舞いは、微分方程式の特異点と特性指数の値によってほぼ決定される※1。この理論の基礎は、L. Fuchs (1865年), F. G. Frobenius (1873年) 等によって整備されたが、先駆的には、G. F. Riemann がＰ関数の研究をとおして重要な例を与えている。実際、ならば上記の Fuchs 型微分方程式の解は Riemann のＰ関数、すなわち超幾何関数で表わせる。
　一方、19世紀後半は Lamé の微分方程式にも関心が集まり始めた時期であった。これはの Fuchs 型微分方程式になっている。より標準的なの場合の研究は K. Heun が手掛け、1889年にその成果を公表している。そのため現在では、を確定特異点とする二階線形常微分方程式

• 

を Heun の微分方程式、その解を Heun 関数と呼ぶようになった。特に、における二つの基本解のうち、となるように選んだ第1種の解

• 

を、局所 Heun 関数 (Local Heun function) という※2。このとき、第2種の解は

• 

となり、における一般解は両者の線形結合式となる。同様ににおける二つの基本解も、局所 Heun 関数を用いて表示できるので、合計で８種類の解がある。さらに、それらの各々に対して、パラメータや独立変数の変換が24通りあるので、全部で８24＝192個の解の表示式が存在する※3。これは、超幾何微分方程式の解の表示式が全部で24個あることの拡張になっている。
　上記の第2種関数はを条件とするが、第1種はそうではないので、両者の線形結合式を構成する際に都合が悪い。そこで、ここでは第1種と同じくを条件とし、のときにで対数分岐点を持つ独立解

• 

を、具体的な第2種局所 Heun 関数として独自に定義する※2。これは、が正の整数を通過してもグラフが滑らかに変形するような定義になっている。すなわち、第2の式は第1の式におけるガンマ関数係数と冪級数展開係数との間で極限をとれば得られ、第3の式は第1の式に l'Hôpital の定理を適用すれば得られる。
　が特別な値をとるとき、Heun 関数は多項式や無理関数に還元されるため、他の楕円体関数系と同様に、を固有値と見ることもできる。しかし、これは複雑な多変数の多価関数であり、主値として相応しい分枝の選定方法や、次数列と固有値列との対応順序は、Lamé 固有値関数になる特別な場合を除いて、それほど明確ではない。(したがって、ここではを任意数値で指定する単なるパラメータとして扱う。Heun 固有値関数については個別の項目を設けず、グラフも掲載しない※4。)
　より一般的な Heun 関数は、Riemann のＰ関数の無限級数で表わされる (記載例：｢NIST｣の716頁にある公式31.11.(ii)等) が、ここでは独自定義の関数として、Heun の微分方程式を直接数値的に解いて得られる関数

• 

を、｢一般 Heun 関数｣ と称して扱う※2。
　超幾何関数に対して合流型超幾何関数があるように、Heun の微分方程式についても、確定特異点のいくつかを合流させて不確定特異点に変えた各種の ｢合流型 Heun の微分方程式｣ と、その解となる ｢合流型 Heun 関数｣ が詳しく研究されている。当サイトでは、上記の一般 Heun 関数に準ずる方法で定義された合流型 Heun 関数を採用するが、詳細は別項目として後述する。
　合流型も含めた Heun 関数の応用例としては、ブラックホールの各種計量における特殊解への摂動問題、ヘリウムなど複数個のポテンシャル中心点を持つ調和振動子に関する量子力学等が知られている。

　複素変数の第1種局所 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第1種局所 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第1種局所 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第1種局所 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第2種局所 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第2種局所 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第2種局所 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の第2種局所 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の一般 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の一般 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の一般 Heun 関数のグラフ。

• 
• 
• 
• 
• 

合流型 Heun 関数

日：合流型Heun関数，合流型ホイン関数
英：Confluent Heun function，仏：Fonction de Heun confluente，独：Konfluente Heun funktion

　Heun の微分方程式が有する４個の確定特異点のうち、複数個を合流させて１個の不確定特異点に変えた微分方程式は、｢合流型 Heun の微分方程式｣ と呼ばれ、その解は ｢合流型 Heun 関数｣ と呼ばれる。より簡単な関数に還元される特別なパラメータの場合を除いて、一般に Heun 関数・合流型 Heun 関数は超幾何関数系の特殊関数では表わせない。
　現在では、合流させる確定特異点の選択方法に応じて、４種類の典型的な合流型 Heun の微分方程式が次のように定義されている。

｢Confluent Heun equation｣

• 

　これは、に確定特異点、に１級の不確定特異点を持つ。つまり、Heun の微分方程式における確定特異点をに合流させると得られる。(代数的な) Mathieu の微分方程式, 回転楕円体波動微分方程式はこのクラスに含まれる。
　ここでは、この微分方程式の解を

• 

と表記することにする (標準的な関数記号がまだ存在しないため※1：以下同様) 。また、分枝切断線は実軸上の区間およびに置くものとする。

｢Doubly-confluent Heun equation｣

• 

　これは、に１級の不確定特異点を持つ。つまり、Heun の微分方程式における確定特異点をに、をに合流させると得られる。
　ここでは、この微分方程式の解を

• 

と表記することにする。また、分枝切断線は実軸上の区間に置くものとする。

｢Biconfluent Heun equation｣

• 

　これは、に確定特異点、に２級の不確定特異点を持つ。つまり、Heun の微分方程式における確定特異点をに合流させると得られる。
　ここでは、この微分方程式の解を

• 

と表記することにする。また、分枝切断線は実軸上の区間に置くものとする。

｢Triconfluent Heun equation｣

• 

　これは、に３級の不確定特異点を持つ。つまり、Heun の微分方程式における確定特異点をに合流させると得られる。
　ここでは、この微分方程式の解を

• 

と表記することにする。この関数は超越整関数である。


　なお、確定特異点の合流が段階的な順序を経て成されると見るならば、Heun の微分方程式と４種類の合流型 Heun の微分方程式は、次のような階層構造になっていると考えることもできる。

• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　複素変数の合流型 Heun 関数のグラフ。

• 
• 
• 
• 
• 

　合流型 Heun 関数のグラフは、原点に対称で完全な3数性を持つ。ただし、この場合は合流型超幾何関数を解析接続した関数に還元される。(下記グラフはの場合。)

• 
•