覃思乾,周澤文,凌征球

( 玉林師范學(xué)院數(shù)學(xué)與統(tǒng)計學(xué)院,廣西 玉林537000)

1.簡介

本文研究下列退化的拋物型方程組解的漸近性質(zhì)，并專注于討論方程組解的整體存在與爆破的條件:

其中?是中具有光滑邊界??的一個有界區(qū)域,u0(x),v0(x)是非負(fù)的有界函數(shù),

方程(1.1)-(1.2)組成一個反應(yīng)擴(kuò)散系統(tǒng)的簡單例子,可用于描述化學(xué)反應(yīng)、熱傳導(dǎo)以及種群動力系統(tǒng)等過程的數(shù)學(xué)模型.最近,出現(xiàn)了許多非線性拋物方程組解的漸近性質(zhì)問題的研究成果,如DENG[1],楊婕[2],雷學(xué)紅[3]，王文海[4],凌征球[5]等,他們通過使用不同的方法與手段,討論各種退化拋物型方程組解的性質(zhì)。特別,周澤文[6]研究了p1=q1=1,p2=q2=1時方程組(1.1)-(1.2)的情況,借助于正則化技術(shù)與上下解方法,給出了方程組解的局部存在性,整體存在與爆破條件.受以上文獻(xiàn)思想啟發(fā),本文在更一般的情況下討論方程組(1.1)-(1.2)的解的漸近性質(zhì),主要目的是要擴(kuò)展文[6]的結(jié)果,而且給出有別于文[6]的方法得到了方程組解的整體存在與爆破的條件.

首先,當(dāng)初值u0(x),v0(x)非負(fù)且具有緊支集和滿足適當(dāng)相容性條件的光滑函數(shù)時,使用文[1]的方法,我們可以建立最大值原理與比較原理,而且通過正則化手段,還可以得到下列解的局部存在性定理:

定理1假設(shè)則存在使得對于任意的T

這里我們省略上述的細(xì)節(jié)而專注于討論解的性質(zhì).對于定理1的T?,如果T?<+∞,我們稱方程組的解(u(x,t),v(x,t))在有限時刻爆破,否則稱解是整體存在的.

2.解的整體存在定理及證明

定理2如果下列的條件之一成立:

(i)m>pp1,n>qq2,

(ii)m>pp1,n>qq2,以及區(qū)域(|?|)充分小;

(iii)m > pp1,n > qq2,或m ≤pp1或n ≤qq2,以及初值數(shù)據(jù)u0(x),v0(x)充分小.

那么,問題(1.1)-(1.4)的每個非負(fù)解都具有整體性.

證根據(jù)比較原理,對于任意的T >0,我們只需要構(gòu)造有界的、正的上解即可.假設(shè)φ(x)表示下列線性橢圓問題的唯一正解:

其中k1,k2>0是待定常數(shù).顯然,對于任意的T >0,都是有界函數(shù).另外,簡單的計算得到

類似地,

記

(i)如果m>pp1,n>qq2以及那么一定存在足夠大的常數(shù)k1≥∥u0∥∞,k2≥∥v0∥∞使得

由此得到

(ii) 如果m > pp1,n > qq2并且不失一般性,我們假設(shè)? ??B,這里B是一個充分大的球,并且設(shè)ψB(x)是下列橢圓問題的唯一解

那么C1< C2,或者這樣我們就可以選擇充分大的正數(shù)k1,k2滿足(2.4)和

(iii) 如果m > pp1,n > qq2和這樣我們首先選擇常數(shù)k2∈(0,1)充分小使得

然后再選取k1>0滿足(2.4)式。這樣,當(dāng)初值u0(x),v0(x)充分小滿足(2.6)時,定義的函數(shù)(ˉu,ˉv)就是問題(1.1)-(1.4)的一個上解.

上面的分析再結(jié)合比較原理,我們就完成了定理2的證明.

3.解的爆破定理及證明

定理3如果下列條件之一成立:

那么,問題(1.1)-(1.4)的每個非負(fù)解都在有限時刻爆破.

證類似于定理2的證明,根據(jù)比較原理,我們通過尋找一個爆破的下解來完成定理的證明.

(i) 假設(shè)λ1>0表示下列特征值問題的第一特征值

而?1(x)表示相應(yīng)的特征函數(shù).顯然?1(x)可以單位化使得x ∈?,?1(x)>0和1.定義下面的函數(shù)

其中l(wèi)1,l2>0是待定系數(shù).經(jīng)過簡單的代數(shù)運(yùn)算,我們得到

同理,

這里

(i) 如果m>pp1,n>qq2并且則存在充分大的使得

也就是

因此,當(dāng)T >0充分小時,我們可以得到

這時,只要初值充分大滿足

而且,對于x ∈??,t ∈(0,T),(x,t)=0≤0,(x,t)=0≤0.因此從比較原理知道,就是問題(1.1)-(1.4)的一個爆破的下解.

如果m ≤pp1,那么當(dāng)n ≤qq2時,只要選取l1,l2滿足時,(3.2)式成立,即說明當(dāng)T充分小時,(3.3)-(3.4)成立.從而得知函數(shù)就是問題(1.1)-(1.4)的一個爆破的下解.

如果m ≤pp1而n>qq2時,只要選取l1,l2滿足

那么(3.2)式成立,從而(3.3)-(3.4)成立,因此函數(shù)就是問題(1.1)-(1.4)的一個爆破的下解.

(ii) 如果m>pp1,n>qq2和選取常數(shù)l1,l2滿足

不失一般性,我們假設(shè)0∈?,并且設(shè)BR(0)是滿足BR(0)???的一個球.下面,我們證明問題的解將在球域BR爆破,從而得知解在更大的區(qū)域?也爆破.令λBR>0和?R(r)分別表示下列特征值問題的第一特征值與相應(yīng)的特征函數(shù):

并且單位化使得?R(r)>0和根據(jù)特征值與特征函數(shù)的性質(zhì)得到λBR=R?2λB1和?R(r)=?1(r/R)=?1(τ),這里τ=r/R,λB1和?1(τ)分別表示在單位球B1(0)的特征值問題的第一特征值與特征函數(shù),而且

定義下面的函數(shù)

這樣經(jīng)過簡單的計算,可以得出

其中

這里的K1,K2是與半徑R無關(guān)的常數(shù).從我們可以假設(shè)R,即球BR(0)充分大滿足

也就是c1?ml1λBR>0,c2?nl2λBR>0.因此,只要取T充分小,就可以使得(3.6)(3.7)變成

另一方面,如果初值u0(x),v0(x)充分大也滿足