[论文解读] A coarea-type formula for the relaxation of a generalized elastica functional

Simon Masnou, Giacomo Nardi|arXiv (Cornell University)|Dec 9, 2011

Advanced Mathematical Modeling in Engineering参考文献 22被引用 7

一句话总结

该论文为广义弹性能泛函的L¹-下半连续包络建立了类共形公式，证明了对于任意BV函数，其松弛能量可表示为水平集上的积分，其中每个水平集的边界可被具有受控曲率的W²ᵖ曲线覆盖。关键结果是通过最小化水平线间总p-弹性能的光滑曲线族，对松弛过程进行变分表征。

ABSTRACT

We consider in R^2 the generalized elastica functional defined, for smooth functions, as the p-elastica energies of the level lines integrated over all levels. Extending the functional to L1, we study its L1-lower semicontinuous envelope and we prove that, for any u in BV, the envelope at u can be represented by a coarea-type formula involving suitable collections of W2,p curves that cover the essential boundaries of the level sets of u.

研究动机与目标

• 表征定义在C²函数上的广义弹性能泛函的L¹-下半连续包络。
• 将经典共形公式推广至涉及BV函数中曲率相关能量的松弛设定。
• 通过覆盖上水平集边界的W²ᵖ曲线族，提供松弛能量的变分表示。
• 通过在BV中逼近构造出明确定义的松弛，以解决原始泛函在L¹中缺乏下半连续性的问题。
• 通过构造反例并证明局部化性质，厘清在BV(Ω)与BV₀(Ω)中松弛的差异。

提出的方法

• 作者将广义弹性能泛函F(u)定义为R²上|∇u|(1 + |div(∇u/|∇u|)|ᵖ)的积分，其中p > 1，α = β = 1。
• 他们使用直接法并利用C²函数逼近，研究u ∈ BV(R²)时的L¹-下半连续包络F̄(u)。
• 推导出类共形公式，将F̄(u)表示为t ∈ R的积分，其中被积函数为水平集的p-弹性能W({u > t})。
• p-弹性能W(E)定义为C²边界时的∫_{∂E} (1 + |κ|ᵖ) dℋ¹，否则为+∞。
• 通过覆盖上水平集{u > t}本质边界的W²ᵖ曲线族，对松弛进行表征。
• 证明依赖于Sard引理、BV中的紧致性，以及在C²_c(Ω)中构造能量一致有界的逼近序列。

实验结果

研究问题

• RQ1 如何为BV函数表示广义弹性能泛函的L¹-下半连续包络？
• RQ2 即使原始泛函在L¹中不具下半连续性，能否为松弛能量建立类共形公式？
• RQ3 W²ᵖ曲线在表征BV函数水平集松弛能量中的作用是什么？
• RQ4 在用紧支集的BV函数逼近时，松弛F̄(u, Ω)与F̄₀(u, Ω)有何不同？
• RQ5 松弛能量最小化器的几何结构在曲率与曲线族方面如何体现？

主要发现

• 广义弹性能泛函的L¹-下半连续包络F̄(u)有限，当且仅当上水平集{u > t}的本质边界可被具有有限p-弹性能的W²ᵖ曲线族覆盖。
• 对任意u ∈ BV(R²)，松弛能量F̄(u)具有类共形表示：F̄(u) = ∫_ℝ W({u > t}) dt，其中W(E)为边界∂E的p-弹性能。
• 在一般情况下，BV₀(Ω)中的松弛F̄₀(u, Ω)严格小于BV(Ω)中的F̄(u, Ω)，如例4.4所示，其中C²(Ω)中的序列产生的能量低于C²_c(Ω)中的序列。
• 对于具有紧支集且松弛能量有限的函数，松弛具有局部性：存在包含u支集的有界区域Ω，使得F̄(u) = F̄₀(u|_Ω, Ω)。
• 泛函F在L¹(R²)中不具下半连续性，反例表明：一列C²函数在L¹中收敛于有限变差集的特征函数，但能量保持有界，而极限不在C²中。
• 在BV(R²)中，松弛能量的最小化问题适定，最小化器的存在性由紧致性及松弛泛函的下半连续性保证。