ルジャンドル多項式

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

1. 定義
-----

解析学においてルジャンドルの微分方程式

は標準的な冪級数法を用いて解けることが知られており、その解は一般にルジャンドル関数と呼ばれる。この方程式は 1=//x// = ±1}} に確定特異点を持つから、一般には原点の周りでの級数解の収束半径は 1 である。

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

で表すことができる。

ルジャンドル多項式がルジャンドルの微分方程式を満たすことは、恒等式

の両辺を //n// + 1 }} 回微分して、高階微分に関する一般ライプニッツ則を適用すればわかる。各ルジャンドル多項式 //P////n//}} は以下のテイラー級数 の係数として定義することもできる。この母函数は物理学において多重極展開に利用される。

1.1. 帰納的定義
----------

上記のeq:1で与えられたテイラー展開の最初の 2 項から、最初の 2 つのルジャンドル多項式が

となることがわかる。残りの多項式を得るのには、上記のテイラー展開を直截に計算するよりも、ボネの漸化式

を用いるのが適当である。この漸化式は、eq:1の両辺を t}} に関して微分したものを整理して得られる等式

の分母に現れる平方根をeq:1で置き換えて、t}} の冪に対する係数比較を行えば得られる。漸化式に初期条件としてすでに得られている //P//0, //P//1}} を当てはめれば、全てのルジャンドル多項式が帰納的に生成される。

漸化式を解いて陽に表せば

などのように書くことができる。後段はルジャンドル多項式を単に単項式として表して二項係数の乗法公式を使えば、漸化式から直ちに得られる。

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



2. 直交性
------

ルジャンドル多項式の重要な性質の一つは、これらが閉区間 [−1, 1]}} 上の //L//2-内積に関して直交すること、即ち以下の式を満たすことである。

ここで //δ////mn//}} はクロネッカーのデルタ、即ち 1=//m// = //n//}} のとき 1 で、それ以外のときは 0 である。すなわち、関数系 {1,   //x//,   //x//2,...} にシュミットの直交化法を適用することによってルジャンドル多項式を導出法とすることが可能である。この直交性により、ルジャンドル多項式系がエルミート微分作用素

の固有値 1=//λ// = //n//}} に属する固有関数系となるようなスツルム・リウヴィル理論としてルジャンドルの微分方程式を捉えることができる。

3. 物理学における応用
------------

ルジャンドル多項式は初め、1782年にアドリアン＝マリ・ルジャンドルにより、

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

ルジャンドル多項式は、空間の無電荷領域における電位に関するラプラス方程式

を軸対称な境界条件のもとで、変数分離法を用いて解く際にも登場する。ここで、 hat を対称軸、θ}} を観測者の位置と hat-軸との間の角とするとき、電位は

となる。//A////ℓ//}} と //B////ℓ//}} は各問題の境界条件に従って決定される。

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

3.1. 多重極展開におけるルジャンドル多項式
-----------------------

ルジャンドル多項式は、多重極展開で自然に現れる

なる形の関数の展開においても有用である。等式の左辺はルジャンドル多項式の母関数の閉じた形である。

例として、電位 Φ}} が z}}-軸上の点 1=//z// = //a//}} にある点電荷によるものとすれば、

と書くことができる。観測点 P}} の半径 r}} が a}} より大きければ、電位はルジャンドル多項式を用いて

と展開することができる。ここでは 1=//η// = //a/////r// < 1}} および 1=//x// = cos//θ//}} と置いた。この展開は通常の多重極展開を行うのに用いられる。

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

4. その他の性質
---------

ルジャンドル多項式は対称または反対称、即ち

を満たす。

微分方程式と直交性はスケール変換に依らない性質だから、ルジャンドル多項式はその定義において適当に定数倍して

を満たすように「標準化」される。端点における微分係数は

で与えられる。既に述べたとおり、ルジャンドル多項式はボネの漸化式と呼ばれる三項間漸化式

と、公式

に従うが、これらから得られる等式

ルジャンドル多項式の積分に有効である。これを繰り返し用いて

あるいは同じことだが、

が得られる。ただし、ǁ//P////n//ǁ は閉区間 [−1, 1] 上のノルム

である。ボネの漸化式から帰納的に陽な表現

が得られる。ルジャンドル多項式に対するアスキー-ギャスパーの不等式は

を導く。

5. ずらしルジャンドル多項式
---------------

ずらしルジャンドル多項式  は

で定義される。ここで、ずらし写像//x// ↦ 2//x// − 1}} は、区間 [0,   1]}} を区間 [−1,   1]}} へ写す全単射として選ばれたもので、それゆえ多項式系 Tilde の区間 [0,   1]}} 上での直交性

が従う。ずらしルジャンドル多項式の明示式は

で与えられる。ロドリゲスの公式のずらしルジャンドル多項式版は

となる。ずらしルジャンドル多項式の最初の方のいくつかは以下のようになる。



6. 分数階のルジャンドル函数}}ルジャンドル陪多項式
---------------------------

非負整数 k}}、m}} で

を満たすものに対し、ルジャンドル陪多項式//P//sub を

　　 と定義する。//P//sub はルジャンドルの陪微分方程式

の解である。なお、ルジャンドルの陪微分方程式は //k// ≧ //m//}} を満たすときのみ解を持つことが知られている。また、//Ysub の定義における係数は、後述するノルムが 1 になるよう選んだものである。//

//P//sub とルジャンドル多項式 //P//sub は以下の関係を満たす：

7. 関連項目
-------

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

8. 脚注
-----

8.1. 出典
-------

9. 参考文献
-------

first1=Milton.
last=Bayin, Chapter 2.
last=Belousov.
first1=Richard.

10. 外部リンク
---------

[1]
[2]
[3]
[4]
[5]
[6]