Computer-assisted proofs for some nonlinear diffusion problems

TL;DR

This paper extends computer-assisted proof techniques to nonlinear diffusion problems, including complex systems like the SKT model, using fixed point methods and innovative differentiation approaches.

Contribution

It develops a new framework for computer-assisted proofs applicable to a broader class of nonlinear diffusion systems, including cross-diffusion models.

Findings

Validated existence of solutions for complex nonlinear diffusion systems

Applied fixed point techniques to the SKT population model

Introduced an alternative differentiation method using differential-algebraic equations

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 $\Delta u +f(u,\nabla u) = 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 $\Delta \Phi(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.