[论文解读] Structure of shape derivatives around irregular domains and applications

Jimmy Lamboley, Michel Pierre|arXiv (Cornell University)|Sep 19, 2006

Advanced Mathematical Modeling in Engineering参考文献 11被引用 12

一句话总结

本文为 R^N 中有限测度集的形状变分建立了一般性结构，表明该变分仅依赖于在约化边界上的形变法向分量。文中引入了形状变分的正性概念，当边界为 Lipschitz 时，该正性蕴含关于一致范数的连续性，将 Hadamard 的经典结果推广至非光滑区域，并为周长和 Dirichlet 能量泛函的应用提供了支持。

ABSTRACT

In this paper, we describe the structure of shape derivatives around sets which are only assumed to be of finite perimeter in $\R^N$. This structure allows us to define a useful notion of positivity of the shape derivative and we show it implies its continuity with respect to the uniform norm when the boundary is Lipschitz (this restriction is essentially optimal). We apply this idea to various cases including the perimeter-type functionals for convex and pseudo-convex shapes or the Dirichlet energy of an open set.

研究动机与目标

• 将 Hadamard 的形状变分结构定理从 C^2 域推广至有限测度集。
• 在非光滑形状背景下，为形状变分定义有意义的正性概念。
• 建立形状变分正性蕴含关于一致范数连续性的条件。
• 将该框架应用于周长和 Dirichlet 能量等关键泛函，适用于凸或拟凸集。
• 通过具有尖点的反例，证明 Lipschitz 边界条件的最优性。

提出的方法

• 利用几何测度论，定义有限测度集的约化边界 ∂*E 及单位法向量 ν_E。
• 定义形变映射 Φ: ξ ↦ ξ|Γ · ν_E，将向量场映射到约化边界 Γ 上的法向迹。
• 在像空间 Φ(Θ) 上赋予 Banach 范数，以确保形状变分 ℒ_E′(0) 可表示为 Φ(Θ) 上的连续线性泛函 l。
• 引入形状变分的正性概念：若在 Γ 上 H^{N-1}-几乎处处有 ξ·ν_E ≥ 0，则 ℒ_E′(0)·ξ ≥ 0。
• 证明当 ∂E 为 Lipschitz 时，l 的正性蕴含其关于 L^∞(Γ) 范数（即一致范数）的连续性。
• 构造一个具有尖点的反例，表明当边界非 Lipschitz 时，正性不蕴含一致连续性。

实验结果

研究问题

• RQ1 形状变分的结构能否从 C^2 域推广至有限测度集？
• RQ2 当边界不规则时，形状变分的合适泛函分析框架为何？
• RQ3 形状变分的正性（即泛函非减）是否蕴含关于一致范数的连续性？
• RQ4 边界 Lipschitz 正则性是否为保证此类连续性的最优条件？
• RQ5 该理论能否应用于非光滑凸或拟凸域上的周长型泛函与 Dirichlet 能量泛函？

主要发现

• 对于有限测度集 E，其形状变分完全由其在约化边界 ∂*E 上形变法向分量的作用所决定。
• 该变分可表示为 Banach 空间 Φ(Θ) 上的连续线性泛函 l，该空间强于 L^∞(Γ)。
• 若边界 ∂E 为 Lipschitz，则形状变分的正性（即形变方向为外法向时非负）蕴含关于一致范数的连续性。
• Lipschitz 条件本质上是最优的：通过一个尖点反例表明，当缺乏 Lipschitz 正则性时，正性不蕴含一致连续性。
• 该框架适用于周长型泛函与 Dirichlet 能量，为非光滑情形下的形状优化提供了严格基础。
• 本文证明了总变差测度 |∇χ_E| 与 ∂*E 上的 (N-1) 维 Hausdorff 测度完全一致。