<p>In this paper we investigate the <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq4.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> regularity, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq5.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> Neumann and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1,p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> problems for generalized Schrödinger operator <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="110" /> </InlineMediaObject> <EquationSource Format="TEX">\(-\text {div}(A\nabla )+ V \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mtext>div</mtext> <mo stretchy="false">(</mo> <mi>A</mi> <mi mathvariant="normal">∇</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation> in the region above a Lipschitz graph under the assumption that <i>A</i> is elliptic, symmetric and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq8.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_d\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mi>d</mi> </msub> </math></EquationSource> </InlineEquation>-independent. Specifically, we prove that the <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq9.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> regularity problem is uniquely solvable for <Equation ID="Equ91"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_Equ91.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}1&lt;p&lt;2+\varepsilon .\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mn>2</mn> <mo>+</mo> <mi>ε</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>Moreover, we also establish the <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1,p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> estimate for Neumann problem for <Equation ID="Equ92"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_Equ92.gif" Format="GIF" Height="36" Rendition="HTML" Resolution="72" Type="Linedraw" Width="135" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}\frac{3}{2}-\varepsilon&lt;p&lt;3+\varepsilon .\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> <mo>-</mo> <mi>ε</mi> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mn>3</mn> <mo>+</mo> <mi>ε</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>As a by-product, we also obtain that the <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_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> Neumann problem is uniquely solvable for <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;p&lt;2+\varepsilon .\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mn>2</mn> <mo>+</mo> <mi>ε</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> The only previously known estimates of this type pertain to the classical Schrödinger equation <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq13.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="112" /> </InlineMediaObject> <EquationSource Format="TEX">\(-\Delta u+ Vu=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <mi>V</mi> <mi>u</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq15.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{\partial u}{\partial n}=g\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>∂</mi> <mi>n</mi> </mrow> </mfrac> <mo>=</mo> <mi>g</mi> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq16.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation> which was obtained by Shen (Indiana Univ Math J 43(1):143–176, 1994) for ranges <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3715_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;p\le 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>≤</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. All the ranges of <i>p</i> are sharp.</p>

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

On the Schrödinger equations with \(B_\infty \) potentials in the region above a Lipschitz graph

  • Jun Geng,
  • Ziyi Xu

摘要

In this paper we investigate the \(L^p\) L p regularity, \(L^p\) L p Neumann and \(W^{1,p}\) W 1 , p problems for generalized Schrödinger operator \(-\text {div}(A\nabla )+ V \) - div ( A ) + V in the region above a Lipschitz graph under the assumption that A is elliptic, symmetric and \(x_d\) x d -independent. Specifically, we prove that the \(L^p\) L p regularity problem is uniquely solvable for \(\begin{aligned}1<p<2+\varepsilon .\end{aligned}\) 1 < p < 2 + ε . Moreover, we also establish the \(W^{1,p}\) W 1 , p estimate for Neumann problem for \(\begin{aligned}\frac{3}{2}-\varepsilon<p<3+\varepsilon .\end{aligned}\) 3 2 - ε < p < 3 + ε . As a by-product, we also obtain that the \(L^p\) L p Neumann problem is uniquely solvable for \(1<p<2+\varepsilon .\) 1 < p < 2 + ε . The only previously known estimates of this type pertain to the classical Schrödinger equation \(-\Delta u+ Vu=0\) - Δ u + V u = 0 in \(\Omega \) Ω and \(\frac{\partial u}{\partial n}=g\) u n = g on \(\partial \Omega \) Ω which was obtained by Shen (Indiana Univ Math J 43(1):143–176, 1994) for ranges \(1<p\le 2\) 1 < p 2 . All the ranges of p are sharp.