Qp空间中的q-光滑模与算子逼近

2022-01-13 05:00王志军陈英伟常之魁
关键词:圆盘算子差分

王志军, 陈英伟, 常之魁

(河北经贸大学 数学与统计学学院,河北 石家庄 050061)

0 引 言

令g(.,w)为复平面中单位圆盘D上极点在w的Green函数,

g(z,w)=-log|φw(z)|,z,w∈D,

其中φw为D到其上的Möbius变换,

记H(D)为单位圆盘上全纯函数的全体,m(z)为圆盘上lebesgue测度,则称函数f(z)∈H(D)属于Qp空间(0≤p<∞),是指满足

易知[1]‖·‖Qp为半模.若取模为|f(0)|+‖f‖Qp,Qp则为Banach空间.并且Q1为BMOA空间,Q0为Dirichlet空间,当p∈(1,∞)时,Qp为Bloch空间.更多关于BMOA及Qp函数空间的理论,可参考文献[1-2].

Qp空间中的多项式逼近理论近年来已得到一些研究成果[3-5],得到了多项式逼近的正逆定理,即Jackson定理和Bernstein定理等逼近结果.

连续模有多种定义方式,熟知经典全纯光滑模ωr(δ,f,Qp)定义如下

(1)

其中差分为

在这点上其延续了实连续模的性质.相比较,经典复连续模对于多项式并不消零.自然会想到作为Hardy空间的极限情况BMOA空间中考虑逼近问题,而BMOA空间可作为Qp空间的特例,故将其纳入Qp空间来统一考虑.

首先在全纯Qp空间中给出一种新的基于差分的q-光滑模及其性质,再由推广的Abel-Poisson平均构造算子获得多项式逼近阶和slice边界光滑性之间的一些内在逼近关系.在Qp中获得基于q-光滑模的Jackson逼近定理.并考虑了de la Valiée Poussin算子的定量最佳逼近.

本文中,符号C表示正的常数,不同的地方值有所不同,但都不依赖于f和n.

1 q-光滑模

对任意f∈H(D),易知均有Taylor展开式

(2)

现在引入一种基于Newdon插值均差的q-光滑模.函数f在各节点zk∈D的插值[8]记为

[z0;f]=f(z0),

…,

易知

另外上述均差还有另一种表达式

(3)

通过归纳法等直接计算,可推出r阶q-有限差分的一些性质[6]:

a) 另一种表达式

其中Pr,k(q)为Gauss多项式

易知,

Pr,0(q)=1.

b) 递推公式

c) 对n∈N,

d) 积分表示

易知,|z(t1+q(ti-t2)+…+qr-1(tr-1-tr)+qrtr)|≤|z|.

(4)

由上述定义及q-有限差分性质易得,Qp空间中q-光滑模仍具有的典型性质(关于实的情况可参见文献[8]):

(5)

(6)

(7)

其中(5)利用q-有限差分性质(1),(6)可由性质c)得到.

特别地,由(3)和(4)或性质d),易知q-光滑模对代数多项式具有消零性质,

2 Jackson定理

‖f(reiθ)-f(eiθ)‖p≤Cω(1-r,f)p,0

引入推广的Abel-Poisson平均

(8)

其中h=ρeit,0

令h=ρeit,n∈N,α>0,则有

构造积分算子

其中n>r,α>r,

后面定理3中将证明Rn[f](z)与参数p无关,并用作函数f的n次逼近多项式.

广义Jackson核函数为

引理1[8]对于任意的β∈N,存在正常数C(β),使得对任意u=0,1,…,2β-2和k∈N,有

引理2令r,k∈N,则r≤2β-2时,

证由引理1可得

现给出q-光滑模形式的Jackson定理.

定理1设f∈Qp(0≤p<∞)及给定r∈N,α>r,则存在一多项式Rn,其次数n≥r+1,满足

证显然只需证明

由推广的Abel-Poisson平均来构造逼近算子

下面证明Rn(z)=Rn[f](z)=Rn(z;f,r,α)为独立于ρ且为次数至多为n的代数多项式.由f的Taylor展开及

h-(n-r+1)h-k(k-1)/2-k(r-k)f(zqk)(1-q)-(1-α)Pr,k(h)=

(9)

注意到高斯多项式Pr,k(h)=∑cshs为关于h=ρeit次数至多为k(r-k)的多项式.对t在[-π,π]上积分,并利用留数定理,可知剩下不为0的项满足

-(n-r+1)-k(k-1)/2-k(r-k)+jk+l+s=

k(j-r)-(n-r+1)+k(k+1)/2+l+s=0.

再由0≤k≤r,0

为简化,令m=n-r+1并取α>r,有

从而

(10)

特别取η=1,故由(3)可得

不妨取ρ=1-m-1易知

令r≤1+α-2,即α>r,再由积分型Minkowski不等式及引理2,得

定理得证.

3 de la Vallée Poussin算子逼近

对于f∈H(D),引入卷积算子

经由Fejér算子Fk(f)(t)引入de la Vallée Poussin平均算子[12-13]

Vn(f)(z)=2F2n(f)(z)-Fn(f)(z).

在Qp空间中该算子可达定量的最佳逼近结果,即说明可构造具体算子在一定程度上达到最佳逼近.

定理2设f∈Qp(D),p>0和n∈N,则Vn(f)(z)次数至多为2n-1的代数多项式,且满足

证算子Vn(f)(z)为次数至多为2n-1的代数多项式[13],由三角函数的积分正交性计算可知

为n次多项式,从而推知算子Vn(f)(z)为次数至多为2n-1的代数多项式.

令f,g∈Qp,p>0,则由函数φ(t)=tp的凸性,可得不等式(a+b)2≤2(a2+b2),对所有的a,b≥0.利用引理3,可得

再由Fn(t)dt为概率测度,故

作为Qp空间的特殊情况,Q1为BMOA空间,故给出有界平均震荡解析函数BMOA的相应逼近结果.

推论1设f∈Q1和n∈N,

a) 对给定r∈N,则存在一多项式Rn,其次数n≥r+1,满足

其中常数C独立于n,f;

b)Vn(f)(z)次数至多为2n-1的代数多项式,且满足估计

猜你喜欢
圆盘算子差分
RLW-KdV方程的紧致有限差分格式
符合差分隐私的流数据统计直方图发布
Scratch制作游戏
有界线性算子及其函数的(R)性质
Domestication or Foreignization:A Cultural Choice
QK空间上的叠加算子
基于差分隐私的数据匿名化隐私保护方法
奇怪的大圆盘
相对差分单项测距△DOR
从圆盘形世界到圆球状大地