双曲守律系统文献翻译.docVIP

附件1：外文资料翻译译文 第1章 预备知识 双曲守恒律系统 的各种各样的物理现象的非常重要的数学模型。一般来说，古典解非线性双曲方程柯西问题解的守恒定律仅仅适时局部存在于初始数据是微小和平滑的.这意味着震波在解决方案里相配的大量时间里出现。既然解是间断的而且不满足给定的传统偏微分方程式，我们不得不去研究广义的解决方法，或者是满足分布意义的方程式的函数. 我们考虑到如下形式的拟线性系统 , (1.0.1) 这里是代表物理量密度的未知矢量向量， 是给定表示保守项的适量函数，这些方程式通常被叫做守恒律. 让我们假设一下，是(1.0.1)在初始数据 . (1.0.2) 下的传统解。 使成为消失在紧凑子集外的函数的一类。我们用乘以(1.0.1)并且使的部分，得到 . (1.0.3) 定义1.0.1 有，,有界函数叫做在以原始数据为边界条件下，(1.0.1)初值问题的一个弱解，在(1.0.3)适用于所有. 非线性系统守恒理论的一个重要方面是这些方程解的存在疑问性.它正确的帮助解答在手边的已经建立的自然现象的模型的问题，而且如果在问题是适定的.为了得到一个总体的弱解或者一个考虑到双曲守恒律的普遍的解，一个为了在(1.0.1)右手边增加一个微小抛物摄动限： (1.0.4) 在这是恒定的. 我们首先应该得到一个关于柯西问题(1.0.4),(1.0.2)对于任何一个依据下列抛物方程的一般理论存在的的解的序列： 定理1.0.2 (1)对于任意存在的, (1.0.4)的柯西问题在有界可测原始数据(1.0.2)对于无限小的总有一个局部光滑解，仅依赖于以原始数据的. (2)如果解有一个推理的估量对于任意的,于是解在上存在. (3)解满足： 如果. ( 4)特别的，如果在(1.0.4)系统中的一个解以 (1.0.5) 形式存在，这里是在上连续函数， ,如果 (1.0.6) 这里是一个正的恒量，而且当变量趋向无穷大或者趋向于0时，趋向于0. 证明.在(1)中的局部存在的结果能简单的通过把收缩映射原则应用到解的积分表现得到，根据半线性抛物系统标准理论. 每当我们有一个先验的局部解的评估，明显的本地变量一步一步扩展到，因为逐步变量依据基准. 取得局部解的过程清晰地表现在(3)中的解的行为. 定理1.0.2的(1)-(3)证明的细节在[LSU,Sm]看到.接下来是Bereux和Sainsaulieu未发表的证明(cf. [Lu9, Pe]) 我们改写方程式(1.0.5)如下： (1.0.7) 当.然后 . (1.0.8) 以初值(1.0.8)的解能被格林函数描写： . (1.0.9) 由于，, (1.0.9)转化为 . (1.0.10) 因此对于任意一个，有一个正的下界. 在定理1.0.2中获得的解叫做粘性解. 然后我们有了粘性解的序列,,如果我们再假如是在关于参数的空间上一致连续，即存在子序列（仍被标记）如下 , 在上弱对应 (1.0.11) 而且有子序列如下 ， 弱对应 (1.0.12) 在习惯于成长适当成长性.如果 ，a.e.， (1.0.13) 然后明显的是(1.01)使在(1.0.4)的趋近于0的一个初始值(1.0.2)的一个弱解. 我们如何得到弱连续(1.0.13)的关于粘度解的序列的非线性通量函数？补偿密实度原理就回答了这个问题. 为什么这个理论叫补偿密实度？粗略的讲，这个术语源自于下列结果： 如果一个函数序列满足 (1.0.14) 与下列之一 或者 (1.0.15) 当趋近于0时弱相关，总之，不紧密.然而，明显的，任何一个在(1.0.15)中的弱紧密度能补偿使其成为的紧密度.事实上，如果我们将其相加，得到