[论文解读] Viscosity Solutions for the two-phase Stefan Problem

Inwon C. Kim, Norbert Požár|arXiv (Cornell University)|Oct 20, 2010

Nonlinear Partial Differential Equations参考文献 15被引用 4

一句话总结

本文为包含初始糊状区（即温度为零但测度为正的区域）的两相Stefan问题提出了一种粘性解框架。该框架建立了粘性解的比较原理，并在不存在初始糊状区时证明了粘性解与弱解的等价性，从而确保了解的唯一性，并与热方程和自由边界问题的既有理论保持一致。

ABSTRACT

We introduce a notion of viscosity solutions for the two-phase Stefan problem, which incorporates possible existence of a mushy region generated by the initial data. We show that a comparison principle holds between viscosity solutions, and investigate the coincidence of the viscosity solutions and the weak solutions defined via integration by parts. In particular, in the absence of initial mushy region, viscosity solution is the unique weak solution with the same boundary data.

研究动机与目标

• 为两相Stefan问题发展一种稳健的粘性解理论，以容纳由初始数据产生的初始糊状区。
• 建立粘性次解与超解之间的比较原理，确保极大与极小粘性解的存在性。
• 研究粘性解与通过分部积分定义的弱解之间的关系，特别是在无初始糊状区的情况下。
• 证明当初始数据不包含糊状区时，粘性解与弱解重合，从而确保唯一性。
• 将粘性解方法的适用范围扩展至两相情形，其中自由边界演化是非单调的，且比单相情形更为复杂。

提出的方法

• 通过焓变公式定义两相Stefan问题的粘性解，其中温度 $ u = \chi(h) $ 由焓变 $ h $ 导出，且 $ \chi $ 为分段线性函数。
• 考虑糊状区 $ \Gamma(u) = \{ -1 \leq h \leq 0 \} $ 的可能性，该区域可能随时间持续存在或收缩，尤其当 $ |\{-1 \leq h_0 \leq 0\}| > 0 $ 时。
• 通过构造适当的测试函数，考虑自由边界非单调演化的影响，建立粘性次解与超解之间的比较原理。
• 利用粘性解框架证明，极大与极小粘性解分别对应于给定温度分布下初始焓变最大与最小的弱解。
• 证明当不存在初始糊状区时，粘性解与唯一的弱解重合，借助Caffarelli与Evans的连续性与正则性结果。
• 将Crandall-Lions粘性理论的技术方法拓展至两相情形，超越单相情况，处理自由边界非单调性的问题。

实验结果

研究问题

• RQ1 能否为包含初始糊状区可能性的两相Stefan问题，一致地定义粘性解框架？
• RQ2 即使自由边界演化非单调，两相Stefan问题中的粘性解是否仍满足比较原理？
• RQ3 在何种条件下，粘性解与通过分部积分定义的弱解重合？
• RQ4 当不存在初始糊状区时，粘性解是否唯一？其与热方程已有粘性解理论的关系如何？
• RQ5 初始糊状区的存在如何影响粘性解框架中自由边界的正则性与传播速度？

主要发现

• 在区域 $ Q $ 中，两相Stefan问题存在粘性解，且粘性次解与超解之间满足比较原理，从而确保极大与极小解的存在。
• 极大与极小粘性解分别对应于给定初始温度 $ u_0 $ 下初始焓变最大与最小的两相Stefan问题的弱解。
• 所有在Caffarelli与Evans意义下的弱解也都是粘性解，建立了两种解概念之间的直接联系。
• 当初始数据不包含糊状区（即 $ |\{-1 \leq h_0 \leq 0\}| = 0 $）时，粘性解唯一，且与唯一的弱解重合。
• 在无初始糊状区时，粘性解与Crandall-Lions及其相关工作中定义的粘性解概念一致，验证了与既有理论的一致性。
• 该方法具有鲁棒性，可推广至更广泛的抛物型算子，而不仅限于热方程，这由比较原理与解构造的普遍性所证明。