對(duì)稱馬氏過程對(duì)應(yīng)梯度型算子的弱(1,1)有界性

周博文，張龍騰

(1.福建師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院，福建 福州 350007； 2.福建師范大學(xué) 協(xié)和學(xué)院，福建 福州 350007)

馬氏半群的分析性質(zhì)是隨機(jī)過程與隨機(jī)分析的主要研究?jī)?nèi)容之一，詳見著作[1,2].這其中，對(duì)稱馬氏過程生成元的Riesz變換是一個(gè)非?；钴S的研究課題.例如，在假定空間滿足體積倍增條件下，文獻(xiàn)[3,4,5]討論了具有高斯型熱核估計(jì)的對(duì)稱擴(kuò)散算子的Riesz變換；文獻(xiàn)[6]在給定次高斯型熱核估計(jì)情形下，建立了黎曼流形和圖上Riesz變換的Lp有界性.上述四篇文獻(xiàn)的證明方法強(qiáng)烈依賴于梯度算子的弱(1,1)有界性。然而，軌道不連續(xù)馬氏過程對(duì)應(yīng)非局部算子的Riesz變換至今仍未系統(tǒng)研究，部分結(jié)果可參見文獻(xiàn)[7]中關(guān)于分?jǐn)?shù)Laplace算子的研究。本文在狄氏型理論框架下，基于現(xiàn)有熱核估計(jì)相關(guān)結(jié)果，建立了一般度量測(cè)度空間中對(duì)稱馬氏過程對(duì)應(yīng)梯度型算子的弱(1,1)有界性.

1 預(yù)備知識(shí)與主要結(jié)論

本文在度量測(cè)度空間(M,ρ,μ)上討論問題，其中μ是M上非負(fù)Radon測(cè)度且支撐為M.記B(x,r)={z∈M:ρ(x,z)0，使得對(duì)任意x∈M，0

(1)

其中V(x,r)=μ(B(x,r)).

特別地，由(1)可知，對(duì)任意x,y∈M，r>0，有

(2)

記R+=[0,+∞)，令φ為R+上嚴(yán)格單調(diào)增函數(shù)，滿足φ(0)=0，φ(1)=1及如下scaling性質(zhì)：

(3)

其中C1,C2>0為常數(shù).

假設(shè)存在R+上有界遞減正函數(shù)S，滿足

(4)

其中d,α1,C1由(1)與(3)給出.

設(shè)(Pt)t≥0為L(zhǎng)2(M,μ)上的對(duì)稱馬氏半群，其密度函數(shù)(亦稱熱核)為pt(x,y)，即

(5)

其中Lp(M,μ)表示M上Lp-空間，其范數(shù)定義為

(6)

只需

〈f,(-L)f〉L2(M,μ),

定理1假設(shè)條件(A)，(B)成立，其中

(A)熱核pt(x,y)滿足如下上界條件：

(7)

(B)(i)T具有次可加性且L2有界；

(ii)存在(0,∞)上有界正函數(shù)F，使得

(8)

且

(9)

則算子T是弱(1,1)有界的，即對(duì)任意λ>0，f∈L1(M,μ)∩L2(M,μ)，有

(10)

注1顯然，若T滿足弱(1,1)有界，則T是Lp有界的，這里p∈(1,2).

2 定理證明

在給出定理1的證明之前，為便于論述先給出兩個(gè)關(guān)鍵引理.

引理1對(duì)任意f∈L2(M,μ)，t>0，

(11)

其中：

進(jìn)一步，若滿足假設(shè)條件(B)- (ii)，則

(12)

證明根據(jù)定義(6)，對(duì)任意f∈L2(M,μ)，

即有

即式(11)得證.

進(jìn)一步，根據(jù)(8)可得

一方面，根據(jù)(9)可得

另一方面，利用F的有界性可知，

從而式(12)得證.

引理2存在常數(shù)c>0，使對(duì)任意t>0，x∈M，非負(fù)可測(cè)函數(shù)φ，有

其中:M為非中心Littlewood-Paley極大算子；

(13)

一方面，由(7)，S的有界性和體積倍增條件，對(duì)任意y∈B，有

(14)

另一方面，根據(jù)(7)與函數(shù)φ和S的單調(diào)性可知，對(duì)任意y∈B，j≥2，z∈Cj(B)，

這樣，

(15)

其中，最后一個(gè)不等號(hào)利用 (2)和(4).

結(jié)合(13)及估計(jì)(14)、(15)，有

由y與z的任意性可得所要的結(jié)論.

下面給出定理1的證明.

證明要證T滿足弱(1,1)有界性，即需證明對(duì)任意λ>0，f∈L1(M,μ)∩L2(M,μ)，有

根據(jù)著名的Calderón-Zygmund分解定理可知f=g+b[11].由T的次可加性可知，對(duì)任意λ>0，

μ({x:|Tf(x)|>λ})≤μ({x:|Tg(x)|>λ/2})+μ({x:|Tb(x)|>λ/2}).

根據(jù)切比雪夫不等式、T的有界性及文獻(xiàn)[11]可得

下面只要證明，對(duì)任意λ>0，

(16)

‖bi‖1≤2n+1λμ(Bi)

和

記ti=φ(ri)，則bi=etiLbi+(I-etiL)bi.由T的次可加性可知

(17)

注意到

(18)

由體積倍增條件及文獻(xiàn)[11]定理可知

(19)

利用切比雪夫不等式及T的次可加性可得

為簡(jiǎn)單起見，省略下標(biāo)i，記kt(x,y)為T(I-etiL)的熱核.由supp(b)?B可知

再由引理1可得

從而

(20)

結(jié)合(18)、(19)和(20)可知

(21)

下面估計(jì)式(17)右邊第二項(xiàng).由切比雪夫不等式，對(duì)任意λ>0，有

(22)

根據(jù)對(duì)偶性和supp(bi)?Bi，有

(23)

進(jìn)一步根據(jù)引理2及文獻(xiàn)[11]定理可得

又利用Cauchy-Schwarz不等式，得

其中第一個(gè)不等式是根據(jù)上文構(gòu)造球序列{Bi}i≥1所述M中每個(gè)點(diǎn)至多包含在2n+1個(gè)球Bi中這一事實(shí).

(24)

結(jié)合(22)、(23)和(24)估計(jì)，得

(25)

最后，根據(jù)(17)、(21)及(25)，定理得證.

注2定理1的證明主要參考文獻(xiàn)[10]命題3的證明，其思路源于文獻(xiàn)[3,6]的討論.文獻(xiàn)[3,6]分別建立具有高斯、次高斯熱核估計(jì)對(duì)稱擴(kuò)散算子對(duì)應(yīng)Riesz變換的有界性.文獻(xiàn)[10]命題3表明高斯或次高斯估計(jì)對(duì)建立Riesz變換的有界性是非必要的，即存在緊流形，在不具有高斯或次高斯估計(jì)條件下，其對(duì)應(yīng)的Riesz變換是Lp有界的，其中1≤p<2.