J-对称算子及其J-自伴扩张的谱.pdf

第一章 绪论 泛函分析是研究线性拓扑空间到线性拓扑空间所满足各种拓扑和代数条件的映射 的学科．算子理论是泛函分析重要的组成部分，其涉及内容丰富，包含线性算子，算 子的谱理论，算子代数等内容．利用算子理论的方法研究微分方程解的问题，就产生 了微分算子理论．微分算子理论是泛函分析与微分方程交叉的学科． 微分算子理论最早可追溯到十九世纪初建立固体传热的数学模型与求解各类经 典数学物理方程定解问题而产生的 Sturm-Liouville 问题： ′ −( ′ ) ( ) p (x)y (x) +q(x)y (x) λy (x) ， x ∈ a,b ． (1.1) 当p (x ) ，q(x) 是实函数，并赋予自伴的边界条件时，Sturm-Liouville 算子就是常微分 自伴算子．根据自伴算子理论，自然就有Sturm-Liouville 算子的谱理论，谱分解定理 及按其特征函数展开．随着 Sturm-Liouville 问题研究的深入，将Sturm-Liouville 问题 从有界区间拓广为无界区间，从二阶到高阶常微分算子，由不加权到加不定权问题的 研究，逐步使 Sturm-Liouville 理论成为一个系统的理论领域．在研究 Sturm-Liouville 问题的同时， 近代量子力学发展起来，人们发现在量子力学中，物理量的量子化就 变成为某种类型微分算子，物理学中的能级(势)和态就是微分算子的特征值和特征函 数．正因为微分算子理论与量子力学建立了这一种对应关系， 微分算子理论成为了 解决量子力学问题的基本工具，而量子力学的迅速发展也推动了微分算子理论的研 究，从而引起数学界和物理界的广泛关注． 在研究自伴微分算子的同时，上世纪 50 年代，人们也注意到了一类特殊的非自 伴微分算子－J - 自伴微分算子．即当 Sturm-Liouville 微分算子的系数p (x) ，q(x) ， ( ) x ∈ a,b 为复函数时，而且Im p (x) ，Im q(x) 至少有一个不恒为零，赋予自伴边条件 生成的算子是J - 自伴微分算子．从此开始了复系数 Sturm-Liouville 问题的研究．J - 自伴微分算子理论在量子力学的能量耗散问题，反散射，逆谱等问题中有着广泛的应 用． Glazman[2]引入了J -对称，J - 自伴的概念．关于J-对称算子的 J- 自伴扩张的存在 性问题，Galindo[6]和 Knowles[12]利用不同的方法分别证明了每个 J-对称算子都存在 J- 自伴扩张．Zhikhar[1]在 J-对称算子的正则域非空的情况下给出了它的部分特殊 J- 自伴 扩张的定义域的边界条件的描述．Knowles[12]则给出在正则域非空的情况下它的任一 J- 自伴扩张定义域的边界条件的描述．而Race[16]在 Zhikhar 和 Knowles 等人工作的基 1 [23，24] 础上，完善了 J-对称算子的 J- 自伴扩张的理论．刘景麟先生 等人从不同角度，利 用分析和算子的办法对J -对称算子的亏指数，J - 自伴扩张进行了研究．内蒙古大学 微分算子讨论班在J -对称算子的亏指数，J - 自伴域的完全描述取得了很大的进展． 算子谱理论问题是算子理论基础问题之一．对于非自伴算子的谱理论的研究有很 大的难度．其难度一是没有完善的理论框架，二是非自伴算子的谱可能分布可能在整 个复平面上，可能有剩余谱存在．对于J - 自伴算子，虽然它没有剩余谱，但是J - 自 伴算子的谱可能分布可能在整个复平面上，分布情形比较复杂，难以定量刻划．所以， J - 自伴算子谱的定性，定量分析，特征值的存在和分布问题，以及特征函数系的完 备性问题等都有待解决． 虽然J -对称算子在上世纪 50 年代被人们所关注，但其理论研究成果并不完善．特 别关于其谱理论研究成果更少，缺乏系统性和完整性．Glazmam 开始注意到这一类 算子，并