1. 引言
关于微分算子自伴性的讨论开始于十九世纪三十年代的Sturm-Liouville问题 [1]。随着科学技术的发展,许多物理工程系统模型都需要用几何图来描述,度量图上微分算子模型随之出现,主要集中在描述度量图上局部微分算子的自伴性。1998年Carlson R. [2] 得到度量图上M阶局部微分算子的自伴顶点条件。
关于闭区间上的乘积算子(下称积算子)或幂的自伴性,也有一些描述。1998年在文献 [3] 中给出了
上两个n阶微分算子的积算子自伴的充分必要条件。文献 [4] [5] 给出了区间上两个高阶微分算子乘积自伴的充分必要条件。但关于度量图上积算子的自伴性问题,至今还没有系统研究。本文利用研究闭区间上积算子的自伴性的方法和度量图上n阶局部微分算子的自伴顶点条件得到了度量图上两个一阶局部微分算子乘积自伴的充分必要条件。
本文主要内容如下:第二章中给出闭区间上两个一阶微分算子的积算子自伴的充分必要条件;第三章给出度量图上微分算子自伴的判定准则和两个一阶局部微分算子的积算子自伴的充分必要条件。
2. 闭区间上的两个微分算子乘积的自伴性
2.1. 基础知识
闭区间
上所有平方可积的函数所组成的空间记为
,其内积和范数为
,
.
令n阶实对称微分算式
,
系数
为实值函数且
。应用分部积分法,
,
其中
,
表示关于
的Lagrange双线性型,
,
.
表示关于
的Lagrange双线性矩阵。令
,
根据文献 [6] 得
(1)
且
满足以下性质
,
.
令
为
上由微分形式
生成的最大算子,其定义域为
,
其中
表示在闭区间
上连续函数的全体所组成的集合。
2.2. 闭区间上两个一阶算子乘积的自伴性
本文讨论闭区间
上由微分算式
生成的微分算子,设
和
为
中由
生成的两个微分算子
(2)
(3)
其中
积算子T定义如下:
(4)
若积算子等价于
(5)
则
,
其中
,
经过计算得
的Lagrange双线性矩阵为
.
定理1积算子
为自伴的充要条件为
成立且满足
.
证因为
为对称微分算子,则有
生成的微分算子的充要条件为
且
.
则
,
证毕。
3. 闭区间上的两个微分算子乘积的自伴性
3.1. 基础知识
定义1 [7] 若图G中的顶点集
与边集
有限,则称图G为有限图。
集合E中的元素是无序二元组,可用
表示,其中
。
定义2若给有限图G每条边定义一个长度
,即:
,则称图G为有限度量图。
定义3 [8] 若有限度量图G的边长度都为有限时,则称图G为紧致图。
在本文中所涉及的度量图都是有向紧致图。顶点v的度是指与v相连的边的条数,记作
。对于有向紧致图来说,顶点的度可分为入度和出度。入度是指以该顶点为终点的边数,出度是指以该顶点为起点的边数。设顶点v的入度为s,将以v为终点的边记为
,那么顶点v的出度为
,将以v为起点的边记为
。
定义4 [2] 任取度量图G上的一条边
,令
表示
对应的区间,空间
表示
,
上定义内积和范数:
,
.
在边
上定义n阶对称微分算式
,系数
为实值函数且
。用
表示在区间
上连续函数的全体所组成的集合,度量图G上最大算子
定义如下:
下面给出局部算子的定义,用
表示在度量图G上具有紧支集且无限次可微实值函数的全体所组成的集合,首先定义度量图上的函数集合M:
.
定义5 [9] 任取集合M中的函数
,如果
中的函数f都满足
,则称算子T为局部算子。
假设,
为
中支集仅包含一个顶点v的函数,使用分部积分法可得,
,
其中
是一个由f和g在顶点v处的边值构成的非退化多项式 [9]。顶点v在于其相连的
条边上的取值分别为
,并且将
与顶点v的关系记为
。
引理1任取
中的函数f,定义f在顶点v处的边值为空间
中向量
,其中
的第
个元素
为
,
.
则在顶点v处存在一个可逆的
边值矩阵
,使得
.
在顶点v处,局部算子定义域中的函数所满足的单个条件为
,
.
局部算子定义域中的函数在顶点v处所满足的条件构成的最大线性无关集为
,其中
是一个
矩阵。
定理2 [2] 设在度量图上由微分形式
生成的n阶局部微分算子T为自伴算子,算子T在顶点v所满足的顶点条件为
,其中
是一个
的行线性无关矩阵,
,经过计算
是一个
,并且满足
. (6)
定义6令
是局部微分算子T在顶点v处的顶点条件,若
是满足等式(6)的
的行线性无关矩阵,则称该顶点条件为T在顶点v处的自伴顶点条件。
3.2. 闭区间上两个一阶算子乘积的自伴性
度量图G上任取一条边,令
表示
对应的区间。设微分算式为
.
记
表示关于
的Lagrange双线性矩阵,
表示由
生成的局部算子的边值矩阵。计算可得
,则
度量图G上由
生成的两个个二阶局部微分算子
、
定义如下:
(7)
(8)
其中
、
分别为
和
矩阵。
微分算式的幂为
.
计算可得
.
向量
与
关系如下,
,
后文中
表示过渡矩阵,其中
,
.
引理2经计算,有如下关系,
,
,
.
在度量图G上的顶点v有
定理3度量图上两个局部微分算子的积算子还是局部微分算子。
积算子T定义如下:
(9)
若积算子等价于
(10)
则
是
矩阵,其中
都是
矩阵,并且
。
表示
矩阵。该矩阵中的第j行元素为i,其余元素为零,
。矩阵
的共轭转置为
根据引理在顶点v有
,
积算子在顶点v处的边值矩阵
为
定理3积算子
为自伴算子的充要条件为
,
且
.
证积算子
为(10)的形式,根据定理2,要证明积算子为自伴的,等价于证明
的秩为
且
。
的秩为
,由上面求得的矩阵
,
和
,并运用引理2得
由此可得
当且仅当
,
,证毕。