1. Introduction and main results
Various experiments with dilute bacteria have shown that they behave differently depending on their density, given rise to collective motions, patterns, and hydrodynamic instabilities (cf. [Reference Dunkel, Heidenreich, Drescher, Wensink and Bär14, Reference Wioland, Woodhouse, Dunkel, Kessler and Goldstein32]). In [Reference Amar3], the authors proposed a mathematical model to explain patterns similar to viscous finger motion for colony expansion driven by chemotaxis in radial geometry. The model has the form:
\begin{align} \partial _{t}n+\nabla \{n(\mathbf{u}+\chi \nabla v)-D\nabla n\} & =F_{1}(n,v),\nonumber\\[-28pt] \end{align}
\begin{align} \qquad\qquad\qquad\qquad\qquad\qquad v_{t} & =\Delta v+F_{2}(n,v), \end{align}
where
$n$
denotes the density of the bacteria,
$v$
denotes the concentration of chemoattractant and
$\mathbf{u}$
is the advection term. The parameter
$D$
is assumed positive; meanwhile,
$\chi$
is a constant that can be either positive or negative. The reaction term
$F_{1}$
describes cellular proliferation, while
$F_{2}$
is selected based on whether there is chemoattractant consumption or production by the colony itself.
In experiments over thin films, it has been shown that describing the hydrodynamic velocity
$\mathbf{u}$
accurately is difficult (cf. [Reference Amar and Bonn4, Reference Poiré and Amar27]). Several studies have shown that
$u$
can vary greatly depending on the shape of the particles (cf. [Reference Sokolov and Aranson28
Reference Saintillan29
Reference Saintillan and Shelley30]). For instance, Darcy’s law has been demonstrated to be sufficiently precise for spherical particles. However, the motion of rod-shaped particles, such as E. coli, presents a different scenario altogether. Experimentation with non-Newtonian fluids and adhesive elastomers has shown that the formula:
\begin{equation} \mathbf{u}(x,t)=-\frac{\nabla P}{\left \vert \nabla P\right \vert ^{\zeta }}, \end{equation}
where
$\zeta$
is a characteristic of bacterial activity and
$P$
is a normalised pressure, which describes in the colony the hydrodynamic velocity with significantly greater accuracy than the standard Darcy’s law. The parameter
$\zeta$
is negative in shear-thinning, positive in shear-thickening solutions, and
$\zeta =0$
represents the Newtonian case. To the best of our knowledge, this generalised Darcy’s law was first introduced for the case
$\zeta =2$
in reference [Reference Kondic, Palffy-Muhoray and Shelley23]. This generalisation was further extended for general exponents
$\zeta$
in references [Reference Amar and Bonn4, Reference Fast, Kondic, Shelley and Palffy-Muhoray17, Reference Poiré and Amar27]. In this paper, we focus on the case where
$\zeta \gt 0.$
Overall, the mathematical model (1)–(3) contributes to understanding and quantifying the physical properties of populations of rod-shaped particles which either promote cohesion or on the contrary dispersion to the colony. As a result of this, we propose to examine not only the conditions for having global solutions but also a potential blow-up.
The construction of local and global weak solutions for the system (1)–(3) proves challenging due to the integrability problems associated with the advection term expressed in (3). Our goal in this paper is to study a prototypical case with
$P=-\varrho \left \vert x\right \vert ^{2},$
where
$\varrho$
is a positive constant and
$\zeta =2,$
yielding the
\begin{equation*} \mathbf {u}(x,t)=\frac {x}{\varrho \left \vert x\right \vert ^{2}}. \end{equation*}
We consider the case where the chemotaxis is positive, meaning the particles move towards regions of high chemical concentration. Additionally, we assume
$F_{1}=0$
and
$F_{2}=n-v.$
In other words, bacterial proliferation is neglected and the chemoattractant is produced by the organisms themselves. Consequently, we obtain the system
\begin{align*} \partial _{t}n+\nabla \cdot \left ( \frac{Qx}{\left \vert x\right \vert ^{2}}n\right ) & =D\Delta n-\chi \nabla \cdot \left ( n\nabla v\right ), \\[3pt] v_{t} & =\Delta v-v+n, \end{align*}
where
$D$
,
$\chi$
and
$Q$
(equal to
$1/\varrho$
in this case) denote positive constants. To simplify the analysis, we also assume that the diffusion of the chemical is much faster than that of the chemoattractant. Then, a classical rescaling argument leads us to describe the dynamics of the chemical by an elliptic equation (cf. [Reference Espejo, Stevens and Velázquez15, Reference Jäger and Luckhaus21]). This results in the following simplified version of the model:
\begin{equation} \begin{array}{ll} n_{t}+\nabla \cdot (\frac{Qx}{\left \vert x\right \vert ^{2}}n)=\Delta n-\chi \nabla \cdot (n\nabla v), & x\in B,\text{ \, \, \, }t\gt 0,\\[3pt] 0=\Delta v-\frac{\theta }{\pi }+n, & \text{ with } \text{ }\int _{B}v(\cdot, t)=0, x\in B,\text{ \, \, \ }t\gt 0,\\[3pt] \end{array} \, \, \, \, \, \, \, \, \, \, \, \end{equation}
where
$B$
represents a two-dimensional ball centred at the origin with radius equal to 1, and
$\theta \,:\!=\,\int _{B}n(x,0)$
.
A noteworthy observation is that the system (4) can also be interpreted as a Keller–Segel-type model, where the aggregation of particles is influenced by a radial fluid flow, either inwards or outwards. The direction of the fluid is determined by the sign of the parameter
$Q.$
Figure 1 illustrates this interpretation for the case of a radial source flow.
Visualization of cell aggregation driven by a radially symmetric source.
The literature on Keller–Segel-type models describing particle aggregation in the presence of a surrounding fluid has seen significant growth in the last decade. It is beyond the scope of this paper to provide an exhaustive list of references. Interested readers are referred to [Reference Bedrossian and He8, Reference Bellomo, Outada, Soler, Tao and Winkler9, Reference He and Tadmor20, Reference Kiselev and Xu22], and the references therein.
From this point onwards, we consider the general case where
$Q$
is a positive constant and introduce the notation:
\begin{equation} \mathbf{u(}x\mathbf{)}\,:\!=\,\frac{Q}{\left \vert x\right \vert ^{2}}x=Q\nabla \log \left \vert x\right \vert, \text{ where }x\in B\backslash \left \{ 0\right \} . \end{equation}
We impose no-flux boundary conditions
\begin{equation} \frac{\partial v}{\partial \mathbf{\eta }}=0,\text{and }\frac{\partial n}{\partial \mathbf{\eta }}-\chi n\frac{\partial v}{\partial \mathbf{\eta }}-n\frac{Qx}{\left \vert x\right \vert ^{2}}\cdot \mathbf{\eta }=0,\text{ \ }x\in \partial B,\text{ }t\gt 0\text{,} \end{equation}
and non-negative radial initial data in
$L^{1}$
denoted by:
\begin{equation} n(x,0)=n(\left \vert x\right \vert, 0)=n_{0}\geq 0. \end{equation}
We establish that if the initial data
$n_{0}$
satisfies the condition
$\int _{B}n_{0}(x)dx\lt \frac{4\pi \left ( 2-Q\right ) }{\chi }$
(Theorem1), then the solution exists globally in time. Furthermore, when
$\int _{B}n_{0}(x)dx\gt \frac{4\pi \left ( 2-Q\right ) }{\chi },$
then a blow-up is feasible, as demonstrated in theorem (Theorem2). Notably, blow-up always occurs when
$Q\gt 2$
.
Our main result on global existence of weak solutions is stated as follows.
Theorem 1
(Global existence). Let
$B\,:\!=\,B(0,1)\subseteq \mathbb{R}^{2}$
be a two-dimensional ball and let
$\mathbf{\eta }$
be the outward unit normal vector on
$\mathbf{\partial }B$
. Let
$Q\gt 0$
be a constant. Given a non-negative radial symmetrical function
$n_{0}\in L^{\infty }(B)$
satisfying
\begin{equation} \theta \,:\!=\,\int _{B}n_{0}dx\lt \frac{4\pi \left ( 2+Q\right ) }{\chi } \end{equation}
then the problem (4)–(7) has a weak solution
$n$
in the sense of definition 4
.
We also establish the possibility of blow-up in finite time:
Theorem 2
(Blow-up). Let
$B=B(0,1)\subset \mathbb{R}^{2}$
a ball and let
$\eta$
be its external normal to the boundary. Let us consider a local solution of the system (4)–(7). Let us denote
$m(t)\,:\!=\,\int _{B}n\left \vert x\right \vert ^{2}dx.$
If the initial mass
$\theta \,:\!=\,\int _{B}n_{0}dx$
satisfies
\begin{equation*} \theta \gt \frac {4\pi \left ( 2+Q\right ) }{\chi }\text { with }Q\gt 0. \end{equation*}
and
$m(0)\lt \frac{1}{2}\left ( \theta -\frac{4\pi \left ( 2+Q\right ) }{\chi }\right )$
then
$T_{\max }\leq -\frac{\pi }{\chi \theta }\log \left ( 1-\frac{m(0)}{\frac{1}{2}\left ( \theta -\frac{4\pi \left ( 2+Q\right ) }{\chi }\right ) }\right )$
and
\begin{equation} \underset{t\rightarrow T_{\max }}{\lim \sup }\left \Vert n(\cdot, t)\right \Vert _{L^{q}(B)}=\infty \text{ for any }q\gt 2. \end{equation}
Remark 3.
Here, it should be noticed that the case
$Q=0$
corresponds to the classical parabolic-elliptic Keller–Segel model. In this case, it is well known that the qualitative behaviour is divided basically in three cases:
\begin{equation*} \int _{B}n_{0}dx\lt \frac {8\pi }{\chi }\text { (subcritical ), }\int _{B}n_{0}dx=\frac {8\pi }{\chi }\text { (critical), }\int _{B}n_{0}dx\gt \frac {8\pi }{\chi }\text { (supercritical),}\end{equation*}
where under appropriate conditions the corresponding solution exists globally in the subcritical case while it blows up in the supercritical case (cf. [Reference Nagai26]). Thus, our result shows that the introduction of the hydrodynamics velocity given by (3) produce a ’shift’ in the critical mass of this system. We will elucidate how the corresponding proof utilises a recent version of the Moser–Trudinger inequality capable of handling singularities (cf.[Reference Adimurthi and Sandeep5]). Additionally, further study is required for non-radial cases and those with higher dimensions.
The structure of this paper is outlined as follows. In Section 2, we introduce regularisation to our model, leading to a version endowed with an energy functional. By subsequently passing to the limit in the regularised system, we establish the existence of local solutions for our original model. In Section 3, we employ a singular variant of the Moser–Trudinger inequality to demonstrate the existence of global solutions. Finally, in Section 4, we derive sufficient conditions for finite-time blow-up. Our analysis yields a novel threshold condition determining the feasibility of global existence versus blow-up.
2. Definition of weak solution
In the classical parabolic-elliptic Keller–Segel model, measure solutions are a well-established concept (cf. [Reference Senba and Suzuki31]). However, when addressing the system (4)–(7), defining a similar notion becomes more intricate due to the non-integrability of the singular flux:
\begin{equation*} \mathbf {u(}x\mathbf {)}=Qx/\left \vert x\right \vert ^{2}. \end{equation*}
To ensure proper definition of the term
$\nabla \cdot (\frac{Qx}{\left \vert x\right \vert ^{2}}n)$
as a distribution, we observe that
$\left \vert x/\left \vert x\right \vert ^{2}\right \vert =\frac{1}{\left \vert x\right \vert }\in L^{s}(B)$
for all
$\ s\in \lbrack 1,2)$
. Therefore, we will require
$n\in L^{q}$
for some
$q\gt 2$
to guarantee
$nx/\left \vert x\right \vert ^{2}\in L^{1}$
by virtue of Hölder’s inequality. Consequently, we adopt the following definition of weak solution.
Definition 4.
Let
$T\gt 0$
and
$q\gt 2$
be fixed constants and
$n_{0}\in L^{\infty }(B)$
. Let us define the space
$V\,:\!=\,L^{\infty }((0,T);\,L^{q}(B))\cap L^{2}((0,T);\,H^{1}(B)).$
We say that a function
$n\in V$
is a weak solution to (4)–(7) if for any
$\phi \in H^{1}(B\times (0,T))$
\begin{equation} \int _{B}n\phi dx-\int _{0}^{t}\int _{B}n\phi _{\tau }dxd\tau +\int _{0}^{t}\int _{B}\left ( \nabla n-\chi n\nabla v-n\frac{Qx}{\left \vert x\right \vert ^{2}}\right ) \cdot \nabla \phi dxd\tau =\int _{B}n(x,0)\phi (x,0)dx, \end{equation}
and for any
$\gamma \in H^{1}(B)$
\begin{equation} \int _{B}\left ( \nabla v\cdot \nabla \gamma +\frac{\theta }{\pi }\gamma \right ) dx=\int _{B}n\gamma dx, \end{equation}
holds for a.e.
$t\in (0,T)$
,
$v=v(\cdot, t)$
$\in H^{1}(B)$
and
$\int _{B}vdx=0.$
To establish local existence, we initially regularise the model (4)–(7) by adapting the ideas in the reference [Reference Blanchet, Dolbeault and Perthame12] to our frame. To do so, we observe
$\nabla \left ( \log \left \vert x\right \vert \right ) =x/\left \vert x\right \vert ^{2}$
for
$x\neq 0$
. Next, we define
\begin{equation*} K^{\epsilon }(x)\,:\!=\,K\left ( \frac {x}{\epsilon }\right ), \end{equation*}
where
$\epsilon \gt 0$
and
$K$
is a radial monotone non increasing smooth function satisfying
\begin{equation*} K(x)\,:\!=\,\left \{ \begin {array}{ll} -\frac {1}{2\pi }\log \left \vert x\right \vert -\frac {1}{2\pi }\log \epsilon & if \left \vert x\right \vert \geq 4,\\[3pt] 0 & if \left \vert x\right \vert \leq 1.\\[3pt] \end {array} \, \, \, \, \, \, \, \, \, \, \, \, \ \right . \end{equation*}
Additionally, we assume
\begin{equation} \left \vert \nabla K(x)\right \vert \leq \frac{1}{2\pi \left \vert x\right \vert }\text{, }K(x)\leq -\frac{1}{2\pi }\log \left \vert x\right \vert \text{ and }-\Delta K(x)\geq 0\text{ for any }x\in \mathbb{R}^{2}. \end{equation}
Since
$K^{\epsilon }(x)=K\left ( \frac{x}{\epsilon }\right )$
, we have
\begin{equation} \left \vert \nabla K^{\epsilon }\left ( x\right ) \right \vert \leq \frac{1}{2\pi \left \vert x\right \vert }\text{ for all }x\in \mathbb{R}^{2}\backslash \{0\}. \end{equation}
Subsequently, we consider the following approximate system,
\begin{equation} \begin{array}{ll} \, \, \, \, n_{t}^{\epsilon }-\nabla \cdot (2\pi Qn^{\epsilon }\nabla K^{\epsilon })=\Delta n^{\epsilon }-\chi \nabla \cdot (n^{\epsilon }\nabla v^{\epsilon }) & x\in B,\text{ \, \, \ }t\gt 0,\\[3pt] \, \, \, \ \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \ 0=\Delta v^{\epsilon }-\frac{\theta }{\pi }+n^{\epsilon }, & with \text{ }\int _{B}v^{\epsilon }(\cdot, t)=0, x\in B,\text{ \, \, \ }t\gt 0,\\[3pt] \end{array} \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \, \ \end{equation}
accompanied by the no-flux boundary conditions
\begin{equation} \frac{\partial v^{\epsilon }}{\partial \mathbf{\eta }}=0,\text{and }\frac{\partial n^{\epsilon }}{\partial \mathbf{\eta }}-\chi n^{\epsilon }\frac{\partial v^{\epsilon }}{\partial \mathbf{\eta }}+2\pi Qn^{\epsilon }\nabla K^{\epsilon }\cdot \mathbf{\eta }=0,\text{ \ }x\in \partial B,\text{ }t\gt 0\text{,} \end{equation}
and non-negative, radially symmetric initial data given by:
\begin{equation} n^{\epsilon }(x,0)\,:\!=\,n(x,0)=n_{0}\geq 0. \end{equation}
The concept of weak solutions for the regularised model is defined as follows.
Definition 5.
Let
$T\gt 0$
a be fixed constant and
$n_{0}\in L^{2}(B).$
Let us define the space
$V_{2}\,:\!=\,L^{\infty }((0,T);\,L^{2}(B))\cap L^{2}((0,T);\,H^{1}(B)).$
We say that a function
$n^{\epsilon }\in V_{2}$
is a weak solution to (14)–(16) if for any
$\phi \in H^{1}(B\times (0,T))$
\begin{equation} \int _{B}n^{\epsilon }\phi dx-\int _{0}^{t}\int _{B}n^{\epsilon }\phi _{\tau }dxd\tau +\int _{0}^{t}\int _{B}\left ( \nabla n^{\epsilon }-\chi n^{\epsilon }\nabla v^{\epsilon }+2\pi Qn^{\epsilon }\nabla K^{\epsilon }\right ) \cdot \nabla \phi dxd\tau =\int _{B}n(x,0)\phi (x,0)dx, \end{equation}
and for any
$\gamma \in H^{1}(B)$
\begin{equation} \int _{B}\left ( \nabla v^{\epsilon }\cdot \nabla \gamma +\frac{\theta }{\pi }\gamma \right ) dx=\int _{B}n^{\epsilon }\gamma dx, \end{equation}
holds for a.e.
$t\in (0,T)$
,
$v^{\epsilon }=v^{\epsilon }(\cdot, t)$
$\in H^{1}(B)$
and
$\int _{B}v^{\epsilon }dx=0.$
3. Local existence of solutions for the regularised model
Let
$T\gt 0$
be a constant. Let us consider the space
$Y$
given by:
\begin{equation*} Y\,:\!=\,L^{4}((0,T);\,L^{2}(B)), \end{equation*}
whose norm
\begin{equation*} \left \vert \widetilde {n}\right \vert _{Y}\,:\!=\,\left ( \int _{0}^{T}\left \Vert \widetilde {n}(\cdot, t)\right \Vert _{L^{2}(B)}^{4}dt\right ) ^{1/4}=\left ( \int _{0}^{T}\left ( \int _{B}\widetilde {n}^{2}dx\right ) ^{2}dt\right ) ^{\frac {1}{4}}. \end{equation*}
is finite. We establish the local existence of solutions for the regularised model using the Schauder fixed-point theorem. To this end, we define the convex set
$B_{Y}(0,R)\,:\!=\,\left \{ \widetilde{n}\,:\,\left \vert \widetilde{n}\right \vert _{Y}\leq R,\text{ }\int _{B}\widetilde{n}(\cdot, t)dx=\int _{B}n_{0}dx\,=\!:\,\theta \right \}$
. Next, we construct a map
$\Gamma :B_{Y}(0,R)\rightarrow Y$
that associates each
$\widetilde{n}\in B_{Y}(0,R)$
with a function
$m\,:\!=\,\Gamma (\widetilde{n}),$
defined through the following two-step process.
-
1. We find the distributional solution
$\widetilde{v}$
to the semicoercive homogeneous Neumann problem(19)subject to the homogeneous Neumann boundary condition
\begin{equation} 0=\Delta \widetilde{v}-\frac{\theta }{\pi }+\widetilde{n},\text{ \, \, with }\int _{B}\widetilde{v}(\cdot, t)=0,\text{ }x\in B(0,1), \end{equation}
$\partial \widetilde{v}/\partial \mathbf{\eta }=0$
on
$\partial B$
, in the trace sense. The existence of a solution to this elliptic problem is standard, as outlined in [Reference Attouch, Buttazzo and Michaille6, Theorem 6.2.3].
-
2. We determine
$m$
the solution to the linear parabolic equation(20)with initial data
\begin{equation} m_{t}-\nabla \cdot \left ( 2\pi Qm\nabla K^{\epsilon }\right ) =\Delta m-\chi \nabla \cdot (m\nabla \widetilde{v}), \end{equation}
$m(x,0)=n_{0}$
and zero-flux boundary conditions. To establish the existence of solutions for this equation, we first rewrite it as:(21)We then employ regularity theory for elliptic equations to obtain, for each
\begin{equation} m_{t}=\Delta m-\operatorname{div}\left \{ m\left ( \chi \nabla \widetilde{v}-2\pi Q\nabla K^{\epsilon }\right ) \right \} . \end{equation}
$p\geq 1,$
a constant
$C_{1}(p)$
such that(22)From (13) and (22), we conclude
\begin{equation} \left \vert \nabla \widetilde{v}(\cdot, t)\right \vert _{L^{p}(B)}\leq C_{1}(p)\left \vert -\frac{\theta }{\pi }+\widetilde{n}\right \vert _{L^{2}(B)}\leq C_{1}\left ( \theta \sqrt{\pi }+\left \vert \widetilde{n}\right \vert _{L^{2}(B)}\right ) . \end{equation}
(23)Moreover, the Sobolev embedding theorem for traces (see [Reference Adams1, Th. 5.36]) gives
\begin{equation} \chi \nabla \widetilde{v}-2\pi Q\nabla K^{\epsilon }\in L^{4}(0,T;L^{p}(B))\text{ for all }p\geq 1. \end{equation}
$H^{1}(B)\subset L^{q}(\partial B)$
for all
$1\leq q\lt \infty$
, yielding(24)Consequently, we can invoke [Reference Ladyzenskaya, Solonnikov and Ural’ceva24, Chapter III, Theorem 5.1] to establish the existence of solutions to the linear parabolic equation (20).
\begin{equation} \left ( \chi \nabla \widetilde{v}-2\pi Q\nabla K^{\epsilon }\right ) \cdot \mathbf{\eta \in }L^{4}(0,T;L^{q}(\partial B))\text{ for all }q\geq 1. \end{equation}
Proposition 6.
Let us assume that
$n_{0}\in L^{2}(B)$
. There exists
$T=T(n_{0})\gt 0$
such that the regularised model (14)–(16) has a weak solution
$n^{\epsilon }$
in the sense of definition 5
. Moreover
$n_{t}^{\epsilon }\in L^{2}((0,T);H^{-1}(B))$
.
In the next two Lemmas, we prove that
$\Gamma (B_{Y}(0,R))\subseteq B_{Y}(0,R)$
as well as compactness of the operator
$\Gamma .$
Thus, the result of local existence given in Proposition 6 will follow directly from the Schauder fixed-point theorem. In order to simplify the proof, we previously introduce in the next Lemma a set of auxiliary estimates.
Lemma 7
(Estimates for the linearised problem). Let
$T\gt 0$
be a constant. Then the function
$m\,:\!=\,\Gamma (\widetilde{n})$
as defined above satisfies
-
a)
$\int _{B}m(x,t)dx=\int _{B}n(x,0)dx$
for all
$t\geq 0$
. -
b) For some constant
$K_{1}\gt 0$
independent of
$\epsilon$
(25)
\begin{equation} \int _{0}^{T}\left ( \int _{B}\widetilde{v}^{2}dx\right ) ^{2}dt+\int _{0}^{T}\left ( \int _{B}\left \vert \nabla \widetilde{v}\right \vert ^{2}dx\right ) ^{2}dt+\int _{0}^{T}\left ( \int _{B}\left \vert \Delta \widetilde{v}\right \vert ^{2}dx\right ) ^{2}dt\leq K_{1}. \end{equation}
-
c) There exists a constant
$K_{2}\gt 0$
independent of
$\epsilon$
such that
(26)
\begin{equation} \int _{B}m^{2}\Delta \widetilde{v}dx\leq K_{2}\left ( \int _{B}(\Delta \widetilde{v})^{2}dx+1\right ) \left ( \int _{B}m^{2}dx\right ) +\frac{1}{\chi }\int _{B}\left \vert \nabla m\right \vert ^{2}dx \end{equation}
-
d) There exists a constant
$K_{3}\gt 0$
independent of
$\epsilon$
such that
(27)There exists also a constant
\begin{equation} \int _{B}m^{2}(x,t)dx\leq K_{3}\text{ }\, \, \text{for }0\lt t\lt T. \end{equation}
$K_{4}\gt 0$
independent of
$\epsilon$
such that
(28)
\begin{equation} \left \Vert m\right \Vert _{L^{2}(0,T,H^{1}(B))}\leq K_{4}. \end{equation}
Proof. To streamline our proof, we will proceed with formal computations for smooth solutions. The validity of these computations can be justified through a testing process.
-
a) The equation for
$m$
together with the zero-flux boundary condition give us
$\frac{d}{dt}\int _{B}mdx=0$
. -
b) Utilising the regularity theory for linear elliptic equations, we determine that
$\widetilde{v}\in W^{2,2}(B)$
. This allows us to derive(29)Consequently,
\begin{align} \int _{B}\left \vert \Delta \widetilde{v}\right \vert ^{2}dx & =\int _{B}\left ( -\frac{\theta }{\pi }+\widetilde{n}\right ) ^{2}dx\leq 2\int _{B}\left ( \frac{\theta }{\pi }\right ) ^{2}dx+2\int _{B}\widetilde{n}^{2}dx\nonumber \\[3pt] & \leq \frac{2\theta ^{2}}{\pi }+2\int _{B}\widetilde{n}^{2}dx. \end{align}
(30)Further, Poincaré’s inequality give us a constant
\begin{align} \int _{0}^{t}\left ( \int _{B}\left \vert \Delta \widetilde{v}\right \vert ^{2}dx\right ) ^{2}dt & \leq \frac{8\theta ^{4}T}{\pi ^{2}}+4\int _{0}^{t}\left ( \int _{B}\widetilde{n}^{2}dx\right ) ^{2}dt\nonumber \\[3pt] & \leq \frac{8\theta ^{4}T}{\pi ^{2}}+4R^{4}. \end{align}
$C_{p}$
satisfying(31)Using this, we deduce
\begin{equation} \left ( \int _{B}v^{2}dx\right ) ^{1/2}\leq C_{p}\left ( \int _{B}\left \vert \nabla \widetilde{v}\right \vert ^{2}dx\right ) ^{1/2}. \end{equation}
Thus,
\begin{equation*} \int _{B}\left \vert \nabla \widetilde {v}\right \vert ^{2}dx=-\!\int _{B}v\Delta \widetilde {v}dx\leq \left ( \int _{B}v^{2}dx\right ) ^{1/2}\left ( \int _{B}\left \vert \Delta \widetilde {v}\right \vert ^{2}dx\right ) ^{1/2}\leq C_{P}\left ( \int _{B}\left \vert \nabla \widetilde {v}\right \vert ^{2}dx\right ) ^{1/2} \!\left ( \int _{B}\left \vert \Delta \widetilde {v}\right \vert ^{2}dx\right ) ^{1/2}. \end{equation*}
(32)By using (30), (31) and (32), we readily arrive at (25) with
\begin{equation} \left ( \int _{B}\left \vert \nabla \widetilde{v}\right \vert ^{2}dx\right ) ^{1/2}\leq C_{P}\left ( \int _{B}\left \vert \Delta \widetilde{v}\right \vert ^{2}dx\right ) ^{1/2}. \end{equation}
\begin{equation*} K_{1}\,:\!=\,\left ( 1+2C_{P}^{4}\right ) \left ( \frac {8\theta ^{4}T}{\pi ^{2}}+4R^{4}\right ) . \end{equation*}
-
c) Applying Cauchy’s inequality, we get
(33)Moreover, the Gagliardo–Nirenberg–Sobolev interpolation inequality provides constants
\begin{equation} \int _{B}m^{2}\Delta \widetilde{v}dx\leq \left ( \int _{B}m^{4}dx\right ) ^{1/2}\left ( \int _{B}(\Delta \widetilde{v})^{2}dx\right ) ^{1/2}. \end{equation}
$C_{1}$
and
$C_{2}$
satisfyingApplying the last inequality to
\begin{equation*} \int _{B}f^{4}dx\leq C_{1}\left ( \int _{B}f^{2}dx\right ) \left ( \int _{B}\left \vert \nabla f\right \vert ^{2}dx\right ) +C_{2}\left ( \int _{B}f^{2}dx\right ) ^{2}\text { for all }f\in H^{1}(B). \end{equation*}
$f=m$
, and utilising it in combination with (33)The inequality (26) follows with
\begin{align*} & \int _{B}m^{2}\Delta \widetilde{v}dx\\[3pt] & \leq \left \{ C_{1}\left ( \int _{B}m^{2}dx\right ) \left ( \int _{B}\left \vert \nabla m\right \vert ^{2}dx\right ) +C_{2}\left ( \int _{B}m^{2}dx\right ) ^{2}\right \} ^{1/2}\left ( \int _{B}(\Delta \widetilde{v})^{2}dx\right ) ^{1/2}\\[3pt] & \leq C_{1}^{1/2}\left ( \int _{B}m^{2}dx\right ) ^{1/2}\left ( \int _{B}\left \vert \nabla m\right \vert ^{2}dx\right ) ^{1/2}\left ( \int _{B}(\Delta \widetilde{v})^{2}dx\right ) ^{1/2}+C_{2}^{1/2}\left ( \int _{B}m^{2}dx\right ) \left ( \int _{B}(\Delta \widetilde{v})^{2}dx\right ) ^{1/2}\\[3pt] & \leq \frac{\chi C_{1}}{4}\left ( \int _{B}(\Delta \widetilde{v})^{2}dx\right ) \left ( \int _{B}m^{2}dx\right ) +\frac{1}{\chi }\int _{B}\left \vert \nabla m\right \vert ^{2}dx+\frac{C_{2}^{1/2}}{2}\left ( \int _{B}(\Delta \widetilde{v})^{2}dx+1\right ) \left ( \int _{B}m^{2}dx\right ) \\[3pt] & =\left ( \left ( \frac{\chi C_{1}}{4}+\frac{C_{2}^{1/2}}{2}\right ) \int _{B}(\Delta \widetilde{v})^{2}dx+\frac{C_{2}^{1/2}}{2}\right ) \left ( \int _{B}m^{2}dx\right ) +\frac{1}{\chi }\int _{B}\left \vert \nabla m\right \vert ^{2}dx. \end{align*}
$K_{2}\,:\!=\,\max \left \{ \frac{\chi C_{1}}{4}+\frac{C_{2}^{1/2}}{2},\frac{1}{\chi }\right \} .$
-
d) Employing the equation (20), we multiply it by
$m$
and integrate the product by parts to yieldNow, we use the identity
\begin{align*} & \frac{d}{dt}\int _{B}m^{2}dx\\[3pt] & \leq -2\int _{B}\left \vert \nabla m\right \vert ^{2}dx+2\int _{\partial B}m\nabla m\cdot \mathbf{\eta }d\sigma -2\chi \int _{B}m\nabla \cdot (m\nabla \widetilde{v})dx+2\int _{B}m\nabla \cdot \left ( 2\pi Qm\nabla K^{\epsilon }\right ) dx. \end{align*}
and apply item c) of this Lemma to calculate
\begin{equation*} \int _{B}m\nabla \cdot (m\nabla \widetilde {v})dx=\frac {1}{2}\int _{B}m^{2}\Delta \widetilde {v}dx \end{equation*}
(34)For the last integral, considering the positivity of
\begin{align} & \frac{d}{dt}\int _{B}m^{2}dx\leq -2\int _{B}\left \vert \nabla m\right \vert ^{2}dx+2\int _{\partial B}m\nabla m\cdot \mathbf{\eta }d\sigma \nonumber \\[3pt] & +\chi \left ( K_{2}\left ( \int _{B}(\Delta \widetilde{v})^{2}dx+1\right ) \left ( \int _{B}m^{2}dx\right ) +\frac{1}{\chi }\int _{B}\left \vert \nabla m\right \vert ^{2}dx\right ) +2\int _{B}m\nabla \cdot (2\pi Qm\nabla K^{\epsilon })dx\nonumber \\[3pt] & \leq -\int _{B}\left \vert \nabla m\right \vert ^{2}dx+2\int _{\partial B}m\nabla m\cdot \mathbf{\eta }d\sigma \nonumber \\[3pt] & +\chi K_{2}\left ( \left \Vert \Delta \widetilde{v}\right \Vert _{2}^{2}+1\right ) \int _{B}m^{2}dx+2\int _{\partial B}m\left ( 2\pi Qm\nabla K^{\epsilon }\right ) \cdot \mathbf{\eta }d\sigma -4\pi Q\int _{B}m\nabla m\cdot \nabla K^{\epsilon }dx. \end{align}
$Q$
and
$\Delta K^{\epsilon }\leq 0$
, we get(35)Using the trace inequality
\begin{align} -4\pi Q\int _{B}m\nabla m\cdot \nabla K^{\epsilon }dx & =-2\pi Q\int _{B}\nabla m^{2}\cdot \nabla K^{\epsilon }dx\nonumber \\[3pt] & =-2\pi Q\int _{\partial B}m^{2}\nabla K^{\epsilon }\cdot \mathbf{\eta }d\sigma +2\pi Q\int _{B}m^{2}\Delta K^{\epsilon }dx\\[3pt] & \leq -2\pi Q\int _{\partial B}m^{2}\nabla K^{\epsilon }\cdot \mathbf{\eta }d\sigma .\nonumber \end{align}
$\left \Vert f\right \Vert _{L^{2}(\partial B)}^{2}\leq \overline{\delta }\left \Vert \nabla f\right \Vert _{L^{2}(B)}^{2}+C_{\overline{\delta }}\left \Vert f\right \Vert _{L^{2}(B)}^{2},$
$f\in H^{1}(B)$
, with
$f=m$
and
$\overline{\delta }=\frac{\delta }{Q}$
gives usCombining estimates (34) and (35) together with the zero-flux boundary conditions (15), we obtain
\begin{align*} -2\pi Q\int _{\partial B}m^{2}\nabla K^{\epsilon }\cdot \mathbf{\eta }d\sigma & \leq Q\int _{\partial B}\frac{m^{2}}{\left \vert x\right \vert }d\sigma =Q\int _{\partial B}m^{2}d\sigma \\[3pt] & \leq \delta \left \Vert \nabla m\right \Vert _{L^{2}(B)}^{2}+QC_{\overline{\delta }}\left \Vert m\right \Vert _{L^{2}(B)}^{2} \end{align*}
(36)Applying Gronwall’s inequality and the estimate from item b)
\begin{equation} \frac{d}{dt}\int _{B}m^{2}dx\leq \left ( -1+\delta \right ) \int _{B}\left \vert \nabla m\right \vert ^{2}dx+\left ( \chi K_{2}\left ( \left \Vert \Delta \widetilde{v}\right \Vert _{2}^{2}+1\right ) +QC_{\overline{\delta }}\right ) \int _{B}m^{2}dx. \end{equation}
$.$
(37)Thus, we have proved (27) with
\begin{align} \int _{B}m^{2}(x,t)dx & \leq \left ( \int _{B}m_{0}^{2}dx\right ) \exp \int _{0}^{t}\left ( \chi K_{2}\left ( \left \Vert \Delta \widetilde{v}\right \Vert _{2}^{2}+1\right ) +QC_{\overline{\delta }}\right ) ds\nonumber \\[3pt] & \leq \left ( \int _{B}m_{0}^{2}dx\right ) \exp \int _{0}^{T}\left ( \frac{\chi K_{2}}{2}\left ( \left \Vert \Delta \widetilde{v}\right \Vert _{2}^{4}+3\right ) +QC_{\overline{\delta }}\right ) ds\nonumber \\[3pt] & \leq \left ( \int _{B}m_{0}^{2}dx\right ) \exp \left ( \frac{\chi K_{2}}{2}K_{1}+\frac{3\chi K_{2}}{2}T+QC_{\overline{\delta }}\right ) \,=\!:\,C_{3}. \end{align}
$K_{3}\,:\!=\,C_{3}$
. Finally, we proceed to prove (28). From (36) and (37),(38)We conclude from (37) and (38) the validity of (28) with
\begin{align} & \left ( 1-\delta \right ) \int _{0}^{t}\int _{B}\left \vert \nabla m\right \vert ^{2}dxdt\nonumber \\[3pt] & \leq \int _{B}m^{2}(x,0)dx+\int _{0}^{t}\left \{ \left ( \chi K_{2}\left ( \left \Vert \Delta \widetilde{v}\right \Vert _{2}^{2}+1\right ) +QC_{\overline{\delta }}\right ) K_{3}\right \} ds\nonumber \\[3pt] & \leq \int _{B}m^{2}(x,0)dx+\int _{0}^{t}\left \{ \left ( \frac{\chi K_{2}}{2}\left ( \left \Vert \Delta \widetilde{v}\right \Vert _{2}^{4}+3\right ) +QC_{\overline{\delta }}\right ) K_{3}\right \} ds\nonumber \\[3pt] & \leq \int _{B}m^{2}(x,0)dx+\left ( \frac{\chi K_{2}}{2}\left ( K_{1}+3\right ) +QC_{\overline{\delta }}T\right ) K_{3}\,=\!:\,C_{4}. \end{align}
\begin{align*} \left \Vert m\right \Vert _{L^{2}(0,T,H^{1}(B))}^{2} & =\int _{0}^{T}\int _{B}m^{2}dxdt+\int _{0}^{T}\int _{B}\left \vert \nabla m\right \vert ^{2}dxdt\\[3pt] & \leq C_{3}T+\frac{C_{4}}{1-\delta }\,=\!:\,K_{4}. \end{align*}
We proceed, in the next two Lemmas, to show the existence of a radius
$R$
and a time
$T$
such that the hypotheses of the Schauder fixed-point theorem hold.
Lemma 8
(Self mapping). There exists a time
$T\gt 0^{\text{ }}$
independent of
$\epsilon$
such that
$\Gamma (B_{Y}(0,R))\subset B_{Y}(0,R).$
Proof. Applying Lemma 7 (item
$d)$
, we derive the inequality
\begin{equation} \left \vert \Gamma (\widetilde{n})\right \vert _{Y}=\left ( \int _{0}^{T}\left ( \int _{B}m^{2}(x,t)dx\right ) ^{2}dt\right ) ^{1/4}\leq K_{3}^{1/2}T^{1/4}. \end{equation}
Here, the constant
$K_{3}$
is defined in equation (37). We conclude taking
$K_{3}^{2}T^{1/4}=R/2.$
Lemma 9
(Compacity).
$\Gamma :\left ( B_{Y}(0,R),\left \vert \cdot \right \vert _{Y}\right ) \rightarrow \left ( B_{Y}(0,R),\left \vert \cdot \right \vert _{Y}\right )$
is a compact map.
Proof. Let us suppose that
\begin{equation} \widetilde{n}_{i}\rightarrow \widetilde{n}\text{ in the space }Y\text{ as }i\rightarrow \infty . \end{equation}
According to the definition of the map
$\Gamma$
, we aim to show its compactness by demonstrating that the sequence of functions
$m_{i},$
with
$i=1,2,\dots$
defined by
\begin{align} m_{it}-\nabla \cdot (2\pi Qm_{i}\nabla K^{\epsilon }) & =\Delta m_{i}-\chi \nabla \cdot (m_{i}\nabla \widetilde{v}_{i})\\[3pt] \Delta \widetilde{v}-\frac{\theta }{\pi }+\widetilde{n}_{i} & =0,\text{ \, \, with }\int _{B}\widetilde{v}_{i}(\cdot, t)=0\text{ and }\partial \widetilde{v}/\partial \mathbf{\eta }=0\text{ on }\partial B,\nonumber \\[3pt] \frac{\partial m_{i}}{\partial \mathbf{\eta }}+2\pi Qm_{i}\nabla K^{\epsilon }\cdot \mathbf{\eta }-\chi m_{i}\nabla \widetilde{v}\cdot \mathbf{\eta } & =0,\text{ \, \, \, \, }x\in \partial B,\nonumber \\[3pt] m_{i}(x,0) & =m_{0}(x),\text{ \ }x\in B,\nonumber \end{align}
possesses a subsequence that converges to the solution of the linear system
\begin{align} m_{t}-\nabla \cdot (2\pi Qm\nabla K^{\epsilon }) & =\Delta m-\chi \nabla \cdot (m\nabla \widetilde{v}),\\[3pt] \Delta \widetilde{v}-\frac{\theta }{\pi }+\widetilde{n} & =0,\text{ \, \, with }\int _{B}\widetilde{v}(\cdot, t)=0\text{ and }\partial \widetilde{v}/\partial \mathbf{\eta }=0\text{ on }\partial B,\nonumber \\[3pt] \frac{\partial m}{\partial \mathbf{\eta }}+2\pi Qm\nabla K^{\epsilon }\cdot \mathbf{\eta }-m\nabla \widetilde{v}\cdot \mathbf{\eta } & =0,\text{ \, \, \, \, }x\in \partial B,\nonumber \\[3pt] m_{i}(x,0) & =m_{0}(x),\text{ \ }x\in B.\nonumber \end{align}
We notice that Lemma 7 (item d) provides the existence of a constant
$C_{1}$
independent of
$i$
such that
\begin{equation} \int _{0}^{T}\int _{B}\left \vert \nabla m_{i}\right \vert ^{2}dxdt\leq C_{1}. \end{equation}
To apply Aubin–Lions compactness lemma, we proceed to show the existence of a constant
$C_{2}$
independent of the index
$i$
such that
\begin{equation} \left \Vert \frac{dm_{i}}{dt}\right \Vert _{L^{2}(0,T,H^{1}(B)^{\ast })}\leq C_{2}. \end{equation}
For any
$\mu \in H^{1}(B)$
with
$\left \Vert \mu \right \Vert _{H^{1}(B)}\leq 1$
, we have
\begin{align*} & \left ( \frac{dm_{i}}{dt},\mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))}\\[3pt] & =\left ( \Delta m_{i}-\chi \nabla \cdot (m_{i}\nabla \widetilde{v}_{i})+\nabla \cdot \left ( 2\pi Qm_{i}\nabla K^{\epsilon }\right ), \mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))}\\[3pt] & =-\left ( \nabla m_{i}-\chi (m_{i}\nabla \widetilde{v}_{i})+\left ( 2\pi Qm_{i}\nabla K^{\epsilon }\right ), \nabla \mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))}\\[3pt] & =-(\nabla m_{i},\nabla \mu )_{(H^{1}(B)^{\ast },H^{1}(B))}+(m_{i}\nabla \widetilde{v}_{i},\nabla \mu )_{(H^{1}(B)^{\ast },H^{1}(B))}-\left ( 2\pi Qm_{i}\nabla K^{\epsilon },\nabla \mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))}. \end{align*}
Hence,
\begin{align} & \left ( \frac{dm_{i}}{dt},\mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))}^{2}\\[3pt] & \leq 3(\nabla m_{i},\nabla \mu )_{(H^{1}(B)^{\ast },H^{1}(B))}^{2}+3(m_{i}\nabla \widetilde{v}_{i},\nabla \mu )_{(H^{1}(B)^{\ast },H^{1}(B))}^{2}+3\left ( 2\pi Qm_{i}\nabla K^{\epsilon },\nabla \mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))}^{2}.\nonumber \end{align}
We analyse each term separately. First, we observe
\begin{align} & 3(\nabla m_{i},\nabla \mu )_{(H^{1}(B)^{\ast },H^{1}(B))}^{2}\nonumber \\[3pt] & =3\left ( \int _{B}\nabla m_{i}\cdot \nabla \mu dx\right ) ^{2}\leq 3\left \Vert \nabla m_{i}\right \Vert _{L^{2}(B)}^{2}\left \Vert \nabla \mu \right \Vert _{L^{2}(B)}^{2}\leq 3\left \Vert \nabla m_{i}\right \Vert _{L^{2}(B)}^{2}, \end{align}
Next, we deduce for the second term in (45),
\begin{align*} (m_{i}\nabla \widetilde{v}_{i},\nabla \mu )_{(H^{1}(B)^{\ast },H^{1}(B))} & \leq \left \Vert m_{i}\nabla \widetilde{v}_{i}\right \Vert _{L^{2}(B)}\left \Vert \nabla \mu \right \Vert _{L^{2}(B)}\leq \left \Vert m_{i}\nabla \widetilde{v}_{i}\right \Vert _{L^{2}(B)}\leq \left \Vert m_{i}\right \Vert _{L^{3}(B)}\left \Vert \nabla \widetilde{v}_{i}\right \Vert _{L^{6}(B)}\\[3pt] & \leq \left \Vert m_{i}\right \Vert _{L^{2}(B)}^{1/3}\left \Vert m_{i}\right \Vert _{L^{4}(B)}^{2/3}\left \Vert \nabla \widetilde{v}_{i}\right \Vert _{L^{6}(B)}. \end{align*}
Hence,
\begin{align} (m_{i}\nabla \widetilde{v}_{i},\nabla \mu )_{(H^{1}(B)^{\ast },H^{1}(B))}^{2} & \leq \left \Vert m_{i}\right \Vert _{L^{2}(B)}^{2/3}\left \Vert m_{i}\right \Vert _{L^{4}(B)}^{4/3}\left \Vert \nabla \widetilde{v}_{i}\right \Vert _{L^{6}(B)}^{2}\nonumber \\[3pt] & \leq \frac{1}{2}\left \Vert m_{i}\right \Vert _{L^{2}(B)}^{4/3}\left \Vert m_{i}\right \Vert _{L^{4}(B)}^{8/3}+\frac{1}{2}\left \Vert \nabla \widetilde{v}_{i}\right \Vert _{L^{6}(B)}^{4}. \end{align}
To estimate the quantity
$\left \Vert m_{i}\right \Vert _{L^{4}(B)}^{2/3}$
arising in the inequality (47), we use the Gagliardo–Nirengber–Sobolev inequality,
\begin{equation*} \int _{B}f^{4}dx\leq C_{1}\left ( \int _{B}f^{2}dx\right ) \left ( \int _{B}\left \vert \nabla f\right \vert ^{2}dx\right ) +C_{2}\left ( \int _{B}f^{2}dx\right ) \text { for all }f\in H^{1}(B), \end{equation*}
with
$f=m_{i}$
leading to
\begin{equation*} \int _{B}m_{i}^{4}dxd\tau \leq C_{1}\left ( \int _{B}m_{i}^{2}dx\right ) \left ( \int _{B}\left \vert \nabla m_{i}\right \vert ^{2}dx\right ) +C_{2}\left ( \int _{B}m_{i}^{2}dx\right ) . \end{equation*}
By employing Lemma 7 (item
$d$
), we derive a constant
$C_{3}$
such that
\begin{align} \left \Vert m_{i}\right \Vert _{L^{4}(B)}^{8/3} & =\left ( \int _{B}m_{i}^{4}dx\right ) ^{2/3}\leq C_{1}^{2/3}\left ( \int _{B}m_{i}^{2}dx\right ) ^{2/3}\left ( \int _{B}\left \vert \nabla m_{i}\right \vert ^{2}dx\right ) ^{2/3}+C_{2}^{2/3}\left ( \int _{B}m_{i}^{2}dx\right ) ^{2/3}\nonumber \\[3pt] & \leq C_{1}^{2/3}C_{3}^{2/3}\left ( \frac{1}{3}+\frac{2}{3}\int _{B}\left \vert \nabla m_{i}\right \vert ^{2}dx\right ) +C_{4}^{2/3}C_{3}^{2/3}. \end{align}
Combining inequalities (47) and (48) and using Lemma 7 (item
$d$
), we obtain a constant
$C_{5}$
satisfying
\begin{equation} (m_{i}\nabla \widetilde{v}_{i},\nabla \mu )_{(H^{1}(B)^{\ast },H^{1}(B))}^{2}\leq C_{5}\left ( 1+\int _{B}\left \vert \nabla m\right \vert ^{2}dx\right ) +\frac{1}{2}\left \Vert \nabla \widetilde{v}_{i}\right \Vert _{L^{6}(B)}^{4}. \end{equation}
Utilising Gagliardo-Nirenberg inequality, we further establish
\begin{equation} \left \Vert \nabla \widetilde{v}_{i}\right \Vert _{L^{6}(B)}^{4}\leq C_{6}\left ( \left \Vert \Delta \widetilde{v}_{i}\right \Vert _{L^{2}(B)}^{4}+\left \Vert \widetilde{v}_{i}\right \Vert _{L^{2}(B)}^{4}\right ) . \end{equation}
From equations (49) and (50), we can conclude
\begin{equation} (m_{i}\nabla \widetilde{v}_{i},\nabla \mu )_{(H^{1}(B)^{\ast },H^{1}(B))}^{2}\leq C_{5}\left ( 1+\int _{B}\left \vert \nabla m\right \vert ^{2}dx\right ) +\frac{1}{2}C_{6}\left ( \left \Vert \Delta \widetilde{v}_{i}\right \Vert _{L^{2}(B)}^{4}+\left \Vert \widetilde{v}_{i}\right \Vert _{L^{2}(B)}^{4}\right ) . \end{equation}
Finally, evaluating the last term in inequality (45)
\begin{align} 3\left ( 2\pi Qm_{i}\nabla K^{\epsilon },\nabla \mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))}^{2} & \leq 3\left \Vert 2\pi Qm_{i}\nabla K^{\epsilon }\right \Vert _{L^{2}(B)}^{2}\left \Vert \nabla \mu \right \Vert _{L^{2}(B)}^{2}\nonumber \\[3pt] & \leq 12\pi ^{2}Q^{2}\left \Vert \nabla K^{\epsilon }\right \Vert _{L^{\infty }(B)}^{2}\left \Vert m_{i}\right \Vert _{L^{2}(B)}^{2}\left \Vert \nabla \mu \right \Vert _{L^{2}(B)}^{2}\nonumber \\[3pt] & \leq 12\pi ^{2}Q^{2}\left \Vert \nabla K^{\epsilon }\right \Vert _{L^{\infty }(B)}^{2}\left \Vert m_{i}\right \Vert _{L^{2}(B)}^{2}\nonumber \\[3pt] & \leq 12\pi ^{2}Q^{2}C_{3}\left \Vert \nabla K^{\epsilon }\right \Vert _{L^{\infty }(B)}^{2}. \end{align}
Combining (45), (46), (51) and (52) along with Lemma 7, we conclude the inequality (44). In summary, Lemma 7 (item d) and inequality (44) imply the the existence of a constant
$C_{7}$
such that
\begin{equation*} \left \Vert m_{i}\right \Vert _{L^{2}(0,T,H^{1}(B))}\leq C_{7}\text { as well as }\left \Vert \frac {dm_{i}}{dt}\right \Vert _{L^{2}(0,T,H^{1}(B)^{\ast })}\leq C_{7}. \end{equation*}
Utilising the embeddings
\begin{equation*} H^{1}(B)\overset {compact}{\hookrightarrow }L^{2}(B)\overset {continuous}{\hookrightarrow }H^{1}(B)^{\ast }, \end{equation*}
we apply the Aubin–Lions compactness Lemma to establish the existence of a subsequence
$(m_{i_{j}})_{j\in \mathbb{N}}$
such that
\begin{equation} m_{i_{j}}\rightarrow m_{\ast }\text{ strong in }L^{2}(0,T,L^{2}(B)). \end{equation}
Let us now demonstrate that
$m_{\ast }$
satisfies equation (42). From Lemma 7 (item b), we deduce through a subsequence that
\begin{equation} \nabla \widetilde{v}_{i_{j}}\rightarrow \nabla \widetilde{v}_{\ast }\text{ weakly in }L^{2}(0,T,L^{2}(B))\text{,} \end{equation}
where
$\widetilde{v}_{\ast }$
fulfils the equation
\begin{equation*} \Delta \widetilde {v}_{\ast }-\frac {\theta }{\pi }+m_{\ast }=0,\text { \, \, with }\int _{B}\widetilde {v}_{\ast }(\cdot, t)=0\text { and }\partial \widetilde {v}_{\ast }/\partial \mathbf {\eta }=0\text { on }\partial B. \end{equation*}
in the distribution sense. Consequently, from (53) and (54), we establish the weakly convergence for the product
\begin{equation*} m_{i_{j}}\nabla \widetilde {v}_{i}\rightarrow m_{\ast }\nabla \widetilde {v}_{\ast }\text { weakly in }L^{2}(0,T,L^{2}(B)). \end{equation*}
Finally, by taking the limit in (41) as
$j\rightarrow \infty $
, we conclude that
$m_{\ast }$
corresponds to the solution of problem (42). Moreover, from Lemma 7 (item d), it follows that the sequence
$\left ( m_{i_{j}}\right ) _{j\geq 1}$
as well as
$m_{\ast }$
are bounded in
$L^{\infty }(0,T;L^{2}(B))$
by some constant
$C_{7}.$
Thus,
\begin{equation*} \int _{0}^{T}\left \vert m_{i_{j}}-m_{\ast }\right \vert _{L^{2}(B)}^{4}dt\leq 2C_{7}^{2}\int _{0}^{T}\left \vert m_{i_{j}}-m_{\ast }\right \vert _{L^{2}(B)}^{2}dt\rightarrow 0\text { as }j\rightarrow \infty . \end{equation*}
In conclusion, the operator
$\Gamma$
is compact.
4. Local solution by passing to the limit in the regularised model
The problem described by equation (14) exhibits positivity-preserving behaviour, as stated below.
Proposition 10.
If the initial condition
$n_{0}$
is non-negative, then the solution
$n^{\epsilon }(x,t)$
remains non-negative for almost every
$x$
and
$t\geq 0.$
Proof. Multiplying the first equation of system (14) by
$\left ( n^{\epsilon }\right ) ^{-}\,:\!=\,\max \{0,-n_{1}^{\epsilon }\}$
, integrating over
$B,$
and integrating by parts, we obtain
\begin{align} & \frac{d}{dt}\int _{B}\left \vert \left ( n^{\epsilon }\right ) ^{-}\right \vert ^{2}dx=-\int _{B}\nabla \left ( n^{\epsilon }\right ) ^{-}\cdot \left ( \nabla n^{\epsilon }-\chi n^{\epsilon }\nabla v^{\epsilon }+2\pi Qn^{\epsilon }\nabla K^{\epsilon }\right ) dx\nonumber \\[3pt] & \leq -\int _{B}\left \vert \nabla (n^{\epsilon })^{-}\right \vert ^{2}dx+\chi \int _{B}\left ( n^{\epsilon }\right ) ^{-}\nabla \left ( n^{\epsilon }\right ) ^{-}\cdot \nabla v^{\epsilon }dx-2\pi Q\int _{B}\left ( n^{\epsilon }\right ) ^{-}\nabla \left ( n^{\epsilon }\right ) ^{-}\cdot \nabla K^{\epsilon }dx. \end{align}
We rewrite the second integral in (55) in the form:
\begin{equation} \int _{B}\left ( n^{\epsilon }\right ) ^{-}\nabla \left ( n^{\epsilon }\right ) ^{-}\cdot \nabla v^{\epsilon }dx=\frac{1}{2}\int _{B}\nabla (\left ( n^{\epsilon }\right ) ^{-})^{2}\cdot \nabla v^{\epsilon }dx=-\frac{1}{2}\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}\Delta v^{\epsilon }dx. \end{equation}
Regarding the last integral in (55), we observe
\begin{align*} -2\pi Q\int _{B}\left ( n^{\epsilon }\right ) ^{-}\nabla \left ( n^{\epsilon }\right ) ^{-}\cdot \nabla K^{\epsilon }dx & =-\pi Q\int _{B}\nabla (\left ( n^{\epsilon }\right ) ^{-})^{2}\cdot \nabla K^{\epsilon }dx\\[3pt] & =-\pi Q\int _{\partial B}(\left ( n^{\epsilon }\right ) ^{-})^{2}\nabla K^{\epsilon }\cdot \eta dx+\pi Q\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}\Delta K^{\epsilon }dx\\[3pt] & \leq -\pi Q\int _{\partial B}(\left ( n^{\epsilon }\right ) ^{-})^{2}\nabla K^{\epsilon }\cdot \eta dx. \end{align*}
Applying the property
$\left \vert \nabla K^{\epsilon }\right \vert \leq \frac{1}{2\pi \left \vert x\right \vert }$
and the trace inequality
$\left \Vert f\right \Vert _{L^{2}(\partial B)}^{2}\leq \overline{\delta }\left \Vert \nabla f\right \Vert _{L^{2}(B)}^{2}+C_{\overline{\delta }}\left \Vert f\right \Vert _{L^{2}(B)}^{2},$
$f\in H^{1}(B)$
with
$f=\left ( n^{\epsilon }\right ) ^{-}$
and
$\overline{\delta }=\frac{\delta _{1}}{\pi Q}$
yields
\begin{align} -\pi Q\int _{\partial B}(\left ( n^{\epsilon }\right ) ^{-})^{2}\nabla K^{\epsilon }\cdot \eta dx & \leq \pi Q\int _{\partial B}(\left ( n^{\epsilon }\right ) ^{-})^{2}\left \vert \nabla K^{\epsilon }\right \vert d\sigma \leq \pi Q\int _{\partial B}\frac{(\left ( n^{\epsilon }\right ) ^{-})^{2}}{\left \vert x\right \vert }d\sigma =\pi Q\int _{\partial B}(\left ( n^{\epsilon }\right ) ^{-})^{2}d\sigma \nonumber \\[3pt] & \leq \delta \left \Vert \nabla (\left ( n^{\epsilon }\right ) ^{-})\right \Vert _{L^{2}(B)}^{2}+\pi QC_{\overline{\delta }}\left \Vert \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(B)}^{2}. \end{align}
Combining (55), (56), and (57), we arrive at
\begin{equation} \frac{d}{dt}\int _{B}\left \vert \left ( n^{\epsilon }\right ) ^{-}\right \vert ^{2}dx\leq (-1+\delta )\int _{B}\left \vert \nabla (n^{\epsilon })^{-}\right \vert ^{2}dx-\frac{1}{2}\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}\Delta v^{\epsilon }dx+\pi QC_{\overline{\delta }}\left \Vert \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(B)}^{2}. \end{equation}
Proposition 10 yields
$n^{^{\epsilon }}\in V_{2}\,:\!=\,L^{\infty }((0,T);L^{2}(B).$
Thus, by the regularity theory for elliptic equations, we can assure that
$v\in W^{2,2}(B)$
and
\begin{align*} -\frac{1}{2}\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}\Delta v^{\epsilon }dx & =\frac{1}{2}\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}(n^{\epsilon }-\theta /\pi )dx\\[3pt] & =\frac{1}{2}\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{3}dx-\frac{\theta }{2\pi }\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx\leq \frac{\theta }{2\pi }\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{3}dx. \end{align*}
It follows that for any constant
$\delta _{2}\gt 0$
, there exists
$C_{\delta _{2}}\gt 0$
such that
\begin{equation} -\frac{1}{2}\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}\Delta v^{\epsilon }dx\leq \frac{\theta }{2\pi }\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}(\left ( n^{\epsilon }\right ) ^{-})dx\leq \delta _{2}\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{4}dx+C_{\delta _{2}}\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx. \end{equation}
Combining inequalities (58) and (59), we obtain
\begin{equation*} \frac {d}{dt}\int _{B}\left \vert \left ( n^{\epsilon }\right ) ^{-}\right \vert ^{2}dx\leq (-1+\delta )\int _{B}\left \vert \nabla (n^{\epsilon })^{-}\right \vert ^{2}dx+\delta _{2}\int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{4}dx+\left ( C_{\delta _{2}}+\pi QC_{\overline {\delta }}\right ) \int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx. \end{equation*}
Using the Gagliardo–Nirenberg–Sobolev interpolation inequality (see [Reference Friedman18, Reference Nirenberg19]), we have
\begin{equation} \left \Vert \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{4}(B)}^{4}\leq C_{GNB}^{4}\left \Vert \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(B)}^{2}\left \Vert \nabla \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(B)}^{2}+\left \Vert \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(B)}^{4}. \end{equation}
Therefore,
\begin{align*} & \frac{d}{dt}\int _{\mathbb{R}^{2}}\left \vert \left ( n^{\epsilon }\right ) ^{-}\right \vert ^{2}dx\\[3pt] & \leq (-1+\delta +\delta _{2}C_{GNB}^{4}\left \Vert \left ( n_{1}^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(\mathbb{R}^{2})}^{2})\int _{B}\left \vert \nabla (n^{\epsilon })^{-}\right \vert ^{2}dx+\left ( C_{\delta _{2}}+\pi QC_{\overline{\delta }}\right ) \int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx \\ & +\delta _{2}\left ( \int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx\right ) ^{2}.\\[3pt] & \leq \left ( C_{\delta _{2}}+\pi QC_{\overline{\delta }}\right ) \int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx+\delta _{2}\left ( \int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx\right ) ^{2}. \end{align*}
Using again that
$n^{\epsilon }\in V_{2}\,:\!=\,L^{\infty }((0,T);L^{2}(B))$
, we get
\begin{align} & \frac{d}{dt}\int _{\mathbb{R}^{2}}\left \vert \left ( n^{\epsilon }\right ) ^{-}\right \vert ^{2}dx\nonumber \\[3pt] & \leq (-1+\delta +\delta _{2}C_{GNB}^{4}\sup _{(0,T)}\left \Vert \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(B)})\int _{B}\left \vert \nabla (n^{\epsilon })^{-}\right \vert ^{2}dx+\left ( C_{\delta _{2}}+\pi QC_{\overline{\delta }}\right ) \int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx\nonumber \\[3pt] & +\delta _{2}\sup _{(0,T)}\left \Vert \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(B)}\left ( \int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx\right ) . \end{align}
Choosing the parameters
$\delta$
and
$\delta _{2}$
small enough, we conclude that
\begin{equation*} \frac {d}{dt}\int _{\mathbb {R}^{2}}\left \vert \left ( n^{\epsilon }\right ) ^{-}\right \vert ^{2}dx\leq \left ( C_{\delta _{2}}+\pi QC_{\overline {\delta }}+\delta _{2}\sup _{(0,T)}\left \Vert \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(B)}\right ) \int _{B}(\left ( n^{\epsilon }\right ) ^{-})^{2}dx. \end{equation*}
Integrating the last inequality gives
\begin{equation*} \int _{\mathbb {R}^{2}}\left \vert \left ( n^{\epsilon }\right ) ^{-}\right \vert ^{2}dx\leq \left ( \int _{\mathbb {R}^{2}}\left \vert \left ( n_{1}^{\epsilon }(x,0)\right ) ^{-}\right \vert ^{2}dx\right ) e^{\left ( C_{\delta _{2}}+\pi QC_{\overline {\delta }}++\delta _{2}\sup _{(0,T)}\left \Vert \left ( n^{\epsilon }\right ) ^{-}\right \Vert _{L^{2}(B)}\right ) t}=0, \end{equation*}
implying that
$n^{\epsilon -}=0$
on
$\left [ 0,T\right ) \times \mathbb{R}^{2}.$
Therefore,
$n^{\epsilon }\geq 0$
on
$\left [ 0,T\right ) \times \mathbb{R}^{2}$
.
Lemma 11.
Let us assume that
$n_{0}\in L^{q}(B)$
with
$q\geq 2.$
There exists
$\tau \in (0,T)$
independent of
$\epsilon$
such that
\begin{equation} \left \Vert n^{\epsilon }(\cdot, t)\right \Vert _{L^{q}(B)}\leq C\text{ \, \, \, \, for }0\leq t\lt \tau . \end{equation}
Proof. We start by multiplying the first equation in (14) by
$q(n^{\epsilon })^{q-1}$
and integrating the resulting product by parts, yielding
\begin{align} & \frac{d}{dt}\int _{B}(n^{\epsilon })^{q}dx\nonumber \\[3pt] & \leq -\frac{4(q-1)}{q}\int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx+q\int _{\partial B}(n^{\epsilon })^{q-1}\nabla n^{\epsilon }\cdot \mathbf{\eta }d\sigma \\[3pt] & +q\int _{B}(n^{\epsilon })^{q-1}\nabla \cdot \left ( 2\pi Qn^{\epsilon }\nabla K^{\epsilon }\right ) dx-\chi q\int _{B}(n^{\epsilon })^{q-1}\nabla \cdot (n^{\epsilon }\nabla v^{\epsilon })dx.\nonumber \end{align}
To estimate the last integral, we rewrite it as:
\begin{align*} \int _{B}(n^{\epsilon })^{q-1}\nabla \cdot (n^{\epsilon }\nabla v^{\epsilon })dx & =\int _{\partial B}(n^{\epsilon })^{q}\nabla v^{\epsilon }\cdot \mathbf{\eta }d\sigma -(q-1)\int _{B}(n^{\epsilon })^{q-1}\nabla n^{\epsilon }\cdot \nabla v^{\epsilon }dx\\[3pt] & =\int _{\partial B}(n^{\epsilon })^{q}\nabla v^{\epsilon }\cdot \mathbf{\eta }d\sigma -\frac{(q-1)}{q}\int _{B}\nabla (n^{\epsilon })^{q}\cdot \nabla v^{\epsilon }dx\\[3pt] & =\int _{\partial B}(n^{\epsilon })^{q}\nabla v^{\epsilon }\cdot \mathbf{\eta }d\sigma -\frac{(q-1)}{q}\int _{\partial B}(n^{\epsilon })^{q}\nabla v^{\epsilon }\cdot \mathbf{\eta }d\sigma +\frac{q-1}{q}\int _{B}(n^{\epsilon })^{q}\Delta v^{\epsilon }dx. \end{align*}
Since
$\nabla v^{\epsilon }\cdot \mathbf{\eta }=0$
on
$\partial B$
, we obtain
\begin{equation} \int _{B}(n^{\epsilon })^{q-1}\nabla \cdot (n^{\epsilon }\nabla v^{\epsilon })dx=\frac{q-1}{q}\int _{B}(n^{\epsilon })^{q}\Delta v^{\epsilon }dx. \end{equation}
Next, we apply the Gagliardo–Nirenberg–Sobolev inequality
\begin{equation*} \int _{B}f^{4}dx\leq C_{1}\left ( \int _{B}f^{2}dx\right ) \left ( \int _{B}\left \vert \nabla f\right \vert ^{2}dx\right ) +C_{2}\left ( \int _{B}f^{2}dx\right ) ^{2}\text { for all }f\in H^{1}(B). \end{equation*}
with
$f=\left ( n^{\epsilon }\right ) ^{q/2}$
. This yields
\begin{align} \int _{B}(n^{\epsilon })^{q}\Delta v^{\epsilon }dx & \leq \left ( \int _{B}(n^{\epsilon })^{2q}dx\right ) ^{1/2}\left ( \int _{B}(\Delta v^{\epsilon })^{2}dx\right ) ^{1/2}\nonumber \\[3pt] & \leq \left \{ C_{1}\left ( \int _{B}(n^{\epsilon })^{q}dx\right ) \left ( \int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx\right ) +C_{2}\left ( \int _{B}(n^{\epsilon })^{q}dx\right ) ^{2}\right \} ^{1/2}\left ( \int _{B}(\Delta v^{\epsilon })^{2}dx\right ) ^{1/2}\nonumber \\[3pt] & \leq C_{1}^{1/2}\left ( \int _{B}(n^{\epsilon })^{q}dx\right ) ^{1/2}\left ( \int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx\right ) ^{1/2}\left ( \int _{B}(\Delta v^{\epsilon })^{2}dx\right ) ^{1/2}\nonumber \\[3pt] & +C_{2}^{1/2}\left ( \int _{B}(n^{\epsilon })^{q}dx\right ) \left ( \int _{B}(\Delta v^{\epsilon })^{2}dx\right ) ^{1/2}\nonumber \\[3pt] & \leq \frac{\chi qC_{1}}{8}\left ( \int _{B}(\Delta v^{\epsilon })^{2}dx\right ) \left ( \int _{B}(n^{\epsilon })^{q}dx\right ) +\frac{2}{\chi q}\left ( \int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx\right ) \nonumber \\[3pt] & +\frac{C_{2}^{1/2}}{2}\left ( \int _{B}(n^{\epsilon })^{q}dx\right ) \left ( \left ( \int _{B}(\Delta v^{\epsilon })^{2}dx\right ) +1\right ) \nonumber \\[3pt] & =\left ( \frac{\chi qC_{1}}{8}+\frac{C_{2}^{1/2}}{2}\right ) \left ( \int _{B}(\Delta v^{\epsilon })^{2}dx\right ) \left ( \int _{B}(n^{\epsilon })^{q}dx\right ) +\frac{2}{\chi q}\left ( \int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx\right ) \nonumber\\ & + \frac{C_{2}^{1/2}}{2}\left ( \int _{B}(n^{\epsilon })^{q}dx\right ) . \end{align}
Substituting (64)–(65) into (63), we obtain
\begin{align*} & \frac{d}{dt}\int _{B}(n^{\epsilon })^{q}dx\nonumber \\[3pt] & \leq -\frac{4(q-1)}{q}\int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx+q\int _{\partial B}(n^{\epsilon })^{q-1}\nabla n^{\epsilon }\cdot \mathbf{\eta }d\sigma \nonumber \\[3pt] & +q\int _{B}(n^{\epsilon })^{q-1}\nabla \cdot (2\pi Qn^{\epsilon }\nabla K^{\epsilon })dx-\chi q\int _{\partial B}(n^{\epsilon })^{q}\nabla v^{\epsilon }\cdot \mathbf{\eta }d\sigma \nonumber\\[3pt] & +\chi \left ( q-1\right ) \left ( \left ( \frac{\chi qC_{1}}{8}+\frac{C_{2}^{1/2}}{2}\right ) \left ( \int _{B}(\Delta v^{\epsilon })^{2}dx\right ) \left ( \int _{B}(n^{\epsilon })^{q}dx\right ) +\frac{2}{\chi q}\int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx \right. \nonumber\\ & \left. + \frac{C_{2}^{1/2}}{2}\left ( \int _{B}(n^{\epsilon })^{q}dx\right ) \right )\end{align*}
\begin{align}& \leq -\frac{4(q-1)}{q}\int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx+q\int _{\partial B}(n^{\epsilon })^{q-1}\nabla n^{\epsilon }\cdot \mathbf{\eta }d\sigma \nonumber \\[3pt] & +q\int _{\partial B}(n^{\epsilon })^{q-1}\left ( 2\pi Qn^{\epsilon }\nabla K^{\epsilon }\right ) \cdot \mathbf{\eta }d\sigma -2\pi Qq(q-1)\int _{B}(n^{\epsilon })^{q-1}\nabla n^{\epsilon }\cdot \nabla K^{\epsilon }dx-\chi q\int _{\partial B}(n^{\epsilon })^{q}\nabla v^{\epsilon }\cdot \mathbf{\eta }d\sigma \nonumber \\[3pt] & +\chi \left ( q-1\right ) \left ( \left ( \frac{\chi qC_{1}}{8}+\frac{C_{2}}{2}\right ) \left \Vert \Delta v^{\epsilon }\right \Vert _{2}^{2}\int _{B}(n^{\epsilon })^{q}dx+\frac{2}{\chi q}\int _{B}\left \vert \nabla \left ( (n^{\epsilon })^{q/2}\right ) \right \vert ^{2}dx+\frac{C_{2}^{1/2}}{2}\left ( \int _{B}(n^{\epsilon })^{q}dx\right ) \right ) . \end{align}
In order to bound the integral
$-2\pi Qq(q-1)\int _{B}(n^{\epsilon })^{q-1}\nabla n^{\epsilon }\cdot \nabla K^{\epsilon }dx$
, we employ the fact that
$\Delta K^{\epsilon }\leq 0$
to obtain
\begin{align} & -2\pi Qq(q-1)\int _{B}(n^{\epsilon })^{q-1}\nabla n^{\epsilon }\cdot \nabla K^{\epsilon }dx\nonumber \\[3pt] & =-2\pi Q(q-1)\int _{B}\nabla (n^{\epsilon })^{q}\cdot \nabla K^{\epsilon }dx\nonumber \\[3pt] & =-2\pi Q(q-1)\int _{\partial B}(n^{\epsilon })^{q}\nabla K^{\epsilon }\cdot \mathbf{\eta }d\sigma +2\pi Q(q-1)\int _{B}(n^{\epsilon })^{q}\Delta K^{\epsilon }dx\nonumber \\[3pt] & \leq -2\pi Q(q-1)\int _{\partial B}(n^{\epsilon })^{q}\left \vert \nabla K^{\epsilon }\right \vert d\sigma . \end{align}
Using the property
$\left \vert \nabla K^{\epsilon }\right \vert \leq \frac{1}{2\pi \left \vert x\right \vert }$
together with the trace inequality
$\left \Vert f\right \Vert _{L^{2}(\partial B)}^{2}\leq \overline{\delta }\left \Vert \nabla f\right \Vert _{L^{2}(B)}^{2}+C_{\overline{\delta }}\left \Vert f\right \Vert _{L^{2}(B)}^{2},$
$f\in H^{1}(B),$
applied with
$f=(n^{\epsilon })^{q/2}$
and
$\overline{\delta }=\frac{\delta }{Q(q-1)}$
, we have
\begin{align} -2\pi Q(q-1)\int _{\partial B}(n^{\epsilon })^{q}\left \vert \nabla K^{\epsilon }\right \vert d\sigma & \leq Q(q-1)\int _{\partial B}\frac{(n^{\epsilon })^{q}}{\left \vert x\right \vert }d\sigma =Q(q-1)\int _{\partial B}(n^{\epsilon })^{q}d\sigma \nonumber \\[3pt] & \leq \delta \int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx+Q(q-1)C_{\overline{\delta }}\int _{B}(n^{\epsilon })^{q}dx. \end{align}
Combining the estimates (66)–(68) and using the zero-flux boundary conditions, we obtain
\begin{align} & \frac{d}{dt}\int _{B}(n^{\epsilon })^{q}dx \leq \left ( -\frac{2(q-1)}{q}+\delta \right ) \int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx\\[3pt] & +\left ( \chi \left ( q-1\right ) \left ( \frac{\chi qC_{1}}{8}+\frac{C_{2}}{2}\right ) \left \Vert \Delta v^{\epsilon }\right \Vert _{2}^{2}+Q(q-1)C_{\overline{\delta }}\right ) \int _{B}(n^{\epsilon })^{q}dx+\frac{\chi \left ( q-1\right ) C_{2}^{1/2}}{2}\int _{B}(n^{\epsilon })^{q}dx.\nonumber \end{align}
We observe that
\begin{align} \int _{B}\left \vert \Delta v^{\epsilon }\right \vert ^{2}dx & =\int _{B}\left ( -\frac{\theta }{\pi }+n^{\epsilon }\right ) ^{2}dx\leq 2\int _{B}\left ( \frac{\theta }{\pi }\right ) ^{2}dx+2\int _{B}(n^{\epsilon })^{2}dx\nonumber \\[3pt] & \leq \frac{2\theta ^{2}}{\pi }+2\int _{B}(n^{\epsilon })^{2}dx. \end{align}
Using that
$(n^{\epsilon })^{2}\leq \frac{2(n^{\epsilon })^{q}}{q}+\frac{q-2}{q}$
holds for any
$q\geq 2,$
we obtain from (70),
\begin{equation} \int _{B}\left \vert \Delta v^{\epsilon }\right \vert ^{2}dx\leq \frac{2\theta ^{2}}{\pi }+\frac{2\left ( q-2\right ) \pi }{q}+\frac{4}{q}\int _{B}\left ( n^{\epsilon }\right ) ^{q}dx. \end{equation}
Combining (69) and (71), we derive
\begin{align*} \frac{d}{dt}\int _{B}(n^{\epsilon })^{q}dx & \leq \left ( -\frac{2(q-1)}{q}+\delta \right ) \int _{B}\left \vert \nabla (n^{\epsilon })^{q/2}\right \vert ^{2}dx\\[3pt] & +\left ( \xi _{1}+\xi _{2}\int _{B}\left ( n^{\epsilon }\right ) ^{q}dx\right ) \int _{B}(n^{\epsilon })^{q}dx, \end{align*}
where
\begin{align*} \xi _{1} & \,:\!=\,\chi \left ( q-1\right ) \left ( \frac{\chi qC_{1}}{8}+\frac{C_{2}}{2}\right ) \left ( \frac{2\theta ^{2}}{\pi }+\frac{2\left ( q-2\right ) \pi }{q}\right ) +Q(q-1)C_{\overline{\delta }}\frac{\chi \left ( q-1\right ) C_{2}^{1/2}}{2},\\[3pt] \xi _{2} & \,:\!=\,\chi \left ( q-1\right ) \left ( \frac{\chi qC_{1}}{8}+\frac{C_{2}}{2}\right ) \frac{4}{q}. \end{align*}
Therefore, we get the inequality
\begin{equation*} \frac {d}{dt}\int _{B}(n^{\epsilon })^{q}dx\leq \left ( \xi _{1}+\xi _{2}\int _{B}\left ( n^{\epsilon }\right ) ^{q}dx\right ) \int _{B}(n^{\epsilon })^{q}dx. \end{equation*}
Next, we consider the local smooth solution on the interval
$[0,\tau _{1})$
of the problem
\begin{align*} \frac{dX}{dt} & =\left ( \xi _{1}+\xi _{2}X\right ) X,\\[3pt] X(0) & =\int _{B}(n(x,0)^{q}dx. \end{align*}
By the comparison principle for ordinary differential equations, we obtain
\begin{equation*} \int _{B}(n^{\epsilon })^{q}dx\leq X\text { on }[0,\tau _{1}). \end{equation*}
Consequently, the inequality (62) holds true with
$\tau =\tau _{1}/2$
and
$C=\sup _{(0,\tau _{1}/2)}X(\tau )$
.
The proof of the following Lemma is an adaptation of [Reference Nagai26, Lemma 2.1].
Lemma 12.
If
$n_{0}\in L^{\infty }(B)$
, then for some constant
$C$
independent of
$\epsilon, $
\begin{equation*} \Vert n^{\epsilon }(\cdot, t)\Vert _{L^{\infty }}\leq C\max \left \{ 1,\left \Vert n_{0}^{\epsilon }\right \Vert _{L^{1}},\left \Vert n_{0}\right \Vert _{L^{\infty }}\right \} \quad \text { for }0\lt t\lt \tau . \end{equation*}
Furthermore, for a constant
$\overline{C}$
independent of
$\epsilon$
\begin{equation*} \int _{0}^{t}\int _{B}\left \vert \nabla \left ( n^{\epsilon }\right ) ^{(p+1)/2}\right \vert ^{2}dx\leq \overline {C},\text { \, \, \ for all }p\geq 1. \end{equation*}
Proof. From Lemma 11 and the elliptic regularity theory, we conclude that
$v^{\epsilon }\in W^{2,q}(B)$
for any
$q\in \lbrack 2,\infty ).$
Applying the Sobolev embedding theorem
$W^{2,q}(B)\hookrightarrow C^{1,1-\frac{n}{q}}(B)$
with
$n=2$
and
$q\gt 2,$
we deduce that for a constant
$C_{1}$
independent of
$t,$
we have
\begin{equation} \Vert \nabla v^{\epsilon }(\cdot, t)\Vert _{L^{\infty }}\leq C\quad \text{ for }\quad 0\lt t\lt \tau . \end{equation}
Now let
$p\geq 1$
. By multiplying the first equation in (14) by
$\left ( n^{\epsilon }\right ) ^{p}$
and integrating by parts, we obtain
\begin{align} \frac{1}{p+1}\frac{d}{dt}\int _{B}\left ( n^{\epsilon }\right ) ^{p+1}dx & =-\int _{B}\nabla \left ( n^{\epsilon }\right ) ^{p}\cdot \left ( \nabla n^{\epsilon }-\chi n^{\epsilon }\nabla v^{\epsilon }+2\pi Qn^{\epsilon }\nabla K^{\epsilon }\right ) dx\nonumber \\[3pt] & \leq -p\int _{B}\left ( n^{\epsilon }\right ) ^{p-1}\left \vert \nabla (n^{\epsilon })\right \vert ^{2}dx+\chi p\int _{B}\left ( n^{\epsilon }\right ) ^{p}\nabla n^{\epsilon }\cdot \nabla v^{\epsilon }dx-2\pi Q\int _{B}n^{\epsilon }\nabla (n^{\epsilon })^{p}\cdot \nabla K^{\epsilon }dx\nonumber \\[3pt] & =.-\frac{4p}{(p+1)}\int _{B}\left \vert \nabla (n^{\epsilon })^{(p+1)/2}\right \vert ^{2}dx + \chi p\int _{B}\left ( n^{\epsilon }\right ) ^{p}\nabla n^{\epsilon }\cdot \nabla v^{\epsilon }dx-2\pi pQ \nonumber\\ & \int _{B}\left ( n^{\epsilon }\right ) ^{p}\nabla n^{\epsilon }\cdot \nabla K^{\epsilon }dx. \end{align}
Using (72) and Hölder’s inequality, we obtain
\begin{align} \chi p\int _{B}\left ( n^{\epsilon }\right ) ^{p}\nabla n^{\epsilon }\cdot \nabla v^{\epsilon }dx & \leq \chi pC\int _{B}\left ( n^{\epsilon }\right ) ^{p}\left \vert \nabla n^{\epsilon }\right \vert dx=\frac{2\chi pC}{p+1}\int _{B}\left ( n^{\epsilon }\right ) ^{\frac{p+1}{2}}\left \vert \nabla (n^{\epsilon })^{\frac{p+1}{2}}\right \vert dx\nonumber \\[3pt] & \leq \frac{2p}{(p+1)^{2}}\int _{B}\left \vert \nabla (n^{\epsilon })^{(p+1)/2}\right \vert ^{2}dx+\frac{p}{2}\chi ^{2}C^{2}\int _{B}(n^{\epsilon })^{p+1}dx. \end{align}
For the last integral in (73), we notice
\begin{equation*} -2\pi pQ\int _{B}\left ( n^{\epsilon }\right ) ^{p}\nabla n^{\epsilon }\cdot \nabla K^{\epsilon }dx=-\frac {2\pi pQ}{p+1}\int _{B}\nabla (n^{\epsilon })^{p+1}\cdot \nabla K^{\epsilon }dx=\frac {2\pi pQ}{p+1}\int _{B}(n^{\epsilon })^{p+1}\Delta K^{\epsilon }dx\leq 0, \end{equation*}
where we have used that
$\Delta K^{\epsilon }\leq 0.$
Hence, we obtain
\begin{equation} \frac{d}{dt}\int _{B}\left ( n^{\epsilon }\right ) ^{p+1}dx\leq -\frac{2p}{p+1}\int _{B}\left \vert \nabla \left ( n^{\epsilon }\right ) ^{(p+1)/2}\right \vert ^{2}dx+\frac{p(p+1)}{2}C\int _{B}\left ( n^{\epsilon }\right ) ^{p+1}dx, \end{equation}
which implies (72) by using Moser’s technique (see [Reference Alikakos2]). Furthermore, rewriting the estimate (75), in the form
\begin{equation*} \int _{B}\left ( n^{\epsilon }\right ) ^{p+1}dx-\int _{B}\left ( n_{0}^{\epsilon }\right ) ^{p+1}dx\leq -\frac {2p}{p+1}\int _{0}^{t}\int _{B}\left \vert \nabla \left ( n^{\epsilon }\right ) ^{(p+1)/2}\right \vert ^{2}dx+\frac {p(p+1)}{2}C\int _{0}^{t}\int _{B}\left ( n^{\epsilon }\right ) ^{p+1}dx, \end{equation*}
we obtain as a byproduct of the estimate (72) that
\begin{equation*} \int _{0}^{t}\int _{B}\left \vert \nabla \left ( n^{\epsilon }\right ) ^{(p+1)/2}\right \vert ^{2}dx\leq \overline {C},\text { for all }p\geq 1, \end{equation*}
where
$\overline{C}$
is a constant which does not depend on
$\epsilon .$
During the estimation (44) of the quantity
$\left \Vert \frac{dm_{i}}{dt}\right \Vert _{L^{2}(0,T,H^{1}(B)^{\ast })}$
, we arrived at the estimate (52), which turned out to be depending on
$\epsilon$
. As a consequence, we will modify this procedure completely to obtain a uniform estimate of
$dn^{\epsilon }/dt.$
The key ingredient in our new approach is the use of an appropriate free energy functional associated with the regularised model.
4.1. Energy functional for the regularised model
In this section, we construct an energy functional for the regularised problem (14)–(16). To this purpose, let us assume for a moment that we are dealing with smooth solutions.
We can rewrite the equation for
$n^{\epsilon }$
as:
\begin{equation*} n_{t}^{\epsilon }=\operatorname {div}\left \{ n^{\epsilon }\nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) \right ) \right \} . \end{equation*}
We multiply this equation by
$\log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right )$
, integrate the product by parts, and apply the no-flux condition (15) to obtain
\begin{equation} \int _{B}n_{t}^{\epsilon }\left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) \right ) dx=-\int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) \right ) \right \vert ^{2}dx. \end{equation}
We notice that the no-flux condition implies
$\frac{d}{dt}\int n^{\epsilon }(x,t)dx=0$
for all
$t\gt 0$
, and consequently (76) gives
\begin{align*} \int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }n^{\epsilon }\right ) \right ) \right \vert ^{2}dx & =\int _{B}n_{t}^{\epsilon }\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) dx-\int _{B}n_{t}^{\epsilon }\log n^{\epsilon }dx\\[3pt] & \,=\!:\,I-\frac{d}{dt}\int _{B}n^{\epsilon }\log n^{\epsilon }dx. \end{align*}
We rewrite the integral
$I$
as:
\begin{equation} I=\frac{d}{dt}\int _{B}\left ( \chi n^{\epsilon }v^{\epsilon }-2\pi QK^{\epsilon }n^{\epsilon }\right ) dx-\chi \int _{B}n^{\epsilon }v_{t}^{\epsilon }dx. \end{equation}
For the last integral in (77), we use the equation for
$v^{\epsilon }$
to get
\begin{align} \int _{B}n^{\epsilon }v_{t}^{\epsilon }dx & =-\int _{B}\left ( \Delta v^{\epsilon }-\frac{\theta }{\pi }\right ) v_{t}^{\epsilon }dx=\frac{\theta }{\pi }\frac{d}{dt}\int v^{\epsilon }dx+\frac{1}{2}\frac{d}{dt}\left \Vert \nabla v^{\epsilon }\right \Vert _{2}^{2}\\[3pt] & =\frac{d}{dt}\left ( \frac{\theta }{\pi }\int v^{\epsilon }dx+\frac{1}{2}\int _{B}\left \vert \nabla v^{\epsilon }\right \vert ^{2}dx\right ) .\nonumber \end{align}
Thus,
\begin{align*} I & =\frac{d}{dt}\int _{B}\left ( \chi n^{\epsilon }v^{\epsilon }-2\pi QK^{\epsilon }n^{\epsilon }\right ) dx-\chi \frac{d}{dt}\left ( \frac{\theta }{\pi }\int v^{\epsilon }dx-\frac{1}{2}\int _{B}\left \vert \nabla v^{\epsilon }\right \vert ^{2}dx\right ) \\[3pt] & =\frac{d}{dt}\left ( \int _{B}\chi n^{\epsilon }v^{\epsilon }-2\pi QK^{\epsilon }n^{\epsilon }-\frac{\chi \theta }{\pi }\int v^{\epsilon }dx-\frac{\chi }{2}\int _{B}\left \vert \nabla v^{\epsilon }\right \vert ^{2}dx\right ) . \end{align*}
In conclusion, we have
\begin{align*} & -\int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }n^{\epsilon }\right ) \right ) \right \vert ^{2}dx\\[3pt] & =\frac{d}{dt}\left ( \int _{B}n^{\epsilon }\log n^{\epsilon }dx-\int _{B}\chi n^{\epsilon }v^{\epsilon }dx+\int _{B}2\pi QK^{\epsilon }n^{\epsilon }dx+\frac{\chi \theta }{\pi }\int v^{\epsilon }dx+\frac{\chi }{2}\int _{B}\left \vert \nabla v^{\epsilon }\right \vert ^{2}dx\right ), \end{align*}
or equivalently
\begin{align} & \frac{d}{dt}\int _{B}\left ( n^{\epsilon }\log n^{\epsilon }-\chi n^{\epsilon }v^{\epsilon }+2\pi QK^{\epsilon }n^{\epsilon }+\frac{\chi \theta }{\pi }v^{\epsilon }+\frac{\chi }{2}\left \vert \nabla v^{\epsilon }\right \vert ^{2}\right ) dx\nonumber \\[3pt] & =-\int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }n^{\epsilon }\right ) \right ) \right \vert ^{2}dx. \end{align}
In the framework of weak solutions, we have the following result.
Lemma 13.
Let us assume that
$n_{0}\in L^{\infty }(B).$
Let the functional
$W$
be defined by:
\begin{equation*} W^{\epsilon }(t)\,:\!=\,\int _{B}\left ( n^{\epsilon }\log n^{\epsilon }-\chi n^{\epsilon }v^{\epsilon }+2\pi QK^{\epsilon }n^{\epsilon }+\frac {\chi \theta }{\pi }v^{\epsilon }+\frac {\chi }{2}\left \vert \nabla v^{\epsilon }\right \vert ^{2}\right ) dx. \end{equation*}
Then we have
\begin{equation} W^{\epsilon }(t)-W^{\epsilon }(0)\leq -\int _{0}^{t}\int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }n^{\epsilon }\right ) \right ) \right \vert ^{2}dx. \end{equation}
Proof. Let
$\delta \gt 0$
be a constant. Consider the function
$h:\mathbb{R}\rightarrow \mathbb{R}$
defined by:
\begin{equation*} f(z)\,:\!=\,\log (z+\delta )\text { for all }z\in \mathbb {R}. \end{equation*}
Since
$f$
is Lipschitz continuous, by the chain rule, the composite function
$\log (n^{\epsilon }+\delta )$
belongs to
$H^{1}(B\times (0,T)),$
as shown in [Reference Ziemer33, Theorem 2.1.11]. Similarly, the function
$\phi$
given by
$\phi \,:\!=\,\log \left ( n^{\epsilon }+\delta \right ) -\chi v^{\epsilon }+2\pi QK^{\epsilon }$
also belongs to the space
$H^{1}(B\times (0,T))$
. Therefore, we can use it as a test function in (17) to obtain
\begin{align} \int _{B}n(x,0)\phi (x,0)dx & =\int _{B}n^{\epsilon }\phi dx-\int _{0}^{t}\int _{B}n^{\epsilon }\phi _{\tau }dxd\tau +\int _{0}^{t}\int _{B}\left ( \nabla n^{\epsilon }-\chi n^{\epsilon }\nabla v^{\epsilon }+2\pi Qn^{\epsilon }\nabla K^{\epsilon }\right ) \cdot \nabla \phi dxd\tau \nonumber \\[3pt] & =I_{1}-I_{2}+I_{3}. \end{align}
We compute
\begin{align} I_{2} & =\int _{0}^{t}\int _{B}n^{\epsilon }\left ( \log \left ( n^{\epsilon }+\delta \right ) -\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) \right ) _{\tau }dxd\tau \nonumber \\[3pt] & =\int _{0}^{t}\int _{B}\left \{ \left ( n^{\epsilon }+\delta \right ) \log \left ( n^{\epsilon }+\delta \right ) _{\tau }-\chi n^{\epsilon }v_{\tau }^{\epsilon }\right \} dxd\tau -\delta \int _{0}^{t}\int _{B}\log \left ( n^{\epsilon }+\delta \right ) _{\tau }dx\nonumber \\[3pt] & =\int _{0}^{t}\int _{B}\left \{ \left ( n^{\epsilon }+\delta \right ) \log \left ( n^{\epsilon }+\delta \right ) _{\tau }-\chi n^{\epsilon }v_{\tau }^{\epsilon }\right \} dxd\tau -\delta \int _{B}\log \left ( n^{\epsilon }+\delta \right ) dx+\delta \int _{B}\log \left ( n^{\epsilon }(x,0)+\delta \right ) dx\nonumber \\[3pt] & =\int _{0}^{t}\int _{B}n_{\tau }^{\epsilon }dxd\tau -\chi \int _{0}^{t}\int _{B}n^{\epsilon }v_{\tau }^{\epsilon }dxd\tau -\delta \int _{B}\log \left ( n^{\epsilon }+\delta \right ) dx+\delta \int _{B}\log \left ( n^{\epsilon }(x,0)+\delta \right ) dx\nonumber \\[3pt] & =-\chi \int _{0}^{t}\int _{B}n^{\epsilon }v_{\tau }^{\epsilon }dxd\tau -\delta \int _{B}\log \left ( n^{\epsilon }+\delta \right ) dx+\delta \int _{B}\log \left ( n^{\epsilon }(x,0)+\delta \right ) dx. \end{align}
On the other hand, from (18) with
$\gamma =v_{\tau }^{\epsilon },$
we have
\begin{equation} -\chi \int _{0}^{t}\int _{B}n^{\epsilon }v_{\tau }^{\epsilon }dxd\tau =-\chi \int _{0}^{t}\int _{B}\left ( \nabla v^{\epsilon }\cdot \nabla v_{\tau }^{\epsilon }+\frac{\theta }{\pi }v_{\tau }^{\epsilon }\right ) dxd\tau =-\chi \int _{0}^{t}\frac{d}{d\tau }\int _{B}\left ( \frac{1}{2}\left \vert \nabla v^{\epsilon }\right \vert ^{2}+\frac{\theta }{\pi }v^{\epsilon }\right ) dxdt. \end{equation}
\begin{align} I_{2} & =-\frac{\chi }{2}\int _{B}\left \vert \nabla v^{\epsilon }\right \vert ^{2}dx+\frac{\chi }{2}\int _{B}\left \vert \nabla v^{\epsilon }(x,0)\right \vert ^{2}dx-\frac{\chi \theta }{\pi }\int _{B}v^{\epsilon }dx+\frac{\chi \theta }{\pi }\int _{B}v^{\epsilon }(x,0)dx\\[3pt] & -\delta \int _{B}\log \left ( n^{\epsilon }+\delta \right ) dx+\delta \int _{B}\log \left ( n^{\epsilon }(x,0)+\delta \right ) dx.\nonumber \end{align}
For
$I_{3},$
we have
\begin{align} I_{3} & =\int _{0}^{t}\int _{B}\left ( n^{\epsilon }+\delta \right ) \nabla \left ( \log \left ( n^{\epsilon }+\delta \right ) -\chi v^{\epsilon }+2\pi QK^{\epsilon }\right ) \cdot \nabla \phi dxd\tau +\delta \int _{0}^{t}\int _{B}\left ( \chi \nabla v^{\epsilon }-2\pi Q\nabla K^{\epsilon }\right ) \cdot \nabla \phi dxd\tau \nonumber \\[3pt] & =\int _{0}^{t}\int _{B}\left ( n^{\epsilon }+\delta \right ) \left \vert \nabla \left ( \log \left ( n^{\epsilon }+\delta \right ) -\chi v^{\epsilon }+2\pi QK^{\epsilon }\right ) \right \vert ^{2}dxd\tau +\delta \int _{0}^{t}\int _{B}\left ( \chi \nabla v^{\epsilon }-2\pi Q\nabla K^{\epsilon }\right ) \cdot \nabla \phi dxd\tau . \end{align}
Combining (81), (84) and (85), and using
$n^{\epsilon }(x,0)=n(x,0),$
we obtain
\begin{align} & \int _{B}n(x,0)\phi (x,0)dx\nonumber \\[3pt] & =\int _{B}n^{\epsilon }\phi dx+\frac{\chi }{2}\int _{B}\left \vert \nabla v^{\epsilon }\right \vert ^{2}dx-\frac{\chi }{2}\int _{B}\left \vert \nabla v^{\epsilon }(x,0)\right \vert ^{2}dx+\frac{\chi \theta }{\pi }\int _{B}v^{\epsilon }dx-\frac{\chi \theta }{\pi }\int _{B}v^{\epsilon }(x,0)dx\nonumber \\[3pt] & +\delta \int _{B}\log \left ( n^{\epsilon }+\delta \right ) dx-\delta \int _{B}\log \left ( n(x,0)+\delta \right ) dx\nonumber \\[3pt] & +\int _{0}^{t}\int _{B}\left ( n^{\epsilon }+\delta \right ) \left \vert \nabla \left ( \log \left ( n^{\epsilon }+\delta \right ) -\chi v^{\epsilon }+2\pi QK^{\epsilon }\right ) \right \vert ^{2}dxd\tau +\delta \int _{0}^{t}\int _{B}\left ( \chi \nabla v^{\epsilon }-2\pi Q\nabla K^{\epsilon }\right ) \cdot \nabla \phi dxd\tau . \end{align}
Lemma 12 give us enough control to pass to the limit as
$\delta \rightarrow 0$
in the last identity, with the exception of term
\begin{align} & \int _{0}^{t}\int _{B}\left ( n^{\epsilon }+\delta \right ) \left \vert \nabla \left ( \log \left ( n^{\epsilon }+\delta \right ) -\chi v^{\epsilon }+2\pi QK^{\epsilon }\right ) \right \vert ^{2}dxd\tau \nonumber \\[3pt] & =\int _{0}^{t}\int _{B}\frac{\left \vert \nabla \left ( n^{\epsilon }+\delta \right ) \right \vert ^{2}}{n^{\epsilon }+\delta }+\left ( n^{\epsilon }+\delta \right ) \chi ^{2}\left \vert \nabla v^{\epsilon }\right \vert ^{2}+4\pi ^{2}Q^{2}\left ( n^{\epsilon }+\delta \right ) \left \vert \nabla K^{\epsilon }\right \vert ^{2}\nonumber \\[3pt] & -2\chi \nabla n^{\epsilon }\cdot \nabla v^{\epsilon }+4\pi Q\nabla n^{\epsilon }\cdot \nabla K^{\epsilon }-4\pi \chi Q\left ( n^{\epsilon }+\delta \right ) \nabla v^{\epsilon }\cdot \nabla K^{\epsilon }dxd\tau . \end{align}
We rewrite the first integral in the last identity in the form
\begin{equation*} \int _{0}^{t}\int _{B}\frac {\left \vert \nabla \left ( n^{\epsilon }+\delta \right ) \right \vert ^{2}}{n^{\epsilon }+\delta }dxd\tau =4\int _{0}^{t}\int _{B}\left \vert \nabla \left ( n^{\epsilon }+\delta \right ) ^{1/2}\right \vert ^{2}dxd\tau, \end{equation*}
and recalling the convexity of the functional
\begin{equation*} h\rightarrow \int _{0}^{t}\int _{B}h\left \vert \nabla \log h\right \vert ^{2}dxd\tau =4\int _{0}^{t}\int _{B}\left \vert \nabla h^{1/2}\right \vert ^{2}dxd\tau, \end{equation*}
(cf. [Reference Benguria, Brezis and Lieb10, Lemma 4]), we obtain by lower semicontinuity that, up to the extraction of sequence
$(\delta _{k})_{k\geq 1}$
which converges to
$0$
\begin{equation} \int _{0}^{t}\int _{B}\left \vert \nabla \left ( n^{\epsilon }\right ) ^{1/2}\right \vert ^{2}dxd\tau \leq \underset{\delta _{k}\rightarrow 0}{\lim \inf }\int _{0}^{t}\int _{B}\left \vert \nabla \left ( n^{\epsilon }+\delta _{k}\right ) ^{1/2}\right \vert ^{2}dxd\tau . \end{equation}
In conclusion, Lemma 12 together with (88) allow us to conclude
\begin{equation*} W^{\epsilon }(0)-W^{\epsilon }(t)\geq \int _{0}^{t}\int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\chi v^{\epsilon }+2\pi QK^{\epsilon }\right ) \right \vert ^{2}dxd\tau .\ \end{equation*}
Lemma 14.
Let us assume that
$n_{0}\in L^{\infty }(B).$
For some constant
$C$
independent of
$\epsilon$
\begin{equation*} \int _{0}^{T}\left \Vert \frac {dn^{\epsilon }}{dt}\right \Vert _{H^{1}(B)^{\ast }}^{2}dt\leq C. \end{equation*}
Proof. We apply (12) together with Young’s inequality
$ab\leq a\log a+\exp (b)$
valid for all
$a\geq 0,$
$b\in \mathbb{R}$
, to obtain
\begin{align} 2\pi Q\int _{B}n^{\epsilon }K^{\epsilon }dx & \leq -Q\int _{B}n^{\epsilon }\log \left \vert x\right \vert dx=Q\int _{B}n^{\epsilon }\log \left \vert x\right \vert ^{-1}dx\nonumber \\[3pt] & \leq Q\int _{B}n^{\epsilon }\log n^{\epsilon }dx+Q\int _{B}\left \vert x\right \vert ^{-1}dx=Q\int _{B}n^{\epsilon }\log n^{\epsilon }dx+2\pi Q. \end{align}
From Lemma 12, we know that for some constant constant
$\ C_{0}$
\begin{equation} \left \Vert n^{\epsilon }(\cdot, t)\right \Vert _{L^{\infty }(B)}\leq C_{0}\text{ for all }t\in (0,T). \end{equation}
We denote
${M\,:\!=\,}\max _{x\in \left [ 0,C_{0}\right ] }x\log x.$
The estimates (89) and (90) readily give us
\begin{equation} -2\pi Q\int _{B}K^{\epsilon }n^{\epsilon }dx\geq -Q\pi{M-2\pi Q}. \end{equation}
On the other hand, we recall the condition in
$\int _{B}v^{\epsilon }dx=0,$
(see (4)), which allows us to apply Poincare’s inequality to ensure that for a constant
$C_{P},$
\begin{align} \int _{B}\left \vert v^{\epsilon }\right \vert dx & \leq \sqrt{\pi }\left ( \int _{B}(v^{\epsilon })^{2}dx\right ) ^{1/2}\leq \sqrt{\pi }C_{P}\left ( \int _{B}\left \vert \nabla v^{\epsilon }\right \vert ^{2}dx\right ) ^{1/2}\\[3pt] & \leq \sqrt{\pi }C_{P}\left ( \int _{B}\left ( n^{\epsilon }-\frac{\theta }{\pi }\right ) ^{2}dx\right ) ^{1/2}\leq \sqrt{2\pi }C_{P}\left ( C_{0}^{2}\pi +\frac{\theta ^{2}}{\pi }\right ) ^{1/2}.\nonumber \end{align}
Thus, Lemma 12 together with (91) and (92) readily imply the existence of a constant
$C_{1}$
independent of
$\epsilon$
so that
\begin{equation} W^{\epsilon }(t)\geq C_{1}\text{. } \end{equation}
On the other hand,
\begin{align*} \left ( \frac{dn^{\epsilon }}{dt},\mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))} & =\left ( \operatorname{div}\left \{ n^{\epsilon }\nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) \right ) \right \}, \mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))}\\[3pt] & =-\int _{B}n^{\epsilon }\nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) \right ) \cdot \nabla \mu dx. \end{align*}
Therefore,
\begin{align*} \left \Vert \frac{dn^{\epsilon }}{dt}\right \Vert _{H^{1}(B)^{\ast }}^{2} & =\sup _{\left \Vert \mu \right \Vert _{H^{1}(B)}\leq 1}\left ( \frac{dn^{\epsilon }}{dt},\mu \right ) _{(H^{1}(B)^{\ast },H^{1}(B))}\\[3pt] & \leq \frac{1}{2}\int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) \right ) \right \vert ^{2}dx+\frac{1}{2}\int _{B}n^{\epsilon }\left \vert \nabla \mu \right \vert ^{2}dx\\[3pt] & \leq \frac{1}{2}\int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) \right ) \right \vert ^{2}dx+\frac{1}{2}C_{0} \end{align*}
Integrating over
$(0,T)$
and applying Lemma 13 together with (93),
\begin{align} & \int _{0}^{T}\left \Vert \frac{dn^{\epsilon }}{dt}\right \Vert _{L^{2}(0,T,H^{1}(B)^{\ast })}^{2}dt\nonumber \\[3pt] & \leq \frac{1}{2}\int _{0}^{T}\int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }\right ) \right ) \right \vert ^{2}dxdt+\frac{1}{2}C_{0}\nonumber \\[3pt] & \leq \frac{1}{2}W^{\epsilon }(0)-\frac{1}{2}W^{\epsilon }(t)+\frac{1}{2}C_{0}\leq \frac{1}{2}W^{\epsilon }(0)-\frac{1}{2}C_{1}+\frac{1}{2}C_{0}. \end{align}
To obtain an upper estimate for
$W^{\epsilon }(0),$
independent of
$\epsilon, $
we first notice that
\begin{align*} W^{\epsilon }(0) & \,:\!=\,\int _{B}\left ( n^{\epsilon }(x,0)\log n^{\epsilon }(x,0)-\chi n^{\epsilon }(x,0)v^{\epsilon }(x,0)+2\pi QK^{\epsilon }(x)n^{\epsilon }(x,0)+\frac{\chi }{2}\left \vert \nabla v^{\epsilon }(x,0)\right \vert ^{2}\right ) dx\\[3pt] & =\int _{B}\left ( n(x,0)\log n(x,0)-\chi n(x,0)v(x,0)+2\pi QK^{\epsilon }(x)n(x,0)+\frac{\chi }{2}\left \vert \nabla v(x,0)\right \vert ^{2}\right ) dx. \end{align*}
Note that an upper bound for the integral
$2\pi Q\int _{B}K^{\epsilon }(x)n(x,0)dx$
is provided by estimate (91). Thus,
\begin{equation} W^{\epsilon }(0)\leq \int _{B}\left ( n_{0}\log n_{0}-\chi n_{0}v_{0}+\frac{\chi }{2}\left \vert \nabla v_{0}\right \vert ^{2}\right ) dx+Q\pi{M+2\pi Q}. \end{equation}
In conclusion, estimates (94) and (95) give us a constant
$C_{2},$
independent of
$\epsilon, $
satisfying
\begin{equation*} \int _{0}^{T}\left \Vert \frac {dn^{\epsilon }}{dt}\right \Vert _{H^{1}(B)^{\ast }}^{2}dt\leq C_{2}. \end{equation*}
Theorem 15
(Local existence). Given a non-negative initial condition
$n_{0}\in L^{\infty }(B)$
, there exists
$T=T(n_{0})\gt 0$
such that the problem (4)–(7) has a weak solution in the sense of definition 4
. Moreover, for any
$q\gt 2$
, there exist a constant
$C(q,T)$
such that
\begin{equation} \left \Vert n(\cdot, t)\right \Vert _{L^{q}(B)}\lt C(q,T),\text{ a.e. on }0\lt t\lt T\text{ } \end{equation}
If
$T_{\max }$
is the maximal time of existence, the problem (
4
)–(
7
) and
$T_{\max }\lt \infty$
then
\begin{equation} \underset{t\rightarrow T_{\max }}{\lim \sup }\left \Vert n(\cdot, t)\right \Vert _{L^{\infty }(B)}=\infty . \end{equation}
The functional
\begin{equation*} W(t)\,:\!=\,\int _{B}\left ( n\log n-\chi nv-Qn\log \left \vert x\right \vert +\frac {\chi \theta }{\pi }v+\frac {\chi }{2}\left \vert \nabla v\right \vert ^{2}\right ) dx, \end{equation*}
satisfies
\begin{equation} W(t)\leq W(0)\text{ for all }0\lt t\lt T_{\max }. \end{equation}
Proof. Lemma (11) provides a constant
$C_{1}$
and a time
$T$
independent of
$\epsilon$
such that
\begin{equation*} \left \Vert n^{\epsilon }\right \Vert _{L^{q}((0,T)\times B)}\leq C_{1}. \end{equation*}
Consequently, there exists
$n\in L^{q}((0,T)\times B)$
such that
\begin{equation} n^{\epsilon }\rightarrow n\text{ weakly in }L^{q}((0,T)\times B)\text{ when }\epsilon \rightarrow 0. \end{equation}
The weak-lower semicontinuity of the norm implies
\begin{equation*} \left \Vert n(\cdot, t)\right \Vert _{L^{q}((0,T)\times B)}\lt C_{1},\text { for all }0\lt t\lt T\text {.}\end{equation*}
On the other hand, using
$\left \vert \nabla K^{\epsilon }\left ( x\right ) \right \vert \leq \frac{1}{2\pi \left \vert x\right \vert }$
$\in L^{s}(B)$
for all
$\ s\in \lbrack 1,2)$
together with the convergence:
\begin{equation*} \nabla K^{\epsilon }\left ( x\right ) \rightarrow -\frac {x}{2\pi \left \vert x\right \vert ^{2}}\text { a.e in }B\text { when }\epsilon \rightarrow 0\text {,}\end{equation*}
we obtain by Lebesgue dominated convergence theorem
\begin{equation*} \nabla K^{\epsilon }\left ( x\right ) \rightarrow -\frac {x}{2\pi \left \vert x\right \vert ^{2}}\text { strongly in }L^{s}(B)\times L^{s}(B). \end{equation*}
In particular, for the constant
$q^{\ast }=\frac{q}{q-1}\in (1,2),$
\begin{equation} \nabla K^{\epsilon }\left ( x\right ) \rightarrow -\frac{x}{2\pi \left \vert x\right \vert ^{2}}\text{ strongly in }L^{q^{\ast }}(B)\times L^{q^{\ast }}(B). \end{equation}
\begin{equation} n^{\epsilon }\nabla K^{\epsilon }\rightarrow -n\frac{x}{2\pi \left \vert x\right \vert ^{2}}\text{ weakly in }L^{1}((0,T)\times B)\times L^{1}((0,T)\times B)\text{ when }\epsilon \rightarrow 0^{+}. \end{equation}
Lemma 11 readily provides the existence of a constant
$C_{2}$
satisfying
\begin{equation} \left \Vert n^{\epsilon }\right \Vert _{L^{2}(0,T,H^{1}(B))}\leq C_{2}\text{.} \end{equation}
We also have from Lemma 14 the existence of a constant
$C_{3}$
, independent of
$\epsilon$
such that
\begin{equation} \left \Vert \frac{dn^{\epsilon }}{dt}\right \Vert _{L^{2}(0,T,H^{1}(B)^{\ast })}\leq C_{3}. \end{equation}
Recalling the embeddings
\begin{equation*} H^{1}(B)\overset {compact}{\hookrightarrow }L^{2}(B)\overset {continuous}{\hookrightarrow }H^{1}(B)^{\ast }, \end{equation*}
and taking into account that the constants
$C_{2}$
and
$C_{3}$
are independent of
$\epsilon$
, we get, up to a subsequence, by the Aubin–Lions compactness Lemma
\begin{equation} n^{\epsilon }\rightarrow n\text{ as }\epsilon \rightarrow 0,\text{ strong in }L^{2}(0,T,L^{2}(B)). \end{equation}
The theory of linear elliptic equations give us a constant
$C_{4}$
satisfying
\begin{equation} \left \Vert v^{\epsilon }(\ast, t)\right \Vert _{H^{1}(B)}\leq C_{4}\left \Vert n^{\epsilon }(\ast, t)-\frac{\theta }{\pi }\right \Vert _{L^{2}(B)}\text{ for a.e. }t\in (0,T). \end{equation}
The last estimate together with Lemma 11 imply the existence of
$v(\ast, t)\in H^{1}(B)$
satisfying
\begin{equation*} v^{\epsilon }(\ast, t)\rightarrow v(\ast, t)\text { weakly in }H^{1}(B), \end{equation*}
as
$\epsilon \rightarrow 0,$
as well as
\begin{equation} v^{\epsilon }\rightarrow v\text{ weakly in }L^{2}(0,T,H^{1}(B)).\text{ } \end{equation}
\begin{equation*} n^{\epsilon }\nabla v^{\epsilon }\rightarrow n\nabla v\text { weakly in }L^{1}((0,T)\times B). \end{equation*}
In conclusion, taking limits in (17) and (18) when
$\epsilon \rightarrow 0$
, we find that that
$n$
,
$v$
satisfy (10), (11). That is, we have proved the local existence of solutions in the interval
$(0,T).$
In order to prove the extension criteria (97), we proceed by contradiction. Let us assume
$T_{\max }$
is the maximal time of existence. If (97) does not hold, then we can repeat the argument to construct solutions on
$(0,T_{\max })$
to obtain a new solution with initial data in
$t=T_{\max }.$
Thus, we would have a solution in some interval of the form
$(0,T^{\ast })$
with
$T^{\ast }\gt T,$
which contradicts the maximality of
$T$
.
Finally, let us show that
$n$
,
$v$
satisfies (98). Using Lemma 11 along with the strong convergence result (104), we get, up to subsequence in
$\epsilon$
\begin{equation} n^{\epsilon }(\cdot, t)\rightarrow n(\cdot, t)\text{ as }\epsilon \rightarrow 0\text{ \ strong in }L^{q}(B),\text{ a.e. for }t\in (0,T). \end{equation}
and that the function
$n$
satisfies
\begin{equation*} \left \Vert n(\cdot, t)\right \Vert _{L^{q}(B)}\leq C_{5}\text { \, \, \, \, a.e. for }t\in (0,T). \end{equation*}
for some constant
$C_{5}.$
Also from Lemma 11, estimate (105) and the Rellich–Kondrachov theorem
\begin{equation} v^{\epsilon }(\cdot, t)\rightarrow v(\cdot, t)\text{ as }\epsilon \rightarrow 0\text{ strong in }L^{2}(B),\text{ a.e. for }t\in (0,T), \end{equation}
and
\begin{equation*} \nabla v^{\epsilon }(\ast, t)\rightarrow \nabla v(\ast, t)\text { as }\epsilon \rightarrow 0\text { weakly in }L^{2}(B),\text { a.e. for }t\in (0,T). \end{equation*}
Therefore,
\begin{equation} n^{\epsilon }(\cdot, t)v^{\epsilon }(\cdot, t)\rightarrow n(\cdot, t)v(\cdot, t)\text{ as }\epsilon \rightarrow 0\text{ strong in }L^{1}(B),\text{ a.e. for }t\in (0,T), \end{equation}
and by convexity
\begin{equation} \int _{B}\left ( n(\cdot, t)\log n(\cdot, t)+\frac{\chi }{2}\left \vert \nabla v(\cdot, t)\right \vert ^{2}\right ) \leq \underset{\epsilon \rightarrow 0}{\lim \inf }\int _{B}\left ( n^{\epsilon }(\cdot, t)\log n^{\epsilon }(\cdot, t)+\frac{\chi }{2}\left \vert \nabla v^{\epsilon }(\cdot, t)\right \vert ^{2}\right ) dx\text{ \ a.e. for }t\in (0,T). \end{equation}
We also note that the strong convergence (108) implies
\begin{equation} v^{\epsilon }(\cdot, t)\rightarrow v(\cdot, t)\text{ as }\epsilon \rightarrow 0\text{ strong in }L^{1}(B),\text{ a.e. for }t\in (0,T). \end{equation}
Taking into account the convergence (107)
$,$
we obtain
$,$
up to a subsequence,
\begin{equation} n^{\epsilon }\rightarrow n\text{ a.e in }B\times (0,T_{\max })\text{ as }\epsilon \rightarrow 0. \end{equation}
We also have
\begin{equation} K^{\epsilon }\rightarrow K\text{ a.e in }B\text{ as }\epsilon \rightarrow 0. \end{equation}
It follows from (112), (113), Lemma 12 and the estimate
\begin{equation*} n^{\epsilon }(x,\cdot )K^{\epsilon }(x)\leq \frac {1}{2\pi }\left \Vert n^{\epsilon }(\cdot, t)\right \Vert _{L^{\infty }(B)}\left \vert \log \left \vert x\right \vert \right \vert, \end{equation*}
that we can apply Lebesgue dominated convergence theorem to obtain
\begin{equation*} \int _{B}K^{\epsilon }n^{\epsilon }dx\rightarrow -\frac {1}{2\pi }\int _{B}n\log \left \vert x\right \vert dx\text { as }\epsilon \rightarrow 0^{+}\text { for }0\leq t\lt T. \end{equation*}
On the other hand, we have that
\begin{align} \underset{\epsilon \rightarrow 0^{+}}{\lim }W^{\epsilon }(x,0) & =\underset{\epsilon \rightarrow 0^{+}}{\lim }\left ( \int _{B}\left ( n_{0}^{\epsilon }\log n_{0}^{\epsilon }-\chi n_{0}^{\epsilon }v_{0}^{\epsilon }+2\pi QK^{\epsilon }n_{0}^{\epsilon }+\frac{\chi \theta }{\pi }v_{0}^{\epsilon }+\frac{\chi }{2}\left \vert \nabla v_{0}^{\epsilon }\right \vert ^{2}\right ) dx\right ) \nonumber \\[3pt] & =\underset{\epsilon \rightarrow 0^{+}}{\lim }\left ( \int _{B}\left ( n_{0}\log n_{0}-\chi n_{0}v_{0}+2\pi QK^{\epsilon }n_{0}+\frac{\chi \theta }{\pi }v_{0}+\frac{\chi }{2}\left \vert \nabla v_{0}\right \vert ^{2}\right ) dx\right ) \nonumber \\[3pt] & =\int _{B}\left ( n_{0}\log n_{0}-\chi n_{0}v_{0}-Qn_{0}\log \left \vert x\right \vert +\frac{\chi \theta }{\pi }v_{0}+\frac{\chi }{2}\left \vert \nabla v_{0}\right \vert ^{2}\right ) dx. \end{align}
We obtain from (109), (110) and (114)
\begin{align} & \int _{B}\left ( n\log n-\chi nv-Qn\log \left \vert x\right \vert +\frac{\chi \theta }{\pi }v+\frac{\chi }{2}\left \vert \nabla v\right \vert ^{2}\right ) dx\\[3pt] & \leq \underset{\epsilon \rightarrow 0^{+}}{\lim \inf }\int _{B}\left ( n^{\epsilon }\log n^{\epsilon }-\chi n^{\epsilon }v^{\epsilon }+2\pi QK^{\epsilon }n^{\epsilon }+\frac{\chi \theta }{\pi }v^{\epsilon }+\frac{\chi }{2}\left \vert \nabla v^{\epsilon }\right \vert ^{2}\right ) dx.\nonumber \end{align}
In conclusion, an application of the energy inequality given by Lemma 13 together with the estimates (114) and (115) give us
\begin{align*} W(t) & =\int _{B}\left ( n\log n-\chi nv-Qn\log \left \vert x\right \vert +\frac{\chi \theta }{\pi }v+\frac{\chi }{2}\left \vert \nabla v\right \vert ^{2}\right ) dx\underset{\epsilon \rightarrow 0^{+}}{\leq \lim \inf }W^{\epsilon }(t)\\[3pt] & \leq \underset{\epsilon \rightarrow 0^{+}}{\lim \inf }\left ( W^{\epsilon }(0)-\int _{0}^{t}\int _{B}n^{\epsilon }\left \vert \nabla \left ( \log n^{\epsilon }-\left ( \chi v^{\epsilon }-2\pi QK^{\epsilon }n^{\epsilon }\right ) \right ) \right \vert ^{2}dx\right ) \\[3pt] & \leq \underset{\epsilon \rightarrow 0^{+}}{\lim \inf }W^{\epsilon }(0)=\int _{B}\left ( n_{0}\log n_{0}-\chi n_{0}v_{0}-Qn_{0}\log \left \vert x\right \vert +\frac{\chi \theta }{\pi }v_{0}+\frac{\chi }{2}\left \vert \nabla v_{0}\right \vert ^{2}\right ) dx=W(0). \end{align*}
5. Global existence
The main tools in this section are the free energy functional and a version of the Moser–Trudinger inequality involving singular weights. We recall firstly the classical Moser–Trudinger inequality.
Theorem 16
(Moser–Trudinger inequality, [Reference Moser25]). Let
$\Omega$
be bounded domain in
$\mathbb{R}^{n}$
$(n\geq 2)$
. Let
$h\in W_{0}^{1,n}(\Omega )$
and
\begin{equation*} \int _{\Omega }\left \vert \nabla h\right \vert ^{n}dx\leq 1. \end{equation*}
Then there exists a constant
$\kappa$
depending only on
$n$
such that
\begin{equation*} \int _{\Omega }e^{\alpha h^{\frac {n}{n-1}}}dx\leq \kappa \left \vert \Omega \right \vert, \end{equation*}
where
$\alpha \leq n\omega _{n-1}^{1/(n-1)},$
and
$\omega _{n-1}$
is the
$\left ( n-1\right ) -$
dimensional surface area of the unit sphere in
$\mathbb{R}^{n}.$
Proposition 17.
Let
$f\in W^{1,n}(B(0,L)))$
with
$f(x)=f(\left \vert x\right \vert ).$
Then for any
$\varepsilon \gt 0,$
there exists a constant
$C_{\varepsilon }$
depending on
$\varepsilon$
and
$\left \vert B(0,L)\right \vert$
such that
\begin{equation} f(L)\leq \varepsilon \left \Vert \nabla f\right \Vert _{L^{n}(B(0,L))}+C_{\varepsilon }\left \Vert f\right \Vert _{L^{1}(B(0,L))}, \end{equation}
where the left-hand side of this inequality is interpreted in sense of the trace.
Proof. Since
$C^{1}(\overline{B(0,L)})$
is dense in
$W^{1,n}(B(0,L)),$
it suffices to prove the case
$f\in C^{1}(\overline{B(0,L)}).$
Let us denote
$\varepsilon _{n}=\varepsilon \omega _{n}^{1/n}$
. Choose
$r_{0}\in \lbrack e^{-\varepsilon _{n}n/(n-1)}L,L)$
such that
\begin{equation*} f(r_{0})r_{0}^{n-1}\leq \frac {1}{(1-e^{-\varepsilon _{n}n/(n-1)})L}\int _{e^{-\varepsilon _{n}n/(n-1)}L}^{L}f(r)r^{n-1}dr. \end{equation*}
Then
\begin{align} f(r_{0}) & \leq r_{0}^{1-n}\frac{1}{(1-e^{-\varepsilon _{n}n/(n-1)})L\omega _{n-1}}\int _{B(0,L)}f(x)dx\nonumber \\[3pt] & \leq (e^{-\varepsilon _{n}n/(n-1)}L)^{1-n}\frac{1}{(1-e^{-\varepsilon _{n}n/(n-1)})L\omega _{n-1}}\int _{B(0,L)}f(x)dx\nonumber \\[3pt] & =e^{n\varepsilon _{n}}\frac{1}{(1-e^{-\varepsilon _{n}n/(n-1)})L^{n}\omega _{n-1}}\int _{B(0,L)}f(x)dx\nonumber \\[3pt] & =\frac{e^{n\varepsilon _{n}}}{n(1-e^{-\varepsilon _{n}n/(n-1)})\left \vert B(0,L)\right \vert }\int _{B(0,L)}f(x)dx. \end{align}
Here, we used
$\left \vert B(0,L)\right \vert =n^{-1}L^{n}\omega _{n-1}.$
Next, we apply Hölder’s inequality to obtain
\begin{align*} f(L) & =f(r_{0})+\int _{r_{0}}^{L}f^{\prime }(r)dr\leq f(r_{0})+\int _{e^{-\varepsilon _{n}n/(n-1)}L}^{L}r^{(1-n)/n}f^{\prime }(r)r^{(n-1)/n}dr\\[3pt] & \leq f(r_{0})+\left ( \int _{e^{-\varepsilon _{n}n/(n-1)}L}^{L}r^{-1}dr\right ) ^{(n-1)/n}\left ( \int _{e^{-\varepsilon _{n}n/(n-1)}L}^{L}\left \vert f^{\prime }(r)\right \vert ^{n}r^{n-1}dr\right ) ^{1/n}\\[3pt] & \leq f(r_{0})+\left ( \int _{e^{-\varepsilon _{n}n/(n-1)}L}^{L}r^{-1}dr\right ) ^{(n-1)/n}\left ( \frac{1}{\omega _{n}}\right ) ^{1/n}\left \Vert \nabla f\right \Vert _{n}\\[3pt] & =f(r_{0})+\varepsilon _{n}\left ( \frac{1}{\omega _{n}}\right ) ^{1/n}\left \Vert \nabla f\right \Vert _{n}. \end{align*}
The last estimate, together with (117), and the definition of
$\varepsilon _{n}$
leads to
\begin{equation*} f(L)\leq \varepsilon \left \Vert \nabla f\right \Vert _{L^{n}(B(0,L))}+\frac {e^{n\varepsilon \omega _{n}^{-1/n}}}{n(1-e^{-\varepsilon \omega _{n}^{-1/n}n/(n-1)})\left \vert B(0,L)\right \vert }\left \Vert f\right \Vert _{L^{1}(B(0,L))}. \end{equation*}
In conclusion, we have proved (116) with
\begin{equation*} C_{\varepsilon }\,:\!=\,\frac {e^{n\varepsilon \omega _{n}^{-1/n}}}{n(1-e^{-\varepsilon \omega _{n}^{-1/n}n/(n-1)})\left \vert B(0,L)\right \vert }. \end{equation*}
.
In the next result, we propose in the radial case an extension for a version of the Moser–Trudinger inequality with weight (cf. [Reference Adimurthi and Sandeep5, Theorem 2.1] and [Reference Battaglia7, Corollary 2.5]). The main novelty is that our result allows having singularities in the weight function.
Proposition 18
(Singular Moser–trudinger inequality). Let
$P\gt -2$
a constant and
$B\,:\!=\,B(0,1)\subseteq \mathbb{R}^{2}$
a ball of radius
$1$
and centred at the origin. Let
$f\in H_{0}^{1}(B)$
with
$f(x)=f(\left \vert x\right \vert ).$
Then there exists a constant
$C_{P}=C(P,\left \vert B\right \vert )$
such that
\begin{equation} \log \left ( \int _{B}\left \vert x\right \vert ^{P}e^{\left \vert f\right \vert }dx\right ) \leq \frac{1}{8\pi (2+P)}\left \Vert \nabla f\right \Vert _{2}^{2}+C_{P}. \end{equation}
Proof. Since
$C^{1}(\overline{B})$
is dense in
$H^{1}(B),$
we can assume that
$f\in C^{1}(\overline{B}).$
We can also assume
$f\geq 0$
because if it is not the case, we apply (118) to the function
$f^{\ast }=f+\left \vert \sup _{\overline{B}}f\right \vert \geq 0,$
which in turn lead us to get (118) for such a function
$f$
. Let
$I\,:\!=\,\int _{B}\left \vert x\right \vert ^{P}\exp (f)dx.$
In polar coordinates
\begin{equation*} I=2\pi \int _{0}^{1}r^{P+1}\exp (f(r))dr. \end{equation*}
We look for a function
$\rho =\rho (r)$
producing
$\rho d\rho =r^{P+1}dr$
and hence, we take
\begin{equation} \rho \,:\!=\,\sqrt{\frac{2}{P+2}}r^{\frac{P+2}{2}}. \end{equation}
Then
\begin{equation} I=2\pi \int _{0}^{\sqrt{\frac{2}{P+2}}}\rho \exp f(r(\rho ))d\rho =\int _{B_{P}}\exp (\overline{f})dy, \end{equation}
where
$B_{P}\,:\!=\,B\left ( 0,\sqrt{\frac{2}{P+2}}\right )$
and
$\overline{f}\,:\!=\,f(r(\rho ))$
or equivalently,
\begin{equation*} \overline {f}(y)\,:\!=\,f\left ( \left ( \frac {P+2}{2}\right ) ^{\frac {1}{P+2}}\left \vert y\right \vert ^{\frac {2}{P+2}}\right ) \text { for }y\in B_{P}. \end{equation*}
Likewise, applying (119) yields
\begin{align} \int _{B}\left \vert \nabla f(x)\right \vert ^{2}dx & =2\pi \int _{0}^{1}\left \vert f_{r}\right \vert ^{2}rdr=2\pi \int _{0}^{\sqrt{\frac{2}{P+2}}}\left \vert \frac{d\rho }{dr}\overline{f}_{\rho }\right \vert ^{2}r\frac{1}{d\rho /dr}d\rho =2\pi \int _{0}^{\sqrt{\frac{2}{P+2}}}\left \vert \overline{f}_{\rho }\right \vert ^{2}r\frac{d\rho }{dr}d\rho \nonumber \\[3pt] & =2\pi \frac{P+2}{2}\int _{0}^{\sqrt{\frac{2}{P+2}}}\left \vert \overline{f}_{\rho }\right \vert ^{2}\rho d\rho =\frac{P+2}{2}\int _{B_{P}}\left \vert \nabla \overline{f}\right \vert ^{2}dy. \end{align}
Now, by applying both (120) and the Moser–Trudinger inequality (Theorem16), we obtain
\begin{align} I & =\int _{B_{P}}\exp (\overline{f})dx\leq \int _{B_{P}}\exp \left ( \frac{4\pi \overline{f}^{2}}{\left \Vert \nabla \overline{f}\right \Vert _{L^{2}(B_{P})}^{2}}+\frac{\left \Vert \nabla \overline{f}\right \Vert _{L^{2}(B_{P})}^{2}}{16\pi }\right ) dx\nonumber \\[3pt] & \leq \exp \left ( \frac{\left \Vert \nabla \overline{f}\right \Vert _{L^{2}(B_{P})}^{2}}{16\pi }\right ) \int _{B_{P}}\exp \left ( \frac{4\pi \overline{f}^{2}}{\left \Vert \nabla \overline{f}\right \Vert _{L^{2}(B_{P})}^{2}}\right ) dx\leq \kappa \left \vert B_{P}\right \vert \exp \left ( \frac{\left \Vert \nabla \overline{f}\right \Vert _{L^{2}(B_{P})}^{2}}{16\pi }\right ) . \end{align}
We conclude from (121) and (122)
\begin{equation} I\leq \kappa \left \vert B_{P}\right \vert \exp \left \{ \left ( \frac{1}{8\pi (2+P)}\right ) \left \Vert \nabla f\right \Vert _{L^{2}(B)}^{2}\right \} . \end{equation}
We conclude from (123) the validity of (118) with
$C_{P}=\log (\kappa \left \vert B_{P}\right \vert )=\log (\kappa \pi P^{2}).$
Theorem 19.
Let
$S\gt -2$
and
$B\,:\!=\,B(0,1)\subseteq \mathbb{R}^{2}$
a ball of radius
$1$
. Let
$g\in H^{1}(B)$
with
$g(x)=g(\left \vert x\right \vert ).$
Then for any
$\delta \gt 0$
, there exists a constant
$C(\delta, S,\left \vert B\right \vert )$
such that
\begin{equation} \int _{B}\left \vert x\right \vert ^{S}\exp (\left \vert g\right \vert )dx\leq C(\delta, S,\left \vert B\right \vert )\exp \left \{ \left ( \frac{1}{8\pi (2+S)}+\delta \right ) \left \Vert \nabla g\right \Vert _{2}^{2}+\frac{2}{\left \vert B\right \vert }\left \Vert g\right \Vert _{L^{1}(B)}\right \} . \end{equation}
Proof. Recalling that
$C^{1}(\overline{B})$
is dense in
$H^{1}(B),$
we assume without loss of generality that
$g\in C^{1}(\overline{B})$
and
$g\geq 0.$
Taking into account that
$G\,:\!=\,\left ( g-g(1)\right ) _{+}\in H_{0}^{1}(B)$
satisfies
$\left \Vert \nabla G\right \Vert _{2}\leq \left \Vert \nabla g\right \Vert _{2},$
we apply Proposition 18 to obtain
\begin{equation} \log \left ( \int _{B}\left \vert x\right \vert ^{S}e^{G}dx\right ) \leq \frac{1}{8\pi (2+S)}\left \Vert \nabla G\right \Vert _{2}^{2}+C_{S}. \end{equation}
To estimate the left-hand side in (125) from below, we notice
\begin{equation} \int _{B}\left \vert x\right \vert ^{S}e^{G}dx\geq e^{-g(L)}\int _{B}\left \vert x\right \vert ^{S}e^{g}dx. \end{equation}
Therefore, we obtain from (125) and (126)
\begin{equation} \int _{B}\left \vert x\right \vert ^{S}e^{g}dx\leq C_{1}\exp \left ( \frac{1}{8\pi (2+S)}\left \Vert \nabla G\right \Vert _{2}^{2}+g(1)\right ), \end{equation}
where
$C_{1}\,:\!=\,\exp (C_{S}).$
The term
$g(1)$
can be estimated by Proposition 17 in the form
\begin{equation} g(1)\leq \delta \left \Vert \nabla g\right \Vert _{2}^{2}+\frac{2}{\left \vert B\right \vert }\int _{B}g(x)dx+C_{\delta }, \end{equation}
We conclude from (127) and (128) that (124) is valid with
$C(\delta, S,\left \vert B\right \vert )\,:\!=\,C_{1}\exp (C_{\delta }).$
Proof of the theorem of global existence (Theorem1). Let us denote by
$b$
a positive parameter to be prescribed later and
\begin{equation*} \mu \,:\!=\,\int _{B}\left \vert x\right \vert ^{Q}e^{bv}dx\text {.}\end{equation*}
By leveraging the mass conservation property for
$n$
alongside Jensen’s inequality, we obtain
\begin{align*} 0 & =-\log \left ( \int _{B}\frac{\left \vert x\right \vert ^{Q}e^{bv}}{\mu }dx\right ) \leq \int _{B}\left [ -\log \left ( \frac{\theta }{n}\frac{\left \vert x\right \vert ^{Q}e^{bv}}{\mu }\right ) \right ] \frac{n}{\theta }dx\\[3pt] & =\frac{1}{\theta }\int _{B}\left ( n\log n-bnv-n\log \theta +n\log \mu -Qn\log \left \vert x\right \vert \right ) dx\\[3pt] & =\frac{1}{\theta }\int _{B}\left ( n\log n-bnv\right ) dx-\log \theta +\log \mu -\frac{Q}{\theta }\int _{B}n\log \left \vert x\right \vert dx. \end{align*}
Consequently,
\begin{equation} 0\leq \int _{B}\left ( n\log n-bnv\right ) dx-\theta \log \theta +\theta \log \left ( \int _{B}\left \vert x\right \vert ^{Q}e^{bv}dx\right ) -Q\int _{B}n\log \left \vert x\right \vert dx. \end{equation}
The singular version of the Moser–Trudinger inequality (Theorem19) gives for any
$\delta \gt 0$
\begin{equation} \log \left ( \int _{B}\left \vert x\right \vert ^{Q}\exp (bv)dx\right ) \leq b^{2}\left ( \frac{1}{8\pi (2+Q)}+\delta \right ) \left \Vert \nabla v\right \Vert _{2}^{2}+\frac{2b}{\left \vert B\right \vert }\left \Vert v\right \Vert _{L^{1}(B)}+\log C(\delta, Q,\left \vert B\right \vert ). \end{equation}
\begin{align} 0 & \leq \int _{B}\left ( n\log n-bnv\right ) dx-\theta \log \theta \nonumber \\[3pt] & +\theta b^{2}\left ( \frac{1}{8\pi (2+Q)}+\delta \right ) \left \Vert \nabla v\right \Vert _{2}^{2}+\frac{2b\theta }{\left \vert B\right \vert }\left \Vert v\right \Vert _{L^{1}(B)}\\[3pt] & +\theta \log C(\delta, Q,\left \vert B\right \vert )-Q\int _{B}n\log \left \vert x\right \vert dx.\nonumber \end{align}
Substituting the definition of
$W$
into (131), we get
\begin{align} 0 & \leq W(n,v)+(\chi -b)\int _{B}nvdx-\left ( \frac{\chi }{2}-\frac{\theta b^{2}}{8\pi (2+Q)}-\delta \theta b^{2}\right ) \left \Vert \nabla v\right \Vert _{2}^{2}\nonumber \\[3pt] & +\left ( \frac{2\theta b}{\left \vert B\right \vert }-\frac{\chi \theta }{\pi }\right ) \left \Vert v\right \Vert _{L^{1}(B)}+\theta \log C(\delta, Q,\left \vert B\right \vert )-\theta \log \theta . \end{align}
Using the monotonicity in time of the energy functional (98), we get
\begin{align} 0 & \leq W(n_{0},v_{0})+(\chi -b)\int _{B}nvdx-\left ( \frac{\chi }{2}-\frac{\theta b^{2}}{8\pi (2+Q)}-\delta \theta b^{2}\right ) \left \Vert \nabla v\right \Vert _{2}^{2}\nonumber \\[3pt] & +\left ( \frac{2\theta b}{\left \vert B\right \vert }-\frac{\chi \theta }{\pi }\right ) \left \Vert v\right \Vert _{L^{1}(B)}+\theta \log C(\delta, Q,\left \vert B\right \vert )-\theta \log \theta . \end{align}
Notably, the condition
$\int _{B}vdx=0$
permits the utilisation of Poincare’s inequality, yielding
\begin{equation*} \left \Vert v\right \Vert _{L^{2}(B)}^{2}\leq C_{P}\left \Vert \nabla v\right \Vert _{L^{2}(B)}^{2}. \end{equation*}
Thus, we derive the existence of a constant
$C_{\delta }\gt 0$
such that
\begin{equation} \left ( \frac{2\theta b}{\left \vert B\right \vert }-\frac{\chi \theta }{\pi }\right ) \left \Vert v\right \Vert _{L^{1}(B)}\leq \delta \left \Vert v\right \Vert _{L^{2}(B)}^{2}+C_{\delta _{0}}\leq \delta C_{p}\left \Vert \nabla v\right \Vert _{L^{2}(B)}^{2}+C_{\delta }. \end{equation}
Consequently, combining (133) and (134),
\begin{align} & \left ( \frac{\chi }{2}-\frac{\theta b^{2}}{8\pi (2+Q)}-\delta \left ( \theta b^{2}+C_{P}\right ) \right ) \left \Vert \nabla v\right \Vert _{2}^{2}+(b-\chi )\int _{B}nvdx\\[3pt] & \leq W(n_{0},v_{0})+\theta \log C(\delta, Q,\left \vert B\right \vert )-\theta \log \theta +C_{\delta }.\nonumber \end{align}
Now, we look pick the
$b$
such that it satisfies
\begin{equation*} \frac {\chi }{2}-\frac {\theta b^{2}}{8\pi (2+Q)}\gt 0\text { \, \, and \, \, }b\gt \chi \text {.}\end{equation*}
Equivalently
\begin{equation*} \chi ^{2}\lt b^{2}\lt \frac {4\pi \chi (2+Q)}{\theta }. \end{equation*}
The existence of such a
$b$
is clear since the condition (8) implies
\begin{equation*} \chi ^{2}\lt \frac {4\pi \chi (2+Q)}{\theta }. \end{equation*}
We fix one of those such a constant
$b$
and next, we choose
$\delta \gt 0$
small enough to have
\begin{equation*} \frac {\chi }{2}-\frac {\theta b^{2}}{8\pi (2+Q)}-\delta \left ( \theta b^{2}+C_{P}\right ) \gt 0. \end{equation*}
Therefore, we obtain from (135) that for some constant
$C_{1}=C_{1}(Q,\chi, \theta ),$
\begin{equation} \left \Vert v\right \Vert _{H^{1}}\leq C_{1},\text{ }\int _{B}nvdx\leq C_{1}. \end{equation}
To estimate the integral
$\int n\log ndx,$
we first notice that (132) together with (134) and (136) imply that
$W$
is lower-bounded. Let us denote by
$C_{2}\,:\!=\,C_{2}(\chi, Q,\theta )$
a constant satisfying
\begin{equation} W(n,v)\geq C_{2}(\chi, Q,\theta ). \end{equation}
The function
\begin{equation*} \xi (s)\,:\!=\,\frac {4\pi \left ( 2s+Q\right ) }{\chi },\text { }s\in \mathbb {R}, \end{equation*}
satisfies
$\xi (1)=\frac{4\pi \left ( 2+Q\right ) }{\chi }\gt \theta .$
Hence, we can assure by continuity the existence of
$0\lt s_{0}\lt 1$
such that
\begin{equation} \xi (s_{0})=\frac{4\pi \left ( 2s_{0}+Q\right ) }{\chi }\gt \theta . \end{equation}
We rewrite the energy functional as:
\begin{equation} W(n_{0})\geq W(n(t))=(1-s_{0})\int _{B}n\log ndx+s_{0}\int _{B}\left ( n\log n-\frac{\chi }{s_{0}}nv-\frac{Qn\log \left \vert x\right \vert }{s_{0}}+\frac{\chi \theta }{\pi s_{0}}v+\frac{\chi }{2s_{0}}\left \vert \nabla v\right \vert ^{2}\right ) dx. \end{equation}
According to the estimate in (137), we can ensure that the second integral is lower-bounded by the constant
$C_{2}(\chi /s_{0},Q/s_{0},\theta )$
as long as
\begin{equation} \theta \lt \frac{4\pi \left ( 2+Q/s_{0}\right ) }{\chi /s_{0}}=\frac{4\pi \left ( 2s_{0}+Q\right ) }{\chi }, \end{equation}
what turns out to be true by definition of
$s_{0}$
(cf. (138)). Consequently, we deduce from (139) that
\begin{equation} \int _{B}n\log ndx\leq \frac{W\left ( 0\right ) -s_{0}C_{2}(\chi /s_{0},Q/s_{0})}{1-s_{0}}. \end{equation}
Let
$n_{\ast }\,:\!=\,nI_{n\leq 1}$
, then
\begin{equation} 0\leq \int _{B}n_{\ast }\left \vert \log n_{\ast }\right \vert dx\leq \frac{\left \vert B\right \vert }{e}. \end{equation}
\begin{align} \int _{B}n\left \vert \log n\right \vert dx & =\int _{B}n\log ndx-2\int _{B}n_{\ast }\left \vert \log n_{\ast }\right \vert dx\nonumber \\[3pt] & \leq \frac{W\left ( 0\right ) -s_{0}C_{2}(\chi /s_{0},Q/s_{0})}{1-s_{0}}+\frac{2\left \vert B\right \vert }{e}. \end{align}
At this juncture, we aim to control the
$L^{r}$
-norms of the variable
$n$
. Before proceeding, let us recall that if
$n\in L^{2}((0,T);H^{1}(B))$
and
$n_{t}\in L^{2}((0,T);H^{-1}(B)),$
it ensures that
$n\in C([0,T];L^{2}(B),$
as well as the absolutely continuity of the the map
$t\rightarrow \left \Vert n(\cdot, t)\right \Vert _{L^{2}(B)}$
and the validity of the identity
\begin{equation*} \frac {d}{dt}\int _{B}n^{2}(x,t)dx=2\left \langle n^{\prime }(\cdot, t),n(\cdot, t)\right \rangle, \text { \ a.e. }0\leq t\leq T, \end{equation*}
cf. [Reference Evans16, chapter 5, theorem 3.]. Now, we take
$\phi =n$
in (10) to obtain
\begin{equation*} \int _{B}n^{2}dx-\int _{0}^{t}\int _{B}nn_{\tau }dxd\tau +\int _{0}^{t}\int _{B}\left ( \nabla n-\chi n\nabla v-n\frac {Qx}{\left \vert x\right \vert ^{2}}\right ) \cdot \nabla ndxd\tau =\int _{B}n^{2}(x,0)dx, \end{equation*}
or equivalently
\begin{equation*} \frac {1}{2}\int _{B}n^{2}dx+\int _{0}^{t}\int _{B}\left ( \left \vert \nabla n\right \vert ^{2}-\chi n\nabla v\cdot \nabla n-n\frac {Qx}{\left \vert x\right \vert ^{2}}\cdot \nabla n\right ) dxd\tau =\frac {1}{2}\int _{B}n^{2}(x,0)dx. \end{equation*}
Rearranging and integrating by parts,
\begin{equation} \frac{1}{2}\int _{B}n^{2}dx+\int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau =\frac{1}{2}\int _{B}n_{0}^{2}dx+\int _{0}^{t}\int _{B}-\frac{\chi }{2}\Delta vn^{2}dxd\tau +\int _{0}^{t}\int _{B}n\nabla n\cdot \frac{Qx}{\left \vert x\right \vert ^{2}}dxd\tau . \end{equation}
To estimate the last integral, we rewrite it in polar coordinates
\begin{align} \int _{0}^{t}\int _{B}n\nabla n\cdot \frac{Qx}{\left \vert x\right \vert ^{2}}dxd\tau & =Q\int _{0}^{t}\int _{0}^{2\pi }\int _{0}^{1}nn_{r}drd\theta d\tau \nonumber \\[3pt] & =Q\pi \int _{0}^{t}(n^{2}(1,\tau )-n^{2}(0,\tau ))d\tau \nonumber \\[3pt] & \leq Q\pi \int _{0}^{t}n^{2}(1,\tau )d\tau . \end{align}
Applying Proposition 17, we obtain that for any
$\varepsilon \gt 0,$
\begin{align*} \int _{0}^{t}n^{2}(1,t)d\tau & \leq 2\varepsilon ^{2}\int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau +2C_{\varepsilon }^{2}\int _{0}^{t}\left ( \int _{B}ndx\right ) ^{2}d\tau \\[3pt] & =2\varepsilon ^{2}\int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau +2C_{\varepsilon }^{2}\left ( \int _{B}n_{0}dx\right ) ^{2}t. \end{align*}
The last inequality together with (145) give
\begin{equation} \int _{0}^{t}\int _{B}n\nabla n\cdot \frac{Qx}{\left \vert x\right \vert ^{2}}dxd\tau \leq 2\varepsilon ^{2}Q\pi \int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau +2C_{\varepsilon }^{2}Q\pi \left ( \int _{B}n_{0}dx\right ) ^{2}t. \end{equation}
It follows from (144) and (146) that for any
$\varepsilon \gt 0$
,
\begin{align} & \frac{1}{2}\int _{B}n^{2}dx+\int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau \nonumber \\[3pt] & \leq \int _{0}^{t}\int _{B}-\frac{\chi }{2}\Delta vn^{2}dxd\tau +\frac{1}{2}\int _{B}n_{0}^{2}dx+2\varepsilon ^{2}Q\pi \int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau +2C_{\varepsilon }^{2}Q\pi \left ( \int _{B}n_{0}dx\right ) ^{2}t\nonumber \\[3pt] & \leq \frac{\chi }{2}\int _{0}^{t}\int _{B}\left ( \frac{3}{2}n^{3}+3\left \vert \Delta v\right \vert ^{3}\right ) dxd\tau +\frac{1}{2}\int _{B}n_{0}^{2}dx+2\varepsilon ^{2}Q\pi \int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau +2C_{\varepsilon }^{2}Q\pi \left ( \int _{B}n_{0}dx\right ) ^{2}t. \end{align}
Choosing
$\varepsilon$
such that
$2\varepsilon ^{2}Q\pi =1/2,$
we get
\begin{align*} & \frac{1}{2}\int _{B}n^{2}dx+\frac{1}{2}\int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau \\[3pt] & \leq \frac{3\chi }{4}\int _{0}^{t}\int _{B}n^{3}dxd\tau +\frac{3\chi }{2}\int _{0}^{t}\int _{B}\left \vert \Delta v\right \vert ^{3}dxd\tau +C_{3}, \end{align*}
where
\begin{equation*} C_{3}\,:\!=\,\frac {1}{2}\int _{B}n_{0}^{2}dx+2C_{\varepsilon }^{2}Q\pi \left ( \int _{B}n_{0}dx\right ) ^{2}T. \end{equation*}
The theory of regularity for elliptic equations give us a constant
$C_{4}$
satisfying
\begin{equation} \int _{B}\left \vert \Delta v\right \vert ^{3}dx\leq C_{4}\int _{B}\left \vert n-\frac{\theta }{\pi }\right \vert ^{3}dx\leq C_{5}\int _{B}\left ( n^{3}+1\right ) dx. \end{equation}
It follows that
\begin{align*} \frac{1}{2}\int _{B}n^{2}dx+\frac{1}{2}\int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau & \leq \frac{3\chi }{4}\int _{0}^{t}\int _{B}n^{3}dxd\tau +\frac{3\chi }{2}C_{5}\int _{0}^{t}\int _{B}\left ( n^{3}+1\right ) dxd\tau +C_{3}\\[3pt] & \leq \left ( \frac{3\chi }{4}+\frac{3\chi }{2}C_{5}\right ) \int _{0}^{t}\int _{B}n^{3}dxd\tau +C_{6}. \end{align*}
with positive constant
$C_{6}\gt 0.$
Now we apply the embedding inequality (See [Reference Biler, Herbisch and Nadzieja11]).
\begin{equation} \left \Vert n\right \Vert _{p}\leq \overline{\varepsilon }\left \Vert \nabla n\right \Vert _{2}^{1-1/p}\left \Vert n\log \left \vert n\right \vert \right \Vert _{1}^{1/p}+k_{1}\left \Vert n\log \left \vert n\right \vert \right \Vert _{1}+k_{2}\left \Vert n\right \Vert _{1}^{1/p}, \end{equation}
for any
$n\in H^{1}(B).$
Next, we apply the boundedness of the entropy (143) and the inequality (149) with
$p=3$
and
$\overline{\varepsilon }\gt 0$
small enough to conclude that for some positive constant
$C_{7}$
\begin{equation} \frac{1}{2}\int _{B}n^{2}dx+\frac{1}{4}\int _{0}^{t}\int _{B}\left \vert \nabla n\right \vert ^{2}dxd\tau \leq C_{7}. \end{equation}
In order to obtain further regularity, we first use the next Gagliardo–Nirenberg inequality
\begin{equation} \left \Vert n\right \Vert _{p}\leq C_{8}\left ( \left \Vert \nabla n\right \Vert _{2}^{1-2/p}\left \Vert n\right \Vert _{2}^{2/p}+\left \Vert n\right \Vert _{2}\right ), \text{ } \end{equation}
with
$p=4$
. Then using (150) and integrating (151) over
$(0,t)$
gives
\begin{align} \int _{0}^{t}\left \Vert n\right \Vert _{4}^{4}d\tau & \leq C_{9}\left ( \int _{0}^{t}\left ( \left \Vert \nabla n\right \Vert _{2}^{2}\left \Vert n\right \Vert _{2}^{2}+\left \Vert n\right \Vert _{2}^{4}\right ) d\tau \right ) \nonumber \\[3pt] & \leq C_{10}\left ( \int _{0}^{t}\left ( \left \Vert \nabla n\right \Vert _{2}^{2}+1\right ) d\tau \right ) \leq C_{11}. \end{align}
Next, we take
$\phi =n^{2}$
in (10) and repeat the reasoning leading to (147) to deduce the control of the
$L^{3}(B)$
-norm through the estimate
\begin{equation} \frac{1}{3}\int _{B}n^{3}dx\leq C_{12}\left ( \int _{0}^{t}\int _{B}n^{4}+\int _{0}^{t}\int _{B}\left \vert \Delta v\right \vert ^{4}dx\right ) +\frac{1}{3}\int _{B}n_{0}^{3}dx\leq C_{13}. \end{equation}
Hence,
\begin{equation*} \left \Vert v\right \Vert _{W^{2,3}(B)}\leq C_{13}\left \Vert n-\frac {\theta }{\pi }\right \Vert _{L^{3}(B)}\leq C_{15}. \end{equation*}
We conclude from Morrey’s inequality
\begin{equation*} \left \Vert v\right \Vert _{C^{1,1/3}(B)}\leq C_{15}\left \Vert v\right \Vert _{W^{2,3}(B)}\leq C_{16}C_{15}\,=\!:\,C_{17}. \end{equation*}
In particular,
\begin{equation} \left \vert \nabla v(\cdot, t)\right \vert _{L^{\infty }(B)}\leq C_{18}. \end{equation}
For
$r\gt 2,$
we take
$\phi =n^{r}$
in (10) to obtain
\begin{equation*} \int _{B}n^{r+1}dx-\int _{0}^{t}\int _{B}n\left ( n^{r}\right ) _{\tau }dxd\tau +\int _{0}^{t}\int _{B}\left ( \nabla n-\chi n\nabla v-n\frac {Qx}{\left \vert x\right \vert ^{2}}\right ) \cdot \nabla n^{r}dxd\tau =\int _{B}n^{r+1}(x,0)dx. \end{equation*}
implying that
\begin{equation*} \frac {1}{r+1}\int _{B}n^{r+1}dx+\int _{0}^{t}\int _{B}\left ( \nabla n-\chi n\nabla v-n\frac {Qx}{\left \vert x\right \vert ^{2}}\right ) \cdot \nabla n^{r}dxd\tau =\frac {1}{r+1}\int _{B}n_{0}^{r+1}dx. \end{equation*}
Subsequently, we utilise the identity
\begin{equation*} \int _{B}\nabla n\cdot \nabla n^{r}dx=r\int _{0}^{t}\int _{B}n^{r-1}\left \vert \nabla n\right \vert ^{2}dxd\tau =\frac {4r}{(r+1)^{2}}\int _{B}\left \vert \nabla n^{\frac {r+1}{2}}\right \vert ^{2}dx, \end{equation*}
to derive
\begin{align} & \frac{1}{r+1}\int _{B}n^{r+1}dx\nonumber \\[3pt] & =\frac{1}{r+1}\int _{B}n_{0}^{r+1}dx-\frac{4r}{(r+1)^{2}}\int _{0}^{t}\int _{B}\left \vert \nabla n^{\frac{r+1}{2}}\right \vert ^{2}dx+\chi \int _{0}^{t}\int _{B}n\nabla v\cdot \nabla n^{r}dxd\tau +\int _{0}^{t}\int _{B}n\nabla n^{r}\cdot \frac{Qx}{\left \vert x\right \vert ^{2}}dxd\tau . \end{align}
In order to estimate the last integral, we write it in polar coordinates to obtain
\begin{align} \int _{0}^{t}\int _{B}n\nabla n^{r}\cdot \frac{Qx}{\left \vert x\right \vert ^{2}}dxd\tau & =Q\int _{0}^{t}\int _{0}^{2\pi }\int _{0}^{1}n\left ( n^{r}\right ) _{\rho }d\rho d\theta d\tau =Q\int _{0}^{t}\int _{0}^{2\pi }\int _{0}^{1}n\left ( rn^{r-1}n_{\rho }\right ) d\rho d\theta d\tau \nonumber \\[3pt] & =\frac{2rQ\pi }{r+1}\int _{0}^{t}(n^{r+1}(1,\tau )-n^{r+1}(0,\tau ))d\tau \leq \frac{2rQ\pi }{r+1}\int _{0}^{t}n^{r+1}(1,\tau )d\tau . \end{align}
Given any constant
$\varepsilon _{2}\gt 0,$
Proposition 17 provides a constant
$C_{\varepsilon _{2}}$
such that
\begin{equation*} f^{2}(1,t)d\tau \leq 2\varepsilon _{2}^{2}\int _{B}\left \vert \nabla f\right \vert ^{2}dxd\tau +2C_{\varepsilon _{2}}^{2}\left ( \int _{B}fdx\right ) ^{2}, \end{equation*}
for any
$f\in W^{1,n}.$
In particular for
$f=n^{(r+1)/2}$
\begin{equation} n^{r+1}(1,t)\leq 2\varepsilon _{2}^{2}\int _{B}\left \vert \nabla n^{(r+1)/2}\right \vert ^{2}dxd\tau +2C_{\varepsilon _{2}}^{2}\left ( \int _{B}n^{(r+1)/2}dx\right ) ^{2}. \end{equation}
\begin{equation*} \int _{0}^{t}\int _{B}n\nabla n^{r}\cdot \frac {Qx}{\left \vert x\right \vert ^{2}}dxd\tau \leq \frac {4rQ\pi \varepsilon _{2}^{2}}{r+1}\int _{0}^{t}\int _{B}\left \vert \nabla n^{(r+1)/2}\right \vert ^{2}dxd\tau +\frac {4rQ\pi C_{\varepsilon _{2}}^{2}}{r+1}\int _{0}^{t}\left ( \int _{B}n^{(r+1)/2}dx\right ) ^{2}d\tau . \end{equation*}
Combining this estimate with equation (155), we have
\begin{align} \frac{1}{r+1}\int _{B}n^{r+1}dx & \leq -\frac{4r}{(r+1)^{2}}\int _{0}^{t}\int _{B}\left \vert \nabla n^{\frac{r+1}{2}}\right \vert ^{2}dx+\chi \int _{0}^{t}\int _{B}n\nabla v\cdot \nabla n^{r}dxd\tau \nonumber \\[3pt] & +\frac{4rQ\pi \varepsilon _{2}^{2}}{r+1}\int _{0}^{t}\int _{B}\left \vert \nabla n^{(r+1)/2}\right \vert ^{2}dxd\tau \nonumber \\[3pt] & +\frac{4rQ\pi C_{\varepsilon _{2}}^{2}}{r+1}\int _{0}^{t}\left ( \int _{B}n^{(r+1)/2}dx\right ) ^{2}d\tau +\frac{1}{r+1}\int _{B}n_{0}^{r+1}dx. \end{align}
Choosing
$\varepsilon _{2}$
such that
\begin{equation*} \frac {4rQ\pi \varepsilon _{2}^{2}}{r+1}\leq \frac {r}{(r+1)^{2}}, \end{equation*}
we get
\begin{align} \frac{1}{r+1}\int _{B}n^{r+1}dx & \leq -\frac{3r}{(r+1)^{2}}\int _{0}^{t}\int _{B}\left \vert \nabla n^{\frac{r+1}{2}}\right \vert ^{2}dx+\chi \int _{0}^{t}\int _{B}n\nabla v\cdot \nabla n^{r}dxd\tau \nonumber \\[3pt] & +\frac{4rQ\pi C_{\varepsilon _{2}}^{2}}{r+1}\int _{0}^{t}\left ( \int _{B}n^{(r+1)/2}dx\right ) ^{2}d\tau +\frac{1}{r+1}\int _{B}n_{0}^{r+1}dx. \end{align}
Moreover, the boundedness of the gradient for the chemical concentration, as given by (154), implies
\begin{align} & \chi \int _{0}^{t}\int _{B}n\nabla v\cdot \nabla n^{r}dxd\tau \nonumber \\[3pt] & =\chi r\int _{0}^{t}\int _{B}n^{r}\nabla v\cdot \nabla ndxd\tau \leq \chi rC_{19}\int _{0}^{t}\int _{B}n^{r}\left \vert \nabla n\right \vert dxd\tau =\frac{2\chi rC_{19}}{r+1}\int _{0}^{t}\int _{B}n^{\frac{r+1}{2}}\left \vert \nabla n^{\frac{r+1}{2}}\right \vert dx\nonumber \\[3pt] & \leq \frac{r}{\left ( r+1\right ) ^{2}}\int _{0}^{t}\int _{B}\left \vert \nabla n^{\frac{r+1}{2}}\right \vert ^{2}dx+\chi ^{2}rC_{19}^{2}\int _{0}^{t}\int _{B}n^{r+1}dx. \end{align}
From the estimates (159) and (160), we deduce
\begin{align*} \frac{1}{r+1}\int _{B}n^{r+1}dx & \leq -\frac{2r}{(r+1)^{2}}\int _{0}^{t}\int _{B}\left \vert \nabla n^{\frac{r+1}{2}}\right \vert ^{2}dx+\chi ^{2}rC_{19}^{2}\int _{0}^{t}\int _{B}n^{r+1}dx\\[3pt] & +\frac{4rQ\pi C_{\varepsilon _{2}}^{2}}{r+1}\int _{0}^{t}\left ( \int _{B}n^{(r+1)/2}dx\right ) ^{2}d\tau +\frac{1}{r+1}\int _{B}n_{0}^{r+1}dx. \end{align*}
Equivalently,
\begin{align*} \frac{1}{2}\int _{B}n^{r+1}dx & \leq -\frac{r}{r+1}\int _{0}^{t}\int _{B}\left \vert \nabla n^{\frac{r+1}{2}}\right \vert ^{2}dx+\frac{\chi ^{2}r(r+1)C_{19}^{2}}{2}\int _{0}^{t}\int _{B}n^{r+1}dx\\[3pt] & +2rQ\pi C_{\varepsilon _{2}}^{2}\int _{0}^{t}\left ( \int _{B}n^{(r+1)/2}dx\right ) ^{2}d\tau +\frac{1}{2}\int _{B}n_{0}^{r+1}dx. \end{align*}
Let
$r=2^{k}-1$
,
$\overline{n}_{1}=n^{\frac{r+1}{2}}=n^{2^{k-1}}.$
Thus, we establish
\begin{align} \frac{1}{2}\int _{B}\overline{n}^{2}dx & \leq -\frac{2^{k}-1}{2^{k}}\int _{0}^{t}{\displaystyle \int _{B}} \left \vert \nabla \overline{n}\right \vert ^{2}dxd\tau +\chi ^{2}(2^{k}-1)2^{k-1}C_{19}^{2}\int _{0}^{t}\int _{B}\overline{n}^{2}dxd\tau \nonumber \\[3pt] & +4(2^{k}-1))Q\pi C_{\varepsilon _{2}}^{2}\int _{0}^{t}\left ( \int _{B}\overline{n}_{1}dx\right ) ^{2}d\tau +\frac{1}{2}\int _{B}\overline{n}_{0}^{2}dx. \end{align}
We will leverage the inequality (161) as a foundation for applying the Moser–Alikakos technique (Reference Alikakos2) to establish the sought-after
$L^{\infty }$
bound of
$n$
. We demonstrate how to use the estimate (161) to derive an upper bound of the integral
$\int _{B}u_{1}^{2^{k}}dx$
in terms of
$\int _{B}u_{1}^{2^{k-1}}dx$
. This step sets the stage for a recursive process. Through a recursive application of the derived estimate, we progressively obtain bounds depending solely on the bounded integral
$\int _{B}u_{1}dx$
$=\theta _{1}$
. Careful control of the constants involved in this iterative process allows us to gracefully transition to the limit, ultimately securing the desired
$L^{\infty }$
bound.
Defining
$v_{k}=\frac{2^{k}-1}{2^{k}}$
,
$a_{k}=\chi ^{2}(2^{k}-1)2^{k-1}C_{19}^{2}$
and
$b_{k}=4(2^{k}-1))Q\pi C_{\varepsilon _{2}}^{2}$
, we derive
\begin{align} \frac{1}{2}\int _{B}\overline{n}^{2}dx & \leq -v_{k}\int _{0}^{t}{\displaystyle \int _{B}} \left \vert \nabla \overline{n}\right \vert ^{2}dxd\tau +a_{k}\int _{0}^{t}\int _{B}\overline{n}^{2}dxd\tau \nonumber \\[3pt] & +b_{k}\int _{0}^{t}\left ( \int _{B}\overline{n}_{1}dx\right ) ^{2}d\tau +\frac{1}{2}\int _{B}\overline{n}_{0}^{2}dx. \end{align}
Recall the Nirenberg–Gagliardo interpolation inequality:
For each
$1\leq q\leq p\lt \infty$
and for any
$f\in H^{1}$
, there exist a constant
$C\gt 0$
such that
\begin{equation*} \left \Vert f\right \Vert _{L^{p}}\leq C\left \Vert f\right \Vert _{H^{1}}^{a}\left \Vert f\right \Vert _{L^{q}}^{1-a}\end{equation*}
where
$a=1-\frac{q}{p}.$
Applying this inequality with
$p=2$
and
$q=1,$
we obtain
\begin{equation*} \left \Vert f\right \Vert _{L^{2}}\leq C\left \Vert f\right \Vert _{H^{1}}^{1/2}\left \Vert f\right \Vert _{L^{1}}^{1/2}. \end{equation*}
By utilising Young’s inequality, the equality
$\left \Vert f\right \Vert _{H^{1}}^{2}=\left \Vert f\right \Vert _{L^{2}}^{2}+\left \Vert \nabla f\right \Vert _{L^{2}}^{2}$
and choosing
$0\lt \varepsilon \lt \frac{1}{2}$
it follows that
\begin{equation*} \frac {1}{2}\left \Vert f\right \Vert _{L^{2}}^{2}\lt (1-\varepsilon )\left \Vert f\right \Vert _{L^{2}}^{2}\leq \varepsilon \left \Vert \nabla f\right \Vert _{L^{2}}^{2}+\frac {C^{2}}{4\varepsilon }\left \Vert f\right \Vert _{L^{1}}^{2}\end{equation*}
Substituting
$f=\overline{n}$
and
$\varepsilon =\varepsilon _{k},$
we derive
\begin{equation*} -\int _{B}\overline {n}^{2}dx+\frac {C^{2}}{2\varepsilon _{k}}\left ( \int _{B}\overline {n}dx\right ) ^{2}\geq -2\varepsilon _{k}\int _{B}\left \vert \nabla \overline {n}\right \vert ^{2}dx. \end{equation*}
Multiplying both sides by
$a_{k}+\varepsilon _{k}$
, we get
\begin{equation} -(a_{k}+\varepsilon _{k})\int _{B}\overline{n}^{2}dx+\frac{C^{2}(a_{k}+\varepsilon _{k})}{2\varepsilon _{k}}\left ( \int _{B}\overline{n}dx\right ) ^{2}\geq -2\varepsilon _{k}(a_{k}+\varepsilon _{k})\int _{B}\left \vert \nabla \overline{n}\right \vert ^{2}dx. \end{equation}
Choosing
$\ \varepsilon _{k}$
such that
$2\varepsilon _{k}(a_{k}+\varepsilon _{k})\leq v_{k}$
, we obtain from (162) via (163),
\begin{align*} \frac{1}{2}\int _{B}\overline{n}^{2}dx & \leq -v_{k}\int _{0}^{t}{\displaystyle \int _{B}} \left \vert \nabla \overline{n}\right \vert ^{2}dxd\tau +a_{k}\int _{0}^{t}\int _{B}\overline{n}^{2}dxd\tau \\[3pt] & +b_{k}\int _{0}^{t}\left ( \int _{B}\overline{n}dx\right ) ^{2}d\tau +\frac{1}{2}\int _{B}\overline{n}_{0}^{2}dx\\[3pt] & \leq -2\varepsilon _{k}(a_{k}+\varepsilon _{k})\int _{0}^{t}{\displaystyle \int _{B}} \left \vert \nabla \overline{n}\right \vert ^{2}dxd\tau +a_{k}\int _{0}^{t}\int _{B}\overline{n}^{2}dxd\tau \\[3pt] & +b_{k}\int _{0}^{t}\left ( \int _{B}\overline{n}dx\right ) ^{2}d\tau +\frac{1}{2}\int _{B}\overline{n}_{0}^{2}dx\\[3pt] & \leq -(a_{k}+\varepsilon _{k})\int _{0}^{t}\int _{B}\overline{n}^{2}dxd\tau +\frac{C^{2}(a_{k}+\varepsilon _{k})}{2\varepsilon _{k}}\int _{0}^{t}\left ( \int _{B}\overline{n}dx\right ) ^{2}d\tau +a_{k}\int _{0}^{t}\int _{B}\overline{n}^{2}dxd\tau \\[3pt] & +b_{k}\int _{0}^{t}\left ( \int _{B}\overline{n}dx\right ) ^{2}d\tau +\frac{1}{2}\int _{B}\overline{n}_{0}^{2}dx\\[3pt] & \leq -\varepsilon _{k}\int _{0}^{t}\int _{B}\overline{n}^{2}dxd\tau +\left ( \frac{C^{2}(a_{k}+\varepsilon _{k})}{2\varepsilon _{k}}+b_{k}\right ) \int _{0}^{t}\left ( \int _{B}\overline{n}dx\right ) ^{2}d\tau +\frac{1}{2}\int _{B}\overline{n}_{0}^{2}dx\\[3pt] & \leq \left ( \frac{C^{2}(a_{k}+\varepsilon _{k})}{2\varepsilon _{k}}+b_{k}\right ) \left ( \sup _{t\geq 0}\int _{B}\overline{n}dx\right ) ^{2}t+\frac{1}{2}\int _{B}\overline{n}_{0}^{2}dx. \end{align*}
Therefore,
\begin{align*} \int _{B}\overline{n}^{2}dx & \leq 2\max \left \{ \left ( \frac{C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}+2b_{k}\right ) \left ( \sup _{t\geq 0}\int _{B}\overline{n}dx\right ) ^{2}T,\int _{B}\overline{n}_{0}^{2}dx\right \} \\[3pt] & \leq 2\max \left \{ \left ( \frac{C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}+2b_{k}\right ) \left ( \sup _{t\geq 0}\int _{B}\overline{n}dx\right ) ^{2}T,\pi \left \Vert n_{0}\right \Vert _{L^{\infty }}^{2^{k}}\right \} . \end{align*}
Thus, we obtain the recursive inequality
\begin{equation} \int _{B}n^{2^{k}}dx\leq \max \left \{ \left ( \frac{2C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}+4b_{k}\right ) \left ( \sup _{t\geq 0}\int _{B}n^{2^{k-1}}dx\right ) ^{2}T,2\pi \left \Vert n_{0}\right \Vert _{L^{\infty }}^{2^{k}}\right \} . \end{equation}
Similarly
\begin{equation*} \int _{B}n^{2^{k-1}}dx\leq \max \left \{ \left ( \frac {2C^{2}(a_{k-1}+\varepsilon _{k-1})}{\varepsilon _{k-1}}+4b_{k-1}\right ) \left ( \sup _{t\geq 0}\int _{B}n^{2^{k-2}}dx\right ) ^{2}T,2\pi \left \Vert n_{0}\right \Vert _{L^{\infty }}^{2^{k-1}}\right \} . \end{equation*}
Then
\begin{equation} \left . \begin{array} [c]{l}\left ( \frac{2C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}+4b_{k}\right ) \left ( \sup _{t\geq 0}\int _{B}n^{2^{k-1}}dx\right ) ^{2}\\[3pt] \leq \max \left \{ \left ( \frac{2C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}+4b_{k}\right ) \left ( \frac{2C^{2}(a_{k-1}+\varepsilon _{k-1})}{\varepsilon _{k-1}}+4b_{k-1}\right ) ^{2}\left ( \sup _{t\geq 0}\int _{B}n^{2^{k-2}}dx\right ) ^{2^{2}}T^{2},\right . \\[3pt] \left . \left ( \frac{2C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}+4b_{k}\right ) 2^{2}\pi ^{2}\left \Vert n_{0}\right \Vert _{L^{\infty }}^{2^{k}}\right \} . \end{array} \right . \end{equation}
We choose
$\varepsilon _{k}$
such that
$\frac{2C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}^{2}}+4b_{k}\geq 1,$
$k=1,2,\ldots$
. From (164) and (165), we conclude that,
\begin{align} & \int _{B}n^{2^{k}}dx\nonumber \\[3pt] & \leq \max \left \{ \left ( \frac{2C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}+4b_{k}\right ) \left ( \frac{2C^{2}(a_{k-1}+\varepsilon _{k-1})}{\varepsilon _{k-1}}+4b_{k-1}\right ) ^{2}\left ( \sup _{t\geq 0}\int _{B}n^{2^{k-2}}dx\right ) ^{2^{2}}T^{3},\right . \\[3pt] & \left . \left ( \frac{2C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}+4b_{k}\right ) 2^{2}\pi ^{2}\left \Vert n_{0}\right \Vert _{L^{\infty }}^{2^{k}}\right \} .\nonumber \end{align}
To simplify further, we impose the additional condition on
$\varepsilon _{k}$
,
\begin{equation*} 4b_{k}\leq \frac {2C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}\text { for }k=1,2,\dots \end{equation*}
Therefore,
\begin{align*} & \int _{B}n^{2^{k}}dx\\[3pt] & \leq \max \left \{ \left ( \frac{4C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}\right ) \left ( \frac{4C^{2}(a_{k-1}+\varepsilon _{k-1})}{\varepsilon _{k-1}}\right ) ^{2}\left ( \sup _{t\geq 0}\int _{B}n^{2^{k-2}}dx\right ) ^{2^{2}}T^{3},\left ( \frac{4C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}\right ) 2^{2}\pi ^{2}\left \Vert n_{0}\right \Vert _{L^{\infty }}^{2^{k}}\right \} . \end{align*}
Continuing this process
\begin{align*} & \int _{B}n^{2^{k}}dx\\[3pt] & \leq \max \left \{ \frac{4C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}\left ( \frac{4C^{2}(a_{k-1}+\varepsilon _{k-1})}{\varepsilon _{k-1}}\right ) ^{2}\cdots \left ( \frac{4C^{2}(a_{1}+\varepsilon _{1})}{\varepsilon _{1}}\right ) ^{2^{k-1}}\left ( \sup _{t\geq 0}\int _{B}ndx\right ) ^{2^{k}}T^{2^{k}-1},\right . \\[3pt] & \left . \left ( \frac{4C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}\right ) \left ( \frac{4C^{2}(a_{k-1}+\varepsilon _{k-1})}{\varepsilon _{k-1}}\right ) \cdots \left ( \frac{4C^{2}(a_{1}+\varepsilon _{1})}{\varepsilon _{1}}\right ) 2^{2^{k}}\pi ^{2^{k}}\left \Vert n_{0}\right \Vert _{L^{\infty }}^{2^{k}}\right \} . \end{align*}
With
$K=\max \left \{ 1,\left \Vert n_{0}\right \Vert _{L^{\infty }},\left \Vert n_{0}\right \Vert _{L^{1}},T\right \}$
, this last inequality implies
\begin{equation} \int _{B}n^{2^{k}}dx\leq \frac{4C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}\left ( \frac{4C^{2}(a_{k-1}+\varepsilon _{k-1})}{\varepsilon _{k-1}}\right ) ^{2}\cdots \left ( \frac{4C^{2}(a_{1}+\varepsilon _{1})}{\varepsilon _{1}}\right ) ^{2^{k-1}}2^{2^{k}}\pi ^{2^{k}}K^{2^{k}}. \end{equation}
Now, let’s demonstrate that the right-hand side of the last inequality behaves like a constant to the power of
$2^{k}$
. By taking the
$1/2^{k}$
power of both sides, we can transition to the limit and derive the
$L^{\infty }$
estimate.
First, let us estimate
$\varepsilon _{k}$
. With
$2\varepsilon _{k}(a_{k}+\varepsilon _{k})\leq v_{k}$
, we find that
\begin{equation*} \chi ^{2}(2^{k}-1)2^{k-1}C_{19}^{2}\varepsilon _{k}+\varepsilon _{k}^{2}\leq \frac {1}{2}\left ( 1-\frac {1}{2^{k}}\right ) . \end{equation*}
So, it is enough to find
$\varepsilon _{k}$
such that
\begin{equation*} \chi ^{2}(2^{k}-1)2^{k-1}C_{19}^{2}\varepsilon _{k}+\varepsilon _{k}\leq \frac {1}{2}\left ( 1-\frac {1}{2^{k}}\right ), \end{equation*}
or
\begin{equation*} \left ( (2^{k}-1)2^{k-1}C_{19}^{2}\chi ^{2}+1\right ) \varepsilon _{k}\leq \frac {1}{2}\left ( 1-\frac {1}{2^{k}}\right ) . \end{equation*}
This implies
$\varepsilon _{k}\leq \frac{1}{2\left ( (2^{k}-1)2^{k-1}C_{19}^{2}\chi ^{2}+1\right ) }\left ( 1-\frac{1}{2^{k}}\right )$
. Now,
\begin{align*} \frac{1}{2\left ( (2^{k}-1)2^{k-1}C_{19}^{2}\chi ^{2}+1\right ) }\left ( 1-\frac{1}{2^{k}}\right ) & \geq \frac{1}{2\left ( (2^{k})2^{k-1}C_{19}^{2}\chi ^{2}+1\right ) }\left ( 1-\frac{1}{2}\right ) \\[3pt] & \geq \frac{1}{4\left ( 2^{2k-1}C_{19}^{2}\chi ^{2}+1\right ) }. \end{align*}
By setting
$\varepsilon _{k}=\frac{1}{4\left ( 2^{2k-1}C_{19}^{2}\chi ^{2}+1\right ) }$
, we find that
\begin{align*} \frac{4C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}} & =\frac{4C^{2}\varepsilon _{k}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}^{2}}\leq 2C^{2}\frac{v_{k}}{\varepsilon _{k}^{2}}\\[3pt] & =2C^{2}\frac{1-\frac{1}{2^{k}}}{\left ( \frac{1}{4\left ( 2^{2k-1}C_{19}^{2}\chi ^{2}+1\right ) }\right ) ^{2}}\leq 2C^{2}(2^{2k+1}C_{19}^{2}\chi ^{2}+4)^{2}. \end{align*}
Thus, for every
$k$
up to finite number, we conclude
\begin{equation*} 2^{2k+1}C_{19}^{2}\chi ^{2}\geq 4. \end{equation*}
Consequently,
\begin{equation*} \frac {4C^{2}(a_{k}+\varepsilon _{k})}{\varepsilon _{k}}\leq 2^{4k}a, \end{equation*}
for some constant value
$a$
. Thus, we get from (167) that
\begin{align*} \int _{B}n^{2^{k}}dx & \leq 2^{4k}a\left ( 2^{4(k-1)}a\right ) ^{2}\left ( 2^{4(k-2)}a\right ) ^{2^{2}}\cdots \left ( 2^{4(k-(k-1))}a\right ) ^{2^{k-1}}2^{2^{k}}\pi ^{2^{k}}K^{2^{k}}\\[3pt] & =a^{2^{k}-1}2^{4(2^{k+1}-k-2)}2^{2^{k}}\pi ^{2^{k}}K^{2^{k}}. \end{align*}
Taking the limit
$k\rightarrow \infty$
for the
$1/2^{k}$
-th power of both sides, we obtain
\begin{equation*} \left \Vert n\right \Vert _{L^{\infty }}\leq \lim _{k\rightarrow \infty }a^{(2^{k}-1)/2^{k}}2^{4(2^{k+1}-k-2)/2^{k}}2\pi K=2^{9}a\pi K. \end{equation*}
6. Blow-up
The following result is an adaptation of the classical moments technique for the Keller–Segel system (cf. [Reference Nagai26]).
Proof of the result of blow-up (Theorem2). We formally multiply the equation for
$n$
in (4) by
$\left \vert x\right \vert ^{2}$
and integrate to obtain
\begin{align*} \frac{d}{dt}\int _{B}n\left \vert x\right \vert ^{2}dx & =-\int _{\partial B}\left \vert x\right \vert ^{2}n(\mathbf{u}\cdot \mathbf{\eta })d\sigma +2\int _{B}\left ( x\cdot \mathbf{u}\right ) ndx+4\int _{B}ndx+\int _{\partial B}\left \vert x\right \vert ^{2}\frac{\partial n}{\partial \mathbf{\eta }}d\sigma -\int _{\partial B}n\frac{\partial \left \vert x\right \vert ^{2}}{\partial \mathbf{\eta }}d\sigma \\[3pt] & -\chi \int _{\partial B}\left \vert x\right \vert ^{2}\frac{\partial v}{\partial \mathbf{\eta }}d\sigma +2\chi \int _{B}n\left ( x\cdot \nabla v\right ) dx. \end{align*}
Using that
$\left \vert x\right \vert =1$
on
$\partial B,$
applying the zero-flux boundary condition (6), and noting
$\int _{\partial B}n\frac{\partial \left \vert x\right \vert ^{2}}{\partial \mathbf{\eta }}d\sigma =2\int _{\partial B}nd\sigma \geq 0,$
we get
\begin{equation} \frac{d}{dt}\int _{B}n\left \vert x\right \vert ^{2}dx\leq 2\int _{B}\left ( x\cdot \mathbf{u}\right ) ndx+4\theta +2\chi \int _{B}n\left ( x\cdot \nabla v\right ) dx. \end{equation}
On the other hand, multiplying the equation of the chemical concentration
\begin{equation*} 0=\frac {1}{r}\partial _{r}(rnv_{r})-\frac {\theta }{\pi }+n \end{equation*}
by
$r$
and integrating over the interval
$(0,r)$
yields
\begin{equation} 0=r\frac{\partial v}{\partial r}+\int _{0}^{r}\rho nd\rho -\frac{\theta }{\pi }\int _{0}^{r}\rho d\rho . \end{equation}
Denoting the cumulative mass by
$M(r,t)\,:\!=\,\int _{B(0,r)}ndx=2\pi \int _{0}^{r}n\rho d\rho$
, we obtain
\begin{equation} \frac{\partial v}{\partial r}=-\frac{M}{2\pi r}+\frac{\theta }{\pi r}\int _{0}^{r}\rho d\rho \leq -\frac{M}{2\pi r}+\frac{\theta r}{2\pi }. \end{equation}
Hence, applying (170) and using the identity
$x\cdot \nabla v=r\frac{\partial v}{\partial r}$
, we obtain
\begin{align} \int _{B}n(x\cdot \nabla v)dx & =2\pi \int _{0}^{1}n\rho \frac{\partial v}{\partial \rho }\rho d\rho \leq 2\pi \int _{0}^{1}n\rho \left ( -\frac{M}{2\pi \rho }+\frac{\theta \rho }{2\pi }\right ) \rho d\rho \nonumber \\[3pt] & =-\int _{0}^{1}Mn\rho d\rho +\theta \int _{0}^{1}n\rho ^{3}d\rho \nonumber \\[3pt] & =-\frac{1}{2\pi }\int _{0}^{1}M\frac{\partial M}{\partial \rho }d\rho +\frac{\theta }{2\pi }\int _{B}n\left \vert x\right \vert ^{2}dx. \end{align}
Let
$m(t)\,:\!=\,\int _{B}n\left \vert x\right \vert ^{2}dx$
. From (171), we have
\begin{equation} \int _{B}n(x\cdot \nabla v)dx\leq -\frac{\theta ^{2}}{4\pi }+\frac{\theta }{2\pi }m(t). \end{equation}
Returning to (168) and using
$x\cdot \mathbf{u=}Q$
together with (172) and the estimate (172), we obtain
\begin{align} & \frac{dm(t)}{dt}\leq 2Q\theta +4\theta +2\chi \int _{B}n\left ( x\cdot \nabla v\right ) dx\nonumber \\[3pt] & \leq 2\left ( 2+Q\right ) \theta -\frac{\chi \theta ^{2}}{2\pi }+\frac{\chi \theta }{\pi }m(t). \end{align}
Solving the last differential inequality, we get
\begin{equation} m(t)\leq \text{e}^{\frac{\chi \theta }{\pi }t}\left \{ m(0)+\frac{1}{2}\left ( \frac{4\pi \left ( 2+Q\right ) }{\chi }-\theta \right ) \left ( 1-\text{e}^{-\frac{\chi \theta }{\pi }t}\right ) \right \} . \end{equation}
We notice that the right-hand side of inequality (174) vanishes at the time
$t^{\ast }$
defined by:
\begin{equation*} t^{\ast }\,:\!=\,-\frac {\pi }{\chi \theta }\log \left ( 1-\frac {m(0)}{\frac {1}{2}\left ( \theta -\frac {4\pi \left ( 2+Q\right ) }{\chi }\right ) }\right ), \end{equation*}
and therefore
\begin{equation*} m(t)\lt 0\text { for all }t\gt t^{\ast }. \end{equation*}
This last inequality contradicts the positivity of
$m.$
We conclude that that
$T_{\max }\leq t^{\ast }$
. The result (9) follows from the extensibility criterion in Theorem15.
Competing interest
The author declare no competing interests.
Open access
