18数值分析55正交多项式.pptVIP

5.5 正交多项式 5.5.1 正交多项式概念与性质 一、权函数 定义 在区间(a, b)上, 若非负函数? ?x?满足 二、内积 ?定义 给定 f ?x?, g?x??C[a, b], ? ?x?是(a, b)上的权函数,称 三、正交与正交函数系 ?定义 若内积 ? [a, b] 上带权 ? ?x?的正交函数系必是线性无关的函数系, 而不论? ?x?是什么函数. 因为, 若 c0?0?x?? c1?1?x? ???cn?n?x? ?0, a ? x ? b, 则 0 ?(0, ?i) ? ( c0?0 ? c1?1 ??? cn?n, ?i ) ?ci(?i , ?i ? ?ciai ci =0 i = 0, 1, … , n . ? 性质1 (结构) 设{?k?x?} 是[a, b] 上带权 ? ?x?的正交多项式系, 则 { ck?k?x? } 也是[a, b] 上带权 ? ?x?的正交多项式系. 其中, ck 是非零常数. ? 性质2 (唯一性) {?k?x?} 是区间[a, b] 上带权 ? ?x?的正交多项式系, 若各个 ?k?x? 的最高次项系数是1, 则 这样的{ ?k?x? } 是唯一的. 四、幂函数系的正交化 只要给定区间 [a , b] 及权函数 ?(x), 幂函数系 { xk } 经下面的正交化方法，总可化为正交多项式系 {?k?x?}， 其中， ?k?x?是最高项系数为1的 k 次多项式。 5.5.2 几种常用的正交多项式 勒让德多项式性质 (1) { Ln(x) }是 [-1,1]上的正交多项式. (2) { Ln(x) }的最高次项系数是 (3) n为奇数时, Ln(x)为奇函数; n为偶数时, Ln(x)为偶函数; (4) 当 n ?1时, Ln(x)有递推关系式: (2) { Ln(x) }的最高次项系数，因为 (3) n 为奇数时, Ln(x)为奇函数; n 为偶数时, Ln(x) 为偶函数; 利用 得 当 n 为偶时，xn ?2j 均是偶函数, 故 Ln(x) 为偶函数。同理,有奇数时的结论。 (4) 当 n ? 1 时, Ln(x) 有递推关系式: 用P121中 性质 (5.73) 可以推出此结论。 2、切比雪夫 (Chebyshev) 多项式 定义 设 n 为非负整数,称下多项式为切比雪夫多项式 引理 当 n ? 1 时，有下面的三角恒等式 其中，aj(n) 为常数。 用归纳假设，有 性质 1 的证明 令? ? arccosx ，代入式(5.77)，得 性质3的证明 由于 3、Laguerre 多项式 定义 称下面多项式为拉盖尔(Laguerre)多项式 4、Hermite 多项式 定义 称下面多项式为 Hermite 多项式 数学符号 x0,x1, ?, xm, ??0?x?,?1?x?, ?, ?n?x?, ? ? k=0,1, ?, n ? ??x??0 n ?0 a ? x ? b k ? 1 ??? ?? ? ?? ? ? ?????? ??? ??????? ΓΔΘΛΞΦΨΩ ????? ????? ????? ????? ????? ????? ????? ??????? ? ????? ??? ? ? ? ? ? ? ? ? ????? ? ? ? ? ? ?? ? ? ? ? ? ? ?? ?? ????????? ????? ????? ?????? ????????? ? ? ? ??????? ? ? ? ? ? ? ? ? ? ? ? ? ①②③④⑤⑥⑦⑧⑨ H0 H1 H2 H3 * * (1)对一切整数 n ?0, 存在； (2)对(a, b)上的非负连续函数 f?x?, 若 则在区间(a, b)上 f ?x? ?0. 那么,称 ? ?x?为(a, b)上的权函数. 常见的权函数： 为 f, g 在 [a, b] 上的内积. ? 内积的性质 (1) ( f, g) ? ( g, f ) ; (2) (k f, g) ? ( f, kg ) ? k( f, g)，k为常数; (3) ( f1 ? f2, g