考虑方程(2.1.1)在空间V上的微分
其中
对任意T>0,方程的解U∈C([0,T];V )的存在性可以按照文献[44]中处理确定方程的方法类似得到.易看出方程(2.1.1)定义的流函数S(t,w)具有性质:映射 是可微的,且对任意 ∈V,微分形式 就是方程(2.2.1)的解.
给出体收缩之前,下面的两个定理是关键的.
引理2.2.1 对V中任一元素族 ,我们有
其中ϑ j (j=1,···,d)是V中Span[U 1 ,···,U d ]空间的单位正交基.
证明 :类似文献[8],我们假设 线性独立, 不失一般性,我们直接假设 在V中是单位正交的.若 不是正交的,由通常的Gram-Schmidt变换,可以找到单位正交列 .因此我们有
和
进一步,因为 和 的线性性,可以推出
引理2.2.2 若 ∈V,把 记作 =1,···,d.则 =1,···,d,是方程(2.2.1)~(2.2.2)的解且满足
证明 :对ϕ∈V,重写
运用Poincaré不等式可知上述范数与先前定义的∥·∥ 1 范数是等价的.
对时间微分可得
最后证得
注 2.3: 需要指出,由于SNSV方程较Navier-Stokes方程多了正则项(−α∆v t ),线性初值问 题(2.2.1)~(2.2.2)与文献[8]第V.2.3 节的有所不同,文献[8]中对任意d∈N有
其中 =χ(τ )=(v(τ ),θ(τ ))且 是从V到由 ,···, 张成的空间的正交 投影.这与(2.2.7)有所不同.
下面给出体收缩.
定理2.2.1 记S是方程(2.1.1)~(2.1.3)生成的随机流, 是全局随机吸引子,存在正整数d和t>0 满足
我们有
故可得,对t>0,
运用v(τ )= ∈ 和定理2.1.4,进一步,由 的遍历性,我们可得
接着,我们有对任意t>0, ⩽ .
回顾 的定义,我们得到
对给定t>0,d充分大,推出 < 1.
定理2.2.2 SNSV方程(2.1.1)~(2.1.3)全局随机吸引子的Hausdorff维数是有限的.
证明 :由定理2.2.1 可得,存在正常数d满足
这是满足定理1.1.3 条件的一个估计.
从定理2.2.1 的证明中看出,对特殊情况d=1,
由此条件 ∈ 也满足.最后我们证明对任意给定t>0,有 在 意义下趋于0.
和
于是有
可以推出
运用Gronwall引理,有
对方程(2.2.17)关于u−v做内积,得
我们得到
由(2.2.18)~(2.2.19),有
其中c(t)>0 依赖于 t.回顾gδ(t)的定义,可以看到其在 意义下趋于0.故由定理1.1.3 可证.