[论文解读] Bari-Markus property for Dirac operators

Ya. V. Mykytyuk, D. V. Puyda|arXiv (Cornell University)|Oct 14, 2014

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

一句话总结

本文建立了非自伴狄拉克算子在区间 (0,1) 上、具有平方可积矩阵值势函数和分离边界条件时，其谱投影算子的巴里-马尔库斯性质。通过借鉴此前对斯特姆-刘维尔算子的研究中提出的基于预解式的技巧，作者证明了复平面上条带区域对应的谱投影算子与其自由算子对应物之间差值的平方算子范数之和为有限，从而确认了该类算子的巴里-马尔库斯性质。

ABSTRACT

We prove the Bari-Markus property for spectral projectors of non-self-adjoint Dirac operators on a finite interval with square-integrable matrix-valued potentials and some separated boundary conditions.

研究动机与目标

• 建立具有平方可积矩阵值势函数的非自伴狄拉克算子的谱投影算子的巴里-马尔库斯性质。
• 将此前仅知于自伴及标量情形的巴里-马尔库斯性质，推广至具有矩阵势函数的非自伴情形。
• 为非自伴狄拉克算子框架下的反谱问题研究提供基础。
• 采用基于预解式的分析方法，研究谱投影算子在扰动下的收敛性与稳定性。
• 确认当限制在谱条带区域时，扰动算子的谱投影算子在希尔伯特-施密特范数下收敛于自由算子的谱投影算子。

提出的方法

• 作者在 $ L_2((0,1), \mathbb{C}^{2r}) $ 上定义狄拉克算子 $ T_Q = J\frac{d}{dx} + Q $，其中边界条件为分离的，且 $ Q \in \mathfrak{Q}_2 $，即满足几乎处处 $ JQ = -QJ $ 的 $ L_2 $ 矩阵势函数空间。
• 引入柯西问题 $ J\frac{d}{dx}Y + QY = \lambda Y $，$ Y(0,\lambda) = I_{2r} $ 的矩阵值解 $ Y_Q(x,\lambda) $，并定义相关函数 $ \varphi_Q $，$ \psi_Q $ 以及算子 $ \Phi_Q(\lambda) $。
• 通过预解式的围线积分，在复平面上以 $ \pi n $ 为中心的条带区域 $ \Delta_n $ 上定义谱投影算子 $ \mathcal{P}_n $ 和 $ \mathcal{P}_n^0 $。
• 将差值 $ \|\mathcal{P}_n - \mathcal{P}_n^0\| $ 分解为两项 $ \alpha_n $ 和 $ \beta_n $，分别对应于谱参数扰动与算子扰动的影响。
• 通过预解式的渐近展开及黎曼-勒贝格引理，控制谱参数扰动对范数的影响，从而有界化 $ \alpha_n $ 项。
• 通过积分算子 $ \mathcal{K}_Q $ 的希尔伯特-施密特性质，并利用自由谱投影算子 $ \mathcal{P}_n^0 $ 的正交性，控制 $ \beta_n $ 项。

实验结果

研究问题

• RQ1 非自伴狄拉克算子在有限区间上具有 $ L^2 $ 矩阵值势函数时，巴里-马尔库斯性质是否成立？
• RQ2 此前用于斯特姆-刘维尔算子的基于预解式的分析方法，能否被适配以证明狄拉克算子的巴里-马尔库斯性质？
• RQ3 此类算子在谱条带区域上，谱投影算子差值的平方算子范数之和是否为有限？
• RQ4 扰动狄拉克算子的谱结构与自由算子相比，在谱投影算子收敛性方面有何关系？
• RQ5 扰动核的希尔伯特-施密段性质在确保投影算子差值可求和性方面起何种作用？

主要发现

• 非自伴狄拉克算子具有 $ L^2 $ 矩阵值势函数时，巴里-马尔库斯性质成立：$ \sum_{n \in \mathbb{Z}} \|\mathcal{P}_n - \mathcal{P}_n^0\|^2 < \infty $。
• 特征值的渐近分布满足 $ \sum_{n \in \mathbb{Z}} \sum_{\lambda_j \in \Delta_n} |\lambda_j - \pi n|^2 < \infty $，确保了特征值在谱条带中的聚集性。
• 差值 $ \|\mathcal{P}_n - \mathcal{P}_n^0\| $ 被分解为两项：$ \alpha_n $（依赖于谱参数）与 $ \beta_n $（依赖于算子扰动）。
• 通过预解式的渐近展开及黎曼-勒贝格引理，证明了 $ \alpha_n $ 项为平方可 summable。
• 通过积分算子 $ \mathcal{K}_Q $ 的希尔伯特-施密段性质，控制了 $ \beta_n $ 项，从而得到 $ \sum_{|n|>N} \|\mathcal{K}_Q \mathcal{P}_n^0\|^2 < \infty $。
• 结果确认了谱投影算子在希尔伯特-施密段范数下的收敛性，支持了对非自伴狄拉克算子反谱问题的研究。