孫仁斌
(中南民族大學 數(shù)學與統(tǒng)計學學院,武漢 430074)
對于含有奇性的半線性拋物型方程的初邊值問題:
本文討論如下含有奇性的退縮拋物型方程初邊值問題:
(1)
本文將對Ω為N維區(qū)域的情形進行討論.
由于當u=0時,問題(1)中的方程為退縮,經(jīng)典的拋物方程理論并不能直接給出解的存在性.而對解的存在性的討論,我們也不需要針對問題的古典解,而只需要問題的弱解,為此先給出問題(1)中方程弱解的定義.
f(u(x,t))φ(x,t)]dxdt.
(2)
則稱u(x,t)為方程的弱解.
如果對任意T>0,方程的弱解都存在,則稱弱解為整體存在.
關于退縮拋物型方程弱解的局部存在性,有多種方法可以得到[9,10],在此給出其中一種方法的主要步驟.
對k=1,2,…,考慮如下拋物型方程的初邊值問題:
可以證明,如果k1>k2,則T(k1)>T(k2),且在Ω×(0,T(k2))內(nèi)有uk1(x,t)>uk2(x,t).
定理1 設u0(x)>0,u0(x)∈L∞(Ω),則存在T>0,使問題(1)存在非負的弱解u(x,t)定義在Ω×(0,T)上.
為了得到后面的整體存在性定理,我們需要利用上、下解及其相關的結論.
(4)
則稱u(x,t)為問題(1)的一個下解,如果將上面的不等式改變方向,就稱u(x,t)為問題(1)的一個上解.
對于弱解,與古典解一樣,也有如下的比較原理和存在唯一性定理[12].
(5)
(6)
(7)
(8)
定理4 設正常數(shù)d滿足(8)式,區(qū)域Ω充分小,其直徑滿足(7)式,則問題(1)存在整體解.
而對于退縮拋物型方程古典解的存在性,也有多種方法可以得到[13],在此省略.為明確起見,我們先給出問題(1)古典解猝滅的定義.
(9)
設λ1與φ(x)是如下特征值問題的第一特征值與相應的特征函數(shù):
(10)
(11)
我們知道,特征值λ1與區(qū)域Ω有關,Ω越大,λ1越小,根據(jù)上面的分析,可以得到定理5.
(12)
為了證明(12)式的前一不等式,考慮如下初值問題:
[1] Guo J S.On the quenching behavior of the solution of a semilinear parabolic equation[J].J Math Anal Appl,1990,151:58-79.
[2] Dai Q Y,Gu Y G.A short note on quenching phenomena for semilinear parabolic equations[J]. J Differential Equations,1997,137:240-250.
[3] Salin T.On quenching with logarithmic singularity[J].Nonlinear Analysis,2003,52:261-289.
[4] Bertdch M,Ughi M.Positivity peopertics of viscosity solutions of a degenerate parabolic equation[J].Nonlinear Analysis,1990,14:571-592.
[5] Friedman A,Mcleod J B. Blowup of solutions of nonlinear degenerate parabolic equations[J]. Arch Rational Mech Anal,1987,96:55-80.
[6] Chen H W. Analysis of blowup for a nonlinear degenerate parabolic equations[J]. J Mathemetical Analysis and Applications,1995,192:180-193.
[7] Chen Y P,Liu Q L,Xie C H.Blow-up for degenerate parabolic equations with nonlocal source[J].Proceedings of the American Mathematical Society,2004,132:135-145.
[8] Winkler M.Quenching phenomena in strongly degenerate diffusion equations with strong absorption[J]. J Math Anal Appl,2003,288:481-504.
[9] Anderson J R.Local existence and uniqueness of solutions of degenerate parabolic equations [J].Comm Partial Differential Equations,1991,16:105-143.
[10] Aronson D G,Crandall M,Peletier L A.Stabilization of solutions of a degenerate nonlinear diffusion problem[J].Nonlinear Analysis,1982,6:1001-1022.
[11] Pao C V.Nonlinear parabolic and elliptic equations[M].New York:Plenum Press,1992.
[12] Anderson J R,Deng K.Global existence for degenerate parabolic equations with a non-local forcing[J].Methods Appl Sci,1997,20:1069-1087.
[13] Galaktionov V A,Kurdyumov S P,Samarskii A A.A parabolic system of quasilinear equations [J].Differential Equations,1985,21:1049-1062.