《几类空间异质反应扩散模型研究》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
单位代码-10635012013314000154I!学号博士学位论文几类空间异质反应扩散模型研究论文作者:任新志指导教师:刘贤宁教授学科专业:应用数学研究方向:动力系统及应用提交论文日期:2018年3月20日论文答辩日期18年5月29日:20学位授予单位:西南大学中国?重庆2018年5月 独创性声明间异质反应扩散模型研究学位论文题目:几类空本人提交的学位论文是在导师指导下进行的研究工作及取得的,文中己加研宄成果。论文中引用他人己经发表或出版过的研宄成果、了特别标注。对本研究及学位论文撰写曾做出贡献的老师朋友、同仁在文中作了明确说明并表示衷心感谢。日期Z0:7^年3月日学位论文作者:签字学位论文版权使用授权书本学位论文作者完全了解西南大学有关保留、使用学位论文的规,允定,有权保留并向国家有关部门或机构送交论文的复印件和磁盘许论文被查阅和借阅。本人授权西南大学研究生院(筹)可以将学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。(:□不,保密的学位论文在解密后适用本授权书,本论文保密□保密期限至年月止)。学位论文作者签名:如导师签名:日签字日期:月>〇日签字日期:年j月 目录目录摘要IAbstractIII第1章绪论11.1研究背景及意义............................11.1.1固定区域模型的研究背景及意义...............11.1.2自由边界模型的研究背景及意义...............41.2本文的主要工作及创新点......................7第2章一个体内具有细胞-细胞传播的HIV反应扩散模型112.1模型的建立..............................112.2有界域的动力学性态.........................152.2.1一般系统的分析........................162.2.2同质空间和异质扩散能力...................232.3行波解.................................242.4数值模拟................................462.5结论和讨论..............................51第3章一个水生系统中具有病毒的竞争非搅拌恒化器模型533.1模型的建立..............................533.2初始结果................................563.2.1适定性............................573.2.2非负稳态............................613.3病毒存在的单物种系统........................653.3.1子系统的动力学性态.....................653.3.2子系统的正稳态........................723.4全系统的动力学性态.........................813.5结论和讨论..............................88I 西南大学博士学位论文第4章一个具有四个自由边界和对流的弱竞争系统904.1模型的建立..............................904.2初始结果................................944.3小的对流速度对竞争收益的影响...................1034.3.1传播-消失四分法.......................1034.3.2解的长时间行为........................1044.3.3最小栖息地大小........................1134.4大的对流速度对竞争收益的影响...................1164.5中等大小对流速度对竞争收益的影响................1184.5.1c21≤β0,因此对所有的ξ∈R都有Y(ξ)
1,RB>1.证明如果(3.8)有一个正解,由特征值的比较原理易得λS>0和λB>0,这暗含了RS>1和RB>1.我们现在证明关于(N4,S4,I4,B4)的结论成立,关于(N2,S2,I2,0)的结论也可类似地得到.显然,∫1∫1′′−d0N4xx+((S4+µI4)f1(τN4)dτ+B4f2(τN4)dτ)N4=0,x∈Ω.00从而由极大值原理可得在Ω上N,S,I,B>0.令P=N∗−(N+S+I+B),444414444则P1满足−d0P1xx=γI4>0,x∈Ω;P1x(0)=P1x(1)+αP1(1)=0.所以由极大值原理可得P≥0,这就意味着N≤N∗,0t1.所以,通过类似于定理3.3.2中的讨论可得当t→+∞时r(t,x)→S1.因此存在t2>t1使得对所有t>t2有S1−ϵ0为特征值问题(3.15)在β=β∗时对应于特征值λ的特征函数,1IS−1∗∗ξ1=η1+γK(η1)−ϕ1=L1(−(1−µ)f1(N−S1)η1−f1(N−S1)γK(η1)),−1∗′∗ϕ1=L1(βS1η1−dη1+f1(N−S1)S1(η1+γK(η1))).在这里,L=−d∆−f(N∗−S)+f′(N∗−S)S,L−1为L在边界条件101111111ψx(0)=ψx(1)+αψ(1)=0下的逆算子.此外,∗∗Gβ(ξ,ϕ,η)(β,0,0,0)(ξ1,ϕ1,η1)=(0,−K(S1η1),−K(S1η1))̸∈R(G(ξ,ϕ,η)(β,0,0,0)).所以(β∗,0,0,0)是G(β,ξ,ϕ,η)的一个分支点且下面的结论成立.引理3.3.1.假设RS>1.则(3.13)的正稳态从{(β,S1,S1,0):β>0}分支出来当且仅当β=β∗,并且对一些δ>0,(3.13)在(β∗,S,S,0)附近的正011稳态集在下面的光滑曲线上:Γ1={(β(ϵ),S1+ϵ(ξ1+ξb(ϵ)),S1−ϵ(ϕ1+ϕb(ϵ)),ϵ(η1+ηb(ϵ))):ϵ∈(0,δ0)},其中β(0)=β∗,ξb(0)=ϕb(0)=ηb(0)=0,(ξb(ϵ),ϕb(ϵ),ηb(ϵ))∈Z且E∗=⊕span{(ξ1,ϕ1,η1)}Z.∫1定理3.3.5.假设R>1.如果µ满足η2(µf′(N∗−S)ξ+β∗ϕ)dx>0S01111∫1或µf′(N∗−S)≤β∗,则正稳态分支Γ是向右且稳定的.如果1η2(µf′(N∗−111011S)ξ+β∗ϕ)dx<0,则正稳态分支Γ是向左且不稳定的,这暗含了正稳态的行1111为像后向分支.证明将正稳态(β(ϵ),r(ϵ),S(ϵ),I(ϵ))代入(3.13)的稳态方程组并将第三个稳态方程关于ϵ在ϵ=0处微分两次,从而可得∗∗′∗∗d0Iϵϵxx+(µf1(N−S1)+βS1−(d+γ))Iϵϵ−2µf1(N−S1)Iϵrϵ+2βϵS1Iϵ+2βSϵIϵ=0.将上面的方程左右两边同乘以η1并在Ω上积分可得∫1′∗∗(µf1(N−S1)Iϵrϵ−βϵS1Iϵ−βSϵIϵ)η1dx=0.074 第3章一个水生系统中具有病毒的竞争非搅拌恒化器模型∫∫1(µf′(N∗−S∗1′∗∗21)Iϵ(0)rϵ(0)−βSϵ(0)Iϵ(0))η1dx(µf(N−S1)ξ1+βϕ1)ηdx所以β(0)=01∫=01∫1.ϵ1S121Iϵ(0)η1dxS1ηdx001显然,ξ<0,ξ+ϕ>0,所以当µf′(N∗−S)≤β∗时β(0)>0.11111ϵ现在,我们讨论Γ1上的正稳态的稳定性.令L(β(ϵ),r(ϵ),S(ϵ),I(ϵ))为(3.13)的稳态方程组在(β(ϵ),r(ϵ),S(ϵ),I(ϵ))处的线性算子.由[25,推论1.13]可知存在分别定义在β∗和0的邻域并映射到R×E∗的连续可微函数β→(ω(β),Λ(β))11和ϵ→(ω(ϵ),Λ(ϵ)),使得(ω(β∗),Λ(β∗))=(ω(0),Λ(0))=(0,ξ,ϕ,η)和221122111∗L(β,S1,S1,0)Λ1(β)=ω1(β)Λ1(β),|β−β|≪1,L(β(ϵ),r(ϵ),S(ϵ),I(ϵ))Λ2(ϵ)=ω2(ϵ)Λ2(ϵ),|ϵ|≪1,所以由[25,定理1.16]可得当0<ϵ<δ时ω(ϵ)∼−ϵβ(ϵ)ω(β∗).由于02ϵ1β|β−β∗|≪1,易得ω(β)是下面问题的简单特征值1∗d0φxx+(µf1(N−S1)+βS1−(d+γ))φ=ω1(β)φ,x∈Ω;φx(0)=φx(1)+αφ(1)=0,这暗示了ω(β∗)>0.因为对0<ϵ<δ有sgn(ω(ϵ))=−sgn(β),所以结论1β02ϵ显然成立.我们现在研究局部分支Γ的全局结构.记π∗<0为下面特征值问题的本1原特征值:∗∗d0ψxx+(µf1(N−S1)−(d+γ))ψ=πψ,x∈Ω;ψx(0)=ψx(1)+αψ(1)=0.则{∫∫}11∗22∗∗2π=max−d0αψ(1)−d0ψxdx+(µf1(N−S)−(d+γ))ψdx.ψ∈H1(Ω),00ψ̸=0,∫1ψ2dx=10考虑特征值问题λdψ+(µf(N∗−S)+β(λ)S−(d+γ))ψ=0,x∈Ω,0xx11i1ψx(0)=ψx(1)+αψ(1)=0,其中λ≥1.显然,β(λ)在(1,+∞)上关于λ严格递增且β(1)=β∗.由π∗的i1表示易得0<β1(λ)<β2(λ)≤β3(λ)≤···→+∞.令L(β)=T(ξ,ϕ,η)(β,0,0,0)−f′(N∗−S)S−f(N∗−S)µf(N∗−S)1111111=Kf′(N∗−S1)S1f1(N∗−S1)βS1−d.100µf(N∗−S)+βS−(d+γ)11175 西南大学博士学位论文假设λ为算子L(β)的一个对应的特征函数为(ξ,ϕ,η)的特征值,则′∗∗∗λd0ξxx−f1(N−S1)S1ξ−f1(N−S1)ϕ+µf1(N−S1)η=0,x∈Ω,′∗∗λd0ϕxx+f1(N−S1)S1ξ+f1(N−S1)ϕ+(βS1−d)η=0,x∈Ω,∗λd0ηxx+(µf1(N−S1)+βS1−(d+γ))η=0,x∈Ω,(3.20)其中边界条件与(3.9)中的相同.假设λ≥1,η=0,则(3.20)变为λdξ−f′(N∗−S)Sξ−f(N∗−S)ϕ=0,x∈Ω,0xx11111λdϕ+f′(N∗−S)Sξ+f(N∗−S)ϕ=0,x∈Ω.0xx11111所以对x∈Ω有λd0(ξ+ϕ)xx=0,因而ξ+ϕ=0.因此ϕ满足∗′∗λd0ϕxx+f1(N−S1)ϕ−f1(N−S1)S1ϕ=0,x∈Ω;ϕx(0)=ϕx(1)+αϕ(1)=0.由于λd∆+f(N∗−S)−f′(N∗−S)S在上面的边界条件下可逆,所以ϕ=0.011111因此λ≥1是(3.20)的特征值当且仅当对一些i=1,2···有β=βi(λ).如果β<β∗,则对所有的λ≥1和i≥1有β<β(1)≤β(λ).所以L(β)1i没有大于或等于1的特征值,这暗示了index(T(β,·),(0,0,0))=1.如果β∗<β<β(1),则对所有λ≥1和i≥2有β<β(λ).因为2iβ(1)=β∗,limβ(λ)=+∞,且β(λ)关于λ单调递增,所以存在唯一的1λ→+∞11λ∗>1使得β=β(λ∗).易得N(λ∗I−L(β))=span{(ξ,ϕ,η)T},其中η>012222为下面特征值问题的本原特征函数∗∗λd0ηxx+(µf1(N−S1)+βS1−d−γ)η=0,x∈Ω;ηx(0)=ηx(1)+αη(1)=0,并且(ξ,ϕ)为(3.20)在λ=λ∗和η=η时的唯一解.222现在,我们证明N(λ∗I−L(β))∩R(λ∗I−L(β))={(0,0,0)T}.反证法,假设存在(ξ,ϕ,η)∈E∗使得(λ∗I−L(β))(ξ,ϕ,η)T=(ξ,ϕ,η)T.则η满足222∗∗λd0ηxx+(µf1(N−S1)+βS1−d−γ)η=d0η2xx,x∈Ω;ηx(0)=ηx(1)+αη(1)=0.∫1将上面方程的两边同乘以η2并在Ω上积分可得0η2η2xxdx=0,这暗示了特征值问题d0ηxx=σ∗η,x∈Ω;ηx(0)=ηx(1)+αη(1)=0,的本原特征值大于或等于0,矛盾.所以,λ∗是L(β)的重数为1的特征值,因而index(T(β,·),(0,0,0))=−1.76 第3章一个水生系统中具有病毒的竞争非搅拌恒化器模型通过利用全局分支定理[129][170],我们得到存在一个在R×E∗内从(β∗,S,S,0)+11分支出的系统(3.13)的稳态的连续统Γ,且其满足下面的三者之一:(i)Γ连接(β,S,S,0),其中β̸=β∗.1111(ii)Γ在R×E∗内连接到∞.+(iii)Γ包含一对(β,S1−r,S1−S,I)和(β,S1+r,S1+S,−I)形式的点,其中(r,S,I)̸≡(0,0,0).此外,Γ在(β∗,S,S,0)附近由正稳态分支Γ构成.111定理3.3.6.假设RS>1.则连续统Γ在β方向延拓到正无穷,并且Γ−{(β∗,S,S,0)}由系统(3.13)在R×E∗内的正稳态组成.11+证明令C=Γ−{(β∗,S,S,0)},P={(β,r,S,I)∈R×E∗:在Ω上r>111+0,S>0,I>0},则在(β∗,S,S,0)的小邻域内C⊆P.现在,我们证明C⊆P.1111反证法.假设存在(β,r,S,I)∈C1∩∂P,且其是序列{(βi,ri,Si,Ii)}⊂Γ∩P,i=1,2····的极限.由于(β,r,S,I)∈C1∩∂P,所以存在x0∈Ω使得下面之一成立:(1)r≥0,r(x0)=0;(2)S≥0,S(x0)=0;(3)I≥0,I(x0)=0.通过对系统(3.13)的稳态方程组利用极大值原理可得当(1)或(2)成立时r≡S≡I≡0,当(3)成立时(r,S,I)=(S1,S1,0)或(0,0,0).记σ∗(ϵ)为下面特征值问题的本原特征值:∗∗d0ϕxx+f1(N−ϵ)ϕ=σ(ϵ)ϕ,x∈Ω;ϕx(0)=ϕx(1)+αϕ(1)=0.因为λ>0,易得对充分小的ϵ>0有σ∗(ϵ)>0.从而下面的问题S∗d0uxx+f1(N−ϵ−u)u=0,x∈Ω;ux(0)=ux(1)+αu(1)=0.有唯一正解u(ϵ).首先,我们考虑情况:r≡S≡I≡0.显然当i→+∞时(βi,ri,Si,Ii)→(β,0,0,0).所以存在M0>0使得对任意i>M0和x∈Ω有d−βiSi>0,ri<ϵ.因此,对所有i>M0,我们有∗∗0=d0Sixx+f1(N−ri)Si−βiSiIi+dIi≥d0Sixx+f1(N−ϵ−Si)Si,从而由比较原理可得对所有i>M0有Si≥u(ϵ)>0,矛盾.77 西南大学博士学位论文其次,考虑(r,S,I)=(S1,S1,0)的情况.显然当i→+∞时(βi,ri,Si,Ii)→(β,S1,S1,0).令ωi=Ii/∥Ii∥∞,则ωi满足∗d0ωixx+(µf1(N−ri)+βiSi−(d+γ))ωi=0,x∈Ω;ωix(0)=ωix(1)+αωi(1)=0.根据Lp估计和Sobolev嵌入定理(必要时取一个子列),我们可以假设存在ω∈CB(Ω),其中ω满足∥ω∥=1,ω≥0和∗d0ωxx+(µf1(N−S1)+βS1−(d+γ))ω=0,x∈Ω;ωx(0)=ωx(1)+αω(1)=0.所以由极大值原理可得在Ω上ω>0,这暗示了β=β∗,矛盾.综合上述讨论可得C⊆P,并且Γ在R×E∗上连接到∞.由引理3.2.71+可知存在与β无关的常数M>0使得∥r∥,∥S∥,∥I∥≤M.所以唯一的可能性是β延拓到+∞.证毕.下面,我们研究当β→+∞时正稳态的收敛性.我们现在定义物种I通过吸收营养物所对应的基本再生数:{∫}1µf(N∗)φ2dx01RI=sup∫1,φ∈H1(Ω),φ̸=0,γ+d0(αφ2(1)+φ2xdx)∫01φ2dx=10其对应于d=0和没有易感者的情况.则RI−1和λI具有相同的符号,其中λI为下面特征值问题的本原特征值:∗d0ϕxx+µf1(N)ϕ−γϕ=λIϕ,x∈Ω;ϕx(0)=ϕx(1)+αϕ(1)=0.由[38,定理1.3和1.4]可得系统0=d0Nxx−µf1(N)I,x∈Ω,0=d0Ixx+µf1(N)I−γI,x∈Ω,(3.21)0Nx(0)=−N,Nx(1)+αN(1)=Ix(0)=Ix(1)+αI(1)=0,当R>1时存在唯一正解(N,I),并且当R<1时只有(N∗,0)解.I55I定理3.3.7.假设RS>1.则下面的结论成立.(i)存在m∗>0使得对任意βδ∗时传播成功.(ii)当β=c时,存在δ∗,δ∗∗∈(0,+∞]且δ∗≤δ∗∗使得当δ∈(0,δ∗)时,物11种最终消失;当δ>δ∗∗时,物种实际传播下游;当δ∈[δ∗,δ∗∗]时物种实际消失.(iii)当β∈(c,β∗(c))时,存在一个δ∗∈(0,+∞]使得当δ∈(0,δ∗)时物种1111最终消失;当δ≥δ∗时,物种实际传播下游.(iv)当β≥β∗(c)时,物种最终消失.11由[54,引理2.2]和[30,引理5.10,定理5.11]中的类似讨论可知下面的引理成立.√引理4.2.3.考虑(4.1)中的单物种系统u,记c11=2d1r1.假设β∈(0,c)和s00和l2>0使其满足−l1≤g1∞,l2≥s1∞和l1+l2≤2s∗.令u为下面问题的唯一解:ut=d1uxx−βux+r1u(1−u),(t,x)∈(0,+∞)×(−l1,l2),u(t,l2)=u(t,−l1)=0,t>0,u(0,x)=u(x),x∈[−s0,s0];u(0,x)=0,x∈[−l,−s0]∪[s0,l].0111112显然,由l2+l1≤2s∗可得limt→+∞∥u∥C([−l1,l2])=0,其中2s∗是上面问题的临界长度[11,88].从而由比较原理可得limt→+∞∥u∥C([g1(t),s1(t)])=0.(ii)反证法.假设存在一个满足limn→+∞tn=+∞和xn∈(g1(tn),s1(tn))的序列{(tn,xn)}使得对一些ι>0有limn→+∞u(tn,xn)=ι.假设limn→+∞xn=x(必要时取一子列).那么,我们可以得到x̸=g1∞.假设上面结论不成立,即x=g1∞,则存在ζn∈(g1(tn),xn)使得u(tn,xn)−u(tn,g1(tn))u(tn,xn)ux(tn,ζn)==→+∞,n→+∞,xn−g1(tn)xn−g1(tn)这与引理4.2.1矛盾.同样地,我们可以得到x̸=s1∞.所以x∈(g1∞,s1∞).对于g1(t)和g2(t),我们可以得到他们必须满足下面的情况之一:对所有大的时间都有g1(t)≤g2(t);对所有大的时间都有g1(t)≥g2(t);g1(t)−g2(t)的符100 第4章一个具有四个自由边界和对流的弱竞争系统号在所有大的时间改变无穷多次.因为|I1∞|<+∞,所以我们可以定义下面的变换:2x−s1(t)−g1(t)(t,x)→(t,y),y=,x∈R,s1(t)−g1(t)和ω(t,y):=u(t,x),z(t,y):=v(t,x),从而系统(4.1)可以重写为ωt=d1ρωyy+Aωy+r1ω(1−ω−k1z),y∈(−1,1),t>0,zt=d2ρzyy+Azy+r1z(1−z−k1ω),y∈(η1(t),η2(t)),t>0,(4.12)ω(t,y)≡0,y̸∈(−1,1),t≥0;z(t,y)≡0,y̸∈(η1(t),η2(t)),t≥0,00(ω,z)(0,y)=(ω0,z0)(y)=(u0(s1y),v0(s1y)),y∈R,√2′′′其中A=−ς−βρ,ρ(t)=4/|I1(t)|,ς(t,y)=−(s1(t)+g1(t)+y(s1(t)−g′(t)))/|I(t)|,η(t)=(2g(t)−s(t)−g(t))/|I(t)|和η(t)=(2s(t)−s(t)−1112111221g1(t))/|I1(t)|.定义un(t,y):=ω(t+tn,y),vn(t,y):=z(t+tn,y),y∈[κn,1],t∈[0,1],其中κn=max{−1,maxt∈[tn,tn+1]η1(t)}.当对所有大的时间都有g1(t)≥g2(t)时,可以得到对n充分大有κn=−1;当g1(t)−g2(t)的符号改变无穷多次时,可以得到g1∞=g2∞,从而limn→+∞κn=−1;当对所有大的时间都有g1(t)≤g2(t)时,可以得到limn→+∞κn=η0≥−1.通过利用标准的LP估计、Sobolev嵌入定理和一些简单的讨论,我们可以得到存在M1>0使得∥un∥C(1+α)/2,1+α([0,1]×[κn,1])+∥vn∥C(1+α)/2,1+α([0,1]×[κn,1])≤M1.所以,我们有(必要时取一子列):当n→+∞时,在C1/2,1([0,1]×[κ,1])上0∗∗(un,vn)(t,y)→(u,v)(t,y),其中{−1,对所有大的时间有g1(t)≥g2(t)或g1(t)−g2(t)改变无穷多次符号;κ0=η0,对所有大的时间有g1(t)≤g2(t).101 西南大学博士学位论文当κ=−1时.因为lims′(t)=limg′(t)=0,所以0n→+∞1nn→+∞1nu∗=d4u∗−2βu∗+ru∗(1−u∗−kv∗),y∈(−1,1),t∈(0,1),t1|I1∞|2yy|I1∞|y11∗∗u(t,−1)=u(t,1)=0,t∈(0,1),和u∗(0,y)=ι,其中y=(2x−s−g)/|I|.因此,由极大值原理可得1∞1∞1∞在{(t,y):y∈(−1,1),t∈(0,1)}上u∗>0.通过利用Hopf边界原理,易得对t∈(0,1)有u∗(t,1)<0.从而存在θ>0使得对所有的t∈(1/4,1)有y0u∗(t,1)≤−θ.因此,对所有大的n,有y0′2µ1uny(1/2,1))µ1θ0s1(tn+1/2)=−µ1ux(tn+1/2,s1(tn+1/2))=−≥,|I1(tn+1/2)||I1∞|这与引理4.2.1矛盾.所以,物种u最终消失.当κ0=η0>−1且y=(2x−s1∞−g1∞)/|I1∞|∈[κ0,1)时,我们可以得到u∗=d4u∗−2βu∗+ru∗(1−u∗−kv∗),y∈(κ,1),t∈(0,1),t1|I1∞|2yy|I1∞|y110∗∗u(t,κ0)≥0,u(t,1)=0,t∈(0,1).然后通过类似于上面的讨论可得u最终消失.当κ0=η0>−1且y=(2x−s1∞−g1∞)/|I1∞|∈(−1,κ0)时.对充分大的n,定义+++un(t,y):=ω(t+tn,y),vn(t,y):=z(t+tn,y),y∈[−1,κn],t∈[0,1],其中κ+=minη(t),则对y∈[−1,κ+]和t∈[0,1]有v+(t,y)≡0.注nt∈[tn,tn+1]1nn意到limκ+=limκ=η.通过类似于上面的方法,我们得到(必要时n→+∞nn→∞n0取一子列):当n→+∞时,在C1/2,1([0,1]×[−1,κ])中0+++(un,vn)(t,y)→(u(t,y),0),其中u+满足u+=d4u+−2βu++ru+(1−u+),y∈(−1,κ),t∈(0,1),t1|I1∞|2yy|I1∞|y10++u(t,κ0)≥0,u(t,−1)=0,t∈(0,1),和u+(0,y)=ι.同样地,我们可以得到对所有充分大的n和某些θ>0有1g′(t+1/2)≤−θ,矛盾.所以,u最终消失.1n1102 第4章一个具有四个自由边界和对流的弱竞争系统综上所述,(ii)的结论成立.(iii)我们现在假设|I1∞|>2s∗.首先考虑对所有大的时间都有s1(t)≥s2(t)成立的情况.当对所有大的时间都有g1(t)≤g2(t)或g1(t)−g2(t)的符号在所有大的时间改变无穷多次时,通过类似于(ii)中的讨论可得物种v最终消失.从而√√由引理4.2.5可知当β<2d1r1时|I1∞|=+∞,矛盾.如果β≥2d1r1,则ut≤d1uxx−βux+r1u(1−u),x∈(g1(t),s1(t)),t≥0.所以由引理4.2.2和比较原理可得u→0,其中收敛性是一致的.当对所有大的时间都有g1(t)≥g2(t)时,通过类似于(ii)中g1(t)≤g2(t)的讨论可得u最终消失.最后,我们考虑s1(t)−s2(t)的符号对所有大的时间改变无穷多次的情况.显然,s1∞=s2∞.通过类似于(ii)中的讨论并将所有区间的右边界1用ln代替,其中ln=min(1,mint∈[tn,tn+1]η2(t)),我们得到u最终消失.综合上述结论、(i)和(ii)可得(iii)显然成立.(iv)因为对所有的t>0有ut≤d1uxx−βux+r1u(1−u),所以可以由比较原理、引理4.2.2和引理4.2.3中的类似讨论得到这个结论.证毕.4.3小的对流速度对竞争收益的影响在这一节,我们研究βµ∗时u传播成功,而当µ≤µ∗时u最终消失.min11111此外,下面的结论成立:(i)如果s0≥s,s0<σ且µ≤µ−,则µ∗=0.1∗2∗221(ii)当下面的条件之一成立时,µ∗>0:1(a)s0µ.∗1∗∗222(c)s≤s00使得当µ1≥µ1时u传播成功.113 西南大学博士学位论文这个结论的证明受到[115,引理3.6]和[158,引理3.2]的启发.由定理4.2.1可得,存在依赖于u和v的a∗>0使得对所有t≥0有1−u−kv≥−a∗.所001以,对所有t≥0,我们有u≥du−βu−ra∗u.考虑下面的辅助自由边界问t1xxx1题:ωb=dωb−βωb−ra∗ω,bgb(t)0使得当µ∈[0,µ−]时1∗10111u最终消失.114 第4章一个具有四个自由边界和对流的弱竞争系统令(ω,s,g)为满足d=d,r=r,a=1,µ=µ,s0=s0和ω(x)=u(x)111100的(4.13)的解.显然,(ω,s,g)是(u,s1,g1)的一个上界解.从而由比较原理和引理4.2.3可知结论2成立.结论3.如果s≤s00使得当µ1∈[0,µ1]时u最终消失.这个结论的证明可以采用[167,引理3.6]中的类似方法.为了强调(4.1)的解对µ和µ的依赖性,我们将这个解记为(uµ1,µ2,vµ1,µ2,sµ1,µ2,gµ1,µ2,sµ1,µ2,gµ1,µ2).121122由(4.14)和(4.15)中c+和c−的定义可知,存在µe>0,c>0和c>0使112得c+(1,r,d,µe)2s∗,则u传播成功;如果|I1∞|≤2s∗,则u最终消失.118 第4章一个具有四个自由边界和对流的弱竞争系统(ii)如果s0≥s,则物种u传播成功且lim(u,v)=(1,0),其中收敛性在R1∗t→+∞上局部一致.(iii)如果s00使得当δ≤δ∗时物种u和v都最终消失;当1∗δ>δ∗时,物种u传播成功.证明(i)注意|I1(t)|是关于t的增函数.当|I1∞|>2s∗时.对任意充分小的√ϵ>0,存在T∗>0使得对任意t≥T∗有|I(t)|≥2dπ/4dr(1−kϵ)−β2.2221111令T∗=max{T∗,T∗}.则对任意t≥T∗,不等式(4.25)也成立,从而由(a)可知3123u传播成功.最终消失的结论可以由命题4.2.3得到.(ii)令ϵ→0,则由(i)和(a)易得结论成立.(iii)定义Γ={δ>0:当δ=δ时I1∞≤2s∗}.通过对(4.26)利用引理4.2.2和比较原理,我们得到如果δ充分小,则δ∈Γ,从而Γ̸=∅.记δ∗=supΓ.如果δ∗=+∞,则无需证明.如果δ∗<+∞,则由比较原理易得当δ<δ∗时u最终消失,而当δ>δ∗时u传播成功.现在只剩下证明当δ=δ∗时u最终消失.反证法.假设存在t>0使得当δ=δ∗时|I(t)|>2s+1.则由解对010∗初值的连续依赖性可知:对充分小的ϵ>0,具有初值u=(δ∗−ϵ)ϕ的解满足0|I(t)|>2s.因此当δ=δ∗−ϵ时u传播成功.这与δ∗的定义矛盾.证毕.1ϵ0∗注意定理4.5.1表明当c21≤β0使得当δ<δ时u最终消失且v传1∗2∗∗∗播成功.通过交换u和v,我们也可得到关于v的类似的结论.4.6结论和讨论在这一章中,我们提出并分析了一个具有对流和四个自由边界的竞争模型来研究对流对两个竞争物种竞争收益的影响.我们主要关注传播-消失的分类、解的长时间行为,以及物种传播或消失的判别准则.我们发现随着对流速度的变化,两个物种从都能够传播成功到一个实际传播而另一个传播成功,再到都实际传播.这表明着对流对生活在对流环境中的物种的幸存具有重要的影响且能够改变竞争收益.在小的对流速度的情况时,我们建立了传播-消失四分法、当两个物种都传播成功时解的长时间行为.我们同时也得到了传播速度的估计、决定物种能否传播129 西南大学博士学位论文成功的最小栖息地大小和依赖于移动参数的物种传播或消失的准则.我们的结果表明在小的对流速度时,对流对竞争收益的影响不大,并且所得到的结果可以看成是对流不存在[167]的情况的扩展.在大的对流速度的情况下,我们得到当t→+∞时,两个物种都局部一致收敛到零,这与[146]中的物种在大的对流速度下不能幸存相一致.然而,在我们的自由边界问题中,在大的对流速度下,依赖于移动参数和初值,物种仍然可能实际传播.在中等大小的对流速度情况下,系统的动态比较复杂.如果c21≤β
此文档下载收益归作者所有