一阶拟线性双曲组的Lipschitz连续解及其精确能控性与能观性

来源 :复旦大学 | 被引量 : 1次 | 上传用户:longer9568
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在此博士论文中,我们研究了一阶拟线性双曲型方程组的Lipschitz连续解,对柯西问题及混合初边值问题分别定义并证明了其Lipschitz连续解的存在唯一性,进而证明了混合初边值问题半整体Lipschitz连续解的存在唯一性,并在此基础上建立了相应的精确边界能控性及精确边界能观性。   在第一章简要介绍一阶拟线性双曲组C1经典解和Lipschitz连续解的研究背景及现状。   在第二章列举一些预备知识,包括Lipschitz连续解的一些性质,常微分方程解对参数的Lipschitz连续依赖性以及有关一阶拟线性双曲组的一些概念。   针对一阶拟线性双曲组C1经典解的研究已经相当广泛,而能否对Lipschitz连续解建立相对应的结果,研究则较少.对于一阶拟线性双曲组,王柔怀与伍卓群在研究C1经典解的适定性问题时,发现利用逼近方法可以得出Lipschitz连续解的存在性,但其构造依赖于收敛子序列的选取,并不能保证解的唯一性.在第三章,我们将讨论柯西问题的Lipschitz连续解,在王柔怀和伍卓群关于存在性工作的基础上,证明了整个逼近序列的收敛性,并证明了Lipschitz连续解的唯一性,且还从积分方程组的角度给出了Lipschitz连续解的又一等价定义,研究了柯西问题的Lipschitz连续解。   第四章中从积分方程组的角度讨论一阶拟线性双曲组混合初边值问题的Lips-chitz连续解的存在唯一性,并为了研究能控性和能观性问题,把半整体C1解的概念推广到Lipschitz连续解,证明了半整体Lipschitz连续解的存在唯一性。   第五章在第四章关于半整体Lipschitz连续解的基础上,讨论了一阶拟线性双曲组的Lipschitz连续解的精确边界能控性,而第六章则讨论了一阶拟线性双曲组的Lipschitz连续解的精确边界能观性。
其他文献
最优化理论和方法在社会中有着广泛的应用,如工程方案设计、金融、生产调度等。目前,非线性半光滑方程组的有效求解成为最优化问题研究的重要方面,而求解线性不等式约束的非线性
得到两类2×2对称算子矩阵乘积的本征函数系的完备性定理,并将定理应用于4×4的斜对角无穷维Hamilton算子.针对可分Hamilton系统,提出了改进的分离变量法.为验证新方法的正确性
图像拼接是研究如何利用几幅小视角的相关图像得到一幅高分辨率、宽视角的图像技术。用图像拼接的方法获得高分辨率、超宽视角的全景图像,可有效地降低因为特殊摄像设备价格昂
ENO格式通过选择非固定插值模板的方法来实现高精度格式。本文在ENO思想的基础上,通过采用径向基函数代替多项式函数对原函数进行重构,形成了基于径向基插值的ENO格式和基于径
生物信息学是建立在数学、计算机科学和生命科学等学科基础之上的一门交叉学科,包含了生物信息的获取、加工、存储、分配、分析、解释等在内的各个方面。生物信息学的研究内容
基于矢量阵列的信号处理原理是将不同的矢量传感器分别放置在水下不同的位置,组成传感器阵列,然后通过这些阵列接收并处理声源发出的信号,提取信号的相关信息及特征,同时抑制
第Ⅰ类Fredholm积分方程(简称IFK模型)在求解过程中具有不适定性,为了获得其相对稳定的数值解,需要使用正则化方法来处理此类模型。广义极小残余算法(简称Gmres算法)目前是解决