[논문 리뷰] Stability of the $L^{p}$-Poincaré inequality for the Lebesgue and Gaussian probability measures with explicit geometric dependence and applications to spectral gaps

Nurgissa Yessirkegenov, Amir Zhangirbayev|arXiv (Cornell University)|2026. 02. 05.

Geometry and complex manifolds인용 수 0

한 줄 요약

이 논문은 명시적인 기하학적 의존성을 가진 L^p-포아뇌르 불평등에 대한 Lebesgue 측도와 Gaussian 측도 모두에 대한 안정성 추정치를 증명하고, Dirichlet p-Laplacian에 대한 새로운 근본적 간격(갭) 하한을 도출한다.

ABSTRACT

In this paper, we obtain stability results for the $L^{p}$-Poincaré inequality for both Lebesgue and Gaussian probability measures (Theorem 3.3 and Theorem 3.13) that involve explicit dependence on the geometry of the domain. As a byproduct, the explicit constant allows us to recover important results of Yu, Zhong [YZ86] and Smits [Smi96] (Corollary 3.9), related to the fundamental gap conjecture of the Laplacian (resolved by Andrews and Clutterbuck [AC11]), thereby providing an alternative proof. Moreover, we extend this spectral gap result to the $p$-Laplacian (Corollary 3.6). Such gap estimates for the Dirichlet $p$-Laplacian appear to be unavailable, as also observed in [DSW18]. Our approach relies on properties of the first eigenfunction of the (Gaussian) $p$-Laplacian operator and weighted Poincaré inequalities for log-concave measures on convex domains.

연구 동기 및 목표

• 명시적 기하학적 의존성을 가진 L^p-포아뇌르 불평등의 안정성 연구.
• 영역 기하학에 의존하는 명시적 상수를 갖는 정량적 안정성 경계를 도출.
• Gaussian 측도에 안정성 결과를 확장하고 p-라플라시안의 스펙트럼 간격과 관련지음.
• 안정성 프레임워크를 적용하여 Dirichlet p-Laplacian의 근본 간격 추정치를 얻는다.
• 라플라시안에 대한 알려진 결과와의 연계 및 고유함수 특성 활용.

제안 방법

• Picone-type C_p 함수형을 이용하여 L^p-포아뇌르 불평등에 대한 remainder 항등식을 도출한다 (Theorem 3.1).
• C_p 제어 및 고유함수 특성으로 remainder의 하한을 얻는다 (Lemmas 2.6, 2.7, 2.11, 2.12).
• 볼록 영역에서 로그-제곱 가중 포아뇌르 부등식을 적용하여 국소 안정성에서 전역 안정성으로 넘어간다 (Theorem 2.4).
• 영역 지름에 대한 안정성 상수의 명시적 기하학적 의존성을 확립한다 (Corollary 3.9 및 Theorem 3.3).
• Gaussian 측도에 대하여 Gaussian p-Laplacian 및 log-concave 측도에 대한 Colesanti–Qin–Salani 결과를 사용하여 접근법을 확장한다 (Theorem 3.11 및 Theorem 3.13).
• Dirichlet p-Laplacian의 스펙트럴 간격 추정치를 도출한다 (Corollary 3.6) 및 p=2에 대한 고전적 기본 간격을 복원한다 (Corollaries 3.4, 3.9).

실험 결과

연구 질문

• RQ1 L^p-Poincaré 불평등이 영역 직경에 의존하는 명시적 기하상수로 안정화될 수 있는가?
• RQ2 안정성이 유사한 명시적 상수로 Gaussian 측도에도 확장되는가?
• RQ3 이러한 안정성이 Dirichlet p-Laplacian의 스펙트럴 간격에 어떤 시사점을 주는가?
• RQ4 이 접근법으로 p=2에 대한 알려진 기본 간격 결과를 복원하고 p>2로 확장할 수 있는가?
• RQ5 Picone-type 함수형 C_p가 유클리드 공간과 Gaussian 설정 모두에서 안정성 remainder를 어떻게 제어하는가?

주요 결과

• Ω의 지름(diam(Ω))에 대해 명시적 상수를 갖는 안정성 불변식이 증명된다: ∫ |∇u|^p - λ1(p,Ω) ∫ |u|^p ≥ (π_p/diam(Ω))^p [dist(u, 최적화자 매니폴드)]^p.
• p≥2이고 지름이 있는 볼록 영역 Ω에 대해 거리는 고유공간 E_Poin까지의 거리로 측정되며 바운드에 d(u,E_Poin)^p가 나타난다.
• 가우시안 측정의 유사 결과가 확립되어 E_Poin^γ를 최적화자로 하는 병행 안정성 결과와 d(u,E_Poin^γ)^p를 가진다.
• Dirichlet p-Laplacian의 스펙트럴 간격 추정치를 도출한다: λ2−λ1 ≥ (1/2^{p-2})(π_p/diam(Ω))^p C(p,Ω,u1,u2).
• p=2로 특수화하면 Yu–Zhong–Smits의 근본 간격을 회복한다: λ2−λ1 ≥ π^2/diam(Ω)^2.
• 일반 볼록 영역에서 Dirichlet p-Laplacian에 대한 최초의 명시적 갭 추정치를 제공한다.