发展包含的可控性.pdfVIP

第24卷 第4期 黑 龙 江 大 学 自然 科 学 学报 Vo1．24 No．4 2007年 8月 JOURNALOFNATURALSCIENCEOFHEILONGjIANGUNIVERSITY August，2007 发展包含的可控性 于金凤 ， 薛小平 (1．哈尔滨工业大学 数学系，哈尔滨 150001；2．哈尔滨师范大学 数学系，哈尔滨 150080) 摘 要 ：可控性理论是微分包含 的基本 内容之一．利用凝聚映射 的不动点定理给 出了一类发 展包含的可控性的充分条件，处理问题的方法是基于解的积分表示，将所讨论的问题转化为集值积 分算子的不动点问题．在多值函数F(t，)取有界闭凸值，关于时间变量 t可测，关于状态变量 上 半连续时，证明了系统的可控性． 关键词：发展包含 ；Mild解 ；可控性；不动点 中图分类号：O177．3 文献标识码 ：A 文章编号：1001—7011(2007)04—0467—04 1 引言和预备知识 随着集值分析理论和微分包含理论的逐步完善，可控性和优化控制方面的研究开始活跃起来．一方面可 以把控制问题转化为微分包含问题来解决，另一方面可以直接考察就有不确定性的控制系统，即微分包含约 束的控制系统．本文考虑如下不确定控制系统： 『(t)∈A(t)+F(t，(t))+Bu(t) ，，、 IiO)：。 ¨ 这里 T=[0，b](0b∞)，{A(t)} 是一族线性算子，它生成一发展算子：U：A= {(t，5)∈TX ：0≤ 5≤t≤b}一L(x)，X是一可分的Banach空间．F：TXX一2是一集值映射，控制函数 2／(t)∈L(，)这 里 是一个 Banach空间， (，)是平方可积函数类所成的Banach空间，其上范数定义为 II2／II：= ， fJ6II“(￡)IIdt、)÷ ，：— 是一有界线性算子． 、J O ， 本文中，c(，)表示从 到 的连续函数全体组成 的Banach空间，其上范数定义为 lI ll = sup{lI(t)II：￡∈T}．L(，)表示从 到 的Bocher可积函数类所成的Banach空间，其上范数定义为 ，b IIII一：jII(￡)Ildt．尸，(X)表示X中所有非空闭子集的全体，P()表示X中所有非空凸子集的全体， U P()表示 中所有非空有界子集的全体，P ()表示 中所有非空有界闭凸子集的全体． 集值映射G：一2是全连续的且具有非空紧值，则G上半连续的充要条件是G有闭图．若存在 ∈X使 得 ∈Gx，则称 G有不动点．关于集值分析更详细的概念和结论参见文献[1]． 下面给出mild解和可控性的概念． 定义1．1 函数 (·)∈C(T，X)满足对任意 t∈T ，f (t)：U(t，0)(0)+fU(t，5)(．厂+B2／)(5)ds J 0 其中f∈s(．小))：{f∈L’(，)|厂(t)∈F(t，(￡))口．e．t∈T}，(0)：‰，则 (·)称为系统(1)的mild解． 定义1．2 系统(1)称为在 上是可控的是指：对任意的 。，，∈X，存在一个控制2／(·)∈L(，)，使 得 (1)的一个 mild解满足 (0)：‰，(b)： 。． 为了证明主要结果，需要下列假设 ： 收稿 日期：2006一l1—23 基金项 目：黑龙江省教育厅科研资助项 目(1151l136) 作者简介：于金凤 (1971一)，女，讲师，硕士，博士研究生，主要研究方向：泛函分析，E—mail：f