[论文解读] Partial regularity and smooth topology-preserving approximations of rough domains

J. M. Ball, Arghir Zarnescu|arXiv (Cornell University)|Dec 17, 2013

Advanced Mathematical Modeling in Engineering参考文献 33被引用 5

一句话总结

本文证明了在 $ \mathbb{R}^m $ 中，任意有界的 $ C^0 $ 域（$ m = 2,3 $）或欧拉示性数非零的域，均可通过一组标准的优良方向场及其关联的流，实现光滑且保持拓扑结构的 $ C^\infty $ 近似。关键贡献在于一个部分正则性结果：即使在整体上非利普希茨的情况下，这类域在某边界点附近也是局部利普希茨的。

ABSTRACT

For a bounded domain $Ω\subset\mathbb{R}^m, m\geq 2,$ of class $C^0$, the properties are studied of fields of `good directions', that is the directions with respect to which $\partialΩ$ can be locally represented as the graph of a continuous function. For any such domain there is a canonical smooth field of good directions defined in a suitable neighbourhood of $\partialΩ$, in terms of which a corresponding flow can be defined. Using this flow it is shown that $Ω$ can be approximated from the inside and the outside by diffeomorphic domains of class $C^\infty$. Whether or not the image of a general continuous field of good directions (pseudonormals) defined on $\partialΩ$ is the whole of $\mathbb{S}^{m-1}$ is shown to depend on the topology of $Ω$. These considerations are used to prove that if $m=2,3$, or if $Ω$ has nonzero Euler characteristic, there is a point $P\in\partialΩ$ in the neighbourhood of which $\partialΩ$ is Lipschitz. The results provide new information even for more regular domains, with Lipschitz or smooth boundaries.

研究动机与目标

• 开发一种通用、系统化的方法，对粗糙的 $ C^0 $ 域进行光滑 $ C^\infty $ 近似，同时保持其拓扑结构。
• 分析‘优良方向’场的拓扑约束——即相对于这些方向，边界在局部可表示为图象的向量——及其满射性。
• 通过证明在某些拓扑条件下（如 $ m=2,3 $ 或非零欧拉示性数），边界在某点附近为局部利普希茨，建立 $ C^0 $ 域的部分正则性。
• 为偏微分方程与几何分析中的通用 $ C^0 $ 域提供统一框架，避免依赖特定情形的假设。
• 通过构造保持微分同胚类型与同胚类型的光滑近似，将工具扩展至具有奇点的域，如自由边界问题、最优设计与断裂力学中的情形。

提出的方法

• 将边界点处的‘优良方向’定义为单位向量，使得边界在该方向上局部为连续函数的图象，其集合构成 $ \mathbb{S}^{m-1} $ 中的测地凸子集。
• 利用局部坐标系与单位分解，构造在 $ \partial\Omega $ 邻域内定义的标准光滑优良方向场。
• 沿该标准优良方向场定义流，生成一族微分同胚于 $ \Omega $ 的 $ C^\infty $ 域 $ \Omega_\varepsilon = \{ x : \rho(x) > \varepsilon \} $，其中 $ \rho $ 为正则化的带符号距离函数。
• 利用拓扑度理论，证明当 $ m=2 $ 或 $ \chi(\Omega) \neq 0 $ 时，任何连续的伪法向量场在 $ \partial\Omega $ 上的像必满射于 $ \mathbb{S}^{m-1} $。
• 利用流与优良方向的结构，证明若 $ \partial\Omega $ 在任意点均非局部利普希茨，则优良方向场的像将被包含于 $ \mathbb{S}^{m-1} $ 的一个小子集内，与满射性矛盾。
• 通过紧致性与有限覆盖论证，提取出近似边界序列的极限点，在该点存在三个线性无关的优良方向，从而推出边界在该点具有局部利普希茨正则性。

实验结果

研究问题

• RQ1 能否对 $ \mathbb{R}^m $ 中的任意 $ C^0 $ 域从内部和外部构造出微分同胚于它的 $ C^\infty $ 近似域？
• RQ2 在何种拓扑条件下，$ \partial\Omega $ 上的连续伪法向量场会满射于 $ \mathbb{S}^{m-1} $？
• RQ3 是否可能在不假设整体利普希茨或 $ C^1 $ 正则性的前提下，证明 $ C^0 $ 域的边界具有部分正则性（如局部利普希茨正则性）？
• RQ4 欧拉示性数在决定优良方向的存在性及伪法向量场满射性方面起什么作用？
• RQ5 能否将光滑近似构造方法推广至仅与 $ C^0 $ 域微分同胚的域，同时保持其拓扑与微分结构？

主要发现

• 对任意有界的 $ C^0 $ 域 $ \Omega \subset \mathbb{R}^m $，存在一个在 $ \partial\Omega $ 邻域内定义的标准光滑优良方向场，从而可构造光滑近似域。
• 对于足够小的 $ \varepsilon > 0 $，近似域 $ \Omega_\varepsilon = \{ x : \rho(x) > \varepsilon \} $ 为 $ C^\infty $，微分同胚于 $ \Omega $，且 $ \bar{\Omega}_\varepsilon $ 同胚于 $ \bar{\Omega} $，保持了拓扑类型。
• 若 $ m=2 $ 或 $ m=3 $，或 $ \chi(\Omega) \neq 0 $，则边界 $ \partial\Omega $ 在某点 $ P \in \partial\Omega $ 附近为局部利普希茨，即使整体上非利普希茨。
• 当 $ m=2 $ 或 $ \chi(\Omega) \neq 0 $ 时，$ \partial\Omega $ 上的连续伪法向量场必满射于 $ \mathbb{S}^{m-1} $，但一般情况下不成立——例如在 $ \mathbb{R}^3 $ 中的实心环面，其像可能被包含于大圆附近的一个小邻域内。
• 在近似边界序列的极限点处存在三个线性无关的优良方向，意味着该点处 $ \partial\Omega $ 具有局部利普希茨正则性。
• 结果可推广至 $ C^0 $ 域的 $ C^1 $-微分同胚像，且部分正则性结果在更一般的带边拓扑流形上不成立（例如，通过极坐标下处处不可微函数定义的域）。