楊 剛

(云南大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,云南昆明 6505000)

0 引言

精確的Jackson不等式研究已經(jīng)有50余年的歷史,為了敘述已有的研究結(jié)果,先敘述一些相應(yīng)的記號(hào);L2(U)表示自變量在區(qū)域U內(nèi)平方可積的復(fù)函數(shù)空間.在L2(U)上定義函數(shù)f范數(shù)為

這里|f(z)|表示函數(shù)f的模,Pn為次數(shù)不高于n的代數(shù)多項(xiàng)式函數(shù)空間.函數(shù)空間Pn對(duì)函數(shù)f的最佳逼近En-1(f)2[6]表達(dá)式為

En-1(f)2∶=inf{‖f-g‖2∶?g∈Pn-1}.

在復(fù)數(shù)域上K泛函[1]表達(dá)式為

在實(shí)數(shù)域R上,參考文獻(xiàn)[8-13]得到關(guān)于m階連續(xù)模和K泛函的相關(guān)逼近定理,孫永生[14]介紹了精確Jackson不等式的具體形式.為研究一些函數(shù)類的最佳逼近提供了重要的不等式.

1 預(yù)備知識(shí)

對(duì)函數(shù)f求r階導(dǎo),則有

令bk,r=(-k)(-k-1)…(-k-r+1),ak,r=(k)(k-1)…(k-r+1),即

E(n-1,n-1)(f)2∶=inf{‖f-g‖2∶g∈P(n-1,n-1)}=‖f-S(n-1,n-1)‖2；

(1)

這里E(n-1,n-1)(f)2表示用函數(shù)g逼近f得到的最佳逼近.P(n-1,n-1)表示z-1和z的次數(shù)都小于等于n-1的函數(shù)空間.

2 關(guān)于K泛函的精確Jackson不等式和E泛函的不等式

下面給出函數(shù)f的最佳逼近E(n-1,n-1)(f)2與函數(shù)zrf(r)的最佳逼近E(n-1,n-1)(f)2的關(guān)系.

定理1>對(duì)于n∈N+;r∈Z+;n>r≥1，則

(2)

從而可以估計(jì)(2)式左邊的下界

證明.

推論1>對(duì)于n∈N+;n>1r=1，則

(3)

定義1[1]特殊K泛函的定義為

(4)

下面得到特殊K泛函與函數(shù)f的最佳逼近E(n-1,n-1)(f)2的精確Jackson不等式.

定理2 對(duì)于n∈N+;n>1;t∈(0,+∞)，則有

(5)

由公式(4)知

根據(jù)K的定義，從而得到(5)式右邊的上界

從而得到(5)式左邊的下界

證畢.

定義2[2]在L2空間上特殊的E泛函的定義

E(t,f;L2)∶=inf{‖f-f0‖L2;‖f0‖L2≤t},t∈(0,+∞)，

(6)

在L2空間上通常簡(jiǎn)寫成E(t,f;L2)∶=inf{‖f-f0‖2;‖f0‖2≤t}.

定理3 對(duì)于n∈N+;n>1;t∈(0,+∞)，則

(7)

令

從而可以估計(jì)(7)式左邊的下界

證畢.

3 函數(shù)類的最佳逼近

介紹函數(shù)Φ(t)=M(1+t2),M是一個(gè)充分大的正數(shù).下面介紹二種函數(shù)類的定義.

E(n-1,n-1)(M(1))2∶=sup{E(n-1,n-1)(f)2∶f∈M(1)}.

(8)

首先得到關(guān)于Km(zf',tm)2的函數(shù)類的最佳逼近.

(9)

證畢.

(10)

再由公式(8)，可以估計(jì)(10)式右邊的上界

根據(jù)最佳逼近和(4)式知

證畢.

4 函數(shù)類寬度的求解

定義5 令B是在L2空間下的單位球，假設(shè)Λ2n-1?L2的2n-1維子空間；Λ2n-1?L2的2n-1維余子空間；σ∶L2→Λ2n-1的線性連續(xù)算子；σ⊥∶Λ2n-1→L2線性連續(xù)算子；M是在L2下的凸對(duì)稱子集，則有

b2n-1(M,L2)=sup{sup(ε;εB∩Λ2n?M)∶Λ2n?L2}；

d2n-1(M,L2)=inf{sup{inf{‖f-g‖2∶g∈Λ2n-1}∶f∈M}∶Λ2n-1?L2}；

δ2n-1(M,L2)=inf{inf{sup{‖f-σf‖2∶f∈M}∶σL2∈Λ2n-1}∶Λ2n-1?L2}；

d2n-1(M,L2)=inf{sup{‖f‖2∶f∈M∩Λ2n-1}∶Λ2n-1?L2}；

Π2n-1(M,L2)=inf{inf{sup{‖f-σ⊥f‖2∶f∈M}∶σ⊥L2?Λ2n-1}∶Λ2n?L2}；

在希爾伯特空間中滿足

b2n-1(M,L2)≤d2n-1(M,L2)≤d2n-1(M,L2)=δ2n-1(M,L2)=Π2n-1(M,L2).

(11)

得到兩種函數(shù)類的寬度.

(12)

這里λ2n-1(·)表示b2n-1(M,L2)、d2n-1(M,L2)、d2n-1(M,L2)、δ2n-1(M,L2)、Π2n-1(M,L2)中任意一種寬度.

令2n維球體為

證畢.

(13)

這里λ2n-1(·)表示b2n-1(M,L2)、d2n-1(M,L2)、d2n-1(M,L2)、δ2n-1(M,L2)、Π2n-1(M,L2)中任意一種寬度.

令2n維球體為

證畢.

5 總結(jié)

1)K泛函與最佳逼近E(n-1，n-1)(f)2的精確Jackson不等式；

2)E泛函與最佳逼近E(n-1,n-1)(f)2的不等式；

3)關(guān)于K泛函和E泛函的函數(shù)類的最佳逼近和2n-1維寬度.