[논문 리뷰] Comparison of Steklov eigenvalues on a domain and Laplacian eigenvalues on its boundary in Riemannian manifolds

Changwei Xiong|arXiv (Cornell University)|2017. 04. 07.

Numerical methods in inverse problems참고 문헌 11인용 수 5

한 줄 요약

이 논문은 리만다이프만의 다양체에서, 곡률과 제2 기본형식 제약 조건 하에 도메인의 스테클로프 고유값과 그 경계에서 라플라시안 고유값의 제곱근 사이의 정량적 경계를 수립한다. 푸호자에브 유형의 항등식과 최소-최대 변분 원리를 사용하여, 비음성 섹션 곡률과 호르로-볼록 경계 조건 하에서 $|\sigma_j - \sqrt{\lambda_j}| \leq \max\{n/2, 1\} \kappa_+$ 를 증명하고, 양성 곡률 조건 하에서도 유사한 경계를 도출하며, 이는 스테클로프 고유값에 대한 웨일 유형의 상한 경계로 이어진다.

ABSTRACT

We prove that in Riemannian manifolds the $k$-th Steklov eigenvalue on a domain and the square root of the $k$-th Laplacian eigenvalue on its boundary can be mutually controlled in terms of the maximum principal curvature of the boundary under sectional curvature conditions. As an application, we derive a Weyl-type upper bound for Steklov eigenvalues. A Pohozaev-type identity for harmonic functions on the domain and the min-max variational characterization of both eigenvalues are important ingredients.

연구 동기 및 목표

• 리만다이프만 다양체에서 도메인의 스테클로프 고유값과 그 경계에서 라플라시안 고유값의 제곱근 사이의 상호 제어를 수립하기 위해.
• 유클리드 공간에서의 이전 결과를 곡률과 제2 기본형식 제약 조건이 있는 일반 리만다이프만 다양체로 확장하기 위해.
• 곡률과 경계 기하학을 이용하여 스테클로프 고유값에 대한 웨일 유형의 상한 경계를 도출하기 위해.
• 명시적인 오차 제어를 포함한 곡면에서의 점근적 비교 $\sigma_j \sim \sqrt{\lambda_j}$ 를 일반 리만다이프만 다양체로 일반화하기 위해.

제안 방법

• 경계 근처에 국한된 리프시츠 벡터장 $F$ 를 사용하여 도메인 상의 조화함수에 대해 $\Delta u \cdot \langle F, \nabla u \rangle = 0$ 을 $\Omega$ 에 대해 적분함으로써 푸호자에브 유형의 항등식을 유도한다.
• 경계의 기하학에 적합한 벡터장 $F$ 를 구성하여 경계 적분 $\int_\Sigma (\partial u / \partial \nu)^2 d\sigma$ 와 $\int_\Sigma |\nabla_\Sigma u|^2 d\sigma$ 를 연결한다.
• 스테클로프 고유값과 라플라시안 고유값의 최소-최대 변분 특성화를 적용하여 경계 상의 레일리 몫을 비교한다.
• 가우스 식을 사용하여 경계의 리치 곡률을 환경의 섹션 곡률과 제2 기본형식으로 연결한다.
• 곡률 조건을 도입: $-a \leq K_M \leq 0$ 이고 $II \geq \sqrt{a}$, 그리고 $0 < K_M \leq a$ 이고 $II \leq \kappa_+$ 를 통해 고유값 갭을 제어한다.
• 리치 곡률이 아래로 유계인 컴acts 다양체에 대한 웨일 유형 추정을 적용하여 스테클로프 고유값에 대한 점근적 경계를 도출한다.

실험 결과

연구 질문

• RQ1 리만다이프만 다양체에서 도메인의 스테클로프 고유값은 곡률 제약 조건 하에 그 경계에서의 라플라시안 고유값의 제곱근으로 경계될 수 있는가?
• RQ2 경계의 제2 기본형식은 $\sigma_j$ 와 $\sqrt{\lambda_j}$ 사이의 스펙트럴 갭에 어떻게 영향을 미치는가?
• RQ3 일반 리만다이프만 다양체에서 고유값 갭 $|\sigma_j - \sqrt{\lambda_j}|$ 는 곡률과 경계 기하학에 대해 최적의 의존성을 가지는가?
• RQ4 곡률과 경계 기하학으로부터 스테클로프 고유값에 대한 웨일 유형의 점근적 상한 경계를 도출할 수 있는가?
• RQ5 유클리드 공간에서의 결과는 쌍곡기하학과 구면기하학으로 어떻게 일반화되는가?

주요 결과

• 비음성 곡률 조건 $-a \leq K_M \leq 0$ 과 $II \geq \sqrt{a}$ 하에서, 모든 $j \in \mathbb{N}$ 에 대해 $\lambda_j \leq \sigma_j^2 + n\kappa_+\sigma_j$ 가 성립하며, 여기서 $\kappa_+$ 는 제2 기본형식의 상한이다.
• 양성 곡률 조건 $0 < K_M \leq a$ 와 $II \leq \kappa_+$ 하에서, $\lambda_j \leq \sigma_j^2 + n\sqrt{a + \kappa_+^2}\sigma_j$ 라는 경계가 확립된다.
• 비음성 곡률의 경우 스펙트럴 갭은 $|\sigma_j - \sqrt{\lambda_j}| \leq \max\{n/2, 1\}\kappa_+$ 를 만족한다.
• 양성 곡률의 경우, $|\sigma_j - \sqrt{\lambda_j}| \leq \max\{n/2, 1\}\sqrt{a + \kappa_+^2}$ 이다.
• 비음성 곡률과 호르로-볼록성 조건 하에서 스테클로프 고유값에 대한 웨일 유형의 상한 경계가 도출된다: $\sigma_j \leq \kappa_+ + C_n \left(\frac{j}{|\Sigma|}\right)^{1/n}$.
• 점근적 경계에서의 거듭제곱 $1/n$ 이 최적임을 보이며, 기존의 웨일 점근적 성질 $\sigma_j \sim 2\pi \left(\frac{j}{\omega_n |\Sigma|}\right)^{1/n}$ 과 일치한다.