Using a simplified pointwise iteration scheme, we establish nonlinear phase-asymptotic orbital stability of large-amplitude Lax, undercompressive, overcompressive, and mixed under--overcompressive type shock profiles of strictly parabolic systems of conservation laws with respect to initial perturbations $|u_0(x)|\le E_0 (1+|x|)^{-3/2}$ in $C^{0+α}$, $E_0$ sufficiently small, under the necessary conditions of spectral and hyperbolic stability together with transversality of the connecting profile. This completes the program initiated by Zumbrun and Howard in \cite{ZH}, extending to the general undercompressive case results obtained for Lax and overcompressive shock profiles in \cite{SzX}, \cite{L}, \cite{ZH}, \cite{Z.2}, \cite{Ra}, \cite{MZ.1}--\cite{MZ.5}, and for special undercompressive profiles in \cite{LZ.1}--\cite{LZ.2}, \cite{HZ}. In particular, together with spectral results of \cite{Z.6}, our results yield nonlinear stability of large-amplitude undercompressive phase-transitional profiles near equilibrium of Slemrod's model \cite{Sl.5} for van der Waal gas dynamics or elasticity with viscosity--capillarity.
Extending to systems of hyperbolic--parabolic conservation laws results of Howard and Zumbrun for strictly parabolic systems, we show for viscous shock profiles of arbitrary amplitude and type that necessary spectral (Evans function) conditions for linearized stability established by Mascia and Zumbrun are also sufficient for linearized and nonlinear phase-asymptotic stability, yielding detailed pointwise estimates and sharp rates of convergence in $L^p$, $1\le p\le \infty$.
Kinetic relations for undercompressive shock waves. Physical, mathematical, and numerical issues
Laboratoire Jacques-Louis Lions & Centre National de la Recherche Scientifique, Université Pierre et Marie Curie (Paris 6)（雅克-路易·利翁斯实验室与法国国家科学研究中心，皮埃尔和玛丽居里大学（巴黎第六大学））
For the two-dimensional Navier--Stokes equations of isentropic magnetohydrodynamics (MHD) with $γ$-law gas equation of state, $γ\ge 1$, and infinite electrical resistivity, we carry out a global analysis categorizing all possible viscous shock profiles. Precisely, we show that the phase portrait of the traveling-wave ODE generically consists of either two rest points connected by a viscous Lax profile, or else four rest points, two saddles and two nodes. In the latter configuration, which rest points are connected by profiles depends on the ratio of viscosities, and can involve Lax, overcompre…
Motivated by the study of conditional stability of traveling waves, we give an elementary $H^2$ center stable manifold construction for quasilinear parabolic PDE, sidestepping apparently delicate regularity issues by the combination of a carefully chosen implicit fixed-point scheme and "damping-type" $H^s$ energy estimates of a type familiar from the study of hyperbolic--parabolic and relaxation systems. An important feature of these methods is that they generalize to situations such as the hyperbolic--parabolic or relaxation case for which parabolic-type smoothing estimates are unavailable. A…
For nonlinear hyperbolic systems of conservation laws in one space variable, we establish the existence of nonclassical entropy solutions exhibiting nonlinear interactions between shock waves with strong strength. The proposed theory is relevant in the theory of phase transition dynamics, and the solutions under consideration enjoy a splitting--merging pattern, consisting of (compressive) classical and (undercompressive) nonclassical waves, interacting together as well as with classical waves of smaller strength. Our analysis is based on three novel ideas. First, a generalization of Hayes--LeF…
Given a first-order nonlinear hyperbolic system of conservation laws endowed with a convex entropy-entropy flux pair, we can consider the class of weak solutions containing shock waves depending upon some small scale parameters. In this Note, we define and derive several classes of entropy-dissipating augmented models, as we call them, which involve (possibly nonlinear) second- and third-order augmentation terms. Such terms typically arise in continuum physics and model the viscosity and capillarity effects in a fluid, for instance. By introducing a new notion of positive entropy production th…
We study nonlinear hyperbolic conservation laws with non-convex flux in one space dimension and, for a broad class of numerical methods based on summation by parts operators, we compute numerically the kinetic functions associated with each scheme. As established by LeFloch and collaborators, kinetic functions (for continuous or discrete models) uniquely characterize the macro-scale dynamics of small-scale dependent, undercompressive, nonclassical shock waves. We show here that various entropy-dissipative numerical schemes can yield nonclassical solutions containing classical shocks, including…
This paper shows that in second-order hyperbolic systems of partial differential equations proposed in authors' earlier paper (J. Math. Phys. 59 (2018)) for modelling the relativistic dynamics of barotropic fluids in the presence of viscosity and heat conduction, shock waves of arbitrary strength have smooth, monotone dissipation profiles. The results and arguments extend classical considerations of Weyl (Comm. Pure Appl. Math. 2 (1949)) and Gilbarg (Amer. J. Math. 73 (1951)) to the relativistic setting.
Combining pointwise Green's function bounds obtained in a companion paper [MZ.2] with earlier, spectral stability results obtained in [HuZ], we establish nonlinear orbital stability of small amplitude viscous shock profiles for the class of dissipative symmetric hyperbolic-parabolic systems identified by Kawashima [Kaw], notably including compressible Navier--Stokes equations and the equations of magnetohydrodynamics, obtaining sharp rates of decay in $L^p$ with respect to small $L^1\cap H^3$ perturbations, $2\le p\le \infty$. Our analysis follows the approach introduced in [MZ.1] to treat sta…
We examine the existence of shock profiles for a hyperbolic-elliptic system arising in radiation hydrodynamics. The algebraic-differential system for the wave profile is reduced to a standard two-dimensional form that is analyzed in details showing the existence of heteroclinic connection between the two singular points of the system for any distance between the corresponding asymptotic states of the original model. Depending on the location of these asymptotic states, the profile can be either continuous or possesses at most one point of discontinuity. Moreover, a sharp threshold relative to …
We study a model of radiating gases that describes the interaction of an inviscid gas with photons. We show the existence of smooth traveling waves called 'shock profiles', when the strength of the shock is small. Moreover, we prove that the regularity of the traveling wave increases when the strength of the shock tends to zero.
We establish nonlinear $H^2\cap L^1 \to H^2$ stability with sharp rates of decay in $L^p$, $p\geq 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.
This paper is concerned with the time-asymptotic behavior of strong solutions to an initial-boundary value problem of the compressible Navier-Stokes-Korteweg system on the half line $\mathbb{R}^+$. The asymptotic profile of the problem is shown to be a shifted viscous shock profile, which is suitably away from the boundary. Moreover, we prove that if the initial data around the shifted viscous shock profile and the strength of the shifted viscous shock profile are sufficiently small, then the problem has a unique global strong solution, which tends to the shifted viscous shock profile as time …
By reduction to a generalized Sturm Liouville problem, we establish spectral stability of hydraulic shock profiles of the Saint-Venant equations for inclined shallow-water flow, over the full parameter range of their existence, for both smooth-type profiles and discontinuous-type profiles containing subshocks. Together with work of Mascia-Zumbrun and Yang-Zumbrun, this yields linear and nonlinear $H^2\cap L^1 \to H^2$ stability with sharp rates of decay in $L^p$, $p\geq 2$, the first complete stability results for large-amplitude shock profiles of a hyperbolic relaxation system.
This paper is concerned with singular shocks for a system of conservation laws modeling incompressible two-phase fluid flow. We prove the existence of viscous profiles using the Geometric Singular Perturbation Theory. Weak convergence and growth rates of the unbounded family of solutions are also obtained.
We carry out the first rigorous numerical proof based on Evans function computations of stability of viscous shock profiles, for the system of isentropic gas dynamics with monatomic equation of state. We treat a selection of shock strengths ranging from the lower stability boundary of Mach number $\approx 1.86 $, below which profiles are known by energy estimates to be stable, to the upper stability boundary of $\approx 1669$, above which profiles are expected to be provable by rigorous asymptotic analysis to be stable. These results open the possibilities of: (i) automatic rigorous verificati…
Haar method, averaged matrix, wave cancellations, and L1 stability for hyperbolic systems
Laboratoire Jacques-Louis Lions & Centre National de la Recherche Scientifique (CNRS), Université Pierre et Marie Curie (Paris 6)（雅克-路易·利翁斯实验室 & 法国国家科学研究中心，皮埃尔和玛丽·居里大学）
We investigate existence and stability of viscoelastic shock profiles for a class of planar models including the incompressible shear case studied by Antman and Malek-Madani. We establish that the resulting equations fall into the class of symmetrizable hyperbolic--parabolic systems, hence spectral stability implies linearized and nonlinear stability with sharp rates of decay. The new contributions are treatment of the compressible case, formulation of a rigorous nonlinear stability theory, including verification of stability of small-amplitude Lax shocks, and the systematic incorporation in o…
We establish one-dimensional spectral stability of small amplitude viscous and relaxation shock profiles using Evans function techniques to perform a series of reductions and normal forms to reduce to the case of the scalar Burgers equation. In multidimensions, the canonical behavior is described, rather by a 2x2 viscous conservation law; this case will be treated in a companion paper by similar techniques.
Using a combination of Kawashima- and Goodman-type energy estimates, we establish spectral stability of general small-amplitude relaxation shocks of symmetric dissipative systems. This extends previous results obtained by Plaza and Zumbrun by singular perturbation techniques under an additional technical assumption, namely, that the background equation be noncharacteristic with respect to the shock.
This paper studies the stability of weak dispersive shock profiles for a quantum hydrodynamics system in one space dimension with nonlinear viscosity and dispersive (quantum) effects due to a Bohm potential. It is shown that, if the shock amplitude is sufficiently small, then the profiles are spectrally stable. This analytical result is consistent with numerical estimations of the location of the spectrum (Lattanzio, Zhelyazov, Math. Models Methods Appl. Sci. 31, 2021). The proof is based on energy estimates at the spectral level, on the choice of an appropriate weighted energy function for th…
We consider the asymptotic behavior of perturbations of Lax and overcompressive type viscous shock profiles arising in systems of regularized conservation laws with strictly parabolic viscosity, and also in systems of conservation laws with partially parabolic regularizations such as arise in the case of the compressible Navier--Stokes equations and in the equations of magnetohydrodynamics. Under the necessary conditions of spectral and hyperbolic stability, together with transversality of the connecting profile, we establish detailed pointwise estimates on perturbations from a sum of the visc…
We investigate the $L^p $ asymptotic behavior $(1\le p \le \infty)$ of a perturbation of a Lax or overcompressive type shock wave solution to a system of conservation law in one dimension. The system of the equations can be strictly parabolic, or have real viscosity matrix (partially parabolic, e.g., compressible Navier--Stokes equations or equations of Magnetohydrodynamics). We use known pointwise Green function bounds for the linearized equation around the shock to show that the perturbation of such a solution can be decomposed into a part corresponding to shift in shock position or shape, a…
We establish existence with sharp rates of decay and distance from the Chapman--Enskog approximation of small-amplitude quasilinear relaxation shocks in the general case that the profile ODE may become degenerate. Our method of analysis follows the general approach used by Métivier and Zumbrun in the semilinear case, based on Chapman--Enskog expansion and the macro--micro decomposition of Liu and Yu. In the quasilinear case, however, we find it necessary to apply a parameter-dependent Nash-Moser iteration to close the analysis, whereas, in the semilinear case, a simple contraction-mapping argu…
This paper studies the asymptotic stability of shock profiles and rarefaction waves under space-periodic perturbations for one-dimensional convex scalar viscous conservation laws. For the shock profile, we show that the solution approaches the background shock profile with a constant shift in the $ L^\infty(\mathbb{R}) $ norm at exponential rates. The new phenomena contrasting to the case of localized perturbations is that the constant shift cannot be determined by the initial excessive mass in general, which indicates that the periodic oscillations at infinities make contributions to this shi…
This work establishes nonlinear orbital asymptotic stability of scalar radiative shock profiles, namely, traveling wave solutions to the simplified model system of radiating gas \cite{Hm}, consisting of a scalar conservation law coupled with an elliptic equation for the radiation flux. The method is based on the derivation of pointwise Green function bounds and description of the linearized solution operator. A new feature in the present analysis is the construction of the resolvent kernel for the case of an eigenvalue system of equations of degenerate type. Nonlinear stability then follows in…
This note studies a four-field hyperbolic PDE model that was recently introduced by Bemfica, Disconzi, and Noronha for the pure radiation fluid with viscosity, and asks whether shock waves admit continuous profiles in this description. The model containing two free parameters mu, nu and being causal whenever one chooses (mu,nu) from a certain range C subset R2, this paper shows that for any choice of (mu,nu) in the interior of C, there is a dichotomy in so far as (i) shocks of sufficiently small amplitude admit profiles and (ii) certain other, thus necessarily non-small, shocks do not. This fi…
In this paper we study existence and stability of shock profiles for a 1-D compressible Euler system in the context of Quantum Hydrodynamic models. The dispersive term is originated by the quantum effects described through the Bohm potential; moreover we introduce a (linear) viscosity to analyze its interplay with the former while proving existence, monotonicity and stability of travelling waves connecting a Lax shock for the underlying Euler system. The existence of monotone profiles is proved for sufficiently small shocks; while the case of large shocks leads to the (global) existence for an…
Extending previous work with Lattanzio and Mascia on the scalar (in fluid-dynamical variables) Hamer model for a radiative gas, we show nonlinear orbital asymptotic stability of small-amplitude shock profiles of general systems of coupled hyperbolic--eliptic equations of the type modeling a radiative gas, that is, systems of conservation laws coupled with an elliptic equation for the radiation flux, including in particular the standard Euler--Poisson model for a radiating gas. The method is based on the derivation of pointwise Green function bounds and description of the linearized solution op…
By a combination of asymptotic ODE estimates and numerical Evans function calculations, we establish stability of viscous shock solutions of the isentropic compressible Navier--Stokes equations with $γ$-law pressure (i) in the limit as Mach number $M$ goes to infinity, for any $γ\ge 1$ (proved analytically), and (ii) for $M\ge 2,500$, $γ\in [1,2.5]$ (demonstrated numerically). This builds on and completes earlier studies by Matsumura--Nishihara and Barker--Humpherys--Rudd--Zumbrun establishing stability for low and intermediate Mach numbers, respectively, indicating unconditional stability, in…
It was shown by Schecter (2004, J. Differential Equations, 205, 185-210), using the methods of Geometric Singular Perturbation Theory, that the Dafermos regularization $u_t+f(u)_x= εtu_{xx}$ for the Keyfitz-Kranzer system admits an unbounded family of solutions. Inspired by that work, in this paper we provide a more intuitive approach which leads to a stronger result. In addition to the existence of viscous profiles, we also prove the weak convergence and show that the maximum of the solution is of order $ε^{-2}$. This asymptotic behavior is distinct from that obtained in the author's recent w…
We study the 2D isentropic Euler equations with the ideal gas law. We exhibit a set of smooth initial data that give rise to shock formation at a single point near the planar symmetry. These solutions are associated with non-zero vorticity at the shock and have uniform-in-time 1/3-Hölder bound. Moreover, these point shocks are of self-similar type and share the same profile, which is a solution to the 2D self-similar Burgers equation. Our proof, following the 3D shock formation result of Buckmaster, Shkoller and Vicol, is based on the stable 2D self-similar Burgers profile and the modulation m…
We establish existence with sharp rates of decay and distance from the Chapman--Enskog approximation of small-amplitude shock profiles of a class of semilinear relaxation systems including discrete velocity models obtained from Boltzmann and other kinetic equations. Our method of analysis is based on the macro--micro decomposition introduced by Liu and Yu for the study of Boltzmann profiles, but applied to the stationary rather than the time-evolutionary equations. This yields a simple proof by contraction mapping in weighted $H^s$ spaces.
Shock solutions for the one-dimensional information geometric regularization of compressible flow
Los Alamos National Laboratory（洛斯阿拉莫斯国家实验室）；University of Colorado Boulder（科罗拉多大学博尔德分校）；California State University, Long Beach（加州州立大学长滩分校）；New York University（纽约大学）
