1. 引言
反应扩散方程行波解是反应扩散方程中一种特殊的解析解,展示了在空间中持续传播的波动性质。行波解在自然界的各种动态过程中起着关键作用,例如在生态学、化学和物理学领域等。这些解具有一定的空间和时间结构,在空间中以恒定速度传播。行波解的形式通常是
,其中
是关于
的特定函数,而c则代表波速。行波解一直是人们研究的重要课题之一,具体可参看文献 [1] [2] [3] 。行波解的特殊性质使其在方程中具有重要的意义,因为它们展示了物质传播的稳定性和动态行为。
就反应扩散方程而言,较为基础性的问题是研究方程行波解的存在性,通常证明解的存在性的方法为上下解结合不动点定理或者相平面分析法,具体可参看文献 [4] [5] [6] [7] [8] 。关于双稳型反应扩散方程解的稳定性,通常运用半群理论、最大值原理与能量方法,相关结果可参看文献 [9] [10] 。
1997年,文献 [11] 研究了一维情形的双稳型反应扩散方程
其中,
且满足
,他们证明了方程存在唯一行波解
满足
并且行波解
具有渐近稳定性。
文献 [12] 研究了在具有变漂移系数的半线性反应扩散方程,漂移系数对解的长时间行为的影响。她的
研究结果表明,当反应项f满足
和
时,则下列方程
的解
是增长的,那么对一些辅助函数
和常数
,有以下的渐近行为
文献 [13] 证明了对于不带有漂移系数的时间周期反应扩散方程
解的存在性、唯一性与稳定性,证明了其时间周期行波解
满足
其中,行波解
和速度c仅依赖于反应项f,并且c的符号与
的符号相同。且当
时,若初值
满足
和
,则对于一些常数
,解
满足
受到文献 [12] 和 [13] 的启发,本文主要研究如下时间周期反应扩散方程的初值问题
(1)
其中,
。假设在
关于t是周期的,也就是说,存在
,使得
。接下来,假设
在
上是双稳型的,也就是说存在一个周期函数
,使得
并且对于任意的
,函数f满足,在
上,
;在
,
且对于任意
,有
即,0和1是
的稳定零点。也就是说,存在
和
,使得,在任意
,有
, (2)
现在,我们来做一些技术性的假设
也就是说,
。并且,我们假设方程(1)的解
是增长的,即,当
时,解
局部一致趋近于1。
本文的工作是研究方程(1)的解的长时间行为。
2. 主要结论
定理1.1 如果
,并且方程(1)的解
是增长的,那么对于一些常数
,则有
其中
是行波解,c为传播速度。运用于−x轴方向上也有类似的结论。
为了更好的证明定理1.1,本文将会引用文献 [9] 中的一个辅助函数,并且运用文献 [13] 的一个估计。
现在给出
可知,
是递增函数,并且满足
和
因为
和
,那么存在
,使得
(3)
和
(4)
因为
,则存在
,使得
(5)
我们从文献 [13] 中可知,存在常数
和
,使得
取
现在,我们给出解
在初值条件下的上解与下解。
和
其中,
并且,对于
和
为常数时,有
。
引理2.1 对于任意
,
(i) 如果有
和
则有
(6)
(ii) 如果有
则有
(7)
证明:(i) 当
和
时,我们定义
现在,我们首先验证初值条件。将
代入
,可以求出
再验证边界条件,当
和
的时候,可以得出
接下来,仅需要证明
当
和
时候,使得
。
可以得到,
其中,
和
的取值为
。
当
和
时,使得
,可以得到
和
通过
,且根据(1.2)可得,
根据
和
,可以得到
对于
和
,使得
,那么可以得到
。
因此,现在取C充分大,使得
对于
和
,使得
,有
和
现在,可以从(2)得到,
根据
和
,可以得到
因此,综上所述,
。
至此,完成了引理2.1 (i)的证明。然后,可以从比较原理得出(6)。
对于(ii)的证明,与证明(i)的方法类似,可以证得
。
引理2.2 设
是(1)的解,且它是增长的。那么,对于任意
,存在常数
,使得
证明:令
,并且
。可以根据比较论证和常数
,证得
(8)
现在取
然后取
,使得
其中,
,
和a分别由(2)和(5)定义。现在取
,使得
当
和
时,定义
下面,将要证明
是(1)的一个下解。
根据(6),并且由于
,所以存在
,使得
和
可知,当
时,则有
和当
时,有
。那么,只需要证明当
和
时,有
且
通过计算,可以得出
其中,
和
取值于
。接下来,运用(3)中所定义的M,可以得到,当
和
时,使得
和
,有
和
。
因此,
由于
,则可得
。当
和
时,使得
,则有,
。那么,可有(8)得出
综上所述,由比较原理可知,当
和
时,
由此可得,(8)成立。这就完成了证明。
现在准备证明定理2.1。
证明:设
是(1)的解,固定
,因为
且
,使得当
,
,其中T为周期且
时,
有
通过引理2.1,可知,当
和
时,有
通过引理2.2,可知,当
,
,使得
再根据引理2.1,可知,当
和
时,
又因为
,那么存在常数
和
,使得当
和
时,有
(9)
取序列
,使得
。再令
通过(9),可得,当
和
时,
再通过抛物线估计,当
和
时,序列
局部一致收敛到方程
的整体解
,可以得到,当
和
时,有
那么,从文献 [13] 所得的关于
的稳定性结果可以知道,存在
,
使得
所以,对任意
,存在
,有
通过引理2.1,可以得到对
和
,有
其中,
。那么,当
充分大时,
可以任意小,并且由于r可以任意小和
有
界,可得,当
且
充分大,有
足够小。故,可得
这就完成了证明。