[논문 리뷰] Fine properties of branch point singularities: Two-valued harmonic functions

Brian Krummel, Neshan Wickramasekera|arXiv (Cornell University)|2013. 11. 04.

Nonlinear Partial Differential Equations참고 문헌 6인용 수 14

한 줄 요약

이 논문은 두값 함수의 분기점 특이성의 미세 국소적 구조를 규명한다. 즉, Dirichlet 에너지 최소화 함수이거나 $C^{1,\nu}$ 조화함수인 경우, 그 분기집합은 국소적으로 $C^{1,\nu}$-정규성과 $(n-2)$-직선성((rectifiable))을 가지며, 양의 $(n-2)$-차원 하우스도르프 측도를 갖는 유한한 합집합임을 증명한다. 주요 기여는 측도의 국소 유한성과 가чёт한 $(n-2)$-직선성의 증명으로, 이는 이전에 알려진 특이집합의 하우스도르프 차원 $\leq n-2$ 를 넘어서, 기하학적·해석적 구조의 더 강력한 결과로 확장한다. 이는 분기점에서의 근사극한에서 오차항에 대한 날카운 $L^2$ 및 점별 감쇠 추정을 포함한다.

ABSTRACT

In the 1980's, Almgren developed a theory of multi-valued Dirichlet energy minimizing functions on $n$ dimensional domains and used it, in an essential way, to bound the Hausdorff dimension of the singular sets of area minimizing rectifiable currents of dimension $n$ and codimension $\geq 2$. Recent work of the second author shows that two-valued $C^{1, μ}$ harmonic functions on $n$ dimensional domains, which are typically-non-minimizing stationary points of Dirichlet energy, play an essential role in the study of multiplicity 2 branch points of stable codimension 1 rectifiable currents of dimension $n$. In all of these cases (of multi-valued harmonic functions and minimal currents), it is known that the branch sets have Hausdorff dimension $\leq n-2.$ In this paper we initiate a study of the local structure of branch sets. We show that the branch set of a two-valued Dirichlet energy minimizing function or a two-valued $C^{1, μ}$ harmonic function, in each closed ball of its domain, is either empty or has positive $(n-2)$-dimensional Hausdorff measure and is equal to the union of a finite number of locally compact, locally $(n-2)$-rectifiable sets. Our method is inspired by the work of L. Simon on the structure of singularities of minimal submanifolds in compact, multiplicity 1 classes.

연구 동기 및 목표

• 두값 조화함수의 분기점 특이성의 미세 기하학적·해석적 구조를 이해하는 것.
• 분기집합의 하우스도르프 차원에 대한 기존의 경계($\leq n-2$)를 더 강력한 정규성 결과로 확장하는 것.
• 두값 Dirichlet 에너지 최소화 함수 또는 $C^{1,\nu}$ 조화함수의 분기집합이 국소적으로 $C^{1,\nu}$-정규성과 $(n-2)$-직선성, 양의 $(n-2)$-차원 하우스도르프 측도를 갖는 유한한 합집합임을 확립하는 것.
• 분기점에서의 근사극한에서의 오차에 대한 날카운 $L^2$ 및 점별 감쇠 추정을 증명하는 것.
• 분기집합이 2-용적이 0임을 보이며, 이는 그 정규 구조의 결과임.

제안 방법

• 분기점에서의 에너지의 점근적 행동을 연구하기 위해 빈도 단조성과 근사극한 분석을 사용한다.
• 분기집합을 다룰 수 있는 조각들로 나누기 위해 거친 표현 보조정리를 적용한다.
• 초과 에너지의 사전 농도가 아닌 추정을 유도하여 특이점 근처의 농도를 통제한다.
• 동차적이고 대칭적이며 두값이고 에너지 최소화인 함수를 모델 근사극한으로 사용한 근사극한 분석.
• 오차항과 함수 및 그 근사극한 사이의 오차를 통제하기 위해 $L^2$ 감쇠 추정과 조화함수 이론을 사용한다.
• 빈도의 상부 연속성과 컴팩턴스 추론을 활용하여 분기집합의 국소 직선성과 정규성을 증명한다.

실험 결과

연구 질문

• RQ1 두값 Dirichlet 에너지 최소화 함수의 분기집합의 정확한 국소 기하학적 구조는 무엇인가?
• RQ2 두값 $C^{1,\nu}$ 조화함수의 분기집합은 정규적이며 직선적인 조각들로 분해될 수 있는가?
• RQ3 분기점에서 두값 조화함수와 그 근사극한 사이의 오차의 감쇠 속도는 무엇인가?
• RQ4 분기점의 매 근처에서 분기집합이 양의 $(n-2)$-차원 하우스도르프 측도를 갖는가?
• RQ5 이러한 함수의 분기집합은 국소적으로 측도와 직선성에 대해 유한한가?

주요 결과

• 두값 Dirichlet 에너지 최소화 함수 또는 $C^{1,\nu}$ 조화함수의 분기집합 $\mathcal{B}_u$ 는 그 정의도메인의 각 닫힌 구내에서 공집합이거나, 양의 $(n-2)$-차원 하우스도르프 측도를 갖는다.
• 분기집합 $\mathcal{B}_u$ 는 국소적으로 컴act하고 국소적으로 $(n-2)$-직선성인 유한한 합집합과 같다.
• $\mathcal{H}^{n-2}$-거의 모든 $Z \in \mathcal{B}_u$ 에 대해, $Z$ 에서의 유일한 근사극한은 형태 $\{ \pm \operatorname{Re}(c_Z (x_1 + i x_2)^{k_Z/2}) \}$ 의 대칭적이고 동차적이며 두값이고 에너지 최소화인 함수이다.
• 스케일링된 함수와 그 근사극한 사이의 $L^2$ 오차는 어떤 $\gamma_Z > 0$ 에 대해 $\sigma^{k_Z + \gamma_Z}$ 의 속도로 감쇠하며, $Z$ 에 대해 균일하다.
• 분기점 $Z_0$ 근처에서 분기집합은 차원 $n-2$ 의 $C^{1,\alpha}$ 부분다양체이며, 균일한 감쇠 추정을 갖는다.
• 점별 오차 $|\epsilon_Z(X)|^2$ 는 반지름 $\sigma/2$ 의 이웃에서 $C \sigma^{k_{Z_0} + \gamma_{Z_0}/(2n)}$ 로 유계이다. 이는 특이집합의 날카운 정규성의 확인이다.