[論文レビュー] Existence of minimizers for spectral problems

Dario Mazzoleni, Aldo Pratelli|arXiv (Cornell University)|Dec 1, 2011

Advanced Mathematical Modeling in Engineering参考文献 5被引用数 4

ひとこと要約

本稿では、$\mathbb{R}^N$ 内の単位測度の開集合上で、第一 $k$ 固有値のディリクレラプラシアンの任意の増大関数に対する有界な最小化子の存在を確立する。著者らは、$k$ および $N$ のみに依存する定数によって一様に有界であるという $\lambda_k/\lambda_1$ の比を示すことにより、非有界領域におけるコンパクト性の欠如を克服し、バッタッツォ–ダル・マーソのコンパクト性結果の適用を可能にした。これにより、関数に依存しない、一様に有界な領域内に最小化子が存在することが保証される。

ABSTRACT

In this paper we show that any increasing functional of the first k eigenvalues of the Dirichlet Laplacian admits a (quasi-)open minimizer among the subsets of R^N of unit measure. In particular, there exists such a minimizer which is bounded, where the bound depends on k and N, but not on the functional. In the meantime, we show that the ratio λ_k(Ω)/λ_1(Ω) is uniformly bounded for sets Ω\in R^N.

研究の動機と目的

• 非有界領域におけるディリクレラプラシアンの第一 $k$ 固有値の増大関数に対する最小化子の存在という、長年の未解決問題を解消すること。
• このような最小化子が $\mathbb{R}^N$ 内で一様に有界であり、関数の具体的な形に依存しないことの証明。
• $k$ および $N$ のみに依存する定数に依存する、すべての準開集合 $\Omega \subseteq \mathbb{R}^N$ に対して $\lambda_k(\Omega)/\lambda_1(\Omega)$ の一様上界を確立すること。
• 古典的なバッタッツォ–ダル・マーソの存在結果を、事前に有界性を仮定しない全空間 $\mathbb{R}^N$ に拡張すること。

提案手法

• 集合を互いに素な部分集合に逐次分解することで、$\lambda_k/\lambda_1$ の一様有界性を証明する。
• 幾何学的補題（補題 3.2）を再帰的に適用し、集合 $\Omega$ を $2^j$ 個の互いに素な開部分集合に分割する。各部分集合の $\lambda_1$ が $k$、$N$、および初期値 $K$ に依存する定数で有界であるようにする。
• 最小最大原理とレイノルズ商の推定を用いて、$\lambda_k(\Omega)$ をこれらの部分集合における $\lambda_1$ の最大値で上から抑える。
• 比 $\lambda_k/\lambda_1$ がスケーリングに対して不変であることに着目し、一般の場合を $\lambda_1 = 1$ の場合に還元することで、一様な上界を得る。
• 任意の最小化列が、関数値を増加させずに一様に有界な列に置き換え可能であることを示すことにより、濃縮・コンパクト性原理を暗黙的に利用する。
• 一様に有界な最小化列に対してバッタッツォ–ダル・マーソのコンパクト性定理を適用し、最小化子の存在を結論づける。

実験結果

リサーチクエスチョン

• RQ1 すべての第一 $k$ ディリクレ固有値の増大関数は、単位測度の領域において $\mathbb{R}^N$ 内に最小化子をもつか？
• RQ2 非有界領域におけるコンパクト性の欠如を克服し、このような最小化子の存在を保証できるか？
• RQ3 $\mathbb{R}^N$ 内のすべての準開集合 $\Omega$ に対して、比 $\lambda_k(\Omega)/\lambda_1(\Omega)$ は一様に有界か？
• RQ4 古典的なバッタッツォ–ダル・マーソの存在結果を、事前に集合の有界性を仮定しない全空間 $\mathbb{R}^N$ に拡張できるか？

主な発見

• すべての準開集合 $\Omega \subseteq \mathbb{R}^N$ に対して、$\lambda_k(\Omega)/\lambda_1(\Omega)$ は定数 $M(k,N)$ によって一様に有界であり、集合の幾何的形状に依存しない。
• 任意の増大で下半連続な関数 $\mathcal{F}: \mathbb{R}^k \to \mathbb{R}$ に対して、$|A| = 1$ を満たす開集合 $A \subseteq \mathbb{R}^N$ における $\mathcal{F}(\lambda_1(A), \dots, \lambda_k(A))$ の下界は、有界な集合 $A$ で達成される。
• 最小化子は、$k$ および $N$ のみに依存する $R(k,N)$ の辺長の立方体に含まれる。関数 $\mathcal{F}$ には依存しない。
• 証明により、任意の開集合 $\Omega$ で $\lambda_1(\Omega) \leq K$ ならば $\lambda_k(\Omega) \leq M'(k,K,N)$ が成り立ち、$M'$ は $k$、$K$、$N$ のみに依存する。
• 結果として、ファーベル–クラーンおよびクラーン–ツェーゲの不等式が、$\mathbb{R}^N$ 内の第一 $k$ 固有値の任意の増大関数へ一般化される。
• $\lambda_3$ の最小化子の存在が今や示唆されるが、最適な集合は未解明のままである。