-
开放科学(资源服务)标志码(OSID):
-
记H2表示开单位圆盘
$\mathbb{D}$ ={z∈$\mathbb{C}$ :|z|<1}上的Hardy空间,L2=L2($\mathbb{T}$ )是单位圆周$\mathbb{T}$ ={z∈$\mathbb{C}$ :|z|=1}上的平方可积函数构成的空间,L∞表示由$\mathbb{T}$ 上全体本性有界函数构成的空间,H∞是$\mathbb{D}$ 上有界解析函数构成的全体.对于每一个非常值的内函数u,我们称
为模型空间. Pu=P-MuPMu表示从L2到Ku2的正交投影,其中P是从L2到H2的正交投影. 取L2中的一个函数f,可以定义以f为符号的Toeplitz算子Tf:
模型空间正交补上的对偶截断Toeplitz算子Df定义为
文献[1-2]发现对偶截断Toeplitz算子与Hardy空间上的Toeplitz算子[3]有许多相同的性质. 例如:对偶截断Toeplitz算子是有界的当且仅当其符号是有界的;紧的对偶截断Toeplitz算子只能是零算子;对偶截断Toeplitz算子为零算子当且仅当其符号为零;符号为连续函数的对偶截断Toeplitz算子生成的C*-代数模去紧算子后构成的理想*-等距同构于
$\mathbb{T}$ 上的连续函数全体[2].因此,我们特别考虑是否Df是次正规算子当且仅当Tf是次正规算子?
为了说明我们的研究动机,首先来回顾次正规算子的定义以及Halmos第五问题的历史.
对于Hilbert空间H上的算子S,如果S存在一个包含H的Hilbert空间K,且其上的正规算子N满足S=N|H,则称S为次正规算子. 次正规算子理论在许多问题中都有广泛应用[4]. 文献[5]对Toeplitz算子提出了著名的Halmos第五问题“是否次正规Toepltiz算子不是解析的就是正规的?”文献[6]给出了Halmos第五问题成立的充分条件. 文献[7]认为这个猜测几乎是正确的. 然而,Halmos第五问题首先被我国著名算子理论学家孙顺华先生解决[8-9]. 此外,文献[10]也对这个问题进行了研究. 但是至今数学家无法给出次正规Toeplitz算子的符号刻画.
对偶截断Toeplitz算子与Toeplitz算子有许多差异. 文献[11]的定理9证明了两个解析Toeplitz算子的乘积还是Toeplitz算子. 然而,我们很容易构造出两个解析对偶截断Toeplitz算子,其乘积不是对偶截断Toeplitz算子[1]. 更多关于Toeplitz算子和Hankel算子的相关研究可参见文献[12-13].
本文的第一部分,我们考虑了对偶截断Toeplitz算子版本的Halmos第五问题,证明了不存在解析的次正规对偶截断Toeplitz算子. 本文的第二部分,我们完全刻画了亚正规的对偶截断Toeplitz算子.
全文HTML
-
令Mf为L2上的乘法算子,定义为
Mf正是解析Toeplitz算子Tf的正规延拓. 因此,Hardy空间H2上每一个解析的Toeplitz算子Tf都是次正规的. Df(f是解析函数)在uH2上的限制Df|uH2是次正规的,但是我们不知道解析对偶截断Toeplitz算子是否是次正规的. 因此我们考虑如下的问题:
问题1 是否每个解析对偶截断Toeplitz算子都是次正规的?
下面的定理1将给出问题1的否定回答.
定理1 如果f是一个非常数的解析函数,则Df不是次正规的.
证 假设Df是次正规的,则存在正规延拓N,使得
此外,N+λI也是正规算子,并且满足
其中λ是常数. 因此,Df+λI是次正规的. 不失一般性,假设f(0)=0. 令f=zf1,其中f1∈H2. 因为次正规算子必是亚正规的,所以Df是亚正规的. Hilbert空间H上的算子T为亚正规算子当且当
当且当
因为
所以存在{xj}j=0∞⊂Ku2,使得
和
根据假设,f不是常数,则存在非负整数l,使得xl≠0. 令y=zul,因此y∈zH2 ⊆[Ku2]⊥,我们可以得到
因为xl∈Ku2,所以(I-P+uPu)xl=0. 根据模型空间的定义,我们可以得到
因此
进一步,
矛盾,则
-
因为每个解析对偶截断Toeplitz算子不是次正规的,我们将对偶截断Toeplitz算子的Halmos第五问题改写为如下形式:
问题2 是否每个次正规的对偶截断Toeplitz算子都是正规的?
首先,我们用复对称算子的方法给出问题2的肯定回答. 然后,运用经典的Toeplitz算子理论,完全刻画正规对偶截断Toeplitz算子的符号.
对于Hilbert空间上的算子T,存在一个等距且共轭线性的对合映射C,使得
在L2上有一个经典的对合映射C,其定义为
因为C是将[Ku2]⊥映回自身的双射[14],运用类似于文献[15]中命题3的方法,容易验证每个对偶截断Toeplitz算子都是复对称的. 文献[16]证明了复对称算子T如果是亚正规的,则T一定是正规算子. 因为次正规算子一定是亚正规的,因此问题2的猜测是正确的. 虽然这个结论不是新的,但是对于对偶截断Toeplitz算子的研究却是新的发现.
定理2 如果f∈L∞,则下面的3条陈述是等价的:
(Ⅰ)Df是亚正规算子;
(Ⅱ)Df是正规算子;
(Ⅲ)存在常数c和d以及一个实值函数φ∈L∞,满足f=cφ+d.
证 (Ⅰ)⇔(Ⅱ) 由上面的讨论,我们知道亚正规的对偶截断Toeplitz算子都是正规的. 反过来,根据定义,每个正规算子一定是亚正规的.
(Ⅱ)⇒(Ⅲ) 假设Df是正规的,则
对于y∈(Ku2)⊥,我们得到
展开(1)式可得
取y=ux,x∈H2,则(2)式变为
因此
根据文献[3]的命题7.5,可得
运用文献[17]的引理2.1,可得Tun→0,其中
则
进一步有
计算下式
其中
${k_\lambda } = \frac{{\sqrt {1 - |\lambda {|^2}} }}{{1 - w\lambda }}$ 表示正规化的再生核. 运用Cauchy-Schwarz不等式,可得由(4)式可得
类似地,有
因此
由于Berezin变换是单射,因此TfTf=TfTf,则Tf是正规算子. 根据文献[11],存在常数c和d以及一个实值函数φ∈L∞,满足f=cφ+d.
(Ⅲ)⇒(Ⅱ) 因为Df*=Df,容易验证具有上面形式的算子都是正规算子.
注1 Hardy空间上的Toeplitz算子反酉等价于(H2)⊥上的对偶Toeplitz算子(H2)⊥[18-19].
但是对于模型空间的情况就完全不同了,对偶截断Toeplitz算子Df是正规的当且当Tf是正规的(定理2),当且当存在常数c和d以及一个实值函数φ∈L∞,满足f=cφ+d. 正规截断Toeplitz算子与正规对偶截断Toeplitz算子的符号有巨大区别,并且是复杂的[20-21].