论文部分内容阅读
本文利用一阶拟线性双曲型方程组混合初边值问题的半整体C1解理论,通过直接构造性方法建立了非自治一阶拟线性双曲型方程组的精确边界能观性理论,对相应的观测时间给出了精确的估计,并揭示其与自治系统情形的差异性.与此同时,本文还建立了一阶拟线性双曲型方程组一类具特征边界的边值问题的半整体C1解理论,并且以此为基础,利用直接的构造性方法建立了具零特征的一阶拟线性双曲型方程组的局部精确能观性理论,并对相应的观测时间给出了精确的估计.通过这两项工作完善了拟线性双曲型方程组的精确能观性理论.
本文的具体安排如下:
首先在第一章,作者简单介绍了精确能观性的定义和相关问题的研究历史与现状,以及本文的主要工作及其意义.
作为本文的研究基础,在第二章,作者列举了一阶拟线性双曲型方程组半整体C1解理论中的主要结论;在第三章,对一类具零特征的一阶拟线性双曲型方程组建立了其一类具特征边界的边值问题的半整体C1解理论.
在第四章,作者以第二章中所列的半整体C1解理论为基础,采用一个与自治系统情况相似的直接构造方法得到了非自治一阶拟线性双曲型方程组的局部精确能观性.当系统不具有零特征时,证明了只需通过在一侧或双侧边界上的观测即可实现局部精确能观性.
在第五章,作者致力于研究一维非自治拟线性波动方程的局部精确能观性问题.利用第二章中所列的一阶拟线性双曲型方程组的半整体C1解结果,用统一的方式处理各种不同类型的边界条件,得到一维非自治拟线性波动方程混合问题的半整体C2解理论,并进而实现相应的双侧和单侧局部精确边界能观性.同时,作者指出对具有旋转不变性的n(n>1)维拟线性波动方程在适当的假设下可以得到相应的局部精确边界能观性;对一维本质自治的拟线性波动方程,建立了相应的局部精确边界能观性.
在第六章,作者以第三章中建立起来的具零特征的一阶拟线性双曲型方程组边值问题的半整体C1解理论为基础,结合第二章中所列的半整体C1解理论,对具零特征的一阶拟线性双曲型方程组建立了局部精确能观性理论,指出除了通过边界上的观测,还需在求解区域内部某一时刻进行观测,才能实现精确能观.此外,通过例子说明了该理论中所要求的观测时间是不可改进的,观测量的个数也是不可减少的.