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

《两区间微分算子自伴域实参数解刻画及谱离散性》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、两区间微分算子自伴域的实参数解刻画及谱的离散性摘要本文主要围绕两区问上微分算子白伴域的刻画及几类微分算子谱的离散性展开研究．多年来带转移条件的Sturm-Liouville问题一直受到很多数学、物理工作者的关注，而具有转移条件的问题也可以理解成两区间上问题的一种特殊情形，即两个区问相邻，重合端点处的左右边界条件构成了转移条件．在这一思想的启发下，1986年，Everitt—Zettl在Hilbert空间的直和框架下研究了两区问上二阶Sturm-Liouville问题的白伴实现理论．然而两个区问上的问题不能简单的看

2、成是各白区问上算子的直和，更有趣的、也是更重要的问题是两个区间之问存在某种程度上的关联．因此Everitt—Zettl在文[9]中研究了两区问理论．由于自伴算子的谱是实的，用实参数解刻画白伴域不仅易于找到显式的解更重要的是会产生与谱相关的信息．本文在Hilbert空间的直和框架下，利用微分方程的实参数解首先给出一端正则一端奇异的两区间上微分算子自伴域的完全刻画．在直和空间中构造自伴算子的一种简单方式就是取每个空问中自伴算子的直和．如果这样得到的自伴算子就是由两区间上微分方程生成的所有自伴算子，那么我们就没有必要建

3、立“两区间理论”．事实上，正如文[9]中所提到的，有许多自伴算子并不只是每个区间上自伴算子的直和，这些“新的”白伴算子涉及到在这两个区间之间的相互作用．这些相互作用可能c穿过，正则点，也可能‘穿过’奇异点．其中正则自伴相互作用包含解或其拟导数的跳跃，奇异白伴相互作用包含解的拉格朗同括号的跳跃．接着我们又给出两端奇异的两区间上最小算子的所有自伴扩张的一个显式刻画．这些扩张产生的“新的”自伴算子不只是每个区间上白伴算子的直和也涉及到两个区间之问的相互作用．这样的相互作用是奇异端点之问的相互作用，在内部奇异点处这些相互

4、作用包含了解的拉格朗日括号的不连续跳跃．该结果同样适用于一个端点是正则的或多个端点是正则的情形．进一步地，在一个新的带有适当乘数参数的Hilbert空问框架下，我们研究了两个偶数阶实系数微分方程的所有两区间自伴实现理论，给出了一端正则一端奇异的两区间最小算子的所有自伴扩张的描述，这些参数与边界条件相互作用产生的偶数阶自伴性问题使得与其关联的实耦合系数矩阵K更具一般性．在这个新的带有适当乘数参数的Hilbert空间框架下我们又研究了区间端点都是奇异的情形，给出了两端奇异的两区间上偶数阶实系数微分方程的所有两区问自伴

5、实现的描述，得到的自伴边界条件使得与其关联的实耦合系数矩阵K更具一般性．该结果同样适用于一个端点是『F则的或多个端点是正则的情形．文章还研究了一类四阶正则Sturm-Liouville问题的特征值对问题的依赖性．我们得到特征值不仅连续而且光滑依赖于该问题，同时我们还证明了特征值是所有参数(区间端点、边界条件、方程系数和权函数)的可微函数，并且给出了特征值关于给定参数的微分表达式．特征值与特征函数对参数的连续依赖性除了其理论的重要性，对数值计算而言也是十分重要的．最后我们研究了几类微分算子谱的离散性，首先研究了一类

6、偶数阶白伴微分算子的谱，当微分算子的系数ak(z)由ez的乘方所控制，该微分算子与具有指数系数的对称微分算子相比较，从而得出其谱是离散的结论；进一步当z_∞时，微分算子的系数n惫(z)可能随着矿的乘方增大而增大，我们又给出其谱是离散的充分与必要条件．其次研究了一类具指数系数的对称微分算式生成的自伴微分算子的谱，我们得到该类微分算子的系数满足一定条件时，末项系数按照一定的方式趋于无穷大时，其谱是离散的结论．进一步得到不仅末项系数按照一定的方式趋于无穷大时可以决定此类微分算子谱的离散性，而且，中问项和首项系数按照一定

7、的方式趋于无穷大时也可以决定此类微分算子谱的离散性．最后，我们还研究了一类具指数系数的自伴微分算子本质谱的存在范围．本文共分八章，第一章绪论，介绍本文所研究问题的背景及本文的主要结果；第二章是文中所涉及相关符号，概念以及性质；第三章研究了一端奇异两区问微分算子白伴域的刻画；第四章研究了两端奇异两区间微分算子自伴域的刻画；第五章研究了含内积倍数的一端奇异两区问微分算子自伴域的刻画；第六章研究了含内积倍数的两端奇异两区问微分算子白伴域的刻画；第七章研究了一类四阶正则Sturm—Liouville问题的特征值；第八章研

8、究了几类自伴微分算子谱的离散性．关键词：微分算子，自伴扩张，实参数解，直和空间，特征参数，Sturm-Liouville算子，特征值，连续性，可微性，本质谱，离散谱THECHARACTERIZAIlIoNoFSELF．ADJoINTDoMAINSoFTWO—INTERVALDIFFERENTIALoPERAToRSBYREAL．PARAMETERSoLUTIoNSANDD