Abstract
We establish nonlinear \(H^2\cap L^1 \rightarrow H^2\) stability with sharp rates of decay in \(L^p\), \(p\ge 2\), of general hydraulic shock profiles, with or without subshocks, of the inviscid Saint-Venant equations of shallow water flow, under the assumption of Evans–Lopatinsky stability of the associated eigenvalue problem. We verify this assumption numerically for all profiles, giving in particular the first nonlinear stability results for shock profiles with subshocks of a hyperbolic relaxation system.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, by a combination of rigorous analysis and numerical verification, we establish nonlinear stability of nondegenerate hydraulic shock profiles of the inviscid Saint-Venant equations for inclined shallow water flow, across their entire domain of existence, in particular including large-amplitude profiles containing subshock discontinuities. Specifically, assuming spectral stability in the sense of Majda–Erpenbeck [21, 22, 31, 43, 70], we prove linear and nonlinear \(H^2\cap L^1\rightarrow H^2\) phase asymptotic orbital stability, with sharp rates of decay in \(L^p\), \(p\ge 2\). We then verify the spectral stability condition numerically, by exhaustive Evans–Lopatinsky/Evans function computations.
The inviscid Saint-Venant equations
here given in nondimensional form, model inclined shallow water flow where h is fluid height, \(q=hu\) is total flow with being u fluid velocity, and \(F>0\) is the Froude number—a nondimensional parameter depending on reference height/velocity and inclination. Among other applications, they are commonly used in the hydraulic engineering literature to describe flow in a dam spillway or channel, etc.; see, for example, [8, 10, 11, 17, 32, 36] for further discussion.
Equations (1.1) form a hyperbolic system of balance laws [9, 16, 42], with the first equation representing conservation of fluid and the second balance between change of momentum and the opposing forces of gravity (h) and turbulent bottom friction (\(-h^{-2}|q|q\)). More specifically, they compose a \(2\times 2\)relaxation system [9, 16, 40, 65], with associated formal equilibrium equation
where \(q_*(h):=h^{3/2}\) is the value of q for which gravity and bottom forces cancel. That is, near-equilibrium behavior is formally modeled by a scalar conservation law, or generalized (inviscid) Burgers equation. On the other hand, short-time, or transient, behavior is formally modeled by the first-order part of (1.1), with zero-order forcing term \( h-h^{-2}q^2\) (\(q>0\)) set to zero; for later reference, we note that this coincides with the equations of isentropic \(\gamma \)-law gas dynamics with \(\gamma =2\) [9, 16, 62].
As discussed, for example, in [33, 40, 65], the formal approximation (1.2) is valid for general \(2\times 2\) relaxation systems in the vicinity of an equilibrium point \((h,q)=(h_0,q_*(h_0)) \) provided there holds the subcharacteristic condition that the characteristic speed \(q_*'(h_0)\) of (1.2) lies between the characteristic speeds of (1.1). This is also the condition for hydrodynamic stability, or stability under perturbation of a constant equilibrium flow \((h,q)(x,t)\equiv (h_0, q_*(h_0))\): for the Saint-Venant equations, the classical Froude number condition of Jeffreys [32],
In this regime, one may expect persistent asymptotically-constant traveling wave solutions
analogous to shock waves of (1.2), known as relaxation shocks, or relaxation profiles; in the context of (1.1), we shall call these hydraulic shock profiles. In the complementary regime \(F>2\), one expects, rather, complex behavior and pattern formation [4, 33, 36].
Indeed, we have the following description of existence (Section 2); here and elsewhere, let \([h]=h(x^+)-h(x^-)\) of a quantity h across a discontinuity located at x:
Proposition 1.1
Let \((H_L,H_R, c)\) be a triple for which there exists an entropy-admissible shock solution in the sense of Lax [42] with speed c of (1.2) connecting left state \(H_L\) to right state \(H_R\), that is, \(H_L>H_R>0\) and \(c[H]=[q_*(H)]\). Then, there exists a corresponding hydraulic shock profile (1.4) with \(Q_L=q_*(H_L)\) and \(Q_R=q_*(H_R)\) precisely if \(0<F<2\). The profile is smooth for \(H_L> H_R> H_L \frac{2F^2}{1+2F+\sqrt{1+4F}}\), and nondegenerate in the sense that c is not a characteristic speed of (1.1) at any point along the profile. For \(0<H_R< H_L \frac{2F^2}{1+2F+\sqrt{1+4F}}\), the profile is nondegenerate and piecewise smooth, with a single discontinuity consisting of an entropy-admissible shock of (1.1). At the critical value \(H_R= H_L \frac{2F^2}{1+2F+\sqrt{1+4F}}\), \(H_R\) is characteristic, and there exists a degenerate profile that is continuous but not smooth, with discontinuous derivative at \(H_R\). For \(F>2\), there exist smooth “reverse shock” profiles connecting the endstates in the opposite direction \(H_R\rightarrow H_L\), precisely when \(H_R<H_L<H_R\frac{1+2F -\sqrt{1+4F}}{2}\). In the degenerate case \(H_L=H_R\frac{1+2F -\sqrt{1+4F}}{2}\), \(H_L\) is characteristic and there exists an uncountable family of degenerate entropy-admissible piecewise smooth homoclinic profiles connecting \(H_R\) to itself, but no smooth profiles. In all cases, these are the only entropy-admissible piecewise smooth, asymptotically-constant traveling waves of (1.1), and \(c, Q>0\).
This corresponds to the picture for general relaxation systems [40, 47, 65, 68], wherein smooth relaxation profiles are known to exist for small-amplitude equilibrium shocks near equilibrium points that are stable as constant solutions, but larger-amplitude profiles contain discontinuities, or “subshocks”, if they exist at all. Meanwhile, profiles initiating from an unstable equilibrium typically connect endstates in a reverse direction corresponding to a non-entropy admissible shock of (1.2) [68] (and in any case cannot be stable as solutions of the associated relaxation system [47, 48]). Accordingly, we focus hereafter on the case \(0<F<2\) for which hydraulic shock profiles exist in the proper direction, and examine the stability of such profiles as solutions of (1.1).
1.1 Main Results
We first recall that system (1.1) is of classical Kawashima class, meaning that it is of symmetrizable hyperbolic type, with a symmetrizer that simultaneously symmetrizes the linearized zero-order relaxation (or “balance”) term; see Observation 4.1. By the analytical results of [47, 49], therefore, we obtain immediately spectral, linearized, and nonlinear stability and asymptotic orbital stability with sharp rates of smooth hydraulic shock profiles of sufficiently small amplitude, for any fixed endstate \(H_L\). Moreover, by [48], we obtain the same linearized and nonlinear stability results for smooth profiles of arbitrary amplitude, provided they are spectrally stable in the sense of a standard Evans function condition, and nondegenerate in the sense that hyperbolic characteristics do not coincide along the profile with the speed of the wave. Hence, the smooth nondegenerate case may be treated by existing analysis, reducing to a standard numerical Evans function study of intermediate-amplitude waves, as carried out for example in [2, 3, 6, 7, 27].
We focus here on the complementary large-amplitude case of nondegenerate shock profiles containing subshocks, or \(0<H_R< H_L \frac{2F^2}{1+2F+\sqrt{1+4F}}\). The degenerate case \(H_R= H_L \frac{2F^2}{1+2F+\sqrt{1+4F}}\) we do not treat. For perturbations satisfying appropriate compatibility conditions at the shock, in particular for perturbations supported away from the shock, short-time \(H^s\) existence follows by the analysis of Majda [43, 44], as noted in [34]. However, so far as we know, there were no results up to now on large-time behavior or existence under perturbation of relaxation profiles containing subshocks. Our main result is the following theorem establishing global existence and nonlinear phase-asymptotic orbital stability in this case, with sharp rates of decay, assuming spectral stability in the sense of an Evans–Lopatinsky condition analogous to that of the smooth profile case:
Theorem 1.2
For \(0<F<2\) and \(0<H_R< H_L \frac{2F^2}{1+2F+\sqrt{1+4F}}\), let \(\overline{W}=(H,Q)\) be a hydraulic shock profile (1.4), and \(v_0\) be an initial perturbation supported away from the subshock discontinuity of \(\overline{W}\) of norm \(\varepsilon \) sufficiently small in \(H^{s}\cap L^1\), \(s\ge 2\). Moreover, assume that \(\overline{W}\) is spectrally stable in the sense of the Evans–Lopatinsky condition defined in Section 4. Then, for initial data \({\tilde{W}}_0:=\overline{W}_0+v_0\), there exists a global solution of (1.1), with a single shock located at \(ct- \eta (t)\), and \(H^s\) to either side of the shock, satisfying, for \(t\ge 0\), \(2\le p\le \infty \) and some limiting phase \(\eta _\infty \),
for any \(\upsilon >0\), and some \(C=C(\upsilon )>0\). In particular, \(\eta (t)\rightarrow \eta _\infty \) as \(t\rightarrow +\infty \).
Estimates (1.5)(i)–(iv) may be recognized as exactly the same as those given for smooth profiles in [48, Thm. 1.2], but with \(\eta \) now an exact shock location forced by the presence of a discontinuity rather than an approximate location designed to optimize errors as in the smooth case. Estimate (1.5)(v), upgrading asymptotic orbital stability to phase-asymptotic orbital stability, is new even in the smooth case. We complement these results by systematic numerical studies verifying the Evans–Lopatinsky condition for nondegenerate hydraulic shock profiles containing subshocks, and the Evans condition for nondegenerate smooth profiles, across their full domain of existence. Together with our analytical results, this yields both linearized and nonlinear phase-asymptotic orbital stability of (all) nondegenerate hydraulic shock profiles of (1.1), that is, asymptotic convergence under perturbation to a nearby translate of the original wave. Note that, due to translation invariance, this is the strongest possible notion of stability for a traveling wave [18, 41, 59, 69].
Remark 1.3
As noted in [48] for the smooth case, the rates (1.5) are sharp. In particular, as noted in [47, 48], under the very weak localization \(v_0\in L^1\cap H^s\) assumed on the initial perturbation, it is not possible to give a rate for the convergence \(\eta (t)\rightarrow \eta _\infty \), even at the linearized level. For by translating the initial perturbation farther and farther toward infinity, an operation that does not change its norm, we may by finite propagation speed of the underlying hyperbolic model, delay indefinitely the interaction of the perturbation with the component subshock of the traveling wave. However, conservation of mass principles [40, 41], applied to the linearized problem, imply that, to linear order in perturbation norm \(\varepsilon \) the asymptotic shock location depends only on the “total perturbation mass” \(\int _{-\infty }^{+\infty }h_0(y)\, \mathrm{d}y\), hence is independent of translation. These two facts together are inconsistent with convergence at a fixed rate depending only on \(\varepsilon =|v_0|_{L^1\cap H^s}\).
1.2 Discussion and Open Problems
Large-amplitude hydraulic shock profiles are physically interesting from the point of view of dam break or river bore phenomena. Our results bear on the question whether the Saint-Venant equations (1.1) typically used in hydraulic engineering can model such phenomena. An interesting question for further investigation is whether the modeling of additional physical effects such as viscosity or capillarity become important at large amplitudes, radically changing behavior, or whether the solutions studied here indeed accurately capture behavior even in the discontinuous regime. We mention also the recent introduction in [54, 55] of vorticity to model (1.1), yielding effectively a \(3\times 3\) relaxation model with scalar equilibrium system. In the unstable, pattern formation regime analogous to \(F>2\) for (1.1), this augmented model is seen to give much closer correspondence in wave form for periodic roll wave patterns to that seen in experiment in [10, 11]. A very interesting open problem would be to study existence and stability of hydraulic shocks for this more complicated model, in particular comparing results to Saint-Venant profiles and experiment.
On the mathematical side, our main contribution here is the treatment for the first time of nonlinear stability of relaxation profiles containing subshocks, a topic that so far as we know has up until now not been addressed. (Though see [19, 20] for related, contemporary, studies of stability of discontinuous solutions of scalar balance laws.) Indeed, at the outset it is perhaps not clear what is the proper framework in which this problem should be approached, as smooth and discontinuous shocks have been treated in the literature by quite different and at first sight incompatible techniques. However, a useful bridge between these two (continuous and discontinuous) domains comes from the study of smooth boundary layer solutions of initial boundary value problems in [51, 67] and the treatment of piecewise smooth detonation waves in [34], in particular the suggestive use of the “good unknown” to separate interior and boundary problems in a convenient way.
Combining these two approaches allows us to formulate the linearized problem by an inverse Laplace transform representation similar to that appearing for smooth profiles in [47, 51, 67, 69], and thereby to obtain detailed pointwise Green function bounds by analogous (stationary phase, or Riemann saddlepoint) techniques. This allows us, as in the smooth profile case, to set up a nonlinear iteration based on contraction mapping, for which the nonlinear source loses one derivative. The nonlinear argument is then closed by an energy-based “nonlinear damping” estimate on the half-line modifying the corresponding large-amplitude estimate of [48]) on the whole line, which controls higher Sobolev norms in terms of \(L^2\) and an exponentially decaying multiple of the initial high norm, thus closing the iteration.
A key new ingredient in the half-line argument is the observation that the hyperbolic Friedrichs symmetrizer \(\tilde{A}_\alpha ^0\) used in the symmetric hyperbolic part of the energy estimates may be chosen so that the boundary conditions become maximally dissipative, a special feature of the one-dimensional case. A second new ingredient is the use of “Strichartz-type” bounds (Lemma 8.8) to control new trace terms arising in phase bounds for the nonsmooth case; the resulting “vertical estimate” (10.7) controlling time integrals at fixed spatial location seems of interest in its own right. A further novelty in the analysis is the introduction of a new “approximate characteristic” argument by which we can roughly decompose tail from center contributions of the initial perturbation, to obtain convergence of the phase \(\eta (t)\) as \(t\rightarrow +\infty \). The latter result is new even in the smooth case.
The treatment for discontinuous waves of decay in low norms \(L^p\), \(1\le p\le 2\) is an interesting open problem that we expect could be carried out by a suitable modification of the argument for the smooth case in [48]. A very interesting novelty in either smooth or nonsmooth case, would be to prove decay in \(L^1\) at nonuniform rate \(\int _{[-a_-t/2,-a_+t/2]^c}|v_0(x)|\, dx\) determined by the tail of the initial data, where \(a_\pm \) denote limiting equilibrium characteristic speeds as \(x\rightarrow \pm \infty \) for the linearized equations about the wave. This should be possible using an \(L^1\) version of the approximate characteristic estimate (10.16) developed here. Such a result would at the same time give an alternative, shorter proof of convergence \(\eta (t)\rightarrow \eta _\infty \) of the phase, based on conservation of mass of the unforced first coordinate u, similar to the classical argument of [41] for shock profiles of viscous conservation laws.
We note that all of our nonlinear arguments extend to nondegenerate piecewise smooth relaxation shocks of general \(n\times n\) systems with scalar equlibrium systems, in particular to the \(3\times 3\) Richard-Gavrilyuks (RG) model of [54, 55]. Thus, the stability problem in that case reduces to an examination of the existence and spectral stability problems. For \(n\times n\) relaxation systems with \(r\times r\) equilibrium systems, \(r>1\), Lax shocks of the equilibrium system admit \(r-1>0\) outgoing characteristic modes, leading to new, algebraically-decaying contributions from G source terms in the nonlinear Rankine–Hugoniot equations for which our our current \(L^p\)-based nonlinear iteration scheme appears not to close. However, this should be treatable under further localization conditions on the initial perturbation by a more detailed pointwise analysis as in [29, 30, 56].
Though we do not show it here, in the present case, for which the equilibrium behavior corresponds to a scalar shock, given the \(H^s\) bounds established in Theorem 1.2, the weighted norm method of Sattinger [59] can be applied in straightforward fashion to yield exponential decay of \(|v(t)|_{L^\infty }\), assuming spatial exponential decay on the initial perturbation. This yields time-exponential convergence of the phase to a limiting value, giving the stronger results of time-exponential phase-asymptotic orbital stability. Similarly, assuming algebraic decay at rate \(|v_0(x)|\le C(1+|x|)^{-r}\), \(1<r\le 3/2\) of the initial data, a pointwise analysis as in [28,29,30, 56] should give time-algebraic convergence to a limiting phase at rate \(|v|_{L^\infty }\le C(1+t)^{1-r}\), reflecting the rate at which “mass”, or integral of the conserved quantity u, is convected from initial data to the shock center: more precisely, the rate at which residual mass \(\int _{[-a_-t, -a_+t]^c}v_0(x)\, dx\) converges to zero, where \(a_\pm \) are the characteristic velocities of the limiting equilibrium systems at \(x\rightarrow \pm \infty \). This rate, if not the precise characteristic description, is obtained in the present analysis for \(r<5/4\); see Remark 10.2 for further discussion. For \(r\ge 5/4\), we get the nonsharp rate \((1+t)^{-1/4+\upsilon }\) for any \(\upsilon >0\).
An interesting new issue in the nonsmooth case is compatibility at time \(t=0\) of Rankine–Hugoniot conditions and initial perturbation. In Fig. 1, we display the results of numerical time-evolution of a perturbed subshock-type profile, first with initial perturbation supported away from the subshock (panels (a)–(d)) and second with piecewise smooth initial perturbation supported at the subshock (panels (e)–(h)) and incompatible with the Rankine–Hugoniot conditions at time \(t=0\). In both cases, stability is clear; however, in the second experiment one can see clearly an additional shock discontinuity originating from the subshock, generated by initial incompatibility.
An interesting open problem would be to analyze the second case by the introduction/tracking of this additional shock wave in the nonlinear Ansatz, “relieving” incompatibility at \(t=0\). More generally, it would be interesting to treat lower regularity perturbations than piecewise \(H^2\), for example in piecewise Lipshitz class by a paradifferential damping estimate following [44]. To treat perturbations admitting shocks would also be interesting, but appears to require new ideas. Likewise, in the setting of more general balance laws not admitting a damping estimate, it is not clear how to proceed even for the case of arbitrarily smooth compatible initial perturbations. As noted in [34], for example, the time-asymptotic stability of piecewise smooth Zeldovich–von Neumann–Doering (ZND) detonations is an important open problem.
Finally, it would be very interesting to attack by techniques like those used here the open problem cited in [36] of nonlinear time-asymptotic stability of discontinuous periodic “roll wave” solutions of (1.1) or its \(3\times 3\) analog (RG) in the hydrodynamically unstable regime \(F>2\). It would appear that a Bloch wave analog of the linear analysis here would apply also for periodic waves, similar to that of [35, 37] in the viscous periodic case; for the requisite Bloch wave framework for discontinuous waves, see [36].Footnote 1 A difficulty is the apparent lack of a nonlinear damping estimate given instability of constant states. However, as suggested by L. M. Rodrigues [57], one may hope that an “averaged” energy estimate using “gauge functions”, or specially chosen weights generalizing the Goodman- and Kawashima-type estimates here, as used to obtain damping estimates in the viscous case in [58] might yield a nonlinear damping estimate here as well.
Note Our numerical conclusions have subsequently been verified analytically by generalized Sturm–Liouville considerations in [63], yielding a complete analytical proof of stability.
2 Hydraulic Shock Profiles of Saint-Venant Equations
We begin by categorizing the family of hydraulic shock profiles, or piecewise smooth traveling wave solutions of (1.1) with discontinuities consisting of entropy-admissible shocks. For closely related analysis, see the study of periodic “Dressler” waves in [36, §2]; as discussed in Remark 2.3, this corresponds to the degenerate case \(H_s=H_L\), \(F>2\) in our study here. As the first-order derivative part of (1.1) comprises the familiar equations of isentropic gas dynamics, entropy-admissble discontinuities are in this case Lax 1- or 2-shocks satisfying the Rankine–Hugoniot jump conditions and Lax characteristic conditions [42, 62].
Consider the Saint-Venant equations (1.1)
We seek a traveling wave solution \((h,q)=(H,Q)(x-ct)\) with c constant and \((H(\xi ),Q(\xi ))\) smooth with
with Lax 1- or 2-shocks at each discontinuity. In smooth regions, we have, therefore,
and at sub-shock discontinuities \(\xi _j\), we have the Rankine–Hugoniot jump conditions
where [f] denotes the jump \(f(\xi _j^+)-f(\xi _j^-)\) of a quantity f at discontiuity \(\xi _j\).
Our first observation is the standard one, true for general \(n\times n\) relaxation systems of block structure \(w_t+F(w)_x=\begin{pmatrix} 0\\ r(w)\end{pmatrix}\), that \((H_L,Q_L)\) and \((H_R,Q_R)\) must necessarily be equilibria, with the triple \((H_L,H_R,c)\) satisfying the Rankine–Hugoniot conditions
of the reduced equilibrium system (1.2), that is, a (not necessarily entropy-admissible) shock of (1.2).
Integrating the first equation of (2.2), and combining with the first equation of (2.3) gives
Meanwhile, taking \((H',Q')\rightarrow 0\) in (2.2)(ii), we find that \(H_L\) and \(H_R\) must be equilibria of the relaxation system (1.1), satisfying \(Q_{L,R}=q_*(H_{L,R})=H_{L,R}^{3/2}\): in particular, note therefore that \(Q_L, Q_R>0\) in the physical regime \(H>0\) that we consider. Substituting \(Q_{L,R}=q_*(H_{L,R})\) into (2.5) then gives (2.4). As \(q_*(h )=h^{3/2}\) is convex, there are at most two such equilibrium solutions of (2.5) for a given value of \(q_0\), hence, for each possible left state \((H_L,Q_L)\) of (2.1), and choice of speed c, there is at most one possible right state \((H_R,Q_R)\ne (H_L,Q_L)\). Moreover, for such a nontrivial right state to exist, since then \(c=[q_*(h)]/[h]\) is given by the Rankine–Hugoniot conditions for (1.2), cmust necessarily be positive; from now on, therefore, we take \(c>0\).
Next, substituting (2.5) in the second equation of (2.2), we obtain the scalar ODE
and, substituting in the second equation of (2.3), the scalar jump condition
Since \(-q_0+cH=Q\) is monotone in H, and (as noted just above) is positive at equilibria \((H_L,Q_L)\) and \((H_R,Q_R)\), we have that Q is positive on \([H_L,H_R]\) and so we may drop the absolute values in (2.6) in this regime, and in the larger regime \(Q>0\), replacing (2.6) by
As the righthand side is cubic, with zeros at equilibria \(H_L\) and \(H_R\), it factors as \((H-H_R)(H-H_L)(H-H_3)\), where \(H_3\) is a third root that– since as observed above, there can be at most two– is not an equilibrium of (1.1). It follows that \(Q_3=-q_0+cH_3\) must be negative, or else we would have a contradiction; thus, \(H_3< \min \{H_L,H_R\}\); this gives in passing \(q_0>0\).
Writing (1.1) in abstract form as \(w_t + F(w)_x=(0, r(w))^T\), so that (2.2) becomes \((dF(w)-c\mathrm{Id })W'= (0, r(W))^T\), we see that (2.2) is singular precisely when the eigenvalues \(\alpha _\pm \) of \((dF-c\mathrm{Id })\) take value 0, where (see, for example, [62]) \(\alpha _\pm = Q/H \pm \sqrt{H/F^2}-c\), hence, by (2.5),
along a shock profile. As \(q_0>0\), this happens precisely at the “sonic point” where \(\alpha _+=0\), that is, the shock speed agrees with a characteristic speed of the hyperbolic relaxation system, or, solving: \( -q_0^2/H^2 + H/F^2=0\). Comparing with (2.6), we see that the scalar ODE becomes singular at the same value of H. Following [36], we denote this point as
Evidently along the profile, the signs of \(\alpha _\pm \) are constant for H to the right and left of \(H_s\). Taking \(H\rightarrow + \infty \), we see that
Recalling the Lax characteristic conditions [42, 62], we find that the only possible entropy-admissible shock connections are Lax 2-shocks from points \({\tilde{H}}_L>H_s\) to points \({\tilde{H}}_R<H_s\), that is, shocks for which \(\alpha _-({\tilde{H}}_L)<0<\alpha _+({\tilde{H}}_L)\) and \(\alpha _-({\tilde{H}}_R), \alpha _+({\tilde{H}}_R)<0\). In particular, any such discontinuities are decreasing in H, with, moreover, \({\tilde{H}}_R< H_s < {\tilde{H}}_L\).
We find it convenient to introduce a fifth point \(H_*\), defined as satisfying the scalar jump condition (2.7) (and thus, along the profile, by (2.5), the full jump conditions (2.3)) when paired with value \(H_R\). Combining all information, we have
Setting \(\nu :=\sqrt{\frac{H_L}{H_R}}>1\) and solving for \(c,q_0,H_*\) yields
from which we keep the nontrivial physically relevant (positive) solution
Substituting \(c,q_0\) in (2.6) now yields
where
Since \(\nu >1\), we have \(H_3<H_R<H_L\), recovering our earlier observation on the ordering of roots \(H_j\).
Our analysis of hydraulic shock profiles is based on the following case structure:
Lemma 2.1
With the notation above, we have that
- i.
\(H_s>H_R\) is equivalent to \(F\nu ^2-\nu -1>0\), or \(H_L>H_R\frac{1+2F+\sqrt{1+4F}}{2F^2}\). It is always satisfied when \(F>2\);
- ii.
\(H_s<H_L\) is equivalent to \(F<\nu ^2+\nu \), or \(H_L>H_R\frac{1+2F -\sqrt{1+4F}}{2}\). It is always satisfied when \(F<2\), as is \(H_*<H_L\).
Proof
The quadratic conditions in \(\nu \) follow immediately from (2.15), whence the boundaries in terms of \(H_L\) and \(H_R\) follow by the quadratic formula. Likewise, applying (2.13), we find that \(H_*<H_L\) is equivalent to \(2F^2<\nu ^2+\frac{1}{\nu ^2}+2\nu +\frac{2}{\nu }+2\), which is always satisfied for \(F<2\), by the inequality \(z+1/z\ge 2\) for \(z>0\). (2.13)
\(\square \)
Lemma 2.2
With the notation above, \(H_s\) lies between \(H_R\) and \(H_*\), and there is an admissible Lax 2-shock between the larger of \(H_*\), \(H_R\) and the smaller.
Proof
The function \({\tilde{q}}(H):= q_0^2/H + H^2/2F^2\) appearing in the scalar jump condition \([{\tilde{q}}]=0\) is convex, with \(c'(H)=-q_0^2/H^2 + H/F^2\) equal to the prefactor in the lefthand side of (2.6), with \(c'(H_s)=0\) uniquely specifying \(H_s\). By convexity, \(c(H_*)=c(H_R)\) implies by Rolle’s theorem that \(c'(H_*)\) and \(c'(H_R)\) have opposite signs, with \(c'>0\) at the larger of the two points, and \(c'\) vanishes somewhere between, hence \(H_s\in (H_*, H_R)\). Recalling (2.10), we see that there is then an (entropy-admissible) Lax 2-shock connecting the larger of \(H_*\), \(H_R\) to the smaller.
\(\square \)
Proof of Proposition 1.1
As noted in the discussion above, in all cases necessarily \(c>0\) for any shock profile, and \(Q>0\) for \(H \ge H_R\). Since smooth solutions of (2.14) cannot cross equilibrium \(H_R\), and entropy admissible shocks can only decrease H, we have that connecting profiles must satisfy \(H>H_R\), and thus \(Q>0\), for any choice of parameters.
(Case \(F<2\).) When \(0<F<2\), \(H_L>H_R\frac{1+2F+\sqrt{1+4F}}{2F^2}\), then \(H_R<H_s<H_*\), and so, by the factorization (2.14), \(H'<0\) on \((H_s,H_L)\), and thus on \((H_*,H_L)\). It follows that there exist discontinuous traveling wave solutions as depicted in Fig. 2a, consisting of a smooth piece emanating from the equilibrium of (2.6) at \(H_L\) and continuing down to \(H_*\), followed by a Lax 2-shock from \(H_*\) to \(H_R\). However, there does not exist a smooth profile, as the solution emanating from \(H_L\) cannot cross the singular point \(H_s\) to reach \(H_R\); indeed, one may see by the factorization (2.14) that \(H'>0\) on \((H_R,H_s)\).
In the limiting case when \(H_L=H_R\frac{1+2F+\sqrt{1+4F}}{2F^2}\), for which \(H_s=H_*=H_R\), there exist piecewise smooth traveling wave solutions as depicted in Fig. 2b, with discontinuous derivative at the endpoint \(H_R=H_s\).
In the small amplitude region \(H_R<H_L<H_R\frac{1+2F+\sqrt{1+4F}}{2F^2}\), for which \(H_*<H_s <H_R\), the corresponding smooth traveling wave profile does not pass the singular point, and so there exist smooth traveling wave solutions as depicted in Fig. 2c. However, there exist no solutions containing subshocks, as these would necessarily jump below \(H_s<H_R\), and so the solution could never return past \(H_s\), since \(H'<0\) on \((H_*,H_s)\) blocks approach by smooth solution, and since any admissible discontinuities can only decrease the value of H. See Fig. 3b for domain of existence for traveling waves.
(Case \(F>2\).) The case \(F>2\) goes similarly. When \(H_s>H_L\), we have, examining the factorization (2.14) and using \(F>2\), that \(H'>0\) on \((H_R,H_L)\), and so there exists a smooth “reverse” connection from \(H_R\) to \(H_L\). As \(H_R<H_s<H_*\), we also have in this case that \(H_*>H_L\), and, since we also have that \(H'<0\) on \((H_L,H_s)\), there is no way to reach \(H_*\) starting from either \(H_R\) or \(H_L\), and so there can be no discontinuous profile connecting equilibria \(H_L\) and \(H_R\) in either direction. In the degenerate case \(H_L=H_s\), we find that the factor \((H-H_s)\) in the singular prefactor \(-q_0^2/H^2 + H/F^2\) on the lefthand side of (2.14) exactly cancels with the factor \((H-H_L)\) on the righthand side, and so (2.14) reduces to the nonsingular scalar ODE
from which we find that \(H'>0\) for all \(H>H_R\), with no special significance to the point \(H_L\). Noting that \(H_*>H_s=H_L\), we see that there exists an entropy-admissible piecewise smooth homoclinic profile consisting of a smooth part initiating from \(H_R\) and increasing to \(H_*\), followed by a Lax 2-shock from \(H_*\) back to \(H_R\), and finally a constant piece \(H\equiv H_R\). As \(H_L\) is not an equilibrium of the reduced ODE (2.16), it cannot be an asymptotic limit and there is no profile connecting to it. Since \(H_R\) is a repellor, it can only be a limit at \(+\infty \) if the profile is constant there, and so any connecting profile must be a discontinuous solution starting with a smooth piece from \(H_R\) at \(-\infty \) and ending with a constant piece \(H\equiv H_R\) near \(+\infty \). However, there exists an uncountable family of multiple-discontinuity homoclinic profiles, in which intermediate shocks \((H_{2j},H_{2j+1}\) with \(H_*> H_{2j}> H_s> H_{2j+1}>H_R\) are arbitrarily placed in between, with smooth pieces connecting \(H_{2j+1}\) to \(H_{2j+2}\), where \(H_{2j+1}<H_s<H_{2j+2}\). In the remaining case \(H_R<H_s<H_*< H_L\), we have \(H'>0\) on \((H_s,H_L)\) and \(H'<0\) on \((H_R,H_s)\), hence there is no smooth solution leaving either \(H_R\) or \(H_L\), and the only admissible shock is from \(H_*\) to \(H_R\). Thus, there is no admissible piecewise smooth profile joining the two equilibria \(H_L\), \(H_R\) in either sense. \(\quad \square \)
Remark 2.3
The scenario (2.16) treated in the degenerate case \(H_s=H_L\), \(F>2\) may be recognized as the same one considered in [36, §2] with regard to existence of periodic entropy-admissible piecewise smooth relaxation profiles; indeed, existence of periodic and quasiperiodic profiles follows by essentially the same construction used here to show existence of homoclinic ones.
Observation 2.4
(Rescaling) By scale-invariance of the Saint-Venant equations [5, 36], we may perform the rescaling
to obtain a solution \(\underline{H}\) for which the left limiting water height is 1. From now on, we omit the underline in \(\underline{H}\), and simply take \(H_L=1\). After rescaling, the domain of existence of hydraulic shock profiles with a sub-shock discontinuity is
Observation 2.5
(Positivity) We have shown that H and Q are positive along hydraulic shock profiles \(\overline{W}\), hence also in their vicinity. It follows that for purposes of investigating stability their stability, we can drop the absolute value in (1.1)(ii) and write the source term simply as \(h-q^2/h^2\), as we shall do from now on. We see, further, that \(u,c>0\) for steady flow down an incline.
3 Majda’s Type Coordinate Change and Perturbation Equations
We next recall the general framework introduced by Majda [43, 44] for the study of stability of shock waves, converting the original free-boundary problem to a standard initial boundary-value problem on a fixed domain. Consider a general system of balance laws
admitting a traveling wave solution \(\overline{W}(x-ct)=\overline{W}(\xi )\) that is smooth and solves (3.1) on \(\xi \gtrless 0\) and at \(\xi =0\) has a discontinuity satisfying the Rankine–Hugoniot condition
where \([f(\xi )]=f(0^+)-f(0^-)\).
Let w(x, t; s) be a family of perturbed solutions to (3.1) with shock at \(x=\zeta (t;s)\) and
Perform the Majda’s type coordinate change [43] \(\tilde{t}=t\), \(\xi =\xi (x,t;s)=x-\zeta (t;s)\) and set
so that in u the shock front is fixed at \(\xi =0\). In \(u(\xi ,\tilde{t};s)\), balance laws (3.1) become
and the Rankine–Hugoniot condition (3.2) becomes
Now substituting
in the interior equation (3.3) and putting linear order terms on the left and quadratic order terms on the right, we obtain that perturbations \(\eta \), v satisfy
where \(N_j(v,v)=O(|v|^2)\). Likewise, substituting (3.5) in the Rankine–Hugoniot condition (3.4) and putting linear order terms on the left and quadratic order terms on the right, we obtain, on the boundary \(\xi =0\), that perturbations \(\eta \), v satisfy
Observation 3.1
Specialized to the Saint-Venant equations (1.1), \(N_1(v,v)\), \(N_2(v,v)\) are
4 The Evans–Lopatinsky Determinant
Continuing, we derive now a generalized spectral stability condition following [21, 22, 34, 39, 43, 44, 70, 71] in the form of an appropriate “stability function”, or Evans–Lopatinsky determinant. Combining (3.6) and (3.7), along with initial conditions, gives
or in “good unknown” \(\tilde{v}:=v+\eta \overline{W}'\) [34, 36, 70, 71],
where \(A:=dF(\overline{W})-c\;\mathrm{Id }\) and \(E:=dR(\overline{W})\).
Observation 4.1
Specialized to the Saint-Venant equation (1.1) with hydraulic shock profile, A and E are
From (4.3), we see in passing that the Saint-Venant equations are simultaneously symmetrizable in the sense that there exists a positive definite matrix
such that \(A^0A\) and \(A^0E\) are symmetric, and \(A^0E\) is negative semidefinite.
Setting \(\tilde{\tilde{v}}=\tilde{v}-\eta _0\overline{W}'\) and \(\tilde{\eta }=\eta -\eta _0\) then yields
Hereafter we use t, x in place of \(\tilde{t}\), \(\xi \).
System (4.4) is essentially the same set of equations studied in [34, 70, 71] in the context of detonation waves of the ZND model. As noted in [34], short time existence and continuous dependence in \(H^s\), \(s\ge 2\), is provided by the (much simpler, one-d version of the multi-d) analysis of Majda and Métivier [43, 44] for general conservation laws; see Section 9 for further details. In particular, we have for \(H^s\) initial data, that a solution exists, is continuous in \(H^s\) with respect to time, and grows in \(H^s\) at no more than exponential rate \(Ce^{\alpha t}\), so long as \(|v|_{H^2({\tilde{R}})}\) remains bounded; that is, the solution is of “exponential type”. It follows from [15] that the Laplace transform \(\check{v}(x,\lambda ):=\int _0^{+\infty } e^{-\lambda s} \tilde{\tilde{v}}(x,s)\mathrm{d}s\) with respect to t of a bounded solution \(\tilde{\tilde{v}}\in H^s\) is well-defined in \(H^s\), and that the original solution \(\tilde{\tilde{v}}\) is recoverable by the inverse Laplace transform formula
We now solve (4.4) using the Laplace transform. Carrying out the Laplace transform on (4.4)(i)–(ii) and denoting Laplace transform of \(\tilde{\tilde{v}},\;\tilde{\eta },\;I_S,\;B_S\) as \(\check{v},\;\check{\eta },\;\check{I}_S,\;\check{B}_S\), yields
Definition 4.2
Dropping the inhomogeneous source terms in (4.6), the associated eigenvalue equation is defined as
To solve (4.6), by the conjugation lemma of [45], we need to calculate eigenvalues of matrices \(\lim _{x\rightarrow \pm \infty }\mathcal {A}(\lambda )=A^{-1}_\pm (E_\pm -\lambda I)\).
At \(x=-\infty \), the two eigenvalues are
At \(x=+\infty \), the two eigenvalues are
It is easy to verify that in the domain (2.17) it holds that
Definition 4.3
We define the domain of consistent splitting \(\Lambda \) as
By (4.10), we see \(\{\lambda :\mathfrak {R}\lambda >0\}\subset \Lambda \). (See Fig. 3a for an example of domain of consistent splitting).
By the conjugation lemma of [45], there exist locally analytic coordinate changes \(T_\pm (\lambda ,x)\) (\(T_+\equiv Id\)) on \(x\gtrless 0\), converging exponentially to Id as \(x\rightarrow \pm \infty \), such that \(\check{v}=T_\pm z_\pm \), \(A^{-1}(\check{I}_S(\lambda )+v_0)=T_\pm g\) reduce resolvent equation 4.6(i) to constant coefficients
Letting \(P_{1,2,\pm }(\lambda )\) be the eigenprojections of \(\mathcal {A}_\pm (\lambda )\) associated with eigenvalues \(\gamma _{1,2,\pm }(\lambda )\), the solution of (4.6)(i) on \(x\gtrless 0\) can be written as
Here again \(P_{1,-}(\lambda )\) is the projection onto the unstable subspace of \(\mathcal {A}_-(\lambda )\) and \(P_{2,-}(\lambda )\) is the projection onto the stable subspace of \(\mathcal {A}_-(\lambda )\). Setting \(x=0^\pm \) in (4.13) yields
which implies
Now set \(P_{1,-}(\lambda )T_-^{-1}(\lambda ,0^-)\check{v}(\lambda ,0^-)=\alpha z_{1,-}(\lambda )\) with the scale of \(z_{1,-}(\lambda )\) chosen such that
Then, \(A(0^-)\check{v}(\lambda ,0^-)\) can be written as
Plugging (4.17) along with (4.14)(i) into the matching condition (4.6)(ii) implies
Definition 4.4
Setting \(M(\lambda ):=\left[ [\lambda W-R(W)]\;\Big |\;A(0^-)T_-(\lambda ,0^-)z_{1,-}(\lambda )\right] \), on the domain of consistent splitting, we define the Evans–Lopatinsky determinant function \(\Delta (\lambda )\) as
By construction, the Evans–Lopatinsky function is analytic on the set of consistent splitting, in particular on \(\{ \lambda : \; \mathfrak {R}\lambda \ge 0\}\setminus \{0\}\). Moreover, by separation of eigenvalues of \(\mathcal {A}_-\) at \(\lambda =0\), the associated eigenvectors and projections may be extended analytically to a neighborhood of \(\lambda =0\), allowing us to extend \(\Delta \) analytically to a neighborhood of \(\{\lambda :\; \mathfrak {R}\lambda \ge 0\}\). (For origins of this standard argument, see, for example, [25, 53, 69].)
Definition 4.5
Following [21, 25, 34, 70, 71], we say that a profile \(\overline{W}\) is Evans–Lopatinsky stable if \(\Delta (\lambda )\) has no zeros on \(\{\mathfrak {R}\lambda \ge 0\}\) save for a single, multiplicity-one root at \(\lambda =0\).
Remark 4.6
Evidently, Evans–Lopatinsky stability is a generalized spectral stability condition correponding with the usual notion of spectral stability on the set of consistent splitting, namely, absence of eigenvalues, but also including information on the embedded eigenvalue \(\lambda =0\) lying on the boundary of the domain of consistent splitting.
5 Integral Kernels and Representation Formula
With the defined Evans–Lopatinsky determinant matrix \(M(\lambda )\), equation (4.18) rewrites as
When M is invertible (\(\Delta \ne 0\)), solving for \(\alpha \), \(\check{\eta }\) yields solutions for equation (4.4):
Following the standard analysis in [47, 69] , we define the interior source resolvent kernel functions \(\tilde{G}_\lambda \), \(G_{1,\lambda }\), and \(G_\lambda \) as follows:
Definition 5.1
Setting \(\check{B}_S(\lambda )=0\) in (5.2) and gathering terms in different x, y locations, the interior source \(\check{v}\)-resolvent kernel \(\tilde{G}_\lambda (x;y)\) is defined as
and the interior source \(\check{\eta }\)-resolvent kernel \(G_{1,\lambda }\) is defined as
Let
and split \(G_\lambda \) into two parts \(G_\lambda =G^1_\lambda +G^2_\lambda \), where \(G^1_\lambda \), \(G^2_\lambda \) are defined as
These can be written alternatively as
where \(\mathcal {F}_\lambda ^{y\rightarrow x}\) is the solution operator from y to x of eigenvalue equation (4.7) and \(\Pi _{\lambda ,s}\) (\(\Pi _{\lambda ,u}\)) is the projection onto the stable (unstable) flow as \(x\rightarrow -\infty \).
In addition to these interior source kernels analogous to those of the smooth profile case [47, 69] , we define the boundary source \(\check{v}\)-, \(\check{\eta }\)-resolvent kernel functions \(\tilde{K}_\lambda \), \(K_{1,\lambda }\) as follows:
Definition 5.2
Setting \(\check{I}_S(\lambda ,y)=0\), \(v_0(y)=0\) in (5.2) and gathering terms in different x locations, the boundary source \(\check{v}\)-resolvent kernel \(\tilde{K}_\lambda (x)\) is defined as
and the boundary source \(\check{\eta }\)-resolvent kernel \(K_{1,\lambda }\) is defined as
and we set
Lemma 5.3
\(G_\lambda \) and \(K_\lambda \) are analytic near \(\lambda =0\).
Proof
It suffices to show that \(\left( \begin{array}{rr}1&1\end{array}\right) M^{-1}(\lambda )\) is analytic at 0:
Since 0 is a simple root of \(\det (M(\lambda ))\), 0 will not be a pole of \(\left( \begin{array}{rr}1&1\end{array}\right) M^{-1}(\lambda )\) if
vanishes, but if does vanish because \(\overline{W}\) is a traveling wave solution to (1.1). \(\square \)
Definition 5.4
The corresponding interior/boundary source Green kernels are defined as
where a is a sufficiently large number.
Proposition 5.5
The interior/boundary source Green kernels satisfy
With these definitions, equations (5.2) can be rewritten in the concise form
Formally exchanging the order of integration in the inverse Laplace tranform formula (4.5), we get finally, a formal description of the solution to (4.4) as
Translating from good unknowns back to original coordinates and validating rigorously the formal exchange of integration, we consolidate our results in the following integral representation:
Proposition 5.6
For v uniformly bounded in \(H^2\), the solution of (4.1) may be written as
where K, G, \(K_1\), and \(G_1\) defined in (5.13) are distributions of order at most two, that is, expressible as the sum of at most second-order derivatives of measurable functions.Footnote 2
Proof
Using \(\tilde{\tilde{v}}-\overline{W}'\tilde{\eta }=v\) and Proposition 5.5, (5.17) follows formally by subtracting \(\overline{W}'\) times (5.16)(ii) from (5.16)(i). Thus, the issue is to show that, interpreted in the sense of distributions, the order of integration may be exchanged in the double-integral terms of (4.5) expanded as
and
the single-integral terms being treatable by the standard property that the inverse transform of a product is the convolution of inverse transforms of its factors.
The double-integral terms may be treated similarly as in [47, 48, 69] by a standard device used in semigroup theory to validate the inverse Laplace transform representation of the solution operator [52, §1.7, pp. 28–29], adapted to the context of integral kernels. Namely, applying the resolvent kernel identity \( {\tilde{G}}_\lambda = (L{\tilde{G}}_\lambda + \delta _y)/\lambda \) deriving from the defining property \((\lambda -L) {\tilde{G}}_\lambda = \delta _y\) of the interior resolvent kernel \({\tilde{G}}_\lambda \), we may factor
By the crude high-frequency bound
for \(k\ge 0\) and \(\mathfrak {R}\lambda \ge \alpha \), \(\alpha \) sufficiently large, carried out in Section 6.1, we have therefore that term \( \frac{1}{2\pi i}P.V.\int _{a-i\infty }^{a+i\infty }e^{\lambda t} \int _{-\infty }^{+\infty } {\tilde{G}}_\lambda (x,y)\check{I}_S(y,\lambda ) \mathrm{d}y \,\mathrm{d}\lambda \) in (5.18) may be expanded as \(L^2\) applied to the integral \( \frac{1}{2\pi i}P.V.\int _{a-i\infty }^{a+i\infty }e^{\lambda t} \int _{-\infty }^{+\infty } {\tilde{G}}_\lambda (x,y)v_0(y)/\lambda ^2 \mathrm{d}y \mathrm{d}\lambda \) plus two explicitly evaluable terms.
Observing for \(\mathfrak {R}\lambda =a\) fixed that the integrand \(e^{\lambda t} {\tilde{G}}_\lambda (\cdot ,y) v_0(y)/\lambda ^2\) is absolutely integrable in \((y, \lambda )\), we have by Fubini’s theorem that we may switch the order of integration to obtain instead \(L^2\) applied to the limit \( \frac{1}{2\pi i} \int _{-\infty }^{+\infty } P.V.\int _{a-i\infty }^{a+i\infty }e^{\lambda t} {\tilde{G}}_\lambda (x,y) v_0(y)/\lambda ^2 \mathrm{d}\lambda \, \mathrm{d}y, \) which, since limits and derivatives of distributions freely exchange, is equal to
We find in passing that the result is a distribution of at most order 2, since it is expressible as the second-order derivative operator \(L^2\) applied to a measurable function.
Likewise, we find by standard inverse Laplace transform computations that the order of integration may be exchanged in \( \frac{1}{2\pi i}P.V.\int _{a-i\infty }^{a+i\infty }e^{\lambda t} \int _{-\infty }^{+\infty } \delta _y/\lambda ^2 \mathrm{d}y\, \mathrm{d}\lambda \) and \( \frac{1}{2\pi i}P.V.\int _{a-i\infty }^{a+i\infty }e^{\lambda t} \int _{-\infty }^{+\infty } \delta _y/\lambda \,\mathrm{d}y\, \mathrm{d}\lambda , \) validating the exchange in order for the entire \({\tilde{G}}\)-term in (5.18). The first term is at most order 2 since expressible as the first-order operator applied to an order-1 distribution (the delta-function), while the second is order 1. Thus, the entire term is at most of order 2.
The \(G_1\) term in (5.19) goes similarly, using the defining relation \((\lambda -L)G_{1,\lambda }=0\). Thus, the order of integration may be exchanged also for double-integral terms of (5.19) may be expanded as \(L^2\) applied to the integral (5.17)(ii), justifying (5.17)(ii); at the same time this shows that \(G_1\) is a distribution of at most order 2. (Alternatively, observing that the terms in the representation of \({\tilde{\eta }}\) are expressible as functions of \(\tilde{\tilde{v}}(0,t)\), we may conclude (5.16)(ii) directly from (5.16)(i).)
Similarly, using the property \({\tilde{K}}_\lambda =L {\tilde{K}}_{\lambda }/\lambda \), and the uniform bound \(|{\tilde{K}}_\lambda |_{H^s}\le C\) for \(\mathfrak {R}\lambda \) sufficiently large obtained in Section 6.1, we find that
factors as \(L^2\) applied to an \(H^s\) function defined by the absolutely convergent integral of
so is a distribution of order at most 2. Finally, using the large-\(|\lambda |\) bound \(K_{1,\lambda }=V_h/\lambda + O(1/|\lambda |^2)\) obtained in (6.25), Section 6.1, we find that \(K_1(t):= \frac{1}{2\pi i}P.V.\int _{a-i\infty }^{a+i\infty }e^{\lambda t} K_{1,\lambda } \mathrm{d}\lambda \) decomposes into the sum of an explicitly evaluable, constant term
and an absolutely convergent integral \(\frac{1}{2\pi i}P.V.\int _{a-i\infty }^{a+i\infty }e^{\lambda t}O(|\lambda |^{-2})\mathrm{d}\lambda \), hence is a \(C^0\) function with respect to t. \(\quad \square \)
Remark 5.7
Noting (Section 6.1) that the crude high-frequency estimate (5.20) holds for \(\mathfrak {R}\lambda \ge -b\) and \(|\lambda |\ge R\) for \(b>0\) sufficiently small and \(R>0\) sufficiently large, we find by the same analysis used to justify exchange of integration order in the proof of Proposition 5.6 that the contour \(P.V. \int _{a-i\infty }^{a+i\infty }\) in (5.13), Definition 5.4 (interpreted in distributional sense) may be deformed to
for \(b>0\) sufficiently small and \(R>0\) sufficiently large. This simplifies somewhat the corresponding analysis of [47] based on more detailed bounds.
6 Resolvent Estimates
We now derive bounds on the various resolvent kernels, on the crucial large- and small-\(|\lambda |\) regimes, corresponding via the usual frequency/temporal duality for the Laplace transform to small- and large-t behavior of the associated time-evolutionary Green kernels. These are obtained with no a priori assumption of spectral stability, that is, we establish in the course of our analysis rigorous high- and low-frequency Evans–Lopatinsky stability. Intermediate frequencies \(1/C\le |\lambda |\le C\) for \(C>0\) yield, by construction, immediately uniform exponential estimates
etc., provided the Evans–Lopatinsky condition is satisfied, hence their analysis is trivial in this sense. On the other hand, the verification of the Evans–Lopatinsky condition appears to be quite complicated in this regime, and we find it necessary to carry this out numerically (see Section 11).
6.1 High Frequency Analysis
We now study behavior of system (4.7)(i) in the high frequency regime. Denote \(w=\check{v}\) and write (4.7)(i) as
and perform two diagonalizations \(U:=\tilde{R}R^{-1}w\) similar to procedures in High Frequency analysis in [36], we reach a 2 by 2 system in which U satisfies
where
and \(|N(\lambda ,x)|< C(F,H_R)\) uniformly in \(|\lambda |>1,x\gtrless 0\).
Lemma 6.1
Let \(U(x)=\left( \begin{array}{rr}U_1(x)&U_2(x)\end{array}\right) ^T\) be stable flow (as \(x\rightarrow -\infty \)) of (6.3) and define \(\Phi _1=U_2/U_1\). Let \(\tilde{U}(x)=\left( \begin{array}{rr}\tilde{U}_1(x)&\tilde{U}_2(x)\end{array}\right) ^T\) be unstable flow (as \(x\rightarrow -\infty \)) of (6.3) and define \(\Phi _2=\tilde{U}_1/\tilde{U}_2\). For \(\mathfrak {R}\lambda >-{\bar{\eta }}\)\(({\bar{\eta }}>0,\;{\bar{\eta }}\) sufficiently small) and \(|\lambda |\) sufficiently large, we then have \(\Phi _{1,2}(x,\lambda )=O(1/|\lambda |)\) uniformly in \(x<0\).
Proof
We find after a brief calculation that
For \(x<0\), let \(\tilde{\mathcal {F}}_\lambda \) denotes the flow of equation \(\Phi '=(\Lambda _{22}(\lambda )-\Lambda _{11}(\lambda ))\Phi \). For \(\mathfrak {R}\lambda \ge -\bar{\eta }\),
Define bounded operator \(\mathcal {T}_\lambda \) on Banach space \(\mathcal {B}=C^b((-\infty ,0],\;\mathbb {C})\)Footnote 3 by
Claim one: For \(L>0\), the operator \(\mathcal {T}_\lambda \) is a contraction map on \(\{\Phi :||\Phi ||_\infty \le L,\Phi \in \mathcal {B}\}\) provided that \(|\lambda |\ge \max \{\frac{C(1+L)^2}{cL},\frac{4C(1+L)}{c}\}\). This follows from inequalities
Claim two: For \(|\lambda |>\frac{8C}{c}\), \(\mathcal {T}_\lambda \) is a contraction map for \(L:=\frac{4C}{c|\lambda |}<\frac{1}{2}\). This is because
Claim two then follows from Claim one.
The unique solution to (6.5) guaranteed by the contraction mapping theorem will be in the ball of radius \(L=\frac{4C}{c|\lambda |}\), which is of \(O(1/|\lambda |)\). On the other hand,
Let \(\tilde{\mathcal {F}}_\lambda \) now denote the flow of equation \(\Phi '=(\Lambda _{11}(\lambda )-\Lambda _{22}(\lambda ))\Phi \). For \(\mathfrak {R}\lambda \ge -\eta \), \(\mathfrak {R}(\Lambda _{11}(\lambda )-\Lambda _{22}(\lambda ))>c>0\), we define bounded operator \(\mathcal {T}_\lambda \) on Banach space \(C^b((-\infty ,0],\;\mathbb {C})\)
Again, inequalities
yield claims one and two, completing the lemma. \(\quad \square \)
Lemma 6.2
Writing R in (6.4) as \(R=\left( \begin{array}{rr}R_1&R_2\end{array}\right) \) and setting \(\left( \begin{array}{c}L_1\\ L_2\end{array}\right) =\left( \begin{array}{rr}R_1&R_2\end{array}\right) ^{-1}\), for \(\mathfrak {R}\lambda >-{\bar{\eta }}\)\(({\bar{\eta }}>0,\;{\bar{\eta }}\) sufficiently small), \(|\lambda |\) sufficiently large, the solution operator \(\mathcal {F}_\lambda ^{y\rightarrow x}\) of system (6.2) on \(x>0\) is
Moreover, the stable and unstable flow operators of system (6.2) on \(x<0\) are
where \(\mu _{1,2}\), M as in (6.4) are independent of \(\lambda \), \(|N(\lambda ,x)|< C(F,H_R)\) uniformly in \(|\lambda |>1,x\gtrless 0\), and the bound \(O(1/|\lambda |)\) is independent of x, y.
Proof
By lemma 6.1, the stable flow of (6.3) may be written as \(U=\left( \begin{array}{rr}U_1&\Phi _1 U_1\end{array}\right) ^T\) with \(\Phi _1=O(1/|\lambda |)\). The equation for \(U_1\) then reads \(U_1'=\big (\Lambda _{11}+\frac{1}{\lambda }N_{11}+\frac{1}{\lambda }N_{12}\Phi _1\big )U_1\). Integrating from 0 to x yields solution
Hence the full solution to (6.3) is
Transforming back to w coordinates by \(w=R\tilde{R}^{-1}U\) and using estimate \(\Phi _1(\lambda ,x)=O(1/|\lambda |)\), \(\tilde{R}^{-1}=Id+O(1/|\lambda |)\), we obtain
The projection onto the stable manifold \(\Pi _{\lambda ,s}(y)\) is approximately \(R_1(y)L_1(y)+O(1/|\lambda |)\); following the flow from y to x thus yields (6.13)(i). The unstable flow operator (6.13)(ii) can be derived similarly. \(\quad \square \)
6.2 Pointwise Estimates on Resolvent Kernels
6.2.1 Large \(\lambda \sim \) Small Time
Proposition 6.3
For \(\mathfrak {R}\lambda >-{\bar{\eta }}\)\(({\bar{\eta }}>0,\;{\bar{\eta }}\) sufficiently ) and \(|\lambda |\) sufficiently large, \(G^1_\lambda \), \(G^2_\lambda \), and \(K_\lambda \) can be written as
where \(\mu _{1,2}\), R, L, \(M_{11}\), \(M_{22}\) as in (6.4), V as in (6.22) are explicitly calculable and independent of \(\lambda \), \(\Phi _{1,2}(\lambda ,x)\) as in Lemma 6.1 are \(O(1/|\lambda |)\) terms uniformly in x, y. Moreover, they can be decomposed as
where \(H^{1,2}_\lambda \), \(H_{K,\lambda }\) are their corresponding lowest order terms defined by
and \(G^{1,2}_\lambda -H^{1,2}_\lambda \), \(K_\lambda -H_\lambda \) are \(O(1/|\lambda |)\) terms.
Proof
As consequences of Lemma 6.2 and using either (5.6) or (5.7), the \(G_\lambda ^1\) part (6.17) then follows. As for the \(G_\lambda ^2\) part, explicit calculation shows that in the high frequency regime
Equation (6.186.19) then follows. To estimate the error terms, we find, for \(x<y<0\), that
Thus \(G^1_\lambda -H^1_\lambda \) is an \(O(1/|\lambda |)\) term on \(y<x<0\). The other parts can be similarly estimated. \(\quad \square \)
Desingularizing \(\check{\eta }\)-resolvent kernels \(G_{1,\lambda }\), \(K_{1,\lambda }\) by multiplying by a factor \(\lambda \), we have the following estimates on \(\lambda G_{1,\lambda }\), \(\lambda K_{1,\lambda }\) in the high frequency regime:
Proposition 6.4
For \(\mathfrak {R}\lambda >-{\bar{\eta }}\)\(({\bar{\eta }}>0,\;{\bar{\eta }}\) sufficiently small) and \(|\lambda |\) sufficiently large, \(\lambda G_{1,\lambda }\), \(\lambda K_{1,\lambda }\) can be written as
where \(\mu _{1,2}\), R, L, \(M_{11}\), \(M_{22}\) as in (6.4) \(V_h\) as in (6.28) are explicitly calculable and independent of \(\lambda \), \(\Phi _{1,2}(\lambda ,x)\) as in Lemma 6.1 are \(O(1/|\lambda |)\) terms uniformly in x, y. Moreover, \(\lambda G_{1,\lambda }\) can be decomposed as
where \(H_{1,\lambda }\) is its corresponding lowest order term defined by
and \(\lambda G_{1,\lambda }-H_{1,\lambda }\) is an \(O(1/|\lambda |)\) term.
Proof
By definition of \(K_{1,\lambda }\) (5.9) and equations (11.16) (11.17), equation (6.25) follows from the calculation
By definition of \(G_{1,\lambda }\) (5.4) and using Lemma 6.2, in the high frequency regime,
By equation (6.28), the \(\lambda G_{1,\lambda }\) part (6.24) then follows. Following similar calculation as in (6.23), we find that \(\lambda G_{1,\lambda }-H_{1,\lambda }\) is an \(O(1/|\lambda |)\) term. \(\quad \square \)
Proposition 6.5
For \(\mathfrak {R}\lambda >-{\bar{\eta }}\)\(({\bar{\eta }}>0,\;{\bar{\eta }}\) sufficiently small) and \(|\lambda |\) sufficiently large, the y derivative of \(G_{1,\lambda }\) can be decomposed as
where \(HY_{\lambda }\) is its corresponding lowest order term defined by
and \(\partial _y G_{1,\lambda }-HY_{\lambda }\) is a \(O(1/|\lambda |)\) term.
Proof
By taking y derivative of \(G_{1,\lambda }\) using (6.29), we see when the y-derivative falls on the exponential terms, the exponent \(-\lambda \mu _{1,+}\) then gives another factor of \(\lambda \) that cancel the \(\frac{1}{\lambda }\) factor in \(\left( \begin{array}{rr}1&0\end{array}\right) M^{-1}(\lambda )\) (6.22), giving \(HY_{\lambda }\) term. When the y-derivative falls on other terms, it results in terms of order \(O(\frac{1}{|\lambda |})\). \(\quad \square \)
6.2.2 Small \(\lambda \sim \) Large Time
Expanding (4.8)(4.9) near \(\lambda =0\) yields
where \(c^i_{1,2,\pm }\) are positive constant explicitly calculable as functions of F, \(H_R\). Since \(\mathcal {A}_+(\lambda )\) (\(\mathcal {A}_-(\lambda )\)) has distinct eigenvalues \(\gamma _{1,2,+}\) (\(\gamma _{1,2,-}\)) near \(\lambda =0\), we have the following proposition.
Proposition 6.6
The resolvent kernels \(G^1_\lambda (x;y)\), \(G^2_\lambda (x;y)\), and \(K_\lambda (x)\) can be extended holomorphically to B(0, r) for sufficiently small r. Moreover \(G^1_\lambda (x;y)\) can be decomposed as
where
and \(R^1_\lambda \) is a faster-decaying residual
Further, \(G^2_\lambda (x;y)\) is a faster decaying term which can be estimated as
and \(K_\lambda (x)\) is a faster decaying term which can be estimated as
Proposition 6.7
The desingularized resolvent kernels \(\lambda G_{1,\lambda }(y)\), \(\lambda K_{1,\lambda }\) can be extended holomorphically to B(0, r) for sufficiently small r. Moreover, defining
it holds that
and \(\lambda G_{1,\lambda }(y)\) can be decomposed as
where
and \(R_{1,\lambda }\) is a faster-decaying residual.
Proof
By the definition of \(G_{1,\lambda }\) (5.4)
We see in the neighborhood of the origin \(\left( \begin{array}{rr}1&0\end{array}\right) M^{-1}(\lambda )\) is desingularized by the extra \(\lambda \) factor in \(\lambda G_{1,\lambda }\). The proposition then follows. \(\quad \square \)
Proposition 6.8
The y-derivative of \(G_{1,\lambda }\) can be decomposed as
where
and \(RY_{\lambda }\) is a faster-decaying residual that is of order \(O(|\lambda \; SY_{1,\lambda }|)\). The term \(SY_{2,\lambda }\) has a simple pole at the origin and in y it is of order \(O(e^{-\theta |y|})\).
Proof
Taking y-derivative of (6.42) yields
By (6.32), we see the terms contain factor \(\gamma _{1,+}(\lambda ),\gamma _{2,-}(\lambda )\) will be desingularized, giving the \(SY_{1,\lambda }\) and \(RY_{\lambda }\) term. The remaining terms are defined to be \(SY_{2,\lambda }\). \(\square \)
Proposition 6.9
The term \(G_{1,\lambda }\left( \begin{array}{c}0\\ 1\end{array}\right) \) can be decomposed as
where
and \(RV_{\lambda }\) is a faster-decaying residual that is of order \(O(|\lambda \; SV_{1,\lambda }|)\). The term \(SV_{2,\lambda }\) has a simple pole at the origin and in y it is of order \(O(e^{-\theta |y|})\).
Proof
By expansion
and the special structure on \(P_{1,+}(0)A^{-1}_+\) and \(P_{2,-}(0)A^{-1}_-\) from Observation 7.5, the proposition follows by a similar argument as for Proposition 6.8. \(\quad \square \)
7 Pointwise Estimates on Green Kernels
With the above preparations, we are now ready to carry out our main linear estimates, obtaining detailed pointwise bounds on the Green kernels of the time-evolution problem.
Theorem 7.1
The interior source v-Green kernel function G defined in (5.13) may be decomposed as
where, assuming Evans–Lopatinsky stability,
and moreover
where M is some sufficiently big constant and \({\bar{\eta }}\) is a sufficiently small positive constant.
The interior source kernel estimates of Theorem 7.1 may be recognized as essentially those of the smooth profile case [47, 48]. Namely, as displayed in Fig. 4, the principal high-frequency component consists of time-decaying delta-functions moving along hyperbolic characteristics of (1.1) and refracting/reflecting from the shock, while the principal low-frequency component consists of time-algebraically decaying Gaussian signals moving along characteristics of the reduced, equilibrium system (1.2).
The behavior of additional, boundary kernels in the discontinuous (subshock) case is similar.
Theorem 7.2
For \(x>0\), the boundary source v-Green kernel function K(x, t) defined in (5.13) is identically 0. For \(x<0\), it may be decomposed as
where, assuming Evans–Lopatinsky stability,
Theorem 7.3
The time derivative of the interior source \(\eta \)-Green kernel function \(G_{1}(t;y)\) defined in (5.13) may be decomposed as
where, assuming Evans–Lopatinsky stability,
and moreover
where M is some sufficiently big constant, \({\bar{\eta }}\) is a sufficiently small positive constant, and \(V_h\), \(V_l\) defined in (6.28), (6.38) are constant vectors.
Theorem 7.4
The time derivative of boundary source \(\eta \)-Green kernel function \(K_{1}(t)\) defined in (5.13) may be decomposed as
where, assuming Evans–Lopatinsky stability,
Observation 7.5
(Special structure on \(P_{2,-}(0)A_-^{-1}\) and \(P_{1,+}(0)A_+^{-1}\)) The matrices \(P_{2,-}(0)A_-^{-1}\) and \(P_{1,+}(0)A_+^{-1}\) can be computed symbolically to be
In particular, the second columns vanish and equations (7.8) (7.18) follow.
Proof of Theorem 7.1
Case I. \(|x-y|/t\) sufficiently large Following [47], we note, for \(|x-y|/t>S\), S sufficiently large, that \(G=0\). Taking a sufficiently large in (5.13), we can use Proposition 6.3 to estimate \(G^{1,2}(x,t;y)\). For example on \(x<y<0\),
In “\(\lesssim \)” line, the integral can be explicitly computed because \(\mu _1,M_{11},R_1,L_1\), and A are independent of \(\lambda \). And, on the next line, using the triangle inequality for the integral yields the bound. Since there are c, C depending only on F, \(H_R\) such that
\(\delta \Big (t+\int _y^x\mu _1(z)\mathrm{d}z\Big )\) will be 0 provided that \(\frac{|x-y|}{t}<\frac{1}{C}\) or \(\frac{|x-y|}{t}>C\) for some C sufficiently large. As for the term in the last row of (7.22), for \(|x-y|/t\) sufficiently large, \(t+\int _y^x\mu _1(z)\mathrm{d}z\) will be a negative number. Thus by sending a to \(+\infty \) this term also vanishes. The same result holds on \(y<x<0\) and \(0<x<y\). Similarly, \(G^2(x,t;y)\) also vanishes.
Case II. \(|x-y|/t\) bounded. First, observe that \(|x-y|\le Ct\) yields for \(\theta >0\) that
for some \(\theta _1>0\), a contribution absorbable in error term R. Thus, in this regime, it is enough to show that terms are time-exponentially small in order to verify that they are absorbable in R.
By our construction of resolvent kernels, they are meromorphic on the set of consistent splitting, with poles precisely at zeros of the Evans–Lopatinsky function \(\Delta \) (4.19). Function \(\Delta \) is nonvanishing on \(\{\lambda :\mathfrak {R}\lambda \ge -a,|\lambda |>r\}\) by a combination of Proposition 11.2 and the assumed Evans–Lopatinsky stablity, that is, M is invertible on \(\{\lambda :\mathfrak {R}\lambda \ge -a,|\lambda |>r\}\). As observed in Remark 5.7, we can deform the contour of integration in (5.13) to (5.21). Since, by Lemma 5.3, \(G_\lambda \) is holomorphic in a small neighborhood of the origin, we can further deform the contour to the left of the origin and obtain
for \({\bar{\eta }}>0\), \({\bar{\eta }}\) sufficiently small. We will use superscript 1, 2 to denote contributions from \(G_\lambda ^{1,2}\) to G.
Intermediate frequency contribution II. For \(\lambda \) in the intermediate frequency regime \([-{\bar{\eta }}-iR,-{\bar{\eta }}-ir]\) and \([-{\bar{\eta }}+ir,-{\bar{\eta }}+iR]\), the resolvent kernel is bounded. Therefore term II is time-exponentially small of order \(e^{-{\bar{\eta }} t}\) and absorbable in R.
High frequency contribution III. In this regime, we can again use Proposition 6.3. The term \(III^1\) can be written as
The term \(III^1_{a}\) can be explicitly computed to be
which gives contribution \(H^1\) on \(x<y<0\). As for the term \(III^1_b\), it can be bounded by
in which the last inequality follows by \(-{\bar{\eta }}\mu _1(z)+M_{11}(z)>c>{\bar{\eta }}>0\) for \({\bar{\eta }}\) sufficiently small and all \(z<0\). Hence \(III^1_b\) is absorbable in R. By Proposition 6.3, \(G_\lambda ^1-H^1_\lambda \) expands as \(1/\lambda \) times a bounded function h(x, y) plus an error term of order \(O(\frac{1}{|\lambda |^2})\) on the contour of integral \(III^1_c\). Thus,
which again is absorbable in R. Similar analysis can be carried out on \(y<x<0\) and for \(G^2_\lambda \).
Low frequency contribution I.
(Case \(t\le 1\)). Estimates in the short-time regime \(t\le 1\) are trivial. Since then \(e^{\lambda t}G_\lambda \) is uniformly bounded on the compact set \([-{\bar{\eta }}-ir,-{\bar{\eta }}+ir]\), we have \(|I|\lesssim e^{-{\bar{\eta }} t}\) is absorbable in R.
(Case \(t\ge 1\)). Next, consider \(I^1\), \(I^2\) on the critical regime \(t\ge 1\) and \(y<x<0\).
\(I^1\): Decompose \(G^1_\lambda =S^1_\lambda +R^1_\lambda \) and write \(I^1\) as
We then analyze \(I^1_S,I^1_R\) separately.
\(I^1_S\): Deform the integral to write \(I^1_S\) as
where the saddle point \(\eta _*(x,y,t)\) is defined as
with
A key observation is that when \(\left| \frac{\bar{\alpha }}{p}\right| \le \varepsilon \), \(\varepsilon \) sufficiently small, \(\frac{t}{c^1_{2,-}},x-y\) are comparable; that is, we have
\(\square \)
Observation 7.6
Assuming the comparability condition (7.32) and \(y<x<0\), \(e^{-\theta '|y|}\) is time-exponentially decaying.
Proof
By the comparability condition, \(y<x-\frac{t}{2c_{2,-}^1}<-\frac{t}{2c_{2,-}^1}\), we have \(e^{-\theta '|y|}<e^{-\frac{\theta '}{2c_{2,-}^1}t}\). \(\quad \square \)
\(I^1_{S2}:\) i. When \(\left| \frac{\bar{\alpha }}{p}\right| \le \varepsilon \), \(I^1_{S2}\) can be explicitly computed to be
where \(S^1\) gives contribution \(S^1\) in (7.1) and \(I^1_{S2Ri}\), \(I^1_{S2Rii}\) are shown in “Appendix B” to be absorbable in R.
\(S^1_y\): By direct calculation,
ii. When \(\frac{\bar{\alpha }}{p}> \varepsilon \), the term \(I^1_{S2}\) can be bounded by
Hence it is absorbable in R. Similarly, when \(\frac{\bar{\alpha }}{p}<-\varepsilon \), \(I_{S_2}\) is also time-exponentially small.
\(I^1_{S1}\) and \(I^1_{S3}:\) i. When \(\left| \frac{\bar{\alpha }}{p}\right| \le \varepsilon \), the term \(I^1_{S1}\) and \(I^1_{S3}\) can be estimated as
Since \(\eta _*\) is the critical point of quadratic function \(\left( t-c^1_{2,-}(x-y)\right) \xi +c^2_{2,-}(x-y)\xi ^2\), we then have
Choosing \({\bar{\eta }}\) sufficiently small with respect to \(r^2\) and using comparability of \(\frac{t}{c^1_{2,-}}\) and \(x-y\), \(I^1_{S1}, I^1_{S3}\) is then time-exponentially decaying.
ii. When \(\left| \frac{\bar{\alpha }}{p}\right| >\varepsilon \), we have
Again choosing \({\bar{\eta }}\), \(\varepsilon \) sufficiently small with respect to r yields that \(I_{S1}\), \(I_{S3}\) are time-exponentially small.
\(I^1_R\): Using \(P_{2,-}(\lambda )=P_{2,-}(0)+O(|\lambda |)\), \(T_-(\lambda ,x)=Id+O(e^{-\theta '|x|})\), \(T_-^{-1}(\lambda ,y)=Id+O(e^{-\theta '|y|})\), \(\gamma _{2,-}(\lambda )=\tilde{\gamma }_{2,-}(\lambda )+O(|\lambda |^3)\), and \(A^{-1}(y)=A^{-1}_-+O(e^{-\theta y})\), \(R^1_\lambda \) can be estimated as
Deform the contour as before to write \(I^1_R\) as
\(I^1_{R2}\): On the contour \([\eta _*-ir,\eta _*+ir]\), we notice that
i. When \(\left| \frac{\bar{\alpha }}{p}\right| \le \varepsilon \), \(I^1_{R2}\) can be estimated as
The \(I^1_{R2ii}\) term in the last line of (7.42) is absorbable in R because \(\frac{t}{c^1_{2,-}}\) and \(x-y\) are comparable so \(\frac{1}{\sqrt{c^2_{2,-}(x-y)}}e^{-\frac{\left( t-c^1_{2,-}(x-y)\right) ^2}{4c^2_{2,-}\left( x-y\right) }}O(e^{-\theta '|x|})\) is absorbable in R (7.6) and by Observation 7.6 the term \(\frac{1}{\sqrt{c^2_{2,-}(x-y)}}e^{-\frac{\left( t-c^1_{2,-}(x-y)\right) ^2}{4c^2_{2,-}\left( x-y\right) }}O(e^{-\theta '|y|})\) is time-exponentially small hence also absorbable. The term \(I^1_{R2i}\) is shown in “Appendix B” to be absorbable in R.
ii. When \(\frac{\bar{\alpha }}{p}>\varepsilon \), following part ii above in the estimation of \(I^1_{S2}\), we find that \(I^1_{R2}\) is also time-exponentially decaying. Using (7.39) and imitating the way of estimating \(I^1_{S1}\) and \(I^1_{S3}\), we find that \(I^1_{R1}\) and \(I^1_{R3}\) are also time-exponentially decaying.
In the regime \(t\ge 1\) and \(x<y<0\), by Proposition 6.6, \(G^1_\lambda =R^1_\lambda \). Because \(\mathfrak {R}\gamma _{1,-}(\lambda )>c>0\) in a small neighborhood of the origin, \(G^1_\lambda (x;y)\) is then uniformly bounded in \(x<y<0\), and so the term \(I^1\) in (7.23) is time-exponentially decaying.
Following the way of estimating \(I^1_R\) and using estimates (6.36), \(I^2\) can be estimated in a similar way and absorbed in R.
\(R\left( \begin{array}{c}0\\ 1\end{array}\right) \): In R, the terms II, \(III_{b,c}^{1,2}\), and \(\chi _{t\le 1}I\) are time-exponentially small, hence absorbable in (7.9).Footnote 4 By Observation 7.5, any terms in R that has a labeling “S" will become 0 when right multiplied by \(\left( \begin{array}{c}0\\ 1\end{array}\right) \). The only term remaining to be analyzed is \(I_R^1\). By (7.39), \(\#_1\left( \begin{array}{c}0\\ 1\end{array}\right) =0\), the other term \(\#_2\left( \begin{array}{c}0\\ 1\end{array}\right) \) is absorbable in (7.9) by Observation 7.6.
Finally estimation of \(R_y\) can be done by estimating y-derivatives of terms in (A.2)(iii) separately, that is, for
II: The y-derivative of the resolvent kernel is bounded on the intermediate frequency regime, hence \(II_y\) is time-exponentially small;
\(III_{b,c}^{1,2}\): Direct computation shows they are time-exponentially small;
\(\chi _{t\le 1}I\): \(e^{\lambda t}G_{\lambda ,y}\) uniformly bounded, so time-exponentially small;
\(I^1_{S1,S3},\chi _{\frac{\bar{\alpha }}{p}>\varepsilon }I^1_{S2}\): When the y-derivative hits the exponential term, this will bring down only the order-one exponential rate, with no improvement due to differentiation. But, this term is already uniformly bounded for low frequencies. So, these terms again are time-exponentially small by following the estimates in the undifferentiated case;
\(\chi _{\frac{\bar{\alpha }}{p}\le \varepsilon }I_{S2Ri}^1\): See “Appendix B”;
\(\chi _{\frac{\bar{\alpha }}{p}\le \varepsilon }I_{S2Rii}^1\): See “Appendix B”;
\(I_R^1\): Again we demonstrate how to estimate \(\frac{\partial I_R^1}{\partial y}\) on the critical regime \(y<x<0\). By direct computation,
$$\begin{aligned} \begin{aligned}&\frac{\partial }{\partial y}\left( -e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}P_{2,-}(0)A_-^{-1}\right. \\&\quad \left. +e^{\gamma _{2,-}(\lambda )(x-y)}T_-(\lambda ,x)P_{2,-}(\lambda )T_-^{-1}(\lambda ,y)A^{-1}(y)\right) \\&=\tilde{\gamma }_{2,-}(\lambda )e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}P_{2,-}(0)A_-^{-1}\\&\quad -\gamma _{2,-}e^{\gamma _{2,-}(\lambda )(x-y)}T_-(\lambda ,x)P_{2,-}(\lambda )T_-^{-1}(\lambda ,y)A^{-1}(y)\\&\quad +e^{\gamma _{2,-}(\lambda )(x-y)}T_-(\lambda ,x)P_{2,-}(\lambda )\frac{\partial }{\partial y}\left( T_-^{-1}(\lambda ,y)A^{-1}(y)\right) \\&:=\#_3+\#_4, \end{aligned} \end{aligned}$$(7.43)and
$$\begin{aligned} \begin{aligned} \#_3&=\tilde{\gamma }_{2,-}(\lambda )e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}P_{2,-}(0)A_-^{-1}\\&\quad -\left( \tilde{\gamma }_{2,-}(\lambda )+O(|\lambda |^3)\right) e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}\left( 1+O(|\lambda ^3(x-y)|)\right) \\&\quad \times \left( Id+O(e^{-\theta ' |x|})\right) \left( P_{2,-}(0)+O(|\lambda |)\right) \\&\quad \left( Id+O(e^{-\theta '|y|})\right) \left( A_-^{-1}+O(e^{-\theta |y|})\right) \\&=\left( O(|\lambda |^3)e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}+\tilde{\gamma }_{2,-}(\lambda )e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}\right. \\&\quad \left. \left( O(|\lambda ^3(x-y)|+O(e^{-\theta ' |x|})\right) \right) P_{2,-}(0)A_-^{-1}\\&\quad +\tilde{\gamma }_{2,-}(\lambda )e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}\\&\quad \left( O(|\lambda |)A_-^{-1}+P_{2,-}(0)O(e^{-\theta '|y|})A_-^{-1}+P_{2,-}(0)O(e^{-\theta |y|})\right) \\&=\left( O(|\lambda |^3)e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}+O(|\lambda |)e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}\right. \\&\quad \left. \left( O(|\lambda ^3(x-y)|+O(e^{-\theta ' |x|})\right) \right) P_{2,-}(0)A_-^{-1}\\&\quad +O(|\lambda |)e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}\\&\quad \left( O(|\lambda |)A_-^{-1}+P_{2,-}(0)O(e^{-\theta '|y|})A_-^{-1}+P_{2,-}(0)O(e^{-\theta |y|})\right) . \end{aligned} \end{aligned}$$(7.44)We then see
$$\begin{aligned} |\#_3|=|e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}|O\left( |\lambda |^2+|\lambda |^4|x-y|+|\lambda |e^{-\theta |x|}+|\lambda |e^{-\theta '|y|}\right) . \end{aligned}$$(7.45)The estimation is then similar to that of \(I^1_R\) and we gain another \(\frac{1}{\sqrt{t}}\) from the extra \(|\lambda |\). Because
$$\begin{aligned} \#_4=e^{\tilde{\gamma }_{2,-}(\lambda )(x-y)}P_{2,-}(0)O(e^{-\theta '|y|}). \end{aligned}$$(7.46)The estimation is again similar to that of \(I^1_R\) in particular by Observation 7.6, this term is time-exponentially small. \(\quad \square \)
Proof of Theorem 7.2
Following a similar analysis as for High frequency contribution III in the estimation of G above and noting the bound (6.37) at low frequencies, we find that the boundary source v-resolvent kernel \(K_\lambda \) is exponentially decaying in |x|, hence the boundary source v-Green kernel K decomposes into only an \(H_K\) part and an R part as written in (7.10). \(\quad \square \)
Proof of Theorems 7.3 and 7.4
Taking time derivatives of \(K_1\), \(G_1\) in (5.13), we get an extra \(\lambda \) which removes the singularity of \(M^{-1}\) at \(\lambda =0\). The decompositions for \(K_{1t}\) (7.20), \(G_{1t}\) (7.12) then follow by shifting the contour to \(\{\lambda :\mathfrak {R}\lambda =-{\bar{\eta }}\}\) and using Propositions 6.4 and 6.7. \(\quad \square \)
8 Linear Stability
From the pointwise estimates of Theorem 7.1 we obtain the following linear \(L^q\rightarrow L^p\) stability estimates, from which we will ultimately derive nonlinear stability and asymptotic orbital stability.
8.1 Linear Orbital Stability Estimates
Lemma 8.1
The time derivative of equation (5.17)(ii) is
Proof
Directly by taking time derivative of (5.17)(ii). \(\quad \square \)
Taking \(B_S=0\), \(I_S=0\) in (5.17) and taking the time derivative of the \(\eta \)- equation yields the linearized integral equations
Linear asymptotic orbital stability follows immediately from Theorem 7.1. Splitting G (7.1) into singular part \(H:=H^1+H^2\) and regular part \(\bar{G}:=S^1+R\), K (7.10) into singular part \(H_K\) and regular part \(R_K\), and \(G_{1t}\) (7.12) into singular part \(H_1\) and regular part \(\bar{G}_{1t}:=S_1+R_1\), we then have the following lemmas:
Lemma 8.2
Assuming Evans–Lopatinsky stability, for the splitting \(G={\bar{G}}+H\), we have
and
for all \(t\ge 0\), some \(C,{\bar{\eta }}>0\), for any \(1\le r\le p\) and \(f\in L^q\) (resp. \(L^p\)), where \(1/r+1/q=1+1/p\).
Lemma 8.3
Assuming Evans–Lopatinsky stability, for the splitting \(K=H_K+R_K\), we have
and
for all \(t\ge 0\), some \(C,{\bar{\eta }}>0\), for any \(1\le p\) and \(g\in L^p\) (resp. \(L^1\)).
Lemma 8.4
Assuming Evans–Lopatinsky stability, for the splitting \(G_{1t}=\bar{G}_{1t}+H_1\), we have
and
for all \(t\ge 0\), some \(C,{\bar{\eta }}>0\), for any \(1\le q\) and \(f\in L^q\) (resp. \(L^\infty \)).
Lemma 8.5
For \(K_{1t}\), it holds that
for all \(t\ge 0\), some \(C,{\bar{\eta }}>0\), and \(g\in L^\infty (0,t)\).
Proof of Lemmas 8.2–8.5
These follow by direct calculation from our more detailed pointwise Green function bounds, exactly as in the proof of [47, Lemma 7.1].
\(\square \)
8.2 Linear Phase Estimates
Lemma 8.6
Assuming Evans–Lopatinsky stability, for \(K_1\), it holds that
for all \(t\ge 0\), some \(C,{\bar{\eta }}>0\), and any \(g\in L^1\).
Proof
(8.14) follows by direct computation using Theorem 7.4:
Likewise, (8.15) follows immediately from (8.14), using \(|K_1(0)+V_h + O(1-e^{-\bar{\eta } t})|\le C\). \(\quad \square \)
Lemma 8.7
Assuming Evans–Lopatinsky stability, for \(G_{1}\), it holds that
and
for all \(t\ge 0\), some \(C,{\bar{\eta }}>0\), for any \(1\le q\) and \(f\in L^q\cap L^\infty \).
Proof
By equations (6.29) and (6.22), in the high frequency regime \(G_{1,\lambda }=O(\frac{1}{|\lambda |})\), hence there will be no \(\delta \)-function contribution to \(G_{1}(t;y)\). Integrating the term \(G_{1,\lambda }\) in the high frequency regime will contribute to \(G_1(t;y)\) a time and space exponentially decaying term, which is harmless. In the low frequency regime, by shifting the integral contour to the left of the origin and applying the Residue theorem, we get a residue term that is independent of time and decaying in space plus a time exponentially small term. Therefore (8.16) follows.
By Proposition 6.5, integrating the term \(HY_\lambda \) in the high frequency regime will contribute to \(\partial _yG_1(t;y)\) a term containing a \(\delta \)-function like \(H_1(t;y)\) in Theorem 7.3. Integrating such a term in space with f(y) gives a contribution that can be controlled by \(e^{-\bar{\eta }t}|f|_{L^\infty }\). Integrating the term \((\partial _y G_{1,\lambda }-HY_\lambda )\) in the high frequency regime will contribute to \(\partial _yG_1(t;y)\) a time and space exponentially decaying term, which is harmless. By Proposition 6.8, integrating the term \(SY_{1,\lambda }\) in the low frequency regime will contribute to \(G_1(t;y)\) a scattering term like \(S_1(t;y)\) in Theorem 7.3. Integrating such scattering term with f(z) can be bound similarly as in (8.98.108.11). Integrating the term \(SY_{2,\lambda }\) in the low frequency regime will result in a residue term that is decaying exponentially in space and independent of time. Hence, integrating this term with f(z) gives a contribution that can be controlled by \(|e^{-\theta |\cdot |}f(\cdot )|_{L^1}\).
By equation (6.29), in the high frequency regime, \(G_{1,\lambda }=O(\frac{1}{|\lambda |})\), hence there will be no \(\delta \)-function contribution to \(G_{1}(t;y)\left( \begin{array}{c}0\\ f(z)\end{array}\right) \). The low frequency contribution can be estimated similarly as to (8.17) by applying Proposition 6.9. \(\quad \square \)
8.3 Auxiliary Estimates
Lemma 8.8
Assuming Evans–Lopatinsky stability, for the splitting \(G={\bar{G}}+H\), it holds that
and
for all \(t\ge 0\) and \(x\gtrless 0\), any \(\upsilon >0\), and some \(C=C(\upsilon )>0\).
Proof
For estimate (8.19), we estimate separately the contributions of terms \({\bar{G}}\) and H in the splitting \(G={\bar{G}}+H\). For \({\bar{G}}\), changing order of integration, and using the fact that \(\int _{0}^{t} |\bar{G}(x,s;y)| \, \mathrm{d}s\le C\), we obtain
In turn, bound \(\int _{0}^{t} |\bar{G}(x,s;y)| \, \mathrm{d}s\le C\) may be verified as in [64], by integrating a Gaussian moving with nonzero speed, hence passing transversally to the vertical line \(y\equiv \mathrm{constant}\). Namely, denoting by \(\theta (z,s)\) the moving Gaussian \(\theta (z,s):=(s)^{-1/2}e^{-(z-as)^2/bs}\) with \(z=x-y\), and \(\Theta =\int _{-\infty }^z \theta \) its bounded (error function) antiderivative, we have
from which we may bound
The term \(\int _0^{t} \chi _{s\ge 1}\Theta _s(z,s)\mathrm{d}s= \Theta (z,t)-\Theta (z,1)\) is uniformly bounded. The term \(\int _0^{t}\chi _{s\ge 1} \theta _z(z,s)\mathrm{d}s\) may be reduced by a similar argument to a constant times \(\Theta _z(z,t)-\Theta _z(z,1)= \theta (z,t)-\theta (z,1)\) plus a multiple of \(\int _0^t \chi _{s\ge 1}\theta _{zz}(z,s)\mathrm{d}s\); the latter can be bounded as \( |\int _0^t \chi _{s\ge 1}\theta _{zz}(z,s)\mathrm{d}s|\le \int _1^t (1+s)^{-3/2}\mathrm{d}s\le C_2 \). The H part can be directly obtained from taking \(p=\infty \) in estimate (8.6) and then integrating in time. This completes the proof of (8.19).
Estimates (8.20) and (8.21) are more delicate, based on the estimate
for \(a\ne 0\) and some \(C=C(\upsilon )\) independent of t. To prove (8.25), by symmetricity, it suffices to show
Based on the bound on the integrand function
(8.26) follows from
Estimate (8.27)[i] follows readily for \(z\not \in [a,at]\) by rewriting
then using \(\theta _s=-a\theta _z+b/4\theta _{zz}\) to obtain
where we see \(|\theta (\cdot ,t)|_{L^2},|\theta (\cdot ,1)|_{L^2}\le C\) and
For \(z\in [a,at]\), setting \(\theta _c(z,s):=(s)^{-1/2}e^{-(z-as)^2/bcs}\), \(1<c\) to be a Gaussian with larger support moving at the same speed as \(\theta \), we may estimate \(|s^{-\upsilon }\partial _z \theta |\le C |\partial _z \theta _c^{1+2\upsilon }|\), for \(\upsilon <(c-1)/2\). Calculation shows
Observing that
and hence integrating the principal contribution \(-1/a\partial _s(\theta _c^{1+2\upsilon })\), results in terms bounded by
As for integrating the F term, calculation shows
Therefore, by the triangle inequality, we also have that
Estimate (8.27)[ii] follows by direct computation:
where \(s_{1,2}=(8az+b^2\pm \sqrt{16azb^2+b^4})/(8a^2)\) are the two roots of equation \(2|z-as|=\sqrt{s}b\) and the last inequality follows from
By the decomposition of \({\bar{G}}_y=S^1_y+R_y\) and bounds on \(S^1_y\), \(R_y\) from Theorem 7.1, we obtain
Switching orders of integration and applying (8.28), Holder’s inequality and (8.25) yields
verifying (8.21). By equation (7.8) and estimate (7.9), estimate (8.20) follows similarly.
Using \(\int _0^t|{\bar{G}}(x,t;y)|\le C\), we have, switching the order of integration,
verifying (8.22). The proof of (8.23) goes similarly by applying Lemma 8.3. Likewise, applying (8.6) with \(p=\infty \), we have
which, switching the order of integration, yields bound
verifying (8.24). \(\quad \square \)
Remark 8.9
The above “Strichartz-type” bounds make crucial use of transverse propatation and pointwise bounds. By contrast, a straightforward estimation by Holder’s inequality
yields bound \(C(1+t)^{1/2}|f|_{L^1}\), poorer by factor \((1+t)^{1/2}\) than (8.19). Similarly for the cases (8.20)–(8.21), straightforward estimates by Holder’s inequality yield bounds poorer by factor \((1+t)^{1/4-\upsilon }\).
9 Short-Time Existence and Nonlinear Damping Estimate
We next establish nonlinear existence and damping estimates, obtained by Kreiss symmetrizer and Kawashima type energy estimates, respectively. As noted in [34], short time existence theory may be concluded by the analysis of shock stability carried out by Kreiss symmetrizer techniques in [43, 44]. Denote by \({\tilde{R}}_{a}\) the punctured real line \((-\infty ,a)\cup (a ,+\infty )\), and \({\tilde{R}}\) the symmetric version \({\tilde{R}}_0\). We obtain by the results of [44] immediately the following short time existence theory.Footnote 5
Proposition 9.1
For \(0<F<2\) and \(0<H_R< H_L \frac{2F^2}{1+2F+\sqrt{1+4F}}\), let \(\overline{W}=(H,Q)\) be a hydraulic shock (1.4), and \(v_0\) be a perturbation supported away from the subshock discontinuity of \(\overline{W}\) and lying in \(H^{s}({\tilde{R}}))\), \(s\ge 2\). Moreover, assume that \(\overline{W}\) is spectrally stable in the sense of the Evans–Lopatinsky condition defined in Section 4. Then, for initial data \({\tilde{W}}_0:=\overline{W}+v_0\), there exists a unique solution of (1.1) defined for \(0\le t\le T\), for some \(T>0\), with a single shock located at \(ct-\eta (t)\), and \(H^s\) to either side of the shock, such that for \(v(x,t):= {\tilde{W}}(x+ct -\eta (t),t)-\overline{W}(x)\),
Moreover, the maximal time of existence \(T_*\) defined as the supremum of \(T>0\) for which the solution is defined is either \(+\infty \) or satisfies \(\lim _{t\rightarrow T_*^-}|v|_{W^{1,\infty }} =+\infty .\) Finally, if \(v_0^r\rightarrow v_0\), with \(v_0^r\in H^{r+1/2}\), \(r\ge s\), then the corresponding solutions \((v^r,\eta ^r)\) converge to \((v,\eta )\) in \(C^0\left( [0,T]; H^s(\tilde{\mathbb R})\right) \times C^{s+1}([0,t])\).
Proof
Noting that the assumption that the perturbation is supported away from the subshock implies compatibility to all orders, we have that the first two assertions follow from Theorems 4.15 and 4.16 of [44], provided that the subshock satisfies the (shock) Lopatinsky condition of Majda [43]. But (see Remark 11.3), Lopatinsky stability of the component subshock is implied in the high-frequency limit by the Evans–Lopatinsky condition for the full shock profile. The third assertion, though not explicitly stated in [44, Thm. 4.1.5], is established in the course of its proof.
\(\square \)
Remark 9.2
In fact, the subshock can be seen directly to satisfy Majda’s Lopatinsky condition, independent of Evans–Lopatinsky stability of the associated relaxation shock profile, by the fact [43] that shock waves of isentropic gas dynamics are stable, since the shock Lopatinsky condition depends only on the first-order part of (1.1).
Our main effort will be devoted to proving the following nonlinear damping estimate generalizing the one proved for smooth relaxation profiles in [48, Prop. 1.4]:
Proposition 9.3
Under the assumptions of Proposition 9.1, suppose that, for \(0\le t\le T\), \(|v(\cdot ,s)|_{H^s({\tilde{R}})}\) and \(|\dot{\eta }|\) are bounded by a sufficiently small constant \(\zeta >0\). Then, for all \(0\le t\le T\) and some \(\theta >0\),
Remark 9.4
In the course of the proof, we show using the Rankine–Hugoniot conditions at the subshock that \(|\dot{\eta }|^2\) is controlled by a bounded linear sum of trace terms \(|v(0^\pm )|^2\) at \(\xi =0\). By one-dimensional Sobolev embedding, these in turn are controlled by a lower-order term \(C|v|_{H^1}^2\) absorbable in the estimates (9.24) from which (9.2) is obtained, hence (9.2) could be improved to
slightly improving the estimate of the smooth case [48].
Remark 9.5
For clarity, we carry out the proof of Proposition 9.3 for shock profiles of (1.1); however, the argument applies more generally to profiles of general relaxation systems of the class considered in [48], provided they contain a single subshock. (This allows the freedom to initialize the symmetrizer \(A^0\) arbitrarily at the endstates of the subshock, as we use crucially to arrange maximal dissipativity with respect to \(A^0\) of the associated Rankine–Hugoniot conditions.) A very interesting open problem would be to develop corresponding damping estimates in multi-dimensions, perhaps by Kreiss symmetrizer techniques [39]; see Remark 9.12 for related discussion.
9.1 Preliminaries
Under the assumptions of Proposition 9.3, the equations (1.1) and profiles \(\overline{W}\) satisfy the structural assumptions made for general relaxation systems in [48] along the smooth portions of W, that is, everywhere except at the subshock at \(x=0\). Thus, we have the following results of [48], denoting by \(\mathfrak {R}M:=\frac{1}{2}(M+M^*)\) the symmetric part of a matrix M:
Lemma 9.6
Under the assumptions of Proposition 9.3, for some \(\theta >0\), and all \(k\ge 0\),
(Stable manifold theorem, plus hyperbolicity of rest points \(\overline{W}_\pm \) of (2.14).)
Lemma 9.7
([26, 48]) Let D be diagonal, with real entries appearing with prescribed multiplicity in order of increasing size, and let E be arbitrary. Then, there exists a smooth skew-symmetric matrix-valued function K(D, E) such that
where \(\text {diag}\,E\) denotes the diagonal part of E.
Lemma 9.8
([48]) Under the assumptions of Proposition 9.3, there exist diagonalizing matrices \(L_\pm \), \(R_\pm \), \((LAR)_\pm \) diagonal, \((LR)_\pm =I\), such that
Lemma 9.9
([48]) There is a correspondence between symmetric positive definite symmetrizers \(A^0\), \(A^0 A\) symmetric, and diagonalizing transformations L, R, LAR diagonal, given by \(A^0 = L^* L\), or equivalently \(L=O^*(A^0)^{\frac{1}{2}}\), where O is an orthonormal matrix diagonalizing the symmetric matrix \((A^0)^{\frac{1}{2}}A(A^0)^{-\frac{1}{2}}\). Moreover, the matrix O (or equivalently L) may be chosen with the same degree of smoothness as \(A^0\), on any simply connected domain.
Following [48], we recall also the relations
and
here adapted to the case of a domain with boundary, where S is symmetric and K skew-symmetric, and \(\langle \cdot , \cdot \rangle _{(a,b)}\) denotes \(L^2\) inner product on (a, b). When the domain (a, b) is clear (as below, where all energy estimates will be carried out on \((-\infty ,0)\) and \((0,\infty )\)), we omit the subscript (a, b).
9.1.1 Boundary Dissipativity.
A new aspect in the present, discontinuous, case is boundary dissipativity at the subshock. For a general symmetrizable initial boundary-value problem on \((-\infty , 0]\)
with symmetrizer \(\mathbb {A}^0\) symmetric positive definite and \(\mathbb {A}^0\mathbb {A}\) symmetric, that is noncharacteristic in the sense that \(\det (\mathbb {A})\ne 0\) at the boundary \(x=0^-\), is Lopatinsky stable in the sense of Kreiss [39] if \(\mathbb {B}\) is full rank on the stable subspace of \(\mathbb {A}\). It is maximally dissipative with respect to the symmetrizer \(\mathbb {A}^0\) if \(\mathbb {A}^0 \mathbb {A}\) is positive definite on \(\ker \mathbb {B}\), which yields readily the following key consequence:
Lemma 9.10
Suppose that (9.7) has maximally dissipative boundary conditions with respect to symmetrizer \(\mathbb {A}^0\). Then, for some \(\theta , C>0\),
Proof
Decompose \(\mathbb {V}(0^-)=v_{ker}+v_{\perp }\), where \(v_{ker}\in \ker \mathbb {B}\) and \(v_{\perp }\in (\ker \mathbb {B})^\perp \). Then,
By maximal dissipativity, \(-v_{ker} \cdot \mathbb {A}^0 \mathbb {A} v_{ker} \le -\theta _1 |v_{ker}|^2\). Using Young’s inequality, the middle cross term is bounded by \(|2v_{ker} \cdot \mathbb {A}^0 \mathbb {A} v_{\perp }|\le \theta _1|v_{ker}|^2/2 + C_1 |v_{\perp }|^2\). The last term is bounded by \(|v_{\perp } \cdot \mathbb {A}^0 \mathbb {A} v_{\perp }|\le C_2|v_{\perp }|^2\). Summing these estimates, we obtain
From the fact that \(\mathbb {B}\) is full rank on \((\ker \mathbb {B})^\perp \) and the boundary condition,
Therefore, \(-|v_{ker}|^2=-(|v_{ker}|^2+|v_{\perp }|^2)+|v_{\perp }|^2=-|\mathbb {V}(0^-)|^2 +|v_\perp |^2\le -|\mathbb {V}(0^-)|^2 +|\mathbb {G}|^2/\theta _2^2\). Substituting in (9.9), we obtain
which yields (9.8). \(\quad \square \)
The Lopatinsky condition is necessary and sufficient for maximal \(L^2\) estimates [39]. For maximally dissipative boundary conditions, maximal \(L^2\) estimates may be obtained by taking the \(L^2\) inner product of v against the symmetrized equation \(A^0v_t + A^0 Av_x=A^0f\) and applying (9.5), (9.8). Thus, maximally dissipative boundary conditions are always Lopatinsky stable. The following result shows that the converse is true as well, for some choice of symmetrizer \(A^0\):
Lemma 9.11
For any symmetrizable initial boundary-value problem (9.7) that is Lopatinsky stable, there exists a symmetrizer \(A^0\) with respect to which (9.7) is maximally dissipative.
Proof
Equivalently, \(M={\tilde{b}}^T A^0A {\tilde{b}}\) is positive definite, where \({\tilde{b}}\in \mathbb R^{(n-r)\times n}\) is a matrix whose columns span \(\ker b\). Let \(A=S^{-1}\text {block-diag}\{\Lambda ^-, \Lambda ^+\} S\),
with \(\lambda _1\le \dots \lambda _r<0<\lambda _{r+1} < \dots \le \lambda _k\), and set \(A^0=S^T \text {diag}\{ a,\dots , a, 1, \dots , 1\} S\), \(a>0\). Then, \(A^0 A\) is symmetric and \(M=- M_1a+ M_2\) with \( M_1= {\tilde{b}}^T S^T E_1 S{\tilde{b}}\), \(M_2= {\tilde{b}}^T S^T E_2 S {\tilde{b}} \), where \(E_1:=\text {block-diag}\{-\Lambda ^-, 0\}\) and \(E_2:= \text {block-diag}\{0, \Lambda ^+\}\) are symmetric positive semidefinite. Thus, we may achieve \(M>0\) for a sufficiently small if and only if \(M_2\) is positive definite, or \({\tilde{b}}\cap \ker E_2 S=\emptyset \): equivalently, b is full rank on the stable subspace \(\ker E_2 S\) of A. \(\quad \square \)
Remark 9.12
Lemma 9.11 is special to one spatial dimension. A generalization to multi-dimensions is given by the (pseudodifferential) frequency-dependent symmetrizers of Kreiss [12, 39].
9.2 Energy Estimates
We are now ready to carry out the main energy estimates, adapting the argument of [48]. Define the nonlinear perturbation \(v(x,t):= {\tilde{W}} (x+ct-\eta (t),t)- \overline{W}(x)\) as in the statement of Proposition 9.3, where \(ct-\eta (t)\) denotes subshock location; for definiteness, fix without loss of generality \(\eta (0)=0\). As computed in [48, Eq. (3.1) p. 87] the interior equation (4.1)(i) for v may be put in the alternate quasilinear form
where \({\tilde{A}}:= dF({\tilde{W}}(x+ct-\eta (t),t))-c\mathrm{Id },\)\({\tilde{E}}:=dR({\tilde{W}}(x+ct-\eta (t),t))\) and
Following [48], let \({\tilde{A}}^0:=A^0({\tilde{W}}(x+ct-\eta (t),t)\) denote a symmetrizer of \({\tilde{A}}\) as guaranteed by Lemma 9.9 with values \(A^0(\tilde{W}(0^\pm +ct-\eta (t),t))\) to be specified later, and factor \({\tilde{A}}^0 {\tilde{A}}= ({\tilde{A}}^0)^{\frac{1}{2}}{\tilde{O}} {\tilde{D}} {\tilde{O}}^t ({\tilde{A}}^0)^{\frac{1}{2}}\), or, equivalently, \( {\tilde{A}}= ({\tilde{A}}^0)^{-\frac{1}{2}} {\tilde{O}} {\tilde{D}} {\tilde{O}}^t ({\tilde{A}}^0)^{\frac{1}{2}}\), where \({\tilde{O}}\) is orthogonal, \({\tilde{O}}^t={\tilde{O}}^{-1}\), and \(C^3\) as a function of (u, v) (see Lemma 9.9) and \({\tilde{D}}=\text {diag}\{{\tilde{a}}_1, {\tilde{a}}_2\}\), where \({\tilde{a}}_j\) denote the eigenvalues of \({\tilde{A}}\), indexed in increasing order. Define the weighting matrix \(\alpha (x):= \text {diag}\{ \alpha _1, \alpha _2\}\), where \(\alpha _j>0\) are defined by ODE
\(C_*>0\) a sufficiently large constant to be determined later, and set
Let \( K_1:=K\big (2{\tilde{D}},2\alpha {\tilde{O}}^t ({\tilde{A}}^0)^{\frac{1}{2}}{\tilde{E}} ({\tilde{A}}^0)^{-\frac{1}{2}}{\tilde{O}} + N \big ), \) where \(K(\cdot )\) is as in Lemma 9.7, and N is an arbitrary matrix with \(|N|_{{}_{C^1_{x,t}}}\le C(C_*)\) and vanishing on diagonal blocks, to be determined later, and set
Finally, define
for \(M>0\). Since, for \(v\in H^2\), \(|v_x|_{{}_{L^2}}\) can be bounded by \(C\left( |v|_{{}_{L^2}}+|v_{xx}|_{{}_{L^2}}\right) \) for some \(C>0\), then the functional defined in (9.14) is equivalent to \(|v|^2_{{}_{H^2}}\) if M is large enough.
Assume without loss of generality that \(v_0\in H^3\) (since we may pass to the \(H^2\) limit by Proposition 9.1). Then, following to the letter the computations of [48], we obtain using (9.5)–(9.6) the key estimate
for some \(C,\theta >0\), where the terms \([v_{xx}\cdot {\tilde{A}}^0_\alpha {\tilde{A}}v_{xx}]\), \(\dot{\eta }(t)[v_{xx}\cdot \tilde{A}^0_\alpha v_{xx}]\) and \(-[v_{xt} \cdot \tilde{K}_\alpha v_x]\) arising through integration by parts at the boundary \(x=0\) of \(\langle v_{xx}, {\tilde{A}}^0_\alpha {\tilde{A}} v_{xxx}\rangle \), \(\dot{\eta }(t)\langle \tilde{A}^0_\alpha v_{xx},v_{xxx}\rangle \), and \(\langle v_{xx},\tilde{K}_\alpha v_x\rangle \) through (9.5) and (9.6) are the sole differences from the whole-line estimate of [48].
Proof of Proposition 9.3
For clarity, we carry out the proof for the lowest level of regularity \(s=2\); higher orders \(s>2\) go similarly. Starting with the \(H^2\) estimate (9.15), it remains only to show that the new trace terms \([v_{xx}\cdot {\tilde{A}}^0_\alpha {\tilde{A}}v_{xx}]\), \(\dot{\eta }(t)[v_{xx}\cdot \tilde{A}^0_\alpha v_{xx}]\) and \(-[v_{xt} \cdot \tilde{K}_\alpha v_x]\) in the righthand side may be absorbed in other terms, after which, multiplying by \(e^{\theta t}\) and integrating in time from 0 to t as in [48], we obtain (9.2), completing the proof. To this end, recall the nonlinear boundary condition (4.1)(ii) at \(x=0^\pm \), written in the alternative form
where now \(N_1(v,v):=F(\tilde{W})-F(W)-(\tilde{A}+c Id)v\).
To obtain boundary conditions for \(v_{xx}\), we may differentiate (9.16) with respect to t, then convert any t-derivatives of v into x-derivatives using the interior equations. Namely, we may first differentiate (9.10) with respect to t, x and differentiate (9.16) with respect to t to get estimates
where \(\zeta \) is the small constant chosen in Proposition 9.3. Then, by differentiating (9.16) with respect to t twice and applying estimates (9.17), we get the second-order boundary conditions
As noted in [43, 44], a key point in dealing with the transmission problem (9.10) coupled with boundary condition (9.18) is that one may eliminate the front variable \(\eta _{ttt}\), converting the boundary condition (9.18) to a standard boundary condition
where M is a row vector which spans the subspace \([\tilde{W}]^\perp \).
Another key point [43, 44] is that one may double the coordinates and convert the transmission problem to a conventional half-line problem. That is, for \(x\in (-\infty ,0)\), defining
and similarly defining doubling matrices \(\mathbb {E}\), \(\mathbb {W}\), \(\mathbb {M}_1\), and \(\mathbb {M}_2\), in the doubling coordinates, the interior equation (9.10) reduces to a equation on half-line:
from which we deduce
In the doubling coordinates, the second-order boundary conditions (9.19) becomes
where \(\mathbb {B}:=\left( \begin{array}{rr}M&M\end{array}\right) \mathbb {A}^3(t,0^-)\). We then see that the half line problem (9.21)-(9.22) is of the form (9.7) with \(\mathbb {V}_{xx}\) in the place of \(\mathbb {V}\) and the previous Kreiss theory [39] may be applied. \(\quad \square \)
Corollary 9.13
Under the assumptions of Proposition 9.3, there exists a choice of symmetrizer \(\mathbb {A}^0_\alpha (0^-)=\mathrm{blockdiag }\{A^0(0^-),A^0(0^+)\}\) such that the half-line problem (9.21)-(9.22) is maximally dissipative with respect to \(\mathbb {A}^0_\alpha \).
Proof
As noted previously (see Remark 11.3), Majda’s shock Lopatinsky condition for the subshock follows in the high-frequency limit from Evans–Lopatinsky stability of the relaxation profile. From this, it follows in turn that the Lopatinsky condition is satisfied for the doubled half-line problem (9.21)–(9.22). Applying Lemma 9.11, we find that there exists a symmetrizer \(\mathbb {A}^0\) with respect to which the half-line problem is maximally dissipative, that is, \(\mathbb {A}^0\) is positive definite on the kernel of the boundary condition. Recalling that \(\mathbb {A}\) is block-diagonal, we find that the block-diagonal part of \(\mathbb {A}^0\) must be a symmetrizer as well, and, moreover, is positive definite whenever the full matrix is, in particular on the kernel of the boundary condition. Thus, we may take without loss of generality \(\mathbb {A}^0(0^-)=\mathrm{blockdiag }\{A^0(0^-),A^0(0^+)\}\). Now extend the definition of \(\mathbb {A}^0\) from \(0^-\) to \(-\infty \) and define \(\alpha \) by (9.11) and \(\mathbb {A}^0_\alpha \) by (9.12). Because \(\alpha (0^\pm )=Id\), \(\mathbb {A}^0_\alpha (0^-,t)\) is equal to \(\mathbb {A}^0(0^-,t)\). Therefore, the half-line problem is maximally dissipative with respect to \(\mathbb {A}^0_\alpha \). \(\quad \square \)
Remark 9.14
The step in the proof where we extend the value of \(\mathbb {A}^0\) from the boundary \(0^-\) to \(-\infty \) is the point where we require the property that there is only a single subshock. If there were subshocks at \(x_0< 0\), then we could not necessarily simultaneously prescribe dissipative values at \(x_0^+\), \(0^-\) and also achieve smoothness on \((x_0,0)\).
Applying Lemma 9.10, we have
where in the last inequality we take \(\zeta \ll \theta \) to eliminate \(O(\zeta ^2|\mathbb {V}_{xx}(0^-)|^2)\). The term \(O(|\eta _t|^2)\) is evidently absorbable in (9.15), and, by Sobolev embedding,
hence \(O\left( |v_x(0^\pm )|^2+|v(0^\pm )|^2\right) \) is controlled by \(\bar{\zeta }{\mathcal E}+C(\bar{\zeta })|v|_{{}_{L^2}}^2\).
Because \( \dot{\eta }(t)[v_{xx}\cdot \tilde{A}^0_\alpha v_{xx}]=O(\zeta |v_{xx}(0^\pm )|^2)\), the trace term \(\dot{\eta }(t)[v_{xx}\cdot \tilde{A}^0_\alpha v_{xx}]\) can be eliminated by taking \(\zeta \ll \theta \).
By (9.17) and Young’s inequality, the term \([v_{xt} \cdot \tilde{K}_\alpha v_x]\) may be estimated as
By our estimates just above, the terms within the “Big-Oh” term \(O(\dots )\) are either controlled by \(\bar{\zeta }{\mathcal E}+C(|v|_{{}_{L^2}}^2+|\dot{\eta }(t)|^2)\) or eliminted by \(-\theta |\mathbb {V}_{xx}(0^-)|^2\).
Moreover, applying Young’s inequality and Sobolev embedding, we have
Taking \(\tilde{\zeta }\ll \theta \) and \(\bar{\zeta }\ll \tilde{\zeta }\), the estimate (9.15) thus becomes
implying, and slightly improving, the estimate \(\frac{d{\mathcal E}}{dt} \le -\theta {\mathcal E} +C(|v|_{{}_{L^2}}^2 + |\dot{\eta }(t)|^2)\) required to finish the argument (the same one established in the smooth case [48]). This completes the proof. \(\quad \square \)
10 Nonlinear Stability
With the above preparations, nonlinear orbital asymptotic stability now follows essentially as in [48]. After, we obtain nonlinear stability/boundedness of the phase \(\eta \) by a bootstrap argument using the “Strichartz-type” bounds of Section 8.3, a new aspect of our analysis not present in the smooth case. Finally, by a further, approximate characteristic estimate, we establish convergence of the phase and full phase-asymptotic orbital stability. Let \(v(x,t)={\tilde{W}}(x+ct-\eta (t),t) -\overline{W}(x)\) be the nonlinear perturbation defined in Section 3. For \(s\ge 2\), define
Lemma 10.1
Under the assumptions of Theorem 1.2, for all \(t\ge 0\) for which a solution v exists with \(\zeta (t)\) uniformly bounded by some fixed, sufficiently small constant, it holds that
Proof
Following [48], we show in turn that each of \(|v(\cdot ,s)|_{{}_{L^p}}(1+s)^{\frac{1}{2}(1-\frac{1}{p})}\) and \(|\dot{\eta }(s)|(1+s)^{\frac{1}{2}}\) is separately bounded by \( C(|v_0|_{{}_{L^1\cap H^2}} + \zeta (t)^2), \) for some \(C>0\), all \(0\le s\le t\), so long as \(\zeta (t)\) remains sufficiently small.
(\(|v|_{L^p}\) bound.) Applying integral equation (5.17)(i) of Proposition 5.6, we find that v may be split into the sum of an interior term
involving the Green kernel G and a boundary term
involving the boundary kernel K, where \([\cdot ]\) as elsewhere denotes jump at \(y=0\). Noting by Lemma 8.2 that G satisfies exactly the same \(L^q\rightarrow L^p\) estimates as the corresponding kernel in the smooth case [48], and that interior source terms \(I_S\) have the same form, we find by the same computations as in [48, proof of Thm. 1.2] that \(|v_{I1}(\cdot ,s)+v_{I2}(\cdot ,s)+v_{I3}(\cdot ,s)+v_{I4}(\cdot ,s)|_{L^p}(1+s)^{\frac{1}{2}(1-\frac{1}{p})}\) is bounded by \( C(|v_0|_{{}_{L^1\cap H^2}} + \zeta (t)^2)\). The \(L^p\) norm of the additional term \(v_{I5}(\cdot ,s)\) arising from integration by parts may be estimated as
Using the pointwise estimate on \(\bar{G}(x,t;y)=S^1+R\) Theorem 7.1, we thus haveFootnote 6
Therefore, \(|v_{I5}(\cdot ,s)|_{L^p}(1+s)^{\frac{1}{2}(1-\frac{1}{p})}\) is also bounded by \( C(|v_0|_{{}_{L^1\cap H^2}} + \zeta (t)^2)\). It remains only to treat the new boundary portion \(v_B\). Recalling from (4.1) that
we have by \(\left( |v(\cdot ,\tau )|_{L^\infty }+|\eta _t(\tau )|\right) (1+\tau )^{\frac{1}{2}}<\zeta (t)\) that \( |B_S(\tau )|\le C \zeta (t)^2(1+\tau )^{-1} \). By Lemma 8.3 we thus get \( |v_B(s)|_{L^p}\le |e^{-\bar{\eta }(s-\cdot )} B_S|_{L^1(0,s)} +|e^{-\bar{\eta }(s-\cdot )} B_S|_{L^p(0,s)} \le C \zeta (t)^2(1+s)^{-1}\), giving the result.
(\(|\dot{\eta }|\) bound.) Similarly, by integral equation (8.1) of Lemma 8.1, we have that \(\dot{\eta }\) may be split into the sum of an interior term
and a boundary term
For \(\dot{\eta }_{I1}(s)\), \(\dot{\eta }_{I4}(s)\), \(\dot{\eta }_{I5}(s)\), and \(\dot{\eta }_{I6}(s)\) in the interior term \(\dot{\eta }_I(t)\), both the estimates given in Lemma 8.4 and the form of the interior source term \(I_S\) are identical to those given for the smooth case in [48]. Thus, we have by the same computations as in [48, proof of Thm. 1.2] that
is bounded by \( C(|v_0|_{{}_{L^1\cap H^2}} + \zeta (t)^2)\). Applying Lemma 8.7 with \(t=0\), \(q=\infty \), we find
The trace term \(\dot{\eta }_{I7}(s)\) and \(\dot{\eta }_{I8}(s)\) arising from integration by part may be treated by using the fact that \(G_1\) is uniformly bounded in space and time (8.16) together with the pointwise estimate on \(\bar{G}_{1t}=S_1+R_1\) in Theorem 7.3 to obtain \(|\dot{\eta }_{I6}(s)|\le C\zeta (t)^2(1+s)^{-1}\) and \(|\dot{\eta }_{I7}(s)|\le C\zeta (t)^2(1+s)^{-1}\). Combining, we get that \((1+s)^{\frac{1}{2}}\dot{\eta }_I(s)\) is bounded by \(C(|v_0|_{{}_{L^1\cap H^2}} + \zeta (t)^2)\).
Likewise, using the fact that \(K_1(0)\) is a constant row vector, the bound \(|B_S(\tau )|\le C \zeta (t)^2(1+\tau )^{-1} \), and Lemma 8.5, we find that \( |\dot{\eta }_B(s)| \le C \zeta (t)^2(1+s)^{-1}\), giving the result. \(\quad \square \)
Proof of Theorem 1.2
(v and \(\dot{\eta }\) bounds) (following [48, proof of Thm. 1.2]). From Lemma 10.1, it follows by continuous induction that, provided \(|v_0|_{{}_{L^1\cap H^2}} < 1/4C_2^2\), it holds that
for all \(t\ge 0\) such that \(\zeta \) remains small. For, by Proposition 1.1, there exists a solution \(v(\cdot ,t)\in H^s\) on the open time-interval for which \(|v|_{H^s}\) remains bounded and sufficiently small, and thus \(\zeta \) is well-defined and continuous. Now, let [0, T) be the maximal interval on which \(|v|_{{}_{H^s}}\) remains strictly bounded by some fixed, sufficiently small constant \(\delta >0\). By Proposition 9.3, we have
and so the solution continues so long as \(\zeta (t)\) remains small, with bound (10.5), at once yielding existence and the claimed bounds on \(|v|_{L^p\cap H^s} \), \(2\le p\le \infty \), and \(|\dot{\eta }|\).
(Auxiliary (vertical) v bound.) At this point, we have established asymptotic orbital stability, with sharp decay rates for |v| and the derivative \(|\dot{\eta }|\) of the phase. To obtain estimates on the phase \(|\eta |\) and get full nonlinear stability, we first establish the vertical estimate
This follows by substituting for v(x, s) the reprentation \(v(x,s)=v_I(x,s)+v_B(x,s)\) given in (10.3)–(10.4) and applying the bounds of Lemma 8.8, together with the bounds
following from our previously established estimates on v, \(\dot{\eta }\). Here, we have used Sobolev embedding to bound \(|v_y|_{L^\infty }\le |v|_{{H^2}}\le C(1+s)^{-1/4}\).
(\(\eta \) bound.) Continuing, by integral equation (5.17)(ii) of Proposition 5.6, we have that \(\eta \) may be split into the sum of an interior term
and a boundary term
By the boundedness of \(|G_1|\) (8.16), we find that \(|\eta _{I1}(t)|\) is bounded by \(C|v_0|_{L^1}\). By estimates (8.17) and (8.18), together with vertical estimate (10.7), boundedness of \(|\eta _{I2}(t)|+|\eta _{I3}(t)|\) follows from
and
Using the fact that \(G_1\) is uniformly bounded in space and time (8.16), together with vertical estimate (10.7), we find that
Applying Lemma 8.6 and using vertical estimate (10.7), we find that \(|\eta _B(t)|\) is bounded by
Summing, we obtain the claimed bound (1.5)(iv) on \(|\eta (t)|\), completing the proof.
(\(\eta \) convergence.) Finally, we establish (1.5)(v) and convergence of the phase \(\eta \), by showing convergence as \(t\rightarrow \infty \) of each of the terms in the decomposition of \(\eta \) given in (10.9)–(10.10).
\(\eta _{I2}\), \(\eta _{I3}\):
Term \(\eta _{I2}\) may be decomposed as
By estimate (10.12), the first integral is absolutely convergent and thus converges to a limit as \(t\rightarrow +\infty \). We show now that the remaining part of \(\eta _{I2}(t)\) converges to zero, completing the proof. The part corresponding to integrating high frequency term H against \(I_S\) converges to zero by estimate (10.11). It remains to show convergence to 0 of parts corresponding to integrating Gaussian scattering term S and faster-decaying R terms with \(\eta _t v(z,s)+N_1(v(z,s)\). These parts are bounded by
where
converges to 0 at rate \(t^{-1}\).
To show convergence to 0 of the remaining part in (10.14), we establish an improved “approximate characteristic” estimate (10.16) on the variable v, giving different decay rates based on approximate domains of influence of tail and center contributions of the initial perturbation \(v_0\). To this end, motivated by (10.14), it is convenient to define
where \(a_+ =-1/c_{1,+}^1,\;a_- =1/c_{2,-}^1\), with \(a_->0>a_+\). With this definition, we have that backward characteristics originating outside \(\Gamma _t\) stay outside the set, lying strictly in its complement \(\Gamma _t^c\). From this fact, we obtain using our previously established bounds on v, \(\dot{\eta }\), and separating out principal, approximate equilibrium characteristic parts of the Green kernels from remaining, faster-decaying terms, the more detailed approximate characteristic estimate
valid for any \(\upsilon >0\), as we shall show further, below.
With the aid of the bound (10.16) and Holder’s inequality, the remaining part in (10.14) may be estimated as
This completes the proof that \(\eta _{I2}\) converges to a limit at a rate given by the slower of \(|v_0|_{L^1(\gamma _{t}^c)}\) and \(\varepsilon (1+t)^{-1/4+\upsilon }\), where \(\varepsilon \) is the \(L^1\cap H^s\) norm of the initial perturbation \(v_0\). Convergence of \(\eta _{I3}\) can be shown similarly, with the same rate.
To prove (10.16), note in decompositions (10.3)–(10.4) on v(x, t), by previous estimates, the whole-space \(L^2\) norms of terms \(v_{I3}\), \(v_{I4}\), \(v_{I5}\), and \(v_{B}\) decay at faster rate. That is \(|v_{I3}(\cdot ,s)|_{L^2}\le C(1+s)^{-3/4}|v_0|_{L^1\cap H^s}\), \(|v_{I4}(\cdot ,s)|_{L^2}\le C(1+s)^{-1/2}|v_0|_{L^1\cap H^s}\), \(|v_{I5}(\cdot ,s)|_{L^2}\le C(1+s)^{-3/4+\upsilon }|v_0|_{L^1\cap H^s}\), and \(|v_{B}(\cdot ,s)|_{L^2}\le C(1+s)^{-1}|v_0|_{L^1\cap H^s}\). And, by Theorem 7.1, the whole-space \(L^2\) norms of parts contribute to \(v_{I1}\), \(v_{I2}\) from integrating with \(S^1,S^1_y,\) and
terms decay at slower rate \((1+s)^{-1/4}|v_0|_{L^1\cap H^s}\) than the rate \((1+s)^{-1/2}|v_0|_{L^1\cap H^s}\) of \(L^2\) norms of parts from integrating with the other terms. So we may focus on the parts that are contributed from \(S^1,S^1_y,\) and
This leaves us with the task of estimating the scattering part of \(v_{I1}\), giving an integral of form
and the scattering part of \(v_{I2}\), giving an integral of form
To estimate the \(L^2(\gamma _{t-s}^c)\) norm of (10.17), notice that for \((y,s)\not \in \Gamma _t\) and \(z \in \gamma _{t}\), \(S^1\) gives a time-exponentially decaying contribution \(|S^1(y,s; z)|\le Ce^{-\bar{\eta }|y-z-a_\pm s|}/\sqrt{s}\), hence we may bound
Meanwhile, the remaining contribution may be estimated as
Summing, we find that the \({L^2(\gamma _{t-s}^c)}\) norm of (10.17) is controlled by the righthand side of (10.16).
The estimate for (10.18) goes similarly, noting for \((y,s)\not \in \Gamma _t\) and contributions of source \(\eta _t(\tau )v(z,\tau )+N_1(v(z,\tau ))\) originating from \((z,\tau )\in \Gamma _t\), the propagator \(S^1_y(y,s-\tau ;z)\) is exponentially decaying in \(s-\tau \) and \(|y-z -a_\pm (s-\tau )|\), hence, using our prior bounds on \((|v|+|\dot{\eta }|)|v|(z,\tau )\), the total of such contributions is bounded by \(C(1+s)^{-1/2}|v_0|_{L^1\cap H^s}\). On the other hand, defining
we obtain that \(\big |\eta _t(\tau )v(z,\tau )+N_1(v(z,\tau ))\big |_{L^2(\gamma _{t-\tau }^c)}\) may be bounded by
Applying Young’s convolution inequality yields
from which we obtain, combining this with our previous estimates,
Dividing \(\big ((1+s)^{-1/4}|v_0|_{L^1(\gamma _{t}^c)}+(1+s)^{-1/2 +\upsilon }|v_0|_{L^1\cap H^s}\big )\) and taking the supremum over \(0\le s\le t\), we obtain
yielding \(\tilde{\zeta }(t)\le 2C\) for \(\zeta (t)\), or equivalently, \(|v_0|_{L^1\cap H^s}\), sufficiently small. By definition (10.19), this yields the desired bound, (10.16).
\(\eta _{I1}:\)
Integrating (7.12) gives \(G_1(t;y)=G_1(0;y)+\int _0^t(H_1+S_1+R_1)(s;y)\mathrm{d}s\) and thus
Applying Theorem 7.3, for \(1<t_1<t_2\), we have the estimate
where
and
where we have used the estimates \(erfc(x)\le {e^{-x^2}}\) for the error function and \(\int _1^\infty \theta (y,s)\mathrm{d}s<C,\;\forall y\) for a moving Gaussian kernel. Therefore \(\eta _{I1}(t)\) approaches a limit at rate \( |v_0|_{L^1(\gamma _{t}^c)}\).
\(\eta _{I4}:\)
Again using \(G_1(t;y)=G_1(0;y)+\int _0^t(H_1+S_1+R_1)(s;y)\mathrm{d}s\), we have for \(1<t_1<t_2\),
where the first part is controlled by \(\int _{t_1}^{t_2} (1+s)^{-1/2}|v(0^\pm ,s)|\mathrm{d}s\) and by vertical estimate (10.7) it converges to 0 as \(t_1,t_2\rightarrow +\infty \). As for convergence rates, replacing integrals in Lemma 8.8 by tail integrals \(\int _t^\infty \), we find that the convergence rate of integral (10.7) is \((1+t)^{-1/4+\upsilon }\), namely
It remains to show that the remaining part converges to 0. Straigntforward computation shows that \( \int _{t_1-s}^{t_2-s}H_1(\tau ;0^\pm )\mathrm{d}\tau =0\), with \(\int _0^{t_2-s}H_1(\tau ;0^\pm )\mathrm{d}\tau =H_1(0;0^\pm )\) identically equal to some constant vectors. Thus, the integral of the term involving \(H_1\) can also be controlled by \(\int _{t_1}^{t_2}(1+s)^{-1/2}|v(0^\pm ,s)|\mathrm{d}s\), hence converges. The integral of the term involving \(S_1+R_1\) can be controlled by
Combining, we find that \(\eta _{I4}\) converges to a limit at rate \((1+t)^{-1/4+\upsilon }\).
\(\eta _{IB}:\)
Convergence of \(\eta _{IB}(t)\) can be proven similarly by applying Theorem 7.4.
This completes the proof of convergence \(\eta (t)\) to a limit \(\eta _\infty \). Collecting estimates, we obtain a total rate of convergence given by the slower of \(C\varepsilon (1+t)^{-1/4+\upsilon }\) and \(C|v_0|_{L^1(\gamma _{t}^c)}\), verifying (1.5)(v). \(\quad \square \)
Remark 10.2
For algebraically-decaying initial perturbation \(|v_0(x)|\le C(1+|x|)^{-r}\), with \(v_0\in H^s\), \(s>2\), our estimates give convergence of the phase \(\eta \) at rate
for any \(\upsilon >0\). For subalgebraically-decaying perturbations, essentially the same argument gives rate \( |\eta (t)-\eta _\infty |\le C\varepsilon (1+t)^{-1/4+\upsilon } + C|v_0|_{L^1([-(1-\upsilon )a_- t, -(1-\upsilon )a_+ t]^c)}\) for \(\upsilon >0\), \(C=C(\upsilon )>0\), arbitrarily close to the expected rate \(C|v_0|_{L^1([-a_- t, -a_+ t]^c)}\) described in the introduction.
Remark 10.3
Our argument for phase-convergence, based on approximate characteristic estimate (10.16), though it may appear to be limited to the case of a scalar equilibrium system for which all equilibrium characteristics approach the shock, is in principle generalizable to arbitrary relaxation systems of the type studied in [48], and to the class of systems of viscous conservation laws studied in [50]. For, as noted in [48, 50], non-decaying contributions to the phase shift \(\eta \) consist of products of Gaussian scattering-type terms multiplying constant projections, which projections annihilate vectors in outgoing characteristic modes, “seeing” only incoming modes. Thus, to obtain asymptotic phase-convergence, it is sufficient to prove an approximate characteristic estimate of form (10.16) on incoming characteristic modes only, a task to which the present argument structure is in principle still suited. To carry out such an estimate and obtain phase-convergence in the general system case, assuming only \(L^1\) boundedness of the initial perturbation with no algebraic rate of decay, would be a significant advance in the theory.
Remark 10.4
One may deduce from (5.17)(ii) that \(G_1(0;y)=0\) for \(y\ne 0\), by finite propagation speed for the linearized problem \(I_S=0\), considering perturbations vanishing in a vicinity of \(y=0\). Similarly, by conservation of mass principles, one may deduce that \(\lim _{t\rightarrow +\infty }G_1(t;y)\equiv (\alpha ,0)^T\) for some constant \(\alpha \); see Remark 1.3. However, we neither require nor derive these here.
11 Numerical Verifications
In this section we verify numerically the spectral stability assumptions made in the analysis.
11.1 Numerical Calculation of the Evans–Lopatinsky Determinant
For robustness of numerical implementation, let
We find that the \(w_{1,-}\) solves
In \(w_{1,-}\), the Evans–Lopatinsky determinant (4.19) becomes
11.1.1 Change of Independent Variable
Profile H(x) solves (2.14). The fact that \(H'< 0\) for \(x<0\) allows us to make the change of independent variable \(\tilde{w}(\lambda ,H)=w(\lambda ,x)\) for system (11.2), yielding
The Evans–Lopatinsky determinant (11.3) becomes
with \([\cdot ]=\cdot |_{H_R}-\cdot |_{H_*}\). By this change of independent variable, we convert to a problem on the finite interval \([H_*,1]\) and introduce \(H=1\) as a singular point in ODE (11.4). We then may use the hybrid method introduced in [36] to calculate mode \(\tilde{w}(H)\), combining power series expansion with numerical ODE solution.
To be specific, we expand \(\tilde{w}(H)\) as a power series of in the vicinity of \(H=1\) to write
Truncating and evaluating the series at some \(H_-\in (H_*,1)\) gives approximations
We then evolve ODE (11.4) from \(H_-\) to \(H_*\) with initial condition \(\tilde{w}_-\) to get an approximation for \(\tilde{w}(\lambda ,H_*)\) which is then substituted in (11.5) to obtain an approximate value of the Evans–Lopatinsky determinant.
11.2 Numerical Calculation of the Evans Function (Smooth Case)
In this section, we study the spectral stability of small amplitude traveling waves, as depicted in Fig. 2c, using the Evans function. In the small amplitude region \(H_R<H_L<H_R\frac{1+2F+\sqrt{1+4F}}{2F^2}\), we first see conditions (4.10) become
We then define the corresponding Evans function, following [1, 25, 47].
Definition 11.1
Let \(v_{1,-}(\lambda ,x)\) (\(v_{2,+}(\lambda ,x)\)) be decaying mode as \(x\rightarrow -\infty \) (\(x\rightarrow +\infty \)) of eigenvalue equation (11.9)
The Evans function \(D(\lambda ,x_0)\) is defined as
Again for numerical robustness and efficiency, we rescale the modes by
to find that \(w_{1,-}\), \(w_{2,+}\) solve
respectively. Performing the change of independent variable \(\tilde{w}_{1,-}(\lambda ,H)=w_{1,-}(\lambda ,x)\) and \(\tilde{w}_{2,+}(\lambda ,H)=w_{2,+}(\lambda ,x)\), we find that \(\tilde{w}_{1,-}\), \(\tilde{w}_{2,+}\) satisfy
We then expand \(\tilde{w}_{1,-}(H)\), \(\tilde{w}_{2,+}(H)\) as power series
Accordingly, in H coordinates, a rescaled Evans function is defined as
for some \(H_m\)\(H_R<H_m<1\).
Note that \(|\gamma _{2,+}|\gg |\gamma _{1,-}|\). Thus, it is numerically more robust if we evaluate \(D(\lambda ,\cdot )\) at some \(H_m\) closer to \(H_R\). (In fact, we find this in practice essential in order to do computations for even reasonably sized \(|\lambda |\) of order one.) In the extreme case, we only evolve (11.12)(i) toward \(H_R\) and never evolve (11.12)(ii) towards 1. That is, after evaluating the truncated series (11.14) at some \(H_{l,r}\)\(H_R<H_r<H_l<1\), we evolve (11.12)(i) from \(H_l\) to \(H_r\). (Note, the numerically calculated Evans function differs from the defined one by a nonzero analytic function, but this is harmless as we are searching for roots.)
11.3 High-Frequency Stability
Using the result of Lemma 6.2, we now prove high-frequency stability of both smooth and discontinuous hydraulic shock waves.
Nonvanishing of Evans–Lopatinsky determinant (4.19) at high frequency. Evaluating (6.16) at \(x=0^-\) and substituting in the second column of (4.19), yields
where \(R_1\) is the first column of R.
Proposition 11.2
For any \(F,H_R\), there exists \(C(F,H_R)\), such that \(\Delta (\lambda )\) does not vanish for all \(\mathfrak {R}\lambda> -{\bar{\eta }},|\lambda |>C(F,H_R)\).
Proof
Substituting (11.16) in the Evans–Lopatinsky determinant (4.19), in the high frequency regime, we have
which is nonvanishing. The constant C should be sufficiently large such that \(\mathcal {T}_\lambda \) becomes contraction mapping. \(\quad \square \)
Remark 11.3
The principal, \(\lambda \)-order, term in the righthand side of (11.17) can be recognized as the Lopatinsky condition of Majda [43] for short-time stability/well-posedness of the component subshock, considered as a solution of the first-order part of (1.1) with forcing terms set to zero; see [21, 34, 71] for similar observations in the context of detonations. As the first-order system in this case coincides with the equations of isentropic gas dynamics with \(\gamma \)-law pressure (see Introduction), nonvanishing of this principal part is a special case of the theorem of [43, 61] that shock waves of isentropic gas dynamics are Lopatinsky stable for any monotone pressure function.
Nonvanishing of Evans function (11.10) at high frequency.
The high frequency analysis of Section 6.1 also applies to the smooth case, yielding the following result:
Proposition 11.4
For any \(F,H_R\), there exists \(C(F,H_R)\), such that \(D(\lambda ,0)\) does not vanish for all \(\mathfrak {R}\lambda> -{\bar{\eta }},|\lambda |>C(F,H_R)\).
Proof
In the high frequency regime, following Lemma 6.2, we find that the decaying modes \(v_{1,-}\), \(v_{2,+}\) in Definition 11.1 are up to a scalar multiple equal to
Evaluating the Evans function 11.10 at \(x_0=0\) yields
which is nonvanishing. The constant C should be sufficiently large such that \(\mathcal {T}_\lambda \) becomes contraction mapping. \(\quad \square \)
Remark 11.5
High frequency stability restricts the study of spectral stability to investigation of the bounded domain \(\{\lambda :\mathfrak {R}\lambda >-{\bar{\eta }},|\lambda |\le C(F,H_R)\}\), a numerically feasible problem.
11.4 Verification of Mid- and Low-Frequency Stability
The hybrid schemes described in Sections 11.1, 11.2 are implemented in Matlab and show great efficiency (see Tables and in “Appendix C.2” for computation time). To determine stability, we fix \(0<r<R\) and \(a\ll 1\) and examine the presence of spectrum within the set
At the end, we compute numerically the winding numbers of contours \(\Delta (\partial \Omega (r,R,a))\) and \(D(\partial \Omega (r,R,a))\), that is we discretize \(\partial \Omega (r,R,a)\) as \(\lambda _0,\;\lambda _1,\cdots ,\lambda _n,\lambda _{n+1}=\lambda _0\) and calculate the winding number by
where \(\angle (z_1,z_2)\) denotes the angle change from \(z_1\) to \(z_2\). Since \(\Delta (\lambda )\) (\(D(\lambda )\)) is analytic in \(\lambda \), it is clear that n counts its number of zeros of \(\Delta (\lambda )\) (\(D(\lambda )\)) within the set \(\Omega \).
We have verified that all discontinuous hydraulic profiles are mid- and low-frequency stable. Here “all" is limited to discretized existence domain \(F\in [0.05:0.05:1.95]\), \(H_R\in [0.01:0.01:H_C(F)-0.01]\) (1559 points in total) and mid- and low-stability is checked for \(\Omega :=\Omega (0.1,C(F,H_R),0.000001)\) where \(C(F,H_R)\) defined in Proposition 11.2 can be estimated by Lemma 6.1. Note that, exceptionally, there are 191 points in the low F regime requiring \(C(F,H_R)>2000\) and one parameter \((F=0.85,H_R=0.25)\) even requiring a \(C(F,H_R)\) as large as \(1.1664\times 10^5\). It turns out for these values that for that large \(\lambda \), in the power series evaluation step, the hybrid scheme cannot move enough distance away from the singular point \(H=1\), causing problems in the later ODE-evolution step. Numerics are then not robust for these pair of \(F,H_R\). We have restricted \(C(F,H_R)=2000\) for roughly half of these low-F points, and \(C(F,H_R)=100-1,000\) for the rest.
See Fig. 5a, b for typical images of contours \(\partial {\Omega }(r,R,a)\) under function \(\Delta (\lambda )\).
We have also verified that all small amplitude smooth hydraulic shock waves are mid- and low-frequency stable. Here “all" is limited to discretized existence domain \(F\in [0.05:0.05:1.95]\), \(H_R\in [0.99:-0.01:H_C(F)+0.01]\) (2227 points in total) and mid- and low-stability is checked for \(\Omega :=\Omega (0.1,C(F,H_R),0)\) where \(C(F,H_R)\) defined in Proposition 11.4 can be estimated by Lemma 6.1. Note that, exceptionally, there are 18 points in the \(F\approx 1\) regime requiring \(C(F,H_R)>2000\). For the same reasoning, numerics is then not robust for these pairs of \(F,H_R\). We have restricted \(C(F,H_R)=2000\) for these points.
See Fig. 5c, d for typical images of contours \(\partial {\Omega }\) under function \(D(\lambda )\).
11.5 Time Evolution of Perturbed Hydraulic Shock Profiles
We have carried out also a time-evolution study using CLAWPACK [13, 14], illustrating stability under perturbations of large amplitude discontinuous hydraulic shocks and small amplitude smooth hydraulic shocks. In both cases, all evolutions clearly indicate stability. In Fig. 1, we display the results under two different perturbations of a discontinuous profile. In Fig. 6, we display the results for a perturbed smooth profile. Note that for the exceptional points for which we were not able to carry out a winding-number study out to the full theoretical radius provided by high-frequency asymptotics, these time-evolution studies bridge the gap between computed (\(100-2,000\)) and theoretical (\(>2,000\)) radius. For, nonstable eigenmodes \(\mathfrak {R}\lambda \ge 0\) with \(|\lambda |\ge 100\) should be clearly visible on the timescale \(0\le t\le 20\) considered, dominating the solution by time \(t=20\).
Notes
In fact as we show in the following section, they are precisely of order one.
Here \(C^b((-\infty ,0],\;\mathbb {C})\) is the space of bounded continuous function on \((-\infty ,0]\) associated with the sup norm.
Refer to “Appendix A” equation (A.2)(iii) for decomposition of R.
Note that we correct a minor typo in [44, Thm. 4.1.5], which requires data \(v_0\) only in \(H^s\) rather than \(H^{s+1/2}\). (This is not necessary for our later analysis, but only sharpens our initial regularity assumptions.)
Notably, there is no scattering term \(S^1\) when taking \(y=0^\pm \).
References
Alexander, J., Gardner, R., Jones, C.K.R.T.: A topological invariant arising in the analysis of traveling waves. J. Reine Angew. Math. 410, 167–212, 1990
Barker, B., Humpherys, J., Rudd, K., Zumbrun, K.: Stability of viscous shocks in isentropic gas dynamics. Commun. Math. Phys. 281(1), 231–249, 2008
Barker, B., Humpherys, J., Zumbrun, K.: One-dimensional stability of parallel shock layers in isentropic magnetohydrodynamics. J. Diff. Eq. 249(9), 2175–2213, 2010
Barker, B., Johnson, M.A., Noble, P., Rodrigues, L.-M., Zumbrun, K.: Stability of St Venant roll-waves: from onset to the large Froude number limit. J. Nonlinear Sci. 27, 285–342, 2017
Boudlal, A., Liapidevskii, V.Y.: Stabilité de trains d’ondes dans un canal découvert, C.R. Mécanique330, 291–295 (2002)
Barker, B., Lafitte, O., Zumbrun, K.: Existence and stability of viscous shock profiles for 2-D isentropic MHD with infinite electrical resistivity. Acta Math. Sci. Ser. B Engl. Ed. 30(2), 447–498, 2010
Barker, B., Lewicka, M., Zumbrun, K.: Existence and stability of viscoelastic shock profiles. Arch. Ration. Mech. Anal. 200(2), 491–532, 2011
Balmforth, N.J., Mandre, S.: Dynamics of roll waves. J. Fluid Mech. 514, 1–33, 2004
Bressan, A.: Hyperbolic systems of conservation laws. The one-dimensional Cauchy problem, Oxford Lecture Series in Mathematics and its Applications, 20. Oxford University Press, Oxford, 2000. xii+250 pp. ISBN: 0-19-850700-3.
Brock, R.R.: Development of roll-wave trains in open channels. J. Hydraul. Div., Am. Soc. Civ. Eng. 95(4), 1401–1428, 1969
Brock, R.R.: Periodic permanent roll waves. J. Hydraul. Div., Am. Soc. Civ. Eng. 96(12), 2565–2580, 1970
Benzoni-Gavage, S., Serre, D.: Multidimensional hyperbolic partial differential equations. First-order systems and applications, Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, Oxford, 2007. xxvi+508 pp. ISBN: 978-0-19-921123-4; 0-19-921123-X.
Mandli, K.T., Ahmadia, A.J., Berger, M.J., Calhoun, D.A., George, D.L., Hadjimichael, Y., Ketcheson, D.I., Lemoine, G.I., LeVeque, R.J.: Clawpack: building an open source ecosystem for solving hyperbolic PDEs. Peer J Comput. Sci. 2, e68, 2016
Clawpack Development Team (2017) Clawpack Version 5.4.0, http://www.clawpack.org. https://doi.org/10.5281/zenodo.262111.
Doetsch, G.: Introduction to the Theory and Application of the Laplace Transformation, p. 326. Springer-Verlag, New York 1974
Dafermos, C.: Hyperbolic Conservation Laws in Continuum Physics, p. 325. Springer Verlag, Berlin 2000
Dressler, R.F.: Mathematical solution of the problem of roll-waves in inclined open channels. Commun. Pure Appl. Math2, 149–194, 1949
Henry, D.: Geometric Theory of Semilinear Parabolic Equations, Lecture Notes in Mathematics, p. 348. Springer-Verlag, Berlin 1981
Duchêne, V., Rodrigues, L.-M.: Large-time asymptotic stability of Riemann shocks of scalar balance laws, preprint. arXiv:1810.08481
Duchêne, V., Rodrigues, L.-M.: Stability in scalar balance laws: fronts and periodic waves, in preparation.
Erpenbeck, J.J.: Stability of steady-state equilibrium detonations. Phys. Fluids5, 604–614, 1962
Erpenbeck, J.J.: Stability of step shocks. Phys. Fluids5(10), 1181–1187, 1962
Friedrichs, K.O.: Symmetric hyperbolic linear differential equations. Commun. Pure Appl. Math. 7, 345–392, 1954
Friedrichs, K.O.: On the laws of relativistic electro-magneto-fluid dynamics. Commun. Pure Appl. Math. 27, 749–808, 1974
Gardner, R.A., Zumbrun, K.: The gap lemma and geometric criteria for instability of viscous shock profiles. Commun. Pure Appl. Math. 51(7), 797–855, 1998
Humpherys, J.: Admissibility of viscous-dispersive systems. J. Hyperbolic Differ. Equ. 2(4), 963–974, 2005
Humpherys, J., Lyng, G., Zumbrun, K.: Spectral stability of ideal gas shock layers. Arch. Ration. Mech. Anal. 194(3), 1029–1079, 2009
Howard, P.: Pointwise Green’s function approach to stability for scalar conservation laws. Commun. Pure Appl. Math. 52(10), 1295–1313, 1999
Howard, P., Raoofi, M., Zumbrun, K.: Sharp pointwise bounds for perturbed viscous shock waves. J. Hyperbolic Differ. Equ. 3(2), 297–373, 2006
Howard, P., Zumbrun, K.: Stability of undercompressive shock profiles. J. Differ. Equ. 225(1), 308–360, 2006
Humpherys, J., Zumbrun, K.: Efficient numerical stability analysis of detonation waves in ZND. Quart. Appl. Math. 70(4), 685–703, 2012
Jeffreys, H.: The flow of water in an inclined channel of rectangular section. Phil. Mag. 49, 793–807, 1925
Jin, S., Katsoulokis, M.: Hyperbolic systems with supercharacteristic relaxations and roll waves. SIAM J. Appl. Math. 61, 273–292, 2000
Jenssen, H.K., Lyng, G., Williams, M.: Equivalence of low-frequency stability conditions for multidimensional detonations in three models of combustion. Indiana Univ. Math. J. 54, 1–64, 2005
Johnson, M.A., Noble, P., Rodrigues, L.M., Zumbrun, K.: Behavior of periodic solutions of viscous conservation laws under localized and nonlocalized perturbations. Invent. Math. 197(1), 115–213, 2014
Johnson, M., Noble, P., Rodrigues, L.M., Yang, Z., Zumbrun, K.: Spectral stability of inviscid roll waves, Preprint 2018.
Johnson, M., Zumbrun, K., Noble, P.: Nonlinear stability of viscous roll waves. SIAM J. Math. Anal. 43(2), 577–611, 2011
Kawashima, S.: Systems of a hyperbolic–parabolic composite type, with applications to the equations of magnetohydrodynamics, thesis, Kyoto University (1983)
Kreiss, H.O.: Initial boundary value problems for hyperbolic systems. Commun. Pure Appl. Math. 23, 277–298, 1970
Liu, T.-P.: Hyperbolic conservation laws with relaxation. Commun. Math. Phys. 108(1), 153–175, 1987
Liu, T.-P.: Nonlinear stability of shock waves for viscous conservation laws. Mem. Am. Math. Soc. 56(328), 233, 1985
Lax, P.D.: Hyperbolic systems of conservation laws. II. Commun. Pure Appl. Math. 10, 537–566, 1957
Majda, A.: The stability of multidimensional shock fronts. Mem. Am. Math. Soc. No. 275, AMS, Providence (1983)
Métivier, G.: Stability of multidimensional shocks, Advances in the theory of shock waves, 25–103, Progr. Nonlinear Differential Equations, Appl., 47, Birkhäuser Boston, Boston, MA, 2001
Métivier, G., Zumbrun, K.: Large viscous boundary layers for noncharacteristic nonlinear hyperbolic problems. Mem. Am. Math. Soc. 175(826), 107, 2005
Mailybaev, A., Marchesin, D.: Private communication; Conservation Laws and Applications conference, IMPA, Rio de Janeiro, August 2017
Mascia, C., Zumbrun, K.: Pointwise Green’s function bounds and stability of relaxation shocks. Indiana Univ. Math. J. 51(4), 773–904, 2002
Mascia, C., Zumbrun, K.: Stability of large-amplitude shock profiles of general relaxation systems. SIAM J. Math. Anal. 37(3), 889–913, 2005
Mascia, C., Zumbrun, K.: Spectral stability of weak relaxation shock profiles. Commun. Partial Differ. Equ. 34(1–3), 119–136, 2009
Mascia, C., Zumbrun, K.: Stability of large-amplitude viscous shock profiles of hyperbolic-parabolic systems. Arch. Ration. Mech. Anal. 172(1), 93–131, 2004
Nguyen, T., Zumbrun, K.: Long-time stability of large-amplitude noncharacteristic boundary layers for hyperbolic parabolic systems. J. Math. Pures Appl. 92(6), 547–598, 2009
Pazy, A.: Semigroups of linear operators and applications to partial differential equations. Applied Mathematical Sciences, 44, Springer-Verlag, New York-Berlin, 1983 viii+279 pp. ISBN: 0-387-90845-5.
Pego, R.L., Weinstein, M.I.: Eigenvalues, and instabilities of solitary waves. Philos. Trans. R. Soc. Lond. Ser. A. 340, 47–94, 1992
Richard, G.L., Gavrilyuk, S.L.: A new model of roll waves: comparison with Brock’s experiments. J. Fluid Mech. 698, 374–405, 2012
Richard, G.L., Gavrilyuk, S.L.: The classical hydraulic jump in a model of shear shallow-water flows. J. Fluid Mech. 725, 492–521, 2013
Raaofi, M., Zumbrun, K.: Stability of undercompressive viscous shock profiles of hyperbolic-parabolic systems. J. Differ. Equ. 246(4), 1539–1567, 2009
Rodrigues, L.M.: Private communication: Sobolev-based analysis of long-time stability of discontinuous periodic waves
Rodrigues, L.M., Zumbrun, K.: Periodic-coefficient damping estimates, and stability of large-amplitude roll waves in inclined thin film flow. SIAM J. Math. Anal. 48(1), 268–280, 2016
Sattinger, D.: On the stability of waves of nonlinear parabolic systems. Adv. Math. 22, 312–355, 1976
Serre, D.: Systems of conservation laws. 1. Hyperbolicity, entropies, shock waves, Translated from the 1996 French original by I. N. Sneddon. Cambridge University Press, Cambridge, 1999. xxii+263 pp. ISBN: 0-521-58233-4
Serre, D.: Systems of conservation laws. 2. Geometric structures, oscillations, and initial-boundary value problems, Translated from the 1996 French original by I. N. Sneddon. Cambridge University Press, Cambridge, 2000. xii+269 pp. ISBN: 0-521-63330-3
Smoller, J.: Shock Waves and Reaction–Diffusion Equations, 2nd edn. Springer-Verlag, New York 1994
Sukhtayev, A., Yang, Z., Zumbrun, K.: Spectral stability of hydraulic shock profiles, to appear, Physica D: Nonlinear Phenomena, arXiv:1810.01490
Texier, B., Zumbrun, K.: Galloping instability of viscous shock waves. Phys. D237, 1553–1601, 2008
Whitham, G.B.: Linear and Nonlinear Waves, Pure and Applied Mathematics (New York), John Wiley & Sons Inc., New York, 1999. Reprint of the 1974 original, A Wiley-Interscience Publication
Yong, W.-A.: Basic aspects of hyperbolic relaxation systems, in “Advances in the theory of shock waves”, 259–305, Progr. Nonlinear Differential Equations Appl., 47, Birkhäuser Boston, Boston, MA, 2001
Yarahmadian, S., Zumbrun, K.: Pointwise green function bounds and long-time stability of large-amplitude noncharacteristic boundary layers. SIAM J. Math. Anal. 40(6), 2328–2350, 2009
Yong, W.-A., Zumbrun, K.: Existence of relaxation shock profiles for hyperbolic conservation laws. SIAM J. Appl. Math. 60(5), 1565–1575, 2000
Zumbrun, K., Howard, P.: Pointwise semigroup methods and stability of viscous shock waves. Indiana Mathematics Journal V47 1998, 741-871; Errata, Indiana Univ. Math. J. 51(4), 1017–1021 (2002)
Zumbrun, K.: High-frequency asymptotics and 1-D stability of ZND detonations in the small-heat release and high-overdrive limits. Arch. Ration. Mech. Anal. 203(3), 701–717, 2012
Zumbrun, K.: Stability of detonation waves in the ZND limit. Arch. Ration. Mech. Anal. 200(1), 141–182, 2011
Acknowledgements
We thank L. Miguel Rodrigues, Pascal Noble, and Mat Johnson for numerous enlightening discussions on the Saint-Venant equations and shallow water flow. In particular, discussions in the course of our collaboration [36] on the parallel case of discontinuous periodic waves, and especially ideas of Rodrigues [57] toward the associated nonlinear stability problem, were crucial in our approach to the simpler case of discontinuous shock profiles treated here. Thanks also to Alexei Mailybaev and Dan Marchesin [46] for discussions on singular detonation waves in relaxation models for combustion that were the immediate impetus for our study of hydraulic shock profiles. Thanks to University Information Technology Services (UITS) division from Indiana University for providing the Karst supercomputer environment in which most of our computations were carried out. This research was supported in part by Lilly Endowment, Inc., through its support for the Indiana University Pervasive Technology Institute, and the Indiana METACyt Initiative. The Indiana METACyt Initiative at IU was also supported in part by Lilly Endowment, Inc.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Bressan
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research of Z.Y. was partially supported by the Hazel King Thompson Summer Reading Fellowship, a Mathematics Department Research Assistantship, and the College of Arts and Sciences Dissertation Year Fellowship. Research of K.Z. was partially supported under NSF Grant Nos. DMS-1400555 and DMS-1700279.
Appendices
Appendix A. Decomposition Map
The decomposition of Green kernel function G can be summarized as
in which we see
Appendix B. Integral Estimates
\(I^1_{S2Ri}:\) Setting \(f(u)=\frac{1}{\sqrt{4c^2_{2,-}\pi u}}e^{-\frac{(t-c^1_{2,-}(x-y))^2}{4c^2_{2,-} u}}\), yields \(I^1_{S2Ri}=f(\frac{t}{c^1_{2,-}})-f(x-y)\), in which by (7.32) \(\frac{t}{c^1_{2,-}}\) and \(x-y\) are comparable. Writing the difference as an integral yields
Using that \(\frac{t}{c^1_{2,-}}\) and \(x-y\) are comparable, we have \(e^{-\frac{(t-c^1_{2,-}(x-y))^2}{4c^2_{2,-}u}}\le e^{-\frac{c^1_{2,-}(t-c^1_{2,-}(x-y))^2}{8 c^2_{2,-}t}}\), which, together with \(x^ne^{-x^2}\lesssim e^{-\frac{x^2}{2}}\) for any n positive, yields
\(\frac{\partial I^1_{S2Ri}}{\partial y}:\)
\(I^1_{S2Rii}:\) Using that \(e^{-\frac{(t-c^1_{2,-}(x-y))^2}{4c^2_{2,-}(x-y)}}<1\) and that for the complementary error function \(erfc(x):=\frac{2}{\sqrt{\pi }}\int _x^{\infty }e^{-z^2}\mathrm{d}z\), there is the estimate \(erfc(x)\le {e^{-x^2}}\), \(I^1_{S2Rii}\) can be bounded by
in which we have used that \(x-y\) is comparable to t hence is bounded away from 0 and is greater than \(\frac{t}{2}\). Term \(I_{S2Rii}\) is then time-exponentially small.
\(\frac{\partial I^1_{S2Rii}}{\partial y}:\) When the partial derivative hits the exponential outside the integral we get time- exponentially small terms by following the proof for \(I^1_{S2Rii}:\). When the partial derivative hits inside the integral we use \(x^2e^{-x^2}\lesssim e^{-x^2/2}\) and again get time-exponentially small terms by following the proof for \(I^1_{S2Rii}.\)
\(I^1_{R2i}:\) Using that \(xe^{-x^2}\lesssim e^{\frac{-x^2}{2}}\) and that \(\frac{t}{c^1_{2,-}}\) and \(x-y\) are comparable (\(\frac{t}{2c^1_{2,-}}<x-y<\frac{2t}{c^1_{2,-}}\)), we have
We then see that all terms are absorbable in R (7.6).
Appendix C. Computational Framework
1.1 C.1. Computational Environment
In carrying out our numerical investigations, we have used MacBook Pro 2017 with 16GB memory and Intel Core i7 processor with 2.8GHz processing speed for coding and debugging. The main parallelized computation is done in the compute nodes of IU Karst, a high-throughput computing cluster. It has 228 compute nodes. Each node is an IBM NeXtScale nx360 M4 server equipped with two Intel Xeon E5-2650 v2 8-core processors and with 32 GB of RAM and 250 GB of local disk storage.
1.2 C.2. Computational Time
The computational times displayed in the tables below are times elapsed in a single processor of IU Karst.
Rights and permissions
About this article
Cite this article
Yang, Z., Zumbrun, K. Stability of Hydraulic Shock Profiles. Arch Rational Mech Anal 235, 195–285 (2020). https://doi.org/10.1007/s00205-019-01422-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-019-01422-4