让L表示一个Schrӧdinger算子。本文研究了Heisenberg群上与L有关的交换子的紧性问题。通过光滑截断技术,证明了Heisenberg群上分数Schrӧdinger热半群生成的积分算子关于消失平均震荡型空间CMO(ρ)(H<sup>n</sup>)中函数的交换子是紧算子。作为应用,讨论了与L有关的极大函数交换子的紧性。<br>Let L denote the Schrӧdinger operator. In this paper, we study the result of compactness of commutators related to L on Heisenberg groups. By smooth truncation technique, we show that commutators of the maximal operators generated by fractional Schrӧdinger heat semi groups with the function in the vanishing mean oscillation type space CMO(ρ)(H<sup>n</sup>) are compact operators. As an application, we investigate compactness of commutators of maximal functions associated with L.
让L表示一个Schrӧdinger算子。本文研究了Heisenberg群上与L有关的交换子的紧性问题。通过光滑截断技术,证明了Heisenberg群上分数Schrӧdinger热半群生成的积分算子关于消失平均震荡型空间 C M O ( ρ ) ( H n ) 中函数的交换子是紧算子。作为应用,讨论了与L有关的极大函数交换子的紧性。
紧性,交换子,Heisenberg群,Schrӧdinger算子
Li Yang, Tiantian Dai
School of Mathematics and Statistics, Qingdao University, Qingdao Shandong
Received: Apr. 14th, 2022; accepted: May 16th, 2022; published: May 23rd, 2022
Let L denote the Schrӧdinger operator. In this paper, we study the result of compactness of commutators related to L on Heisenberg groups. By smooth truncation technique, we show that commutators of the maximal operators generated by fractional Schrӧdinger heat semi groups with the function in the vanishing mean oscillation type space C M O ( ρ ) ( H n ) are compact operators. As an application, we investigate compactness of commutators of maximal functions associated with L.
Keywords:Compactness, Commutator, Heisenberg Group, Schrӧdinger Operator
Copyright © 2022 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/
若存在常数 C > 0 ,使得一个非负局部 L q 可积的函数V满足逆Hӧlder不等式
( 1 | B | ∫ B V q ( h ) d h ) 1 / q ≤ C | B | ∫ B V ( h ) d h .
则称V属于逆Hӧlder类 B q , q > ( 2 n + 2 ) / 2 。我们用符号 ϑ = 2 n + 2 表示海森堡群的齐次维数。令 L = − Δ H n + V 是Heisenberg群上的一个Schrӧdinger算子,其中 Δ H n 是次Laplace算子,也就是 Δ H n : = ∑ j = 1 2 n ( X j 2 ) 。且非负势 V ∈ B q , q > ϑ / 2 。积分算子T关于局部可积的函数b的交换子 [ b , T ] 被定义为 [ b , T ] f = b T ( f ) − T ( b f ) ,其中f为任意光滑函数。
在泛函分析中,一个重要的分支是紧算子理论。设T是从一个Banach空间X到另一个Banach空间Y的线性算子。如果X的任意有界子集在算子T作用下的像是Y中的紧子集,我们称T为紧算子。紧算子的一个经典例子是Sobolev空间的紧嵌入。通过这种嵌入,可以将椭圆型边值问题转化为Fredholm积分方程。有关紧算子的更多信息可以参考 [
本文不同于 [
2 n + 1 维Heisenberg群 H n 是具有基本流形 R 2 n × R n 和如下乘法的Lie群:
( x , t ) ( y , s ) : = ( x + y , t + s + 2 ∑ j = 1 n ( x n + j y j − x j y n + j ) ) .
H n 上的左不变向量场的Lie代数由下式给出:
X 2 n + 1 = ∂ ∂ t , X j = ∂ ∂ x j + 2 x n + j ∂ ∂ t , X n + j = ∂ ∂ x n + j + 2 x j ∂ ∂ t , j = 1 , 2 , ⋯ , n .
H n 上的梯度定义为 ∇ H n : = ( X 1 , ⋯ , X 2 n ) 。其左不变距离为: d ( h , g ) : = | h − 1 g | 。以g为中心,半径r的球表示为 B ( g , r ) = { h : | h − 1 g | < r } 。该球的体积为: | B ( g , r ) | = c n r n ,其中 c n 表示 H n 上单位球的体积。
本文内容如下:第2节叙述了一些与L有关的核估计。第3节给出了与L有关的极大函数 Φ γ 1 , γ 2 L , * 及其交换子 [ b , Φ γ 1 , γ 2 L , * ] 的有界性的证明,这对后续的紧性证明非常重要。作为本文的主要结果,在第4节中通过光滑截断技术建立了 H n 上 [ b , Φ γ 1 , γ 2 L , * ] 的 L p 紧性,其中 b ∈ C M O ( ρ ) ( H n ) 。作为应用,进一步得出 T i L , * , i = 1 , 2 ,对于 b ∈ C M O ( ρ ) ( H n ) 的极大交换子是 L p 紧算子。
Z.W. Shen在 [
定义2.1函数 ρ ( ⋅ ) 被定义为 ρ ( g ) : = sup r > 0 { r : r − ( ϑ − 2 ) ∫ B ( g , r ) V ( h ) d h ≤ 1 } , g ∈ H n 。
引理2.2 [
ρ ( g ) C 0 ( 1 + | g − 1 h | / ρ ( g ) ) − k 0 ≤ ρ ( h ) ≤ C 0 ρ ( g ) ( 1 + | g − 1 h | / ρ ( g ) ) k 0 / ( k 0 + 1 ) . (1)
特别地,当 | g − 1 h | ≤ C ρ ( g ) 时,有 ρ ( g ) ~ ρ ( h ) 成立。
本文中,定义 Ψ θ ( B ) = ( 1 + r / ρ ( g ) ) θ ,其中 B = B ( g , r ) 是中心为g,半径为r的一个球,且 θ > 0 。特别地,对于给定的 θ > 0 ,用符号 Ψ ( B ) 来代替 Ψ θ ( B ) 。下面分别给出空间 B M O ( ρ ) ( H n ) 和 C M O ( ρ ) ( H n ) 的定义。
定义2.3 1) 对 θ > 0 , B M O ( ρ ) ( H n ) 空间被定义为满足下列条件的局部可积函数f的集合。对所有的 g ∈ H n 和 r > 0 ,有 1 | B | ∫ B | f ( h ) − f B | d h ≤ C Ψ θ ( B ) ,其中 f B = 1 | B | ∫ B | f ( h ) | d h 。
B M O ( ρ ) ( H n ) 空间中函数的范数被定义为 ‖ f ‖ B M O ( ρ ) : = sup B ⊂ H n 1 Ψ θ ( B ) | B | ∫ B | f ( g ) − f B | d g < ∞ 。
2) C M O ( ρ ) ( H n ) 表示为 C c ∞ 在 B M O ( ρ ) ( H n ) 的拓扑空间中的闭包,其中 C c ∞ 是 H n 上具有紧支撑的无穷次可微函数的集合。
特殊的极大算子 M V , η ( 0 < p < ∞ ) 被定义为 M V , η f ( g ) : = sup g ∈ B 1 Ψ θ ( B ) η | B | ∫ B | f ( h ) | d h 。
因为 M V , η f 比经典的Hardy-Littlewood极大函数要小,所以下面的结论是显然成立的。
引理2.4让 1 < p < ∞ 而且 p ′ = p / ( p + 1 ) ,则存在一个常数 C > 0 使得 ‖ M V , p ′ f ‖ L p ( H n ) ≤ C ‖ f ‖ L p ( H n ) 。
M V , η 的交换子被定义为 [ b , M V , η ] ( f ) ( g ) : = sup g ∈ B 1 Ψ θ ( B ) η | B | ∫ B | b ( g ) − b ( h ) | | f ( h ) | d h 。
让 p t , σ L , α 表示与L相关广义的泊松算子,即 p t , σ L , α ( g , h ) : = 1 Γ ( σ ) ∫ 0 ∞ e − r K α , t 2 α / ( 4 r ) L ( g , h ) d r r 1 − σ , 0 < σ < 1 。
与L有关的分数次热半群表示为 { e − t L α } t ≥ 0 , α ∈ ( 0 , 1 ) 。通过从属公式(参考 [
{ η t α ( s ) = t − 1 / α η 1 α ( s / t 1 / α ) ; η t α ( s ) ≤ C t / ( s 1 + α ) ∀ s , t > 0 ; ∫ 0 ∞ s − γ η t α ( s ) d s < ∞ , γ > 0 ; η t α ( s ) ≃ t / ( s 1 + α ) ∀ s ≥ t 1 / α > 0.
定义2.5算子 T i , t L 被定义为 T i , t L ( f ) ( g ) : = ∫ H n K i L ( g , h ) f ( h ) d h , i = 1 , 2 ,其中
{ K 1 L ( g , h ) : = t m ∂ t m K α , t L ( g , h ) , m > 0 ; K 2 L ( g , h ) : = t ν ∂ t ν p t , σ L , α ( g , h ) , ν > 0.
T i , t L 的极大算子 T i L , * 被定义为 T i L , * ( f ) ( g ) : = sup t > 0 | T i , t L ( f ) ( g ) | , i = 1 , 2 。
T i L , * 关于 b ∈ B M O ( ρ ) ( H n ) 的交换子被定义为
[ b , T i L , * ] ( f ) ( g ) : = sup t > 0 | ∫ H n K i L ( g , h ) ( b ( g ) − b ( h ) ) f ( h ) d h | , i = 1 , 2.
定义2.6假设 γ 1 > 0 且 γ 2 ∈ ( 0 , 2 ) 。让 { Φ t , γ 1 , γ 2 L } t ≥ 0 是与L相关的积分核为 K γ 2 , t L , γ 1 ( ⋅ , ⋅ ) 的一族算子。即:
Φ t , γ 1 , γ 2 L ( f ) ( g ) : = ∫ H n K γ 2 , t L , γ 1 ( g , h ) f ( h ) d h ,其中 K γ 2 , t L , γ 1 ( ⋅ , ⋅ ) 满足下面两个条件:
1) 对任意的 N > 0 ,存在一个常数 C N > 0 使得
| K γ 2 , t L , γ 1 ( g , h ) | ≤ C N t γ 1 ( t 1 / γ 2 + | g − 1 h | ) ϑ + γ 1 γ 2 ( 1 + t 1 / γ 2 ρ ( g ) + t 1 / γ 2 ρ ( h ) ) − N . (2)
2) 对任意的 N > 0 ,存在一个常数 C N > 0 使得对每个 0 < δ < min { γ 2 , 1 − Q / q } 和所有 | u | ≤ t 1 / γ 2 有
| K γ 2 , t L , γ 1 ( g u , h ) − K γ 2 , t L , γ 1 ( g , h ) | ≤ C N t γ 1 ( t 1 / γ 2 + | g − 1 h | ) ϑ + γ 1 γ 2 ( | u | t 1 / γ 2 ) δ ( 1 + t 1 / γ 2 ρ ( g ) + t 1 / γ 2 ρ ( h ) ) − N . (3)
Φ t , γ 1 , γ 2 L 的极大算子 Φ γ 1 , γ 2 L , * 被定义为 Φ γ 1 , γ 2 L , * ( f ) ( g ) : = sup t > 0 | Φ t , γ 1 , γ 2 L ( f ) ( g ) | 。
Φ γ 1 , γ 2 L , * 关于 b ∈ B M O ( ρ ) ( H n ) 的交换子被定义为
[ b , Φ γ 1 , γ 2 L , * ] ( f ) ( g ) : = sup t > 0 | ∫ H n K γ 2 , t L , γ 1 ( g , h ) ( b ( g ) − b ( h ) ) f ( h ) d h | .
引理2.7 [
1) 对任意的 N > 0 ,存在一个常数 C N > 0 使得
| t m ∂ t m K α , t L ( g , h ) | ≤ C N t m ( t 1 / ( 2 α ) + | g − 1 h | ) ϑ + 2 α m ( 1 + t 1 / ( 2 α ) ρ ( g ) + t 1 / ( 2 α ) ρ ( h ) ) − N .
2) 让 0 < δ ≤ min { 2 α , δ 0 } 。对每个 N > 0 ,这存在一个常数 C N > 0 使得对所有的 | u | ≤ t 1 / ( 2 α ) ,
| t m ∂ t m K α , t L ( g u , h ) − t m ∂ t m K α , t L ( g , h ) | ≤ C N t m ( t 1 / ( 2 α ) + | g − 1 h | ) ϑ + 2 α m ( | u | t 1 / ( 2 α ) ) δ ( 1 + t 1 / ( 2 α ) ρ ( g ) + t 1 / ( 2 α ) ρ ( h ) ) − N .
引理2.8 [
引理2.9 [
1) F 是有界的,即 sup f ∈ F ‖ f ‖ L p ( H n ) < ∞ ;
2) F 在无穷远处一致收敛到0,即 l i m N → ∞ sup f ∈ F ∫ | g | > N | f ( g ) | p d g = 0 ;
3) F 是一致等连续的,即 l i m | u | → ∞ sup f ∈ F ∫ H n | f ( g u ) − f ( g ) | p d g = 0 。
定理3.1令 1 < p < ∞ 且 γ 1 γ 2 > θ η 。则存在一个常数C使得 ‖ Φ γ 1 , γ 2 L , * ( f ) ‖ L p ( H n ) ≤ C ‖ f ‖ L p ( H n ) 。
证明首先,把 Φ γ 1 , γ 2 L , * ( f ) 划分成两部分: Φ γ 1 , γ 2 L , * ( f ) ( g ) ≤ sup t > 0 { ∫ H n | K γ 2 , t L , γ 1 ( g , h ) | | f ( h ) | d h } ≤ I ( g ) + I I ( g ) ,其中
{ I ( g ) : = sup t > 0 { ∫ | g − 1 h | < ρ ( g ) | K γ 2 , t L , γ 1 ( g , h ) | | f ( h ) | d h } ; I I ( g ) : = sup t > 0 { ∫ | g − 1 h | ≥ ρ ( g ) | K γ 2 , t L , γ 1 ( g , h ) | | f ( h ) | d h } .
对于 I ( g ) ,有 I ( g ) ≤ I 1 ( g ) + I 2 ( g ) + I 3 ( g ) ,其中
{ I 1 ( g ) : = sup ρ ( g ) > t 1 / γ 2 > 0 { ∫ | g − 1 h | < t 1 / γ 2 | K γ 2 , t L , γ 1 ( g , h ) | | f ( h ) | d h } ; I 2 ( g ) : = sup ρ ( g ) > t 1 / γ 2 > 0 { ∫ t 1 / γ 2 ≤ | g − 1 h | < ρ ( g ) | K γ 2 , t L , γ 1 ( g , h ) | | f ( h ) | d h } ; I 3 ( g ) : = sup t 1 / γ 2 ≥ ρ ( g ) { ∫ | g − 1 h | < ρ ( g ) | K γ 2 , t L , γ 1 ( g , h ) | | f ( h ) | d h } .
通过(2),对于 I 1 ( g ) ,有 I 1 ( g ) ≤ C sup ρ ( g ) > t 1 / γ 2 > 0 { ∫ | g − 1 h | < t 1 / γ 2 t γ 1 ( t 1 / γ 2 ) ϑ + γ 1 γ 2 | f ( h ) | d h } ≤ C M V , η ( f ) ( g ) 。
对于 I 2 ( g ) ,注意到 γ 1 γ 2 > θ η ,则有
I 2 ( g ) ≤ C sup ρ ( g ) > t 1 / γ 2 > 0 { ∑ j = 1 ∞ t γ 1 ( 2 j t 1 / γ 2 ) ϑ + γ 1 γ 2 ∫ | g − 1 h | ∼ 2 j t 1 / γ 2 | f ( h ) | d h } ≤ C M V , η ( f ) ( g ) .
对于 I 3 ( g ) ,则有
I 3 ( g ) ≤ sup ρ ( g ) ≤ t 1 / γ 2 { ∫ | g − 1 h | < ρ ( g ) C t γ 1 | f ( h ) | ( t 1 / γ 2 ) ϑ + γ 1 γ 2 d h } ≤ sup ρ ( g ) ≤ t 1 / γ 2 { C ( t 1 / γ 2 ) ϑ ∫ | g − 1 h | < ρ ( g ) | f ( h ) | d h } ≤ C M V , η ( f ) ( g ) .
对于 I I ( g ) ,再次通过(2),取足够大的N,则有
I I ( g ) ≤ C sup t > 0 { ∫ | g − 1 h | ≥ ρ ( g ) t γ 1 | g − 1 h | ϑ + γ 1 γ 2 ( 1 + t γ 2 ρ ( g ) ) − N | f ( h ) | d h } ≤ C sup t > 0 { ∑ j = 1 ∞ ( t γ 2 ) γ 1 γ 2 ( 1 + t γ 2 / ρ ( g ) ) − N ( 2 j ) γ 1 γ 2 ( ρ ( g ) ) γ 1 γ 2 ( 2 j ρ ( g ) ) ϑ ∫ | g − 1 h | ∼ 2 j ρ ( g ) | f ( h ) | d h } ≤ C M V , η ( f ) ( g ) .
由引理2.4,其中 p ′ ≤ η < ∞ , I ( g ) 和 I I ( g ) 的估计表明了
‖ Φ γ 1 , γ 2 L , * ( f ) ‖ L p ( H n ) ≤ C ‖ M V , η ( f ) ‖ L p ( H n ) ≤ C ‖ f ‖ L p ( H n ) .
定理3.2令 1 < p < ∞ 且 γ 1 γ 2 > θ η 。对 b ∈ C M O ( ρ ) ( H n ) ,存在一个常数C使得
‖ [ b , Φ γ 1 , γ 2 L , * ] ( f ) ‖ L p ( H n ) ≤ C ‖ b ‖ B M O ( ρ ) ‖ f ‖ L p ( H n ) .
证明重复定理3.1的证明过程,能得到 | [ b , Φ γ 1 , γ 2 L , * ] ( f ) | ≤ C [ b , M V , η ] ( f ) ( g ) 。然后通过类似于 [
定理4.1让 1 < p < ∞ , γ 1 γ 2 > ( 1 + k 0 ) θ η 且 b ∈ C M O ( ρ ) ( H n ) ,则交换子 [ b , Φ γ 1 , γ 2 L , * ] 是 L p ( H n ) 上的紧算子。
证明我们将用光滑截断技术来证明该定理。取函数 ϕ ∈ C ∞ ( [ 0 , ∞ ] ) 且满足 0 ≤ ϕ ≤ 1 且对于 0 ≤ g ≤ 1 有 ϕ ( g ) = 1 ;对于 g ≥ 2 有 ϕ ( g ) = 0 。对任意的 γ > 0 ,定义 K γ 2 , t , γ L , γ 1 ( g , h ) : = K γ 2 , t L , γ 1 ( g , h ) ( 1 − ϕ ( γ − 1 | g − 1 h | ) ) 。令
{ Φ γ 1 , γ 2 , γ L , * ( g , h ) : = sup t > 0 { | ∫ H n K γ 2 , t , γ L , γ 1 ( g , h ) f ( h ) d h | } ; [ b , Φ γ 1 , γ 2 , γ L , * ] ( g , h ) : = sup t > 0 { | ∫ H n K γ 2 , t , γ L , γ 1 ( g , h ) ( b ( g ) − b ( h ) ) f ( h ) d h | } . (4)
对所有的 b ∈ C c ∞ ( H n ) , N = θ η 和 γ , η , θ > 0 ,结合 和 ,则有
| [ b , Φ γ 1 , γ 2 L , * ] f ( g ) − [ b , Φ γ 1 , γ 2 , γ L , * ] f ( g ) | ≤ C N { L 1 ( g ) + L 2 ( g ) } ,
其中
{ L 1 ( g ) : = sup t > 0 { ∫ | g − 1 h | < 2 γ t γ 1 ( t 1 / γ 2 + | g − 1 h | ) ϑ + γ 1 γ 2 ( 1 + t 1 / γ 2 ρ ( g ) ) − N | g − 1 h | | f ( h ) | | ϕ ( γ − 1 | g − 1 h | ) | d h } ; L 2 ( g ) : = sup t > 0 { ∫ | g − 1 h | ≥ 2 γ t γ 1 ( t 1 / γ 2 + | g − 1 h | ) ϑ + γ 1 γ 2 ( 1 + t 1 / γ 2 ρ ( g ) ) − N | g − 1 h | | f ( h ) | | ϕ ( γ − 1 | g − 1 h | ) | d h } .
对 L 2 ( g ) 来说,因为 | g − 1 h | ≥ 2 γ ,所以 ϕ ( γ − 1 | g − 1 h | ) = 0 。故而有
| [ b , Φ γ 1 , γ 2 L , * ] f ( g ) − [ b , Φ γ 1 , γ 2 , γ L , * ] f ( g ) | ≤ C γ { J 1 ( g ) + J 2 ( g ) + J 3 ( g ) } ,
其中
{ J 1 ( g ) : = sup t 1 / γ 2 < 2 γ { ∫ | g − 1 h | < t 1 / γ 2 t γ 1 ( t 1 / γ 2 + | g − 1 h | ) ϑ + γ 1 γ 2 ( 1 + t 1 / γ 2 ρ ( g ) ) − N | f ( h ) | d h } ; J 2 ( g ) : = sup t 1 / γ 2 < 2 γ { ∫ t 1 / γ 2 ≤ | g − 1 h | < 2 γ t γ 1 ( t 1 / γ 2 + | g − 1 h | ) ϑ + γ 1 γ 2 ( 1 + t 1 / γ 2 ρ ( g ) ) − N | f ( h ) | d h } ; J 3 ( g ) : = sup t 1 / γ 2 ≥ 2 γ { ∫ | g − 1 h | < 2 γ t γ 1 ( t 1 / γ 2 + | g − 1 h | ) ϑ + γ 1 γ 2 ( 1 + t 1 / γ 2 ρ ( g ) ) − N | f ( h ) | d h } .
对于 J 1 ( g ) ,有 J 1 ( g ) ≤ C sup t 1 / γ 2 < 2 γ { 1 ( t 1 / γ 2 ) ϑ ( 1 + t 1 / γ 2 ρ ( g ) ) − θ η ∫ | g − 1 h | < t 1 / γ 2 | f ( h ) | d h } ≤ C M V , η f ( g ) 。
对于 J 2 ( g ) ,有 J 2 ( g ) ≤ C sup t 1 / γ 2 < 2 γ { ∑ j = 1 ∞ t γ 1 ( 2 j t 1 / γ 2 ) ϑ + γ 1 γ 2 ( 1 + t 1 / γ 2 ρ ( g ) ) − θ η ∫ | g − 1 h | ∼ 2 j t 1 / γ 2 | f ( h ) | d h } ≤ C M V , η f ( g ) 。
对于 J 3 ( g ) ,有 J 3 ( g ) ≤ C sup t 1 / γ 2 ≥ 2 γ { 1 ( t 1 / γ 2 ) ϑ ( 1 + 2 γ ρ ( g ) ) − θ η ∫ | g − 1 h | < 2 γ | f ( h ) | d h } ≤ C M V , η f ( g ) 。
通过对 J 1 ( g ) , J 2 ( g ) 和 J 3 ( g ) 的估计,有 | [ b , Φ γ 1 , γ 2 L , * ] f ( g ) − [ b , Φ γ 1 , γ 2 , γ L , * ] f ( g ) | ≤ C M V , η ( f ) ( g ) 成立。
由引理2.4,其中 p ′ ≤ η < ∞ ,我们能得到
‖ [ b , Φ γ 1 , γ 2 L , * ] ( f ) − [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ‖ L p ( H n ) ≤ C γ ‖ M V , η ( f ) ‖ L p ( H n ) ≤ C γ ‖ f ‖ L p ( H n ) ,
这表明
lim γ → 0 ‖ [ b , Φ γ 1 , γ 2 L , * ] ( f ) − [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ‖ L p ( H n ) = 0. (5)
另一方面,若 b ∈ C M O ( ρ ) ( H n ) ,则对任意的 ε > 0 ,存在 b ε ∈ C c ∞ ( H n ) 使得 ‖ b − b ε ‖ B M O ( ρ ) < ε 。通过定理3.2,有 ‖ [ b , Φ γ 1 , γ 2 L , * ] ( f ) − [ b ε , Φ γ 1 , γ 2 L , * ] ( f ) ‖ L p ( H n ) ≤ C ‖ b − b ε ‖ B M O ( ρ ) ‖ Φ γ 1 , γ 2 L , * ( f ) ‖ L p ( H n ) ≤ C ε 。因此,为了证明
对任意的 b ∈ C M O ( ρ ) ( H n ) ,有 [ b , Φ γ 1 , γ 2 L , * ] 是 L p ( H n ) 上的紧算子,只需证对所有的 b ∈ C c ∞ ( H n ) ,有 [ b , Φ γ 1 , γ 2 L , * ] 是 L p ( H n ) 上的紧算子。通过(5)和引理2.9,只需证当 γ > 0 充分小时,对所有的 b ∈ C c ∞ ( H n ) ,有 [ b , Φ γ 1 , γ 2 L , * ] 是紧的。为了这个目的,对 L p ( H n ) 中的任意有界集 F ,取 F = { [ b , Φ γ 1 , γ 2 L , * ] ( f ) : f ∈ F } 。接下来,只需证对 b ∈ C c ∞ ( H n ) , F 满足引理2.10的(1)~(3)。
先证 F 满足(1)。根据 K γ 2 , t , γ L , γ 1 的定义,有 0 < | K γ 2 , t , γ L , γ 1 ( g , h ) | ≤ | K γ 2 , t L , γ 1 ( g , h ) | 。因此,
Φ γ 1 , γ 2 , γ L , * ( f ) ( g ) ≤ C sup t > 0 { ∑ j = j 0 ∞ ∫ | g − 1 h | ∼ 2 j t 1 / γ 2 t γ 1 | g − 1 h | ϑ + γ 1 γ 2 ( 1 + t 1 / γ 2 ρ ( g ) ) − N | f ( h ) | d h } ≤ C M V , η ( f ) ( g ) , (6)
其中整数 j 0 满足 2 j 0 t 1 / γ 2 ≤ γ ≤ 2 j 0 + 1 t 1 / γ 2 。通过这种方式,可以得到 [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( g ) ≤ C [ b , M V , η ] ( f ) ( g ) 。
从定理3.1和3.2,可以推出 Φ γ 1 , γ 2 , γ L , * 和 [ b , Φ γ 1 , γ 2 , γ L , * ] 在 L p ( H n ) 上是有界的。故有 sup f ∈ F ‖ [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ‖ L p ( H n ) ≤ C sup f ∈ F ‖ f ‖ L p ( H n ) ≤ C F 。这表明集合 F 是有界的。
再证 F 满足(2)。假设 b ∈ C c ∞ ( H n ) 且b的支集属于 B ( 0 , R ) ,其中 B ( 0 , R ) 是一个半径为R,中心为原点的一个球。对任意 | g | > A > 2 R , 1 < p < ∞ 和 f ∈ F ,应用(2),能得到
| [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( g ) | ≤ C ‖ b ‖ L ∞ ( H n ) sup t > 0 { ∫ | h | < R t γ 1 | f ( h ) | d h ( t 1 / γ 2 ) γ 1 γ 2 | g − 1 h | ϑ } ≤ C | g | − ϑ ∫ | h | < R | f ( h ) | d h ≤ C / | g | ϑ ,
其中 1 / p ′ + 1 / p = 1 。因此, ∫ | g | > A | [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( g ) | p d g ≤ C ∑ j = 0 ∞ ∫ 2 j A < | g | ≤ 2 j + 1 A ( 2 j A ) − ϑ p d g ≤ C / | A | ϑ ( p − 1 ) 。从而有 l i m A → ∞ ∫ | g | > A | [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( g ) | p d g = 0 。
最后证 F 满足(3)。仅需验证对任意的 ε > 0 ,若 | u | 是充分小的且仅取决于 ε ,对任意的 f ∈ F 有
l i m | u | → 0 ‖ [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( ⋅ u ) − [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( ⋅ ) ‖ L p ( H n ) = C ε (7)
成立。下面我们取 γ ∈ ( 0 , 1 ) 和 | u | ≤ γ / 4 ,则有 | [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( g u ) − [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( g ) | ≤ I ( g ) + I I ( g ) ,
其中 { I ( g ) : = sup t > 0 { ∫ H n | K γ 2 , t , γ L , γ 1 ( g u , h ) − K γ 2 , t , γ L , γ 1 ( g , h ) | | b ( g u ) − b ( h ) | | f ( h ) | d h } ; I I ( g ) : = sup t > 0 { ∫ H n | K γ 2 , t , γ L , γ 1 ( g , h ) | | b ( g u ) − b ( g ) | | f ( h ) | d h } .
事实上,
| K γ 2 , t , γ L , γ 1 ( g u , h ) ( b ( g u ) − b ( h ) ) f ( h ) − K γ 2 , t , γ L , γ 1 ( g , h ) ( b ( g ) − b ( h ) ) f ( h ) | ≤ | ( K γ 2 , t , γ L , γ 1 ( g u , h ) − K γ 2 , t , γ L , γ 1 ( g , h ) ) ( b ( g u ) − b ( h ) ) f ( h ) | + | K γ 2 , t , γ L , γ 1 ( g , h ) ( b ( g u ) − b ( g ) ) f ( h ) | .
先考虑 I I ( g ) ,通过(6),能得到 I I ( g ) ≤ ‖ b ‖ L ∞ ( H n ) | u | sup t > 0 { ∫ H n | K γ 2 , t , γ L , γ 1 ( g , h ) | | f ( h ) | d h } ≤ C | u | M V , η ( f ) ( g ) 。
通过引理2.4,其中 p ′ ≤ η < ∞ ,有 ‖ I I ‖ L p ( H n ) ≤ C | u | ‖ M V , η ( f ) ‖ L p ( H n ) ≤ C | u | ‖ f ‖ L p ( H n ) 。
接下来,对 I ( g ) ,有 I ( g ) ≤ I 1 ( g ) + I 2 ( g ) ,其中
{ I 1 ( g ) : = sup t 1 / γ 2 ≥ | u | { ∫ H n | K γ 2 , t , γ L , γ 1 ( g u , h ) − K γ 2 , t , γ L , γ 1 ( g , h ) | | b ( g u ) − b ( h ) | | f ( h ) | d h } ; I 2 ( g ) : = sup t 1 / γ 2 < | u | { ∫ H n | K γ 2 , t , γ L , γ 1 ( g u , h ) − K γ 2 , t , γ L , γ 1 ( g , h ) | | b ( g u ) − b ( h ) | | f ( h ) | d h } .
对于 I 1 ( g ) ,若 t 1 / γ 2 ≥ | u | ,注意到 γ ∈ ( 0 , 1 ) 和 | u | ≤ γ / 4 ,通过(2)和(3),则有
| K γ 2 , t , γ L , γ 1 ( g u , h ) − K γ 2 , t , γ L , γ 1 ( g , h ) | ≤ | K γ 2 , t L , γ 1 ( g , h ) − K γ 2 , t L , γ 1 ( g u , h ) | | 1 + φ ( γ − 1 | ( g u ) − 1 h | ) | + | K γ 2 , t L , γ 1 ( g , h ) | | φ ( γ − 1 | g − 1 h | ) − φ ( γ − 1 | ( g u ) − 1 h | ) | ≤ C N t γ 1 ( t 1 / γ 2 + | g − 1 h | ) ϑ + γ 1 γ 2 ( ( | u | t 1 / γ 2 ) δ + ( | u | t 1 / γ 2 ) ) ( 1 + t 1 / γ 2 ρ ( g ) + t 1 / γ 2 ρ ( h ) ) − N ,
其中 | φ ( γ − 1 | g − 1 h | ) − φ ( γ − 1 | ( g u ) − 1 h | ) | ≤ C | u | / γ 。因此, | I 1 ( g ) | ≤ C { I 1 , 1 ( g ) + I 1 , 2 ( g ) + I 1 , 3 ( g ) + I 1 , 4 ( g ) } ,其中
若 t 1 / γ 2 ≥ 1 ,有 ( t 1 / γ 2 ) − δ ≤ 1 。对 I 1 , 1 ( g ) ,选取 N = θ η ,则有
I 1 , 1 ( g ) ≤ 2 ‖ b ‖ L ∞ ( H n ) sup t 1 / γ 2 ≥ 1 { ( | u | δ + | u | ) γ ( t 1 / γ 2 ) ϑ ( 1 + t 1 / γ 2 ρ ( g ) ) − θ η ∫ | g − 1 h | < t 1 / γ 2 | f ( h ) | d h } ≤ C γ − 1 ( | u | δ + | u | ) M V , η ( f ) ( g ) .
注意到 γ 1 γ 2 − θ η > 1 > 0 ,类似于 I 1 , 1 ( g ) 能得到 I 1 , 2 ( g ) ≤ C γ − 1 ( | u | δ + | u | ) M V , η ( f ) ( g ) 。
若 t 1 / γ 2 < 1 ,有 ( t 1 / γ 2 ) − δ ≤ ( t 1 / γ 2 ) − ( 1 − ϑ / q ) ≤ t − 1 / γ 2 。对 I 1 , 3 ( g ) ,选取 N = θ η ,若 | u | ≤ t 1 / γ 2 , | g − 1 h | ≤ t 1 / γ 2 且 b ∈ C c ∞ ( H n ) ,则有 | b ( g u ) − b ( h ) | ≤ C { | g − 1 h | + | u | } ≤ C t 1 / γ 2 。由 γ ∈ ( 0 , 1 ) 能得到
I 1 , 3 ( g ) ≤ C sup | u | ≤ t 1 / γ 2 < 1 { ( | u | δ + | u | t 1 / γ 2 γ ) ( 1 + t 1 / γ 2 ρ ( g ) ) − θ η 1 ( t 1 / γ 2 ) ϑ ∫ | g − 1 h | < t 1 / γ 2 | f ( h ) | d h } ≤ C γ − 1 ( | u | δ + | u | ) M V , η ( f ) ( g ) .
对 I 1 , 4 ( g ) ,由于 b ∈ C c ∞ ( H n ) ,若 | g − 1 h | ~ 2 j t 1 / γ 2 , j = 1 , 2 , ⋯ 且 | u | ≤ t 1 / γ 2 ,则有 | b ( g u ) − b ( h ) | ≤ C { | g − 1 h | + | u | } ≤ C 2 j t 1 / γ 2 。故而有
I 1 , 4 ( g ) ≤ C sup | u | ≤ t 1 / γ 2 < 1 { ( | u | δ + | u | t 1 / γ 2 γ ) ∑ j = 1 ∞ ( 1 + t 1 / γ 2 ρ ( g ) ) − θ η ∫ | g − 1 h | ∼ 2 j t 1 / γ 2 t γ 1 2 j | f ( h ) | ( 2 j t 1 / γ 2 ) γ 1 γ 2 ( 2 j t 1 / γ 2 ) ϑ d h } ≤ C γ − 1 ( | u | δ + | u | ) ∑ j = 1 ∞ 1 ( 2 j ) γ 1 γ 2 − 1 − θ η M V , η ( f ) ( g ) ≤ C γ − 1 ( | u | δ + | u | ) M V , η ( f ) ( g ) ,
其中 γ 1 γ 2 − ( θ η + 1 ) > 0 。这些 I 1 , i ( ⋅ ) , i = 1 , 2 , 3 , 4 的估计表明 I 1 ( g ) ≤ C γ − 1 ( | u | δ + | u | ) M V , η ( f ) ( g ) 。
最后,估计 I 2 ( g ) 。若 | g − 1 h | < γ / 2 和 | u | < γ / 4 ,有 | ( g u ) − 1 h | < 3 γ / 4 。因此 φ ( γ − 1 | ( g u ) − 1 h | ) = φ ( γ − 1 | g − 1 h | ) = 1 。这表明 K γ 2 , t , γ L , γ 1 ( g u , h ) = K γ 2 , t , γ L , γ 1 ( g , h ) = 0 ,进而有 I 2 ( g ) = 0 。故只需考虑 | g − 1 h | ≥ γ / 2 。
此时,有 I 2 ( g ) ≤ I 2 , 1 ( g ) + I 2 , 2 ( g ) ,其中
{ I 2 , 1 ( g ) : = sup t 1 / γ 2 < | u | < ρ ( g ) { ∫ | g − 1 h | ≥ γ / 2 | K γ 2 , t , γ L , γ 1 ( g u , h ) − K γ 2 , t , γ L , γ 1 ( g , h ) | | b ( g u ) − b ( h ) | | f ( h ) | d h } ; I 2 , 2 ( g ) : = sup t 1 / γ 2 < | u | ρ ( g ) ≤ | u | { ∫ | g − 1 h | < γ / 2 | K γ 2 , t , γ L , γ 1 ( g u , h ) − K γ 2 , t , γ L , γ 1 ( g , h ) | | b ( g u ) − b ( h ) | | f ( h ) | d h } .
对 I 2 , 1 ( g ) ,由 | g − 1 h | > 2 | u | ,知 | ( g u ) − 1 h | ~ | g − 1 h | 。由 t 1 / γ 2 < ρ ( g ) 推出 ρ ( g ) ~ ρ ( g u ) , | u | / ρ ( g ) < 1 和 | u | / t 1 / γ 2 > 1 。进而有 | u | / t 1 / γ 2 < ( | u | / t 1 / γ 2 ) γ 1 γ 2 。可得
I 2 , 1 ( g ) ≤ C sup t 1 / γ 2 < | u | < ρ ( g ) { ∫ | g − 1 h | ≥ 2 | u | t γ 1 | g − 1 h | ϑ + γ 1 γ 2 − 1 ( | u | t 1 / γ 2 ) γ 1 γ 2 | f ( h ) | d h } ≤ C sup t 1 / γ 2 < | u | < ρ ( g ) { ∑ j = 2 ∞ ∫ | g − 1 h | ∼ 2 j | u | | u | γ 1 γ 2 ( 2 j | u | ) ϑ + γ 1 γ 2 − 1 ( 1 + 2 j | u | ρ ( g ) ) θ η ( 1 + 2 j | u | ρ ( g ) ) − θ η | f ( h ) | d h } ≤ C ∑ j = 2 ∞ | u | ( 2 j ) γ 1 γ 2 − 1 − θ η M V , η ( f ) ( g ) ≤ C | u | M V , η ( f ) ( g ) ,
其中 γ 1 γ 2 > θ η + 1 > 0 。接下来,只剩估计 I 2 , 2 ( g ) 。由 b ∈ C c ∞ ( H n ) 和 | g − 1 h | ≥ γ / 2 > 2 | u | ,有 | b ( g u ) − b ( h ) | ≤ C | g − 1 h | 和 | ( g u ) − 1 h | ~ | g − 1 h | 。另外,若 | g − 1 h | < 2 l ρ ( g ) , l = 1 , 2 , ⋯ ,通过 ,有 ρ ( g ) ≤ C ( 1 + | g − 1 h | / ρ ( g ) ) k 0 / ( k 0 + 1 ) ρ ( g ) ≤ C 2 k 0 l / ( k 0 + 1 ) ρ ( g ) 。从而有
( 1 + t 1 / γ 2 ρ ( g u ) + t 1 / γ 2 ρ ( h ) ) − N + ( 1 + t 1 / γ 2 ρ ( g ) + t 1 / γ 2 ρ ( h ) ) − N ≤ 2 ( 1 + t 1 / γ 2 ρ ( h ) ) − N ≤ C ( 1 + 2 − k 0 l / ( k 0 + 1 ) t 1 / γ 2 ρ ( g ) ) − N .
取 N = γ 1 γ 2 − 1 并应用 ,则有
I 2 , 2 ( g ) ≤ C sup t 1 / γ 2 < | u | ρ ( g ) ≤ | u | { ∫ | g − 1 h | ≥ 2 ρ ( g ) t γ 1 | u | / t 1 / γ 2 | g − 1 h | ϑ + γ 1 γ 2 − 1 ( 1 + 2 − k 0 l / ( k 0 + 1 ) t 1 / γ 2 ρ ( g ) ) − N | f ( h ) | d h } ≤ C sup t 1 / γ 2 < | u | ρ ( g ) ≤ | u | { ∑ l = 2 ∞ | u | ( 2 − k 0 l / ( k 0 + 1 ) ) 1 − γ 1 γ 2 ( 2 l ) γ 1 γ 2 − 1 − θ η ( 2 l ρ ( g ) ) ϑ ( 1 + 2 l ρ ( g ) ρ ( g ) ) − θ η ∫ | g − 1 h | ∼ 2 l ρ ( g ) | f ( h ) | d h } ≤ C | u | ∑ l = 2 ∞ 1 ( 2 l ) ( γ 1 γ 2 − 1 ) / ( k 0 + 1 ) − θ η M V , η ( f ) ( g ) ≤ C | u | M V , η ( f ) ( g ) ,
其中 γ 1 γ 2 − 1 > ( 1 + k 0 ) θ η 。 I 2 , 1 ( g ) 和 I 2 , 2 ( g ) 的估计表明 I 2 ( g ) ≤ C | u | M V , η ( f ) ( g ) 。结合 I 1 ( g ) 和 I 2 ( g ) 的估计,能得到 I ( g ) ≤ C ( | u | δ + | u | ) M V , η ( f ) ( g ) 。由引理2.4,其中 p ′ ≤ η < ∞ ,有
‖ I ‖ L p ( H n ) ≤ C ( | u | δ + | u | ) ‖ M V , η ( f ) ‖ L p ( H n ) ≤ C ( | u | δ + | u | ) ‖ f ‖ L p ( H n ) .
通过 I ( g ) 和 I I ( g ) 的估计,有 ‖ [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( ⋅ u ) − [ b , Φ γ 1 , γ 2 , γ L , * ] ( f ) ( ⋅ ) ‖ L p ( H n ) ≤ C ( | u | δ + | u | ) ‖ f ‖ L p ( H n ) 成立。
因此,我们得到了(7)并完成了证明。
定理4.2假设 V ∈ B q , q > ϑ / 2 , b ∈ C M O ( ρ ) ( H n ) 且 θ > 0 ,则 [ b , T i L , * ] , i = 1 , 2 是 L p ( H n ) 上的一个紧算子。
证明首先,通过引理2.8,当 γ 2 = 2 α 且 γ 1 = m 时,有 t m ∂ t m K α , t L ( g , h ) 满足条件(2)和(3)。因此,通过定理4.1,得出 [ b , T 1 L , * ] 是 L p ( H n ) 上的一个紧算子。其次,通过定理4.1,仅需证 t υ ∂ t υ p t , υ L , α ( g , h ) 满足条件(2)
和(3)。先证 t υ ∂ t υ p t , υ L , α ( g , h ) 满足条件(2)。由于 t υ ∂ t υ p t , υ L , α ( g , h ) = C ∫ 0 ∞ e − r t υ ∂ t υ K α , t 2 α / ( 4 r ) L ( g , h ) d r / r 1 − σ ,通过
引理2.8的(1),对 L > ϑ / ( 2 α ) + N / α + σ > 0 ,有
t υ ∂ t υ p t , υ L , α ( g , h ) ≤ C ∫ 0 ∞ e − r ( t 2 α / ( 4 r ) ) − ϑ / ( 2 α ) ( t 2 α / ( 4 r ) ) − N / α ρ ( g ) N ρ ( h ) N d r r 1 − σ ≤ C t ϑ + 2 N ρ ( g ) N ρ ( h ) N ( ∫ 0 1 + ∫ 1 ∞ ) e − r r ϑ / ( 2 α ) + N / α + σ − 1 d r ≤ C ( t ρ ( g ) ) − N ( t ρ ( h ) ) − N 1 t ϑ .
另一方面,选取 L > α / N − υ + σ > 0 ,有
t υ ∂ t υ p t , υ L , α ( g , h ) ≤ C ρ ( g ) N ρ ( h ) N t 2 α υ − 2 N | g − 1 h | ϑ + 2 α υ ∫ 0 ∞ e − r r α / N − υ + σ − 1 d r ≤ C ( t ρ ( g ) ) − N ( t ρ ( h ) ) − N t 2 α υ | g − 1 h | ϑ + 2 α υ .
考虑两种情况: 0 ≤ t ≤ | g − 1 h | 和 t > | g − 1 h | 。显然地,都能得到
( t ρ ( g ) ) N ( t ρ ( h ) ) N | t υ ∂ t υ p t , υ L , α ( g , h ) | ≤ C t 2 α υ ( t + | g − 1 h | ) ϑ + 2 α υ .
从而有 t υ ∂ t υ p t , υ L , α ( g , h ) 满足条件(2),其中 γ 2 = 1 且 γ 1 = 2 α υ 。 t υ ∂ t υ p t , υ L , α ( g , h ) 满足条件(3)的证明相似于 p t , υ L , α ( g , h ) ,此处省略细节。故得出 [ b , T 2 L , * ] 是 L p ( H n ) 上的一个紧算子。
作者衷心感谢李澎涛教授的指导与建议。
山东省自然科学基金(项目编号:ZR2017JL008)。
杨 丽,代甜甜. Heisenberg群上与Schr?dinger算子有关的交换子的紧性Compactness of Commutators Related with Schr?dinger Operators on Heisenberg Groups[J]. 理论数学, 2022, 12(05): 764-775. https://doi.org/10.12677/PM.2022.125087