Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2023

Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing

Abstract

We study the steady states of a system of cross-diffusion equations arising from the modeling of chemotaxis with local sensing, where the motility is a decreasing function of the concentration of the chemical. In order to capture the many different equilibria that sometimes co-exist, we use computer-assisted proofs: Given an approximate solution obtained numerically, we apply a fixed-point argument in a small neighborhood of this approximate solution to prove the existence of an exact solution nearby. This allows us to rigorously study the steady states of this crossdiffusion system much more extensively than what previously possible with purely pen-and-paper techniques. Our computer-assisted argument makes use of Fourier series decomposition, which is common in the literature, but usually restricted to systems with polynomial nonlinearities. This is not the case for the model considered in this paper, and we develop a new way of dealing with some nonpolynomial nonlinearities in the context of computer-assisted proofs with Fourier series.
Fichier principal
Vignette du fichier
Article_Breden_Payan.pdf (1.29 Mo) Télécharger le fichier
main.pdf (967.15 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Licence : Copyright

Dates and versions

hal-04299924 , version 1 (22-11-2023)

Licence

Copyright

Identifiers

Cite

Maxime Breden, Maxime Payan. Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing. 2023. ⟨hal-04299924⟩
24 View
8 Download

Altmetric

Share

Gmail Facebook X LinkedIn More