Broadwell模型含粘性激波与粘性接触间断解的渐近稳定性

来源 :上海师范大学 | 被引量 : 0次 | 上传用户:huziao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
我们关注的是Broadwell模型系统的Cauchy问题的解在大时间范围内的渐近行为。当系统对应的守恒律的相应Riemann问题存在由接触间断和激波组成的解时,证明对于Broadwell模型系统,如果组合波的强度适当地小,则对应于接触间断的“激波”与激波的组合波解是大时间存在且渐近稳定的。这个结果通过使用基本能量方法证明。
其他文献
关于球面凸集有多种不同的定义,本论文以纯分析的方法进行研究。我们给出了球面凸集的一个分析形式的定义,探讨了球面凸集的基本性质,并且阐述和证明了一些很难用纯几何的方法表
不确定时滞系统常年以来是国际上非常热门的研究领域之一,其主要是因为在实际问题中,大部分的控制系统总会不可避免地遇到各种各样的不确定性的影响,包括系统自身的不确定性
本文首先讨论的是序几乎Dunford-Pettis算子,给出了序弱紧算子是序几乎Dunford-Pettis算子的条件,以及序几乎Dunford-Pettis算子是序弱紧算子和序Dunford-Pettis算子的条件。然
本文主要引入并研究了巴拿赫格上的弱极限全连续算子和弱Gelfand-Phillips性质,并利用几乎极限集和L-弱紧集对弱Gelfand-Phillips性质进行了刻画.  首先,通过构造不交序列技
移动渐近线模型法,是一类有竞争力的优化方法,最初用于求解工程上经常出现的结构优化问题,经过一系列的修正改进,在解大规模非线性优化问题时效果较好.共轭梯度法十分简便,是常用
本文以一种典型的形式化方法——逻辑化方法为研究方向,研究如何应用计算机程序证明数学定理。具体地说,如何通过一套逻辑符号体系将人脑的推理证明过程形式化,从而转化为一系列