A characterisation of $\infty$-harmonic maps in terms of $1$-currents

기술적 요약: 1-현재(1-Currents)를 이용한 $\infty$-조화 사상( $\infty$-Harmonic Maps)의 특성 규명

문제 정의
본 논문은 두 컴팩트 리만 다양체 사이의 사상 $u: M \to N$에 대하여 미분값의 $L^\infty$-노름을 다루는 변분 문제를 조사한다. 연구의 주된 대상이 되는 범함수는 다음과 같다:
$$E_\infty(u) = \text{ess sup}_{x \in M} \sqrt{F(du(x))}$$
여기서 $F$는 직교 불변 노름(예: 힐베르트-슈미트 노름 또는 연산자 노름)으로부터 유도된 볼록하고 이차 동차적인 함수이다. 표준적인 $p$-조화 사상 문제($1 < p < \infty$)와 달리, 범함수 $E_\infty$는 미분 가능하지 않으며, 심지어 가토텍스(Gâteaux) 의미에서도 미분 가능하지 않다. 따라서 고전적인 오일러-라그랑주 방정식은 적용할 수 없다. 본 논문은 이러한 범함수에 대한 엄밀한 "임계점(critical points)"의 개념을 정의하고, 스칼라 값 $\infty$-조화 함수 및 유클리드 영역 내 벡터 값 사상에 관한 기존 연구를 확장하여, 리만 다양체 설정에서의 이러한 점들에 대한 기하학적 특성을 도출하는 것을 목표로 한다.

방법론
저자는 기하학적 측도론, 볼록 해석학, 그리고 근사 기법의 조합을 사용한다:

1. 임계성(Criticality)의 정의: 미분 가능성에 의존하는 대신, 본 논문은 프레셰(Fréchet) 부미분(subdifferential) 접근 방식을 채택한다. 사상 $u \in C^{0,1}(M; N)$는 균등 거리 메트릭에 대해 에너지 차이 몫(energy difference quotient)의 하한이 0 이상인 경우 $\infty$-조화적이라고 정의된다. 이 정의는 에너지 차이가 $u$로부터의 거리와 관련하여 이차적 하한을 가짐을 함의함이 입증되었다.

2. 벡터 값 1-현재(Vector-Valued 1-Currents): 핵심적인 기술적 도구는 도메인 다양체 $M$ 상의 벡터 값 1-현재 $T$의 도입이다. 표준적인 현재(current)와 달리, 이 객체는 "$u$-경계(u-boundary)" 연산자 $\partial_u T$를 통해 사상 $u$에 적응되어 있다. 이 연산자는 $N$을 유클리드 공간으로 임베딩하고 $N$의 평행 구조(parallelization)를 사용하여, 자명한 번들(trivial bundle) $M \times \mathbb{R}^n$ 상에서 공변 미분과 유사한 구조를 구성함으로써 구축된다.

3. $p$-조화 사상에 의한 근사: $L^\infty$의 미분 불가능성과 특이성을 처리하기 위해, 저자는 패널티 범함수 $E_p$와 관련된 $p$-조화 사상($p \to \infty$)의 수열로 $\infty$-조화 사상 $u$를 근사한다. 이를 통해 근사 수열에 대한 고전적인 오일러-라그랑주 방정식을 사용할 수 있다.

4. 측도-섹션 쌍(Measure-Section Pairs) 및 수렴: 분석에는 그래디언트의 수렴과 연관된 측도를 다루기 위해 허친슨(Hutchinson)의 연구를 확장한 측도-섹션 쌍의 개념이 활용된다. 저자는 근사 그래디언트가 극한 측도에 대해 강한 $L^2$ 수렴을 보임을 증명하며, 이는 오일러-라그랑주 방정식으로 극한을 넘기는 데 필수적이다.

5. 일반화된 질량 범함수(Generalized Mass Functionals): 일반적인 노름 $F$에 대하여, 표준적인 현재의 질량 범함수는 $F$의 르장드르 변환(Legendre transform)을 통해 정의된 일반화된 질량 범함수 $M_F$로 대체된다.

주요 기여 및 결과

• 현재를 통한 특성 규명: 본 논문은 $\infty$-조화 사상 $u$ (단, $E_\infty(u) > 0$)가 다음 두 가지 주요 조건을 만족하는 비자명하고 유한한 질량을 가진 $\mathbb{R}^n$ 값 1-현재 $T$와 연관되어 있음을 입증한다:

  1. 약한 $u$-경계 조건: $\partial_u T = 0$이 약한 의미에서 성립한다. 이 조건은 현재와 사상 $u$ 사이의 상호작용을 인코딩한다.
  2. 그래디언트 표현: 현재의 서포트(support) 위에서, 미분 $du$(또는 그 몰리파이드 버전)는 현재의 방향 벡터$\vec{T}$와 에너지 레벨$e_\infty$에 의해 결정된다. 정규(regular) $F$의 경우, 관계식은 다음과 같다:
     $$\text{grad } u = e_\infty \frac{\nabla F^*(\vec{T}^\dagger)}{\sqrt{F^*(\vec{T}^\dagger)}}$$
     여기서 $F^*$는 $F$의 르장드르 변환이다.

• 동치 정리:

  • 정리 12: $u$가 $\infty$-조화이면, 위 조건을 만족하는 현재 $T$가 존재한다.
  • 정리 14: 역으로, 사상 $u$와 현재 $T$가 경계 조건과 그래디언트 표현을 만족하면, $u$는 $\infty$-조화이며 에너지 레벨이 일치한다. 이는 임계성에 대한 필요충분조건을 제공하며, 오일러-라그랑주 방정식과 유사한 역할을 한다.

• 현재의 임계성: 현재 $T$ 자체는 도메인의 미분 동형 사상(diffeomorphism)에 의해 유도된 변분 하에서 일반화된 질량 범함수 $M_F$의 임계점임이 밝혀졌다. 이는 $M$ 상의 벡터 필드에 대한 $M_F$의 제1 변분의 소멸로 표현된다.

• 비정규 노름의 처리: 노름이 "정규"(강한 볼록성이 결여된 경우, 예: 연산자 노름 $|\cdot|_\infty$)가 아닌 경우, 논문은 더 약한 특성 규명(정리 15)을 제공한다. 여기서 현재는 곡선들의 가족으로 분해되며(Smirnov의 분해를 통해), 특성 규명은 점별 그래디언트 공식 대신 이 곡선들을 따른 적분 항등식을 포함한다.

• 컴팩트성(Compactness): 본 논문은 유계 에너지를 가진 $\infty$-조화 사상들의 집합이 균등 위상(uniform topology)에서 컴팩트함을 증명하며, 이 성질은 명제 2에서 확립된 이차 에너지 경계로부터 도출된다.

의의 및 주장
본 논문은 $\infty$-조화 사상의 이론을 스칼라 값 함수 및 유클리드 영역에서 일반적인 리만 다양체 사이의 사상으로 확장한다고 주장한다. 저자는 $L^\infty$ 범함수의 비미분성과 타겟 다양체 $N$의 기하학적 제약에서 발생하는 구체적인 어려움들을 해결한다.

이 연구의 의의는 고전적인 PDE의 존재성에 의존하지 않는 기하학적 임계점의 특성을 규명했다는 점에 있다. 대신, 사상의 본질적인 변분적 성질을 캡슐화하는 기하학적 객체(1-현재)를 식별한다. 저자는 이전의 연구들(예: Katzourakis 및 Moser)이 유클리드 설정에서의 전역적 최소화에 집중했던 반면, 본 연구는 다양한 $F$의 선택(예: Schatten 노름)을 포함하여 더 넓은 기하학적 맥락에서의 임계점을 다루는 방식으로 프레임워크를 일반화했다고 언급한다. 결과는 $L^\infty$ 변분 문제에 대한 기존의 측도론적 접근 방식에 대한 정교화이자 확장으로서 제시되며, $\infty$-조화 사상의 구조를 이해하기 위한 통일된 프레임워크를 제공한다.