Laguerre 関数
日:
Laguerre関数,
ラゲール関数
英:
Laguerre function,仏:
Fonction de Laguerre,独:
Laguerre-funktion
二階の線形常微分方程式
は Laguerre の陪微分方程式と呼ばれ、
![z=0](siki_spec190/laguerre00200.png)
を確定特異点、
![z=∞](siki_spec190/laguerre00300.png)
を1級の不確定特異点とする。その解の基本系
![w=a・L[ν,α](z)+b・l[ν,α](z)](siki_spec190/laguerre00400.png)
![(a, b ∈ C)](siki_spec190/laguerre00500.png)
を成す二つの関数
![L[ν,α](z), l[ν,α](z)](siki_spec190/laguerre00600.png)
を、第1種および第2種 Laguerre 陪関数と言う※1。特に、
![α=0](siki_spec190/laguerre00700.png)
の場合は Laguerre 関数と呼ばれ、第1種を
![L[ν](z)](siki_spec190/laguerre00800.png)
で略記する習慣が定着している※2。Laguerre 陪関数の定義は、Laguerre 関数の逐次微分
に由来するが、Laguerre の陪微分方程式とその解によって、階数
![m](siki_spec190/laguerre_m.png)
は複素数
![α](siki_spec190/laguerre_alpha.png)
にまで拡張される。
解の具体的表示として、
合流型超幾何関数で表わされた、
を採用する※3。この表示式から、Laguerre 陪関数は本質的に合流型超幾何関数と同じで、その別表現に過ぎないことが分かる。なお、ガンマ関数係数の影響等によって不定値となる場合は、上記の式に l'Hôpital の定理を適用する等の極限を取る。ただし、下記
![ν, α](siki_spec190/laguerre01100.png)
の場合では関数自体が存在しない。
第1種および第2種 Laguerre 陪関数は、一般に
![z=0, ∞](siki_spec190/laguerre01300.png)
を特異点とする無限多価関数であるが、
![L[ν,α](z)](siki_spec190/laguerre01400.png)
は
![ν](siki_spec190/laguerre_nu.png)
の特別な値によって
![z=0](siki_spec190/laguerre00200.png)
での様相が異なる。両者とも
![z=0](siki_spec190/laguerre00200.png)
が対数分岐点となる場合は、分枝切断線を実軸上の区間
![(-∞, 0]](siki_spec190/laguerre01500.png)
に置くのが普通とされる。
Laguerre 陪関数は、
![ν, α](siki_spec190/laguerre01100.png)
に関する整数差の線形漸化式 (隣接関係式)、および導関数の公式
を満たす。ここに
![a(ν), b(ν)](siki_spec190/laguerre01700.png)
は、
![ν, α](siki_spec190/laguerre01100.png)
の二変数について1を周期とする任意の周期関数である。また、第1種と第2種は関係式
で結ばれる。
第1種 Laguerre 関数に限り、次数と変数の反転性
が成り立つ。
![ν=n ∈ N≧0](siki_spec190/laguerre02000.png)
である第1種 Laguerre 陪関数は、多項式
に還元される。しかし、専らこの場合が応用上は重要であるため、Laguerre 陪多項式 (
![α=0](siki_spec190/laguerre00700.png)
の場合は Laguerre 多項式) と呼ばれる。Laguerre 陪多項式の上記以外の表現方法としては、母関数表示式および 「Rodrigues の公式」
がよく知られている。尤も、
![L[0, α](z)=1](siki_spec190/laguerre02300.png)
および
![L[1, α](z)=α+1-z](siki_spec190/laguerre02400.png)
を初期関数として漸化式を用いても容易に得られる※4。一般に Laguerre 陪多項式は、偶関数または奇関数にならない。
Hermite 多項式は、Laguerre 陪多項式の特別な場合
で表わせる。
Laguerre 陪多項式は、積分区間が
![[0, ∞)](siki_spec190/laguerre02600.png)
に変更された Gauss 数値積分法、統計学における二つの相関する乱数を変数とする確率密度関数にも応用されるが、大半は量子力学での事例が占め、とりわけ
水素原子周辺の電子の存在確率を表わす波動関数が著しい。それらの応用事例では、Laguerre 陪多項式の直交多項式としての性質が重要になるが 、これは
末尾の節で触れる。
また、Laguerre 陪関数の歴史等については、
次節に譲る※1。
【註記】
※1:当サイトでは、Laguerre 関数と Laguerre 陪関数とを別々の節としたが、数式等の説明文では両者を一括して扱い、そのほとんどを第1節に掲載する。
※2:第2種 Laguerre 陪関数の記号
![ls[ν,α](z)](siki_spec190/laguerre02700.png)
は当サイトが独自に定めたものであり、同様に
![α=0](siki_spec190/laguerre00700.png)
の場合は
![ls[ν](z)](siki_spec190/laguerre02800.png)
で略記することとする。
※3:第2種 Laguerre 陪関数の標準的な定義は存在しない。当サイトでは、
![L[ν,α](z)](siki_spec190/laguerre01400.png)
が余弦関数に相当していると見たとき、正弦関数に相当した振る舞いとなるよう
![ls[ν,α](z)](siki_spec190/laguerre02700.png)
を定義している。(この事は、後にグラフでも確認する。また、第2種関数の定義に対する当サイトの方針を、別頁
Questions にも掲載している。)
※4:Laguerre 陪多項式を具体的に表示すると、若干長大な式になる。
係数等のパターンを把握する目的ならば、むしろ次の表示式の方が良い。
![L[ν](z)](siki_spec190/laguerre03700.png)
![x](siki_spec190/laguerre_x.png)
を実変数とする、第1種 Laguerre 関数のグラフ。
①整数次 (Laguerre 多項式)
![L[n](x)](siki_spec190/laguerre03100.png)
,
②実数次
![L[ν](x)](siki_spec190/laguerre03200.png)
。
![ν, x](siki_spec190/laguerre03300.png)
を実2変数とする、第1種 Laguerre 関数
![L[ν](x)](siki_spec190/laguerre03200.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 関数
![L[2.7](z)](siki_spec190/laguerre03400.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 関数
![L[-2.7](z)](siki_spec190/laguerre03500.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 関数
![L[2.5i](z)](siki_spec190/laguerre03600.png)
のグラフ。
アニメーション
(11.5MB)
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 関数
![L[ν](z)](siki_spec190/laguerre00800.png)
のグラフ。
![L[ν](z) (変数ν)](siki_spec190/laguerre04000.png)
![ν](siki_spec190/laguerre_nu.png)
を実変数とする、第1種 Laguerre 関数
![L[ν](x)](siki_spec190/laguerre03200.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第1種 Laguerre 関数
![L[ν](2)](siki_spec190/laguerre03800.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第1種 Laguerre 関数
![L[ν](-2+3i)](siki_spec190/laguerre03900.png)
のグラフ。
![l[ν](z)](siki_spec190/laguerre04800.png)
![x](siki_spec190/laguerre_x.png)
を実変数とする、第2種 Laguerre 関数のグラフ。
①整数次
![l[n](x)](siki_spec190/laguerre04100.png)
,
②実数次
![l[ν](x)](siki_spec190/laguerre04200.png)
。
![ν, x](siki_spec190/laguerre03300.png)
を実2変数とする、第2種 Laguerre 関数
![l[ν](x)](siki_spec190/laguerre04200.png)
のグラフ。
![ν=-1, -2, -3, -4,…](siki_spec190/laguerre04300.png)
では関数が定義されない。
2番目は、
![ν≦-1](siki_spec190/laguerre04400.png)
の範囲を拡大した場合。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 関数
![l[2.7](z)](siki_spec190/laguerre04500.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 関数
![l[-2.7](z)](siki_spec190/laguerre04600.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 関数
![l[2.5i](z)](siki_spec190/laguerre04700.png)
のグラフ。
アニメーション
(10.9MB)
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 関数
![ls[ν](z)](siki_spec190/laguerre02800.png)
のグラフ。
![l[ν](z) (変数ν)](siki_spec190/laguerre05200.png)
![ν](siki_spec190/laguerre_nu.png)
を実変数とする、第2種 Laguerre 関数
![l[ν](x)](siki_spec190/laguerre04200.png)
のグラフ。
![x≦0](siki_spec190/laguerre04900.png)
では実数値を取らない。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第2種 Laguerre 関数
![l[ν](2)](siki_spec190/laguerre05000.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第2種 Laguerre 関数
![l[ν](-2+3i)](siki_spec190/laguerre05100.png)
のグラフ。
![L[ν](z)とl[ν](z)の関係](siki_spec190/laguerre05400.png)
余弦・正弦関数に類似した、
![L[ν](x)](siki_spec190/laguerre03200.png)
と
![l[ν](x)](siki_spec190/laguerre04200.png)
の関係。このとき、両者の包絡線は
![±sqrt(L[ν](z)^2+l[ν](z)^2)](siki_spec190/laguerre05300.png)
となる。
日:
Laguerre陪関数,
ラゲール陪関数
英:
Associated Laguerre function,
Generalized Laguerre function
仏:
Fonction associée de Laguerre,独:
Assoziierten Laguerre-funktion
Laguerre 陪関数の数学的な性質については、一部を除いて概ね最初の節で触れたので、ここでは二三の追加と歴史的な話題に留める。
Laguerre 多項式 (つまり、
![α=0](siki_spec190/laguerre00700.png)
の場合のみ) の萌芽は、J. L. Lagrange, R. Murphy (1833年) 等が手掛けた研究に現れる。19世紀中葉になると、P. L. Chebyshev (1859年) がやや一般的な多項式論を展開し、その中で Laguerre 多項式が再び取り上げられた。E. N. Laguerre (1879年) は
不完全ガンマ関数を論じる過程で Laguerre 多項式を導き、これを個別の研究対象とした。
一方、Laguerre 陪多項式は N. Y. Sonin (1880年) が初めて論文で扱い、程なく Laguerre も1879年以来の研究を発展させる中で独立にこれを見出した。現在では、後者の名を冠して Laguerre 陪多項式と呼ばれることが多いが、Sonin 多項式と呼ぶこともある。ただし、
![L[n, α](z)](siki_spec190/laguerre05450.png)
と若干形が異なる、
等を Sonin 多項式と定義する場合も多く、しかも著者によって甚だしく一定していない※1。
Sonin は関心分野としていた
Bessel 関数の研究から、最初の節に掲載したそれとは異なる形の母関数表示式
を発見した。また、Sonin はこの派生として 「古典的直交多項式」 のある一般的性質も導いた。Sonin の研究内容は、同邦人であった Chebyshev から大きな影響を受けている。
なお、多項式になる場合を超えた Laguerre 陪関数についても、19世紀以降に種々の結果が得られたが、応用事例がほとんど存在しなかったこともあって、重要視されていない※2。
【註記】
※1:このうち、Sonin による本来の定義は
![T[α, n](z)](siki_spec190/laguerre05700.png)
である (添字が上下逆になっているが、誤りではない)。しばしば、名をフランス語風に転記して 「Sonine 多項式」 とも表記される。
※2:むしろ (多項式でない) Laguerre 陪関数の役割は、代わりに合流型超幾何関数または
Coulomb 波動関数が担うようになった。現在、特殊関数の総合事典の多くでは、直交多項式で一つの章を設け、それが非整数次に拡張された場合を、超幾何関数または合流型超幾何関数の章に (相互関係式として) 掲載するというスタイルを採用している。
![L[ν,α](z)](siki_spec190/laguerre06900.png)
![x](siki_spec190/laguerre_x.png)
を実変数とする、第1種 Laguerre 陪関数のグラフ。
①整数次 (Laguerre 陪多項式)
![L[n, -3.2](x)](siki_spec190/laguerre05800.png)
,
②実数次
![L[n, -3.2](x)](siki_spec190/laguerre05900.png)
。
アニメーション
(44.7MB)
![x](siki_spec190/laguerre_x.png)
を実変数とし
![α](siki_spec190/laguerre_alpha.png)
が動くときの、第1種 Laguerre 陪関数
![L[ν,α](x)](siki_spec190/laguerre10200.png)
のグラフ。
![ν, x](siki_spec190/laguerre03300.png)
を実2変数とする、第1種 Laguerre 陪関数
![L[n, -3.2](x)](siki_spec190/laguerre05900.png)
のグラフ。
![ν=2.2, 1.2, 0.2,](siki_spec190/laguerre06000.png)
![-0.8, -1.8,…](siki_spec190/laguerre06001.png)
では関数が定義されない。
2番目は、
![ν≦2.2](siki_spec190/laguerre06100.png)
の範囲を拡大した場合。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[2.7, -3.2](z)](siki_spec190/laguerre06200.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[-2.7, -3.2](z)](siki_spec190/laguerre06300.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[2.5i, -3.2](z)](siki_spec190/laguerre06400.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[2.7, -5+3i](z)](siki_spec190/laguerre06500.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[-2.7, -5+3i](z)](siki_spec190/laguerre06600.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[2.5i, -5+3i](z)](siki_spec190/laguerre06700.png)
のグラフ。
アニメーション
(11.2MB)
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[1.75,α](z)](siki_spec190/laguerre06800.png)
のグラフ。
![L[ν,α](z) (変数ν)](siki_spec190/laguerre07400.png)
![ν](siki_spec190/laguerre_nu.png)
を実変数とする、第1種 Laguerre 陪関数
![L[n, -3.2](x)](siki_spec190/laguerre05900.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[ν, -3.2](2)](siki_spec190/laguerre07000.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[ν, -3.2](-2+3i)](siki_spec190/laguerre07100.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[ν, -5+3i](2)](siki_spec190/laguerre07200.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[ν, -5+3i](-2+3i)](siki_spec190/laguerre07300.png)
のグラフ。
![L[ν,α](z) (変数α)](siki_spec190/laguerre08000.png)
![α](siki_spec190/laguerre_alpha.png)
を実変数とする、第1種 Laguerre 陪関数のグラフ。
①![L[2.7, α](x)](siki_spec190/laguerre07500.png)
,
②![L[ν, α](2)](siki_spec190/laguerre07600.png)
。
![α](siki_spec190/laguerre_alpha.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[2.7, α](2)](siki_spec190/laguerre07700.png)
のグラフ。
![α](siki_spec190/laguerre_alpha.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[-2.7, α](-2+3i)](siki_spec190/laguerre07800.png)
のグラフ。
![α](siki_spec190/laguerre_alpha.png)
を複素変数とする、第1種 Laguerre 陪関数
![L[-3+2i, α](2)](siki_spec190/laguerre07900.png)
のグラフ。
![l[ν,α](z)](siki_spec190/laguerre09000.png)
![x](siki_spec190/laguerre_x.png)
を実変数とする、第2種 Laguerre 陪関数のグラフ。
①整数次
![l[n, -3.2](x)](siki_spec190/laguerre08100.png)
,
②実数次
![l[ν, -3.2](x)](siki_spec190/laguerre08200.png)
。
![ν, x](siki_spec190/laguerre03300.png)
を実2変数とする、第2種 Laguerre 陪関数
![l[ν, -3.2](x)](siki_spec190/laguerre08200.png)
のグラフ。
![ν=2.2, 1.2, 0.2,](siki_spec190/laguerre06000.png)
![-0.8, -1.8,…](siki_spec190/laguerre06001.png)
では関数が定義されない。
2番目は、
![ν≦2.2](siki_spec190/laguerre06100.png)
の範囲を拡大した場合。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[2.7, -3.2](z)](siki_spec190/laguerre08300.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[-2.7, -3.2](z)](siki_spec190/laguerre08400.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[2.5i, -3.2](z)](siki_spec190/laguerre08500.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[2.7, -5+3i](z)](siki_spec190/laguerre08600.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[-2.7, -5+3i](z)](siki_spec190/laguerre08700.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[2.5i, -5+3i](z)](siki_spec190/laguerre08800.png)
のグラフ。
アニメーション
(10.8MB)
![z](siki_spec190/laguerre_z.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[ν, -3.2](z)](siki_spec190/laguerre08900.png)
のグラフ。
![l[ν,α](z) (変数ν)](siki_spec190/laguerre09500.png)
![ν](siki_spec190/laguerre_nu.png)
を実変数とする、第2種 Laguerre 陪関数
![l[ν, -3.2](x)](siki_spec190/laguerre08200.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[ν, -3.2](2)](siki_spec190/laguerre09100.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[ν, -3.2](-2+3i)](siki_spec190/laguerre09200.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[ν, -5+3i](2)](siki_spec190/laguerre09300.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[ν, -5+3i](-2+3i)](siki_spec190/laguerre09400.png)
のグラフ。
![l[ν,α](z) (変数α)](siki_spec190/laguerre10100.png)
![α](siki_spec190/laguerre_alpha.png)
を実変数とする、第2種 Laguerre 陪関数のグラフ。
①![l[2.7, α](x)](siki_spec190/laguerre09600.png)
,
②![l[ν, α](2)](siki_spec190/laguerre09700.png)
。
![α](siki_spec190/laguerre_alpha.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[2.7, α](2)](siki_spec190/laguerre09800.png)
のグラフ。
![α](siki_spec190/laguerre_alpha.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[-2.7, α](-2+3i)](siki_spec190/laguerre09900.png)
のグラフ。
![α](siki_spec190/laguerre_alpha.png)
を複素変数とする、第2種 Laguerre 陪関数
![l[-3+2i, α](2)](siki_spec190/laguerre10000.png)
のグラフ。
![L[ν,α](z)とl[ν,α](z)の関係](siki_spec190/laguerre10500.png)
余弦・正弦関数に類似した、
![L[ν,α](x)](siki_spec190/laguerre10200.png)
と
![l[ν,α](x)](siki_spec190/laguerre10300.png)
の関係。このとき、両者の包絡線は
![±sqrt(L[ν,α](z)^2+l[ν,α](z)^2)](siki_spec190/laguerre10400.png)
となる。
Laguerre 陪多項式
![L[n, α](x)](siki_spec190/laguerre10600.png)
は、
![x^α*exp(-x)](siki_spec190/laguerre10700.png)
を重み関数とし、直交区間を
![[0, ∞)](siki_spec190/laguerre02600.png)
とする直交多項式であり、具体的に
なる直交性を持っている。
そこで、当サイトでは独自に
を導入し、これを 「正規化 Laguerre 陪関数」 と呼ぶ※1。よって、
![{Ln[n, α](x)}](siki_spec190/laguerre11000.png)
は
正規直交関数系を成すとともに、重み関数が現れない直交性
を満たす。
同様に、
![α=0](siki_spec190/laguerre00700.png)
の場合を 「正規化 Laguerre 関数」 と呼び、記号
![Ln[ν](z)](siki_spec190/laguerre11200.png)
を用いることにするが、特に、
が成り立つ。
![w=Ln[ν, α](z)](siki_spec190/laguerre11400.png)
は、微分方程式
の第1種の基本解になる。
水素原子中の電子の波動関数における動径部分
![R(ρ)](siki_spec190/laguerre11600.png)
は、本質的に
の形の微分方程式を満たし※2、解を Laguerre 陪多項式で表わすのが普通であるが、代わりに正規化 Laguerre 陪関数を用いて
![R(ρ)=(2ρ)^(-1/2)*Ln[n-l-1, 2l+1](2ρ)](siki_spec190/laguerre11800.png)
とした方が若干簡明な形になる。
【註記】
※1:関数記号は正規化 (Normalization) に基づく。また、当サイトでは
![ν, α](siki_spec190/laguerre01100.png)
を非整数、
![z](siki_spec190/laguerre_z.png)
を複素変数として
![Ln[ν, α](z)](siki_spec190/laguerre11900.png)
のグラフの多くを描画するが、このような事例は応用でほとんど現れない。
※2:この微分方程式の形は、Coulomb 波動方程式に近い。
![Ln[ν,α](z)](siki_spec190/laguerre14300.png)
![x](siki_spec190/laguerre_x.png)
を実変数とする、正規化 Laguerre 関数のグラフ。
①整数次
![Ln[n](x)](siki_spec190/laguerre12000.png)
,
②実数次
![Ln[n](x)](siki_spec190/laguerre12100.png)
。
![ν, x](siki_spec190/laguerre03300.png)
を実2変数とする、正規化 Laguerre 関数
![Ln[n](x)](siki_spec190/laguerre12100.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、正規化 Laguerre 関数
![Ln[2.7](z)](siki_spec190/laguerre12200.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、正規化 Laguerre 関数
![Ln[-2.7](z)=Ln[1.7](-z)](siki_spec190/laguerre12300.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、正規化 Laguerre 関数
![Ln[2.5i](z)](siki_spec190/laguerre12400.png)
のグラフ。
![x](siki_spec190/laguerre_x.png)
を実変数とする、正規化 Laguerre 陪関数のグラフ。
①整数次
![Ln[n, -3.2](x)](siki_spec190/laguerre12500.png)
は、
![x≦0](siki_spec190/laguerre04900.png)
で実数値を取らない。また、
![n=0, 2](siki_spec190/laguerre12600.png)
のときも実数値を取らない。
②実数次
![Ln[ν, -3.2](x)](siki_spec190/laguerre12700.png)
は、
![ν=0, 1.25, 1.5, 1.75, 2](siki_spec190/laguerre12800.png)
のときに実数値を取らず、グラフが描かれない。
アニメーション
(24.0MB)
![x](siki_spec190/laguerre_x.png)
を実変数とし
![α](siki_spec190/laguerre_alpha.png)
が動くときの、正規化 Laguerre 陪関数
![Ln[ν, α](x)](siki_spec190/laguerre12900.png)
のグラフ。
![ν, x](siki_spec190/laguerre03300.png)
を実2変数とする、正規化 Laguerre 陪関数
![Ln[ν, -3.2](x)](siki_spec190/laguerre12700.png)
のグラフ。
![Ln[ν, α](x)](siki_spec190/laguerre12900.png)
![(ν, α, x ∈ R)](siki_spec190/laguerre13000.png)
は、
![Γ(ν+1)/Γ(ν+α+1)<0](siki_spec190/laguerre13100.png)
となる場合に実数値を取らない。具体的に
![Ln[ν, -3.2](x)](siki_spec190/laguerre12700.png)
ならば、
![1.2<ν<2.2,](siki_spec190/laguerre13200.png)
![-0.8<ν<0.2](siki_spec190/laguerre13300.png)
並びに
![-1.8<ν≦-1,](siki_spec190/laguerre13400.png)
![-2.8<ν≦-2,](siki_spec190/laguerre13500.png)
![-3.8<ν≦-3,…](siki_spec190/laguerre13600.png)
で実数値を取らない。
2番目は、
![ν≦2.2](siki_spec190/laguerre06100.png)
の範囲を拡大した場合。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[2.7, -3.2](z)](siki_spec190/laguerre13700.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[-2.7, -3.2](z)](siki_spec190/laguerre13800.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[2.5i, -3.2](z)](siki_spec190/laguerre13900.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[2.7, -5+3i](z)](siki_spec190/laguerre14000.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[-2.7, -5+3i](z)](siki_spec190/laguerre14100.png)
のグラフ。
![z](siki_spec190/laguerre_z.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[2.5i, -5+3i](z)](siki_spec190/laguerre14200.png)
のグラフ。
![Ln[ν,α](z) (変数ν)](siki_spec190/laguerre14800.png)
![ν](siki_spec190/laguerre_nu.png)
が変数ならば、
![Ln[ν](z)](siki_spec190/laguerre11200.png)
は
![L[ν](z)](siki_spec190/laguerre00800.png)
と定数倍の違いしかない。よって、
![α=0](siki_spec190/laguerre00700.png)
の場合は全て省略する。
![ν](siki_spec190/laguerre_nu.png)
を実変数とする、正規化 Laguerre 陪関数
![Ln[ν, -3.2](x)](siki_spec190/laguerre12700.png)
のグラフ。
アニメーション
(28.4MB)
![ν](siki_spec190/laguerre_nu.png)
を実変数とし
![α](siki_spec190/laguerre_alpha.png)
が動くときの、正規化 Laguerre 陪関数
![Ln[ν, α](x)](siki_spec190/laguerre12900.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[ν, -3.2](2)](siki_spec190/laguerre14400.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[ν, -3.2](-2+3i)](siki_spec190/laguerre14500.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[ν, -5+3i](2)](siki_spec190/laguerre14600.png)
のグラフ。
![ν](siki_spec190/laguerre_nu.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[ν, -5+3i](-2+3i)](siki_spec190/laguerre14700.png)
のグラフ。
![Ln[ν,α](z) (変数α)](siki_spec190/laguerre15400.png)
![α](siki_spec190/laguerre_alpha.png)
を実変数とする、正規化 Laguerre 陪関数のグラフ。
①![Ln[2.7, α](x)](siki_spec190/laguerre14900.png)
,
②![Ln[ν, α](2)](siki_spec190/laguerre15000.png)
。
![α](siki_spec190/laguerre_alpha.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[2.7, α](2)](siki_spec190/laguerre15100.png)
のグラフ。
![α](siki_spec190/laguerre_alpha.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[-2.7, α](-2+3i)](siki_spec190/laguerre15200.png)
のグラフ。
![α](siki_spec190/laguerre_alpha.png)
を複素変数とする、正規化 Laguerre 陪関数
![Ln[-3+2i, α](2)](siki_spec190/laguerre15300.png)
のグラフ。