关于调和映射抛物方程解的收敛性及证明细节的技术问询

I'm currently working through Variational Problems in Geometry by Seiki Nishikawa, and I'm stuck on the final paragraph in Section 4.1 right after Proposition 4.4, which discusses the heat flow method for harmonic maps.

背景知识（书中内容） #

调和映射的抛物型初值问题 #

我们考虑映射 $u: M \times [0,T) \to N$，对应的非线性抛物型偏微分方程组初值问题为：
$$
\begin{align}
&\frac{\partial u}{\partial t}(x,t) = \tau(u(x,t)), \quad (x,t) \in M \times (0,T) \\
&u(x,0) = f(x).
\end{align}
$$
其中 $T > 0$，$f \in C^\infty(M,N)$ 是给定的初始映射。我们假设 $u$ 在 $M \times [0,T)$ 上连续，在 $M \times (0,T)$ 上光滑，即：
$$
u \in C^0(M \times [0,T),N) \cap C^\infty(M \times (0,T), N).
$$

相关能量与曲率定义 #

对上述抛物方程的解，记 $u_t(x) = u(x,t)$，定义如下量：
$$
\begin{align}
&e(u_t) = \frac{1}{2}\vert du_t \vert^2 \\
&E(u_t) = \int_M e(u_t) d\mu_g \\
&\kappa(u_t) = \frac{1}{2}\Big\vert\frac{\partial u_t}{\partial t}\Big\vert^2 \\
&K(u_t) = \int_M \kappa(u_t) d\mu_g
\end{align}
$$

命题4.4 #

设 $u: M \times [0,T) \to N$ 是调和映射抛物方程的解，记 $u_t(x) = u(x,t)$，则在 $M \times (0,T)$ 上有如下结论：

1. $E(u_t)$ 是单调非增函数，即：
   $$
   \frac{d}{dt} E(u_t) = -2K(u_t) \leq 0.
   $$
2. 若 $N$ 的曲率非正（$K_N \leq 0$），则：
   $$
   \frac{d^2}{dt2}E(u_t) = -2\frac{d}{dt}K(u_t) \geq 0.
   $$
   即 $E(u_t)$ 是凸函数，且 $K(u_t)$ 是单调非增函数。

存疑段落 #

Proposition 4.4 implies the following. Let $N$ be of nonpositive curvature $K_N \leq 0$. Further assume that the parabolic equation for harmonic maps has a solution $u: M \times [0,\infty) \to N$ for $T = \infty$. Noting (1) from Proposition 4.4 and $E(u_t) \geq 0$, $K(u_t) \to 0$ must hold as $t \to 0$ for $u_t(x) = u(x,t)$. Hence, $\frac{\partial u_t}{\partial t} \to 0$ must hold as $t \to 0$. However, since $u$ is a solution to the parabolic equation for harmonic maps, this implies that $\tau(u_t) \to 0$ holds as $t \to 0$. Thus, when $t \to \infty$, $u_t$ converges to $u_\infty \in C^\infty(M,N)$. Consequently, if $\tau(u_t) \to \tau(u_\infty), \tau(u_\infty) = 0$ must hold. In other words, $u_t$ converges to a harmonic map $u_\infty$.

我的疑问 #

• Why does $K(u_t) \to 0$ if $t \to 0$ and why are we looking at $t \to 0$ in general?
• How do we know that when $t \to \infty$, $u_t$ converges to $u_\infty \in C^\infty(M,N)$?
• Why must $\tau(u_\infty) = 0$ if $\tau(u_t) \to \tau(u_\infty)$?

解答 #

1. 关于$K(u_t) \to 0$（原文疑似笔误，应为$t \to \infty$） #

首先要明确：原文这里大概率是排版或笔误，正确的极限方向应该是$t \to \infty$而非$t \to 0$——毕竟我们研究的是热流的长时间演化行为，$t=0$是初始时刻，此时$K(u_0)$是初始映射对应的量，完全可能不为0。

正确的推导逻辑是：

• 由命题4.4的(1)，$E(u_t)$单调非增且有下界0（能量是积分非负函数），因此当$t \to \infty$时，$E(u_t)$必然收敛到某个非负极限$E_\infty$。
• 结合命题4.4的(2)，$E(u_t)$是凸函数。对于定义在$[0,\infty)$上的凸函数，如果它单调非增且有下界，那么它的导数$\frac{d}{dt}E(u_t) = -2K(u_t)$必须趋于0（否则凸性会迫使$E(u_t)$最终趋向负无穷，与下界非负的性质矛盾）。
• 因为$K(u_t) = -\frac{1}{2}\frac{d}{dt}E(u_t)$，所以当$t \to \infty$时，$K(u_t) \to 0$。

2. 关于$t \to \infty$时$u_t$收敛到光滑映射$u_\infty$ #

这个结论依赖于热流的正则性估计和紧性论证，具体来说：

• 首先，$K(u_t) \to 0$意味着$\frac{\partial u}{\partial t} = \tau(u_t)$的$L^2$范数趋于0。
• 当$N$曲率非正时，调和映射热流存在高阶导数的一致估计：利用抛物型偏微分方程的正则性理论，可以得到$u_t$的各阶导数在$M \times [T_0, \infty)$（任意$T_0>0$）上都是一致有界的。
• 由Arzelà-Ascoli定理，$u_t$及其导数的一致有界性保证了存在子列${u_{t_k}}$（$t_k \to \infty$）收敛到一个连续映射$u_\infty$。再结合高阶导数的收敛性（由正则性估计的紧性），可以推出$u_\infty$是光滑的；同时因为$E(u_t)$单调收敛，整个序列$u_t$（而非仅子列）都会收敛到$u_\infty$，不会出现子列收敛到不同极限的情况。

3. 为什么$\tau(u_\infty) = 0$ #

这个结论是连续性与极限唯一性的直接推论：

• 已知热流解满足$\frac{\partial u}{\partial t} = \tau(u_t)$，且当$t \to \infty$时，$\frac{\partial u}{\partial t} \to 0$（因为$K(u_t) = \frac{1}{2}|\frac{\partial u}{\partial t}|_{L^2}2 \to 0$，再结合正则性估计，$\tau(u_t)$不仅在$L^2$意义下收敛到0，在一致拓扑下也收敛）。
• 又假设$\tau(u_t) \to \tau(u_\infty)$，根据极限的唯一性，$\tau(u_\infty)$必须等于0——而$\tau(u)=0$正是调和映射的定义，因此$u_\infty$是调和映射。

备注：内容来源于stack exchange，提问作者chrstphfrtz