数值分析 函数逼近与曲线拟数值分析 函数逼近与曲线拟合数值分析 函数逼近与曲线拟合数值分析 函数逼近与曲线拟合.doc

第三章 函数逼近与曲线拟合 1 函数的逼近与基本概念 1.1问题的提出 多数计算机的硬件系统只提供加、减、乘、除四种算术运算指令，因此为了计算大多数有解析表达式的函数的值，必须产生可用四则运算进行计算的近似式，一般为多项式和有理分式函数.实际上，我们已经接触到两种逼近多项式，一种是泰乐多项式，一种是插值多项式.泰乐多项式是一种局部方法，误差分布不均匀，满足一定精度要求的泰乐多项式次数太高，不宜在计算机上直接使用.例如，设是上的光滑函数，它的Taylor级数，在上收敛。当此级数收敛比较快时，。这个误差分布是不均匀的。当时，，而离开零点增加时，单调增加，在误差最大。为了使的所有满足，必须选取足够大的，这显然是不经济的。插值函数出现的龙格现象表明，非节点处函数和它的插值多项式相差太大。更重要的是，实际中通过观测得到的节点数据往往有各种误差，此时如果要求逼近函数过全部节点，相当于保留全部数据误差，这是不适宜的。如图1所示，给出五个点上的实验测量数据，理论上的结果应该满足线性关系，即图1中的实线。由于实验数据的误差太大，不能用过任意两点的直线逼近函数。如果用过5个点的4次多项式逼近线性函数，显然误差会很大。 1.2范数与逼近 一、线性空间及赋范线性空间 要深入研究客观事物，不得不研究事物间的内在联系，给集合的元素之间赋予某种“确定关系”也正是这样的道理.数学上常把在各种集合中引入某些不同的确定关系称为赋予集合以某种空间结构，并将这样的集合称为空间。最常用的给集合赋予一种“加法”和“数乘”运算，使其构成线性空间.例如将所有实维数对组成的集合，按照“加法”和“数乘”运算构成实数域上的线性空间，记作，称为维向量空间.类似地，对次数不超过的实系数多项式全体，按通常多项式与多项式加法及数与多项式乘法也构成数域上一个线性空间，用表示，称为多项式空间。所有定义在上的连续函数集合，按函数加法和数与函数乘法构成数域上的线性空间，记作.类似地，记为具有阶连续导数的函数空间. 在实数的计算问题中，对实数的大小、距离及误差界等是通过绝对值来度量的.实践中，我们常常会遇到对一般线性空间中的向量大小和向量之间的距离进行度量的问题，因此有必要在一般线性空间上，赋予“长度”结构，使线性空间成为赋范线性空间. 定义1 设是数域上一个线性空间，在其上定义一个实值函数，即对于任意及，有对应的实数和，满足下列条件 (1) 正定性：，而且当且仅当； (2) 齐次性：； (3) 三角不等式：； 称为上的范数，定义了范数的线性空间就称为赋范线性空间. 以上三个条件刻划了“长度”、“大小”及“距离”的本质，因此称为范数公理. 对上的任一种范数，，显然有. 上常用的几种范数有： (1) 向量的-范数： (2) 向量的1-范数： (3) 向量的2-范数： (4) 向量的-范数： 其中，可以证明向量函数是上向量的范数. 前三种范数是-范数的特殊情况（）.我们只需表明(1).事实上 及，故由数学分析的夹逼定理有。 类似地对连续函数空间，可定义三种常用范数： (1) -范数： (2) 1-范数： (3) 2-范数： 可以验证这样定义的范数均满足定义1中的三个条件. 二、内积与内积空间 在线性空间中，仅规定了加法与数乘两种运算.为了使线性空间中的向量元素之间具有夹角的概念，我们需引入第三种运算—内积. 定义2 设是数域(或)上的线性空间，对有中一个数与之对应，记为，它满足以下条件——内积公理： (1)共轭对称性： (2)第一变元线性： (3)正定性：,当且仅当时, 则称二元函数为上与的内积.定义了内积的线性空间称为内积空间.当实线性空间，称是实内积空间；当复线性空间，称是复内积空间. 如果，则称与正交，这是中向量相互垂直概念的推广. 定理1设为一个内积空间，对，有 (1.1) 称为Cauchy-Schwarz不等式. 证明 设，则，对如何实数有 取，代入上式右端，得 即(1.1)式得证.当时，(1.1)式显然成立. 定理2 设为一个内积空间，，矩阵 (1.2) 称为克莱姆（Gramer）矩阵，则非奇异的充分必要条件是线性无关. 证明 奇异存在非零向量，使得.即 即线性相关. □ 定理3（Gram-Schmidt正交化方法）如果是内积空间中一个线性无关的序列，则可按照公式 (1.3) 产生一个正交序列，满足 ，而且此序列是的一组基. 在内积空间上可以由内积导出一种范数，即对于，记 容易验证它满足范数的定义，其中三角不等式可以由定理1证明. 例1 与的内积.设，，则内积可定义为 (1.4) 由此导出向量2-范数为 若给定实数，称为权系数，则在上可定义加权内积为