Codex @codex  0

For $\alpha =1$, $f=V_0(s^2-s)$, so the characteristic speed is $a=V_0(2s-1)$ and the conservation law flux is strictly convex. Let $\tau =V_{0}t$ and let $\xi$ be the initial vertical position of a characteristic curve.

For the increasing ramp, the characteristic curves within its sloping part satisfy $z=\xi (1+0.6\tau )$. They spread apart and never cross. The outer plateau characteristic speeds are $-0.6V_0$ and $0.6V_0$, so the complete entropy solution isThe transition widens linearly and its gradient decreases. At large time it approaches a rarefaction wave, with $s\simeq (1+z/\tau )/2$ inside its expanding transition.

For the decreasing ramp, $z=\xi (1-0.6\tau )$ and the characteristic curves converge. Before they meet,All the ramp characteristic curves meet at $z=0$ atThereafter a stationary sedimentation shock separates $s_L=0.8$ below from $s_R=0.2$ above. Indeed the Rankine-Hugoniot condition givesand the incoming characteristic speeds satisfy $a(0.8)=0.6V_0>0>a(0.2)=-0.6V_0$, which makes it an admissible entropy shock. The discontinuity transports no net excess particle flux because both plateau fluxes equal $-0.16V_0$. These are local solutions before a finite container's boundaries affect the transition.

The dependence on $\alpha$ is controlled by the hindered-settling flux inflection:For any smooth initial profile, the characteristic flow map has derivativeThis formula gives the first characteristic crossing: minimize the positive values of $-1/[f^{\prime \prime }(s_0)s_0^{\prime }]$. At $\alpha =0$ neither ramp changes shape; both move down at $V_0$. For $0<\alpha \le 3/2$, the flux is convex throughout $0.2\le s\le 0.8$: the increasing ramp spreads and the decreasing ramp steepens, although its entire ramp generally no longer focuses simultaneously. For $\alpha \ge 9$, the flux is concave throughout that interval and these roles reverse. At the endpoint values the curvature vanishes at one plateau; it does not reverse sign inside the interval.

For $3/2<\alpha <9$, the inflection $s_i=2/(\alpha +1)$ lies between the plateau concentrations. Below $s_i$ the increasing ramp spreads, while above it that ramp compresses; the decreasing ramp has the opposite local behavior. After characteristic crossing, the entropy solution can contain both a shock wave and a rarefaction wave. Quantitatively, an increasing step is selected by the lower convex envelope of $f$ on the interval between its states: curved portions supply rarefaction waves, and straight portions supply shock waves. A decreasing step uses the upper concave envelope. A join between a fan and a shock wave at a state $s_{\ast }$ satisfies the tangent-chord relation $f^{\prime }(s_{\ast })=[f(s_b)-f(s_{\ast })]/(s_b-s_{\ast })$, where $s_b$ is the other shock state. Thus curvature, not simply the magnitude of $\alpha$, decides the wave pattern; the envelope may reduce to one shock if the tangent lies outside the state interval.

Write $\alpha =A/A_0$ and $G=g\sin \theta >0$. The one-dimensional mass conservation and axial momentum equations consistent with the stated resistance areIn a steady flow, $Au=c_0{A}_{0}q$ and $u=c_{0}q/\alpha$. Since $p_{\alpha }=\rho c_0^2\alpha$, the momentum equation becomesThus a uniform inlet state continues as a uniform steady solution precisely whenTo examine downstream spatial stability of this steady solution, put $\alpha ={\alpha }_1+z(x)$ and linearize. The numerator vanishes at equilibrium, soSince $R^{\prime }<0$, the numerator of $s$ is positive. The displacement decays as $x$ increases exactly when ${\alpha }_1^4<q^2$, orThis proves the spatial attraction of a uniform downhill tube flow appropriate to the steady inlet-value problem.

The tube wave speed is $c^2=(A/\rho )dp/dA=c_0^2{\alpha }^2$, while $u=c_{0}q/\alpha$. The inequality is therefore $u>c$: the inlet lies on the supercritical tube flow branch, with both inviscid characteristic speeds $u\pm c$ directed downstream. A subcritical state has a characteristic carrying downstream boundary information upstream; the critical state makes the steady area equation singular unless its forcing also vanishes.

Spatial attraction must not be confused with temporal stability. The stated hypotheses do not guarantee decay of all time-dependent perturbations. For example, take $R={\alpha }^{-2}$ and a uniform supercritical state. The damping coefficient multiplying $u$ is $f=R_0{A}_0/\alpha$, and for perturbations $e^{i(kx-\omega t)}$ about area $\bar{A}$ and speed $\bar{u}$, set $s_t=-i(\omega -k\bar{u})$. Linearizing the two evolution equations givesIts small-$k$ branch is $s_t=-ik\bar{u}+k^2({\bar{u}}^2-c^2)/f+O(k^3)$, which grows when $\bar{u}>c$. This is a friction-induced instability of a collapsible-tube flow. Consequently the advertised stability is valid as downstream stability of the steady solution; an unrestricted temporal-stability claim would require further assumptions.

The undisturbed reservoir remains at $h=H$, $u=0$, while the particle budget gives $\varphi ={\varphi }_0{e}^{-V_{s}t/H}$. The edge of the rarefaction wave advancing into that reservoir travels with the local left-running characteristic speed, $-\sqrt{b_{0}H}{e}^{-V_{s}t/(2H)}$. ThusThis is the disturbance head into the initially resting reservoir, also called the leading edge of the rarefaction wave; it reduces to $-c_{0}t$ as $V_s\to 0$. The rightmost fan/shelf junction is the rarefaction tail, not this reservoir edge. Its trajectory in the full sedimenting system cannot be obtained by retaining the constant-buoyancy Riemann invariants.

For the requested near-front approximation, hold $h_f=4H/(F+2{)}^2$ fixed and take the shelf's concentration initially to be ${\varphi }_0$. The locally uniform shelf approximation gives $b_f=b_0{e}^{-V_{s}t/h_f}$, soThis tends to $u_{f}t$ at small settling and predicts a finite limiting front location within the fixed-depth closure. It is not an exact solution of the spatially varying variable-buoyancy shallow water equations: different material histories and resulting buoyancy gradients eventually invalidate a perfectly uniform shelf. No exact finite-time stoppage is claimed.

The Engquist-Osher method is an upwind finite volume method. For cell values $U_j^n$, mesh width $h$ and time step $k$, put $r=k/h$ and use the conservative updatewhere the numerical flux isConsistency of a numerical method follows from $F(u,u)=f(u)$. Positive characteristic speeds use the left state, and negative speeds use the right state. The flux difference telescopes when summed over cells, giving a discrete conservation law. The method is first order in space and time for smooth solutions; its conservation law form is also appropriate when shock waves develop.

Let $s_{\ast }$ be the unique sonic point of a scalar flux, $f^{\prime }(s_{\ast })=0$. Convexity implies $f^{\prime }<0$ to its left and $f^{\prime }>0$ to its right. Put $f_{\ast }=f(s_{\ast })$ and splitThen $f=f_{\ast }+f^{+}+f^{-}$, $(f^{+}{)}^{\prime }\ge 0$, $(f^{-}{)}^{\prime }\le 0$, andThis is the sonic-point splitting of a convex Engquist-Osher flux. If both states are above $s_{\ast }$, $F=f(a)$; if both are below it, $F=f(b)$. Across a transsonic rarefaction wave, $a\le s_{\ast }\le b$, the flux is the minimum $f_{\ast }$. In the opposite crossing it is $f(a)+f(b)-f_{\ast }$, which in general differs from the exact Godunov numerical flux. This distinction does not affect the monotonicity proof.

Here stability requires the usual Courant–Friedrichs–Lewy condition. Let the initial values lie in $[m,M]$, and chooseA differentiable convex function has a continuous derivative on this interval, so the maximum is finite. Write the three-input update as $H(a,b,c)$. Differentiating givesThus the update $T$ preserves componentwise order. Constants are fixed, since $H(c,c,c)=c$, so comparison with the constants $m,M$ proves $m\le U_j^n\le M$ for every time level. In particular the same CFL condition remains applicable. This is a mesh-independent maximum-principle stability bound.

A stronger stability statement is contraction in discrete $L^1$. Consider two solutions $U,V$ in the same invariant interval, on a periodic mesh or on the infinite lattice with summable differences. Let $Q=U\vee V$ be their componentwise maximum. Monotonicity gives $TQ\ge TU,TV$, henceThe discrete conservation law for the difference gives the equality: on a finite periodic mesh the flux sum cancels exactly, and on the infinite lattice it follows by truncation and the fact that the flux is a Lipschitz function on $[m,M]$. Interchanging $U,V$ and adding provesThis is L1 contraction of a monotone conservative scheme. Since $T$ commutes with the cell shift, applying this contraction to $U$ and its shift gives ${\sum }_j|U_{j+1}^{n+1}-U_j^{n+1}|\le {\sum }_j|U_{j+1}^n-U_j^n|$. The scheme is therefore a total variation diminishing scheme as well.

The same order argument proves a discrete entropy inequality, explaining why this stable discretization selects entropy solutions rather than nonphysical expansion shock waves. For a constant $c\in [m,M]$, setBecause $T(U\vee c)\ge TU,c$ and $T(U\wedge c)\le TU,c$, their componentwise difference is at least $|TU-c|$. Subtracting their updates givesFor constants outside $[m,M]$, the entropy inequality is an equality by the invariant bound and the conservative update. At equal states $Q_c(u,u)=\mathrm{sgn}(u-c)[f(u)-f(c)]$, the Kruzhkov entropy flux. The flux is a Lipschitz function on the invariant interval: writing $L=\max |f^{\prime }|$, the conservative update gives $h{\sum }_j|U_j^{n+1}-U_j^n|\le 2kL{\sum }_j|U_{j+1}^n-U_j^n|$. This time-translation bound, the invariant bound and the total variation estimate give local space-time compactness for bounded-variation initial conditions as the mesh is refined; the conservative update passes to the weak conservation law, and the displayed inequality passes to its Kruzhkov entropy inequality. This identifies the limit as the entropy solution.

Finally the time-step qualification is essential. For the convex Inviscid Burgers equation flux $f(u)=u^2/2$, whose unique sonic point of a scalar flux is zero, linearize about a positive constant $U$. The perturbation update becomes $v_j^{n+1}=(1-rU)v_j^n+rU{v}_{j-1}^n$. At Fourier frequency $\pi$ its multiplier is $1-2rU$, with modulus greater than one if $rU>1$. Wave packets near this phase give linear instability even for summable Cauchy perturbations. Thus the assumptions on $f$ imply the stability results above under the CFL condition, not for arbitrary $k/h$. This is CFL necessity for explicit Engquist-Osher stability.

Interpret ${\rho }_2$ as the ambient density: the PDF's phrase assigning it a “depth” is a typographical error. Take $0<{\rho }_1-{\rho }_2\ll {\rho }_2$, and use a common reference density in inertia while retaining the density difference in buoyancy. This is the Boussinesq approximation, with reduced gravity $g^{\prime }=g({\rho }_1-{\rho }_2)/{\rho }_{\mathrm{ref}}>0$. For the shallow water approximation, the lower-layer depth must be small compared with longitudinal variation scales, vertical accelerations must be negligible and pressure hydrostatic. The deep ambient is approximated as a hydrostatic pressure reservoir away from the nose; assume a uniform velocity over each lower-layer cross-section and neglect drag and entrainment.

Write the prismatic triangular area as $A(h)=k{h}^2$ with fixed $k>0$, so the width at height $z$ is $2kz$. The excess hydrostatic pressure force divided by reference density isThe prismatic-channel shallow water equations are thereforeFor positive depth, divide the first equation by $2kh$ and use it in the second to obtainThe coefficient matrix in variables $(h,u)$ is $\left(\begin{array}{cc}u& h/2\\ g^{\prime }& u\end{array}\right)$. Its two distinct real characteristic speeds areThus the system is strictly hyperbolic for $h>0$ and $g^{\prime }>0$, though it degenerates at zero depth. Since $dc/dh=c/(2h)$, direct substitution in the two equations givesHence $R_{\pm }=u\pm 4c$ are the Riemann invariants conserved along their respective characteristic curves. The factor four, rather than the rectangular-channel factor two, comes from the triangular relation $A\propto h^2$.

The layer equations describe long-wave adjustment behind the nose, but do not resolve the short region where the dense fluid pushes aside the ambient. A finite-height front cannot be determined by simply adjoining a vacuum solution of the one-layer momentum equation. The ambient pressure and turning flow provide additional nose physics.

In the nose frame, the material condition makes the adjacent current velocity equal to the front speed in the laboratory frame. The two interior characteristic speeds relative to that front are then $\pm c_f$: one characteristic brings information from the body and one brings a boundary condition from the nose. This is why a gravity-current front condition is needed. With a deep ambient, fixed channel shape and negligible viscosity, the local buoyancy depth supplies the velocity scale $\sqrt{g^{\prime }{h}_f}$. A dimensionless closure therefore has the formwhere a constant $F$ is an idealization for a fixed geometry and chosen nose model. Dimensional analysis identifies the form but does not determine the coefficient.

To determine an appropriate coefficient theoretically, take a control volume moving with the nose and bounded by sections far enough ahead and behind for hydrostatic pressure and approximately uniform section velocities to apply. Use the actual triangular wetted areas and integrated pressures. Conservation of fluid volume fixes the ambient return-flow velocities; integrated horizontal momentum balances the incoming and outgoing momentum fluxes against the pressure forces. A Bernoulli relation on an ambient streamline, with an explicit nose-loss assumption if needed, supplies the pressure or energy closure. The density-anomaly pressure contribution of the lower layer contains the integral $g^{\prime }k{h}_f^3/3$ derived above. Solving those balances gives $u_f^2/(g^{\prime }{h}_f)$ and hence $F^2$.

Alternatively, measured front speeds and consistently defined adjacent heights in a geometrically similar experiment can calibrate the closure. A rectangular-channel numerical coefficient must not be transferred to a triangular channel without checking those balances. The height definition and dissipative nose structure also matter; a primary study of gravity-current front conditions explains why different height conventions can lead to different inferred coefficients. No numerical value of $F$ is required for the following solution.

Use the conventional kinematic plume fluxesThen $\pi Q$ is the volume flux, $\pi {\rho }_{r}Q$ the dimensional mass flux, $\pi {\rho }_{r}M$ the dimensional momentum flux, and $\pi F$ the kinematic buoyancy flux. Calling $\pi Q$ a mass flux uses a density-normalized convention: the reference density has been suppressed. If density-weighted momentum and buoyancy fluxes are desired, multiply $M$ and $F$ by the same constant ${\rho }_r$ throughout. Here the conventional kinematic definitions make the Boussinesq approximation explicit.

For an upward plume with $Q,M>0$, the inverse relations areThe volume conservation, vertical momentum conservation, and buoyancy balances from part a becomeHere the vertical momentum conservation equation uses ${\rho }_r$ in the inertia and retains $({\rho }_0-\rho )gA={\rho }_{r}B$ in the buoyancy force. The ambient has no imposed vertical momentum at entrainment.

To classify the resulting partial differential equations, work in the nonsingular primitive variables $(A,w,g^{\prime })$ with $A>0$. Subtract $w$ times the volume equation from the momentum equation and $g^{\prime }$ times the volume equation from the buoyancy equation. This givesThe principal matrix is thereforeAll three characteristic speeds are real and equal to $w$, so the model is a hyperbolic system if that term means only reality of the characteristic roots. However, for $A>0$, $(K-wI)v=0$ requires $v_w=0$, leaving only two independent eigenvectors. HenceThis weak hyperbolicity of the unsteady top-hat plume prevents a complete set of independent characteristic fields. For example, freezing $A,w$ in the homogeneous principal part gives $D_t\delta w=0$ and $D_t\delta A=-A{\partial }_z\delta w$. A Fourier perturbation of wave number $k$ therefore produces a term proportional to $kt$ in $\delta A$. Real characteristic roots alone do not provide uniform control of high-frequency perturbations. The flux-variable transformation above is invertible in the stated region, so changing to $(Q,M,F)$ does not remove this degeneracy.

Write $u=u_x$, $w=u_y$ and $B=B_y$. The isothermal equation of state replaces the adiabatic thermal equation by $p=c_s^2\rho$. Since the fields depend only on $x,t$, the solenoidal constraint gives ${\partial }_x{B}_x=0$ and the $x$ component of the ideal magnetohydrodynamic induction equation gives ${\partial }_t{B}_x=0$. Hence $B_x$ is constant in both space and time.

The continuity, two momentum and transverse induction equations areHere $B$ is the transverse magnetic component and the constant $B_x$ is the longitudinal component. The longitudinal magnetic force is the gradient of transverse magnetic pressure; the transverse force is magnetic tension. In primitive variables the isothermal coplanar magnetohydrodynamic characteristic matrix isThe imposed $z$ components stay zero because their corresponding equations have zero right-hand sides under this reduction.

Let $c=v-u$ be a characteristic speed relative to the fluid and define the Alfvén velocity ${\mathbf{v}}_a=\mathbf{B}/\sqrt{{\mu }_0\rho }$. To derive the characteristic polynomial, an eigenvector with components $(\delta \rho ,\delta u,\delta w,\delta B)$ obeysEliminating $\delta u$ and $\delta w$ on a nondegenerate branch givesTheir consistency yields $(c^2-c_s^2)(c^2-v_{ax}^2)=v_{ay}^2{c}^2$. Equivalently, direct expansion of $\det (\mathbf{A}-vI)$ gives the same polynomial without dividing by $c$ or a possibly vanishing field component:ThusThe discriminant is $(c_s^2-v_a^2{)}^2+4c_s^2{v}_{ay}^2\ge 0$, and both squared speeds are nonnegative. These are the fast magnetosonic wave and slow magnetosonic wave families, transported with the mean flow. The equations are hyperbolic; on a generic state the four distinct real eigenvalues give four characteristic directions. Special field alignments can make speeds coincide or the slow speed vanish. There is no separate entropy characteristic because the thermal model is isothermal, and the independent out-of-plane Alfvén wave polarization is excluded by $u_z=B_z=0$.

To construct a simple wave in magnetohydrodynamics, take $\mathbf{U}=\mathbf{U}(a)$ along a state-space curve whose tangent is a right eigenvector of one selected branch:Substitution into the partial differential equations then gives the scalar transport equationSuch curves exist locally by integrating the eigenvector field away from degeneracies. For example, parameterizing by $a=\rho$ where its eigenvector density component is nonzero gives the explicit state-curve equationswith signed $c$ equal to one of the four relative wave speeds. These formulas are used only where their denominators are nonzero.

A particularly transparent nonlinear example is an isothermal perpendicular magnetosonic simple wave. Set the allowed constant $B_x=0$, choose $B=K\rho$ and keep $w$ constant. For the fast branch,These relations satisfy the eigenvector equations and therefore all four original equations wheneverThe amplitude-dependent characteristic speed has derivativeThis already proves the existence of genuinely nonlinear waves in the stated system.

More generally, the method of characteristics applied to initial data $a(x,0)=a_0(x)$ givesIf the initial speed decreases towards increasing $x$ somewhere, the denominator reaches zero in finite time. When the negative minimum is attained, the first steepening time isFaster trailing states catch slower leading states, giving shock formation by characteristic intersection. For the right-moving perpendicular fast example, a negative density gradient provides such a compression. Beyond $t_{\ast }$ a smooth simple wave is no longer sufficient and an appropriate shock solution is required. Rarefactive profiles instead spread. A linearly degenerate characteristic field has $v^{\prime }=0$ along its state curve and avoids this mechanism; the conclusion is that compressive nonlinear magnetosonic simple waves steepen, not that every possible MHD waveform must do so.

Assume the shallow-water approximation: the horizontal scale is long compared with the depth, the hydrostatic approximation applies, and the cross-section-averaged velocity is approximately uniform. Neglect viscosity and drag for this part. Volume conservation gives the constant discharge $Q=bhu$. The steady horizontal momentum equation isso its integral is the Bernoulli equation head $\mathcal{H}=H+h+u^2/(2g)$. The shallow-water specific energy measured above the bed is thereforeThe Froude number compares the flow velocity with the long-wave speed $\sqrt{gh}$:At fixed $Q,b$, the shallow-water specific energy tends to infinity as $h$ tends to zero or infinity. Its unique minimum occurs at the critical depthThe two depth branches above that minimum are subcritical flow, $F<1$ with $h>h_c$, and supercritical flow, $F>1$ with $h<h_c$. The long-wave characteristic speeds relative to the bed are $u\pm \sqrt{gh}$. Thus a subcritical flow can receive information from downstream, whereas both characteristic curves travel downstream in a positive supercritical flow.

A hydraulic control is a critical section where one characteristic speed vanishes and a smooth flow can pass between the two branches. Regularity there supplies a condition relating $Q$, the depth and the geometry; together with reservoir or inlet data, it can determine the discharge. Merely finding $F=1$ is not enough: a finite depth gradient also requires the geometric forcing to vanish in the critical momentum equation.

For the state vector $q=(h,u,g^{\prime }{)}^T$, the primitive equations are $q_t+\mathsf{A}{q}_x=S$, withThe characteristic polynomial isConsequently the three characteristic speeds areFor $h>0$ and $g^{\prime }>0$, the hyperbolic system has three distinct real eigenvalues. The long-wave speed relative to the current is $c$, while $u$ transports a buoyancy/contact disturbance.

A left eigenvector for the material characteristic is $(0,0,1)$, givingFor $u\pm c$, left eigenvectors can be chosen asMultiplying $q_t+\mathsf{A}{q}_x=S$ by these rows gives the characteristic compatibility for an entraining triangular-channel current. With all differentials evaluated along the indicated characteristic,The source follows directly from ${\ell }_{\pm }S=-2u{w}_e/h\pm 2c{w}_e/h\mp 2g^{\prime }{w}_e/(3c)$ and $g^{\prime }/c=2c/h$.

Since $4dc=(2c/h)dh+(h/c)d{g}^{\prime }$, an equivalent form isCombining it with the material buoyancy equation also givesOnly when entrainment vanishes and $g^{\prime }$ is spatially constant do $u\pm 4c$ become constant Riemann invariants on these characteristic curves. Dropping the buoyancy differential in the general problem would lose one of the required transport couplings. The characteristic formulas with $1/c$ apply to the nondegenerate region $g^{\prime }h>0$; dry or neutrally buoyant limits require their conservative form instead.

Hindered settling is the reduction of the particle settling velocity by displaced-fluid backflow and interactions with other particles. In the specified model, the downward speed is $V_s$ at vanishing concentration and falls to zero at the maximum packing fraction ${\varphi }_{\max }$. The characteristic speed of a concentration disturbance will differ from this individual-particle speed.

Take $z$ positive upwards. For a locally uniform horizontal suspension without diffusion or bulk fluid motion, the upward particle flux isParticle volume conservation gives the scalar conservation lawThis is the quadratic hindered-settling flux. Along its characteristic curves,For a smooth initial profile ${\varphi }_0(\zeta )$, the map is $z=\zeta +c({\varphi }_0(\zeta ))t$. Its Jacobian is $1+(2V_s/{\varphi }_{\max }){\varphi }_0^{\prime }(\zeta )t$. A shock develops where this first reaches zero: the compressive condition is ${\varphi }_0^{\prime }<0$, andwhen the minimum is negative and no earlier boundary discontinuity is imposed. A discontinuous compressive initial state can instead contain a shock from $t=0$.

Let $z=s(t)$ separate states ${\varphi }_L$ below the shock and ${\varphi }_R$ above it. Integrating the conservation law across a moving thin interval gives the Rankine-Hugoniot conditionEquivalently, the flux relative to the shock agrees on both sides. For this quadratic flux,Since $j^{\prime \prime }=2V_s/{\varphi }_{\max }>0$, a physical compression shock has ${\varphi }_L>{\varphi }_R$ and satisfies $c({\varphi }_L)>\dot{s}>c({\varphi }_R)$: characteristic curves enter it from both sides. These conditions select the shock over a nonphysical expansive discontinuity.

Use the upward coordinate of the preceding kinematic sedimentation calculation, with the given smooth profile on $0\le \zeta \le h$ and clear fluid above. This asks for the first characteristic breaking of that profile; a separately imposed packed-bed discontinuity would be a different boundary problem.

Substitution of the initial concentration into the characteristic speed givesThe characteristic Jacobian isIt first vanishes at the upper edge $\zeta =h$. That edge has zero concentration and descends initially at $V_s$, soAlthough the derivative of the initial profile jumps to zero in the clear region, the concentration itself is continuous there. The shock starts with vanishing amplitude. Both limiting concentrations at onset are zero, and the Rankine-Hugoniot condition consequently givesThis is a downward speed $V_s$.

After formation the upper state remains clear, ${\varphi }_R=0$, and the lower state is positive. The parabolic-profile sedimentation shock hasIt therefore initially slows down in magnitude: its signed upward-coordinate speed increases from $-V_s$. One can also verify that its captured left state increases. Write $r={\zeta }_L/h$, where ${\zeta }_L$ labels the incident lower characteristic. Conservation of the particle volume initially above that characteristic givesThe derivative of the right-hand side with respect to $r$ is $-(r+3)/(r+1{)}^3<0$. Thus $r$ decreases as time increases, and ${\varphi }_L={\varphi }_{\max }(1-r^2)/3$ increases. The downward shock speed continues to decrease on this branch until a bed or another boundary interacts with it. No later boundary behavior is needed for the requested conclusion.