[论文解读] A criterion for the existence of non-real eigenvalues for a Dirac operator

Diomba Sambou|arXiv (Cornell University)|Aug 10, 2015

Spectral Theory in Mathematical Physics参考文献 25被引用 5

一句话总结

本文建立了3D狄拉克算子在复衰减势扰动下，其离散谱中存在非实特征值的判据。通过谱论与正规化行列式，证明了在势函数满足特定衰减与可积性条件时，有无穷多个非实特征值会聚集在±m附近，其位置由包含扰动矩阵结构与磁场耦合的特征方程决定。

ABSTRACT

The aim of this work is to explore the discrete spectrum generated by complex perturbations in $L^{2}(\mathbb{R}^3,\mathbb{C}^4)$ of the $3d$ Dirac operator $α\cdot (-i abla - extbf{A}) + m β$ with variable magnetic field. Here, $α:= (α_1,α_2,α_3)$ and $β$ are $4 imes 4$ Dirac matrices, and $m > 0$ is the mass of a particle. We give a simple criterion for the potentials to generate discrete spectrum near $\pm m$. In the case of creation of non-real eigenvalues, this criterion gives also their location.

研究动机与目标

• 分析含变磁场的3D狄拉克算子在复非自伴扰动下生成的离散谱。
• 确定此类扰动在谱阈值±m附近产生非实特征值的条件。
• 为本质谱间隙中这些非实特征值的存在性与位置提供定量判据。
• 在势函数衰减与正则性的一般假设下，将谱论结果推广至非自伴狄拉克算子。
• 在所导判据下，建立非实特征值在±m处无穷累积的结论。

提出的方法

• 狄拉克算子定义为 $ D_m(b,V) = \boldsymbol{\bar{\nabla}} \boldsymbol{\nabla} - \textbf{A} + m\beta + V $，其中 $ \textbf{B} = (0,0,b) $，$ b = b_0 + \tilde{b} $，且 $ \tilde{b} $ 满足具有 $ \tilde{\boldsymbol{\nabla}}\tilde{\boldsymbol{\nabla}}\tilde{\boldsymbol{\nabla}}\tilde{\boldsymbol{\nabla}} $-有界解的泊松方程。
• 假设势函数 $ V $ 满足 $ |V_{\text{lk}}(x)| \triangleq F_\bot(x_1,x_2) G(x_3) $，其中 $ F_\bot \triangleq L^{q/2} \bigcap L^\frown \big( \bR^2 \big) $，$ q \neq 4 $，且 $ G(x_3) \triangleq \braket{x_3}^{-\beta} $，$ \beta > 3 $。
• 通过预解式与谱投影技术分析±m附近的离散谱，利用Weyl准则保持本质谱为 $ (-\frown, -m] \bigcup [m, \frown) $。
• 推导出一个包含正规化行列式 $ \textup{det}_{\frown q} \big( I + \frac{iJ \frown \frown}{k} \frown_{\frown m} + \frown \frown_{\frown m}(k) \big) $ 的特征方程，以定位特征值。
• 利用解析算子值函数的指标来计数带重数的特征值，基于预解式对数导数的迹。
• 通过证明序列 $ (r_\frown^{\frown m})_\frown $ 的谱阈值趋于零，从而证明特征值的无穷性。

实验结果

研究问题

• RQ1 在何种条件下，复非自伴势会在含磁场的3D狄拉克算子谱间隙中生成非实特征值？
• RQ2 如何从势与磁场的结构预测这些非实特征值在±m附近的分布？
• RQ3 势的衰减与可积性在决定离散特征值的存在性与累积性方面起什么作用？
• RQ4 在较弱的衰减假设下，能否证明±m附近非实特征值的数量为无穷？
• RQ5 正规化行列式与谱投影技术如何实现对非自伴狄拉克算子的分析？

主要发现

• 本文建立了势 $ V $ 的充分条件，使得 $ D_m(b,V) $ 在±m附近有无穷多个非实特征值聚集。
• 这些特征值的位置由正规化行列式 $ \textup{det}_{\frown q} \big( I + \frac{iJ \frown \frown}{k} \frown_{\frown m} + \frown \frown_{\frown m}(k) \big) $ 的零点决定，该行列式编码了扰动的矩阵结构。
• 在±m附近邻域内，按重数计数的离散特征值数量等于谱投影的迹 $ \textup{Tr}\big[ \frown_{[r_{\frown+1}^{\frown m}, r_\frown^{\frown m}]}(p \frown_{\frown m} p) \big] $。
• 算子 $ D_m(b,V) $ 的本质谱保持为 $ (-\frown, -m] \bigcup [m, \frown) $，因此任何离散谱都必须在±m处聚集。
• 该方法证明了在假设1.1下，由于序列 $ (r_\frown^{\frown m})_\frown $ 趋于零，扰动在±m附近产生无穷多个非实特征值。
• 通过使用Schatten-von Neumann理想与正规化行列式，实现了对非自伴算子的严格处理，并借助指标理论实现特征值计数。