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

技術要約：CAT(0)空間への調和写像熱流のリプシッツ正則性

問題設定
本論文は、CAT(0)空間への弱解の正則性に関する長年の未解決問題に取り組んでいる。MayerとJostは、1990年代に度量空間における勾配流理論を通じて、このような弱解の存在、一意性、および長期収束性を確立した。しかし、これらの解が空間および時間の両変数においてリプシッツ連続性を有するかどうかという問いは未解決のまま残されていた。Lin、Segatti、Sire、およびWang（2026）による先行研究では、特定のクラスのCAT(0)空間（特定の漸近的性質を持つユークリッド空間への埋め込みが可能なもの）に対して空間変数のリプシッツ連続性と、時間変数に関する1/2-ヘルダー連続性を確立するという、部分的な回答が示されている。著者らは、任意のCAT(0)空間に対して、空間・時間の両変数におけるリプシッツ正則性を証明し、放物型ボホナー型不等式を導出することで、完全な回答を提供することを目指している。

手法
著者らは、内在的な幾何学的解析、粘性解理論、および彼らの調和写像に関する先行研究から適応させた非線形流の技術を組み合わせて用いている。証明の戦略は、以下の3つの主要な段階に分かれている。

1. 局所的ヘルダー連続性:
   著者らはまず、弱解の局所的ヘルダー連続性を確立する。これには、De Giorgi-Nash-Moser理論を放物型設定に適応させる。主要な困難は、右辺に時間微分の項が存在しないため、一般的な$W^{1,2}$関数に対して標準的な放物型ポアンカレ不等式が成立しないことである。しかし、勾配流の正則性（具体的には、$t > 0$における$L^2$距離におけるフローのリプシッツ連続性）を利用することで、修正された局所ポアンカレ不等式を証明できる。これにより、距離関数 $d_Y(P, u(x,t))$ の劣解特性を導き出し、反復法を通じて局所的ヘルダー連続性を導出する。

2. 時間に関するリプシッツ連続性:
   時間変数に関するリプシッツ連続性を証明するために、著者らは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)$ と設定し、この劣解に対して最大値原理を適用することで、時間差に関する一様境界を得て、$t \mapsto u(x, \cdot)$ が局所的にリプシッツ連続であることを証明する。

3. 空間に関するリプシッツ連続性:
   空間的正則性は、非線形な「ハミルトン・ヤコビ」流を構成することによって確立される。2つの空間変数を含む楕円型の場合とは異なり、放物型の場合は当初、2つの時間変数（$t$と$s$）への依存性が示唆されており、これが放物型偏微分方程式の導出を困難にしていた。既に確立された時間リプシッツ連続性を活用することで、著者らは1つの時間変数のみに依存する「修正された」フローを定義する：
   $$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)$$
   彼らは、この関数が熱方程式の粘性超解であることを証明する。このフローを空間勾配ノルム（漸近平均値不等式およびHardy-Littlewood極大関数の性質を介して）に結びつけることで、空間のリプシッツ定数を抑え込み、局所的な空間リプシッツ連続性を確立する。

4. ボホナー不等式:
   最後に、著者らは距離関数の指数を2からより高い整数 $p$ へと引き上げることで、ハミルトン・ヤコビ的アプローチを洗練させる。$p \to \infty$ の極限を解析することにより、空間リプシッツ定数に関するEells-Sampson型のボホナー不等式を導出する。

主要な結果
本論文は以下の主要な定理を確立している：

• 定理 1.3 (主要な正則性結果): $M$ をリッチ曲率が下から $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$$
  これは、調和写像に対するボホナー不等式の放物型版である。

意義と主張
著者らは、以前の部分的な結果（Linら）で必要とされていた埋め込みの仮定を取り除き、特異な計量空間への調和写像熱流のリプシッツ正則性に関する問いに対し、「完全な回答」を提供したと主張している。これらの結果は、局所コンパクト性に寄らず、あらゆる CAT(0) 空間に対して成立する。

本論文は、導出されたボホナー不等式（定理 1.3(ii)）が、幾何学的群論における剛性定理の中心となる古典的なEells-Sampson不等式に類似した重要な道具であることを強調している。著者らは、セクション3、4、および5の議論が、RCD空間からCAT(0)空間への写像へと適応可能であると述べているが、空間リプシッツの証明（セクション7）は、現時点ではまだRCD空間上の放物型方程式に対して十分に発達していない粘性解理論に依存している。

本研究は、MayerとJostによる基礎的な勾配流理論、およびLin、Segatti、Sire、およびWangによる最近の楕円近似手法を直接的に発展させ、それらの枠組みを拡張することで、完全な時空正則性を達成している。