<p>We consider an overdetermined Steklov eigenvalue problem on a domain in a Riemannian manifold with nonnegative Ricci curvature. We prove that, given a compact connected domain <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2422_Article_IEq1.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> with nonnegative Gaussian curvature with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2422_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> boundary, if the first Steklov eigenfunction is a solution to the overdetermined problem, then the domain <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2422_Article_IEq1.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> is flat and the boundary <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2422_Article_IEq4.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> consists of geodesics or geodesic circles. This can be regarded as a generalization of the result by Payne-Philippin [<CitationRef CitationID="CR21">21</CitationRef>], where they assumed that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2422_Article_IEq1.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> is a simply-connected domain in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2422_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>. We also obtain a similar result for the same overdetermined problem on a higher-dimensional compact connected manifold with <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2422_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> boundary with nonnegative Ricci curvature.</p>

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

An Overdetermined Steklov Eigenvalue Problem on Riemannian Manifolds with Nonnegative Ricci Curvature

  • Eunjoo Lee,
  • Keomkyo Seo

摘要

We consider an overdetermined Steklov eigenvalue problem on a domain in a Riemannian manifold with nonnegative Ricci curvature. We prove that, given a compact connected domain \(\Omega \) Ω with nonnegative Gaussian curvature with \(C^2\) C 2 boundary, if the first Steklov eigenfunction is a solution to the overdetermined problem, then the domain \(\Omega \) Ω is flat and the boundary \(\partial \Omega \) Ω consists of geodesics or geodesic circles. This can be regarded as a generalization of the result by Payne-Philippin [21], where they assumed that \(\Omega \) Ω is a simply-connected domain in \(\mathbb {R}^2\) R 2 . We also obtain a similar result for the same overdetermined problem on a higher-dimensional compact connected manifold with \(C^2\) C 2 boundary with nonnegative Ricci curvature.