一类无穷维Hamilton算子的半群生成定理.docx

一类无穷维Hamilton算子的半群生成定理阿拉坦仓,黄俊杰(内蒙古大学数学系,内蒙古呼和浩特010021)摘要:研究了无穷维Hamilton算子生成C0半群的问题,得到了类无穷维Hamilton算子生成C0半群的一个充分条件.把结果应用在一类双曲型混合问题生成的无穷维Hamilton算子上,证明此类算子生成C0半群,并利用Hille2Yosida定理进一步说明了结果的正确性和有效性.另外,还给出了波动方程相应的无穷维Hamilton算子所生成的C0半群的具体表达式.关键词:无穷维Hamilton算子;C0半群;无穷小生成元中图分类号:O17513文献标识码:A文章编号:100024424(2006)0320357208§1引言许多物理、力学中的偏微分方程都可以化为无穷维Hamilton系统123uα=Hu,其中X为Hilbert空间,u是取值于X×X空间的向量值函数,H是无穷维Hamilton算子.无穷维Hamilton系统的正确概念是在1978年左右形成的4.无穷维Hamilton系统研究的是连续统介质,它与稳定问题、动力问题、弹性理论、复合材料力学、断裂问题等有关,国内外许多学者都从不同角度研究过无穷维Hamilton系统,如327等,并得到重要结果,而且至今对它的研究仍然十分活跃.然而,算子半群方法还没有应用在无穷维Hamilton算子上,本文试图把算子半群引入无穷维Hamilton系统中.经过数十年的发展,算子半群已成为解决数学和工程技术问题的一种有力工具.自Stone定理问世以来,算子半群理论迅速发展,内容万般丰富,它已成为泛函分析的重要分支,在应用中显示了其生命力.微分方程(组)的抽象柯西问题的适定性与相应算子能否生成C0半群有密切关系,目前学者们在应用算子半群方法研究方程解的性质和构造方面取得了收稿日期:2004208219基金项目:国家自然科学基金;内蒙古自然科学基金(200508010103);内蒙古大学高层次引进人才科研启动基金高校应用数学学报A辑第21卷第3期358不少成就.无穷维Hamilton算子的发展急需引入这个有力工具,一个关键的问题是哪类无穷维Hamilton算子在什么条件下生成C0半群.无穷维Hamilton系统是一类特殊的偏微分方程组,对它分离变量可以得到无穷维Hamilton算子.通过对无穷维Hamilton算子生成的C0半群的研究可以探讨无穷维Hamilton系统的性质.本文通过研究无穷维Hamilton算子生成C0半群的问题得到了一些结果,在某种程度上解决了如上问题Ζ并用这些结果解决了某些无穷维Hamilton算子是否生成C0半群的问题,同时给出了一些算子半群的具体表达式Ζ§2预备知识本节叙述本文用到的几个定义以及本文使用的符号所表示的意义ΖACBA3定义1设X是Hilbert空间,H:D(H)X×X→X×X,H=,其中A,-B,C均为X上的稠定闭线性算子,A3为A的共轭算子,B,C均为自伴算子,则称H为无穷维Hamilton算子Ζ设X是Banach空间,A:D(A)X→X定义2是线性算子,称集合Θ(A)=Κ∈C:R(ΚI-A)=X,(ΚI-A)-1存在且有界为A的预解集,Θ(A)中的Κ称为A的正则值;称集合Ρ(A)=C\Θ(A)为A集合的谱集Ζ此外,称PΡ(A)=Κ∈C:ΚI-A不是一一的的点谱(即特征值)Ζ本文中I,R,C,Re(a),D(A),R(A)和R(Κ,A)分别表示单位算子、实数域、复数域、复数a的实部、线性算子A的定义域、值域和预解算子(即(ΚI-A)-1)Ζ此外,用?表示空集,F(u(x))表示函数u(x)的Fourier变换Ζ为A§3主要结果及其证明1设X为Hilbert空间,-C为X上的自伴正定线性算子,则其平方根(-C)2亦为X上11C)2的正定性及闭性可知:取Y=D的自伴正定线性算子Ζ由算子(-积,则Y在内(-C)211〈u1,u2〉Y=〈(-C)2u1,(-C)2u2〉,u1,u2∈YXu1v1下构成一个Hilbert空间Ζ在乘积空间Z=Y×X定义如下内积:对于Ξ1=∈Z,u2v2Ξ2=∈Z,有11〈Ξ1,Ξ2〉Z=〈u1,u2〉Y+〈v1,v2〉X=〈(-C)2u1,(-C)2u2〉+〈v1,v2〉X,X阿拉坦仓等:一类无穷维Hamilton算子的半群生成定理359则Z在此内积下成为Hilbert空间Ζ其中〈·,·〉X,〈·,·〉Y,〈·,·〉Z和‖·‖X,‖·‖Y,‖·‖Z分别表示空间X,Y,Z上的内积和范数Ζ在乘积空间X×X的子空间Z=Y×X上,考虑自然定义域为D(H)=(D(C)∩ACIA31∩D(A3))的无穷维Hamilton算子H=D(A))×(D生成C0半群(-C)2-的问题Ζ先给出一个引理:引理1设A是Hilbert空