Pure Mathematics
Vol.
09
No.
01
(
2019
), Article ID:
28695
,
9
pages
10.12677/PM.2019.91015
Canonical Forms of Boundary Conditions for Singular Differential Operators of Order Three
Tian Niu, Xiaoling Hao*, Longjie Sun
School of Mathematical Sciences, Inner Mongolia University, Hohhot Inner Mongolia
Received: Jan. 4th, 2019; accepted: Jan. 22nd, 2019; published: Jan. 29th, 2019
ABSTRACT
There is a close relationship between the characterization of the self-adjoint domain and the deficiency index. In this paper, using the algebraic relation between the deficiency index and the order of the coefficient matrix of the self-adjoint boundary conditions, we obtain the value of the deficiency index when the third-order symmetric differential operator can realize the self-adjoint expansion and give the corresponding canonical forms of the self-adjoint boundary conditions.
Keywords:Differential Operators, Self-Adjoint Boundary Conditions, Deficiency Index
三阶奇异微分算子自伴边界条件的标准型
牛天,郝晓玲*,孙龙洁
内蒙古大学,数学科学学院,内蒙古 呼和浩特
收稿日期:2019年1月4日;录用日期:2019年1月22日;发布日期:2019年1月29日
摘 要
三阶奇异自伴微分算子自伴域的描述与亏指数之间有着紧密的联系。本文利用亏指数的取值与自伴边界条件系数矩阵的阶数之间的代数关系,得到三阶对称微分算子能实现自伴扩张时的亏指数取值并给出了相应的自伴边界条件的标准型。
关键词 :微分算子,自伴边界条件,标准型
Copyright © 2019 by authors and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
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)。
文章引用
牛 天,郝晓玲,孙龙洁. 三阶奇异微分算子自伴边界条件的标准型
Canonical Forms of Boundary Conditions for Singular Differential Operators of Order Three[J]. 理论数学, 2019, 09(01): 119-127. https://doi.org/10.12677/PM.2019.91015
参考文献
- 1. Zettl, A. (2005) Sturm-Liouville Theory, Providence, Rhode Island. American Mathematics Society, Mathematical Surveys and Monographs.
- 2. Zettl, A. and Sun, J. (2015) Survey Article: Self-Adjoint Ordinary Differential Operators and Their Spectrum. Rocky Mountain Journal of Mathematics, 45, 763-886.
https://doi.org/10.1216/RMJ-2015-45-3-763 - 3. 曹之江. 常微分算子[M]. 上海: 上海科技出版社, 1987.
- 4. 刘景麟. 常微分算子谱论[M]. 北京: 科学出版社, 2009.
- 5. Kong, Q. and Zettl, A. (1996) Dependence of Eigenvalues of Sturm-Liouville Problems on the Boundary. Journal of Differential Equations, 126, 389-407.
https://doi.org/10.1006/jdeq.1996.0056 - 6. Kong, Q. and Zettl, A. (1996) Eigenvalues of Regular Sturm-Liouville Problems. Journal of Differential Equations, 131, 1-19.
https://doi.org/10.1006/jdeq.1996.0154 - 7. Niu, T., Hao, X., Sun, J. and Li, K. Canonical Forms of Self-Adjoint Boundary Conditions for Differential Operators of Order Three. (Submitted)
- 8. 牛天, 郝晓玲, 李昆. 三阶正则微分算子特征值关于问题的依赖性. (已投)
- 9. Hao, X., Zhang, M. and Sun, J. (2017) Characterization of Domains of Self-Adjoint Ordinary Differential Operators of Any Order, Even or Odd. Electronic Journal of Qualitative Theory of Differential Equations, 2017, 1-19.
https://doi.org/10.14232/ejqtde.2017.1.61
NOTES
*通讯作者。