[논문 리뷰] Sharp quantitative Faber-Krahn inequalities and the Alt-Caffarelli-Friedman monotonicity formula

M. Allen, Dennis Kriventsov외 1명|arXiv (Cornell University)|2021. 07. 07.

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

한 줄 요약

이 논문은 단순 연결된 공간 형태(유클리드 공간, 쌍곡 공간, 그리고 둥근 구면)에서 날카럽고 정량적인 Faber-Krahn 부등식을 수립한다. 이를 통해 동일한 부피를 가진 도메인 Ω와 지측 구 B 사이의 첫 번째 딜리클레 고유값 간격이 L1 대칭차이 |Ω∆B|²과 그들의 첫 번째 고유함수 간 L2 거리 양쪽을 모두 통제함을 증명한다. 이 결과는 이전 연구를 비유클리드 기하학 환경으로 확장하며, 에너지 손실이 척도 간에 어떻게 반평면 해에 가까워지는지 연결하는 Alt-Caffarelli-Friedman 단조성 공식의 정량적 형태를 제공한다.

ABSTRACT

The objective of this paper is two-fold. First, we establish new sharp quantitative estimates for Faber-Krahn inequalities on simply connected space forms. We prove that the gap between the first eigenvalue of a given set $Ω$ and that of the ball quantitatively controls both the $L^1$ distance of this set from a ball {\it and} the $L^2$ distance between the corresponding eigenfunctions: \[ λ_1(Ω) - λ_1(B) \gtrsim |ΩΔB|^2 + \int |u_Ω - u_B|^2, \] where $B$ denotes the nearest geodesic ball to $Ω$ with $|B|=|Ω|$ and $u_Ω$ denotes the first eigenfunction with suitable normalization. On Euclidean space, this extends a result of Brasco-De Phillipis-Velichkov; the eigenfunction control largely builds upon new regularity results for minimizers of critically perturbed Alt-Cafarelli type functionals in our companion paper. On the round sphere and hyperbolic space, the present results are the first sharp quantitative results with respect to any distance; here the local portion of the analysis is based on new implicit spectral analysis techniques. Second, we apply these sharp quantitative Faber-Krahn inequalities in order to establish a quantitative form of the Alt-Caffarelli-Friedman (ACF) monotonicity formula. We show that the energy drop in the ACF monotonicity formula from one scale to the next controls how close a pair of admissible functions is from a pair of complementary half-plane solutions. In particular, when the square root of the energy drop summed over all scales is small, our result implies the existence of tangents (unique blowups) of these functions.

연구 동기 및 목표

• 단순 연결된 공간 형태인 유클리드, 쌍곡, 그리고 구면 기하학에서 Faber-Krahn 부등식의 날카로운 정량적 안정성 추정을 수립하는 것.
• 도메인 Ω와 가장 가까운 지측 구 B 사이의 거리를 L1 대칭차이 |Ω∆B|²과 고유함수 차이의 L2 노름 ‖uΩ−uB‖²를 통해 정량화하는 것.
• 이 추정을 바탕으로 Alt-Caffarelli-Friedman 단조성 공식의 정량적 형태를 도출하여 척도 간 에너지 손실과 보완 반평면 해에 가까운 함수 쌍의 가까움을 연결하는 것.
• 작은 누적 에너지 손실이 자유 경계 문제의 해에 대해 유일한 탄성(블로우업)이 존재함을 보이는 것.
• 특히 임계적으로 페르튜브된 Alt-Caffarelli 유형 함수성과 구 및 쌍곡 공간에서의 암묵적 스펙트럼 방법에 대해 새로운 정규성 및 스펙트럼 분석 기법을 개발하는 것.

제안 방법

• 편미분 방정식의 변분 방법과 페르튜브된 Alt-Caffarelli 함수성의 최소화자에 대한 새로운 정규성 이론을 융합하여 날카로운 정량적 Faber-Krahn 부등식을 증명한다.
• Kohler-Jobin 부등식을 사용하여 첫 번째 고유값 손실 δ(Ω) = λ1(Ω)−λ1(B)와 토크션 강성 손실을 비교함으로써, 일관된 상수 C를 통해 이 둘의 등가성을 확립한다.
• 척도 조정과 페르튜브 방법을 적용하여 문제를 거의 구형 집합으로 축소시키며, 이 경우 ACF 단조성 공식은 에너지 손실 추정을 통해 분석 가능해진다.
• 둥근 구와 쌍곡 공간에서 이전에 날카로운 정량적 결과가 없었기 때문에, 이들 기하학에서 암묵적 스펙트럼 분석 기법을 도입한다.
• 공차 수식과 지측 구의 등면적 성질을 활용하여 고유함수의 수준 집합을 통제하고 안정성 추정을 유도한다.
• 고유값 손실과 토크션 강성을 포함하는 수정된 에너지 함수성 간의 등가성을 확립함으로써, 컴actness와 페르튜브 방법을 적용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 비유클리드 공간 형태에서 첫 번째 고유값 간격 λ1(Ω)−λ1(B)가 L1 대칭차이 |Ω∆B|²과 고유함수 간 L2 거리 ‖uΩ−uB‖²를 어떻게 정량적으로 통제하는가?
• RQ2 Alt-Caffarelli-Friedman 단조성 공식을 정량적으로 강화하여 함수 쌍이 보완 반평면 해에 얼마나 가까운지 통제할 수 있는가?
• RQ3 안정성 추정 λ1(Ω)−λ1(B) ≳ |Ω∆B|² + ‖uΩ−uB‖²에서 최적의 거듭제곱 α는 무엇이며, 왜 α=2가 날카로운가?
• RQ4 구와 쌍곡 공간과 같은 곡면 기하학에서 어떻게 암묵적 스펙트럼 분석을 수행하여 정량적 Faber-Krahn 부등식을 도출할 수 있는가?
• RQ5 ACF 공식에서 작은 누적 에너지 손실이 자유 경계 문제의 해에 대해 유일한 탄성(블로우업)이 존재함을 보장하는 조건은 무엇인가?

주요 결과

• 논문은 날카로운 정량적 Faber-Krahn 부등식을 수립한다: 모든 단순 연결된 공간 형태 내의 유계 열린 도메인 Ω에 대해 λ1(Ω)−λ1(B) ≳ c(|Ω∆B|² + ∫|uΩ−uB|²)이며, 여기서 c = c(n,v)는 차원과 부피에 따라 달라지는 상수이다.
• 대칭차이와 고유함수 거리에 대한 제곱 거듭제곱 α=2는 정규 좌표계에서 타원형 페르튜브에 의해 최적이며, 이는 최적임을 입증한다.
• 둥근 구와 쌍곡 공간에서는, 이는 이전에 어떤 거리 척도에 대해서도 날카로운 정량적 결과가 없었기 때문에, 새로운 암묵적 스펙트럼 분석 기법의 개발 덕분에 최초의 날카로운 정량적 결과이다.
• 고유함수 통제는 특히 임계적으로 페르튜브된 Alt-Caffarelli 유형 함수성의 최소화자에 대한 새로운 정규성 결과로부터 도출되며, 이는 동반 논문에서 증명되었다.
• ACF 단조성 공식에서 한 척도에서 다음 척도로의 에너지 손실은 보완 반평면 해 쌍에 대한 거리 통제를 하며, 작은 누적 에너지 손실은 유일한 탄성의 존재를 암시한다.
• 고유값 손실 δ(Ω)와 수정된 에너지 함수성 ˆδ(Ω) = δ(Ω) + T(tor(Ω)−tor(B)) 간의 등가성이 Kohler-Jobin 부등식을 통해 입증되었으며, 이는 안정성 추정을 다양한 함수성 간 이동 가능하게 한다.