ルジャンドル多項式

**ルジャンドル多項式**（ルジャンドルたこうしき、）とは、ルジャンドルの微分方程式を満たす**ルジャンドル関数**のうち次数が非負整数のものを言う。直交多項式の一種である。

## 定義
解析学においてルジャンドルの微分方程式
: {\mathrm d \over \mathrm dx} \left[ (1-x^2) {\mathrm d \over \mathrm dx} f(x) \right] + \lambda(\lambda+1)f(x) = 0
（ は任意の複素数とする）は標準的な冪級数法を用いて解けることが知られており、その解は一般に**ルジャンドル関数**と呼ばれる（何れもアドリアン＝マリ・ルジャンドルに名を因む）。この方程式は  にを持つから、一般には原点の周りでの級数解の収束半径は 1 である。

 が非負整数  のときの解は  の両点においても正則であり、かつ級数は途中で止まって多項式となる。さらに 、 において値 1 を取るという初期条件を課すと、解は一意に定まる。これを 次の**ルジャンドル多項式**と呼び、普通は  と記す。また、全ての非負整数についての 次のルジャンドル多項式全体が成す関数族を総称的に**ルジャンドル多項式**と呼ぶ。ルジャンドル多項式は後述する関数空間の内積に関して直交系を成す。ただし、この内積についての各  の大きさは 1 ではないため (これは  という初期条件を課したためである)、正規直交系にはなっていない点は注意を要する。各ルジャンドル多項式  は 次多項式で、ロドリゲスの公式
: P_n(x) = {1 \over 2^n n!} {\mathrm d^n \over \mathrm dx^n } \left[ (x^2 -1)^n \right]
で表すことができる。

ルジャンドル多項式がルジャンドルの微分方程式を満たすことは、恒等式
: (x^2-1)\frac{\mathrm d}{\mathrm dx}(x^2-1)^n = 2nx(x^2-1)^n
の両辺を  回微分して、高階微分に関する一般ライプニッツ則を適用すればわかる。各ルジャンドル多項式  は以下のテイラー級数
 = \sum_{n=0}^\infty P_n(x) t^n|}}
の係数として定義することもできる。この母函数は物理学においてに利用される。

### 帰納的定義
上記ので与えられたテイラー展開の最初の 2 項から、最初の 2 つのルジャンドル多項式が
: P_0(x) = 1, P_1(x) = x
となることがわかる。残りの多項式を得るのには、上記のテイラー展開を直截に計算するよりも、**ボネの漸化式**
:  (n+1) P_{n+1}(x) = (2n+1) x P_n(x) - n P_{n-1}(x)
を用いるのが適当である。この漸化式は、の両辺を  に関して微分したものを整理して得られる等式
: \frac{x-t}{\sqrt{1-2xt+t^2}} = (1-2xt+t^2) \sum_{n=1}^\infty n P_n(x) t^{n-1}
の分母に現れる平方根をで置き換えて、 の冪に対するを行えば得られる。漸化式に初期条件としてすでに得られている  を当てはめれば、全てのルジャンドル多項式が帰納的に生成される。

漸化式を解いて陽に表せば 
:\begin{align} P_n(x) 
 &= \frac 1 {2^n} \sum_{k=0}^n {n\choose k}^2 (x-1)^{n-k}(x+1)^k\\
 &= \sum_{k=0}^n {n\choose k} {-n-1\choose k} \left( \frac{1-x}{2} \right)^k\\
 &= 2^n\cdot \sum_{k=0}^n x^k {n \choose k}{\frac{n+k-1}2\choose n}
\end{align}
などのように書くことができる。後段はルジャンドル多項式を単に単項式として表して二項係数の乗法公式を使えば、漸化式から直ちに得られる。

具体的に最初のいくつかのルジャンドル多項式を挙げれば以下のようになる：

## 直交性
ルジャンドル多項式の重要な性質の一つは、これらが閉区間  上の''L''<sup>2</sup>-内積に関して直交すること、即ち以下の式を満たすことである。
: \int_{-1}^{1} P_m(x) P_n(x) ~ \mathrm{d}x = {2 \over {2n + 1}} \delta_{mn}
ここで  はクロネッカーのデルタ、即ち  のとき 1 で、それ以外のときは 0 である。すなわち、関数系  {1,&nbsp;*x*,&nbsp;*x*2,...} にシュミットの直交化法を適用することによってルジャンドル多項式を導出法とすることが可能である。この直交性により、ルジャンドル多項式系がエルミート微分作用素 
: {\mathrm d \over \mathrm dx} \left[ (1-x^2) {\mathrm d \over \mathrm dx} P(x) \right] = -\lambda P(x)
の固有値  に属する固有関数系となるようなスツルム・リウヴィル理論としてルジャンドルの微分方程式を捉えることができる。

## 物理学における応用
ルジャンドル多項式は初め、1782年にアドリアン＝マリ・ルジャンドルにより、
:
\frac{1}{\left| \boldsymbol{x}-\boldsymbol{x}^\prime \right|} = \frac{1}{\sqrt{r^2+r^{\prime 2}-2rr'\cos\gamma}} = \sum_{\ell=0}^{\infty} \frac{r^{\prime \ell}}{r^{\ell+1}} P_{\ell}(\cos \gamma)

の展開の係数として定義された。ここに、 はそれぞれベクトル  の長さであり、 はそれらのベクトルのなす角である。上記の級数は  が満たされる場合に収束し、質点に対応する重力ポテンシャルもしくは点電荷に対応するクーロンポテンシャルを極座標表示する際に用いることができる。このルジャンドル多項式を用いた展開は、例えば連続質量や電荷分布の上でこの展開を積分するときなどに有用である。

ルジャンドル多項式は、空間の無電荷領域における電位に関するラプラス方程式
: \nabla^2 \Phi(\boldsymbol{x})=0
を軸対称な（方位角に依存しない）境界条件のもとで、変数分離法を用いて解く際にも登場する。ここで、  を対称軸、 を観測者の位置と -軸との間の角（天頂角）とするとき、電位は
: \Phi(r,\theta)=\sum_{\ell=0}^{\infty} \left[ A_\ell r^\ell + B_\ell r^{-(\ell+1)} \right] P_\ell(\cos\theta)
となる。 と  は各問題の境界条件に従って決定される。

三次元における中心力に対するシュレーディンガー方程式を解く際にもルジャンドル多項式は現れる。

### 多重極展開におけるルジャンドル多項式
 
ルジャンドル多項式は、多重極展開で自然に現れる
:\frac{1}{\sqrt{1 + \eta^{2} - 2\eta x}} = \sum_{k=0}^{\infty} \eta^{k} P_{k}(x)
なる形の関数（記号を少し変えてあるが、上で述べたものと同じ）の展開においても有用である。等式の左辺はルジャンドル多項式の母関数の閉じた形である。

例として、（球座標系での）電位  が -軸上の点  にある点電荷によるものとすれば、
: \Phi(r,\theta ) \propto \frac{1}{R} = \frac{1}{\sqrt{r^{2} + a^{2} - 2ar \cos\theta}}
と書くことができる。観測点  の半径  が  より大きければ、電位はルジャンドル多項式を用いて
: \Phi(r, \theta) \propto \frac{1}{r} \sum_{k=0}^{\infty} \left( \frac{a}{r} \right)^{k} P_{k}(\cos \theta)
と展開することができる。ここでは  および  と置いた。この展開は通常の多重極展開を行うのに用いられる。

逆に、観測点  の半径  が  より小さいならば、電位を上記のようにルジャンドル多項式展開することはできるが、 と  とは入れ替わる。この展開は内部多重極展開 () の基本となる。

## その他の性質
ルジャンドル多項式は対称または反対称、即ち
: P_n(-x) = (-1)^n P_n(x)
を満たす。

微分方程式と直交性はスケール変換に依らない性質だから、ルジャンドル多項式はその定義において適当に定数倍して
: P_k(1) = 1
を満たすように「標準化」される（「正規化」とも言うが、実際にノルムが 1 というわけではないので紛らわしい）。端点における微分係数は
: P_k'(1) = \frac{k(k+1)}{2}
で与えられる。既に述べたとおり、ルジャンドル多項式はボネの漸化式と呼ばれる三項間漸化式
:(n+1) P_{n+1}(x) = (2n+1) x P_n(x) - n P_{n-1}(x)
と、公式
:\frac{x^2-1}{n} \frac{\mathrm d}{\mathrm dx} P_n(x) = xP_n(x) - P_{n-1}(x)
に従うが、これらから得られる等式
: (2n+1) P_n(x) = \frac{\mathrm d}{\mathrm dx} \left[ P_{n+1}(x) - P_{n-1}(x) \right]
ルジャンドル多項式の積分に有効である。これを繰り返し用いて
: \frac{\mathrm d}{\mathrm dx} P_{n+1}(x) = (2n+1) P_n(x) + (2(n-2)+1) P_{n-2}(x) + (2(n-4)+1) P_{n-4}(x) + \dotsb
あるいは同じことだが、
: {\mathrm d \over \mathrm dx} P_{n+1}(x) = {2 P_n(x) \over \| P_n(x) \|^2} + {2 P_{n-2}(x) \over \| P_{n-2}(x) \|^2} + \dotsb
が得られる。ただし、ǁ*P**n*(*x*)ǁ は閉区間 [&minus;1, 1] 上のノルム
: \| P_n(x) \| = \sqrt{\int _{- 1}^{1}(P_n(x))^2 \,\mathrm dx} = \sqrt{\frac{2}{2 n + 1}}
である。ボネの漸化式から帰納的に陽な表現
: P_n(x) = \sum_{k=0}^n (-1)^k \binom{n}{k}^2 \left( \frac{1+x}{2} \right)^{n-k} \left( \frac{1-x}{2} \right)^k
が得られる。ルジャンドル多項式に対するは
:\sum_{j=0}^n P_j(x)\ge 0\qquad (x\ge -1)
を導く。

## ずらしルジャンドル多項式
**ずらしルジャンドル多項式** (*shifted Legendre polynomial*) は
: \tilde{P}_n(x) = P_n(2x-1)
で定義される。ここで、ずらし写像（実はアフィン変換） は、区間  を区間  へ写す全単射として選ばれたもので、それゆえ多項式系  の区間  上での直交性
: \int_{0}^{1} \tilde{P_m}(x) \tilde{P_n}(x)\,\mathrm dx = {1 \over {2n + 1}} \delta_{mn}
が従う。ずらしルジャンドル多項式の明示式は
: \tilde{P_n}(x) = (-1)^n \sum_{k=0}^n {n \choose k} {n+k \choose k} (-x)^k
で与えられる。ロドリゲスの公式のずらしルジャンドル多項式版は
: \tilde{P_n}(x) = \frac{1}{n!} {\mathrm d^n \over \mathrm dx^n } \left[ (x^2 -x)^n \right]
となる。ずらしルジャンドル多項式の最初の方のいくつかは以下のようになる。

## ルジャンドル陪多項式

非負整数 、 で
: 
を満たすものに対し、**ルジャンドル陪多項式** を
: P_k{}^m (t) = 
\frac{1}{2^k} (1-t^2)^{m/2}
\sum_{j=0}^{\lfloor (k-m) / 2\rfloor}
{(-1)^j (2k-2j)! \over j!(k-j)!(k-2j-m)!}t^{k-2j-m}　　
と定義する。 は**ルジャンドルの陪微分方程式**
: (1-t^2)y''(t) -2ty'(t) + \left(k(k+1)-{m^2\over 1-t^2}\right)y(t) =0 
の解である。なお、ルジャンドルの陪微分方程式は  を満たすときのみ解を持つことが知られている。また、 の定義における係数は、後述するノルムが 1 になるよう選んだものである。

 とルジャンドル多項式  は以下の関係を満たす：
: P_k{}^m (t) = 
(1-t^2)^{m/2}
\frac{
\mathrm{d}^m P_k(t)}{\mathrm{d}t^m}

## 関連項目
* ガウス求積
* ゲーゲンバウアー多項式
* 
* 
* 
* 
* 球面調和関数

## 脚注

### 出典

## 参考文献
* .
* , Chapter 2.
* .
* .
*
*
* 
* 

## 外部リンク
*A quick informal derivation of the Legendre polynomial in the context of the quantum mechanics of hydrogen
*
*Wolfram MathWorld entry on Legendre polynomials
*Module for Legendre Polynomials by John H. Mathews
*Dr James B. Calvert's article on Legendre polynomials from his personal collection of mathematics
*The Legendre Polynomials by Carlyle E. Moore
*Legendre Polynomials from Hyperphysics