Hilbert空间中具有结构阻尼的弹性系统的渐近稳定性

在Hilbert空间中研究了具有结构阻尼的线性弹性系统的渐近稳定性,利用算子半群理论探究了该系统相应的解半群是压缩C_0-半群及指数稳定的C_0-半群的充分条件。建立了该系统的稳定性理论,推广和发展了这方面已有的工作。     

关于Banach空间中的C_0-类等距线性算子半群的特征性质

我们知道,对于Hilbert空间H中的C_0-类等距线性算子半群e~(tA),其中A是半群e~(tA)的无限小生成元,它的特征性质是十分清楚的,有A=iQ,其中Q是H中的最大对称算子([5]);若e~(tA)还是群,则它是酉群,且有著名的Stone定理指出Q是自伴算子([1],[5]).但是对于一般Banach空间中的C_0-类等距线性算子半群e~(tA),至今不知道它的生成算子A是否具有冈Hilbert空间中的情况相类似的性质,作者在研究Banach空间中的线性动力系统的Liapunov稳定性理论时,需要知道这样的性质,因此作者对此     

一类具抽象边界的迁移算子本质谱

为得到迁移算子的本质谱的分布情况,在1L空间研究板几何中具抽象边界条件各向异性、连续能量的迁移方程解的渐近性态.采用算子理论和比较算子等方法,在边界算子是部分光滑和扰动算子是正则的条件下,证明了该迁移算子H A产生0C半群的Dyson-Phillps展开式的第九阶余项9R(t)在1L空间中是弱紧算子,从而得到了该迁移算子生成的半群V(t)和streaming算子H B生成的半群U(t)有相同的本质谱半径.     

紧半群在种群细胞增生方程中的应用

为得到迁移算子AK的谱分布情况,利用线性算子半群理论,讨论了L-R模型中一类具年龄结构的增生扩散型种群细胞方程.对任意的有界边界算子K,证明了迁移算子AK生成C0半群(VK(t))t≥0;采用豫解方法,在边界算子为紧正时,证明了该迁移算子生成的C0半群(VK(t))t≥0是紧的;得到了(K)A由有限个具有限代数重数的离散本征值组成.     

非紧半群情形下时滞发展方程周期问题解的存在性

在Banach空间X中研究半线性时滞发展方程周期问题:u′(t)+Au(t)=f(t,u(t),u_t),t∈R,其中A:D(A)?X→X为闭线性算子,且-A生成X中的C_0-半群T(t)(t≥0),f为连续映射,关于t以ω为周期,u_t定义为u_t(s)=u(t+s),s∈[-r,0].应用Kuratowski非紧性测度理论及相应的不动点定理,获得了非紧半群情形下周期mild解的存在性.最后,给出了例子说明主要结果的应用.     

退化C0半群的扰动

讨论多值线性算子A生成的退化C0半群在线性算子B下的扰动问题，在退化C0半群的生成定理的基础上，本文对于B为单值有界，相对A有界，以及B为多值线性算子的情况分别给出了A在B下的扰动A B生成退化C0半群的条件。     

Banach空间算子方程mild解

在文献[2]中利用A是(C_0)类紧半群Γ(t)的无穷小,讨论了算子万程u=Au十f(t,u),u(i)=u。t∈[t_0,T];的mild解的存在性。本文以半序理论及Bochner m-可积为工具,去掉T(t)的紧算子条件,不仅证明了mild解的存在性,且给出解的迭代方法。文献[1]有关结果只是本文A=0的特例。     

具有有限等待空间的成批服务系统的进一步研究

应用线性算子的C0 - 半群理论研究一类成批排队系统 ,首先用Phillips定理证明对应于此排队模型的主算子生成正压缩C0 - 半群T(t) 然后证明T(t)是局部等距算子 最后证明此排队模型存在具有概率性质的惟一的时间依赖解     

n阶α次积分C半群的逼近

借助算子半群逼近的相关理论及经典算子理论的研究方法,对算子A,An分别次生成的n阶α次积分C半群{T(t)}t≥0和{Tn(t)}t≥0,在一定条件下,当Tn(t)x逼近于T(t)x,则有Rc(λ,An)x逼近于Rc(λ,A)x,反之也成立.从而丰富了n阶α次积分C半群的研究内容.     

关于无界摄动的一个结果

一、主要结果设(V,H,a)是三重结构.a(u,v)是V×V上的半椭圆自共轭连续双线型,即存在λ及δ>0满足a(v,v)+λ||v||_H~2≥δ||v||_v~2,(1)v∈V.按Lax-Milgram定理,存在算子■∈■(V,V′)适合a(u,v)=■u(v),■u,u∈V.记A=■\_(D(A)),D(A)=■~(-1)H.熟知-A是H上的C_0类(算子半群)母元. 分布参数控制理论要求讨论-(?)及-(?)受到某类无界算子摄动后的新算子-■+■是否是V′上的C_0类母元.     

带关闭期的随机N-策略的M/G/1排队模型的适定性

主要研究带关闭期的随机N-策略的M/G/1排队系统.用算子理论把该模型转化成抽象的Cauchy问题,证明对应该模型的主算子生成一个C_0-半群T(t),得到该模型存在非负的唯一解.     

具预警状态的单模块可修复系统的指数稳定性

研究了具有预警状态的单模块可修复系统，将其动态变化过程用一组微分方程描述.通过选取适当的状态空间和系统算子的定义域，将方程化为Banach空间中的抽象柯西问题.利用泛函分析和线性算子半群理论证明了系统具有严格占优的单重的0本征值，说明系统的解满足渐近稳定性，并求出其稳态解.随后通过研究系统主算子的谱分布，证明了系统主算子的本质谱界为负.最后讨论了系统主算子在紧扰动下的本质谱界变化情况，结果表明系统的动态解是指数稳定的.     

一类热弹性系统的变结构控制

考虑一个由偏微分方程及初值与偏值条件所描述的线性热弹性系统. 根据所考虑的热弹性系统, 定义了相应的线性偏微分算子及适当的状态空间. 讨论了变结构控制问题. 利用算子半群方法证明了等效控制原理在热弹性系统中的有效性, 在此基础上讨论了变结构控制系统的渐近稳定性; 设计变结构控制律, 保证了系统在此控制下是指数一致稳定的, 最后给出了使滑动模稳定的控制律.     

非线性Lipschitz算子的f-M谱理论

引入非线性Lipschitz算子的f-M谱概念,建立了相关理论.作为例证,对以下问题作了肯定回答:设A及Ap为文献[1]中所述算子,当Ap满足文献[1]中定理3的条件时,该定理所得C0-Lipschitz半群{T(t)}以A为生成元.     

具有预警功能的可修复人机储备系统解的存在唯一性

研究了具有预警功能的人机储备可修复系统.运用泛函分析的方法及C0半群理论,证明了其非负弱解的存在、唯一性,并证明了0是主算子的本征值.为进一步研究此系统解的渐近稳定性、主算子的谱性质等一系列问题提供了理论基础.     

具有有限等待空间的成批服务系统的进一步研究

应用线性算子的C0-半群理论研究一类成批排除系统,首先用Phillips定量证明对应于此排队模型的主算子生成正压缩C0－半群T（t),然后证明T（t)是局部等距算子,最后证明此排队模型存在具有概率性质的惟一的时间依赖解。     

两不同故障状态可修复系统的稳定性分析

用算子半群理论讨论两不同故障状态可修复系统的稳定性问题. 通过将模型方程转化为抽象Cauchy问题, 分析系统算子的谱点分布情况, 从而证明系统算子的谱点均位于复平面的左半平面, 且虚轴上除0点外无谱点, 并进一步给出系统解的渐近稳定性. 最后从特征向量的角度分析系统的稳态指标.     

广义算子半群渐近行为及其强弱稳定性

首先给出了由Banach空间有界线性算子引导的广义算子半群的定义及其性质;其次研究广义算子半群的渐近表达式;最后研究了广义算子半群的强弱稳定性,给出了广义算子半群强弱稳定性等价的条件。     

关于解析C-半群的扰动

当C具有非稠值域时,在解析半群与C半群的扰动理论基础上,利用可闭化算子的概念及性质研究了解析C-半群的扰动问题.并在不同条件下证明解析C半群的Phillips扰动理论仍成立,从而得到其新的扰动定理.解析C-半群的扰动定理通常情况下要求线性算子A为解析C-半群的无穷小生成元,B为闭线性算子,那么A+BC是解析C-半群的无...     

C-半群和李雅普诺夫方程

考虑线性控制系统x’(f)=Ax(f) Bu(t)(t>0),x(0)=x0,这里A是Hilbert空间X中指数稳定的C-半群T(t)的无穷小生成元,B是Hilbert空间Y到X的有界算子,且A的豫解集非空,R(C)在X中稠密时,获得了延拓控制映射LB是李雅普诺夫方程的唯一的自伴解.