[论文解读] Kato's Inequality for Magnetic Relativistic Schrödinger Operators

Fumio Hiroshima, Takashi Ichinose+1 more|arXiv (Cornell University)|Apr 13, 2016

Spectral Theory in Mathematical Physics参考文献 15被引用 3

一句话总结

本文建立了磁性相对论性薛定谔算子 $ H_{A,m} = \big( (-i\nabla - A(x))^2 + m^2 \big)^{1/2} $ 的卡托不等式，其中向量势 $ A(x) $ 属于 $ L^2_{\text{loc}} $。通过算子理论方法并改进卡托原始证明，本文证明了分布不等式 $ \operatorname{Re}[(\operatorname{sgn} u) H_{A,m}u] \geq H_{0,m}|u| $，该不等式蕴含了对偶不等式及当 $ V \in L^2_{\text{loc}} $ 且非负时 $ H_{A,m} + V $ 的本质自伴性。

ABSTRACT

Kato's inequality is shown for the magnetic relativistic Schrödinger operator $H_{A,m}$ defined as the operator theoretical {\it square root} of the selfadjoint, magnetic nonrelativistic Schrödinger operator $(-i abla-A(x))^2+m^2$ with an $L^{2}_{ ext{ m loc}}$ vector potential $A(x)$.

研究动机与目标

• 建立磁性相对论性薛定谔算子 $ H_{A,m} $ 的卡托不等式，其定义为自伴非相对论性磁哈密顿算子的算子理论平方根。
• 将经典卡托不等式推广至非局部、相对论性情形，其中 $ H_{A,m} $ 并非微分或伪微分算子。
• 证明半群 $ e^{-t(H_{A,m}-m)} $ 的对偶不等式，表明矩阵元的绝对值被自由情形所控制。
• 在对 $ A $ 的正则性要求最小的条件下，证明 $ H_{A,m} + V $ 在 $ C_0^\frown({\mathbb{R}}^d) $ 上的本质自伴性，其中 $ V \in L^2_{\text{loc}}({\mathbb{R}}^d) $ 且 $ V \geq 0 $ 几乎处处。
• 通过发展一种新颖的算子理论方法，避免依赖伪微分演算，克服弱解缺乏正则性的问题。

提出的方法

• 改编卡托原始证明策略以处理 $ H_{A,m} $ 的非局部性，适用于磁性相对论性薛定谔算子。
• 利用算子理论定义 $ H_{A,m} $ 为 $ (-i\nabla - A(x))^2 + m^2 $ 的平方根，该算子在 $ C_0^\frown({\mathbb{R}}^d) $ 上自伴且本质自伴。
• 应用涉及半群 $ e^{-t(H_{A,m}-m)} $ 的极限论证，其核通过贝塞尔函数和 $ K_{\nu}(z) $ 的积分表达，以推导点态不等式。
• 使用半群 $ e^{-t[(H_{0,m})^\alpha - m^\alpha]} $ 的核 $ k_0^{m,\alpha}(t,x) $ 的积分表示，并分析其在 $ t=0 $ 处的导数，以获得奇异核 $ n^{m,\alpha}(x) $。
• 利用积分表中的 $ K $-变换公式计算所得积分，推导出 $ n^{m,\alpha}(x) $ 的显式形式，当 $ \alpha=1 $ 时该形式退化为已知的贝塞尔函数核。
• 在分布意义下证明不等式 $ \operatorname{Re}[(\operatorname{sgn} u) H_{A,m}u] \geq H_{0,m}|u| $，其中 $ u \in L^2({\mathbb{R}}^d) $ 且 $ H_{A,m}u \in L^1_{\text{loc}}({\mathbb{R}}^d) $，依赖于弱解的性质与对偶性。

实验结果

研究问题

• RQ1 卡托不等式能否推广至作为平方根定义的非局部算子 $ H_{A,m} $ 的磁性相对论性薛定谔算子？
• RQ2 在不假设解 $ u $ 具有正则性的情况下，如何证明形如 $ \operatorname{Re}[(\operatorname{sgn} u) H_{A,m}u] \geq H_{0,m}|u| $ 的分布不等式？
• RQ3 对于 $ L^2_{\text{loc}} $ 向量势，不等式 $ |(f, e^{-t(H_{A,m}-m)}g)| \leq (|f|, e^{-t(H_{0,m}-m)}|g|) $ 是否对 $ H_{A,m} $ 成立？
• RQ4 当 $ V \in L^2_{\text{loc}}({\mathbb{R}}^d) $ 且 $ V \geq 0 $ 几乎处处时，$ H_{A,m} + V $ 在 $ C_0^\infty({\mathbb{R}}^d) $ 上是否本质自伴？
• RQ5 半群 $ e^{-t(H_{A,m}-m)} $ 的核的精确形式是什么？其与贝塞尔函数及积分变换有何关系？

主要发现

• 本文证明了在 $ A \in [L^2_{\text{loc}}({\mathbb{R}}^d)]^d $ 的假设下，对所有满足 $ H_{A,m}u \in L^1_{\text{loc}}({\mathbb{R}}^d) $ 的 $ u \in L^2({\mathbb{R}}^d) $，有分布意义下的卡托不等式 $ \operatorname{Re}[(\operatorname{sgn} u) H_{A,m}u] \geq H_{0,m}|u| $。
• 对所有 $ f,g \in L^2({\mathbb{R}}^d) $，对偶不等式 $ |(f, e^{-t(H_{A,m}-m)}g)| \leq (|f|, e^{-t(H_{0,m}-m)}|g|) $ 成立，该结论可直接由卡托不等式推出。
• 半群 $ e^{-t[(H_{0,m})^\alpha - m^\alpha]} $ 的核 $ k_0^{m,\alpha}(t,x) $ 通过涉及贝塞尔函数 $ K_{\nu}(z) $ 的积分显式表示。
• 奇异核 $ n^{m,\alpha}(x) = \lim_{t \downarrow 0} \frac{1}{t} k_0^{m,\alpha}(t,x) $ 被导出为 $ n^{m,\alpha}(x) = \frac{2^{1+\frac{\alpha}{2}} \sin(\frac{\alpha}{2}\pi) (2\pi)^{\frac{\alpha}{2}} \Gamma(\frac{\alpha}{2}+1)}{\pi} \left(\frac{m}{2\pi}\right)^{\frac{d+\alpha}{2}} \frac{K_{\frac{d+\alpha}{2}}(m|x|)}{|x|^{\frac{d+\alpha}{2}}} $，当 $ \alpha=1 $ 时退化为已知形式。
• 在 $ A \in [L^2_{\text{loc}}({\mathbb{R}}^d)]^d $ 且 $ V \in L^2_{\text{loc}}({\mathbb{R}}^d) $、$ V \geq 0 $ 几乎处处的条件下，$ H_{A,m} + V $ 在 $ C_0^\infty({\mathbb{R}}^d) $ 上的本质自伴性得以确立，其自伴延拓下界为 $ m $。
• 该证明避免依赖伪微分演算，转而使用算子理论技术与积分表示，即使在弱解缺乏正则性时也具有鲁棒性。