Ch6_勒让德函数.pdfVIP

第6章 勒让德函数 6.1 勒让德方程与勒让德多项式 一、线性常微分方程的级数解法 主要内容：利用复变函数论求二阶线性齐次常微分方程 的级数解。 1. 级数解法的基本思想： 把方程的解表示为以 z0 为中心、带有待定系数的幂 级数，将这个幂级数带入方程及定解条件，求出所有待 定系数即可得该方程的解。 说明： (1)级数解法是一个比较普遍的方法，对方程无特殊 的要求。 (2)对于级数，存在是否收敛和收敛范围的问题。用 级数解法要选定某个点 z0 作展开中心，得到的解是以 z0 为中心的幂级数。另外还必须确定幂级数的收敛圆，级 数解只在收敛圆内部才有意义。 2. 方程的常点和奇点 方程的标准形式： w (z) +p(z)w (z) +q(z)w(z) 0 (1) 其中：w(z)—未知的复变函数，p (z) 、q(z)— 已知的复 ( ) 变函数 方程的系数 要求解的问题： ( w(z ) c , w (z ) c ) 在一定条件下 如初始条件 0 0 0 1 满足(1) 的w(z) 。 (1) ( 方程 的解的性质 解的存在性、唯一性、稳定性、 单值性等) 由方程的系数p (z)和q(z) 的解析性确定。 p (z) q(z) 设 和 在一定的区域中，除若干个孤立奇点外， z 是 的单值解析函数。区域中的点可分为两类： (i) 方程的常点：如果p (z)和q(z)都在点z 0 的邻域解析，则 z 0 称为方程的常点。 (ii) 方程的奇点：只要两系数p (z)和q(z)之一在点 z 0 不 解析， 就称为方程的奇点。 z 0 z 如果 最多是p (z) 的一阶极点、q(z) 的二阶极点， 0 z z 则 称为方程的正则奇点。否则，则 称为方程的非 0 0 正则奇点。 3.常点邻域的级数解 可以证明：在常点 z 0 的邻域 z −z0 R 内，方程(1) 有唯一满足初始条件w(z ) C w (z ) C ( C , C ：任意常 0 0 0 1 0 1 数) 的幂级数解。解的具体形式： ∞ w(z) ∑C (z =−z )k k 0 k 0 w −2zw+λw 0 z 例：求厄米特方程 在 邻域内的解。 0 解：1. 级数解的形式