“作为未知量。对足够光滑的解,把标量守恒律在 $I i$ 上积分,得到精确平衡”
形式陈述
一维无源标量守恒律是在区域
其中
区间内总量的变化只由两端净流入决定。多维形式为
若
沿满足
一般拟线性特征线法把这一步写成扩展ODE,再以非特征条件证明位置投影可局部反解;初始面切向时既可能不相容,也可能不唯一。对于二次通量,Hopf–Lax公式的正负绝对值初值还分别给出稀疏扇和静止激波的势函数,迁移时需区分连续势函数的黏性条件与其梯度的熵条件。
边界条件由特征方向决定。对区间上的平流型守恒律,只能在信息进入区域的边界给独立数据;流出边界的迹应由内部解决定。把左右两端都强行指定为 Dirichlet 数据,可能过度约束方程,也会破坏积分守恒。数值上则由有限体积法直接维护每个控制体的通量账本。
直觉
可以把
特征线像携带状态标签的运输轨迹。线性通量
例子与边界
取 Burgers 通量
移动,所以
若改为
例如
凸性不能被默认为永远成立。对非凸通量,
推论与应用
局部守恒给出两个后续接口。分析上,把方程乘测试函数并分部积分得到弱形式,移动间断则满足 Rankine–Hugoniot 跳跃关系;再加入熵不等式,才能在适当函数类中恢复唯一性与
守恒形式与非守恒形式在光滑区可由链式法则互换,在间断处却可能给出不同传播速度。计算
参考资料
- Lawrence C. Evans, Partial Differential Equations, 2nd ed., American Mathematical Society, 2010, §3.4.
- Constantine M. Dafermos, Hyperbolic Conservation Laws in Continuum Physics, 4th ed., Springer, 2016, Chs. 1 and 6.
- Randall J. LeVeque, Finite Volume Methods for Hyperbolic Problems, Cambridge University Press, 2002, Chs. 11–12.