變指數Lipschitz交換子在變指數空間上的有界性

郭慶棟，周 疆，房成龍

(新疆大學數學與系統科學學院，新疆 烏魯木齊 830046)

1 預備知識

的可測函數組成的集合定義為P (Rn).

定義1.1[3](ⅰ) 設ɡ是連續函數，若存在clog>0使得對所有的x，y∈Rn，滿足

定義1.3[5]若p：Rn→(0，∞)是可測函數，Lp(·)(Rn)表示下面函數的集合：

其范數定義為

此外，記B (Rn)為所有滿足p(·)∈P (Rn)且Hardy-Littlewood極大算子在Lp(·)(Rn)上有界的函數組成的集合.

同時，為了后面定理的證明更加簡潔，定義算子Mδ及變指數分數次極大算子Mα(·)如下：

定義1.5[5]設K是定義在Rn{0}上的局部可積函數，K的Fourier變換的支集是有界的，且K滿足

(1)

則對應的奇異積分算子T定義為Tf(x)=K*f(x).若p(·)∈B (Rn)，則T在Lp(·)(Rn)上是有界的.

[b，T]f(x)=b(x)Tf(x)-T(bf)(x).

定義1.6[5]設0<α

進一步，若1/p(·)-1/q(·)=α/n，則Iα從Lp(·)(Rn)到Lq(·)(Rn)是有界的.[6]

[b，Iα]f(x)=b(x)Iαf(x)-Iα(bf)(x).

另外，變指數Riesz位勢算子Iα(·)定義如下：

2 變指數Lebesgue空間上交換子的有界性

上面估計中，Mβ(·)f(x)≤CIβ(·)(|f|)(x)[8]，根據引理2.1即可得定理結論.

證明根據引理2.1，

定理2.3設β(·)∈Clog(Rn)，q(·)∈P0(Rn)，p(·)∈B (Rn)，1/p(·)-1/q(·)=α/n，1/p(·)-1/r(·)=(α+β(·))/n.若

由此可得

根據引理2.1，變指數分數次積分算子Iα+β(·)(|f|)從Lp(·)到Lr(·)是有界的，定理得證.

3 變指數Lipschitz空間上的有界性

引理3.1[4]若β(·)∈P0(Rn)，q(·)∈P (Rn)，則

容易驗證 [b，T]f=[b-bQ，T]f，故

首先估計D1.

其次估計D2.取1/p(·)-1/q(·)=β(·)/n，根據[b，T]從Lp(·)到Lq(·)的有界性，可得

則有

定理3.2設β(·)∈Clog(Rn)∩P0(Rn)，q(·)∈P (Rn)，p(·)∈B (Rn)且滿足

證明容易驗證，[b，Iα]f=[b-bQ，Iα]f，故

首先估計E1.

其次估計E2.取

1/p(·)-1/r(·)=(α+β(·))/n，

根據[b，Iα]從Lp(·)到Lr(·)的有界性，可得

最后估計E3.

故