Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities

By Genglin Li, Michael Winkler. Applicable Analysis, 2022

48 citations recorded by the source corpus.

We consider the Keller-Segel-type migration-consumption system involving signal-dependent motilities, \[ \begin{cases} u_t = \Delta \left(u\phi(v)\right), \\ v_t = \Delta v-uv, \end{cases} \]{ut=Δ(uϕ(v)),vt=Δv−uv, in smoothly bounded domains $ {\Omega \subset \mathbb {R}^{n}} $ Ω⊂Rn, $ n\ge 1 $ n≥1. Under the assumption that $ \phi \in C^1([0,\infty )) $ ϕ∈C1([0,∞)) is positive on $ [0,\infty ) $ [0,∞), and for nonnegative initial data from $ (C^0(\overline {\Omega }))^\star \times L^\infty (\Omega ) $ (C0(Ω¯))⋆×L∞(Ω), previous literature has provided results on global existence of certain very weak solutions with possibly quite poor regularity properties, and on large time stabilization toward semitrivial equilibria with respect to the topology in $ (W^{1,2}(\Omega ))^\star \times L^\infty (\Omega ) $ (W1,2(Ω))⋆×L∞(Ω). The present study reveals that solutions in fact enjoy significantly stronger regularity features when $ 0 \lt \phi \in C^3([0,\infty )) $ 0<ϕ∈C3([0,∞)) and the initial data belong to $ (W^{1,\infty }(\Omega ))^2 $ (W1,∞(Ω))2: It is firstly shown, namely, that then in the case $ n\le 2 $ n≤2 an associated no-flux initial-boundary value problem even admits a global classical solution, and that each of these solutions smoothly stabilizes in the sense that as $ t\to \infty $ t→∞ we have \[ u(\cdot,t) \to \frac{1}{|\Omega|} \int_\Omega u_0 \quad \mbox{and} \quad v(\cdot,t)\to 0 \qquad (\star) \]u(⋅,t)→1|Ω|∫Ωu0andv(⋅,t)→0(⋆) even with respect to the norm in $ L^\infty (\Omega ) $ L∞(Ω) in both components. In the case when $ n\ge 3 $ n≥3, secondly, some genuine weak solutions are found to exist globally, inter alia satisfying $ \nabla u\in L^{{4}/{3}}_{loc}(\overline {\Omega }\times [0,\infty );\mathbb {R}^n) $ ∇u∈Lloc4/3(Ω¯×[0,∞);Rn). In the particular three-dimensional setting, any such solution is seen to become eventually smooth and to satisfy (★).

Subfields: Cell Biology, Modeling and Simulation, Molecular Biology

View Paper: https://www.semanticscholar.org/paper/6854fe5ef061ac9b0b5ff005ae50246fe7c62a9b