形式陈述
考虑严格双曲系统 U t + F ( U ) x = 0 ,Jacobian A ( U ) = D F ( U ) 有实且互异的特征值
λ 1 ( U ) < ⋯ < λ m ( U ) . 左右常状态 U L , U R 若由速度 s 的第 k 族激波连接,首先必须满足Rankine–Hugoniot 条件 公理库 Rankine–Hugoniot 条件 Rankine-Hugoniot condition · Jump condition for conservation laws · 守恒律跳跃条件 由时空控制体守恒推导移动间断的速度—状态跳跃关系,并区分守恒相容性与熵可容许性。
s ( U R − U L ) = F ( U R ) − F ( U L ) . 经典 Lax 压缩条件要求
λ k ( U R ) < s < λ k ( U L ) , 并要求其他特征族保持正确次序:通常写成 λ k − 1 ( U L ) < s < λ k + 1 ( U R ) ,端点族省略不存在的一侧。在小振幅、真正非线性特征族的标准情形,这表示恰有一条比未知量数多的特征从两侧汇入激波,跳跃由局部数据稳定确定。
对凸标量通量,只有一个特征速度 f ′ ( u ) 。一个非平凡跳跃在满足守恒速度
s = f ( u R ) − f ( u L ) u R − u L 后,Lax 条件化为
f ′ ( u R ) < s < f ′ ( u L ) . 严格凸性由弦—切线几何进一步说明这等价于 u L > u R 。在该限定下,它与标量熵解 公理库 守恒律的熵解 Entropy solution of a conservation law · Kružkov entropy solution · 守恒律可容许解 在弱守恒之外加入单向熵耗散不等式,从多个分布解中选择满足唯一性与稳定性的可容许解。 对单个激波的可容许方向一致;脱离凸标量或经典 Lax 激波范围,二者不能视作无条件同义定义。
等号情况不属于严格压缩激波。若某特征族线性退化,接触间断常满足 s = λ k ( U L ) = λ k ( U R ) ;它可物理可接受,却不通过严格不等式。陈述结论时必须说明是严格 Lax 激波、接触波,还是更一般熵可容许间断。
直觉
把激波放在随速度 s 移动的坐标中,特征相对速度是 λ j − s 。第 k 族在左侧比激波快、在右侧比激波慢,于是两边信息都朝界面汇入。激波像压缩交通流形成的堵塞前沿:车辆从后方追上,又被前方较慢状态阻住,而不是从界面凭空向两侧发射信息。
“有多少特征进入”还解释了稳定性。跳跃位置与左右状态带来若干未知量,流入特征提供相应数据;特征数过少时连接欠定,过多时通常需要额外关系。Lax 条件是这一计数在经典严格双曲系统中的局部实现,而不是单纯比较两个状态大小的口诀。
例子与边界
Burgers 通量 f ( u ) = u 2 / 2 的特征速度为 λ ( u ) = u 。对 u L = 3 , u R = 1 ,守恒速度已经算得
s = 1 / 2 − 9 / 2 1 − 3 = 2. 于是
λ ( u R ) = 1 < 2 < 3 = λ ( u L ) , 左右特征都流入激波,该跳跃是 Lax 压缩激波。反向状态 u L = 1 , u R = 3 仍给 s = 2 ,但要求会变成 3 < 2 < 1 ,显然失败;正确熵解是从速度 1 到 3 的稀疏扇。
线性平流 f ( u ) = a u 给 s = a 且两侧 λ = a 。任意跳跃都以 a 平移,严格不等式 a < a < a 不成立,却不表示该接触型间断违反物理。这里没有特征压缩,也没有 Burgers 激波的熵耗散;把严格 Lax 条件当作所有间断的必要条件会误杀线性解。
非凸通量再给一层边界。若 f ″ 改变符号,弦斜率可能与端点切线满足或不满足不同组合,单个 Riemann 解也可能含复合波。方程组还可能出现欠压缩或过压缩激波:黏性—毛细正则化会选择不符合经典特征计数的连接,此时需要熵不等式、黏性行波分析或 kinetic relation。Lax 条件是重要充分结构,不是所有材料模型的最终裁判。
数值耗散也会影响观察结果。过大的人工黏性可以把一个压缩激波抹宽,却通常保留正确传播速度;色散格式则可能在两侧产生振荡,让从网格点估计“左右特征速度”失真。判断应在收敛后的迹上进行,不能用单张粗网格的斜率替代理论条件。
推论与应用
Lax 条件把 Riemann 构造中的候选 Rankine–Hugoniot 跳跃筛成经典可容许激波,并确定哪些特征从哪一侧为界面供给数据。在 Godunov 型方法中,每个网格面局部 Riemann 问题都用这一方向组织波序;对系统,波速界还决定数值通量需要覆盖的最大信号速度。
它也提供可复算的诊断顺序:先由守恒差商算 s ,再算左右 Jacobian 的特征值,最后检查严格不等式及特征族编号。若第一步失败,问题是守恒相容性;第一步通过而第二步失败,才是熵可容许性问题。稳定性、离散 CFL 和高阶限制器属于数值层,不能替代这项连续激波判据。
参考资料
Peter D. Lax, “Hyperbolic Systems of Conservation Laws II,” Communications on Pure and Applied Mathematics 10(4), 1957, pp. 537–566.
Constantine M. Dafermos, Hyperbolic Conservation Laws in Continuum Physics , 4th ed., Springer, 2016, Chs. 8–9.
Eleuterio F. Toro, Riemann Solvers and Numerical Methods for Fluid Dynamics , 3rd ed., Springer, 2009, Chs. 2–4.