一些散布参数统的能控性和唯一延拓性问题.pdfVIP

中文摘要和关键词 摘要 本文研究了两个问题．一个是热方程当控制器是可测集时的能控性及能控性 理论在数据同化(Dataassimilation)中的应用．另一个是唯一延拓性问题，包括弹 性力学方程组当系数为Lipschitz连续时的弱唯一延拓性和强唯一延拓性，以及与 之相关的弹性波方程的弱唯一延拓性问题． 全文共分五章． 在第一章中，我们将研究热方程的能控性问题．当控制器是开集时，发展方程 的能控性问题已经研究得比较清楚了．本文将要讨论的问题中控制器是一般可 测集．以往传统的方法，比如谱分析方法或者通过Carleman估计推导能观不等式 的方法，都不再适用于这一问题．为解决该问题，必须寻找新的方法．当空间维数 为一维时，我们利用控制转换(ControlTransmutation)的方法给出了控制器为可测 集，热方程的零能控性．对于高维的情形，我们利用Harnack不等式得到了热方程 对所有L2可积的非负初值成立的能观不等式． 在第二章中，作为第一章研究方法的一个运用，我们将研究一维热方程的数 据同化问题．有别于Puel【60]的假设条件，我们假设仅能测量区域内一点在时问 段(0，％)内温度的变化情况．我们给出了一个估计整个区域在(乃，r)内温度分 布的方法．因为仪仅知道空问中一点的信息，我们面对的困难与Puel的完全不同． 问题的关键是对热方程零能控的代价(即控制函数的能量)如何依赖于控制区域 做出精确的估计，我们没有在以往的文献中找到相关的研究．在一维情形，我们通 过谱分析和控制转换的方法给出了所需要的估计．由于假设的观测条件不同，我 们得到的结果也与Puel不同，Puel构造的是精确解，而我们得到的是热方程解的 近似估计．我们认为我们研究的问题更加贴近实际情况． 我们从第三章开始研究唯一延拓性问题． 在第三章和第四章中，我们将研究线性弹性力学系统(Lam6系统)的唯一延 式和强唯一延拓性是两个公开问题，最近分别由我们和林景隆等学者【39】各自 独立解决．但是二者的方法并不相同，本文我们将介绍自己的方法，及该方法的 其他应用(比如本论文的第五章)．首先，为证明三球不等式，不同于传统的证明 的Carleman估计证明条件稳定性(ConditionalStability)，然后再以此来证明三球 同，为了证明强唯，‘延拓性，注意到三维空问中Lam6算子可以分解成两个。‘阶算 子的事实，我们通过证明这两个一阶算子带有多项式类型的Carleman权函数的 鉴Regbaoui【61】的方法证明了Lam6系统的强唯一延拓性． 一II— 中文摘要和关键词 第五章是第四章证明方法的延伸．在第五章中，注意到弹性波算子也可以分 解成两个一阶算子，我们利用前述证明Carleman估计的方法证明了弹性波方程 的相关估计：然后再以此证明了弱唯一延拓性；最后作为唯一延拓性的一个推 论，我们给出了弹性波方程的近似能控性． 关键词：热方程，零能控性，近似能控性，Lam6系统，弹性波方程，Carleman估计， 三球不等式，唯一延拓性 中图法分类号：0232 Abstractand Words Key ABSTRAC丁 This thesisis devotedtotwo ofdistributed mainly problems parametersystems． Oneisthe forheat withmeasurable otheris controllability controllers，the equations the continuationforLam6 andelasticwave unique systems equations． Thi