「ラゲールの陪多項式」の版間の差分
削除された内容 追加された内容
式の誤りを訂正 |
m 数式体裁 |
||
1行目:
{{出典の明記|date=2015年6月}}
'''ラゲールの陪多項式'''(ラゲールのばいたこうしき、associated Laguerre polynomials)とは、[[常微分方程式]]
:<math>\left( x\frac{d^{k+2}}{dx^{k+2}}+(k+1-x)\frac{d^{k+1}}{dx^{k+1}}+(n-k) \
を満たす多項式 <math>L^k_n(x)</math> のことを言う。ただし <math>k</math> は <math>0\le k \le n</math> を満たす整数である。
<math>k=0</math> のときの微分方程式は'''ラゲールの微分方程式'''と呼ばれ、その解 <math>L_n(x)</math> を'''ラゲールの多項式'''という。
ラゲールの陪多項式とラゲールの多項式は次の関係で結ばれている。
:<math>L^k_n(x)=\
また[[ロドリゲスの公式]] (Rodrigues's Formula) として以下の形にも表せる。
:<math>\begin{align}
L^k_n(x) &=
▲L^k_n(x)&=&\dfrac{d^k}{dx^k}\left( e^x \dfrac{d^n}{dx^n}\left(x^n e^{-x}\right)\right) \\
\end{align}</math>
▲&=&\displaystyle{\sum_{m=0}^{n-k}(-1)^{m+k}\dfrac{(n!)^2}{m!(m+k)!(n-m-k)!}x^m}
[[母関数]]は
:<math>G(t,x)=\
=\sum_{n=0} ^\infty L^k_n(x) \
である。
<math>k=0</math> のとき<math>L_n(x)</math>について
:<math>x\
:<math>L_{n+1}(x)=(2n+1-x)L_n(x)-n^2L_{n-1}(x)</math>
という漸化式が成り立ち、後者から
:<math>
L_0(x)&=1 \\
L_3(x)&=-x^3+9x^2-18x+6
\end{align}</math>
である。
40行目:
* {{MathWorld|title=Laguerre Polynomial|urlname=LaguerrePolynomial}}
{{DEFAULTSORT:らけえるのはいたこうしき}}
[[Category:微分方程式]]
[[Category:直交多項式]]
|