[论文解读] Minimax principles, Hardy-Dirac inequalities and operator cores for two and three dimensional Coulomb-Dirac operators

David Müller|arXiv (Cornell University)|Mar 4, 2016

Spectral Theory in Mathematical Physics被引用 4

一句话总结

本文为二维和三维具有库仑型势的狄拉克算子在谱隙中的本征值建立了极小极大原理，证明了 Hardy-Dirac 不等式，从而使得耦合常数达到临界值 $1/(4-n)$ 时，能够构造出一个特殊的自伴延拓。关键贡献在于对本征值进行了严格的变分表征，并给出了算子核的显式描述，适用于 $n=2,3$ 维情形。结果推广并改进了先前的极小极大公式，特别是 Talman 与 Esteban-Séré 的原理，为具有奇异势的相对论量子系统提供了函数分析基础。

ABSTRACT

For $n\in\{2,3\}$ we prove minimax characterisations of eigenvalues in the gap of the $n$ dimensional Dirac operator with an potential, which may have a Coulomb singularity with a coupling constant up to the critical value $1/(4-n)$. This result implies a so-called Hardy-Dirac inequality, which can be used to define a distinguished self-adjoint extension of the Coulomb-Dirac operator defined on $\mathsf{C}_{0}^{\infty}(\mathbb{R}^n\setminus\{0\};\mathbb{C}^{2(n-1)})$, as long as the coupling constant does not exceed $1/(4-n)$. We also find an explicit description of an operator core of this operator.

研究动机与目标

• 为 $n=2,3$ 维具有库仑型势的狄拉克算子在谱隙 $(-1,1)$ 中的本征值建立极小极大表征。
• 证明一个 Hardy-Dirac 不等式，以确保当耦合常数不超过 $1/(4-n)$ 时，定义在 $\mathsf{C}_{0}^{\infty}(\mathbb{R}^{n}\setminus\{0\};\mathbb{C}^{2(n-1)})$ 上的库仑-狄拉克算子存在唯一且特殊的自伴延拓。
• 为狄拉克-库仑哈密顿量的自伴延拓提供一个算子核的显式描述。
• 将现有的极小极大原理——特别是 Talman 与 Esteban-Séré 的原理——推广并改进，以适用于具有强库仑奇点的狄拉克算子。
• 统一变分法与谱论方法，以严格分析具有奇异势的相对论哈密顿量的本质谱与本征值结构。

提出的方法

• 通过在 $\mathsf{H}^{1/2}(\mathbb{R}^n;\mathbb{C}^{2(n-1)})$ 的子空间上使用关于 $D_n(0)$ 和 $V$ 的二次型 $\mathtt{d}_n[\psi]$ 与 $\mathtt{v}[\psi]$ 的上确界-下确界变分表征，推导出谱隙 $(-1,1)$ 中第 $k$ 个本征值 $\mu_k$ 的极小极大原理。
• 对 $n=3$ 应用 Talman 型极小极大原理，对 $n=2$ 应用类 Esteban-Séré 原理，结合投影算子 $P^+_{n}$ 与 $P^-_{n}$，分别投影到 $D_n(0)$ 的正负谱子空间。
• 通过极小极大原理与狄拉克算子在 $V = -\nu/|\cdot|\otimes\mathbb{I}$ 下的谱性质，建立 Hardy-Dirac 不等式（定理 3），适用于 $\nu \in [0, 1/(4-n))$。
• 通过对最低本征值 $\lambda(v) = \sqrt{1 - ((4-n)\nu)^2}$ 的极限论证，推导出一个精确不等式（推论 4），涉及动能与势能项。
• 通过截断函数 $\upsilon_k$ 与角动量本征函数构造近似本征函数 $\varsigma_{n,m,k}^\nu$，以证明二次型 $\mathtt{q}_n^\nu[\psi]$ 的一致有界性，从而确保核的存在性。
• 使用分部积分法、极坐标/球坐标变换，以及径向导数的渐近分析，控制狄拉克动能项 $K_n\varphi$ 在原点附近的性质，确保二次型的有限性。

实验结果

研究问题

• RQ1 能否为 $n=2,3$ 维具有库仑势的狄拉克算子在谱隙中的本征值严格建立极小极大原理？
• RQ2 在 $\mathsf{C}_{0}^{\infty}(\mathbb{R}^n\setminus\{0\};\mathbb{C}^{2(n-1)})$ 上，库仑-狄拉克算子存在唯一自伴延拓的最大耦合常数是多少？
• RQ3 如何从变分原理推导出 Hardy-Dirac 不等式，以保证二次型的有界性及核的存在性？
• RQ4 所研究的狄拉克-库仑哈密顿量的特殊自伴延拓的算子核的显式结构是什么？
• RQ5 Talman 与 Esteban-Séré 的极小极大原理能否在二维与三维统一于一个框架下进行推广与整合？

主要发现

• 通过 $\mathsf{H}^{1/2}(\mathbb{R}^n;\mathbb{C}^{2(n-1)})$ 中 $k$ 维子空间上的上确界-下确界公式，建立了谱隙 $(-1,1)$ 中第 $k$ 个本征值 $\mu_k$ 的极小极大原理，推广了 Talman 与 Esteban-Séré 的结果。
• Hardy-Dirac 不等式（定理 3）对所有 $\varphi \in \mathsf{H}^1(\mathbb{R}^n;\mathbb{C}^{n-1})$ 成立，其中非负表达式包含 $|K_n\varphi|^2$ 与 $|\varphi|^2$，分别加权于 $1 + \lambda(v) - v(\mathbf{x})$ 与 $1 - \lambda(v) + v(\mathbf{x})$。
• 当 $\nu \in [0, 1/(4-n)]$ 时，推论 4 提供了一个精确不等式，其中动能项的显式权重为 $1 + \sqrt{1 - ((4-n)\nu)^2} + \nu/|x|$，势能项的权重为 $1 - \sqrt{1 - ((4-n)\nu)^2} - \nu/|x|$。
• 自伴延拓 $D_n(V)$ 的算子核被显式描述为二次型 $\mathtt{q}_n^\nu$ 在 $\mathsf{C}_0^\infty(\mathbb{R}^n\setminus\{0\};\mathbb{C}^{2(n-1)})$ 上的闭包，其有界性通过径向截断得到保证。
• 当 $\nu \in (0, 1/(4-n))$ 时，$D_n(-\nu/|\cdot|\otimes\mathbb{I})$ 在 $(-1,1)$ 中的最低本征值为 $\sqrt{1 - ((4-n)\nu)^2}$，确认了临界耦合阈值的存在。
• 序列 $\varsigma_{n,m,k}^\nu$ 在 $\mathsf{L}^2$ 中收敛于 $\varsigma_{n,m}^\nu$，并通过分部积分与径向分析证明了 $\mathtt{q}_n^\nu[\varsigma_{n,m,k}^\nu]$ 的一致有界性，从而确保了核的存在性。