[논문 리뷰] A new version of Brakke's local regularity theorem

Ananda Lahiri|arXiv (Cornell University)|2016. 01. 25.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 3

한 줄 요약

이 논문은 유클리드 공간 내에서 정수 Brakke 유동에 대한 Brakke의 국소 정칙성 정리의 새로운 판을 제시하며, 초기 높이가 작고, 측도에 대한 유계성 조건과 질량이 0이 아니라는 조건 하에, 매끄럽고 그래픽적인 정칙성의 시간 간격을 최종 시간 $ t_2 $까지 연장한다. 주요 진전은 초기에 국소적으로 그래픽적이며 기울기가 작은 유동이 $ t_2 $까지 그래픽적이고 매끄럽게 유지됨을 증명한 것이다. 이는 Brakke와 White의 정칙성 정리들을 Brakke 유동의 약한 설정으로 일반화한 것이다.

ABSTRACT

Consider an integral Brakke flow $(μ_t)$, $t\in [0,T]$, inside some ball in Euclidean space. If $μ_{0}$ has small height, its measure does not deviate too much from that of a plane and if $μ_{T}$ is non-empty, then Brakke's local regularity theorem yields that $(μ_t)$ is actually smooth and graphical inside a smaller ball for times $t\in (C,T-C)$ for some constant $C$. Here we extend this result to times $t\in (C,T)$. The main idea is to prove that a Brakke flow that is initially locally graphical with small gradient will remain graphical for some time. Moreover we use the new local regularity theorem to generalise White's regularity theorem to Brakke flows.

연구 동기 및 목표

• 정수 Brakke 유동의 맥락에서 Brakke의 국소 정칙성 정리를, $ t_2 - C $까지가 아니라 최종 시간 $ t_2 $까지 정칙성을 보장하도록 확장하는 것.
• 초기에는 국소적으로 그래픽적이며 기울기가 작은 Brakke 유동이 측도 및 높이 제약 조건 하에 $ t_2 $를 포함하는 양의 시간 간격 동안 그래픽적이고 매끄럽게 유지됨을 보장하는 것.
• White의 국소 정칙성 정리를 Brakke 유동으로 일반화하여, 가우시안 밀도 비율이 1에 가까울 경우 곡률 추정과 그래픽 정칙성을 유도함을 보이는 것.
• 모노토닉성 공식과 측도론적 추정의 정교한 활용을 통해 약한 평균 곡률 유동에서의 정칙성에 대한 엄밀한 프레임워크를 제공하는 것.

제안 방법

• Huisken의 모노토닉성 공식과 Ecker의 컷오프 함수를 통한 국소화를 이용하여 측도 감쇠와 곡률 행동을 제어하는 것.
• 시간에 따라 변화하는 새로운 그래픽 표현 $ u(t, \bullet) $를 도입하여 기울기 $ \sup |Du| \leq \alpha_0^{-1} \rho^{-2}(t - t_1) $를 통제함으로써 매끄러움을 보장하는 것.
• 초기 슬래브에서 평탄함에서의 이탈을 제어하기 위해 개선된 높이 유계와 평면과의 측도 비교를 적용하는 것.
• 가우시안 밀도 비율이 1에 가까울 경우를 바탕으로 한 새로운 국소 정칙성 조건을 수립함으로써 White의 정리와 유사한 조건을 Brakke 유동으로 확장하는 것.
• 반복적인 부분수열 수렴 추론과 컴팩턴스를 활용하여 중첩된 도메인에서의 한계 Brakke 유동을 구성함으로써 척도 간 일관성을 확보하는 것.
• Ilmanen과 Ecker의 모노토닉성 및 곡률 추정에 기반한 작업을 활용하여, 초기 데이터가 작을 조건 하에 균일한 유계를 도출하는 것.

실험 결과

연구 질문

• RQ1 Brakke의 국소 정칙성 정리는 $ t_2 - C $까지가 아니라 최종 시간 $ t_2 $까지 매끄럽고 그래픽적인 정칙성을 보장할 수 있는가?
• RQ2 기울기가 작은 국소 그래픽 Brakke 유동이 초기에 국소적으로 그래픽하다면, 어떤 조건 하에 $ t_2 $를 포함하는 양의 시간 간격 동안 그래픽적이고 매끄럽게 유지되는가?
• RQ3 White의 가우시안 밀도 비율 기반 곡률 추정은 정수 Brakke 유동의 맥락으로 일반화될 수 있는가?
• RQ4 작은 높이, 평면에서의 측도 이탈, 비영인 질량 등의 측도론적 및 기하학적 제약 조건을 어떻게 활용하여 장기간의 정칙성을 확보할 수 있는가?
• RQ5 작은 초기 데이터와 측도 유계성 조건 하에서 Brakke 유동의 그래픽 정칙성이 유지되는 최적의 시간 간격은 무엇인가?

주요 결과

• 초기 측도가 높이 $ \gamma\rho $인 좁은 슬래브 내에 있고, $ \gamma \in [0, \gamma_0] $일 때, 그리고 $ t_1 $에서의 측도가 $ (2 - \lambda)\omega_n \rho^n $ 이하일 경우, Brakke 유동에 대해 매끄럽고 그래픽적인 정칙성을 보장하는 새로운 국소 정칙성 정리가 확립된다.
• 정칙성의 시간 간격이 $ I = (t_1 + \gamma^{\alpha_0}\rho^2, t_2) $로 연장되며, $ \alpha_0 \in (0,1) $ 이므로, 정칙성이 최종 시간 $ t_2 $까지 유지됨을 보여주며, 그 이전까지만 유지된다는 기존 결과를 초월한다.
• 다음 조건을 만족하는 $ C^\infty(I \times \mathbf{B}^n(\hat{a}, \gamma_0\rho), \mathbb{R}^k) $의 그래픽 표현 $ u $가 존재한다: $ \mu_t \mathop{\vrule height=5.59721pt,depth=0.0pt,width=0.51663pt\vrule height=0.4736pt,depth=0.0pt,width=4.73611pt} \mathbf{C}(a, \gamma_0\rho, \rho) = \mathscr{H}^n \mathop{\vrule height=5.59721pt,depth=0.0pt,width=0.51663pt\vrule height=0.4736pt,depth=0.0pt,width=4.73611pt} \mathrm{graph}(u(t, \cdot)) $로, 이는 매끄럽고 그래픽성을 보장한다.
• 그래프의 기울기는 균일하게 제어된다: $ \sup |Du(t, \cdot)| \leq \alpha_0^{-1} \rho^{-2}(t - t_1) $로, 이는 모든 $ t \in I $에서 유동이 그래픽적이고 매끄럽게 유지됨을 보장한다.
• 새로운 White 유형의 정칙성 정리가 증명되었다: 가우시안 밀도 비율이 1에 가까울 경우, Brakke 유동은 국소적으로 그래픽적이고 매끄럽게 된다. 이는 White의 결과를 약한 설정으로 일반화한 것이다.
• 증명은 정교한 측도 추정, 모노토닉성 공식, 반복적인 컴팩턴스 추론을 기반으로 하며, 중첩된 도메인에서 일致하는 한계 Brakke 유동을 구성함으로써 정칙성 전파를 보장한다.