[论文解读] Discrete spectrum of thin PT-symmetric waveguide

D. I. Borisov|arXiv (Cornell University)|Mar 18, 2014

Quantum Mechanics and Non-Hermitian Physics参考文献 26被引用 4

一句话总结

本论文研究了一个在具有纯虚系数的薄多维层中具有罗宾边界条件的二阶PT对称微分算子。该研究建立了到极限算子的统一预解收敛性，证明了离散谱的收敛性，并在一般系数条件下（包括横向方向的快速振荡）推导出特征值（保持为实数）和特征函数的完整渐近展开式，且收敛速率最优。

ABSTRACT

In a thin multidimensional layer we consider a second order differential PT-symmetric operator. The operator is of rather general form and its coefficients are arbitrary functions depending both on slow and fast variables. The PT-symmetry of the operator is ensured by the boundary conditions of Robin type with pure imaginary coefficient. In the work we determine the limiting operator, prove the uniform resolvent convergence of the perturbed operator to the limiting one, and derive the estimates for the rates of convergence. We establish the convergence of the spectrum of perturbed operator to that of the limiting one. For the perturbed eigenvalues converging to the limiting discrete ones we prove that they are real and construct their complete asymptotic expansions. We also obtain the complete asymptotic expansions for the associated eigenfunctions.

研究动机与目标

• 分析具有纯虚系数的PT对称微分算子在薄多维层中具有罗宾边界条件时的谱行为。
• 在薄层极限下确定极限算子，考虑任意变系数及横向方向的快速振荡依赖性。
• 建立扰动算子到极限算子的统一预解收敛性，并给出收敛速率的精确估计。
• 研究离散谱的渐近行为，包括特征值与特征函数的展开式。
• 证明收敛到极限算子离散谱的扰动特征值保持为实数，并推导其完整的渐近展开式。

提出的方法

• 采用薄层中的奇异摄动方法，对横向变量进行尺度变换，以在层厚 ε → 0 的极限下导出极限算子。
• 极限算子被显式导出，其包含依赖于原始系数在横向方向快速振荡的均质化系数。
• 通过谱理论、紧致性论证以及预解差的估计，证明了统一预解收敛性。
• 在系数的弱光滑性与PT对称性条件下，证明收敛速率最优，收敛阶为 O(ε^N)，其中 N 为任意正整数。
• 通过摄动技术（包括L yapunov-Schmidt型约化与谱投影方法）构建特征值与特征函数的渐近展开式。
• 通过分析扰动算子的结构及其在尺度化设定下对自伴极限算子的谱收敛性，确立了特征值的实性。

实验结果

研究问题

• RQ1 当层厚 ε → 0 时，薄层中PT对称微分算子的谱行为如何，特别是离散特征值的行为？
• RQ2 当原始算子具有变系数（包括横向方向的快速振荡项）时，极限算子的形式是什么？
• RQ3 扰动算子的预解与谱收敛到极限算子的最优收敛速率是什么？
• RQ4 收敛到极限算子离散谱的扰动特征值是否为实数？若是，其渐近展开式如何构造？
• RQ5 能否在薄层极限下为扰动算子的特征值与特征函数推导出完整的渐近展开式？

主要发现

• 扰动算子在预解意义下一致收敛于极限PT对称算子，收敛速率估计为 O(ε^N)（任意 N），且该速率被证明是最优的。
• 极限算子被显式导出，其非平凡地依赖于横向方向快速振荡所导致的均质化系数。
• 所有收敛到极限算子离散谱的扰动算子特征值保持为实数，尽管该算子是非自伴的。
• 为特征值与特征函数均构造了完整的渐近展开式，其中特征值展开为 λ_ε = λ_0 + O(ε^N)，特征函数展开为 φ_ε = φ_0 + O(ε^N)，在适当的范数下成立。
• 证明了谱的收敛性，且在适当的正则性条件下，特征函数以 O(ε^{N-r-1}) 的速率在 W_2^1 范数下收敛。
• 证明表明，谱投影矩阵的行列式趋于1，从而确保在重排后扰动与极限特征模态之间存在明确的对应关系。