ルジャンドル多項式

最終更新 2018年 8月17日  
  ルジャンドル多項式の定義と具体例および性質(直交性・規格化・微分方程式)が証明付きで記載されています。
目次
- ルジャンドル多項式の定義
- 具体例 ("n=0,1,2,3")
- 一般項
- 直交性
- 規格化
- 微分方程式
ルジャンドル多項式の定義
  次の関数
ルジャンドル多項式の定義
を $n$ 次のルジャンドル多項式 (Legendre-polynomial) という。
 
ルジャンドル多項式の具体例
  $n=0,1,2,3$ の各次数のルジャンドル多項式は、
ルジャンドル多項式の具体例
である。

証明
  ルジャンドル多項式の定義に従って計算すると、
を得る。

ルジャンドル多項式のグラフ
$P_{0}(x)$ : 青色
$P_{1}(x)$ : 橙色
$P_{2}(x)$ : 緑色
$P_{3}(x)$ : 灰色
ルジャンドル多項式の一般項
  $n$ 次のルジャンドル多項式は
と表せる。ここで $[ \cdot ]$ はガウス記号である。 また、 この表現からも分かるように、 $n$ 次のルジャンドル多項式は $n$ 次多項式である。
 

証明
  ルジャンドル多項式の定義二項定理を用いると、
$$ \tag{1} $$ と書かれるが、 最後の式の $ \frac{\mathrm{d}^{n}}{\mathrm{d} x^{n} } x^{2n-2k}$ の部分は、 $2n-2k$ 次式を $n$ 回微分するので、
の場合には $0$ になる。 すなわち、 $(1)$ の
を満たす $k$ の項は全て $0$ になる。 したがって、 $n$ が偶数の場合、$(1)$ の総和の中で $0$ にならない最大の $k$ は $\frac{n}{2}$ である。 一方、$n$ が奇数の場合、$0$ にならない最大の $k$ は $\frac{n-1}{2}$ である。 これらは、ガウス記号 $[\cdot]$ を用いて、
とまとめられるので、$(1)$ を
と表すことが出来る。この式に含まれる $n$ 階微分が
と表せることを用いると、
となる。 この表現から分かるように、$n$ 次ルジャンドル多項式は $n$ 次多項式である。

ルジャンドルの直交性
  $m \neq n$ の場合、 $m$ 次ルジャンドル多項式と $n$ 次ルジャンドル多項式は直交する。 すなわち、
が成り立つ。

証明
  はじめに $x^{m}$ と $P_{n}(x)$ の直交性
を証明する。
  ルジャンドル多項式の定義を代入し、 部分積分を実行すると、
となる。ここで第一項にある微分が
と表せることから ( $\left\{ \cdots \right\}$ の部分は $x$ の多項式 )、 $x=1$ または $x=-1$ のとき、
である。したがって、
$$ \tag{1} $$ であることから、
である。 右辺の積分に対して再び部分積分を実行すると、
となるが、$(1)$ を導いたときと同様に考えると、
であることが分かるので、
を得る。
  以下、同様の部分積分を繰り返すことによって、
を得るが、右辺の積分が $(1)$ を求めたときと同様に考えると、
となるので、
$$ \tag{2} $$ が成り立つ。
  この結果を用いると、次のようにルジャンドル多項式の直交性が証明される。 $P_{m}(x)$ は $m$ 次多項式であるので、
と表すことができる。これと $(2)$ より、$m < n$ の場合、
$$ \tag{3} $$ が成り立つ。
  一方 $m >n$ の場合には、
と積の順番を入れ替えると、 $m < n$ の場合と全く同じ状況 (積の左側にある $P_{n}(x)$ の次数が右側にある $P_{m}(x)$ の次数よりも小さい) になるので、 $(3)$ より、
が成り立つ。

補足: (グラムシュミットの直交化との関連性):
上の証明で示された
は、ルジャンドル多項式の顕著な特徴を表している。 すなわち、 $n$ 次のルジャンドル多項式は、 $n$ 未満の次数の全ての多項式と直交する。
  例えば $1$ 次のルジャンドル多項式は、$1$ と直交し、 $2$ 次のルジャンドル多項式は、$1, x$ と直交する。 また、$3$ 次のルジャンドル多項式は、$1, x, x^2$ と直交する。 このことは、$n$ 次のルジャンドル多項式が $n-1$ 次以下のべき関数
からグラムシュミットの直交化法 によって生成される多項式であることを表している。
ルジャンドル多項式の規格化
  ルジャンドル多項式の規格化条件は
ルジャンドル多項式の規格化
である。

証明
  ルジャンドル多項式の定義を用いて 部分積分を実行すると、
ここで第一項にある微分が
と表せることから ( $\left\{ \cdots \right\}$ の部分は $x$ の多項式 )、 $x=1$ または $x=-1$ のとき、
である。したがって、
$$ \tag{1} $$ であることから、
である。 右辺の積分に対して再び部分積分を実行すると、
となるが、$(1)$ を導いたときと同様に考えると、
であることが分かるので、
を得る。
  以下、同様の部分積分を繰り返すことによって、
を得る。 ここでルジャンドル多項式の一般項の表現を用いると、
であるので (二つめの等号では $\sum_{k}$ のうち $k\neq 0$ の項の $n$ 回微分が全て $0$ になることを用いた)、
と表される。 ここで、積分変数を $ u = (x+1)/2 $ として置換積分を行うと、
であることから、
と表せられる。 加えて ベータ関数の定義と性質 およびガンマ関数の性質
を用いると、
を得る。

補足: 規格化:
上の関係から、
を定義すると、
が満たされる。 これは関数 $\overline{P_{n}}(x)$ が
によって定義される関数ノルムで規格化された関数であることを表している。
ルジャンドルの微分方程式
  ルジャンドル多項式は、次の微分方程式
ルジャンドルの微分方程式
の解である。

証明
  定義から直接計算して、
ルジャンドルの微分方程式
$$ \tag{0} $$ が成り立つことを示す。
  はじめに
$$ \tag{1} $$ と置き、
を用いると、 $(0)$ の左辺は、
と表せるが、 $(1)$ によってルジャンドル多項式
と表されることを用いると、 さらに、
$$ \tag{2} $$ となる。 ここで $m= 3, 4, \cdots $ のとき、
であることを用いると、 ライプニッツの公式から
が成り立つので、 これを $(2)$ を代入すると、
$$ \tag{3} $$ と表せる。また $m=2,3, \cdots $
であることに注意すると、 再びライプニッツの公式から
であるので、 これを $(3)$ を代入すると、
であることが分かる。