拟线性双曲型方程组的精确能观性

来源 :复旦大学 | 被引量 : 1次 | 上传用户:jianyong1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文利用一阶拟线性双曲型方程组混合初边值问题的半整体C1解理论,通过直接构造性方法建立了非自治一阶拟线性双曲型方程组的精确边界能观性理论,对相应的观测时间给出了精确的估计,并揭示其与自治系统情形的差异性.与此同时,本文还建立了一阶拟线性双曲型方程组一类具特征边界的边值问题的半整体C1解理论,并且以此为基础,利用直接的构造性方法建立了具零特征的一阶拟线性双曲型方程组的局部精确能观性理论,并对相应的观测时间给出了精确的估计.通过这两项工作完善了拟线性双曲型方程组的精确能观性理论.   本文的具体安排如下:   首先在第一章,作者简单介绍了精确能观性的定义和相关问题的研究历史与现状,以及本文的主要工作及其意义.   作为本文的研究基础,在第二章,作者列举了一阶拟线性双曲型方程组半整体C1解理论中的主要结论;在第三章,对一类具零特征的一阶拟线性双曲型方程组建立了其一类具特征边界的边值问题的半整体C1解理论.   在第四章,作者以第二章中所列的半整体C1解理论为基础,采用一个与自治系统情况相似的直接构造方法得到了非自治一阶拟线性双曲型方程组的局部精确能观性.当系统不具有零特征时,证明了只需通过在一侧或双侧边界上的观测即可实现局部精确能观性.   在第五章,作者致力于研究一维非自治拟线性波动方程的局部精确能观性问题.利用第二章中所列的一阶拟线性双曲型方程组的半整体C1解结果,用统一的方式处理各种不同类型的边界条件,得到一维非自治拟线性波动方程混合问题的半整体C2解理论,并进而实现相应的双侧和单侧局部精确边界能观性.同时,作者指出对具有旋转不变性的n(n>1)维拟线性波动方程在适当的假设下可以得到相应的局部精确边界能观性;对一维本质自治的拟线性波动方程,建立了相应的局部精确边界能观性.   在第六章,作者以第三章中建立起来的具零特征的一阶拟线性双曲型方程组边值问题的半整体C1解理论为基础,结合第二章中所列的半整体C1解理论,对具零特征的一阶拟线性双曲型方程组建立了局部精确能观性理论,指出除了通过边界上的观测,还需在求解区域内部某一时刻进行观测,才能实现精确能观.此外,通过例子说明了该理论中所要求的观测时间是不可改进的,观测量的个数也是不可减少的.
其他文献
学位
油藏的运移聚集、油气资源的开采、地下水的污染、海水入侵问题以及其它众多的渗流问题,从物理本质上考虑,它们都是流体在地下复杂的多孔介质中的运移,这种运移常常是对流占优或
从X.Tolsa研究的关于非双倍测度问题得到的一系列结果与最近M.Bownik和蓝森华等对各向异性Hardy空间的研究结果可以看到,分别具有上述两种性质的Hardy空间保持了经典Hardy空问
目前随着工业化的大力发展,大量的人口涌入了城市。城市的负荷越来越重,正面临着严重的问题,环境污染、交通拥堵、用地紧张、供水不足、社会秩序混乱等等。在这种情况下,各国正在
本文首先在交换环中引入gv—理想、gv—无挠模、ωT—模,模的ωT—包络;给出了ωT—Noether环的定义.我们讨论了ωT—Noether环的相伴素理想和准素分解.通过引入叫ωT—不可约理
在无线传感器网络的规划和设计中,减少节点的能量消耗、延长其工作时间并最大化网络的生命周期是首先要解决的重要问题。除了设计能量高效的MAC协议、路由协议以及应用层协议
在各学科的数值计算模拟仿真中,差分方法的优劣程度直接影响了数值计算结果的精确性和准确度.本文主要针对适用于求解双曲型守恒律方程的差分格式进行研究,并在前人研究成果的