双线性Calderón-Zygmund算子交换子在Triebel-Lizorkin空间上有界的充分必要条件
2021-03-27房成龙
房成龙
(中国人民大学数学学院,北京 100872)
1 预备知识
1975年,Coifman和Meyer[1]首次研究了双线性奇异积分算子,发现Calderón-Zygmund奇异积分算子交换子的研究可以归结为一类双线性奇异积分算子研究.随后许多学者开始关注交换子及双线性算子有界性问题.[2-10]
1976年,Coifman,Rochberg和Weiss[2]获得了一个著名结果:Calderón-Zygmund奇异积分算子与BMO函数生成交换子在Lebesgue空间上有界,其结果大力推动了交换子的研究.之后,Pérez和Trujillo-Gonzle[3-4]推广了交换子概念,并获得了向量值奇异积分算子交换子的加权估计.
设β>0,若函数f满足
特别地,1995年,Paluszynski[5]证明了

(1)
其中:Cf是Calderón-Zygmund奇异积分算子与Lipschitz函数生成交换子;0<β<1;1
2009年,王玮和徐景实[7]获得了双线性奇异积分算子的Lipschitz交换子在乘积Lebesgue空间上的有界性.
2014年,默会霞和陆善镇[11]证明了双线性奇异积分算子与Lipschitz函数生成的迭代交换子从乘积Lebesgue空间到Lebesgue空间或Triebel-Lizorkin空间有界.
受这些研究启发,自然产生一个疑问:能否用双线性奇异积分算子有界性去刻画Lipschitz空间?为了验证这个疑问,本文首先讨论了双线性奇异积分算子的线性交换子(见定义1.1)从乘积Lebesgue空间到Lebesgue空间或Triebel-Lizorkin空间有界性,然后在对此疑问给出了肯定回答.
K(x,y1,y2)是一个局部可积且远离对角线x=y1=y2的函数,对参数A>0,ε>0,有:
(2)
(3)
其中|x-x′|≤1/2max{|x-y1|,|x-y2|}.满足(2)与(3)式且与参数m,A和ε有关的K(x,y1,y2)称为2-CZK(A,ε).特别地,若K(x,y1,y2)为K(x-y1,x-y2)形式时,所对应算子称为卷积型算子.
定义1.1设K是2-CZK(A,ε),双线性Calderón-Zygmund奇异积分算子T(f1,f2)定义为

若1 定义1.2设T是双线性Calderón-Zygmund奇异积分算子,b是局部可积函数. (ⅰ)T的线性交换子[Σb,T]定义为 (ⅱ)T的迭代交换子[Πb,T]定义为

2 双线性Calderón-Zygmund奇异积分算子的线性交换子在Triebel-Lizorkin空间的有界……