# Singular structure formation in a degenerate haptotaxis model involving myopic diffusion

## TL;DR

This paper analyzes a degenerate haptotaxis model describing cell migration, proving global existence of solutions, their asymptotic behavior, and the immediate effect of diffusion in cases with zero diffusion regions.

## Contribution

It establishes the existence of global solutions for a degenerate haptotaxis system and characterizes their long-term behavior and instantaneous diffusion effects.

## Key findings

- Solutions exist globally under mild degeneracy conditions.
- The solution u converges to a state involving infinite densities.
- Diffusion effects can be immediate in degenerate cases.

## Abstract

We consider the system \[ u_t=\big(d(x)u\big)_{xx} - \big(d(x)uw_x\big)_x, \quad w_t=-ug(w), \] which arises as a simple model for haptotactic migration in heterogeneous environments, such as typically occurring in the invasive dynamics of glioma. A particular focus is on situations when the diffusion herein is degenerate in the sense that the zero set of $d$ is not empty. It is shown that if such possibly present degeneracies are sufficiently mild in the sense that \[ \int_\Omega \frac{1}{d}<\infty, \] then under appropriate assumptions on the initial data a corresponding initial-boundary value problem, posed under no-flux boundary conditions in a bounded open real interval $\Omega$, possesses at least one globally defined generalized solution. Moreover, despite such degeneracies the considered myopic diffusion mechanism is seen to asymptotically determine the solution behavior in the sense that for some constant $\mu_\infty>0$, the obtained solution satisfies \[ u(\cdot,t)\rightharpoonup \frac{\mu_\infty}{d} \ \mbox{in } L^1(\Omega) \quad \mbox{and} \quad w(\cdot,t) \to 0 \ \mbox{in } L^\infty(\Omega) \quad \mbox{as } t\to\infty, \qquad (\star) \] and that hence in the degenerate case the solution component $u$ stabilizes toward a state involving infinite densities, which is in good accordance with experimentally observed phenomena of cell aggregation. Finally, under slightly stronger hypotheses inter alia requiring that $\frac{1}{d}$ belong to $L\log L(\Omega)$, a substantial effect of diffusion is shown to appear already immediately by proving that for a.e.~$t>0$, the quantity $\ln (du(\cdot,t))$ is bounded in $\Omega$. In degenerate situations, this particularly implies that the blow-up phenomena expressed in ($\star$) in fact occur instantaneously.