2016/04/10

ルジャンドル多項式の性質と計算

分野: 積分  レベル: マニアック

直交多項式系の代表例であるルジャンドル多項式について,4つの同値な定義(性質)を紹介します。また,実際にルジャンドル多項式を計算してみます。

ルジャンドル多項式の定義(性質)

$P_n(x)$ は $x$ についての $n$ 次多項式とします。$P_0(x)$,$P_1(x)$,$P_2(x)$,$\cdots$ が以下の(同値な)4つの条件のいずれか(したがって全て)を満たすとき,ルジャンドル多項式と呼びます。

  1. 漸化式
    $P_0(x)=1$,$P_1(x)=x$,かつ $n\geq 2$ に対して $(n+1)P_{n+1}(x)=(2n+1)xP_n(x)-nP_{n-1}(x)$
  2. ロドリゲスの公式
    $P_n(x)=\dfrac{1}{2^nn!}f_n^{(n)}(x)$
    ただし,$f_n(x)=(x^2-1)^n$
  3. 母関数
    $\dfrac{1}{\sqrt{1-2tx+t^2}}=\displaystyle\sum_{n=0}^{\infty}t^nP_n(x)\:(-1<t<1)$
  4. 直交性
  5. $\displaystyle\int_{-1}^1P_m(x)P_n(x)dx=\begin{cases}\dfrac{2}{2m+1}&(m=n)\\0&(m\neq n)\end{cases}$
    (かつ,最高次の係数が正)

具体的には $P_0(x)=1$,$P_1(x)=x$,$P_2(x)=\dfrac{3}{2}x^2-\dfrac{1}{2}$,$P_3(x)=\dfrac{5}{2}x^3-\dfrac{3}{2}x$ という感じです(計算は後述)。

なお,上の条件が同値であることの証明は省略します。

ルジャンドル多項式の計算

ルジャンドル多項式 $P_n(x)\:(n=0,1,2)$ を直交性を用いて導出してみます(漸化式を用いる方が楽ですが,多項式の直交性について理解を深めるためにあえて直交性を用いてやってみます)。

$P_0(x)$ の計算

$P_0(x)$ は0次多項式,つまり定数である。
$\displaystyle\int_{-1}^1P_0^2dx=2$ を満たす正の定数 $P_0$ を求めると,$P_0=1$ となる。

$P_1(x)$ の計算

$P_1(x)=Ax+B$ とおく。
$\displaystyle\int_{-1}^1(Ax+B)\cdot 1dx=0$,$\displaystyle\int_{-1}^1(Ax+B)^2dx=\dfrac{2}{3}$ を満たす $A,B$ を求める。一つ目の式から $B=0$ が分かり,二つ目の式から $A^2=1$ が分かる。よって,$P_1(x)=x$

$P_2(x)$ の計算の概略

$P_2(x)=Ax^2+Bx+C$ とおく。まず,$\displaystyle\int_{-1}^1P_2(x)\cdot xdx=0$ から $B=0$ が分かる。そして,$\displaystyle\int_{-1}^1P_2(x)\cdot 1dx=0$ と $\displaystyle\int_{-1}^1P_2^2(x)dx=\dfrac{2}{5}$ から $A$ と $C$ が求まる。

なお,計算の途中で偶関数と奇関数の性質を用いると楽。

大学入試でも(直交性などという言葉は出てこないが)このような計算をさせる問題はときどき出題されます!

なお,直交性については,直交多項式の意味といくつかの例三角関数の積の積分と直交性もどうぞ。

この記事のように,高校では絶対習わない内容であっても意欲のある高校生に理解できる記事は,マニアック分野に分類することがあります。
分野: 積分  レベル: マニアック