Computer-assisted proofs for some nonlinear diffusion problems

DOI10.1016/J.CNSNS.2022.106292MaRDI QIDQ6359642zbMATH OpenWikidataFDO

Authors Maxime Breden

Publication date 28 January 2021

Full work available at URL https://doi.org/10.1016/J.CNSNS.2022.106292

Mathematics Subject Classification ID

Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation (35J05) Semilinear elliptic equations with Laplacian, bi-Laplacian or poly-Laplacian (35J91) Numerical methods for partial differential equations, boundary value problems (65N99)

Abstract: In the last three decades, powerful computer-assisted techniques have been developed in order to validate a posteriori numerical solutions of semilinear elliptic problems of the form $Deltau+f(u,ablau)=0$. By studying a well chosen fixed point problem defined around the numerical solution, these techniques make it possible to prove the existence of a solution in an explicit (and usually small) neighborhood the numerical solution. In this work, we develop a similar approach for a broader class of systems, including nonlinear diffusion terms of the form $DeltaPhi(u)$. In particular, this enables us to obtain new results about steady states of a cross-diffusion system from population dynamics: the (non-triangular) SKT model. We also revisit the idea of automatic differentiation in the context of computer-assisted proof, and propose an alternative approach based on differential-algebraic equations.

Recommendations

• Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
• Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing
• Computer-assisted proofs for semilinear elliptic boundary value problems
• Numerical verification methods and computer-assisted proofs for partial differential equations
• Computer-assisted proofs in PDE: a survey

Cited in

(4)

• Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing
• Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
• Constructive proofs for some semilinear PDEs on \(H^2(e^{|x|^2/4}, \mathbb{R}^d)\)
• Self-similar blowup for the cubic Schrödinger equation

This page was built for publication: Computer-assisted proofs for some nonlinear diffusion problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6359642)