Infinity-harmonic functions in the plane: Regularity by injectivity

기술 요약: 평면에서의 무한-조화 함수: 단사성(Injectivity)에 의한 정칙성

문제 제기
본 논문은 평면($\mathbb{R}^2$)에서 $\infty$-조화 함수의 정칙성에 관한 오랜 난제를 다룬다. 구체적으로, $\infty$-라플라스 방정식 $\Delta_\infty u = \nabla u \cdot D^2 u \nabla u = 0$의 점성 해(viscosity solution)의 기울기(gradient)가 $1/3$-Hölder 연속성($C^{1, 1/3}$)을 갖는지 조사한다. 해가 $C^1$이며 그 기울기가 국소적으로 $\alpha$-Hölder 연속($\alpha > 0$)임은 이미 확립되어 있으나, 일반적인 경우에 대해 $\alpha$에 대한 균등한 양의 하한(uniform positive lower bound)을 증명하는 것은 이루어지지 않았다. 본 논문은 Aronsson의 해인 $u(x,y) = x^{4/3} - y^{4/3}$이 일반적인 경우 $1/3$-Hölder보다 더 나은 정칙성은 불가능함을 보여준다.

방법론
저자 Karl K. Brustad는 특정 기하학적 제약 조건 하에서 $\infty$-라플라스 방정식과 1차원 열방정식(caloric structure) 사이의 연결 고리를 확립한다. 핵심 방법론은 다음 단계들을 포함한다:

1. 단사성 가정: 분석은 기울기 사상 $\nabla u$가 단사(특히 메트릭 단사 조건 $|\nabla u(x) - \nabla u(y)| \ge C_1 |x-y|$를 만족함)인 영역으로 제한된다. 이는 역사상 $f: B \to \Omega$ (여기서 $B = \nabla u(\Omega)$)의 립시츠 연속적인 존재를 보장한다.
2. 레장드르 변환 및 변수 변환: 저자는 역사상을 위한 포텐셜 함수 $w(p) = p^\top f(p) - u(f(p))$를 구성한다. 매끄럽고 국소적으로 일대일 대응인 변수 변환이 도입되어, $p = e^{-t}[\cos \psi, \sin \psi]^\top$로 매개화된 $(\psi, t)$에 의해 기울기 공간을 도메인 $D$로 매핑한다. (여기서 $e^{-t}$는 기울기의 크기를, $\psi$는 방향을 나타낸다.)
3. 열적 구조(Caloric Structure): 변환된 함수 $h(\psi, t) = w(p(\psi, t))$가 열방정식 $h_{\psi\psi} = h_t$를 만족함을 증명한다. 결과적으로, 이 좌표계에서 표현된 원래의 함수 $u$ 또한 열적(caloric)이다.
4. 유선 분석(Streamline Analysis): $\infty$-하조화(subharmonic) 및 $\infty$-상조화(superharmonic) 함수의 극대 상승 및 하강 유선의 존재를 활용하여, 기울기의 크기가 비감소하는 곡선을 따라 기울기의 거동을 분석한다.
5. 테일러 전개 및 노달 분석(Nodal Analysis): 정칙성 경계치를 확립하기 위해, 저자는 $v_\psi$가 0이 되는 지점 주변에서 열적 함수 $v$의 테일러 전개를 수행한다. 열 다항식(예: $r_3, r_4$)과 그 노달 도메인을 분석함으로써, $v_\psi = 0$이면 $v_t \neq 0$임을 입증한다. 이러한 비퇴화성(non-degeneracy)은 후속 추정에 결정적이다.
6. 역함수 추정: $v_\psi$의 임계점에서 포텐셜 $w$의 헤시안(Hessian)의 비퇴화성을 사용하여, 역사상 $f$의 3차 전개를 유도한다. 이를 통해 국소적으로 $|f(p+h) - f(p)| \ge C|h|^3$라는 추정치를 얻는다.

주요 기여 및 결과
주요 결과는 정리 1.1이며, 다음과 같이 명시한다:
$\Omega \subseteq \mathbb{R}^2$의 열린 집합 내에서 $u$가 $\infty$-조화이고 $\nabla u \neq 0$이며, 기울기가 메트릭 단사 조건 $|\nabla u(x) - \nabla u(y)| \ge C_1 |x-y|$를 만족할 때, $\Omega$ 내의 국소적 영역에서 상수 $C_2$가 존재하여 다음을 만족한다:
$$|\nabla u(x) - \nabla u(y)| \le C_2 |x-y|^{1/3}$$

논문은 이론을 설명하기 위해 두 가지 구체적인 예시를 제공한다:

1. 정사각형에서의 $\infty$-포텐셜: 점원을 가진 정사각형에서의 디리클레 문제를 푸는 해는 부분 정사각형 내에서 가역적인 기울기를 가짐을 보인다. 연관된 열적 함수는 야코비 세타 함수(Jacobi Theta functions)를 사용하여 명시적으로 구성된다. 이 결과는 기울기가 정확히 $v_\psi=0$인 대각선 근처에서 $C^{1, 1/3}$이며, 그 외의 곳에서는 실해석적(real-analytic)임을 확인시켜 준다.
2. Aronsson의 해: 고전적인 특이 해인 $u = \frac{3}{4}(x^{4/3} - y^{4/3})$를 재검토한다. 분석 결과, 비매끄러움(non-smoothness)은 기울기 방향이 축과 일치할 때($v_\psi = 0$) 정확히 발생하며, 유도된 정칙성은 알려진 $1/3$-Hölder 거동과 일치함을 확인하였다.

의의 및 주장
본 논문은 기울기 사상의 단사성을 전제로, 평면에서의 $\infty$-조화 함수의 기울기가 $1/3$-Hölder 연속임을 증명하는 결과를 제공한다고 주장한다. 저자는 단사성이 필수 조건은 아니지만(평면이나 원뿔과 같은 매끄러운 해들이 존재하므로), 이 조건을 통해 접근한 "열적 구조"가 최적의 정칙성 경계치를 도출하기에 충분하다고 강조한다.

저자는 증명이 $\nabla u \neq 0$인 상황에 국한되어 있으며 현재 임계점을 포함하지 않는다는 점을 겸허히 언급하였으나, $t \to \infty$로의 극한 분석을 통해 가능할 수 있다고 덧붙였다. 또한, 단사성 조건을 (메트릭 바운드 없는) 단순 단사성으로 약화할 수 있을 것이라 제안했으나, 이를 위해서는 뒷받침되는 보조 정리들의 개선된 버전이 필요하다고 밝혔다. 이 연구는 $\infty$-라플라스 방정식과 열방정식 사이의 연결 고리에 의존하며, 이 연결은 이전에 Aronsson에 의해 관찰되었으나 여기서는 구체적인 정칙성 추정치를 얻기 위해 공식화되었다.