Nondegeneracy and Morse Index of Ginzburg--Landau Vortices

技术摘要：Ginzburg–Landau 涡旋的非退化性与 Morse 指数

问题陈述
本文研究了 $\mathbb{R}^2$ 中标准等变涡旋解 $u_n(r, \theta) = f_n(r)e^{in\theta}$ 在 Ginzburg–Landau (GL) 方程中的谱性质：
$$-\Delta u = (1 - |u|^2)u.$$
虽然一阶涡旋（$n=1$）已被充分理解为具有已知非退化核的稳定能量极小值，但高阶（$n \ge 2$）的情况要复杂得多。高阶等变解并非能量极小值，且易于分裂成低阶涡旋。核心数学挑战在于不存在 $f_n(r)$ 的显式公式，从而无法直接分析线性化算子 $L_n$。因此，对于 $n \ge 2$，其非退化性（在模去对称性意义下的平凡性）以及精确的 Morse 指数（负特征值的数量）一直是开放性的严谨问题，此前的结论多依赖于缺乏完整证明的变分论证。

方法论
作者开发了一种策略，通过用显式的代数屏障（上界和下界）替换涡旋轮廓，从而绕过缺乏 $f_n$ 显式公式的问题。该方法分为三个主要阶段：

1. 显式界限构建： 利用基于微分算子 $E_n(g) = g'' + \frac{1}{r}g' - \frac{n^2}{r^2}g + (1-g^2)g$ 的比较原理，作者构造了显式代数函数 $g(r)$，作为 $f_2$ 和 $f_3$ 的严格上界和下界。这些界限被设计得足够尖锐，以保留谱信息。
2. 傅里叶块分解： 将线性化算子分解为由角动量 $m$ 索引的独立傅里叶块。与线性化相关的二次型被简化为一系列耦合径向系统 $Q^{(n)}_m$。
   • 对称模式（$m=0, 1$）： $m=0$ 块对应相位旋转，$m=1$ 块对应平移。通过使用基态表示来分析这些块，以识别几何核（$\text{span}\{iu_n, \partial_{x_1}u_n, \partial_{x_2}u_n\}$）。
   • 高阶模式（$m \ge 2n-1$）： 比较论证表明这些块是严格正定的。
   • 中间模式（$2 \le m \le 2n-2$）： 这些是关键的块，其中可能存在负特征值或额外的核元素。
3. 还原为标量薛定谔算子： 对于中间块，作者用显式下界 $g$ 替换 $f_n$。通过引入对数变量并在耦合系统中配方，将问题简化为一个一维标量薛定谔算子 $\ell_m$。
4. 正定性验证： 通过在子区间上构造显式正超解来建立非退化性和指数界限。这利用了 Sturm 振荡原理和 Bernstein 基，通过验证所得多项式的正性（对于 $n=3$ 的情况，通常需要高次多项式和数值优化）。

主要贡献与结果
本文首次为二阶和三阶 Ginzburg–Landau 涡旋的非退化性和 Morse 指数提供了严谨且完整的证明。

• 非退化性： 对于 $n=2$ 和 $n=3$，线性化算子 $L_n$ 在有界函数空间中的核恰好是几何对称性的张成空间：
  $$\ker_{C^2 \cap L^\infty} L_n = \text{span}_{\mathbb{R}}\{iu_n, \partial_{x_1}u_n, \partial_{x_2}u_n\}.$$
  此外，$L^2$ 核是平凡的：$\ker_{L^2} L_n = \{0\}$。
• Morse 指数： 作者计算了线性化算子的精确负特征值数量：
  • 对于 $n=2$，Morse 指数为 2。
  • 对于 $n=3$，Morse 指数为 6。
    这些指数源于中间傅里叶块（对于 $n=2$ 为 $m=2$；对于 $n=3$ 为 $m=2,3,4$），每个块在每个实角拷贝中各贡献一个负特征值。
• 显式界限： 本文推导了 $f_2$ 和 $f_3$ 的显式全局代数界限，例如：
  $$\frac{r^2}{\sqrt{r^4 + 4r^2 + 30 + 6\sqrt{21}}} < f_2(r) < \frac{r^2}{\sqrt{r^4 + 4r^2 + 24}}.$$
  这些界限对于需要在渐近展开不足的过渡区域进行符号控制的问题具有独立的价值。

意义与主张
作者指出，其结果证实了至少在局部范围内，径向解对于 $n=2$ 和 $n=3$ 是唯一的。这与相关方程（如复正弦-戈登 II 型方程）中的发现形成对比，在后者中，二阶解可能是退化的。计算出的 Morse 指数与 Adler-Moser 多项式在复正弦-戈登 II 型方程中的自由参数数量一致，这引导作者推测，对于 GL 方程，$n$ 阶的 Morse 指数为 $n(n-1)$。

论文强调，其方法——用尖锐的代数屏障替换未知的轮廓，并通过比较法将谱问题简化为标量一维算子——是一种稳健的技术，尽管随着所需多项式构造复杂度的增加，预计该方法将推广到更高阶的解。这项工作解决了一个文献空白，即此前关于一般 $n$ 的非退化性主张依赖于作者认为并不完全充分的变分论证。