[論文レビュー] Sharp upper bound and a comparison theorem for the first nonzero Steklov eigenvalue

Binoy, G. Santhanam|arXiv (Cornell University)|Aug 8, 2012

Geometric Analysis and Curvature Flows参考文献 8被引用数 13

ひとこと要約

本稿は、断面曲率が $k = -\delta^2$ もしくは $0$ で上から有界な非コンパクトなランク1対称空間および完全かつ単連結なリーマン多様体における有界な領域における最初の非ゼロステクロフ固有値の鋭い上界を確立する。ヤコビ場に基づく比較技法と体積推定を用いて、固有値が測地球で最大化され、等号成立はその領域がこのような球に等長である場合に限ることを証明する。

ABSTRACT

In this paper we prove that given a volume, among all domains with smooth boundary in rank-1 symmetric spaces of noncompact type, geodesic balls maximizes the first nonzero Steklov eigenvalue. We also prove a comparison result for the first nonzero Steklov eigenvalue for domains in simply connected Riemannian manifolds with certain curvature bounds.

研究の動機と目的

• 断面曲率 $K_{\overline{M}} \in [-4, -1]$ を持つ非コンパクトなランク1対称空間における有界領域 $\Omega$ における最初の非ゼロステクロフ固有値 $\nu_1(\Omega)$ の鋭い上界を確立すること。
• 断面曲率 $K_{\overline{M}} \leq k$（$k = -\delta^2$ または $0$）を満たす完全かつ単連結なリーマン多様体において、$\nu_1(\Omega)$ に対する比較原理を拡張すること。
• $\Omega$ と同一の体積を持つ空間形式 $\mathbb{M}(k)$ 内の測地球 $B_k(R_k)$ に対して、$\nu_1(\Omega) \leq C_k \nu_1(B_k(R_k))$ が成り立つことを示すこと。ここで $C_k \geq 1$ は体積と次元にのみ依存する。
• 不等式における等号成立条件を特定し、$\Omega$ が $\mathbb{M}(k)$ 内の測地球に等長である場合に限り成立することを示すこと。

提案手法

• 空間形式 $\mathbb{M}(k)$ におけるヤコビ場と $\overline{M}$ 内のヤコビ場を比較するラウシュ比較定理を用い、勾配場のノルムに対する点ごとの上界を確立する。
• ガンターの体積比較定理を用いて、$\overline{M}$ 内の領域 $\Omega$ の体積を、$\overline{M}$ 内の測地球 $B(R_k)$ および $\mathbb{M}(k)$ 内の測地球 $B_k(R_k)$ の体積と関連付ける。
• 空間形式 $\mathbb{M}(k)$ 上で定義されたモデル常微分方程式の解である径数関数 $g_\delta(r)$ を用いたテスト関数を構成し、最初の固有値 $\nu_1(\Omega)$ を含む微分不等式を導出する。
• Rayleigh商による $\nu_1(\Omega)$ の特徴づけを用い、$\Omega$ と $B_k(R_k)$ の両方で $\int_{\Omega} \left( g_\delta^2 \lambda_1(S_k(r)) + (g_\delta')^2 \right) dV$ の形の積分を比較する。
• 関数 $g_\delta^2 \lambda_1(S_k(r)) + (g_\delta')^2$ の $r$ に関する単調性を用いて、$\Omega$ と $B(R_k)$ 上の積分を正当に比較し、定数 $C_k$ を得る。
• $C_k \geq 1$ であり、体積 $\text{Vol}(\Omega)$ と次元 $n$ のみに依存することを示し、$\Omega$ が $\mathbb{M}(k)$ 内の測地球に等長である場合に限り $C_k = 1$ となること、したがって等号が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 断面曲率が $-4 \leq K_{\overline{M}} \leq -1$ を満たす非コンパクトなランク1対称空間における有界領域 $\Omega$ に対して、最初の非ゼロステクロフ固有値 $\nu_1(\Omega)$ の鋭い上界は何か？
• RQ2 断面曲率 $K_{\overline{M}} \leq k$（$k = -\delta^2$ または $0$）を満たす多様体における領域に対して、$\nu_1(\Omega)$ と $\nu_1(B_k(R_k))$ はどのように比較できるか？
• RQ3 不等式 $\nu_1(\Omega) \leq C_k \nu_1(B_k(R_k))$ における等号成立はどのような幾何的条件下で成立するか？
• RQ4 比較定数 $C_k$ を明示的に評価し、体積 $\text{Vol}(\Omega)$ と次元 $n$ のみに依存することを示せるか？
• RQ5 固定された体積のもとで、滑らかな境界をもつすべての有界領域の中で、測地球が $\nu_1(\Omega)$ の唯一の最大化者であるか？

主な発見

• 断面曲率が $-4 \leq K_{\overline{M}} \leq -1$ を満たす非コンパクトなランク1対称空間 $\overline{M}$ に対して、体積が等しい測地球 $B(R)$ を持つ $\Omega$ に対して $\nu_1(\Omega) \leq \nu_1(B(R))$ が成り立ち、等号成立は $\Omega$ が $B(R)$ に等長である場合に限る。
• 断面曲率 $K_{\overline{M}} \leq k$（$k = -\delta^2$ または $0$）を満たす完全かつ単連結な多様体 $\overline{M}$ に対して、$\nu_1(\Omega) \leq C_k \nu_1(B_k(R_k))$ が成り立つ。ここで $B_k(R_k)$ は $\Omega$ と同一の体積を持つ空間形式 $\mathbb{M}(k)$ 内の測地球であり、$C_k \geq 1$ は $\text{Vol}(\Omega)$ と次元 $n$ のみに依存する。
• $C_k$ は $\Omega$ が $\mathbb{M}(k)$ 内の測地球に等長でない限り $1$ よりも厳密に大きい。この場合、$C_k = 1$ であり、固有値の上界において等号が成立する。
• 証明は、ラウシュの定理によるヤコビ場の比較とガンターの不等式による体積推定に基づき、Rayleigh商の制御された比較に帰着される。
• 空間形式 $\mathbb{M}(k)$ 上で定義されたモデル常微分方程式を満たす関数 $g_\delta(r)$ を用いてテスト関数を構成し、$\lambda_1(S_k(r))$ と $g_\delta'$ を含む積分の比較を可能にする。
• $g_\delta^2 \lambda_1(S_k(r)) + (g_\delta')^2$ の $r$ に関する単調性が、$\Omega$ 上の積分を $B(R_k)$ 上の積分で上から押さえ込むために不可欠であり、これが最終的な固有値比較に至る。