[論文レビュー] Some isoperimetric inequalities with application to the Stekloff problem

Antoine Henrot, G. A. Philippin+1 more|ArXiv.org|Mar 29, 2008

Point processes and geometric inequalitiesMathematics参考文献 8被引用数 20

ひとこと要約

本稿は $N$-次元空間における慣性積の等周不等式を確立し、座標平面に関して対称な楕円体が、$J(\nOmega) = \prod_{k=1}^N J_k(\nOmega)$ の積を最小化することを証明している。一方、凸領域に対しては単位球が $I(\nOmega) = \prod_{k=1}^N I_k(\nOmega)$ の積を最小化する。主な応用として、最初の $N$ 個の非ゼロのスティルチェフ固有値の積に関する等周不等式を導出し、2次元での結果を高次元に一般化した。その結果、球が凸領域の中でこの積を最大にすることが示された。

ABSTRACT

In this paper we establish isoperimetric inequalities for the product of some moments of inertia. As an application, we obtain an isoperimetric inequality for the product of the $N$ first nonzero eigenvalues of the Stekloff problem in $\mathbb{R}^N$.

研究の動機と目的

• $J(\nOmega) = \prod_{k=1}^N J_k(\nOmega)$ の慣性積に対する等周不等式を確立する。ここで $J_k(\nOmega)$ は、$\nOmega \subset \mathbb{R}^N$ の領域が平面 $x_k = 0$ に関してもつ慣性モーメントである。
• 境界の慣性モーメント $I(\nOmega) = \prod_{k=1}^N I_k(\nOmega)$ の等周不等式を導出する。ここで $I_k(\nOmega)$ は $\partial\nOmega$ が平面 $x_k = 0$ に関してもつ慣性モーメントである。
• 不等式 $I(\nOmega) \geq I(\nOmega^*)$ を応用し、$\mathbb{R}^N$ 内の凸領域において、最初の $N$ 個の非ゼロのスティルチェフ固有値の積に対する鋭い上界を求める。
• 平面 $\mathbb{R}^2$ 内の凸領域において、$I(\nOmega)$ の最小化者を特定し、等号が成立するのは唯一の円であることを示す。
• 2次元でヘーシュ、ペイン、シュフィアーらが得た古典的結果を $\mathbb{R}^N$ に拡張し、球が最初の $N+1$ 個のスティルチェフ固有値の積を最大にするのを証明する。

提案手法

• 行列式が1であるアフィン変換を用い、$J(\nOmega)$ の積を保存することで、個々の慣性モーメントを同じ値に正規化できるようにする。
• 体積制約の下で $J(\nOmega)$ を最小化するための制約付き最適化枠組みにおいて、ラグランジュ乗数法を適用し、座標平面に関して対称な楕円体が最小化者であることを示す。
• 境界 $\partial\nOmega$ のフーリエ級数によるパラメータ表示を用い、一定速度パラメータ表示を保証する条件 $\left(\frac{dx}{d\sigma}\right)^2 + \left(\frac{dy}{d\sigma}\right)^2 = \text{const.}$ を分析する。
• 閉じて単純かつ正則な境界曲線を満たすために、フーリエ係数に直交性および正規化条件を課す。
• $(\frac{dx}{d\sigma})^2 + (\frac{dy}{d\sigma})^2$ の表現における調和係数の消滅を分析し、等号成立時は唯一円形境界が満たすことを導く。
• スペクトル理論および変分的特徴付けを用いて、スティルチェフ固有値問題に不等式 $I(\nOmega) \geq I(\nOmega^*)$ を適用する。

実験結果

リサーチクエスチョン

• RQ1 固定された $N$-体積を持つすべての有界領域の中で、慣性モーメントの積 $J(\nOmega) = \prod_{k=1}^N J_k(\nOmega)$ を最小化するのはどの領域か？
• RQ2 境界の慣性モーメント $I_k(\nOmega)$ に対して不等式 $I(\nOmega) \geq I(\nOmega^*)$ の等号が成立するのはどのような領域か？
• RQ3 ヘーシュ、ペイン、シュフィアーの2次元でのスティルチェフ固有値の積に関する結果を $\mathbb{R}^N$ に一般化できるか？
• RQ4 固定面積および凸性の制約の下で $I(\nOmega)$ を最小化する領域の幾何学的構造は何か？
• RQ5 平面 $\mathbb{R}^2$ 内の閉曲線が一定速度パラメータ表示および一定曲率を持つためのフーリエ係数の条件は何か？

主な発見

• 固定された $N$-体積を持つすべての領域において、慣性モーメントの積 $J(\nOmega)$ が最小化されるのは、$\nOmega$ が座標平面 $x_k = 0$ に関して対称な $N$-次元楕円体である場合に限り、そのときである。
• 凸領域 $\nOmega \subset \mathbb{R}^N$ に対して、積 $I(\nOmega) = \prod_{k=1}^N I_k(\nOmega)$ は、$\nOmega$ が球 $\nOmega^*$ のとき最小化され、等号は球のときのみ成立する。
• $\mathbb{R}^2$ において、固定面積の凸領域の中で $I(\nOmega)$ を最小化するのは、原点を中心とする円に限る。
• $I(\nOmega)$ の最小化者 $\partial\nOmega^*$ のパラメトリック表現は、$x(\sigma) = a_1\cos\sigma + a_1'\sin\sigma$, $y(\sigma) = b_1\cos\sigma + b_1'\sin\sigma$ の形をとり、これは円を表す。
• すべての凸領域 $\nOmega \subset \mathbb{R}^N$ に対して、最初の $N$ 個の非ゼロのスティルチェフ固有値の積は $\prod_{k=2}^{N+1} p_k(\nOmega) \leq \prod_{k=2}^{N+1} p_k(\nOmega^*)$ を満たし、等号は $\nOmega = \nOmega^*$ のときに限り成立する。
• 等周不等式 $I(\nOmega) \geq I(\nOmega^*)$ の等号成立は、境界 $\partial\nOmega$ が円でなければならないことを示し、$\mathbb{R}^2$ 内で最小化者の一意性を裏付ける。