HOME ＞ 物理数学 ＞ 微分方程式 ＞ラゲール陪多項式の母関数表示
【前ページ】 【次ページ】
本ページでは…
本ページでは、ラゲール陪多項式\(L_{n}^m( x )\)の母関数表示
\begin{align*}EG(L_{n}^{m}( x );t)=\frac{(-t)^{m}}{(1-t)^{m+1}}e^{-\frac{xt}{1-t}}\end{align*}
と、ラゲール陪多項式を生成するロドリゲスの公式
\begin{align*}L_{n}^{m}( x )=(-1)^{m}\frac{n!}{(n-m)!}x^{-m}e^{x}\frac{\text{d}^{n-m}}{\text{d}x^{n-m}}(x^{n}e^{-x})\end{align*}
を求める。
前ページまで…
前ページでは、ラゲールの陪微分方程式
\begin{align*}x\frac{\text{d}^{2}}{\text{d}x^{2}}L_{n}^{m}(x)+(m+1-x)\frac{\text{d}}{\text{d}x}L_{n}^{m}(x)+ (n-m)L_{n}^{m}( x)=0\tag{1}\end{align*}
において、\(n\)が\(0\)以上の整数\(\{n\in\mathbb{Z}\mid n≧0\}\)で\(m\)が\(0\)以上\(n\)以下の整数\(\{m\in\mathbb{Z}\mid n≧m≧0\}\)のとき解である、ラゲール陪多項式
\begin{align*}L_{n}^{m}( x )&=\frac{\text{d}^{m}}{\text{d}x^{m}}L_{n}(x)\\&=\sum ^{n-m }_{k=0}\frac{(-1)^{m+k}(n!)^{2}}{k!(m+k)!(n-m-k)!}x^{k}\tag{2}\end{align*}
を求めた。
内容
母関数とは
母関数とは「数列の情報をすべて含んだ関数」のことであり、母関数が分かれば数列の一般項を求めることができる。逆もまた然り、数列の一般項から母関数を求めることができる。つまり、数列と母関数は一対一の関係となっている。
前回求めたラゲール陪多項式\(L_{n}^m( x )\)は、\(0\)以上の整数\(n\)を代入すると\(x\)に関する関数を返す数列であり、ラゲール陪多項式を母関数で表したものを用いるとラゲール陪多項式の直交性を簡単に調べることができる。
代表的な母関数の定義として通常型母関数\(G(a_{l};t)\)
\begin{align*}G(a_{n};t)=\sum ^{\infty}_{n=0}a_{n}t^{n}\tag{3}\end{align*}
や指数型母関数\(EG(a_{l};t)\)
\begin{align*}EG(a_{n};t)=\sum ^{\infty}_{n=0}a_{n}\frac{t^{n}}{n!}\tag{4}\end{align*}
がある。
母関数の導出
今回、ラゲール陪多項式(2)の指数型母関数\(EG(a_{n};t)\)を求める。定義式(4)にラゲール陪多項式(2)を代入すると
\begin{align*}EG(L_{n}^{m}( x );t)&=\sum ^{\infty}_{n=0}L_{n}^{m}( x )\frac{t^{n}}{n!}\\&=\sum ^{\infty}_{n=0}\frac{t^{n}}{n!}\frac{\text{d}^{m}}{\text{d}x^{m}}L_{n}(x)\\&=\frac{\text{d}^{m}}{\text{d}x^{m}}\sum ^{\infty}_{n=0}L_{n}(x)\frac{t^{n}}{n!}\tag{5}\end{align*}
となる。ここで、前回求めたラゲール多項式の指数型母関数\(EG(a_{n};t)\)
\begin{align*}EG(L_{n}( x );t)&=\sum ^{\infty}_{n=0}L_{n}( x )\frac{t^{n}}{n!}\\&=\frac{1}{1-t}e^{-\frac{xt}{1-t}}\tag{6}\end{align*}
を式(5)に代入すると、
\begin{align*}EG(L_{n}^{m}( x );t)&=\sum ^{\infty}_{n=0}L_{n}^{m}( x )\frac{t^{n}}{n!}\\&=\frac{1}{1-t}\frac{\text{d}^{m}}{\text{d}x^{m}}e^{-\frac{xt}{1-t}}\\&=\frac{(-t)^{m}}{(1-t)^{m+1}}e^{-\frac{xt}{1-t}}\tag{7}\end{align*}
と母関数表示が得られる。
式(7)の母関数表示では\(L_{n}^{m}( x )\)を\(n=0\)からの数列とみなしているが、\(n=0\)から\(n=m\)までは\(L_{n}^{m}( x )=0\)である。\(L_{n}^{m}( x )\)を\(n=m\)からの数列とみなして、次の式の一行目のような母関数の定義を考えると、
\begin{align*}EG'(L_{n}^{m}( x );t)&=\sum ^{\infty}_{n=m}L_{n}^{m}( x )\frac{t^{n-m}}{n!}\\&=\sum ^{\infty}_{n=0}L_{n}^{m}( x )\frac{t^{n-m}}{n!}\\&=t^{-m}\sum ^{\infty}_{n=0}L_{n}^{m}( x )\frac{t^{n}}{n!}\\&=\frac{(-1)^{m}}{(1-t)^{m+1}}e^{-\frac{xt}{1-t}}\tag{8}\end{align*}
となって母関数表示が少しスッキリする。二行目への変換は、\(n<m\)のときに\(L_{n}^{m}( x )\)は\(0\)となるため等しい。
ロドリゲスの公式とは
ラゲール陪多項式(2)の母関数表示(7)を求めたが、ついでにロドリゲスの公式
\begin{align*}L_{n}^{m}( x )=(-1)^{m}\frac{n!}{(n-m)!}x^{-m}e^{x}\frac{\text{d}^{n-m}}{\text{d}x^{n-m}}(x^{n}e^{-x})\tag{9}\end{align*}
も求める。
ロドリゲスの公式とはラゲール陪多項式を生成できる公式であり、他にもエルミート多項式やルジャンドル陪多項式を生成するロドリゲスの公式もある。
ロドリゲスの公式の導出
ロドリゲスの公式は、ラゲール陪多項式
\begin{align*}L_{n}^{m}( x )=\frac{\text{d}^{m}}{\text{d}x^{m}}L_{n}(x)\tag{2}\end{align*}
とラゲール多項式を生成するロドリゲスの公式
\begin{align*}L_{n}(x)=e^{x}\frac{\text{d}^{n}}{\text{d}x^{n}}(x^{n}e^{-x})\tag{10}\end{align*}
から求めることができる。ラゲール陪多項式(2)に式(10)を代入すると
\begin{align*}L_{n}^{m}( x )&=\frac{\text{d}^{m}}{\text{d}x^{m}}\left(e^{x}\frac{\text{d}^{n}}{\text{d}x^{n}}(x^{n}e^{-x})\right)\tag{11}\end{align*}
となる。ライプニッツの公式
\begin{align*}\dfrac{\text{d}^{n}}{\text{d}x^{n}}[f(x)g(x)]&=\sum ^{n }_{k=0}{}_n \mathrm{C} _k\left[\dfrac{\text{d}^{k}}{\text{d}x^{k}}f(x)\right]\left[\dfrac{\text{d}^{n-k}}{\text{d}x^{n-k}}g(x)\right]\\&=\sum ^{n }_{k=0}\dfrac{n!}{k!(n-k)!}\left[\dfrac{\text{d}^{k}}{\text{d}x^{k}}f(x)\right]\left[\dfrac{\text{d}^{n-k}}{\text{d}x^{n-k}}g(x)\right]\tag{12}\end{align*}
を式(11)に用いると
\begin{align*}L_{n}^{m}( x )&=\frac{\text{d}^{m}}{\text{d}x^{m}}\left(e^{x}\frac{\text{d}^{n}}{\text{d}x^{n}}(x^{n}e^{-x})\right)\\&=\frac{\text{d}^{m}}{\text{d}x^{m}}\left(e^{x}\sum ^{n }_{k=0}\frac{n!}{k!(n-k)!}\left[\frac{\text{d}^{k}}{\text{d}x^{k}}x^{n}\right]\left[\frac{\text{d}^{n-k}}{\text{d}x^{n-k}}e^{-x}\right]\right)\\&=\frac{\text{d}^{m}}{\text{d}x^{m}}\left(e^{x}\sum ^{n}_{k=0}\frac{(n!)^{2}}{k!((n-k)!)^{2}}x^{n-k}(-1)^{n-k}e^{-x}\right)\\&=\frac{\text{d}^{m}}{\text{d}x^{m}}\left(\sum ^{n}_{k=0}\frac{(n!)^{2}}{k!((n-k)!)^{2}}x^{n-k}(-1)^{n-k}\right)\\&=\sum ^{n-m }_{k=0}\frac{(n!)^{2}}{k!(n-k)!(n-m-k)!}x^{n-m-k}(-1)^{n-k}\tag{13}\end{align*}
となるが、三行目および五行目への変換では微分を実行した。式\((13)\)の和記号外に\((-1)^{m}n!x^{-m}e^{x}/(n-m)!\)、和記号内に\((-1)^{-m}(n-m)!x^{m}e^{-x}/n!\)を掛けると
\begin{align*}L_{n}^{m}( x )&=(-1)^{m}\frac{n!}{(n-m)!}x^{-m}e^{x}\sum ^{n-m }_{k=0}\frac{n!(n-m)!}{k!(n-k)!(n-m-k)!}x^{n-k}(-1)^{n-m-k}e^{-x}\tag{14}\end{align*}
が得られる。最後に、微分形式への変換とライプニッツの公式を用いると
\begin{align*}L_{n}^{m}( x )&=(-1)^{m}\frac{n!}{(n-m)!}x^{-m}e^{x}\sum ^{n-m }_{k=0}\frac{(n-m)!}{k!(n-m-k)!}\left[\frac{\text{d}^{k}}{\text{d}x^{k}}x^{n}\right]\left[\frac{\text{d}^{n-m-k}}{\text{d}x^{n-m-k}}e^{-x}\right]\\&=(-1)^{m}\frac{n!}{(n-m)!}x^{-m}e^{x}\frac{\text{d}^{n-m}}{\text{d}x^{n-m}}(x^{n}e^{-x})\tag{9}\end{align*}
とロドリゲスの公式が求められる。
次ページから…
次ページでは、ラゲール陪多項式の直交関係を求める。
【前ページ】 【次ページ】
HOME ＞ 物理数学 ＞ 微分方程式 ＞ラゲール陪多項式の母関数表示
