1. 引言
早在1966年，在文献 [1] 中，Fujita, H.就已经对简单的半线性抛物方程
进行解的性质分析，并研究它的爆破解。此后，对于半线性抛物方程解的爆破性质研究吸引着大量的学者，在1986年，文献 [2] 中，Aguirre, J.，Escobedo, M.在前一个方程的基础理论之上，继续研究
，作者采用正则化，比较原理等方法进一步分析爆破解的性质。文献 [3] 中，Escobedo, M.，Herrero, M.A.对半线性抛物方程的有界性及爆破解的性质进行了研究。文献 [4] 中，Escobedo, M.，Herrero, M.A.对半线性抛物方程的指数进行了分类，研究其方程爆破解的性质。文献 [5] 中，Ferreira, R.，de Pablo, A.，Pérez-Llanos, M.，Rossi, J.D.讨论了半线性抛物方程的指数变量。文献 [2] [3] [4] [5] 对于基础模型的半线性抛物方程的研究极为透彻，是本文创作的理论基石。文献 [6] [7] 为本文的证明提供了有效的方程性质。
国内对于半线性抛物方程的爆破解的研究成果有很多，但绝大多数并没有建立一套分析半线性抛物方程的手段。近几年来，关于半线性抛物方程爆破解的研究论文层出不穷。在文献 [8] 中，陆求赐，江秋香进行了关于带时滞的退化半线性抛物方程组解的爆破解研究。在文献 [9] 中，凌征球，覃思乾关于非线性非局部边界条件的半线性耦合抛物型方程组的爆破解进行了研究。文献 [10] 中，旷雨阳，王东就一类半线性抛物方程弱解的爆破性进行研究。文献 [11] 则给出了在猝灭时刻解对时间导数的爆破性。文献 [12] 中，刘洋，达朝究，李富明关于Nehari流形在一类半线性抛物方程爆破中的应用进行了一系列研究。本文通过对抛物方程的指数函数类型的讨论，来研究方程的解是否具有爆破性质，这一方法可以说为抛物方程解的性质分析开辟了先河。
2. 方程介绍
在本文中，考虑该半线性抛物方程组：
(1.1)
是
上的一个有界光滑域，
，
(且不恒等于0)，
，此外：
(1.2)
当
有一个为常量时，(1.2)式一定成立。引入下列表示：
本文的目的是：证明变量指数函数
满足的条件，使得所研究的半线性抛物方程的解具有爆破性。进一步证明该方程满足一个Fujita类型的结论，即方程的解可以在变量指数函数和域的大小这些条件确定的任意非平凡初始数据中产生爆破。
3. 方程与解的处理
本节介绍方程解的正则化处理与(1.1)式的相关比较原则。首先考虑正则化问题：
引理2.1 存在
，使得正则化问题：
(2.1)
存在唯一非负解
。
证明：应用一般性的方法 [2] [3] 。构造：
(2.2)
和
是关于
在
满足利普希兹连续。
(2.3)
(2.1)，(2.2)，(2.3)一直遵循：
通过比较原则得到：
。因此：
(2.2)中的
和
满足利普希兹条件，(2.3)的非负解具有存在性和唯一性 [6] 。
我们根据(2.3)中解
的比较原则，假设
是(2.1)的一个非负下解，即：
(2.4)
当
，定义
若
，我们得到
，因此：
当
，
，则
。
综上，可以得到：
，则：
(2.5)
同样得到：
，则：
(2.6)
根据(2.1)，(2.4)到(2.6)可以得到：
(2.7)
因此，通过比较原则
适用于
[7] ，并且比较原则同样适用于
。
考虑(1.1)式局部最大解的存在性。
定理2.1对于某些
，问题(1-1)在
中具有非负最大解，可表示为
。此外，若
为(1.1)的下解，
为(1.1)的上解，且
，
则在
上， 
证明：
，让
成为正则化问题(2.1)的唯一解。引理2.1的比较原则暗指解
具有单调性。当
，
的极限表示为
。则
就是(1.1)的解。 [3]
在引理2.1中，正则化的比较原则表示上述
是(1.1)的最大解。对于(1.1)的下解
，通过引理2.1的比较原则可以得到：当
，
，因此：
。此外，因为
，
，所以
，当
满足引理2.1使得
。因此
。
在后文中，(1.1)的解总是表示(1.1)的最大解。
4. 大初始数据的爆破
定理3.1 若
，则(1.1)式存在一个爆破解。
引理3.1 [4] 对于任意非负可积的函数
，可以得到：
引理3.2 [5] 设
是在
上的一个正测度，且
，并且
若
，则对某些
，有
证明：由于
，我们认为存在一个球域
，分为两种情况：
(i)
对于
，
(ii)
对于
。
当
时，两种情况显然成立。否则，
，使得(3.2)中
因此，
，在
的邻域中，
或者
。引入下列表示：
我们将证明两种情况下的结论 [4] [7] 。
情况一：当
，设：
(3.1)
为第一特征值，
为相应的本征函数。在
中，归一化后，
令：
利用Jensen不等式：
类似的：
因此，
满足：
当
时，
解趋于无穷大，即存在爆破解。
情况二：当
或
，设
足够大，则：
(3.2)
在
中，
是椭圆问题
的唯一解。我们可以得到：
通过引理3.1，我们推断：
因此：
(3.3)
引用了Fubini的理论，(3.3)等式两侧同乘
，令
，我们得到：
考虑常微分方程问题：
(3.4)
令
，(3.4)式的唯一解表示为：
也可以表示为：
通过(3.2)式的引理3.2，我们可以得到：
我们令
，得到：
(3.5)
(3.5)等式两侧同乘
，然后两侧同时从
到1进行积分。我们可以得到：
(3.6)
另一方面：
因为
，我们得到：
由于
，若
(3.6)中在区间
上
。因此，当
，
足够大时，
会产生爆破。
5. 任意初始数据的爆破
本节讨论(1.1)的Fujita类型结论 [4] 。
引理4.1 假设
，并且
或者
则对于任意
，并且
，存在一个与
无关的正常数
，有
证明 [4] ：只考虑
的情况，另一种
的情况可以同样处理。假设
，根据比较原则，用
表示狄利克雷热内核，得到：
其中
因为
，我们通过比较原则
得到：
因此：
(4.1)
进而：
因此，通过用于证明文献 [4] 中引理2.3的方法，我们可以得到：
其中
并且
，则：
在
上，
在
上，
在
上。
令：
，
则
同样的：
设
证明完毕。
推论4.1 在引理4.1的假设下，对于任意的
，存在
使得：
证明：令
，并且
则可以得到
通过引理4.1，我们可以得到：
因此，存在
使得：
其中：
，
当用
替换
，
为(3-1)的解。
通过简单计算，我们可以知道当
足够小时，解
是下面方程的一个下解：
(4.2)
该推论得到的结论为：
引理4.2假设在球域：
满足引理4.1的假定，则存在
使得(1.1)式的解满足：
，其中
并且
，
与
无关，其中
证明：假设
。构造：
我们得到：
同样的，
。因此
是下面方程的一个上解：
(4.3)
此外，应注意
满足引理4.1的假定，并且推论4.1的
也满足。得到：
对于一些
并且独立于
。结论是：
定理4.1假设
和
是定义在单位球
上函数，
在这个单位球变号。如果
足够大，使得当
足够大时，
。对于任一简单的非负初始数据，当
时，
，(1.1)式的解在有限时间内是爆破的。
证明 [5] ：假设
。当
和
足够大时，会出现一个球域
，对于任意
，满足
和
(或者
)；会出现一个球域
，对于任意
，满足
。这个假设与(1.1)式的解
在
下是全局解的结论矛盾。通过引理4.2，对于一些
，并且
，我们得到：
不难检验出解中的
是下面方程的一个上解：
(4.4)
设
为(4.4)的稳态解。明显地，
一致收敛于
，因此：当
，而
时，
。在
上，当
时，
是(3.1)的第一个规范化的特征函数。因为在
上，
。其中当
时
单调趋于
，我们知道当
时，无论
是否足够大，
一定成立。同样
的结论同样成立。我们由定理3.1得到(1.1)式的解在
足够大时，在一定时间内会产生爆破现象。
基金项目
国家自然科学基金资助项目(11661059)。