On Brezis Open Problem 3.1

기술 요약: 위도 원 궤적을 갖는 약한 조화 사상의 유일성

문제 정의
본 논문은 단위 원판 $B_1 \subset \mathbb{R}^2$에서 단위 구 $S^2$로 가는 약한 조화 사상(weak harmonic maps)의 유일성에 관한 오랜 미해결 문제를 다룬다. 구체적으로, 다음 디리클레 문제(Dirichlet problem)를 고려한다:
$$-\Delta u = |\nabla u|^2 u \quad \text{in } B_1, \quad u|_{\partial B_1} = g_R,$$
여기서 경계 흔적(boundary trace) $g_R(e^{i\theta}) = (R \cos \theta, R \sin \theta, \sqrt{1-R^2})$는 $0 < R < 1$인 상수 속도로 한 번 회전하는 위도 원을 기술한다.

1983년, 브레지스(Brézis)와 코론(Coron)은 경계 흔적이 정의하는 구형 캡(spherical caps)의 등각 및 반등각 채움(conformal and anti-conformal fillings)에 대응하는 두 개의 명시적인 해 $u_+$와 $u_-$의 존재를 입증했다. 그들은 이 사상들이 각각의 상대적 호모토피 클래스(차수 $\pm 1$) 내에서 유일한 에너지 최소화(energy minimizers)임을 증명했다. 그러나 동일한 경계 데이터에 대해 비최소화 임계점(non-minimizing critical points, 즉 saddle points)이 존재할 수 있는지에 대한 의문이 남았다. 이는 브레지스의 "Favorite Open Problems" 목록에 있는 공개 문제 3.1(Open Problem 3.1)로 공식 제기되었다. 본 논문은 브레지스-코론 사상들이 해당 경계 흔적을 갖는 모든 약한 조화 사상의 집합을 모두 포괄하는지 결정하는 것을 목표로 한다.

방법론
저자들은 기하학적 분석, 복소 해석학, 그리고 변분 부등식(variational inequalities)을 결합한 "경계 강성(boundary rigidity)" 논법을 사용한다. 증명은 크게 두 단계로 진행된다:

1. 보조 포텐셜과 등주 부등식을 통한 경계 강성:

   • 보조 포텐셜: 조화 사상 $u$와 관련하여, 저자들은 $X_x = -u \times u_y$ 및 $X_y = u \times u_x$를 만족하는 전역 포텐셜 $X: B_1 \to \mathbb{R}^3$를 정의한다. 이 구성은 가우스 맵(Gauss map)/정수 mean 곡률(constant mean curvature, CMC) 대응 관계에 뿌리를 두고 있다.
   • 투영된 곡선과 대수적 면적: 저자들은 경계 곡선 $\Gamma = X|_{\partial B_1}$와 이를 수평 평면 $x_3=0$ 위로 직교 투영한 곡선 $\gamma$를 분석한다. 투영-자코비안 항등식(projection-Jacobian identity)을 사용하여, $\gamma$가 둘러싸고 있는 부호 있는 (대수적) 면적이 정확히 $\pi R^2$임을 증명한다.
   • 포호자비 항등식(Pohozaev Identity)과 길이 경계: 호프 미분(Hopf differential)에 대한 포호자비 항등식은 $\Gamma$의 길이에 대한 정확한 적분 경계를 제공한다. 구체적으로, $\int_0^{2\pi} |u_r(1, \theta)|^2 d\theta = 2\pi R^2$이다.
   • 등주 포화(Isoperimetric Saturation): 투영된 곡선 $\gamma$에 평면 등주 부등식(길이와 대수적 면적의 관계)을 적용하고, 이를 $\Gamma$의 길이와 비교함으로써 저자들은 다음과 같은 부등식 사슬을 확립한다:
     $$4\pi^2 R^2 \leq L_h^2 \leq L^2 \leq 4\pi^2 R^2.$$
     하한(정확한 대수적 면적으로부터 도출됨)과 상한(포호자비 항등식으로부터 도출됨)이 일치하기 때문에, 모든 부등식은 등식이 되어야 한다. 이 "포화" 현상은 경계에서의 점별 항등식 $|u_r| \equiv R$ 및 $u_r \cdot u_\theta \equiv 0$을 강제한다.

2. 등각 분류:

   • 호프 미분의 소멸: 위에서 도출된 경계 항등식은 호프 미분 $q(z) = u_z \cdot u_z$가 $\partial B_1$에서 소멸함을 의미한다. $q$는 $B_1$ 내에서 정칙(holomorphic)이므로, 최대 절댓값 원리에 의해 $q \equiv 0$이 된다. 따라서 사상 $u$는 약하게 등각(weakly conformal)이다.
   • 스테레오그래픽 투영과 로랑 급수: 남극 스테레오그래픽 투영을 사용하여, 사상은 경계 칼라(collar)에서의 복소 함수 $w$로 표현된다. 호프 미분의 소멸은 $w$가 정칙 함수이거나 반정칙(anti-holomorphic) 함수임을 의미한다.
   • 칼라에서의 유일성: 비소멸 경계 미분과 특정 흔적 $w(e^{i\theta}) = \rho e^{i\theta}$를 고려할 때, 로랑 급수 전개를 통해 $w$가 $\rho z$ (정칙) 또는 $\rho/\bar{z}$ (반정칙) 중 하나여야 함을 알 수 있다.
   • 전역 확장: 타원형 시스템의 실해석성(real analyticity)에 의해, 칼라에서의 이 식별은 원판 전체로 확장되어 정확히 두 개의 브레지스-코론 해를 산출한다.

주요 기여 및 결과

• 공개 문제 3.1의 해결: 본 논문은 정리 1.1을 증명하여, $0 < R < 1$에 대해 흔적 $g_R$을 갖는 $H^1(B_1; S^2)$ 내의 유일한 약한 조화 사상은 두 개의 명시적인 브레지스-코론 사상뿐임을 밝힌다. 이는 비최소화 임계점의 존재를 배제함으로써 질문에 확정적인 답을 제시한다.
• 경계 강성 메커니즘: 저자들은 투영된 포텐셜 곡선의 정확한 대수적 면적을 호프 미분의 소멸으로 전환하는 새로운 강성 논법을 도입한다. 이 메커 mechanism은 표준적인 변분 분류 방법으로는 보이지 않는 "한 번 회전하는" 위도 흔적의 기하학적 특징을 고립시킨다.
• H-시스템에 대한 적용: 본 논문은 이 유일성 결과를 두 차원 $H$-시스템(정수 mean 곡률을 갖는 등각 매립)에 적용하여 따름정리 1.2를 도출한다. 이는 주어진 단위 법선 흔적을 갖는 등각 매립 $Y: B_1 \to \mathbb{R}^3$를 분류하며, 이들이 모델 디스크 $Z_+$ 또는 $Z_-$의 강성 평행 이동이어야 함을 보여준다.
• 끝점 분석: 저자들은 $R \to 1$ (적도) 및 $R \to 0$ (극)의 극한을 분석한다. 이들은 결과가 $R=1$ (비퇴화)에서도 유효함을 보여주는 한편, $R=0$은 경계가 점으로 붕괴되는 퇴화된 경우로서 상수 사상만을 생성함을 보여준다.

의의
본 논문은 브레지스의 공개 문제 3.1에 대해 확정적인 긍정적 답변을 제공한다. 그 의의는 "한 번 회전하는" 위도 원의 경우, 더 높은 회전수나 일반적인 비볼록(non-convex) 경계 데이터에서 관찰되는 "다중성(multiplicity)" 현상이 발생하지 않음을 입증하는 데 있다. 증명은 두 개의 자연스러운 등각 및 반등가 채움이 모든 임계점을 모두 소진함을 보여주며, 이는 단순히 최소화 값만을 찾는 것이 아니라 모든 임계점을 다루는 것임을 의미한다.

이 연구는 포호자비 항등식, 호프 미분, 그리고 날카로운 평면 등주 부등식 사이의 상호작용에 의해 유도되는 특수한 기하학적 강성을 강조한다. 이 접근법은 조화 사상 이론의 유일성 문제에 대한 새로운 관점을 제공하며, 변분 방법만으로는 불충분한 경우와 기하학적 강성이 유일성을 강제하는 경우를 구분한다. 저자들은 이 메커니즘이 회전수가 $m \geq 2$인 경우(여러 임계점이 예상되는 경우)에는 붕괴된다는 점을 언급하며, 이를 통해 유일성의 지형적, 기하학적 경계를 명확히 한다.