[논문 리뷰] Sharp lower bound for the first eigenvalue of the Weighted $p$-Laplacian

Xiaolong Li, Kui Wang|arXiv (Cornell University)|2019. 10. 05.

Nonlinear Partial Differential Equations참고 문헌 26인용 수 10

한 줄 요약

이 논문은 리치 곡률이 $\kappa g$ 이하로 유계이면서 $\kappa \leq 0$ 또는 $1 < p \leq 2$인 컴팩트 박리-에메리 다중다양체에서 가중 $p$-라플라시안의 첫 번째 양의 고유값에 대한 날카운 하한을 확립한다. 저자들은 $p \leq 2$에 대해 연속성 모듈러스 추정을, $\kappa \leq 0$에 대해 한 차원 모델 방정식의 분석과 함께 날카운 기울기 비교 정리를 사용하여, 기존의 $p$-라플라시안 및 $f$-라플라시안 결과를 일반화한다.

ABSTRACT

We prove sharp lower bound estimates for the first nonzero eigenvalue of the weighted $p$-Lapacian operator with $1&lt; p&lt; \infty$ on a compact Bakry-Emery manifold $(M^n,g,f)$ satisfying $\Ric+ abla^2 f \geq κ\, g$, provided that either $1

연구 동기 및 목표

• 콤팩트 박리-에메리 다중다양체에서 가중 $p$-라플라시안 $\Delta_{p,f}$의 첫 번째 양의 고유값에 대한 날카운 하한을 확립하는 것.
• 기존의 $p$-라플라시안 ($f=\text{const}$) 및 $f$-라플라시안 ($p=2$) 고유값 추정을 전체 가중 $p$-라플라시안 설정으로 일반화하는 것.
• 비양수 $\kappa$ 또는 $1 < p \leq 2$인 경우에 날카운 고유값 추정을 확장하여, 곡률과 포텐셜 간의 비선형 상호작용이 중요한 경우를 다루는 것.
• 기존의 날카운 하한을 회복하는 통합된 프레임워크를 제공하기 위해 연속성 모듈러스와 기울기 비교 기법을 사용하는 것.
• 모델 예제의 구성과 일차원 고유값 문제와의 비교를 통해 날카운 하한의 날카움을 검증하는 것.

제안 방법

• 모든 $1 < p \leq 2$에 대해, 날카운 하한을 유도하기 위해 연속성 모듈러스 추정 기법을 사용한다.
• $\kappa \leq 0$인 경우, 고유함수에 대해 날카운 기울기 비교 정리를 적용하여 문제를 한 차원 모델 방정식으로 환원한다.
• 한 차원 모델 방정식은 $[-D/2, D/2]$에서 $|w'|^{p-2}w'' - \kappa t |w'|^{p-2}w' + \lambda |w|^{p-2}w = 0$ 이며, 노이만 조건을 만족한다.
• 고유값 $\lambda_{p,f}$는 이 모델 방정식의 첫 번째 양의 노이만 고유값 $\mu(\kappa, D)$에 의해 아래에서 유계이다.
• $p \geq 2$ 및 $\kappa > 0$인 경우, $f$-라플라시안에 대한 보흐너 공식과 부분 적분을 사용하여 비날카운 하한을 도출한다.
• 횔러의 부등식과 에너지 추정을 사용하여 $u$와 $|\nabla u|$의 $L^p$ 노름 간의 관계를 유도하여 최종 고유값 하한을 얻는다.

실험 결과

연구 질문

• RQ1 곡률 $\operatorname{Ric} + \nabla^2 f \geq \kappa g$를 만족하는 박리-에메리 다중다양체에서 가중 $p$-라플라시안의 첫 번째 양의 고유값에 대한 날카운 하한은 무엇인가?
• RQ2 기존의 리히너비츠-오바타 및 바크리-콴 고유값 추정이 $p$-라플라시안 설정으로 어떻게 일반화되는가?
• RQ3 보흐너 공식 이외의 기하학적·해석적 기법을 사용하여 $1 < p \leq 2$ 또는 $\kappa \leq 0$인 경우 날카운 고유값 추정을 확립할 수 있는가?
• RQ4 한 차원 모델 방정식이 날카운 고유값 추정을 특성화하는 데 어떤 역할을 하는가?
• RQ5 모델 다중다양체 또는 비교 원리에 의해 날카운 하한이 어떻게 나타나는가?

주요 결과

• $1 < p \leq 2$ 및 $\kappa \leq 0$인 경우, 가중 $p$-라플라시안의 첫 번째 양의 고유값 $\lambda_{p,f}$는 $\lambda_{p,f} \geq \mu(\kappa, D)$를 만족하며, 여기서 $\mu(\kappa, D)$는 구간 $[-D/2, D/2]$에서 $\varphi'' - \kappa t \varphi' = -\mu \varphi$의 첫 번째 양의 노이만 고유값이다.
• $\kappa = 0$일 경우, 날카운 하한은 $\lambda_{p,f} \geq (p-1) \frac{\pi_p^p}{D^p}$로 단순화되며, 이는 $p$-라플라시안에 대한 기존의 날카운 추정을 복원한다.
• $p \geq 2$ 및 $\kappa > 0$인 경우, 비날카운 하한 $\lambda_{p,f} \geq \left(\frac{\kappa}{p-1}\right)^{p/2}$을 도출하였으며, 이는 $p \geq 2$에 대해 이전 추정을 향상시킨다.
• 고유값이 $\mu(\kappa, D)$에 임의로 가까이 수렴하는 예제를 구성함으로써 하한의 날카움을 입증하였다.
• 연속성 모듈러스 추정 기법은 $1 < p \leq 2$에 대해 확률론적 또는 PDE 비교 기법을 피하는 단순하고 직접적인 증명을 제공한다.
• 밸토르타 [25], 나베르-밸토르타 [21]의 $p$-라플라시안 연구 및 바크리-콴 [6]의 $f$-라플라시안 ($p=2$) 연구를 확장하고 통합한다.