高维一阶拟线性方程组对角化问题.pdfVIP

维普资讯 第 34卷 第 2期 复 旦 学 报 (自然科学版) ’ 134 No2 l995年 4 局 JournalofFudanUniva~时 ~attaul~ nce) A pr． 1995 高维一阶拟线性方程组的对角化问题 lZ一7 塾焦 ． (=)St (数学研究所) 提 要 讨 论 了高维一阶拟 线性方程组可对角化 的条件，并给出其在 二维等熵 流方程 组 三维空气动力学方程组厦具有旋转对称性的守恒律组等情形的应用 关键词 对角型 双曲组 ；守恒律 研曲 力程翅． 中图法分类号 o l7527 拟 恤，碓南化 对角型拟线性方程组是一种特殊而易于处理 的方程组 ，因此 ，讨论一 阶拟线性偏微 分方程组是否可 以对角化是一个有意义的课题． 侄单个空间变量 的情况下 ，任何包含两个方程及两个未知 函数 的一阶双 曲组 总可对 角化 最近 ．Serre对一个空问变量并 由H个方程及 H个未知函数组成的一般一 阶拟线性 双 曲组给出了可对角化的一个充要条件 】 本文讨论具多个空间变量 的一般一阶拟线性方程组可 以对角化 的条件 ，并利用所得 结果证明了 F述事实：二维等熵流方程组中没有一个方程可 以对角化；三维空气动力学方 程组 中只有一个方程可 以对角化 ，且具有旋转对称性的守恒律组恒可对角化．Serre的结果 可视为本文的特殊情形． 1 高维一阶拟线性方程组 的对角化 考虑一阶偏微分方程组 鲁+ ㈨要=o 其 中 “=r“ “．．)．．(“)为H阶实方阵．其元素是 I1．的适 当光滑 的函数，Ⅲ ≥1为 空间变 量的十数． 定理 1 由方程组 (1)可 以得到一个对角型方程 + “) =o (v ．≠0) 的充要条件是存在非零向量 f(u)=( “)， ，pn(“))，它 同时为 A(“)的左特征 向量 (对 应 收稿 日期 ：1993—12—05 作 者孔德兴 ，博 士研究生 ；复旦大学数学研究所 ，上海 200433 j 维普资讯 第 2期 孔德兴 ：高维一阶拟线性方程组的对角化问题 l33 于实特 征值 (“))( 1， ．m)，且 成立 L(u)AdL(u)=0， (3) 其 中 L(u)=t(u)du 证 必要性．若存在适 当光滑的非平凡函数w(“)，由(1)式可得到(2)式 ，即有 V川 ， ＼Oy+ )“去)_(】 4(】 对方程组 (1)两端左乘Vw(“)，得 叫鲁+ 鲁)-o-