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

技術要約：5+1次元における自己相似ヤン＝ミルズ解の厳密な不安定モード

問題設定
本論文は、5+1次元における球対称ヤン＝ミルミルズ方程式の自己相似解のスペクトル特性を扱っている。これらの解は、プロファイル $u_n$ ($n=0, 1, 2, \dots$) と呼ばれる無限個の滑らかな自己相似プロファイルを持つ。ここで、インデックス $n$ は区間 $(0, 1)$ 上におけるプロファイルの零点の数に対応している。基本プロファイル ($u_0$) は、一般的なブローアップ（爆発）に対する普遍的なアトラクターとして機能し、第一励起プロファイル ($u_1$) は分散とブローアップの間の閾値を支配するが、先行研究 [1] において特定のスペクトル異常が数値的に観察されていた。具体的には、すべての励起プロファイル ($n \geq 1$) が、全く同一の最小不安定固有値 $\lambda = 5$ を共有しているというものである。本論文の目的は、これまで解析的な導出が欠けていたこの驚くべきスペクトル特性の構造的起源を解明することである。

手法
著者は、座標変換、シュトゥルム＝リウヴィル理論、および明示的なアンザッツ（仮定）の構成を組み合わせて、このスペクトルの謎を解決している。

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$）を導入することで、方程式を以下の自己随伴シュトゥルム＝リウヴィル形式へとキャストできる：
   $$-(p\phi')' - 3(1 - 3U_n^2)\phi = E p^{-1}\phi$$
   ここで、「エネルギー」 $E$ は相似固有値 $\lambda$ と $E = -(\lambda - 1)^2$ という関係にある。この定式化により、シュトゥルムの振動定理の適用が可能となり、滑らかな自己相似モード ($\text{Re}(\lambda) > 1$) と平方可積分な固有関数の間の一対一の対応関係が確立される。
3. アンザッツの構成： 共通の固有値に対応する固有関数を見つけるために、プロファイル $U$ に関する普遍的な一次形式の固有関数 $\phi$ を探索する。アンザッツは $\phi = (AU)'$ と提案される。ここで、$A$ は特定のプロファイル $U_n$ に依存しない関数である。
4. 検証： 著者は、このアンザッツを線形化方程式に代入し、方程式が任意のプロファイル $U$（非線形方程式を満たすもの）に対して成立するように、関数 $A(x)$ およびエネルギー $E$ を決定する。

主要な貢献と結果
本論文の主要な貢献は、すべての励起プロファイルにわたって固有値 $\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$ を持つシュトゥルム＝リウヴィル方程式を満たす。
• スペクトルの位置付け： 論文は、$E = -16$ が $\lambda = 5$ に対応することを証明している。シュトゥルムの振動定理を用いると、商 $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$ において、スペクトル方程式の対称性に由来する「反射された」ゲージモードから同様の厳密なモードが現れることに簡潔に触れている。対照的に、$d=5$ では、反射対称性は新しいモードを生成しないため、$\lambda=5$ モードを明らかにするには一次のアンザッツを用いた構成が必要となる。

意義
本論文は、$\lambda = 5$ という普遍的な固有値に関連する固有関数の、初等かつ厳密な構成を提供することで、「小さなスペクトルのパズル」を解決した。これは、当該のスペクトル的特徴が数値的な偶然ではなく、励起プロファイルと基本プロファイル $u_0$ との関係に由来する構造的な帰結であることを示している。本研究は、5+1次元における自己相似ヤン＝ミルズ解の線形安定性スペクトルを明確にし、最小不安定モードがすべての励起状態によって共有されていることを確認するとともに、その形態を明示的に特徴づけたものである。