一類奇異積分算子及交換子在變指數 Herz空間上的有界性

李露露，陶雙平

(西北師范大學數學與統計科學學院，蘭州 730070)

給定一個開集E?Rn和一個可測函數q(x):E→［1，∞)，則變指數Lebesgue空間Lq(·)(E)定義為:

并賦予范數:

當q(x)=q0是常數時，Lq(·)(E)就是經典的Lq0(E)。

歸功于Kováˇcik和Rákosn r'k在文獻［1］中建立了變指數函數空間的一些基本性質，在最近20多年中，關于算子在變指數函數的有界性研究有了很大的突破，詳見文獻［2-11］。其中最令人欣喜的結論之一是建立了Hardy-Littlewood極大算子在變指數的Lebesgue空間中的有界性。最近，Cruz-Uribe-SFOFiorenza-Martell-Pérez在文獻［3］中論證了調和分析中的許多經典算子在變指數的Lebesgue空間中的有界性結論，諸如sharp極大算子、乘子算子、平方函數算子、數次積分算子等。

令Ω是零次奇次的，在單位球Sn-1上無窮可微的，且滿足則奇異積分算子T定義為:

由算子T和一個函數b生成的交換子［b，T］定義為:

文獻［3］和［12］分別證明了式(1)定義的算子T和當b∈BMO時式(2)定義的交換子［b，T］在變指數的Lebesgue空間中是有界的。本文考慮T和［b，T］在變指數的Herz空間中的有界性。通過在經典的Hardy空間中研究乘子的性質得到了經典的Herz空間，參見文獻［13-15］。

1 預備知識

在這部分，將回顧一些定義并介紹一些證明中用到的一些引理。給定一個函數f∈L1loc(E)，則Hardy-Littlewood極大算子M定義為:

定義 1［12］

1)集合Ρ(Rn)表示由所有的可測函數q:E→［1，∞)組成，并且滿足

2)集合Β(Rn)表示由所有的可測函數q(x)∈Ρ(Rn)組成，并且滿足Hardy-Littlewood極大算子M在 Lq(·)(E)上是有界的。

定義 2［16］令 α∈R，0≤λ ＜ ∞，0 ＜p ＜ ∞，并且 q(x)∈Ρ(Rn)，則奇次的 Herz空間定義為

下面給出變指數的一些性質。Cruz-Uribe，SFO等在文獻［4］以及Nekvinda在文獻［10］中各自獨立地證明了下面的充分條件。

引理1［4］若E是一個開集，如果q(·)∈Ρ(E)滿足不等式:

其中C＞0是與x，y無關的常數，則有q(·)∈B(E)。

引理2［3］令q(x)∈Ρ(Rn)，則下面的條件互相等價:

① q(x)∈B(Rn);

② q'(·)∈B(Rn);

④ 對若干1＜q＜p-∈B(Rn);

引理 3［3］若 q(x)∈B(Rn)，則對任意的 f∈Lp(·)(Rn)，存在一個常數 C，使得

引理 4［12］若 q(x)∈B(Rn)，并且 b∈BMO(Rn)，則對任意的 f∈Lp(·)(Rn)，存在一個常數 C，使得

下面的引理描述了廣義的 H?lder’s inequality和Lq(·)(E)的對偶空間。詳細的證明見文獻［1］。

引理5［1］若q(·)∈B(E)，則下面的事實成立。

1)(廣義的 H?lder’s inequality)對所有的 f∈Lq(·)(E)和所有的 g∈Lq'(·)(E)，有

其中rp=

2)對所有的 f∈Lq(·)(E)，有

引理6［16］若q(x)∈B(Rn)，則存在一個正常數δ∈(0，1)和C＞0，對Rn中的所有的球B和所有的可測子集S?B，有

引理7［16］若q(x)∈B(Rn)，則存在一個正常數C＞0，使得對Rn中的所有的球B，有

引理 8［17］令 b∈BMO(Rn)，m∈N，i，j∈Z 并且 i＜ j。則有:

2 主要結論及其證明

令q(·)∈Ρ(Rn)，滿足引理1中的條件(3)和(4)。q'(·)也滿足同樣的條件。特別的，由引理2可知 q(·)，q'(·)∈B(Rn)。因此，運用引理 6，當 q(·)，q'(·)∈B(Rn)，設 0 ＜ δ1，δ2＜1，對 Rn中的所有的球B和所有的可測子集S?B，有

全文中的δ1和δ2的定義如上所述。

本文的主要結論如下:

定理 1 若 q(x)∈B(Rn)，0 ＜ p≤∞ ，-nδ1＜ α ＜ -nδ2，則T 在上是有界的。

定理 2 若 b∈BMO(Rn)q(x)∈B(Rn)，0 ＜ p≤∞，-nδ1＜ α ＜ -nδ2，則［b，T］在(Rn)和(Rn)上是有界的。

下面給出定理1的證明。因為非奇次Herz空間上的證明類似于奇次Herz空間上的證明，所以只給出奇次空間上的證明。設 f∈(Rn)，并記

則有

由引理3可知，算子T在Lp(·)(Rn)上是有界的，則

下面估計 E1。注意到當 x∈Ak，j≤k-2，y∈Aj時，有由于Ω是有界的，因此，由引理5有

若0 ＜p≤1，則有

下面估計E3。注意到當x∈Ak，j≥k+2，當y∈Aj時，有因此，由引理5，有

類似于E1的估計，有

若0 ＜p≤1，則有

這樣完成了對定理1的證明。

下面證明奇異積分交換子［b，T］在變指數Herz空間是有界的。類似定理1的證明，僅僅給出奇次情況下的證明。設，并記

則有

由引理4 可知，算子［b，T］在 Lp(·)(Rn)上是有界的，則

下面估計 U1。注意到當 x∈Ak，j≤k-2，y∈Aj時，有由于Ω是有界的，因此，由引理5，有

下面估計 U3。注意到當 x∈Ak，j≥k+2，y∈Aj時，有因此，由引理5，有

這樣完成了對定理2的證明。

［1］Kováˇcik O，Rákosn r'k J.On spaces LP(x)and Wj，P(x)［J］.Czechoslovaj Math，1991，41(116):592-618.

［2］Cruz-Uribe D，Diening L，Fiorenza A.A new proof of the boundedness of maximal operators on variable Lebesgue spaces［J］.Bollettino della Unione Matematica Italiana，2009，2(1):151-173.

［3］Cruz-Uribe D，Fiorenza A，Martell J，et al.The boundedness of classical operators on variable LPspaces［J］.Ann Acad Sci Fenn Math，2006，31:239-264.

［4］Cruz-Uribe D，Fiorenza A，Neugebauer C.The maximal function on variable LPspaces［J］.Ann Acad Sci Fenn Math ，2003，28:223-238.

［5］Diening L.Maximal functions on Musielak-Orlicz spaces and generalized Lebesgue spaces［J］.Bull Sci Math，2005，129:657-700.

［6］Diening L.Maximal functions on generalized Lebesgue spaces LP(·)［J］.Math Inequal Appl，2004，7:245-253.

［7］Diening L，Harjulehto P，H?st? P，et al.Maximal functions in variable exponent spaces:limiting cases of the exponent［J］.Ann Acad Sci Fenn Math，2009，34:503-522.

［8］Kopaliani T.Infimal convolution and Muckenhoupt AP(·)condition in variable LPspaces ［J］.Arch Math，2007，89(2):185-192.

［9］Lerner A.On some questions related to the maximal operator on variable LPspaces［J］.Trans Amer Math Soc，2010，362:4229-4242.

［10］Nekvinda A.Hardy-Littlewood maximal operator on LP(Rn)［J］.Math Inequal Appl，2004，7:255-265.

［11］Pick L，Ruˇziˇcka M.An example of a space LPon which the Hardy-Littlewood maximal operator is not bounded［J］.Expo Math，2001，19:369-371.

［12］Karlovich Yu，Lerner K.Commutators of singular integrals on generalized LPspaces with variable exponent［J］.Publ Mat，2005，49:111-125.

［13］Lu S，Yang D.The decomposition of the weighted Herz spaces and its application［J］.Sci China(A)，1995，38:147-158.

［14］Li X，Yang D.Boundedness of some sublinear operators on Herz spaces［J］.Illinois J Math，1996，40:484-501.

［15］Hernández E，Yang D.Interpolation of Herz spaces and applications［J］.Math Nachr，1999，205:69-87.

［16］Izuki M.Commutators of fractional integrals on Lebesgue and Herz spaces with variable exponent［J］.Rendicontidel Circolo Matematico di Palermo，2010，59:461-472.

［17］Izuki M.Fractional integrals on Herz-Morrey spaces with variavle exponent［J］.Hiroshima Math J，2010，40:343-355.