二阶拟线性双曲型方程精确能观性.docVIP

 第一章引宙  第一章  引言  近几十年来，无论在理论研究或是实际应用方面，对偏微分方程精确能观 性的研究一直是一个十分活跃的方向。本文主要研究双曲型偏微分方程的精确 能观性。 首先，介绍一下精确能观性的定义：若存在适当大的Ｔ＞Ｏ，使得由【ｔｏ，ｔｏ＋ 卅上的适当的观测量＂（ｔ），可以唯一确定系统的初值妒，并且成立相应的能观性 不等式，则称所观察的双曲系统连同相应的观测量是精确能观的。对初值在平 衡态附近实现的精确能观，称为局部精确能观。拟线性双曲型方程（组）的经典 解一般只在时间ｔ的一个局部范围内存在，而随着时间的增加，解往往要出现 奇性，即产生破裂（ｂｌｏｗ ｕｐ），因此，对于拟线性双曲型方程（组），在初值适当 光滑并满足相容性条件的假设下，通常只能证明存在适当小的６＞０，使得在 时间区间ｆＯ，卅上经典解存在。但为保证精确边界能观性，必须对适当大的Ｔ， 在时间区间【０，卅上考察问题。而要在一个虽然有限、但却可能相当大的时间区 间［０，卅上存在经典解，保证在这一段时间内解不会发生破裂，在拟线性双曲型 方程（组）的情形应该是有条件的。这种经典解，既不同于局部经典解，又不同于 整体经典解，称之为半整体经典解。而实现精确能观性所需要的半整体经典解 只有当初值的Ｃ１模充分小时才存在，所以一般情况下，我们只能得到在零平衡 态附近对Ｃｌ模充分小的初值实现精确能观性。 关于线性波动方程的精确能观性已有大量的结果【１４】，但关于拟线性波动 方程，目前的结果还不多，而且主要集中在空间为一维的情形。李大潜采用直 接构造性的方法，在一阶拟线性双曲型方程组半整体Ｃ１解的基础上对一阶拟线 性双曲组建立了完整的精确能观性理论【５．９】，并应用到一维拟线性波动方程。 在此基础上，王志强，郭丽娜在［１０．１１】中给出了相应的非自治一维一阶拟线性 双曲组及一维拟线性波动方程的精确能观性理论。 下面，先给出双曲型偏微分方程（组）的一些基本概念及结论。 在空气动力学、弹性力学等学科中提出了带两个自变量ｔ和ｚ的一阶拟线性 双曲型方程组 等＋Ａ（心）筹＝Ｆ（ｕ）， （１．１）  其中ｕ＝（ｕｌ，…，‰）Ｔ为关于（亡，ｚ）的未知向量函数；Ａ（ｕ）是给定的ｎ×ｎ矩阵， 其元素％（ｚ，歹＝１，…，ｎ）适当光滑，而Ｆ（ｕ）＝（＾（ｕ），…，＾（ｕ））ｒ是给定的关 于ｕ的适当光滑的向量函数，且满足  Ｆ（Ｏ）＝０． 一ｌ一  （１．２） 第一章引言 由（１．２）矢１１，ｕ＝０是方程组（１．１）的一个解一一平衡态。由双曲型的定义 （见［１２】），对于所考察区域上任意给定的ｕ值，矩阵Ａ（ｕ）有ｎ个实特征 值～（ｕ）Ｇ＝１，…，ｎ）及一组完全的左特征向量ｌｉ（ｕ）＝（“１（ｕ），…，ｌｔｎ（ｕ））＠＝ ｌ，…，ｎ），特别地，当Ａ（钍）的ｎ个实特征值互异时，方程组（１．１）称为严格双曲 组。 假设在所考察的区域上成立  ｂ（ｕ）＜～（ｕ）兰０＜～（ｕ） ０＝１，…，ｌ；ｑ＝ｆ＋１，…，ｍ；，．＝ｍ＋１，…，竹）． 初始条件为 ｔ＝０：ｔＩ＝妒（ｚ），０≤ｚ≤Ｌ， 而边界条件为  （１．３） （１．４）  ｚ＝０：％＝Ｇ，＠，Ｖｌ，…，协，铆＋ｌ，…，‰）＋珥（ｔ）  ｐ＝ｍ＋１，…，ｎ），  （１．５） ｚ＝二：吻＝Ｇｐ（ｔ，铆＋１，…，ｑｎ，ｕｍ＋ｌ，…，‰）＋ＨＡｔ）◇＝１，…，２）， 其中 仇＝毛（ｕ）ｕ（ｒ＝１，…，ｎ）， 且不妨假设 ｑ（￡，０…，０）兰Ｇｒ（ｔ，０…，０）兰０ （１．６） （１．７） （１．８）  ０＝１，…，ｆ；ｒ＝仇＋１，…，ｎ） 由【９】及［１３１，有 引理１．１：（半整体Ｃ１解）假设～，色，ＥＧｐ，Ｇｒ，珥，珥（ｉ＝１，…，ｎ；Ｐ＝ １，…，Ｚ； ｒ ＝ ｍ＋１，…，ｎ）和妒都是所考虑变量的Ｃ１函数， 进 一步假设（１．２）．（１．３）及（１．８）成立，且在（ｔ，茁）＝（０，０）和（０，Ｌ）处分别满 足Ｃ１相容性条件．对任意给定且可能相当大的Ｔｏ ＞ ０， 如 果№ＩＩｃ，ｆ０。Ｌｉ和ＩＩ ＣＨｌ，…，凰，如＋１，…，Ｈ．）ｌｌｃｔＩｏ．而ｌ充分小（依赖于Ｔｏ），混合初 边值问题（１．１）及（１．４）．（１．６）在区域Ｒ（Ｔｏ）＝｛（ｔ，ｚ）Ｉｏ≤ｔ≤Ｔｏ，０≤ｚ≤Ｌ）上存在唯 一的半整体Ｃ１解ｕ＝ｔ‘（ｔ，ｚ），其Ｃ１模充分小．进一步假设监８ｔ（￡，?）∞＝１，…，ｆ） 和簪（ｔ，．）（ｒ＝ｍ＋１，…，ｎ）关于变量ｔ，满足局部Ｌｉｐｓｃｈｉｔｚ条件，则成立以下估计 一２一 第一翥弓ｌ赛 式  ＩＩ＂ｌｌｃ－ＩＳ（Ｔｏ）］≤Ｋ（１ｌ ５Ｉｏｌｌｃ－【０Ｉ翻＋１Ｉ（日１，…，鼠，月★＋ｌ，…，Ｈ．）ｌｌｃｔ【０，硒】），  （１．９）  其中Ｘ是一个依赖子弱的正常数． 注１．２：从