Table of Contents
Fetching ...

A dimension-independent critical exponent in a nutrient taxis system

Michael Winkler

TL;DR

This work addresses the long-standing question of a dimension-independent critical exponent in a nutrient taxis (chemotaxis–consumption) system. By exploiting radial symmetry and deriving energy-type estimates, the authors identify a dimension-free subcritical regime $\alpha<1$ for the diffusion function $D(u)$ that guarantees global existence and boundedness of solutions in arbitrary dimensions. The analysis proceeds through local well-posedness and an to-be-extended $L^p$ framework, culminating in a Moser iteration that yields $L^{\infty}$ bounds and hence global classical solvability for radially symmetric initial data in $W^{1,q}(\Omega)$ with $q>\max\{2,n\}$. This complements known blow-up results for $\alpha>1$, clarifying the precise threshold for global regularity in this cross-diffusion model and providing tools applicable to related chemotaxis–diffusion systems.

Abstract

In a ball $Ω\subset R^n$ with arbitrary $n\ge 1$, the chemotaxis-consumption system \[ \left\{ \begin{array}{l} u_t = \nabla \cdot \big(D(u)\nabla u\big) - \nabla \cdot (u\nabla v), \\[1mm] 0 = Δv - uv, \end{array} \right. \] is considered under no-flux boundary conditions for $u$, and for prescribed constant positive boundary data for $v$. Under the assumption that $D\in C^3([0,\infty))$ satisfies \[ D(ξ)\ge k_D (ξ+1)^{-α} \qquad \mbox{for all } ξ\ge 0 \qquad \qquad (\star) \] with some $α<1$ and some $k_D>0$, it is shown that for each nonnegative and radially symmetric $u_0\in \bigcup_{q>\max\{2,n\}} W^{1,q}(Ω)$, a uniquely determined global bounded classical solution exists. This complements a previous result according to which given any positive $D\in C^3([0,\infty))$ fulfilling $D(ξ) \le K_D (ξ+1)^{-α}$ with some $α>1$ and $K_D>0$, one can find nonnegative radial initial data $u_0\in C_0^\infty(Ω)$ such that no global solution exists.

A dimension-independent critical exponent in a nutrient taxis system

TL;DR

This work addresses the long-standing question of a dimension-independent critical exponent in a nutrient taxis (chemotaxis–consumption) system. By exploiting radial symmetry and deriving energy-type estimates, the authors identify a dimension-free subcritical regime for the diffusion function that guarantees global existence and boundedness of solutions in arbitrary dimensions. The analysis proceeds through local well-posedness and an to-be-extended framework, culminating in a Moser iteration that yields bounds and hence global classical solvability for radially symmetric initial data in with . This complements known blow-up results for , clarifying the precise threshold for global regularity in this cross-diffusion model and providing tools applicable to related chemotaxis–diffusion systems.

Abstract

In a ball with arbitrary , the chemotaxis-consumption system \[ \left\{ \begin{array}{l} u_t = \nabla \cdot \big(D(u)\nabla u\big) - \nabla \cdot (u\nabla v), \\[1mm] 0 = Δv - uv, \end{array} \right. \] is considered under no-flux boundary conditions for , and for prescribed constant positive boundary data for . Under the assumption that satisfies with some and some , it is shown that for each nonnegative and radially symmetric , a uniquely determined global bounded classical solution exists. This complements a previous result according to which given any positive fulfilling with some and , one can find nonnegative radial initial data such that no global solution exists.
Paper Structure (3 sections, 6 theorems, 75 equations)

This paper contains 3 sections, 6 theorems, 75 equations.

Key Result

Theorem 1.1

Let $n\ge 1$, $R>0$ and $\Omega=B_R\subset\mathbb{R}^n$, let $M>0$, and assume that $D$ is such that and that with some $k_D>0$ and some Then for any $q>\max\{2,n\}$ and each nonnegative and radially symmetric $u_0\in W^{1,q}(\Omega)$, the problem (0) possesses a uniquely determined global classical solution $(u,v)$ with for which $u\ge 0$ and $v\ge 0$ in $\Omega\times (0,\infty)$. Moreover, t

Theorems & Definitions (6)

  • Theorem 1.1
  • Lemma 2.1
  • Lemma 2.2
  • Lemma 3.1
  • Lemma 3.2
  • Lemma 3.3