论文部分内容阅读
本文分为两个篇章:
第一篇考虑双曲型守恒律方程熵解的正则性。本文证明了当初始数据属于Ck除去一个第一纲子集时,守恒律的解是分片光滑的。值得一提的是从包含关系的含义来说,除去的子集是最小的。特别的,解包含中心压缩波,而这正是Dafermos和Schaeffer所没有包含的。更精确的,考察了激波起始点的某一邻域中解的结构,在此邻域中只产生一条Ck+1光滑激波,尽管在t=0上,或许有无穷多个区间,从每一个区间上出发的特征线会交于该邻域中一点。本文给出了退化点上只产生一个激波的充分和几乎必要的初始数据条件。证明当初始数据属于ψ(R)除去其一个第一纲子集时,解所包含的激波数目是有限的,除去的集合也是最小的。特别指出Schaeffer[16]中起关键作用的Thom突变理论,不再适用于本文所考虑的更广泛初始数据的情形。
第二篇考虑高维凸Hamilton-Jacobi方程.众所周知,其解由Hopf-Lax公式给出。先建立一个等价公式,联合应用这两个公式,简化了论证过程。当初始函数满足一定条件时,解是李普希兹连续的,所以是几乎处处可微的。首先研究解的可微性,并给出了解在一点光滑的充要条件。若解在某一点(x0,t0)不光滑,在一定的条件下,研究了点(x0,t0)的某一邻域的局部结构,证明了存在一个经过点(x0,t0)的间断面把邻域分成两部分,使得解在这两部分光滑。本文也证明了存在一条经过该点一条光滑曲线,以及三个共此线的半曲面,它们把邻域分成了三部分,使得解在任一部分光滑。更一般的,本文表明该邻域中只存在若干个间断面和若干条间断线,除去这些间断面和间断线外,解是光滑的。本文同时给出了整体光滑解存在的充分必要条件即初始函数是凸函数。在此基础上,本文给出了解爆破的精确时间,在这时刻之后解将不再光滑。由于解完全是由初始特征支出来的,特征线能传递初始函数的信息,因此研究特征线的性质有着十分重要的意义。本文给出了所有特征线的分类。本文证明了所有的特征线可以分为两类。第一类特征线可以走到无穷,或者说它能把初始信息传播到无穷远。第二类特征线只能走到有限远,或者说初始信息只能传播到有限的时间,有趣的是,这些性质仅与初始函数有关,而与方程的形式无关的具体形式无关。最后研究了解的大时间行为。