1. 引言
正则的自伴Sturm-Liouville问题由二阶对称微分表达式及自伴边界条件组成。在
上定义二阶对称微分表达式为:
, (1)
其中
。 (2)
边界条件为
(3)
且
满足条件
(4)
式(1)的自伴条件(3),(4)被分为三种互斥的子类,并且有如下的标准型:
1) 分离自伴边界条件:
(5)
2) 耦合自伴边界条件:
(6)
任意一个自伴边界条件(3),(4)其必定等价于上述两种自伴标准型之一。(见 [1] [2] )
对于奇异的Strum-Liouville问题,系数弱化为如下条件
且在
几乎处处有
(7)
在这种情况下无法保证(1)式的解
及拟导数 py' 在区间端点的存在性。如果两端点均为极限圆情况,我们用最大算子域中的边界条件基
,
来描述自伴域
(8)
其中
表示Lagrange契合式,
满足自伴性条件(4)。易知,在区间端点处Lagrange契合式存在且有限(关于契合式更多内容可参阅 [1] [2] [3] [4] )。
若端点
为极限点型时,式(1)在最大算子域中的任意解
。恒有
,即(8)式中
,故仅需端点
处的边界条件即能刻画自伴域。若端点
为极限圆型,对任意的
,式(1)的所有解均属于
,且当
为实数时,
能由(1)在
上的线性无关解构成。在端点 b 处我们有类似的结论。注意,当端点
均为极限圆型时,利用Naimark连接引理可将
连接为
。(见 [1] [2] [3] [4] )
如果
为极限圆型,
为极限点型时,有如下的自伴标准型:
(9)
类似的,如果为极限点型,
为极限圆型时,自伴标准型为:
(10)
如果
,
均为极限圆型时,有如下两种类型的自伴标准型:
1) 分离自伴边界条件:
(11)
2) 耦合自伴边界条件:
(12)
上述的自伴标准型在研究特征值及特征函数关于边界条件的依赖性及数值计算方面有很多应用(见 [5] [6] )。对三阶正则自伴微分算子,我们得到了其自伴标准型(见 [7] )。利用这些标准型我们已经得到了特征值及特征函数关于边界条件的依赖性及可微性结果(见 [8] )。在本文中,我们得到三阶奇异对称微分算子的自伴标准型。
在本文中,
表示数域
上的
阶矩阵,当
时用
表示。
表示矩阵
的转置共轭。对
,
表示前
列属于
后
列属于的矩阵。
表示由拟导数矩阵
生成的微分表达式。表示
上的Lebesgue可积的实值函数。
本文内容如下:在第二部分介绍了一些关于拟对称三阶微分算式,自伴域与亏指数的预备知识。在第三部分中对
时边界条件系数矩阵进行分类,并且得到了其自伴标准型。在第四部分中得到了
时的自伴标准型。
2. 预备知识
在本文中考虑如下三阶对称微分表达式
(13)
其中
且在
上几乎处处有
(14)
注意,系数仅需满足局部可积条件。在这种情况下,我们无法保证(9)式的解在区间端点的存在性。接下来,我们引入拟导数及Lagrange契合式
定义2.1:对,令
, (15)
对
定义
。 (16)
并且,
(17)
类似的,对
定义
, (18)
(19)
其中
。
那么对(9)式有如下拟导数表达形式:
(20)
引理2.2:令
为生成(11)式中拟导数的矩阵。则
(21)
其中
。且对任意的
有:
, (22)
其中
。 (23)
证明:利用分部积分即得结论。
注1:下面我们给出三阶对称微分表达式(9)生成微分算子的自伴域的描述,这个自伴描述依赖亏指数
。亏指数的值即为描述自伴域的线性无关的边界条件的个数。对任意的
,记区间上的亏指数为
,记
上的亏指数为
,
上的亏指数为
,且
,
,
之间有如下关系
(24)
且(12)式与
的选择无关。
注2:由Everitt公式可知,三阶情况下正负亏指数满足如下条件
,
或,
, (25)
其中
,
为对称算子的亏空间的维数。为了保证自伴性,须有,
,
。易知在三阶情况下,为了保证自伴性,不存在
或
的情况(更多相关亏指数的内容可参阅 [1] [2] [3] [4] )。
定理2.3:对任意的
,令
为在
上的亏指数。假设对
,式(9)有
个属于
的线性无关的解。对
,式(9)有
个属于
的线性无关解。令
,
,令
为在
的LC解,
为在
上LC解。那么,对最大算子域
的子流形
为最小算子域
的自伴扩张当且仅当存在
阶矩阵
,
阶矩阵
满足下面条件:
1) rank ( A: B) = 3 ;
2)
;
3)
, (26)
其中
。
证明:见 [9] 中的定理1。
由上述定理可的知,时,矩阵
的阶数及亏指数有如下情况:
1)
,此时,;
2)
,此时
,;
3)
,
,此时
,
,;
4),
,此时
,
,
。
我们将其分为左右亏指数相等
,与左右亏指数不相等
两种情况讨论其自伴标准型。
3.
的情况
在本章中我们讨论
时三阶微分算子的自伴边界条件的标准型。通过计算,我们得到在
的情况下自伴标准型仅有一种情况。在
的情况下有6种自伴标准型。
若
,由
,
,
,易知
具有如下形式:
(27)
下面我们通过(13)来计算自伴标准型。
定理3.1:令定理2.3的假设与概念成立,若
。那么系数矩阵
,且有如下的自伴标准型:
。 (28)
证明:利用(13)来计算标准型,通过计算可得:
(29)
。 (30)
若
满足自伴性条件,必有
,即(15) = (16)。令
,则
。那么
。 (31)
令
,即得如下标准型:
。 (32)
若
,则
, rank ( A: B) = 3 类似正则情况,我们有如下结论:
定理3.2:令定理2.3的假设与概念成立,假设
。那么系数矩阵
,且有如下形式的6种自伴标准型:
1) 耦合自伴标准型。
i)
, (33)
其中
。
ii)
, (34)
其中
。
2) 混合自伴标准型。
iii)
, (35)
其中
。
iv)
, (36)
其中
。
v)
, (37)
其中
。
vi)
, (38)
其中
。
证明:在此情况下与正则情况类似,可参阅 [9] 。
4.
的情况
本章研究亏指数不相等的情况下自伴标准型。当亏指数不相等的时候我们有
,
或
,
两种情况。并且每种情况下亏指数
。通过计算我们得到在每种情况下均有两种自伴标准型。
如果
,,可知
,
,
。那么
可化为如下形式:
(39)
其中
中变量过多,为了简化计算,我们对
进行如下分类。
引理4.1:对
,
,
。有如下两种形式的分类:
1)
; (40)
2)
。 (41)
证明:通过讨论 B 第一列,对
进行分类。
若
,
(42)
此为情况(1)。
若
,则(23)具有如下形式:
(43)
即为情况(2)。
定理4.2:假设上述定理2.3的记号与假设成立,
,
。则系数矩阵
,,且有如下两种自伴标准型:
i)
, (44)
其中,
。
ii)
, (45)
其中
。
证明:i) 若
满足引理4.1中形式的(1),那么
; (46)
; (47)
若矩阵
满足自伴性条件,有
。令
,则
。通过计算,我们有
(48)
其中
。
令,则有如下自伴标准型:
。 (49)
ii) 若
满足上述引理4.1中形式(2),有
。 (50)
若 ( A: B)满足自伴性条件,则
。注意,为了保证
必须保证,否则
,与
矛盾。若
,我们有。类似(1)中的计算,可得如下自伴标准型:
。 (51)
当
,
时,我们有如下
的类似的分类,并且给出了相应的自伴标准型。
引理4.3:若
,
,
。有如下两种形式的分类:
1)
; (52)
2)
。 (53)
定理4.4:假设上述定理2.3的记号与假设成立,
,
。则系数矩阵
,
,且有如下两种自伴标准型:
i)
, (54)
其中
,
。
ii)
, (55)
其中。
基金项目
国家自然科学基金资助项目(11561050),内蒙古自然科学基金资助项目(2018MS01021)。
NOTES
*通讯作者。