[논문 리뷰] Sharp upper bound and a comparison theorem for the first nonzero Steklov eigenvalue

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

Geometric Analysis and Curvature Flows참고 문헌 8인용 수 13

한 줄 요약

이 논문은 비콤팩트 랭크-1 대칭 공간에서 유계 영역에 대해 첫 번째 비영인 스테크로프 고유값에 대한 날카로운 상한을 확립하며, 곡률이 $k = -\delta^2$ 또는 $0$ 이하로 유계된 완전하고 단순연결된 리만다양체에 대해서도 적용된다. 자코비 장과 체적 추정에 기반한 비교 기법을 사용하여, 고유값은 지오데식 구를 통해 최대화되며, 등호가 성립하는 것은 오직 도메인이 그러한 구와 등장하는 경우에 한한다.

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.

연구 동기 및 목표

• 비콤팩트 랭크-1 대칭 공간에서 섹션 곡률 $K_{\overline{M}} \in [-4, -1]$인 유계 영역 $\Omega$에 대해 첫 번째 비영인 스테크로프 고유값 $\nu_1(\Omega)$에 대한 날카로운 상한을 확립한다.
• 섹션 곡률 $K_{\overline{M}} \leq k$인 완전하고 단순연결된 리만다양체에 대해 $\nu_1(\Omega)$의 비교 원리를 $k = -\delta^2$ 또는 $0$ 인 경우로 확장한다.
• $\nu_1(\Omega) \leq C_k \nu_1(B_k(R_k))$를 증명한다. 여기서 $B_k(R_k)$는 $\Omega$와 같은 체적을 가진 공간형 $\mathbb{M}(k)$ 내의 지오데식 구이며, $C_k \geq 1$은 오직 체적과 차원에 의존한다.
• 부등식의 등호 조건을 특성화하여, 등호가 성립하는 것은 오직 $\Omega$가 $\mathbb{M}(k)$ 내의 지오데식 구와 등장할 때에 한한다.

제안 방법

• Rauch 비교 정리를 활용하여 $\overline{M}$ 상의 자코비 장을 공간형 $\mathbb{M}(k)$ 상의 자코비 장과 비교함으로써 기울기 장의 노름에 대한 점별 상한을 확립한다.
• Gunther의 체적 비교 정리를 적용하여 $\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 몫 특성화를 적용하여 $\int_{\Omega} \left( g_\delta^2 \lambda_1(S_k(r)) + (g_\delta')^2 \right) dV$ 형태의 적분을 $\Omega$와 $B_k(R_k)$ 상에서 비교한다.
• 함수 $g_\delta^2 \lambda_1(S_k(r)) + (g_\delta')^2$ 의 단조성에 의해 $\Omega$와 $B(R_k)$ 상의 적분 비교가 정당화되며, 이로 인해 상수 $C_k$ 가 도출된다.
• $C_k \geq 1$ 이며, 오직 $\text{Vol}(\Omega)$ 와 차원 $n$ 에 의존함을 증명한다. $C_k = 1$ 이 되는 것은 오직 $\Omega$ 가 $\mathbb{M}(k)$ 내의 지오데식 구와 등장할 때에 한한다.

실험 결과

연구 질문

• RQ1 비콤팩트 랭크-1 대칭 공간에서 섹션 곡률이 $-4 \leq K_{\overline{M}} \leq -1$ 인 경우, 유계 영역 $\Omega$ 에 대해 첫 번째 비영인 스테크로프 고유값 $\nu_1(\Omega)$ 에 대한 날카로운 상한은 무엇인가?
• RQ2 섹션 곡률 $K_{\overline{M}} \leq k$ 인 다각형에서 $\nu_1(\Omega)$ 와 $\nu_1(B_k(R_k))$ 는 어떻게 비교되는가? 여기서 $k = -\delta^2$ 또는 $0$ 이다.
• RQ3 부등식 $\nu_1(\Omega) \leq C_k \nu_1(B_k(R_k))$ 에서 등호가 성립하는 기하 조건은 무엇인가?
• RQ4 비교 상수 $C_k$ 는 명시적으로 유계화될 수 있으며, 오직 $\Omega$ 의 체적과 차원 $n$ 에 의존하는가?
• RQ5 고정된 체적 하에 부드러운 경계를 가진 모든 유계 영역 중에서, 지오데식 구가 $\nu_1(\Omega)$ 의 유일한 최대화자인가?

주요 결과

• 비콤팩트 랭크-1 대칭 공간 $\overline{M}$ 에서 $-4 \leq K_{\overline{M}} \leq -1$ 라면, 첫 번째 비영인 스테크로프 고유값은 $\nu_1(\Omega) \leq \nu_1(B(R))$ 를 만족하며, 여기서 $B(R)$ 는 $\text{Vol}(\Omega) = \text{Vol}(B(R))$ 를 만족하는 $\overline{M}$ 내의 지오데식 구이다. 등호는 $\Omega$ 가 $B(R)$ 와 등장할 때에만 성립한다.
• 완전하고 단순연결된 다각형 $\overline{M}$ 에서 $K_{\overline{M}} \leq k$ ($k = -\delta^2$ 또는 $0$) 라면, 부등식 $\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$ 이고 고유값 부등식에서 등호가 성립한다.
• 증명은 Rauch 정리를 통한 자코비 장 비교와 Gunther 부등식을 통한 체적 추정에 기반하며, 이는 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)$ 상의 적분으로 유계화함으로써 최종 고유값 비교가 이뤄진다.