广义的Bousinesq方程.docVIP

广义的Boussinesq方程解的存在唯一性 徐瑰瑰， 林国广 （云南大学 数学统计学院 云南 昆明 650091） 摘要：本文利用方法获得了一类广义的Boussinesq方程的整体强解的存在唯一性以及能量不等式. 关键词：方法; 存在唯一性; 能量不等式; 初边值问题. 中图分类号：0175.29 . 前言 在弹性波导的非线性波传播的研究中，考虑波导和外部环境的相互作用以及波导横截面能量交换的可能性是十分必要的.如果相互作用是在非线性的高弹性杆与介质之间，并且杆的纵向位移由以下的方程来确定 以及 . 其中是正常数，是常数. 在中，陈和王等人讨论了如下更广义的初边值问题的整体解的存在性和不存在性 . ; . 对于他们证明了整体解的存在性，另外在某些条件下，整体解的不存在性也被证明. 近来，主要研究了方程在满足比凸函数更一般的条件下和当时解的长时间行为. 本文讨论了带有调和算子项以及的广义Boussinesq方程的整体强解的存在性、唯一性以及能量不等式. 考虑如下广义Boussinesq方程的初边值问题 . ， . ， . 其中常数，，是中的具有光滑边界的有界区域. 2 预备知识 首先引入以下缩写形式和算子形符号 ; ; ; ; ; ， 而是空间的内积. 为了方便起见，我们用同一个字母表示不同的正常数，用来表示依赖于括号中量的正常数. 由于，定义算子 ， . ， ， . 则是一个正自伴无界算子且是与的同构映射. 于是我们可以定义的幂且是具有如下内积和范数的空间 ， . 相应地 ， . 把方程及初边值条件，写成如下的算子形式 . ， . ， . 3 主要结论 定理1 假设是中的具有光滑边界的有界区域，，，，是正常数，，，则初边值问题—有唯一解，并且 ， . 证明： 构造近似解 设是中的一组标准正交基，即，，则也是中的正交基. 令，，则由如下的常微分方程组来确定 ， 其中，. 则方程组在上有解，并且 在中. 在中. 先验估计 令，则方程可化为 ， 用与方程做内积，有 ， 其中 . . 于是 其中 . 把式代入式有 . 由不等式可知 ， ， 其中，，. 联立式及式可知 . 用与方程做内积，有 . 用与方程做内积，有 . 有： . 其中 +， . 由于 ， . 于是 ， . 比较式和式可知 ， 把式代入式可知 ， 对上式，由不等式可知 . 其中，. 由上式和式可知 ， 其中. 由式及式可知只与初始值有关. 作极限 选取的子列可以得到 在中弱收敛. 在中弱收敛. 并且有 ， 当时. 在中，由于得稠密性可知：是初边值问题的解并且 ， 由于，对有 ; . 因而算子在上是正的且有界, 即 ， . 由式及式可知 , . 即, . 于是 只与初始值有关，而与无关. 在中，令，得 . 由于得稠密性可知，有 . 因此满足，故定理1中解的存在性得证. 设是初边值问题的两个解，令，则 ， ; .