[论文解读] A Ginzburg-Landau model with topologically induced free discontinuities

Michaël Goldman, Benoît Merlet+1 more|arXiv (Cornell University)|Nov 23, 2017

Advanced Mathematical Modeling in Engineering参考文献 40被引用 4

一句话总结

本文提出了一类具有拓扑约束的分数阶度数 $1/m$ 任意子的吉茨堡-朗道型模型，这些任意子必须通过线性不连续性连接，形成总度数为整数的簇。通过 $̼$-收敛性分析，证明了当 $\varepsilon>0$ 较小时，极小化子呈现出一种结构：不连续性线构成了一类变体的斯坦纳问题，将任意子连接成最小网络。

ABSTRACT

We study a variational model which combines features of the Ginzburg-Landau model in 2D and of the Mumford-Shah functional. As in the classical Ginzburg-Landau theory, a prescribed number of point vortices appear in the small energy regime; the model allows for discontinuities, and the energy penalizes their length. The novel phenomenon here is that the vortices have a fractional degree $1/m$ with $m\geq 2$ prescribed. Those vortices must be connected by line discontinuities to form clusters of total integer degrees. The vortices and line discontinuities are therefore coupled through a topological constraint. As in the Ginzburg-Landau model, the energy is parameterized by a small length scale $\varepsilon>0$. We perform a complete $Γ$-convergence analysis of the model as $\varepsilon\downarrow0$ in the small energy regime. We then study the structure of minimizers of the limit problem. In particular, we show that the line discontinuities of a minimizer solve a variant of the Steiner problem. We finally prove that for small $\varepsilon>0$, the minimizers of the original problem have the same structure away from the limiting vortices.

研究动机与目标

• 分析一个结合二维吉茨堡-朗道与穆尔富德-夏普特征的变分模型，其中映射取值于 $\mathbf{C}/\mathbf{G}_m$。
• 研究当小参数 $\varepsilon \downarrow 0$ 时，能量泛函在低能量情形下的渐近行为。
• 通过跳跃集上的约束，理解分数阶度数任意子与线性不连续性之间的拓扑耦合。
• 表征极限问题极小化子的结构，并证明其在小 $\varepsilon>0$ 扰动下的稳定性。
• 证明小 $\varepsilon$ 下极小化子中的不连续性线收敛于广义斯坦纳问题的解。

提出的方法

• 该模型使用商空间 $\mathbf{C}/\mathbf{G}_m$（$m\geq 2$），通过等距投影 $\mathrm{P}$ 映射到 $\mathbb{R}^3$ 中的圆锥面 $\mathcal{N}$，从而允许分数阶度数的任意子 $1/m$。
• 能量泛函 $F^{0}_{\varepsilon}$ 将 $\mathrm{P}(u)$ 的吉茨堡-朗道能量与惩罚线性不连续性的周长项 $\mathcal{H}^1(J_u)$ 结合。
• 通过引入相场 $\psi$ 的阿姆布罗西奥-托雷托利正则化 $F^{\eta}_{\varepsilon}$，利用 $\eta$-依赖的能量项近似跳跃集 $J_u$。
• 建立了当 $\varepsilon \downarrow 0$ 时 $F^{0}_{\varepsilon}$ 与 $F^{\eta}_{\varepsilon}$ 的 $\Gamma$-收敛性，得到一个在跳跃集上具有拓扑约束的极限泛函。
• 利用校准技术和几何测度论分析极限问题，表明不连续性线最小化一种广义斯坦纳型能量。
• 通过爆破论证和在小球内与竞争者的比较，证明小 $\varepsilon$ 下的极小化子收敛于极限问题的相同结构。

实验结果

研究问题

• RQ1 分数阶度数任意子（$1/m$）的存在如何影响吉茨堡-朗道型模型中不连续性线的形成与结构？
• RQ2 当 $\varepsilon \downarrow 0$ 时，能量泛函极小化子的渐近结构是什么？
• RQ3 极小化子中的线性不连续性如何与经典几何优化问题（如斯坦纳问题）相关联？
• RQ4 阿姆布罗西奥-托雷托利正则化能否在小 $\varepsilon$ 范围内准确捕捉原问题的拓扑与几何特征？
• RQ5 小 $\varepsilon>0$ 下极小化子的结构是否稳定且与 $\Gamma$-极限的结构拓扑等价？

主要发现

• $F^{0}_{\varepsilon}$ 在 $\varepsilon \downarrow 0$ 时的 $\Gamma$-极限由一个泛函表征，该泛函同时惩罚能量与不连续性线的长度，并对跳跃集施加拓扑约束。
• 极限问题极小化子中的不连续性线解决了一类斯坦纳问题的变体，形成连接总整数度数任意子的最小网络。
• 当 $\varepsilon>0$ 较小时，$F^{0}_{\varepsilon}$ 的极小化子与 $\Gamma$-极限的极小化子具有相同的结构，远离极限任意子位置处成立。
• 小 $\varepsilon$ 下极小化子的跳跃集 $J_u$ 局部为有限条线段的并集，其构型由任意子位置与拓扑约束唯一确定。
• 在包含任意子簇的小球内，不连续性线与对应于该任意子簇的三个点的斯坦纳问题的唯一解重合。
• 极小化子在 $L^1(\Omega)$ 中强收敛，且在远离任意子的位置局部 $C^k$ 收敛，证实了极限结构的稳定性。