[论文解读] On the minimax principle for Coulomb-Dirac operators

S. V. Morozov, David Müller|arXiv (Cornell University)|Jan 23, 2014

Spectral Theory in Mathematical Physics参考文献 10被引用 6

一句话总结

本文建立了一般极小极大原理，适用于通过对称半双线性形式的型扰动定义的自伴算子的谱隙中的特征值。该抽象结果被应用于三维狄拉克算子与强库仑势，严格证明了对于 $ V \notin \bar{\frak{P}}_{\text{core}} $，埃斯泰邦–塞雷与塔尔曼–达塔–德瓦伊亚最小极大表征成立，并通过型域分析与收敛性论证，将有效性扩展至 $ V \notin \bar{\frak{P}}_1 $。

ABSTRACT

Let q and v be symmetric sesquilinear forms such that v is a form perturbation of q. Then we can associate a unique self-adjoint operator B to q+ v. Assuming that B has a gap (a, b) in the essential spectrum, we prove a minimax principle for the eigenvalues of B in (a, b) using a suitable orthogonal decomposition of the domain of q. This allows us to justify two minimax characterisations of eigenvalues in the gap of three-dimensional Dirac operators with electrostatic potentials having strong Coulomb singularities.

研究动机与目标

• 建立自伴算子在谱隙中的特征值的一般极小极大原理，该算子通过对称半双线性形式的型扰动定义。
• 解决强库仑势狄拉克算子的埃斯泰邦–塞雷与塔尔曼–达塔–德瓦伊亚极小极大表征在有效性上的空白。
• 通过直接在型域内工作，严格证明当 $ V \notin \bar{\frak{P}}_{\text{core}} $ 时，特别是 $ V \notin \bar{\frak{P}}_1 $ 时，间隙 $(-1,1)$ 中特征值的极小极大表征。
• 通过基于型的方法克服先前证明依赖于 $ C_0^\flat $-稠密性的局限，该性质仅在 $ V \notin \bar{\frak{P}}_{\tilde{\nu}} $ 且 $ \tilde{\nu} \neq 1 $ 时成立。

提出的方法

• 为自伴算子 $ B = q + v $ 构建一个抽象极小极大原理，其中 $ v $ 是对称半双线性形式 $ q $ 的型扰动，假设 $ B $ 在其连续谱中具有谱隙 $ (a,b) $。
• 通过 $ q $ 的定义域的正交分解，利用无扰动与扰动算子的二次型 $ h_0 $ 和 $ v $，通过极小极大公式表征 $ (a,b) $ 中的特征值。
• 通过在 $ \frak{H}^{1/2} $-Sobolev 型域内工作，将抽象结果应用于狄拉克算子 $ H = H_0 + V $，其中 $ H_0 $ 为自由狄拉克算子且 $ V \notin \bar{\frak{P}}_1 $。
• 通过收敛性论证与卡托不等式，证明型 $ g_{\nu,\nu} $ 在 $ \frak{D}_+ $ 上非负，从而确保极小极大原理的有效性。
• 利用 $ H_0 $ 的谱投影算子 $ P_\nu $ 定义子空间 $ P_+ \frak{H}^{1/2} $，取代先前对 $ C_0^\flat $-稠密子空间的依赖。
• 证明在强算子拓扑下，预解式 $ (C_{\nu,\nu} - C_{\nu,0}) \to 0 $，从而实现 $ \nu \to 0 $ 的极限过渡。

实验结果

研究问题

• RQ1 能否对 $ V \notin \bar{\frak{P}}_1 $ 的情况，严格证明狄拉克算子谱隙 $(-1,1)$ 中特征值的埃斯泰邦–塞雷极小极大表征，超越此前仅对 $ V \notin \bar{\frak{P}}_\nu $ 且 $ \nu < 1 $ 有效的结果？
• RQ2 当 $ C_0^\flat $-核心假设不成立时，塔尔曼–达塔–德瓦伊亚极小极大原理是否仍对 $ V \notin \bar{\frak{P}}_1 $ 成立？
• RQ3 能否仅使用型域技术，提出并证明谱隙中特征值的一般极小极大原理，避免对算子核心的依赖？
• RQ4 在狄拉克算子具有库仑奇点时，$ \frak{H}^{1/2} $-Sobolev 空间在特征值变分表征中起什么作用？
• RQ5 如何在 $ \nu \to 0 $ 的极限下建立预解式与二次型的收敛性，以确保极小极大水平的连续性？

主要发现

• 为自伴算子 $ B = q + v $ 建立了抽象极小极大原理，其中 $ v $ 是 $ q $ 的型扰动，且 $ B $ 具有谱隙 $ (a,b) $，方法是基于 $ q $ 的定义域的正交分解。
• 对所有 $ V \notin \bar{\frak{P}}_1 $，埃斯泰邦–塞雷极小极大表征得到严格证明，扩展了此前仅对 $ V \notin \bar{\frak{P}}_\nu $ 且 $ \nu \neq 1 $ 有效的结果。
• 塔尔曼–达塔–德瓦伊亚极小极大原理在 $ V \notin \bar{\frak{P}}_{2/(2/\nu + \nu/2)} $ 时得到验证，该集合包含 $ V \notin \bar{\frak{P}}_{\text{core}} $，通过证明 $ g_{\nu,0} $ 在 $ \frak{D}_+ $ 上非负而实现。
• 证明避免了对 $ C_0^\flat $-稠密性的依赖，直接在 $ \frak{H}^{1/2} $-Sobolev 空间中进行，该空间是当 $ V \notin \bar{\frak{P}}_1 $ 时 $ H $ 的型的正确定义域。
• 在强算子拓扑下，建立了 $ (C_{\nu,\nu} - C_{\nu,0}) \to 0 $ 的收敛性，确保了在 $ \nu \to 0 $ 时极小极大水平的连续性。
• 通过卡托不等式与控制收敛定理，证明了 $ g_{\nu,0} $ 在 $ \frak{D}_+ $ 上的非负性，从而确认了对 $ V \notin \bar{\frak{P}}_1 $ 的极小极大原理的有效性。