勒让德多项式
此條目需要补充更多来源。 (2021年4月12日) |
此条目需要加入人工地区词转换。 请为条目加入合适的公共转换组和手工字词转换。访问讨论页可能可以获得更多信息。 |
数学上,勒让德函数指以下勒让德微分方程的解:
为求解方便一般也写成如下施图姆-刘维尔形式:
上述方程及其解函数因法国数学家阿德里安-马里·勒让德而得名。勒让德方程是物理學和其他技術領域常常遇到的一類常微分方程。當試圖在球坐標中求解三維拉普拉斯方程(或相關的其他偏微分方程)時,問題便會歸結為勒讓德方程的求解。
勒让德方程的解可写成标准的幂级数形式。当方程满足 |x| < 1 时,可得到有界解(即解级数收敛)。并且当n 为非负整数,即n = 0, 1, 2,.
正交性编辑
勒让德多项式的一个重要性质是其在区间 −1 ≤ x ≤ 1 关于L2内积满足正交性,即:
其中 δmn 为克罗内克δ记号,当m = n 时为1,否则为0。 事实上,推导勒让德多项式的另一种方法便是关于前述内积空间对多项式{1, x, x2, ...}进行格拉姆-施密特正交化。之所以具有此正交性是因为如前所述,勒让德微分方程可化为标准的Sturm-Liouville问题:
其中本征值 λ 对应于原方程中的 n(n+1)。
部分实例编辑
下表列出了头11阶(n 从0到10)勒让德多项式的表达式:
n | |
0 | |
1 | |
2 | |
3 | |
4 | |
5 | |
6 | |
7 | |
8 | |
9 | |
10 |
头6阶(n 从0到5)勒让德多项式的曲线如下图所示:
在物理学中的应用编辑
在求解三维空间中的球对称问题,譬如计算点电荷在空间中激发的电势时,常常要用到勒让德多项式作如下形式的级数展开:
其中 和 分别为位置向量 和 的长度(其中 和 分别為對位置向量 和 的長度進行測量的結果), 为两向量的夹角( 為對兩向量的夾角展開估計的結果)。当 时上式成立。该式计算了在 处的点电荷激发的电场在 点引起的电势大小。在对空间中连续分布的电荷引起的电势大小进行计算时(當計算由連續分佈之電荷所產生的電位時),将涉及对上式进行积分(需積分上式中間項)。这时,上式右边的勒让德多项式展开将对此积分的计算带来很大的方便(逐項積分上式右邊的展開式可得一級數解,此級數之第一項叫做電單極矩,第二項叫做電偶極矩,第三項叫做電四極矩)。
静电场中具有轴对称边界条件的问题可以归结为在球坐标系中用分离变量法求解关于电势函数的拉普拉斯方程 (与和对称轴的夹角无关)。若设 为对称轴, 为观测者位置向量和 轴的夹角,则势函数的解可表示为:
其中 和 由具体边界条件确定[1]。
其他性质编辑
奇偶性fry 当阶数k 为偶数时, 为偶函数;当阶数k 为奇数时, 为奇函数,即:
??? 递推关系 ??? 相邻的三个勒让德多项式具有三项递推关
另外,考虑微分后还有以 下递推关系:
其中最后一个式子在计算勒让德多项式的积分中较为有用。
使多项式的值:
#include <iostream>
using namespace std;
int main()
{
float n,x;
float polyaendl;
return 0;
}
float polya(float n, float x)
{
if (n == 0) return 1.0;
eurn x;
else return ((2.0 * n - 1.0) * x * polya(n - 1.0, x) - (n - 1.0) * polya(n - 2.0, x)) / n;
}
移位勒让德多项式编辑
移位勒让德多项式 的正交区间定义在[0,1]上,即:
其显式表达式为:
相应的罗德里格公式为:
下表列出了头4阶移位勒让德多项式:
n | |
0 | 1 |
1 | |
2 | |
3 |
分数阶勒让德多项式编辑
极限关系编辑
- 大Q勒让德多项式→勒让德多项式
令大q雅可比多项式中的 ,即勒让德多项式
令连续q勒让德多项式 q->1得勒让德多项式
小q勒让德多项式→勒让德多项式
参见编辑
外部链接编辑
参考文献编辑
- ^ 严镇军编,《数学物理方程》,第二版,中国科学技术大学出版社,合肥,2002,ISBN 7-312-00799-6,第140页
- 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章)