<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\((\mathbb {M},d,\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">M</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be a locally compact metric measure space, where <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> is Ahlfors <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(d_{H}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>d</mi> <mi>H</mi> </msub> </math></EquationSource> </InlineEquation>-regular, i.e., there exist <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_{1},c_{2},d_{H}\in (0,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>c</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>d</mi> <mi>H</mi> </msub> <mo>∈</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that <Equation ID="Equ29"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_Equ29.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="197" /> </MediaObject> <EquationSource Format="TEX">\(c_{1}r^{d_{H}}\le \mu (B(x,r))\le c_{2}r^{d_{H}}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>c</mi> <mn>1</mn> </msub> <msup> <mi>r</mi> <msub> <mi>d</mi> <mi>H</mi> </msub> </msup> <mo>≤</mo> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msub> <mi>c</mi> <mn>2</mn> </msub> <msup> <mi>r</mi> <msub> <mi>d</mi> <mi>H</mi> </msub> </msup> </mrow> </math></EquationSource> </Equation>for any <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(r\in [0,\infty ).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Assume that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^{L}_{t}(\cdot ,\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>K</mi> <mi>t</mi> <mi>L</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a heat kernel on <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">M</mi> </math></EquationSource> </InlineEquation> satisfying sub-Gaussian upper estimates and <i>L</i> is the generator of the semigroup associated with <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^{L}_{t}(\cdot ,\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>K</mi> <mi>t</mi> <mi>L</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we study the regularities of the kernel of the generalized Poisson operator <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq9.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(P^{L}_{t,\sigma }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>P</mi> <mrow> <mi>t</mi> <mo>,</mo> <mi>σ</mi> </mrow> <mi>L</mi> </msubsup> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \in (0,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, corresponding to the extension problem: By the <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-capacities related with <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq12.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(\{P^{L}_{t,\sigma }\}_{t&gt;0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">{</mo> <msubsup> <mi>P</mi> <mrow> <mi>t</mi> <mo>,</mo> <mi>σ</mi> </mrow> <mi>L</mi> </msubsup> <mo stretchy="false">}</mo> </mrow> <mrow> <mi>t</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>, we characterize the Carleson type embedding <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_1933_Article_IEq13.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="183" /> </InlineMediaObject> <EquationSource Format="TEX">\(P^{L}_{t,\sigma }:\ L^{p}(\mathbb {M})\rightarrow L^{q}(\mathbb {M}_{+},v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>P</mi> <mrow> <mi>t</mi> <mo>,</mo> <mi>σ</mi> </mrow> <mi>L</mi> </msubsup> <mo>:</mo> <mspace width="4pt" /> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">M</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <msup> <mi>L</mi> <mi>q</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">M</mi> <mo>+</mo> </msub> <mo>,</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. As an application, under the assumption that the heat kernel satisfies the weak Bakey–Émery non-negative curvature condition, we estimate the Hausdorff dimension of the blow-up set of the Eq. (1).</p>

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

Capacities and Blow-Up Set of Extension Problem Related to Fractional Operators on Metric Measure Spaces

  • Zhiyong Wang,
  • Jizheng Huang,
  • Yu Liu,
  • Pengtao Li

摘要

Let \((\mathbb {M},d,\mu )\) ( M , d , μ ) be a locally compact metric measure space, where \(\mu \) μ is Ahlfors \(d_{H}\) d H -regular, i.e., there exist \(c_{1},c_{2},d_{H}\in (0,\infty )\) c 1 , c 2 , d H ( 0 , ) such that \(c_{1}r^{d_{H}}\le \mu (B(x,r))\le c_{2}r^{d_{H}}\) c 1 r d H μ ( B ( x , r ) ) c 2 r d H for any \(r\in [0,\infty ).\) r [ 0 , ) . Assume that \(K^{L}_{t}(\cdot ,\cdot )\) K t L ( · , · ) is a heat kernel on \(\mathbb {M}\) M satisfying sub-Gaussian upper estimates and L is the generator of the semigroup associated with \(K^{L}_{t}(\cdot ,\cdot )\) K t L ( · , · ) . In this paper, we study the regularities of the kernel of the generalized Poisson operator \(P^{L}_{t,\sigma }\) P t , σ L , \(\sigma \in (0,1)\) σ ( 0 , 1 ) , corresponding to the extension problem: By the \(L^{p}\) L p -capacities related with \(\{P^{L}_{t,\sigma }\}_{t>0}\) { P t , σ L } t > 0 , we characterize the Carleson type embedding \(P^{L}_{t,\sigma }:\ L^{p}(\mathbb {M})\rightarrow L^{q}(\mathbb {M}_{+},v)\) P t , σ L : L p ( M ) L q ( M + , v ) . As an application, under the assumption that the heat kernel satisfies the weak Bakey–Émery non-negative curvature condition, we estimate the Hausdorff dimension of the blow-up set of the Eq. (1).