两类时滞系统的范数连续性与小时滞鲁棒稳定性运筹学与控制论专业论文.docxVIP

重庆大学硕士学位论文目录 重庆大学硕士学位论文 目 录 III III 目 录 中文摘要I 英文摘要 II 1 绪 论 1 2 预备知识 3 2.1 引言 3 2.2 算子半群知识 3 非齐次 Cauchy 问题 4 Pritchard-Salamon 系统 4 3 具有时滞的 Pritchard-Salamon 系统的范数连续性 7 3.1 引言 7 3.2 范数连续性 7 4 半线性泛函微分方程的范数连续性及鲁棒稳定性 16 4.1 引言 16 4.2 范数连续性 17 4.3 鲁棒稳定性 19 致 谢 23 参考文献 24 附 录 26 A. 作者在攻读学位期间发表的论文目录 26 B. 作者在攻读学位期间取得的科研成果目录 26 重庆大学硕士学位论文1 重庆大学硕士学位论文 1 绪 论 PAGE PAGE 10 1 绪 论 时滞系统的范数连续性与小时滞鲁棒稳定性问题一直以来是在控制理论方面 引起广大学者关注和研究的热点问题之一.本文所考虑的时滞系统包括两类:一类 是具有时滞的 Pritchard-Salamon 系统,另一类是具有时滞的半线性泛函微分方程系 统.对于具有时滞的 Pritchard-Salamon 系统的表现形式如下; ?x(t) ??Ax(t) ??BFx(t ??r), t ??0 ??x(?) ??f (?),???[?r, 0]. ? (1.1) 其中 ?(S( ), B, ?) 是关于 (W,V) 的 Pritchard-Salamon 系统, F??L(W,V) 是容许输出 算子.它的最大优点是能够处理一些具边界和点控制的系统,例如空间飞行体的边 界控制,即在其边界施加相应的控制使得其振动的能量衰减到 0;大型锅炉的边界控 制,即如何设计在其某部分边界加热或冷却,使得锅炉内部液体的温度在指定的时 间达到理想状态.对于半线性泛函微分方程系统的表现形式如下: ?x(t) ??Ax(t) ??F (t, xt (?)), t ??0 ? ?x(??) ???(??), ?r ??t ??0,?(?) ??Cr . (1.2) 其中 A 是 X 中的 C0 ??半群 (T (t))t?0 的生成, F ?C[R???Cr , X ] 是满足全局 Lipschitz 连 续条件.由于该系统是半线性系统,因此许多控制模型可以抽象为这种形式,例如在 人口模型中,由于发生时滞现象人的死亡和出生不是线性,则该模型都可以抽象为 这种模型.目前,我们见到的扰动大多数都是有界的,对于无界扰动的范数连续性和 小时滞鲁棒稳定性很少见.因此,研究时滞系统的范数连续性与小时滞鲁棒稳定性 问题不仅将有限维转化为无限维,而且将线性转换为非线性,从而更进一步地贴进 生活. 对于半群的范数连续性,许多学者取得了一些有价值的成果.他们的研究工作 首先是在 Hilbert 空间展开,后来逐渐推广到 Banach 空间.例如,P.You [1] 将 Laplace 变 换的复反演公式和改变积分路径相结合成功地证明了在 Hilbert 空间中,半群对于 t ??0 是最终范数连续等价于它生成元的预解式沿虚轴趋近于 0.后来, Mennaoui 和 Engel,Blasco 和 Martinez 对这个定理进行了更为简单、更为直接地证明,参见文献 [2?4] .在过去的二十多年里,学者们在范数连续性方面已经得到很多结果,见文献 [5?8] . 近来,Tamas Matrai 通过构造一个合适的 Banach 空间和半群证明了预解式的范数 趋于 0 不能够刻画半群的范数连续性.这确实是对 Pazy 问题给出了一个否定的答案. 对于扰动半群的范数连续性,学者们也做出了出色的成果.例如,Engel 和 Nagel [9] 指 出若初始半群是最终范数连续和扰动算子是紧算子,则扰动半群保持最终范数连 续.2002 年,许跟起教授 [10] 利用生成元的预解式分解方法得出了若初始半群是最终 范数连续,扰动算子为有界线性算子子空间中的算子,则扰动半群保持最终范数连 续性.2005 年,张连平教授 [11] 利用 Yosida 逼近的性质成功地证明了若初始半群在 Banach 空间最终范数连续,则扰动半群最终范数连续.有没有利用半群的范数连续 性来刻画系统的范数连续性的相关文献呢?目前,已有了这方面的文章.例如,2006 年, 顾晓慧和黄发伦教授 [12] 已提出了 Pritchard-Salamon 系统的无界容许扰动半群在状 态空间 W 和 V 中保持初始半群的范数连续性.然而,他们只考虑了扰动的情况,那么 在既有扰动又有时滞的情况下,Pritchard-Salamon 系统的解半群的范