两类非线性发展方程解的奇性研究-study on the singularity of solutions for two kinds of nonlinear evolution equations.docxVIP

1.2国内外研究现状淬灭现象首先，对quenching问题的研究作简要介绍。quenching现象的研究始于Kawarada在1975年的文章[9]中对奇异反应扩散方程?ut=uxx+1/(1?u),??u(0,t)=u(l,t)=0,??u(x,0)=0,t0,x∈(0,l),t0x∈(0,l),(1.1)的研究。其中l是给定的正常数。在此文中，他证明了，无论方程的解u在何处达到值u=1，不仅奇异项爆破，ut也要发生爆破。这里u在有限时刻quenching是指存在T∞，使得lim||ut(?,t)||∞=∞。注意到反应项的奇性，上述定义蕴含着t→Tlim||u(?,t)||∞=1，其中T即是古典解的最大存在时间。关于这一表达后来被作为t→Tquenching的定义沿用至今[10,11]，并且在一定条件下确实有解的时间导数的爆破(bolow-up)[12?15]。在文[9]中，Kawarada得到了如下结论：①如果l22，则u在某有限时刻T沿着直线x=1/2取到1，也就是max(u(x,t):0x≤l)→1?,当t→T?由这个结论，他进一步证明了②如果问题（1.1）的解在有限时刻取到1，则(1.2)limsup|ut(x,t)|=∞(1.3)t→T?x亦即u在有限时刻quenching。继[9]之后，淬灭现象吸引了广大学者的注意和进行进一步的深入的探索与研究。其中所涉及到的问题，模型各种各样，淬灭的定义也被拓展了。但定义的核心思想仍然是：随着时间的增加，方程（组）的解趋于使方程（组）产生奇性的值。后来，Levine和Montgomery[11]举出了反例u=u+(1?u)?1/2,l=l=42/3来txx0说明Kawarada的关于淬灭的定义在一般的情况下是不成立的。因为尽管此时这个方程的解整体存在，但是当t→∞时，sup|u(x,t)|→1；而且当t→∞时，uxx(l/2,t)x而不是ut(l/2,t)爆破。1988年，Chan和Kwong在文[16]中指出Kawarada在证明定理1.2时存在漏洞，也就是他所构造的函数W?(x,t)，当t足够靠近T时，一般情况下并非按其所说的在曲线s(i)(t)满足热方程；同时，Kawarada所采用的证明思想很难推广到非线性强迫项不是(1?u)?1的形式的情形。Chan和Kwong给出了正确的证明，并且把结果推[17]广到了形如ut=uxx+f(u)和ut=uxx+g(u,ux)的方程。此外，文Kawarada在证明过程中的不足。中也提到了下面对非线性奇异抛物方程淬灭现象的研究情况作简要介绍。在文[18]中，Levine研究了具有幂函数形式的奇异源项的一维抛物方程txx?u=u+ε(1?u)?β,(x,t)∈(0,1)×(0,T),??u(0,t)=u(1,t)=0,?0?u(x,0)=u(x),t∈(0,T),x∈(0,1),(1.4)其中ε,β0,u0≥0。这个方程对应的稳态问题为：?f(x)+ε(1?f(x))?β=0,0x1,?(1.5)?f(0)=f(1)=0.0受到Matano的强保序方程（组）思想[19]的启示，Levine对当ε0,β0，u光滑且u01时问题(1.4)的动力学行为得到了比较圆满的结论。对于如下偏微分算子txxLu:=xqu?u，其中(x,t)∈Ω:=(0,a)×(0,T),T≤∞，当q≠0的时候是退化的[20,21]，已经有许多学者研究过其相应的初-边值问题的爆破和淬灭。例如，Chan和Kong在[20,22]中考察了Lu=f(u),(x,t)∈Ω,u|?Ω=0(1.6)其中?Ω是Ω的抛物边界，q≠0，f∈C2([0,c))(c0)，f(0)0，f0，f≥0，limu→c?f(u)=∞。当q=0时，他们使用Arrhenius定理[23]导出的热爆炸模型中，得到t淬灭形式的模型比爆破形式的模型的逼近程度更好。随后他们又在[20]中得到(1.6)存在唯一的古典意义下的解u使得u,u在Ω中为正；存在临界长度a*；淬灭集以及当u在有限时刻T淬灭时ut爆破。接下来，我们对具有集中源项的非线性抛物方程解的淬灭现象的研究情况作简单介绍。Chan、Deng等研究了带有集中源项的非线性抛物方程txx?xqu?u=a2δ(x?b)f(u(x,t)),(x,t)∈(0,1)×(0,T].??u(0,t)=u(1,t)=0,0t≤T,(1.7)??u(x,0)=0,其中q≥0，a为实数，c0，limu→c?x∈[0,1].f(u)=∞，当0≤uc时，f(u)与f(u)取正值。Deng和Roberts在[24]中讨论了q=0的情况，他们将原问题转换为在集中源b处的等价的非线性Volterra方程：t∫u(b,t)=a20g(b,t;b,τ)f(u(b,τ))dτ他们证明了：若f还满