Lipschitz regularity of harmonic map heat flows into $CAT(0)$ spaces

기술 요약: CAT(0) 공간으로의 조화 사상 열 흐름에 대한 립시츠 정칙성

문제 제기
본 논문은 CAT(0) 공간으로의 조화 사상 열 흐름(harmonic map heat flow)에 대한 약해해(weak solutions)의 정칙성 문제를 다루는 오랜 미해결 과제를 다룬다. 약해해의 존재성, 유일성 및 장기 수렴성은 1990년대 마이어(Mayer)와 요스트(Jost)가 메트릭 공간에서의 경사 흐름(gradient flow) 이론을 통해 확립하였으나, 이러한 해가 시공간 양방향에서 립시츠 연속성(Lipschitz regularity)을 갖는지 여부는 미해결 상태로 남아 있었다. 선(Lin), 세가티(Segatti), 시레(Sire), 그리고 왕(Wang)(2026)의 이전 연구는 특정 클래스의 CAT(0) 공간(특정한 점근적 성질을 가진 유클리드 공간에 임베딩 가능한 공간들)에 대해 공간 변수에 대한 립시츠 연속성과 시간 변수에 대한 1/2-Hölder 연속성을 확립함으로써 부분적인 답을 제공하였다. 저자들은 임의의 CAT(0) 공간에 대해 두 변수 모두에서 립시츠 연속성을 증명하고 파라볼릭 보크너 유형의 부등식(parabolic Bochner-type inequality)을 확립함으로써 완전한 해답을 제공하고자 한다.

방법론
저자들은 내재적 기하학적 분석, 점성해(viscosity solution) 이론, 그리고 자신들의 이전 조화 사상 연구에서 적응시킨 비선형 흐름 기술을 결ert하여 사용한다. 증명 전략은 다음 세 가지 주요 단계로 나뉜다:

1. 국소 Hölder 연속성:
   저자들은 먼저 약해해에 대한 국소 Hölder 연속성을 확립한다. 이들은 데 조르지-나시-모서(De Giorgi-Nash-Moser) 이론을 파라볼릭 설정에 맞게 적응시킨다. 핵심적인 어려움은 일반적인 $W^{1,2}$ 함수들에 대해 표준적인 파라볼릭 푸앵카레 부등식이 우변에 시간 미분 항이 없기 때문에 성립하지 않는다는 점이다. 그러나 경사 흐름의 정칙성(구체적으로 $t > 0$에서 $L^2$ 메트릭에 대한 립시츠 연속성)을 활용하여, 저자들은 수정된 국소 푸앵카레 부등식을 증명한다. 이를 통해 거리 함수 $d_Y(P, u(x,t))$에 대한 부해(subsolution) 성질을 도출하며, 반복 계산(iteration arguments)을 통해 국소 Hölder 연속성을 이끌어낸다.

2. 시간에 대한 립시츠 연속성:
   시간 변수에 대한 립시츠 연속성을 증명하기 위해, 저자들은 두 약해해 사이의 제곱 거리 $w(x,t) = d_Y^2(u(x,t), v(x,t))$에 대한 결정적인 "부해 성질"을 확립한다. 저자들은 분포 의미에서 $(\Delta - \partial_t)w \geq 2R_{u,v}$를 만족함을 보이는데, 여기서 $R_{u,v}$는 에너지 밀도의 차이와 관련된 비음수 항이다. $v(x,t) = u(x, t+s)$를 선택하고 이 부해에 최대 원리(maximum principle)를 적용함으로써, 저자들은 시간 차이에 대한 균등한 상한을 도출하여 $t \mapsto u(x, \cdot)$가 국소적으로 립시츠 연속임을 증명한다.

3. 공간에 대한 립시츠 연속성:
   공간 정칙성은 비선형 "해밀턴-자코비(Hamilton-Jacobi)" 흐름을 구성함으로써 확립된다. 두 개의 공간 변수를 포함하는 타원형(elliptic) 사례와 달리, 파라볼릭 사례는 처음에 두 개의 시간 변수($t$와 $s$)에 의존하는 것으로 보여 파라볼릭 PDE 도출을 복잡하게 만들었다. 저자들은 이미 확립된 시간 립시츠 연속성을 활용하여, 단 하나의 시간 변수에만 의존하는 "수정된" 흐름을 다음과 같이 정의한다:
   $$f_\epsilon(x, t) := \inf_{y \in \Omega} \left( \frac{e^{-2Kt} d^2(x, y)}{2\epsilon} - d_Y(u(x, t), u(y, t)) \right)$$
   저자들은 이 함수가 열 방정식의 점성 초해(viscosity supersolution)임을 증명한다. 이 흐름을 공간 그래디언트 노름(공간 평균값 부등식과 하디-리틀우드 극대 함수의 성질을 통해 연결)과 결속시킴으로써, 공간 립시츠 상수를 제한하여 국소 립시츠 연속성을 확립한다.

4. 보크너 부등식:
   마지막으로, 저자들은 거리 함수의 지수를 2에서 더 높은 정수로 높임으로써 해밀턴-자코비 접근법을 정교화한다. $p \to \infty$로 가는 극한을 분석함으로써, 공간 립시츠 상수에 대한 앨스-샘슨슨(Eells-Sampson) 유형의 보크너 부등식을 도출한다.

주요 결과
본 논문은 다음의 주요 정리들을 확립한다:

• 정리 1.3 (주요 정칙성 결과): $M$이 리치 곡률(Ricci curvature)이 $K$보다 낮은 완비 리만 다양체이고, $(Y, d_Y)$가 임의의 CAT(0) 공간일 때, 유계인 초기 데이터를 가진 조화 사상 열 흐름의 임의의 약해해 $u(x,t)$에 대하여, $u$는 공간과 시간 모두에서 $\Omega \times (0, +\infty)$ 상에서 국소적으로 립시츠 연속이다.
• 정리 1.3 (ii) (보크너 부등식): 점별 공간 립시츠 상수 $\text{lip}_x u(x,t) := \limsup_{y \to x} \frac{d_Y(u(x,t), u(y,t))}{d(y,x)}$는 $V_{2,loc} \cap L^\infty_{loc}$에 속하며 다음의 분포 부등식을 만족한다:
  $$(\Delta - \partial_t)(\text{lip}_x u)^2 \geq 2|\nabla \text{lip}_x u|^2 + 2K(\text{lip}_x u)^2$$
  이는 조화 사상에 대한 파라볼릭 버전의 보크너 부등식이다.

의의 및 주장
저자들은 임의의 CAT(0) 공간에 대해 립시츠 정칙성에 대한 질문에 "완전한 해답"을 제공함으로써, 이전의 부분적 결과들(Lin 등)에서 요구되었던 제한적인 임베딩 가정을 제거했다고 주장한다. 이 결과들은 국소 컴팩트성 여부와 관계없이 모든 CAT(0) 공간에 대해 유효하다.

저자들은 도출된 보크너 부등식(정리 1.3(ii))이 기하학적 군론의 강성 정리(rigidity theorems)에서 핵심적인 역할을 하는 고전적인 앨스-샘슨슨 부등식과 유사한 중요한 도구임을 강조한다. 또한, 섹션 3, 4, 5의 논증이 RCD 공간으로부터 CAT(0) 공간으로의 사상에도 적응될 수 있으나, 공간 립시츠 증명(섹션 7)은 현재 RCD 공간 상의 파라볼릭 방정식에 대해 아직 완전히 개발되지 않은 점성해 이론에 의존하고 있음을 언급한다.

이 연구는 마이어와 요스트의 기초적인 경사 흐름 이론과 선, 세가티, 시레, 왕의 최근 타원형 근사 방법론을 직접적으로 계승하며, 이를 확장하여 완전한 시공간 정칙성을 달성하였다.