Local Uniqueness and Non-degeneracy of Blow Up Solutions To A Chern-Simons System

技术摘要：Chern-Simons 系统中 Blowup 解的局部唯一性与非退化性

问题陈述
本文研究了定义在平坦环面 $\Omega = \mathbb{R}/\mathbb{Z} \times \mathbb{R}/\mathbb{Z}$ 上的耦合 Chern-Simons 系统的 blowup 解的局部唯一性和非退化性。所研究的系统为：
$$\begin{cases} \Delta u_1 + \frac{1}{\varepsilon^2} e^{u_2}(1 - e^{u_1}) = 4\pi \sum_{j=1}^N \delta_{p_{1,j}} & \text{in } \Omega, \\ \Delta u_2 + \frac{1}{\varepsilon^2} e^{u_1}(1 - e^{u_2}) = 4\pi \sum_{j=1}^N \delta_{p_{2,j}} & \text{in } \Omega, \\ u_1, u_2 \in H^1_{\text{per}}(\Omega), \end{cases}$$
其中 $\varepsilon > 0$ 是一个小参数。本研究聚焦于当 $\varepsilon \to 0$ 时的“平均场型（mean-field type）”blowup 机制，在此机制下，解在有限个正则点集 $\{q_1, \dots, q_k\}$ 处发生集中。主要目标是证明：具有相同集中点的两个不同 blowup 解序列必须重合（局部唯一性），并确立围绕这些解的线性化算子具有平凡核（非退化性）。

研究方法
作者采用了严谨的 blowup 分析，该方法细化并扩展了 Huang 和 Zhang 在 [16] 中建立的尖锐估计。该方法论包含几个关键的技术步骤：

1. 尖锐估计的细化： 本文系统地改进了 [16] 中的误差估计。虽然 [16] 提供了初步的界限，但本研究将误差项 $\eta_{i,j,\varepsilon}$ 的有效范围扩展到了全范围 $\tau, \tau' \in (0, 1)$，并建立了更尖锐的局部质量 $\tilde{M}_{i,j,\varepsilon}$ 的界限，表明 $|\tilde{M}_{i,j,\varepsilon} - 8\pi| = O(\mu_{j,\varepsilon}^{-2+\theta})$。
2. 验证完全 Bubbling 行为： 作者严格验证了满足自然几何假设的解表现出“完全 Bubbling（fully bubbling）”行为。这包括证明两个分量的 blowup 点是重合的，并且缩放后的解收敛到 $\mathbb{R}^2$ 上的 Liouville 系统。
3. 质量分配与缩放关系： 一项关键创新是推导了缩放参数 $\varepsilon$ 与最大高度 $\beta_{j,\varepsilon}$ 之间精细的关系。通过利用“近似相等的质量分配”（引理 2.10），作者推导出了一个连接 $\mu_{j,\varepsilon}$ 和 $\beta_{j,\varepsilon}$ 的高阶代数关系，这对于消除线性化方程中的核元素至关重要。
4. Pohozaev 恒等式： 唯一性和非退化性证明的核心依赖于对两个解序列（或一个解与零解）应用 Pohozaev 恒等式。作者利用解在 bubbling 圆盘内部和外部的精细渐近展开，推导出了这些恒等式中边界项和内部项的精确展开式。

主要贡献与结果

• 局部唯一性 (定理 1.1)： 本文证明，如果两个 blowup 解序列共享相同的正则 blowup 点集 $\vec{q} = (q_1, \dots, q_k)$，且满足以下条件：

  1. $\vec{q}$ 是泛函 $G^*_1 + G^*_2$（涉及 Green 函数和背景势）的非退化临界点；
  2. 特定全局量 $D(\vec{q})$ 严格为负；
  3. 背景势满足对称性条件 $u_{0,1}(q_{j_1}) - u_{0,2}(q_{j_1}) = u_{0,1}(q_{j_2}) - u_{0,2}(q_{j_2})$；
     那么，这两个序列在 $\varepsilon$ 足够小时是恒等的。值得注意的是，作者并未预先假设两个序列的局部极大值点是重合的，这一点是从分析中推导出来的。

• 非退化性 (定理 1.2)： 在与定理 1.1 相同的假设下，本文确立了 blowup 解是非退化的。具体而言，围绕 blowup 解的线性化系统仅允许平凡解。这一结果对于稳定性理论、Morse 指数计算以及胶合构造（gluing constructions）是基础性的。

• 技术改进： 本文提供了对 [16] 中开启的尖锐估计的完整且严谨的完成。它证明了完全 Bubbling 行为是一个严谨的推论而非假设，并确立了解的正则部分的最优消失阶数（$O(\mu^{-2})$）。

意义与主张
作者将这项工作定位为耦合 Chern-Simons 系统分析中一次必要的进展，因为由于各分量之间的相互作用，这类系统比其标量对应物更为复杂。本文声称：

• 所提供的估计比相关领域的类似问题更为“精细且技术复杂”。
• $\varepsilon$ 与 blowup 参数之间的精细关系对于局部唯一性证明是必不可少的，因为初步的代数关系不足以消除核元素。
• 研究结果将平均场型 blowup 解的理论从标量方程（如 [20] 中所述）扩展到了耦合系统，解决了由耦合结构引入的特定分析困难。
• 非退化性结果被呈现为未来研究涡旋动力学以及通过 Lyapunov-Schmidt 还原法构建更复杂解的基础要素。

本文并不提出新的物理应用或实验方案，而是严格专注于这些特定奇异解的存在性、唯一性和结构稳定性的数学分析。