[論文レビュー] 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

ひとこと要約

本稿は、2次元および3次元のクーロン型ポテンシャルを伴うディラック作用素のスペクトルギャップにおける固有値に対する最小最大原理を確立し、カップリング定数が臨界値 $1/(4-n)$ 以下の範囲で、一意的で特徴的な自己共役拡張の構成を可能にするハードイ・ディラック不等式を証明する。主な貢献は、次元 $n=2,3$ に対して有効な固有値の厳密な変分的特徴付けと作用素のコアの記述である。結果は、タルマンおよびエステバン＝セーレの原理を一般化・改善したものであり、特異ポテンシャルを伴う相対論的量子系の関数解析的基盤を提供する。

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.

研究の動機と目的

• 2次元および3次元のディラック作用素にクーロン型ポテンシャルを適用した場合、スペクトルギャップ $(-1,1)$ 内の固有値に対する最小最大特徴付けを確立すること。
• カップリング定数が $1/(4-n)$ を超えない場合に、$\mathsf{C}_{0}^{\ackslash\infty}(\mathbb{R}^{n}\setminus\{0\};\mathbb{C}^{2(n-1)})$ 上で定義されたクーロン・ディラック作用素に対して、一意的で特徴的な自己共役拡張が存在することを保証するハードイ・ディラック不等式を証明すること。
• 自己共役拡張のための作用素コアの明示的記述を提供すること。
• 強いクーロン特異性を有するディラック作用素に対して、エステバン＝セーレおよびタルマンの最小最大原理を一般化・精緻化すること。
• 変分的およびスペクトル理論的手法を統合し、特異ポテンシャルを伴う相対論的ハミルトニアンの本質的スペクトルおよび固有値構造を厳密に分析すること。

提案手法

• ディラック作用素 $D_n(0)$ と $V$ の二次形式 $\mathtt{d}_n[\psi]$ および $\mathtt{v}[\psi]$ を用いて、$\mathsf{H}^{1/2}(\mathbb{R}^n;\mathbb{C}^{2(n-1)})$ の部分空間上でのインフラ・サブ・変分的特徴付けにより、ギャップ $(-1,1)$ 内の $k$ 番目の固有値 $\mu_k$ に対する最小最大原理を導出する。
• $n=3$ に対してタルマン型最小最大原理を適用し、$n=2$ に対して類似のエステバン＝セーレ型原理を用い、$D_n(0)$ の正負のスペクトル部分空間への射影 $P^+_{n}$ および $P^-_{n}$ を組み込む。
• 最小最大原理とディラック作用素のスペクトル的性質を活用し、$V = -\nu/|\cdot|\otimes\mathbb{I}$ の場合に、$\nu \in [0, 1/(4-n))$ に対して成立するハードイ・ディラック不等式（定理3）を確立する。
• 最低固有値 $\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 2次元および3次元のディラック作用素にクーロンポテンシャルを適用した場合、スペクトルギャップ内に存在する固有値に対して、最小最大原理を厳密に確立できるか？
• RQ2 クーロン・ディラック作用素が $\mathsf{C}_{0}^{\infty}(\mathbb{R}^n\setminus\{0\};\mathbb{C}^{2(n-1)})$ 上で一意的で自己共役拡張を有するための最大カップリング定数は何か？
• RQ3 変分原理からハードイ・ディラック不等式をどのように導出できるか。これにより、二次形式の有界性およびコアの存在が保証されるか？
• RQ4 特徴的な自己共役拡張のための作用素コアの明示的構造は何か？
• RQ5 エステバン＝セーレおよびタルマンの最小最大原理を、2次元および3次元の両方の次元にわたって統合的に一般化・統一するフレームワークを構築できるか？

主な発見

• $\mathsf{H}^{1/2}(\mathbb{R}^n;\mathbb{C}^{2(n-1)})$ の $k$ 次元部分空間上でのインフラ・サブ・変分的特徴付けにより、$(-1,1)$ 内の $k$ 番目の固有値 $\mu_k$ に対する最小最大原理が確立され、タルマンおよびエステバン＝セーレの結果を一般化する。
• ハードイ・ディラック不等式（定理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)$ の作用素コアは、$\mathsf{C}_0^\infty(\mathbb{R}^n\setminus\{0\};\mathbb{C}^{2(n-1)})$ 上での二次形式 $\mathtt{q}_n^\nu$ の閉包として明示的に記述される。径方向の切断関数を用いた一様有界性の確立により、コアの存在が保証される。
• $D_n(-\nu/|\cdot|\otimes\mathbb{I})$ の $(-1,1)$ 内の最低固有値は、$\nu \in (0, 1/(4-n))$ の場合 $\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]$ の一様有界性が証明され、コアの存在が保証される。