本文分两部分刻画了Hardy空间上m-复对称的Toeplitz算子的符号特征:1) 以解析函数或者余解析函数为符号的Toeplitz算子的m-复对称性及其与正规性的关系;2) 以较一般函数为符号的Toeplitz算子的2-复对称性。 In this paper, the symbolic characteristics of m-complex symmetric Toeplitz operators on Hardy space are described in two parts: 1) the m-complex symmetry of Toeplitz operators with analytic functions or coanalytic functions as signs and their relations with normality; 2) the 2-complex symmetries of Toeplitz operators with more general functions as symbols.
本文分两部分刻画了Hardy空间上m-复对称的Toeplitz算子的符号特征:1) 以解析函数或者余解析函数为符号的Toeplitz算子的m-复对称性及其与正规性的关系;2) 以较一般函数为符号的Toeplitz算子的2-复对称性。
Hardy空间,Toeplitz算子,共轭算子,m-复对称
Puyu Cui, Huanran Wang, Linying Feng
School of Mathematics, Liaoning Normal University, Dalian Liaoning
Received: Jun. 19th, 2021; accepted: Jul. 11th, 2021; published: Jul. 22nd, 2021
In this paper, the symbolic characteristics of m-complex symmetric Toeplitz operators on Hardy space are described in two parts: 1) the m-complex symmetry of Toeplitz operators with analytic functions or coanalytic functions as signs and their relations with normality; 2) the 2-complex symmetries of Toeplitz operators with more general functions as symbols.
Keywords:Hardy Space, Toeplitz Operators, Conjugate Operator, m-Complex Symmetric
Copyright © 2021 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
近年来,复对称算子引起了国内外一些算子理论方面专家学者的关注,取得了一些重要的结果。关于复对称的Toeplitz算子也有一些较好的结果 [
本文以 H 表示复可分Hilbert空间, B ( H ) 表示 H 上所有有界线性算子的集合。记 D 是复平面 ℂ 上的开单位圆盘, T 为 ℂ 上的单位圆周。记由 T 上所有关于弧长测度平方可积的函数构成的Banach空间为 L 2 ( T ) 。记由所有有界解析函数构成的空间为 H ∞ 。
定义1.1 由 L 2 ( T ) 中所有负幂项Fourier系数为零的平方可积的函数构成的闭子空间为Hardy空间,记为 H 2 。由于其等距同构于所有满足幂级数展开式的系数平方可和的解析函数构成的Hilbert空间,故有时也记为
H 2 = { f : f ( z ) = ∑ n = 0 ∞ a n z n 且 ∑ n = 0 ∞ | a n | 2 < ∞ } .
L 2 ( T ) 表示 T 上本性有界可测函数空间。令 φ ∈ L ∞ ( T ) ,称以 φ 为符号的Toeplitz算子为
T φ f = P H ( φ f ) , f ∈ H 2 ,
这里 P H 表示 L 2 ( T ) 到 H 2 的正交投影。
Toeplitz算子具有如下性质:令 a , b ∈ ℂ , φ , ψ ∈ L ∞ ( T ) ,则
1) T a φ + b ψ = a T φ + b T ψ 。
2) T φ ¯ = T φ * 。
此外,若 φ 是解析的,则
3) T ψ T φ = T ψ φ 。
4) T φ ¯ T ψ = T φ ¯ ψ 。
定理1.2 [
φ = c ψ + d .
Hardy空间 H 2 的在点 λ ∈ D 的再生核可表示为
K λ ( z ) = 1 1 − λ ¯ z ,
正规化为
k λ ( z ) = ( 1 − | λ | 2 ) 1 2 1 − λ ¯ z , z ∈ T .
若 φ ∈ L ∞ ( T ) 且 φ 在 D 解析,那么 T φ ¯ K λ = φ ( λ ) ¯ K λ , ( λ ∈ D ) 。
定义1.3 若 H 上共轭线性算子 C : H → H 满足:
1) 〈 C x , C y 〉 = 〈 y , x 〉 对于所有的 x , y ∈ H 。
2) C 2 = I 。
则称C为 H 上的共轭算子。
定义1.4 设 T ∈ B ( H ) ,若存在一个 H 上的共轭算子C,使得 C T C = T * ,则称T是C-对称的。若T关于某个共轭算子C是C-对称的,则称T是复对称的。
定义1.5 设 φ ∈ L ∞ ( T ) ,称Toeplitz算子 T φ 关于共轭算子C是 m ( m ≥ 1 ) -复对称的,若满足
∑ j = 0 m ( − 1 ) m − j ( m j ) T ∗ j T m − j = 0.
文献 [
C μ , λ f ( z ) = μ f ( λ z ¯ ) ¯ ,
其中 μ , λ ∈ T , f ( z ) ∈ H 2 。
一般情况下,我们只需考虑特殊的共轭算子,见下面定理
定理1.6 [
本文主要研究关于共轭算子 C 1 的m-复对称Toeplitz算子,其中 C 1 : H 2 → H 2 满足
C 1 ( ∑ n = 0 + ∞ f ^ ( n ) z n ) = ∑ n = 0 + ∞ f ^ ( n ) ¯ z n : = f * ( z ) ,
这里 f ( z ) = ∑ n = 0 ∞ f ^ ( n ) z n ∈ H 2 。易见, C 1 是 H 2 上的共轭算子,且 C 1 K λ ( z ) = K λ ¯ ( z ) 。进一步
C 1 T α ¯ C 1 k λ = C 1 T α ¯ k λ ¯ = C 1 α ( λ ¯ ) ¯ k λ ¯ = α ( λ ¯ ) k λ , ( λ ∈ D ) .
本部分研究以解析函数或者余解析函数为符号的Toeplitz算子的m-复对称性,得到下面结论。
定理2.1 对于 φ ∈ L ∞ ( T ) , T φ 为 H 2 上关于 C 1 的m-复对称算子,则下述成立
1) 若 φ 是解析的,则 φ ≡ c ,(c为常数)。
2) 若 φ 是余解析的,则 φ ≡ c ,(c为常数)。
证明:不失一般性,我们以 m = 3 为例,即证
− C T φ 3 C + 3 T φ ∗ C T φ 2 C − 3 T φ ∗ 2 C T φ C + T φ ∗ 3 = 0.
1) 充分性显然,下证必要性。
若 T α ¯ 为3-复对称算子,由Toeplitz算子的基本代数性质得
0 = − C 1 T α ¯ 3 C 1 + 3 T α ¯ ∗ C 1 T α ¯ 2 C 1 − 3 T α ¯ ∗ 2 C 1 T α ¯ C 1 + T α ¯ ∗ 3 = − C 1 T α ¯ 3 C 1 + 3 T α C 1 T α ¯ 2 C 1 − 3 T α 2 C 1 T α ¯ C 1 + T α 3 .
取 λ ∈ D ,由
C 1 T α ¯ C 1 k λ = α ( λ ¯ ) k λ ,
那么
0 = [ − C 1 T α ¯ 3 C 1 + 3 T α C 1 T α ¯ 2 C 1 − 3 T α 2 C 1 T α ¯ C 1 + T α 3 ] k λ = − α 3 ( λ ¯ ) k λ + 3 T α α 2 ( λ ¯ ) k λ − 3 T α 2 α ( λ ¯ ) k λ + α 3 k λ = − α 3 ( λ ¯ ) k λ + 3 α 2 ( λ ¯ ) α k λ − 3 α ( λ ¯ ) α 2 k λ + α 3 k λ = ( α − α ( λ ¯ ) ) 3 k λ = 0.
因为 k λ ( z ) ≠ 0 , ∀ z ∈ D \ { λ } ,所以 α ( z ) = α ( λ ¯ ) , ∀ z ∈ D ,即 α ≡ c 。
2) 下证必要性。往证 C 1 T α C 1 = T α * 。记 { e j } j = 0 ∞ = { z j } j = 0 ∞ 是 H 2 上的正规正交基
〈 C 1 T α C 1 e j , e i 〉 = 〈 C 1 e i , T α e j 〉 = 〈 e i , T α e j 〉 = 〈 α ¯ e i , e j 〉 = 〈 ∑ p = 0 + ∞ α ¯ p z i − p , e j 〉 ( α ( z ) = ∑ p = 0 ∞ α p z p ) = α ¯ i − j , ( i ≥ j )
因而 C 1 T α C 1 对应的矩阵表示为
( α ¯ 0 0 0 ⋯ α ¯ 1 α ¯ 0 0 ⋱ α ¯ 2 α ¯ 1 α ¯ 0 ⋱ ⋮ α ¯ 2 α ¯ 1 ⋱ ⋮ ⋮ ⋱ ⋱ ) ,
即为以解析函数 α * 为符号的Toeplitz算子 T α * 的矩阵表示,进而 C 1 T α C 1 = T α * 。
由Toeplitz算子的基本代数性质得
− C 1 T α 3 C 1 + 3 T α ∗ C 1 T α 2 C 1 − 3 T α ∗ 2 C 1 T α C 1 + T α ∗ 3 = − T α * 3 + 3 T α ¯ T α * 2 − 3 T α ¯ 2 T α * + T α ¯ 3 = − T α * 3 + 3 T α ¯ α * 2 − 3 T α ¯ 2 α * + T α ¯ 3 .
显然
0 = 〈 ( − C 1 T α 3 C 1 + 3 T α ∗ C 1 T α 2 C 1 − 3 T α ∗ 2 C 1 T α C 1 + T α ∗ 3 ) k λ , k λ 〉 = 〈 ( − T α * 3 + 3 T α ¯ α * 2 − 3 T α ¯ 2 α * + T α ¯ 3 ) k λ , k λ 〉 = − α * 3 ( λ ) + 3 〈 ( α ¯ α * 2 − α ¯ 2 α * ) k λ , k λ 〉 + α 3 ( λ ) ¯ .
令 | λ | → 1 ,由于 α ¯ α * 2 − α ¯ 2 α * 在 T 上的径向极限存在,所以
− α * 3 ( e i θ ) + ( 3 α ¯ α * 2 − 3 α ¯ 2 α * ) ( e i θ ) + α ¯ 3 ( e i θ ) = − [ α * ( e i θ ) − α ( e i θ ) ¯ ] 3 = 0 ,
其中 λ = | λ | e i θ ,进而
α * ( e i θ ) − α ( e i θ ) ¯ = 0 ,
而 α * ( λ ) 是关于 λ 的解析函数, α ( λ ) ¯ 是关于 λ 的余解析函数,所以 α ≡ c 。
推论2.2 若 α ∈ H ∞ ,那么下述成立
1) T α ¯ 为 H 2 上关于共轭算子 C 1 的m-复对称算子 ( m ≥ 1 ) ,当且仅当 T α ¯ 是正规算子。
2) 若 α ∈ H ∞ , T α 为 H 2 上关于共轭算子 C 1 的m-复对称算子 ( m ≥ 3 ) ,当且仅当 T α 是正规算子。
证明:由定理2.1直接可得。
本部分首先刻画解析符号和余解析符号的Toeplitz算子关于共轭算子 C 1 的2-复对称性。
若 φ ( z ) = α ( z ) ¯ + β ( z ) ,其中 α ( z ) , β ( z ) ∈ H ∞ 。那么由Toeplitz算子基本性质有
T φ 2 = T α ¯ + β T α ¯ + β = T α ¯ T α ¯ + T α ¯ T β + T β T α ¯ + T β T β = T α ¯ 2 + T α ¯ β + T β T α ¯ + T β 2 .
进一步,
T φ 2 k λ ( z ) = T α ¯ 2 k λ ( z ) + T α ¯ β k λ ( z ) + T β T α ¯ k λ ( z ) + T β 2 k λ ( z ) = α ( λ ) ¯ 2 k λ ( z ) + T α ¯ β k λ ( z ) + α ( λ ) ¯ β ( z ) k λ ( z ) + β 2 ( z ) k λ ( z ) .
因此,
〈 C 1 T φ 2 C 1 k λ , k λ 〉 = 〈 C 1 T φ 2 k λ ¯ , k λ 〉 = 〈 C 1 k λ , T φ 2 k λ ¯ 〉 = 〈 k λ ¯ , T φ 2 k λ ¯ 〉 .
由再生核的定义,得到
〈 C 1 T φ 2 C 1 k λ , k λ 〉 = 〈 k λ ¯ , T φ 2 k λ ¯ 〉 = 〈 k λ ¯ , α ( λ ¯ ) ¯ 2 k λ ¯ ( z ) + T α ¯ β k λ ¯ ( z ) + α ( λ ¯ ) ¯ β ( z ) k λ ¯ ( z ) + β 2 ( z ) k λ ¯ ( z ) 〉 = α 2 ( λ ¯ ) + 〈 β ¯ α k λ ¯ , k λ ¯ 〉 + α ( λ ¯ ) β * ( λ ) + ( β * ) 2 ( λ ) .
由定义计算可得
〈 T φ ∗ C 1 T φ C 1 k λ , k λ 〉 = 〈 T φ ∗ C 1 T φ k λ ¯ , k λ 〉 = 〈 T φ ∗ C 1 ( α ( λ ¯ ) ¯ + β ) k λ ¯ , k λ 〉 = 〈 T φ ∗ ( α ( λ ¯ ) + β * ) k λ , k λ 〉 = 〈 α ( λ ¯ ) k λ + β * k λ , α ( λ ) ¯ k λ + β k λ 〉 = α ( λ ) α ( λ ¯ ) + α ( λ ¯ ) β ( λ ) ¯ + α ( λ ) β * ( λ ) + 〈 β * k λ , β k λ 〉 .
同理可得
〈 T φ * 2 k λ , k λ 〉 = 〈 β ( λ ) ¯ 2 k λ ( z ) + T β ¯ α k λ ( z ) + β ( λ ) ¯ α ( z ) k λ ( z ) + α 2 ( z ) k λ ( z ) , k λ ( z ) 〉 = α 2 ( λ ) + 〈 β ¯ α k λ , k λ 〉 + α ( λ ) β ( λ ) ¯ + [ β ( λ ) ¯ ] 2 .
综合上面结果,若 T φ 为 H 2 上关于 C 1 的2-复对称算子,那么对于 λ ∈ D ,有
[ α 2 ( λ ¯ ) + 〈 β ¯ α k λ ¯ , k λ ¯ 〉 + α ( λ ¯ ) β * ( λ ) + ( β * ) 2 ( λ ) ] − 2 [ α ( λ ) α ( λ ¯ ) + α ( λ ¯ ) β ( λ ) ¯ + α ( λ ) β * ( λ ) + 〈 β * k λ , β k λ 〉 ] + [ β ( λ ) ¯ 2 + 〈 β ¯ α k λ , k λ 〉 + β ( λ ) ¯ α ( λ ) + α 2 ( λ ) ] = 0. (3.1)
进一步,若(3.1)式中 α ′ , β ′ ∈ H 2 ,对(3.1)式两端求 ∂ λ ¯ , ∂ λ 得
∂ λ ¯ ∂ λ 〈 β ¯ α k λ ¯ , k λ ¯ 〉 + α ′ ( λ ¯ ) ( β * ) ′ ( λ ) − 2 α ′ ( λ ) α ′ ( λ ¯ ) − 2 ∂ λ ¯ ∂ λ 〈 β * k λ , β k λ 〉 + ∂ λ ¯ ∂ λ 〈 β ¯ α k λ , k λ 〉 + α ′ ( λ ) β ′ ( λ ) ¯ = 0.
运用多复变函数常见技巧,令 λ = z , λ ¯ = w ,有
∂ w ∂ z ( 1 − z w ) 〈 β ¯ α K z ¯ , K w 〉 + α ′ ( w ) β ∗ ′ ( z ) − 2 α ′ ( z ) α ′ ( w ) − 2 ∂ w ∂ z ( 1 − z w ) 〈 β ∗ K w ¯ , β K z 〉 + ∂ w ∂ z ( 1 − z w ) 〈 β ¯ α K w ¯ , K z 〉 + α ′ ( z ) β ′ ( w ¯ ) ¯ = 0. (3.2)
记幂级数展开式为 α ( u ) = ∑ k = 0 ∞ a k u k , β ( u ) = ∑ k = 0 ∞ b k u k ,那么
α ( u ) K z ¯ ( u ) = ∑ p = 0 ∞ a p u p ∑ i = 0 ∞ z i u i = ∑ p , i = 0 ∞ a p z i u p + i = p + i = k ∑ k = 0 ∞ ( ∑ i = 0 k a k − i z i ) u k .
在此基础上计算有
〈 β ¯ α K z ¯ , K w 〉 = 〈 α K z ¯ , β K w 〉 = 〈 ∑ k = 0 ∞ ( ∑ i = 0 k a k − i z i ) u k , ∑ l = 0 ∞ ( ∑ j = 0 l b l − j w ¯ j ) u l 〉 = ∑ k = 0 ∞ ( ∑ i , j = 0 k a k − i b ¯ k − j ) z i w j .
进一步求偏导数得
∂ w ∂ z ( 1 − z w ) 〈 α K z ¯ , β K w 〉 = ∂ w ∂ z ( 1 − z w ) [ ∑ k = 0 ∞ ( ∑ i , j = 0 k a k − i b ¯ k − j ) z i w j ] = ∂ w ( − w ) [ ∑ k = 0 ∞ ( ∑ i , j = 0 k a k − i b ¯ k − j ) z i w j ] + ∂ w ( 1 − z w ) [ ∑ k = 1 ∞ ( ∑ j = 0 i = 1 k a k − i b ¯ k − j ) i z i − 1 w j ] = − ∑ k = 0 ∞ ( ∑ i , j = 0 k a k − i b ¯ k − j ) z i w j − w ∑ k = 1 ∞ ( ∑ i = 0 j = 1 k a k − i b ¯ k − j ) z i j w j − 1 − z ∑ k = 1 ∞ ( ∑ i = 1 j = 0 k a k − i b ¯ k − j ) i z i − 1 w j + ( 1 − z w ) ∑ k = 2 ∞ ( ∑ i , j = 1 k a k − i b ¯ k − j ) i j z i − 1 w j − 1 .
相同方法有
− 2 ∂ w ∂ z ( 1 − z w ) 〈 β ∗ K w ¯ , β K z 〉 = 2 ∑ k = 0 ∞ ( ∑ i , j = 0 k b ¯ k − i b ¯ k − j ) w i z j + 2 w ∑ k = 1 ∞ ( ∑ i = 1 j = 0 k b ¯ k − i b ¯ k − j ) i w i − 1 z j + 2 z ∑ k = 1 ∞ ( ∑ i = 0 j = 1 k b ¯ k − i b ¯ k − j ) w i j z j − 1 − 2 ( 1 − z w ) ∑ k = 2 ∞ ( ∑ i , j = 1 k b ¯ k − i b ¯ k − j ) i j w i − 1 z j − 1
和
∂ w ∂ z ( 1 − z w ) 〈 β ¯ α K w ¯ , K z 〉 = − ∑ k = 0 ∞ ( ∑ i , j = 0 k a k − i b ¯ k − j ) w i z j − w ∑ k = 1 ∞ ( ∑ i = 1 j = 0 k a k − i b ¯ k − j ) i w i − 1 z j − z ∑ k = 1 ∞ ( ∑ i = 0 j = 1 k a k − i b ¯ k − j ) w i j z j − 1 + ( 1 − z w ) ∑ k = 2 ∞ ( ∑ i , j = 1 k a k − i b ¯ k − j ) i w i − 1 j z j − 1 .
直接计算得
α ′ ( w ) β ∗ ′ ( z ) = ∑ i , j = 1 ∞ i j a i b ¯ j w i − 1 z j − 1 ,
α ′ ( z ) α ′ ( w ) = ∑ i , j = 1 ∞ i j a i a j z i − 1 w j − 1 ,
和
α ′ ( z ) β ′ ( w ¯ ) ¯ = ∑ i , j = 1 ∞ a i b ¯ j i j z i − 1 w j − 1 .
将上述所有结果带入(3.2)式且令 w = 0 ,得
0 = − a 0 b ¯ 0 + a 1 ∑ j = 0 ∞ ( j + 1 ) b ¯ j + 1 z j − 2 a 1 ∑ j = 0 ∞ ( j + 1 ) a j + 1 z j + 2 b ¯ 0 b ¯ 0 − a 0 b ¯ 0 + b ¯ 1 ∑ j = 0 ∞ ( j + 1 ) a j + 1 z j = − 2 a 0 b ¯ 0 + 2 b ¯ 0 b ¯ 0 + ∑ j = 0 ∞ ( j + 1 ) ( a 1 b ¯ j + 1 − 2 a 1 a j + 1 + b ¯ 1 a j + 1 ) z j = 2 b ¯ 0 ( b ¯ 0 − a 0 ) + ∑ j = 0 ∞ ( j + 1 ) [ a 1 ( b ¯ j + 1 − a j + 1 ) + a j + 1 ( b ¯ 1 − a 1 ) ] z j .
对比两端 z j 的系数,所以当 j = 0 时,
2 b ¯ 0 ( b ¯ 0 − a 0 ) + a 1 ( b ¯ 1 − a 1 ) + a 1 ( b ¯ 1 − a 1 ) = 0 ,
整理得
b ¯ 0 ( b ¯ 0 − a 0 ) + a 1 ( b ¯ 1 − a 1 ) = 0. (3.3)
当 j ≥ 1 时
a 1 ( b ¯ j + 1 − a j + 1 ) + a j + 1 ( b ¯ 1 − a 1 ) = 0. (3.4)
综合以上结果得到
定理3.1 假设 φ ( u ) = α ( u ) ¯ + β ( u ) ∈ L ∞ ( T ) ,且 α ′ ( u ) , β ′ ( u ) ∈ H 2 。 T φ 为 H 2 上关于 C 1 的2-复对称算子,那么
b ¯ 0 ( b ¯ 0 − a 0 ) + a 1 ( b ¯ 1 − a 1 ) = 0
且
a 1 ( b ¯ j + 1 − a j + 1 ) + a j + 1 ( b ¯ 1 − a 1 ) = 0 , j ≥ 1 ,
其中 α ( u ) = ∑ k = 0 ∞ a k u k , β ( u ) = ∑ k = 0 ∞ b k u k , u ∈ T 。
如果对Toeplitz算子 T φ 的符号函数做一些限制,可以得出一些整齐的结果。
推论3.2 假设 α ( u ) = a u ( a ≠ 0 ) , β ( u ) = ∑ k = 0 ∞ b k u k , φ ( u ) = α ( u ) ¯ + β ( u ) ∈ L ∞ ( T ) ,且 β ′ ( u ) ∈ H 2 。 T φ
为 H 2 上关于 C 1 的2-复对称算子,那么
b ¯ 0 2 + a ( b ¯ 1 − a ) = 0 且 b 1 ≠ 0, b 2 = b 3 = ⋯ = 0.
推论3.3 若 φ ( u ) = α ( u ) ¯ + β ( u ) ∈ L ∞ ( T ) , α ′ ( u ) , β ′ ( u ) ∈ H 2 且 α ′ ( 0 ) = 0 。如果 T φ 为 H 2 上关于 C 1 的2-复对称算子,那么
{ β ( 0 ) = 0 β ′ ( 0 ) = 0 或 { β ( 0 ) = α ( 0 ) ¯ β ′ ( 0 ) = 0 或 φ ≡ α ( 0 ) ¯ 或 φ ≡ 2 α ( 0 ) ¯ = 2 β ( 0 ) .
证明:令
当
如果对
定理3.4
证明:由推论3.2,
崔璞玉,王焕然,冯琳颖. Hardy空间上m-复对称Toeplitz算子m-Complex Symmetric Toeplitz Operators on the Hardy Space[J]. 应用数学进展, 2021, 10(07): 2419-2427. https://doi.org/10.12677/AAM.2021.107254