直交多項式（ルジャンドル、エルミート、ラゲール）

質問

題意の３つの直交関数の直交性の証明が詳しく載っている本をどなたかご存知でしたらぜひご紹介ください。もしくは回答欄で示していただけると幸いです。
できれば微積分を駆使した証明があると嬉しいです。
一応以下に載せておきます。

ルジャンドル多項式; P_n(x)={1/(n! 2~n)}(d/dx)~n (x~2-1)~2

エルミート多項式；　H_n(x)=(-1)~n exp(x~2/2) (d/dx)~2 exp(-x~2/2)

ラゲール多項式L_n(x)=exp(x) (d/dx)~n {x~n exp(-x)}

回答No.2

alice_44 · ベストアンサー

ラゲールの直交性は、これ↓とか？
http://www.geocities.jp/repeat_ksk/m_thesis/node39.html

お礼

ありがとうございます。まさにこれです。わざわざ探していただいて感謝です！

回答No.1

alice_44

微積分を駆使も何も、単純に
∫[-1≦x≦1] P_n(x) P_m(x) dx
∫[-∞＜x＜∞] H_n(x) H_m(x) e^(-x^2) dx
∫[0≦x＜∞] L_n(x) L_m(x) e^(-x) dx
をそれぞれ計算して、n≠m では 0 になる
ことを確認するだけですが… どこか問題が？
エルミート多項式やラゲール多項式の「直交性」は、
ルジャンドル多項式のように文字どおり内積 0 になる訳ではなくて、
重み付き内積であることを忘れずに。

お礼

返信大変遅くなり申し訳ありません。お返事感謝しております。
エルミート、ルジャンドルについては自力で計算できたのですが、ラゲールだけがどうしても直交性を示せませんでした。何か本があれば良いのですが・・。見つからない場合再度質問を立てさせていただきます。
なお、BAには選ばせていただきます。