[论文解读] Non-self-adjoint harmonic oscillator, compact semigroups and pseudospectra

Lyonell Boulton|ArXiv.org|Sep 29, 1999

Numerical methods in inverse problems参考文献 10被引用 49

一句话总结

本文研究了复谐振子算子 $ H_c = -\frac{d^2}{dx^2} + c x^2 $ 在 $ L^2(\mathbb{R}) $ 上的伪谱，其中 $ \operatorname{Re}(c) > 0 $ 且 $ \operatorname{Im}(c) > 0 $。本文得出两个关键结果：首先，通过 JWKB 分析，证明了当 $ \eta \to \infty $ 时，沿曲线 $ z = b\eta + c\eta^p $（其中 $ 1/3 < p < 3 $）的预解式范数会发散；其次，通过非自伴版本的 Mehler 公式，证明了 $ -H_c $ 生成的半群在最大角形区域内为 Hilbert-Schmidt 型，从而在直线 $ z = \eta + ib $ 和 $ z = c\eta - ib $ 上实现了预解式范数的统一有界性，验证了关于伪谱不稳定的数值结果。

ABSTRACT

We provide new information concerning the pseudospectra of the complex harmonic oscillator. Our analysis illustrates two different techniques for getting resolvent norm estimates. The first uses the JWKB method and extends for this particular potential some results obtained recently by E.B. Davies. The second relies on the fact that the bounded holomorphic semigroup generated by the complex harmonic oscillator is of Hilbert-Schmidt type in a maximal angular region. In order to show this last property, we deduce a non-self-adjoint version of the classical Mehler's formula.

研究动机与目标

• 将 E. B. Davies 对复谐振子伪谱的研究结果扩展至复平面上的新曲线。
• 利用两种不同的分析方法——JWKB 近似与半群理论——建立 $ H_c $ 的预解式范数估计。
• 证明由 $ -H_c $ 生成的全纯半群在最大角形区域内为 Hilbert-Schmidt 型，从而实现更精细的谱稳定性分析。
• 确认并扩展关于 $ \varepsilon $-伪谱形状的数值证据，特别是高能本征值的不稳定性。

提出的方法

• 推导非自伴版本的 Mehler 公式，显式计算 $ -H_c $ 的热核，从而分析半群的 Hilbert-Schmidt 性质。
• 利用谱投影分解 $ H_c = \sum_{n=0}^m H_c|_{\operatorname{Ran}(Q_n)} \oplus H_c|_{\operatorname{Ran}(I-P_m)} $，通过算子范数分解估计预解式范数。
• 应用预解式恒等式 $ (H_c - z)^{-1} = \sum_{n=0}^m (H_c|_{\operatorname{Ran}(Q_n)} - z)^{-1} Q_n + (H_c|_{\operatorname{Ran}(I-P_m)} - z)^{-1} (I - P_m) $ 来控制完整预解式范数。
• 采用 JWKB 方法构造近似本征态，证明当 $ \eta \to \infty $ 时，有 $ \|(H_c - (b\eta + c\eta^p))^{-1}\| \to \infty $，其中 $ 1/3 < p < 3 $。
• 利用半群 $ e^{-H_c \tau} $ 在扇形区域内紧致且全纯的性质，推导出其生成元 $ -H_c $ 的预解式范数在复平面上某些射线上有界。
• 结合谱投影估计与半群的 Hilbert-Schmidt 性质，导出当 $ z $ 接近 $ \eta + ib $ 和 $ c\eta - ib $ 时，$ \|(H_c - z)^{-1}\| $ 的统一有界性。

实验结果

研究问题

• RQ1 非自伴谐振子 $ H_c $ 的伪谱在大谱参数下的行为如何？
• RQ2 当 $ \eta \to \infty $ 时，能否在直线 $ z = \eta + ib $ 和 $ z = c\eta - ib $ 上对 $ H_c $ 的预解式范数实现统一有界？
• RQ3 JWKB 方法在多大程度上可推广以提供复势非自伴薛定谔算子的预解式范数发散估计？
• RQ4 由 $ -H_c $ 生成的全纯半群为 Hilbert-Schmidt 型的最大角形区域是什么？

主要发现

• 对所有 $ b > 0 $ 及 $ 1/3 < p < 3 $，有 $ \|(H_c - (b\eta + c\eta^p))^{-1}\| \to \infty $ 当 $ \eta \to \infty $，表明沿此类曲线的本征值表现出强烈的不稳定性。
• 对所有 $ b > 0 $，存在常数 $ M_b > 0 $，使得 $ \lim_{\eta \to \infty} \|(H_c - (\eta + ib))^{-1}\| \leq M_b $ 且 $ \lim_{\eta \to \infty} \|(H_c - (c\eta - ib))^{-1}\| \leq M_b $，表明在这些射线上预解式范数有统一有界性。
• 由 $ -H_c $ 生成的有界全纯半群在最大角形区域内为 Hilbert-Schmidt 型，这是通过非自伴版本的 Mehler 公式推导出的关键性质。
• 伪谱集 $ \operatorname{Spec}_\varepsilon(H_c) $ 包含于前 $ m+1 $ 个本征值附近的圆盘与从 $ \lambda_{m+1} $ 延伸的扇形区域的并集中，确认了 Davies 的数值观察结果。
• 不稳定性指标 $ \kappa(\lambda_n) $ 的增长速度超过任意幂次，意味着 $ \varepsilon $-邻域为包含伪谱所需的范围随 $ m $ 指数级缩小。
• 若猜想 $ \operatorname{Spec}_\varepsilon(H_c) \subset \Omega_{m,p} \cup \bigcup_{n=0}^m \{ z : |z - \lambda_n| < \delta \} $ 对 $ 0 < p < 1/3 $ 成立，将显著改进现有界，且 $ p < 1/3 $ 的约束是最优的，因为当 $ p > 1/3 $ 时该结果不成立。