[论文解读] Variational approximation of size-mass energies for k-dimensional currents

Antonin Chambolle, Luca Alberto Davide Ferrari+1 more|arXiv (Cornell University)|Oct 24, 2017

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

一句话总结

本文提出了一种针对 R^n 中 k-维电流关联的大小-质量能量的变分相场近似，将 Ambrosio-Tortorelli 泛函推广至更高余维。证明了当 a↓0 时，近似泛函的 Γ-收敛性：k=1 时收敛至分枝输运能量，一般 k<n 时收敛至 Plateau 能量，从而在极限下恢复 Steiner 问题与 Plateau 问题。

ABSTRACT

In this paper we produce a $$Γ$$-convergence result for a class of energies $F k $ε$,a$ modeled on the Ambrosio-Tortorelli functional. For the choice k = 1 we show that $F 1 $ε$,a $Γ$$-converges to a branched transportation energy whose cost per unit length is a function $f n--1 a$ depending on a parameter $a &gt; 0$ and on the codimension n -- 1. The limit cost f a (m) is bounded from below by 1 + m so that the limit functional controls the mass and the length of the limit object. In the limit a $\downarrow$ 0 we recover the Steiner energy. We then generalize the approach to any dimension and codimension. The limit objects are now k-currents with prescribed boundary, the limit functional controls both their masses and sizes. In the limit $a $\downarrow$ 0$, we recover the Plateau energy defined on k-currents, $k &lt; n$. The energies $F k $ε$,a$ then can be used for the numerical treatment of the k-Plateau problem.

研究动机与目标

• 开发一种针对 R^n 中 k-维电流上大小-质量能量的变分近似方法，推广此前针对 1-电流的工作。
• 建立相场泛函 F^k_ε,a 沿 ε↓0 的 Γ-收敛性，其极限能量同时控制 k-电流的质量与大小。
• 在参数 a↓0 的极限下，恢复已知的几何变分问题——具体而言，k=1 时为分枝输运问题，k<n 时为 Plateau 问题。
• 为通过奇异电流的扩散近似求解 k-Plateau 问题，提供一个数值上可处理的框架。

提出的方法

• 提出一种在向量场 σ_ε ∈ L²(Ω,R^n) 与相场 u ∈ W¹,p(Ω,[η,1]) 上定义的扩散型泛函 F^k_ε,a，其中 η = aε^n。
• 基于 Ambrosio-Tortorelli 相场方法构建泛函，包含惩罚梯度 |∇u|、(1−u)² 与 u|σ|² 的项，均按 ε 缩放。
• 通过光滑化点源 (∑c_j δ_{x_j}) * ρ_ε 在 D’(R^n) 中施加散度约束 ∇·σ_ε = (∑c_j δ_{x_j}) * ρ_ε，以确保通量守恒。
• 利用 Γ-收敛性理论证明：当 ε↓0 时，近似泛函收敛至控制电流质量与大小的极限能量。
• 通过 Γ-下极限与 Γ-上极限估计分析 Γ-极限，结合爆破论证与球上最优配置，计算有效代价函数 f^d_a(m)。
• 证明 f^d_a(m) = min_r T(m,r)，其中 T(m,r) 涉及参数 a、m、r 及几何常数，且证明 f^d_a(m) 的连续性、单调性与次可加性。

实验结果

研究问题

• RQ1 能否将 Ambrosio-Tortorelli 相场方法推广至任意余维下，用于近似 k-维电流的大小-质量能量？
• RQ2 当 ε↓0 时，所提相场泛函 F^k_ε,a 的 Γ-极限为何？其如何同时控制极限电流的质量与大小？
• RQ3 当参数 a↓0 时，极限能量的行为如何？是否能恢复已知的几何泛函，如 Steiner 或 Plateau 能量？
• RQ4 有效代价函数 f^d_a(m) 是否连续、单调且次可加？其在 a↓0 时的渐近行为如何？
• RQ5 该相场近似能否用于数值求解 k < n 时的 k-Plateau 问题？

主要发现

• 当 k=1 时，F^1_ε,a 沿 ε↓0 的 Γ-极限为分枝输运能量，单位长度代价为 f^1_a(m) = min_r T(m,r)，下界为 1+m。
• 当 a↓0 时，极限代价 f^1_a(m) → ∞（对 m>0），从而恢复 Steiner 能量，该能量通过网络全长惩罚分支。
• 对一般 k<n，F^k_ε,a 的 Γ-极限为一控制 k-电流质量与大小的泛函，将一维情形推广至更高余维。
• 当 a↓0 时，泛函收敛至 Plateau 能量，即在给定边界下最小化质量的 k-电流。
• 有效代价函数 f^d_a(m) 在 (0,∞) 上连续，非减，且次可加，满足 f^d_a(m) ≥ κ（对 m>0），其中 κ 为单位质量能量的下确界。
• 当 a↓0 时，f^d_a(m) → κ·1_{(0,∞)} 点态收敛，确认极限下收敛至最小质量泛函。