[论文解读] Non-Local Isoperimetric Problems

Agnese Di Castro, Berardo Ruffini+2 more|arXiv (Cornell University)|Jun 29, 2014

Nonlinear Partial Differential Equations参考文献 24被引用 3

一句话总结

本文研究了涉及不同阶数 $s$ 和 $t$ 的分数阶周长之间竞争的非局部等周问题，其中 $s < t$。研究证明，对于小体积情形，球体是能量泛函 $\mathcal{F}_{s,t}$ 的唯一极小化子，其依据是定量分数阶等周不等式；对所有体积，均证明了极小化子的存在性与正则性，而大体积下球体不再是最小化子，表明该极小化问题具有丰富的几何结构。

ABSTRACT

We characterize the volume-constrained minimizers of a nonlocal free energy given by the difference of the $t$-perimeter and the $s$-perimeter, with $s$ smaller than $t$. Exploiting the quantitative fractional isoperimetric inequality, we show that balls are the unique minimizers if the volume is sufficiently small, depending on $t-s$, while the existence vs. nonexistence of minimizers for large volumes remains open. We also consider the corresponding isoperimetric problem and prove existence and regularity of minimizers for all $s,\\,t$. When $s=0$ this problem reduces to the fractional isoperimetric problem, for which it is well known that balls are the only minimizers.

研究动机与目标

• 表征结合 $t$-周长与 $s$-周长（$s < t$）的非局部能量泛函的体积约束极小化子。
• 研究该非局部等周问题的极小化子的存在性、正则性与刚性（唯一性）。
• 将经典的等周不等式推广至具有长程与短程相互作用竞争的非局部设定。
• 确定在何种条件下球体是唯一优化器，特别是小体积情形。
• 分析当 $s \to 0$ 且 $t \to 1$ 时极小化子的行为，从而在极限下恢复已知的分数阶与经典等周不等式。

提出的方法

• 能量泛函 $\mathcal{F}_{s,t}(E)$ 定义为 $t$-周长与 $s$-周长的加权差，通过归一化常数确保当 $s \to 0$ 与 $t \to 1$ 时的连续性。
• 通过变分法中的直接法证明极小化子的存在性，利用 $L^1$-收敛下的下半连续性与紧致性。
• 通过从极小化条件与分数阶等周不等式推导出的新概念——$\omega$-极小性，证明极小化子的正则性。
• 采用定量分数阶等周不等式，证明在小体积下，能量仅在球体处严格最小化。
• 小体积下刚性性的证明依赖于仅与差值 $t - s$ 相关的稳定性估计，而不依赖于 $s$ 与 $t$ 的具体取值。
• 对于无体积约束的广义等周问题，通过尺度变换与紧致性论证证明极小化子存在，其正则性继承自体积约束情形。

实验结果

研究问题

• RQ1 在何种条件下，球体是固定体积 $m$ 下非局部能量 $\mathcal{F}_{s,t}(E)$ 的唯一极小化子？
• RQ2 对于所有体积 $m > 0$，$\mathcal{F}_{s,t}$ 的极小化问题是否均存在极小化子，还是仅在小 $m$ 时存在？
• RQ3 长程（$t$-周长）与短程（$s$-周长）效应之间的竞争如何影响极小化子的形状？
• RQ4 极小化子的正则性如何依赖于维度 $N$ 与指数差 $t - s$？
• RQ5 当 $s \to 0$ 且 $t \to 1$ 时，经典等周不等式是否可作为该非局部问题的极限恢复？

主要发现

• 对任意 $0 \leq s < t \leq 1$，存在阈值 $\bar{m}_0(N, t-s) > 0$，使得对所有体积 $m < \bar{m}_0$，极小化子存在。
• 当体积 $m < \bar{m}_1(N, t-s) \leq \bar{m}_0$ 时，$\mathcal{F}_{s,t}$ 的唯一极小化子为测度为 $m$ 的球体，其依据是定量分数阶等周不等式。
• 极小化子的正则性为 $C^{1,\beta}$，其奇异集的Hausdorff维数至多为 $N-2$，当 $t=1$ 时正则性可提升至 $N-8$。
• 无约束问题 $\widetilde{\mathcal{F}_{s,t}}$ 的极小化子存在且正则，其正则性性质与体积约束情形相同。
• $\mathcal{F}_{s,t}$ 能量泛函在 $[0,1]$ 上关于 $s$ 与 $t$ 连续，且当 $s \to 0$、$t \to 1$ 时，极限恢复经典等周泛函。
• 对于大体积，球体不再是极小化子，表明该极小化问题展现出超越球对称性的非平凡几何结构。