关于Banach空间中微分方程解的整体存在唯一性.pdfVIP

微分方程理论和应用 229 关于Banach空间中微分方程解的 整体存在唯一性， 张寄洲 (湖北大学数学系 武汉4撇) 鲁晓成 (湖北教育学院数学系武汉430060) 摘要本文利用比较方法和船m山e函数研究Banach空间中菌数序列与其极限函数作为右 端所构成的微分方程解的整体存在性阻及具有不连续右端函数的微分方程解的整体存在唯～ 性，得出了相当普遍的一般性判断准则。· 关键词Banaeh空间KAInke函数整俸解右行最大解 1．预备知识 考虑如下Cauchy问题 ；=f(1，x)，x(t。)=x。 (1) ‰ 下面我们给出一些定义，对已知的引理将略去。 解是右边或左边整体存在的：‘ 定义2设方程(1)的右端函数f(t，x)在区域G上有定义，且满足如下条件： (1)对固定的x，关于t是可测的； (2)对固定的t，关于x是连续的； (3)对任意有界的闭子域D≤G，存在非负的L一可积函数m(t)，使得 lI f(t，x)lf≤m(t)，(t，x)∈D 件： (I)z(￡)在，上绝对连续； (2)当t∈，时，(￡，m(￡))∈G； (3)z(￡)=f(￡，z(t))对几乎所有的t∈，成立； 则我们就简称x(t)为方程(1)的c一解。 2．主要结果 230 关于Banach空间中微分方程解的整体存在唯一性 局部解； (b)liIIl‘(t，g)=以￡：Ⅳ)，聪(f，z)∈R+×E．一致成立； (c)s(L(￡，z))≤g(￡，s(x))、，V(￡，x)∈R+×E； c(R+×R；，1 其中s(≈)是kamke一致连续偶函数，96 减的。 (d)纯量微分方程 n=g(‘，u)， “(fo)=Mo (2) 的右行最大解在[t。，m)上存在。 则方程(1)的任一解在[t。，m)上右边整体存在。 据kanlke函数的性质得(见文川) 一s(r—z)≤s(x)一s(y)≤s(x—Y) 又因为s(z)为kanlke偶函数，所以有 一s(L(t，x)一f(t，x))≤s(‘(t，x))一S(f(t，x)) -s(g(t，x)一f(t，x)) r‘、 即 jS(g(t，x))一S(f(t，x))l≤s(‘(t，x)一f(t，x))(3) 由已知条件(2)知，V￡0，jN(￡)0，当nN(￡)时，有fi 一致连续偶函数，故由文‘1 (e7)时，有 s(^(￡，*)一f(t，x))lE7 E上一致成立，于是由(3)工，我们得到 故lira=S(Z(t，x)一，(￡，z))=0，在R+X ．】v时，有