[论文解读] The singular set in the Stefan problem

Alessio Figalli, Xavier Ros‐Oton+1 more|arXiv (Cornell University)|Mar 24, 2021

Advanced Mathematical Modeling in Engineering参考文献 20被引用 3

一句话总结

该论文建立了Stefan问题中奇点集大小和正则性的精确界限，证明了奇点集的抛物Hausdorff维数至多为$n-1$，且在抛物维数至多为$n-2$的集合外，解在奇点处具有$C^\infty$展开。在$\mathbb{R}^3$中，奇点时间集合的Hausdorff维数至多为$1/2$，解决了该经典自由边界问题中奇点普遍性和结构的长期悬而未决问题。

ABSTRACT

In this paper we analyze the singular set in the Stefan problem and prove the following results: - The singular set has parabolic Hausdorff dimension at most $n-1$. - The solution admits a $C^\infty$-expansion at all singular points, up to a set of parabolic Hausdorff dimension at most $n-2$. - In $\mathbb R^3$, the free boundary is smooth for almost every time $t$, and the set of singular times $\mathcal S\subset \mathbb R$ has Hausdorff dimension at most $1/2$. These results provide us with a refined understanding of the Stefan problem's singularities and answer some long-standing open questions in the field.

研究动机与目标

• 确定Stefan问题中奇点集的精确抛物Hausdorff维数。
• 分析解在奇点处的正则性，并量化光滑性失效的例外集合的大小。
• 解决关于物理空间中奇点时间频率和结构的开放问题，特别是在$\mathbb{R}^3$中的情况。
• 建立奇点集可分解为$C^\infty$-光滑部分与维数至多为$n-2$的例外部分。
• 证明奇点发生的时间集合在光滑部分具有零Hausdorff维数，且在$\mathbb{R}^3$中为小集合。

提出的方法

• 使用抛物Hausdorff维数来度量时空中奇点集的大小。
• 应用Whitney的延拓定理，构造覆盖奇点集正则部分的$C^\infty$-光滑流形。
• 分析解在奇点处的喷射展开，以控制渐近行为和正则性。
• 利用时间正则性界$|t_1 - t_0| \leq C|x_1 - x_0|^2$来控制奇点的时间变化。
• 将奇点集分解为$C^\infty$-光滑部分$\Sigma_\infty$与维数至多为$n-2$的例外部分。
• 通过不等式$|t_1 - t_0| \leq C_k|x_1 - x_0|^k$对所有$k \in \mathbb{N}$成立，证明$\pi_t(\Sigma_\infty)$具有零Hausdorff维数。

实验结果

研究问题

• RQ1 Stefan问题中奇点集的抛物Hausdorff维数是多少？
• RQ2 解是否能在奇点处光滑展开，且该性质失效的例外集合有多大？
• RQ3 $\mathbb{R}^3$中奇点发生的时间集合的大小如何？
• RQ4 奇点集是否在例外小集合外局部包含于$C^\infty$-光滑流形中？
• RQ5 奇点时间集合是否可能具有正Hausdorff维数，若是，其精确上界是什么？

主要发现

• 奇点集$\Sigma$的抛物Hausdorff维数至多为$n-1$，该界是最优的。
• 在抛物Hausdorff维数至多为$n-2$的集合外，解在所有奇点处具有$C^\infty$-展开。
• 在$\mathbb{R}^3$中，奇点时间集合$S \subset \mathbb{R}$的Hausdorff维数至多为$1/2$，回答了一个长期悬而未决的问题。
• 奇点集$\Sigma$可分解为$C^\infty$-光滑部分$\Sigma_\infty$与抛物维数至多为$n-2$的例外部分，且$\pi_t(\Sigma_\infty)$具有零Hausdorff维数。
• 对$\Sigma_\infty$中的点，不等式$|t_1 - t_0| \leq C_k|x_1 - x_0|^k$对所有$k$成立，意味着时间投影具有零Hausdorff维数。
• 结果解决了$\mathbb{R}^3$中$1/2$界的确切性，该界为临界值且可能为最优。