The full Keller-Segel model is well-posed on nonsmooth domains

TL;DR

This paper proves the well-posedness of the full Keller-Segel model in two and three dimensions on nonsmooth domains, using advanced regularity results and an abstract solution theorem, filling a gap in existing mathematical theory.

Contribution

It establishes the first well-posedness results for the full Keller-Segel system on general nonsmooth domains, extending classical theory to more realistic settings.

Findings

Unique local-in-time solutions exist for the full Keller-Segel system in 2D and 3D.

The results apply to general nonsmooth spatial domains, broadening applicability.

New existence results are obtained for the standard Keller-Segel system as a special case.

Abstract

In this paper we prove that the full Keller-Segel system, a quasilinear strongly coupled reaction-crossdiffusion system of four parabolic equations, is well-posed in space dimensions 2 and 3 in the sense that it always admits an unique local-in-time solution in an adequate function space, provided that the initial values are suitably regular. The proof is done via an abstract solution theorem for nonlocal quasilinear equations by Amann and is carried out for general source terms. It is fundamentally based on recent nontrivial elliptic and parabolic regularity results which hold true even on rather general nonsmooth spatial domains. This enables us to work in a nonsmooth setting which is not available in classical parabolic systems theory. Apparently, there exists no comparable existence result for the full Keller-Segel system up to now. Due to the large class of possibly nonsmooth domains admitted, we also obtain new results for the "standard" Keller-Segel system consisting of only two equations as a special case.