球谐谐振子的谱是什么？

球面谐振子为何不能分解

平直空间上的 d 维量子谐振子是唯一的 SO(d) 不变自伴二阶微分算子：其主象征为欧氏度量，基态为高斯型，基态能量为零。由于它可以拆成若干独立的一维谐振子之和，因此能用湮灭算子和产生算子求解。论文追问的是：把平直度量换成 d 维球面的圆度量（用球极投影坐标写出），同时保留二次势 ω²r²，会发生什么。

得到的算子是 L_ω = Δ_S^d + ω²r²，其中 Δ_S^d 是球面上非负拉普拉斯算子在球极投影坐标下的表达式。作者指出，该算子在 R^d 上紧支撑光滑函数上本质自伴，求它的谱并不困难。关键的结构性结论是否定性的：这个算子不能分解，也没有可用的湮灭与产生算子。正因如此，论文必须直接计算谱，而不能照搬平直空间的代数解法。

从原 d 维球面的角度看，二次势相当奇异，它把 O(d) 对称性破缺为 O(d−1)。算子的定义域也敏感地依赖 ω：常数函数 1 在 ω = 0 时属于定义域，在 ω > 0 时则不属于。这些并非技术性附注，而是作者预期各量会不连续地依赖维数参数 d 的原因。

二维基态是柯西型密度

线性谐振子的基态是高斯型。论文追问：在球极投影坐标下相对于球面体积元取柯西型密度 (1+r²)^(-ω)，它能否成为某个自然几何算子的基态？答案恰好在 d = 2 时为是：存在唯一的 SO(d) 不变自伴二阶微分算子，其主象征由 d 维球面的圆度量决定，基态为 (1+r²)^(-ω)，且基态能量为零。该算子是 L_ω = Δ_S^d + ω²r² − ω。

在一般维数 d 下，ω > 0 时 L_ω 的基态是 (1+r²)^(-η)，其中 η = (√((d−2)²+16ω²) − (d−2))/4，基态能量为 d(√((d−2)²+16ω²) − (d−2))/8，取正平方根。证明把 δ(r) = (1+r²)^(-η) 代入 L_ω，发现 δ 成为本征函数当且仅当 2η² + (d−2)η − 2ω² = 0；根号符号由三个条件确定：η ≥ 0、η 在 ω = 0 时为零、δ 属于定义域。

d = 2 的特殊地位在同一公式中就能看出：只有在这一维数下指数才化简为 ω 本身，这正是柯西型密度成为自然基态、并把构造与后文讨论的二维情形联系起来的原因。作者称 d = 2 为临界情形，其依据之一是径向本征函数方程在 d = 1 时于 r = 0 处正则，在其他维数下则奇异。

二维谱的闭式表达

对 d = 2 且 ω ≥ 0，论文证明 L_ω 的基态为 (1+r²)^(-ω)，本征值为 ω；谱由 λ(m,n) = (m + ½(n+1+√(n²+4ω²)))² − ω² − ¼ 给出，m, n 为非负整数。n = 0 时重数为 1，其余情形为 2，对应 cos(nθ) 与 sin(nθ) 两种角向依赖。本征函数形如 r^n (1+r²)^((√(4ω²+4λ+1)−1)/2) F(−m−√(4ω²+n²), −m, n+1, −r²) f(θ)，其中 F 是超几何函数，在此情形下是 r 的 2m 次偶多项式，f(θ) 是 cos(nθ) 与 sin(nθ) 的线性组合。

推导对本征值方程分离变量，把径向部分化为具有正则奇点的超几何方程，并要求径向解在 (0,∞) 上相对于 (1+r²)^(-2) r dr 平方可积。必要条件是两个超几何参数之一为非正整数。作者验证 b = −m 的分支给出平方可积的本征函数，而另一分支 a = −m 且 b > 0 会迫使 n = 0，进而与 b > 0 矛盾，因此不贡献本征值。另有一个利用椭圆性和角向展开的论证，说明分离变量给出完备的本征函数组。

ω = 0 的极限是有用的检验，而非另一套理论：谱变为 N(N+1)，重数为 2N+1，N = 0, 1, …，这正是二维球面上正拉普拉斯算子的标准谱。论文还提醒，即使 ω ≠ 0，λ(m,n) 的数值也未必互不相同。例如 ω = 2√3 时 λ(3,1) = 44 = λ(1,4)，ω = 4 时 λ(9,6) = λ(1,15)。定理中的重数计数仍然正确，因为它数的是本征函数而非互异的数值；但作者表示，他们尚未找到能排除简并的稳健确定性条件。

维数通过角量子数进入谱

对一般 d ≥ 2 且 ω > 0，基态为 (1+r²)^(-|√((d−2)²+16ω²) − (d−2)|/4)，基态能量为 d|√((d−2)²+16ω²) − (d−2)|/8。激发谱为 λ(m,n) = (m + ¼(√((2n+d−2)²+16ω²) + (d−2+2(n+1))))² − ω² − ¼(d−1)²，同样 m, n ≥ 0。n = 0 时重数为 1；n > 0 时重数等于二项式之差 C(N+d−1, N) − C(N+d−3, N−3)，其中 N = n(n+d−2)。

这一公式的结构说明了维数究竟从哪里进入。本征函数的角向部分是 Δ_S^(d−1) 的本征函数，本征值为 n(n+d−2)，因此整数 n 不只是二维情形中角频率的标签，它标记的是 (d−1) 维球面上的球谐层级。径向方程在 r = 0 处的指标根为 n 与 −(n+d−2)，正则性要求解在原点附近表现为 r^n。超几何参数同时携带 n 与 d，而平方可积条件对产生 λ(m,n) 的分支被验证为自动满足。

d = 1 的情形确实不同，论文单独处理。此时 r 不受限于取正值，径向方程在 r = 0 处没有奇点，解用 Legendre P 和 Q 函数表示。谱为 λ_m = (m + ¼(1 − |√(1+16ω²)|))² − ω²，m ≥ 0；ω > 0 时谱无重数。作者通过证明 Legendre P 分支除 m = 0 外不平方可积，排除了该分支。这是论文更广泛论点的一个具体实例：各量会不连续地依赖维数参数。

减去基态能量后的谱

论文还记录了把基态能量减掉、使最低本征值为零之后的 L_ω 谱。在这一归一化下，基态为 (1+r²)^(-(d−2+|√((d−2)²+16ω²)|)/4)。d ≥ 2 时谱变为 λ(m,n) = (m + ¼(|√((2n+d−2)²+16ω²)| + (d−2+2(n+1))))² − (¼(|√((d−2)²+16ω²)| + d))²，重数规则与前面相同。d = 1 时变为 λ_m = (m + ¼(1 − |√(1+16ω²)|))² − (¼(1 − |√(1+16ω²)|))²，重数为 1。

这一平移对正确理解公式很重要。L_ω 未平移的本征值，并不是与归一化到真空能量为零的哈密顿量相比较时所用的能量；而论文研究球面谐振子的动机，恰恰来自一个把基态能量为零作为刻画条件之一的情境。因此这两族公式回答的是不同问题：一个给出 L_ω 的谱，另一个给出扣除常数偏移后的谱。混用两者会同时错报基态能量和激发能级间距。

配分函数用来检验什么

摘要指出，论文计算了二维情形的谱与配分函数，给出的动机是球面谐振子可能与二维量子场论中的手征模型有关。具体目标是主手征模型，即以紧致半单李群为目标空间的二维量子 sigma 模型。论文指出，目前尚不知道如何严格表述这一模型，尽管其散射理论存在一个猜想。

所提出的联系是一个分解假设，而非已确立的结果。作者认为，有限体积下的哈密顿量（空间为圆 S¹ 时）有可能分解为普通谐振子与球面谐振子之和。他们希望用球面谐振子对应的配分函数来检验这一可能性。在讨论中，他们为简化取目标空间为 SU(2)，即三维球面，并指出此时经典作用量不能分解，即使在有效场论层面也需要重整化群技术，且共形不变性在量子层面被破坏、由渐近自由取代。

讨论随后写下一个记为 H(1) 的哈密顿量的推测性配分函数，其中参数 1 记录了圆半径为 1 的假设。该公式把由球面谐振子能级构成的因子与来自高斯型 χ 自由度的因子 1/η(e^(−4t))² 相乘，并使用 λ(k,m,n) = m² + m + m(n+√(n²+16k²)) + (n+1)(n+√(n²+16k²))/2 − 2k，n = 0 时重数为 1，其余为 2。作者明确标注这是推测性的，并指出由于共形不变性被破坏，哈密顿量应当依赖半径，而他们对此尚未完全理解。他们还表示，不知道如何把 H(1) 的谱与猜想中的散射解相比较，并正在为该公式寻找数值检验。

精确结果的边界

论文的严格内容是 L_ω 的谱理论：自伴且预解紧，因而谱离散；基态及其能量；以及二维情形和一般维数下带重数的闭式谱。论文证明了这些结果，并检验了使超几何候选解真正属于定义域的平方可积条件。主手征模型的讨论则作为动机和可能的应用呈现：有限体积哈密顿量的分解被描述为一种可能性，H(1) 的配分函数被描述为推测性的。

因此，对读者而言最具判断价值的区分，是二维谱（精确且显式）与把该谱用作手征模型中猜想分解的检验（尚未确立）之间的区别。论文自身的框架支持这一划分：它把谱与配分函数的计算，同“这些配分函数能否检验有限体积哈密顿量是否分解”的希望分开。作者也指出了弥合这一差距的具体障碍，即哈密顿量对半径的依赖尚未被完全理解，因此 H(1) 的谱目前还无法与猜想中的散射解相比较。

在精确结果内部，优先关注的是 d = 2 情形。正是在这一情形下，柯西型密度成为基态且基态能量为零；正是这一情形被作者称为临界；也正是这一情形的谱与配分函数为手征模型动机而被计算。一般 d 的公式与 d = 1 的无重数结果，是支撑性结构，用来说明二维情形如何位于一个随维数不连续变化的族之中。

本文引用的文献