两区间微分算子自伴域的实参数解刻画及其谱的离散性.pdf

两区间微分算子自伴域的实参数解刻画 及谱的离散性 摘要 本文主要围绕两区问上微分算子白伴域的刻画及几类微分算子谱的离散性展开研 具有转移条件的问题也可以理解成两区间上问题的一种特殊情形，即两个区问相邻，重 然而两个区问上的问题不能简单的看成是各白区问上算子的直和，更有趣的、也是更重 区问理论．由于自伴算子的谱是实的，用实参数解刻画白伴域不仅易于找到显式的解更重 要的是会产生与谱相关的信息． 本文在Hilbert空间的直和框架下，利用微分方程的实参数解首先给出一端正则一端 奇异的两区间上微分算子自伴域的完全刻画．在直和空间中构造自伴算子的一种简单方 式就是取每个空问中自伴算子的直和．如果这样得到的自伴算子就是由两区间上微分方 程生成的所有自伴算子，那么我们就没有必要建立“两区间理论”．事实上，正如文[9]中所 提到的，有许多自伴算子并不只是每个区间上自伴算子的直和，这些“新的”白伴算子涉及 到在这两个区间之间的相互作用．这些相互作用可能c穿过，正则点，也可能‘穿过’奇异点． 其中正则自伴相互作用包含解或其拟导数的跳跃，奇异白伴相互作用包含解的拉格朗同 括号的跳跃． 接着我们又给出两端奇异的两区间上最小算子的所有自伴扩张的一个显式刻画．这 些扩张产生的“新的”自伴算子不只是每个区间上白伴算子的直和也涉及到两个区间之 问的相互作用．这样的相互作用是奇异端点之问的相互作用，在内部奇异点处这些相互作 用包含了解的拉格朗日括号的不连续跳跃．该结果同样适用于一个端点是正则的或多个 端点是正则的情形． 进一步地，在一个新的带有适当乘数参数的Hilbert空问框架下，我们研究了两个偶数 阶实系数微分方程的所有两区间自伴实现理论，给出了一端正则一端奇异的两区间最小 算子的所有自伴扩张的描述，这些参数与边界条件相互作用产生的偶数阶自伴性问题使 得与其关联的实耦合系数矩阵K更具一般性． 在这个新的带有适当乘数参数的Hilbert空间框架下我们又研究了区间端点都是奇异 的情形，给出了两端奇异的两区间上偶数阶实系数微分方程的所有两区问自伴实现的描 述，得到的自伴边界条件使得与其关联的实耦合系数矩阵K更具一般性．该结果同样适 用于一个端点是『F则的或多个端点是正则的情形． 特征值不仅连续而且光滑依赖于该问题，同时我们还证明了特征值是所有参数(区间端 点、边界条件、方程系数和权函数)的可微函数，并且给出了特征值关于给定参数的微分 表达式．特征值与特征函数对参数的连续依赖性除了其理论的重要性，对数值计算而言也 是十分重要的． 最后我们研究了几类微分算子谱的离散性，首先研究了一类偶数阶白伴微分算子的 谱，当微分算子的系数ak(z)由ez的乘方所控制，该微分算子与具有指数系数的对称微 分算子相比较，从而得出其谱是离散的结论；进一步当z_∞时，微分算子的系数n惫(z) 可能随着矿的乘方增大而增大，我们又给出其谱是离散的充分与必要条件．其次研究了 一类具指数系数的对称微分算式生成的自伴微分算子的谱，我们得到该类微分算子的系 数满足一定条件时，末项系数按照一定的方式趋于无穷大时，其谱是离散的结论．进一步 得到不仅末项系数按照一定的方式趋于无穷大时可以决定此类微分算子谱的离散性，而 且，中问项和首项系数按照一定的方式趋于无穷大时也可以决定此类微分算子谱的离散 性．最后，我们还研究了一类具指数系数的自伴微分算子本质谱的存在范围． 本文共分八章，第一章绪论，介绍本文所研究问题的背景及本文的主要结果；第二章 是文中所涉及相关符号，概念以及性质；第三章研究了一端奇异两区问微分算子白伴域的 刻画；第四章研究了两端奇异两区间微分算子自伴域的刻画；第五章研究了含内积倍数的 一端奇异两区问微分算子自伴域的刻画；第六章研究了含内积倍数的两端奇异两区问微 研究了几类自伴微分算子谱的离散性． 征值，连续性，可微性，本质谱，离散谱 THE CHARACTERIZAIlIoNoFSELF．ADJoINTDoMAINSoF TWO—INTERVALDIFFERENTIAL oPERAToRSBY SoLUTIoNSANDTHEDISCRETENESS0F SPECTRU