arXiv subjects

Sébastien Boyaval

Publications and source records attributed to Sébastien Boyaval.

At least 19 recordsLinked to original sources

arXiv2025

Construction and Performance of Kinetic Schemes for Linear Systems of Conservation Laws

We describe a methodology to build vectorial kinetic schemes, targetting the numerical solution of linear symmetric-hyperbolic systems of conservation laws -a minimal application case for those schemes. Precisely, we fully detail the construction of kinetic schemes that satisfy a discrete equivalent to a convex extension (an additional non-trivial conservation law) of the target system -the (linear) acoustic and elastodynamics systems, specifically -. Then, we evaluate numerically the convergence of various possible kinetic schemes toward smooth solutions, in comparison with standard finite-difference and finite-volume discretizations on Cartesian meshes. Our numerical results confirm the interest of ensuring a discrete equivalent to a convex extension, and show the influence of remaining parameter variations in terms of error magnitude, both for ''first-order'' and ''second-order'' kinetic schemes\,: the parameter choice with largest CFL number (equiv., smallest spurious diffusion in the equivalent equation analysis) has the smallest discretization error.

math.NA↗

arXiv2025

Evaluating the effects of preprocessing, method selection, and hyperparameter tuning on SAR-based flood mapping and water depth estimation

Flood mapping and water depth estimation from Synthetic Aperture Radar (SAR) imagery are crucial for calibrating and validating hydraulic models. This study uses SAR imagery to evaluate various preprocessing (especially speckle noise reduction), flood mapping, and water depth estimation methods. The impact of the choice of method at different steps and its hyperparameters is studied by considering an ensemble of preprocessed images, flood maps, and water depth fields. The evaluation is conducted for two flood events on the Garonne River (France) in 2019 and 2021, using hydrodynamic simulations and in-situ observations as reference data. Results show that the choice of speckle filter alters flood extent estimations with variations of several square kilometers. Furthermore, the selection and tuning of flood mapping methods also affect performance. While supervised methods outperformed unsupervised ones, tuned unsupervised approaches (such as local thresholding or change detection) can achieve comparable results. The compounded uncertainty from preprocessing and flood mapping steps also introduces high variability in the water depth field estimates. This study highlights the importance of considering the entire processing pipeline, encompassing preprocessing, flood mapping, and water depth estimation methods and their associated hyperparameters. Rather than relying on a single configuration, adopting an ensemble approach and accounting for methodological uncertainty should be privileged. For flood mapping, the method choice has the most influence. For water depth estimation, the most influential processing step was the flood map input resulting from the flood mapping step and the hyperparameters of the methods.

cs.CV↗

arXiv2025

Global solutions and uniform convergence stability for compressible Navier-Stokes equations with oldroyd-type constitutive law

We consider one dimensional isentropic compressible Navier-Stokes equations with Oldroyd-type constitutive law. By establishing uniform a priori estimates (with respect to relaxation time), we show global existence of smooth solutions with small initial data. Moreover, we get global-in-time convergence of the system towards the classical isentropic compressible Navier-Stokes equations.

math.AP↗

arXiv2025

Blowup of solutions for compressible viscoelastic fluid

We prove finite-time blowup of classical solutions for the compressible Upper Convective Maxwell (UCM) viscoelastic fluid system. By establishing a key energy identity and adapting Sideris' method for compressible flows, we derive a Riccati-type inequality for a momentum functional. For initial data with compactly supported perturbations satisfying a sufficiently large condition, all classical solutions lose regularity in finite time. This constitutes the first rigorous blowup result for multidimensional compressible viscoelastic fluids.

math.AP↗

arXiv2024

Evaluation of Performance Measures for Qualifying Flood Models with Satellite Observations

This work discusses how to choose performance measures to compare numerical simulations of a flood event with one satellite image, e.g., in a model calibration or validation procedure. A series of criterion are proposed to evaluate the sensitivity of performance measures with respect to the flood extent, satellite characteristics (position, orientation), and measurements/processing errors (satellite raw values or extraction of the flood maps). Their relevance is discussed numerically in the case of one flooding event (on the Garonne River in France in February 2021), using a distribution of water depths simulated from a shallow-water model parameterized by an uncertain friction field. After identifying the performance measures respecting the most criteria, a correlation analysis is carried out to identify how various performance measures are similar. Then, a methodology is proposed to rank performance measures and select the most robust to observation errors. The methodology is shown useful at identifying four performance measures out of 28 in the study case. Note that the various top-ranked performance measures do not lead to the same calibration result as regards the friction field of the shallow-water model. The methodology can be applied to the comparison of any flood model with any flood event.

physics.geo-ph↗

arXiv2024

Reduced Basis method for finite volume simulations of parabolic PDEs applied to porous media flows

Numerical simulations are a highly valuable tool to evaluate the impact of the uncertainties of various modelparameters, and to optimize e.g. injection-production scenarios in the context of underground storage (of CO2typically). Finite volume approximations of Darcy's parabolic model for flows in porous media are typically runmany times, for many values of parameters like permeability and porosity, at costly computational efforts.We study the relevance of reduced basis methods as a way to lower the overall simulation cost of finite volumeapproximations to Darcy's parabolic model for flows in porous media for different values of the parameters suchas permeability. In the context of underground gas storage (of CO2 typically) in saline aquifers, our aim isto evaluate quickly, for many parameter values, the flux along some interior boundaries near the well injectionarea-regarded as a quantity of interest-. To this end, we construct reduced bases by a standard POD-Greedyalgorithm. Our POD-Greedy algorithm uses a new goal-oriented error estimator designed from a discrete space-time energy norm independent of the parameter. We provide some numerical experiments that validate theefficiency of the proposed estimator.

math.NA↗

arXiv2022

About the structural stability of Maxwell fluids: convergence toward elastodynamics

Maxwell's models for viscoelastic flows are famous for their potential to unify elastic motions of solids with viscous motions of liquids in the continuum mechanics perspective. But rigorous proofs are lacking. The present note is a contribution toward well-defined viscoelastic flows proved to encompass both solid and (liquid) fluid regimes. In a first part, we consider the structural stability of particular viscoelastic flows: 1D shear waves solutions to damped wave equations. We show the convergence toward purely elastic 1D shear waves solutions to standard wave equations, as the relaxation time $λ$ and the viscosity $μ$ grow unboundedly $λ$ $\not\equiv$ $μ$/G $\rightarrow$ $\infty$ in Maxwell's constitutive equation $λ$ $τ$ +$τ$ = 2 $μ$D(u) for the stress $τ$ of viscoelastic fluids with velocity u. In a second part, we consider the structural stability of general multi-dimensional viscoelastic flows. To that aim, we embed Maxwell's constitutive equation in a symmetric-hyperbolic system of PDEs which we proposed in our previous publication [ESAIM:M2AN 55 (2021) 807-831]so as to define multi-dimensional viscoelastic flows unequivocally. Next, we show the continuous dependence of multi-dimensional viscoelastic flows on $λ$ $\not\equiv$ $μ$/ G using the relative-entropy tool developped for symmetric-hyperbolic systems after C. M. Dafermos. It implies convergence of the viscoelastic flows defined in [ESAIM:M2AN 55 (2021) 807-831] toward compressible neo-Hookean elastodynamics when $λ$ $\rightarrow$ $\infty$.

math.AP↗

arXiv2022

A viscoelastic flow model of Maxwell-type with a symmetric-hyperbolic formulation

Maxwell models for viscoelastic flows are famous for their potential to unify elastic motions of solids with viscous motions of liquids in the continuum mechanics perspective. But the usual Maxwell models allow one to define well motions mostly for one-dimensional flows only. To define unequivocal multi-dimensional viscoelastic flows (as solutions to well-posed initial-value problems) we advocated in [ESAIM:M2AN 55 (2021) 807-831] an upper-convected Maxwell model for compressible flows with a symmetrichyperbolic formulation. Here, that model is derived again, with new details.

math.NA↗

arXiv2021

Finite-Volume approximation of the invariant measure of a viscous stochastic scalar conservation law

We study the numerical approximation of the invariant measure of a viscous scalar conservation law, one-dimensional and periodic in the space variable, and stochastically forced with a white-in-time but spatially correlated noise. The flux function is assumed to be locally Lipschitz continuous and to have at most polynomial growth. The numerical scheme we employ discretises the SPDE according to a finite-volume method in space, and a split-step backward Euler method in time. As a first result, we prove the well-posedness as well as the existence and uniqueness of an invariant measure for both the semi-discrete and the split-step scheme. Our main result is then the convergence of the invariant measures of the discrete approximations, as the space and time steps go to zero, towards the invariant measure of the SPDE, with respect to the second-order Wasserstein distance. We investigate rates of convergence theoretically, in the case where the flux function is globally Lipschitz continuous with a small Lipschitz constant, and numerically for the Burgers equation.

math.AP↗

arXiv2021

Non-isothermal viscoelastic flows with conservation laws and relaxation

We propose a system of conservation laws with relaxation source terms (i.e. balance laws) for non-isothermal viscoelastic flows of Maxwell fluids. The system is an extension of the polyconvex elastodynamics of hyperelastic bodies using additional structure variables. It is obtained by writing the Helmholtz free energy as the sum of a volumetric energy density (function of the determinant of the deformation gradient det F and the temperature $θ$ like the standard perfect-gas law or Noble-Abel stiffened-gas law) plus a polyconvex strain energy density function of F, $θ$ and of symmetric positive-definite structure tensors that relax at a characteristic time scale. One feature of our model is that it unifies various ideal materials ranging from hyperelastic solids to perfect fluids, encompassing fluids with memory like Maxwell fluids. We establish a strictly convex mathematical entropy to show that the system is symmetric-hyperbolic. Another feature of the proposed model is therefore the short-time existence and uniqueness of smooth solutions, which define genuinely causal viscoelastic flows with waves propagating at finite speed. In heat-conductors, we complement the system by a Maxwell-Cattaneo equation for an energy-flux variable. The system is still symmetric-hyperbolic, and smooth evolutions with finite-speed waves remain well-defined.

math.AP↗

arXiv2020

Viscoelastic flows of Maxwell fluids with conservation laws

We consider multi-dimensional extensions of Maxwell's seminal rheo-logical equation for 1D viscoelastic flows. We aim at a causal model for compressible flows, defined by semi-group solutions given initial conditions , and such that perturbations propagates at finite speed. We propose a symmetric hyperbolic system of conservation laws that contains the Upper-Convected Maxwell (UCM) equation as causal model. The system is an extension of polyconvex elastodynamics, with an additional material metric variable that relaxes to model viscous effects. Interestingly, the framework could also cover other rheological equations, depending on the chosen relaxation limit for the material metric variable. We propose to apply the new system to incompressible free-surface gravity flows in the shallow-water regime, when causality is important. The system reduces to a viscoelastic extension of Saint-Venant 2D shallow-water system that is symmetric-hyperbolic and that encompasses our previous viscoelastic extensions of Saint-Venant proposed with F. Bouchut.

math.AP↗

arXiv2019

Viscoelastic flows with conservation laws

We propose in this work the first symmetric hyperbolic system of conservation laws to describe viscoelastic flows of Maxwell fluids, i.e. fluidswith memory that are characterized by one relaxation-time parameter. Precisely, the system of quasilinear PDEs is detailed for the shallow-water regime, i.e. for hydrostatic incompressible 2D flows with free surface under gravity. It generalizes Saint-Venant system to viscoelastic flows of Maxwell fluids, and encompasses previous works with F. Bouchut. It also generalizes the (thin-layer) elastodynamics of hyperelastic materials to viscous fluids, and to various rheologies between solid and liquid states that can be formulated using our new variable as material parameter.The new viscoelastic flow model has many potential applications, additionally to falling into the theoretical framework of (symmetric hyper-bolic) systems of conservation laws. In computational rheology, it offers a new approach to the High-Weissenberg Number Problem (HWNP). Fortransient geophysical flows, it offers perspectives of thermodynamically-compatible numerical simulations, with a Finite-Volume (FV) discretization say. Besides, one FV discretization of the new continuum model is proposed herein to precise our ideas incl. the physical meaning of the solutions. Perspectives are finally listed after some numerical simulations.

math.NA↗

arXiv2018

Reduced basis approximation and a~posteriori error bounds for 4D-Var data assimilation

We propose a certified reduced basis approach for the strong- and weak-constraint four-dimensional variational (4D-Var) data assimilation problem for a parametrized PDE model. While the standard strong-constraint 4D-Var approach uses the given observational data to estimate only the unknown initial condition of the model, the weak-constraint 4D-Var formulation additionally provides an estimate for the model error and thus can deal with imperfect models. Since the model error is a distributed function in both space and time, the 4D-Var formulation leads to a large-scale optimization problem for every given parameter instance of the PDE model. To solve the problem efficiently, various reduced order approaches have therefore been proposed in the recent past. Here, we employ the reduced basis method to generate reduced order approximations for the state, adjoint, initial condition, and model error. Our main contribution is the development of efficiently computable \textit{a~posteriori} upper bounds for the error of the reduced basis approximation with respect to the underlying high-dimensional 4D-Var problem. Numerical results are conducted to test the validity of our approach.

math.OC↗

arXiv2017

Derivation and numerical approximation of hyperbolic viscoelastic flow systems: Saint-Venant 2D equations for Maxwell fluids

We pursue here the development of models for complex (viscoelastic) fluids in shallow free-surface gravity flows which was initiated by [Bouchut-Boyaval, M3AS (23) 2013] for 1D (translation invariant) cases. The models we propose are hyperbolic quasilinear systems that generalize Saint-Venant shallow-water equations to incompressible Maxwell fluids. The models are compatible with a formulation of the thermo-dynamics second principle. In comparison with Saint-Venant standard shallow-water model, the momentum balance includes extra-stresses associated with an elastic potential energy in addition to a hydrostatic pressure. The extra-stresses are determined by an additional tensor variable solution to a differential equation with various possible time rates. For the numerical evaluation of solutions to Cauchy problems, we also propose explicit schemes discretizing our generalized Saint-Venant systems with Finite-Volume approximations that are entropy-consistent (under a CFL constraint) in addition to satisfy exact (discrete) mass and momentum conservation laws. In comparison with most standard viscoelastic numerical models, our discrete models can be used for any retardation-time values (i.e. in the vanishing "solvent-viscosity" limit). We finally illustrate our hyperbolic viscoelastic flow models numerically using computer simulations in benchmark test cases. On extending to Maxwell fluids some free-shear flow testcases that are standard benchmarks for Newtonian fluids, we first show that our (numerical) models reproduce well the viscoelastic physics, phenomenologically at least, with zero retardation-time. Moreover, with a view to quantitative evaluations, numerical results in the lid-driven cavity testcase show that, in fact, our models can be compared with standard viscoelastic flow models in sheared-flow benchmarks on adequately choosing the physical parameters of our models. Analyzing our models asymptotics should therefore shed new light on the famous High-Weissenberg Number Problem (HWNP), which is a limit for all the existing viscoelastic numerical models.

math.NA↗

arXiv2017

Finite Element Approximation of the FENE-P Model

We extend our analysis on the Oldroyd-B model in Barrett and Boyaval [1] to consider the finite element approximation of the FENE-P system of equations, which models a dilute polymeric fluid, in a bounded domain $D $\subset$ R d , d = 2 or 3$, subject to no flow boundary conditions. Our schemes are based on approximating the pressure and the symmetric conforma-tion tensor by either (a) piecewise constants or (b) continuous piecewise linears. In case (a) the velocity field is approximated by continuous piecewise quadratics ($d = 2$) or a reduced version, where the tangential component on each simplicial edge ($d = 2$) or face ($d = 3$) is linear. In case (b) the velocity field is approximated by continuous piecewise quadratics or the mini-element. We show that both of these types of schemes, based on the backward Euler type time discretiza-tion, satisfy a free energy bound, which involves the logarithm of both the conformation tensor and a linear function of its trace, without any constraint on the time step. Furthermore, for our approximation (b) in the presence of an additional dissipative term in the stress equation, the so-called FENE-P model with stress diffusion, we show (subsequence) convergence in the case $d = 2$, as the spatial and temporal discretization parameters tend to zero, towards global-in-time weak solutions of this FENE-P system. Hence, we prove existence of global-in-time weak solutions to the FENE-P model with stress diffusion in two spatial dimensions.

math.NA↗

arXiv2017

A Finite-Volume discretization of viscoelastic Saint-Venant equations for FENE-P fluids

Saint-Venant equations can be generalized to account for a viscoelastic rheology in shallow flows. A Finite-Volume discretization for the 1D Saint-Venant system generalized to Upper-Convected Maxwell (UCM) fluids was proposed in [Bouchut \& Boyaval, 2013], which preserved a physically-natural stability property (i.e. free-energy dissipation) of the full system. It invoked a relaxation scheme of Suliciu type for the numerical computation of approximate solution to Riemann problems. Here, the approach is extended to the 1D Saint-Venant system generalized to the finitely-extensible nonlinear elastic fluids of Peterlin (FENE-P). We are currently not able to ensure all stability conditions a priori, but numerical simulations went smoothly in a practically useful range of parameters.

math.NA↗

arXiv2016

Johnson-Segalman -- Saint-Venant equations for viscoelastic shallow flows in the elastic limit

The shallow-water equations of Saint-Venant, often used to model the long-wave dynamics of free-surface flows driven by inertia and hydrostatic pressure, can be generalized to account for the elongational rheology of non-Newtonian fluids too. We consider here the $4 \times 4$ shallow-water equations generalized to viscoelastic fluids using the Johnson-Segalman model in the elastic limit (i.e. at infinitely-large Deborah number, when source terms vanish). The system of nonlinear first-order equations is hyperbolic when the slip parameter is small $ζ\le 1/2$ ($ζ$ = 1 is the corotational case and $ζ= 0$ the upper-convected Maxwell case). Moreover, it is naturally endowed with a mathematical entropy (a physical free-energy). When $ζ\le 1/2$ and for any initial data excluding vacuum, we construct here, when elasticity $G > 0$ is non-zero, the unique solution to the Riemann problem under Lax admissibility conditions. The standard Saint-Venant case is recovered when $G \to 0$ for small data.

math.NA↗

arXiv2013

A posteriori analysis of Chorin-Temam scheme for Stokes equations

We consider Chorin-Temam scheme (the simplest pressure-correction projection method) for the time-discretization of an unstationary Stokes problem. Inspired by the analyses of the Backward Euler scheme performed by C.Bernardi and R.Verfürth, we derive a posteriori estimators for the error on the velocity gradient in L2 norm. Our invesigation is supported by numerical experiments.

math.NA↗