一類具局部化源的快擴散方程解的熄滅

孟繁慧，高文杰

（1.長春金融高等專科學(xué)校，長春130028；2.吉林大學(xué) 數(shù)學(xué)學(xué)院，長春130012）

0 引 言

考慮如下快擴散方程：

解的熄滅性質(zhì).其中：0＜m＜1；a，q＞0；Ω是?N（N≥1）中的有界光滑區(qū)域；x0是Ω中的一個固定點；非負函數(shù)u0∈L∞（Ω）.該模型是一個耦合局部化源的快擴散方程，具有較強的物理和生物學(xué)背景，可以用來描述具有內(nèi)部源的流體在多孔介質(zhì)中的擴散或種群密度的變化規(guī)律［1－3］.

解的有限時刻熄滅與解的有限時刻爆破相對應(yīng)，也是發(fā)展型方程的一個重要性質(zhì).自Kalashnikov［4］通過比較 Cauchy問題：

的解及其顯式解

提出解的有限時刻熄滅概念以來，關(guān)于該問題的研究已引起人們廣泛關(guān)注.目前，發(fā)展方程解的熄滅理論已日趨完善［5－12］.特別地，如下形式的快擴散方程：

得到了廣泛研究，其中0＜m＜1.當(dāng)f（u）＝auq，a，q＞0時，借助積分估計和Sobolev嵌入定理，李玉祥等［13］證明了：如果q＞m，則對適當(dāng)小的初值u0，問題（2）的唯一解在有限時刻熄滅；如果q＜m，問題（2）的最大解在Ω內(nèi)是恒正的；對于臨界情形q＝m，問題（2）的解是否熄滅取決于－Δ在Ω上第一特征值的大小.田婭等［14］和尹景學(xué)等［15］分別對p－Laplace方程證明了類似的結(jié)論.當(dāng)

時，韓玉柱等［16］證明了該問題的臨界熄滅指標為q＝m.與具局部源相對應(yīng)的問題為：當(dāng)q＝m時，問題（2）的解是否熄滅取決于aμ的大小.這里μ＝∫Ωφ（x）dx，φ（x）是如下線性橢圓方程的唯一正解：

基于上述結(jié)果，本文研究問題（1）解的臨界熄滅指標.

1 預(yù)備知識

當(dāng)m＞1時，問題（1）是退化的；當(dāng)0＜m＜1時，問題（1）是奇異的，所以它沒有古典解.為了對問題（1）定義恰當(dāng)?shù)娜踅?，對任意?＜T＜∞，記

引入如下檢驗函數(shù)類：

定義1 如果函數(shù)u∈L∞（QT）滿足下列條件：

1）u（x，0）≤（≥）u0（x），x∈Ω；

2）u（x，t）≤（≥）0，（x，t）∈ΓT；

3）對任意的t∈（0，T）和任意的ξ∈F，

則稱函數(shù)u是問題（1）在QT上的一個弱下解（弱上解）.如果u既是弱上解、又是弱下解，則稱u是問題（1）在QT上的一個弱解.

線性橢圓方程解具有相關(guān)性質(zhì)：

本文令φ（x）為式（3）的唯一正解，并記

問題（1）弱解的局部存在性證明過程是標準的［17］.考慮如下正則化問題：

這里選取T＞0適當(dāng)小，使得對任意的k∈?，問題（4）在QT上存在唯一正解uk（x，t），且‖uk‖L∞（QT）關(guān)于k是一致有界的.事實上，對任意的k∈?，下述常微分方程Cauchy問題的解都是問題（4）的一個上解：

選取T＞0為問題（5）的最大存在區(qū)間即可.此外，由一致拋物型方程的比較原理［18］可知，若k＜l，則1／l≤ul≤uk.

下面定義有界函數(shù)Φk和Fk，使其滿足

進一步可得

用類似文獻［17］的方法選取一個恰當(dāng)?shù)臋z驗函數(shù)ξ并借助Gronwall不等式可得u≤uk，從而u（x，t）≤U（x，t）.如果v是問題（1）的一個下解，則同理可得v≤U.于是，U（x，t）是問題（1）的最大解，且滿足下解比較原理.

類似上述過程可得：

命題1 假設(shè)v和u分別是問題（1）在QT上的非負上、下解，且存在δ＞0，使得u≥δ，則u≤v于QT.

2 主要結(jié)果

定理1 如果q＞m，則當(dāng)初值u0適當(dāng)小時，問題（1）的解在有限時刻熄滅；如果q＝m且aμ＜1，則問題（1）的解對任意有界非負初值都在有限時刻熄滅.

證明：首先證明q＝m且aμ＜1的情形.通過構(gòu)造一個在有限時刻熄滅的上解完成證明.設(shè)φ1（x）是問題

的唯一正解，這里區(qū)域Ω1滿足Ω?Ω1.如果記

則由線性橢圓方程的強極值原理可知μ1＞μ，δ＞0.其中μ＝∫Ωφ（x）dx，φ（x）是問題（3）的唯一正解.注意到方程（6）的解對區(qū)域Ω1有連續(xù)依賴性及假設(shè)aμ＜1，從而可以選取適當(dāng)?shù)膮^(qū)域Ω1?Ω，使得aμ1＜1.設(shè)g（t）是下述常微分方程初值問題的唯一解：

此外，對任意給定的0＜T＜T0，存在正常數(shù)C1，C2，使得

固定滿足上述條件的常數(shù)k可知，當(dāng)初值u0（x）適當(dāng)小使得u0（x）≤v（x）成立時，v（x）即為問題（1）的一個上解.此外，它還是有正下界的.由命題1可得

從而u（x，t）是下述問題的弱下解：

定理2 如果q＜m或q＝m且aμ＞1，則對任意非負初值u0（x），問題（1）的最大解U（x，t）是不熄滅的.

證明：由于問題（1）的最大解U（x，t）滿足下解比較原理，所以為證明定理的結(jié)論，只需構(gòu)造一個不熄滅的下解即可.設(shè)v（x，t）＝g（t）φ1／m（x），其中φ（x）是問題（3）的唯一正解.如果g（t）滿足如下常微分方程：

則g（t）是單調(diào)不減且上方有界的.此外，容易驗證v（x，t）是問題（1）當(dāng)q＜m時的一個不熄滅下解.事實上，當(dāng)x∈Ω時，v（x，0）＝0≤u0（x）；當(dāng)x∈?Ω時，v（x，t）＝0，且v（x，t）（在弱的意義下）滿足：

如果q＝m且aμ＞1，選取g（t）使其滿足：

同理可驗證v（x，t）是問題（1）的一個不熄滅下解.于是U（x，t）不可能在任何有限時刻熄滅.證畢.

注1 當(dāng)q＝m且aμ＝1時，易驗證對任意的k＞0，kφ1／m（x）是問題（1）的一個穩(wěn)態(tài)解.從而對任意光滑的正初值u0（x），問題（1）的最大解U（x，t）是不熄滅的.

［1］Vazquez J L.The Porous Medium Equation［M］.Oxford：Clarendon Press，2007.

［2］CHEN You－peng，XIE Chun－h(huán)ong.Blow－up for a Porous Medium Equation with a Localized Source［J］.Appl Math Comput，2004，159（1）：79－93.

［3］CHEN You－peng，LIU Qi－lin，GAO Hong－jun.Boundedness of Global Solutions of a Porous Medium Equation with a Localized Source［J］.Non Anal：Theory，Methods ＆ Applications，2006，64（10）：2168－2182.

［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 for a 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 Differ 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 Differ Equations，1994，19（7／8）：1107－1137.

［10］Ferreira R，Vazquez J L.Extinction Behavior for Fast Diffusion Equations with Absorption ［J］.Non 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，Velazquezj 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］LI Yu－xiang，WU Ji－chun.Extinction for Fast Diffusion Equations with Nonlinear Sources［J］.Electron J Differ Equations，2005，2005（23）：1－7.

［14］TIAN Ya，MU Chun－lai.Extinction and Non－extinction for a p－Laplacian Equation with Nonlinear Source ［J］.Non Anal：Theory，Methods ＆ Applications，2008，69（8）：2422－2431.

［15］YIN Jing－xue，JIN Chun－h(huán)ua.Critical Extinction and Blow－up Exponents for Fast Diffusive p－Laplacian with Sources［J］.Math Method Appl Sci，2007，30（10）：1147－1167.

［16］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.

［17］Anderson J R.Local Existence and Uniqueness of Solutions of Degenerate Parabolic Equations ［J］.Commun Partial Differential Equations，1991，16（1）：105－143.

［18］Protter M H，Weinberger H F.Maximum Principle in Differential Equations［M］.Englewood Cliffs：Prentice－Hall，1967.