广义C0半群的性质与生成定理

引进广义C0半群及其C生成元的概念,得到广义C0半群的一些性质和生成定理.推广C0半群的结论,为直接用于讨论初值问题(d)/(dt)(Cx(t))=Ax(t)Cx(0)=Cy奠定了基础.     

广义Co半群的性质与生成定理

引进广义Co半群及其C生成元的概念，得到广义Co半群的一些性质和生成定理，推广Co半群的结论，为直接用于讨论初值问题{d/dt(Cx(t))=Ax(t)Cx(o)=Cy奠定了基础。     

广义C_0半群的性质与生成定理

引进广义C0 半群及其C生成元的概念 ,得到广义C0 半群的一些性质和生成定理 .推广C0 半群的结论 ,为直接用于讨论初值问题ddt(Cx(t) ) =Ax(t)Cx(0 ) =Cy奠定了基础 .     

一类广义抽象柯西问题的适定性

为研究广义抽象柯西问题ddtCx(t) =Ax(t)Cx(0 ) =Cy,引进广义C0 半群及其C生成元概念。利用广义C0 半群的一些性质证明了广义抽象柯西问题的适定性的充要条件     

可微C0-半群的谱

利用可微C0-半群的若干性质给出了可微C0-半群{T(t):t≥0}的生成元A的谱与AT(t)的谱之间的关系.     

最终范数连续半群的一些性质

主要讨论了Banach空间中当t＞t0（t0≥0）时，最终范数连续半群{T（t）│t≥0}的性质，给出了最终范数连续半群无穷小生成元的一个谱分布性质．主要定理如下：设{T（t）lt≥0}是Banach空间X上的C0半群，A是其无穷小生成元，ω0=inft＞0（1/t1n‖T（t）‖）．若T（t）关于t＞α≥0是最终范数连续的，则存在一个减函数φ：（0，∞）→R，满足φ（M）→-∞（M→∞）且S={λ∈C│Reλ≥φ（│Imλ│） }lReA≥P（1ImAl）}包括于ρ（A），其中ρ（A）为A的预解集．     

最终范数连续半群的扰动

主要给出了一个在Hilbert空间中最终范数连续半群的扰动定理.设T(t)为Hilbert空间H上的C0半群,当t>t0≥0时按范数连续,A为其无穷小生成元.又设B是A相对有界的,D(A)D(B),T(t)B BT(t),且存在δ>0使得K0< ∞.这里Kλ=sup∫0δe-λt‖BT(t)x‖dt x∈D(A),‖x‖≤1,(λ≥0).则当2ε<1/limKλ时,A εB生成半群TB(t)且TB(t)当t>2t0时按范数连续.     

广义线性系统的极点配置

主要研究了广义线性系统-Ex(t)=Ax(t) Bu(t)，x(t0)=x0，t≥t0，y(t)=Cx(t) Du(t)的极点配置问题，利用矩阵的奇异值分解和矩阵的广义逆，得到了广义线性系统的奇异值标准形，使得广义线性系统的极点配置问题转变为正常系统的极点配置问题，从而给出广义线性系统极点配置的一种新方法。     

K—正则预解算子族的谱映象定理

设k∈C（R^＋），A是Banach空间X中的闭稠定线性算子，且A生成一个指数有界的k-正则预解算子族R（t）。证明了A谱和R(t）谱之间的一些关系，并由此获得预解算子族，积分半群，积分余弦函数C0-半群，强连续余弦函数的相应结果。     

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是李雅普诺夫方程的唯一的自伴解.     

关于广义控制系统的C——可控性

考虑时不变正则广义线性控制系统Ex(t)=Ax(t)+Bu(t),(t≥0)(1)的C—可控性,建立一个与系统(1)C—能控性等价的降阶正常能控性系统,改进了文献[1]关于系统(1)C—能控性的一个代数判据。     

一类非线性泛函微分方程解的有界性

本文讨论连续函数空间 C 上的非线性泛函微分方程{d/(dt) X(t)=F(X_t)t≥0 X_0=φ∈C}的解的有界性。证明了当 F(φ)=-φ(0)G(φ),这里 G(φ)≠0对φ≠0,φ∈C 时,解 x(t,φ)具有性质:X(t,φ)≤φ(O)。     

广义C0-半群拓扑

利用广义C0-半群的概念,引入一新的局部凸向量拓扑,并对其基本性质以及在新的局部凸线性拓扑意义下广义C0-半群的性质进行初步研究.     

(C0)类等度连续半群的无穷小生成元的特征

主要讨论在局部凸线性拓扑空间上的(C0)类等度连续半群{T(t):t≥0}诱导的C0-半群拓扑意义下,{T(t):t≥0}的一些基本性质,以及(C0)类等度连续半群{T(t):t≥0}在C0-半群拓扑意义下以及原拓扑意义下的无穷小生成元之间的关系.     

自反Banach空间上C0半群的一些结果

设T（t）是自反Banach空间X上满足两个条件的一类C0半群。本文证明如果T（t）是弱L^p稳定的，则其生成元的谱界是负的。再由文献[1]得到的关于这一类C0半群在任何Banach空间上其增长界都与生成元谱界相等的结果得出，自反Banach空间上此类半群弱L^p稳定与指数稳定等价。     

板模型中一类带广义边界条件具各向异性迁移算子A的谱

研究在板模型中一类带广义边界条件具各向异性、单能、均匀介质迁移算子A的谱，证明了其生成的C0半群为不可约半群及迁移算子A的一些谱性质。     

时滞系统与Pritchard-Salamon系统

首先构造了Hilhert空间V，在V上定义了线性算子A^V及V上的算子族S(t)，证明了S(t)是V上的C0-半群，A^V是S(t)在V上的生成，又构造了Hilbert空间w，使V上的C0半群限制在形上仍是C0-半群，最后构造了算子B和C，并证明了B和C是容许输入算子和容许输出算子。从而将Hilbert空间中的时滞系统转化为了一个Pritchard-Salamon系统(简称PS系统)。     

C半群的一些性质

引入C半群新的条件:(A1)存在θ∈(π/2,π]使得,(1)对每一个t∈[0,T],ρ(A(t))(>){λ:∣argλ∣<θ} U {0}l,(2)存在常数M使得∣∣ R(λ,A(t))c ∣∣≤MI/∣λ∣,λ∈∑,t∈[0,T].(A2)对于任意λ∈∑,t的算子值函数R(λ,A(t))C,t∈[0,T]依算子拓...     

带分布型时滞的分数阶控制系统能观性的条件

通过Mittag-Leffler矩阵函数构造的能观性Gram矩阵和Cayley-Hamilton定理获得了一类带Caputo导数、具有分布型时滞的分数阶控制系统cDαx(t)=Ax(t)+integral from n=-h to 0(dxB(t,x)u(t+x)),t∈J:=J/{t1,t2,…tk},J:=[0,T],y(t)=Cx(t)+Du(t),x(0)=x0, 具有能观性的2个充要条件:1)系统在[0,t f]上,存在时刻tf>0,使Gram矩阵W0[0,tf]=integral from n=0 to tf(Eα(AT tα)CTCEα(A tα)dt)非奇异;2)若系统的能观性判别矩阵为Q0{C CA … CA(n-1)},则rankQ0=rank{C CA … CA(n-1)}=n时,系统是能观的.     

可微C-半群的谱

利用可微C-半群的若干性质,给出了有关可微C-半群{S（t）：t≥0}的生成元A的谱与AS（t）的谱之间的关系。