四、拉盖尔多项式
- 格式:doc
- 大小:81.50 KB
- 文档页数:3
拉盖尔多项式
常微分方程
01yyxyx (0<x<∞==) (1)
叫作拉盖尔方程.
00x是拉盖尔方程的正则奇点.在00x及其邻域上为有限的级数解是
220!21!11xxaxy
+kxkk2!11. (2)
级数的收敛半径为无限大.
如λ为整数,解y(x)退化为λ次多项式.用适当的常数乘这些多项式,使最高次幂项成为,nx就叫作拉盖尔多项式,记作xLn.
于λ=0,有10xL
λ=1,11xxL
λ=2,2422xxxL
λ=3,6189233xxxxL
λ=4,249672162344xxxxxL
λ=5,1206006002002523455xxxxxxL
函数texttxt1,1在00t的邻域上是解析的,可在00t的邻域上展为泰勒级数
!,0ntxLxtnnn (3)
现在来证明(3)式里的xLn正是拉盖尔多项式.既然(3)式里的xLnn!1是Ψ(t,x)的泰勒展开的系数,那就有 xnnnxtnnnexdxdetxL0.
上式利用了§2.4习题2.我们只需证明(4)式正是拉盖尔多项式就行了.
令 xnexz,
容易验证,z满足
0znxzx.
上式对x求导n+1次,
01112nnnznzxxz
这就是说,nzu满足
011unuxux.
参照(4)式,作函数变换xLexux,得L(x)所满足的方程
01nLLxLx,
这正是拉盖尔方程(1).拉盖尔方程的多项式解只能是拉盖尔多项式,最多相差某个常数因子.经具体验算,得知并不差常因子.(3)和(4)里的xLn的确是拉盖尔多项式.函数
textttx1,1
因而称为拉盖尔多项式的母函数.而(4)式是拉盖尔多项式的微分表示式.
拉盖尔方程(1)可改写为施图姆-刘维尔型
0yedxdyxedxdxx (0<x<∞==) (5)
作为施图姆-刘维尔本征值问题的正交性关系的特例,拉盖尔多项式在区间0<x<∞上带权重xe正交,
00dxexLxLxnm (m≠n) (6)
拉盖尔多项式的模nN可借助微分表示式(4)并累次分部积分而算得,
2nN=220!ndxexLxn (7)
根据施图姆-刘维尔本征值问题的性质④(见§9.4),在区间0<x<∞上,以接盖尔多项式为基本函数族,可把函数f(x)展开为
0nnnxLfxf,
02!1dxexLxfnfxnn (8)