1. 引言
由于多复变函数与单复变函数的本质不同,多复变函数的Bergman空间理论从上世纪70年代以来一直都是函数论中的热点专题。1970年以前随着人们对于调和分析的研究热潮以及复分析自身发展的要求,国内外学者主要集中于研究Hardy空间及BMOA空间。随后由于表示论、算子理论的发展,标准的加权Bergman空间得到了广泛的关注,所涉及的诸如零点集、不变子空间、Toeplitz算子、Carleson测度、原子分解、插值等问题长期以来是国内外学者重点关注的问题 [2] [3] 。同时,Muckenhoupt权和加权不等式作为Fourier分析中的重要问题,自上世纪70年代引入以来不断发展。1978年,Bekolle和Bonami从实变量调和分析理论中,在复变量条件下引进了所谓的类似Muckenhoupt权的“Bekolle-Bonami条件”的权函数,他们证明了在加权Bergman空间
上的Bergman投影的有界性等价于权函数u满足Bekolle-Bonami条件 [4] [5] 。1985年Luecking研究了Bekolle-Bonami型加权Bergman空间的原子分解定理,并给出了该加权Bergman空间的对偶空间 [1] 。2010年Constantin证明了单位圆盘上Bekolle-Bonami型加权Bergman空间上的Carleson嵌入定理 [6] 。
近年来Hytonen等人利用现代调和分析技巧——二元分析及稀疏算子控制,取得了一系列丰富的结果。2013年Chacon研究了单位圆盘上的Bekolle-Bonami型加权Bergman空间上的原子分解定理和Toeplitz算子 [7] 。2013年Pott和Reguera利用二元分析和稀疏算子研究了上半平面上的Bekolle-Bonami型加权Bergman空间上的Bergman投影的范数 [8] 。之后2017年,Rham、Tchoundja、Wick研究了单位球上的Berezin变换、Bergman投影等积分算子的算子范数 [9] 。本文在复n维空间的单位球上利用加权Bergman空间
的再生核改进Luecking的原子分解定理。
2. 主要引理
本文用C表示复数域。对于正整数n,用
表示n维复Euclidean空间,即
.
记
中的两个点
和
距离为
.
用
来表示
中的开单位球,即
.
如果记
,其中
,
分别为复数
的实部和虚部,我们用dV来表示
上的Lebesgue测度,即
.
记dv为
上单位化的Lebesgue测度,即对于
中的可测集E,有
.
本文考虑的权函数
是
上的非负可测函数,并且
。当
时,单位球
上的加权p次可积函数空间
定义如下:
.
易知
按范数
构成一个Banach空间。当权函数
时,
为单位球上经典的p次可积函数空间
。本文用
表示
上全体全纯函数所构成的函数空间。定义单位球上的加权Bergman空间如下:
.
当权函数
时,
为单位球上的经典不加权Bergman空间,即为
。
如果
,记
.
易知范数
,且
是以
为内积构成的一个Hilbert空间。
对于非零点
,记
中由a生成的子空间为
。设
是从
到
上的正交投影,即
.
对于任意的
,约定
。令
,它是从
到
的正交补上的正交投影。设
,记单位球
上的对合自同构为
.
映射
是
到自身的一个双全纯映射,满足以下4条性质:
1)
;
2)
;
3)
;
4)
.
伪双曲度量函数
定义为
,
记以a为心
为半径的伪双曲球为
,
单位球
上的Bergman度量函数
可以用对合自同构定义如下
.
记以z为心
为半径的Bergman度量球为
.
对于非零的
,定义Carleson帐篷
为
,
其中
。我们规定在0处的Carleson帐篷为
。
定义2.1.对于非负函数
,如果存在
,使得
,
则称u满足Bekolle-Bonami条件
,此时可以简记为
。
定义2.2. 对于非负函数
,如果存在
,使得
,
则称u满足
条件,此时可以简记为
。
Luecking在 [1] 中第322页证明了
权一定为
权。
以下结论Luecking在文献 [1] 中的定理2。1给出证明,这是我们证明本篇文章的主要工具。
定理2.3. 设
为
权函数,则加权Bergman空间
的对偶空间等距同构于加权Bergman空间
。相应的配对关系由
给出,其中
,
。
设
为可测集,u是权函数,本文为了简洁,记
,另外记
。本文中用C表示绝对常数,每次表示的具体值可以不一样。下面的结论在本文中会反复用到,证明请参考文献 [2] 中的推论2.21。
引理2.4. 设
为三个常数,则存在常数
,当
时,有
.
引理2.5. 设u满足
条件,
,
。如果
,满足
,则存在两个与z,w无关的常数
,使得
.
证明。如果
时,有。因为,所以
, (2.1)
根据包含关系,有。再根据Holder不等式
得
. (2.2)
结合不等式(2.1),得
.
根据引理2.4,可得
.
当时,同样可得所需结论。下面假设二者互相包含关系均不成立。根据条件,,再根据Bergman度量函数的三角不等式易知。由上面的证明,可得
.
同理可得
.
所以
.
以下结论由Luecking给出证明,参考文献 [1] 中引理3.1。
引理2.6. 如果,,则存在与无关的常数,对于,使得
.
对于固定的,定义上的泛函为,其中,称这个泛函为点赋值泛函。根据上述引理可知加权Bergman空间上的点赋值泛函的有界性。
推论2.7. 对于任意的,,点赋值泛函是上的有界线性泛函。
证明:根据引理2.6,有
.
记H是一个Hilbert空间,用表示它的内积。如果集合, 记为A的垂直空间,即
.
我们需要著名的Riesz表示定理(详见文献 [10] ),如下:
Riesz表示定理。设H是Hilbert空间,是其对偶空间,则对于任意,存在唯一一个,使得
, ,
并且
由推论2.7,对于任意,点赋值泛函为内积空间上的有界线性泛函,再根据Riesz表示定理,存在一个函数,使得对于任意的有
. (2.3)
我们称函数是中的再生核。
推论2.8. 设u满足条件,集合在中稠密。
证明:我们只需证。对于任意的,由垂直空间定义我们得到对于任意,,由再生核的定义(2.3)知,所以。
引理2.9. (文献 [2] 定理2.23)。存在一个正整数N,使得对任意,都存在中的一个序列,满足以下三条性质:
1);
2) 对于任意,;
3) 对于每个点在集族中至多存在N个包含z。
满足上述引理条件的序列被称为的一个r-格。
引理2.10. (文献 [1] 定理3.12)。设u是满足条件的权函数,是中的一个序列,满足
,那么存在一个常数,使得对于任意的,
成立。
引理2.11. (文献 [1] 定理3.14)。设u是一个权函数,常数,,则存在,对于中满足以下性质的序列:
,
存在一个常数C,使得对于所有,
成立。
3. 主要结论
下面证明本文的主要定理。
定理3.1. 设,则存在一个r-格,对于每个,存在,使得对于任意,
成立。
证明:首先根据引理2.11我们可以找到一个r-格和常数,使得
. (3.1)
定义一个从到的算子R如下,对于任意的:
.
下面证明R是线性的。对于任意,
对于任意,存在常数,使得
.
那么由引理2.10我们得到
.
则R为从到的有界线性算子。
下面证明R有闭值域。设,且收敛于g。根据柯西收敛准则,对于任意,存在,当时,有。根据不等式(3.1),可得
.
因此是中的柯西列,所以它在中收敛,即存在,使得函数列依的范数收敛到。又因为
,
所以不等式两边对求极限得,因此R有闭值域。
下面证明R为单射。如果存在,使得。再根据不等式(3.1),有
,
所以,即R为单射。
因此R为从到的有闭值域的有界单射线性算子。
下面证明R的对偶算子是从到的满射。假设对偶算子不是满射,则,即,(否则就有)。即存在非零函数。则对于任意,有
由的任意性知。因为R是单射,所以,与g为非零函数矛盾。因此是满射。
设,对于每个,我们有
(3.2)
第四个等号成立是交换了积分号与求和号的顺序,我们将在最后给出这个交换是成立的。
因为f是任意的,所以
.
因为是从到的满射,对于任意的,都存在,使得,所以
.
为了完成证明,下面证明不等式(3.2)中的积分与求和可交换。
因为,所以收敛,任给一个,存在,使得当时,都有
成立。为了书写方便,我们定义
(3.3)
因此
因此序列
是中的柯西序列,并且收敛到
.
因为
和
,
再根据内积的连续性有
,
所以
.