1. 引言
设
为n维复空间,
为一个正参数,其中
,让
。
为高斯测度,其中
。
设
是定义在
上的可测函数。若
在
上可积,则这样的全体构成空间
,即
。
Fock空间
。其中
是
中所有整函数构成的集合。特别地,当
时,就是经典的
空间。即
。显然
是
的闭子空间,即
也是希尔伯特空间,它的内积定义为
。
实际上,
是一个再生核希尔伯特空间,其中核函数为
。
当
时,范数
定义为
。
同样的定义
时,范数
被表示为
。
由
的每个线性算子S均可导岀一个
上的函数
,即
。
其中
是S的Berezin变换。因为
是单位向量,所以当S有界时
就有界,并且
。另外,在
上,当
时,
,因此当S是
上的紧算子时,
时,
。
我们主要研究线性算子
上的有界性和紧性。为了说明我们的主要结果,我们需要在
上引入一类酉算子。对于任何
,令
代表示
上由
定义的解析自映射,
表示正规化的再生核,即
。
设
是
上的线性算子
,其中每一个
是
上的单位向量。从变量的变化易知每个
都是
的一个自伴单位算子,参见文献 [1]。同时每个
都将
映射到
,其中
为
的核函数
的有限线性组合构成的集合。
设
是测度空间,
是
上可测函数,并且
;
则
。
是
到自身的有界线性积分算子。进一步,如果
是可分空间,那么T是
上的Hilbert-Schmidt积分算子。
在文献 [2] 中,Wang己经在复平面
上得到了以下结论。
定理A. 如果存在
和
,使得对任意的
都有
,则算子S在
上有界。
定理B. 如果存在
使得当
时都有,则S是
上的紧算子。
定理C. 假设存在
且
,使得对所有的都有。则S是上的紧算子当 且仅当时,。
以上这些结果都是在复平面上成立,我们将的这些结果推广到n维复空间上,进一步得到上类似的结果。
下面我们介绍本文的主要结果。
定理7. 设S是上的线性算子。如果存在常数和,使得对于任意的都,
则S在上有界,且有。
定理8. 设S是上的线性算子,。如果当时都有,则S是上的算子。
定理9. 设S是上的线性算子,,若存在正常数C,使得对于任意的,都有和。则S是上的Hilbert-Schmidt。特别的,S是紧算子。
2. 相关引理
在本节将给岀本文要用到的一系列引理。
在文献 [1] 中,Zhu己经在上得到了相应的引理。为了本文定理的证明的需要,我们将此结果推广到上。得到类似的结果如下:
引理1. 对于任何,对于上的任意整函数都有:
其中。
证明:由范数的定义可得
,
令,则
,
当时,可以得到:
。
一般的,对任意的,,我们构造函数
,
则
,
即
所以有
。
令,显然有
所以有。
为了证明,性算子的有界性和紧性,我们先引入下面的引理说明集合是的稠密子空间。
引理2. 设为上的核函数的有限线性组合表示的函数,则构成的集合表示为,其中
则是的稠密子空间,其中。
该引理的证明思想来自文献 [1] 的引理2.11。
证明:当时,结论显然成立。事实上,如果在中存在一个函数h,使得对任意的,h都与正交,那么。一般地,由引理1的证明可以知道,可以找到一个正参数,使得,且对所有的都有成立。且对任何的这个结果都成立。如果f是一个多项式,且是空间的点,则
因为时结论成立,即函数在上是稠密的。进一步,在的范数拓扑中,由上式可知每一个多项式都可以由函数逼近。因此我们可以得到集合在上稠密。
这篇文章中的每一个算子的定义域都包含。由于,则的区域也包含。我们进一步假设函数是共轭解析的。
对于任意和上的任意线性算子S,设。而每一个都是上的自映射。因此当每个S的定义域都包含时,的定义域也包含。
为了后面我们证明线性算子的紧性,我们引入下面的引理它给岀算子的一个上界。
引理3. 设,S是上的线性算子,则对任意的有:
其中和。进一步,如果存在某些正常数C,使得对任意的都有成立,
则有
,
证明:由有
,
在引理1中,对所有的,有
。
其中。用去代替z,则有
,
并对结果进行简化,对任意的有
。
下面的引理表明对于上的每一个线性算子都可以用正则的方式表示积分算子。
引理4. 设S是上的线性算子,T是上的积分算子,T定义为:
(1)
S在上有界当且仅当T在上有界。进一步,当T和S都有界时,则S是T在上的一个等价限制。
证明:任何固定的,函数
,
是上的整函数。因此,对于任意的都有成立,其中表示中除去的部分。如果S在上有界,对于某些的核函数,通过的再生性质有
由此得岀在上有,对于任意的都有。应用前面的结论,我们得岀了T在上有界,且S是T在上的等价限制。
反之,对于任意的,如果T在上是有界的,则当有
,
这表明T在上的限制作用与S是一致的。由于在中是稠密的,且T是有界的,所以S是扩展到上有界线性算子。
引理5. 对于,有
;;,
其中是一个依赖于a和单位模常数。
证明:
第一个等式证明完毕。
因为
,
由正规化再生核的定义有
,
化简得
,
其中
,
第二个式子证明完毕。
通过Berezin变换的定义和的定义,以及前面己经证明的第二个等式,有
第三个等式证明完成。
引理6. 设S是上的线性算子,设常数和,使得对所有的都有,则当时,当且仅当对于每一个(或者一些),有。
证明:如果对于某些,有,应用Hölder’s不等式,当时,
,
反之,假设当时,,并固定。接下来证明当时,。,我们有
,
其中
,
将上式带入有
,
对于任意的的正数r,我们考虑积分
其中
。
对于任意的,当时,有。则对任意都有
,
进一步,对任意的有
,
因此,当存在一个与z有关的常数C,使得,对任意的都有
则给定任意的和一个充分小的就有
。
进一步得
。
对任意的有
。
由于中的多项式是稠密的,则当时。特别是,对于每一个,当时,
令,存在使得。任意的可测集E有
由于所有有,这表明是一致可积的。根据Vitali’s定理有
。
引理的证明完毕。
3. 主要结果及其证明
定理7. 设S是上的线性算子。如果存在常数和,使得对于任意的都有,
则S在上有界,且有。
证明:由引理4,定义的积分算子T在上有界。又由引理3中存在的常数C和
,对于都有
进一步有
(2)
其中和,对(2)两边平方再应用Hölder不等式
其中
再由Fubini’s定理和变量变换可以得到
,
其中
。
这表明算子T在上是有界的,并且
。
将T限制在空间上,所以S是有界算子。
注记:上面的证明仅取决于引理3中的点态估计给岀的上界,不是关于范数的全部上界的结果。
下面,我们给岀了上算子是紧算子的两个充分条件。
定理8. 设S是上的线性算子,且。如果当时,都有,则S是上的紧算子。
证明:由假设条件:当时,都有,则是有界的。由定理7,S在上有界。又由引理4,积分算子T在上是紧算子。
则对于任何,定义在上的算子如下:
其中是空间的特征函数。由引理3得到
。
因此,每个算子是Hilbert-Schmidt。特别地,每个都是空间上的紧算子。事实上,令,则
于是,当时,有。即T是紧算子。
给定任何,选定一个正数R,使得对任意,都有。根据引理3,对任意的都有
。
我们只考虑和这两种情况。从定理7的证明可以看岀,给定一个不依赖于和r的正数C,使得对于任意的都有。这表明当时,有。
回顾和的定义:
因为每个都是上的单位算子,所以条件和是等价的。但是,当时,在上不一定恒为单位算子。因此,我们很自然地考虑了条件。
定理9. 设S是上的线性算子,,若存在正常数C,使得对于任意的,都有和。则S是上的Hilbert-Schmidt。特别地,S是紧算子。
证明。通过引理1,假设存在一个正常数C,使得
,
其中。因为,进一步有
(3)
因为,则对于同样有
(4)
将不等式(3)和(4)相乘有
两边开方得
,
其中。又因为有
,
因此
。
于是积分算子T,即
是上的Hilbert-Schmidt。因为S是T在的限制,所以S也是上的Hilbert-Schmidt。
Toeplitz算子的相关应用,在文献 [2] 中己经给岀了复平面C上的结果。在空间的应用可以 类似得到同样的结果。有关算子的有界性或紧性的更多研究参看文献 [3] - [9]。
基金项目
国家自然科学基金(11861024,11561012)。
NOTES
*通讯作者。