如何证明流形映射的邻近投影时间近似等式及Sobolev空间分析

让我们一步步来解决这个问题，先从点态正则性的情况入手，再延伸到Sobolev空间的场景。

首先，我们需要利用紧流形的一个关键性质——管状邻域定理：因为$N \subset \mathbb{R}^n$是紧流形，存在$\varepsilon > 0$，使得$N$的$\varepsilon$邻域$U_\varepsilon(N) = { y \in \mathbb{R}^n \mid \text{dist}(y,N) < \varepsilon }$上存在光滑的最近点投影$\pi_N: U_\varepsilon(N) \to N$。并且对任意$z \in N$，$\pi_N$在$z$处的导数$D\pi_N(z)$是$\mathbb{R}^n$到$T_z N$（$N$在$z$处的切空间）的正交投影。

接下来，假设$u$具有足够的正则性，比如$u \in C^1(M \times [0,T]; N)$（即连续可微）：

• 由于$M \times [0,T]$是紧集，$\partial_t u$在其上有界，即存在常数$C > 0$，使得$|\partial_t u(x,t)| \leq C$对所有$(x,t) \in M \times [0,T]$成立。取$\delta t > 0$足够小，使得$C\delta t < \varepsilon$，此时$u(x,t) + \delta t \cdot \partial_t u(x,t) \in U_\varepsilon(N)$，可以应用投影$\pi_N$。
• 对$\pi_N$在$z = u(x,t)$处做泰勒展开：
  $$
  \pi_N(u(x,t) + \delta t \cdot \partial_t u(x,t)) = \pi_N(u(x,t)) + D\pi_N(u(x,t))(\delta t \cdot \partial_t u(x,t)) + o(\delta t)
  $$
  因为$u(x,t) \in N$，所以$\pi_N(u(x,t)) = u(x,t)$。同时，$t \mapsto u(x,t)$是$N$中的一条曲线，其导数$\partial_t u(x,t)$必然属于$T_{u(x,t)}N$，而$D\pi_N(u(x,t))$是到该切空间的正交投影，因此$D\pi_N(u(x,t))(\partial_t u(x,t)) = \partial_t u(x,t)$。代入后得到：
  $$
  \pi_N(u(x,t) + \delta t \cdot \partial_t u(x,t)) = u(x,t) + \delta t \cdot \partial_t u(x,t) + o(\delta t)
  $$
• 另一方面，由$u$的$C^1$正则性，泰勒展开给出：
  $$
  u(x,t+\delta t) = u(x,t) + \delta t \cdot \partial_t u(x,t) + o(\delta t)
  $$
• 将两式相减，直接得到点态意义下的结论：
  $$
  u(x,t+\delta t) = \pi_N(u(x,t) + \delta t \cdot \partial_t u(x,t)) + o(\delta t)
  $$

当$u$属于Sobolev空间时，我们需要考虑流形上Sobolev映射的定义：通常$u \in W^{1,p}(M \times [0,T]; N)$意味着$u$几乎处处取值于$N$，其弱导数$\partial_t u \in L^p(M \times [0,T]; \mathbb{R}^n)$，且几乎处处有$\partial_t u(x,t) \in T_{u(x,t)}N$（这是流形上Sobolev映射的核心性质之一）。

针对这类映射，我们可以得到以下结论：

• 几乎处处点态成立：对几乎处处的$(x,t) \in M \times [0,T]$，当$\delta t \to 0$时，$u(x,t+\delta t) = \pi_N(u(x,t) + \delta t \cdot \partial_t u(x,t)) + o(\delta t)$。这是因为Sobolev函数在几乎处处满足近似泰勒展开（结合Lebesgue微分定理），再利用投影$\pi_N$的光滑性和切空间的正交投影性质，推导过程与点态正则性类似，只是范围限制在几乎处处的点。
• 积分意义下的收敛：若$u \in W^{1,p}(M \times [0,T]; N)$，则当$\delta t \to 0$时，$|u(\cdot, t+\delta t) - \pi_N(u(\cdot,t) + \delta t \cdot \partial_t u(\cdot,t))|_{L^p(M)} = o(\delta t)$。证明思路是用$C^1$映射逼近Sobolev映射（流形上Sobolev映射的密度定理），先对光滑映射证明该积分估计，再通过三角不等式和逼近误差的收敛性得到结论。
• 更高正则性的情况：如果$p > \dim(M) + 1$（即$M$的维度加时间维度），根据Sobolev嵌入定理，$u$会嵌入到$C^{0,\alpha}(M \times [0,T]; N)$（Hölder连续），此时可以得到更一致的估计：存在常数$C > 0$，使得$|u(\cdot, t+\delta t) - \pi_N(u(\cdot,t) + \delta t \cdot \partial_t u(\cdot,t))|_{C^0(M)} = O(\delta t^{1+\alpha})$，其中$\alpha = 1 - \frac{\dim(M)+1}{p}$。

内容的提问来源于stack exchange，提问作者BigbearZzz