Searcharxiv⌕ Search

arXiv subjects

Guy Metivier

Publications and source records attributed to Guy Metivier.

17 recordsLinked to original sources
arXiv2022

Large-amplitude modulation of periodic traveling waves

We introduce a new approach to the study of modulation of high-frequency periodic wave patterns, based on pseudodifferential analysis, multi-scale expansion, and Kreiss symmetrizer estimates like those in hyperbolic and hyperbolic-parabolic boundary-value theory. Key ingredients are local Floquet transformation as a preconditioner removing large derivatives in the normal direction of background rapidly oscillating fronts and the use of the periodic Evans function of Gardner to connect spectral information on component periodic waves to block structure of the resulting approximately constant-coefficient resolvent ODEs. Our main result is bounded-time existence and valitidy to all orders of large-amplitude smooth modulations of planar periodic solutions of multi-D reaction diffusion systems in the high-frequency/small wavelength limit.

math.AP↗
arXiv2019

Waves Interacting With A Partially Immersed Obstacle In The Boussinesq Regime

This paper is devoted to the derivation and mathematical analysis of a wave-structure interaction problem which can be reduced to a transmission problem for a Boussinesq system. Initial boundary value problems and transmission problems in dimension d= 1 for $2\times2$ hyperbolic systems are well understood. However, for many applications, and especially for the description of surface water waves, dispersive perturbations of hyperbolic systems must be considered. We consider here a configuration where the motion of the waves is governed by a Boussinesq system (a dispersive perturbation of the hyperbolic nonlinear shallow water equations), and in the presence of a fixed partially immersed obstacle. We shall insist on the differences and similarities with respect to the standard hyperbolic case, and focus our attention on a new phenomenon, namely, the apparition of a dispersive boundary layer. In order to obtain existence and uniform bounds on the solutions over the relevant time scale, a control of this dispersive boundary layer and of the oscillations in time it generates is necessary. This analysis leads to a new notion of compatibility condition that is shown to coincide with the standard hyperbolic compatibility conditions when the dispersive parameter is set to zero. To the authors' knowledge, this is the first time that these phenomena (likely to play a central role in the analysis of initial boundary value problems for dispersive perturbations of hyperbolic systems) are exhibited.

math.AP↗
arXiv2017

The shoreline problem for the one-dimensional shallow water and Green-Naghdi equations

The Green-Naghdi equations are a nonlinear dispersive perturbation of the nonlinear shallow water equations, more precise by one order of approximation. These equations are commonly used for the simulation of coastal flows, and in particular in regions where the water depth vanishes (the shoreline). The local well-posedness of the Green-Naghdi equations (and their justification as an asymptotic model for the water waves equations) has been extensively studied, but always under the assumption that the water depth is bounded from below by a positive constant. The aim of this article is to remove this assumption. The problem then becomes a free-boundary problem since the position of the shoreline is unknown and driven by the solution itself. For the (hyperbolic) nonlinear shallow water equation, this problem is very related to the vacuum problem for a compressible gas. The Green-Naghdi equation include additional nonlinear, dispersive and topography terms with a complex degenerate structure at the boundary. In particular, the degeneracy of the topography terms makes the problem loose its quasilinear structure and become fully nonlinear. Dispersive smoothing also degenerates and its behavior at the boundary can be described by an ODE with regular singularity. These issues require the development of new tools, some of which of independent interest such as the study of the mixed initial boundary value problem for dispersive perturbations of characteristic hyperbolic systems, elliptic regularization with respect to conormal derivatives, or general Hardy-type inequalities.

math.AP↗
arXiv2013

$L^2$ well posed Cauchy Problems and Symmetrizability of First Order Systems

The Cauchy problem for first order system $L(t, x, \D_t, \D_x)$ is known to be well posed in $L^2$ when a it admits a microlocal symmetrizer $S(t,x, ξ)$ which is smooth in $ξ$ and Lipschitz continuous in $(t, x)$. This paper contains three main results. First we show that a Lipsshitz smoothness globally in $(t,x, ξ)$ is sufficient. Second, we show that the existence of symmetrizers with a given smoothness is equivalent to the existence of \emph{full symmetrizers} having the same smoothness. This notion was first introduced in \cite{FriLa1}. This is the key point to prove the third result that the existence of microlocal symmetrizer is preserved if one changes the direction of time, implying local uniqueness and finite speed of propagation.

math.AP↗
arXiv2012

Viscous boundary layers in hyperbolic-parabolic systems with Neumann boundary conditions

We initiate the study of noncharacteristic boundary layers in hyperbolic-parabolic problems with Neumann boundary conditions. More generally, we study boundary layers with mixed Dirichlet--Neumann boundary conditions where the number of Dirichlet conditions is fewer than the number of hyperbolic characteristic modes entering the domain, that is, the number of boundary conditions needed to specify an outer hyperbolic solution. We have shown previously that this situation prevents the usual WKB approximation involving an outer solution with pure Dirichlet conditions. It also rules out the usual maximal estimates for the linearization of the hyperbolic-parabolic problem about the boundary layer. Here we show that for linear, constant-coefficient, hyperbolic-parabolic problems one obtains a reduced hyperbolic problem satisfying Neumann or mixed Dirichlet--Neumann rather than Dirichlet boundary conditions. When this hyperbolic problem can be solved, a unique formal boundary-layer expansion can be constructed. In the extreme case of pure Neumann conditions and totally incoming characteristics, we carry out a full analysis of the quasilinear case, obtaining a boundary-layer approximation to all orders with a rigorous error analysis. As a corollary we characterize the small viscosity limit for this problem. The analysis shows that although the associated linearized hyperbolic and hyperbolic--parabolic problems do not satisfy the usual maximal estimates for Dirichlet conditions, they do satisfy analogous versions with losses.

math.AP↗
arXiv2009

Existence of quasilinear relaxation shock profiles

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 argument sufficed.

math.AP↗
arXiv2009

Existence and sharp localization in velocity of small-amplitude Boltzmann shocks

Using a weighted $H^s$-contraction mapping argument based on the macro-micro decomposition of Liu and Yu, we give an elementary proof of existence, with sharp rates of decay and distance from the Chapman--Enskog approximation, of small-amplitude shock profiles of the Boltzmann equation with hard-sphere potential, recovering and slightly sharpening results obtained by Caflisch and Nicolaenko using different techniques. A key technical point in both analyses is that the linearized collision operator $L$ is negative definite on its range, not only in the standard square-root Maxwellian weighted norm for which it is self-adjoint, but also in norms with nearby weights. Exploring this issue further, we show that $L$ is negative definite on its range in a much wider class of norms including norms with weights asymptotic nearly to a full Maxwellian rather than its square root. This yields sharp localization in velocity at near-Maxwellian rate, rather than the square-root rate obtained in previous analyses

math.AP↗
arXiv2009

Dispersive Stabilization

Ill posed linear and nonlinear initial value problems may be stabilized, that it converted to to well posed initial value problems, by the addition of purely nonscalar linear dispersive terms. This is a stability analog of the Turing instability. This idea applies to systems of quasilinear Schrödinger equations from nonlinear optics.

math.AP↗
arXiv2009

Existence of semilinear relaxation shocks

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.

math.AP↗
arXiv2008

Existence and stability of noncharacteristic boundary-layers for the compressible Navier-Stokes and viscous MHD equations

For a general class of hyperbolic-parabolic systems including the compressible Navier-Stokes and compressible MHD equations, we prove existence and stability of noncharacteristic viscous boundary layers for a variety of boundary conditions including classical Navier-Stokes boundary conditions. Our first main result, using the abstract framework established by the authors in the companion work \cite{GMWZ6}, is to show that existence and stability of arbitrary amplitude exact boundary-layer solutions follow from a uniform spectral stability condition on layer profiles that is expressible in terms of an Evans function (uniform Evans stability). Whenever this condition holds we give a rigorous description of the small viscosity limit as the solution of a hyperbolic problem with "residual" boundary conditions. Our second is to show that uniform Evans stability for small-amplitude layers is equivalent to Evans stability of the limiting constant layer, which in turn can be checked by a linear-algebraic computation. Finally, for a class of symmetric-dissipative systems including the physical examples mentioned above, we carry out energy estimates showing that constant (and thus small-amplitude) layers always satisfy uniform Evans stability. This yields existence of small-amplitude multi-dimensional boundary layers for the compressible Navier-Stokes and MHD equations. For both equations these appear to be the first such results in the compressible case.

math.AP↗
arXiv2007

Space Propagation of Instabilities in Zakharov Equations

In this paper we study an initial boundary value problem for Zakharov's equations, describing the space propagation of a laser beam entering in a plasma. We prove a strong instability result and prove that the mathematical problem is ill-posed in Sobolev spaces. We also show that it is well posed in spaces of analytic functions. Several consequences for the physical consistency of the model are discussed.

math.AP↗
arXiv2006

Instabilities in Zakharov Equations for Laser Propagation in a Plasma

F.Linares, G.Ponce, J-C.Saut have proved that a non-fully dispersive Zakharov system arising in the study of Laser-plasma interaction, is locally well posed in the whole space, for fields vanishing at infinity. Here we show that in the periodic case, seen as a model for fields non-vanishing at infinity, the system develops strong instabilities of Hadamard's type, implying that the Cauchy problem is strongly ill-posed.

math.AP↗
arXiv2006

The Cauchy Problem for Wave Equations with NonLipschitz Coefficients

In this paper we study the Cauchy problem for second order strictly hyperbolic operators when the coefficients of the principal part are not Lipschitz continuous, but only "Log-Lipschitz" with respect to all the variables. This class of equation is invariant under changes of variables and therefore suitable for a local analysis. In particular, we show local existence, local uniqueness and finite speed of propagation for the noncharacteristic Cauchy problem.

math.AP↗
arXiv2006

Remarks on the Well-Posedness of the Nonlinear Cauchy Problem

We show that hyperbolicity is a necessary condition for the well posedness of the noncharacteristic Cauchy problem for nonlinear partial differential equations. We give conditions on the initial data which are necessary for the existence of solutions and we analyze Hadamard's instabilities in Sobolev spaces. We also show that genuinely nonlinear equations raise new interesting problems.

math.AP↗
arXiv2005

Uniform stability estimates for constant-coefficient symmetric hyperbolic boundary value problems

Answering a question left open in \cite{MZ2}, we show for general symmetric hyperbolic boundary problems with constant coefficients, including in particular systems with characteristics of variable multiplicity, that the uniform Lopatinski condition implies strong $L^2$ well-posedness, with no further structural assumptions. The result applies, more generally, to any system that is strongly $L^2$ well-posed for at least one boundary condition. The proof is completely elementary, avoiding reference to Kreiss symmetrizers or other specific techniques. On the other hand, it is specific to the constant-coefficient case; at least, it does not translate in an obvious way to the variable-coefficient case. The result in the hyperbolic case is derived from a more general principle that can be applied, for example, to parabolic or partially parabolic problems like the Navier-Stokes or viscous MHD equations linearized about a constant state or even a viscous shock.

math.AP↗