The formation of gradient-driven singular structures of codimension one and two in two-dimensions: The case study of ferronematics. Part~{II}: Refined structure of the energy-concentration set

技术摘要：铁磁性液晶中能量集中集的精细结构

问题陈述与背景
本文是关于二维铁磁性液晶（由分散在向列相液晶基质中的磁性纳米颗粒组成的复合材料）变分模型研究的第二部分。该系统由一个耦合的自由能泛函 $F_\varepsilon$ 控制，涉及两个耦合的序参数：描述液晶取向的 Landau-de Gennes $Q$-张量（$Q: \Omega \to S^2_0$）以及磁化矢量场（$M: \Omega \to \mathbb{R}^2$）。其能量包含一个具有奇异耦合项的 Ginzburg-Landau 型势能，该项倾向于使 $Q$ 与 $M$ 趋于一致。

作者分析了 $F_\varepsilon$ 的临界点（不一定是极小值）在 $\varepsilon \to 0$ 时的渐近行为。在配套论文 [9] 中，已确定与 $Q$ 分量相关的能量密度集中在有限个奇异点（$\text{spt } \mu_\star$）上。本研究的主要目标是表征 $M$ 分量的极限行为及其能量集中集的结构（$\text{spt } \nu_\star$），预计该集合将形成一维奇异结构（线），而非孤立的点。

方法论
分析将 $M$ 的 Euler-Lag Lagrange 方程（方程 9）视为一个“扰动”的矢量 Allen-Cahn 系统。核心难点在于 $M$ 的势阱并非固定不变，而是依赖于空间变化的 $Q_\varepsilon$。为了克服这一困难，作者采用了多方面的策略：

1. 扰动 Allen-Cahn 结构：他们定义了一个依赖于 $Q_\varepsilon$ 的势函数 $V(M_\varepsilon)$ 及相应的能量泛函 $E_\varepsilon$。他们借鉴了 [6] 中针对纯 Allen-Cahn 系统非极小解所开发的能量方法，并将其应用于这一耦合设置中。
2. 通过强收敛实现解耦：利用 [9] 中关于 $Q_\varepsilon$ 的精细收敛结果，作者证明了在远离奇异集 $\text{spt } \mu_\star$ 的区域，$Q_\varepsilon$ 强收敛于一个光滑的调和映射 $Q_\star$。这使得他们可以将耦合项视为在区域 $\Omega \setminus \text{spt } \mu_\star$ 内趋于零的低阶扰动，从而有效地恢复了纯矢量 Allen-Cahn 分析的结构。
3. 清除定理（Clearing-Out）与单调性：作者建立了 $M_\varepsilon$ 的“清除定理”，即如果一个球内的能量足够小，解将保持接近势阱。至关重要的是，他们引入了一个极限势能测度 $\zeta_\star$（$\frac{1}{\varepsilon}V(M_\varepsilon)$ 的极限）。与总能量测度 $\nu_\star$ 不同，$\zeta_\star$ 满足一个由极限 Hopf 微分关系（一种修正的 Cauchy-Riemann 系统）导出的单调性公式，这对于证明可列性（rectifiability）和密度性质至关重要。
4. 变分流形（Varifold）理论：使用变分流形的语言来分析集中集的结构。作者计算了与 $\zeta_\star$ 相关的极限变分流形 $V_\star$ 的第一变分，以建立平稳性属性和平衡律。

主要贡献与结果

• 奇异集的正则性与结构：本文证明了磁化分量的极限能量测度的支撑集 $\text{spt } \nu_\star$ 在 $Q$ 分量的点奇异性之外，局部为有限条段（一维可列集）。具体而言，集合 $S_\star := \text{spt } \nu_\star \setminus \text{spt } \mu_\star$ 是局部有限测度的计数 $\mathcal{H}^1$-可列集。
• 极限测度的特征化：作者表明，极限势能测度 $\zeta_\star$ 关于限制在 $S_\star$ 上的 Hausdorff 测度是绝对连续的（$\zeta_\star = v_\star \mathcal{H}^1_{S_\star}$）。此外，$\zeta_\star$ 与总能量测度 $\nu_\star$ 在 $S_\star$ 上是等价的，这意味着它们具有相同的支撑集和零集。
• 平稳性与平衡律：变分流形 $V_\star$ 在 $\Omega \setminus \text{s \text{spt }} \mu_\star$ 中是平稳的。论文推导出了 $V_\star$ 在整个定义域 $\Omega$ 内的第一变分的精确平衡律。该变分完全集中在有限集 $\text{spt } \mu_\star$ 上，并由 $Q$-缺陷的 Ginzburg-Landau 重正化能量的梯度给出。这建立了一种临界条件，即点缺陷（$Q$-奇异性）的相互作用能量由奇异线（$M$-奇异性）的张力所平衡。
• 强收敛：作者证明了在奇异集并集（$\Omega \setminus (\text{spt } \mu_\star \cup \text{spt } \nu_\star)$）的补集中，$M_\varepsilon$ 强局部一致收敛于极限映射 $M_\star$。

意义与主张
本文声称对铁磁性液晶模型中磁化分量的能量集中集提供了完整的特征化，扩展了以往仅限于极小值或仅针对 $Q$ 分量的研究结果。通过将非极小解的分析从 [6] 适配到耦合系统中，作者展示了液体晶体与磁场之间复杂的耦合并不会改变奇异性的基本几何结构（它们仍保持为可列线），但引入了一种点缺陷与线缺陷之间的特定相互作用机制。

这项工作确立了 $M$ 分量的奇异集不仅是线的集合，而且具有受涉及 $Q$-缺陷重正化能量的平衡律所控制的变分结构。作者指出，虽然密度函数 $v_\star$ 在线段上局部为常数，但他们在本文中并未证明其为整数值（整性），尽管基于形式化论证，他们认为在特定的参数范围内这是一个合理的性质。研究结果高度依赖于配套论文 [9] 中建立的能量估计和紧致性结果。