[論文レビュー] Sharp Fundamental Gap Estimate on Convex Domains of Sphere

Shoo Seto, Lili Wang+1 more|arXiv (Cornell University)|Jun 3, 2016

Analytic and geometric function theory参考文献 16被引用数 4

ひとこと要約

本稿は、直径 $D \leq \pi/2$ の単位球面 $S^n$ 上の厳密に凸な領域における基本的スペクトルギャップ（最初の2つのディリクレ固有値の差）に対して鋭い下界を確立する。第一固有関数のスーパー対数凸性推定を用いて、ギャップが区間 $[-D/2, D/2]$ 上の1次元モデルギャップを上回ることを証明し、$n \geq 3$ の場合、$3\pi^2/D^2$ が下界として成り立つことが示され、これは最適である。

ABSTRACT

In their celebrated work, B. Andrews and J. Clutterbuck proved the fundamental gap (the difference between the first two eigenvalues) conjecture for convex domains in the Euclidean space and conjectured similar results holds for spaces with constant sectional curvature. We prove the conjecture for the sphere. Namely when $D$, the diameter of a convex domain in the unit $S^n$ sphere, is $\le \fracπ{2}$, the gap is greater than the gap of the corresponding $1$-dim sphere model. We also prove the gap is $\ge 3\frac{π^2}{D^2}$ when $n \ge 3$, giving a sharp bound. As in Andrews-Clutterbuck's proof of the fundamental gap, the key is to prove a super log-concavity of the first eigenfunction.

研究の動機と目的

• 球面 $S^n$ 上の凸領域における基本的スペクトルギャップが、$D \leq \pi/2$ のとき1次元モデルギャップ以下に下界を持つという予想を解明すること。
• $n \geq 3$ の場合に、スペクトルギャップに対して $3\pi^2/D^2$ の鋭い下界を確立すること、これは最適である。
• ユークリッド空間で用いられるスーパー対数凸性技法を球面へ拡張し、以前の結果よりも強い曲率依存推定を導出すること。
• 第一固有関数の対数凸性推定が、$\nabla^2 \log \phi_1 \leq 0$ という以前の境界を上回ることを示し、曲率効果を組み込むこと。

提案手法

• 球面 $S^n$ 上の凸領域における第一固有関数 $\phi_1$ に対してスーパー対数凸性推定を証明し、最小化測地線に沿った $\log \phi_1$ の方向微分が、1次元モデル固有関数の微分によって上から抑えられることを示す。
• 区間 $[-D/2, D/2]$ 上のディリクレ境界条件を満たす1次元モデル作用素 $\frac{d^2}{ds^2} - (n-1)\tan(s)\frac{d}{ds}$ を構成し、実際の領域の固有値と比較する基盤とする。
• 一定曲率 $K$ の空間形式における測地線の変種を用い、1パラメータ族の測地線を明示的に構成することで、エネルギーの2次変動を解析し、曲率依存の境界を導出する。
• モデル作用素を用いた比較原理により、スペクトルギャップの下界を導出し、曲率項 $-(n-1)\tan(s)$ が球面幾何を的確に捉えていることを利用する。
• 空間形式における距離と内積の計算に、恒等式 $\langle x, y \rangle = \frac{1}{K} \operatorname{cs}_K(d(x,y))$ を用い、測地線変種の明示的計算を可能にする。
• 変位ベクトル場の2次展開およびその微分を導出し、曲率補正されたヘッセ行列の境界 $\nabla^2 \log \phi_1 \leq -\bar{\lambda}_1 \, \text{id}$ を確立する。これはギャップ推定の鍵となる。

実験結果

リサーチクエスチョン

• RQ1 球面 $S^n$ 上の凸領域における基本的スペクトルギャップは、$n \geq 3$ のとき、ユークリッド空間と同様に $3\pi^2/D^2$ の鋭い下界を満たすか？
• RQ2 球面 $S^n$ 上の凸領域における第一固有関数のスーパー対数凸性推定は、曲率効果を組み込むことで、$\nabla^2 \log \phi_1 \leq 0$ の境界を改善できるか？
• RQ3 $D \leq \pi/2$ のとき、作用素 $\frac{d^2}{ds^2} - (n-1)\tan(s)\frac{d}{ds}$ を持つ区間 $[-D/2, D/2]$ 上の1次元モデルギャップが、球面上の凸領域における実際のスペクトルギャップの鋭い下界となるか？
• RQ4 球面上のスペクトルギャップは次元 $n$ と直径 $D$ の関数としてどのように振る舞い、固定された $D$ に対して $n$ が増加するとギャップが増加するか？
• RQ5 空間形式における測地線変種の手法を、球面を越えて、一定曲率を持つ他の空間形式に対しても、曲率依存固有値推定を導出するために拡張可能か？

主な発見

• 任意の厳密に凸な領域 $\Omega \subset S^n$ に対して、直径 $D \leq \pi/2$ ならば、スペクトルギャップは $\lambda_2 - \lambda_1 \geq \bar{\lambda}_2(n,D) - \bar{\lambda}_1(n,D)$ を満たす。ここで $\bar{\lambda}_i(n,D)$ は区間 $[-D/2, D/2]$ 上の1次元モデル作用素の最初の2つの固有値である。
• $n \geq 3$ かつ $D < \pi$ のとき、ギャップは $\lambda_2 - \lambda_1 \geq 3\pi^2 / D^2$ を満たし、これは最適かつ鋭い境界である。
• 第一固有関数 $\phi_1$ はスーパー対数凸性推定を満たす：任意の $x, y \in \Omega$ に対して、最小化測地線に沿った $\log \phi_1$ の方向微分は、1次元モデル固有関数の微分によって上から抑えられる。
• $\log \phi_1$ のヘッセ行列は $\nabla^2 \log \phi_1 \leq -\bar{\lambda}_1 \, \text{id}$ を満たし、これはリーとワンの結果 $\nabla^2 \log \phi_1 \leq 0$ よりも強い境界を提供する。
• 1次元モデルギャップ $\bar{\lambda}_2(n,D) - \bar{\lambda}_1(n,D)$ は $D$ に関して単調であり、球面上の実際のギャップに対する鋭い比較を提供する。
• この手法はユークリッド空間や他の一定曲率空間形式へも拡張可能であるが、負の曲率では2次変動計算における幾何的障害のため、スーパー対数凸性推定は成り立たない。