-
20世纪70年代，文献[1-2]发现Calderón-Zygmund奇异积分算子交换子的研究可以归结为一类双线性奇异积分算子的研究，并获得了Calderón-Zygmund奇异积分算子交换子在Lebesgue空间上的有界性，之后许多学者开始研究交换子[3-6].
设β>0，若函数f满足
则称f属于Lipschitz空间
$\dot \varLambda _β $ .对方体Q，$f_{Q}=\frac{1}{|Q|} \int_{Q} f(x) \mathrm{d} x$ .文献[5]证明了
其中Cfα是分数次积分算子与Lipschitz函数生成的交换子，
等价关系(1)的证明用到了文献[6]中讨论的Triebel-Lizorkin空间Fpβ，∞的一个重要性质：
受文献[5]结果的启发，一个自然的问题产生了：双线性分数次积分算子交换子的有界性是否可以刻画Lipschitz空间?本文在第二部分给出了肯定的回答.
定义1[7] 设0 < α < 2n，双线性分数次积分算子Iα定义为
文献[7]获得了Iα：Lp1×Lp2→Lq的有界性，其中
另外，有关多线性分数次积分算子的研究可见文献[8].
本文主要讨论两种类型的交换子，下面给出其定义.
定义2 设bj∈Lloc1(j=1，2)，Iα是双线性分数次积分算子.
(a) 线性交换子
$\left[\varSigma \vec{b}, I_{a}\right]$ 定义为(b) 迭代交换子
$\left[Π \vec{b}, I_{a}\right]$ 定义为文献[9]证明了b1，b2∈
$\dot \varLambda _β$ 时，从乘积Lebesgue空间到Lebesgue空间(或Triebel-Lizorkin空间)的算子$\left[\varPi \vec{b}, I_{a}\right]$ 是有界的.文献[10]验证了文献[9]的结果对一种广义高阶交换子也成立.
文献[11]证明了
其中
且
受文献[5-11]中结果的启发，本文的第一部分证明了b1，b2∈
$\dot \varLambda _β$ 时，线性交换子$\left[\varSigma \vec{b}, I_{a}\right]$ 在Triebel-Lizorkin空间上有界；第二部分验证了$\left[\varSigma \vec{b}, I_{a}\right]$ 和$\left[\Pi \vec{b}, I_{a}\right]$ 在Lebesgue空间、Triebel-Lizorkin空间上的有界性可以刻画Lipschitz空间.对于一个集合A，χA表示其特征函数. C表示常数，每次出现时有可能其值并不相同.当C>0时，A≤CB用A
$\mathop < \limits_ \sim $ B来表示；同时，A≈B表示A$\mathop < \limits_ \sim $ B且B$\mathop < \limits_ \sim $ A.
全文HTML
-
引理1 设0 < β < 1，则：
(ⅰ)若1 < q≤∞，则
(ⅱ)若1 < p < ∞，则
(ⅰ)的证明见文献[12]，且q=∞显然成立. (ⅱ)的证明见文献[6].
引理2 设
$1<p<q<\infty, \frac{1}{p}-\frac{1}{q}=\frac{\alpha}{n}$ . hQ是一个定义在方体Q上的函数.若0≤γ，则其中常数C与p，q，α和n有关.
定理1 设0 < β < 1，1 < r < ∞，1 < p1，p2 < q < ∞.
$\frac{1}{p_{1}}+\frac{1}{p_{2}}=\frac{1}{p}, \frac{1}{p_{1}}+\frac{1}{p_{2}}-\frac{1}{q}=\frac{\alpha}{n}, \frac{1}{p_{1}}+\frac{1}{p_{2}}-$ $\frac{1}{r}=\frac{\alpha+\beta}{n}$ .若b1，b2∈$\dot \varLambda _β$ ，则$\left[\varSigma \vec{b}, I_{a}\right]$ ：Lp1($\mathbb R$ n)×Lp2($\mathbb R$ n)→Fqβ，∞有界.证 通过引理1(ⅱ)和引理2，可得
首先估计D1.任意固定x∈Q，通过引理1(ⅰ)，有
根据Iα的有界性[7]，得
再估计D2.运用Minkowski不等式和Iα的有界性，有
因此
同理得
由于
因此
同理得
结合前面的估计，定理1得证.
-
定理2 设0 < β < 1，1 < r < ∞，1 < pj < q < ∞(j=1，2).
$ \frac{1}{p_{1}}+\frac{1}{p_{2}}=\frac{1}{p}, \frac{1}{p_{1}}+\frac{1}{p_{2}}-\frac{1}{q}=\frac{\alpha}{n}, $ $\frac{1}{p_{1}}+\frac{1}{p_{2}}-\frac{1}{r}=\frac{\alpha+\beta}{n}$ .若b1=b2∈Lloc1，则下面结论等价：(ⅰ) bi∈
$\dot \varLambda _β$ (i=1，2)；(ⅱ)
$\left[\varSigma \vec{b}, I_{a}\right]$ ：Lp1($\mathbb R^n$ )×Lp2($\mathbb R^n$ )→Fqβ，∞有界；(ⅲ)
$\left[\varSigma \vec{b}, I_{a}\right]$ ：Lp1($\mathbb R^n$ )×Lp2($\mathbb R^n$ )→Lr($\mathbb R^n$ )有界；(ⅳ)
$\left[\Pi \vec{b}, I_{a}\right]$ ：Lp1($\mathbb R^n$ )×Lp2($\mathbb R^n$ )→Fqβ，∞有界；(ⅴ)
$\left[\Pi \vec{b}, I_{a}\right]$ ：Lp1($\mathbb R^n$ )×Lp2($\mathbb R^n$ )→Lr($\mathbb R^n$ )有界.证 根据定理1、文献[11]的定理2.6及文献[9]的定理1和定理3，只需说明(ⅱ)⇒(ⅰ)，(ⅳ)⇒(ⅰ)和(ⅴ)⇒(ⅰ)成立即可.
选择x0∈
$\mathbb R^n$ ，t>0，令设x∈Q，y1，y2∈Q0.根据文献[13]中第3页的证明，可得
(ⅱ)⇒(ⅰ)：令
则
由于
$\left[\varSigma \vec{b}, I_{a}\right]$ ：Lp1($\mathbb R^n$ )×Lp2($\mathbb R^n$ ) →$\dot F_p^{β，∞}$ 有界.因此，(ⅱ)⇒(ⅰ)得证.(ⅳ)⇒(ⅰ)：类似于(ⅱ)⇒(ⅰ)，得
(ⅴ)⇒(ⅰ)：类似于(ⅳ)⇒(ⅰ)，可得
定理2证毕.
下载: