조화지도 열 흐름의 리프시츠 정규성: CAT(0) 공간 전반에 대한 완전 해답

초록

본 논문은 CAT(0) 거리공간으로의 조화지도 열 흐름에 대해 기존의 약한 해가 공간·시간 모두에서 리프시츠 연속성을 갖는다는 것을 증명한다. 또한, 공간 미분계수에 대한 Eells‑Sampson형 보숀 부등식을 도입해 정규성의 정량적 추정도 제공한다.

상세 분석

이 연구는 1964년 Eells‑Sampson이 비양의 곡률을 가진 리만 다양체 사이의 조화지도 열 흐름에 대해 매끄러운 장기 존재와 수렴을 증명한 뒤, 1992년 Gromov‑Schoen이 CAT(0) 공간으로 일반화한 배경에서 출발한다. 기존에는 Mayer와 Jost가 CAT(0) 공간 위에서 에너지 함수를 볼록·하한반연속으로 가정하고 Crandall‑Liggett 스킴을 이용해 ‘반군집 약해 해(semigroup weak solution)’를 구축했으며, 이 해는 존재·유일성·시간 ½‑홀더 연속성을 갖는다. 그러나 리프시츠 정규성은 오랫동안 미해결 문제였으며, Lin‑Segatti‑Sire‑Wang이 ‘특정’ CAT(0) 공간(유클리드에 삽입 가능하고 작은 스케일에서 거의 등거리인 경우)에 대해 공간에서 리프시츠, 시간에서 ½‑홀더 연속성을 얻었다.

본 논문은 그 제한을 완전히 없애고, 임의의 CAT(0) 공간(비국소 콤팩트성 포함)으로의 열 흐름 약해 해가 공간·시간 모두에서 리프시츠 연속임을 증명한다. 핵심은 다음과 같다. 첫째, 거리 제곱 함수 (d_Y^2(P,u(\cdot,t)))에 대해 ((\Delta-\partial_t)d_Y^2\ge 2|\nabla u|^2)라는 부분 미분 부등식을 확장한다. 이는 Jost와 Lin이 정립한 정적 경우의 부등식과 동일하지만, 시간 파생을 포함한 형태다. 둘째, 이 부등식과 공간 전용 Poincaré 부등식 (\int_{t-r^2}^{t}!!\int_{B_r}|f-f_{B_r}|^2\le C r^2\int_{t-2r^2}^{t}!!\int_{B_{2r}}|\nabla f|^2)을 결합해 De Giorgi‑Nash‑Moser 반복을 수행, 국소 홀더 연속성을 얻는다. 셋째, 시간 방향의 정규성을 확보하기 위해 ‘Parabolic Perturbation Lemma’를 ABP(Alexandroff‑Bakelman‑Pucci) 추정과 결합한다. 이는 (\partial_t u)를 제어하는 새로운 에너지 불평등을 제공하고, 결국 시간에 대한 리프시츠 상수를 얻는다. 넷째, 비선형 Hamilton‑Jacobi 흐름을 이용해 공간 리프시츠 상수를 시간에 걸쳐 전파하고, 이를 V²‑공간(시간‑공간 L²‑에너지) 안에서의 미분 가능성으로 승격한다. 마지막으로, 얻어진 리프시츠 상수 (L(x,t)=\operatorname{lip}_x u(x,t))에 대해 ((\Delta-\partial_t)L^2\ge 2|\nabla L|^2+2K L^2)라는 Eells‑Sampson형 보숀 부등식을 증명한다. 여기서 (K)는 기저 다양체 (M)의 리치 하한이다.

이러한 일련의 단계는 기존의 약한 해가 갖는 최소 정규성(시간 ½‑홀더)에서 완전한 리프시츠 정규성으로 격차를 메우며, 특히 비국소 콤팩트한 CAT(0) 공간에 대해서도 적용 가능함을 보여준다. 결과는 조화지도 열 흐름의 정규성 이론을 완전하게 확장하고, 이후 비선형 파라볼릭 방정식 및 기하학적 분석에서 CAT(0) 목표공간을 다루는 다양한 응용에 기반을 제공한다.