A Result on Parabolic Gradient Regularity in Orlicz Spaces and Application to Absorption-Induced Blow-Up Prevention in a Keller–Segel-Type Cross-Diffusion System

<jats:title>Abstract</jats:title> <jats:p>The Neumann problem for (0.1)$$ \begin{align}&amp; V_t = \Delta V-aV+f(x,t) \end{align}$$is considered in bounded domains $\Omega \subset {\mathbb {R}}^n$ with smooth boundary, where $n\ge 1$ and $a\in {\mathbb {R}}$. By means of a variational approach, a statement on boundedness of the quantities $$ \begin{eqnarray*} \sup_{t\in (0,T)} \int_\Omega \big|\nabla V(\cdot,t)\big|^p L^{\frac{n+p}{n+2}} \Big( \big|\nabla V(\cdot,t)\big| \Big) \end{eqnarray*}$$in dependence on the expressions (0.2)$$ \begin{align}&amp; \sup_{t\in (0,T-\tau)} \int_t^{t+\tau} \int_\Omega |f|^{\frac{(n+2)p}{n+p}} L\big( |f|\big) \end{align}$$is derived for $p\ge 2$, $\tau&amp;gt;0$, and $T\ge 2\tau $, provided that $L\in C^0([0,\infty ))$ is positive, strictly increasing, unbounded, and slowly growing in the sense that $\limsup _{s\to \infty } \frac {L(s^{\lambda _0})}{L(s)} &amp;lt;\infty $ for some $\lambda _0&amp;gt;1$. In the particular case when $p=n\ge 2$, an additional condition on growth of $L$, particularly satisfied by $L(\xi ):=\ln ^\alpha (\xi +b)$ whenever $b&amp;gt;0$ and $\alpha&amp;gt;\frac {(n+2)(n-1)}{2n}$, is identified as sufficient to ensure that as a consequence of the above, bounds for theintegrals in (0.2) even imply estimates for the spatio-temporal modulus of continuity of solutions to (0.1). A subsequent application to the Keller–Segel system $$ \begin{eqnarray*} \left\{ \begin{array}{l} u_t = \nabla \cdot \big( D(v)\nabla u\big) - \nabla \cdot \big( uS(v)\nabla v\big) + ru - \mu u^2, \\[1mm] v_t = \Delta v-v+u, \end{array} \right. \end{eqnarray*}$$shows that when $n=2$, $r\in {\mathbb {R}}$, $0&amp;lt;D\in C^2([0,\infty ))$, and $S\in C^2([0,\infty )) \cap W^{1,\infty }((0,\infty ))$ and thus especially in the presence of arbitrarily strong diffusion degeneracies implied by rapid decay of $D$, any choice of $\mu&amp;gt;0$ excludes blowup in the sense that for all suitably regular nonnegative initial data, an associated initial-boundary value problem admits a global bounded classical solution.</jats:p>