[論文レビュー] Free boundary minimal surfaces of any topological type in Euclidean balls via shape optimization

Henrik Matthiesen, Romain Petrides|arXiv (Cornell University)|Apr 13, 2020

Geometric Analysis and Curvature Flows参考文献 22被引用数 16

ひとこと要約

本稿では、形状最適化技術を用いて、任意の位相型の自由境界最小的超曲面をユークリッド球体内に構成する。第一非自明なスティルチェフ固有値の等周問題を解くことで、著者らは、分岐する自由境界最小的埋め込みを生む最大化計量の存在を証明する。この計量は、超曲面の位相的性質によって制御される次元のユークリッド球体に埋め込まれる。

ABSTRACT

For any compact surface $Σ$ with smooth, non-empty boundary, we construct a free boundary minimal immersion into a Euclidean Ball $\mathbb{B}^N$ where $N$ is controlled in terms of the topology of $Σ$. We obtain these as maximizing metrics for the isoperimetric problem for the first non-trivial Steklov eigenvalue. Our main technical result concerns asymptotic control on eigenvalues in a delicate glueing construction which allows us to prove the remaining spectral gap conditions to complete the program by Fraser--Schoen and the second named author to obtain such mazimizing metrics. Our construction draws motivation from earlier work by the first named author with Siffert on the corresponding problem in the closed case.

研究の動機と目的

• 任意の境界を持つコンパクトな曲面に対するユークリッド球体への自由境界最小的埋め込みの存在問題を解決すること。
• 長さ正規化の下で第一非自明なスティルチェフ固有値が上界を達成することを確立し、変分的特徴づけを提供すること。
• 繊細な接合構成を用いて、フレーザー＝シューレン計画を任意の位相に拡張すること。
• 固有値の重複度を用いて、超曲面の位相的性質によって制御される、ターゲット次元 $N$ を超曲面の位相的不変量で制御すること。
• フレーザーとシューレンが開始した存在プログラムを完成させ、スティルチェフ固有値の等周問題に対する最大化計量の存在を証明すること。

提案手法

• 境界を持つコンパクト曲面における第一非自明なスティルチェフ固有値 $\sigma_1(\Sigma,g) \cdot L_g(\partial\Sigma)$ の等周問題を定式化する。
• 形状最適化を用いて、境界長が単位長に固定された下で $\sigma_1$ を最大化する臨界計量を同定する。
• 首を細める極限において、固有値を漸近的に制御する、新しい接合構成を適用する。
• 固有関数の漸近的挙動と境界上の $L^2$ 内積を分析することで、スペクトルギャップ条件を確立する。
• 臨界スティルチェフ計量とユークリッド球体への自由境界最小的埋め込みとの間の関係を活用する。
• 第二著者のスペクトルギャップ基準を用いて、上界が滑らかな計量によって達成されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 任意の非空境界を持つコンパクト曲面に対して、ユークリッド球体への自由境界最小的埋め込みを構成できるか？
• RQ2 任意の曲面の位相に対して、境界長が単位長である制約下で、第一非自明なスティルチェフ固有値が最大値に達するか？
• RQ3 繊密な接合構成を用いて、最大化計量の存在を保証するスペクトルギャップ条件を確立できるか？
• RQ4 ターゲットユークリッド球体の次元 $N$ は、曲面の位相的不変量にどのように依存するか？
• RQ5 スティルチェフ固有値最大化のためのフレーザー＝シューレン計画は、すべての位相に対して完成しているか？

主な発見

• 任意の非空境界を持つコンパクト曲面 $\Sigma$ に対して、$\Sigma$ の位相的性質によって定まる次元 $N$ のユークリッド球体 $\mathbb{B}^N$ に、分岐する自由境界最小的埋め込みが存在する。
• $\sigma_1(\Sigma,g) \cdot L_g(\partial\Sigma)$ の上界は、滑らかな計量 $g$ によって達成され、第一非自明なスティルチェフ固有値の等周問題が解かれる。
• ターゲット球体の次元 $N$ は、埋め込み下でのプルバック計量の第一スティルチェフ固有値の重複度によって制御される。
• 接合構成により、固有値の漸近的制御が可能となり、必要なスペクトルギャップ条件が満たされる。
• 本結果は、ゼロジェネラス曲面に対するフレーザーとシューレンの結果を一般化・再確認し、すべての位相に拡張する。
• 証明により、$\gamma \geq 0$, $k \geq 2$ に対して $\sigma_1(\gamma,k) > \sigma_1(\gamma-1,k+1)$ および $\sigma_1(\gamma,k) > \sigma_1(\gamma,k-1)$ が成り立つことが示され、帰納法により最大化計量の存在が保証される。