<p>Let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {L}}=-\Delta _{{\mathbb {G}}}+\Upsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">L</mi> <mo>=</mo> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi mathvariant="double-struck">G</mi> </msub> <mo>+</mo> <mi mathvariant="normal">Υ</mi> </mrow> </math></EquationSource> </InlineEquation> be a Schrödinger operator on the stratified Lie group <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {G}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">G</mi> </math></EquationSource> </InlineEquation> with the nonnegative potential <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Upsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Υ</mi> </math></EquationSource> </InlineEquation> belonging to the reverse Hölder class <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_{Q/2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mrow> <mi>Q</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation>&#xa0;, where <i>Q</i> is the homogeneous dimension of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {G}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">G</mi> </math></EquationSource> </InlineEquation>. In this paper, we initiate the investigation of the Dirichlet problem: <Equation ID="Equ13"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_Equ13.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="400" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {{\mathbb {L}}}u(g,s):={\mathcal {L}} u(g,s)-\partial _s^2u(g,s)=0\,,\quad \forall (g,s)\in {\mathbb {G}}\times {\mathbb {R}}^+ \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="double-struck">L</mi> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>g</mi> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mi mathvariant="script">L</mi> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>g</mi> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <msubsup> <mi>∂</mi> <mi>s</mi> <mn>2</mn> </msubsup> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>g</mi> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>0</mn> <mspace width="0.166667em" /> <mo>,</mo> <mspace width="1em" /> <mo>∀</mo> <mrow> <mo stretchy="false">(</mo> <mi>g</mi> <mo>,</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mi mathvariant="double-struck">G</mi> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="116" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^p\ (1\le p&lt;\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mspace width="4pt" /> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>≤</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> data on the stratified Lie group <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {G}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">G</mi> </math></EquationSource> </InlineEquation>, which is new even in the case of the upper-half <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\((n+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-dimensional Euclidean space <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq12.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="34" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {R}}^{n+1}_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msubsup> </math></EquationSource> </InlineEquation> since the previous known results in this case require that the potential function <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Upsilon \in B_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Υ</mi> <mo>∈</mo> <msub> <mi>B</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>&#xa0;. Moreover, we obtain the <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(BMO_{{\mathcal {L}}}({\mathbb {G}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mi>M</mi> <msub> <mi>O</mi> <mi mathvariant="script">L</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-boundedness of two nontangential maximal functions related to heat and Poisson kernels, respectively. Finally, the end-point estimates of the fractional integral <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq15.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal {L}}}^{-\alpha /2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mrow> <mo>-</mo> <mi>α</mi> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> </math></EquationSource> </InlineEquation> and its generalization <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq16.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Upsilon ^\alpha {\mathcal {L}}^{-\beta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="normal">Υ</mi> <mi>α</mi> </msup> <msup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mrow> <mo>-</mo> <mi>β</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> from the Hardy type space <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq17.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^1_{{\mathcal {L}}}({\mathbb {G}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mi mathvariant="script">L</mi> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq18.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{Q/(Q-\alpha )}({\mathbb {G}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mrow> <mi>Q</mi> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>Q</mi> <mo>-</mo> <mi>α</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2210_Article_IEq19.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{Q/(Q-2(\beta -\alpha ))}({\mathbb {G}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mrow> <mi>Q</mi> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>Q</mi> <mo>-</mo> <mn>2</mn> <mo stretchy="false">(</mo> <mi>β</mi> <mo>-</mo> <mi>α</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, respectively, will be obtained, which extend the corresponding work of Krantz [Math. Ann.&#xa0;, 1979] where the classical Hardy space related to the sub-Laplacian on Heisenberg group was investigated&#xa0;.</p>

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

Dirichlet Problems and \(L^p\)-Regularities for Schrödinger Operators on Stratified Lie Groups

  • Qingze Lin

摘要

Let \({\mathcal {L}}=-\Delta _{{\mathbb {G}}}+\Upsilon \) L = - Δ G + Υ be a Schrödinger operator on the stratified Lie group \({\mathbb {G}}\) G with the nonnegative potential \(\Upsilon \) Υ belonging to the reverse Hölder class \(B_{Q/2}\) B Q / 2  , where Q is the homogeneous dimension of \({\mathbb {G}}\) G . In this paper, we initiate the investigation of the Dirichlet problem: \(\begin{aligned} {{\mathbb {L}}}u(g,s):={\mathcal {L}} u(g,s)-\partial _s^2u(g,s)=0\,,\quad \forall (g,s)\in {\mathbb {G}}\times {\mathbb {R}}^+ \end{aligned}\) L u ( g , s ) : = L u ( g , s ) - s 2 u ( g , s ) = 0 , ( g , s ) G × R + with \(L^p\ (1\le p<\infty )\) L p ( 1 p < ) data on the stratified Lie group \({\mathbb {G}}\) G , which is new even in the case of the upper-half \((n+1)\) ( n + 1 ) -dimensional Euclidean space \({\mathbb {R}}^{n+1}_+\) R + n + 1 since the previous known results in this case require that the potential function \(\Upsilon \in B_{n}\) Υ B n  . Moreover, we obtain the \(BMO_{{\mathcal {L}}}({\mathbb {G}})\) B M O L ( G ) -boundedness of two nontangential maximal functions related to heat and Poisson kernels, respectively. Finally, the end-point estimates of the fractional integral \({{\mathcal {L}}}^{-\alpha /2}\) L - α / 2 and its generalization \(\Upsilon ^\alpha {\mathcal {L}}^{-\beta }\) Υ α L - β from the Hardy type space \(H^1_{{\mathcal {L}}}({\mathbb {G}})\) H L 1 ( G ) into \(L^{Q/(Q-\alpha )}({\mathbb {G}})\) L Q / ( Q - α ) ( G ) and \(L^{Q/(Q-2(\beta -\alpha ))}({\mathbb {G}})\) L Q / ( Q - 2 ( β - α ) ) ( G ) , respectively, will be obtained, which extend the corresponding work of Krantz [Math. Ann. , 1979] where the classical Hardy space related to the sub-Laplacian on Heisenberg group was investigated .