一阶非齐次拟线性双曲组的柯西问题整体经典解的存在性.pdfVIP

前 言 — a — 刖 5 在 物 理 学及 许 多其 他 自然 科 学 领 域 中，经 常会 提 出具有 两 个 自变 数 的一 阶 拟线性双 曲方程 组 ，例 如一维 空气动 力学方程 组，弹性 弦 的运 动方程 组等.一般而 言,拟 线性双 曲方程 组 的整 体 经 典解 只 能在 时 间i的一 个 局部 范 围 内存 在 ，即使初 值相 当光滑甚至 相 当小，也是如此.于是,人们 自然而然地会提 出这样 一个 问题 ：在 什么条件 下柯西 问题存在 整 体经 典解 ？对这个 问题 的研 究，一方面 是数学理论 本 身 的需要 ，一方面也 是 实 际 问题 的需要 . 在本文 中，我们考虑当非齐次项为一般形式 4 时，一阶非齐次拟线性严格 双 曲方 程 组 的柯 西 问题 的整 体 经 典解 的存 在 性 .本 文 首 先 证 明当非齐 次项 不 依赖 于 （时，在线性退化 的假设下，若初值 的一 阶导数及非齐 次项 的L 1模充分小，则非齐 次 的一 阶拟 线 性 严 格 双 曲组 的柯 西 问题 存 在 整 体经 典解 .木文 同时将 证 明在 弱 线 性退 化 的假设下,一 阶非齐 次拟线性严格双 曲组 的柯 西 问题 的整体经 典解 的存在 性 .文 中波 的分 解 公 式 对 定 理 的证 明起 到 了很 重 要 的作 用 .在 非 齐 次 项 为 一 般 形 式厂^ 力时,我们首先分别给 出了非齐次拟线性双 曲方程组在线性退化及弱线性 退化 条件 下 的精 细 的波 的分解 公式 ,利用 这些 公式较 简 洁地证 明 了经 典解 的整 体 存在 性 . 本文 的结构 是这 样 的：第 一章 为绪论 ，其 中1.1 节 为预 备知识 ,1.2 节 给 出 了本 文 的主要 结果 ；第二章分别 给 出了一 阶非齐 次拟线性严格双 曲组在线性退化及弱 线性 退 化条 件 下 的精 细 的波 分解 公 式 ;第 三 章 引入 了周忆 教授 建 立 的两个 L 1估 计 ；第 四章为两个整体经典解存在性 定理 的证 明. - IV -  第一章绪论 第 一 章 绪 论 1.1 预 备 知识 在本文 中，我们 考虑一 阶拟线性严格双 曲方程组 ： 盖 1.（1) 其 中U [ui, ? ■? , u?)^, F (F i，… ， 是 (纟，2；)的未 知 向量 函数，/4 (?i) (cLij (u)) (i，j 1,-.-, n)是 C2 光滑 的 n X n 矩阵. 由严格双 曲性 的定义 ， 有n个 不 同的实特 征值 ： A i(u) A2 (U.) ?. ? . (1.2) 令 “⑷ (liiiu), ■ ■ ■乂? (u))(或者ri(M) (ril⑷ ,… ，ri? (u))T)是对应于Ai(ii)(i 1，… ，n)的左(右)特征 向量： li(u)A (u) X (u)li(n) (或者冲 /.)ri(w,) Ai(?i)ri(?/)), 我 们 有 det 丨kj(u) 0 (等价地，det |n 八u) ^ 0). 所有的Ai(w)，Zij.(u)及rij(u) {i,j 1,，n)都具有(72光滑性? 不 失一般性 ，我们 设 (^) ? — dij J — 1:... _/ 几)， 1（.5) rj {u) ■ri{u) 1 