Boris Andreianov

Boris Andreianov, Kenneth H. Karlsen, Nils Henrik Risebro

We propose a general framework for the study of $L^1$ contractive semigroups of solutions to conservation laws with discontinuous flux. Developing the ideas of a number of preceding works we claim that the whole admissibility issue is reduced to the selection of a family of "elementary solutions", which are certain piecewise constant stationary weak solutions. We refer to such a family as a "germ". It is well known that (CL) admits many different $L^1$ contractive semigroups, some of which reflects different physical applications. We revisit a number of the existing admissibility (or entropy) conditions and identify the germs that underly these conditions. We devote specific attention to the anishing viscosity" germ, which is a way to express the "$Γ$-condition" of Diehl. For any given germ, we formulate "germ-based" admissibility conditions in the form of a trace condition on the flux discontinuity line $x=0$ (in the spirit of Vol'pert) and in the form of a family of global entropy inequalities (following Kruzhkov and Carrillo). We characterize those germs that lead to the $L^1$-contraction property for the associated admissible solutions. Our approach offers a streamlined and unifying perspective on many of the known entropy conditions, making it possible to recover earlier uniqueness results under weaker conditions than before, and to provide new results for other less studied problems. Several strategies for proving the existence of admissible solutions are discussed, and existence results are given for fluxes satisfying some additional conditions. These are based on convergence results either for the vanishing viscosity method (with standard viscosity or with specific viscosities "adapted" to the choice of a germ), or for specific germ-adapted finite volume schemes.

Boris Andreianov, Mostafa Bendahmane, Kenneth H. Karlsen

We consider a class of doubly nonlinear degenerate hyperbolic-parabolic equations with homogeneous Dirichlet boundary conditions, for which we first establish the existence and uniqueness of entropy solutions. We then turn to the construction and analysis of discrete duality finite volume schemes (in the spirit of Domelevo and Omnès \cite{DomOmnes}) for these problems in two and three spatial dimensions. We derive a series of discrete duality formulas and entropy dissipation inequalities for the schemes. We establish the existence of solutions to the discrete problems, and prove that sequences of approximate solutions generated by the discrete duality finite volume schemes converge strongly to the entropy solution of the continuous problem. The proof revolves around some basic a priori estimates, the discrete duality features, Minty-Browder type arguments, and "hyperbolic" $L^\infty$ weak-$\star$ compactness arguments (i.e., propagation of compactness along the lines of Tartar, DiPerna, ...). Our results cover the case of non-Lipschitz nonlinearities.

Boris Andreianov, Mostafa Bendahmane, Kenneth H. Karlsen et al.

We prove convergence of discrete duality finite volume (DDFV) schemes on distorted meshes for a class of simplified macroscopic bidomain models of the electrical activity in the heart. Both time-implicit and linearised time-implicit schemes are treated. A short description is given of the 3D DDFV meshes and of some of the associated discrete calculus tools. Several numerical tests are presented.

Boris Andreianov, Carlotta Donadello, Ulrich Razafison et al.

In this paper we investigate numerically the model for pedestrian traffic proposed in [B.Andreianov, C.Donadello, M.D.Rosini, Crowd dynamics and conservation laws with nonlocal constraints and capacity drop, Mathematical Models and Methods in Applied Sciences 24 (13) (2014) 2685-2722]. We prove the convergence of a scheme based on a constraint finite volume method and validate it with an explicit solution obtained in the above reference. We then perform ad hoc simulations to qualitatively validate the model under consideration by proving its ability to reproduce typical phenomena at the bottlenecks, such as Faster Is Slower effect and the Braess' paradox.

Boris Andreianov, Clément Cancès, Ayman Moussa

We propose a discrete functional analysis result suitable for proving compactness in the framework of fully discrete approximations of strongly degenerate parabolic problems. It is based on the original exploitation of a result related to compensated compactness rather than on a classical estimate on the space and time translates in the spirit of Simon (Ann. Mat. Pura Appl. 1987). Our approach allows to handle various numerical discretizations both in the space variables and in the time variable. In particular, we can cope quite easily with variable time steps and with multistep time differentiation methods like, e.g., the backward differentiation formula of order 2 (BDF2) scheme. We illustrate our approach by proving the convergence of a two-point flux Finite Volume in space and BDF2 in time approximation of the porous medium equation.