Search

MiS Preprint Repository

We have decided to discontinue the publication of preprints on our preprint server as of 1 March 2024. The publication culture within mathematics has changed so much due to the rise of repositories such as ArXiV (www.arxiv.org) that we are encouraging all institute members to make their preprints available there. An institute's repository in its previous form is, therefore, unnecessary. The preprints published to date will remain available here, but we will not add any new preprints here.

MiS Preprint
4/2022

Taxis-driven persistent localization in a degenerate Keller-Segel system

Angela Stevens and Michael Winkler

Abstract

The degenerate Keller-Segel type system \begin{eqnarray*} \left\{ \begin{array}{rcll} u_t &=& \nabla \cdot (u^{m-1}\nabla u) - \nabla\cdot (u\nabla v), \qquad & x\in\Omega, \ t>0, \\[1mm] 0 &=& \Delta v-\mu+u, \qquad \int_\Omega v=0, \quad \mu=\frac{1}{|\Omega|} \int_\Omega u, \qquad & x\in\Omega, \ t>0, \end{array} \right. \end{eqnarray*} is considered in balls $\Omega=B_R(0)\subset R^n$ with $n\ge 1$, $R>0$ and $m>1$.\abs Our main results reveal that throughout the entire degeneracy range $m\in (1,\infty)$, the interplay between degenerate diffusion and cross-diffusive attraction herein can enforce persistent localization of solutions inside a compact subset of $\Omega$, no matter whether solutions remain bounded or blow up. More precisely, it is shown that for arbitrary $\mu>0, \sigma \in (0,1)$ and $\theta\in (0,\sigma)$ one can find $R_\star=R_\star(n,m,\mu,\sigma,\theta)>0$ such that if $R\ge R_\star$ and $u_0\in L^\infty(\Omega)$ is nonnegative and radially symmetric with $\frac{1}{|\Omega|} \int_\Omega u_0=\mu$ and \begin{eqnarray*} \frac{1}{|B_r(0)|} \int_{B_r(0)} u_0 \ge \frac{\mu}{\theta^n} \qquad \mbox{for all } r\in (0,\theta R), \end{eqnarray*} then a corresponding zero-flux type initial-boundary value problem admits a radial weak solution $(u,v)$, extensible up to a maximal time $T_{max}\in (0,\infty]$ and satisfying $\lim_{t\nearrow T_{max}} \|u(\cdot,t)\|_{L^\infty(\Omega)} =\infty$ if $T_{max}<\infty$, which has the additional property that \begin{eqnarray*} {\rm supp} \, u(\cdot,t) \subset \overline{B}_{\sigma R}(0) \qquad \mbox{for all } t\in (0,T_{max}). \end{eqnarray*} In particular, this conclusion is seen to be valid whenever $u_0$ is radially nonincreasing with ${\rm supp} \, u_0 \subset \overline{B}_{\theta R}(0)$.

Received:
Feb 10, 2022
Published:
Feb 13, 2022
MSC Codes:
35B40, 35K65, 92C17
Keywords:
chemotaxis, degenerate diffusion, compact support

Related publications

inJournal
2022 Repository Open Access
Angela Stevens and Michael Winkler

Taxis-driven persistent localization in a degenerate Keller-Segel system

In: Communications in partial differential equations, 47 (2022) 12, pp. 2341-2362