方小珍,孫愛文,束立生
(安徽師范大學數學與統計學院,安徽 蕪湖 241003)
設 L=??+V(x)是 Rn(n≥3)上(的 Sc)hr¨odinger微分算子,其中 V(x)是非負但不為零的位勢,且屬于反向 H¨older類 Bs.自 1995年文獻 [1]給出了具有非負位勢的 Schr¨odinger算子在經典Lebesgue空間上的有界性以來,與Schr¨odinger算子相關的研究取得了突破性進展.文獻 [2-3]得到了算子 Vβ2(??+V)?β1及其對偶算子的有界性估計.在文獻[4]中,作者研究了與L相關的Riesz變換及分數積分算子的端點估計.更多與L相關的研究成果見文獻[5-6].
奇異積分交換子是調和分析研究中的重要內容.令Tβ=(??+V)?βVβ是與L相關的算子且b∈BMOσ(ρ).在文獻[1]的研究基礎上,2016年文獻[7]利用極大估計先后得到了交換子[b,Tβ]在Lp空間和Herz空間上的有界性.文獻[8]研究了與L相關的奇異積分交換子的加權估計.基于以上研究,本文主要討論 Tβ及其交換子 [b,Tβ]在 Herz-Morrey空間上的有界性.
在這篇文章中,將球B?Rn的Lebesgue{測度記為|B|,C}和C′表示為未指定的正常數,在每個地方取值可能不同.?k∈Z,令Bk=x∈Rn:|x|≤2k,且 Ek=BkBk?1,記函數Ek的特征函數為χk.U~V表示存在常數C>0及C′>0,使得C′V≤U≤CV.
首先,介紹相關定義.
定義 1.1[1]設V(x)是Rn上的非負局部Ls可積函數,若存在常數C>0,使得下面的反向 H¨older不等式

對 Rs上所有球B 都成立,則稱V(x)屬于反向H¨older類Bs(s>1).
定義 1.2[1]設x∈Rn,V∈Bs(s>1),輔助函數ρ(x)定義如下:

定義1.3[7]設b∈,σ∈(0,∞),ρ(x)為定義 1.2中所定義的輔助函數,一個新的 BMOσ(ρ)空間定義為:

其中球

一般也將 ∥b∥BMOσ(ρ)簡記為 ∥b∥σ.
定義1.4[8]設則與 Schr¨odinger算子 L相關的算子定義為:Tβ=(??+V)?βVβ.且記 kβ(·,·)為算子 Tβ的核.
定義 1.5[9]若 α∈R,0

其中

引理2.1[1]設V∈Bs,s≥.則 V(y)dy為雙倍測度.即存在常數 C0>0,使得 ?r>0,x∈Rn有

引理 2.2[1]存在常數C>0,l0>0,使得?x,y∈Rn,有下面的:


引理2.3[7]設.?N ∈N,存在常數 CN>0,使得

(a)若j≤k?2,則

(b)若j≥k+2,則

引理2.5[10]設

其中常數C僅依賴于N,s,β,與其他主要參數無關.

其中常數C依賴于N,s,β,與其他主要參數無關.
引理 2.6[11]令σ>0,1

有

這里l0同引理2.2所定義.
引理 2.7[11]令σ>0,k∈N,且 1

則有

這里l0同引理2.2所定義.
引理2.8[12]設(C0為引理2.1中所定義),存在一個常數 CN0>0,使得 ?x∈Rn及 r>0,有


其中常數C僅依賴于ρ(0),N,l0,β,與其他主要參數無關.
定理2.1的證明 記

于是

對于I2,由引理2.5,Tβ在Lq上有界可得

估計I1.對 x∈Ek,y∈Ej,且j≤k?2,有 |x?y|~|x|.由(1.1)式,引理2.4,引理2.8及 H¨older不等式,有


最后估計I3.對x∈Ek,y∈Ej,j≥k+2,有|x?y|~|y|,則

對于J2,由引理2.5,[b,Tβ]在Lq上的有界,可得

下面估計J1.由于

則

由于 x∈Ek,y∈Ej,且 j≤k?2,有 |x?y|~|x|.根據 (1.1)式,引理 2.4,引理 2.7,引理 2.8及 H¨older不等式,有

對于J12,由引理2.4,引理2.6,引理2.8得

取N 足夠大,使得

則

最后估計J3.由于

則

由于x∈Ek,y∈Ej,且j≥k+2,則 |x?y|~|y|,故

因此取N 足夠大,使得

則有

綜上,定理2.2證畢.