[論文レビュー] 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}}_1 $ の場合に、$ (-1,1) $ のギャップにおける固有値のミニマックス特徴付けを、形式的ドメイン内での直接的議論により正当化すること。
• 従来の証明が $ C_0^\flat $-密度に依存していた制限を克服し、形式に基づくアプローチを用いることにより、$ \tilde{\nu} \neq 1 $ の $ V \notin \bar{\frak{P}}_{\tilde{\nu}} $ の場合にのみ成立していたものから、$ \frak{H}^{1/2} $-ソボレフ空間ドメインに直接作用する形で一般化すること。

提案手法

• 自己共役作用素 $ B = q + v $ について、$ v $ が対称なセミバイリネア形式 $ q $ の形式的摂動であると仮定し、$ B $ がその本質的スペクトルにギャップ $ (a,b) $ を持つ条件下で、抽象的なミニマックス原理を構築する。
• 形式 $ q $ の定義域の直交分解を用いて、未摂動作用素と摂動作用素の二次形式 $ h_0 $ と $ v $ を含むミニマックス公式により、$ (a,b) $ 内の固有値を特徴付ける。
• 抽象的結果をディラック作用素 $ H = H_0 + V $ に適用し、$ H_0 $ を自由ディラック作用素とし、$ V \notin \bar{\frak{P}}_1 $ である場合に、$ \frak{H}^{1/2} $-ソボレフ空間のドメイン内で議論を行う。
• 収束議論とカトーの不等式を用いて、形式 $ g_{\nu,\nu} $ が $ \frak{D}_+ $ 上で非負であることを示し、ミニマックス原理の有効性を保証する。
• 作用素 $ H_0 $ のスペクトル射影子 $ P_\nu $ を用いて、$ P_+ \frak{H}^{1/2} $ を定義し、従来の $ C_0^\flat $-稠密部分空間への依存を排除する。
• $ \nu \to 0 $ の極限に至るため、収束 $ (C_{\nu,\nu} - C_{\nu,0}) \to 0 $ を強作用素位相で確立する。

実験結果

リサーチクエスチョン

• RQ1 ディラック作用素のスペクトルギャップ $(-1,1)$ におけるエステバン–セーレのミニマックス特徴付けが、$ V \notin \bar{\frak{P}}_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} $-ソボレフ空間は、クーロン特異性を有するディラック作用素の固有値の変分的特徴付けにおいて、果たす役割は何か。
• 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 $-密度に依存しない証明を実現した。$ V \notin \bar{\frak{P}}_1 $ の場合に、$ H $ の形式の正しいドメインは $ \frak{H}^{1/2} $-ソボレフ空間である。
• 収束 $ (C_{\nu,\nu} - C_{\nu,0}) \to 0 $ が強作用素位相で成立し、$ \nu \to 0 $ の極限におけるミニマックスレベルの連続性を保証した。
• カトーの不等式と劣微分収束を用いて、$ \frak{D}_+ $ 上で $ g_{\nu,0} $ が非負であることを証明し、$ V \notin \bar{\frak{P}}_1 $ に対してもミニマックス原理の有効性を確認した。