Ch5_5正交多项式09用.pptVIP

5.5 正交多项式 —— 逼近 5.5.1 概念与性质 一 权函数 定义1 在区间(a, b)上, 若非负函数 ? ?x? 满足 二 内积 ? 定义2 给定 f ?x?, g?x??C[a, b], ? ?x?是(a, b)上的权函数,称 ? [a, b] 上带权 ? ?x?的正交函数系必是线性无关的函数系, 而不论 ? ?x? 是什么函数. 因为, 若 a0?0?x?? a1?1?x? ???an?n?x? ?0, a ? x ? b, 则 0 ?(0, ?i) ? ( a0?0 ? a1?1 ??? an?n, ?i ) ?ai(?i , ?i ? ? ai?0. i = 0, 1, … , n . ? 性质1 (结构) 若{?k?x?} 是[a, b] 上带权 ? ?x?的正交多项式系, 则, {ck?k?x?} 也然. 其中, ck 是非零常数. ? 性质2 (唯一性) {?k?x?} 是区间[a, b] 上带权 ? ?x?的正交多项式系, 若各个 ?k?x? 的最高次项系数是1, 则 这样的{ ?k?x? } 是唯一的. 四 幂函数系的正交化 只要给定区间 [a , b] 及权函数 ?(x), 幂函数系{xk} 经下面的Schmidt正交化方法，总可化为正交多项式系 {?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?, ? ?, a ? x0 ? x1 ? ? ? xm?b ,, f (x) ? a0 ?a1x ? ? ? amxm, a1 a2 ? ak a1, ?, am, ?L0?x?, L1?x?, ?, Ln?x??, k=0,1, ?, n ?(x) k ?j, (?k, ?k) ?0, ? ??x??0 n ?20 a ? x ? b k ? 1, n?m, q ?0, ? ? arccosx ( ?n+1 q ?1, ??(a) ?0 ? ?? ? n?? ?? ? ? ????? ??? ??????? ΓΔΘΛΞΦΨΩ ?k ?0 f (x)?C[a, b] (xj,yj),j=0,1,…,m, Δ A, ? A?Rn?n, b, ? b?Rn,Ax=?x ? A(kx)=?(kx) n?1 ? ? ??k ?s, ?k? s k ? n ??, ????? ????? ????? ????? ????? ????? ????? ??????? ? ????? ??? ? ? ? ? ? ? ? ? ???? ? ? ? ? ? ? ?? ? ? ║? ? ? ? ? ?? ?? ? ? ? ij ( f ? p*, f ? p*), , | x ?a | ? ? (a) ? 0.5 ?10m ? n, n ? k , a1 ?0,m?Z A1?Up1q1TAUp1q1, ????????? ????? ????? ║?????? A?Rn ? n