具有间断系数的半线性双曲型方程在多维空间上的Cauchy问题.pdfVIP

第 一 章 前 言及 本 文 的主要 结 论 从80年代起 ，对非线性偏微分方程奇性分析 的探索就成为偏微分方程理论研 宄 中的 一项重要工作.非线性偏微分方程解 的奇性传播 的种种现 象，与线性方程 的情 形 比起来 更丰 富，更 复杂. 其 中主要 原 因是非线性 函数 的作用将 引起奇性干扰 . 按照对 非线性方 程 的分类方法 ，若方程 中未知 函数 的最高阶导数 的系数与未知 函数无关 ，则该方程称 为 半线性方程 ；若方程 中未知 函数 的最 高阶导数 的系数与未知 函数有关 ，但方程 关于未知 函数 的最高阶导数为线性 的，则该方程称为拟 线性方程 ；若方程 关于未知 函数 的最 高阶 导数也是非线性 的，则该方程称为完全非线性方程. 本文我们将着重探讨半线性方程 的 奇 性 分 析 . C hen S, X 在文献 [4 丨中证 明了，在 多维空 间中，R iem ann 问题解 的存在性. 随后又 与Fang D , Y 共 同探讨 了具有光滑系数 的严格二阶双 曲型方程在交叉 间断初值条件 下 的C auchy 问题，见文献 [3]. 文献 [2]中，Zhang Y , Q 讨论 了当a 为正偶数时，具有不光滑初 值 的C auchy 问题 的解 的存在性. 文献 1丨丨中，Zhang Y , Q 给 出了一维空间上具有 间断系数 的半线性C auchy 问题局部解 的存在性和唯一性 的结论.本文主要是在总结 己有成果的基 础上，将 1丨丨中的问题推广到多维空间上的情形.方程如下 I丄?丄J u \t o 0,Ut|t o {ut t- ay{)A,u: - Uyy fu{), 其 中a⑷ € 而且满足 cm in (丨 1) a {y) 6, c, 6, a均为正数，f € C ⑴ 且/ (0) 0. 为给 出本文所讨论 的函数空 间，首先 引入如下算子 ：对S € R 、定义 M \ D ) (1 + A| ci|2)2 (1 + . 定义 1丄 7? {u e e LH Rh (71. ,7.),0 h/ l k}, 而 且 定 义 E iiAn 寧 0 |7 | f c  具有间断系数的半线性双曲型方程在多维空间上的C auchy 问题 2 特别地，当k 0时， II人 把+1)，当k S 0时，h U| ,o,o M丨k 2(ii+iv 定义 1.2. {U e e i2(i?n+i)，? e 而且定义 ll^IU.o,. h l l作 n+” + i|\/a^ V ^w |lAl，0.s + IW I地 现在 给 出本文 主要 的定理 . 定理1.1. (存在性）^ 5 I - ；^ , ? € 则存在r 0,使得 是方程(1.1)的 强解，而且满足 《e L~ ([0,T],X ^^(i?+i)), ut e 定理1.2. (唯一性）设u(r;，y)和 y)是方程(1.1)的弱解，而且当s . | — ?(丄2)时， t ’e L- ([0,r],x ^^(/?+i))/Ui, V, e i°°([o，r:],i^ f(i?+