Write the system as with andIts two characteristic speeds are , so it is strictly hyperbolic precisely when . At they coincide and the matrix is not diagonalizable; for the speeds are nonreal.
For define and . Substitution from the two differential equations givesThereforeThese are the two Riemann invariants; their constancy applies within smooth regions, not across a shock.
For a smooth solution, the first equation is . Multiplying it by and adding times the second equation givesThus the appropriate shallow water equations conservation variables and flux areUse this conservative extension to define a weak solution across . A jump contributes to and to . Cancellation of the singular parts gives the Rankine-Hugoniot conditionsEquivalently this follows by integrating each conservation law over a thin space-time control region crossing the discontinuity.
The conservative extension is essential here. Piecewise smoothness by itself does not imply any jump law. Moreover the smooth second equation can also be written ; imposing that different conservation law distributionally would give a different shock condition. Weak conservation laws depend on conserved variables. The requested jump law specifically selects mass and momentum , and this is the extension used below.
Test a single discontinuity connecting the two constant initial states. With state 1 below the discontinuity and state 2 above it, their jumps areThe first Rankine-Hugoniot condition gives , and the second independently gives , the same value. Since the initial jump is at the origin,Values on the shock itself do not affect the weak solution. No intermediate state or rarefaction is needed: the prescribed states already lie on the same compressive shock curve.
For admissibility, the upper-family characteristic speed is behind the shock and ahead of it. They satisfyBoth lower-family speeds, and , are less than the shock speed. These are the Lax shock admissibility conditions for a family-plus shock. This is the entropy-admissible solution for the mass/momentum conservative extension specified by the preceding jump law; imposing an additional velocity conservation law across the same jump would describe a different problem.
Articles by others on the same topic
There are currently no matching articles.