[論文レビュー] Optimisation of the lowest Robin eigenvalue in the exterior of a compact set

David Krejčiřı́k, Vladimir Lotoreichik|arXiv (Cornell University)|Aug 17, 2016

Advanced Mathematical Modeling in Engineering参考文献 12被引用数 14

ひとこと要約

この論文は、負の境界パラメータをもつコンpact平面的集合の外部におけるラプラシアンの最低ロビン固有値の幾何的最適化を調査する。変分法と平行座標を用いて、凸集合のうちで、固定周図または固定面積制約のもとで、外部の円板が最低固有値を最大にすることが証明される。これは、高次元では円板が極値でないのとは対照的である。

ABSTRACT

We consider the problem of geometric optimisation of the lowest eigenvalue of the Laplacian in the exterior of a compact planar set, subject to attractive Robin boundary conditions. Under either a constraint of fixed perimeter or area, we show that the maximiser within the class of exteriors of convex sets is always the exterior of a disk. We also argue why the results fail without the convexity constraint and in higher dimensions.

研究の動機と目的

• コンパクト平面的集合の外部における最低ロビン固有値を最適化する幾何的形状を特定すること。
• 負の境界パrameterのもとで、固定周図または固定面積制約のもとで、円板が最低固有値の最大化者であるかどうかを分析すること。
• 凸性および次元が負のロビンパラメータにおけるスペクトル最適化に与える役割を調査すること。
• 高次元において逆スペクトル等周不等式・等体積不等式が成立しない理由を解明すること。

提案手法

• 外部領域における最低ロビン固有値の変分的特徴づけを、レイリー商を用いて行う。
• 領域の境界に基づく平行座標を用いて、問題を1次元スペクトル解析に還元する。
• 大きな負の境界パラメータ（α → -∞）における漸近解析を用いて、異なる領域の固有値を比較する。
• ミンコフスキー2次不等式およびガウス＝ボンネの定理を用いて、3次元における曲率寄与を分析する。
• 2つの非連結な円板を円筒で接続した構成を用いて、3次元における球が最適でないことを示す明示的反例を構成する。
• 既知のスペクトル幾何学的結果（ファーベル＝クラーンの不等式および負のαにおける逆スペクトル等周不等式）に依拠する。

実験結果

リサーチクエスチョン

• RQ1 負のαに対して、固定周図制約のもとで、すべての凸平面的領域において、外部の円板が最低ロビン固有値を最大にするか？
• RQ2 負のαに対して、固定面積制約のもとで、すべての凸平面的領域において、外部の円板が最低ロビン固有値を最大にするか？
• RQ3 2次元では成り立つが、3次元では失敗する逆スペクトル等周不等式・等体積不等式の理由は何か？
• RQ4 3次元において、大きな負のαに対して、球の外部よりも大きな最低ロビン固有値をもつ非球形凸領域が存在するか？
• RQ5 平均曲率、全曲率などの幾何的性質（例：平均曲率、全曲率）は、凸領域の外部におけるスペクトル挙動をどのように決定するか？

主な発見

• 負のロビン境界パラメータのもとで、固定周図または固定面積制約のもとで、すべての凸平面的集合において、外部の円板が最低固有値を最大にする。
• 大きな負のαにおける最低固有値の漸近展開は、境界曲率半径がrである領域について、λ₁^α(Ω^ext) ≈ -α² - α(d-2)/r であることが示される。
• 3次元においては、外部の球が周図または面積制約のもとで最大化者でない。これは、ミンコフスキー不等式が平均幅と表面積を同時に制御できないためである。
• 2つの非連結な円板を円筒で接続した反例を構成することで、r < (d-2)/(d-1)R かつ大きな負のαに対して、λ₁^α(Ω^ext) > λ₁^α(B_R^ext) であることが示される。
• 高次元においてスペクトル最適化が失敗するのは、平均幅と表面積を同時に制約できる領域クラスが自明（例：球のみ）でない限り、そのような制御が不可能であるためである。