欠扩散捕食-食饵模型的解析解的正性和有界性的拓展.docxVIP

欠扩散捕食-食饵模型的解析解的正性和有界性的拓展 定理3.1考虑下述分数阶导数的方程 (3.1 ) (3.1 ) X T (0,T] 其中1 2, T是具有利普希茨连续边界的有界域, =(0,1 ),定理2.1对于此方程仍然成立。 证明：事实上，如果f (x, 存在一个点( u (x t) x L) max u(x,t),0 T t) ^0,且u (x, t)的非负最大值不在t上取得，则 T使得 ,u (x t) max u(x,t) o 0,b 0,b 0 构造辅助函数 bx v u e , 一方面，我们知道在( v(x,t) v(x,t) t)处 t u(x,t) t 一 bx C(x,t) e C(x,t)v(x,t) x u(x,t) , C(x,t)u(x,t) x b2 (2~~) x. bs e 0 1 (x s) ds 工 bx b2 x, f(x,t) e(^~^°(x′ 当b取充分小时便可得在(x s)1 ds C(x,t)) t)处 v v t x 另一方面,u(x,t) x Cv 0 (3.2) 1 (2 ) 1 在(x 1 (2 n 1 t)处我们有 2 x u(s,t) 1 . c 2 1ds 0 s (x s) u(x (j 1)h,t) 2u(x jh,t) u(x (j 1),t) 1)h lim [(j 1)h] h 0 h2 h n 1 j 12 j2 2 i 0 2 u(x (j 1)h,t) 2u(x jh,t) u(x (j 1)h,t) 令bj (j 1)2 j2则上式可化为 h n 1 lhm0--~~- bj[u(x (j 1)h,t) 2u(x jh,t) u(x (j 1)h,t)] (3 ) j o h lim [ u(x,t) u(x h,t) b1(u(x,t) 2u(xh,t) u(x 2h,t)) bn(u(h,t) u(0,t))] h 0 (3 ) h 眄。-^~~)[(2bi bo b2)(u(x,t) u(x h,t)) (2b? bi b3)(u(x,t) u(x 2h,t)) (bn bn i)(u(x,t) u(0,t))] 其中 2bj bj i bj i 0, bj bj i 所以上式 lim (bn bn i)(u(x,t) u(0,t)) 0 TOC \o 1-5 \h \z h 0 (3 ) 故 Mx,1) 0。上式中h工。 x n ,2 在(x t)处 ebs(x s)1 ds 0 x x (2 ) 0 所以v(x,t ) t在 所以v(x,t ) t 在(x, t ) v v Cv -0。t 处当足够小时v (x, t) 0. 0在(x，t )处成立 t x 这与(3.2)式矛盾。 备注3.2如果(3.1)式的初始条件为u (x, 0) =0,边界条件为齐次狄利克 雷边界条件或齐次狄利克雷条件，则由定理 3.1,我们可知当f (x, t)或时u (x, t)或，当f (x, t)冷时u (x, t)冷。证明方法和备注2.2一样。 定义2.3的拓展 定义3.3对于下述方程组 u u ? -L f ui,u2 i,x (0,1),t (0,T] t x BuKu 或工)gi(x,t),x ,t (0,T] (3.3) x ui(x,0) i(x),x 假如7和uJ两足 Bu? gi(x,t) 0 B^ gi(x,t),x ,t (0,T] ui(x,0) i(x) 0 ui(x,0) i(x),x 并且fi和f2分别是拟单调递减和拟单调递增的函数 uit劈t ui t 劈t —— 耳(3,血)0 = 一= %(5川2) (3.4)x - t x (3.4) u2 — — u2 y2 f2(ui, u2) 0 = 一= f2(ui,u2) x t x 则U (x, t尸(Ui，U2)和V (x, t) =(Ui ,U2)分别称为原方程组的上下解。 定理3.4的拓展 定理3.4 设fi, f2是混合的拟单调的函数并且满足局部利普希茨连续，即 fi(Ui,U2)fi(Vi,V2) L(ui Vi U2 V2),其中 L 为常数，Ui Vi 0, U2 V2 0 0为一给定常数。如果上下解 U(x, t)和V (x, t)满足V (x, t) l(x, t), 则方程组(3.3)有唯一的解在［V (x, t) U(x, t)］之间 证明：初始迭代条件设为 (3.5)(Ui0,U°) (Ui,U2),(Ui0,U20) (Ui,U2) (3.5) 其中Ui Ui,U2 U2。定义如下迭代公式 k Ui k U2 k Ui k U2 k _ Ui . k . k i 「 / k i k i、 LUi L