[논문 리뷰] Fractional Perimeter and Nonlocal Minimal Surfaces

Luca Lombardini|arXiv (Cornell University)|2015. 08. 25.

Nonlinear Partial Differential Equations참고 문헌 24인용 수 5

한 줄 요약

이 학위논문은 분수 s-둘레와 비국소 최소 표면의 기초 이론을 수립하며, 분수 평균 곡률 방정식의 점성 해를 통해 s-최소 집합의 존재성과 정칙성을 증명한다. s-최소 집합이 분수 평균 곡률을 포함하는 점성 형태의 오일러-라그랑주 방정식을 만족하고, 평탄성 조건 하에서 호일더 연속성(C^{1,α})을 갖는다는 것을 보이며, 균일한 밀도 추정과 변형 기법을 사용하여 고전적 데 지오르기 유형의 정칙성 결과를 비국소 설정으로 확장한다.

ABSTRACT

This Master's thesis presents a study of the basic properties of the s-fractional perimeter and of the regularity theory of the corresponding s-minimal sets. In particular, we give full detailed proofs for all the Theorems contained in the article "Nonlocal Minimal Surfaces" by Caffarelli, Roquejoffre and Savin, where these s-minimal sets were introduced and studied for the first time.

연구 동기 및 목표

• 분수 s-둘레 이론을 고전적 둘레의 비국소 일반화로 발전시키기 위해.
• 변분법의 직접 방법을 통해 s-최소 집합의 존재성을 확립하기 위해.
• s-최소 집합이 s-분수 평균 곡률을 포함하는 점성 형태의 오일러-라그랑주 방정식을 만족한다는 것을 증명하기 위해.
• 특히 평탄성 가정 하에서 s-최소 집합의 경계의 정칙성을 조사하기 위해.
• 균일한 밀도 추정과 평탄성 향상 기법을 사용하여 고전적 데 지오르기 유형의 정칙성 결과를 비국소 설정으로 확장하기 위해.

제안 방법

• 가글라르도 반노름을 사용하여 분수 s-둘레를 정의한다: $ P_s(E, \Omega) = \frac{1}{2} \left( [\chi_E]_{W^{s,1}(\mathbb{R}^n)} - [\chi_E]_{W^{s,1}(C\Omega)} \right) $.
• 고정된 외부 데이터를 가진 경우, 분수 소볼레프 컴actness와 파투의 보조정리를 활용한 변분법의 직접 방법을 통해 s-최소 집합의 존재성을 증명한다.
• 최소화자의 국소 균일 수렴과 깔끔한 구 조건을 확보하기 위해 s-최소 집합에 대한 균일한 밀도 추정을 수립한다.
• 점성 의미에서 오일러-라그랑주 방정식을 증명한다: 내부 탄젠트 구를 가진 점에서 $ \limsup_{\delta \to 0} I^s_\delta[E](x) \leq 0 $.
• 데 지오르기의 영감을 얻어 평탄성 향상 기법을 적용하여, $ \partial E \cap B_1 \subset \{ |x_n| \leq \epsilon_0 \} $ 이면 $ \partial E \cap B_{1/2} $ 가 $ C^{1,\alpha} $ 임을 보인다. 여기서 $ \alpha < s $ 이다.
• 서명 거리 함수와 튜브 이론을 활용하여 $ \bar{d}_E $ 의 정칙성과 경계의 매끄러움을 연결하며, 상수 랭크 정리와 디니의 은둔함수정리를 활용한다.

실험 결과

연구 질문

• RQ1 분수 s-둘레는 비국소 설정에서 고전적 둘레를 어떻게 일반화하는가?
• RQ2 주어진 외부 데이터 하에서 s-최소 집합이 존재하는 조건은 무엇인가?
• RQ3 s-최소 집합에 대한 적절한 오일러-라그랑주 방정식의 형태는 무엇이며, 어떤 의미에서 성립하는가?
• RQ4 평탄성 가정 하에서 s-최소 집합의 경계가 정칙성을 띠는 것으로 보일 수 있는가?
• RQ5 개선된 평탄성 기법과 같은 고전적 정칙성 기법이 분수 s-둘레 프레임워크로 어떻게 확장되는가?

주요 결과

• Hausdorff 차원이 $ n-1 $ 를 초과하는 $ \partial E $ 에 대해서도 분수 s-둘레는 잘 정의되고 유한하다. 이는 둘레의 비국소 일반화를 시사한다.
• 모든 열린 집합 $ \Omega $ 와 고정된 외부 데이터 $ E_0 \setminus \Omega $ 에 대해, $ F \setminus \Omega = E_0 \setminus \Omega $ 를 만족하는 모든 $ F $ 중에서 $ P_s(F, \Omega) $ 를 최소화하는 s-최소 집합 $ E $ 가 $ \Omega $ 내에 존재한다.
• s-최소 집합은 내부 탄젠트 구를 가진 점에서 점성 의미에서 오일러-라그랑주 방정식 $ \limsup_{\delta \to 0} I^s_\delta[E](x) \leq 0 $ 을 만족한다.
• 집합이 충분히 평탄할 경우, 즉 $ \partial E \cap B_1 \subset \{ |x_n| \leq \epsilon_0 \} $ 이고 $ \epsilon_0 = \epsilon_0(n,s,\alpha) $ 가 충분히 작을 경우, s-최소 집합의 경계는 어떤 점 주변에서 $ C^{1,\alpha} $ 이다.
• 분수 평균 곡률 $ I_s[E](x) $ 는 $ C^2 $-정규 집합에 대해 분수 둘레의 첫 번째 변분이며, 고전적 변분법과의 일관성을 확인한다.
• 경계 주위의 튜브 이론에서 서명 거리 함수 $ \bar{d}_E $ 의 정칙성은 $ \partial E $ 의 $ C^k $ 매끄러움과 동치이며, $ \bar{d}_E \in C^k $ 이면 $ \partial E $ 는 $ C^k $ 초면임을 의미한다.