Chapter3_2_最佳平方逼近.pptVIP

§3 最佳平方逼近/* Optimal square Approximation */ 两种重要的内积空间 其中?(x) 称为权函数 它满足： 即? =span{?０,?1, …, ?n} 设X为线性内积空间，由线性无关组?０，?1，…，?n张成的线性空间?为X的子空间，任意g∈X，存在s*∈?为对g的最佳平方逼近元. 定理中所说的g-s*与一切?j正交, 是指g-s*与一切 ?j的内积等于零， 即(g-s*, ?j)=0, j=0,1,…,n. 为方便起见，假定g-s*与?i (0≤i≤n)不正交， 即?i=(g-s*, ?i) ≠0.  ＝(g-s*,g-s*）+２(g-s*, s*-s)+(s*-s, s*-s) 由内积定义中内积必须满足①的条件可知 s*－s1*≡０，即s*=s1*. 此方程恒等变形为 (∑cj*?j,?i) =(?i,g), i=0,1,…,n. 用矩阵式表示这个方程组为 若取Pn[a,b]中n+1个线性无关元为{1,x,…,xn},则 对任意的g(x)∈C[a,b], 求Pn[a,b]中对g(x)的最佳 平方逼近元pn(x)，就必须通过求解法方程组得到 最佳平方逼近元. 所以，关于a０，a１为未知数的法方程组为 解法二 (1)作变换x=(1+t)/2, 将[0,1]变换成[－1,1],则 (2) Rn中的最佳平方逼近 * 一、内积空间 二、内积空间中的最佳平方逼近 三、几种情形的最佳平方逼近 则称X为内积空间。 设X为(实)线性空间，在X上定义了内积是指 对X中每一对元素x,y,都有一实数，记为(x,y)与之 对应，且这个对应满足: (1) (x,x)≥0, 当且仅当x=0时, (x,x)=0; (2) (x,y)=(y, x)，x, y∈X; (3) (?x, y)= ?( x, y)，x, y∈X； ? ∈R; (4) (x+y, z)=(x, z)+(y, z)，x, y, z∈X 一、内积空间 定义1 n维欧氏空间Rn，内积就是两向量的数量积，即 连续函数空间C[a,b]，内积可以定义为积分的运算或带权函数的积分运算，即 或 ①在[a,b]的任何子区间上积分为正； ②?(x) ≥0，且使?(x) =0的点至多有限个； ③ 对f(x)=1, x, x２,…, 积分 存在. 几个概念 (1) 模(范数): 这种距离也称为2-范数意义下的距离 (2) 线性赋范空间中两元素x,y之间的距离为 (3) 正交：若(x, y)＝0，则称x与y正交 连续函数空间C[a,b]中f(x)与g(x)的距离即为 因此Rn中两点x与y之间的距离即为 对任意S∈?成立. 若s*∈?存在，称s*为对g∈X的最佳平方逼近元 设X为线性内积空间, ?０,?1, …, ?n为X上n+1个线 性无关元，由张成X的子空间记为? 对任意的g∈X, 在X的子空间?中, 求对g的按2-范数意义下的最佳逼近元s*，即求s*∈?，使不等式 dis(s*, g)=‖s* -g‖2≤‖s-g‖２ 二、内积空间中的最佳平方逼近 定义2 线性内积空间X的子空间?的线性无关组?０，?1,…,?n的选取不同, 在?中求得对g∈X的最佳平方逼近元s*也不同, 求解s*的难易程度也不同 Remark 定理1 (1)最佳平方逼近元的存在性 s*∈? =span{?０,?1, …, ?n}为对g∈X (线性内积空间)的最佳平方逼近元的 充要条件 是g- s*与一切?j (j=0,1,…,n)正交. 其中?０,?1,…,?n为X的n+1个线性无关元 (2)最佳平方逼近元的充要条件 定理2 这说明s*不是对g的最佳平方逼近元，与假设条件矛盾，所以g- s*必须与一切?k (k=0,1,…,n)正交. 且‖g-q(x)‖２２ ＝(g-s*,g-s*)-?i2/(?i, ?i) (g-s*,g-s*)=‖g-s*‖２２ 必要性 用反证 设s*∈?为对g∈X的最佳平方逼近元，但g-s*不 与所有的?k(k=0,1,…,n)正交. 令 显然q(x)∈? 证明 而 (g-s*, s*-s）=∑(cj-dj)(g-s*,?j)=0 (s*-s, s*-s)?0 所以 ‖g-s‖２２ ?(g-s*,g-s*）= ‖g-s*‖２２ 进而有‖g-s*‖２≤‖g-s‖２ 对任意s∈ ?成立, 即s*为g的最佳平方逼近元 充分性 记 s*＝∑cj?j 对任意的s=