An exact unstable mode of self-similar Yang--Mills solutionsin 5+1 dimensions

技术摘要：5+1 维自相似杨–米尔斯解的一个精确不稳定模

问题陈述
本文研究了五维空间（5+1 维）中球对称杨–米尔斯方程自相似解的谱性质。这些方程允许存在无数个光滑的自相似轮廓（profiles），记作 $u_n$（其中 $n=0, 1, 2, \dots$），指数 $n$ 对应于轮廓在区间 $(0, 1)$ 上的零点个数。其中，基本轮廓（$u_0$）作为通用爆炸（blowup）的普遍吸引子，而第一激发轮廓（$u_1$）则控制着色散与爆炸之间的阈值。此前的工作 [1] 中观察到了一个特定的数值谱异常：所有的激发轮廓（$n \geq 1$）都共享完全相同的最小不稳定特征值 $\lambda = 5$。本文旨在解释这一显著谱性质的结构性起源，此前该性质一直缺乏解析推导。

方法论
作者结合坐标变换、Sturm–Liouville 理论以及显式拟设（ansatz）构造，解决了这一谱谜题：

1. 坐标变换： 使用倒数坐标 $x = 1/y$（其中 $y = r/(T-t)$ 是相似变量）对问题进行重新表述。这把定义域映射为 $x \in [1, \infty)$，并将非线性轮廓方程转化为更简单的形式：$(x^2 - 1)U'' + 3U(1 - U^2) = 0$。
2. 线性化与自伴随形式化： 推导了围绕轮廓 $u_n$ 的线性化特征值问题。通过引入特定的变换 $V = x^\lambda p^{(1-\lambda)/2} \phi$（其中 $p = x^2 - 1$），将方程转化为自伴随的 Sturm–Liouville 形式：
   $$-(p\phi')' - 3(1 - 3U_n^2)\phi = E p^{-1}\phi$$
   其中“能量” $E$ 与相似特征值 $\lambda$ 通过 $E = -(\lambda - 1)^2$ 相关联。这种形式化允许应用 Sturm 振荡定理，建立了光滑相似模（对于 $\text{Re}(\lambda) > 1$）与平方可积特征函数之间的一一对应关系。
3. 拟设构造： 为了寻找对应于共享特征值的特定特征函数，作者寻求一个关于轮廓 $U$ 的通用一阶表达式。所提议的拟设为 $\phi = (AU)'$，其中 $A$ 是一个独立于特定轮廓 $U$ 的函数。
4. 验证： 作者将此拟设代入线性化方程，并确定函数 $A(x)$ 和能量 $E$，使得对于任何满足非线性方程的轮廓 $U$，该方程均成立。

主要贡献与结果
本文的主要贡献是显式构造了在所有激发轮廓中产生特征值 $\lambda = 5$ 的特征函数。

• 精确特征函数构造： 通过求解由拟设导出的系数方程，作者确定了 $A(x) = 1/U_0(x)$，其中 $U_0$ 是基本轮廓。因此，$n$ 阶激发轮廓的特征函数由下式给出：
  $$\phi_n(x) = \left( \frac{U_n(x)}{U_0(x)} \right)'$$
  该函数满足能量 $E = -16$ 的 Sturm–Liouville 方程。
• 谱位置： 本文证明了 $E = -16$ 对应于 $\lambda = 5$。利用 Sturm 振荡定理可以证明，由于商函数 $U_n/U_0$ 恰有 $n$ 个零点，其导数 $\phi_n$ 恰有 $n-1$ 个内部零点。鉴于第 $n$ 个轮廓的谱问题拥有恰好 $n$ 个负能量级，具有 $n-1$ 个节点的特征函数必然对应于最高（最小负）能量级。因此，对于所有 $n \geq 1$，有 $E^{(n)}_1 = -16$ 且 $\lambda^{(n)}_1 = 5$。
• 底层微分恒等式： 本文建立了一个对任意光滑函数 $U$ 均成立的微分恒等式：
  $$L_{U, -16} \left[ \left( \frac{U}{U_0} \right)' \right] = U_0^{-1} \left( \partial_x - 3\frac{U_0'}{U_0} \right) E[U]$$
  该恒等式表明，如果 $E[U]=0$（即 $U$ 是一个解），那么 $(U/U_0)'$ 就是一个能量为 $E=-16$ 的特征函数。
• 与高维情况的比较： 本文简要指出，在维度 $d=7$ 和 $d=9$ 中，由于谱方程的对称性，类似的精确模由“反射”规范模（reflected gauge modes）产生。相比之下，对于 $d=5$，反射对称性并不产生新的模，因此必须通过一阶拟设的方法来揭示 $\lambda=5$ 的模。

意义
本文通过对与特征值 $\lambda = 5$ 相关的特征函数进行初等的、精确的构造，解决了一个“微小的谱谜题”。它证明了这一谱特征并非数值巧合，而是激发轮廓与基本轮廓 $u_0$ 之间关系的结构性结果。这项工作阐明了 5+1 维自相似杨–米尔斯解的线性稳定性谱，确认了所有激发态都共享同一个最小不稳定模，并明确刻画了其形式。