SearcharxivSearch

arXiv subjects

Marc Massot

Publications and source records attributed to Marc Massot.

At least 19 recordsLinked to original sources

A robust computational framework for the mixture-energy-consistent six-equation two-phase model with instantaneous mechanical relaxation terms

We present a robust computational framework for the numerical solution of a hyperbolic 6-equation single-velocity two-phase system. The system's main interest is that, when combined with instantaneous mechanical relaxation, it recovers the solution of the 5-equation model of Kapila. Several numerical methods based on this strategy have been developed over the years. However, neither the 5- nor 6-equation model admits a complete set of jump conditions because they involve non-conservative products. Different discretizations of these terms in the 6-equation model exist. The precise impact of these discretizations on the numerical solutions of the 5-equation model, in particular for shocks, is still an open question to which this work provides new insights. We consider the phasic total energies as prognostic variables to naturally enforce discrete conservation of total energy and compare the accuracy and robustness of different discretizations for the hyperbolic operator. Namely, we discuss the construction of an HLLC approximate Riemann solver in relation to jump conditions. We then compare an HLLC wave-propagation scheme which includes the non-conservative terms, with Rusanov and HLLC solvers for the conservative part in combination with suitable approaches for the non-conservative terms. We show that some approaches for the discretization of non-conservative terms fit within the framework of path-conservative schemes for hyperbolic problems. We then analyze the use of various numerical strategies on several relevant test cases, showing both the impact of the theoretical shortcomings of the models as well as the importance of the choice of a robust framework for the global numerical strategy.

math.NA

An all-topology two-fluid model for two-phase flows derived through Hamilton's Stationary Action Principle

We present a novel multi-fluid model for compressible two-phase flows. The model is derived through a newly developed Stationary Action Principle framework. It is fully closed and introduces a new interfacial quantity, the interfacial work. The closures for the interfacial quantities are provided by the variational principle. They are physically sound and well-defined for all types of flow topologies. The model is shown to be hyperbolic, symmetrizable, and admits an entropy conservation law. Its non-conservative products yield uniquely defined jump conditions which are provided. As such, it allows for the proper treatment of weak solutions. In the multi-dimensional setting, the model presents lift forces which are discussed. The model constitutes a sound basis for future numerical simulations.

math.AP

High Performance Parallel Solvers for the time-harmonic Maxwell Equations

We consider the numerical solution of large scale time-harmonic Maxwell equations. To this day, this problem remains difficult, in particular because the equations are neither Hermitian nor semi-definite. Our approach is to compare different strategies for solving this set of equations with preconditioners that are available either in PETSc, MUMPS, or in hypre. Four different preconditioners are considered. The first is the sparse approximate inverse, which is often applied to electromagnetic problems. The second is Restricted Additive Schwarz, a domain decomposition preconditioner. The third is the Hiptmair-Xu preconditioner which is tailored to the positive Maxwell equations, a nearby problem. The final preconditioner is MUMPS's Block Low-Rank method, a compressed block procedure. We also compare the performance of this method to the standard LU factorization technique, which is a direct solver. Performance with respect to the mesh size, the number of CPU cores, the wavelength and the physical size of the domain are considered. This work in progress yields temporary conclusions in favour of the Hiptmair-Xu and the Block Low-Rank preconditioners.

math.NA

A unified two-scale gas-liquid multi-fluid model with capillarity and interface regularization through a mass transfer between scales

In this contribution, we derive a gas-liquid two-scale multi-fluid model with capillarity effects to enable a novelinterface regularization approach for multi-fluid models. As this unified modelling is capable of switching from theinterface representation of a separated to a disperse regime it lays a new way of modelling regime transitions as itoccurs in atomization processes. Above a preset length threshold at large scale, a multi-fluid diffuse interface modelresolves the dynamics of the interface while, at small-scale, a set of geometric variables is used to characterizethe interface geometry. These variables result from a reduced-order modelling of the small-scale kinetic equationthat describes a collection of liquid inclusions. The flow model can be viewed as a two-phase two-scale mixture,and the equations of motion are obtained thanks to the Hamilton's Stationary Action Principle, which requiresto specify the kinetic and potential energies at play. We particularly focus on modelling the effects of capillarityon the mixture's energy by including dependencies on additional variables accounting for the interface's geometryat both scales. The regularization of the large-scale interface is then introduced as a local and dissipative process.The local curvature is limited via a relaxation toward a modified Laplace equilibrium such that an inter-scalemass transfer is triggered when the mean curvature is too high. We propose an original numerical method andassess the properties and potential of the modelling strategy on the relevant test-case of a two-dimensional liquidcolumn in a compressible gas flow.

physics.flu-dyn

High-order adaptive multi-domain time integration scheme for microscale lithium-ion batteries simulations

We investigate the modeling and simulation of ionic transport and charge conservation in lithium-ion batteries (LIBs) at the microscale. It is a multiphysics problem that involves a wide range of time scales. The associated computational challenges motivate the investigation of numerical techniques that can decouple the time integration of the governing equations in the liquid electrolyte and the solid phase (active materials and current collectors). First, it is shown that semi-discretization in space of the non-dimensionalized governing equations leads to a system of index-1 semi-explicit differential algebraic equations (DAEs). Then, a new generation of strategies for multi-domain integration is presented, enabling high-order adaptive coupling of both domains in time, with efficient and potentially different domain integrators. They reach a high level of flexibility for real applications, beyond the limitations of multirate methods. A simple 1D LIB half-cell code is implemented as a demonstrator of the new strategy for the simulation of different modes of cell operation. The integration of the decoupled subsystems is performed with high-order accurate implicit nonlinear solvers. The accuracy of the space discretization is assessed by comparing the numerical results to the analytical solutions. Then, temporal convergence studies demonstrate the accuracy of the new multi-domain coupling approach. Finally, the accuracy and computational efficiency of the adaptive coupling strategy are discussed in the light of the conditioning of the decoupled subproblems compared to the one of the fully-coupled problem. This new approach will constitute a key ingredient for the high-fidelity 3D LIB simulations based on actual electrode microstructures.

math.NA

Two-scale modelling of two-phase flows based on the Stationary Action Principle and a Geometric Method Of Moments

In this contribution, we introduce a versatile formalism to derive unified two-phase models describing both the separated and disperse regimes. It relies on the stationary action principle and interface geometric variables. The main ideas are introduced on a simplified case where all the scales and phases have the same velocity and that does not take into account large-scale capillary forces. The derivation tools yield a proper mathematical framework through hyperbolicity and signed entropy evolution. The formalism encompasses a hierarchy of small-scale reduced-order models based on a statistical description at a mesoscopic kinetic level and is naturally able to include the description of a disperse phase with polydispersity in size. This hierarchy includes both a cloud of spherical droplets and non-spherical droplets experiencing a dynamical behaviour through incompressible oscillations. The associated small-scale variables are moments of a number density function resulting from the Geometric Method Of Moments (GeoMOM). This method selects moments as small-scale geometric variables compatible with the structure and dynamics of the interface; they are defined independently of the flow topology and, therefore, this model pursues the goal of unifying the modelling of a fully-coupled two-scale flow. It is particularly showed that the resulting dynamics provides closures for the interface area density equation obtained from the averaging approach. The extension to mass transfer from one scale to the other including capillary phenomena, as well as the extension to multiple velocities are possible and proposed in complementary works.

physics.flu-dyn

Numerical challenges in the simulation of 1D bounded low-temperature plasmas with charge separation in various collisional regimes

We study a 1D geometry of a plasma confined between two conducting floating walls with applications to laboratory plasmas. These plasmas are characterized by a quasi-neutral bulk that is joined to the wall by a thin boundary layer called sheath that is positively charged. Although analytical solutions are available in the sheath and the pre-sheath, joining the two areas by one analytical solution is still an open problem which requires the numerical resolution of the fluid equations coupled to Poisson equation. Current numerical schemes use high-order discretizations to correctly capture the electron current in the sheath, presenting unsatisfactory results in the boundary layer and they are not adapted to all the possible collisional regimes. In this work, we identify the main numerical challenges that arise when attempting the simulations of such configuration and we propose explanations for the observed phenomena via numerical analysis. We propose a numerical scheme with controlled diffusion as well as new discrete boundary conditions that address the identified issues.

math.NA

Second-order uniformly asymptotic-preserving space-time-ImEx schemes for hyperbolic balance laws with stiff relaxation

We consider hyperbolic systems of conservation laws with relaxation source terms leading to a diffusive asymptotic limit under a parabolic scaling. We introduce a new class of secondorder in time and space numerical schemes, which are uniformly asymptotic preserving schemes. The proposed Implicit-Explicit (ImEx) approach, does not follow the usual path relying on the method of lines, either with multi-step methods or Runge-Kutta methods, or semi-discretized in time equations, but is inspired from the Lax-Wendroff approach with the proper level of implicit treatment of the source term. As a result, it yields a very compact stencil in space and time and we are able to rigorously show that both the second-order accuracy and the stability conditions are independent of the fast scales in the asymptotic regime, including the study of boundary conditions. We provide an original derivation of l 2 and l $\infty$ stability conditions of the scheme that do not deteriorate the second order accuracy without relying on a limiter of any type in the linear case, in particular for shock solutions, and extend such results to the nonlinear case, showing the novelty of the method. The prototype system for the linear case is the hyperbolic heat equation, whereas barotropic Euler equations of gas dynamics with friction are the one for the nonlinear case. The method is also able to yield very accurate steady solutions in the nonlinear case when the relaxation coefficient in the source term depends on space. A thorough numerical assessment of the proposed strategy is provided by investigating smooth solutions, solutions with shocks and solutions leading to a steady state with space dependent relaxation coefficient.

math.NA

Finite Difference formulation of any lattice Boltzmann scheme

Lattice Boltzmann schemes rely on the enlargement of the size of the target problem in order to solve PDEs in a highly parallelizable and efficient kinetic-like fashion, split into a collision and a stream phase. This structure, despite the well-known advantages from a computational standpoint, is not suitable to construct a rigorous notion of consistency with respect to the target equations and to provide a precise notion of stability. In order to alleviate these shortages and introduce a rigorous framework, we demonstrate that any lattice Boltzmann scheme can be rewritten as a corresponding multi-step Finite Difference scheme on the conserved variables. This is achieved by devising a suitable formalism based on operators, commutative algebra and polynomials. Therefore, the notion of consistency of the corresponding Finite Difference scheme allows to invoke the Lax-Richtmyer theorem in the case of linear lattice Boltzmann schemes. Moreover, we show that the frequently-used von Neumann-like stability analysis for lattice Boltzmann schemes entirely corresponds to the von Neumann stability analysis of their Finite Difference counterpart. More generally, the usual tools for the analysis of Finite Difference schemes are now readily available to study lattice Boltzmann schemes. Their relevance is verified by means of numerical illustrations.

math.NA

High accuracy analysis of adaptive multiresolution-based lattice Boltzmann schemes via the equivalent equations

Multiresolution provides a fundamental tool based on the wavelet theory to build adaptive numerical schemes for Partial Differential Equations and time-adaptive meshes, allowing for error control. We have introduced this strategy before to construct adaptive lattice Boltzmann methods with this interesting feature.Furthermore, these schemes allow for an effective memory compression of the solution when spatially localized phenomena -- such as shocks or fronts -- are involved, to rely on the original scheme without any manipulation at the finest level of grid and to reach a high level of accuracy on the solution.Nevertheless, the peculiar way of modeling the desired physical phenomena in the lattice Boltzmann schemes calls, besides the possibility of controlling the error introduced by the mesh adaptation, for a deeper and more precise understanding of how mesh adaptation alters the physics approximated by the numerical strategy. In this contribution, this issue is studied by performing the equivalent equations analysis of the adaptive method after writing the scheme under an adapted formalism. It provides an essential tool to master the perturbations introduced by the adaptive numerical strategy, which can thus be devised to preserve the desired features of the reference scheme at a high order of accuracy. The theoretical considerations are corroborated by numerical experiments in both the 1D and 2D context, showing the relevance of the analysis. In particular, we show that our numerical method outperforms traditional approaches, whether or not the solution of the reference scheme converges to the solution of the target equation.Furthermore, we discuss the influence of various collision strategies for non-linear problems, showing that they have only a marginal impact on the quality of the solution, thus further assessing the proposed strategy.

math.NA

Does the multiresolution lattice Boltzmann method allow to deal with waves passing through mesh jumps?

We consider an adaptive multiresolution-based lattice Boltzmann scheme, which we have recently introduced and studied from the perspective of the error control and the theory of the equivalent equations. This numerical strategy leads to high compression rates, error control and its high accuracy has been explained on uniform and dynamically adaptive grids. However, one key issue with non-uniform meshes within the framework of lattice Boltzmann schemes is to properly handle acoustic waves passing through a level jump of the grid. It usually yields spurious effects, in particular reflected waves. In this paper, we propose a simple mono-dimensional test-case for the linear wave equation with a fixed adapted mesh characterized by a potentially large level jump. We investigate this configuration with our original strategy and prove that we can handle and control the amplitude of the reflected wave, which is of fourth order in the space step of the finest mesh. Numerical illustrations show that the proposed strategy outperforms the existing methods in the literature and allow to assess the ability of the method to handle the mesh jump properly.

math.NA

Revisiting the framework for intermittency in Lagrangian stochastic models for turbulent flows: a way to an original and versatile numerical approach

The characterization of intermittency in turbulence has its roots in the K62 theory, and if no proper definition is to be found in the literature, statistical properties of intermittency were studied and models were developed in attempt to reproduce it. The first contribution of this work is to propose a requirement list to be satisfied by models designed within the Lagrangian framework. Multifractal stochastic processes are a natural choice to retrieve multifractal properties of the dissipation. Among them, following the proposition of \cite{Mandelbrot1968}, we investigate the Gaussian Multiplicative Chaos formalism, which requires the construction of a log-correlated stochastic process $X_t$. The fractional Gaussian noise of Hurst parameter $H = 0$ is of great interest because it leads to a log-correlation for the logarithm of the process.Inspired by the approximation of fractional Brownian motion by an infinite weighted sum of correlated Ornstein-Uhlenbeck processes, our second contribution is to propose a new stochastic model: $X_t = \int_0^\infty Y_t^x k(x) d x$, where $Y_t^x$ is an Ornstein-Uhlenbeck process with speed of mean reversion $x$ and $k$ is a kernel. A regularization of $k(x)$ is required to ensure stationarity, finite variance and logarithmic auto-correlation. A variety of regularizations are conceivable, and we show that they lead to the aforementioned multifractal models.To simulate the process, we eventually design a new approach relying on a limited number of modes for approximating the integral through a quadrature $X_t^N = \sum_{i=1}^N \omega_i Y_t^{x_i}$, using a conventional quadrature method. This method can retrieve the expected behavior with only one mode per decade, making this strategy versatile and computationally attractive for simulating such processes, while remaining within the proposed framework for a proper description of intermittency.

physics.flu-dyn

Multidimensional fully adaptive lattice Boltzmann methods with error control based on multiresolution analysis

Lattice-Boltzmann methods are known for their simplicity, efficiency and ease of parallelization, usually relying on uniform Cartesian meshes with a strong bond between spatial and temporal discretization. This fact complicates the crucial issue of reducing the computational cost and the memory impact by automatically coarsening the grid where a fine mesh is unnecessary, still ensuring the overall quality of the numerical solution through error control. This work provides a possible answer to this interesting question, by connecting, for the first time, the field of lattice-Boltzmann Methods (LBM) to the adaptive multiresolution (MR) approach based on wavelets. To this end, we employ a MR multi-scale transform to adapt the mesh as the solution evolves in time according to its local regularity. The collision phase is not affected due to its inherent local nature and because we do not modify the speed of the sound, contrarily to most of the LBM/Adaptive Mesh Refinement (AMR) strategies proposed in the literature, thus preserving the original structure of any LBM scheme. Besides, an original use of the MR allows the scheme to resolve the proper physics by efficiently controlling the accuracy of the transport phase. We carefully test our method to conclude on its adaptability to a wide family of existing lattice Boltzmann schemes, treating both hyperbolic and parabolic systems of equations, thus being less problem-dependent than the AMR approaches, which have a hard time guaranteeing an effective control on the error. The ability of the method to yield a very efficient compression rate and thus a computational cost reduction for solutions involving localized structures with loss of regularity is also shown, while guaranteeing a precise control on the approximation error introduced by the spatial adaptation of the grid. The numerical strategy is implemented on a specific open-source platform called SAMURAI with a dedicated data-structure relying on set algebra.

math.NA

Multiresolution-based mesh adaptation and error control for lattice Boltzmann methods with applications to hyperbolic conservation laws

Lattice Boltzmann Methods (LBM) stand out for their simplicity and computational efficiency while offering the possibility of simulating complex phenomena. While they are optimal for Cartesian meshes, adapted meshes have traditionally been a stumbling block since it is difficult to predict the right physics through various levels of meshes. In this work, we design a class of fully adaptive LBM methods with dynamic mesh adaptation and error control relying on multiresolution analysis. This wavelet-based approach allows to adapt the mesh based on the regularity of the solution and leads to a very efficient compression of the solution without loosing its quality and with the preservation of the properties of the original LBM method on the finest grid. This yields a general approach for a large spectrum of schemes and allows precise error bounds, without the need for deep modifications on the reference scheme. An error analysis is proposed. For the purpose of assessing the approach, we conduct a series of test-cases for various schemes and scalar and systems of conservation laws, where solutions with shocks are to be found and local mesh adaptation is especially relevant. Theoretical estimates are retrieved while a reduced memory footprint is observed. It paves the way to an implementation in a multi-dimensional framework and high computational efficiency of the method for both parabolic and hyperbolic equations, which is the subject of a companion paper.

math.NA

High-order adaptive time discretisation of one-dimensional low-Mach reacting flows: a case study of solid propellant combustion

Solving the reactive low-Mach Navier-Stokes equations with high-order adaptive methods in time is still a challenging problem, in particular due to the handling of the algebraic variables involved in the mass constraint. We focus on the one-dimensional configuration, where this challenge has long existed in the combustion community. We consider a model of solid propellant combustion, which possesses the characteristic difficulties encountered in the homogeneous or spray combustion cases, with the added complication of an active interface. The system obtained after semi-discretisation in space is shown to be differential-algebraic of index 1. A numerical strategy relying on stiffly accurate Runge-Kutta methods is introduced, with a specific discretisation of the algebraic constraints and time adaptation. High order is shown to be reached on all variables, while handling the constraints properly. Three challenging test cases are investigated: ignition, limit cycle, and unsteady response with detailed gas-phase kinetics. We show that the time integration method can greatly affect the ability to predict the dynamics of the system. The proposed numerical strategy exhibits high efficiency and accuracy for all cases compared to traditional schemes used in the combustion literature.

math.AP

Travelling wave mathematical analysis and efficient numerical resolution for a one-dimensional model of solid propellant combustion

We investigate a model of solid propellant combustion involving surface pyrolysis coupled to finite activation energy gas phase combustion. Existence and uniqueness of a travelling wave solution are established by extending dynamical system tools classically used for premixed flames, dealing with the additional difficulty arising from the surface regression and pyrolysis. An efficient shooting method allows to solve the problem in phase space without resorting to space discretisation nor fixed-point Newton iterations. The results are compared to solutions from a CFD code developed at ONERA, assessing the efficiency and potential of the method, and the impact of the modelling assumptions is evaluated through parametric studies.

math.AP

Initiation of a validation strategy of reduced-order two-fluid flow models using direct numerical simulations in the context of jet atomization

In industrial applications, developing predictive tools relying on numerical simulations using reduced-order models nourish the need of building a validation strategy. In the context of cryogenic atomization, we propose to build a hierarchy of direct numerical simulation test cases to assess qualitatively and quantitatively diffuse interface models. The present work proposes an initiation of the validation strategy with an air-assisted water atomization using a coaxial injector.

physics.flu-dyn

Validation strategy of reduced-order two-fluid flow models based on a hierarchy of direct numerical simulations

Whereas direct numerical simulation (DNS) have reached a high level of description in the field of atomization processes, they are not yet able to cope with industrial needs since they lack resolution and are too costly. Predictive simulations relying on reduced order modeling have become mandatory for applications ranging from cryotechnic to aeronautic combustion chamber liquid injection. Two-fluid models provide a good basis in order to conduct such simulations, even if recent advances allow to refine subscale modeling using geometrical variables in order to reach a unified model including separate phases and disperse phase descriptions based on high order moment methods. The simulation of such models has to rely on dedicated numerical methods and still lacks assessment of its predictive capabilities. The present paper constitutes a building block of the investigation of a hierarchy of test-cases designed to be amenable to DNS while close enough to industrial configurations, for which we propose a comparison of two-fluid compressible simulations with DNS data-bases. We focus in the present contribution on an air-assisted water atomization using a planar liquid sheet injector. Qualitative and quantitative comparisons with incompressible DNS allow us to identify and analyze strength and weaknesses of the reduced-order modeling and numerical approach in this specific configuration and set a framework for more refined models since they already provide a very interesting level of comparison on averaged quantities.

physics.flu-dyn