第50卷第1期2021年1月
内蒙古师范大学学报(自然科学版)
Journal of Inner Mongolia Normal University(Natural Science Edition)
Vol.50No.1
阿拉坦仓】，吴德玉2
（1.内蒙古师范大学数学科学学院，内蒙古呼和浩特010022；
2.内蒙古大学数学科学学院，内蒙古呼和浩特010021）
摘要：对无穷维Hamilton算子谱理论研究成果进行了梳理，包括无穷维Hamilton算子辛自伴性、无穷维Hamilton算子特征函数系的完备性，以及无穷维Hamilton算子数值域等方面的研究现状和展望。提出一些关于 无穷维Hamilton算子谱理论方面有待解决的问题。 关键词：无穷维Hamilton算子；自伴性；数值域；完备性
中图分类号：0175.3文献标志码：A文章编号：1001—8735（2021）01—0001—06
doi：10.3969/j.issn.1001—8735.2021.01.001
0引言
Hilbert空间中线性算子理论，尤其自伴算子谱理论是20世纪数学科学领域取得的最重要成果之一。有界自伴算子谱理论的奠基人D.Hilbert，在1904年至1910年完成的关于积分方程的六篇论文中阐述了有界自伴算子谱理论的思想。为研究量子力学问题，1927年至1929年J.von Neumann将有界自伴算子谱理论推广到了无界自伴算子领域。20世纪30年代,F.Riesz和M.S.Stone等人进一步完善了无界自伴算子谱理论框架。目前，自伴算子谱理论已经形成了比较完善的框架体系。众所周知的求解偏微分方程的分离变量法，又称Fourier级数法，就是以自伴算子谱理论为基础的。需要注意的是，当系统对应的算子是自伴算子时，该系统能量是守恒的，亦称封闭系统。然而，实际问题中也存在诸多能量不守恒的开放系统，其状态算子为非自伴算子。如散射理论和量子场理论领域的连续谱扰动问题以及量子力学中的特征值扰动问题，均属于非自伴算子谱理论范畴。因此，有必要研究非自伴算子的谱理论，拓广Fourier级数法的适用范围。目前，关于非自伴算子谱理论研究方法主要有预解算子方法、分块算子矩阵方法以及扰动理论等，虽然取得了一些重要突破，但还未形成完善的框架体系，非自伴算子谱理论
是当代数学和力学领域亟待解决的重要理论问题之一。
如上所述，一般非自伴算子谱理论研究相对于自伴算子谱理论要复杂深刻。鉴于此，可以研究难度介于自伴算子和一般非自伴算子之间的算子。而这类算子就是无穷维Hamilton算子，它是由线性无穷维Hamilton正则系统导出的具有深刻力学背景的分块算子矩阵。研究可知，利用自伴算子特征函数系的正交性，可以解决特征展开式中的系数计算问题，这是Sturm一Liouville问题及分离变量法的理论基础。一般非自伴算子的特征函数系不具有正交性，特征展开式中的系数计算问题至今是个难题。而无穷维Hamilton 算子的特征函数系具有辛正交性，利用辛正交性可以解决特征展开式中的系数计算问题，这是钟万勰院士创立的弹性力学求解新体系1的理论基础。特征展开式的系数计算问题解决以后，面临的关键问题是特征展开式的收敛性问题，即特征函数系的完备性问题。该问题通过无穷维Hamilton算子的谱理论有望得到解决。因此，阿拉坦仓教授自1993年开始从偏微分方程的基本解转入研究无穷维Hamilton算子谱理论，这在国际上是起步较早的。
收稿日期：2020-01-04
基金项目：国家自然科学基金资助项目（11761029）内蒙古自治区自然科学基金资助项目（2019MS01019）。
作者简介：阿拉坦仓（1963—），男（蒙古族），内蒙古兴安盟人，内蒙古师范大学二级教授，博士
研究生导师，主要从事无穷维Hamilton 算子研究。
・2・内蒙古师范大学学报（自然科学版）第50卷
定义1设X是Hilbert空间H：D（H）灱XXX曻X X X是线性算子，如果它具有分块形式H=（c-A*05
其中ABC是稠定闭线性算子且B=B*,C=C*，则称H为无穷维Hamilton算子。如果B,C均为自伴且非负算子，则称无穷维Hamilton算子H为非负Hamilton算子。
无穷维Hamilton算子的谱理论研究具有重要学术价值。无穷维Hamilton算子是介于自伴算子和一般非自伴算子之间的一类特殊的分块算子矩阵。关于无穷维Hamilton算子谱理论研究涉及Hilbert空间中线性算子理论.Krein空间中线性算子理论、辛空间中线性算子理论以及分块算子矩阵等诸多方面，具有很好的学术广度。此外，Sturm一Liouville问题是将HilbertSchmidt定理从有界自伴算子推广到了无界自伴算子的情形，然而无穷维Hamilton算子不仅将HilbertSchmidt定理从有界算子推广到了无界算子，还将自伴的情形推广到了非自伴的情形，具有很好的学术深度。
无穷维Hamilton算子的谱理论研究具有重要实际应用价值。钟万勰院士创立的弹性力学求解新体系，其理论基础是无穷维Hamilton算子特征函数系的完备性，而通过无穷维Hamilton算子的谱理论研究有望可以解决特征函数系的完备性问题。Hamilton矩阵谱对称问题是冯康院士课题组创立的辛几何算法
⑵的理论基础，而通过无穷维Hamilton算子剩余谱分布，可以刻画无穷维Hamilton算子谱的对称问题。此外，吴文俊院士创立的吴方法⑶与Hamilton系统反问题之间联系紧密。
目前，研究无穷维Hamilton算子谱理论的学者很多，包括国外的Azizov⑷、Kurina［6］、Langer［］以及
Wyss间等，国内有以阿拉坦仓教授为带头人的无穷维Hamilton算子研究团队卩12］、钟万勰［1316］、周建方［17］等。随着无穷维Hamilton算子谱理论研究的深入，国内外核心期刊上发表的论文数量也大幅增加，如
《中国科学：数学（中、英文版）》《数学学报（中、英文版）》《数学年刊》《数学物理学报》Applied Mathematical Modelling Linear Algebra and Its Appliations Linear and Multilinear Algebra：Integral Equations and Operator Theory^Journal of Operatrr Theory Operators and Matrices^Mathematische Nachrichten等。鉴于此，本文对无穷维Hamilton算子谱理论研究团队及所取得的研究成果做一综述，其内容包括团队带头人及核心成员构成、无穷维Hamilton算子辛自伴性、无穷维Hamilton算子特征函数系的完备性以及无穷维Hamilton算子数值域等领域取得的成果。此外，本文还提出了关于无穷维Hamilton算子谱理论方面有待解决的问题。
1无穷维Hamilton算子研究团队现状
无穷维Hamilton算子研究团队带头人是阿拉坦仓教授，现任内蒙古师范大学党委副书记、校长。他是第十三届全国政协委员，国家民委决策咨询委员会委员，曾获得内蒙古自治区青年科技标兵、内蒙古自治区青年科技奖、内蒙古自治区有突出贡献的中青年专家、内蒙古自治区自然科学二等奖和三等奖、宝钢优秀教师奖、内蒙古自治区教学名师、全国优秀科技工作者等荣誉和奖项，并入选内蒙古自治区新世纪“321人才工程”第一层次人选、内蒙古自治区高等教育人才培养“111工程”第二层次人选以及内蒙古自治区“草原英才”等人才工程。因为在无穷维Hamilton算子谱理论方面的奠基性工作，阿拉坦仓教授主持承担的成果项目“无穷维Hamilton算子及其应用”获得了2007年度内蒙古自治区自然科学三等奖。2008年阿拉坦仓教授创建了无穷维Hamilton系统研究中心，团队成员由他培养的博士和硕士组成。无穷维Hamilton系统研究中心的成立为无穷维Hamilton算子谱理论研究提供了重要平台，解决了无穷维Hamilton算子特征函数系的完备性问题以及谱的结构等重要问题，使得无穷维Hamilton算子谱理论研究取得重要进展。基于此，他主持承担的成果项目“无穷维Hamilton算子的谱结构及其完备性”获得了2011年度内蒙古自治区自然科学二等奖。2012年开始，阿拉坦仓教授提出了基于一般分块算子矩阵，利用数值域理论和本质谱理论，包括经典数值域、广义数值域、Fredholm性质、Weyl性质等，来研究无穷维Hamilton算子谱结构的建设性研究思路，取得了一系列具有开创性的成果，从而被评为全国优秀科技工作者。2018年，他带领的“数学教学科研蒙汉双语教师团队”入选教育部首批“全国高校黄大年式教师团队”。目前，无穷维Hamilton算子研究团队核心成员中有教授6人、博士研究生导师5人、硕士研究生导师6人，团队成员共主持国家自然科学基金
第1期阿拉坦仓等：无穷维Hamilton算子谱理论研究综述-3-
18项，完成学术专著4部，完成教材2部，其中包括“十二五”规划蒙古文教材1部，完成学术论文300余篇，其中SCI检索100余篇。
2无穷维Hamilton算子辛自共轭性
从一般的分块算子矩阵角度来说，无穷维Hamilton算子满足
灲JH，
「0II
其中J=。由于分块算子矩阵J能够诱导辛结构，也称无穷维Hamilton算子是辛对称算子。进一一一I0_
步，如果有
(JH)*=JH，
则称无穷维Hamilton算子是辛自共轭(或称辛自伴)无论研究无穷维Hamilton算子谱分布、谱扰动还是特征函数系的完备性问题，都离不开无穷维Hamilton算子的辛自共轭性。于是，运用扰动理论以及Sc
hur 分解给出如下结论：
(A B}
定理1[18]设H=I_A*I;D(A)X D(A*)是对角占优无穷维Hamilton算子且p(A)曎0，则下列命题等价：
(1)(JH)*=J H；
(2)存在2暿p(A)使得A*+C(A-AI)-1B=(A+B(A*-毸I)-1C)*；
(3)存在毸暿p(A)使得A+B(A*-毸I)-1C=(A*+C(A-AI)-1B)*。
根据上述定理易得，当C关于A的相对界小于1且B关于A*的相对界不超过1，或者当C关于A的相对界不超过1且B关于A*的相对界小于1，则无穷维Hamilton算子是辛自共轭的。此时，自然可以提出的问题是：两个相对界的乘积小于1能否保证其无穷维Hamilton算子的辛自共轭呢？答案是肯定的。
定理2[19]设H=J_：*]:D(A)X D(A*)是对角占优无穷维Hamilton算子且p(A)曎0，如果
C关于A的相对界和B关于A*的相对界的乘积小于1，则(H)=JH a
上述结果将无穷维Hamilton算子共轭算子的运算问题巧妙地转化成了Schur补的共轭以及线性算子相
对界的计算问题，具有重要意义。类似地，还可以考虑斜对角占优的无穷维Hamilton算子。
3无穷维Hamilton算子特征函数系的完备性
在Sturm—Liouville问题和HilbertSchmidt定理中利用自伴算子特征函数系的正交性解决了特征展开式系数计算问题。然而，无穷维Hamilton算子特征向量和广义特征向量具有辛正交性，故辛特征展开式的系数计算问题同样可以解决。于是，在Hamilton体系下采用分离变量法亟待解决的问题是展开式的收敛性问题，即完备性问题。由此可得如下结论，为弹性力学求解新体系提供了理论保障。
定理3[20]
(A
设H=[A B
-A
:D(H)U X X X曻X X X是具有至多可数多个离散点谱的简单无穷
维Hamilton算子，0烖氁(A),D(B)U D(A*)，直非负可逆,B^A是对称算子且CB^Af n,f m)=0(”曎m)，则算
子H的特征向量组的第一分量{/”}+曓-曓在空间X中Cauchy主值意义下完备蕴含H的特征向量组{(/”g n)T}+曓-曓在空间X X X中Cauch y主值意义下完备。
(0A1B1
A200定理4[20]设H=
C100
、0C—A1*0A
A*是具有至多可数多个离散点谱的简单无穷维皿罰5算0
子,D(B,)U D(A,*)(=1,2),B，非负可逆，C，非负且(f(,B—1A2f1m))=0,(f”,B—1人/严)=0(”曎m)，则算子H的特征向量组的第一分量{f1”〉}+曓—曓和第二分量{/(}+曓—曓在空间X中Cauchy主值意义下完备
・4・内蒙古师范大学学报(自然科学版)第50卷+ a 4d 2^j Xxy ) +蕴含H 的特征向量组{ f (n f n g (n ) T }+曓—曓在空间X 暳X 暳X 暳X 中Cauchy 主值意义下完备。
此外，还考虑了一类薄板问题对应的常系数偏微分方程
灥4氄i(xy ) o 灥4氄i(x,y ) 灥4氄i(xy )毩 十2毩xy 十毩3 —灥厂氁 H ) U W(H ) 暼 — W(H )*。
(A B }
定理7[22] 设H = I C A * I ：D(H ) U X X X 曻X X X 是辛自伴无穷维Hamilton 算子，如果 JD(H ) U D(H )，则W(H )关于虚轴对称且满足氁H ) U W(H )。上述结论解决了无穷维Hamilton 算子数值域对称问题和谱包含性质，这对于解决无穷维Hamilton 算
灥2氄(X ,y) 灥y
X 4
+ 毩6 氄i(x,y ) =g (x ,))毩5
其边界条件为氄i (0,y) =(p -i (a,y) = 0 ，灥氄i(0,y )= 灥氄(y )
灥X 灥X
将此微分方程导向Hamilton 体系后，其对应的无穷维Hamilton 算子为
(0B
H = I I C 0
其中
(01
B =1 2(-
—毩5丿(/毩2、灥4灥2
毩灥2 ]
(—-毩3—毩4X 2"—毩6毩3 X 2
C =毩灥2
1毩3毩3丿
得到如下结论:
定理5[21] 算子H 的广义特征向量组毜0X )，毜X )：" = 士1, 士 在Hilbert 空间X 中Cauchy 主值意义下完备，即存在常数列{C 士”X )}+==1 ,{C 士 X )}；S 使得对任意FX )暿X 有
FX )=暺 C 0 毜 0X ) +C 毜 1X ) +C -”毜-”X ) + C L…01…(x )o
n =1
上述结果解决了一些抽象无穷维Hamilton 算子和具体问题对应的无穷维Hamilton 算子特征函数系和 广义特征向量组的完备性问题，为在Hamilton 体系下的分离变量法提供了理论依据，具有深远意义。4 无穷维Hamilton 算子数值域及数值半径
Hilbert 空间中有界线性算子的数值域是二次型和Rayleigh 商从有限维到无穷维的逻辑上的推广，具有 深厚的理论基础。正如线性算子的谱集一样，Hilbert 空间中线性算子的数值域也是复平面的子集，它也蕴 含有关线性算子的相关信息，甚至能够提供一些谱集不能提供的信息。例如，一个线性算子的数值域是实数 集蕴含该线性算子是对称算子，而谱集是实数不一定是对称算子。从学术研究角度来讲，线性算子数值域的 研究涉及纯理论和应用科学的诸多分支，诸如算子理论、泛函分析、C -代数.Banach 代数、数值分析、扰动理 论、控制论以及量子物理等等。此外，关于线性算子数值域的研究方法也十分丰富，代数、分析、几何、组合理 论、计算机编程都是非常有用的研究工具。因此，线性算子数值域以及相关问题的研究受到了诸多学者的广 泛关注。鉴于此，团队围绕无穷维Hamilton 算子的数值域以及有界无穷维Hamilton 算子数值半径不等式 问题展开研究，取得了一些成果。
(A B )
定理6[22] 设H = I C A * I :D(H ) U X X X 曻X X X 是辛自伴无穷维Hamilton 算子，则
第1期阿拉坦仓等：无穷维Hamilton算子谱理论研究综述-5-
子点谱对称问题具有重要意义。
定理8[23]设T=A B|:X X X曻X X X是有界2X2分块算子矩阵，如果dim X曒2且
C D丿
distW(A)WCD))>2min{w(BC),w(CB)}+B C，(1)则二次数值域W2(T)由两个不相交的子集构成。
r、(A B'}
定理9[23]设丁=J D I:X X X—X X X是有界2X2分块算子矩阵，如果dim X曒2且存在r曒1和0曑a曑1使得
dist(W(A),W(D))>(1)^|B|+|C*|r1-a\C4r+B*|4r1-a||r，
则二次数值域W2(T)由两个不相交的子集构成。
分块算子矩阵谱的二分性对于解决分块算子矩阵对角化问题具有重要应用。然而，通过二次数值域的二分性能解决线性算子谱的二分性。关于二次数值域的二分性，Tretter[24]等给出了如果满足
dist(W(A),W(D))>2B C，(2)则二次数值域W2(T)由两个不相交的子集构成的结论。很显然，定理8中的条件(1)弱于(2)，于是我们的结论推广了Tretter的结论。
5无穷维Hamilton算子谱理论方面待解决的一些问题
问题1根据定义，无穷维Hamilton算子二次数值域最多有两个不相交的连通子集构成，那么这些子集是单连通还是复连通呢？无穷维Hamilton算子二次数值域单连通的充要条件是什么？
问题2无穷维Hamilton算子如果存在广义特征向量时，它的根向量组的完备性如何？无穷维Hamilton算子根向量组在Cauchy主值意义下完备性和一般完备性之间的联系如何？
问题3对于一般有界线性算子T而言，它的数值半径满足
w(T")曑[w(T)]",n=1,2,3,…，
该不等式称为数值半径的幂不等式。对于有界无穷维Hamilton算子可以定义其二次数值半径，那么二次数值半径是否具有幂不等式呢？
问题4对于一般的非负Hamilton算子而言，它的主对角元可逆或者次对角元可逆能否推出非负Hamilton算子可逆呢？
参考文献：
[1]钟万勰.弹性力学求解新体系[M].大连：大连理工大学出版社，1995.
[2]冯康，秦孟兆.哈米尔顿系统的辛几何算法[M].2版.杭州：浙江科学技术出版社，2003.
[]吴文俊.数学机械化[M].北京：科学出版社，2003.
[4]AZIZOV T Y,DIJKSMA A,GGRIDNEVA I V.On the boundness of Hamiltonian operators[J].Proceedings American
Mathematical Society,2002,131(2):563-576.
[]KURINA G A.Invertibility of nonnegatively Hamiltonian operators in a Hilbert space[J].Differential Equations,001, 37(6)：880-882.
[6]KURINA G A.Linear Hamilton systems not solved for the derivatives[J].Differential Equations,1986,22(2)：
138-142.
[7]LANGER H,RAN A C M,WAN DE ROTTEN B A.Invariant subspaces of infinite dimensional Hamiltonians and
solutions of the corresponding Riccati equations[J].Operator Theory:Advances and Applications,001,30：235-254.
[8]WYSS C.Hamiltonians with Riesz bases of generalised eigenvectors and Riccati equations[J].Eprint Arxiv,2012,
60(5)=1723-1766.
[]ALATANCANG,HUANG J,FAN X.Structure of the spectrum of infinite dimensional Hamiltonian operators[J].
Science in China Series A:Mathematics,008,1(5)：915-924.
豫公网安备41160202000603
站长QQ:729038198
关于我们
投诉建议