Uniform-in-time convergence of numerical methods for non-linear degenerate parabolic equations
arXiv:2003.09067 · doi:10.1007/s00211-015-0733-6
Abstract
Gradient schemes is a framework that enables the unified convergence analysis of many numerical methods for elliptic and parabolic partial differential equations: conforming and non-conforming Finite Element, Mixed Finite Element and Finite Volume methods. We show here that this framework can be applied to a family of degenerate non-linear parabolic equations (which contain in particular the Richards', Stefan's and Leray--Lions' models), and we prove a uniform-in-time strong-in-space convergence result for the gradient scheme approximations of these equations. In order to establish this convergence, we develop several discrete compactness tools for numerical approximations of parabolic models, including a discontinuous Ascoli-Arzelà theorem and a uniform-in-time weak-in-space discrete Aubin-Simon theorem. The model's degeneracies, which occur both in the time and space derivatives, also requires us to develop a discrete compensated compactness result.
References in corpus (1)
Cited by in corpus (8)
- Improved estimate for gradient schemes, and super-convergence of the TPFA finite volume scheme
- Gradient discretization of two-phase poro-mechanical models with discontinuous pressures at matrix fracture interfaces
- Influence of a slow moving vehicle on traffic: Well-posedness and approximation for a mildly non-local model
- A gradient discretisation method to analyse numerical schemes for non-linear variational inequalities, application to the seepage problem
- The gradient discretisation method for optimal control problems, with super-convergence for non-conforming finite elements and mixed-hybrid mimetic finite differences
- Numerical analysis of a mixed-dimensional poromechanical model with frictionless contact at matrix-fracture interfaces
- Well posedness of linear parabolic partial differential equations posed on a star-shaped network with local time Kirchhoff's boundary condition at the vertex
- Crossing exponent in the Brownian loop soup