[论文解读] Uniform ball property and existence of optimal shapes for a wide class of geometric functionals

Jérémy Dalphin|arXiv (Cornell University)|Apr 16, 2015

Geometric Analysis and Curvature Flows参考文献 33被引用 13

一句话总结

本文通过使用一致球条件确保正则性与紧致性，建立了在 $\mathbb{R}^3$ 中涉及曲率依赖泛函的一类广泛几何形状优化问题的 $C^{1,1}$-正则极小化器的存在性。关键贡献是针对依赖于位置、法向量、平均曲率和高斯曲率的泛函，在面积、体积及其他积分量约束下，提出了一般性存在性定理。

ABSTRACT

In this paper, we are interested in shape optimization problems involving the ge ometry (normal, curvatures) of the surfaces. We consider a class of hypersurface s in $\\mathbb{R}^{n}$ satisfying a uniform ball condition and we prove the exist ence of a $C^{1,1}$-regular minimizer for general geometric functionals and cons traints involving the first- and second-order properties of surfaces, such as in $\\mathbb{R}^{3}$ problems of the form: $$ \\inf \\int_{\\partial \\Omega} j_0 [ \\mathbf{x},\\mathbf{n}(\\mathbf{x}) ] dA (\\mathbf{x}) + \\int_{\\partial \\Omega} j_1 [ \\mathbf{x},\\mathbf{n}(\\mathbf{x}),H(\\mathbf{x}) ] dA (\\mathbf{x}) + \\int_{\\partial \\Omega} j_2 [\\mathbf{x},\\mathbf{n}(\\mathbf{x}),K(\\mathbf{x})] dA (\\mathbf{x}), $$ where $\\mathbf{n}$, $H$, and $K$ respectively denotes the normal, the scalar mea n curvature and the Gaussian curvature. We gives some various applications in th e modelling of red blood cells such as the Canham-Helfrich energy and the Willmo re functional.

研究动机与目标

• 建立涉及曲面一阶与二阶性质（如法向量、平均曲率和高斯曲率）的几何泛函的正则极小化器的存在性。
• 识别出一类合适的容许形状，以防止角点或自相交等奇点，确保紧致性与正则性。
• 为涉及曲率依赖能量的约束优化问题提供一般性存在性结果，适用于如红细胞形状等物理模型。
• 通过使用基本分析工具而非依赖高级几何测度论，确保方法的可及性与广泛应用性。
• 首次在单一参考文献中统一并形式化建立一致球条件、$C^{1,1}$-正则性与正则性半径之间的联系，确立这些等价关系。

提出的方法

• 引入一致 $\varepsilon$-球条件作为 $\mathbb{R}^n$ 中开集 $\Omega$ 的几何约束，确保在每个边界点处，存在半径为 $\varepsilon$ 的内接与外接球与边界相切。
• 利用一致球条件刻画超曲面的 $C^{1,1}$-正则性与正则性半径，建立几何正则性与分析紧致性之间的桥梁。
• 应用变分法最小化形如 $\int_{\partial\Omega} j_0[\mathbf{x},\mathbf{n}] \, dA + \int_{\partial\Omega} j_1[\mathbf{x},\mathbf{n},H] \, dA + \int_{\partial\Omega} j_2[\mathbf{x},\mathbf{n},K] \, dA$ 的泛函，定义在 $\mathcal{O}_\varepsilon(B)$ 中的容许集合上。
• 通过局部图表示与单位分解，运用对角收敛论证处理在一致有界条件下的法向量与曲率的收敛性。
• 利用曲率变量的凸性与向量场及法映射的一致收敛性，建立泛函的下确界连续性。
• 通过 $\mathcal{O}_\varepsilon(B)$ 中的序列收敛性实现紧致性，确保极小化序列收敛于同一类中的极小化器。

实验结果

研究问题

• RQ1 对于依赖于位置、法向量、平均曲率与高斯曲率的一般几何泛函，$C^{1,1}$-正则极小化器是否存在？
• RQ2 一致球条件能否作为形状优化问题中确保紧致性与正则性的充分条件？
• RQ3 如何在几何约束下严格最小化曲率依赖能量（如Willmore泛函与Canham-Helfrich能量）？
• RQ4 一致球条件、$C^{1,1}$-正则性与Federer的正则性半径概念之间的确切关系是什么？
• RQ5 能否仅使用基本分析工具而无需依赖几何测度论，获得存在性结果？

主要发现

• 一致 $\varepsilon$-球条件确保集合 $\Omega$ 的边界为 $C^{1,1}$-正则且具有正则性半径，提供了一项几何正则性准则。
• 在 $\mathcal{O}_\varepsilon(B)$ 中的极小化序列收敛于极限 $\Omega \in \mathcal{O}_\varepsilon(B)$，确保容许形状类中的紧致性。
• 泛函 $\int_{\partial\Omega} j_0[\mathbf{x},\mathbf{n}] \, dA + \int_{\partial\Omega} j_1[\mathbf{x},\mathbf{n},H] \, dA + \int_{\partial\Omega} j_2[\mathbf{x},\mathbf{n},K] \, dA$ 在给定假设下是下确界连续的，从而保证极小化器的存在性。
• 面积与体积相关的约束在一致球条件诱导的拓扑下是连续的，确保极限下可行性不变。
• 与向量场 $\mathbf{V}$ 相关的法曲率 $\kappa_{\mathbf{v}}$ 在曲面图的一致收敛下具有对角收敛性，确保曲率相关项的连续性。
• 在适当约束下，证明了Canham-Helfrich能量与Willmore泛函极小化器的存在性，确认该框架对物理模型的适用性。