- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
数学物理方程-第七章__分离变量法III
PAGE
第七章 勒让德多项式
在第三章中我们介绍了一类特殊函数—Bessel函数,利用Bessel函数给出了平面圆域上Laplace算子特征值问题的解,从而求解了一些与此特征值问题相关的定解问题.为求解空间中球形区域上与Laplace算子相关的一些定解问题,需要引入另一类特殊函数—勒让德(Legendre)多项式,用于求解空间中球形区域上Laplace算子的特征值问题. Legendre多项式不仅是解决数学物理方程中许多问题很有用的工具,在自然科学的其它领域也有不少的应用.
§71勒让德多项式
本节介绍勒让德多项式及相关的一些特征值问题,为分离变量法的进一步应用作准备.
7.1.1 勒让德方程及勒让德多项式
考虑下面二阶常微分方程
,. (1.1)
其中为常数,(1.1)称为勒让德方程.设非负实数,并将(1.1)改写为如下形式
,. (1.2)
(1.2)满足第三章中定理1.1中的条件,其中
,
故(1.2)在区间有解析解,设其解为
(1.3)
其中待定常数. 将该级数及一阶和二阶导数代入到原方程中得
,
或
.
令上式中系数为零可得
此即
(1.4)
连续使用(1.4)可得:,
,
.
将上面的结果代入到 得
(1.5)
其中为任意常数,而为Legendre方程的基解组.
当为非负整数时,由上面的表达式易见:若为偶数,则,. 若为奇数,则. 因此,当为非负整数时,
和其中之一是一个次多项式. 如果选取该次多项式的首项系数等于,这一次多项式称为阶勒让德多项式并记为. 因此,当时,Legendre方程基解组中其中之一为阶勒让德多项式,而另一个与线性无关的解是一个无穷级数并记为,称为第二类阶勒让德函数. 根据第三章中定理1.1可知在区间收敛. 进一步还可证明在区间的两个端点是发散的,而且是发散到无穷大.
注1 当不为整数时,由于,和都不等于零,即和是两个无穷级数, 和也称为阶勒让德函数.根据第三章定理1.1知这两个无穷级数在区间收敛. 进一步还可证明,这两个无穷级数在区间的两个端点是发散的, 而且是发散到无穷大.
总结上面所得结果便得如下定理.
定理1.1 勒让德方程(1.1)对任意的非负常数可解,且其解为 ,其中和由(1.5)中的表达式给出. 勒让德方程(1.1)有有界解当且仅当. 此时, 方程的有界解为阶勒让德多项式,而另一个与线性无关的解在区间是无界的.
勒让德多项式不仅可用于求解勒让德方程,还可以用来求解下面方程
(1.6)
其中为正整数,,. (1.6)称为勒让德伴随方程.
对(1.6)中方程作变量代换:,直接计算可得满足如下方程
(1.7)
对勒让德方程(1.2)两边求阶导数得
,
整理可得
(1.8)
比较(1.7)和(1.8)可得,是(1.7)的解,其中是勒让德方程(1.2)的解. 因此,(1.7)的通解为 和由(1.5)中的表达式给出. 利用变换可知(1.6)中方程通解为
(1.9)
总结上面所得结果可得如下定理.
定理 对于任意的正整数,勒让德伴随方程(1.6)的通解由(1.9)给出. 仅当,(1.6)有有界解
(1.10)
7.1.2 勒让德多项式的生成函数和递推公式
勒让德多项式和三维Laplace方程基本解有密切的联系. 在第五章中已经知道,三维Laplace方程基本解为
其中 . 若记 ,和的夹角为,由余弦定理可得
,
故有
引入函数,其定义如下
(1.10)
由于,所以可在的某一邻域展成Taylor级数. 利取时二项式Taylor级数公式可得
(1.11)
将(1.11)中展开,注意到对任意正整数,含的项均来自于(1.11)中的前项,故的系数至多为变量的一个次多项式. 可以证明的系数就是勒让德多项式,即对于任意的,有
. (1.12)
由于勒让德多项式可由(1.12)确定,就称函数为勒让德多项式的生成函数或叫母函数,利用该函数可以得到勒让德多项式的一些性质.
下面利用(1.12)式推导勒让德多项式的递推公式.
利用(1.10)对关于求导,易得下面一阶微分方程
, (1.13)
将(1.12)代入到(1.13)中得
文档评论(0)