勒让德多项式
勒让德多项式
勒让德多项式[编辑]维基百科,自由的百科全书伴随勒让德多项式有时也简称为“勒让德多项式”。
数学上,勒让德函数指以下勒让德微分方程的解:为求解方便一般也写成如下施图姆-刘维尔形式(Sturm-Liouville form):上述方程及其解函数因法国数学家阿德里安-马里·勒让德而得名。
勒让德方程是物理学和其他技术领域常常遇到的一类常微分方程。
当试图在球坐标中求解三维拉普拉斯方程(或相关的其他偏微分方程)时,问题便会归结为勒让德方程的求解。
勒让德方程的解可写成标准的幂级数形式。
当方程满足|x| < 1 时,可得到有界解(即解级数收敛)。
并且当n 为非负整数,即n = 0, 1, 2,... 时,在x = ±1 点亦有有界解。
这种情况下,随n 值变化方程的解相应变化,构成一组由正交多项式组成的多项式序列,这组多项式称为勒让德多项式(Legendre polynomials)。
勒让德多项式Pn(x)是n 阶多项式,可用罗德里格公式表示为:目录 [隐藏]1 正交性2 部分实例3 在物理学中的应用4 其他性质4.1 奇偶性4.2 递推关系5 移位勒让德多项式6 分数阶勒让德多项式7 参见8 外部链接9 参考文献正交性[编辑]勒让德多项式的一个重要性质是其在区间−1 ≤x ≤ 1 关于L2内积满足正交性,即:其中δmn 为克罗内克δ记号,当m = n 时为1,否则为0。
事实上,推导勒让德多项式的另一种方法便是关于前述内积空间对多项式{1, x, x2, ...}进行格拉姆-施密特正交化。
之所以具有此正交性是因为如前所述,勒让德微分方程可化为标准的strum-liouville问题:其中本征值λ对应于原方程中的n(n+1)。
部分实例[编辑]下表列出了头11阶(n 从0到10)勒让德多项式的表达式:n12345678910头6阶(n 从0到5)勒让德多项式的曲线如下图所示:在物理学中的应用[编辑]在求解三维空间中的球对称问题,譬如计算点电荷在空间中激发的电势时,常常要用到勒让德多项式作如下形式的级数展开:其中和分别为位置向量和的长度,为两向量的夹角。
勒让德多项式及其正交性质
勒让德多项式及其正交性质勒让德多项式是一种重要的数学工具,在微积分、物理学等领域都有广泛的应用。
它是一类正交多项式,具有良好的性质,可以用于解决一些特殊的数学问题。
本文将讨论勒让德多项式及其正交性质,以期读者能够深入了解这一重要数学工具。
一、勒让德多项式的定义勒让德多项式是一种定义在区间[-1,1]上的多项式函数,通常用Pn(x)表示,其中n为多项式的次数。
勒让德多项式可以通过如下公式递归地定义:P0(x) = 1P1(x) = xPn(x) = [(2n-1)xPn-1(x) - (n-1)Pn-2(x)]/n这个公式可以用来计算任意次数的勒让德多项式。
勒让德多项式的前几个函数值如下:P0(x) = 1P1(x) = xP2(x) = (3x² - 1)/2P3(x) = (5x³ - 3x)/2P4(x) = (35x⁴ - 30x² + 3)/8二、勒让德多项式的性质勒让德多项式具有许多重要的性质,其中最重要的是正交性质。
1. 正交性质勒让德多项式在区间[-1,1]上的内积可以定义为:∫[-1,1] Pn(x)Pm(x)dx如果n=m,则积分结果为2/(2n+1);如果n≠m,则积分结果为0。
也就是说,勒让德多项式之间具有正交性质。
这个性质非常重要,因为它能够使我们更方便地进行一些数学运算。
例如,计算某个函数在勒让德多项式基下的系数时,我们只需要进行一次内积计算即可。
2. 完备性质勒让德多项式在区间[-1,1]上具有完备性质。
也就是说,任何在该区间上连续的函数都可以用勒让德多项式展开,并且展开式收敛于原函数。
这个性质太过深奥,需要深入的数学知识,不在本文的讨论范围内。
3. 递推性质勒让德多项式之间具有递推性质,可以用如下公式计算高一阶的勒让德多项式:Pn+1(x) = (2n+1)xPn(x) - nPn-1(x)这个公式可以用来快速地计算任意次数的勒让德多项式。
数学物理方程课件第六章勒让德多项式
2 (2n)!
2n n!
2n n! 2n n!2n 1 2n 153
2 (2n)!
2n 1!
2 2n 1
数学物理方程与特殊函数
第6章勒让德多项式
性质2 递推公式
(n 1)Pn1 (x) (2n 1)xPn (x) nPn1 (x) 0
Pn1 (x) Pn1 (x) 2n 1Pn (x)
n0
Cn
2n 1 2
1 1
x Pn (x)dx
C0
1 2
1
1 x P0 (x)dx
1 2
1
x dx
1
1 2
C2n1 0
C2n
4n 1 2
1 1
x
P2n
(x)dx
4n
1
1 0
xP2n
( x)dx
4n 1
22n 2n!
1 d2n 0 x dx2n
(x2 1)2n dx
4n 1 22n 2n !
数学物理方程与特殊函数
第6章勒让德多项式
三 勒让德多项式
y APn (x) BQn (x)
Pn
(x)
M
(1)m
m0
2n 2m!
2n m!(n m)!(n
2m)!
xn2m
Pn
1 2n n!
dn dx n
(x2
1)n
当n为偶数时M
n 2
当n为奇数时 M
n 1 2
P0 (x) 1
P1(x) x
2)(n 1)(n 4!
3)
x4
]
c 1 c0
y2
a1[ x
(n
1)(n 3!
2)
勒让德多项式及其应用
勒让德多项式及其应用勒让德多项式是一种经典的特殊函数,它是由法国数学家勒让德于18世纪末研究长城摆的运动方程时发现的。
作为一个基本的特殊函数,勒让德多项式在物理、数学和工程学等领域中都有广泛应用。
本文将介绍勒让德多项式的定义、性质及其在物理和数学中的一些应用。
一、勒让德多项式的定义勒让德多项式P_n(x)的定义如下:其中n为整数,x为实数。
勒让德多项式是一类具有特殊结构的多项式函数,它可以通过递推关系式来求解。
具体来说,勒让德多项式满足以下递推公式:其中n+1次勒让德多项式可以通过n次和n-1次勒让德多项式来表达。
这个递推公式还有一个等价的形式:由此可以得到勒让德多项式的一些基本性质,例如P_n(x)在[-1,1]上有n个实根,其中n-1个简单实根和一个n阶重根。
此外,勒让德多项式还满足下列正交性:其中w(x)为勒让德多项式的权函数。
二、勒让德多项式的一些性质除了递推公式和正交性以外,勒让德多项式还有一些重要的性质。
例如,勒让德多项式是一个偶函数,即P_n(-x)=(-1)^nP_n(x)。
此外,勒让德多项式还有如下的反演公式:其中f(y)和g(x)分别是两个函数,而K_n(x,y)是勒让德函数的核函数:其中P_n(x)和P_n(y)分别是n次勒让德多项式在x和y处的取值。
勒让德函数的核函数经常被用于计算物理中的各种耦合系统中的能量本征状态。
三、勒让德多项式在物理学中的应用勒让德多项式在物理学中有广泛的应用,特别是在电磁场和量子力学中。
在电磁场中,勒让德函数的核函数可以用来描述两个电荷或磁荷之间的相互作用。
在量子力学中,勒让德多项式则被用来表示转动不变性系统的波函数,比如氢原子和氢分子离子。
此外,在量子力学和粒子物理中,勒让德多项式还经常用来表示原子轨道和粒子的旋转等。
四、勒让德多项式在数学中的应用勒让德多项式在数学的一些分支中也有广泛的应用,特别是在微积分和数论等领域。
例如,在微积分中,勒让德多项式可以用来表示函数的幂级数展开式,而在数论中,勒让德多项式则被用来研究阶乘和高次导数等问题。
第七章勒让德多项式
第7章 勒让德多项式在第三章中我们介绍了一类特殊函数—贝塞尔函数,我们利用贝塞尔函数给出了平面圆域上拉普拉斯算子特征值问题的解,从而求解了一些与此特征值问题相关的定解问题。
为求解空间中球形区域上与拉普拉斯算子相关的一些定解问题,需要引入另一类特殊函数—勒让德(Legendre )多项式,用于求解空间中球形区域上拉普拉斯算子的特征值问题。
需要说明的是勒让德多项式不仅是解决数学物理方程中许多问题的重要工具,在自然科学的其它领域也有许多的应用。
§7⋅1勒让德多项式本节介绍勒让德多项式及相关的一些特征值问题,为分离变量法的进一步应用作准备。
7.1.1 勒让德方程及勒让德多项式 考虑如下二阶常微分方程2[(1)]0d dyx y dx dxλ-+=,11x -<< (7.1.1) 其中0λ≥为常数,方程(7.1.1)称为勒让德方程。
设α是非负实数,使得(1),λαα=+则方程(7.1.1)可表示成如下形式2(1)2(1)0x y xy y αα'''--++=,11x -<< (7.1.2) 方程(7.1.2)满足第3章中定理3.1的条件,其中222(1)(), ()11x p x q x x x αα+=-=-- 故(7.1.2)在区间(1,1)-有解析解,设其解为0()k k k y x a x ∞==∑ (7.1.3)其中(0)k a k ≥为待定常数。
将该级数及一阶和二阶导数代入到原方程中得22121(1)(1)2(1)0k k k k k k k k k x k k a xx ka xa x αα∞∞∞--===---++=∑∑∑或20(1)(2)(1)2(1)0kkkkk k k kk k k k k k ax k ka x ka x a x αα∞∞∞∞+====++---++=∑∑∑∑ 即20[(1)(2)()(1)]0k k k k k k a k k a x αα∞+=+++-++=∑比较两端k x 的系数,可得2(1)(2)()(1)0, 0k k k k a k k a k αα++++-++=≥ 由此式可得系数递推关系2()(1), 0(1)(2)k k k k a a k k k αα+-++=-≥++ (7.1.4)当系数k a 指标分别取偶数和奇数时,(7.1.4)可表示为22(1)(22)(21), 1(21)2k k k k a a k k k αα--++-=-≥-212(1)1(21)(2), 12(21)k k k k a a k k k αα+-+-++=-≥+连续使用上述递推关系可知,当1k ≥时20(2)(22)(1)(3)(21)(1)(2)!k k k k a a k αααααα-⋅⋅⋅-+++⋅⋅⋅+-=-211(1)(3)(21)(2)(4)(2)(1)(21)!k k k k a a k αααααα+--⋅⋅⋅-+++⋅⋅⋅+=-+记220k k a c a =,21211k k a c a ++=, 可得勒让德方程(7.1.2)的如下两个解2,120()kk k y x c x α∞==∑, 21,2210() k k k y x c x α∞++==∑ (7.1.5)其中011c c ==。
勒让德多项式递推公式证明
勒让德多项式递推公式证明以勒让德多项式是数学中一类重要的特殊函数,其递推公式是证明其性质的关键。
本文将通过介绍以勒让德多项式的定义、性质和递推公式的证明,来解释这一标题。
以勒让德多项式是数学中的一类正交多项式,它们是解决物理和工程问题中的常微分方程的重要工具。
以勒让德多项式的定义如下:$$P_n(x) = \frac{1}{2^n n!} \frac{d^n}{dx^n} \left[(x^2 - 1)^n\right]$$其中,$n$为非负整数,$P_n(x)$表示以勒让德多项式的第$n$阶,$x$为自变量。
以勒让德多项式具有一系列重要的性质,如正交性、归一性等,这些性质使其在数学和物理学中得到广泛应用。
以勒让德多项式的递推公式是证明其性质的关键。
递推公式的形式如下:$$(n+1)P_{n+1}(x) = (2n+1)xP_n(x) - nP_{n-1}(x)$$下面我们来证明这个递推公式。
我们将以勒让德多项式的定义代入递推公式中,得到:$$(n+1)\left(\frac{1}{2^{n+1} (n+1)!} \frac{d^{n+1}}{dx^{n+1}} \left[(x^2 - 1)^{n+1}\right]\right) = (2n+1)x\left(\frac{1}{2^n n!} \frac{d^n}{dx^n} \left[(x^2 - 1)^n\right]\right) - n\left(\frac{1}{2^{n-1} (n-1)!} \frac{d^{n-1}}{dx^{n-1}} \left[(x^2 - 1)^{n-1}\right]\right) $$化简上式,可以得到:$$\frac{1}{2^{n+1} (n+1)!} \frac{d^{n+1}}{dx^{n+1}} \left[(x^2 - 1)^{n+1}\right] = \frac{2n+1}{2^n n!}x\frac{d^n}{dx^n} \left[(x^2 - 1)^n\right] - \frac{n}{2^{n-1} (n-1)!}\frac{d^{n-1}}{dx^{n-1}} \left[(x^2 - 1)^{n-1}\right]$$我们将上式中的$n+1$分布到第一项中,并利用导数的链式法则进行化简,得到:$$\frac{1}{2^{n+1} (n+1)!} \frac{d}{dx}\left[(2n+1)x(x^2-1)^n\right] = \frac{(2n+1)}{2^n n!}x\frac{d^n}{dx^n} \left[(x^2 - 1)^n\right] - \frac{n}{2^{n-1} (n-1)!}\frac{d^{n-1}}{dx^{n-1}} \left[(x^2 - 1)^{n-1}\right] $$再次化简上式,得到:$$\frac{1}{2^{n+1} (n+1)!} (2n+1)\left[x\frac{d}{dx}\left[(x^2-1)^n\right] + (x^2-1)^n\right] = \frac{(2n+1)}{2^n n!}x\frac{d^n}{dx^n} \left[(x^2 - 1)^n\right] - \frac{n}{2^{n-1} (n-1)!}\frac{d^{n-1}}{dx^{n-1}} \left[(x^2 - 1)^{n-1}\right] $$继续化简上式,可以得到:$$\frac{1}{2^{n+1} (n+1)!} (2n+1)\left[x\frac{d}{dx}\left[(x^2-1)^n\right] + (x^2-1)^n\right] = \frac{(2n+1)}{2^n n!}x\frac{d^n}{dx^n} \left[(x^2 - 1)^n\right] - \frac{n}{2^{n-1} (n-1)!}\frac{d^{n-1}}{dx^{n-1}} \left[(x^2 - 1)^{n-1}\right]$$再次化简上式,得到:$$\frac{1}{2^{n+1} (n+1)!} (2n+1)\left[x\frac{d}{dx}\left[(x^2-1)^n\right] + (x^2-1)^n\right] = \frac{(2n+1)}{2^n n!}x\frac{d^n}{dx^n} \left[(x^2 - 1)^n\right] - \frac{n}{2^{n-1} (n-1)!}\frac{d^{n-1}}{dx^{n-1}} \left[(x^2 - 1)^{n-1}\right] $$继续化简上式,可以得到:$$\frac{1}{2^{n+1} (n+1)!} (2n+1)\left[x\frac{d}{dx}\left[(x^2-1)^n\right] + (x^2-1)^n\right] = \frac{(2n+1)}{2^n n!}x\frac{d^n}{dx^n} \left[(x^2 - 1)^n\right] - \frac{n}{2^{n-1} (n-1)!}\frac{d^{n-1}}{dx^{n-1}} \left[(x^2 - 1)^{n-1}\right] $$再次化简上式,得到:$$\frac{1}{2^{n+1} (n+1)!} (2n+1)\left[x\frac{d}{dx}\left[(x^2-1)^n\right] + (x^2-1)^n\right] = \frac{(2n+1)}{2^n n!}x\frac{d^n}{dx^n} \left[(x^2 - 1)^n\right] - \frac{n}{2^{n-1} (n-1)!}\frac{d^{n-1}}{dx^{n-1}} \left[(x^2 - 1)^{n-1}\right] $$通过以上推导,我们证明了以勒让德多项式的递推公式。
勒让德多项式
例1:将 x 2 在[-1,1]内展成勒让德多项式的级数形式
x 2 Cn Pn (x) n0
Cn
2n 1 2
1 1
x
2
Pn
(
x)dx
1 1
xk
Pn
( x)dx
0
n2
4 1
C2 2
1 x2 1 (3x2 -1)dx 5
1 2
4
1 3x4 x2
1
dx
5 6 2 2 45 3 3
第6章勒让德多项式
例2:将Pl(x) 在[-1,1]内展成勒让德多项式的级数形式
解:方法一
l 1
(l 1) / 2
Pl(x) CnPn (x) CnPn (x)
Cl2n1Pl2n1 ( x)
n0
n0
n0
2l 4n 1
Cl2n1
2
1
1 Pl(x)Pl2n1(x)dx
2l 4n 1 2
1 0
xd
d 2n1 dx 2 n 1
(x2
1)2n
4n 22n
1 2n
!
x
d 2 n 1 dx 2 n 1
(x2
1)2n|10源自1 0d 2 n1 dx 2 n 1
(x2
1)2n
dx
4n 22n
1 2n
!
d 1 2n1 0 dx2n1
(x2
1)2n dx
4n 22n
1 2n
!
d2n2 dx 2 n 2
0
0
0
/ 2 sin 2n1 d 2n / 2 sin 2n1 d
0
2n 1 0
1 P2n (x)dx 1
最新勒让德(legendre)多项式及其性质资料
勒让德(legendre )多项式及其性质一. 勒让德多项式勒让德多项式是由勒让德方程的通解推导出来的,所以我们首先引入勒让德方程,以及勒让德方程的幂级数解,勒让德方程的表达式如下:2'''(1)2(1)0x y xy n n y --++= 其中n 为非负实数 (1.1)它的幂级数解如下:12y y y =+ (1.2)其中:2241200(1)(2)(1)(3)[1]2!4!kk k n n n n n n y a x a x x ∞=+-++==-+⋅⋅⋅∑(1.3)213522110(1)(2)(1)(3)(2)(4)[]3!5!k k k n n n n n n y a xa x x x ∞++=-+--++==-++⋅⋅⋅∑ (1.4)由达朗贝尔判别法可知,当0n ≥不为整数时,这两个级数的收敛半径为1,在(1.3)式和(1.4)式中,0a 与1a 可以任意取值,它们起着任意常数的作用,显然,在区间(-1,1)内1y 和2y 都是方程(1.1)的解,所以(1.2)是(1.1)的通解。
上面(1.3)和(1.4)幂级数当||1x <时级数收敛,此外级数是发散的。
并且,我们发现,当n 取非负整数时,1y 和2y 中有一个便退化为n 次多项式,它就是方程(1.1)在闭区间[-1,1]上的有界解。
此时,适当的选定这个多项式的最高次幂系数n a ,所得的多项式称为n 阶勒让德多项式或第一类勒让德函数,记作()n P x ,下面我们来推导勒让德多项式()nP x 的表达式。
① 当n 为正偶数时1y 退化为n 次多项式。
为求得()n P x 的表达式,在1y 中我们通过n a 来表示其它各项的系数。
为此,将系数递推关系式改写成下列形式:2(2)(1)()(1)k k k k a a k n k n +++=-++ (1.5)在(1.5)式中取2kn =-,得:2(1)2(21)n n n n a a n --=-- (1.6)习惯上取n a 为 2(2)2(!)n nn a n = (1.7)于是有:2(1)2(21)(22)!2(21)2(1)!(1)(2!)n n n n n n n a n n n n n n ----=-----(22)!2(1)!(2)!nn n n -=--- (1.8)在(1.5)式中取4kn =-,并利用2n a -之值得:42(2)(3)4(23)n n n n a a n ----=--2(2)(3)(22)!(1)4(23)2(1)!(2)!n n n n n n n ---=---- 2(24)!(1)2(2!)(2)!(4)!nn n n -=--- (1.9)一般地,我们有()()222!12!()!(2)!mn m n n m a m n m n m --=--- (0,1,,2nm =⋅⋅⋅⋅⋅⋅) (1.10)我们将这些系数带入(1.3)中,并把此时的1y 记作()n P x ,可得:220(22)!()(1)2!()!(2)!nmn m n n m n m p x x m n m n m -=-=---∑ (1.11)这就是当n 为正偶数时勒让德多项式。
14第十四章 勒让德多项式
12
2
结论:本征问题
(1
−
x2
) |
y′′ − 2x y′ + y(±1) |< +∞
µ
y
=
0
本征值:µ = l (l + 1), l = 0,1,2,...
本征函数:l 次多项式 y( x) = y(1) Pl ( x)
规定 Pl(1)=1,称 Pl(x) 为 l 阶勒让德多项式
可以证明
Pl(l )(1)
标准形式
d2w dz 2
+
p(z ) dw dz
+
q(z) w
=
0
• 若 p(z) 和 q(z) 都在 z0 处解析,则称 z0 为 方程的常点;否则称 z0 为方程的奇点
∞
常点附近存在幂级数解 ∑ w(z) = ck (z − z0 )k k =0
• 若 p(z)(z–z0) 和 q(z)(z–z0)2 都在奇点 z0 处解析, 则称 z0 为方程的正则奇点;正则奇点附近
∑ ∑ r
ulm(r) =
(cl rl + dl r−l−1) Plm(cos θ)[am cos(mϕ) + bm sin(mϕ)]
m≥0 l≥m
5
2. 勒让德方程的幂级数解
求解本征问题
Θ′′ +
Θ′ tan θ
−
m2 Θ sin2 θ
+
µ
Θ
= 0,
Θ(0), Θ(π ) 有限
作变换 x = cosθ , − 1 ≤ x ≤ 1, y(x) = Θ(θ )
c2 p = A0 A2 ... A2 p−2 c0 ∝ c0 , c2 p+1 = A1 A3 ...A2 p−1 c1 ∝ c1
大学物理-勒让德多项式
(三) 勒让德多项式的正交性与正交归一关系式 (I) 勒让德多项式的正交性 勒让德方程与有限性条件构成施—刘型本征值问题:
勒让德方程可化为施—刘型方程,其中 (x) = 1,a =
–1,b = 1,而本征函数 yl (x) = Pl (x) 是实函数,故有如下正 交关系
另一种形式:
(II) 勒让德多项式的完备性 根据施—刘型本征值问题的完备性定理,对于在区间
示——微分表示
证明:由二项式展开定理得到
所以
注意到:凡是指数 (2l – 2s) < l 的项经 l 次求导后为 0,故 只剩下 (2l – 2s) ≥ l 的项,即 s ≤ l / 2,于是得到
罗德里格斯公式的应用之一 因为
所以
对于 Pl (1),利用上式,n > 0 各项的值均为 0,只有当 n = 0 的项,其值不为 0,因此
之间存在着一定的关系。具体如下:
(1) (2) (3) (4)
证明:(I) 由生成函数关系式 两边对 r 求导,有
改写为 两边乘以 (1–2 x r + r2),再将生成函数关系式代入,得到
比较两边 rl 的系数,有 整理上式,得到 当 l = 0 时,P0(x) = 1,P1(x) = x, 所以 x P0(x) = P1(x) (II) 将生成函数关系式两边对 x 求导,得到
例3 将函数 f (x) = xn 在区间 [–1,1] 上按完备正交函数系
Pl (x) 展开为广义傅里叶级数。
解:所给函数满足斯–刘型本征函数完备性定理的条件,故
xn Cl Pl (x) l 0
广义傅里叶系数为
Cl
2l 1 2
1 1
x
n
Pl
勒让德多项式
数学物理方法于承斌泰山医学院第十六章勒让德函数球坐标系中求解物理方程,解函数是一类特殊函数,其形式为多项式,最早研究的是法国数学家勒让德,故称其为勒让德函数以及勒让德多项式。
§16.1 勒让德多项式的定义及表示16.1.1. 定义及级数表示oϕθr xyz勒让德方程0,21(1)2c n n ⋅+−x+ x+4(23)2(1)!(2)!(24)!,n n n n n −−−−,0,1,2,,m =⎢ 220(22)!()(1)2!()!(2)!l k l k l l k l k P x x k l k l k ⎡⎤⎢⎥⎣⎦−=−=−−−∑()l P x 221112122112(!)d d 1d (1)d d (1)d d (1)d d l ll l l l llll x l x x x x x x−−−−−⋅−⎢⎥⎣⎦⎡−−⋅⎢⎡⎤−⎢⎥⎣⎦∫∫注意到lllx x x )1()1()1(2+−=−以1±=x 为l 级零点,故其(1)l −阶导数121d (1)d l ll x x −−−必然以1±=x 112121222111(1)d (1)d (1)d 2(!)d d l l l ll ll l x x N x l x x−+−+−−−−=∫再进行l 次分部积分,即得221222221(1)d (1)(1)d 2(!)d ll llll l x N x x l x−−−=−∫为一级零点,从而上式已积出部分的值为零lx )1(2−是l 2次多项式,其l 2阶导数也就是最高幂项lx2的l 2阶导数为)!2(l .故12221(2)!(1)(1)(1)d 2(!)ll llll N x x xl −=−−+∫再对上式分部积分一次112112211111221(2)!1(1)(1)(1)(1)(1)d 2(!)1(2)!(1)(1)(1)(1)d 2(!)1ll l l l ll l l l l l N x x l x x x l l l l x x x l l −+−−−+−⎡⎤=−⋅−+−−+⎢⎥⎣⎦+=−⋅−−++∫∫容易看出已积出部分以1±=x 为零点.至此,分部积分的结果是使)1(−x 的幂次降低一次,)1(+x 的幂次升高一次,且积分乘上一个相应的常数因子.继续分部积分(计l 次),即得120222112121(2)!11(1)(1)(1)(1)d 2(!)122112(1)22121ll lll l l l l l N x x x l l l l x l l −+−−=−⋅−⋅⋅⋅−+++=⋅+=++∫ 故勒让德多项式的模为122+=l N l ),2,1,0( =l 且有112P ()P ()d 21l lx x x l −=+∫=2m P ++16.2.4. 勒让德多项式的递推公式利用母函数(16.1.13)对x求导, 勒让德多项式有以下的递推公式11(2)(1)()(21)()()n n n n P x n xP x nP x +−+=+−1(3)()()()n n n nP x xP x P x −′′=−1(4)'()()(1)()n n n P x xP x n P x +′′=++11(1)()'()2'()'()n n n n P x P x xP x P x +−=−+11(5)(21)()()()n n n n P x P x P x +−′′+=−21(6)(1)'()()()n n n x P x nxP x nP x −−=−1(7)(21)()'()'()nln n l l P x P x P x +=+=+∑例16.2. 1求积分11P ()P ()d l n I x x x x−=∫【解】利用递推公式(2)11(1)P ()(21)P ()P ()k k k k x k x x k x +−+=+−.(1)k ≥故有1111111111111P ()P ()d {[(1)P ()P ()]}P ()d 211 P ()P ()d P ()P ()d 2121l n l l n l n l n I x x x x l x l x x x l l lx x x x x x l l +−−−+−−−==++++=+++∫∫∫∫22 (1)412(1) (1)(23)(21)0 (1)nl n n n l n n n l n ⎧⎪=−−⎪⎪+==+⎨++⎪⎪⎪−≠±⎩例16.2. 2求积分1P ()d l I x x=∫【解】利用递推公式(5)11110011101111P ()d d[P ()P ()]2111[P ()P ()][P (0)-P (0)]2(120)1=1l l l l l l l l I x x x x l x x l l l P +−−+−+−==−+=−=+++∫∫112x 0(1)(0)(21)0(0)(0)n n n n P n P nP +−+=+−利用递推式:令=代入11(0)(0)1l l lP P l −+−=+(1)(21)!!21(22)k k l k k −−=++!!02l k =111001P ()d d 12x x x x l ===∫∫11000P ()d d 1x x x l ===∫∫⎧⎪=⎨⎪⎩例16.2. 3求积分1P ()d l Ix x x=∫【解】利用递推公式(5)1111001111011021012011P ()d d[P ()P ()]211[P ()P ()]|[P ()P ()]d 2121P (0)P (0)P (0)1[-] = -212(2)(1)1d 021d 13021(1)(23)!!2(22)!!l l l l l l l l l l k I x x x x x x l x x x x x x l l l l ll l x x l x x l l k k l k +−+−+−−+==−+=−−−++=−+++−======+−−=+∫∫∫∫∫k⎧⎪⎪⎪⎪⎨⎪⎪⎪⎪⎩1101P ()d P (0)1∵l l x x l −=+∫112(0)(0)1(0)(0)1l l l l lP P l lP P l −+−−=+−=−例16.2. 4利用递推公式(2)可得如下结果;212021P ()P ()P ()33x x x x x ==+3212021P ()[P ()P ()]33x x x x x x x x x =⋅=⋅=⋅+3123P ()P ()55x x =+43142023841[P ()P ()]P ()P ()P ()553575x x x x x x x =+=++1()P x x=221()(31)2P x x =−331()(53)2P x x x =−4241()(35303)8P x x x =−+111()[(21)()()]1l l l P x l xP x lP x l +−=+++特别1()P x x=∵利用递推公式(2)P (cos )n θ,这时有0(cos )P (cos )n n n f C θθ+∞==∑θcos =x ,此时勒让德方程的解为在实际应用中,经常要作代换π21(cos )P (cos )sin d 2n n n C f θθθθ+=∫其中系数为结论1:设k 为正整数,可以证明:222222200212121232311P ()P ()P ()P ()P ()P ()k k k k k k k k k k x C x C x C x xC x C x C x −−−−−−−=++⋅⋅⋅+=++⋅⋅⋅+结论2 :根据勒让德函数的奇偶性,若需展开的函数()f x 为奇函数,则展开式的系数20n C =;若需展开的函数()f x 为偶函数,则展开式的系数.210n C +=0,1,2,3,n =⋅⋅⋅例16.2.6以勒让德多项式为基,在[-1,1]区间上把3()234f x x x =++展开为广义傅里叶级数.【解】本例不必应用一般公式,事实上,()f x 是三次多项式,设它表示为3323012323021323234P ()111(31)(53)221335()()2222n nn x x C x C C x C x C x x C C C C x C x C x=++==⋅+⋅+⋅−+⋅−=−+−++∑比较同次幂即得到3210421, 0, , 455C C C C ====由此得到30132142344P ()P ()P ()55x x x x x ++=++例16.2.7将函数cos 2 (0π)θθ≤≤展开为勒让德多项式P (cos )n θ的形式【解】用直接展开法令cos x θ=,则由22cos 22cos 121x θθ=−=−我们知道:20121P ()1, P (), P ()(31)2x x x x x ===−可设200112221P ()P ()P ()x C x C x C x −=++10C =2202121(31)2x C C x −=+−由20,x x 项的系数,显然得出2041, 33C C ==−02021414cos(2)P ()P ()P (cos )P (cos )3333x x θθθ=−+=−+考虑到勒让德函数的奇偶性,显然。
勒让德多项式是区间什么的正交函数
勒让德多项式是一类具有重要性质的正交函数,它们在数学和工程领域中有着广泛的应用。
本文将介绍勒让德多项式的定义、性质、正交关系以及其在实际问题中的应用。
一、勒让德多项式的定义勒让德多项式是勒让德微分方程的解,该微分方程形式如下:\[ (1-x^2)y''-2xy'+n(n+1)y=0 \]其中n为非负整数。
根据其定义,勒让德多项式可以通过勒让德微分方程的解出来。
勒让德多项式的具体形式可以表示为:\[ P_n(x)= \frac{1}{2^n n!} \frac{d^n}{dx^n}(x^2-1)^n \]其中n为非负整数,P_n(x)表示第n阶的勒让德多项式。
二、勒让德多项式的性质勒让德多项式具有许多重要的性质,例如:1. 勒让德多项式是正交的,即对于不同的n和m,有以下正交性质成立:\[ \int_{-1}^{1}P_n(x)P_m(x)dx=0, \quad(n\neq m) \]2. 勒让德多项式满足勒让德微分方程,这也是它的定义所在。
3. 勒让德多项式具有递推关系,即通过递推关系可以方便地计算高阶的勒让德多项式。
三、勒让德多项式的正交关系及应用勒让德多项式的正交性质在数学和工程领域中有着重要的应用。
在数学分析中,勒让德多项式的正交性质可以用来进行函数的展开和逼近,例如在傅立叶级数、泰勒级数及函数的插值逼近中。
在数值计算和数值分析中,勒让德多项式的正交特性也被广泛应用,例如在数值积分方法中,通过勒让德多项式的正交性质可以得到高效的数值积分算法。
勒让德多项式还具有广泛的物理应用,例如在量子力学中,勒让德多项式常常用来描述原子轨道的形状。
在实际问题中,勒让德多项式的正交性质为我们提供了一种简便而有效的数学工具,通过利用勒让德多项式的正交性质,我们可以更加方便地解决各种数学和工程问题。
勒让德多项式作为一类重要的正交函数,在数学和工程领域中具有着广泛的应用。
通过深入研究勒让德多项式的定义、性质、正交关系及其应用,我们可以更好地理解和运用这一类特殊的函数,从而为解决各种实际问题提供更加有效的数学工具。
legendre多项式推导
legendre多项式推导勒让德多项式(Legendre polynomials)是一类重要的正交多项式,其推导过程可以通过递归关系和积分方法得到。
1. 递归关系推导:勒让德多项式可以通过以下递归关系定义:P_0(x) = 1P_1(x) = x(n+1)P_{n+1}(x) = (2n+1)xP_n(x) - nP_{n-1}(x)其中,P_n(x)表示阶数为n的勒让德多项式。
利用这个递归关系,我们可以依次计算出更高阶的勒让德多项式。
2. 积分方法推导:另一种推导勒让德多项式的方法是使用积分。
设f(x)为一个可积函数,我们想要将它展开成勒让德多项式的级数形式。
首先假设可以将f(x)展开为如下形式:f(x) = ∑_{n=0}^∞ a_n P_n(x)我们的目标是求解每个a_n的值。
为了实现这一点,我们将上述等式两边乘以P_m(x)并在区间[-1,1]上进行积分,可以得到:∫_{-1}^1 f(x)P_m(x)dx = ∑_{n=0}^∞ a_n ∫_{-1}^1 P_n(x)P_m(x)dx由于勒让德多项式是正交的,即∫_{-1}^1 P_n(x)P_m(x)dx = 0 (n ≠ m),所以上述等式简化为:∫_{-1}^1 f(x)P_m(x)dx = a_m ∫_{-1}^1 P_m(x)P_m(x)dx =a_m(c_m),其中c_m是一个常数。
我们可以通过计算∫_{-1}^1 f(x)P_m(x)dx 来求解 a_m 的值,从而得到展开式中每个项的系数。
综上所述,勒让德多项式可以通过递归关系或积分方法推导出来,并且可以用于展开函数。
其在物理学、数学和工程等领域中有广泛的应用。
第13讲 勒让德多项式
4
105 cos
2
50)
勒让德多项式的图形可通过计算机仿真(如MATLAB仿真) 得到
图 6.1
计算 Pl (0) ,这应当等于多项式 Pl (x) 的常数项.
如 l 为 2n 1 (即为奇数)时,则 P2n1(x)
只含奇 数次幂,不含常数项,所以
P2n1 (0) 0
(1.8)
(x)
1 8
(35x4
30x2
3)
1 64
(35 cos
4
20
cos
2
9)
P5
(x)
1 8
(63x5
70
x3
15x)
1 128
(63cos
5
35
cos
3
30
cos
)
P6
(x)
1 16
(231x6
315x4
105x 2
5)
1 512
(231cos
6
126 cos
(
x)
d dx
[(1
x
2
)Pl(
x)]
Pl
(
x)
d dx
[(1
x
2
)Pn(
x)]}dx
1
[n(n 1) l(l 1)] 1Pl (x)Pn (x)dx
因为上面等式左边的积分值为
(1 x2 )[Pn (x)Pl(x) Pl (x)Pn(x)] |11 0
1
所以当 n l 时,必然有 1Pl (x)Pn (x)dx 0
勒让德(legendre)多项式及其性质
勒让德(legendre)多项式及其性质一.勒让德多项式勒让德多项式是由勒让德方程的通解推导出来的,所以我们首先引入勒让德方程,以及勒让德方程的幂级数解,勒让德方程的表达式如下:其中为非负实数(1.1)它的幂级数解如下:(1.2)其中:(1.3)(1.4)由达朗贝尔判别法可知,当不为整数时,这两个级数的收敛半径为1,在(1.3)式和(1.4)式中,与可以任意取值,它们起着任意常数的作用,显然,在区间(-1,1)内和都是方程(1.1)的解,所以(1.2)是(1.1)的通解。
上面(1.3)和(1.4)幂级数当时级数收敛,此外级数是发散的。
并且,我们发现,当取非负整数时,和中有一个便退化为次多项式,它就是方程(1.1)在闭区间[-1,1]上的有界解。
此时,适当的选定这个多项式的最高次幂系数,所得的多项式称为阶勒让德多项式或第一类勒让德函数,记作,下面我们来推导勒让德多项式的表达式。
1 当为正偶数时退化为次多项式。
为求得的表达式,在中我们通过来表示其它各项的系数。
为此,将系数递推关系式改写成下列形式:(1.5)在(1.5)式中取,得:(1.6)习惯上取为(1.7)于是有:(1.8)在(1.5)式中取,并利用之值得:(1.9)一般地,我们有()(1.10)我们将这些系数带入(1.3)中,并把此时的记作,可得:(1.11)这就是当为正偶数时勒让德多项式。
2 当为正奇数时退化为次多项式,我们把记作,同理可得:(1.12)把(1.11)和(1.12)写成统一的形式,得(1.13)其中表示的整数部分由上述讨论可知,当为非负整数时,和中有一个是阶勒让德多项式,而另一个是无穷级数,记作,称为第二类勒让德函数,此时方程(1.1)通解为:(1.14)特别当时,由(1.11)和(1.12)式得:它们的图形如下:二.勒让德多项式的性质首先介绍一下勒让德多项式的母函数:试将函数(1.15)展开成的幂级数(1.16)可以证明级数展开式中的系数恰好是勒让德多项式,最终得到(1.17)因此称为勒让德多项式的母函数。
第六章_勒让德多项式
6.1 勒让德方程的引出
引入参数 n n 1 分解整理得
d 2R dR 2 r 2r n n 1 R 0 2 dr dr
欧拉型方程
1 d d 1 d 2 sin d sin 2 2 n n 1 0 sin d
引入参数 分解可得两个常微分方程
" 0
d d sin sin n n 1 sin 2 0 d d
§1 勒让德方程的引出
第一个方程与自然周期条件 2 结合,构成本征值问题
d 2 dR R d d R d 2 r dr r 2 sin d sin d r 2 sin 2 d 2 0 2 r dr
用
r 遍乘各项并移项整理,即得 R
2
1 d 2 dR 1 d d 1 d 2 r dr sin d sin d sin 2 d 2 R dr
k n 1 2
这两个多项式可以统一写成
(2n 2k )! Pn ( x) (1) n x n2 k , n 0,1, 2, 2 k !(n k )!(n 2k )! k 0
k n 2
n 阶勒让德多项式
6. 3 勒让德多项式
0~4阶Legendre多项式为
(2k 2 l )(2k 4 l ) (l )(l 1)(l 2k 1) a2 k a0 (2k )!
6. 2
勒让德方程的求解
(1 l )(l 2) a3 a1 3! (3 l )(l 4) (3 l )(1 l )(l 2)(l 4) a5 a3 a1 54 5!
勒让德多项式pn(0)项取值
勒让德多项式是数学中的一个重要概念,它在物理学和工程学中都有广泛的应用。
勒让德多项式的第n个零阶项pn(0)取值对于理解和应用勒让德多项式至关重要。
本文将从勒让德多项式的定义、性质和应用角度对pn(0)项取值进行深入探讨。
一、勒让德多项式的定义1. 勒让德多项式是一个经典的正交多项式族,它们是勒让德方程的解。
勒让德多项式Pn(x)定义为以下多项式序列的一部分:P0(x) = 1P1(x) = xP2(x) = (1/2)(3x^2-1)P3(x) = (1/2)(5x^3-3x)…Pn(x) = (1/2^n)(d^n/dx^n)((x^2-1)^n)2. 勒让德多项式具有许多重要的性质,如正交性、递推关系和母函数等,这些性质使得勒让德多项式在实际问题中具有广泛的应用价值。
二、勒让德多项式的性质及pn(0)项取值1. 正交性:勒让德多项式满足以下正交性质:∫[-1,1] Pm(x)Pn(x)dx = (2/(2n+1))δmn其中δmn是克罗内克δ 符号,当m=n时取值为1,否则为0。
利用这一性质,可以得到pn(0)项取值的一般表达式。
2. 递推关系:勒让德多项式之间存在递推关系,即Pn+1(x)和Pn(x)之间存在一定的关系,这使得我们可以通过递推的方法求得pn(0)的取值。
3. pn(0)的表达式:根据正交性质和递推关系,可以得到勒让德多项式的pn(0)的具体表达式:pn(0) = (-1)^n(2n)!!其中(2n)!!是双阶乘的符号,表示连乘2n, 2n-2, 2n-4, …, 2或1。
三、勒让德多项式的应用1. 在物理学中,勒让德多项式被广泛应用于描述球对称的问题,如原子轨道、分子振动等。
pn(0)项的取值对于求解这些问题具有重要意义。
2. 在工程学中,勒让德多项式被用于信号处理、控制系统等领域。
了解pn(0)项的取值可以帮助工程师更好地理解和应用勒让德多项式。
勒让德多项式pn(0)项的取值对于理解和应用勒让德多项式具有重要意义。
第六章 勒让德多项式
第六章 勒让德多项式在这一章,我们将通过在球坐标系中对Laplace 方程进行分离变量,引出§2.6中曾指出过的勒让德方程,并讨论这个方程的解法及解的有关性质。
勒让德方程在区间[1,1]-上的有界解构成了另一类正交函数系-勒让德多项式。
§6.1 勒让德方程的引出现在对球坐标系中的Laplace 方程进行分离变量,在球坐标系中Laplace 方程为2222222111()(sin )0sin sin u u ur r r r r r θθθθθϕ∂∂∂∂∂++=∂∂∂∂∂ (6.1) 令 (,,)()()()u r R r θϕθϕ=ΘΦ, 代入(6.1)得2222222111()(sin )0sin sin d dR d d d r R R r dr dr r d d r d θθθθθϕΘΦΘΦ+Φ+Θ= 以2r R ΦΘ乘上式各项得 2222111()(sin )0sin sin d dR d d d r R dr dr d d d θθθθθϕΘΦ++=ΘΦ 或2222111()(sin )sin sin d dR d d d r R dr dr d d d θθθθθϕΘΦ=--ΘΦ 上式左端只与r 有关,右端只与θ,ϕ有关,要它们相等只有当它们都是常数时才有可能。
为了以后的需要,我们把这个常数写成(1)n n +的形式(这是可以做到的,因为任何一个实数总可以写成这种形式,这里的n 可能为实数,也有可能为复数),则得21()(1)d dRr n n R dr dr=+ (6.2)22211(sin )(1)sin sin d d d n n d d d θθθθθϕΘΦ+=-+ΘΦ (6.3) 将方程(6.2)左端的导数计算出来,即有2222(1)0d R dRr r n n R dr dr+-+= 这是一个欧拉方程,它的通解为(1)12()n n R r A r A r -+=+其中12,A A 为任意常数。
勒让德多项式及性质
例题2、以勒让德多项式为基本函数族,将函数
f ( x) 2 x 3 3x 4 在区间(-1,+1)上进行广义傅立叶展开。
1 1 2 P2 ( x) (3x 1) (3cos 2 1) 2 4 1 1 3 P3 ( x) (5x 3x) (5cos3 3cos ) 2 8 1 1 4 2 P4 ( x) (35x 30 x 3) (35cos 4 20cos 2 9) 8 64 1 1 P5 ( x) (63x5 70 x3 15x) (63cos5 35cos3 30cos ) 8 128 1 1 P6 ( x) (231x6 315x4 105x 2 5) (231cos 6 126cos 4 105cos 2 50) 16 512
前面已学:勒让德方程在x 1有自然边界条件: x 1 有限,从而构成 y 本征值问题,本征值是l (l 1), l 0,1, 2, 3..., 在l为整数条件下,勒让德方程 的两个线性独立特解y ( x ) a0 y0 ( x ) a1 y1 ( x )之一退化为l次多项式。 z l为2k (偶数): a y ( x) ~
l 2n (n 0,1, 2, ) l 2n 1
上式具有多项式的形式,故称
Pl ( )
为
l
阶勒让德多项式.勒让德多项式也称为第一类勒让德函数.
二、勒让德多项式
1、前几个勒让德多项式: (注意到 x cos ) P0 ( x) 1
P1 ( x) x cos
勒让德多项式的图形可通过计算机仿真(如MATLAB仿真) 得到
图 11.1
2、勒让德多项式的微分表示
1 dl Pl ( x) l ( x 2 1)l 2 l ! dx l
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
y = Φ(ϕ ),于是有
dΦ = dy dx = − sinϕ dy = − 1 − x2 dy
dϕ dx dϕ
dx
dx
( ) dΦ = dy dx = d ( − 1 − x2 dy ) dx = −x dy + 1 − x2 d 2 y
dϕ dx dϕ dx
dx dϕ dx
dx 2
将 x, y, 及 y 的导数代入式(6.1.6)中,整理得
分离变量θ ,ϕ ,则有
−
1 Θ
d 2Θ dθ 2
=
1 Φ
sin ϕ
d dϕ
⎜⎜⎝⎛ sin ϕ
dΦ dϕ
⎟⎟⎠⎞
+
n(n
+ 1)sin 2
ϕ
此式的左端只于θ 有关,因此只有二者均为常数时它们才能相等。由于式(6.1.1)在球坐标系下的一 切(单值)解都应是关于变量θ 的周期函数,周期为 2 π ,因而 Θ 也是以 2π 为周期的周期函数。与
第6章 勒让德多项式
本章我们将研究勒让德多项式在解决数学物理方程定解问题中的一些应用。首先应用分离变量法, 在球坐标系中对拉普拉斯方程进行分离变量,导出勒让德方程;并讨论这个方程的解法及解的有关性 质;指出勒让德方程在区间[-1,1]上的有界解构成了一类正交函数系—勒让德多项式。
6.1 勒让德方程的导出
对上式求导,得出 y′, y′′ 的级数表达式,连同式(6.2.2)一齐代入式(6.2.1),整理得
(6.2.1) (6.2.2)
∞
∑{(k + 1)(k + )2 ak+2 + [n(n + 1) − k(k + 1)]ak }xk = 0
k =0
由于上式为恒等式,所以 x 的各次幂的系数必需都是零,所以
(k + 1)(k + )2 ak+2 + [n(n + 1) − k(k + 1)]ak = 0
得
ak +2
=
−
(n − (k
k )(n + k −1) +1)(k + 2)
ak
(k = 0,1,2,L)
(6.2.3)
令 k = 0,2,4,L, 得
a2
=
−
n(n +
2!
1)
a0
a4
=
−
n(n
−
2)(n +1)(n
dx 2
dx
式(6.1.8)称为勒让德方程。一部分定解问题的求解,最后都归纳为勒让德方程的求解。
(6.1.8)
6.2 勒让德方程的求解
பைடு நூலகம்
和求贝赛尔方程一样,我们设勒让德方程
的解为
( ) 1 − x2 d 2 y − 2x dy + n(n + 1)y = 0
dx 2
dx
∞
∑ y = ak x k k =0
式中,A,B 为任意常数。
式(6.1.3)中喊有两个自变量θ ,ϕ ,再次应用分离变量的方法,令Y (θ ,ϕ ) = Θ(θ )Φ(ϕ ),代入(6.1.3)
式中,整理得
1 sin ϕ
d dϕ
⎜⎜⎝⎛ sin ϕ
dΦ dϕ
⎟⎟⎠⎞Θ
+
1 sin 2 ϕ
d 2Θ dθ 2
Φ
+
n(n
+ 1)ΘΦ
=
0
4!
+
3) a0
a6
=
−
n(n
−
2)(n
− 4)(n +1)(n
6!
+ 3)(n
+ 5)
a0
M
再令 k = 1,3,5,L, 得
a3
=
−
(n
− 1)(n
3!
+
2)
a1
a5
=
−
(n
− 1)(n
− 3)(n
5!
+
2)(n
dr
1 sin ϕ
∂ ∂ϕ
⎜⎜⎝⎛ sin ϕ
∂Y ∂ϕ
⎟⎟⎠⎞ +
1 sin 2 ϕ
∂ 2Y ∂θ 2
+ n(n + 1)Y
=
0
(6.1.2) (6.1.3)
式(6.1.3)的解 Y (θ ,ϕ) 与半径 r 无关,故称之为球面函数,或简称为球函数。
式(6.1.2)是欧拉方程,其通解为
R(r ) = Ar n + Br −(n+1)
在前面的章节里,我们利用格林函数研究了拉普拉斯方程
∂2u + ∂2u + ∂2u = 0 ∂x 2 ∂y 2 ∂z 2
的求解问题。本节,在球坐标系下,我们应用分离变量的方法来处理拉普拉斯方程。在球坐标系中, 拉普拉斯方程为
1 r2
∂ ⎜⎛ r 2 ∂r ⎝
∂u ∂r
⎟⎞ ⎠
+
r
2
1 sin
ϕ
⎜⎜⎝⎛
(6.1.5)
式中, C1 , C2 为任意常数。
对式(6.1.5)进行整理,有
d 2Φ dϕ 2
+
cot ϕ
dΦ dϕ
+
⎢⎡n(n
⎣
+1) −
m2 sin 2 ϕ
⎥⎤Φ ⎦
=
0
这个方程称为连带的勒让德方程。
(6.1.6)
为了表达上的方便,我们引入新的变量 x = cosϕ 。由于 0 ≤ ϕ ≤ π ,所以 −1 ≤ x ≤ 1 ,并记
sin
ϕ
∂u ∂ϕ
⎟⎟⎠⎞
+
1 r 2 sin 2 ϕ
∂2u ∂θ 2
=0
(6.1.1)
式中,0 ≤ ϕ ≤ π , 0 ≤ θ ≤ 2π 。
令式(6.1.1)的解为 u(r,θ ,ϕ ) = R(r )Y (θ ,ϕ), 代入式(6.1.1),整理得
1 r2
d ⎜⎛ r 2 dR ⎟⎞Y + [
dr ⎝ dr ⎠
( ) 1− x2
d2y dx 2
−
2x
dy dx
+
⎢⎡n(n
⎣
+1) −
m2 1− x2
⎤ ⎥ ⎦
y
=
0
(6.1.7)
若 u(r,θ ,ϕ )与θ 无关,则由式(6.1.4)可知, Θ(θ ) 是常数,则 m = 0 。这时,式(6.1.7)简化为
( ) 1 − x2 d 2 y − 2x dy + n(n + 1)y = 0
我们在第 5 章讨论的一样,这个常数必需等于 m2 (m = 0,1,2,L),从而有
d 2Θ + m2Θ = 0 dθ 2
{6.1.4}
式(6.1.4)的通解为
1 sin ϕ
d dϕ
⎜⎜⎝⎛ sin ϕ
dΦ dϕ
⎟⎟⎠⎞
+
[
n(n +1) −
m2 sin 2 ϕ
]Φ = 0
Θ(θ ) = C1 cos mθ + C2 sin mθ
r2
1 sin ϕ
∂ ∂ϕ
⎜⎜⎝⎛ sin ϕ
∂Y ∂ϕ
⎟⎟⎠⎞
+
r2
1 sin 2
ϕ
∂ 2Y ∂θ 2
]R = 0
将变量 R(r), Y (θ ,ϕ) 分离,得
1 d ⎜⎛ r 2 dR ⎟⎞ = − 1 [
R dr ⎝ dr ⎠ Y
r2
1 sin ϕ
∂ ∂ϕ
⎜⎜⎝⎛ sin ϕ
∂Y ∂ϕ
⎟⎟⎠⎞
+
r2
1 sin 2
ϕ
∂ 2Y ∂θ 2
]
上式左端只于 r 有关,右端只与θ ,ϕ 有关,所以二者都是常数时才能恒等。为了方便后续的讨论,
我们把这个常数写成 n(n + 1) 的形式(这里的 n 可以是实数,也可以是复数),于是有
r 2 d 2 R + 2r dR − n(n + 1)R = 0
dr 2