郭紅焱

(云南民族大學(xué) 預(yù)科教育學(xué)院，云南 昆明 650031)

0 引 言

二十世紀(jì)以來，函數(shù)逼近論得到了高速發(fā)展，它不僅能夠研究多項式函數(shù)、線性算子等的最佳逼近，還滲透到泛函分析、調(diào)和分析、代數(shù)、小波分析，成為計算數(shù)學(xué)、應(yīng)用數(shù)學(xué)、優(yōu)化理論、計算機(jī)輔助設(shè)計等學(xué)科的理論基礎(chǔ)和方法依據(jù)，特別是應(yīng)用于計算機(jī)領(lǐng)域數(shù)據(jù)的模擬和分析.我們知道，插值和擬插值是經(jīng)常用到的兩種方法，然而在大規(guī)模的數(shù)據(jù)面前，一般是采用擬插值的方法，它可以直接構(gòu)造出一個整體逼近的形式，因此構(gòu)造具有良好性質(zhì)的擬插值已很有必要[1-6].

在已知節(jié)點的情形下，擬插值的標(biāo)準(zhǔn)形式是

(1)局部逼近性，即(Snh)(x)在x點的值僅依賴于h(x)及其若干階導(dǎo)數(shù)在x點的領(lǐng)域上的值；

(2)逼近階的最佳性，即(Snh)(x)逼近光滑函數(shù)h(x)可達(dá)到最好可能的樣條函數(shù)的逼近階；

(3)對l次多項式的再生性，這里k

(Snp)(x)=P(x).

性質(zhì)(3)是保證性質(zhì)(2)的關(guān)鍵，我們的構(gòu)造也就從抓住性質(zhì)(3)和性質(zhì)(1)入手.

1 C空間下B樣條擬插值算子的逼近

1.1 B樣條的定義及性質(zhì)

下列性質(zhì)1到性質(zhì)3可在參考文獻(xiàn)[3]中找到，性質(zhì)4和性質(zhì)5可在參考文獻(xiàn)[4，6]中找到.

性質(zhì)1 遞推關(guān)系：當(dāng)m≥2時，m階B樣條定義為：

性質(zhì)2 正定與緊支性：

性質(zhì)4 對?τ∈R，

證明我們已經(jīng)知道對?m≥2均有

成立，又在性質(zhì)4中，取τ=0，即可得

1.2 預(yù)備知識

我們先給出k泛函與光滑模的定義如下：

我們知道k泛函與光滑模具有等價等質(zhì),即

c1wr(f,t)∞≤Kr,∞(f,t)≤c2wr(f,t)∞，c1

其中Zj(h)是h(xj)，h(xj+1)，…，h(xj+m)的組合.

設(shè)(Snh)(x)是C[a,b]中的正線性算子系列，如果對于fi(x)=xi，i=0, 1, 2，則該算子在[a,b]上一致收斂于fi(x)，則對于每個函數(shù)f(x)∈C[a,b]，(Snf)(x)在[a,b]上一致收斂于f(x).為了得到較高的逼近階，我們對 B樣條擬插值算子進(jìn)行加權(quán)逼近[9-10]，其中Jacobi權(quán)為：

滿足‖Snh-h‖∞≤c3tr-1‖g(r-1)‖∞.

證明由h(x)滿足的性質(zhì)，先取在x0=0處，由麥克勞林公式可得：

又記

因為對?x∈R都成立，故在其它點處由Taylor公式同樣可得.

此時不妨設(shè)|x|

而又因為(Snh)(x)具有局部多項式的再生，所以有：

(Snpx0)(x)=Px0(x).

又因為‖wkSn(h)‖∞≤M‖wkh‖∞，‖wk(Sn(h)-h)‖∞≤Mn-1‖wkh″‖∞(其中M表示與h,n,x無關(guān)的正常數(shù))，從而得到：

‖wk(Snh-h)‖∞

=‖wk(Snh-Px0(x)+Px0(x)-h)‖∞

=‖wk(Snh-Px0(x)+Snpx0(x)-h)‖∞

≤‖wk(Snh-Px0(x))‖∞+‖wk(Shpx0(x)-h)‖∞

=(1+‖Sn‖)|h(x)-Px0(x)|≤c3hr-1‖f(r-1)‖≤MKwk(h,n-1).

在這里需要證上面的‖Sn‖有界.

證明因為

‖(Snh)(x)‖≤c‖h‖∞，則‖Sn‖≤c.又其中Zj(h)是h(xj)，h(xj+1),…,h(xj+m)的組合，即

∑Zj(h)=c1h(xj)+c2h(xj+1)+…+cm+1h(xj+m) ≤|c1h(xj)|+|c2h(xj+1)|+…+|cm+1h(xj+m)|≤(k+1)cm‖h(xj+m-1)‖≤(k+1)cm‖h‖∞.

這里取(k+1)cm=c.

2 Lp空間下B樣條擬插值算子的逼近

研究本節(jié)需用到如下知識.

(1)對每個f∈Lp[a,b]，(1≤p≤∞，本文假設(shè)L∞=c)

(2)(Minkowski不等式)設(shè)p≥1,f∈Lp[a,b],g∈Lq[a,b] ,那么f+g∈Lp[a,b]，并且下列不等式成立

‖f+g‖p≤‖f‖p+‖g‖p.

‖f-Sh(f)‖p[xi,xi+1]≤c4[‖f-g‖p[xi,xi+1]+hm‖g(m)‖p[xi,xi+1]]，?g∈cm[xi,xi+1]

證明由定理1可以得到：

|f(x)-Sh(f)(x)|≤c5hr-1w(f(r-1),h)Ii，

‖f-Sh(f)‖p[xi,xi+1]=‖f-g+g-Sh(f)‖p[xi,xi+1]≤‖f-g‖p[xi,xi+1]+‖g-Sh(f)‖p[xi,xi+1].

又因為

‖g-Sh(f)‖p[xi,xi+1]

=‖g-Px0(x)+Px0(x)-Sn(f)‖p[xi,xi+1]

=‖g-Px0(x)+Snpx0(x)-Sn(f)‖p[xi,xi+1]

≤‖g-Px0(x)‖+‖Snpx0(x)-Sn(f)‖p[xi,xi+1]

≤(1+‖Sn‖)|g(x)-Px0(x)|p[xi,xi+1]

≤c6hm‖g(m)‖p[xi,xi+1]，

故

‖f-Sh(f)‖p[xi,xi+1]

≤‖f-g‖p[xi,xi+1]+‖g-Sh(f)‖p[xi,xi+1]

≤‖f-g‖p[xi,xi+1]+c6hm‖g(m)‖p[xi,xi+1]

≤c4[‖f-g‖p[xi,xi+1]+hm‖g(m)‖p[xi,xi+1]] ，?g∈cm[xi,xi+1] .

定理證畢.