1. 引言
在过去的几十年里,耗散系统的定性性质及其演化过程的研究受到了极大的关注。在众多用于刻画解的渐近性态的概念中,吸引子是重要的概念之一,它包含了系统的解的所有可能的极限状态,极大地提高了动力系统解的定性性质的理解。对于由具体方程诱导的动力系统,特别是热传导方程、波动方程等,它们的解的长时间行为都已成功地用研究吸引子的方式得以刻画和描述。本文将概述一类波动方程模型的全局吸引子相关结果,这些结果及其证明来自于文献 [1] [2] [3] [4] [5] 以及其中的参考文献。
2. 预备知识
定理2.1 ( [4] )令X是一个Banach空间,其范数记为
,
是X上的半群。假定对于每个
,存在分解
且对于X中的有界子集B,存在
使得:
1)
是相对紧的对于所有的
;
2)
对所有的
成立,且
当
。
那么
是渐近紧的。
3. 波动方程模型以及全局吸引子的构造
给定
,考虑如下波动方程:
(3.1)
其中
是
中有界光滑定义域。
令
是带有Dirichlet边界条件,易知A是正定的、自伴算子且有定义域
,因此
在
上生成了一个解析半群(具体可参见 [4] , 6.5节)。记
是与算子A相关的分数阶空间,也就是
且赋予了图像范数,详细可见( [4] , 6.4节),并且记
。
问题(3.1)可以写成一个发展方程的形式且定义在空间
中( [1] [4] ):
(3.2)
其中
和
有如下形式:
,对于
,
,对
和
,
且F是与f有关的Nemytskii算子,即
。在Y中关于(3.2)的线性问题变为:
当
时对应于弱阻尼波动方程,当
时对应于强阻尼波动方程。对每个
,算子
生成了一个强连续的半群
。若
,
可以成为一个群,对于
,
不能成为一个群,但是可以用如下方式描述:
1) 若
,
生成了一个Gevrey类
的半群,因此它是可微的(参见 [5] ),
2) 若
,
生成了一个解析半群(参见 [6] )。在 [7] 中作者给出了
的一个分数次定义域的刻画,也就是分数阶空间
,
。
对于Hilbert空间情形
在参考文献 [2] [8] 中有相应的结果;对于
,这个问题也可以通过空间
来解决(参见 [9] )。
关于方程(3.1)的局部适定性,如下结果成立:
定理3.1 ( [3] )若f满足
(3.3)
其中
当
和
当
,那么方程(3.1)在空间
是局部适定性的。若
的条件中严格不等式成立(即次临界增长),(3.1)的解要么全局存在,要么有限时间在
中爆破。
从参考文献 [2] 的结果,方程(3.1)相关的半群在合适假设下存在全局吸引子,即如下结果成立:
定理3.2 假设f满足(3.3),
当
和
当
,且有耗散条件
(3.4)
那么问题(3.1)存在全局吸引子。
对于临界增长情形
当
,
当
,当增加额外假设并确保非线性变分公式的有效性,则可由文献 [1] 中的方法处理(也可参见 [2],4.3节)。
在定理3.2的假设下,可以得到方程(3.1)的全局可解性,且有
,这表明(3.1)的解满足
(3.5)
其中
不依赖于
选取,
(3.6)
和
是局部有界函数且与
选取无关。我们记
是方程(3.1)的解算子。
从估计式(3.5)中,还可以得到Y的有界子集的轨道是有界的。根据
,得出映射
是紧的。再加上半群
的指数衰减性,确保了
的渐近紧性(参考定理2.1),
从而在空间Y中,定理3.2中全局吸引子存在性可由标准的无穷维动力系统吸引子理论得到,见 [4]。
从以上分析和计算过程来看,对于具体的波动方程模型,根据耗散情形,重点和难点是构造其全局吸引子的存在性,作为强大的理论工具,全局吸引子的应用越来越广泛 [10] [11] [12]。