-
A 3D Machine Learning based Volume Of Fluid scheme without explicit interface reconstruction
Authors:
Moreno Pintore,
Bruno Després
Abstract:
We present a machine-learning based Volume Of Fluid method to simulate multi-material flows on three-dimensional domains. One of the novelties of the method is that the flux fraction is computed by evaluating a previously trained neural network and without explicitly reconstructing any local interface approximating the exact one. The network is trained on a purely synthetic dataset generated by ra…
▽ More
We present a machine-learning based Volume Of Fluid method to simulate multi-material flows on three-dimensional domains. One of the novelties of the method is that the flux fraction is computed by evaluating a previously trained neural network and without explicitly reconstructing any local interface approximating the exact one. The network is trained on a purely synthetic dataset generated by randomly sampling numerous local interfaces and which can be adapted to improve the scheme on less regular interfaces when needed. Several strategies to ensure the efficiency of the method and the satisfaction of physical constraints and properties are suggested and formalized. Numerical results on the advection equation are provided to show the performance of the method. We observe numerical convergence as the size of the mesh tends to zero $h=1/N_h\searrow 0$, with a better rate than two reference schemes.
△ Less
Submitted 7 July, 2025;
originally announced July 2025.
-
Landau damping in mixed hyperbolic-kinetic systems and thick sprays
Authors:
D. Bian,
B. Després,
V. Fournet,
E. Grenier
Abstract:
This article is devoted to the study of a model of thick sprays which combines the Vlasov equation for the particles and the barotropic compressible Euler equations to describe the fluid, coupled through the gradient of the pressure of the fluid. We prove that sound waves interact with particles of nearby velocities, which results in a damping or an amplification of these sound waves, depending on…
▽ More
This article is devoted to the study of a model of thick sprays which combines the Vlasov equation for the particles and the barotropic compressible Euler equations to describe the fluid, coupled through the gradient of the pressure of the fluid. We prove that sound waves interact with particles of nearby velocities, which results in a damping or an amplification of these sound waves, depending on the sign of the derivative of the distribution function at the sound speed. This mechanism is very similar to the classical Landau damping which occurs in the Vlasov-Poisson system. If the sound waves are amplified then the thick spray model is linearly ill-posed in Sobolev spaces, even locally in time.
We also show that such Landau damping type phenomena naturally arise when we couple an hyperbolic system of conservation laws with the Vlasov equation.
△ Less
Submitted 4 May, 2025;
originally announced May 2025.
-
Computable Lipschitz Bounds for Deep Neural Networks
Authors:
Moreno Pintore,
Bruno Després
Abstract:
Deriving sharp and computable upper bounds of the Lipschitz constant of deep neural networks is crucial to formally guarantee the robustness of neural-network based models. We analyse three existing upper bounds written for the $l^2$ norm. We highlight the importance of working with the $l^1$ and $l^\infty$ norms and we propose two novel bounds for both feed-forward fully-connected neural networks…
▽ More
Deriving sharp and computable upper bounds of the Lipschitz constant of deep neural networks is crucial to formally guarantee the robustness of neural-network based models. We analyse three existing upper bounds written for the $l^2$ norm. We highlight the importance of working with the $l^1$ and $l^\infty$ norms and we propose two novel bounds for both feed-forward fully-connected neural networks and convolutional neural networks. We treat the technical difficulties related to convolutional neural networks with two different methods, called explicit and implicit. Several numerical tests empirically confirm the theoretical results, help to quantify the relationship between the presented bounds and establish the better accuracy of the new bounds. Four numerical tests are studied: two where the output is derived from an analytical closed form are proposed; another one with random matrices; and the last one for convolutional neural networks trained on the MNIST dataset. We observe that one of our bound is optimal in the sense that it is exact for the first test with the simplest analytical form and it is better than other bounds for the other tests.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
On the quadratic stability of asymmetric Hermite basis with application to plasma physics with oscillating electric field
Authors:
Ruiyang Dai,
Bruno Després
Abstract:
We analyze why the discretization of linear transport with asymmetric Hermite basis functions can be instable in quadratic norm. The main reason is that the finite truncation of the infinite moment linear system looses the skew-symmetry property with respect to the Gram matrix. Then we propose an original closed formula for the scalar product of any pair of asymmetric basis functions. It makes pos…
▽ More
We analyze why the discretization of linear transport with asymmetric Hermite basis functions can be instable in quadratic norm. The main reason is that the finite truncation of the infinite moment linear system looses the skew-symmetry property with respect to the Gram matrix. Then we propose an original closed formula for the scalar product of any pair of asymmetric basis functions. It makes possible the construction of two simple modifications of the linear systems which recover the skew-symmetry property. By construction the new methods are quadratically stable with respect to the natural $L^2$ norm. We explain how to generalize to other transport equations encountered in numerical plasma physics. Basic numerical tests with oscillating electric fields of different nature illustrate the unconditional stability properties of our algorithms.
△ Less
Submitted 13 September, 2024; v1 submitted 13 May, 2024;
originally announced May 2024.
-
The Magnetized Vlasov-Ampère system and the Bernstein-Landau paradox
Authors:
Frédérique Charles,
Bruno Després,
Alexandre Rege,
Ricardo Weder
Abstract:
We study the Bernstein-Landau paradox in the collisionless motion of an electrostatic plasma in the presence of a constant external magnetic field. The Bernstein-Landau paradox consists in that in the presence of the magnetic field, the electric field and the charge density fluctuation have an oscillatory behavior in time. This is radically different from Landau damping, in the case without magnet…
▽ More
We study the Bernstein-Landau paradox in the collisionless motion of an electrostatic plasma in the presence of a constant external magnetic field. The Bernstein-Landau paradox consists in that in the presence of the magnetic field, the electric field and the charge density fluctuation have an oscillatory behavior in time. This is radically different from Landau damping, in the case without magnetic field, where the electric field tends to zero for large times. We consider this problem from a new point of view. Instead of analyzing the linear magnetized Vlasov-Poisson system, as it is usually done, we study the linear magnetized Vlasov-Ampère system. We formulate the magnetized Vlasov-Ampère system as a Schrödinger equation with a selfadjoint magnetized Vlasov-Ampère operator in the Hilbert space of states with finite energy. The magnetized Vlasov-Ampère operator has a complete set of orthonormal eigenfunctions, that include the Bernstein modes. The expansion of the solution of the magnetized Vlasov-Ampère system in the eigenfunctions shows the oscillatory behavior in time. We prove the convergence of the expansion under optimal conditions, assuming only that the initial state has finite energy. This solves a problem that was recently posed in the literature. The Bernstein modes are not complete. To have a complete system it is necessary to add eigenfunctions that are associated with eigenvalues at all the integer multiples of the cyclotron frequency. These special plasma oscillations actually exist on their own, without the excitation of the other modes. In the limit when the magnetic fields goes to zero the spectrum of the magnetized Vlasov-Ampère operator changes drastically from pure point to absolutely continuous in the orthogonal complement to its kernel, due to a sharp change on its domain. This explains the Bernstein-Landau paradox.
△ Less
Submitted 20 September, 2021; v1 submitted 26 February, 2020;
originally announced February 2020.
-
A projection algorithm on the set of polynomials with two bounds
Authors:
Martin Campos Pinto,
Frédérique Charles,
Bruno Després,
Maxime Herda
Abstract:
The motivation of this work stems from the numerical approximation of bounded functions by polynomials satisfying the same bounds. The present contribution makes use of the recent algebraic characterization found in [B. Després, Numer. Algorithms, 76(3), (2017)] and [B. Després and M. Herda, Numer. Algorithms, 77(1), (2018)] where an interpretation of monovariate polynomials with two bounds is pro…
▽ More
The motivation of this work stems from the numerical approximation of bounded functions by polynomials satisfying the same bounds. The present contribution makes use of the recent algebraic characterization found in [B. Després, Numer. Algorithms, 76(3), (2017)] and [B. Després and M. Herda, Numer. Algorithms, 77(1), (2018)] where an interpretation of monovariate polynomials with two bounds is provided in terms of a quaternion algebra and the Euler four-squares formulas. Thanks to this structure, we generate a new nonlinear projection algorithm onto the set of polynomials with two bounds. The numerical analysis of the method provides theoretical error estimates showing stability and continuity of the projection. Some numerical tests illustrate this novel algorithm for constrained polynomial approximation.
△ Less
Submitted 17 May, 2019; v1 submitted 14 May, 2019;
originally announced May 2019.
-
Computation of sum of squares polynomials from data points
Authors:
Bruno Després,
Maxime Herda
Abstract:
We propose an iterative algorithm for the numerical computation of sums of squares of polynomials approximating given data at prescribed interpolation points. The method is based on the definition of a convex functional $G$ arising from the dualization of a quadratic regression over the Cholesky factors of the sum of squares decomposition. In order to justify the construction, the domain of $G$,…
▽ More
We propose an iterative algorithm for the numerical computation of sums of squares of polynomials approximating given data at prescribed interpolation points. The method is based on the definition of a convex functional $G$ arising from the dualization of a quadratic regression over the Cholesky factors of the sum of squares decomposition. In order to justify the construction, the domain of $G$, the boundary of the domain and the behavior at infinity are analyzed in details. When the data interpolate a positive univariate polynomial, we show that in the context of the Lukacs sum of squares representation, $G$ is coercive and strictly convex which yields a unique critical point and a corresponding decomposition in sum of squares. For multivariate polynomials which admit a decomposition in sum of squares and up to a small perturbation of size $\varepsilon$, $G^\varepsilon$ is always coercive and so it minimum yields an approximate decomposition in sum of squares. Various unconstrained descent algorithms are proposed to minimize $G$. Numerical examples are provided, for univariate and bivariate polynomials.
△ Less
Submitted 16 March, 2020; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Sharpening methods for finite volume schemes
Authors:
B Després,
S Kokh,
Frédéric Lagoutière
Abstract:
We review sharpening methods for finite volume schemes, with an emphasis on the basic structure of sharpening methods. It covers high order methods and non linear techniques for linear advection, Glimm's method, anti-diffusion techniques, the interaction of these techniques with the PDE structures. Additional approaches like level sets, interface reconstruction and Vofire are also discussed. We al…
▽ More
We review sharpening methods for finite volume schemes, with an emphasis on the basic structure of sharpening methods. It covers high order methods and non linear techniques for linear advection, Glimm's method, anti-diffusion techniques, the interaction of these techniques with the PDE structures. Additional approaches like level sets, interface reconstruction and Vofire are also discussed. We also present the algorithmic structure of the downwind method for a simple two components problem.
△ Less
Submitted 9 August, 2016;
originally announced August 2016.
-
Hybrid resonance and long-time asymptotic of the solution to Maxwell's equations
Authors:
Bruno Després,
Ricardo Weder
Abstract:
We study the long-time asymptotic of the solutions to Maxwell's equation in the case of a upper-hybrid resonance in the cold plasma model. We base our analysis in the transfer to the time domain of the recent results of B. Després, L.M. Imbert-Gérard and R. Weder, J. Math. Pures Appl. {\bf 101} ( 2014) 623-659, where the singular solutions to Maxwell's equations in the frequency domain were constr…
▽ More
We study the long-time asymptotic of the solutions to Maxwell's equation in the case of a upper-hybrid resonance in the cold plasma model. We base our analysis in the transfer to the time domain of the recent results of B. Després, L.M. Imbert-Gérard and R. Weder, J. Math. Pures Appl. {\bf 101} ( 2014) 623-659, where the singular solutions to Maxwell's equations in the frequency domain were constructed by means of a limiting absorption principle and a formula for the heating of the plasma in the limit of vanishing collision frequency was obtained. Currently there is considerable interest in these problems, in particular, because upper-hybrid resonances are a possible scenario for the heating of plasmas, and since they can be a model for the diagnostics involving wave scattering in plasmas.
△ Less
Submitted 29 March, 2016; v1 submitted 16 July, 2015;
originally announced July 2015.
-
Asymptotic preserving schemes on distorted meshes for Friedrichs systems with sti relaxation: application to angular models in linear transport
Authors:
Christophe Buet,
Bruno Després,
Emmanuel Franck
Abstract:
In this paper we propose an asymptotic preserving scheme for a family of Friedrichs systems on unstructured meshes based on a decomposition between the hyperbolic heat equation and a linear hyperbolic which not involved in the di usive regime. For the hyperbolic heat equation we use asymptotic preserving schemes recently designed previously. To discretize the second part we use classical Rusanov o…
▽ More
In this paper we propose an asymptotic preserving scheme for a family of Friedrichs systems on unstructured meshes based on a decomposition between the hyperbolic heat equation and a linear hyperbolic which not involved in the di usive regime. For the hyperbolic heat equation we use asymptotic preserving schemes recently designed previously. To discretize the second part we use classical Rusanov or upwind schemes. To nish we apply this method for the discretization of the PN and SN models which are widely used in transport codes.
△ Less
Submitted 9 April, 2013;
originally announced April 2013.
-
Hybrid resonance of Maxwell's equations in slab geometry
Authors:
Bruno Després,
Lise-Marie Imbert-Gérard,
Ricardo Weder
Abstract:
Hybrid resonance is a physical mechanism for the heating of a magnetic plasma. In our context hybrid resonance is a solution of the time harmonic Maxwell's equations with smooth coefficients, where the dielectric tensor is a non diagonal hermitian matrix. The main part of this work is dedicated to the construction and analysis of a mathematical solution of the hybrid resonance with the limit absor…
▽ More
Hybrid resonance is a physical mechanism for the heating of a magnetic plasma. In our context hybrid resonance is a solution of the time harmonic Maxwell's equations with smooth coefficients, where the dielectric tensor is a non diagonal hermitian matrix. The main part of this work is dedicated to the construction and analysis of a mathematical solution of the hybrid resonance with the limit absorption principle. We prove that the limit solution is singular: it is constituted of a Dirac mass at the origin plus a principle value and a smooth square integrable function. The formula obtained for the plasma heating is directly related to the singularity.
△ Less
Submitted 25 June, 2014; v1 submitted 2 October, 2012;
originally announced October 2012.
-
Nonlinear stability of a Vlasov equation for magnetic plasmas
Authors:
Frédérique Charles,
Bruno Després,
Benoît Perthame,
Remi Sentis
Abstract:
The mathematical description of laboratory fusion plasmas produced in Tokamaks is still challenging. Complete models for electrons and ions, as Vlasov-Maxwell systems, are computationally too expensive because they take into account all details and scales of magneto-hydrodynamics. In particular, for most of the relevant studies, the mass electron is negligible and the velocity of material waves is…
▽ More
The mathematical description of laboratory fusion plasmas produced in Tokamaks is still challenging. Complete models for electrons and ions, as Vlasov-Maxwell systems, are computationally too expensive because they take into account all details and scales of magneto-hydrodynamics. In particular, for most of the relevant studies, the mass electron is negligible and the velocity of material waves is much smaller than the speed of light. Therefore it is useful to understand simplified models. Here we propose and study one of those which keeps both the complexity of the Vlasov equation for ions and the Hall effect in Maxwell's equation. Based on energy dissipation, a fundamental physical property, we show that the model is nonlinear stable and consequently prove existence.
△ Less
Submitted 20 April, 2012;
originally announced April 2012.
