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

Jacobi 関数

Jacobi 関数

日：Jacobi関数，ヤコビ関数
英：Jacobi function，仏：Fonction de Jacobi，独：Jacobische funktion

　2階の線形常微分方程式

• 

は超幾何微分方程式の別表現であって、を確定特異点とする。これを Jacobi の微分方程式といい、その解の基本系を成す二つの関数を超幾何関数で表わせば、

• 

となる。これを順に、第1種および第2種 Jacobi 関数という※1。第2種での場合は、上記の式に l'Hôpital の定理を適用する等、別の定義式が必要になる。
　このうち第1種は、常に
となる特別な解であって、を一般に対数分岐点とし、実軸上の区間に分枝切断線が置かれる。次数がのときはとなる。
　第2種はを一般に対数分岐点とし、実軸上の区間およびに分枝切断線が置かれる。ただしが半奇数ならば、の分岐点は消える。また、のときはとなる。
　Jacobi 関数は、に関して準反転性

• 

を持っている。
　Jacobi 関数は、に関する線形漸化式および微分漸化式

• 

を満たす。ここには、の三変数について1を周期とする任意の周期関数である。同様に、に関しても漸化式

• 

を満たし、さらに、に関する簡易な形の漸化式

• 

も満たす。
　Jacobi 関数はが特別な値の組合せのとき、Gegenbauer 関数, Legendre 陪関数, および冪関数

• 

に還元され、それらの式でさらにまたはとすると、Legendre 関数や Chebyshev 関数が現れる。一方、に対して極限を取ると、Laguerre 陪関数または Hermite 関数

• 

に近付く。
　第1種 Jacobi 関数は次数がならば、多項式

• 

に還元される。これは Jacobi 多項式 (希に、超幾何多項式) と呼ばれ、応用で Jacobi 関数が使用されるのは、ほとんどこの場合に限られる。Jacobi 多項式は、母関数表示式および Rodrigues の公式

• 

でも表わすことができ、種々の性質を導くのに便利である。Jacobi 多項式は古典的直交多項式の系統上で頂点に位置するが、その直交性についての詳細は次節で触れる。なお、Jacobi 多項式は特別なを除いて一般に偶関数または奇関数にならない。
　しばしばに代わる第1種 Jacobi 関数として、

• 

を定義していることがある※2。ただし、Jacobi のそれとは異なる (若干簡単な) 形の微分方程式

• 

を満たす。
　第2種 Jacobi 関数についても、当サイトと違う様々な定義が存在する。例えば ｢Higher Transcendental Functions vol.2｣ の171頁では、

• 

が掲載されている。この関数は Jacobi の微分方程式を満たし、実軸上の区間およびに分枝切断線が置かれる※3。
　また、同著の170頁または Wolfram MathWorld の記事 ｢Jacobi Function of the Second Kind｣ では、第2種 Jacobi 関数版の Hobson 型とも言うべく、実軸上の区間に分枝切断線が置かれた、

• 

が掲載されている。この関数も Jacobi の微分方程式を満たす。
　Jacobi 関数 (多項式) は、主に回転群が関係する剛体力学や量子力学で応用される。例えば、独楽などの回転運動、正の曲率を持つ空間内での Schrödinger 方程式の解、各種の拡張された球面調和関数および Wigner の d-行列に現れる。この他にも、可積分系の特殊解など応用範囲は他の古典的直交多項式と共通する部分もあるが、Jacobi 多項式で扱う内容はより高度になることが多い。さらにが複素数、が純虚数となる Jacobi 多項式のうち、特別な場合

• 

も応用事例があり、これは Romanovski 多項式と呼ばれる※4。粒子ポテンシャルが余接関数となった Schrödinger 方程式の解、ランダム行列理論が事例として知られている。
　Jacobi 多項式は、1859年に C. G. J. Jacobi が導入したことから、その名で呼ばれるようになった。また、1870年には P. L. Chebyshev が一般の多項式論を展開した際に、併せて Jacobi 多項式を論じた。Romanovski 多項式は、1929年に V. I. Romanovsky (Romanovski) がある種の確率分布を研究した際に導入した。

　を実変数とする、第1種 Jacobi 関数のグラフ。①整数次(Jacobi 多項式)。②実数次。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。では関数が定義されない。
　2番目は、の範囲を拡大した場合。

• 
• 
• 

　を実変数とする、第1種 Jacobi 関数のグラフ。①整数次(Jacobi 多項式)。②実数次。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。では関数が定義されない。
　2番目は、の範囲を拡大した場合。

• 
• 
• 

　を実変数とする、第1種 Jacobi 関数のグラフ。①整数次(Jacobi 多項式)。②実数次。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。では関数が定義されない。
　2番目は、の範囲を拡大した場合。

• 
• 
• 

　を実変数とする、第1種 Jacobi 関数のグラフ。①整数次(Jacobi 多項式)。②実数次。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。では関数が定義されない。
　2番目は、の範囲を拡大した場合。

• 
• 
• 

　アニメーション（27.0MB）
　を実変数とする、第1種 Jacobi 関数のグラフ。ただし実数の組は、2番目の図の経路に沿って動く。

• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　アニメーション（17.8MB）
　を複素変数とする、第1種 Jacobi 関数のグラフ。ただし実数の組は、2番目の図の経路に沿って動く。

• 
• 

　を実変数とする、第1種 Jacobi 関数のグラフ。①。②。

• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実変数とする、第1種 Jacobi 関数のグラフ。

• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。では関数が定義されない。

• 
• 

　を実変数とする、第1種 Jacobi 関数のグラフ。

• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。では関数が定義されない。

• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実変数とする、第1種 Jacobi 関数のグラフ。

• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を実変数とする、第1種 Jacobi 関数のグラフ。

• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第1種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第1種 Jacobi 関数のグラフ。

• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。およびでは関数が定義されない。
　2番目は、の範囲を拡大した場合。

• 
• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。およびでは関数が定義されない。
　2番目は、の範囲を拡大した場合。

• 
• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。およびでは関数が定義されない。
　2番目は、の範囲を拡大した場合。

• 
• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。およびでは関数が定義されない。
　2番目は、の範囲を拡大した場合。

• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　アニメーション（18.5MB）
　を複素変数とする、第2種 Jacobi 関数のグラフ。ただし実数の組は、2番目の図の経路に沿って動く。

• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。①。②。

• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。

• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。では関数が定義されない。

• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。

• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。では関数が定義されない。

• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。

• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。では関数が定義されない。

• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。

• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。では関数が定義されない。

• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、第2種 Jacobi 関数のグラフ。

• 
• 

　余弦･正弦関数に類似したとの関係。このとき、両者の包絡線はとなる。

• 
• 
• 
• 

• 
• 
• 

• 
• 
• 
• 
• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実変数とする、第2種 Jacobi 関数のグラフ。いずれも実数次であって、①。②。③。④。

• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　アニメーション（20.4MB）
　を複素変数とする、第2種 Jacobi 関数のグラフ。ただし実数の組は、2番目の図の経路に沿って動く。

• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、第2種 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

Jacobi 関数（正規化）

　Jacobi 多項式は、直交区間をとする直交多項式であり、重み関数を伴う直交性

• 

を持っている。拡張された球面調和関数などの応用事例では、上記にの置換積分を施した

• 

がしばしば必要になる。
　もし、前節で触れたを Jacobi 多項式とするならば、その直交区間はとなり、

• 

なる直交性を持つ直交多項式となる。
　Jacobi 多項式は、超幾何関数系で最も複雑な直交性を持つ古典的直交多項式であり、添字定数 (次数以外のパラメーター) が２個ある唯一のものである。
　当サイトでは Jacobi 関数に対しても、独自に

• 

を導入し、正規化 Jacobi 関数と呼ぶ※1。よって、は正規直交関数系を成すとともに、重み関数が現れない直交性

• 

を満たす。

　を実変数とする、正規化 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない帯状領域がある。

• 
• 

　を実変数とする、正規化 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない帯状領域がある。

• 
• 

　を実変数とする、正規化 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない帯状領域がある。

• 
• 

　を実変数とする、正規化 Jacobi 関数のグラフ。①整数次。②実数次。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない帯状領域がある。

• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実変数とする、正規化 Jacobi 関数のグラフ。①。②。

• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実変数とする、正規化 Jacobi 関数のグラフ。

• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない帯状領域がある。

• 
• 

　を実変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない。

• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない帯状領域がある。

• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実変数とする、正規化 Jacobi 関数のグラフ。

• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない帯状領域がある。

• 
• 

　を実変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない。

• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。では関数が実数値を取らない帯状領域がある。

• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、正規化 Jacobi 関数のグラフ。

• 
• 
• 
• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。

• 
• 

　を実2変数とする、正規化 Jacobi 関数のグラフ。

• 
• 

Zernike 関数

日：Zernike関数，ゼルニケ関数
英：Zernike function，仏：Fonction de Zernike，独：Zernikesche funktion

　Zernike 関数は、第1種 Jacobi 関数を用いた表示式

• 

で定義される※1。一般に Zernike 関数は、を第1種 Jacobi 関数に由来する対数分岐点、をに由来する分岐点とし、実軸上の区間およびに分枝切断線が置かれる (特にのときは、実軸上の区間およびに分枝切断線が置かれる)。
　Zernike 関数は、に関する線形漸化式および微分漸化式

• 

を満たす。また、とするとき、積分表示式

• 

で表わせる。
　後述のとおり、応用ではを動径方向の関数と考え、方位角方向の因子を三角関数とした、

• 

が定義される。当サイトでは、これを ｢円板上の Zernike 関数｣ と呼ぶことにする。
　およびのうち、実際に応用面で重要となるのは、専ら, で、しかもとなる場合に限られる。このとき、は前述の分枝切断線が消失して多項式となるので、Zernike 多項式と呼ばれる。また、を ｢円板上の Zernike 多項式｣ と呼ぶことにする。
　Zernike 多項式は、母関数表示式および Rodrigues の公式※2

• 

で表わせる他、超幾何関数表示式および明示的な多項式

• 

によっても表わせる。(実は、冒頭に掲げた定義式に現れる第1種 Jacobi 関数の部分は、Zernike 多項式のときに第1種 Legendre 関数の多項式で表わすことができる※3。)
　Zernike 多項式の特に重要な性質は、重み関数を伴う直交性

• 

を持つことである。しかし、各種公式の形が枠組みから外れる等の理由で、Zernike 多項式は古典的直交多項式に含めない慣例となっている。
　Zernike 多項式は光学の分野で重要であり、特に、天文学および眼科領域で使用されるレンズや精密光学機器の性能を向上する (歪みや干渉を抑える) ために応用される。また、画像処理における特徴検出にも Zernike 多項式が現れ、その技術は医療機器等に応用されている。これらの事例では、円板上の Zernike 多項式が持つ単位円板内部での直交性

• 

が基礎となっている。
　1932年に位相差顕微鏡を発明した F. Zernike は、これに必要となる円形凹面鏡の設計とその回折現象の解明にあたって、新たに Zernike 多項式を導入した事を1934年の論文で明らかにしたので、後年その名を冠して呼ばれるようになった。

　を実変数とする、Zernike 多項式のグラフ。①。②。③。④。

• 
• 
• 
• 

　を実変数とする、Zernike 多項式のグラフ。①。②。③。④。

• 
• 
• 
• 

　円板上の Zernike 多項式のグラフ。の場合。

• 
• 

　前述の直交性により、のグラフは単位円内部に限定することが多いが、関数自体は外部にも存在する。

• 

　円板上の Zernike 多項式のグラフ。の場合。

• 
• 

　円板上の Zernike 多項式のグラフ。の場合。

• 
• 

　を共通とする、円板上の Zernike 多項式の有限和

• 

が成立する。これは、Bessel 関数の公式 ｢Jacobi - Anger expansion｣ に似ている。
　のグラフ。

• 

　のグラフ。

• 

　を実変数とする、Zernike 関数のグラフ。

• 

　を実2変数とする、Zernike 関数のグラフ。

• 
• 

　を実変数とする、Zernike 関数のグラフ。

• 

　を実2変数とする、Zernike 関数のグラフ。

• 
• 

　を実変数とする、Zernike 関数のグラフ。

• 

　を実2変数とする、Zernike 関数のグラフ。

• 
• 

　を実変数とする、Zernike 関数のグラフ。

• 

　を実2変数とする、Zernike 関数のグラフ。

• 
• 

　を実変数とする、Zernike 関数のグラフ。

• 

　を実2変数とする、Zernike 関数のグラフ。

• 
• 

　を実変数とする、Zernike 関数のグラフ。

• 

　を実2変数とする、Zernike 関数のグラフ。

• 
• 

　を実変数とする、Zernike 関数のグラフ。

• 

　を実2変数とする、Zernike 関数のグラフ。

• 
• 

　を実変数とする、Zernike 関数のグラフ。

• 

　を実2変数とする、Zernike 関数のグラフ。

• 
• 

　を実2変数とする、Zernike 関数のグラフ。

• 
• 

　を複素変数とする、Zernike 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、Zernike 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、Zernike 関数のグラフ。

• 
• 
• 
• 
• 

　を複素変数とする、Zernike 関数のグラフ。

• 
• 
• 
• 
• 

　円板上の Zernike 関数のグラフ。の場合。

• 
•