鐘海萍, 周偉松, 張京友, 王興武
(1. 豫章師范學(xué)院 自然科學(xué)系, 江西 南昌 330103; 2. 重慶郵電大學(xué) 系統(tǒng)理論與應(yīng)用研究中心, 重慶 400065; 3. 重慶三峽學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 重慶 404000)
近年來,隨著偏微分方程、算子理論、多復(fù)變函數(shù)理論、位勢理論和幾何分析等學(xué)科的不斷發(fā)展,許多數(shù)學(xué)學(xué)者開始關(guān)注非光滑區(qū)域上的奇異積分或者非光滑核上的奇異積分理論,二階復(fù)函數(shù)橢圓型散度算子L有關(guān)的Riesz變換是其中一個(gè)典型的例子.
定義一個(gè)二階散度型橢圓算子Lf=-div(Af),A=A(x)是指一個(gè)定義在Rn上的復(fù)的、L系數(shù)的n×n矩陣,且滿足一致性橢圓條件:存在0<λ≤γ<,使得
其中ξ、ζ∈Cn.
定義Littlewood-Paley-Stein型函數(shù)Gf(f)為
由此利用算子的譜理論,定義算子L的廣義Riesz變換為
RL=
(1)
當(dāng)L=-Δ,即Rn上的Laplacian算子,以上廣義Riesz變換是通常意義的Riesz變換.
設(shè)Kt(x,y)是t1/2e-tL的核,相應(yīng)的與CBMO函數(shù)b(x)生成的高階交換子
定義
(2)
設(shè)pt(x,y)是解析半群e-tL的熱核,若滿足A是實(shí)矩陣,或A是n≤2的復(fù)矩陣,或者當(dāng)n≥3時(shí)核是H?lder連續(xù)的[1],那么pt(x,y)具有Gaussian上界,即
(3)
由此,本文給出熱核的2個(gè)假定[2-3].
(a) 設(shè)全純半群為e-zL,|arg(z)|<π/2-θ核為az(x,y),對所有的v>θ,核az(x,y)滿足Poisson上界.|arg(z)| |arg(z)|<π/2-v, (b) 算子L在L2(Rn)上滿足有界H全純演算.關(guān)于H全純演算相關(guān)定義定理參見文獻(xiàn)[1,4]. 定義1.1[9]設(shè)α∈R,0 其中 當(dāng)p=時(shí)取通常意義的極限形式. 定義1.2[8]設(shè)1≤q<,稱f∈CBMOq(Rn),如果有 ‖f‖CBMOq= 其中B(0,r)={x∈Rn:|x| 引理1.1[1]設(shè)n≥2,L滿足(1)和(2)式,設(shè)Kt(x,y)是t1/2e-tL的核,則存在常數(shù)c>0使得 引理1.2[3]設(shè)L滿足假定(a)和(b),那么是弱(1,1)型并且在Lq(Rn)上有界,其中1 引理1.3[8]設(shè)f∈CBMOq(Rn),1≤q<,r1,r2>0,t那么 1 證明只考慮0 則有 E1+E2+E2. (4) 對于E2,根據(jù)Minkowski和H?lder不等式,因此得到 mBk(b))|i‖Lq/i‖χk|(b(y)- mBk(b))|m-i‖Lq/(m-i)‖fj‖Lq1≤ (5) 根據(jù)引理1.2有 (6) 對于E1,當(dāng)x∈Ak,y∈Aj,注意到j(luò)≤k-2,2k-2≤|x-y|≤2k+1,根據(jù)Minkowski和H?lder不等式 E11+E12. (7) 對于E11,由引理1.3得 (8) 令 因此得到 (9) 再應(yīng)用引理1.1,有 (10) 因此 ‖fj‖Lq1(Rn)2-kα22jα1. (11) 對于E12,由引理1.3得 |(b(x)-mBj(b))|i× (12) 令 類似于(10)式的估計(jì)得 (13) 因此得 ‖fj‖Lq1(Rn)2-kα22jα1. (14) 結(jié)合E11和E12的估計(jì),得 令 (15) (16) 對于E3,注意到k≤j-2,當(dāng)x∈Ak,y∈Aj,有2j-2≤|x-y|≤2j+1.類似E1的估計(jì)過程,得到 (17) (18) 定理2.1的證明完畢. 設(shè)E,F為Rn上的閉子集,dist(E,F)表示集合E與F的歐氏距離,f是n-tupple函數(shù).關(guān)于L2off-diagonal估計(jì)的引理如下. 引理3.1[5]設(shè)E和F是Rn上的閉子集,那么對于所有的t>0,有 ‖f‖Lp(E),suppf?E; ‖f‖Lp(E),suppf?E; ‖f‖Lp(E), suppf?E; ‖f‖Lp(E),suppf?E, 定理3.1設(shè)RL如(2)式所定義, λ≥0, 1 α2滿足 則有 Q1+Q2+Q3. (19) 對于Q2,根據(jù)引理3.2以及H?lder不等式,類似E2的估計(jì)得到 (20) 對于Q1,注意到 x∈Ak, j≤k-2, y∈Aj, 2k-2≤|x-y|≤2k+1, 由Minkowski和H?lder不等式,得 ‖L-1/2(fj)χk‖Lq2(Rn)≤ (21) 根據(jù)引理3.1,得 ‖L-1/2(fj)χk‖Lq2(Rn)≤c2(kn/q2-kn/2)× (22) (23) 最后估計(jì)Q3,注意到當(dāng)x∈Ak,y∈Aj,k≤j-2,有 2j-2≤|x-y|≤2j+1, 由引理1.3類似于Q1,得 ‖L-1/2(fj)χk‖Lq2(Rn)≤c2(k-j)(n/q1-n/2+α1)× 2-kα22jα1‖fj‖Lq1(Rn). 致謝重慶郵電大學(xué)博士啟動(dòng)基金(A2016-80)和重慶郵電大學(xué)大學(xué)生科研訓(xùn)練計(jì)劃項(xiàng)目(A2017-71)對本文給予了資助,謹(jǐn)致謝意. [1] AUSCHER P, TCHAMITCHIAN P. Square Root Problem for Divergence Operators and Related Topics[M]. Paris:Societe Mathematique de France,1998. [2] HOFMANN S, MARTELL M J.Lpbounds for Riesz transforms and square roots associated to second order elliptic operator[J]. Pub Math,2003,47:497-515. [3] DUONG X T, MCINTOSH A. TheLpbonudedness of Riesz transform associated with divergence form operators operators[J]. Center for Math and Appl Australian National Univ,1999,37:15-25. [4] MCINTOSH A. Operators which haveHcalculus, Miniconference on operators theory and partial differential equations[J]. Proc Centre Math Anal Austral Nat Univ,1986,14:210-231. [5] AUSCHER P. On Necessary and Sufficient Conditions forLpEstimates of Riesz Transform Associated to Elliptic Operators onRnand Related Estimates[M]. Rhode Island:Mem Am Math Soc,2007. [6] FAN D S, LU S Z, YANG D C. Boundedness of operators in Morrey spaces on homogeneous its applications[J]. Acta Math Sinica,1999,14(14):625-634. [7] FAN D S, LU S Z, YANG D C. Regularity in Morrey spaces of strong solutions to nondivergence elliptic equations with VMO coefficients[J]. Georgian Math J,1998,5(5):425-440. [8] LU S Z, WU Q. CBMO estimates for commutators and multilinear singular integrals[J]. Math Nachr,2004,276(1):75-88. [9] LU S Z, XU L F. Boundedness of rough singular integral operators on homogeneous Morrey-Herz spaces[J]. Hokkaido Math J,2005,34(2):299-314. [10] LU S Z, TANG L, YANG D C. Boundedness of commutators on homogeneous Herz spaces[J]. Sci China,1998,A41(10):1023-1033. [11] 楊明華,許明,張學(xué)銘. 廣義分?jǐn)?shù)次積分算子在齊次Morrey-Herz空間上的有界性[J].暨南大學(xué)學(xué)報(bào)(自然科學(xué)與醫(yī)學(xué)版),2012,33(3):239-243. [12] LU S Z, YANG D C, ZHOU Z S. Sublinear operators with rough kernel on generalized Morrey spaces[J]. Hokkaido Math J,1998,27(1):219-232. [13] 陶雙平,楊沿奇. 變量核奇異積分與分?jǐn)?shù)次微分的加權(quán)Morrey-Herz空間有界性[J]. 吉林大學(xué)學(xué)報(bào)(理學(xué)版),2016,54(4):667-684. [14] 李睿,陶雙平. 多線性奇異積分算子在加權(quán)Morrey-Herz空間上的有界性[J]. 西南大學(xué)學(xué)報(bào)(自然科學(xué)版),2016,38(10):62-67. [15] WU J L. Boundedness of multilinear singular integral operators on the homogeneous Morrey-Herz spaces[J]. Ukrainian Mathematical J,2009,61(10):1684-1693.1 預(yù)備知識
2 主要結(jié)果及其證明
3 L2off-diagonal估計(jì)