最坏框架与平均框架下区间[-1,1]上带Jacobi权的函数逼近.pdfVIP

翟学博等：最坏框架与平均框架下区问 [一1，1]上带Jacobi权的函数逼近 首先，给出最坏框架下逼近的定义．设 是具有范数 ll_Il的线性赋范空间， 是 的有界子 集， 是从 到 上的有界线性算子，F是 的子空间．量 E(K，F)X)：=supe(x，F)x：=supi￡IIx一 Ijx，E(K，L，X)：=supIlz—Lxllx ∈K ∈K t ∈K 分别叫作 对 F的偏差和 被算子 逼近的误差．它们反映了 中的 最“坏”元素被 F和 逼 近的程度．量 dⅣ(K,X)： E(， ，) 叫作 在 中的KolmogorovN一宽度，这里的 取遍 中所有维数不超过 Ⅳ 的线性子空间．它 反映了 中的 最“坏”元素被 Ⅳ维线性子空间逼近的最小误差。 在 x 中的线性 Ⅳ一宽度定义为 AN(K，X)__i—nfE(K，LN，X) Ⅳ ／，● 一／ ／，●一／ 这里 Ⅳ取遍所有秩不超过 Ⅳ 的线性算子．它反映了 中的 最“坏”元素被秩为 J7v的线性算子逼 近的最小误差． 现在给出平均框架下逼近 的定义．设 是一个Banach空间， 为 中所有开子集生成的Borel 域，7为定义在 上的一个概率测度．对于 0P∞，W 对 F 的P平均偏差和 对 逼近 的 平均误差分别定义为 E( ，y，)p：= ))p， E( ，7，)p：= x-Lx d，y() 它们反映了 中的 大“多数”元素被 F和 L逼近的程度．类似地 对于0P0(3p-平均Kolmo— gorovN一宽度和 平均线性 Ⅳ一宽度分别定义为 d(，)p=inf(~e(，)()、)， (，)=Tin~f(~II一z7()1 它们反映了 中的 大“多数”元素被 Ⅳ维线性子空间和秩为 J7v的线性算子逼近 的最小误差．因此， 在最坏框架下，逼近强调的是 最“坏”元素的行为，而在平均框架下，逼近强调的是 “大多数”元素的 行为．并且，不难发现，与最坏框架情况相比，平均框架可以将逼近效果较好的元素考虑在 内，因而平 均框架下的逼近结果与实际经验更加匹配． 考虑 Jacobi权 叫 ，卢(X)：=(1一 )(1+ )， ，-1／2． 用 Lp，，p三Lp(叫，卢)，1≤p∞表示 [一1，1]上所有具有有限 p(叫，卢)范数的可测函数组成的集合 其中，的 (叫，卢)范数为 fp[[,a,~／：(l ㈦d)，≤po。 中国科学 ：数学 第 44卷 第 2期 若P=2(0，我们用C(-1，1]代替 o。 ．对于 f∈Lp(叫， )，记 E (．厂)p，，：=inf{JJ／一PJfp,a,fl：P∈Ⅱ)， 其中Ⅱ 表示 [一1，1]上次数至多为礼的多项式组成的空问．我们熟知经典的Jacobi多项式 { ，’) 0 组成L2卢：= 2([_1，1]，W，卢)的正交基，并且可以由 。卢’(1)=(。)规范化[19]．特别地， P1 ／P，’()P，’()训，()d= ，h(，)， J — l 其 中 h(，)=F(+1)r(fl+1)(2 n+ 十 +1)r(n十1)r(n+