四、拉盖尔多项式

  • 格式:doc
  • 大小:81.50 KB
  • 文档页数:3

拉盖尔多项式

常微分方程

01yyxyx (0<x<∞==) (1)

叫作拉盖尔方程.

00x是拉盖尔方程的正则奇点.在00x及其邻域上为有限的级数解是

220!21!11xxaxy

+kxkk2!11. (2)

级数的收敛半径为无限大.

如λ为整数,解y(x)退化为λ次多项式.用适当的常数乘这些多项式,使最高次幂项成为,nx就叫作拉盖尔多项式,记作xLn.

于λ=0,有10xL

λ=1,11xxL

λ=2,2422xxxL

λ=3,6189233xxxxL

λ=4,249672162344xxxxxL

λ=5,1206006002002523455xxxxxxL

函数texttxt1,1在00t的邻域上是解析的,可在00t的邻域上展为泰勒级数

!,0ntxLxtnnn (3)

现在来证明(3)式里的xLn正是拉盖尔多项式.既然(3)式里的xLnn!1是Ψ(t,x)的泰勒展开的系数,那就有 xnnnxtnnnexdxdetxL0.

上式利用了§2.4习题2.我们只需证明(4)式正是拉盖尔多项式就行了.

令 xnexz,

容易验证,z满足

0znxzx.

上式对x求导n+1次,

01112nnnznzxxz

这就是说,nzu满足

011unuxux.

参照(4)式,作函数变换xLexux,得L(x)所满足的方程

01nLLxLx,

这正是拉盖尔方程(1).拉盖尔方程的多项式解只能是拉盖尔多项式,最多相差某个常数因子.经具体验算,得知并不差常因子.(3)和(4)里的xLn的确是拉盖尔多项式.函数

textttx1,1

因而称为拉盖尔多项式的母函数.而(4)式是拉盖尔多项式的微分表示式.

拉盖尔方程(1)可改写为施图姆-刘维尔型

0yedxdyxedxdxx (0<x<∞==) (5)

作为施图姆-刘维尔本征值问题的正交性关系的特例,拉盖尔多项式在区间0<x<∞上带权重xe正交,

00dxexLxLxnm (m≠n) (6)

拉盖尔多项式的模nN可借助微分表示式(4)并累次分部积分而算得,

2nN=220!ndxexLxn (7)

根据施图姆-刘维尔本征值问题的性质④(见§9.4),在区间0<x<∞上,以接盖尔多项式为基本函数族,可把函数f(x)展开为

0nnnxLfxf,

02!1dxexLxfnfxnn (8)