[论文解读] Accuracy on eigenvalues for a Schrodinger operator with a degenerate potential in the semi-classical limit

Abderemane Morame, Françoise Truc|ArXiv.org|Jun 9, 2006

Spectral Theory in Mathematical Physics参考文献 27被引用 4

一句话总结

本文为具有退化势能 $ V(x,y) = f(x)g(y) $ 的半经典薛定谔算符的低能级建立了精确的渐近展开，其中 $ f $ 具有非退化的最小值，$ g $ 是次数为 $ a > 0 $ 的齐次函数。通过改进 Born-Oppenheimer 近似并使用准模态构造，推导出精确到 $ \mathcal{O}( heta^2) $ 的本征值展开，包括本征值和相关准模态的完整渐近级数。

ABSTRACT

We consider a semi-classical Schrodinger operator with a degenerate potential V(x,y) =f(x) g(y) . g is assumed to be a homogeneous positive function of m variables and f is a strictly positive function of n variables, with a strict minimum. We give sharp asymptotic behaviour of low eigenvalues bounded by some power of the parameter h, by improving Born-Oppenheimer approximation.

研究动机与目标

• 分析具有退化势能 $ V(x,y) = f(x)g(y) $ 的薛定谔算符在半经典极限下低能级的渐近行为，其中 $ f $ 具有非退化的最小值，$ g $ 是齐次函数。
• 通过推导谱底附近本征值的精确渐近展开，改进 Born-Oppenheimer 近似。
• 构造能捕捉与低能级本征函数相关的正确渐近结构的准模态。
• 建立以半经典参数 $ \hslash = h^{2/(2+a)} $ 表示的本征值的完整渐近展开，包括高阶修正项。

提出的方法

• 引入缩放 $ \hslash = h^{2/(2+a)} $，并将算符变换为 $ \widehat{H}^{\hslash} = \hslash^2 D_x^2 + D_y^2 + f(x)g(y) $，利用 $ g $ 的齐次性。
• 将问题分解为一族纤维化算符 $ Q_x(y,D_y) = D_y^2 + f(x)g(y) $，其最低本征值为 $ \lambda_1(x) = \mu_1 f^{2/(2+a)}(x) $，其中 $ \mu_1 $ 是算符 $ D_y^2 + g(y) $ 的基态能量。
• 通过将 $ \lambda_1(x) $ 视为 $ x $ 自由度的有效势能，应用 Born-Oppenheimer 近似，得到有效薛定谔算符 $ \hslash^2 D_x^2 + \mu_1 f^{2/(2+a)}(x) $。
• 构造形如 $ \phi_k^\hslash \sim \hslash^{-m_k} e^{-\psi(x)/\hslash} \sum_{j \geq 0} \hslash^{j/2} a_{kj}(x,y) $ 的准模态，其中 $ \psi(x) $ 是与有效势能相关的 Agmon 距离。
• 通过变量替换 $ y \to f^{1/(2+a)}(x) y $ 在 $ f $ 的最小值附近实现 $ x $ 与 $ y $ 变量的解耦，从而在 $ x $-空间中实现局部分析。
• 在 $ x=0 $ 附近局部坐标系中进行详细的谱分析，使用 Dirichlet 截断并为约化算符 $ H^{h_j}_0 $ 构造近似本征函数，最终实现完整的渐近展开。

实验结果

研究问题

• RQ1 在半经典极限下，具有退化势能 $ V(x,y) = f(x)g(y) $ 的薛定谔算符的低能级如何行为？
• RQ2 能否将 Born-Oppenheimer 近似改进，以在 $ \mathcal{O}(\hslash^2) $ 之外获得此类系统的精确本征值展开？
• RQ3 相关本征函数的精确结构是什么？能否构造出能捕捉正确渐近行为的准模态？
• RQ4 本征值修正项如何依赖于势能 $ g(y) $ 的齐次次数 $ a $？$ f $ 在其最小值处的 Hessian 矩阵起什么作用？
• RQ5 能否推导出包含 $ \hslash $ 的高阶项的本征值的完整渐近展开？其对应的准模态具有何种形式？

主要发现

• 算符 $ \widehat{H}^{\hslash} $ 的本征值 $ E_k(\hslash) $ 具有渐近展开 $ E_k(\hslash) \sim \mu_1 + \hslash e_k + \sum_{j \geq 1} \alpha_{kj} \hslash^{j/2} $，其中 $ e_k $ 是有效算符 $ D_x^2 + \frac{\mu_1}{2+a} \langle \partial^2 f(0) x, x \rangle $ 的本征值。
• 对于基态（$ k=1 $），由于非退化性和对称性，本征值展开的误差改善为 $ \mathcal{O}(\hslash^2) $，而非 $ \mathcal{O}(\hslash^{3/2}) $。
• 存在形式为 $ \hslash^{-m_k} e^{-\psi(x)/\hslash} \sum_{j \geq 0} \hslash^{j/2} a_{kj}(x,y) $ 的准模态 $ \phi_k^\hslash $，满足 $ \| (\widehat{H}^{\hslash} - E_k(\hslash)) \phi_k^\hslash \| \leq C_J \hslash^{(J+1)/2} $，从而证实了渐近展开的正确性。
• 本征值 $ \lambda_k(\widehat{H}^{\hslash}) $ 满足 $ \lambda_k(\widehat{H}^{\hslash}) = \mu_1 + \hslash \lambda_k( D_x^2 + \frac{\mu_1}{2+a} \langle \partial^2 f(0) x, x \rangle ) + \mathcal{O}(\hslash^{3/2}) $，且当 $ k=1 $ 时为 $ \mathcal{O}(\hslash^2) $。
• 在局部模型中，建立了本征值的完整渐近展开 $ \lambda^{h}_{j\alpha} \sim h^{2m/(m+1)} \sum_{k=0}^{\infty} c_{j\ell k\alpha} h^{k/(m+1)} $，在 $ j $ 有界条件下成立。
• 相关准模态具有改进形式 $ u^{h}_{j\ell\alpha} \sim c(h) e^{-\psi(x)/h^{1/(m+1)}} \chi_0(t/\epsilon_0) \sum_{k=0}^{\infty} h^{k/(2m+2)} a_{j\ell k\alpha}(x) \phi_{jk}(t/h^{1/(m+1)}) $，准确捕捉了标度与结构。