[論文レビュー] Existence and regularity of solutions to optimal partition problems involving Laplacian eigenvalues

Miguel Ramos, Hugo Tavares+1 more|arXiv (Cornell University)|Jan 1, 2012

Advanced Mathematical Modeling in Engineering参考文献 23被引用数 8

ひとこと要約

本稿では、符号が変化する成分間の競合をモデル化するシュレーディンガー型系を用いた特異摂動アプローチにより、R^N 内の有界領域におけるディリクレ固有値問題の最適分割の存在および正則性を確立する。主な結果は、最適分割の自由境界が、無視可能な集合を除いて局所的に C^{1,α} 超曲面であることである。

ABSTRACT

Let $\Omega\subset \mathbb{R}^N$ be an open bounded domain and $m\in \mathbb{N}$. Given $k_1,\ldots,k_m\in \mathbb{N}$, we consider a wide class of optimal partition problems involving Dirichlet eigenvalues of elliptic operators, including the following \[ \inf\left\{\Phi(\omega_1,\ldots,\omega_m):=\sum_{i=1}^m \lambda_{k_i}(\omega_i): (\omega_1,\ldots, \omega_m)\in \mathcal{P}_m(\Omega) ight\}, \] where $\lambda_{k_i}(\omega_i)$ denotes the $k_i$-th eigenvalue of $(-\Delta,H^1_0(\omega_i))$ counting multiplicities, and $\mathcal{P}_m(\Omega)$ is the set of all open partitions of $\Omega$, namely \[ \mathcal{P}_m(\Omega)=\left\{(\omega_1,\ldots,\omega_m): \omega_i\subset \Omega ext{ open}, \omega_i\cap \omega_j=\emptyset \forall i eq j ight\}. \] We prove the existence of an open optimal partition $(\omega_1,\ldots, \omega_m)\in \mathcal{P}_m(\Omega)$, proving as well its regularity in the sense that the free boundary $\cup_{i=1}^m \partial \omega_i\cap \Omega$ is, up to a residual set, locally a $C^{1,\alpha}$ hypersurface. In order to prove this result, we first treat some general optimal partition problems involving all eigenvalues up to a certain order. The study of this new class of problems is done via a singular perturbation approach with a class of Schr\odinger-type systems which models competition between different groups of possibly sign-changing components. An optimal partition appears in relation with the nodal set of the limiting components, as the competition parameter becomes large. The proofs also involve new boundary Harnack principles on NTA and Reifenberg flat domains, as well as an extensive use of Almgren-type monotonicity formulas.

研究の動機と目的

• m 個の部分領域に分割された有界領域におけるディリクレ固有値の和を最小化する最適分割の存在を確立すること。
• 分割された領域を分かつ自由境界の正則性を証明すること。
• 与えられた順序までのすべての固有値を含む最適分割問題のクラスを、特異摂動フレームワークを用いて分析すること。
• 競合するシュレーディンガー型系の極限挙動と、最適分割を定義するノード集合を結びつけること。
• NTA およびライフェンベルク平坦領域における境界ハーナック原理を開発し、正則性解析に応用すること。

提案手法

• 競合パラメータを導入する特異摂動アプローチを用い、系が最適分割に対応する極限的状態に近づくようにする。
• 符号が変化する成分を含むシュレーディンガー型方程式系を研究し、異なるグループ間の競合をモデル化する。
• 競合パラメータが無限大に近づくとき、極限的成分のノード集合として最適分割が出現する。
• 境界付近での解の挙動を制御するために、NTA およびライフェンベルク平坦領域における境界ハーナック原理を開発する。
• 特異点における吹き上がり挙動を分析し、自由境界の正則性を確立するために、アームグレン型単調性公式を用いる。
• 極限に至る過程で、精密な推定とコンパクトネスの議論に依拠し、最適分割の存在および構造を導出する。

実験結果

リサーチクエスチョン

• RQ1 R^N 内の有界領域の m 個の互いに素な部分領域におけるディリクレ固有値の和に対する最適分割は存在するか？
• RQ2 このような最適分割において、部分領域を分かつ自由境界の正則性はいかほどか？
• RQ3 競合するシュレーディンガー型系の極限挙動は、最適分割をどのように特徴づけられるか？
• RQ4 自由境界の正則性を保証するために、境界条件および幾何的仮定（例：NTA、ライフェンベルク平坦）はどの程度必要か？
• RQ5 アームグレン型単調性公式および境界ハーナック原理は、正則性証明にどの程度貢献するか？

主な発見

• 最適分割は、Ω の開かつ互いに素な部分領域のクラスにおいて存在し、k_i 番目のディリクレ固有値の和を最小化する。
• 自由境界 ∪_{i=1}^m ∂ω_i ∩ Ω は、無視可能な残渣集合を除いて局所的に C^{1,α} 超曲面である。
• 競合成分を有する特異摂動シュレーディンガー型系の極限ノード集合は、競合パラメータが発散する際に最適分割に対応する。
• NTA およびライフェンベルク平坦領域に対して境界ハーナック原理が確立され、境界付近での解の減衰を制御できる。
• アームグレン型単調性公式を用いて、特異点における吹き上がりプロファイルを分析し、自由境界の正則性を証明する。
• 正則性結果は、一般の幾何的仮定のもとで成り立ち、従来の結果をより広いクラスの領域に拡張する。