Banach空间中非线性微分方程的迭代解.doc

Banach 空间中非线性微分方程的迭代解 张金清 杨志林 ( 山东大学 数学院 ,山东 济南 250100) 摘要 :在更广泛的条件下得到了 Ba nac h 空间上一阶非线性微分方程初值问题 和周期边值问题的最大解和最小解的存在性及其迭代求法 ,并推广了许多已知 结果. 关键词 :Ba nac h 空间 ;非线性微分方程 ;迭代解 中图分类号 :O 175 . 6 文献标识码 :A 设 E 是 Ba nac h 空间 , I = 0 , a ] ( a 0) , x 0 ∈ E , f : I ×E → E . 考察 E 中的非线 性微分方程初值问题 ( 记为 IV P) : u′= f ( t , u ) , u ( 0) = x 0 . ( 1) 为得到 IV P ( 1) 的迭代解 , 对 f ( t , u ) 施加一定的连续性条件是必要的 , 但文[ 1 ] 和 [ 2 ] 都使用了 f ∈ C [ I ×E , E ] 这样的连续性条件. 本文用一种很弱的连续性 ( 见假设 ( H1) ) 代替人们广泛使用的连续性条件 , 从而大大削弱了对 f 所施加的限制 , 并得到了 IV P ( 1) 的最大解和最小解的存在性及其迭代求法. 同时 , 本文还对 Ba nac h 空间一阶非线 性微分方程周期边值问题得到了类似的结果 1 本文结果是对文[ 1 ] 、[ 2 ] 中主要结果的改 进和推广. 在本文中 , 总假定 ( E , ‖. ‖) 是Ba nac h 空间 1 对 p ≥1 , 令 L p [ I , E ] = { u ( t ) : I → p E | u 强可测且∫I ‖u ( t ) ‖ d t + ∞} ( 关于强可测函数的讨论见[ 3 , 4 ]) , 则 L p [ I , E ] ∫ 1 在范数 ‖u ( t ) ‖p = ( ‖u ( t ) ‖p d t ) p I 下为一Ba nac h 空间. 令 C [ I , E ] = { u ( t ) : I → E | u ( t ) 在 I 上连续} , C1 [ I , E ] = { u ( t ) : I → E | u ( t ) 在 I 上连续可微} . 对 u ( t ) ∈ C [ I , E , 易知 C [ I , E ] 在范数 ‖u ( t ) ‖C = ma x t ∈I ‖u ( t ) ‖下也是 Ba nac h 空间 1 设 P 是 E 中的锥 , 则 P 在 E 中导出一个半序 ≤. 由 E 中半序导出 C [ I , E ] 中半序如下 : u ≤ v , 若 u ( t ) ≤ v ( t ) ( Π t ∈ I ) ; 导出 L p [ I , E ] 中半序如下 : u ≤ v , 若对几乎一切 t ∈ I , 收稿日期 :1998 209 202 基金项目 :国家教委博士点基金资助项目  有 u ( t ) ≤ v ( t ) . 关于锥理论的详细讨论可参见文[ 5 ] 和[ 6 . 1 非线性微分方程初值问题 首先列出本节将要使用到的假设 : ( H1) 设 f ( t , u ) : I ×E → E 满足 : ( ⅰ) 对每个 u ∈ E , f ( t , u ) 关于 t 是强可测函  数; ( ⅱ) 对几乎一切 t ∈I , 当 u n → u 时 , 有 f ( t , u n ) 于;  w w f ( t , u ) , 其中  表示弱收敛 ( H2) 存在 u 0 , v 0 ∈ C1 [ I , E , u 0 ( t ) ≤ v 0 ( t ) ( Π t ∈ I ) , 并且存在 p ≥1 ( 设 p - 1 + q - 1 = 1) , 使 f ( t , u 0 ( t ) ) , f ( t , v 0 ( t ) ) ∈L p [ I , E , ( 2) u′0 ≤ f ( t , u 0) , u 0 ( 0) ≤ x 0 , v′0 ≥ f ( t , v 0) , v 0 ( 0) ≥ x 0 ; ( 3) ( H3) 存在常数 M 0 , 使对任给 u 1 , u 2 ∈[ u 0 , v 0 ] = { u ∈ C [ I , E ] | u 0 ≤ u ≤ v 0} , u 1 ≤ u 2 , 都有 f ( t , u 2) - f ( t , u 1) ≥- M ( u 2 - u 1