A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion

<jats:p> The taxis-type migration–consumption model accounting for signal-dependent motilities, as given by <jats:inline-formula> <jats:tex-math>u_{t} = \Delta (u\phi(v))</jats:tex-math> </jats:inline-formula> , <jats:inline-formula> <jats:tex-math>v_{t} = \Delta v-uv</jats:tex-math> </jats:inline-formula> , is considered for suitably smooth functions <jats:inline-formula> <jats:tex-math>\phi\colon[0,\infty)\to\R</jats:tex-math> </jats:inline-formula> which are such that <jats:inline-formula> <jats:tex-math>\phi&gt;0</jats:tex-math> </jats:inline-formula> on <jats:inline-formula> <jats:tex-math>(0,\infty)</jats:tex-math> </jats:inline-formula> , but that in addition <jats:inline-formula> <jats:tex-math>\phi(0)=0</jats:tex-math> </jats:inline-formula> with <jats:inline-formula> <jats:tex-math>\phi'(0)&gt;0</jats:tex-math> </jats:inline-formula> . In order to appropriately cope with the diffusion degeneracies thereby included, this study separately examines the Neumann problem for the linear equation <jats:inline-formula> <jats:tex-math>V_{t} = \Delta V + \nabla\cdot ( a(x,t)V) + b(x,t)V</jats:tex-math> </jats:inline-formula> and establishes a statement on how pointwise positive lower bounds for nonnegative solutions depend on the supremum and the mass of the initial data, and on integrability features of <jats:inline-formula> <jats:tex-math>a</jats:tex-math> </jats:inline-formula> and <jats:inline-formula> <jats:tex-math>b</jats:tex-math> </jats:inline-formula> . This is thereafter used as a key tool in the derivation of a result on global existence of solutions to the equation above, smooth and classical for positive times, under the mere assumption that the suitably regular initial data be nonnegative in both components. Apart from that, these solutions are seen to stabilize toward some equilibrium, and as a qualitative effect genuinely due to degeneracy in diffusion, a criterion on initial smallness of the second component is identified as sufficient for this limit state to be spatially nonconstant. </jats:p>