论文部分内容阅读
我们研究的趋化性(Chemotaxis)生物模型为:{ut=△u-▽(f(u)▽x(v))+F(u,v),(x,t)∈Ω×(0,T),vt=△v+G(u,v),(x2t)∈Ω×(0,T),u|t=0=u0,v|t=0=v0,x∈Ω,()u/()n=0,()v/()n=0(x,t)∈()Ω×(0,T).
我们研究了这个方程组在不同空间下解的局部存在性和不同情形下解的整体存在性.
(1)局部存在性在L∞(Ω)×W1,q(Ω)空间中用压缩映射原理证明了方程组解的局部存在性.在Hilbet空间中仿照Yagai,Mimura的证明用Galerkin方法证明了方程组解的局部存在性.
(2)整体存在性整体存在性一直是Chemotaxis模型的一个难点.对于低维情形,尤其是n=1已经有很多文章证明了整体解的存在性.而对于高维的研究近年来是Chemotaxis模型的一个热点问题.对于x(v)=v,F(u,u)=0,G(u,v)=-v+u的情形,2004年DirkHorstmann和MichaelWinkler在f(u)≤cuα,u≥1.0<α<2/n的条件下,证明了解的整体存在性和一致有界性.他们要求u0∈C0(Ω),f(u)∈C1+θ[0,∞),从而保证了u<1时,有一致Lipschitz条件,即避免了在零点出现奇性.本文的条件是f(u)≤cuα,u≥0,0<α<1,即f(u)在零点有奇性.并且u0∈L∞(Ω),从而不能假设f(u)∈C1+θ[0,∞),但是要求u0>a0>0.这样通过局部存在性的证明说明特殊形式的弱解为古典解.在已知sup||u(t)||Lpo(Ω)≤C0,其中po/γ>n/2-2ε,ε>0的假设下,证明了解的整体存在性,但有界性估计与时间(T)有关.另外本文还考虑了奇性在x(v)(即x(v)=lnv)上的情形.这时,只要假设初值0≤u0,0<v0就可以通过凸函数方法证明v(x,t)有一个与时间(t)有关的下界,这个证明仿照Yagai,Mimura的证明方法.从而运用相关的半群理论及各种内差不等式证明了解的整体存在性,但有界性估计与时间(T)有关.本文最后证明了一个特例(f(u)=u1/n,x(v)=v)解的整体存在性及有界性估计.