[论文解读] On the pseudospectrum of the harmonic oscillator with imaginary cubic potential

Radek Novák|arXiv (Cornell University)|Nov 7, 2014

Spectral Theory in Mathematical Physics参考文献 24被引用 13

一句话总结

本文研究了非自伴薛定谔算符 $ H = -\frac{d^2}{dx^2} + x^2 + i x^3 $ 的伪谱性质，结合半经典分析与尺度变换技术，证明其伪谱包含距离谱任意远的特征值。关键结果为：$ H $ 无法通过有界变换与自伴算符相似，且其本征函数虽完备，但不构成Schauder基。

ABSTRACT

We study the Schrödinger operator with a potential given by the sum of the potentials for harmonic oscillator and imaginary cubic oscillator and we focus on its pseudospectral properties. A summary of known results about the operator and its spectrum is provided and the importance of examining its pseudospectrum as well is emphasized. This is achieved by employing scaling techniques and treating the operator using semiclassical methods. The existence of pseudoeigenvalues very far from the spectrum is proven, and as a consequence, the spectrum of the operator is unstable with respect to small perturbations and the operator cannot be similar to a self-adjoint operator via a bounded and boundedly invertible transformation. It is shown that its eigenfunctions form a complete set in the Hilbert space of square-integrable functions; however, they do not form a Schauder basis.

研究动机与目标

• 分析 $ L^2(\mathbb{R}) $ 中非自伴薛定谔算符 $ H = -\frac{d^2}{dx^2} + x^2 + i x^3 $ 的伪谱结构。
• 研究非平凡伪谱对算符谱基性质与物理可解释性的影响。
• 确定 $ H $ 是否可通过有界且有有界逆的变换与自伴算符相似。
• 检查 $ H $ 的本征函数在 $ L^2(\mathbb{R}) $ 中的完备性与基性质。
• 通过尺度变换与半经典方法，将结果推广至一般情形 $ -\frac{d^2}{dx^2} + x^2 + i x^{2n+1} $，其中 $ n \geq 1 $。

提出的方法

• 应用半经典分析研究 $ H $ 的预解式范数增长，特别是针对大谱参数的情形。
• 使用尺度变换技术将问题简化至半经典参数范围，以实现渐近分析。
• 采用 $ \varepsilon $-伪谱定义：$ \sigma_\varepsilon(H) = \{ \lambda \in \mathbb{C} \mid \|(H - \lambda)^{-1}\| > \varepsilon^{-1} \} $，以检测不稳定性。
• 通过与虚数立方振子情形比较，推导出指数型预解式增长估计。
• 应用算子理论中的已知定理（如 [8, 定理3] 与 [9, 定理8.2.1]），将预解式增长与基性质及半群性质关联。
• 利用拟自伴性与有界度量算符之间的等价性，排除与自伴算符的相似性。

实验结果

研究问题

• RQ1 算符 $ H = -\frac{d^2}{dx^2} + x^2 + i x^3 $ 的伪谱是否包含距离谱任意远的点？
• RQ2 尽管本征函数完备，$ H $ 的本征函数是否能在 $ L^2(\mathbb{R}) $ 中构成Schauder基？
• RQ3 $ H $ 是否可通过有界且有有界逆的变换与自伴算符相似？
• RQ4 非平凡伪谱是否意味着 $ -iH $ 无法生成有界半群？
• RQ5 能否使用相同方法将 $ i x^3 $ 情形的结果推广至 $ i x^{2n+1} $ 势的情形？

主要发现

• 算符 $ H $ 的本征函数在 $ L^2(\mathbb{R}) $ 中构成完备集，但由于谱投影算符范数的指数增长，其不构成Schauder基。
• 对任意 $ \delta > 0 $，当 $ \varepsilon $ 足够小时，伪谱 $ \sigma_\varepsilon(H) $ 包含所有满足 $ |\lambda| \geq B (\log \frac{1}{\varepsilon})^{6/5} $ 且 $ |\arg \lambda| < \arctan(\text{Re}\, \lambda) - \delta $ 的复数 $ \lambda \in \mathbb{C} $。
• 由于存在远离谱的伪特征值，算符 $ H $ 无法通过有界且有有界逆的变换与自伴算符相似。
• 算符 $ H $ 不是具有有界且有有界逆的度量的拟自伴算符，因为所需的度量必须是无界的。
• $ -iH $ 不是有界半群的生成元，因为其预解式范数对大谱参数增长过快。
• 所有结果均可通过相同的尺度变换与半经典技术推广至一般情形 $ -\frac{d^2}{dx^2} + x^2 + i x^{2n+1} $，其中 $ n \geq 1 $。