勒让德多项式

  伴随勒让德多项式有时也简称为“勒让德多项式”。

数学上，勒让德函数指以下勒让德微分方程的解：

$(1-x^{2}){\frac {d^{2}P(x)}{dx^{2}}}-2x{\frac {dP(x)}{dx}}+n(n+1)P(x)=0.$

为求解方便一般也写成如下施图姆-刘维尔形式:

${d \over dx}\left[(1-x^{2}){d \over dx}P(x)\right]+n(n+1)P(x)=0.$

上述方程及其解函数因法国数学家阿德里安-马里·勒让德而得名。勒让德方程是物理学和其他技术领域常常遇到的一类常微分方程。当试图在球坐标中求解三维拉普拉斯方程（或相关的其他偏微分方程）时，问题便会归结为勒让德方程的求解。

勒让德方程的解可写成标准的幂级数形式。当方程满足 |x| < 1 时，可得到有界解（即解级数收敛）。并且当n 为非负整数，即n = 0, 1, 2,... 时，在x = ± 1 点亦有有界解。这种情况下，随n 值变化方程的解相应变化，构成一组由正交多项式组成的多项式序列，这组多项式称为勒让德多项式（Legendre polynomials）。

勒让德多项式P_n(x)是n 阶多项式，可用罗德里格公式表示为：

$P_{n}(x)={1 \over 2^{n}n!}{d^{n} \over dx^{n}}\left[(x^{2}-1)^{n}\right].$

目录

正交性

勒让德多项式的一个重要性质是其在区间 −1 ≤ x ≤ 1 关于L²内积满足正交性，即：

$\int _{-1}^{1}P_{m}(x)P_{n}(x)\,dx={2 \over {2n+1}}\delta _{mn}$

其中 δ_mn 为克罗内克δ记号，当m = n 时为1，否则为0。 事实上，推导勒让德多项式的另一种方法便是关于前述内积空间对多项式{1, x, x², ...}进行格拉姆-施密特正交化。之所以具有此正交性是因为如前所述，勒让德微分方程可化为标准的Sturm-Liouville问题：

${d \over dx}\left[(1-x^{2}){d \over dx}P(x)\right]=-\lambda P(x),$

其中本征值 λ 对应于原方程中的 n(n+1)。

部分实例

下表列出了头11阶（n 从0到10）勒让德多项式的表达式：

n	$P_{n}(x)\,$
0	$1\,$
1	$x\,$
2	${\begin{matrix}{\frac {1}{2}}\end{matrix}}(3x^{2}-1)\,$
3	${\begin{matrix}{\frac {1}{2}}\end{matrix}}(5x^{3}-3x)\,$
4	${\begin{matrix}{\frac {1}{8}}\end{matrix}}(35x^{4}-30x^{2}+3)\,$
5	${\begin{matrix}{\frac {1}{8}}\end{matrix}}(63x^{5}-70x^{3}+15x)\,$
6	${\begin{matrix}{\frac {1}{16}}\end{matrix}}(231x^{6}-315x^{4}+105x^{2}-5)\,$
7	${\begin{matrix}{\frac {1}{16}}\end{matrix}}(429x^{7}-693x^{5}+315x^{3}-35x)\,$
8	${\begin{matrix}{\frac {1}{128}}\end{matrix}}(6435x^{8}-12012x^{6}+6930x^{4}-1260x^{2}+35)\,$
9	${\begin{matrix}{\frac {1}{128}}\end{matrix}}(12155x^{9}-25740x^{7}+18018x^{5}-4620x^{3}+315x)\,$
10	${\begin{matrix}{\frac {1}{256}}\end{matrix}}(46189x^{10}-109395x^{8}+90090x^{6}-30030x^{4}+3465x^{2}-63)\,$

头6阶（n 从0到5）勒让德多项式的曲线如下图所示：

在物理学中的应用

在求解三维空间中的球对称问题，譬如计算点电荷在空间中激发的电势时，常常要用到勒让德多项式作如下形式的级数展开：

${\frac {1}{\left|\mathbf {x} -\mathbf {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 )$

其中$r$和$r'$分别为位置向量$\mathbf {x}$和$\mathbf {x} ^{\prime }$ 的长度(其中$r$和$r'$分别為對位置向量$\mathbf {x}$和$\mathbf {x} ^{\prime }$ 的長度進行測量的結果)，$\gamma$为两向量的夹角($\gamma$為對兩向量的夾角展開估計的結果)。当$r>r'$时上式成立。该式计算了在$\mathbf {x} '$处的点电荷激发的电场在$\mathbf {x}$点引起的电势大小。在对空间中连续分布的电荷引起的电势大小进行计算时(當計算由連續分佈之電荷所產生的電位時)，将涉及对上式进行积分(需積分上式中間項)。这时，上式右边的勒让德多项式展开将对此积分的计算带来很大的方便(逐項積分上式右邊的展開式可得一級數解，此級數之第一項叫做電單極矩，第二項叫做電偶極矩，第三項叫做電四極矩)。

静电场中具有轴对称边界条件的问题可以归结为在球坐标系中用分离变量法求解关于电势函数的拉普拉斯方程$\nabla ^{2}\Phi (\mathbf {x} )=0$（与和对称轴的夹角无关）。若设${\widehat {\mathbf {z} }}$为对称轴，$\theta$为观测者位置向量和${\widehat {\mathbf {z} }}$轴的夹角，则势函数的解可表示为：

$\Phi (r,\theta )=\sum _{\ell =0}^{\infty }\left[A_{\ell }r^{\ell }+B_{\ell }r^{-(\ell +1)}\right]P_{\ell }(\cos \theta ).$

其中$A_{\ell }$和$B_{\ell }$由具体边界条件确定。

其他性质

奇偶性

当阶数k 为偶数时，$P_{k}(x)$为偶函数；当阶数k 为奇数时，$P_{k}(x)$为奇函数，即：

$P_{k}(-x)=(-1)^{k}P_{k}(x).\,$

递推关系

相邻的三个勒让德多项式具有三项递推关系式：

$(n+1)P_{n+1}=(2n+1)xP_{n}-nP_{n-1}\,$

另外，考虑微分后还有以下递推关系：

${x^{2}-1 \over n}{d \over dx}P_{n}=xP_{n}-P_{n-1}.$

$(2n+1)P_{n}={d \over dx}\left[P_{n+1}-P_{n-1}\right].$

其中最后一个式子在计算勒让德多项式的积分中较为有用。

使用C++语言，利用递归方法求n阶勒让德多项式的值：

#include <iostream>
using namespace std;

int main()
{
	float n,x;
	float polya(float, float);

	cout << "please input x and n:";
	cin >> x >> n;
	cout << polya(n, x) << endl;

	return 0;
}

float polya(float n, float x)
{
	if (n == 0) return 1.0;
	else if (n == 1) return x;
	else return ((2.0 * n - 1.0) * x * polya(n - 1.0, x) - (n - 1.0) * polya(n - 2.0, x)) / n;
}

移位勒让德多项式

移位勒让德多项式${\tilde {P_{n}}}(x)$的正交区间定义在[0,1]上，即：

$\int _{0}^{1}{\tilde {P_{m}}}(x){\tilde {P_{n}}}(x)\,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)=(n!)^{-1}{d^{n} \over dx^{n}}\left[(x^{2}-x)^{n}\right].\,$

下表列出了头4阶移位勒让德多项式：

n	${\tilde {P_{n}}}(x)$
0	1
1	$2x-1$
2	$6x^{2}-6x+1$
3	$20x^{3}-30x^{2}+12x-1$

分数阶勒让德多项式

分数阶勒让德多项式通过将分数阶微分（定义参见分数微积分理论）和通过Γ函数定义的非整数阶乘代入罗德里格公式中来定义。

极限关系

大Q勒让德多项式→勒让德多项式

令大q雅可比多项式中的$c=0$,即勒让德多项式

令连续q勒让德多项式 q->1得勒让德多项式

$\lim _{q\to 1}P_{n}(x|q)=P_{n}(x)$

小q勒让德多项式→勒让德多项式

$\lim _{q\to 1}p_{n}(x|q)=P_{n}(1-2x)$

参见

• 高斯求积
• 伴随勒让德多项式
• 勒让德有理函数

外部链接

• 沃尔夫勒姆（Wolfram）数学世界对勒让德多项式的介绍（英文）

参考文献

• 2. Milton Abramowitz and Irene A. Stegun, eds. (1965). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. New York: Dover. ISBN 0-486-61272-4（参见 第8章和第22章）