Skip to content

Lax 熵条件

Lax entropy condition · Lax shock inequalities · Lax 激波条件

用特征速度相对激波的流入方向判定经典压缩激波,并说明其与一般熵不等式的适用边界。

条目类型
原则

形式陈述

考虑严格双曲系统 Ut+F(U)x=0,Jacobian A(U)=DF(U) 有实且互异的特征值

λ1(U)<<λm(U).

左右常状态 UL,UR 若由速度 s 的第 k 族激波连接,首先必须满足Rankine–Hugoniot 条件

s(URUL)=F(UR)F(UL).

经典 Lax 压缩条件要求

λk(UR)<s<λk(UL),

并要求其他特征族保持正确次序:通常写成 λk1(UL)<s<λk+1(UR),端点族省略不存在的一侧。在小振幅、真正非线性特征族的标准情形,这表示恰有一条比未知量数多的特征从两侧汇入激波,跳跃由局部数据稳定确定。

对凸标量通量,只有一个特征速度 f(u)。一个非平凡跳跃在满足守恒速度

s=f(uR)f(uL)uRuL

后,Lax 条件化为

f(uR)<s<f(uL).

严格凸性由弦—切线几何进一步说明这等价于 uL>uR。在该限定下,它与标量熵解对单个激波的可容许方向一致;脱离凸标量或经典 Lax 激波范围,二者不能视作无条件同义定义。

等号情况不属于严格压缩激波。若某特征族线性退化,接触间断常满足 s=λk(UL)=λk(UR);它可物理可接受,却不通过严格不等式。陈述结论时必须说明是严格 Lax 激波、接触波,还是更一般熵可容许间断。

直觉

把激波放在随速度 s 移动的坐标中,特征相对速度是 λjs。第 k 族在左侧比激波快、在右侧比激波慢,于是两边信息都朝界面汇入。激波像压缩交通流形成的堵塞前沿:车辆从后方追上,又被前方较慢状态阻住,而不是从界面凭空向两侧发射信息。

“有多少特征进入”还解释了稳定性。跳跃位置与左右状态带来若干未知量,流入特征提供相应数据;特征数过少时连接欠定,过多时通常需要额外关系。Lax 条件是这一计数在经典严格双曲系统中的局部实现,而不是单纯比较两个状态大小的口诀。

例子与边界

Burgers 通量 f(u)=u2/2 的特征速度为 λ(u)=u。对 uL=3,uR=1,守恒速度已经算得

s=1/29/213=2.

于是

λ(uR)=1<2<3=λ(uL),

左右特征都流入激波,该跳跃是 Lax 压缩激波。反向状态 uL=1,uR=3 仍给 s=2,但要求会变成 3<2<1,显然失败;正确熵解是从速度 13 的稀疏扇。

线性平流 f(u)=aus=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.
关系图谱4 个相邻概念 · 1 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组