<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(({\mathcal {X}},d,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a doubling metric measure space in the sense of R. R. Coifman and G. Weiss, <i>L</i> be a one-to-one operator on <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^2({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of type <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> having a bounded <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>H</mi> <mi>∞</mi> </msub> </math></EquationSource> </InlineEquation> functional calculus and satisfying the <i>k</i>-Davies–Gaffney estimate with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\in {\mathbb {N}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>X</i> be a ball quasi-Banach function space on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation>. In this article, by using the Lusin area function associated with <i>L</i>, we introduce the weak Hardy type space <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(WH_{X,L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <msub> <mi>H</mi> <mrow> <mi>X</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> related to <i>X</i> on <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> and establish its molecular and atomic characterizations. Applying the molecular characterization of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(WH_{X,L}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <msub> <mi>H</mi> <mrow> <mi>X</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {X}}:={\mathbb {R}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">X</mi> <mo>:</mo> <mo>=</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, we further show that the Riesz transform <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nabla ^kL^{-\frac{1}{2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="normal">∇</mi> <mi>k</mi> </msup> <msup> <mi>L</mi> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> is bounded from <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(WH_{X,L}({\mathbb {R}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <msub> <mi>H</mi> <mrow> <mi>X</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to the weak Hardy space <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(WH_X({\mathbb {R}}^n),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <msub> <mi>H</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> when <i>L</i> is a homogeneous divergence form 2<i>k</i>-order elliptic operator <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>L</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> or a 2<i>k</i>-order Schrödinger type operator <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>L</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq16.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. At the endpoint case, we also prove that <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nabla ^kL^{-\frac{1}{2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="normal">∇</mi> <mi>k</mi> </msup> <msup> <mi>L</mi> <mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> is bounded from the Hardy space <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq18.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(H_{X,L}({\mathbb {R}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>H</mi> <mrow> <mi>X</mi> <mo>,</mo> <mi>L</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq19.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(WH_X({\mathbb {R}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <msub> <mi>H</mi> <mi>X</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Moreover, the Riesz transform characterization of <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2145_Article_IEq20.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(WH_{X,L_1}({\mathbb {R}}^n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <msub> <mi>H</mi> <mrow> <mi>X</mi> <mo>,</mo> <msub> <mi>L</mi> <mn>1</mn> </msub> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is obtained. These results have a wide range of generality and are applied to specific function spaces including weak (weighted) Hardy spaces, weak Orlicz–Hardy spaces, and weak variable Hardy spaces.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Weak Hardy Spaces Associated with Operators and Ball Quasi-Banach Function Spaces on Doubling Metric Measure Spaces

  • Xiaosheng Lin,
  • Dachun Yang,
  • Sibei Yang,
  • Wen Yuan

摘要

Let \(({\mathcal {X}},d,\mu )\) ( X , d , μ ) be a doubling metric measure space in the sense of R. R. Coifman and G. Weiss, L be a one-to-one operator on \(L^2({\mathcal {X}})\) L 2 ( X ) of type \(\omega \) ω having a bounded \(H_\infty \) H functional calculus and satisfying the k-Davies–Gaffney estimate with \(k\in {\mathbb {N}},\) k N , and X be a ball quasi-Banach function space on \({\mathcal {X}}\) X . In this article, by using the Lusin area function associated with L, we introduce the weak Hardy type space \(WH_{X,L}\) W H X , L related to X on \({\mathcal {X}}\) X and establish its molecular and atomic characterizations. Applying the molecular characterization of \(WH_{X,L}\) W H X , L when \({\mathcal {X}}:={\mathbb {R}}^n\) X : = R n , we further show that the Riesz transform \(\nabla ^kL^{-\frac{1}{2}}\) k L - 1 2 is bounded from \(WH_{X,L}({\mathbb {R}}^n)\) W H X , L ( R n ) to the weak Hardy space \(WH_X({\mathbb {R}}^n),\) W H X ( R n ) , when L is a homogeneous divergence form 2k-order elliptic operator \(L_1\) L 1 or a 2k-order Schrödinger type operator \(L_2\) L 2 on \({\mathbb {R}}^n\) R n . At the endpoint case, we also prove that \(\nabla ^kL^{-\frac{1}{2}}\) k L - 1 2 is bounded from the Hardy space \(H_{X,L}({\mathbb {R}}^n)\) H X , L ( R n ) to \(WH_X({\mathbb {R}}^n)\) W H X ( R n ) . Moreover, the Riesz transform characterization of \(WH_{X,L_1}({\mathbb {R}}^n)\) W H X , L 1 ( R n ) is obtained. These results have a wide range of generality and are applied to specific function spaces including weak (weighted) Hardy spaces, weak Orlicz–Hardy spaces, and weak variable Hardy spaces.