A transmission problem arising from the two-phase Stefan problem

技术摘要：源于两相 Stefan 问题的传输问题

问题陈述与动机
本文研究了一个抛物型传输问题，其界面条件显式地将解的时间导数与法向导数的跳跃联系起来。该模型定义在抛物柱 $C_1 = Q_1 \times (-1, 0]$ 上，该柱由界面 $x_n = 0$ 分割为两个相 $C_1^+$ 和 $C_1^-$。控制方程为：
$$\begin{cases} \lambda \partial_t u - \text{tr}(A^\pm(t) D^2 u) = 0 & \text{in } C_1^\pm, \\ \partial_t u = -\hat{\gamma}(t) \cdot \nabla' u + \gamma_+(t) \partial_n u_+ - \gamma_-(t) \partial_n u_- & \text{on } C_1'. \end{cases}$$
这里，$\lambda > 0$ 是一个缩放参数，$A^\pm(t)$ 是对称矩阵，$\hat{\gamma}, \gamma_\pm$ 是随时间变化的传输系数。这些系数满足涉及 $\lambda$ 和一个通用常数 $K$ 的特定结构界限，反映了原始物理模型的缩放特性。

研究该问题的首要动机在于其作为带有分布源的两相非均匀 Stefan 问题（two-phase inhomogeneous Stefan problem）的线性化极限剖面。遵循 De Silva 对椭圆方程的研究策略及其在抛向型的扩展，作者利用霍多夫变换（hodograph transform）来固定自由边界。在非退化、平坦机制下（即两个相都对运动有贡献），Stefan 问题围绕平面剖面的线性化精确地得到了上述传输问题 (1.1)。该传输问题的解的正则性是建立原始 Stefan 问题中平坦自由边界 $C^{1,\alpha}$ 正则性的关键分析输入。

方法论
作者结合使用了粘性解理论、障碍函数构造以及迭代改进平坦度论证。

1. 粘性框架： 该问题在粘性意义下进行表述，以处理最初缺乏经典正则性的问题。作者定义了满足内部抛物型不等式并在界面处满足传输条件的粘性子解和超解。
2. Harnack 不等式与振荡衰减： 一个核心工具是证明一类广义传输问题 $S^*_{\lambda, T}(f^\pm)$ 的 Harnack 不等式（定理 1.2）。与单相问题不同，这需要构造新的“两相障碍函数”，以在尊重涉及 $\partial_t u$ 的特定传输条件的同时，实现振荡信息跨越界面的传递。
3. 度量与缩放： 分析利用了一种专门的距离 $d_\lambda$，它在界面附近在标准抛物距离与双曲距离之间进行插值。该度量与 Stefan 问题的缩放是一致的。
4. 降至一维： 为了建立更高阶的正则性（$C^{1,\alpha}$ 和 $C^{2,\alpha}$），作者利用了由 Harnack 不等式导出的切向正则性来冻结切向变量 $x'$。这使得问题简化为关于法向 $x_n$ 和时间 $t$ 的一维传输问题。
5. Schauder 估计与提升（Bootstrapping）： 通过展示切向导数满足类似的传输问题，作者利用 Schauder 估计将正则性提升到获得经典解。

主要贡献与结果

• 存在性与唯一性（定理 1.1）： 本文建立了具有连续边界数据的传输问题 (1.1) 经典解的存在性与唯一性。该解满足与参数 $\lambda$ 无关的均匀梯度和 Hessian 估计。
• 界面处的 $C^{1,\alpha}$ 展开： 一个主要结果是证明了解在界面两侧均具有 $C^{1,\alpha}$ 展开。具体而言，存在仿射函数 $\ell_{a^\pm, b}(x,t) = a^\pm(t) \cdot x + b(t)$ 使得：
  $$\| u - \ell_{a^\pm, b} \|_{L^\infty(C_r^\pm)} \leq C r^{1+\alpha}.$$
  至关重要的是，这些仿射函数的系数满足传输条件：
  $$\partial_t b(t) = -\hat{\gamma}(t) \cdot \hat{a} + \gamma_+(t) a^+_n(t) - \gamma_-(t) a^-_n(t).$$
• Harnack 不等式（定理 1.2）： 作者证明了广义类 $S^*_{\lambda, T}(f^\pm)$ 的 Harnack 不等式，表明解的振荡在一个较小的柱体中按一个通用因子衰减，直至取决于源项的一项。这是通过能够处理时间导数与法向跳跃耦合的新型障碍函数构造实现的。
• 自由边界的正则性： 论文表明，为传输问题推导出的 $C^{1,\alpha}$ 估计可以应用于两相 Stefan 问题。利用文献 [15] 和 [18] 中的技术，这些结果提供了证明带有源项的两相非均匀 Stefan 问题中平坦自由边界具有 $C^{1,\alpha}$ 正则性的必要输入。

意义
本文填补了抛物型传输问题正则性理论中的一项空白，特别是对于那些界面条件涉及时间导数的传输问题。虽然椭圆型传输问题已有深入研究（引用如 [9, 30, 34, 36]），但其抛物型对应物的研究较少。

作者声称，其结果证实了 Salsa [33] 此前提出的直觉，即为椭圆型和单相抛物型问题开发的线性化论证可以扩展到带有源项的两相 Stefan 问题。通过严格建立线性化模型 (1.1) 的正则性，本文为解决两相非均匀设定下平坦自由边界正则性的问题提供了基础性的分析步骤，而这一问题在此特定的非退化机制下此前一直悬而未决。这项工作架起了物理模型与严谨数学正则性理论之间的桥梁，为将“改进平坦度”策略扩展到更复杂的 Stefan 问题提供了路径。