<p>We consider free boundary minimal submanifolds in geodesic balls in the hyperbolic space <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {H}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> and in the round upper hemisphere <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {S}}^n_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mo>+</mo> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation>. Recently, Lima and Menezes have found a connection between free boundary minimal surfaces in geodesic balls in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {S}}^n_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mo>+</mo> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> and maximal metrics for a functional, defined on the set of Riemannian metrics on a given compact surface with boundary. This connection is similar to the connection between free boundary minimal submanifolds in Euclidean balls and the critical metrics of the functional “the <i>k</i>-th normalized Steklov eigenvalue”, introduced by Fraser and Schoen. We define two natural functionals on the set of Riemannian metrics on a compact surface with boundary. One of these functionals is the high order generalization of the functional, introduced by Lima and Menezes. We prove that the critical metrics for these functionals arise as metrics induced by free boundary minimal immersions in geodesic balls in <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {H}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> and in <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {S}}^n_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mo>+</mo> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation>, respectively. We also prove a converse statement. Besides that, we discuss the (Morse) index of free boundary minimal submanifolds in geodesic balls in <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {H}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {S}}^n_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mo>+</mo> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation>. We show that the index of the critical spherical catenoid in a geodesic ball in <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq13.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb S^3_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">S</mi> <mo>+</mo> <mn>3</mn> </msubsup> </math></EquationSource> </InlineEquation> is 4 and the index of the critical spherical catenoid in a geodesic ball in <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {H}}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> is at least 4. We prove that the index of a geodesic <i>k</i>-ball in a geodesic <i>n</i>-ball in <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq15.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {H}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq16.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {S}}^n_+\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mo>+</mo> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> is <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3707_Article_IEq17.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(n-k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>-</mo> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation>. For the proof of these statements we introduce the notion of spectral index similarly to the case of free boundary minimal submanifolds in a unit ball in the Euclidean space.</p>

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

On free boundary minimal submanifolds in geodesic balls in \({\mathbb {H}}^n\) and \({\mathbb {S}}^n_+\)

  • Vladimir Medvedev

摘要

We consider free boundary minimal submanifolds in geodesic balls in the hyperbolic space \({\mathbb {H}}^n\) H n and in the round upper hemisphere \({\mathbb {S}}^n_+\) S + n . Recently, Lima and Menezes have found a connection between free boundary minimal surfaces in geodesic balls in \({\mathbb {S}}^n_+\) S + n and maximal metrics for a functional, defined on the set of Riemannian metrics on a given compact surface with boundary. This connection is similar to the connection between free boundary minimal submanifolds in Euclidean balls and the critical metrics of the functional “the k-th normalized Steklov eigenvalue”, introduced by Fraser and Schoen. We define two natural functionals on the set of Riemannian metrics on a compact surface with boundary. One of these functionals is the high order generalization of the functional, introduced by Lima and Menezes. We prove that the critical metrics for these functionals arise as metrics induced by free boundary minimal immersions in geodesic balls in \({\mathbb {H}}^n\) H n and in \({\mathbb {S}}^n_+\) S + n , respectively. We also prove a converse statement. Besides that, we discuss the (Morse) index of free boundary minimal submanifolds in geodesic balls in \({\mathbb {H}}^n\) H n or \({\mathbb {S}}^n_+\) S + n . We show that the index of the critical spherical catenoid in a geodesic ball in \(\mathbb S^3_+\) S + 3 is 4 and the index of the critical spherical catenoid in a geodesic ball in \({\mathbb {H}}^3\) H 3 is at least 4. We prove that the index of a geodesic k-ball in a geodesic n-ball in \({\mathbb {H}}^n\) H n or \({\mathbb {S}}^n_+\) S + n is \(n-k\) n - k . For the proof of these statements we introduce the notion of spectral index similarly to the case of free boundary minimal submanifolds in a unit ball in the Euclidean space.