-
Diffusion Models and Representation Learning: A Survey
Authors:
Michael Fuest,
**chuan Ma,
Ming Gui,
Johannes S. Fischer,
Vincent Tao Hu,
Bjorn Ommer
Abstract:
Diffusion Models are popular generative modeling methods in various vision tasks, attracting significant attention. They can be considered a unique instance of self-supervised learning methods due to their independence from label annotation. This survey explores the interplay between diffusion models and representation learning. It provides an overview of diffusion models' essential aspects, inclu…
▽ More
Diffusion Models are popular generative modeling methods in various vision tasks, attracting significant attention. They can be considered a unique instance of self-supervised learning methods due to their independence from label annotation. This survey explores the interplay between diffusion models and representation learning. It provides an overview of diffusion models' essential aspects, including mathematical foundations, popular denoising network architectures, and guidance methods. Various approaches related to diffusion models and representation learning are detailed. These include frameworks that leverage representations learned from pre-trained diffusion models for subsequent recognition tasks and methods that utilize advancements in representation and self-supervised learning to enhance diffusion models. This survey aims to offer a comprehensive overview of the taxonomy between diffusion models and representation learning, identifying key areas of existing concerns and potential exploration. Github link: https://github.com/dongzhuoyao/Diffusion-Representation-Learning-Survey-Taxonomy
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Location of blow-up points in fully parabolic chemotaxis systems with spatially heterogeneous logistic source
Authors:
Mario Fuest,
Johannes Lankeit,
Masaaki Mizukami
Abstract:
We consider the fully parabolic, spatially heterogeneous chemotaxis-growth system \begin{align*}
\begin{cases}
u_t = Δu - \nabla\cdot(u\nabla v) + κ(x)u-μ(x)u^2, \\
v_t = Δv - v + u
\end{cases} \end{align*} in bounded domains $Ω\subset \mathbb{R}^2$ and show that the blow-up set is contained in the set of zeroes of $μ$.
We consider the fully parabolic, spatially heterogeneous chemotaxis-growth system \begin{align*}
\begin{cases}
u_t = Δu - \nabla\cdot(u\nabla v) + κ(x)u-μ(x)u^2, \\
v_t = Δv - v + u
\end{cases} \end{align*} in bounded domains $Ω\subset \mathbb{R}^2$ and show that the blow-up set is contained in the set of zeroes of $μ$.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Upper estimates for the Hausdorff dimension of the temporal singular set in chemotaxis-fluid systems
Authors:
Mario Fuest
Abstract:
The chemotaxis-fluid system \begin{align}\tag{$\star$}\label{prob:star} \begin{cases} n_t + u \cdot \nabla n = Δn - \nabla \cdot (n \nabla c), \\ c_t + u \cdot \nabla c = Δc - nc, \\ u_t + (u \cdot \nabla) u = Δu + \nabla P + n \nabla Φ, \quad \nabla \cdot u = 0, \end{cases} \end{align} models aerobic bacteria interacting with a fluid via transportation and buoyancy. When posed on a three-dimensio…
▽ More
The chemotaxis-fluid system \begin{align}\tag{$\star$}\label{prob:star} \begin{cases} n_t + u \cdot \nabla n = Δn - \nabla \cdot (n \nabla c), \\ c_t + u \cdot \nabla c = Δc - nc, \\ u_t + (u \cdot \nabla) u = Δu + \nabla P + n \nabla Φ, \quad \nabla \cdot u = 0, \end{cases} \end{align} models aerobic bacteria interacting with a fluid via transportation and buoyancy. When posed on a three-dimensional, smoothly bounded, convex domain $Ω$, \eqref{prob:star} complemented with suitable initial and boundary conditions is known to admit a global `weak energy solution', which recently has been shown to be smooth (after a redefinition on a set of measure $0$) in $\overline Ω\times E$ for some countable union of open intervals $E$ with $|(0, \infty) \setminus E| = 0$.
The present paper investigates further regularity properties of this solution and proves that ($E$ can be chosen such that) the $\frac12$-dimensional Hausdorff measure of $(0, \infty) \setminus E$ vanishes and thus that in particular its Hausdorff dimension is at most $\frac12$. As $\frac12$ has been the best known upper estimate for the Hausdorff dimension of the temporal singular set for the unperturbed Navier--Stokes equations for quite some time, this result is the best one can hope for \eqref{prob:star} without significant progress in the regularity theory of (homogeneous) Navier--Stokes equations.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Classical and generalized solutions of an alarm-taxis model
Authors:
Mario Fuest,
Johannes Lankeit
Abstract:
In bounded, spatially two-dimensional domains, the system \begin{equation*}
\left\lbrace\begin{alignedat}{3}
u_t &= d_1 Δu && &&+ u(λ_1 - μ_1 u - a_1 v - a_2 w), \\
v_t &= d_2 Δv &&- ξ\nabla \cdot (v \nabla u) &&+ v(λ_2 - μ_2 v + b_1 u - a_3 w),\\
w_t &= d_3 Δw &&- χ\nabla \cdot (w \nabla (uv)) &&+ w(λ_3 - μ_3 w + b_2 u + b_3 v),
\end{alignedat}\right. \end{equation*} complemented with i…
▽ More
In bounded, spatially two-dimensional domains, the system \begin{equation*}
\left\lbrace\begin{alignedat}{3}
u_t &= d_1 Δu && &&+ u(λ_1 - μ_1 u - a_1 v - a_2 w), \\
v_t &= d_2 Δv &&- ξ\nabla \cdot (v \nabla u) &&+ v(λ_2 - μ_2 v + b_1 u - a_3 w),\\
w_t &= d_3 Δw &&- χ\nabla \cdot (w \nabla (uv)) &&+ w(λ_3 - μ_3 w + b_2 u + b_3 v),
\end{alignedat}\right. \end{equation*} complemented with initial and homogeneous Neumann boundary conditions, models the interaction between prey (with density $u$), predator (with density $v$) and superpredator (with density $w$), which preys on both other populations. Apart from random motion and prey-tactical behavior of the primary predator, the key aspect of this system is that the secondary predator reacts to alarm calls of the prey, issued by the latter whenever attacked by the primary predator.
We first show in the pure alarm-taxis model, i.e. if $ξ= 0$, that global classical solutions exist.
For the full model (with $ξ> 0$), the taxis terms and the presence of the term $-a_2 uw$ in the first equation apparently hinder certain bootstrap procedures, meaning that the available regularity information is rather limited. Nonetheless, we are able to obtain global generalized solutions. An important technical challenge is to guarantee strong convergence of (weighted) gradients of the first two solution components in order to conclude that approximate solutions converge to a generalized solution of the limit problem.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Uniform $L^p$ estimates for solutions to the inhomogeneous 2D Navier-Stokes equations and application to a chemotaxis-fluid system with local sensing
Authors:
Mario Fuest,
Michael Winkler
Abstract:
The chemotaxis-Navier-Stokes system \begin{equation*}\label{1} \left\{ \begin{array}{rcl} n_t+u\cdot\nabla n &=& Δ\big(n c^{-α} \big), \\[1mm] c_t+ u\cdot\nabla c &=& Δc -nc,\\[1mm] u_t + (u\cdot\nabla) u &=&Δu+\nabla P + n\nablaΦ, \qquad \nabla\cdot u=0, \end{array} \right. \end{equation*} modelling the behavior of aerobic bacteria in a fluid drop, is considered in a smoothly bounded domain…
▽ More
The chemotaxis-Navier-Stokes system \begin{equation*}\label{1} \left\{ \begin{array}{rcl} n_t+u\cdot\nabla n &=& Δ\big(n c^{-α} \big), \\[1mm] c_t+ u\cdot\nabla c &=& Δc -nc,\\[1mm] u_t + (u\cdot\nabla) u &=&Δu+\nabla P + n\nablaΦ, \qquad \nabla\cdot u=0, \end{array} \right. \end{equation*} modelling the behavior of aerobic bacteria in a fluid drop, is considered in a smoothly bounded domain $Ω\subset \mathbb R^2$. For all $α> 0$ and all sufficiently regular $Φ$, we construct global classical solutions and thereby extend recent results for the fluid-free analogue to the system coupled to a Navier-Stokes system.
As a crucial new challenge, our analysis requires a priori estimates for $u$ at a point in the proof when knowledge about $n$ is essentially limited to the observation that the mass is conserved. To overcome this problem, we also prove new uniform-in-time $L^p$ estimates for solutions to the inhomogeneous Navier-Stokes equations merely depending on the space-time $L^2$ norm of the force term raised to an arbitrary small power.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
A cross-diffusion system modelling rivaling gangs: global existence of bounded solutions and FCT stabilization for numerical simulation
Authors:
Mario Fuest,
Shahin Heydari
Abstract:
For the gang territoriality model \begin{align*} \begin{cases} u_t = D_u Δu + χ_u \nabla \cdot (u \nabla w), \\ v_t = D_v Δv + χ_v \nabla \cdot (v \nabla z), \\ w_t = -w + \frac{v}{1+v}, \\ z_t = -z + \frac{u}{1+u}, \end{cases} \end{align*} where $u$ and $v$ denote the densities of two rivaling gangs which spray graffiti (with densities $z$ and $w$, respectively) and partially move away from the o…
▽ More
For the gang territoriality model \begin{align*} \begin{cases} u_t = D_u Δu + χ_u \nabla \cdot (u \nabla w), \\ v_t = D_v Δv + χ_v \nabla \cdot (v \nabla z), \\ w_t = -w + \frac{v}{1+v}, \\ z_t = -z + \frac{u}{1+u}, \end{cases} \end{align*} where $u$ and $v$ denote the densities of two rivaling gangs which spray graffiti (with densities $z$ and $w$, respectively) and partially move away from the other gang's graffiti, we construct global, bounded classical solutions. By making use of quantitative global estimates, we prove that these solutions converge to homogeneous steady states if $\|u_0\|_{L^\infty(Ω)}$ and $\|v_0\|_{L^\infty(Ω)}$ are sufficiently small. Moreover, we perform numerical experiments which show that for different choices of parameters, the system may become diffusion- or convection-dominated, where in the former case the solutions converge toward constant steady states while in the later case nontrivial asymptotic behavior such as segregation is observed. In order to perform these experiments, we apply a nonlinear finite element flux-corrected transport method (FEM-FCT) which is positivity-preserving. Then, we treat the nonlinearities in both the system and the proposed nonlinear scheme simultaneously using fixed-point iteration.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Corners and collapse: Some simple observations concerning critical masses and boundary blow-up in the fully parabolic Keller-Segel system
Authors:
Mario Fuest,
Johannes Lankeit
Abstract:
Our main result shows that the mass $2π$ is critical for the minimal Keller-Segel system \begin{align}\label{prob:abstract}\tag{$\star$} \begin{cases} u_t = Δu - \nabla \cdot (u \nabla v), \\ v_t = Δv - v + u, \end{cases} \end{align} considered in a quarter disc $Ω= \{\,(x_1, x_2) \in \mathbb R : x_1 > 0, x_2 > 0, x_1^2 + x_2^2 < R^2\,\}$, $R > 0$, in the following sense: For all reasonably smooth…
▽ More
Our main result shows that the mass $2π$ is critical for the minimal Keller-Segel system \begin{align}\label{prob:abstract}\tag{$\star$} \begin{cases} u_t = Δu - \nabla \cdot (u \nabla v), \\ v_t = Δv - v + u, \end{cases} \end{align} considered in a quarter disc $Ω= \{\,(x_1, x_2) \in \mathbb R : x_1 > 0, x_2 > 0, x_1^2 + x_2^2 < R^2\,\}$, $R > 0$, in the following sense: For all reasonably smooth nonnegative initial data $u_0, v_0$ with $\int_Ωu_0 < 2π$, there exists a global classical solution to the Neumann initial boundary value problem associated to \eqref{prob:abstract}, while for all $m > 2 π$ there exist nonnegative initial data $u_0, v_0$ with $\int_Ωu_0 = m$ so that the corresponding classical solution of this problem blows up in finite time. At the same time, this gives an example of boundary blow-up in \eqref{prob:abstract}. Up to now, precise values of critical masses had been observed in spaces of radially symmetric functions or for parabolic-elliptic simplifications of \eqref{prob:abstract} only.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
On the existence of global solutions for the 3D chemorepulsion system
Authors:
Tomasz Cieślak,
Mario Fuest,
Karol Hajduk,
Mikołaj Sierżęga
Abstract:
In this paper, we give sufficient conditions for global-in-time existence of classical solutions for the fully parabolic chemorepulsion system posed on a convex, bounded three-dimensional domain. Our main result establishes global-in-time existence of regular nonnegative solutions provided that $\nabla\sqrt{u} \in L^4(0, T; L^2(Ω))$. Our method is related to the Bakry--Émery calculation and appear…
▽ More
In this paper, we give sufficient conditions for global-in-time existence of classical solutions for the fully parabolic chemorepulsion system posed on a convex, bounded three-dimensional domain. Our main result establishes global-in-time existence of regular nonnegative solutions provided that $\nabla\sqrt{u} \in L^4(0, T; L^2(Ω))$. Our method is related to the Bakry--Émery calculation and appears to be new in this context.
△ Less
Submitted 21 November, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
Critical mass phenomena in higher dimensional quasilinear Keller-Segel systems with indirect signal production
Authors:
Mario Fuest,
Johannes Lankeit,
Yuya Tanaka
Abstract:
In this paper, we deal with quasilinear Keller--Segel systems with indirect signal production, $$\begin{cases} u_t = \nabla \cdot ((u+1)^{m-1}\nabla u) - \nabla \cdot (u \nabla v), &x \in Ω,\ t> 0,\\ 0 = Δv - μ(t) + w, &x \in Ω,\ t> 0,\\ w_t + w = u, &x \in Ω,\ t> 0, \end{cases}$$ complemented with homogeneous Neumann boundary conditions and suitable initial conditions, where…
▽ More
In this paper, we deal with quasilinear Keller--Segel systems with indirect signal production, $$\begin{cases} u_t = \nabla \cdot ((u+1)^{m-1}\nabla u) - \nabla \cdot (u \nabla v), &x \in Ω,\ t> 0,\\ 0 = Δv - μ(t) + w, &x \in Ω,\ t> 0,\\ w_t + w = u, &x \in Ω,\ t> 0, \end{cases}$$ complemented with homogeneous Neumann boundary conditions and suitable initial conditions, where $Ω\subset\mathbb R^n$ $(n\ge3)$ is a bounded smooth domain, $m\ge1$ and $$μ(t) := \frac{1}{|Ω|} w(\cdot, t) \qquad\mbox{for}\ t>0.$$ We show that in the case $m\ge2-\frac{2}{n}$, there exists $M_c>0$ such that if either $m>2-\frac{2}{n}$ or $\int_Ωu_0 <M_c$, then the solution exists globally and remains bounded, and that in the case $m\le2-\frac{2}{n}$, if either $m<2-\frac{2}{n}$ or $M>2^\frac{n}{2}n^{n-1}ω_n$, then there exist radially symmetric initial data such that $\int_Ωu_0 = M$ and the solution blows up in finite or infinite time, where the blow-up time is infinite if $m=2-\frac2n$. In particular, if $m=2-\frac{2}{n}$ there is a critical mass phenomenon in the sense that $\inf\left\{M > 0 : \exists u_0 \text{ with } \int_Ωu_0 = M \text{ such that the corresponding solution blows up in infinite time}\right\}$ is a finite positive number.
△ Less
Submitted 2 February, 2023;
originally announced February 2023.
-
Chemotaxis(-fluid) systems with logarithmic sensitivity and slow consumption: global generalized solutions and eventual smoothness
Authors:
Mario Fuest
Abstract:
We consider the system \begin{align*}
\begin{cases}
n_t + u \cdot \nabla n = Δn - χ\nabla \cdot (\frac{n}{c} \nabla c), \\
c_t + u \cdot \nabla c = Δc - nf(c), \\
u_t + (u \cdot \nabla) u = Δu + \nabla P + n \nabla φ, \quad \nabla \cdot u = 0,
\end{cases} \end{align*} in smooth bounded domains $Ω\subset \mathbb R^N$, $N \in \mathbb N$, for given $f \ge 0$, $φ$ and complemented with initi…
▽ More
We consider the system \begin{align*}
\begin{cases}
n_t + u \cdot \nabla n = Δn - χ\nabla \cdot (\frac{n}{c} \nabla c), \\
c_t + u \cdot \nabla c = Δc - nf(c), \\
u_t + (u \cdot \nabla) u = Δu + \nabla P + n \nabla φ, \quad \nabla \cdot u = 0,
\end{cases} \end{align*} in smooth bounded domains $Ω\subset \mathbb R^N$, $N \in \mathbb N$, for given $f \ge 0$, $φ$ and complemented with initial and homogeneous Neumann--Neumann--Dirichlet boundary conditions, which models aerobic bacteria in a fluid drop. We assume $f(0) = 0$ and $f'(0) = 0$, that is, that $f$ decays slower than linearly near $0$, and construct global generalized solutions provided that either $N=2$ or $N > 2$ and no fluid is present.
If additionally $N=2$, we next prove that this solution eventually becomes smooth and stabilizes in the large-time limit. We emphasize that these results require smallness neither of $χ$ nor of the initial data.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
Possible points of blow-up in chemotaxis systems with spatially heterogeneous logistic source
Authors:
Tobias Black,
Mario Fuest,
Johannes Lankeit,
Masaaki Mizukami
Abstract:
We discuss the influence of possible spatial inhomogeneities in the coefficients of logistic source terms in parabolic-elliptic chemotaxis-growth systems of the form \begin{align*} u_t &= Δu - \nabla\cdot(u\nabla v) + κ(x)u-μ(x)u^2, 0 &= Δv - v + u \end{align*} in smoothly bounded domains $Ω\subset\mathbb{R}^2$. Assuming that the coefficient functions satisfy $κ,μ\in C^0(\overlineΩ)$ with…
▽ More
We discuss the influence of possible spatial inhomogeneities in the coefficients of logistic source terms in parabolic-elliptic chemotaxis-growth systems of the form \begin{align*} u_t &= Δu - \nabla\cdot(u\nabla v) + κ(x)u-μ(x)u^2, 0 &= Δv - v + u \end{align*} in smoothly bounded domains $Ω\subset\mathbb{R}^2$. Assuming that the coefficient functions satisfy $κ,μ\in C^0(\overlineΩ)$ with $μ\geq0$ we prove that finite-time blow-up of the classical solution can only occur in points where $μ$ is zero, i.e.\ that the blow-up set $\mathcal{B}$ is contained in \begin{align*} \big\{x\in\overlineΩ\midμ(x)=0\big\}. \end{align*} Moreover, we show that whenever $μ(x_0)>0$ for some $x_0\in\overlineΩ$, then one can find an open neighbourhood $U$ of $x_0$ in $\overlineΩ$ such that $u$ remains bounded in $U$ throughout evolution.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Global existence of classical solutions and numerical simulations of a cancer invasion model
Authors:
Mario Fuest,
Shahin Heydari,
Petr Knobloch,
Johannes Lankeit,
Thomas Wick
Abstract:
In this paper, we study a cancer invasion model both theoretically and numerically. The model is a nonstationary, nonlinear system of three coupled partial differential equations modeling the motion of cancer cells, degradation of the extracellular matrix, and certain enzymes. We first establish existence of global classical solutions in both two- and three-dimensional bounded domains, despite the…
▽ More
In this paper, we study a cancer invasion model both theoretically and numerically. The model is a nonstationary, nonlinear system of three coupled partial differential equations modeling the motion of cancer cells, degradation of the extracellular matrix, and certain enzymes. We first establish existence of global classical solutions in both two- and three-dimensional bounded domains, despite the lack of diffusion of the matrix-degrading enzymes and corresponding regularizing effects in the analytical treatment. Next, we give a weak formulation and apply finite differences in time and a Galerkin finite element scheme for spatial discretization. The overall algorithm is based on a fixed-point iteration scheme. In order to substantiate our theory and numerical framework, several numerical simulations are carried out in two and three spatial dimensions.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Strong convergence of weighted gradients in parabolic equations and applications to global generalized solvability of cross-diffusive systems
Authors:
Mario Fuest
Abstract:
In the first part of the present paper, we show that strong convergence of $(v_{0 \varepsilon})_{\varepsilon \in (0, 1)}$ in $L^1(Ω)$ and weak convergence of $(f_{\varepsilon})_{\varepsilon \in (0, 1)}$ in $L_{\textrm{loc}}^1(\overline Ω\times [0, \infty))$ not only suffice to conclude that solutions to the initial boundary value problem \begin{align*}
\begin{cases}
v_{\varepsilon t} = Δv_\var…
▽ More
In the first part of the present paper, we show that strong convergence of $(v_{0 \varepsilon})_{\varepsilon \in (0, 1)}$ in $L^1(Ω)$ and weak convergence of $(f_{\varepsilon})_{\varepsilon \in (0, 1)}$ in $L_{\textrm{loc}}^1(\overline Ω\times [0, \infty))$ not only suffice to conclude that solutions to the initial boundary value problem \begin{align*}
\begin{cases}
v_{\varepsilon t} = Δv_\varepsilon + f_\varepsilon(x, t) & \text{in $Ω\times (0, \infty)$}, \\
\partial_νv_\varepsilon = 0 & \text{on $\partial Ω\times (0, \infty)$}, \\
v_\varepsilon(\cdot, 0) = v_{0 \varepsilon} & \text{in $Ω$},
\end{cases} \end{align*} which we consider in smooth, bounded domains $Ω$, converge to the unique weak solution of the limit problem, but that also certain weighted gradients of $v_\varepsilon$ converge strongly in $L_{\textrm{loc}}^2(\overline Ω\times [0, \infty))$ along a subsequence.
We then make use of these findings to obtain global generalized solutions to various cross-diffusive systems. Inter alia, we establish global generalized solvability of the system \begin{align*}
\begin{cases}
u_t = Δu - χ\nabla \cdot (\frac{u}{v} \nabla v) + g(u), \\
v_t = Δv - uv,
\end{cases} \end{align*} where $χ> 0$ and $g \in C^1([0, \infty))$ are given, merely provided that ($g(0) \geq 0$ and) $-g$ grows superlinearily. This result holds in all space dimensions and does neither require any symmetry assumptions nor the smallness of certain parameters. Thereby, we expand on a corresponding result for quadratically growing $-g$ proved by Lankeit and Lankeit (Nonlinearity, 32(5):1569--1596, 2019).
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
Unboundedness phenomenon in a model of urban crime
Authors:
Mario Fuest,
Frederic Heihoff
Abstract:
We show that spatial patterns ("hotspots") may form in the crime model
\begin{equation}
\left\{\;
\begin{aligned}
u_{t} &= \tfrac{1}{\varepsilon}Δu - \tfracχ{\varepsilon} \nabla \cdot \left(\tfrac{u}{v} \nabla v \right) - \varepsilon uv, \\
v_{t} &= Δv - v + u v,
\end{aligned}
\right.
\end{equation}
which we consider in $Ω= B_R(0) \subset \mathbb R^n$, $R > 0$, $n \geq 3$ with…
▽ More
We show that spatial patterns ("hotspots") may form in the crime model
\begin{equation}
\left\{\;
\begin{aligned}
u_{t} &= \tfrac{1}{\varepsilon}Δu - \tfracχ{\varepsilon} \nabla \cdot \left(\tfrac{u}{v} \nabla v \right) - \varepsilon uv, \\
v_{t} &= Δv - v + u v,
\end{aligned}
\right.
\end{equation}
which we consider in $Ω= B_R(0) \subset \mathbb R^n$, $R > 0$, $n \geq 3$ with $\varepsilon > 0$, $χ> 0$ and initial data $u_0$, $v_0$ with sufficiently large initial mass $m := \int_Ωu_0$.
More precisely, for each $T > 0$ and fixed $Ω$, $χ$ and (large) $m$, we construct initial data $v_0$ exhibiting the following unboundedness phenomenon: Given any $M>0$, we can find $\varepsilon > 0$ such that the first component of the associated maximal solution becomes larger than $M$ at some point in $Ω$ before the time $T$. Since the $L^1$ norm of $u$ is decreasing, this implies that some heterogeneous structure must form.
We do this by first constructing classical solutions to the nonlocal scalar problem
\[
w_t = Δw + m \frac{w^{χ+1}}{\int_Ωw^χ}
\]
from the solutions to the crime model by taking the limit $\varepsilon \searrow 0$ under the assumption that the unboundedness phenomenon explicitly does not occur on some interval $(0,T)$. We then construct initial data for this scalar problem leading to blow-up before time $T$. As solutions to the scalar problem are unique, this proves our central result by contradiction.
△ Less
Submitted 12 June, 2024; v1 submitted 2 September, 2021;
originally announced September 2021.
-
Global weak solutions to fully cross-diffusive systems with nonlinear diffusion and saturated taxis sensitivity
Authors:
Mario Fuest
Abstract:
Systems of the type $$\begin{cases} u_t = \nabla \cdot (D_1(u) \nabla u - S_1(u) \nabla v) + f_1(u, v),\\ v_t = \nabla \cdot (D_2(v) \nabla v + S_2(v) \nabla u) + f_2(u, v) \end{cases} \qquad (\star)$$ can be used to model pursuit-evasion relationships between predators and prey. Apart from local kinetics given by $f_1$ and $f_2$, the key components in this system are the taxis terms…
▽ More
Systems of the type $$\begin{cases} u_t = \nabla \cdot (D_1(u) \nabla u - S_1(u) \nabla v) + f_1(u, v),\\ v_t = \nabla \cdot (D_2(v) \nabla v + S_2(v) \nabla u) + f_2(u, v) \end{cases} \qquad (\star)$$ can be used to model pursuit-evasion relationships between predators and prey. Apart from local kinetics given by $f_1$ and $f_2$, the key components in this system are the taxis terms $-\nabla \cdot (S_1(u) \nabla v)$ and $+\nabla \cdot (S_2(v) \nabla u)$; that is, the species are not only assumed to move around randomly in space but are also able to partially direct their movement depending on the nearby presence of the other species. In the present article, we construct global weak solutions of ($\star$) for certain prototypical nonlinear functions $D_i$, $S_i$ and $f_i$, $i \in \{1, 2\}$. To that end, we first make use of a fourth-order regularization to obtain global solutions to approximate systems and then rely on an entropy-like identity associated with ($\star$) for obtaining various a~priori estimates.
△ Less
Submitted 24 November, 2021; v1 submitted 26 May, 2021;
originally announced May 2021.
-
On the optimality of upper estimates near blow-up in quasilinear Keller--Segel systems
Authors:
Mario Fuest
Abstract:
Solutions $(u, v)$ to the chemotaxis system \begin{align*}
\begin{cases}
u_t = \nabla \cdot ( (u+1)^{m-1} \nabla u - u (u+1)^{q-1} \nabla v), \\
τv_t = Δv - v + u
\end{cases} \end{align*} in a ball $Ω\subset \mathbb R^n$, $n \ge 2$, wherein $m, q \in \mathbb R$ and $τ\in \{0, 1\}$ are given parameters with $m - q > -1$, cannot blow up in finite time provided $u$ is uniformly-in-time bounde…
▽ More
Solutions $(u, v)$ to the chemotaxis system \begin{align*}
\begin{cases}
u_t = \nabla \cdot ( (u+1)^{m-1} \nabla u - u (u+1)^{q-1} \nabla v), \\
τv_t = Δv - v + u
\end{cases} \end{align*} in a ball $Ω\subset \mathbb R^n$, $n \ge 2$, wherein $m, q \in \mathbb R$ and $τ\in \{0, 1\}$ are given parameters with $m - q > -1$, cannot blow up in finite time provided $u$ is uniformly-in-time bounded in $L^p(Ω)$ for some $p > p_0 := \frac n2 (1 - (m - q))$.
For radially symmetric solutions, we show that, if $u$ is only bounded in $L^{p_0}(Ω)$ and the technical condition $m > \frac{n-2 p_0}{n}$ is fulfilled, then, for any $α> \frac{n}{p_0}$, there is $C > 0$ with \begin{align*}
u(x, t) \leq C |x|^{-α} \qquad \text{for all $x \in Ω$ and $t \in (0, T_{\max})$}, \end{align*} $T_{\max} \in (0, \infty]$ denoting the maximal existence time. This is essentially optimal in the sense that, if this estimate held for any $α< \frac{n}{p_0}$, then $u$ would already be bounded in $L^{p}(Ω)$ for some $p > p_0$.
Moreover, we also give certain upper estimates for chemotaxis systems with nonlinear signal production, even without any additional boundedness assumptions on $u$.
The proof is mainly based on deriving pointwise gradient estimates for solutions of the Poisson or heat equation with a source term uniformly-in-time bounded in $L^{p_0}(Ω)$.
△ Less
Submitted 27 July, 2020;
originally announced July 2020.
-
Approaching optimality in blow-up results for Keller-Segel systems with logistic-type dampening
Authors:
Mario Fuest
Abstract:
Nonnegative solutions of the Neumann initial-boundary value problem for the chemotaxis system \begin{align}\label{prob:star}\tag{$\star$} \begin{cases} u_t = Δu - \nabla \cdot (u \nabla v) + λu - μu^κ, \\\\ 0 = Δv - \overline m(t) + u, \quad \overline m(t) = \frac1{|Ω|} \int_Ωu(\cdot, t) \end{cases} \end{align} in smooth bounded domains $Ω\subset \mathbb R^n$, $n \ge 1$, are known to be global-in-…
▽ More
Nonnegative solutions of the Neumann initial-boundary value problem for the chemotaxis system \begin{align}\label{prob:star}\tag{$\star$} \begin{cases} u_t = Δu - \nabla \cdot (u \nabla v) + λu - μu^κ, \\\\ 0 = Δv - \overline m(t) + u, \quad \overline m(t) = \frac1{|Ω|} \int_Ωu(\cdot, t) \end{cases} \end{align} in smooth bounded domains $Ω\subset \mathbb R^n$, $n \ge 1$, are known to be global-in-time if $λ\geq 0$, $μ> 0$ and $κ> 2$.
In the present work, we show that the exponent $κ= 2$ is actually critical in the four- and higher dimensional setting. More precisely, if \begin{alignat*}{3} \qquad n &\geq 4, &&\quad κ\in (1, 2) \quad &&\text{and} \quad μ> 0 \\\\ \text{or}\qquad n &\geq 5, &&\quad κ= 2 \quad &&\text{and} \quad μ\in \left(0, \frac{n-4}{n}\right), \end{alignat*} for balls $Ω\subset \mathbb R^n$ and parameters $λ\geq 0$, $m_0 > 0$, we construct a nonnegative initial datum $u_0 \in C^0(\overline Ω)$ with $\int_Ωu_0 = m_0$ for which the corresponding solution $(u, v)$ of \eqref{prob:star} blows up in finite time. Moreover, in 3D, we obtain finite-time blow-up for $κ\in (1, \frac32)$ (and $λ\geq 0$, $μ> 0$).
As the corner stone of our analysis, for certain initial data, we prove that the mass accumulation function $w(s, t) = \int_0^{\sqrt[n]{s}} ρ^{n-1} u(ρ, t) \,\mathrm dρ$ fulfills the estimate $w_s \le \frac{w}{s}$. Using this information, we then obtain finite-time blow-up of $u$ by showing that for suitably chosen initial data, $s_0$ and $γ$, the function $φ(t) = \int_0^{s_0} s^{-γ} (s_0 - s) w(s, t)$ cannot exist globally.
△ Less
Submitted 2 July, 2020;
originally announced July 2020.
-
Relaxed parameter conditions for chemotactic collapse in logistic-type parabolic-elliptic Keller-Segel systems
Authors:
Tobias Black,
Mario Fuest,
Johannes Lankeit
Abstract:
We study the finite-time blow-up in two variants of the parabolic-elliptic Keller-Segel system with nonlinear diffusion and logistic source. In $n$-dimensional balls, we consider \begin{align*} \begin{cases} u_t = \nabla \cdot ((u+1)^{m-1}\nabla u - u\nabla v) + λu - μu^{1+κ}, \\ 0 = Δv - \frac1{|Ω|} \int_Ωu + u \end{cases} \tag{JL} \end{align*} and \begin{align*} \begin{cases} u_t = \nabla \cdot…
▽ More
We study the finite-time blow-up in two variants of the parabolic-elliptic Keller-Segel system with nonlinear diffusion and logistic source. In $n$-dimensional balls, we consider \begin{align*} \begin{cases} u_t = \nabla \cdot ((u+1)^{m-1}\nabla u - u\nabla v) + λu - μu^{1+κ}, \\ 0 = Δv - \frac1{|Ω|} \int_Ωu + u \end{cases} \tag{JL} \end{align*} and \begin{align*} \begin{cases} u_t = \nabla \cdot ((u+1)^{m-1}\nabla u - u\nabla v) + λu - μu^{1+κ}, \\ 0 = Δv - v + u, \end{cases}\tag{PE} \end{align*} where $λ$ and $μ$ are given spatially radial nonnegative functions and $m, κ> 0$ are given parameters subject to further conditions. In a unified treatment, we establish a bridge between previously employed methods on blow-up detection and relatively new results on pointwise upper estimates of solutions in both of the systems above and then, making use of this newly found connection, provide extended parameter ranges for $m,κ$ leading to the existence of finite-time blow-up solutions in space dimensions three and above. In particular, for constant $λ, μ> 0$, we find that there are initial data which lead to blow-up in (JL) if \begin{alignat*}{2} 0 \leq κ&< \min\left\{\frac{1}{2}, \frac{n - 2}{n} - (m-1)_+ \right\}&&\qquad\text{if } m\in\left[\frac{2}{n},\frac{2n-2}{n}\right)\\ \text{ or }\quad 0 \leq κ&<\min\left\{\frac{1}{2},\frac{n-1}n-\frac{m}2\right\} &&\qquad \text{if } m\in\left(0,\frac{2}{n}\right), \end{alignat*} and in (PE) if $m \in [1, \frac{2n-2}{n})$ and \begin{align*} 0 \leq κ< \min\left\{\frac{(m-1) n + 1}{2(n-1)}, \frac{n - 2 - (m-1) n}{n(n-1)} \right\}. \end{align*}
△ Less
Submitted 7 May, 2021; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Long-term behaviour in a parabolic-elliptic chemotaxis-consumption model
Authors:
Mario Fuest,
Johannes Lankeit,
Masaaki Mizukami
Abstract:
Global existence and boundedness of classical solutions of the chemotaxis--consumption system \begin{align*}
n_t &= Δn - \nabla \cdot (n \nabla c), \\
0 &= Δc - nc, \end{align*} under no-flux boundary conditions for $n$ and Robin-type boundary conditions \[
\partial_ν c = (γ-c) g \] for $c$ (with $γ>0$ and $C^{1+β}(\partialΩ) \ni g > 0$ for some $β\in(0,1)$) are established in bounded domain…
▽ More
Global existence and boundedness of classical solutions of the chemotaxis--consumption system \begin{align*}
n_t &= Δn - \nabla \cdot (n \nabla c), \\
0 &= Δc - nc, \end{align*} under no-flux boundary conditions for $n$ and Robin-type boundary conditions \[
\partial_ν c = (γ-c) g \] for $c$ (with $γ>0$ and $C^{1+β}(\partialΩ) \ni g > 0$ for some $β\in(0,1)$) are established in bounded domains $Ω\subset\mathbb{R}^{N}$, $N\ge 1$. Under a smallness condition on $γ$, moreover, we show convergence to the stationary solution.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Global solutions near homogeneous steady states in a multi-dimensional population model with both predator- and prey-taxis
Authors:
Mario Fuest
Abstract:
We study the system \begin{align*}\label{prob:star} \tag{$\star$} \begin{cases}
u_t = D_1 Δu - χ_1 \nabla \cdot (u \nabla v) + u(λ_1 - μ_1 u + a_1 v) \\
v_t = D_2 Δv + χ_2 \nabla \cdot (v \nabla u) + v(λ_2 - μ_2 v - a_2 u) \end{cases} \end{align*} (inter alia) for $D_1, D_2, χ_1, χ_2, λ_1, λ_2, μ_1, μ_2, a_1, a_2 > 0$ in smooth, bounded domains $Ω\subset \mathbb R^n$, $n \in \{1, 2, 3\}$.
Wi…
▽ More
We study the system \begin{align*}\label{prob:star} \tag{$\star$} \begin{cases}
u_t = D_1 Δu - χ_1 \nabla \cdot (u \nabla v) + u(λ_1 - μ_1 u + a_1 v) \\
v_t = D_2 Δv + χ_2 \nabla \cdot (v \nabla u) + v(λ_2 - μ_2 v - a_2 u) \end{cases} \end{align*} (inter alia) for $D_1, D_2, χ_1, χ_2, λ_1, λ_2, μ_1, μ_2, a_1, a_2 > 0$ in smooth, bounded domains $Ω\subset \mathbb R^n$, $n \in \{1, 2, 3\}$.
Without any further restrictions on these parameters, we prove that there exists a constant stable steady state $(u_\star, v_\star) \in [0, \infty)^2$, meaning that there is $\varepsilon > 0$ such that, if $u_0, v_0 \in W^{2, 2}(Ω)$ are nonnegative with $\partial_νu_0 = \partial_νv_0 = 0$ in the sense of traces and \begin{align*} \|u_0 - u_\star\|_{W^{2,2}(Ω)} + \|v_0 - v_\star\|_{W^{2,2}(Ω)} < \varepsilon, \end{align*} then there exists a global classical solution $(u, v)$ of \eqref{prob:star} with initial data $u_0, v_0$ converging to $(u_\star, v_\star)$ in $W^{2, 2}(Ω)$.
Moreover, the convergence rate is exponential, except for the case $λ_2 μ_1 = λ_1 a_2$, where it is is only algebraical.
△ Less
Submitted 21 August, 2020; v1 submitted 9 April, 2020;
originally announced April 2020.
-
When do Keller-Segel systems with heterogeneous logistic sources admit generalized solutions?
Authors:
Jianlu Yan,
Mario Fuest
Abstract:
We construct global generalized solutions to the chemotaxis system
\begin{align*}
\begin{cases}
u_t = Δu - \nabla \cdot (u \nabla v) + λ(x) u - μ(x) u^κ,\\
v_t = Δv - v + u
\end{cases}
\end{align*} in smooth, bounded domains $Ω\subset \mathbb R^n$, $n \geq 2$, for certain choices of $λ, μ$ and $κ$.
Here, inter alia, the selections $μ(x) = |x|^α$ with $α< 2$ and $κ= 2$as well as…
▽ More
We construct global generalized solutions to the chemotaxis system
\begin{align*}
\begin{cases}
u_t = Δu - \nabla \cdot (u \nabla v) + λ(x) u - μ(x) u^κ,\\
v_t = Δv - v + u
\end{cases}
\end{align*} in smooth, bounded domains $Ω\subset \mathbb R^n$, $n \geq 2$, for certain choices of $λ, μ$ and $κ$.
Here, inter alia, the selections $μ(x) = |x|^α$ with $α< 2$ and $κ= 2$as well as $μ\equiv μ_1 > 0$ and $κ> \min\{\frac{2n-2}{n}, \frac{2n+4}{n+4}\}$ are admissible (in both cases for any sufficiently smooth $λ$).
While the former case appears to be novel in general, in the two- and three-dimensional setting, the latter improves on a recent result by Winkler (Adv. Nonlinear Anal. 9 (2019), no. 1, 526-566), where the condition $κ> \frac{2n+4}{n+4}$ has been imposed. In particular, for $n = 2$, our result shows that taking any $κ> 1$ suffices to exclude the possibility of collapse into a persistent Dirac distribution.
△ Less
Submitted 5 April, 2020;
originally announced April 2020.
-
Blow-up profiles in quasilinear fully parabolic Keller--Segel systems
Authors:
Mario Fuest
Abstract:
We examine finite-time blow-up solutions $(u, v)$ to \begin{align} \label{prob:star} \tag{$\star$}
\begin{cases} u_t = \nabla \cdot (D(u, v) \nabla u - S(u, v) \nabla v), v_t = Δv - v + u
\end{cases} \end{align} in a ball $Ω\subset \mathbb R^n$, $n \ge 2$, where $D$ and $S$ generalize the functions \begin{align*}
D(u, v) = (u+1)^{m-1}
\quad \text{and} \quad
S(u, v) = u (u+1)^{q-1} \end{a…
▽ More
We examine finite-time blow-up solutions $(u, v)$ to \begin{align} \label{prob:star} \tag{$\star$}
\begin{cases} u_t = \nabla \cdot (D(u, v) \nabla u - S(u, v) \nabla v), v_t = Δv - v + u
\end{cases} \end{align} in a ball $Ω\subset \mathbb R^n$, $n \ge 2$, where $D$ and $S$ generalize the functions \begin{align*}
D(u, v) = (u+1)^{m-1}
\quad \text{and} \quad
S(u, v) = u (u+1)^{q-1} \end{align*} with $m, q \in \mathbb R$.
We show that if $m \gt \frac{n-2}{n}$ as well as $m-q \gt -\frac1n$ and $(u, v)$ is a nonnegative, radially symmetric classical solution to \eqref{prob:star} blowing up at $T_{\textrm{max}} \lt \infty$, then there exists a so-called blow-up profile $U \colon Ω\setminus \{0\} \to [0, \infty)$ satisfying \begin{align*} u(\cdot, t) \to U \quad \text{in $C_{\textrm{loc}}^2(\bar Ω\setminus \{0\})$ as $t \nearrow T_{\textrm{max}}$}. \end{align*} Moreover, for all $α\gt n$ with \begin{align*}
α\gt \frac{n(n-1)}{(m-q)n + 1} \end{align*} we can find $C \gt 0$ such that \begin{align*}
U(x) \le C |x|^{-α} \end{align*} for all $x \in Ω$.
△ Less
Submitted 26 September, 2019;
originally announced September 2019.
-
Finite-time blow-up in a two-dimensional Keller--Segel system with an environmental dependent logistic source
Authors:
Mario Fuest
Abstract:
The Neumann initial-boundary problem for the chemotaxis system \begin{align} \label{prob:abstract} \tag{$\star$}
\begin{cases}
u_t = Δu - \nabla \cdot (u \nabla v) + κ(|x|) u - μ(|x|) u^p, \\
0 = Δv - \frac{m(t)}{|Ω|} + u, \quad m(t) := \int_Ωu(\cdot, t)
\end{cases} \end{align} is studied in a ball $Ω= B_R(0) \subset \mathbb R^2$, $R \gt 0$ for $p \ge 1$ and sufficiently smooth functions…
▽ More
The Neumann initial-boundary problem for the chemotaxis system \begin{align} \label{prob:abstract} \tag{$\star$}
\begin{cases}
u_t = Δu - \nabla \cdot (u \nabla v) + κ(|x|) u - μ(|x|) u^p, \\
0 = Δv - \frac{m(t)}{|Ω|} + u, \quad m(t) := \int_Ωu(\cdot, t)
\end{cases} \end{align} is studied in a ball $Ω= B_R(0) \subset \mathbb R^2$, $R \gt 0$ for $p \ge 1$ and sufficiently smooth functions $κ, μ: [0, R] \rightarrow [0, \infty)$.
We prove that whenever $μ', -κ' \ge 0$ as well as $μ(s) \le μ_1 s^{2p-2}$ for all $s \in [0, R]$ and some $μ_1 \gt 0$ then for all $m_0 \gt 8 π$ there exists $u_0 \in C^0(\overline Ω)$ with $\int_Ωu_0 = m_0$ and a solution $(u, v)$ to \eqref{prob:abstract} with initial datum $u_0$ blowing up in finite time. If in addition $κ\equiv 0$ then all solutions with initial mass smaller than $8 π$ are global in time, displaying a certain critical mass phenomenon.
On the other hand, if $p \gt 2$, we show that for all $μ$ satisfying $μ(s) \ge μ_1 s^{p-2-\varepsilon}$ for all $s \in [0, R]$ and some $μ_1, \varepsilon \gt 0$ the system \eqref{prob:abstract} admits a global classical solution for each initial datum $0 \le u_0 \in C^0(\overline Ω)$
△ Less
Submitted 11 May, 2019;
originally announced May 2019.
-
Analysis of a chemotaxis model with indirect signal absorption
Authors:
Mario Fuest
Abstract:
We consider the chemotaxis model \begin{align*} \begin{cases} u_t = Δu - \nabla \cdot (u \nabla v), \\ v_t = Δv - vw, \\ w_t = -δw + u \end{cases} \end{align*} in smooth, bounded domains $Ω\subset \mathbb R^n$, $n \in \mathbb N$, where $δ\gt 0$ is a given parameter. If either $n \le 2$ or $\|v_0\|_{L^\infty(Ω)} \le \frac1{3n}$ we show the existence of a unique global classical solution…
▽ More
We consider the chemotaxis model \begin{align*} \begin{cases} u_t = Δu - \nabla \cdot (u \nabla v), \\ v_t = Δv - vw, \\ w_t = -δw + u \end{cases} \end{align*} in smooth, bounded domains $Ω\subset \mathbb R^n$, $n \in \mathbb N$, where $δ\gt 0$ is a given parameter. If either $n \le 2$ or $\|v_0\|_{L^\infty(Ω)} \le \frac1{3n}$ we show the existence of a unique global classical solution $(u, v, w)$ and convergence of $(u(\cdot, t), v(\cdot, t), w(\cdot, t))$ towards a spatially constant equilibrium, as $t \to \infty$. The proof of global existence for the case $n \le 2$ relies on a bootstrap procedure. As a starting point we derive a functional inequality for a functional being sublinear in $u$, which appears to be novel in this context.
△ Less
Submitted 21 January, 2019;
originally announced January 2019.
-
Boundedness enforced by mildly saturated conversion in a chemotaxis-May-Nowak model for virus infection
Authors:
Mario Fuest
Abstract:
We study the system \begin{align*} \label{prob:star} \tag{$\star$}
\begin{cases}
u_t = Δu - \nabla \cdot (u \nabla v) - u - f(u) w + κ, \\
v_t = Δv - v + f(u) w, \\
w_t = Δw - w + v,
\end{cases} \end{align*} which models the virus dynamics in an early stage of an HIV infection, in a smooth, bounded domain $Ω\subset \mathbb R^n, n \in \mathbb N,$ for a parameter $κ\ge 0$ and a given funct…
▽ More
We study the system \begin{align*} \label{prob:star} \tag{$\star$}
\begin{cases}
u_t = Δu - \nabla \cdot (u \nabla v) - u - f(u) w + κ, \\
v_t = Δv - v + f(u) w, \\
w_t = Δw - w + v,
\end{cases} \end{align*} which models the virus dynamics in an early stage of an HIV infection, in a smooth, bounded domain $Ω\subset \mathbb R^n, n \in \mathbb N,$ for a parameter $κ\ge 0$ and a given function $f \in C^1([0, \infty))$ satisfying $f \ge 0$, $f(0) = 0$ and $f(s) \le K_f s^α$ for all $s \ge 1$, some $K_f \gt 0$ and $α\in \mathbb R$.
We prove that whenever \begin{align*}
α\lt \frac2n, \end{align*} solutions to \eqref{prob:star} exist globally and are bounded. The proof mainly relies on smoothing estimates for the Neumann heat semigroup and (in the case $α\gt 1$) on a functional inequality.
Furthermore, we provide some indication why the exponent $\frac2n$ could be essentially optimal.
△ Less
Submitted 28 September, 2018;
originally announced September 2018.
