[논문 리뷰] Stable $s$-minimal cones in $\mathbb{R}^3$ are flat for $s\sim 1$

Xavier Cabré, Eleonora Cinti외 1명|arXiv (Cornell University)|2017. 10. 24.

Nonlinear Partial Differential Equations참고 문헌 11인용 수 3

한 줄 요약

이 논문은 $ℝ^3$에서 $s$가 1에 매우 가까운 경우, 유일한 안정적인 $s$-최소 콘은 반공간뿐이며, 이는 차원이 2보다 큰 경우에 대해 안정적인 비국소 최소 콘에 대한 첫 번째 분류 결과를 확립한다. 증명은 비국소 제2 기본형식을 포함하는 기하학적 제2변화 공식과 정밀한 BV 추정에 기반하며, $s=1$에서의 컴팩트니스 추론을 피하기 위해 $s$가 1에 가까운 경우에 대한 명시적 양적 한계를 제공한다.

ABSTRACT

We prove that half spaces are the only stable nonlocal $s$-minimal cones in $\mathbb{R}^3$, for $s\in(0,1)$ sufficiently close to $1$. This is the first classification result of stable $s$-minimal cones in dimension higher than two. Its proof can not rely on a compactness argument perturbing from $s=1$. In fact, our proof gives a quantifiable value for the required closeness of $s$ to $1$. We use the geometric formula for the second variation of the fractional $s$-perimeter, which involves a squared nonlocal second fundamental form, as well as the recent BV estimates for stable nonlocal minimal sets.

연구 동기 및 목표

• 차원이 2보다 큰 경우, $s$가 1에 가까운 $ℝ^3$에서 안정적인 $s$-최소 콘을 분류하는 것. 이는 기존의 $s=1$ 및 $n=2$ 결과를 고차원으로 확장하는 것이다.
• 비국소 설정에서 컴팩트니스 추론이 실패하는 문제를 극복하는 것. 즉, $s_k \uparrow 1$인 안정 콘의 수열은 둘레가 유계가 아닐 수 있으므로 수렴하지 않을 수 있다.
• 안정적인 $s$-최소 콘의 평탄성 보장에 필요한 $s$의 양적 임계값을 설정하는 것. 이는 고전적 경우에 의존하지 않는 비퍼티urbation 증명을 제공한다.
• 최근에 확립된 안정적인 비국소 최소 집합에 대한 정밀한 BV 및 에너지 추정을 적용하여 $s$-최소 콘의 경계 기하학을 제어하는 것.

제안 방법

• 분수 차수 $s$-둘레에 대한 기하학적 제2변화 공식을 사용하여, 비국소 제2 기본형식의 제곱을 포함하는 안정성 분석을 수행한다.
• 안정적인 비국소 최소 집합에 대한 정밀한 $BV$ 및 에너지 추정을 적용하여 $\Sigma$의 경계의 총변동 및 정칙성 제어를 수행한다.
• 단위 구면 $S^2$에 대한 $\partial\Sigma$의 추적을 분석하고, 유한한 수의 $C^1$ 곡선 $\gamma_i$로 분해하며, 각 곡선의 길이를 $L_i$로 표기한다. 제2변화를 통해 법선 벡터 차이와 커널 $k_s(\hat{x},\hat{y}) = |\hat{x}-\hat{y}|^{-2-s}$를 포함하는 핵심 부등식을 유도한다.
• 추적에 두 개 이상의 곡선이 존재한다고 가정하는 모순 증명을 사용한다. $J>1$일 경우, 서로 다른 곡선 쌍에 대해 $|\nu_\Sigma(\hat{x}) - \nu_\Sigma(\hat{y})|^2 k_s(\hat{x},\hat{y})$의 가중 적분 합이 하한을 가지며, 이는 $s$가 1에 가까울 때 $C^1$-정칙성과 큰 원에 대한 $C^{1/4}$-근접성과 모순된다.
• 피복 구조 논증과 점성 해 이론을 활용하여, 경계가 리프시츠 그래프이면 그 자체로 $C^\infty$이자 초평면임을 보이고, 이는 $\Sigma$가 반공간임을 의미한다.
• 정밀한 $L^2$-형 추정과 비국소 커널을 활용하여, 특히 반대 또는 동일한 방향을 가진 곡선이 큰 원에 가까이 있을 경우 다수의 곡선 존재 시 모순을 도출한다.

실험 결과

연구 질문

• RQ1 비국소 최소 콘의 안정성 분류에서, $s$가 1에 충분히 가까운 경우 $\mathbb{R}^3$에서 반공간 이외의 형태가 존재하지 않는가?
• RQ2 비국소 설정에서 $s=1$ 근처의 컴팩트니스 추론에 의존하지 않고, $\mathbb{R}^3$에서 안정적인 $s$-최소 콘의 분류를 달성할 수 있는가?
• RQ3 $s$가 1에 가까운 경우에 안정적인 $s$-최소 콘의 평탄성을 보장하는 데 필요한 정량적 임계값은 무엇인가?
• RQ4 비국소 제2 기본형식을 포함하는 비국소 제2변화 공식은 $s$-최소 콘의 기하학적 구조에 어떻게 제약을 가하는가?
• RQ5 정밀한 $BV$ 추정을 사용하여 안정적인 비국소 최소 집합의 특성을 활용해 $\mathbb{R}^3$에서 평탄하지 않은 구성이 제거될 수 있는가?

주요 결과

• 차원 $n > 2$에서 안정적인 $s$-최소 콘은 $s$가 1에 충분히 가까운 경우에만 반공간뿐이며, 이는 고차원에서의 첫 번째 분류 결과이다.
• 1에 가까운 $s$의 필요 조건은 정량적으로 명시 가능하다. 증명은 유일한 상수 $C$를 제공하며, $s > 1 - \delta$를 만족하는 어떤 $\delta > 0$에 대해서도, $C$에 의존하는 조건에서 유일한 안정적인 형태는 반공간뿐이다.
• 증명은 $s=1$에서의 컴팩트니스 추론에 의존하지 않으며, $s_k \uparrow 1$에 대한 안정 콘 수열이 $S^2$에서 둘레가 무한히 증가할 수 있으므로 전처리 수렴성에 실패할 수 있다.
• 분수 $s$-둘레에 대한 제2변화 공식은 제곱된 비국소 제2 기본형식을 포함하며, 이는 분석의 핵심 요소이며, 구면 추적에 다수의 곡선이 존재할 경우 모순을 유도한다.
• 콘의 경계가 리프시츠 그래프이면, 그 자체로 $C^\infty$이며 초평면이 되며, 이는 콘이 반공간임을 의미한다.
• 구면 추적에 두 개 이상의 곡선이 존재한다고 가정할 경우 모순이 발생한다. 반대 방향의 곡선이 있거나, 같은 방향의 곡선 사이에 제3의 곡선이 존재할 경우, 제2변화에 대한 하한이 안정성 부등식을 위반하게 되며, 이는 $s$가 1에 가까울 때 성립한다.