孟曉燕, 趙 凱

(1. 青島黃海學(xué)院 數(shù)學(xué)教學(xué)部, 山東 青島 266427; 2. 青島大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 山東 青島 266071)

1 預(yù)備知識(shí)

設(shè)非負(fù)位勢V屬于反向H?lder類RHq(q>1), 即存在q0>1和常數(shù)C>0, 使得對任意n中的球B, 有

其中熱半群e-tL的核B滿足

(1)

式中C和c1均為常數(shù).

定義1[16]設(shè){ti}i∈是正的單調(diào)減趨于零的數(shù)列, 令ρ>2, 則與高階Schr?dinger型算子L生成的熱半群相關(guān)的變分算子定義為

這里上確界取遍所有正的單調(diào)減趨于零的數(shù)列{ti}i∈.

下面給出與高階Schr?dinger型算子相關(guān)的變分算子Vρ(e-tL)及Lipschitz函數(shù)b構(gòu)成的交換子定義, 其中Lipschitz函數(shù)是滿足如下條件的函數(shù):

此時(shí)稱f屬于Lipβ(n).

定義2設(shè)Vρ(e-tL)是與高階Schr?dinger型算子相關(guān)的變分算子,b∈Lipβ(n), 則變分算子Vρ(e-tL)和b構(gòu)成的交換子定義為

(2)

為方便, 下面給出輔助函數(shù)γ(x)的定義和性質(zhì)[17].定義

引理1[17]設(shè)V∈RHn/2(n), 則存在常數(shù)C和k0>1, 使得對所有的x,y∈n, 均有

(3)

特別地, 當(dāng)|x-y|

引理2[16]對任意N∈, 存在正常數(shù)C,c2和c3, 使得對所有的x,y∈n和0

對于整數(shù)k, 記Bk={x∈n: |x-x0|<2k},Ck=BkBk-1, 且χk=χCk.文獻(xiàn)[1-2]給出了齊型Herz空間及Herz型Hardy空間的概念和主要結(jié)果.

定義3[2]令-∞<α<∞, 0

其中

1) suppa?B(x0,r),r>0;

2) ‖a‖Lq(n)≤;

則稱a(x)為一中心(α,q)-原子.

(4)

這里下確界取遍f的所有分解.

定義5[3]設(shè)α∈, 0

其中

‖Iβ(f)‖Lq2(n)≤C‖f‖Lq1(n),f∈Lq1(n),

(5)

2 主要結(jié)果

先證明如下關(guān)于變分算子交換子[Vρ(e-tL),b]的Lq有界性.

證明: 對任意f∈Lq1(n), 由其定義及引理2, 有

由式(5), 可得

證畢.

下面給出本文的主要結(jié)果.

對于J2, 下面分兩種情形討論.

1) 當(dāng)0

2) 當(dāng)1

1) 當(dāng)|x-x0|≤γ(x0)時(shí), 由其定義和引理2知,

由H?lder不等式和原子的大小條件得

從而

當(dāng)1

2) 當(dāng)|x-x0|>γ(x0)時(shí), 由其定義和引理2, 并利用式(3)知,

同理可分為0

因此

證畢.

對于U2, 由式(6), 即變分算子交換子的Lq有界性, 有

再由

(9)

并注意到α>λ, 可得

從而有

于是有

證畢.