Search

We prove that there is no relaxation gap between a quasi-dissipative nonlinear evolution equation in a Hilbert space and its linear Liouville equation reformulation on probability measures. In other words, strong and generalized solutions of such equations are unique in the class of measure-valued solutions. As a major consequence, non-convex numerical optimization over these non-linear partial differential equations can be carried out with the infinite-dimensional moment-SOS hierarchy with global convergence guarantees. This covers in particular all reaction-diffusion equations with polynomial nonlinearity.

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., Comment: arXiv admin note: text overlap with arXiv:2207.10978

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.

This paper is the second of the series of two papers, which focuses on the derivation of an averaged 1D model for compressible bubbly flows. For this, we start from a microscopic description of the interactions between a large but finite number of small bubbles with a surrounding compressible fluid. This microscopic model has been derived and analysed in the first paper. In the present one, provided physical parameters scale according to the number of bubbles, we prove that solutions to the microscopic model exist on a timespan independent of the number of bubbles. Considering then that we have a large number of bubbles, we propose a construction of the macroscopic variables and derive the averaged system satisfied by these quantities. Our method is based on a compactness approach in a strong-solution setting. In the last section, we propose the derivation of the Williams-Boltzmann equation corresponding to our setting.

The stability of stationary solutions of first-order systems of PDE's are considered. They may include some singular geometric terms, leading to discontinuous flux and non-conservative products. Based on several examples in Fluid Mechanics, we assume that these systems are endowed with a partially convex entropy. We first construct an associated relative entropy which allows to compare two states which share the same geometric data. This way, we are able to prove the stability of some stationary states within entropy weak solutions. This result applies for instance to the shallow-water equations with bathymetry. Besides, this relative entropy can be used to study finite volume schemes which are entropy-stable and well-balanced, and due to the numerical dissipation inherent to these methods, asymptotic stability of discrete stationary solutions is obtained. This analysis does not make us of any specific definition of the non-conservative products, applies to non-strictly hyperbolic systems, and is fully multidimensional with unstructured meshes for the numerical methods.

We study the finite volume approximation of strong solutions to nonlinear systems of conservation laws. We focus on time-explicit schemes on unstructured meshes, with entropy satisfying numerical fluxes. The numerical entropy dissipation is quantified at each interface of the mesh, which enables to prove a weak--BV estimate for the numerical approximation under a strengthen CFL condition. Then we derive error estimates in the multidimensional case, using the relative entropy between the strong solution and its finite volume approximation. The error terms are carefully studied, leading to a classical $h^1/4$ estimate in $L^2$ under this strengthen CFL condition.

This paper is devoted to present an approximation of a Cauchy problem for Friedrichs' systems under convex constraints. It is proved the strong convergence in L^2\_{loc} of a parabolic-relaxed approximation towards the unique constrained solution.

In this paper, we prove the convergence of a class of finite volume schemes for the model of coupling between a Burgers fluid and a pointwise particle introduced in [LST08]. In this model, the particle is seen as a moving interface through which an interface condition is imposed, which links the velocity of the fluid on the left and on the right of the particle and the velocity of the particle (the three quantities are all not equal in general). The total impulsion of the system is conserved through time.The proposed schemes are consistent with a "large enough" part of the interface conditions. The proof of convergence is an extension of the one of [AS12] to the case where the particle moves under the influence of the fluid. It yields two main difficulties: first, we have to deal with time-dependent flux and interface condition, and second with the coupling between and ODE and a PDE.

In this paper, we present an original derivation process of a non-hydrostatic shallow water-type model which aims at approximating the incompressible Euler and Navier-Stokes systems with free surface. The closure relations are obtained by aminimal energy constraint instead of an asymptotic expansion. The model slightly differs from thewell-known Green-Naghdi model and is confronted with stationary andanalytical solutions of the Euler system corresponding to rotationalflows. At the end of the paper, we givetime-dependent analytical solutions for the Euler system that are alsoanalytical solutions for the proposed model but that are not solutionsof the Green-Naghdi model. We also give and compare analytical solutions of thetwo non-hydrostatic shallow water models.

We consider relaxation systems of transport equations with heterogeneous source terms and with boundary conditions, which limits are scalar conservation laws. Classical bounds fail in this context and in particular BV estimates. They are the most standard and simplest way to prove compactness and convergence. We provide a novel and simple method to obtain partial BV regularity and strong compactness in this framework. The standard notion of entropy is not convenient either and we also indicate another, but closely related, notion. We give two examples motivated by renal flows which consist of 2 by 2 and 3 by 3 relaxation systems with 2-velocities but the method is more general.