-
The Neumann boundary condition for the two-dimensional Lax-Wendroff scheme. II
Authors:
Antoine Benoit,
Jean-François Coulombel
Abstract:
We study the stability of a two-dimensional Lax-Wendroff scheme in a quarter-plane. Following our previous work, we aim here at adapting the energy method in order to study second order extrapolation boundary conditions. We first show on the one-dimensional problem why modifying the energy is a necessity in order to obtain stability estimates. We then study the two-dimensional case and propose a m…
▽ More
We study the stability of a two-dimensional Lax-Wendroff scheme in a quarter-plane. Following our previous work, we aim here at adapting the energy method in order to study second order extrapolation boundary conditions. We first show on the one-dimensional problem why modifying the energy is a necessity in order to obtain stability estimates. We then study the two-dimensional case and propose a modified energy as well as second order extrapolation boundary and corner conditions in order to maintain second order accuracy and stability of the whole scheme, including near the corner.
△ Less
Submitted 30 May, 2024;
originally announced May 2024.
-
The Neumann boundary condition for the two-dimensional Lax-Wendroff scheme
Authors:
Jean-François Coulombel,
Antoine Benoit
Abstract:
We study the stability of the two-dimensional Lax-Wendroff scheme with a stabilizer that approximates solutions to the transport equation. The problem is first analyzed in the whole space in order to show that the so-called energy method yields an optimal stability criterion for this finite difference scheme. We then deal with the case of a half-space when the transport operator is outgoing. At th…
▽ More
We study the stability of the two-dimensional Lax-Wendroff scheme with a stabilizer that approximates solutions to the transport equation. The problem is first analyzed in the whole space in order to show that the so-called energy method yields an optimal stability criterion for this finite difference scheme. We then deal with the case of a half-space when the transport operator is outgoing. At the numerical level, we enforce the Neumann extrapolation boundary condition and show that the corresponding scheme is stable. Eventually we analyze the case of a quarter-space when the transport operator is outgoing with respect to both sides. We then enforce the Neumann extrapolation boundary condition on each side of the boundary and propose an extrapolation boundary condition at the numerical corner in order to maintain stability for the whole numerical scheme.
△ Less
Submitted 11 October, 2022;
originally announced October 2022.
-
The Green's function of the Lax-Wendroff and Beam-Warming schemes
Authors:
Jean-François Coulombel
Abstract:
We prove a sharp uniform generalized Gaussian bound for the Green's function of the Lax-Wendroff and Beam-Warming schemes. Our bound highlights the spatial region that leads to the well-known (rather weak) instability of these schemes in the maximum norm. We also recover uniform bounds in the maximum norm when these schemes are applied to initial data of bounded variation.
We prove a sharp uniform generalized Gaussian bound for the Green's function of the Lax-Wendroff and Beam-Warming schemes. Our bound highlights the spatial region that leads to the well-known (rather weak) instability of these schemes in the maximum norm. We also recover uniform bounds in the maximum norm when these schemes are applied to initial data of bounded variation.
△ Less
Submitted 7 January, 2022;
originally announced January 2022.
-
Sharp stability for finite difference approximations of hyperbolic equations with boundary conditions
Authors:
Jean-François Coulombel,
Grégory Faye
Abstract:
In this article, we consider a class of finite rank perturbations of Toeplitz operators that have simple eigenvalues on the unit circle. Under a suitable assumption on the behavior of the essential spectrum, we show that such operators are power bounded. The problem originates in the approximation of hyperbolic partial differential equations with boundary conditions by means of finite difference s…
▽ More
In this article, we consider a class of finite rank perturbations of Toeplitz operators that have simple eigenvalues on the unit circle. Under a suitable assumption on the behavior of the essential spectrum, we show that such operators are power bounded. The problem originates in the approximation of hyperbolic partial differential equations with boundary conditions by means of finite difference schemes. Our result gives a positive answer to a conjecture by Trefethen, Kreiss and Wu that only a weak form of the so-called Uniform Kreiss-Lopatinskii Condition is sufficient to imply power boundedness.
△ Less
Submitted 5 February, 2021;
originally announced February 2021.
-
Generalized gaussian bounds for discrete convolution powers
Authors:
Jean-François Coulombel,
Grégory Faye
Abstract:
We prove a uniform generalized gaussian bound for the powers of a discrete convolution operator in one space dimension. Our bound is derived under the assumption that the Fourier transform of the coefficients of the convolution operator is a trigonometric rational function, which generalizes previous results that were restricted to trigonometric polynomials. We also allow the modulus of the Fourie…
▽ More
We prove a uniform generalized gaussian bound for the powers of a discrete convolution operator in one space dimension. Our bound is derived under the assumption that the Fourier transform of the coefficients of the convolution operator is a trigonometric rational function, which generalizes previous results that were restricted to trigonometric polynomials. We also allow the modulus of the Fourier transform to attain its maximum at finitely many points over a period.
△ Less
Submitted 22 November, 2021; v1 submitted 17 December, 2020;
originally announced December 2020.
-
The Leray-Gårding method for finite difference schemes. II. Smooth crossing modes
Authors:
Jean-François Coulombel
Abstract:
In [Cou15] a multiplier technique, going back to Leray and Gårding for scalar hyperbolic partial differential equations, has been extended to the context of finite difference schemes for evolutionary problems. The key point of the analysis in [Cou15] was to obtain a discrete energy-dissipation balance law when the initial difference operator is multiplied by a suitable quantity. The construction o…
▽ More
In [Cou15] a multiplier technique, going back to Leray and Gårding for scalar hyperbolic partial differential equations, has been extended to the context of finite difference schemes for evolutionary problems. The key point of the analysis in [Cou15] was to obtain a discrete energy-dissipation balance law when the initial difference operator is multiplied by a suitable quantity. The construction of the energy and dissipation functionals was achieved in [Cou15] under the assumption that all modes were separated. We relax this assumption here and construct, for the same multiplier as in [Cou15], the energy and dissipation functionals when some modes cross. Semigroup estimates for fully discrete hy-perbolic initial boundary value problems are deduced in this broader context by following the arguments of [Cou15].
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
On some stable boundary closures of finite difference schemes for the transport equation
Authors:
Jean-François Coulombel,
Tomas Lundquist
Abstract:
We explore in this article the possibilities and limitations of the so-called energy method for analyzing the stability of finite difference approximations to the transport equation with extrapolation numerical boundary conditions at the outflow boundary. We first show that for the most simple schemes, namely the explicit schemes with a three point stencil, the energy method can be applied for pro…
▽ More
We explore in this article the possibilities and limitations of the so-called energy method for analyzing the stability of finite difference approximations to the transport equation with extrapolation numerical boundary conditions at the outflow boundary. We first show that for the most simple schemes, namely the explicit schemes with a three point stencil, the energy method can be applied for proving stability estimates when the scheme is implemented with either the first or second order extrapolation boundary condition. We then examine the case of five point stencils and give several examples of schemes and second order extrapolation numerical boundary conditions for which the energy method produces stability estimates. However, we also show that for the standard first or second order translatory extrapolation boundary conditions, the energy method cannot be applied for proving stability of the classical fourth order scheme originally proposed by Strang. This gives a clear limitation of the energy method with respect to the more general approach based on the normal mode decomposition.
△ Less
Submitted 8 January, 2020;
originally announced January 2020.
-
High order numerical schemes for transport equations on bounded domains
Authors:
Benjamin Boutin,
Thi Hoai Thuong Nguyen,
Abraham Sylla,
Sébastien Tran-Tien,
Jean-François Coulombel
Abstract:
This article is an account of the NABUCO project achieved during the summer camp CEMRACS 2019 devoted to geophysical fluids and gravity flows. The goal is to construct finite difference approximations of the transport equation with nonzero incoming boundary data that achieve the best possible convergence rate in the maximum norm. We construct, implement and analyze the so-called inverse Lax-Wendro…
▽ More
This article is an account of the NABUCO project achieved during the summer camp CEMRACS 2019 devoted to geophysical fluids and gravity flows. The goal is to construct finite difference approximations of the transport equation with nonzero incoming boundary data that achieve the best possible convergence rate in the maximum norm. We construct, implement and analyze the so-called inverse Lax-Wendroff procedure at the incoming boundary. Optimal convergence rates are obtained by combining sharp stability estimates for extrapolation boundary conditions with numerical boundary layer expansions. We illustrate the results with the Lax-Wendroff and O3 schemes.
△ Less
Submitted 6 December, 2019;
originally announced December 2019.
-
Discrete transparent boundary conditions for the two-dimensional leap-frog scheme
Authors:
Christophe Besse,
Jean-François Coulombel,
Pascal Noble
Abstract:
We develop a general strategy in order to implement (approximate) discrete transparent boundary conditions for finite difference approximations of the two-dimensional transport equation. The computational domain is a rectangle equipped with a Cartesian grid. For the two-dimensional leapfrog scheme, we explain why our strategy provides with explicit numerical boundary conditions on the four sides o…
▽ More
We develop a general strategy in order to implement (approximate) discrete transparent boundary conditions for finite difference approximations of the two-dimensional transport equation. The computational domain is a rectangle equipped with a Cartesian grid. For the two-dimensional leapfrog scheme, we explain why our strategy provides with explicit numerical boundary conditions on the four sides of the rectangle and why it does not require prescribing any condition at the four corners of the computational domain. The stability of the numerical boundary condition on each side of the rectangle is analyzed by means of the so-called normal mode analysis. Numerical investigations for the full problem on the rectangle show that strong instabilities may occur when coupling stable strategies on each side of the rectangle. Other coupling strategies yield promising results.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
The Neumann numerical boundary condition for transport equations
Authors:
Jean-François Coulombel,
Frédéric Lagoutière
Abstract:
In this article, we show that prescribing homogeneous Neumann type numerical boundary conditions at an outflow boundary yields a convergent discretization in $\ell^\infty$ for transport equations. We show in particular that the Neumann numerical boundary condition is a stable, local, and absorbing numerical boundary condition for discretized transport equations. Our main result is proved for expli…
▽ More
In this article, we show that prescribing homogeneous Neumann type numerical boundary conditions at an outflow boundary yields a convergent discretization in $\ell^\infty$ for transport equations. We show in particular that the Neumann numerical boundary condition is a stable, local, and absorbing numerical boundary condition for discretized transport equations. Our main result is proved for explicit two time level numerical approximations of transport operators with arbitrarily wide stencils. The proof is based on the energy method and bypasses any normal mode analysis.
△ Less
Submitted 6 November, 2018;
originally announced November 2018.
-
On the Mach stem configuration with shallow angle
Authors:
Jean-François Coulombel,
Mark Williams
Abstract:
The aim of this article is to explain why similar weak stability criteria appear in both the construction of steady Mach stem configurations bifurcating from a reference planar shock wave solution to the compressible Euler equations, as studied by Majda and Rosales [Stud. Appl. Math. 1984], and in the weakly nonlinear stability analysis of the same planar shock performed by the same authors [SIAM…
▽ More
The aim of this article is to explain why similar weak stability criteria appear in both the construction of steady Mach stem configurations bifurcating from a reference planar shock wave solution to the compressible Euler equations, as studied by Majda and Rosales [Stud. Appl. Math. 1984], and in the weakly nonlinear stability analysis of the same planar shock performed by the same authors [SIAM J. Appl. Math. 1983], when that shock is viewed as a solution to the evolutionary compressible Euler equations. By carefully studying the normal mode analysis of planar shocks in the evolutionary case, we show that for a uniquely defined tangential velocity with respect to the planar front, the temporal frequency which allows for the amplification of highly oscillating wave packets, when reflected on the shock front, vanishes. This specific tangential velocity is found to coincide with the expression given by Majda and Rosales [Stud. Appl. Math. 1984] when they determine the steady planar shocks that admit arbitrarily close steady Mach stem configurations. The links between the causality conditions for Mach stems and the so-called Lopatinskii determinant for shock waves are also clarified.
△ Less
Submitted 24 July, 2018; v1 submitted 11 July, 2018;
originally announced July 2018.
-
Weakly nonlinear surface waves in magnetohydrodynamics
Authors:
Olivier Pierre,
Jean-François Coulombel
Abstract:
This work is devoted to the construction of weakly nonlinear, highly oscillating, current vortex sheet solutions to the incompressible magnetohydrodynamics equations. Current vortex sheets are piecewise smooth solutions to the incompressible magnetohydrodynamics equations that satisfy suitable jump conditions for the velocity and magnetic field on the (free) discontinuity surface. In this work, we…
▽ More
This work is devoted to the construction of weakly nonlinear, highly oscillating, current vortex sheet solutions to the incompressible magnetohydrodynamics equations. Current vortex sheets are piecewise smooth solutions to the incompressible magnetohydrodynamics equations that satisfy suitable jump conditions for the velocity and magnetic field on the (free) discontinuity surface. In this work, we complete an earlier work by Ali and Hunter and construct approximate solutions at any arbitrarily large order of accuracy to the free boundary problem in three space dimensions when the initial discontinuity displays high frequency oscillations. As evidenced in earlier works, high frequency oscillations of the current vortex sheet give rise to `surface waves' on either side of the sheet. Such waves decay exponentially in the normal direction to the current vortex sheet and, in the weakly nonlinear regime that we consider here, their leading amplitude is governed by a nonlocal Hamilton-Jacobitype equation known as the `HIZ equation' (standing for Hamilton-Il'insky-Zabolotskaya) in the context of Rayleigh waves in elastodynamics. The main achievement of our work is to develop a systematic approach for constructing arbitrarily many correctors to the leading amplitude. Based on a suitable duality formula, we exhibit necessary and sufficient solvability conditions for the corrector equations that need to be solved iteratively. Theverification of these solvability conditions is based on a combination of mere algebra and arguments of combinatorial analysis. The construction of arbitrarily many correctors enables us to produce infinitely accurate approximate solutions to the free boundary problem. Eventually, we show that the rectification phenomenon exhibited by Marcou in the context of Rayleigh waves does not arise in the same way for the current vortex sheet problem.
△ Less
Submitted 2 July, 2018;
originally announced July 2018.
-
Transparent numerical boundary conditions for evolution equations: Derivation and stability analysis
Authors:
Jean-François Coulombel
Abstract:
The aim of this article is to propose a systematic study of transparent boundary conditions for finite difference approximations of evolution equations. We try to keep the discussion at the highest level of generality in order to apply the theory to the broadest class of problems. We deal with two main issues. We first derive transparent numerical boundary conditions, that is, we exhibit the relat…
▽ More
The aim of this article is to propose a systematic study of transparent boundary conditions for finite difference approximations of evolution equations. We try to keep the discussion at the highest level of generality in order to apply the theory to the broadest class of problems. We deal with two main issues. We first derive transparent numerical boundary conditions, that is, we exhibit the relations satisfied by the solution to the pure Cauchy problem when the initial condition vanishes outside of some domain. Our derivation encompasses discretized transport, diffusion and dispersive equations with arbitrarily wide stencils. The second issue is to prove sharp stability estimates for the initial boundary value problem obtained by enforcing the boundary conditions derived in the first step. We focus here on discretized transport equations. Under the assumption that the numerical boundary is non-characteristic, our main result characterizes the class of numerical schemes for which the corresponding transparent boundary conditions satisfy the so-called Uniform Kreiss-Lopatinskii Condition introduced in [GKS72]. Adapting some previous works to the non-local boundary conditions considered here, our analysis culminates in the derivation of trace and semigroup estimates for such transparent numerical boundary conditions. Several examples and possible extensions are given.
△ Less
Submitted 22 September, 2016;
originally announced September 2016.
-
Geometric optics for surface waves in nonlinear elasticity
Authors:
Jean-Francois Coulombel,
Mark Williams
Abstract:
This work is devoted to the analysis of high frequency solutions to the equations of nonlinear elasticity in a half-space. We consider surface waves (or more precisely, Rayleigh waves) arising in the general class of isotropic hyperelastic models, which includes in particular the Saint Venant-Kirchhoff system. Work has been done by a number of authors since the 1980s on the formulation and well-po…
▽ More
This work is devoted to the analysis of high frequency solutions to the equations of nonlinear elasticity in a half-space. We consider surface waves (or more precisely, Rayleigh waves) arising in the general class of isotropic hyperelastic models, which includes in particular the Saint Venant-Kirchhoff system. Work has been done by a number of authors since the 1980s on the formulation and well-posedness of a nonlinear evolution equation whose (exact) solution gives the leading term of an \emph{approximate} Rayleigh wave solution to the underlying elasticity equations. This evolution equation, which we refer to as "the amplitude equation", is an integrodifferential equation of nonlocal Burgers type. We begin by reviewing and providing some extensions of the theory of the amplitude equation. The remainder of the paper is devoted to a rigorous proof in 2D that exact, highly oscillatory, Rayleigh wave solutions $u^\eps$ to the nonlinear elasticity equations exist on a fixed time interval independent of the wavelength $\eps$, and that the approximate Rayleigh wave solution provided by the analysis of the amplitude equation is indeed close in a precise sense to $u^\eps$ on a time interval independent of $\eps$. The paper focuses mainly on the case of Rayleigh waves that are \emph{pulses}, which have profiles with continuous Fourier spectrum, but our method applies equally well to the case of wavetrains, whose Fourier spectrum is discrete.
△ Less
Submitted 15 April, 2016;
originally announced April 2016.
-
Amplitude equations for weakly nonlinear surface waves in variational problems
Authors:
Sylvie Benzoni-Gavage,
Jean-François Coulombel
Abstract:
Among hyperbolic Initial Boundary Value Problems (IBVP), those coming from a variational principle 'generically' admit linear surface waves, as was shown by Serre [J. Funct. Anal. 2006]. At the weakly nonlinear level, the behavior of surface waves is expected to be governed by an amplitude equation that can be derived by means of a formal asymptotic expansion. Amplitude equations for weakly nonlin…
▽ More
Among hyperbolic Initial Boundary Value Problems (IBVP), those coming from a variational principle 'generically' admit linear surface waves, as was shown by Serre [J. Funct. Anal. 2006]. At the weakly nonlinear level, the behavior of surface waves is expected to be governed by an amplitude equation that can be derived by means of a formal asymptotic expansion. Amplitude equations for weakly nonlinear surface waves were introduced by Lardner [Int. J. Engng Sci. 1983], Parker and co-workers [J. Elasticity 1985] in the framework of elasticity, and by Hunter [Contemp. Math. 1989] for abstract hyperbolic problems. They consist of nonlocal evolution equations involving a complicated, bilinear Fourier multiplier in the direction of propagation along the boundary. It was shown by the authors in an earlier work [Arch. Ration. Mech. Anal. 2012] that this multiplier, or kernel, inherits some algebraic properties from the original IBVP. These properties are crucial for the (local) well-posedness of the amplitude equation, as shown together with Tzvetkov [Adv. Math., 2011]. Properties of amplitude equations are revisited here in a somehow simpler way, for surface waves in a variational setting. Applications include various physical models, from elasticity of course to the director-field system for liquid crystals introduced by Saxton [Contemp. Math. 1989] and studied by Austria and Hunter [Commun. Inf. Syst. 2013]. Similar properties are eventually shown for the amplitude equation associated with surface waves at reversible phase boundaries in compressible fluids, thus completing a work initiated by Benzoni-Gavage and Rosini [Comput. Math. Appl. 2009].
△ Less
Submitted 5 October, 2015;
originally announced October 2015.
-
The amplitude equation for weakly nonlinear reversible phase boundaries
Authors:
Jean-François Coulombel,
Sylvie Benzoni-Gavage
Abstract:
This technical note is a complement to an earlier paper [Benzoni-Gavage \& Rosini, Comput. Math. Appl. 2009], which aims at a deeper understanding of a basic model for propagating phase boundaries that was proved to admit surface waves [Benzoni-Gavage, Nonlinear Anal. 1998]. The amplitude equation governing the evolution of weakly nonlinear surface waves for that model is computed explicitly, and…
▽ More
This technical note is a complement to an earlier paper [Benzoni-Gavage \& Rosini, Comput. Math. Appl. 2009], which aims at a deeper understanding of a basic model for propagating phase boundaries that was proved to admit surface waves [Benzoni-Gavage, Nonlinear Anal. 1998]. The amplitude equation governing the evolution of weakly nonlinear surface waves for that model is computed explicitly, and is eventually found to have enough symmetry properties for the associated Cauchy problem to be locally well-posed.
△ Less
Submitted 2 October, 2015;
originally announced October 2015.
-
The Leray-Gårding method for finite difference schemes
Authors:
Jean-François Coulombel
Abstract:
Leray and Gårding have developed a multiplier technique for deriving a priori estimates for solutions to scalar hyperbolic equations in either the whole space or the torus. In particular, the arguments in Leray and Gårding's work provide with at least one local multiplier and one local energy functional that is controlled along the evolution. The existence of such a local multiplier is the startin…
▽ More
Leray and Gårding have developed a multiplier technique for deriving a priori estimates for solutions to scalar hyperbolic equations in either the whole space or the torus. In particular, the arguments in Leray and Gårding's work provide with at least one local multiplier and one local energy functional that is controlled along the evolution. The existence of such a local multiplier is the starting point of the argument by Rauch for the derivation of semigroup estimates for hyperbolic initial boundary value problems. In this article, we explain how this multiplier technique can be adapted to the framework of finite difference approximations of transport equations. The technique applies to numerical schemes with arbitrarily many time levels, and encompasses a somehow magical trick that has been known for a long time for the leapfrog scheme. More importantly, the existence and properties of the local multiplier enable us to derive optimal semigroup estimates for fully discrete hyperbolic initial boundary value problems, which answers a problem raised by Trefethen, Kreiss and Wu.
△ Less
Submitted 22 May, 2015;
originally announced May 2015.
-
Stability of finite difference schemes for hyperbolic initial boundary value problems: numerical boundary layers
Authors:
Benjamin Boutin,
Jean-François Coulombel
Abstract:
In this article, we give a unified theory for constructing boundary layer expansions for dis-cretized transport equations with homogeneous Dirichlet boundary conditions. We exhibit a natural assumption on the discretization under which the numerical solution can be written approximately as a two-scale boundary layer expansion. In particular, this expansion yields discrete semigroup estimates that…
▽ More
In this article, we give a unified theory for constructing boundary layer expansions for dis-cretized transport equations with homogeneous Dirichlet boundary conditions. We exhibit a natural assumption on the discretization under which the numerical solution can be written approximately as a two-scale boundary layer expansion. In particular, this expansion yields discrete semigroup estimates that are compatible with the continuous semigroup estimates in the limit where the space and time steps tend to zero. The novelty of our approach is to cover numerical schemes with arbitrarily many time levels, while semigroup estimates were restricted, up to now, to numerical schemes with two time levels only.
△ Less
Submitted 9 February, 2015;
originally announced February 2015.
-
The Mach stem equation and amplification in strongly nonlinear geometric optics
Authors:
Jean-Francois Coulombel,
Mark Williams
Abstract:
We study highly oscillating solutions to a class of weakly well-posed hyperbolic initial boundary value problems. Weak well-posedness is associated with an amplification phenomenon of oscillating waves on the boundary. In the previous works [CGW14, CW14], we have rigorously justified a weakly nonlinear regime for semilinear problems. In that case, the forcing term on the boundary has amplitude O(…
▽ More
We study highly oscillating solutions to a class of weakly well-posed hyperbolic initial boundary value problems. Weak well-posedness is associated with an amplification phenomenon of oscillating waves on the boundary. In the previous works [CGW14, CW14], we have rigorously justified a weakly nonlinear regime for semilinear problems. In that case, the forcing term on the boundary has amplitude O($ε$^2) and oscillates at a frequency O(1/$ε$). The corresponding exact solution, which has been shown to exist on a time interval that is independent of $ε$ $\in$ (0,1], has amplitude O($ε$). In this paper, we deal with the exact same scaling, namely O($ε$^2) forcing term on the boundary and O($ε$) solution, for quasilinear problems. In analogy with [CGM03], this corresponds to a strongly nonlinear regime, and our main result proves solvability for the corresponding WKB cascade of equations, which yields existence of approximate solutions on a time interval that is independent of $ε$ $\in$ (0,1]. Existence of exact solutions close to approximate ones is a stability issue which, as shown in [CGM03], highly depends on the hyperbolic system and on the boundary conditions; we do not address that question here. This work encompasses previous formal expansions in the case of weakly stable shock waves [MR83] and two-dimensional compressible vortex sheets [AM87]. In particular, we prove well-posedness for the leading amplitude equation (the "Mach stem equation") of [MR83] and generalize its derivation to a large class of hyperbolic boundary value problems and to periodic forcing terms. The latter case is solved under a crucial nonresonant assumption and a small divisor condition.
△ Less
Submitted 12 January, 2015;
originally announced January 2015.
-
Fully discrete hyperbolic initial boundary value problems with nonzero initial data
Authors:
Jean-François Coulombel
Abstract:
The stability theory for hyperbolic initial boundary value problems relies most of the time on the Laplace transform with respect to the time variable. For technical reasons, this usually restricts the validity of stability estimates to the case of zero initial data. In this article, we consider the class of non-glancing finite difference approximations to the hyperbolic operator. We show that t…
▽ More
The stability theory for hyperbolic initial boundary value problems relies most of the time on the Laplace transform with respect to the time variable. For technical reasons, this usually restricts the validity of stability estimates to the case of zero initial data. In this article, we consider the class of non-glancing finite difference approximations to the hyperbolic operator. We show that the maximal stability estimates that are known for zero initial data and nonzero boundary source term extend to the case of nonzero initial data in â 2 . The main novelty of our approach is to cover finite difference schemes with an arbitrary number of time levels. As an easy corollary of our main trace estimate, we recover former stability results in the semigroup sense by Kreiss [Kre68] and Osher [Osh69b].
△ Less
Submitted 2 December, 2014;
originally announced December 2014.
-
Amplification of pulses in nonlinear geometric optics
Authors:
Jean-Francois Coulombel,
Mark Williams
Abstract:
In this companion paper to our study of amplification of wavetrains, we study weakly stable semilinear hyperbolic boundary value problems with pulse data. Here weak stability means that exponentially growing modes are absent, but the so-called uniform Lopatinskii condition fails at some boundary frequency in the hyperbolic region. As a consequence of this degeneracy there is again an amplification…
▽ More
In this companion paper to our study of amplification of wavetrains, we study weakly stable semilinear hyperbolic boundary value problems with pulse data. Here weak stability means that exponentially growing modes are absent, but the so-called uniform Lopatinskii condition fails at some boundary frequency in the hyperbolic region. As a consequence of this degeneracy there is again an amplification phenomenon: outgoing pulses of amplitude $O(\eps^2)$ and wavelength $\eps$ give rise to reflected pulses of amplitude $O(\eps)$, so the overall solution has amplitude $O(\eps)$. Moreover, the reflecting pulses emanate from a radiating pulse that propagates in the boundary along a characteristic of the Lopatinskii determinant. In the case of N*N systems considered here, a single outgoing pulse produces on reflection a family of incoming pulses traveling at different group velocities. Unlike wavetrains, pulses do not interact to produce resonances that affect the leading order profiles. However, pulse interactions do affect lower order profiles and so these interactions have to be estimated carefully in the error analysis. Whereas the error analysis in the wavetrain case dealt with small divisor problems by approximating periodic profiles by trigonometric polynomials (which amounts to using a high frequency cutoff), in the pulse case we approximate decaying profiles with nonzero moments by profiles with zero moments (a low frequency cutoff). Unlike the wavetrain case, we are now able to obtain a rate of convergence in the limit describing convergence of approximate to exact solutions.
△ Less
Submitted 30 August, 2013;
originally announced August 2013.
-
Nonlinear geometric optics for reflecting uniformly stable pulses
Authors:
Jean-Francois Coulombel,
Mark Williams
Abstract:
We provide a justification with rigorous error estimates showing that the leading term in weakly nonlinear geometric optics expansions of highly oscillatory reflecting pulses is close to the uniquely determined exact solution for small wavelengths. Pulses reflecting off fixed noncharacteristic boundaries are considered under the assumption that the underlying boundary problem is uniformly spectral…
▽ More
We provide a justification with rigorous error estimates showing that the leading term in weakly nonlinear geometric optics expansions of highly oscillatory reflecting pulses is close to the uniquely determined exact solution for small wavelengths. Pulses reflecting off fixed noncharacteristic boundaries are considered under the assumption that the underlying boundary problem is uniformly spectrally stable in the sense of Kreiss. There are two respects in which these results make rigorous earlier formal treatments of pulses. First, we give a rigorous construction of leading pulse profiles in problems where pulses traveling with many distinct group velocities are, unavoidably, present; and second, we provide a rigorous error analysis which yields a rate of convergence of approximate to exact solutions as the wavelength approaches zero. Unlike wavetrains, interacting pulses do not produce resonances that affect leading order profiles. However, our error analysis shows the importance of estimating pulse interactions in the construction and estimation of correctors. Our results apply to a general class of systems that includes quasilinear problems like the compressible Euler equations; moreover, the same methods yield a stability result for uniformly stable Euler shocks perturbed by highly oscillatory pulses.
△ Less
Submitted 18 April, 2013;
originally announced April 2013.
-
Semilinear geometric optics with boundary amplification
Authors:
Jean-Francois Coulombel,
Olivier Guès,
Mark Williams
Abstract:
We study weakly stable semilinear hyperbolic boundary value problems with highly oscillatory data. Here weak stability means that exponentially growing modes are absent, but the so-called uniform Lopatinskii condition fails at some boundary frequency $β$ in the hyperbolic region. As a consequence of this degeneracy there is an amplification phenomenon: outgoing waves of amplitude $O(\eps^2)$ and w…
▽ More
We study weakly stable semilinear hyperbolic boundary value problems with highly oscillatory data. Here weak stability means that exponentially growing modes are absent, but the so-called uniform Lopatinskii condition fails at some boundary frequency $β$ in the hyperbolic region. As a consequence of this degeneracy there is an amplification phenomenon: outgoing waves of amplitude $O(\eps^2)$ and wavelength $\eps$ give rise to reflected waves of amplitude $O(\eps)$, so the overall solution has amplitude $O(\eps)$. Moreover, the reflecting waves emanate from a radiating wave that propagates in the boundary along a characteristic of the Lopatinskii determinant. An approximate solution that displays the qualitative behavior just described is constructed by solving suitable profile equations that exhibit a loss of derivatives, so we solve the profile equations by a Nash-Moser iteration. The exact solution is constructed by solving an associated singular problem involving singular derivatives of the form $\partial_{x'}+β\frac{\partial_{θ_0}}{\eps}$, $x'$ being the tangential variables with respect to the boundary. Tame estimates for the linearization of that problem are proved using a first-order calculus of singular pseudodifferential operators constructed in the companion article \cite{CGW2}. These estimates exhibit a loss of one singular derivative and force us to construct the exact solution by a separate Nash-Moser iteration. The same estimates are used in the error analysis, which shows that the exact and approximate solutions are close in $L^\infty$ on a fixed time interval independent of the (small) wavelength $\eps$. The approach using singular systems allows us to avoid constructing high order expansions and making small divisor assumptions.
△ Less
Submitted 2 March, 2012;
originally announced March 2012.
-
Singular pseudodifferential calculus for wavetrains and pulses
Authors:
Jean-Francois Coulombel,
Olivier Guès,
Mark Williams
Abstract:
We develop a singular pseudodifferential calculus. The symbols that we consider do not satisfy the standard decay with respect to the frequency variables. We thus adopt a strategy based on the Calderon-Vaillancourt Theorem. The remainders in the symbolic calculus are bounded operators on $L^2$, whose norm is measured with respect to some small parameter. Our main improvement with respect to an ear…
▽ More
We develop a singular pseudodifferential calculus. The symbols that we consider do not satisfy the standard decay with respect to the frequency variables. We thus adopt a strategy based on the Calderon-Vaillancourt Theorem. The remainders in the symbolic calculus are bounded operators on $L^2$, whose norm is measured with respect to some small parameter. Our main improvement with respect to an earlier work by Williams consists in showing a regularization effect for the remainders. Due to a nonstandard decay in the frequency variables, the regularization takes place in a scale of anisotropic, and singular, Sobolev spaces. Our analysis allows to extend previous results on the existence of highly oscillatory solutions to nonlinear hyperbolic problems. The results are also used in a companion work to justify nonlinear geometric optics with boundary amplification, which corresponds to a more singular regime than any other one considered before. The analysis is carried out with either an additional real or periodic variable in order to cover problems for pulses or wavetrains in geometric optics.
△ Less
Submitted 30 January, 2012;
originally announced January 2012.
-
A priori estimates for 3D incompressible current-vortex sheets
Authors:
Jean-Francois Coulombel,
Alessandro Morando,
Paolo Secchi,
Paola Trebeschi
Abstract:
We consider the free boundary problem for current-vortex sheets in ideal incompressible magneto-hydrodynamics. It is known that current-vortex sheets may be at most weakly (neutrally) stable due to the existence of surface waves solutions to the linearized equations. The existence of such waves may yield a loss of derivatives in the energy estimate of the solution with respect to the source terms.…
▽ More
We consider the free boundary problem for current-vortex sheets in ideal incompressible magneto-hydrodynamics. It is known that current-vortex sheets may be at most weakly (neutrally) stable due to the existence of surface waves solutions to the linearized equations. The existence of such waves may yield a loss of derivatives in the energy estimate of the solution with respect to the source terms. However, under a suitable stability condition satisfied at each point of the initial discontinuity and a flatness condition on the initial front, we prove an a priori estimate in Sobolev spaces for smooth solutions with no loss of derivatives. The result of this paper gives some hope for proving the local existence of smooth current-vortex sheets without resorting to a Nash-Moser iteration. Such result would be a rigorous confirmation of the stabilizing effect of the magnetic field on Kelvin-Helmholtz instabilities, which is well known in astrophysics.
△ Less
Submitted 14 February, 2011;
originally announced February 2011.
-
Shock Profiles for Non Equilibrium Radiating Gases
Authors:
Chun** Lin,
Jean-Francois Coulombel,
Thierry Goudon
Abstract:
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 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.
△ Less
Submitted 1 March, 2006;
originally announced March 2006.