1. 引言
1968年,Gurtin Monton E等 [1] 提出了具有记忆项的热传导理论。之后关于含记忆性的各类非线性梁方程的初边值问题的研究有若干的进展 [2] - [8],比如2009年,Wang Junmin等 [2] 研究了如下具有记忆项的热传导方程
解的存在性。2011年,Lazo P P D [3] 运用Galerkin方法证明了如下具有记忆项的波动方程
整体解存在唯一性和稳定性。2011年,Santos M L [4] 考虑热记忆项,研究了如下热弹耦合杆方程组
解的存在唯一性及指数衰减率。
本文在前人的基础上考虑如下轴向力作用下具有记忆项热弹耦合梁方程组
(1)
在边界条件
,
(2)
和初始条件
,
,
(3)
下解的存在唯一性。
2. 预备知识
本文的讨论是基于以下的Hilbert空间:
且
。
方程中的函数满足如下基本假设
(h1) 对函数M,假设
,且M为非负函数,有
,
(4)
其中
,其中
为大于0的正常数。
(h2) 假设
,
,
,
。
(h3) 假设
,
,且
,
,使得
。
(h4) 假设
。
3. 主要结论
3.1. 弱解的存在性
定理1若
,且假设(h1)~(h4)成立,则存在使得
,
,
,
。且在下述定义下满足方程(1),即对几乎处处的
有
,
,
(5)
证明:1) 构造近似解:设
和分别是
和
的标准正交基,使得
,
,记
,
其中
,
为未知函数,仿(5)作如下关于
的方程组
(6)
另外有
(7)
根据常微分的解的存在唯一性理论可知,方程(6) (7)存在唯一解,下面进行先验估计。
2) 先验估计
以下讨论中C表示与
无关的常数,它在不同的地方代表不同的表达式中可能有不同的值。
记
(8)
令方程组(6)中两式分别与
和
做积,并对
求和,得
(9)
(10)
两式相加,并从0到t积分所得两式相加,由假设(h1)及(8)式,得
(11)
其中
结合假设(h3),由Schwarz不等式和Young不等,得到
(12)
其中
。则
(13)
由假设(h4),得
(14)
由(12)~(14),得
(15)
故由Gronwall引理可得
因此得到
,
,
,
.
由于上述关于t一致有界,故对
内均成立。由Poincare不等式可得
。
3) 收敛:
在
弱*收敛
在
弱*收敛
在
弱*收敛
在
弱*收敛
在
中强收敛且几乎处处收敛
对
,有
,那么有
即
在
弱*收敛。
即
在
弱*收敛。
同理可得
在
弱*收敛。
在
弱*收敛。
由以上可知
(16)
成立。定理1证毕。
定理2设
,
是方程(5)的两个解,且
,
,
,以及假设
,
满足初始条件:
,
, ,
,
,
及
,
且
,
,令
,则有
证明:与定理1先验估计类似,可得到
(17)
其中C是关于
的连续函数。
推论方程(1)-(3)的解是唯一的。
证明:由(17)得,当
时,得到
,则有
,从而有
。解的唯一性得证。
3.2. 正则性
本节我们假设
(h5)
,
,
,
。
定理3若
,且假设(h1)—(h5)成立,则存在唯一的函数
使得
,
,
,
,
,
。且在下述定义下满足方程(1),即对几乎处处的
有
(18)
证明:1) 构建近似解:设
和
分别是
和
的标准正交基,使得
,
,记
,
其中
,
为未知函数,仿(5)作如下关于
的方程组
(19)
另外有
(20)
根据常微分的解的存在唯一性理论可知,方程(19) (20)存在唯一解,下面进行先验估计。
2) 先验估计
与之前一样可得
,
,
。
将
两式分别与方程组(19)中两式做积,对
求和后,得
(21)
(22)
结合假设(h4)应用Schwarz不等式,得
(23)
(24)
因此得到
(25)
(26)
(25) (26)两式分别与
与
做积,并从0到t积分,所得两式相加,结合假设(h1)及(8)式,得
(27)
其中
。
由假设(h1)及定理1结论,并由Schwarz不等式和Young不等式,得到
(28)
由假设(h5),及并结合Schwarz不等式和Young不等式,得到
(29)
其中
。故
(30)
由(28)~(31),可得
(31)
由Gronwall引理,得
因此得到
,
,
,
又因为
,故由罗尔中值定理,有
,使得
,
由Poincare不等式,得
又因为
,故由罗尔中值定理,得
,使得
,
由Poincare不等式,得
3) 收敛性:
在
弱*收敛。
在
弱*收敛。
在
弱*收敛。
在
中强收敛且几乎处处收敛。
在
弱*收敛。
在
弱*收敛。
在
弱*收敛
在
中强收敛且几乎处处收敛。
由定理2的证明可证
满足初始条件
。进而可证解是唯一的。证毕。
4. 结论
本文主要讨论的轴向力作用下具有记忆项的热弹耦合梁方程组的初边值问题具有如下结论:
1) 在满足初始条件的情况下,系统(1)~(3)弱解存在且唯一。
2) 在满足初始条件的情况下,系统(1) ~ (3)正则解存在且唯一。
基金项目
国家自然科学基金(11872264)。
参考文献
NOTES
*通讯作者。