SearcharxivSearch

arXiv subjects

Victor Michel-Dansac

Publications and source records attributed to Victor Michel-Dansac.

18 recordsLinked to original sources

Structural schemes for hamiltonian systems

We present an adaptation of the so-called structural method \cite{CMM23} for Hamiltonian systems, and redesign the method for this specific context, which involves two coupled differential systems. Structural schemes decompose the problem into two sets of equations: the physical equations, which describe the local dynamics of the system, and the structural equations, which only involve the discretization on a very compact stencil. They have desirable properties, such as unconditional stability or high-order accuracy. We first give a general description of the scheme for the scalar case (which corresponds to e.g. spring-mass interactions or pendulum motion), before extending the technique to the vector case (treating e.g. the $n$-body system). The scheme is also written in the case of a non-separable system (e.g. a charged particle in an electromagnetic field). We give numerical evidence of the method's efficiency, its capacity to preserve invariant quantities such as the total energy, and draw comparisons with the traditional symplectic methods.

math.NA

Non-linear control variate in δf particle-in-cell methods using symplectic neural networks

We present a novel δf particle-in-cell (PIC) method for the kinetic simulation of electrostatic plasmas in which the bulk density, acting as a control variate, is evolved using symplectic neural networks (SympNets). The SympNets are used as an approximation of the backward flow and trained using the particle trajectories. We introduce a periodic variant of the SympNet architecture that encodes the spatial periodicity of the problem into the network itself. We validate the approach with numerical results in 1D1V and 3D3V for the Vlasov-Poisson system.

physics.comp-ph

Well-Balanced Schemes for Hyperbolic Kinetic Relaxation

This work presents a novel family of well-balanced numerical schemes for hyperbolic systems of balance laws based on the kinetic relaxation approach. The method begins by transforming the original non-linear system into a linearized kinetic system with an increased number of variables. In this framework, non-linearities are shifted to the source term, and the connection to the macroscopic variables is maintained via a projection operator related to the Maxwellian equilibrium states. These relaxed systems are typically solved using splitting techniques, where the evolution is decomposed into two distinct steps: first, the transport stage solving the source-free kinetic system, and second, the relaxation stage governed by an ordinary differential equation where the time derivative is balanced by the kinetic source term. The primary objective is to design schemes that accurately preserve the steady-state solutions of the original macroscopic equations, noting that these do not necessarily coincide with the trivial equilibria of the relaxed system. This well-balanced property is achieved through an appropriate formulation of the kinetic system combined with consistent reconstruction operators. This approach ensures that the balance is maintained throughout both the transport stage and the projection stage, where the treatment of the macroscopic source term is carefully integrated. We demonstrate that this framework can be implemented using both Finite Volume (FV) and Semi-Lagrangian (SL) techniques in the transport step. We develop and analyze these schemes for the Finite Volume case in both explicit and implicit formulations. Results are validated through numerical benchmarks, including the Burgers equation with a source term, 1D Shallow Water Equations (SWE) with bathymetry preserving non-trivial moving water equilibria and the Euler equations under external potentials.

math.NA

Enriching continuous Lagrange finite element approximation spaces using neural networks

In this work, we present a study combining two approaches in the context of solving PDEs: the continuous finite element method (FEM) and more recent techniques based on neural networks. In recent years, physics-informed neural networks (PINNs) have become particularly interesting for rapidly solving PDEs, especially in high dimensions. However, their lack of accuracy can be a significant drawback in this context, hence the interest in combining them with FEM, for which error estimates are already known. The complete pipeline proposed here consists in modifying the classical FEM approximation spaces by taking information from a prior, chosen as the prediction of a neural network. On the one hand, this combination improves and certifies the prediction of neural networks, to obtain a fast and accurate solution. On the other hand, error estimates are proven, showing that such strategies outperform classical ones by a factor that depends only on the quality of the prior. We validate our approach with numerical results performed on parametric problems with 1D, 2D and 3D geometries. These experiments demonstrate that to achieve a given accuracy, a coarser mesh can be used with our enriched FEM compared to the standard FEM, leading to reduced computational time, particularly for parametric problems.

math.NA

Neural network-driven domain decomposition for efficient solutions to the Helmholtz equation

Accurately simulating wave propagation is crucial in fields such as acoustics, electromagnetism, and seismic analysis. Traditional numerical methods, like finite difference and finite element approaches, are widely used to solve governing partial differential equations (PDEs) such as the Helmholtz equation. However, these methods face significant computational challenges when applied to high-frequency wave problems in complex two-dimensional domains. This work investigates Finite Basis Physics-Informed Neural Networks (FBPINNs) and their multilevel extensions as a promising alternative. These methods leverage domain decomposition, partitioning the computational domain into overlapping sub-domains, each governed by a local neural network. We assess their accuracy and computational efficiency in solving the Helmholtz equation for the homogeneous case, demonstrating their potential to mitigate the limitations of traditional approaches.

math.NA

Neural semi-Lagrangian method for high-dimensional advection-diffusion problems

This work is devoted to the numerical approximation of high-dimensional advection-diffusion equations. It is well-known that classical methods, such as the finite volume method, suffer from the curse of dimensionality, and that their time step is constrained by a stability condition. The semi-Lagrangian method is known to overcome the stability issue, while recent time-discrete neural network-based approaches overcome the curse of dimensionality. In this work, we propose a novel neural semi-Lagrangian method that combines these last two approaches. It relies on projecting the initial condition onto a finite-dimensional neural space, and then solving an optimization problem, involving the backwards characteristic equation, at each time step. It is particularly well-suited for implementation on GPUs, as it is fully parallelizable and does not require a mesh. We provide rough error estimates present several high-dimensional numerical experiments to assess the performance of our approach, and compare it to other neural methods.

math.NA

Towards a fully well-balanced and entropy-stable scheme for the Euler equations with gravity: General equations of state

The present work concerns the derivation of a fully well-balanced Godunov-type finite volume scheme for the Euler equations with a gravitational potential based on an approximate Riemann solver in a one-dimensional framework. It is an extension to general equations of states of the entropy-stable and fully well-balanced scheme for ideal gases recently forwarded in [Berthon et al., 2025]. A second-order extension preserving the properties of the first-order scheme is given. The scheme is provably entropy-stable and positivity-preserving for all thermodynamic variables. Numerical test cases illustrate the performance and entropy stability of the new scheme, using six different equations of state as examples, four analytic and two tabulated ones.

math.NA

Towards a fully well-balanced and entropy-stable scheme for the Euler equations with gravity: preserving isentropic steady solutions

The present work concerns the derivation of a numerical scheme to approximate weak solutions of the Euler equations with a gravitational source term. The designed scheme is proved to be fully well-balanced since it is able to exactly preserve all moving equilibrium solutions, as well as the corresponding steady solutions at rest obtained when the velocity vanishes. Moreover, the proposed scheme is entropy-preserving since it satisfies all fully discrete entropy inequalities. In addition, in order to satisfy the required admissibility of the approximate solutions, the positivity of both approximate density and pressure is established. Several numerical experiments attest the relevance of the developed numerical method. An extension to two-dimensional problems is given, applying the one-dimensional framework direction by direction on Cartesian grids.

math.NA

Generalizing the SINDy approach with nested neural networks

Symbolic Regression (SR) is a widely studied field of research that aims to infer symbolic expressions from data. A popular approach for SR is the Sparse Identification of Nonlinear Dynamical Systems (SINDy) framework, which uses sparse regression to identify governing equations from data. This study introduces an enhanced method, Nested SINDy, that aims to increase the expressivity of the SINDy approach thanks to a nested structure. Indeed, traditional symbolic regression and system identification methods often fail with complex systems that cannot be easily described analytically. Nested SINDy builds on the SINDy framework by introducing additional layers before and after the core SINDy layer. This allows the method to identify symbolic representations for a wider range of systems, including those with compositions and products of functions. We demonstrate the ability of the Nested SINDy approach to accurately find symbolic expressions for simple systems, such as basic trigonometric functions, and sparse (false but accurate) analytical representations for more complex systems. Our results highlight Nested SINDy's potential as a tool for symbolic regression, surpassing the traditional SINDy approach in terms of expressivity. However, we also note the challenges in the optimization process for Nested SINDy and suggest future research directions, including the designing of a more robust methodology for the optimization process. This study proves that Nested SINDy can effectively discover symbolic representations of dynamical systems from data, offering new opportunities for understanding complex systems through data-driven methods.

math.NA

TVD-MOOD schemes based on implicit-explicit time integration

The context of this work is the development of first order total variation diminishing (TVD) implicit-explicit (IMEX) Runge-Kutta (RK) schemes as a basis of a Multidimensional Optimal Order detection (MOOD) approach to approximate the solution of hyperbolic multi-scale equations. A key feature of our newly proposed TVD schemes is that the resulting CFL condition does not depend on the fast waves of the considered model, as long as they are integrated implicitly. However, a result from Gottlieb et al. gives a first order barrier for unconditionally stable implicit TVD-RK schemes and TVD-IMEX-RK schemes with scale-independent CFL conditions. Therefore, the goal of this work is to consistently improve the resolution of a first-order IMEX-RK scheme, while retaining its $L^\infty$ stability and TVD properties. In this work we present a novel approach based on a convex combination between a first-order TVD IMEX Euler scheme and a potentially oscillatory high-order IMEX-RK scheme. We derive and analyse the TVD property for a scalar multi-scale equation and numerically assess the performance of our TVD schemes compared to standard $L$-stable and SSP IMEX RK schemes from the literature. Finally, the resulting TVD-MOOD schemes are applied to the isentropic Euler equations.

math.NA

A fully well-balanced hydrodynamic reconstruction

The present work focuses on the numerical approximation of the weak solutions of the shallow water model over a non-flat topography. In particular, we pay close attention to steady solutions with nonzero velocity. The goal of this work is to derive a scheme that exactly preserves these stationary solutions, as well as the commonly preserved lake at rest steady solution. These moving steady states are solution to a nonlinear equation. We emphasize that the method proposed here never requires solving this nonlinear equation; instead, a suitable linearization is derived. To address this issue, we propose an extension of the well-known hydrostatic reconstruction. By appropriately defining the reconstructed states at the interfaces, any numerical flux function, combined with a relevant source term discretization, produces a well-balanced scheme that preserves both moving and non-moving steady solutions. This eliminates the need to construct specific numerical fluxes. Additionally, we prove that the resulting scheme is consistent with the homogeneous system on flat topographies, and that it reduces to the hydrostatic reconstruction when the velocity vanishes. To increase the accuracy of the simulations, we propose a well-balanced high-order procedure, which still does not require solving any nonlinear equation. Several numerical experiments demonstrate the effectiveness of the numerical scheme.

math.NA

Accelerating the convergence of Newton's method for nonlinear elliptic PDEs using Fourier neural operators

It is well known that Newton's method can have trouble converging if the initial guess is too far from the solution. Such a problem particularly occurs when this method is used to solve nonlinear elliptic partial differential equations (PDEs) discretized via finite differences. This work focuses on accelerating Newton's method convergence in this context. We seek to construct a mapping from the parameters of the nonlinear PDE to an approximation of its discrete solution, independently of the mesh resolution. This approximation is then used as an initial guess for Newton's method. To achieve these objectives, we elect to use a Fourier neural operator (FNO). The loss function is the sum of a data term (i.e., the comparison between known solutions and outputs of the FNO) and a physical term (i.e., the residual of the PDE discretization). Numerical results, in one and two dimensions, show that the proposed initial guess accelerates the convergence of Newton's method by a large margin compared to a naive initial guess, especially for highly nonlinear and anisotropic problems, with larger gains on coarse grids.

math.NA

Volume-preserving geometric shape optimization of the Dirichlet energy using variational neural networks

In this work, we explore the numerical solution of geometric shape optimization problems using neural network-based approaches. This involves minimizing a numerical criterion that includes solving a partial differential equation with respect to a domain, often under geometric constraints like a constant volume. We successfully develop a proof of concept using a flexible and parallelizable methodology to tackle these problems. We focus on a prototypal problem: minimizing the so-called Dirichlet energy with respect to the domain under a volume constraint, involving Poisson's equation in $\mathbb{R}^2$. We use variational neural networks to approximate the solution to Poisson's equation on a given domain, and represent the shape through a neural network that approximates a volume-preserving transformation from an initial shape to an optimal one. These processes are combined in a single optimization algorithm that minimizes the Dirichlet energy. A significant advantage of this approach is its inherent parallelizability, which makes it easy to handle the addition of parameters. Additionally, it does not rely on shape derivative or adjoint calculations. Our approach is tested on Dirichlet and Robin boundary conditions, parametric right-hand sides, and extended to Bernoulli-type free boundary problems. The source code for solving the shape optimization problem is open-source and freely available.

math.OC

Approximately well-balanced Discontinuous Galerkin methods using bases enriched with Physics-Informed Neural Networks

This work concerns the enrichment of Discontinuous Galerkin (DG) bases, so that the resulting scheme provides a much better approximation of steady solutions to hyperbolic systems of balance laws. The basis enrichment leverages a prior - an approximation of the steady solution - which we propose to compute using a Physics-Informed Neural Network (PINN). To that end, after presenting the classical DG scheme, we show how to enrich its basis with a prior. Convergence results and error estimates follow, in which we prove that the basis with prior does not change the order of convergence, and that the error constant is improved. To construct the prior, we elect to use parametric PINNs, which we introduce, as well as the algorithms to construct a prior from PINNs. We finally perform several validation experiments on four different hyperbolic balance laws to highlight the properties of the scheme. Namely, we show that the DG scheme with prior is much more accurate on steady solutions than the DG scheme without prior, while retaining the same approximation quality on unsteady solutions.

math.NA

A high-order, fully well-balanced, unconditionally positivity-preserving finite volume framework for flood simulations

In this work, we present a high-order finite volume framework for the numerical simulation of shallow water flows. The method is designed to accurately capture complex dynamics inherent in shallow water systems, particularly suited for applications such as tsunami simulations. The arbitrarily high-order framework ensures precise representation of flow behaviors, crucial for simulating phenomena characterized by rapid changes and fine-scale features. Thanks to an {\it ad-hoc} reformulation in terms of production-destruction terms, the time integration ensures positivity preservation without any time-step restrictions, a vital attribute for physical consistency, especially in scenarios where negative water depth reconstructions could lead to unrealistic results. In order to introduce the preservation of general steady equilibria dictated by the underlying balance law, the high-order reconstruction and numerical flux are blended in a convex fashion with a well-balanced approximation, which is able to provide exact preservation of both static and moving equilibria. Through numerical experiments, we demonstrate the effectiveness and robustness of the proposed approach in capturing the intricate dynamics of shallow water flows, while preserving key physical properties essential for flood simulations.

math.NA

Parallel kinetic schemes for conservation laws, with large time steps

We propose a new parallel Discontinuous Galerkin method for the approximation of hyperbolic systems of conservation laws. The method remains stable with large time steps, while keeping the complexity of an explicit scheme: it does not require the assembly and resolution of large linear systems for the time iterations. The approach is based on a kinetic representation of the system of conservation laws previously investigated by the authors. In this paper, the approach is extended with a subdomain strategy that improves the parallel scaling of the method on computers with distributed memory.

math.NA

A two-dimensional high-order well-balanced scheme for the shallow water equations with topography and Manning friction

We develop a two-dimensional high-order numerical scheme that exactly preserves and captures the moving steady states of the shallow water equations with topography or Manning friction. The high-order accuracy relies on a suitable polynomial reconstruction, while the well-balancedness property is based on the first-order scheme from Michel-Dansac et. al., 2016 and Michel-Dansac et. al., 2017, extended to two space dimensions. To get both properties, we use a convex combination between the high-order scheme and the first-order well-balanced scheme. By adequately choosing the convex combination parameter following a very simple steady state detector, we ensure that the resulting scheme is both high-order accurate and well-balanced. The method is then supplemented with a MOOD procedure to eliminate the spurious oscillations coming from the high-order polynomial reconstruction and to guarantee the physical admissibility of the solution. Numerical experiments show that the scheme indeed possesses the claimed properties. The simulation of the 2011 Japan tsunami, on real data, further confirms the relevance of this technique.

math.NA

Second order Implicit-Explicit Total Variation Diminishing schemes for the Euler system in the low Mach regime

In this work, we consider the development of implicit explicit total variation diminishing (TVD) methods (also termed SSP: strong stability preserving) for the compressible isentropic Euler system in the low Mach number regime. The scheme proposed is asymptotically stable with a CFL condition independent from the Mach number and it degenerates in the low Mach number regime to a consistent discretization of the incompressible system. Since, it has been proved that implicit schemes of order higher than one cannot be TVD (SSP) \cite{GotShuTad}, we construct a new paradigm of implicit time integrators by coupling first order in time schemes with second order ones in the same spirit as highly accurate shock capturing TVD methods in space. For this particular class of schemes, the TVD property is first proved on a linear model advection equation and then extended to the isentropic Euler case. The result is a method which interpolates from the first to the second order both in space and time, which preserves the monotonicity of the solution, highly accurate for all choices of the Mach number and with a time step only restricted by the non stiff part of the system. In the last part, we show thanks to one and two dimensional test cases that the method indeed possesses the claimed properties.

math.NA