[논문 리뷰] Free boundary minimal surfaces: a nonlocal approach

Alessandro Pigati, Francesca Da Lio|arXiv (Cornell University)|2017. 12. 13.

Nonlinear Partial Differential Equations참고 문헌 16인용 수 13

한 줄 요약

이 논문은 $rac{1}{2}$-호모지어피즘을 통해 $rac{1}{2}$-호모지어피즘을 이용한 자유 경계 최소 표면의 비국소적 접근을 제안한다. $rac{1}{2}$-호모지어피즘은 조화 연장에 의해 정의된 비국소적 에너지 함수의 임계점임을 증명하고, $rac{1}{2}$-호모지어피즘의 $C^{k-1, heta}$ 정칙성($ heta \in (0,1)$)을 입증하며, 이는 $rac{1}{2}$-호모지어피즘과 $rac{1}{2}$-호모지어피즘의 자유 경계를 가진 분기 최소 임베딩 간의 연결을 이룬다. 주요 기여는 공식적 소볼레프 공간과 커미터 추정을 이용한 $rac{1}{2}$-호모지어피즘에 대한 정칙성 이론이다.

ABSTRACT

Given a $C^k$-smooth closed embedded manifold $\mathcal N\subset{\mathbb R}^m$, with $k\ge 2$, and a compact connected smooth Riemannian surface $(S,g)$ with $\partial S eq\emptyset$, we consider $\frac 12$-harmonic maps $u\in H^{1/2}(\partial S,\mathcal N)$. These maps are critical points of the nonlocal energy \begin{equation}E(f;g):=\int_S\big| abla\widetilde u\big|^2\,d ext{vol}_g,\end{equation} where $\widetilde u$ is the harmonic extension of $u$ in $S$. We express the energy as a sum of the $\frac 12$-energies at each boundary component of $\partial S$ (suitably identified with the circle $\mathcal S^1$), plus a quadratic term which is continuous in the $H^s(\mathcal S^1)$ topology, for any $s\in\mathbb R$. We show the $C^{k-1,δ}$ regularity of $\frac 12$-harmonic maps. We also establish a connection between free boundary minimal surfaces and critical points of $E$ with respect to variations of the pair $(f,g)$, in terms of the Teichmüller space of $S$.

연구 동기 및 목표

• 닫힌 $C^k$-연속 부분다양체 $ olinebreak[4]\mathcal{N} \subset \mathbb{R}^m$ 에 대한 $ olinebreak[4]\frac{1}{2}$-호모지어피즘을 이용한 자유 경계 최소 표면의 비국소적 변분 프레임워크 수립.
• 에너지 함수 $E(f;g) = \int_S |\nabla \widetilde{u}|^2 \, d\text{vol}_g$ 분석, 여기서 $\widetilde{u}$ 는 $u \in H^{1/2}(\partial S, \mathcal{N})$ 의 조화 연장이며, 이를 경계에 대한 $ olinebreak[4]\frac{1}{2}$-에너지와 연속적인 이차항으로 분해.
• $\frac{1}{2}$-호모지어피즘의 $C^{k-1,\delta}$ 정칙성($\delta \in (0,1)$) 입증, 기존의 고전적 설정을 초월한 정칙성 결과 확장.
• 조화 연장이 수직 경계 조건을 만족할 때, $ olinebreak[4]\frac{1}{2}$-호모지어피즘과 $ olinebreak[4]\mathcal{N}$ 에서 자유 경계를 가진 분기 최소 임베딩 간 기하학적 대응 관계 수립.
• 에너지 함수 $E$ 의 임계점이 표면 $S$ 의 테이히뮐러 공간 기하학과 어떻게 연결되는지 분석하여, 메트릭 $g$ 의 등각 변화에 대해 불변임을 보임.

제안 방법

• $\frac{1}{2}$-호모지어피즘을 $u \in H^{1/2}(\partial S, \mathcal{N})$ 의 조화 연장 $\widetilde{u}$ 를 이용한 비국소적 에너지 $E(f;g)$ 의 임계점으로 정의.
• 에너지 $E(f;g)$ 를 각 경계 성분(각각 $\mathcal{S}^1$ 과 동일시됨)에 대한 $ olinebreak[4]\frac{1}{2}$-에너지의 합과 $H^s(\mathcal{S}^1)$ 에서 연속적인 이차항의 합으로 분해($s \in \mathbb{R}$).
• 모든 $v \in L^\infty \cap H^{1/2}$ 에 대해 $v \in T_u\mathcal{N}$ almost everywhere 이며, $\int_{\partial S} \frac{\partial \widetilde{u}}{\partial \nu} \cdot v \, d\text{vol}_g = 0$ 라는 조건에서 도출된 오일러-라그랑주 방정식을 이용하여 $\mathcal{D}'(\partial S)$ 에서 $P^T(u) \frac{\partial \widetilde{u}}{\partial \nu} = 0$ 를 유도.
• 리츠 변환과 분수 라플라시안에 대한 커미터 추정을 적용하여 $\nabla w$ 의 정칙성을 제어, 여기서 $w$ 는 $P^T(w)(-\Delta)^{1/2}w = h$ 의 사영된 방정식을 만족.
• 리틀우드-파일리 분해와 분수 소볼레프 공간 $H^{s,p}$ 를 사용하여 정칙성의 부스팅을 수행하여, 모든 $1 < p < \infty$, $\epsilon > 0$ 에 대해 $w \in \bigcap_{\gamma > 1/p} H^{k-1/p - \epsilon, p}_{\text{loc}}(\mathbb{R})$ 를 입증.
• 코로나리 B.7 을 적용하여 $\partial S$ 에서의 국소적 $C^{k-1,\delta}_{\text{loc}}$ 정칙성을 유도($\delta \in (0,1)$), $ olinebreak[4]\mathcal{N}$ 가 $C^\infty$-연속이면 $u$ 는 $C^\infty$-연속임을 보임.

실험 결과

연구 질문

• RQ1 조화 연장에 기반한 비국소적 에너지 함수를 통해 자유 경계 최소 표면 이론을 어떻게 재구성할 수 있는가?
• RQ2 경계가 있는 컴act 표면에서 $ olinebreak[4]\frac{1}{2}$-에너지의 정확한 분해는 무엇이며, 이는 경계에서의 $H^s$-위상과 어떻게 관련되는가?
• RQ3 만약 $ olinebreak[4]\mathcal{N}$ 이 $C^k$-연속이라면, $ olinebreak[4]u \in H^{1/2}(\partial S, \mathcal{N})$ 인 $ olinebreak[4]\frac{1}{2}$-호모지어피즘은 어떤 정칙성 성질을 유추하는가?
• RQ4 $\frac{1}{2}$-호모지어피즘과 $ olinebreak[4]\mathcal{N}$ 에서 자유 경계를 가진 분기 최소 임베딩 간의 관계는 무엇이며, 조화 연장은 어떤 역할을 하는가?
• RQ5 에너지 $E(f;g)$ 는 메트릭 $g$ 의 등각 동치류에 따라 어떻게 달라지며, 이는 표면 $S$ 의 테이히뮐러 공간과 어떻게 관련되는가?

주요 결과

• 에너지 $E(f;g)$ 는 각 경계 성분에 대한 $ olinebreak[4]\frac{1}{2}$-에너지의 합과 $H^s(\mathcal{S}^1)$ 에서 연속적인 이차항의 합으로 분해되며, 이는 경계 기여의 정밀한 분석을 가능하게 한다.
• $\frac{1}{2}$-호모지어피즘은 $P^T(u) \frac{\partial \widetilde{u}}{\partial \nu} = 0$ 이 $\mathcal{D}'(\partial S)$ 에서 성립할 때이고, 오직 그 때에만 $E(f;g)$ 의 임계점이 되며, 이는 자유 경계 조건을 특징짓는다.
• 자기 경계를 가진 $ olinebreak[4]\frac{1}{2}$-호모지어피즘의 조화 연장 $\widetilde{u}$ 는 고립점 이외에는 등각적임을 보이며, 이는 $ olinebreak[4]\mathcal{N}$ 에 대한 분기 최소 임베딩과 자유 경계를 가짐을 정의한다.
• 커미터 추정과 분수 소볼레프 공간 기법을 이용하여, 모든 $\delta \in (0,1)$ 에 대해 $ olinebreak[4]\frac{1}{2}$-호모지어피즘의 $C^{k-1,\delta}$ 정칙성이 입증됨.
• 모든 $1 < p < \infty$, $\epsilon > 0$ 에 대해 $u$ 는 $\bigcap_{\gamma > 1/p} H^{k-1/p - \epsilon, p}_{\text{loc}}(\mathbb{R})$ 에 속하며, 이는 모든 $\delta \in (0,1)$ 에 대해 $C^{k-1,\delta}_{\text{loc}}$ 정칙성을 암시함.
• 만약 $ olinebreak[4]\mathcal{N}$ 이 $C^\infty$-연속이라면, $u$ 는 $C^\infty$-연속이 되며, 이는 목표 다양체의 정칙성이 향상될 경우 정칙성이 향상됨을 보여준다.