一类广义非线性非局部高阶 Kirchhoff型方程的整体吸引子

(整期优先)网络出版时间:2020-05-10
/ 4

一类广义非线性非局部高阶 Kirchhoff型方程的整体吸引子

卢京鑫

(云南大学旅游文化学院信息学院 , 丽江 674199)

摘要:本文主要讨论了高阶kirchhoff方程的整体吸引子,对于低阶kirchhoff方程的整体吸引子,已有相当的研究.本文在低阶型kirchhoff方程研究的基础上,研究了一类广义非线性高阶kirchhoff型方程的整体吸引子.首先,在对高阶kirchhoff方程中的非线性项做出合理的假设下,得到方程的整体解和吸收集,然后由整体吸引子的判定定理(渐近紧性),得到此类高阶kirchhoff方程的整体吸引子.

键词:高阶Kirchhoff方程;整体解;吸收集;整体吸引子

中图分类号:O175

Global Attractor for a Class of Generalized Nonlinear nonlocal Higher-Order Kirchhoff Type Equations

LU Jingxin

(1Department of Information, Tourism and Culture College of Yunnan University,Lijiang,Yunnan 674199

2School of Mathematics and Statistics,Yunnan University,kunming 650500,yunnan,China)

AbstractIn this paper, we mainly discuss the global attractor of higher order Kirchhoff equation. For lower order Kirchhoff equation, the global attractor has been studied considerably. In this paper, the global attractors of a class of generalized nonlinear higher-order Kirchhoff equation are studied on the basis of the study of lower-order Kirchhoff equation. Firstly, under the reasonable assumption of the non-linear term in the higher-order Kirchhoff equation, the global solution and the absorbing set of the equation are obtained. Then, the global attractor of the higher-order Kirchhoff equation is obtained by the determination theorem of the global attractor (asymptotic compactness).

Key wordsHigher-Order Kirchhoff equations;global solutions;absorbing set;global attractors

1 引言

本文研究下列非线性高阶Kirchhoff型方程的整体吸引子:

5eb76e24e4755_html_9c35bff1a6a61e19.gif (1)

5eb76e24e4755_html_c43a35d48a273f26.gif (2)

5eb76e24e4755_html_262cc298baad62ea.gif (3)

其中5eb76e24e4755_html_4b29ca4ea19ef9dc.gifRN中具有光滑边界的有界域,而有关5eb76e24e4755_html_7cd6dd7caa65fd68.gif 的假设将在后文中给出.

1883年Kirchhoff在研究弹性横截面运动时,建立了下列方程

5eb76e24e4755_html_1441eb0773f11db.gif ,

作为描述该运动模型,其中5eb76e24e4755_html_f6d8b0323c9227c0.gif 是形变静止能量的一部分.此方程比经典波动方程更准确的描述了弹性杆运动.因此后人将此类方程命名为kirchhoff方程.

关于低阶kirchhoff方程已有很多深入的研究[1-11],Yang Zhijian[1]也研究了在5eb76e24e4755_html_d47a9dbb49128d9.gif 中具有强阻尼项的Kirchhoff型方程的长时间行为:

5eb76e24e4755_html_a7c036fe4fb8f6ed.gif , (4)

其中5eb76e24e4755_html_8083593968382080.gif , 5eb76e24e4755_html_cc17a8ab7355c856.gif . 5eb76e24e4755_html_1ca29fb9b2fe09e8.gif 是具有光滑边界5eb76e24e4755_html_3ab8e10fa0294ce4.gif 的有界域,5eb76e24e4755_html_ffab68c1f967c4b6.gif 是一个外力项。文章证明了有关连续解半群5eb76e24e4755_html_c55363aaf6f4d592.gif 拥有整体吸引子,同时存在有限分形维数和Hausdorff维数.

Igor Chueshov[2]研究了下列具有非线性强阻尼的Kirchhoff波方程的长时间行为:

5eb76e24e4755_html_61cb6f9fc01524d9.gif , (5)

Penghui Lv,Jingxin Lu和Guoguang Lin[3]证明了下列广义非线性Kirchhoff方程的整体吸引子:

5eb76e24e4755_html_3d86ae9bdb077234.gif , (6)

该文得到了半群5eb76e24e4755_html_c006c0dee3d90dc.gif 在空间5eb76e24e4755_html_b4aac8412457d9ce.gif 中存在整体吸引子,同时Penghui Lv,Xiaojun Lv[4]在文献[3]的前提下进一步证明了半群

5eb76e24e4755_html_c006c0dee3d90dc.gif 存在5eb76e24e4755_html_723b16f5f3f24c45.gif 整体吸引子.Penghui Lv,Jingxin Lu[5]在文献[3]的基础上证明了下(1.6)的惯性流形吸引子.

整体吸引子是研究具有耗散项的非线性发展方程的渐近性行为的基本概念,关于低阶kirchhoff方程的整体吸引子问题已经有很多深刻的结论,但是关于高阶kirchhoff方程的整体吸引子的研究相对较少[12-14].

最近,Yuting Sun, Yunlong Gao, Guoguang Lin在文献[12]中讨论了下列高阶kirchhoff方程的整体吸引子:

5eb76e24e4755_html_2ae82158fa7a846f.gif , (7)

Yunlong Gao, Yuting Sun, Guoguang Lin[13]研究了下列具有强线性项的高阶非线性kirchhoff方程的整体吸引子:

5eb76e24e4755_html_12c032a4255b64aa.gif , (8)

同时该文还对Hausdorff 维数和Fractal维数进行了估计.

为方便读者,本文结构如下:在文章第2部分中,给出主要记号和主要整体吸引子的相关理论和结论.第3部分,我们证明了方程整体解得存在性.第4部分,我们证明了方程对应的算子半群5eb76e24e4755_html_37cae6bba05d274c.gif 在相空间5eb76e24e4755_html_c548bffe74f8491a.gif 中存在整体吸引子.

2 记号和主要结论

为叙述方便,引入下列符号:

5eb76e24e4755_html_bebe07a6c73dc363.gif

5eb76e24e4755_html_f6876f03f7bfc2fc.gif .

其中5eb76e24e4755_html_6124bf66199212a5.gif5eb76e24e4755_html_35a73961f9cc28.gif5eb76e24e4755_html_621c08cd9aed3199.gif 的共轭空间,p´=p/(p-1).5eb76e24e4755_html_8132ab26695da844.gifL2-内积下的Sobolev空间,同时5eb76e24e4755_html_57ddfb3445f6d147.gif 表示5eb76e24e4755_html_b340b987bbe59639.gif5eb76e24e4755_html_8132ab26695da844.gif 中的闭包(5eb76e24e4755_html_75485a7ca3a05c78.gif ),符号5eb76e24e4755_html_f95ce4ce28f1b508.gif 表示H-内积.

定理1 假定:5eb76e24e4755_html_7097394f9cbd40ea.gif ,正常数5eb76e24e4755_html_460a34c4be50d63b.gif

5eb76e24e4755_html_4edef9952c5f897.gif5eb76e24e4755_html_92ca7e0794bcdf00.gif5eb76e24e4755_html_61acf517a7dd4a48.gif5eb76e24e4755_html_6dfa61dbf1661fe2.gif

5eb76e24e4755_html_a982d6fd49a68d5a.gif5eb76e24e4755_html_bb29248008b9f4c8.gif

5eb76e24e4755_html_4683dec3396913ca.gif5eb76e24e4755_html_5f1158ff61208d2c.gif

5eb76e24e4755_html_6f0cf092710f3e19.gif5eb76e24e4755_html_5296f5e62e72579f.gif

5eb76e24e4755_html_c0b8ba4781fc8e47.gif5eb76e24e4755_html_19489c489f79b8b8.gif

5eb76e24e4755_html_8064fe6bb4130b79.gif5eb76e24e4755_html_bdf95c4fd5934097.gif

5eb76e24e4755_html_c536177a0bec9dcc.gif5eb76e24e4755_html_5c248edc10e06e56.gif

5eb76e24e4755_html_7058ffccd9ae8155.gif5eb76e24e4755_html_c43d97d3b7aa068a.gif

5eb76e24e4755_html_d209ea46f67a7236.gif5eb76e24e4755_html_5b8d9961d659b2f4.gif

则问题(1)~(3)存在唯一整体解5eb76e24e4755_html_101af2da6a4d3b37.gif5eb76e24e4755_html_99e95a8c941a7e07.gif .

定义映射5eb76e24e4755_html_b67a3a744afbd1b6.gif ,其中5eb76e24e4755_html_d182533c5a187e31.gif 是问题(1)~(3)的解.根据定理1,5eb76e24e4755_html_f7684a34092aef39.gif 构成在5eb76e24e4755_html_2eaff33918f6449e.gif 上的连续算子半群.

引理1[6] 5eb76e24e4755_html_20842d19b788646d.gif 假设成立,则任意的5eb76e24e4755_html_2dee07b18d1ac8d0.gif ,存在5eb76e24e4755_html_e9dc9a600f45ad1b.gif5eb76e24e4755_html_1c9f1b52e6d16cd8.gif ,对所有5eb76e24e4755_html_a57879e192a3a41b.gif ,某些独立于5eb76e24e4755_html_2dee07b18d1ac8d0.gif5eb76e24e4755_html_e6c5950019d72757.gif ,使得

5eb76e24e4755_html_ff1ebd5a94e4b50e.gif , (9)

5eb76e24e4755_html_f37ad23ebabe24d3.gif , (10)

5eb76e24e4755_html_c72665da0732006d.gif . (11)

定理2 在定理1的条件下,上述连续算子半群5eb76e24e4755_html_f7684a34092aef39.gif5eb76e24e4755_html_2eaff33918f6449e.gif 中存在有界吸收集.

定理3 在定理2的条件下,上述连续算子半群5eb76e24e4755_html_f7684a34092aef39.gif5eb76e24e4755_html_2eaff33918f6449e.gif 中存在整体吸引子5eb76e24e4755_html_a499c2a285aceb77.gif .

3 整体解的存在性

引理2[6] 5eb76e24e4755_html_7552a5e9e658a7b6.gif5eb76e24e4755_html_4795236fbb37d137.gif 为非负局部可积函数,且5eb76e24e4755_html_96f97205a612d61f.gif 为绝对连续的,若对于某个5eb76e24e4755_html_e32dae328b722f6a.gif5eb76e24e4755_html_144fbd9e68208403.gif 满足下列不等式:

5eb76e24e4755_html_31acbc71d1b171e7.gif ,当5eb76e24e4755_html_a920d2e321a6afe2.gif

5eb76e24e4755_html_f6f0c14aaab5daa5.gif5eb76e24e4755_html_afde4fc747d5ce53.gif

其中

5eb76e24e4755_html_8e7fed2b0a49678b.gif .

引理3[10] 5eb76e24e4755_html_a2e945c0f7e76be8.gif 的绝对连续函数,满足

5eb76e24e4755_html_fa9c73348c71297e.gif

其中5eb76e24e4755_html_ea08b45a7ebf6265.gif 满足

5eb76e24e4755_html_c417f83df3aa128a.gif

5eb76e24e4755_html_9a739d1ab6c607b4.gif .

定理1的证明 

方程(1)分别与5eb76e24e4755_html_2196bce0ce8dc269.gif5eb76e24e4755_html_7b8e44785db3c65a.gif5eb76e24e4755_html_3750928069fd3283.gif 内积得到

5eb76e24e4755_html_ee6aa5758054208b.gif , (12)

5eb76e24e4755_html_37001922f8c85cd1.gif , (13)

(12)+ (13)得到:

5eb76e24e4755_html_a9c56853e65854fb.gif , (14)

其中5eb76e24e4755_html_f7c79a591e552acc.gif .

现设(11)的5eb76e24e4755_html_b6d7844157ad7dee.gif ,令5eb76e24e4755_html_d729368e0dbbd4eb.gif ,则得

5eb76e24e4755_html_9390df3924f42d10.gif , (15)

令(9)的5eb76e24e4755_html_9c5d7b30d1f18331.gif ,则

5eb76e24e4755_html_e136aaf89eb2893d.gif , (16)

结合(15)和(16)得到

5eb76e24e4755_html_66d3e2c4a9c8cf55.gif , (17)

其中5eb76e24e4755_html_8bf8ee59d1031915.gif .

5eb76e24e4755_html_45e3d72a3798e94c.gif ,则存在很小的正常数5eb76e24e4755_html_ed679b4fc3f6ce59.gif ,正常数5eb76e24e4755_html_f965731494ede2b9.gif5eb76e24e4755_html_654ade3e6a610e16.gif 使得

5eb76e24e4755_html_308cf5d7b40951c0.gif , (18)

5eb76e24e4755_html_c7efa6092b050c4f.gif (19)

显然,存在5eb76e24e4755_html_f1c2d75581e572df.gif 使得

5eb76e24e4755_html_7d0c2c0f479400fd.gif .

5eb76e24e4755_html_5352734315d2b103.gif ,则(14)

5eb76e24e4755_html_e56cf870cedbf669.gif , (20)

其中5eb76e24e4755_html_32a3b04aa439a8b9.gif .

由引理2,(20)式可得到

5eb76e24e4755_html_525cda9ba82d0ca8.gif , (21)

其中

5eb76e24e4755_html_ebda4336af56e9f1.gif5eb76e24e4755_html_f5c61235f1780a0d.gif .

因此,由(21),

5eb76e24e4755_html_da3d6128c82bab82.gif . (22)

方程(1)与5eb76e24e4755_html_2196bce0ce8dc269.gif5eb76e24e4755_html_3750928069fd3283.gif 内积得到

5eb76e24e4755_html_c99023d9e4cfa58b.gif , (23)

对(23)在(0,t)上积分,并利用(21),得

5eb76e24e4755_html_4ec9b1accfe52f67.gif . (24)

(1)式中的方程分别与5eb76e24e4755_html_2686bd9985507634.gif5eb76e24e4755_html_ffbeb09d1f9e1f3e.gif5eb76e24e4755_html_35a2102239c658ea.gif 内积,得到:

5eb76e24e4755_html_3cfdecfd41938e50.gif , (25)

5eb76e24e4755_html_6f4516c0eb35bdd.gif (26)

由假设5eb76e24e4755_html_451dde6df6126782.gif 和(22),

5eb76e24e4755_html_3ea74c233afca83e.gif .

所以(25)和(26)化为

5eb76e24e4755_html_bfc5e25a367b5ecf.gif , (27)

5eb76e24e4755_html_4fde09a8e98440d7.gif , (28)

(27)+ (28)+6(12),得到

5eb76e24e4755_html_8196206d516eff26.gif (29)

其中

5eb76e24e4755_html_6e1942a3c6ddb521.gif

由(24)得

5eb76e24e4755_html_416ce8107d42879e.gif

所以(29)得

5eb76e24e4755_html_270ca2b05482b3f.gif

由引理3得

5eb76e24e4755_html_9599f66e87ac0fc8.gif . (30)

由(2.22)可得定理1的结论.

一.构造近似解

5eb76e24e4755_html_e0e0b01397eccd11.gif ,其中5eb76e24e4755_html_42e2254cd321dcce.gif5eb76e24e4755_html_9f174ae919d5d083.gif5eb76e24e4755_html_ab47665081d51fd8.gif 上带有齐次Dirichlet边界的特征值,5eb76e24e4755_html_fcbc60fd6037141d.gif 是对应特征值5eb76e24e4755_html_42e2254cd321dcce.gif 确定的特征函数,根据特征值理论知5eb76e24e4755_html_9bdc75e3046f5247.gif 构成5eb76e24e4755_html_96f97205a612d61f.gif 的标准正交基.固定5eb76e24e4755_html_5b966292feb34781.gif ,对于给定的整数5eb76e24e4755_html_a90187d1f9aa1f34.gif ,用5eb76e24e4755_html_137a5c49a59d0b3d.gif5eb76e24e4755_html_8d904ffe0e75711e.gif 分别来表示以下空间到其子空间的投影算子:

5eb76e24e4755_html_23b7cf98f6863896.gif

根据常微分方程的基本理论,可知在有限时间区间5eb76e24e4755_html_5678ffb32c85f64b.gif 上存在唯一解5eb76e24e4755_html_2caa59ef52868cd.gif 满足下列近似方程组:

5eb76e24e4755_html_a3dc0c4076bad816.gif (12)

其中5eb76e24e4755_html_aa8c9473dce8b2c9.gif5eb76e24e4755_html_70d8c7f4aa2fea15.gif

5eb76e24e4755_html_34e470aa0bc60a04.gif .

满足初始条件5eb76e24e4755_html_c124208bef23bcd5.gif ,当5eb76e24e4755_html_17b7bd2e2fd1b23a.gif 时,在5eb76e24e4755_html_f6daa623c7dea223.gif5eb76e24e4755_html_9719b72c99be2f3e.gif .

二.先验估计

因需证明在5eb76e24e4755_html_f6daa623c7dea223.gif 空间中解的存在性,则式(12)与5eb76e24e4755_html_dd8a6ab49938f4da.gif5eb76e24e4755_html_96f97205a612d61f.gif 中作内积,类似于后文式(29),并利用Gronwall不等式,得到5eb76e24e4755_html_f6daa623c7dea223.gif 空间中解的先验估计:

5eb76e24e4755_html_2a882b15f25fca7.gif (13)

由此可知,5eb76e24e4755_html_3b061d3381861768.gif5eb76e24e4755_html_7d5d6e41c3fb339b.gif 中是一致有界的.

三.极限过程

由式(12)可知

5eb76e24e4755_html_b882801ab6ad963d.gif

那么5eb76e24e4755_html_69b67a26d7fb502b.gif 在空间5eb76e24e4755_html_36c869440a36d04.gif 也是一致有界的.

由于5eb76e24e4755_html_b78a1bbcd5d0f57d.gif5eb76e24e4755_html_ec32dd562e1cdd53.gif 上有界,所以5eb76e24e4755_html_b78a1bbcd5d0f57d.gif5eb76e24e4755_html_96f97205a612d61f.gif 上有子列强收敛于5eb76e24e4755_html_d182533c5a187e31.gif ,故存在子列仍用5eb76e24e4755_html_b78a1bbcd5d0f57d.gif 来表示,使得

5eb76e24e4755_html_b78a1bbcd5d0f57d.gif5eb76e24e4755_html_96f97205a612d61f.gif 上几乎处处收敛于5eb76e24e4755_html_d182533c5a187e31.gif .

又因为5eb76e24e4755_html_f40a9c8096ceec55.gif 是连续函数,所以

5eb76e24e4755_html_c2213530723a1771.gif5eb76e24e4755_html_96f97205a612d61f.gif 上几乎处处收敛于5eb76e24e4755_html_f40a9c8096ceec55.gif .

另外,利用假设条件5eb76e24e4755_html_2429cbc3a2d3ac4.gif ,可得5eb76e24e4755_html_c2213530723a1771.gif5eb76e24e4755_html_96f97205a612d61f.gif 上有界,则

5eb76e24e4755_html_c2213530723a1771.gif5eb76e24e4755_html_96f97205a612d61f.gif 上弱*收敛于

5eb76e24e4755_html_f40a9c8096ceec55.gif .

由极限的唯一性得,5eb76e24e4755_html_c2213530723a1771.gif5eb76e24e4755_html_9630f372a85e6b62.gif 上弱收敛于5eb76e24e4755_html_f40a9c8096ceec55.gif .

所以存在子列,仍用5eb76e24e4755_html_59d96fafe4c1587.gif 表示,当5eb76e24e4755_html_16a26ac20779f344.gif ,使得

5eb76e24e4755_html_97ffba7cc914f52.gif ,在5eb76e24e4755_html_c3b965215fcd3e58.gif 中弱*收敛;

5eb76e24e4755_html_cb277f0853d864c1.gif ,在5eb76e24e4755_html_77f8a58890496524.gif 中弱*收敛;

5eb76e24e4755_html_4f76407ff6bdc636.gif ,在5eb76e24e4755_html_36c869440a36d04.gif 中弱*收敛;

5eb76e24e4755_html_a1b3393cf9689c14.gif ,在5eb76e24e4755_html_6983502a5bf36489.gif 中弱*收敛;

5eb76e24e4755_html_9618ce2a4c4ff555.gif ,在5eb76e24e4755_html_9630f372a85e6b62.gif 中弱收敛;

5eb76e24e4755_html_57eccffa1fd78bf3.gif ,在5eb76e24e4755_html_ee1543963daa27ea.gif 中弱收敛.

5eb76e24e4755_html_16a26ac20779f344.gif 时,对式(12)取极限,可得5eb76e24e4755_html_7f832543239ed851.gif 是方程(5)(6)(11)的解,满足

5eb76e24e4755_html_63ae35f7e9af107e.gif .

下证解的唯一性和连续依赖性.

5eb76e24e4755_html_3ac5d92e45640c9a.gif5eb76e24e4755_html_d81e495d0fdc7b71.gif 是问题(5)-(6)、(11)关于初值5eb76e24e4755_html_19ddb72c01dcde39.gif 的解,再令5eb76e24e4755_html_66fcfded86cd9a89.gif ,则5eb76e24e4755_html_656b75c7a9ad27be.gif5eb76e24e4755_html_b21023182c3de779.gif 满足

5eb76e24e4755_html_dec6a9b8ed55757d.gif (14)

5eb76e24e4755_html_24ef97802fb13293.gif 与式(14)的第一个方程做5eb76e24e4755_html_96f97205a612d61f.gif 上的内积,结合假设条件5eb76e24e4755_html_6de41f268ed8b2b3.gif ,则

5eb76e24e4755_html_b0296a68b2b11e3a.gif (15)

上述估计用到5eb76e24e4755_html_6100ef7f1ff1ae04.gif ,且5eb76e24e4755_html_45b6a6e670f9269.gif 是一个合适的正常数.

则由式(15),可得

5eb76e24e4755_html_681b842ed45f910e.gif (16)

其中5eb76e24e4755_html_f61f5b0068c52ea5.gif ,再由Gronwall不等式得

5eb76e24e4755_html_d34c98a468078b9.gif (17)

式(17)表明在5eb76e24e4755_html_f6daa623c7dea223.gif 空间中,5eb76e24e4755_html_f5a5d342e5746e9f.gif 连续依赖于初值5eb76e24e4755_html_295b0ad88b91f3e2.gif .则解的唯一性和连续依赖性得证.

4 整体吸引子的存在性

定理2的证明 5eb76e24e4755_html_84360e81d6faccb3.gif ,由(30)式知,5eb76e24e4755_html_59f9e9c5b870738c.gif 为连续算子半群5eb76e24e4755_html_f7684a34092aef39.gif5eb76e24e4755_html_2eaff33918f6449e.gif 中的吸收集,并且对任意的有界集5eb76e24e4755_html_6cca589ef4690be1.gif5eb76e24e4755_html_4cb4ab17429339ff.gif .

引理4[11] 5eb76e24e4755_html_f7684a34092aef39.gif 是完备度量空间5eb76e24e4755_html_2eaff33918f6449e.gif 上的一个连续半群,则5eb76e24e4755_html_f7684a34092aef39.gif5eb76e24e4755_html_2eaff33918f6449e.gif 中存在整体吸引子5eb76e24e4755_html_a499c2a285aceb77.gif 当且仅当

1) 5eb76e24e4755_html_f7684a34092aef39.gif5eb76e24e4755_html_2eaff33918f6449e.gif 中存在有界吸收集;

2) 5eb76e24e4755_html_f7684a34092aef39.gif5eb76e24e4755_html_2eaff33918f6449e.gif 上是渐近紧的。

定理3的证明 5eb76e24e4755_html_ac45ad3e8b27e6ca.gif 是问题(1)- (3)式对应于初值5eb76e24e4755_html_ee42ac733cd7f278.gif 的两个解,则5eb76e24e4755_html_407af9586cc35d79.gif 满足

5eb76e24e4755_html_b2bac9b867871bb5.gif (31)

5eb76e24e4755_html_a018e9d115914752.gif (32)

(31)式分别与5eb76e24e4755_html_f39d65983f868c25.gif5eb76e24e4755_html_17c7259f6be511e1.gif5eb76e24e4755_html_3750928069fd3283.gif 内积,利用假设及(30)得到

5eb76e24e4755_html_5e64114168a9b271.gif

5eb76e24e4755_html_eb8cdd16da462b70.gif (33)

5eb76e24e4755_html_b5aaf51c9fe80229.gif (34)

5eb76e24e4755_html_5543f5b1c736b9b7.gif (35)

(33)5eb76e24e4755_html_1803e2c36dcb9c3d.gif +(34) +(35)得到

5eb76e24e4755_html_f26881516704eab2.gif (36)

其中

5eb76e24e4755_html_1841e523a2a6dec5.gif

5eb76e24e4755_html_d98cb6c2bebb93b5.gif ,则(36)得到

5eb76e24e4755_html_e6964d336031758f.gif

应用Gronwall不等式得到

5eb76e24e4755_html_4c928de195fa6a0c.gif . (37)

5eb76e24e4755_html_5468f29784edd57.gif5eb76e24e4755_html_f6daa623c7dea223.gif 中的有界序列,即5eb76e24e4755_html_f01be162fce8248d.gif5eb76e24e4755_html_b78a1c2eed5aa26f.gif 是问题(1)-(3)对应初值5eb76e24e4755_html_5f80c62af1f3c469.gif5eb76e24e4755_html_f6daa623c7dea223.gif 中的解,下面将证明对任意5eb76e24e4755_html_b1354337d3b37612.gif 存在一个子序列5eb76e24e4755_html_b389697cdbf5d00a.gif 使得5eb76e24e4755_html_ab659550ab9c6367.gif5eb76e24e4755_html_f6daa623c7dea223.gif 中收敛.

事实上对5eb76e24e4755_html_5b966292feb34781.gif ,取充分大的5eb76e24e4755_html_ff2fe8d2f52e0dd5.gif 满足5eb76e24e4755_html_c0bb4f4c743f41ac.gif ,则5eb76e24e4755_html_dab2efd13f422669.gif5eb76e24e4755_html_6f1a7228e27e7658.gif 是原问题在5eb76e24e4755_html_f6daa623c7dea223.gif 中的解,则5eb76e24e4755_html_cf9fef0420587429.gif ,且满足5eb76e24e4755_html_da9fd2e418549dd0.gif .

由(37)式知

5eb76e24e4755_html_9852439d50dc37e1.gif

5eb76e24e4755_html_c829819a97530f1b.gif ,则有

5eb76e24e4755_html_9a2efe4a48cdc3b1.gif

因为

5eb76e24e4755_html_1bd7dafc258f2ae8.gif

5eb76e24e4755_html_a4db91146fa2b231.gif

即存在子序列,仍记为5eb76e24e4755_html_407beb50f711aaa1.gif ,使5eb76e24e4755_html_ce886aff691895eb.gif5eb76e24e4755_html_e0d13e7d658ad53d.gif 中收敛,即对任意的5eb76e24e4755_html_9ac1370a7289a04.gif ,存在5eb76e24e4755_html_a109fc321cdd1d4b.gif 使5eb76e24e4755_html_eb70a9a9d220b417.gif .

5eb76e24e4755_html_ff2fe8d2f52e0dd5.gif 充分大时

5eb76e24e4755_html_542d1cb14eaaad75.gif

从而有

5eb76e24e4755_html_3580941c41188c09.gif .

即,连续算子半群5eb76e24e4755_html_4a165a5053f6d4f0.gif 是渐近紧的.

由定理2和引理4,定理3得证.

[参考文献]

[1]ZhijianYang.Longtime behavior of the Kirchhoff type equation with strong damping on RN [J].Journal of Differential Equations,2007,242:269-286.

[2] Igor Chueshov.Long-time dynamics of Kirchhoff wave models with strong nonlinear damping [J].Journal of Differential Equations,2012,252:1229-1262.

[3]LV P H,LU J X,LIN G G.Global attractor for a class of nonlinear generalized Kirchhoff models[J].Journal of advances in mathematics,2016,12(8):6452-6462.

[4]Penghui Lv, Xiaojun Lv.Global Attractor for a Class of Nonlinear Generalized Kirchhoff Equation [J].Pure Mathematics,2018,8(6):637-643.

[5]LV P H,LU J X.Inertial Manifolds for a Class of Nonlinear Generalized Kirchhoff Equation [J].

Advances in Applied Mathematics,2018,7(11):1374-1380.

[6]Pata, Vittorino Belleri, VeronicaAttractors for semilinear strongly damped wave equation on R3 [J].Discrete and Continuous Dynamical Systems,2001,7(4):719-735.

[7]LV P H,LOU R J,LIN G G.Exponential attractors and inertial manifolds for a class of nonlinear generalized Kirchhoff-Boussinesq model[J].Far East Journal of Mathematical Sciences,2017,101(9):1913-1945.

[8]杨志坚,程建玲. Kirchhoff型方程解的渐近行为[J].数学物理学报,2011,31(4):1008-1021.

[9]LV P H,LOU R J,LIN G G.Global attractor for a class of nonlinear generalized Kirchhoff-Boussinesq model[J].International Journal of Modern Nonlinear Theory and Application,2016,5:82-92.

[10]ZhijianYang, PengyanDing.Longtime dynamics of the Kirchhoff equation with strong damping and critical nonlinearity on RN [J].Journal of Mathematical Analysis and Applications,2016,434:1826-1851.

[11]丁鹏燕. 具阻尼Kirchhoff型波动方程的长时间动力学行为[D].郑州:郑州大学数学与统计学院,2017:1-138.

[12]Sun Y TGao Y L,LIN G G.The Global Attractors for the Higher-Order Kirchhoff-Type Equation with Nonlinear Strongly Damped Term [J].International Journal of Modern Nonlinear Theory and Application,2016,5:203-217.

[13]Gao Y L, Sun Y T,LIN G G.The Global Attractors and Their Hausdorff and Fractal Dimensions Estimation for the Higher-Order Nonlinear Kirchhoff-Type Equation with Strong Linear Damping [J].International Journal of Modern Nonlinear Theory and Application,2016,5:185-202.

[14]Guoguang Lin, Yunlong Gao.The Global and Exponential Attractors for the Higher-order Kirchhoff-type Equation with Strong Linear Damping [J].Journal of Mathematics Research;,2017,9(4):145-167.