第六章. 勒让德函数
关联勒让德函数
勒让德函数（Legendre functions）是一类特殊的数学函数，它们是勒让德微分方程的解。
勒让德函数在物理学和工程学等领域中具有广泛的应用，特别是在描述球形对称问题和电势分布中常被使用。
勒让德函数包括勒让德多项式和勒让德球谐函数两种形式。
1. 勒让德多项式（Legendre polynomials）通常表示为Pn(x)，其中n是多项式的次数。
勒让德多项式具有以下特点：
-是关于自变量x的多项式；
-是正交函数，即在一定区间上的内积为零；
-满足勒让德微分方程。
2. 勒让德球谐函数（Legendre spherical harmonics）通常表示为Ylm(θ, φ)，其中l和m 是整数，θ和φ是球坐标系中的角度。
勒让德球谐函数具有以下特点：-描述球形对称问题中的解；
-与勒让德多项式有关，也涉及球坐标系的角度。
勒让德函数可以通过递推关系、积分定义和级数展开等方式求解。
它们在物理学中的应用包括描述量子力学中的杂化原子轨道、球形边界值问题中的电势、地球的引力场等。
此外，勒让德函数还与球面谐振子、球谐函数叠加和球形天体力学等领域密切相关。
数学物理方程课件第六章勒让德多项式
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(x)=(1/2^1*1!)-(1*3/2^3*3!)x^2+(1*3*5/2^5*5!)x^4-...其中x是实数，级数是一个无穷级数，并且级数的每一项都是有序的一系列多项式函数。
勒让德函数也可以通过勒让德方程的解来定义。
二、勒让德函数的性质1. 正交性：勒让德函数是正交的，即对于不同的n和m，有积分∫(-1,1) Pn(x) Pm(x) dx = 02. 归一性：勒让德函数可以通过归一化得到，即对于每个n，有∫(-1,1) Pn(x) Pn(x) dx = 2 / ( 2n + 1)3.递推关系：勒让德函数之间存在递推关系，即(n+1)Pn+1(x)=(2n+1)xPn(x)-nPn-1(x)。
这个关系可以用于计算勒让德函数的高阶项。
三、勒让德函数在物理学中的应用勒让德函数在物理学中有广泛的应用，下面介绍其中的几个重要应用：1.量子力学中的角动量：在量子力学中，勒让德函数可以用来描述角动量的量子态。
勒让德函数的特殊性质使其成为表示角动量本征态的一组完备的基函数。
2.球谐函数的展开：勒让德函数可以用来展开球谐函数，球谐函数在物理学中具有广泛的应用。
通过勒让德函数，我们可以得到球面上各点的球谐系数，从而描述球面上的物理量分布。
3.圆形波导中的电磁场分布：勒让德函数可以用来描述圆形波导中的电磁场分布。
圆形波导是一种常见的波导结构，在无线通信、微波技术等领域有着重要的应用。
总结：本文主要介绍了勒让德函数的定义、性质及其在物理学中的应用。
勒让德函数作为一种特殊的函数类，具有正交性、归一性和递推关系等重要的性质，广泛应用于量子力学、电磁场分布等领域。
勒让德函数
勒让德函数勒让德函数，又称为拉格朗日函数，是拉格朗日于1934年提出的一个经典函数，用来表示给定边界条件下的最优化问题，它对数学和最优化理论有着重要的意义。
一般地，勒让德函数是用来求解最优化问题的经典优化技术，它可以求解无约束优化问题和约束优化问题的最优解。
它的特点是可以将最优化问题转换为函数极小(或极大)的问题，这样就可以用微分技术来求解，要解最优化问题，就要根据勒让德函数的性质，求出满足约束条件的最优解是什么。
勒让德函数最早用来解决线性编程问题，但它也有广泛的应用，如基本组合优化(选择最优组合)、二次凸优化(使函数最小)等，甚至可以用来处理非线性函数最优化问题。
勒让德函数的结构如下：$$F(x)=f(x)+sum_{i=1}^n lambda_i g_i (x)$$其中，$f(x)$是待最优化的函数，$g_i(x)$是约束条件函数，$lambda_i$是拉格朗日乘子，用来控制约束条件。
当$f(x)$有最值，$g_i(x)$满足约束条件时，$lambda_i$可以确定使得$F(x)$取最值，从而可以求出最优解。
勒让德函数是一个功能强大的优化工具，因为它可以求解无约束优化问题和约束优化问题，它比较容易理解，也容易应用，所以它用来解决最优化问题的范围很广。
勒让德函数的应用很广泛，在很多领域都可以看到它的身影，如管理学、经济学、投资学、工程和科学等。
比如，在基于约束的投资组合的构建中，可以用勒让德函数来调整不同的投资组合，以获得最佳的投资组合；计算多晶物体的极限承载力时，勒让德函数可以帮助我们找到最佳的材料参数，以达到最大的承载力。
此外，勒让德函数也可以用来研究复杂系统的结构演化，研究复杂系统中复杂网络动力学机制等。
至此，可以看出勒让德函数是解决最优化问题的一个强大的优化技术。
它在实现经济效率、科学发展和科学研究等多个领域都有着重要的意义，是研究最优化理论的重要组成部分。
同时，它也为复杂系统的结构演化和复杂网络动力学机制等研究提供了重要的技术手段。
勒让德多项式
例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
第六章 勒让德多项式
y1 ( x ) = ∑ m = 0 a2 m x 2 m ,
∞
y2 ( x ) = a1 x + a3 x 3 + a5 x 5
西安理工大学应用数学系
不妨取n为非负整数，那么对应多项式结构如何？ 不妨取 为非负整数，那么对应多项式结构如何？这时 为非负整数
an+2 = an+4 =⋯= 0 ak ≠ 0, k ≤ n
( n − 1)( n + 2) a3 = − a1 3⋅ 2 ( n − 3)( n + 4) ( n − 1)( n − 3)( n + 2)( n + 4) a5 = − a3 = a1 5⋅4 5!
西安理工大学应用数学系
( n − 3)( n + 4) ( n − 1)( n − 3)( n + 2)( n + 4) a5 = − a3 = a1 5⋅4 5!
y2 ( x ) 中有
西安理工大学应用数学系
( k − n)( k + n + 1) ak + 2 = ak k = 0,1, 2,⋯ ( k + 1)( k + 2) m n( n − 2)⋯ ( n − 2 m + 2)( n + 1)( n + 3)⋯ ( n + 2 m − 1) a2 m = ( −1) a0 (2m )! m ( n − 1)( n − 3)⋯( n − 2m + 1)( n + 2)( n + 4)⋯( n + 2m ) a2 m +1 = ( −1) a1 (2m + 1)!
( k − n)( k + n + 1) ak + 2 = ak ( k + 1)( k + 2) ( k + 1)( k + 2) ak = ak + 2 k ≤ n−2 ( k − n)( k + n + 1) n( n − 1) an − 2 = − an 2(2n − 1) ( n − 2)( n − 3) n( n − 1)( n − 2)( n − 3) an − 4 = − an − 2 = an 4(2n − 3) 2 ⋅ 4(2n − 1)(2n − 3) n( n − 1)( n − 2)⋯( n − 2m + 1) m an − 2 m = ( −1) an 2 ⋅ 4⋯ ⋅ 2m (2n − 1)⋯ (2n − 2m + 1)
《数学物理方法》第六章_勒让德函数
《数学物理方法》第六章_勒让德函数勒让德函数（Legendre functions）是数学物理方法中的一种重要函数，它在数学物理领域中具有广泛的应用。
勒让德函数以法国数学家阿道夫·勒让德（Adrien-Marie Legendre）的名字命名，是勒让德微分方程的解。
勒让德函数是圆轴对尔雅多多\n（cylinder functions）和球贝塞尔函数（spherical Bessel functions）的特殊情况。
勒让德函数可以通过勒让德微分方程来定义，勒让德微分方程是一个著名的二阶微分方程，它可以用来描述线性介质中电场的分布、地球引力场势能和量子力学中的角动量问题等。
勒让德微分方程如下所示：$$(1-x^2)y'' - 2xy' + \lambda(\lambda + 1)y = 0$$其中，$y$是未知函数，$x$是自变量，$\lambda$是常数。
这个方程的解称为勒让德函数$P_\lambda(x)$。
勒让德函数具有许多重要的性质和关系，其中最重要的性质之一是正交性。
如果$\lambda_1 \neq \lambda_2$，则勒让德函数$P_{\lambda_1}(x)$和$P_{\lambda_2}(x)$在区间$[-1,1]$上是正交的，即满足下面的正交关系：$$\int_{-1}^{1}P_{\lambda_1}(x)P_{\lambda_2}(x)dx = 0$$另外，勒让德函数还具有归一化的性质，即满足下面的归一化条件：$$\int_{-1}^{1}(P_{\lambda}(x))^2 dx = \frac{2}{2\lambda + 1} $$勒让德函数在数学物理中的应用非常广泛，下面以一些具体的例子来说明。
首先是球坐标系中的边界条件问题。
在球坐标系中，勒让德函数可以用来描述径向部分的波函数。
例如，在氢原子中，电子的波函数可以表示为勒让德函数的线性组合，其中不同的勒让德函数对应不同的能级和角动量量子数。
数学物理方程第六章 勒让德多项式
(
)
n
n n! 1 1 n 2 − = x x2 ) ( ) ( 1 ∑ n n 2 n! 2 n! m =0 (n − m )!m!
a n −6 = −
2
n
一般说来，当 n − 2m ≥ 0 时，有
M
a n − 2 m = (− 1)
m
2
n
(2n − 2m )! m!(n − m )!(n − 2m )!
(2n − 2m )! x n−2m m!(n − m )!(n − 2m )! (2n − 2m )! x n−2m m!(n − m )!(n − 2m )!
2 2 2
（6.2.1）
的解为
y = ∑ ak x k
k =0
∞
（6.2.2）
，整理得 对上式求导，得出 y ′, y ′′ 的级数表达式，连同式（6.2.2）一齐代入式（6.2.1）
∑ {(k + 1)(k + 2)a
k =0
∞
k +2
+ [n(n + 1) − k (k + 1)]a k }x k = 0
(3x (5x
2
−1
) ) ) )
3
− 3x
4
(35x (63x
− 30 x 2 + 3
5
− 70 x 3 + 15 x
它们的图形如图 6-1 所示。
为了应用上的方便，我们将 Pn ( x ) 表示为
Pn ( x ) =
n 1 dn 2 ( x − 1) n n 2 n! dx
(6.3.2)
的形式。称式(6.3.2)为勒让德多项式的罗德里格斯（Rodrigues）表达式。该公式的证明如下。 证明：用二项式定理把 x − 1 展开，有
勒让德多项式
从而得到
1
ห้องสมุดไป่ตู้
Θ
sin θ
d dΘ (sin θ ) + n( n + 1) sin 2 θ = m 2 dθ dθ
( 6. 4 )
( 6. 5 )
1 d 2Φ + m2 = 0 2 Φ dϕ
（2 勒让德多项式的一些性 质； ）
有关的定解问题。 （3 会用勒让德多项式求解 有关的定解问题。 ）
§6.1
勒让德方程的引出
u xx + u yy + uzz = 0
在第四章中， 域内的迪利克雷问题： 在第四章中，我们用格 林函数法解决了球形区 域内的迪利克雷问题：
{
球函数
z
θ
●
拉普拉斯方程 第一类边界条件
数学物理方法
第六章 勒让德多项式 ( Legendre polynomials )
勒让德（ 勒让德（1752～1833） ～ ） Legendre . Adrien-Marie 阿德利昂·玛利 埃 勒让德 公元1752─公元1833 为法国数学家， 勒让德（ 1752─公元1833） 阿德利昂 玛利·埃·勒让德（公元1752─公元1833）为法国数学家，生于 玛利 巴黎，卒于巴黎。 1770年毕业于马扎兰学院 1775年任巴黎军事学院数学 年毕业于马扎兰学院。 巴黎，卒于巴黎。约1770年毕业于马扎兰学院。1775年任巴黎军事学院数学 教授。1782年以 关於阻尼介质中的弹道研究》获柏林科学院奖金， 年以《 教授。1782年以《关於阻尼介质中的弹道研究》获柏林科学院奖金，次年当 选为巴黎科学院院士。1787年成为伦敦皇家学会会员 年成为伦敦皇家学会会员。 选为巴黎科学院院士。1787年成为伦敦皇家学会会员。 曾与拉格朗日（ ）、拉普拉斯 拉普拉斯（ 勒让德 (Legendre) 曾与拉格朗日（Lagrange）、拉普拉斯（Laplace） 并列为法国数学界的“ 世纪末19世纪初法国数学的复兴， 并列为法国数学界的“三 L ”，为18世纪末19世纪初法国数学的复兴，做出了 ， 18世纪末19世纪初法国数学的复兴 卓越的贡献。 卓越的贡献。
第六章---数理方程勒让德多项式
y2
x
(n
1)(n 3!
2)
x3
(n
1)(n
3)(n 5!
2)(n
4)
x5
(2k 1 n)(2k 3 n) (1 n)(n 2) (n 2k) x2k1 (2k 1)!
6. 3 勒让德多项式
6. 3 勒让德多项式
将6.2中的递推公式写成
ak
(k 2) (k 1) (n k)(k n 1)
2)!
6. 3 勒让德多项式
an4
(2n 4)! 2!2n (n 2)!(n
4)!
一般地当 n 2k 0 时，有
6.1 勒让德方程的引出
第二个方程为
d 2
d 2
cot
d
d
n
n
1
m2
sin2
0
令 x cos ，并记 P( x) (cos )
1 x2
d2P dx 2
2x
dP dx
n
n
1
m2 1 x2
P
0
k0
(k c 2)(k c 1)ak2 [(k c)(k c 1) n(n 1)ak 0
a k0 k2
(k
(k＋c)(ck)(k
cc1)a1k)xk
c2
n(n
(k＋c 1)(k c 2)
0 1)
ak
第六章 勒让德多项式1
( 2 1)l ( x)
l 1
C
dx
（6.1.11）
z 平面上围绕 z x 点的任一闭合回路，
并取正方向．这叫作勒让德多项式的施列夫利积分表示式．
式（6.1.11）还可以进一步表为下述拉普拉斯积分．
Pl ( x) 1 π 0
π
( x i 1 x 2 cos )l d
l
阶勒让德多项式．勒让德多项式也称为第一类勒让德函数．
式（6.1.7）即为勒让德多项式的级数表示． 注意到 x cos , 故可方便地得出前几个勒让德多项式:
P0 ( x) 1
P1 ( x) x cos
P2 ( x) 1 2 (3x 2 1) 1 4 (3cos 2 1)
(6.1.12)
x2 1
【证明】 取 C 为圆周，圆心在 z x ，半径为 ．在
C
上有：
x x 1e
2
i
d i x 2 1ei d i( x)d
并注意到
2 1 ( x x 2 1ei )2 1 ( x 2 1)(1 ei2 ) 2 x x 2 1ei
P3 ( x)
1
1 (5 x3 3x) (5cos 3 3cos ) 2 8
1 1 P4 ( x) (35 x 4 30 x 2 3) (35cos 4 20 cos 2 9) 8 64 1 1 P5 ( x) (63x5 70 x3 15 x) (63cos 5 35cos 3 30 cos ) 8 128
dl dx
l
x
2l 2 k
(2l 2k )(2l 2k 1) [2l 2k (l 1)]x
《数学物理方法》第六章勒让德函数
①为了讨论系数的解析性质，以判定z0=0是方程的 常点、正则奇点还是非正则奇点，必须将p(x)及q(x) 分别延拓为
但为叙述与书写方便，仍采用x⇔z的记号
12
2. 系数递推公式 由此得系数递推公式
13
3. 由递推公式求系数，得通解
14
勒让德多项式 微分表达式-罗德里格斯(Rodrigues)公式; 母函数; 积分表达式—施列夫利公式和拉普拉斯
积分 递推公式．
6.2.1 勒让德多项式的微分表达式—罗德里格 斯公式 证明 从罗德里格斯公式右边出发来证明．
二项式展开定理为
32
对(x2-1)l求l阶导数后除以(2ll!)得到
为何求和指标的最大值为[l/2]，因为对于指 数(2l-2s)＜l的项，在求l 阶导数后均为零，故： 只含(2l-2s)≥l的项，即：s≤ l/2的项．这样当 l 为偶数时，l/2为最大值； l为奇数时，(l-1)/2 为最大值。用简写符号表示就是 [l/2]
证明 (1)在|t|<1内，将w(x,t)展开为泰勒级数
其中al为泰勒系数, C为在|t|<1内包围t=0点的回路
①奇点
的|t12|<1
36
(2)为证明al =Pl(x)，作变换(u为复变数)
37
代入al ，便有
其中u平面的曲线Cʹ是在式(6.2.5)的变换下t平面曲线 C的像．当t=0时，由式 (6.2.6)得到u=x.既然t=0在 曲线C的内部，因此u=x在曲线Cʹ的内部．
式(6.1.17)乘以任意常数仍为勒让德方程的解 历史上为了让这个多项式与函数(1-2xt+t2)-1/2
的展开系数一致，选择最高次幂项的系数Cl 为
第六章_勒让德多项式
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!
第六章 勒让德函数
说明：
（2）对于级数，存在是否收敛和收敛范围的问题。用级 数解法要选定某个点 z0 作展开中心，得到的解是以 z0 为中心 的幂级数。另外还必须确定幂级数的收敛圆，级数解只在 收敛圆内部才有意义。
（1 ） 级数解法是一个比较普遍的方法， 对方程无特殊的要求。
2.方程的常点和奇点
方程的标准形式： w( z) p( z)w( z) q( z)w( z) 0 （1） 其中： w( z ) ——未知的复变函数， p( z ) 、 q( z) ——已知的 复变函数（方程的系数）
k 0 k 0 k 0
w0 ( z ) C2 k z
k 0
2k
w1 ( z ) C2 k 1 z 2 k 1
k 0
w0 ( z ), w1 ( z ) 都是方程的解，但线性无关。方程的通解是 w0 ( z ) 与 w1 ( z ) 的线性组合。
数学物理方法
2(2k 2) 4k 4 2(2k 2 2) C2 k C2 k 2 C2 k 22 2k (2k 1) 2k (2k 1) (2k 2)(2k 2 1) (4k 4 )(4k 8 ) (2k )! (4 )( ) C0
w( z) p( z)w( z) q( z)w( z) 0 （ 1 ）有唯一满足初始条件
w( z0 ) C0 , w( z0 ) C1 ) （ C0 , C1：任意常数）的幂级数解。解
的具体形式： w( z ) Ck ( z z0 ) k
k 0
数学物理方法
2
k 2
k (k 1)C x
k 0 k
k 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 为任意常数。
电磁场分析中的应用数学 第6章 勒让德方程与勒让德函数
倒推
第六章 勒让德方程与勒让德函数
Pl 表达式
第六章 勒让德方程与勒让德函数
特点
第六章 勒让德方程与勒让德函数
较低次数的勒让德多项式
第六章 勒让德方程与勒让德函数
图像
第六章 勒让德方程与勒让德函数
6-3-2 连带的勒让德多项式
第六章 勒让德方程与勒让德函数
多项式
第六章 勒让德方程与勒让德函数
第六章 勒让德方程与勒让德函数
比较两式
第六章 勒让德方程与勒让德函数
递推
第六章 勒让德方程与勒让德函数
综上可得
第六章 勒让德方程与勒让德函数
最高次项
第六章 勒让德方程与勒让德函数
应用积分公式
第六章 勒让德方程与勒让德函数
模
第六章 勒让德方程与勒让德函数
两个导数
第六章 勒让德方程与勒让德函数
证完
第六章 勒让德方程与勒让德函数
6-5 正交关系
6-5-1 正交关系式
第六章 勒让德方程与勒让德函数
只需证明式（6-5-1）和（6-5-2）
第六章 勒让德方程与勒让德函数
6-5-2 正交性ቤተ መጻሕፍቲ ባይዱ证明
第六章 勒让德方程与勒让德函数
取定积分
第六章 勒让德方程与勒让德函数
6-5-3 非正交时的积分
P符号
第六章 勒让德方程与勒让德函数
6-2-2 =1邻域内的正则解
第六章 勒让德方程与勒让德函数
指标变换
第六章 勒让德方程与勒让德函数
u1
第六章 勒让德方程与勒让德函数
勒让德函数
第六章 勒让德方程与勒让德函数
利用公式
第六章 勒让德方程与勒让德函数
第六章. 勒让德函数
第6章 勒让德函数6.1 勒让德方程与勒让德多项式一、线性常微分方程的级数解法主要内容：利用复变函数论求二阶线性齐次常微分方程 的级数解。
1. 级数解法的基本思想：把方程的解表示为以为中心、带有待定系数的幂级数，将这个幂级数带入方程及定解条件，求出所有待定系数即可得该方程的解。
0z说明：(1)级数解法是一个比较普遍的方法，对方程无特殊的要求。
(2)对于级数，存在是否收敛和收敛范围的问题。
用级数解法要选定某个点 作展开中心，得到的解是以为中心的幂级数。
另外还必须确定幂级数的收敛圆，级数解只在收敛圆内部才有意义。
0z 0z2. 方程的常点和奇点方程的标准形式：(1)其中：w (z )—未知的复变函数，p (z )、q (z )—已知的复变函数 (方程的系数)要求解的问题：在一定条件下( 如初始条件 )满足(1)的w (z )。
''()()'()()()0w z p z w z q z w z ++=1000)(',)(c z w c z w ==方程(1)的解的性质 (解的存在性、唯一性、稳定性、单值性等) 由方程的系数p (z )和q (z )的解析性确定。
设p (z )和q (z )在一定的区域中，除若干个孤立奇点外，是z 的单值解析函数。
区域中的点可分为两类：(i)方程的常点：如果p (z )和q (z )都在点 的邻域解析，则称为方程的常点。
0z 0z(ii) 方程的奇点：只要两系数p (z )和q (z )之一在点 不 解析， 就称为方程的奇点。
如果最多是p (z )的一阶极点、q (z )的二阶极点，则称为方程的正则奇点。
否则，则 称为方程的非正则奇点。
0z 0z 0z 0z 0z解：1. 级数解的形式由于 ，在 解析 是方程 的常点。
级数解具有以下形式：0()k k k w z C z ∞==∑2.将级数解代入方程，求待定系数。
210(1)20k k kk k k k k k C k k z z C kz C z λ∞∞∞−−===−−+=∑∑∑ (1)为比较同次幂的系数，对上式作变换：λ=−=)(,2)(z q z z p 00=z 0z ⇒(：任意常数)10,c c 222(1)(1)k k k k k k C k k z C k k z ∞∞−−==−=−∑∑求正则解的步骤：为方便起见，设正则奇点 （对于一般的 点，只需把0z z z →−）以2z 乘方程 '''0w pw qw ++= (5)得： 211''()'()0z w zp z w q z w ++= (6)其中： 1()()p z zp z = 21()()q z z q z =由条件(4)可知： ，在z =0点及其邻域内是解析的， 作泰勒展开：10()ss s p z a z∞==∑10()ss s q z b z ∞==∑ (7)0=z 0z )(1z p )(1z q由z 的最低次幂的系数为零得：000[(1)]0C a b ρρρ−++= (00,a b 已知) 0000(1)0C a b ρρρ≠⇒−++= (10)—— 的二次方程，指标方程 又由(9)式中的 的系数为零得：()(1)()0n s n s s n s s s C n n a n s C b C ρρρ∞∞−−==++−++−+=∑∑ (1,2)n = (11)利用递推关系，可以逐一把(8)式中的 用 和 以及已知的 和 表示出来。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第6章 勒让德函数6.1 勒让德方程与勒让德多项式一、线性常微分方程的级数解法
主要内容：利用复变函数论求二阶线性齐次常微分方程 的级数解。
1. 级数解法的基本思想：
把方程的解表示为以
为中心、带有待定系数的幂级数，将这个幂级数带入方程及定解条件，求出所有待定系数即可得该方程的解。
0z
说明：
(1)级数解法是一个比较普遍的方法，对方程无特殊的要求。
(2)对于级数，存在是否收敛和收敛范围的问题。
用级数解法要选定某个点 作展开中心，得到的解是以
为中心的幂级数。
另外还必须确定幂级数的收敛圆，级数解只在收敛圆内部才有意义。
0z 0z
2. 方程的常点和奇点方程的标准形式：
(1)
其中：w (z )—未知的复变函数，p (z )、q (z )—已知的复
变函数 (方程的系数)
要求解的问题：
在一定条件下( 如初始条件 )满足(1)的w (z )。
''()()'()()()0w z p z w z q z w z ++=1000)(',)(c z w c z w ==
方程(1)的解的性质 (解的存在性、唯一性、稳定性、单值性等) 由方程的系数p (z )和q (z )的解析性确定。
设p (z )和q (z )在一定的区域中，除若干个孤立奇点外，是z 的单值解析函数。
区域中的点可分为两类：
(i)方程的常点：如果p (z )和q (z )都在点 的邻域解析，则
称为方程的常点。
0z 0z
(ii) 方程的奇点：只要两系数p (z )和q (z )之一在点 不 解析， 就称为方程的奇点。
如果
最多是p (z )的一阶极点、q (z )的二阶极点，则
称为方程的正则奇点。
否则，则 称为方程的非正则奇点。
0z 0z 0z 0z 0z
解：1. 级数解的形式
由于 ，在 解析 是方程 的常点。
级数解具有以下形式：
0()k k k w z C z ∞
==∑
2.将级数解代入方程，求待定系数。
210
(1)20k k k
k k k k k k C k k z z C kz C z λ∞
∞
∞
−−===−−+=∑∑∑ (1)
为比较同次幂的系数，对上式作变换：
λ=−=)(,
2)(z q z z p 00=z 0z ⇒(
：任意常数)10,c c 22
2
(1)(1)k k k k k k C k k z C k k z ∞
∞
−−==−=−∑∑
求正则解的步骤：
为方便起见，设正则奇点 （对于一般的 点，只需把0z z z →−）
以2
z 乘方程 '''0w pw qw ++= (5)
得： 2
11''()'()0z w zp z w q z w ++= (6)
其中： 1
()()p z zp z = 2
1()()q z z q z =
由条件(4)可知： ，
在z =0点及其邻域内是解析的， 作泰勒展开：
10
()s
s s p z a z
∞
==∑
10
()s
s s q z b z ∞
==∑ (7)
0=z 0z )(1z p )(1z q
由z 的最低次幂的系数为零得：
000[(1)]0C a b ρρρ−++= (00,a b 已知) 0000(1)0C a b ρρρ≠⇒−++= (10)
—— 的二次方程，指标方程 又由(9)式中的 的系数为零得：
()(1)()0n s n s s n s s s C n n a n s C b C ρρρ∞
∞
−−==++−++−+=∑∑ (1,2)n = (11)
利用递推关系，可以逐一把(8)式中的 用 和 以及已知的 和 表示出来。
说明：由指标方程 的两个根。
故用递推关系(11)一般可以得到两组系数 。
具体讨论参见郭敦仁《数学物理方法》。
0C 1C (0)k C k >s a s b ρ⇒21,ρρk k d c ,ρn
z
9. 勒让德多项式的递推公式
递推关系：相邻的勒让德多项式以及它们的导数
之间存在着一定的关系。
具体如下：
1()()'()
(2)
l l l l P x x P x P x −′=−11(1)()(21)()()0(1)
l l l l P x l x P x l P x +−+−++=11(21)()'()'()
(4)
l l l l P x P x P x +−+=−1(1)()'()'()
(3)
l l l l P x P x x P x ++=−
整理上式后比较等式两边 的系数，得递推关系式 (2)。
(3) 由(1)式两边对x 求导，再与递推关系式(2)联立消去
含
的项，即得递推关系式(3) (4) 递推关系式(2)+递推关系式(3) 递推关系式(4)
⇒)('
1
x P l −10
()()'()l l
l l l l t l P x t x t P x t ∞∞
−==⇒=−∑∑l
t。