1. 引言
本文主要考虑如下形式的非线性反应扩散方程
(1)
非线性反应扩散方程广泛应用于流体在多孔介质中的运动规律,如生物科学,燃烧理论,流体力学,固体力学和热传导等领域 [1] [2] 。1980年,Aifantis指出经典的反应扩散方程
忽略了固体扩散过程中的粘性,弹性和压力等影响因素,不能全面包含反应扩散方程的诸多方面 [1] 。而Aifantis进一步研究发现,该能量方程的具体构成虽然可以揭示扩散的全部过程,但也跟扩散物质的性质紧密相连。例如,固体母质有无弹性,压力,粘性或记忆等,其相应的方程都是不一样的。Aifantis通过研究更多实际问题,最终建立了非经典的反应扩散方程
后来非经典反应扩散方程的全局吸引子和指数吸引子的存在性问题受到许多教学工作者的关注 [3] - [8] 。在文献 [9] [10] 中Temam和Robinson研究了如下方程的全局吸引子
而对于问题(1)指数吸引子的存在性还没有任何结果,类似于文献中构造挤压性的方法,本文将进一步研究f满足如下条件时该方程指数吸引子的存在性问题,其中方程中含有的导数项使得证明系统的指数吸引子更为复杂,同时也使研究更有意义。
在方程(1)中,其中
是具有光滑边界的有界区域,
为正常数,f满足任意多项式增长,且
,
是弱导数,
(
;
仅依赖于
),且
我们假设f满足如下的结构性条件:存在正常数
以及l有
(2)
(3)
2. 预备知识
2.1. 常用空间
记
,
与
分别表示H中的内积和范数,用
表示V的范数。
2.2. 基本定义及定理
定义2.1 [11] 我们称半群
存在指数吸引子是指由这样的紧子集M满足:
为
的指数吸引子如果:
1) M有有限的分形维数;
2) M为正不变集
,
;
3) M为算子半群
的指数吸引集,即存在常数
使得对任意的
,
其中
表示两个集合间的非对称Hausdorff距离。
定义2.2 [11] 映射
被称为在子集
上满足挤压性,如果存在E的有限维子空间
以及正交投影
,使得对
或者
成立。
引理2.3 [11] 若
有界,
是E上的半群,如果存在
,使得映射
满足定义2.2中的挤压性,则称半群
在B上满足离散挤压性。
引理2.4 [11] 假设映射
是Lipschitz连续映射,
是一非空紧的正不变子集,如果S在
中满足定理2.3中的挤压性,则半群
在
中存在一指数吸引子
。
3.
中的指数吸引子
引理3.1 设
是具有光滑边界的有界区域,f是
函数,
,且满足式(2)和(3),
(
;
仅依赖于
),
是弱导数。则对于任意初始值
和
,系
统(1)都存在唯一的弱解
满足
并且
关于初值
在H中是连续的。
证明 利用标准的Fatou-Galerkin方法可证明方程(1)的弱解的存在唯一性。具体可参考文献 [12] - [17] 等。
根据引理3.1可得,系统(1)的解可表示为:
其中
单参数族算子
满足性质:
;
(恒等算子)我们称
为系统(1)对应的半群。进一步,若
连续,则
为连续半群。
引理3.2 设
是具有光滑边界的有界区域,f是
函数,
,且满足式(2)和(3),
(
;
仅依赖于
),
是弱导数。则由问题(1)生成的连续半群
在H中存在有界吸收集
和全局吸引子A。
因此
是H中正的紧不变集。
引理3.3 [11] 存在
和
,对于任意有界集
,有:
由引理3.3我们可以得到以下引理:
引理3.4 存在
,有:
证明 对系统(1)关于时间t求导,且令
有:
(4)
对上式用
作用,结合结构性条件(2)可得:
(5)
结合Gronwall引理,引理得证。
引理3.5 设
是具有光滑边界的有界区域,f是
函数,
,且满足式(2)和(3),
(
;
仅依赖于
),
是弱导数。
是满足初始条件
的系统(1)的两个解,故下式成立:
(6)
证明 令
,则
满足:
(7)
用
与式(7)在H中作内积
(8)
即:
(9)
由结构性条件(2):
(10)
故有:
(11)
根据Gronwall引理可得:
(12)
引理3.6 假设引理2.5的条件满足,则对任意的
,映射
在
上是Lipschitz连续的。
证明 对任意的
,我们有:
(13)
上述不等式的第一项可用引理2.5估计。再由引理2.4,我们可以得到如下估计:
(14)
因此
(15)
其中
。
引理3.7 假设f满足结构性条件(2)和(3),
是系统(1)关于初值
的两个解,则系统(1)生成的半群
满足离散的挤压性,即:存在
和
使得当:
则有
证明 由于算子
是自伴的有紧逆的正算子,由经典的谱理论,存在一列特征值
,使得当
时
在H中存在特征向量
组成的一完全集,使得对应的特征值满足:
(16)
令
则
是正交投影,记
是在
上正交完备化的正交投影,
。假设
。
用
与式(7)在H中作内积,
(17)
即:
(18)
由结构性条件(2):
(19)
由(18) (19)式可得:
(20)
根据引理3.5和Poincare不等式可得:
(21)
又因为
,我们可以得到:
(22)
记
,有:
(23)
由Gronwall引理可得:
(24)
故:
(25)
设
,使得
,固定
,且N足够大,使得
。有:
(26)
定理3.8 设
是具有光滑边界的有界区域,f是
函数,
,且满足式(2)和(3),
(
;
仅依赖于
),
是弱导数。则系统(1)生成的半群
在V中存在指数吸引子M。
证明 由引理3.7可得,存在
使得
满足离散的挤压性,由文献 [11] 中定理1.1可知,存在指数吸引子
,设:
又由引理3.6可得:
从
到B是Lipschitz连续的,由文献 [11] 中定理2.1可知,M为
相应的指数吸引子。
基金项目
国家自然科学基金(11872264)。
NOTES
*通讯作者。