11最小逼近函数的解法 (x)=a090+a1+…+un E=a=∑[f(x)-g(x) i=0 E是关于a0a1…,am的连续函数,且E20,所以一定 存在一组数a,a1…an使得E取极小值,只要满足 OE =0(j=0,1,…,m) ∑[agn(x)+a91(x)+…+an9n(x,)-∫(x) J I=0 2∑[aq(x)+aq(x)+…+an9n(x1)-f(x)q(x) i=0 0(j=0,1,…,m)
E是关于a0 ,a1 ,…,am的连续函数，且E≥0，所以一定 存在一组数a0 ,a1 ,…,am使得E取极小值，只要满足 即 2 2 2 0 || || ( ) ( ) n i i i E f x g x = = = − 0 0 1 1 ( ) m m g x a a a = + + + 0 ( 0,1, , ) j E j m a = = 2 0 0 1 1 0 0 0 1 1 0 ( ) ( ) ( ) ( ) 2 ( ) ( ) ( ) ( ) ( ) 0 ( 0,1, , ) n i i m m i i i j n i i m m i i j i i a x a x a x f x a a x a x a x f x x j m = = + + + − = + + + − = = 1.1 最小逼近函数的解法
∑[aq(x)+aq1(x)+…+an9n(x)-f(x)q(x)=0 91;“9 上式整理得 ∑q(x(x)4+∑q(x)(x)a 0 i=0 ∑pn(x)( ∑∫(x)(x =0 i=0 上述方程组称为正规方程组或法方程组。 只要求解满足上述方程组的aa1…,am即可
上式整理得 只要求解满足上述方程组的a0 ,a1 ,…,am即可。 0 0 1 1 0 0 0 0 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( 0,1, , ) n n i j i i j i i i n n m i j i m i j i i i x x a x x a x x a f x x j m = = = = + + + = = 0 0 1 1 0 2 ( ) ( ) ( ) ( ) ( ) 0 ( 0,1, , ) n i i m m i i j i i a x a x a x f x x j m = + + + − = = 上述方程组称为正规方程组或法方程组
定义:设函数组{((x)q(x,…,gn(x)}中的每个函数都在区间 1连续,如果对任意选取的不全为零的数a0,a1,…,am 函数g(x)=a9+a11+…+an2m在l上具有的零点个数 都不多于m个,则称该函数组为切比雪夫组或称该函数 组满足Harr条件。 定理81如果函数组{q(x,g(x)…,mn(x)}在包含点集 x(=0,1,…,m)的区间上满足Har条件,则法方程 组的系数矩阵非奇异,即最小平方逼近有唯一解
定义：设函数组 中的每个函数都在区间 I上连续，如果对任意选取的不全为零的数 函数 在I上具有的零点个数 都不多于m个，则称该函数组为切比雪夫组或称该函数 组满足Harr条件。 0 1 ( ), ( ), , ( ) x x x m 0 1 , , , , m a a a 0 0 1 1 ( ) m m g x a a a = + + + 定理8.1 如果函数组 在包含点集 的区间上满足Harr条件，则法方程 组的系数矩阵非奇异，即最小平方逼近有唯一解 0 1 ( ), ( ), , ( ) x x x m ( 0,1, , ) i x i m = 0 1 , , , . m a a a
显然,当(x)=x(j=01,…,m时,函数组{l,x,x2,,x" 满足Har条件。此时,最小平方逼近多项式为 Pn (x)=o+a1x+a2x'+.+amx 相应的法方程组为 (n+);a+∑x4+ xmam=∑f(x) i=0 0 2)+()+-+-)n2 ·a,十…十)x 7m|-an=∑xf(x)
显然，当 时，函数组 满足Harr条件。 ( ) ( 0,1, , ) j j x x j m = = 2 1, , , , m x x x 此时，最小平方逼近多项式为 2 0 1 2 ( ) m P x a a x a x a x m m = + + + + 相应的法方程组为 ( ) 2 0 1 2 0 0 0 0 2 3 1 0 1 2 0 0 0 0 0 1 0 1 0 0 1 ( ) ( ) n n n n m i i i m i i i i i n n n n n m i i i i m i i i i i i i n n m m i i i i n a x a x a x a f x x a x a x a x a x f x x a x a x = = = = + = = = = = + = = + + + + + = + + + + = + + 2 2 2 0 0 0 ( ) n n n m m m i i m i i i i i a x a x f x + = = = + + =