Searcharxiv⌕ Search

arXiv subjects

Benjamin Boutin

Publications and source records attributed to Benjamin Boutin.

15 recordsLinked to original sources
arXiv2024

A stiffly stable semi-discrete scheme for the damped wave equation on the half-line using SBP and SAT techniques

This paper investigates the stability of both the semi-discrete and the implicit central scheme for the linear damped wave equation on the half-line, where the spatial boundary is characteristic for the limiting equation. The proposed schemes incorporate a discrete boundary condition designed to guarantee the uniform stability of the IBVP, regardless of the stiffness of the source term or the spatial step size. Stability estimates for the semi-discrete scheme are established using the summation-by-parts (SBP) and simultaneous-approximation-term (SAT) penalty techniques, building on the continuous framework analyzed by Xin and Xu (2000).

math.NA↗
arXiv2024

Uniformly higher order accurate schemes for dynamics of charged particles under fast oscillating magnetic fields

This work deals with the numerical approximation of plasmas which are confined by the effect of a fast oscillating magnetic field (see \cite{Bostan2012}) in the Vlasov model. The presence of this magnetic field induces oscillations (in time) to the solution of the characteristic equations. Due to its multiscale character, a standard time discretization would lead to an inefficient solver. In this work, time integrators are derived and analyzed for a class of highly oscillatory differential systems. We prove the uniform accuracy property of these time integrators, meaning that the accuracy does not depend on the small parameter $\varepsilon$. Moreover, we construct an extension of the scheme which degenerates towards an energy preserving numerical scheme for the averaged model, when $\varepsilon\to 0$. Several numerical results illustrate the capabilities of the method.

math.NA↗
arXiv2023

High order asymptotic preserving scheme for linear kinetic equations with diffusive scaling

In this work, high order asymptotic preserving schemes are constructed and analysed for kinetic equations under a diffusive scaling. The framework enables to consider different cases: the diffusion equation, the advection-diffusion equation and the presence of inflow boundary conditions. Starting from the micro-macro reformulation of the original kinetic equation, high order time integrators are introduced. This class of numerical schemes enjoys the Asymptotic Preserving (AP) property for arbitrary initial data and degenerates when $\epsilon$ goes to zero into a high order scheme which is implicit for the diffusion term, which makes it free from the usual diffusion stability condition. The space discretization is also discussed and high order methods are also proposed based on classical finite differences schemes. The Asymptotic Preserving property is analysed and numerical results are presented to illustrate the properties of the proposed schemes in different regimes.

math.NA↗
arXiv2023

Stability of finite difference schemes for the hyperbolic initial boundary value problem by winding number computations

In this paper, we present a numerical strategy to check the strong stability (or GKS-stability) of one-step explicit finite difference schemes for the one-dimensional advection equation with an inflow boundary condition. The strong stability is studied using the Kreiss-Lopatinskii theory. We introduce a new tool, the intrinsic Kreiss-Lopatinskii determinant, which possesses the same regularity as the vector bundle of discrete stable solutions. By applying standard results of complex analysis to this determinant, we are able to relate the strong stability of numerical schemes to the computation of a winding number, which is robust and cheap. The study is illustrated with the O3 scheme and the fifth-order Lax-Wendroff (LW5) scheme together with a reconstruction procedure at the boundary.

math.NA↗
arXiv2022

On the stability of totally upwind schemes for the hyperbolic initial boundary value problem

In this paper, we present a numerical strategy to check the strong stability (or GKS-stability) of one-step explicit totally upwind schemes in 1D with numerical boundary conditions. The underlying approximated continuous problem is the one-dimensional advection equation. The strong stability is studied using the Kreiss-Lopatinskii theory. We introduce a new tool, the intrinsic Kreiss-Lopatinskii determinant, which possesses remarkable regularity properties. By applying standard results of complex analysis, we are able to elate the strong stability of numerical schemes to the computation of a winding number, which is robust and cheap. The study is illustrated with the Beam-Warming scheme together with the simplified inverse Lax-Wendroff procedure at the boundary.

math.NA↗
arXiv2021

Coupling techniques for nonlinear hyperbolic equations. II. Resonant interfaces with internal structure

In the first part of this series, an augmented PDE system was introduced in order to couple two nonlinear hyperbolic equations together. This formulation allowed the authors, based on Dafermos's self-similar viscosity method, to establish the existence of self-similar solutions to the coupled Riemann problem. We continue here this analysis in the {restricted} case of one-dimensional scalar equations and investigate the internal structure of the interface in order to derive a selection criterion associated with the underlying regularization mechanism and, in turn, to characterize the nonconservative interface layer. In addition, we identify a new criterion that selects double-waved solutions that are also continuous at the interface. We conclude by providing some evidence that such solutions can be non-unique when dealing with non-convex flux-functions.

math.AP↗
arXiv2020

The basal level of gene expression associated with chromatin loosening shapes Waddington landscapes and controls cell differentiation

The baseline level of transcription, which is variable and difficult to quantify, seriously complicates the normalization of comparative transcriptomic data, but its biological importance remains unappreciated. We show that this currently neglected ingredient is essential for controlling gene network multistability and therefore cellular differentiation. Basal expression is correlated to the degree of chromatin loosening measured by DNA accessibility, and systematically leads to cellular dedifferentiation as assessed by transcriptomic signatures, irrespective of the molecular and cellular tools used. Modeling gene network motifs formally involved in developmental bifurcations, reveals that the epigenetic landscapes of Waddington are restructured by the level of non specific expression, such that the attractors of progenitor and differentiated cells can be mutually exclusive. This mechanism is universal and holds beyond the particular nature of the genes involved, provided the multistable circuits are correctly described with autonomous basal expression. These results explain the relationships long established between gene expression noise, chromatin decondensation and cellular dedifferentiation, and highlight how heterochromatin maintenance is essential for preventing pathological cellular reprogramming, age-related diseases and cancer.

q-bio.MN↗
arXiv2019

High order numerical schemes for transport equations on bounded domains

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.

math.NA↗
arXiv2016

The accuracy of biochemical interactions is ensured by endothermic stepwise kinetics

The discerning behavior of living systems relies on accurate interactions selected from the lot of molecular collisions occurring in the cell. To ensure the reliability of interactions, binding partners are classically envisioned as finely preadapted molecules, evolutionarily selected on the basis of their affinity in one-step associations. But the counterselection of inappropriate interactions can in fact be much more efficiently obtained through difficult multi-step adjustment, whose final high energy state is locked by a fluctuation ratchet. The progressive addition of molecular bonds during stereo-adjustment can be modeled as a predominantly backward random walk whose first arrival is frozen by a micro-irreversible transition. A new criterion of ligand specificity is presented, that is based on the ratio rejection/incorporation. In addition to its role in the selectivity of interactions, this generic recipe can underlie other important biological phenomena such as the regular synthesis at low level of supramolecular complexes, monostable kinetic bimodality, substrate concentration thresholds or the preparation of rapidly depolymerizable structureswith stored energy, like microtubules.

q-bio.MN↗
arXiv2015

Stability of finite difference schemes for hyperbolic initial boundary value problems: numerical boundary layers

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.

math.AP↗
arXiv2012

Coupling techniques for nonlinear hyperbolic equations. IV. Multi-component coupling and multidimensional well-balanced schemes

This series of papers is devoted to the formulation and the approximation of coupling problems for nonlinear hyperbolic equations. The coupling across an interface in the physical space is formulated in term of an augmented system of partial differential equations. In an earlier work, this strategy allowed us to develop a regularization method based on a thick interface model in one space variable. In the present paper, we significantly extend this framework and, in addition, encompass equations in several space variables. This new formulation includes the coupling of several distinct conservation laws and allows for a possible covering in space. Our main contributions are, on one hand, the design and analysis of a well-balanced finite volume method on general triangulations and, on the other hand, a proof of convergence of this method toward entropy solutions, extending Coquel, Cockburn, and LeFloch's theory (restricted to a single conservation law without coupling). The core of our analysis is, first, the derivation of entropy inequalities as well as a discrete entropy dissipation estimate and, second, a proof of convergence toward the entropy solution of the coupling problem.

math.AP↗
arXiv2012

Coupling techniques for nonlinear hyperbolic equations. III. The well-balanced approximation of thick interfaces

We continue our analysis of the coupling between nonlinear hyperbolic problems across possibly resonant interfaces. In the first two parts of this series, we introduced a new framework for coupling problems which is based on the so-called thin interface model and uses an augmented formulation and an additional unknown for the interface location; this framework has the advantage of avoiding any explicit modeling of the interface structure. In the present paper, we pursue our investigation of the augmented formulation and we introduce a new coupling framework which is now based on the so-called thick interface model. For scalar nonlinear hyperbolic equations in one space variable, we observe that the Cauchy problem is well-posed. Then, our main achievement in the present paper is the design of a new well-balanced finite volume scheme which is adapted to the thick interface model, together with a proof of its convergence toward the unique entropy solution (for a broad class of nonlinear hyperbolic equations). Due to the presence of a possibly resonant interface, the standard technique based on a total variation estimate does not apply, and DiPerna's uniqueness theorem must be used. Following a method proposed by Coquel and LeFloch, our proof relies on discrete entropy inequalities for the coupling problem and an estimate of the discrete entropy dissipation in the proposed scheme.

math.AP↗
arXiv2010

Coupling techniques for nonlinear hyperbolic equations. I. Self-similar diffusion for thin interfaces

We investigate various analytical and numerical techniques for the coupling of nonlinear hyperbolic systems and, in particular, we introduce here an augmented formulation which allows for the modeling of the dynamics of interfaces between fluid flows. The main technical difficulty to be overcome lies in the possible resonance effect when wave speeds coincide and global hyperbolicity is lost. As a consequence, non-uniqueness of weak solutions is observed for the initial value problem which need to be supplemented with further admissibility conditions. This first paper is devoted to investigating these issues in the setting of self-similar vanishing viscosity approximations to the Riemann problem for general hyperbolic systems. Following earlier works by Joseph, LeFloch, and Tzavaras, we establish an existence theorem for the Riemann problem under fairly general structural assumptions on the nonlinear hyperbolic system and its regularization. Our main contribution consists of nonlinear wave interaction estimates for solutions which apply to resonant wave patterns.

math.AP↗
arXiv2007

Convergent and conservative schemes for nonclassical solutions based on kinetic relations

We propose a new numerical approach to compute nonclassical solutions to hyperbolic conservation laws. The class of finite difference schemes presented here is fully conservative and keep nonclassical shock waves as sharp interfaces, contrary to standard finite difference schemes. The main challenge is to achieve, at the discretization level, a consistency property with respect to a prescribed kinetic relation. The latter is required for the selection of physically meaningful nonclassical shocks. Our method is based on a reconstruction technique performed in each computational cell that may contain a nonclassical shock. To validate this approach, we establish several consistency and stability properties, and we perform careful numerical experiments. The convergence of the algorithm toward the physically meaningful solutions selected by a kinetic relation is demonstrated numerically for several test cases, including concave-convex as well as convex-concave flux-functions.

math.NA↗