<p>We consider the Dirichlet-to-Neumann operator <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation> associated with a general elliptic operator <Equation ID="Equ24"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_Equ24.gif" Format="GIF" Height="55" Rendition="HTML" Resolution="72" Type="Linedraw" Width="468" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {\mathcal {A}}u = - \sum _{k,l=1}^d \partial _k (c_{kl}\, \partial _l u) + \sum _{k=1}^d \Bigg ( c_k\, \partial _k u - \partial _k (b_k\, u) \Bigg ) +c_0\, u \in {\mathcal {D}}'(\Omega ) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="script">A</mi> <mi>u</mi> <mo>=</mo> <mo>-</mo> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>,</mo> <mi>l</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>d</mi> </munderover> <msub> <mi>∂</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>c</mi> <mrow> <mi mathvariant="italic">kl</mi> </mrow> </msub> <mspace width="0.166667em" /> <msub> <mi>∂</mi> <mi>l</mi> </msub> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <munderover> <mo>∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>d</mi> </munderover> <mrow> <mo maxsize="2.470em" minsize="2.470em" stretchy="true">(</mo> </mrow> <msub> <mi>c</mi> <mi>k</mi> </msub> <mspace width="0.166667em" /> <msub> <mi>∂</mi> <mi>k</mi> </msub> <mi>u</mi> <mo>-</mo> <msub> <mi>∂</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>b</mi> <mi>k</mi> </msub> <mspace width="0.166667em" /> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo maxsize="2.470em" minsize="2.470em" stretchy="true">)</mo> </mrow> <mo>+</mo> <msub> <mi>c</mi> <mn>0</mn> </msub> <mspace width="0.166667em" /> <mi>u</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="script">D</mi> </mrow> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>with possibly complex coefficients. We study three problems: (1) Boundedness on <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mi>ν</mi> </msup> </math></EquationSource> </InlineEquation> and on <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>L</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation> of the commutator <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\([{\mathcal {N}}, M_g]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi mathvariant="script">N</mi> <mo>,</mo> <msub> <mi>M</mi> <mi>g</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(M_g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> denotes the multiplication operator by a smooth function <i>g</i>. (2) Hölder and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(L_p\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>L</mi> <mi>p</mi> </msub> </math></EquationSource> </InlineEquation>-bounds for the harmonic lifting associated with&#xa0;<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>. (3) Poisson bounds for the heat kernel of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation>. We solve these problems in the case where the coefficients are Hölder continuous and the underlying domain is bounded and of class <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^{1+\kappa }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mrow> <mn>1</mn> <mo>+</mo> <mi>κ</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2899_Article_IEq10.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>κ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. For the Poisson bounds we assume in addition that the coefficients are real-valued. We also prove gradient estimates for the heat kernel and the Green function <i>G</i> of the elliptic operator with Dirichlet boundary conditions.</p>

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

Commutator estimates and Poisson bounds for Dirichlet-to-Neumann operators with variable coefficients

  • A. F. M. ter Elst,
  • E. M. Ouhabaz

摘要

We consider the Dirichlet-to-Neumann operator \({\mathcal {N}}\) N associated with a general elliptic operator \(\begin{aligned} {\mathcal {A}}u = - \sum _{k,l=1}^d \partial _k (c_{kl}\, \partial _l u) + \sum _{k=1}^d \Bigg ( c_k\, \partial _k u - \partial _k (b_k\, u) \Bigg ) +c_0\, u \in {\mathcal {D}}'(\Omega ) \end{aligned}\) A u = - k , l = 1 d k ( c kl l u ) + k = 1 d ( c k k u - k ( b k u ) ) + c 0 u D ( Ω ) with possibly complex coefficients. We study three problems: (1) Boundedness on \(C^\nu \) C ν and on \(L_p\) L p of the commutator \([{\mathcal {N}}, M_g]\) [ N , M g ] , where \(M_g\) M g denotes the multiplication operator by a smooth function g. (2) Hölder and \(L_p\) L p -bounds for the harmonic lifting associated with  \({\mathcal {A}}\) A . (3) Poisson bounds for the heat kernel of \({\mathcal {N}}\) N . We solve these problems in the case where the coefficients are Hölder continuous and the underlying domain is bounded and of class \(C^{1+\kappa }\) C 1 + κ for some \(\kappa > 0\) κ > 0 . For the Poisson bounds we assume in addition that the coefficients are real-valued. We also prove gradient estimates for the heat kernel and the Green function G of the elliptic operator with Dirichlet boundary conditions.