[论文解读] Stationary configurations for the average distance functional and related problems

Giuseppe Buttazzo, Edoardo Mainini+1 more|arXiv (Cornell University)|Jan 2, 2014

Nonlinear Partial Differential Equations被引用 3

一句话总结

本文推导了在ℝⁿ中平均距离泛函及其相关椭圆PDE能量泛函的极小化器的一阶最优性条件，建立了刻画平稳构型的欧拉方程。关键结果是建立了解的PDE的平方法向导数与网络的平均曲率之间的微分关系，为交通网络与势论中的最优网络设计提供了变分框架。

ABSTRACT

For a functional defined on the class of closed one-dimensional connected subsets of ${\mathbb R}^n$ we consider the corresponding minimization problem and we give suitable first order necessary conditions of optimality. The cases studied here are the average distance functional arising in the mass transportation theory, and the energy related to an elliptic PDE.

研究动机与目标

• 为ℝⁿ中连通闭子集上的平均距离泛函极小化器建立一阶必要最优性条件。
• 将第一变分法扩展至域缺乏自然可微结构的形状优化问题。
• 推导一个刻画基于PDE的能量泛函（涉及Dirichlet解与网络成本）的平稳构型的微分方程。
• 为理解最优运输网络及相关PDE构型的几何与解析结构提供理论基础。

提出的方法

• 使用Hausdorff距离定义泛函的局部斜率，从而分析集合Σ的扰动。
• 通过向量场X生成的光滑变形φε(Σ)应用第一变分法，追踪当ε→0时泛函的变化。
• 推导PDE −Δu = f在Ω∖Σ中、在∂Ω∪Σ上u=0的解uΣ的线性化变化，表明u′满足具有边界条件u′ = −∇u·X的齐次Laplace方程。
• 应用Green公式与迹理论，将能量积分∫Ω u′f dx的变化表示为法向导数与曲率项的组合。
• 利用Σ两侧的梯度迹与法向导数，将变化表示为平方法向导数的跳跃。
• 推导欧拉方程：(∂u⁺/∂n)² − (∂u⁻/∂n)² = λ⟨HΣ, n⟩，其中HΣ为Σ的平均曲率向量。

实验结果

研究问题

• RQ1 在ℝⁿ的连通闭子集上，平均距离泛函的极小化器由何种一阶必要条件刻画？
• RQ2 第一变分法如何适应于非光滑、非可微集合类的形状优化问题？
• RQ3 涉及Dirichlet解与网络成本的PDE基能量泛函的平稳构型由何种微分方程控制？
• RQ4 PDE解的法向导数如何与最优网络Σ的曲率相关联？
• RQ5 在PDE基能量泛函的极小化器中，尤其在曲率与通量平衡方面，何种几何与解析结构浮现？

主要发现

• 平均距离泛函的第一变分给出局部斜率的下界：若脊集𝒮Σ的μ测度为零，则|ℱ′|(Σ) ≥ λ。
• 对于PDE基泛函，第一变分导出欧拉方程：(∂u⁺/∂n)² − (∂u⁻/∂n)² = λ⟨HΣ, n⟩，该方程刻画了平稳构型。
• Σ上法向导数的跳跃由网络的平均曲率平衡，将几何曲率与调和解的通量联系起来。
• 能量积分∫Ω u′f dx的变化可简化为涉及平方法向导数与向量场X的Σ上的积分。
• 所导出的欧拉方程表明，最优网络Σ必须平衡解的梯度的平方通量与其曲率，以确保平稳性。
• 该方法在即使集合Σ不光滑时，也建立了PDE解的行为与极小化器几何性质之间的严格联系。