劉 令,王國銘,朱立勛

(1.吉林建筑大學(xué) 基礎(chǔ)科學(xué)部,長春 130118;2.吉林大學(xué) 數(shù)學(xué)學(xué)院,長春 130012)

0 引 言

考慮如下快擴散方程組解的熄滅性質(zhì):

(1)

其中: 00;Ω是N(N=1,2)中的有界光滑區(qū)域;非負(fù)非平凡函數(shù)u0,v0∈L∞(Ω).問題(1)可用于描述牛頓流體在多孔介質(zhì)中的擴散、可燃混合物的燃燒或種群密度的變化規(guī)律等[1-3].

與解的有限時刻爆破一樣,解的有限時刻熄滅也是發(fā)展型方程的一個重要性質(zhì).自從Kalashnikov[4]通過比較Cauchy問題:

對于如下形式的非線性擴散方程:

(2)

具有非線性源項的快擴散方程

(3)

解的熄滅性質(zhì)也得到了廣泛研究,其中00時,李玉祥等[15]借助積分估計和Sobolev嵌入定理證明了: 如果q>m,問題(3)的唯一解對適當(dāng)小的初值u0在有限時刻熄滅;如果q

陳玉娟等[3]考慮了當(dāng)N>2時問題(1)解的熄滅性質(zhì),先證明了該問題弱解的局部存在性及某些特殊情形時弱解的唯一性,然后借助常微分方程組不變區(qū)域理論和積分估計的技巧,對某些特殊情形證明了當(dāng)初值u0與v0“可比”時,該問題的解在有限時刻熄滅.基于此,本文研究問題(1)當(dāng)N=1,2時解的性質(zhì).通過改進文獻[3]使用的方法,對更廣泛的源函數(shù)給出了問題(1)的解在有限時刻熄滅的充分條件.本文使用的方法不僅可以處理低維情形,還可以極大簡化高維情形時類似結(jié)論的證明.由于問題(1)的反應(yīng)項當(dāng)0

1 弱解的局部存在與唯一性

當(dāng)m,n>1時,問題(1)是退化的;而當(dāng)0

定義1如果向量值函數(shù)(u,v)∈L∞(QT)×L∞(QT)滿足下列3個條件,由稱其為問題(1)在QT上的一個弱下解(弱上解):

1)u(x,0)≤(≥)u0(x),v(x,0)≤(≥)v0(x),x∈Ω;

2)u(x,t)≤(≥)0,v(x,t)≤(≥)0,(x,t)∈ΓT;

3) 對任意的t∈(0,T)和任意的ξ,η∈F,

如果(u,v)既是弱上解,又是弱下解,則稱(u,v)是問題(1)在QT上的一個弱解.

問題(1)弱解的局部存在性可通過標(biāo)準(zhǔn)正則化方法證明[19],本文僅簡述其過程.考慮如下正則化問題:

(4)

選取T>0充分小,使得對任意的k∈,問題(4)在QT上存在唯一正解(uk,vk),且‖uk‖L∞(QT)+‖vk‖L∞(QT)關(guān)于k是一致有界的.事實上,對任意的k∈,常微分方程Cauchy問題:

(5)

的解是問題(4)的一個上解.只需選取T>0為問題(5)解的最大存在區(qū)間即可.此外,由一致拋物型方程組解的比較原理可知,如果k

類似地有

(7)

定義有界函數(shù)Φk,Fk,Ψk和Gk,使其滿足:

則式(6)和式(7)可改寫為

?Qt(u-uk){ξs+ΦkΔξ}dxds+?Qtξ(v-vk)Gkdxds,

用類似于文獻[19]的方法選取恰當(dāng)?shù)臋z驗函數(shù)ξ,η并借助Gronwall不等式可得(u,v)≤(uk,vk),從而有(u,v)≤(U,V).故(U,V)是問題(1)的最大解.

下面建立問題(1)在某些特殊情形下解的唯一性.令λ1>0和φ1(x)分別是如下特征問題的第一特征值和相應(yīng)的特征函數(shù):

-Δφ(x)=λφ(x),x∈Ω;φ(x)=0,x∈?Ω.

(8)

選取φ1(x)>0,將其單位化,使得‖φ1‖L∞(Ω)=1.

命題1如果下述條件之一成立,則問題(1)的局部解是唯一的:

1)q>m且p>n;

2)q>m,p=n且λ1≥1;

3)p>n,q=m且λ1≥1;

4)q=m,p=n且λ1≥1.

證明: 當(dāng)條件4)成立時,問題(1)的解是唯一的[3].因此只需證明情形1)～3).令(u,v)是問題(1)的任意解,(uk,vk)是問題(4)的解,選取φ1(x)作為檢驗函數(shù)可得

令k→∞,得

?Qt{-λ1(Um-um)+(Vp-vp)}φ1(x)dxds.

(9)

類似地有

?Qt{-λ1(Vn-vn)+(Uq-uq)}φ1(x)dxds.

(10)

先考慮q>m且p>n的情形.由文獻[21]可知,存在M>0和常數(shù)00,使得對任意的0≤a≤b≤M,都有

(11)

命題2假設(shè)(u,v)和(z,w)分別是問題(1)在QT上的非負(fù)弱上、下解,且存在δ>0,使得(u,v)≥(δ,δ),則(u,v)≥(z,w)于QT.

命題2的證明過程類似證明(U,V)是問題(1)的最大解,故略.

2 主要結(jié)果

為方便,將‖·‖Lα(Ω)簡記為‖·‖α.

引理1[3]設(shè)ai,bi(i=1,2),p,q是正常數(shù),0

其中0<δ1,δ2<1.假設(shè)非負(fù)函數(shù)W1,W2滿足

(12)

如果(W1(0),W2(0))∈Q,則(W1,W2)∈Q.

引理2[3]假設(shè)引理1的條件成立,則當(dāng)(W1(0),W2(0))∈Q時,問題(12)的任意非負(fù)解都是單調(diào)不增的,且在有限時刻熄滅.

由引理2和常微分方程組的比較原理可得如下推論.

推論1假設(shè)非負(fù)函數(shù)W1,W2滿足

(13)

如果(W1(0),W2(0))∈Q,則問題(13)的任意非負(fù)解(W1,W2)在有限時刻熄滅.

定理1假設(shè)mn

(14)

證明: 為方便,不妨假設(shè)問題(1)的弱解具有很好的光滑性.否則可以對正則化問題的解得到相應(yīng)的估計,然后通過標(biāo)準(zhǔn)極限過程得到所需的結(jié)論.由于pq≤1,易知此時存在常數(shù)r,s>1,使得p≤r/s≤1/q.在問題(1)的方程兩端分別乘以us-1,vr-1后在Ω上分部積分,可得

(15)

(16)

(17)

這里γ1>0是嵌入常數(shù).將式(17)代入式(15)可得

(18)

(19)

類似地可得

(20)

其中:r>3-n;γ2>0是嵌入常數(shù).令

則由式(19)和式(20)可得

(21)

對式(21)應(yīng)用推論1可知,當(dāng)初值(u0,v0)滿足式(14)時,(W1,W2)在有限時刻熄滅,從而(u,v)也在有限時刻熄滅.證畢.

定理2假設(shè)mn<1

(22)

其中: 0<δ1,δ2<1;p1∈(0,p)滿足mn

證明: 由于mn

-Δφ(x)=1,x∈Ω0,φ(x)=0,x∈?Ω0,

(23)

于是,式(15),(16)可分別改寫為

(24)

(25)

這里p1∈(0,p)滿足mn

定理3假設(shè)mn=pq且區(qū)域Ω適當(dāng)小,則對適當(dāng)小的初值(u0,v0),問題(1)至少存在一個在有限時刻熄滅的解.

證明: 通過構(gòu)造一個在有限時刻熄滅的上解完成證明.為此,令

令(g1(t),g2(t))是下述常微分方程組的非負(fù)解:

(26)

本文使用的方法也可處理具非局部源的快擴散方程組解的熄滅性質(zhì).

[1] Vazquez J L.The Porous Medium Equation [M].Oxford: Clarendon Press,2007.

[2] Bebernes J,Eberly D.Mathematical Problem from Combustion Theory [M].New York: Springer-Verlag,1989.

[3] CHEN Yu-juan,WANG Juan,ZHANG Hai-xing.Extinction for a Couple of Fast Diffusion Systems with Nonlinear Sources [J].Nonl Anal: Real World Applications,2013,14(4): 1931-1937.

[4] Kalashnikov A S.The Nature of the Propagation of Perturbations in Problems of Non-linear Heat Conduction with Absorption [J].USSR Comp Math Math Phys,1974,14(4): 891-905.

[5] Diaz G,Diaz I.Finite Extinction Time for a Class of Non-linear Parabolic Equations [J].Comm Part Differ Equations,1979,4(11): 1213-1231.

[6] Lair A V,Oxley M E.Extinction in Finite Time of Solutions to Nonlinear Absorption-Diffusion Equation [J].J Math Anal Appl,1994,182(3): 857-866.

[7] Galaktionov V A,Vazquez J L.Asymptotic Behavior of Nonlinear Parabolic Equations with Critical Exponents.A Dynamical System Approach [J].J Funct Anal,1991,100(2): 435-462.

[8] Galaktionov V A,Vazquez J L.Extinction for a Quasilinear Heat Equation with Absorption Ⅰ.Technique of Intersection Comparison [J].Comm Part Dier Equations,1994,19(7/8): 1075-1106.

[9] Galaktionov V A,Vazquez J L.Extinction for a Quasilinear Heat Equation with Absorption Ⅱ.A Dynamical System Approach [J].Comm Part Dier Equations,1994,19(7/8): 1107-1137.

[10] Ferreira R,Vazquez J L.Extinction Behavior for Fast Diffusion Equations with Absorption [J].Nonl Anal: Theory,Methods &Applications,2001,43(8): 943-985.

[11] Friedman A,Herrero M A.Extinction Properties of Semilinear Heat Equations with Strong Absorption [J].J Math Anal Appl,1987,124(2): 530-546.

[12] Herrero M A,Velzquez J J L.Approaching an Extinction Point in One-Dimensional Semilinear Heat Equations with Strong Absorptions [J].J Math Anal Appl,1992,170(2): 353-381.

[13] Lair A V.Finite Extinction Time for Solutions of Nonlinear Parabolic Equations [J].Nonl Anal: Theory,Methods &Applications,1993,21(1): 1-8.

[14] GU Yong-geng.Necessary and Sufficient Condition of Extinction of Solutions on Parabolic Equations [J].Acta Mathematica Sinica,1994,37(1): 73-79.(顧永耕.拋物型方程的解熄滅(Extinction)的充要條件 [J].數(shù)學(xué)學(xué)報,1994,37(1): 73-79.)

[15] LI Yu-xiang,WU Ji-chun.Extinction for Fast Diffusion Equations with Nonlinear Sources [J].Electron J Differ Equations,2005,2005(23): 1-7.

[16] TIAN Ya,MU Chun-lai.Extinction and Non-extinction for ap-Laplacian Equation with Nonlinear Source [J].Nonl Anal: Theory,Methods &Applications,2008,69(8): 2422-2431.

[17] YIN Jing-xue,JIN Chun-hua.Critical Extinction and Blow-up Exponents for Fast Diffusivep-Laplacian with Sources [J].Math Method Appl Sci,2007,30(10): 1147-1167.

[18] HAN Yu-zhu,GAO Wen-jie.Extinction for a Fast Diffusion Equation with a Nonlinear Nonlocal Source [J].Arch Math,2011,97(4): 353-363.

[19] Anderson J R.Local Existence and Uniqueness of Solutions of Degenerate Parabolic Equations [J].Commun Partial Differential Equations,1991,16(1): 105-143.

[20] Potter M H,Weinberger H F.Maximum Principle in Differential Equations [M].Englewood Cliffs: Prentice-Hall,1967.

[21] Anderson J R.Necessary and Sufficient Conditions for the Unique Solvability of a Nonlinear Reaction-Diffusion Model [J].J Math Anal Appl,1998,228(2): 483-494.