二阶拟线性双曲型方程的准确能观性.pdfVIP

第一章引宙 第一章 引言 近几十年来，无论在理论研究或是实际应用方面，对偏微分方程精确能观 性的研究一直是一个十分活跃的方向。本文主要研究双曲型偏微分方程的精确 能观性。 首先，介绍一下精确能观性的定义：若存在适当大的TO，使得由【to，to+ 卅上的适当的观测量(t)，可以唯一确定系统的初值妒，并且成立相应的能观性 不等式，则称所观察的双曲系统连同相应的观测量是精确能观的。对初值在平 衡态附近实现的精确能观，称为局部精确能观。拟线性双曲型方程(组)的经典 解一般只在时间t的一个局部范围内存在，而随着时间的增加，解往往要出现 奇性，即产生破裂(blowup)，因此，对于拟线性双曲型方程(组)，在初值适当 光滑并满足相容性条件的假设下，通常只能证明存在适当小的60，使得在 时间区间fO，卅上经典解存在。但为保证精确边界能观性，必须对适当大的T， 在时间区间【0，卅上考察问题。而要在一个虽然有限、但却可能相当大的时间区 间[0，卅上存在经典解，保证在这一段时间内解不会发生破裂，在拟线性双曲型 方程(组)的情形应该是有条件的。这种经典解，既不同于局部经典解，又不同于 整体经典解，称之为半整体经典解。而实现精确能观性所需要的半整体经典解 只有当初值的C1模充分小时才存在，所以一般情况下，我们只能得到在零平衡 态附近对Cl模充分小的初值实现精确能观性。 关于线性波动方程的精确能观性已有大量的结果【14】，但关于拟线性波动 方程，目前的结果还不多，而且主要集中在空间为一维的情形。李大潜采用直 接构造性的方法，在一阶拟线性双曲型方程组半整体C1解的基础上对一阶拟线 性双曲组建立了完整的精确能观性理论【5．9】，并应用到一维拟线性波动方程。 在此基础上，王志强，郭丽娜在[10．11】中给出了相应的非自治一维一阶拟线性 双曲组及一维拟线性波动方程的精确能观性理论。 下面，先给出双曲型偏微分方程(组)的一些基本概念及结论。 在空气动力学、弹性力学等学科中提出了带两个自变量t和z的一阶拟线性 双曲型方程组 等+A(心)筹=F(u)， (1．1) 其中u=(ul，…，‰)T为关于(亡，z)的未知向量函数；A(u)是给定的n×n矩阵， 于u的适当光滑的向量函数，且满足 F(O)=0． (1．2) 一l一 第一章引言 由(1．2)矢11，u=0是方程组(1．1)的一个解一一平衡态。由双曲型的定义 (见[12】)，对于所考察区域上任意给定的u值，矩阵A(u)有n个实特征 l，…，n)，特别地，当A(钍)的n个实特征值互异时，方程组(1．1)称为严格双曲 组。 假设在所考察的区域上成立 b(u)～(u)兰0～(u) (1．3) 0=1，…，l；q=f+1，…，m；，．=m+1，…，竹)． 初始条件为 t=0：tI=妒(z)，0≤z≤L， (1．4) 而边界条件为 (1．5) z=0：％=G，@，Vl，…，协，铆+l，…，‰)+珥(t)p=m+1，…，n)， (1．6) z=二：吻=Gp(t，铆+1，…，qn，um+l，…，‰)+HAt)◇=1，…，2)， 其中 仇=毛(u)u(r=1，…，n)， (1．7) 且不妨假设 q(￡，0…，0)兰Gr(t，0…，0)兰0 (1．8) 0=1，…，f；r=仇+1，…，n) 由【9】及[131，有 r =