双连续C半群的Cesaro遍历定理-论文.pdf

《双连续C半群的Cesaro遍历定理-论文.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、2014年4月湖南师范大学自然科学学报Vol_37No．2第37卷第2期JournalofNaturalScienceofHunanNormalUniversityApr．，2014双连续C半群的Ces~tro遍历定理仓定帮la，陈藏岫，宋晓秋(1．华北科技学院a．基础部，b．教务处，中国北京101601；2．中国矿业大学理学院，中国徐州221008)摘要结合双连续C半群的概念，给出了双连续C半群Cesaro遍历的定义及性质，借助于双连续C半群的生成元及正则集，得到了在拓扑f收敛意义下的双连续C半Cesih'o遍历的若干结果．关键词双连续C半群；Ces~xo遍历；生成元中图分类号0

2、177．2文献标识码A文章编号1000—2537(2014)02-0067-05CesOroErgodicTheoremsforBi-continuousC-semigroupsCANGDing．bang。，CHENCang’，SONGXiao—qiu(1a．DepartmentofBasicCurriculums，lb．DepartmentofAcademicAfairs，NorthChinaInstituteofScienceandTechnology，Beijing101601，China；2．CollegeofScience，ChinaUniversityofMininga

3、ndTechnology，Xuzhou221008，China)AbstractThemainpropertiesofbi—continuousC—semigroupsareintroduced．TheconvergenceoftheCes~tromeansofbi—continuousC·semigroupsisstudied．Moreprecisely，bymeansofthegeneratorandresolventofbi—con-tinuousC—semigroups．someresultsonther-convergenceoftheCesOa'omeansofbi—c

4、ontinuousC—semigroupswithrespecttothetopologyrareVen．Keywordsbi—continuousCsemigroups；Cesttroergodicity；generator抽象空间的算子微分方程是现代数学的一个重要研究领域，主要是利用泛函分析的理论方法来研究抽象微分方程．自1952年Hille正式引入抽象Cauchy问题后，学者们对抽象空间微分方程进行了系统的研究，算子半群理论正是伴随着解决微分方程的过程而产生的，二者有着密切的关系．一些重大的实际问题，如人口，生态等宏观问题；中子迁移，化学反应等微观问题，利用算子半群选取适当的

5、空间都可以转换为相应的抽象Cauchy问题．可见算子半群理论的研究有着很重要的实际价值．强连续半群一直是近年来算子理论研究的重点，经典的C。半群理论、c半群理论、积分半群理论等理论相对较成熟，在偏微分方程的领域有着很好的应用价值．近年来对有界连续或一致连续函数空间上半群的研究引起了人们对空间上非强连续半群的研究．Kuhnemund在文献[1]中指出在实际问题中许多情况下对应的半群不是强连续的，存在Banach空间上的一些特殊的非强连续半群，并通过对这些半群的具体研究Kuhnemund在Banach空间上附加一个比范数拓扑粗的局部拓扑，使得半群在局部拓扑下强连续，从而提出了双连续半群

6、的概念．文献[1]还指出序列完备的局部凸空间上的等度连续半群满足的条件比双连续半群强，且等度连续实际应用不是很广，许多情况所对应的空间是Banach空间，可以赋予一个比范数拓扑粗的局部拓扑，从而说明双连续半群理论有非常好的应用价值．算子半群的遍历性是半群研究的一个重点内容，文献[5～13]分别研究了几类算子半群的遍历性．本文研究了双连续c半群的Cesi~ro遍历定理，给出了在拓扑收敛意义下的双连续c半群Cesttro遍历收稿日期：2012．12-03基金项目：国家自然科学基金资助项目(10671205)；中央高校基本科研基金资助项目(3142012022，3142013039)通讯

7、作者。E．mail：cdb@ncist．edu．cn湖南师范大学自然科学学报第37卷的若干结果．1定义与引理假设是Banach空间，是它的共轭空间，是上的一个局部凸拓扑，并且具有以下性质：(1)空间(，)是在『l·ll_有界集上序列完备，即每个ll·lf．有界的柯西列在(，．r)中收敛；(2)拓扑比Il·Il拓扑粗且是Hausdorff拓扑；(3)(，lJ·l1)中的范数可以由空间(，)定义，即对每个∈X有l=sup{(，)lE(，)，I1l1(，)，≤1}．记={∈