Short-time behavior and invariant surfaces for caloric functions with non-constant boundary values

技术摘要：非恒定边界值的卡洛里函数（Caloric Functions）的短时行为与不变曲面

问题陈述
本文研究了非散度形式变系数热方程 Cauchy-Dirichlet 问题解的短时渐近行为。研究聚焦于一个特定的设定：初始数据是齐次的（$u_0 \equiv 0$），而 Dirichlet 边界值（$f$）是非恒定的。作者旨在实现两个主要目标：

1. 推导解 $u(x,t)$ 及其相关解析解 $U_\varepsilon(x)$ 在 $t \to 0^+$ 和 $\varepsilon \to 0^+$ 时的渐近公式，从而将经典的 Varadhan 公式扩展到 $f$ 可能为零或改变符号的情况。
2. 利用这些渐近结果，分析在存在此类非恒定边界数据时，“时间不变曲面”（即满足 $u(x,t) = c(t)$ 的水平曲面 $\Gamma$）的几何性质。

方法论
作者结合了粘性解理论、随机控制和谱分析中的多种技术：

• 粘性解与障碍函数（Viscosity Solutions and Barriers）： 渐近公式的推导结合了 Varadhan 最初的障碍构造方法与 Evans 和 Ishii 开发的粘性解框架。这涉及 Hopf-Cole 变换（$V_\varepsilon = -\varepsilon \log U_\varepsilon$），旨在将线性椭圆问题转化为与 eikonal 方程相关的非线性问题。
• 紧致性与正则化： 作者建立了变换后解族 $\{V_\varepsilon\}$ 的 Arzelà-Ascoli 紧致性，并利用卷积技术对距离函数进行正则化，证明它们作为相关方程的子解（subsolutions）。
• 拉普拉斯变换关系： 通过修正的拉普拉斯变换，建立了抛物型解 $u$ 与椭圆型解析解 $U_\varepsilon$ 之间的联系。作者利用 Tauberian 型论证（特别是引理 A.1）将渐近结果从椭圆型向抛物型领域进行转移。
• 几何分析： 对于刚性结果，论文采用了移动平面法（Serrin 方法）、Alexandrov 反射原理以及主曲率的研究。作者通过分析解的长时行为，表明不变曲面的存在对边界数据施加了强约束。

核心贡献与结果

1. 扩展的 Varadhan 公式
本文推广了经典的 Varadhan 公式，该公式将热核的短时行为与黎曼距离函数联系起来。

• 非负边界值： 当 $f \ge 0$ 且不恒等于零时，作者证明其渐近行为受集合 $S = \{x \in \partial\Omega : f(x) > 0\}$ 距离的支配。具体而言：
  $$\lim_{t \to 0^+} [-4t \log u(x,t)] = d_S(x)^2$$
  $$\lim_{\varepsilon \to 0^+} [-\varepsilon \log U_\varepsilon(x)] = d_S(x)$$
  其中 $d_S$ 是由系数矩阵 $A(x)$ 导出的内蕴距离。
• 变号边界值： 当 $f$ 改变符号时，渐近行为取决于正集 $S_+$ 与负集 $S_-$ 的相对距离。只要距离不相等，极限将由较近的集合（$S_+$ 或 $S_-$）决定。对于距离相等（$d_{S_+} = d_{S_-}$）的情况，作者指出其性质较为微妙，可能导致无穷大极限或依赖于 $f$ 的具体数值。

2. 球面上热含量的渐近性
对于经典 Laplace 算子（$A(x)=I$），作者推导了与切于边界的球面相关的热含量（以及解析解的平均值）的新渐近公式。这些公式将 Sakaguchi 以及第二作者之前的研究结果扩展到了非恒定边界值。其极限涉及接触点处的边界主曲率以及该点处的边界函数 $f$ 的值。

3. 刚性与对称性结果
论文将所得公式应用于刻画时间不变曲面：

• 非负数据的对称性： 如果边界数据是非负的，且对于所有时间都存在一个时间不变曲面，则定义域 $\Omega$ 和该曲面必须是同心球，且边界数据 $f$ 必须是常数。这一结果是通过分析长时行为实现的，长时行为通过解析性迫使边界数据为常数。
• 两个不变曲面： 如果在短时间内存在两个不相交的时间不变曲面（无需依赖长时行为），则定义域和曲面均为同心球，且 $f$ 为常数。
• 变号数据的非存在性： 如果边界数据改变符号且定义域满足一定的正则性条件，则不存在紧包含在定义域内（即不接触边界）的时间不变曲面。作者指出，在这一机制下，延伸至边界或具有自交性质的不变曲面可能会存在。

意义与主张
本文声称将著名的 Varadhan 公式扩展到了更广泛的边界条件类，特别是解决了边界值消失或改变符号的情况，而这在以往的标准结果中并未被覆盖。作者强调，其方法统一了椭圆型（慢扩散）与抛物型（短时）行为。

关于刚性，论文强调了非恒定边界值的存在显著改变了时间不变曲面的格局。虽然恒定边界值允许球对称，但引入变号数据通常会排除紧包含不变曲面的存在。作者将其工作定位为理解在非齐次设定下，由不变曲面引入的“超定性”（overdetermination）问题的必要步骤，为未来研究变号机制中曲面的精细几何结构奠定了基础。这些结果被呈现为对有关“Matzoh Ball Soup Problem”及相关刚性问题的严谨扩展。