1. 引言
波动方程是数学物理中最具吸引力的研究领域之一。它始于简单的小提琴弦的模型,并发展成用于研究各种各样的现象,近年来对其研究日益加深,因此波动方程的数学模型越来越复杂,对其挑战性问题也越来越多。其中对于波动方程解的存在唯一性,长时间行为已有广泛的研究 [1] [2] [3] [4] [5] ,并得出了吸引子及其结构。但是Chueshov和Lasiecha [6] 给出了一种新的方法研究吸引子的存在性和几何结构,并且可以得到解关于时间的正则性和广义指数吸引子的存在性等更好的性质。基于 [6] 的思想方法,Feng [7] 中考虑了Timoshenko-Coleman-Gurtin系统的拟稳定性和吸引子的存在性,基于 [6] [7] ,我们考虑下面的波动方程
(1)
其中
是一个正常数,设
是
中具有光滑边界
的有界区域。
设(1)中的函数
,且函数
满足下面的条件
(2)
并且存在
,使得
(3)
(4)
不失一般性,假设
。
方程(1)具有丰富的物理意义,如当
时,(1)为Sine-Gordon方程;当
为多项式时,(1)为量子力学中的非线性波动方程。
我们已经知道方程(1)的解决定了一个在空间
上的半群,对于该半群的动态性状我们已经有在H上存在整体吸引子,但是对于解关于时间的正则性和广义指数吸引子的存在性仍然没有得到,本文的目的就在于此。
2. 半群
在这一部分,我们将证明方程(1)确定一个半群,为了证明方便,将空间
中的内积和范数表示为
,
,
将空间
中的内积和范数表示为
,
引入内积空间
,将空间H中的内积和范数表示为
,
。
对任意
,
。
,
A的特征值为
满足
,且当
时
。
为了证明解的存在性,我们设
,则方程(1)可以改写为如下的一阶方程
(5)
设
,
,
,
则方程(5)可转化为如下形式
,
。 (6)
文献 [8] 中的定理2.1证明算子
是H上的一个扇形算子,并且生成H上的一个强连续半群
,由条件(2)~(4)容易验证函数
关于W是局部Lipschitz连续的,因此我们有下面的结果。
定理2.1:若假设(2)-(4)成立,则对任意
,方程(6)都存在唯一的柔和解
满足
,
且对固定的
有连续影射
,使得
证明:因为
是强连续半群,并且
关于W是局部Lipschitz连续的,解的局部存在唯一性容易得到,整体解的存在性由下面的引理3.2得到。由定理2.1可以知道
是一个半群。
3. 吸收集
在这一部分,我们采用Temam [1] 中证明吸收集的存在性的方法证明系统吸收集的存在性。
设
,其中
,因此方程(1)可写作如下形式
(7)
设
,
,
,
则(7)等价于
,
, (8)
由方程(8)可知,其解可以定义一个连续的算子半群
。
由于
,其中
是H上的一个同构,于是我们将对
的研究转化到对系统(8)以及
的研究上来。
下面介绍一个辅助引理,它是证明吸引子存在性的核心工具。
引理3.1:对任意的
,有
。
证明:在H中
,
由Green第二公式以及零边界条件可得
。
由于
,
,
因此引理成立。
引理3.2:对H的任意有界集B,存在一个常数
和
,当
时,对任意
,有
。
证明:在H中,取
与方程(8)两边在H中做内积,并结合引理3.1可得
。
由(2)和(3),存在常数
,使得
, (9)
, (10)
由(9)和(10)可得
,
由Cauchy-Schwartz不等式可得
,
因此有
。
由(10)可得
,
由Gronwall’s不等式可得
,
其中
。
设
,由(4)和Sobolev’s嵌入定理,则存在
,使得
。
因此
。
设
,
故结论成立。
定理3.3:对半群
存在H上的有界吸收集
,使得
,
其中的
的半径为
,
。
4. 动力系统的拟稳定性和渐进光滑性
在这一部分,我们将会讨论动力系统
是拟稳定的并且是渐近光滑的。
假设4.1:设X,Y是两个自反的Banach空间,且X紧嵌入Y,我们定义
。考虑由发展算子
,
, (11)
给定的动力系统
,其中函数u具有正则性
。 (12)
定义4.2:动力系统
在集合
上称为拟稳定的:如果在X上存在紧的半范数
和非负内积函数
,
和
使得
(i)
,
在
上局部有界,
(ii)
且
,
(iii) 对任意的
和
下面的关系成立:
, (13)
且
。 (14)
引理4.3:假设B是空间H中的一个有界集,则存在常数
和
使得
, (15)
其中
是方程(8)在B中关于初值条件
的解。
证明:对任意的
,其中假设B是空间H中的有界集。设
,是关于初值条件
的两个弱解。我们定义
,且
,则满足
。 (16)
由Dirichlet边界条件和初值条件
并取
与方程(16)两边做内积结合引理3.1,我们可以得到下面的不等式
。
由(4)、Holder不等式、Young不等式以及Sobolev嵌入定理可得
,
可得存在常数
,使得
,
结合Gronwall’s不等式
,
我们有
。
因此得到(16)。证毕。
定理4.4:动力系统
在任意有界正向不变集
上是拟稳定的。
证明:因为动力系统
是方程(8)的解半群确定的。因此当
时(11)~(12)成立。此外,由解的存在性我们容易得到条件(13)成立。
设
关于
的有界正向不变集。设
是方程(8)关于初值条件
在B中的解,我们定义半范数
,
其中
。由紧嵌入定理
,我们可知
在X上是紧的。由引理4.3可以推断出
,
其中
,
。可以得到
并且
。
因为
是有界的,我们可知
在
上是局部有界的。因此拟稳定不等式成立,即动力系统
在任意正向有界不变集
上是拟稳定的。
定理4.5:假设动力系统
在每个正向有界不变集
是拟稳定的, 则动力系统
是渐近光滑的。
证明:定理的证明由Chueshov和Lasiecka [6] 中定理7.9.4给出。
5. 全局吸引子和广义指数吸引子
在这一部分中,我们将证明整体吸引子和广义指数吸引子的存在性。
定理5.1:假设(2)~(4)成立,则由方程(9)生成的动力系统
具有一个紧的全局吸引子A并且维数是有限的。
证明:由定理4.5,我们可得动力系统
是渐近光滑的,则由引理3.2和定理4.3,我们可以得到问题(8)具有紧的全局吸引子A,且A是有限维的。
定理5.2:假设(2)~(4)成立,则动力系统
具有一个广义指数吸引子
,并且在广义空间
中是有限维的
证明:因为动力系统
在B上是拟稳定的,对具有初值条件
的解
,我们可以由B的不变性知,存在
使得对任意
,
,
因此,对任意的
,
(17)
由(18)式,对任意
,映射
在广义空间
是Holder连续的,则我们可得到存在指数吸引子并且在空间
中是有限维的。
基金项目
本研究得到国家自然科学基金(项目编号:71273214)的资助。