[論文レビュー] Regularity of the minimizers in the composite membrane problem in R^2

Sagun Chanillo, Carlos E. Kenig+1 more|ArXiv.org|Apr 7, 2008

Advanced Mathematical Modeling in Engineering参考文献 6被引用数 3

ひとこと要約

本稿は、$$\mathbb{R}^2$$ における合成膜問題において、物理的条件 $$\alpha < \lambda$$ の下で、最小化子の $C^{1,1}$ 正則性および自由境界 $$\partial\{u>c\}$ の解析的正則性を確立する。2次変分解析とグローバル幾何的議論を用いて、超レベル集合 $$\{u>c\}$ が境界上で正の勾配を持つ、互いに交わらない有限個の解析的成分から成ることを証明し、最小化子における特異点の問題を解決する。

ABSTRACT

We study the regularity of minimizers to the composite membrane problem in the plane (ie given a domain omega and a positive number A, smaller than the measure of omega, minimize the first Dirichlet eigenvalue for the Schrodinger operator with potential equal to a fixed multiple of the characteristic function of a subset D of omega, with measure A). We show that for minimizers, the boundary of D is analytic.

研究の動機と目的

• $$\mathbb{R}^2$$ における合成膜問題の最小化子の正則性を、物理的条件 $$\alpha < \lambda$$ の下で確立すること。
• 特に $|Du| = 0$ となる点における自由境界 $$\partial\{u>c\}$ の正則性を解明すること、これは潜在的な特異点を含む。
• $u$ が $C^{1,1}$ であり、$$\{u>c\}$ の各連結成分の境界が、$|Du| > 0$ を満たす、互いに交わらない有限個の単純な実解析的曲線の有限和であることを示すこと。
• 2次変分解析を用いて不安定な blow-up 解を除外し、正則性の向上をもたらすこと。

提案手法

• 領域および関数の摂動の下でエネルギー汎関数 $$E(s,t)$ の1次および2次変分を導出する。ここで $|D(t)| = A$ である。
• 2次変分の公式を用いて、自由境界で勾配が消えるような不安定な blow-up 限界を除外する。
• ジョルダン曲線定理を含むグローバル幾何的議論を用いて、$$\{u>c\}$ の連結成分の構造を分析する。
• 先行研究 [5] における特異点の分類とブロー・アップ解析を用いて、病理的配置を除外する。
• $u$ の $C^{1,1}$ 正則性と、強力な最大原理および楕円型正則性を用いた境界の解析的性質を統合する。
• $\sum \int_{\mathcal{F}_k} |Du|^{-1}$ の発散に基づく背理法を用いて、$\partial U$ 上で $|Du| > 0$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 $$\mathbb{R}^2$$ における合成膜問題の最小化子は、物理的条件 $$\alpha < \lambda$$ の下で $C^{1,1}$ 正則であると示せるか？
• RQ2 自由境界 $$\partial\{u>c\}$ は、$|Du| = 0$ となる点でさえも解析的であるか？
• RQ3 エネルギー汎関数の2次変分を用いて、解析的正則性を阻害する不安定な blow-up 解を除外できるか？
• RQ4 $\{u>c\}$ の連結成分の境界は、非ゼロ勾配を持つ、互いに交わらない有限個の解析的曲線から成るか？
• RQ5 $\{u>c\}$ の連結成分の数は有限であり、それらの閉包は互いに交わらないか？

主な発見

• $u$ は条件 $$\alpha < \overline{\alpha}(A)$$ の下で $$\Omega$$ 内で $C^{1,1}$-正則であり、重要な正則性問題を解決する。
• 自由境界 $$\partial\{u>c\}$ は、$|Du| > 0$ となる、互いに交わらない単純な閉じた実解析的曲線の有限個から成る。
• $\{u>c\}$ には有限個の連結成分があり、それらの閉包は互いに交わらない。
• 勾配 $|Du|$ は $$\partial\{u>c\}$$ 上で正に保たれ、最小化子における $|Du| = 0$ となる特異点が排除される。
• 解析的境界および楕円型正則性のため、$u$ は $$\{u>c\}$ の各連結成分の閉包上で解析的である。
• $\partial\tilde{D} = \partial\{u>c\}$ を満たす修正された集合 $\tilde{D}$ が存在し、零集合を除いて $D$ と一致するため、境界構造が物理的に意味を持つことが確認される。