应用数学基础 第六章-广义Fourier级数与最佳平方逼近.pptVIP

* * §6.3-1 Legendre多项式 定理6.6 对任意的 f ?L2[-1, 1], 关于L2[-1, 1]的Legendre多项式系{ p0, p1, p2, … }, f 可以展开为广义Fourier级数 (称为Fourier-Legendre级数) 其中 上面的等式表明无穷级数依L2[-1, 1]的范数|| ? ||2收敛于f . 称为平均收敛 * * §6.3-1 Legendre多项式 例6.3 将下面的函数展开为Fourier-Legendre级数: 由定理6.6, f 可以展开成形如(6.18)的级数. 先计算内积 当n为偶数时, pn(x)为偶函数, f, pn= 0. 当n为奇数时, pn(x)为奇函数, 故 答案见Mathematica程序或p.293. * * §6.3-1 Legendre多项式 Legendre多项式适用于求有限区间上的最佳平方逼近. 对任意的 f ?L2[a, b], 如何求 f 的最佳平方逼近? 先作区间变换: 则变成了求[-1, 1]区间上函数F(t)在 P2[-1, 1]上的最佳平方逼近的问题. 误差估计及其它内容参见教材p.294. 答案见Mathematica程序或p.294. 例6.4 设 f(x) = ex ( x?[0, 1]), 求 f 在 P2[0, 1]上的二次最佳平方逼近 s2*. * * §6.3-2 关于权函数的正交多项式系 定义6.7 设实函数?(x)是开区间(a,b)内恒为正的Lebesgue可积函数, 所有定义在闭区间[a, b]上且满足条件 全体实函数组成一个线性空间, 记作L [a, b]. 对任意两 个元素 f 和g, 内积定义为 不难验证, L [a, b]关于上面的内积构成一个Hilbert空间,称为以?(x)为权函数的Hilbert空间, ?(x)称为权函数. 由内积导出的范数, 关于权函数?(x)正交等概念, cf.p.295. * * §6.3-2 关于权函数的正交多项式系 1. Hermite多项式 考虑以?(x)= 为权函数的实Hilbert空间L [-?, +?], 对任意两 个元素 f 和g, 内积定义为 记en(x) = xn(n = 0, 1, 2, …), 用Schmidt正交化过程, 由{e0 , e1, e2, …}得到完全标准正交系{h0 , h1, h2, …}, 其中: 而 Hn称为n阶Hermite多项式. cf. Pages 296-297. * * §6.3-2 关于权函数的正交多项式系 2. Laguerre多项式 考虑以?(x)= e-x为权函数的实Hilbert空间L [0, +?], 对任意两 个元素 f 和g, 内积定义为 记en(x) = xn(n = 0, 1, 2, …), 用Schmidt正交化过程, 由{e0 , e1, e2, …}得到完全标准正交系{l0 , l1, l2, …}, 其中: 而 Ln称为n阶Laguerre多项式. cf. Pages 297-298. * * §6.3-2 关于权函数的正交多项式系 3. Chebyshev多项式 考虑以?(x)= 为权函数的实Hilbert空间L [-1, 1], 对任意两 个元素 f 和g, 内积定义为 对于n = 0, 1, 2, …), 令 Tn称为n 阶(第一类)Chebyshev多项式. cf. Pages 298-298. Chebyshev多项式满足下面的递归关系式 Tn+1(x) = 2xTn(x) ? Tn-1(x). * * §6.3-3 正交多项式的主要性质 用{?0 , ?1, ?2, …}表示关于权函数?(x)的完全正交系, 相应的标准正交系用{?0 , ?1, ?2, …}表示. 四种正交多项式的共同性质: (1) Pn[a, b] = span {?0 , ?1, ?2, …} = span {?0 , ?1, ?2, …}, 因此, n次多项式Qn可以表示为?0 , ?1,…, ?n的线性组合. (2) 如果deg Q(x) n, 则 Q, ?n = 0. (3) 对于n?1, ?n(x)在开区间(a,b)内恰有n个不同的零点. Hint: 先证至少有一个零点, 再利用(2)证明有n个不同的零点. (4) ? f?L [a, b], f 关于{?i}可以展开成广义Fourier级数. (5) ? f?L [a, b], f 在有限维子空间M上关于权函数?(x)的最佳平方逼近s*及 f 关于