Modeling and Simulation of Attraction–Repulsion Chemotaxis Mechanism System with Competing Signal

Abstract

This paper addresses an attraction–repulsion chemotaxis system governed by Neumann boundary conditions within a bounded domain $\Omega \subset {\mathbb{R}}^3$ that has a smooth boundary. The primary focus of the study is the chemotactic response of a species (cell population) to two competing signals. We establish the existence and uniqueness of a weak solution to the system by analyzing the solvability of an approximate problem and utilizing the Leray–Schauder fixed-point theorem. By deriving appropriate a priori estimates, we demonstrate that the solution of the approximate problem converges to a weak solution of the original system. Additionally, we conduct computational studies of the model using the finite element method. The accuracy of our numerical implementation is evaluated through error analysis and numerical convergence, followed by various numerical simulations in a two-dimensional domain to illustrate the dynamics of the system and validate the theoretical findings.

1. Introduction

Chemotaxis is an essential process in many biological systems and serves as a model for various natural phenomena. It refers to the movement of a cell or organism in response to a chemical stimulus in its environment. This movement can occur in two directions, depending on whether the chemical signal is attractive or repulsive. When cells or organisms move toward a higher concentration of a beneficial or favorable chemical substance, it is termed positive chemotaxis. This is commonly seen in biological systems; for example, white blood cells migrate to the site of infection in response to chemical signals released by pathogens or damaged tissues. Conversely, when cells or organisms move away from certain chemical substances, this is called negative chemotaxis. This response helps cells avoid dangerous or harmful conditions.

Chemotaxis plays a vital role in various physiological processes, including immune responses, tissue repair, development, and microbial behavior. It is crucial for locating sources of nutrients and avoiding harmful substances. Additionally, chemotaxis is a significant topic of discussion in a wide range of biological processes, from early embryonic development to immune responses and wound healing. A deeper understanding of chemotaxis pathways and the function of chemoreceptors is critical for many applications, including bioremediation, targeted drug delivery, and the development of novel antibiotics. More details can be found in [1,2,3,4,5].

Mathematical models involving systems of partial differential equations (PDEs) that describe chemotaxis were introduced by Keller and Segel in [6,7]. The proposed models focused on the interaction of cells with a single chemical signal, examining how cells respond to an attractant or a repellent. Since then, the study of chemotaxis has grown significantly, inspiring extensive research over the past decades; see, for instance, refs. [8,9,10,11] and the references therein. It has become increasingly clear that, in many biological scenarios, cells respond to a combination of both direct and indirect taxis mechanisms, and it is often referred to as the attraction–repulsion effect. This duality of signals is crucial for guiding cells to perform specific functions. For example, the migration of leukocytes and the navigation of growing neurons are directed by chemical gradients that contain both attractants and repellents, ensuring precise movement and localization within tissues.

Before presenting the main results of the work, we briefly review the literature on chemotaxis models that integrate both attractant and repellent mechanisms. One notable study modeled Alzheimer’s disease by including both chemoattraction and chemorepulsion, as introduced in [12]. This research examined the aggregation behavior of microglial cells and included both linear stability analysis and numerical simulations to explore the dynamics of the system. In [13], researchers examined a chemotaxis model that incorporated density-dependent effects, aiming to investigate the role of quorum sensing in chemosensitive movement. The authors analyzed the existence of nontrivial steady states and addressed the traveling wave problem associated with the model. Additionally, the work presented in [14] explored pattern formation in an attraction–repulsion chemotaxis system using both analytical and numerical methods. The authors established the existence of both time-periodic and steady-state patterns across the full range of model parameters, employing bifurcation theory to support their findings.

In [15], the authors investigated an attraction–repulsion Keller–Segel model that describes the aggregation of microglia in the central nervous system associated with Alzheimer’s disease and addressed the boundedness of solutions for the model. A comprehensive study comprised the global solvability and boundedness of the blow-up phenomena of an attraction–repulsion chemotaxis system was carried out together with the long-term asymptotic behavior of the system [16]. In [17], a fully parabolic attraction–repulsion chemotaxis system was considered in two-dimensional smoothly bounded domains, where the authors proved the existence of globally bounded classical solutions in cases where repulsion dominates. The influence of repulsive forces on the boundedness of attraction–repulsion chemotaxis was studied in [18]. An attraction–repulsion chemotaxis system was studied in both two and three dimensions, and the authors established the existence of a unique global solution under certain parameter conditions [19]. The global boundedness of solutions for a fully parabolic attraction–repulsion chemotaxis system with a logistic source is discussed in [20]. Furthermore, [21] introduced a semi-linear attraction–repulsion chemotaxis system with a logistic source and analyzed the global boundedness and the existence of classical solutions, considering scenarios where attraction dominates repulsion and vice versa. Higher-dimensional chemotaxis models for which the boundedness of the solution and other corresponding properties are discussed and investigated are presented in [21,22].

A chemotaxis system involving a nonlinear indirect signal mechanism in a bounded domain with a smooth boundary was studied in [23] under homogeneous Neumann boundary conditions. By employing the maximal Sobolev regularity theory and deriving appropriate a priori estimates, the author proved the global boundedness of the solutions. The existence of global solutions for an attraction–repulsion chemotaxis system is established in [24] with some regularity assumptions in the initial conditions. The work in [25] considers an attraction–repulsion chemotaxis system with nonlinear diffusion and proves the existence of weak solutions for the model. In [26], a zero-flux attraction–repulsion chemotaxis model is considered, featuring linear and superlinear production rates for the chemorepellent and a sublinear production rate for the chemoattractant. The study focuses on the uniform boundedness of solutions under some conditions. In addition, a zero-flow chemotaxis model that incorporates consumption and logistic growth was investigated in [27]. It was established that the system possessed a unique classical solution.

Based on the models presented in the literature, we consider a chemotaxis system that incorporates both attraction and repulsion mechanisms. First, we study the existence of solutions to the proposed nonlinear parabolic PDE system. Following the analytical study, we proceed with a computational approach to further explore the dynamics of the model. For this, we employ the finite element method (FEM), and it is well-suited for solving PDEs over complex geometries and domains. We consider an attraction–repulsion chemotaxis model in $U_T:=\Omega \times (0,T)$, which models the bacterial movement in a nutrient and toxin environment, where nutrients are consumed without cell-dependent production and toxins are also not produced by cells (bacteria), as follows:

$$\left\{\begin{array}{c}{u}_t=\Delta u-\chi \nabla ·(u\nabla v)+\xi \nabla ·(u\nabla w),\hfill \\ v_t=\Delta v+\alpha v-\theta uv,\hfill \\ w_t=\Delta w+\beta w-\tau uv,\hfill \end{array}\right.$$

(1)

with non-negative initial and boundary data

$$\left\{\begin{array}{cc}\left(u(x,0),v(x,0),w(x,0)\right)=(u_0\left(x\right),v_0\left(x\right),w_0\left(x\right))\hfill & \mathrm{for}x\in \Omega ,\hfill \\ {\displaystyle \frac{\partial u}{\partial \nu }}={\displaystyle \frac{\partial v}{\partial \nu }}={\displaystyle \frac{\partial w}{\partial \nu }}=0\hfill & \mathrm{in}\partial \Omega \times (0,T).\hfill \end{array}\right.$$

Here $\Omega$ is a bounded subset of ${\mathbb{R}}^3$ with a smooth boundary that belongs to $C^{2,1}$, and $\nu$ is the outward unit normal vector to $\partial \Omega$. Moreover, we have $u_0\left(x\right),v_0\left(x\right),w_0\left(x\right)\ge 0$. In the context of mathematical formulation, u denotes cell density, and $v,w$ represent concentrations of attractant (nutrient) and repellent (toxin) chemical signals, respectively. $\chi$ and $\xi$ are positive constants that refer to chemical sensitivity coefficients. Here, $\alpha ,\beta >0$ are constants that represent growth rates, and $\theta ,\tau >0$ are constants that represent the consumption rate of chemical concentrations $v,w$, respectively. The terms $\chi \nabla ·(u\nabla v)$ and $\xi \nabla ·(u\nabla w)$ are chemotaxis flux terms, $-\chi \nabla ·(u\nabla v)$ reflects the attractive movement of cells, whereas the term $\xi \nabla ·(u\nabla w)$ represents the repulsion migration.

Neumann boundary conditions ensure total mass conservation, since there is no flow of cells or chemicals across the boundary, and we considered the cell-independent production of both the attractant and repellent chemical concentrations. Under these conditions the system models the movement of cells in response to the competing chemical signals.

2. Preliminary and Auxiliary Results

Firstly, we introduce functional spaces, key theorems, and lemmas that are essential for obtaining our main results.

Throughout this work, let $W^{k,p}(\Omega )$ be a Sobolev space and $L^p(\Omega )$ be a Lebesgue space, where $k\in \mathbb{R}$ and $p\in [1,\infty ],$ with their respective norms denoted by ${\parallel ·\parallel }_{k,p}$ and ${\parallel ·\parallel }_p$.

The duality pair in $L^2(\Omega )$ is denoted by $\langle ·,·\rangle$. Moreover, let V be a Banach space. Then, the space $L^p(0,T;V)$, for $1\le p\le \infty$, consists of all strongly measurable functions $u:[0,T]\to V$ equipped with the usual ${\parallel ·\parallel }_{L^p\left(V\right)}$ norm. In addition, let $C\left(V\right)=C\left(\right[0,T];V)$ consist of all continuous functions from $[0,T]$ to V, with norm ${\parallel ·\parallel }_{C\left(V\right)}$.

Further, we introduce the Banach spaces $X,$ $X_1$ and $X_{\alpha }$, respectively, by $X=L^{\infty }(0,T;L^2(\Omega ))\cap L^2(0,T;H^1(\Omega )),$$X_1=L^2(0,T;H^2(\Omega ))\cap L^{\infty }(0,T;H^1(\Omega ))$ and $X_{\alpha }=L^{\alpha }(0,T;L^{\alpha }(\Omega ))$ for every non-integer $\alpha$. In this work, we use the space

$$Z_{p,q}={\left\{L^q(\Omega );d\left({\Delta }_{\mathcal{N}}\right)\right\}}_{1-1/p,p}$$

where $d\left({\Delta }_{\mathcal{N}}\right)=\{u\in W^{2,q}(\Omega ):{\displaystyle \frac{\partial u}{\partial \nu }}=0$ $on$ $\Omega \}$, where ${\{·,·\}}_{·,·}$ denotes the real interpolation space. Furthermore, we denote the space ${\chi }_p$ as

$${\chi }_p=\{u\in C(0,T;Z_{p,p}(\Omega ))\cap L^p(0,T;W^{2,p}(\Omega )):u_t\in L^p(0,T;L^p(\Omega ))\}.$$

Remark 1

([28], Theorem 10.22). If $p=q$, then the following holds true:

$$Z_{p,p}={\widehat{W}}^{2-{\displaystyle \frac{2}{p}},p}(\Omega )=\left\{\begin{array}{cc}{W}^{2-{\displaystyle \frac{2}{p}},p}(\Omega )\hfill & ifp<3\hfill \\ \{u\in W^{2-{\displaystyle \frac{2}{p}}}(\Omega ):{\displaystyle \frac{\partial u}{\partial \nu }}=0on\partial \Omega \},\hfill & ifp>3.\hfill \end{array}\right.$$

Theorem 1

([28], Theorem 10.22). Let $\partial \Omega \in C^2$ and $p,q\in (1,\infty ).$ Suppose that $u_0\in Z_{p,q}$ and $f\in L^p(0,T;L^q(\Omega )).$ Then, there exists a unique solution u for the parabolic problem:

$$\left\{\begin{array}{cc}{u}_t-\Delta u=f,\hfill & in{U}_T,\hfill \\ u(0,x)=u_0\left(x\right),\hfill & in\Omega ,\hfill \\ {\displaystyle \frac{\partial u}{\partial \nu }}=0,\hfill & on{U}_T,\hfill \end{array}\right.$$

such that

$$u\in C(0,T;Z_{p,q}(\Omega ))\cap L^p(0,T;W^{2,q}(\Omega )),u_t\in L^p(0,T;L^q(\Omega )).$$

Moreover, u satisfies the estimate

$${∥u\left(t\right)∥}_{C(0,T;Z_{p,q}(\Omega ))}+{∥u_t∥}_{L^p(0,T;L^q(\Omega ))}+{∥\Delta u∥}_{L^p(0,T;L^q(\Omega ))}$$

$$\le C({∥f∥}_{L^p(0,T;L^q(\Omega )}+{∥u_0∥}_{Z_{p,q}(\Omega )}),$$

for some $C>0$, depending only on $p,q,\Omega ,T$.

Lemma 1

([29]). Suppose $p,q,p_1,p_2,q_1,q_2\ge 1$ and $\theta \in [0,1]$ such that

$${\displaystyle \frac{1}{p}}={\displaystyle \frac{1-\theta }{p_1}}+{\displaystyle \frac{\theta }{p_2}},{\displaystyle \frac{1}{q}}={\displaystyle \frac{1-\theta }{q_1}}+{\displaystyle \frac{\theta }{q_2}},$$

hold. Then, $L^{p_1}(0,T;L^{q_1}(\Omega ))\cap L^{p_2}(0,T;L^{q_2}(\Omega ))\hookrightarrow L^p(0,T;L^q(\Omega ))$.

Lemma 2

([30]). Let $s_1,s_2\ge 0$ and $p,p_1,p_2\ge 1$ such that

$$s=(1-\theta )s_1+\theta s_2,{\displaystyle \frac{1}{p}}={\displaystyle \frac{1-\theta }{p_1}}+{\displaystyle \frac{\theta }{p_2}},with\theta \in [0,1].$$

Then, $L^{p_1}(0,T;H^{s_1}(\Omega ))\cap L^{p_2}(0,T;H^{s_2}(\Omega ))\hookrightarrow L^p(0,T;H^s(\Omega ))$.

Lemma 3.

Let $p,q,p_1,p_2,q_1,\ge 1$ and $r>0$ with $\theta \in [0,1]$ satisfy

$${\displaystyle \frac{1}{q}}={\displaystyle \frac{1-\theta }{q_1}}+\theta \left({\displaystyle \frac{1}{p_1}}-{\displaystyle \frac{r}{N}}\right),{\displaystyle \frac{1}{p}}={\displaystyle \frac{\theta }{p_2}}.$$

Then, $L^{\infty }(0,T;L^{q_1}(\Omega ))\cap L^{p_2}(0,T;W^{r,p_1}(\Omega ))\hookrightarrow L^p(0,T;L^q(\Omega ))$.

3. Main Results

In this section, we use regularized problem and energy estimates techniques to establish the existence of a weak solution for the system (1), which is one of the main results of the paper. To accomplish this, we first construct an approximate problem related to the system (1). We then establish the solvability of this regularized approximation problem by applying the Leray–Schauder fixed point theorem. Finally, we demonstrate the existence of solutions to the chemotaxis system by using a priori estimates and passing to the limit as $ϵ\to 0$.

Definition 1.

Suppose $u_0,n_0,c_0\ge 0$ and also satisfies $u_0\in L^2(\Omega )$, $v_0,w_0\in W^{1,q}(\Omega )$ for $q>3$ in Ω. Let $T>0;$ then, a triple $(u,v,w)$ is a weak solution of (1) if the following holds:

$$\begin{array}{ccc}& & {\displaystyle u\in X_{\frac{5}{3}}\cap L^{5/4}(0,T;W^{1,5/4}(\Omega )),u_t\in L^{\frac{10}{9}}(0,T;{\left(W^{1,10}(\Omega )\right)}^{\prime }),}\hfill \\ & & {\displaystyle v,w\in X_1,v_t,w_t\in X_{\frac{10}{7}},}\hfill \end{array}$$

and weak formulations

$$\begin{array}{ccc}\hfill \underset{0}{\overset{T}{\int }}〈u_t,\varphi 〉& =& \underset{0}{\overset{T}{\int }}\underset{\Omega }{\int }\left(-\nabla u·\nabla \varphi +\chi u\nabla v·\nabla \varphi -\xi u\nabla w·\nabla \varphi \right)dxdt,\hfill \\ \hfill \underset{0}{\overset{T}{\int }}〈v_t,\varphi 〉& =& \underset{0}{\overset{T}{\int }}\underset{\Omega }{\int }\left(-\nabla v·\nabla \varphi -\theta uv\varphi +\alpha v\varphi \right)dxdt,\hfill \\ \hfill \underset{0}{\overset{T}{\int }}〈w_t,\varphi 〉& =& \underset{0}{\overset{T}{\int }}\underset{\Omega }{\int }\left(-\nabla w·\nabla \varphi -\tau uw\varphi +\beta w\varphi \right)dxdt\hfill \end{array}$$

are satisfied a.e. for all $\varphi \in L^{{\displaystyle \frac{10}{3}}}(0,T;W^{1,{\displaystyle \frac{10}{3}}}(\Omega ))\cap L^2(0,T;\left(H^1(\Omega )\right)$.

Theorem 2.

Let $T>0$, and suppose $u_0,n_0,c_0\ge 0$ and also satisfies $u_0\in L^2(\Omega )$, $v_0,w_0\in W^{1,q}(\Omega )$ for $q>3$ in Ω. Then, there exists a weak solution triple $(u,v,w)$ of (1) such that

$$\begin{array}{ccc}& & u\in X_{{\displaystyle \frac{5}{3}}},u_t\in L^{{\displaystyle \frac{10}{9}}}(0,T;{\left(W^{1,10}(\Omega )\right)}^{\prime }),\hfill \\ & & v\in X_1{v}_t\in X_{{\displaystyle \frac{10}{7}}},\hfill \\ & & w\in X_1,w_t\in X_{{\displaystyle \frac{10}{7}}}.\hfill \end{array}$$

We construct the regularized problem for (3) following the method in [29]. Our approach begins by decoupling the cross-diffusion terms through the introduction of the elliptic problems outlined in (2), which enhances the regularity of the new variables $v_{ϵ}$ and $w_{ϵ}$. Subsequently, we solve the resulting approximation problem using the Leray–Schauder fixed point theorem.

Suppose that $v_{ϵ}$ and $w_{ϵ}$ are the unique solutions of the elliptic problem

$$\left\{\begin{array}{cc}{v}_{ϵ}-ϵ\Delta v_{ϵ}=n_{ϵ}\hfill & in\Omega ,\hfill \\ w_{ϵ}-ϵ\Delta w_{ϵ}=c_{ϵ}\hfill & in\Omega ,\hfill \\ {\displaystyle \frac{\partial v_{ϵ}(x,t)}{\partial \nu }}={\displaystyle \frac{\partial w_{ϵ}(x,t)}{\partial \nu }}=0\hfill & in\partial \Omega .\hfill \end{array}\right.$$

(2)

Then, for a given $ϵ>0$, construct the approximation problem of (1) as follows:

$$\left\{\begin{array}{cc}{u}_{ϵt}=\Delta u_{ϵ}-\chi \nabla ·\left({\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}\nabla v_{ϵ}}\right)+\xi \nabla ·\left({\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}\nabla w_{ϵ}}\right)\hfill & in{U}_T,\hfill \\ n_{ϵt}=\Delta n_{ϵ}-\theta n_{ϵ}^{+}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ}^{+})+\alpha n_{ϵ}^{+}\hfill & in{U}_T,\hfill \\ c_{ϵt}=\Delta c_{ϵ}-\tau c_{ϵ}^{+}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ}^{+})+\beta c_{ϵ}^{+}\hfill & in{U}_T,\hfill \\ \left(u_{ϵ}\left(0\right),n_{ϵ}\left(0\right),c_{ϵ}\left(0\right)\right)=(u_{0,ϵ},n_{0,ϵ},c_{0,ϵ})\hfill & in\Omega ,\hfill \\ {\displaystyle \frac{\partial u_{ϵ}(x,t)}{\partial \nu }}={\displaystyle \frac{\partial n_{ϵ}(x,t)}{\partial \nu }}={\displaystyle \frac{\partial c_{ϵ}(x,t)}{\partial \nu }}=0\hfill & in\partial \Omega \times (0,T),\hfill \end{array}\right.$$

(3)

where $u_{ϵ}^{+}=max\{u_{ϵ},0\}$, $n_{ϵ}^{+}=max\{n_{ϵ},0\}$, $c_{ϵ}^{+}=max\{c_{ϵ},0\}$ are non-negative. We first introduce the following regularizations of the given initial data $u_{0,ϵ},n_{0,ϵ},c_{0,ϵ}$. For $ϵ\in (0,1)$,

(R1)

${\displaystyle u_{0,ϵ}\in W^{\frac{4}{5},\frac{5}{3}}(\Omega )and\underset{\Omega }{\int }{u}_{0,ϵ}=\underset{\Omega }{\int }{u}_0.}$ Further, $u_{0,ϵ}\to u_{0}in{L}^2(\Omega ),asϵ\to 0.$

(R2)

$n_{0,ϵ}=v_{0,ϵ}-ϵ\Delta v_{0,ϵ}\in W^{1,q}(\Omega ),q>3$ and $v_{0,ϵ}\to v_{0}in{H}^1(\Omega )asϵ\to 0.$ Therefore, $n_{0,ϵ}\to v_{0}in{W}^{1,q}(\Omega )asϵ\to 0.$

(R3)

$c_{0,ϵ}=w_{0,ϵ}-ϵ\Delta w_{0,ϵ}\in W^{1,q}(\Omega ),q>3$ and $w_{0,ϵ}\to w_{0}in{H}^1(\Omega )asϵ\to 0.$ Therefore, $c_{0,ϵ}\to w_{0}in{W}^{1,q}(\Omega )asϵ\to 0.$

We establish weak solutions for (3) using the Leray–Schauder fixed point theorem. Suppose $\mathbb{A}=X\times X\times X$; then, define the operator $\Gamma :\mathbb{A}\to \mathbb{A}$ such that $\Gamma ({\overline{u}}_{ϵ},{\overline{n}}_{ϵ},{\overline{c}}_{ϵ})=(u_{ϵ},n_{ϵ},c_{ϵ})$, and they are the solutions of the following system:

$$\left\{\begin{array}{cc}{u}_{ϵt}-\Delta u_{ϵ}=-\chi \nabla ·\left({\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\nabla {\overline{v}}_{ϵ}\right)+\xi \nabla ·\left({\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\nabla {\overline{w}}_{ϵ}\right)\hfill & in{U}_T,\hfill \\ n_{ϵt}-\Delta n_{ϵ}=-\theta {\overline{n}}_{ϵ}^{+}{\displaystyle \frac{1}{ϵ}}ln(1+ϵ{\overline{u}}_{ϵ}^{+})+\alpha {\overline{n}}_{ϵ}^{+}\hfill & in{U}_T,\hfill \\ c_{ϵt}-\Delta c_{ϵ}=-\tau {\overline{c}}_{ϵ}^{+}{\displaystyle \frac{1}{ϵ}}ln(1+ϵ{\overline{u}}_{ϵ}^{+})+\beta {\overline{c}}_{ϵ}^{+}\hfill & in{U}_T,\hfill \\ (u_{ϵ}\left(0\right),n_{ϵ}\left(0\right),c_{ϵ}\left(0\right))=(u_{0,ϵ},n_{0,ϵ},c_{0,ϵ})\hfill & in\Omega ,\hfill \\ {\displaystyle \frac{\partial u_{ϵ}(x,t)}{\partial \nu }}={\displaystyle \frac{\partial n_{ϵ}(x,t)}{\partial \nu }}={\displaystyle \frac{\partial c_{ϵ}(x,t)}{\partial \nu }}=0\hfill & in\partial \Omega \times (0,T),\hfill \end{array}\right.$$

(4)

where ${\overline{v}}_{ϵ}$ and ${\overline{w}}_{ϵ}$ are the unique solutions of (2). The proof of the theorem is established by demonstrating several key components such as the well-definedness, compactness, and continuity of the operator $\Gamma .$ Additionally, we discuss the uniqueness and boundedness of its fixed points. Lemmas 4–7 contain an establishment of all components.

Lemma 4.

Suppose $\partial \Omega \in C^{1,1}$; then, the operator $\Gamma :\mathbb{A}\to \mathbb{A}$ is well defined.

Proof. 

Let ${\overline{u}}_{ϵ},{\overline{n}}_{ϵ},{\overline{c}}_{ϵ}\in X$. Using Theorem 2.4.2.7 and Theorem 2.5.1.1 in [31] and the standard elliptic regularity of (2), we get

$${\overline{v}}_{ϵ},{\overline{w}}_{ϵ}\in L^{\infty }(0,T;H^2(\Omega ))\cap L^2(0,T;H^3(\Omega ))$$

From the above, it is easy to understand that $\nabla {\overline{v}}_{ϵ},\nabla {\overline{w}}_{ϵ}\in X_1.$ Further, we know that $X_1\hookrightarrow L^{10}(0,T;L^{10}(\Omega )).$ Then, we have

$$\nabla {\overline{v}}_{ϵ},\nabla {\overline{w}}_{ϵ}\in L^{10}(0,T;L^{10}(\Omega )).$$

Consider the first term in the RHS of first equation of (4):

$$\chi \nabla ·\left({\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\nabla {\overline{v}}_{ϵ}\right)=\chi {\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\Delta {\overline{v}}_{ϵ}+\chi \nabla \left({\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\right)\nabla {\overline{v}}_{ϵ}.$$

(5)

Since ${\overline{u}}_{ϵ},\Delta {\overline{v}}_{ϵ}\in X.$ Further, we know that $X\hookrightarrow X_{{\displaystyle \frac{10}{3}}}$ and $X\hookrightarrow X_{{\displaystyle \frac{5}{3}}}$. Using the these results, we can evaluate the first term of (5) as follows:

$$\begin{array}{c}\hfill {∥\chi {\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\Delta {\overline{v}}_{ϵ}∥}_{X_{{\displaystyle \frac{5}{3}}}}^{{\displaystyle \frac{5}{3}}}\le C{∥\Delta {\overline{v}}_{ϵ}∥}_{X_{{\displaystyle \frac{5}{3}}}}^{{\displaystyle \frac{5}{3}}}\end{array}$$

Therefore, we get

$$\begin{array}{c}\hfill \chi {\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\Delta {\overline{v}}_{ϵ}\in X_{{\displaystyle \frac{5}{3}}}.\end{array}$$

(6)

The second term of (5) can be rewritten as

$$\chi \nabla \left({\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\right)\nabla {\overline{v}}_{ϵ}=\chi {\displaystyle \frac{\nabla {\overline{u}}_{ϵ}^{+}}{{(1+ϵ{\overline{u}}_{ϵ}^{+})}^2}}\nabla {\overline{v}}_{ϵ}$$

Evaluating the resulting equation along with the Holder inequality, we get

$$\begin{array}{ccc}\hfill {∥\chi {\displaystyle \frac{\nabla {\overline{u}}_{ϵ}^{+}}{{(1+ϵ{\overline{u}}_{ϵ}^{+})}^2}}\nabla {\overline{v}}_{ϵ}∥}_{X_{{\displaystyle \frac{5}{3}}}}^{{\displaystyle \frac{5}{3}}}& \le & C\underset{0}{\overset{T}{\int }}\underset{\Omega }{\int }{\left|\nabla {\overline{u}}_{ϵ}^{+}\nabla {\overline{v}}_{ϵ}\right|}^{{\displaystyle \frac{5}{3}}}dxdt\le C{∥\nabla {\overline{u}}_{ϵ}^{+}∥}_{L^2(0,T;L^2(\Omega ))}{∥\nabla {\overline{v}}_{ϵ}∥}_{X_{10}}.\hfill \end{array}$$

Since ${\overline{u}}_{ϵ}\in X$, therefore, $\nabla {\overline{u}}_{ϵ}^{+}\in L^2(0,T;L^2(\Omega )).$ Further, $\nabla {\overline{v}}_{ϵ}\in L^{10}(0,T;L^{10}(\Omega ))$. Thus, we have

$$\begin{array}{c}\hfill \chi \nabla \left({\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\right)\nabla {\overline{v}}_{ϵ}\in X_{{\displaystyle \frac{5}{3}}}.\end{array}$$

(7)

From (6) and (7), we have

$$\chi \nabla ·\left({\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\nabla {\overline{v}}_{ϵ}\right)\in X_{{\displaystyle \frac{5}{3}}}.$$

(8)

Similarly, estimate the second term in the RHS of ${\left(4\right)}_1$ and also the RHS of ${\left(4\right)}_2$ and ${\left(4\right)}_3$:

$$\begin{array}{c}\hfill \xi \nabla ·\left({\displaystyle \frac{{\overline{u}}_{ϵ}^{+}}{1+ϵ{\overline{u}}_{ϵ}^{+}}}\nabla {\overline{w}}_{ϵ}\right),|\theta {\overline{n}}_{ϵ}^{+}{\displaystyle \frac{1}{ϵ}}ln(1+ϵ{\overline{u}}_{ϵ}^{+})+\alpha {\overline{n}}_{ϵ}^{+}|,|\tau {\overline{c}}_{ϵ}^{+}{\displaystyle \frac{1}{ϵ}}ln(1+ϵ{\overline{u}}_{ϵ}^{+})+\beta {\overline{c}}_{ϵ}^{+}|\in X_{{\displaystyle \frac{5}{3}}}.\end{array}$$

From Theorem 1, it is easy to see that $u_{ϵ},n_{ϵ},c_{ϵ}\in {\chi }_{{\displaystyle \frac{5}{3}}}$ such that

$$\begin{array}{c}\hfill \left.\begin{array}{ccc}{∥u_{ϵ}∥}_{{\chi }_{{\displaystyle \frac{5}{3}}}}\hfill & \le \hfill & C,\hfill \\ {∥n_{ϵ}∥}_{{\chi }_{{\displaystyle \frac{5}{3}}}}\hfill & \le \hfill & C,\hfill \\ {∥c_{ϵ}∥}_{{\chi }_{{\displaystyle \frac{5}{3}}}}\hfill & \le \hfill & C.\hfill \end{array}\right\}\end{array}$$

(9)

for some positive constant. We can prove that $\Gamma$ is well defined using (9) along with the embedding ${\chi }_{{\displaystyle \frac{5}{3}}}\hookrightarrow L^2(0,T;H^{{\displaystyle \frac{3}{2}}}(\Omega ))\cap L^{\infty }(0,T;L^2(\Omega ))\hookrightarrow X.$ □

Lemma 5.

The operator $\Gamma :\mathbb{A}\to \mathbb{A}$ is compact.

Proof. 

By virtue of Sobolev embedding, for $r,s>0$ and $1<p<2,$ we get

$$W^{r,p}(\Omega )\hookrightarrow H^s(\Omega )\mathrm{with}s=N\left({\displaystyle \frac{1}{2}}-{\displaystyle \frac{1}{p}}\right)+r.$$

(10)

From the above, we deduce $W^{2,{\displaystyle \frac{5}{3}}}(\Omega )\hookrightarrow H^{{\displaystyle \frac{17}{10}}}(\Omega )$ and $W^{{\displaystyle \frac{4}{5}},{\displaystyle \frac{5}{3}}}(\Omega )\hookrightarrow H^{{\displaystyle \frac{1}{2}}}$, which implies

$${\chi }_{{\displaystyle \frac{5}{3}}}\hookrightarrow L^{\infty }(0,T;H^{{\displaystyle \frac{1}{2}}}(\Omega ))\cap L^{{\displaystyle \frac{5}{3}}}(0,T;H^{{\displaystyle \frac{17}{10}}}(\Omega )).$$

Now applying Lemma 2, for the space $L^{\infty }(0,T;H^{{\displaystyle \frac{1}{2}}}(\Omega ))\cap L^{{\displaystyle \frac{5}{3}}}(0,T;H^{{\displaystyle \frac{17}{10}}}(\Omega ))$, with $p_1=\infty ,$ $p_2={\displaystyle \frac{5}{3}},s_1={\displaystyle \frac{1}{2}}$ and $s_2={\displaystyle \frac{17}{10}}$, we get

$$s={\displaystyle \frac{1}{2}}+{\displaystyle \frac{6}{5}}\theta andp={\displaystyle \frac{5}{3\theta }}.$$

For some appropriate $\theta$, we get

$$\begin{array}{c}\hfill L^{\infty }(0,T;H^{{\displaystyle \frac{1}{2}}}(\Omega ))\cap L^{{\displaystyle \frac{5}{3}}}(0,T;H^{{\displaystyle \frac{17}{10}}}(\Omega ))\hookrightarrow L^{\infty }(0,T;H^{{\displaystyle \frac{1}{2}}}(\Omega )),\\ \hfill L^{\infty }(0,T;H^{{\displaystyle \frac{1}{2}}}(\Omega ))\cap L^{{\displaystyle \frac{5}{3}}}(0,T;H^{{\displaystyle \frac{17}{10}}}(\Omega ))\hookrightarrow L^2(0,T;H^{{\displaystyle \frac{3}{2}}}(\Omega )).\end{array}$$

Therefore, we have

$$L^{\infty }(0,T;H^{{\displaystyle \frac{1}{2}}}(\Omega ))\cap L^{{\displaystyle \frac{5}{3}}}(0,T;H^{{\displaystyle \frac{17}{10}}}(\Omega ))\hookrightarrow L^{\infty }(0,T;H^{{\displaystyle \frac{1}{2}}}(\Omega ))\cap L^2(0,T;H^{{\displaystyle \frac{3}{2}}}(\Omega )).$$

This implies that ${\chi }_{{\displaystyle \frac{5}{3}}}\hookrightarrow L^{\infty }(0,T;H^{{\displaystyle \frac{1}{2}}}(\Omega ))\cap L^2(0,T;H^{{\displaystyle \frac{3}{2}}}(\Omega )).$ The compact embeddings of $H^{{\displaystyle \frac{3}{2}}}$ and $H^{{\displaystyle \frac{1}{2}}}$ into $H^1$ and $L^2$, respectively, result in $H^1\hookrightarrow L^{{\displaystyle \frac{5}{3}}}$ and $L^2\hookrightarrow L^{{\displaystyle \frac{5}{3}}}.$ Using the Simon compactness [32] and Aubin–Lions compactness lemmas [30], the embedding of

$${\chi }_{{\displaystyle \frac{5}{3}}}\subset \left\{f\in L^2(0,T;H^{{\displaystyle \frac{3}{2}}}(\Omega ))\cap L^{\infty }(0,T;H^{{\displaystyle \frac{1}{2}}}(\Omega )):u_t\in L^{{\displaystyle \frac{5}{3}}}(0,T;L^{{\displaystyle \frac{5}{3}}}(\Omega ))\right\}$$

into X is compact. □

Lemma 6.

Suppose $\partial \Omega \in C^{1,1}$; then, for $\lambda \in [0,1]$, the fixed points of the operator $\lambda \Gamma$ are bounded in $\mathbb{A}$.

Proof. 

The case where $\lambda =0$ is trivial. So we consider that $\lambda \in (0,1]$. If $(u_{ϵ},n_{ϵ},c_{ϵ})$ is a fixed point of $\lambda \Gamma$, then it satisfies

$$\left\{\begin{array}{cc}{u}_{ϵt}-\Delta u_{ϵ}=-\lambda \chi \nabla ·\left({\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla v_{ϵ}\right)+\lambda \xi \nabla ·\left({\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla w_{ϵ}\right)\hfill & in{U}_T,\hfill \\ n_{ϵt}-\Delta n_{ϵ}=-\lambda \theta n_{ϵ}^{+}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ}^{+})+\lambda \alpha n_{ϵ}^{+}\hfill & in{U}_T,\hfill \\ c_{ϵt}-\Delta c_{ϵ}=-\lambda \tau c_{ϵ}^{+}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ}^{+})+\lambda \beta c_{ϵ}^{+}\hfill & in{U}_T.\hfill \end{array}\right.$$

(11)

We first prove the non-negativity of $u_{ϵ},n_{ϵ}$ and $c_{ϵ}.$ From Lemma 4, it is easy to see that the RHS of (11)₁ is in $X_{{\displaystyle \frac{5}{3}}}$.

Multiply (11)₁ by $u_{ϵ}^{-}=min\{u_{ϵ},0\}$ and integrating over $\Omega$, we get

$${\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{∥u_{ϵ}^{-}∥}_2^2+{∥\nabla u_{ϵ}^{-}∥}_2^2=\lambda \chi \left({\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla v_{ϵ},\nabla u_{ϵ}^{-}\right)-\lambda \xi \left({\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla w_{ϵ},\nabla u_{ϵ}^{-}\right)=0.$$

This implies that $u_{ϵ}^{-}=0$, and, therefore, $u_{ϵ}\ge 0$ a.e. in $U_T$. Similarly, we can deduce that $n_{ϵ}\ge 0$ and $c_{ϵ}\ge 0.$ Next, we have to show that $n_{ϵ}$ and $c_{ϵ}$ are bounded in X. To do the same, we first test (11)₂ with $n_{ϵ}.$ This leads to

$$\begin{array}{ccc}\hfill {\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{∥n_{ϵ}∥}_2^2+{∥\nabla n_{ϵ}∥}_2^2& =& -\lambda \theta \left(n_{ϵ}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ}),n_{ϵ}\right)+\lambda \alpha \left(n_{ϵ},n_{ϵ}\right)\hfill \\ & \le & C{∥n_{ϵ}∥}_2^2\hfill \end{array}$$

(12)

Using Grownwall inequality and the convergence result $n_{0,ϵ}\to v_0$ in $W^{1,q}(\Omega )$ leads to

$${∥n_{ϵ}∥}_2^2\le C{e}^t{∥n_{0,ϵ}∥}_2^2\le C{∥v_0∥}_2,$$

Then, integrating (12) with respect to time t and using the above result, we get

$$n_{ϵ}\in L^2(0,T;H^1(\Omega )).$$

Similarly, using the same procedure as mentioned above, we can show that $c_{ϵ}\in L^2(0,T;H^1(\Omega )).$ We know that $n_{ϵ},c_{ϵ}\in X$, $v_{ϵ}$, and $w_{ϵ}$ are the solutions of (2); therefore, we have

$$\begin{array}{cc}& v_{ϵ},w_{ϵ}\in L^{\infty }(0,T;H^2(\Omega ))\cap L^2(0,T;H^3(\Omega ))\mathrm{with}\\ & {∥v_{ϵ}∥}_{L^{\infty }(0,T;H^2(\Omega ))\cap L^2(0,T;H^3(\Omega ))}\le C\left(ϵ\right){∥n_{ϵ}∥}_X,\\ & {∥w_{ϵ}∥}_{L^{\infty }(0,T;H^2(\Omega ))\cap L^2(0,T;H^3(\Omega ))}\le C\left(ϵ\right){∥c_{ϵ}∥}_X,\\ & {∥\nabla v_{ϵ}∥}_{L^{\infty }(0,T;L^4(\Omega ))}\le C\left(ϵ\right){∥n_{ϵ}∥}_X\le C\left(ϵ\right),\\ & {∥\nabla w_{ϵ}∥}_{L^{\infty }(0,T;L^4(\Omega ))}\le C\left(ϵ\right){∥c_{ϵ}∥}_X\le C\left(ϵ\right).\end{array}$$

Using the above estimates and test (11)₁ with $u_{ϵ}$ and integrating over $\Omega$, we get

$$\begin{array}{ccc}\hfill {\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{∥u_{ϵ}∥}_2^2+{∥\nabla u_{ϵ}∥}_2^2& =& \lambda \chi \left({\displaystyle \frac{u_{ϵ}}{1+ϵu_{ϵ}}}\nabla v_{ϵ},\nabla u_{ϵ}\right)-\lambda \xi \left({\displaystyle \frac{u_{ϵ}}{1+ϵu_{ϵ}}}\nabla w_{ϵ},\nabla u_{ϵ}\right)\hfill \\ & \le & \lambda \chi \left({\displaystyle \frac{u_{ϵ}}{1+ϵu_{ϵ}}}\nabla v_{ϵ},\nabla u_{ϵ}\right)+\lambda \xi \left({\displaystyle \frac{u_{ϵ}}{1+ϵu_{ϵ}}}\nabla w_{ϵ},\nabla u_{ϵ}\right)\hfill \\ & \le & \lambda \chi {∥u_{ϵ}∥}_4{∥\nabla v_{ϵ}∥}_4{∥\nabla u_{ϵ}∥}_2\hfill \\ & & +\lambda \xi {∥u_{ϵ}∥}_4{∥\nabla w_{ϵ}∥}_4{∥\nabla u_{ϵ}∥}_2\hfill \\ & =& {∥u_{ϵ}∥}_4{∥\nabla u_{ϵ}∥}_2\left(\lambda \chi {∥\nabla v_{ϵ}∥}_4+\lambda \xi {∥\nabla w_{ϵ}∥}_4\right)\hfill \\ & =& C\lambda \chi {∥\nabla u_{ϵ}∥}_2{∥\nabla v_{ϵ}∥}_4\left({∥u_{ϵ}∥}_2^{1/4}{∥\nabla u_{ϵ}∥}_2^{3/4}+{∥u_{ϵ}∥}_2\right)\hfill \\ & & +C\lambda \xi {∥\nabla u_{ϵ}∥}_2{∥\nabla w_{ϵ}∥}_4\left({∥u_{ϵ}∥}_2^{1/4}{∥\nabla u_{ϵ}∥}_2^{3/4}+{∥u_{ϵ}∥}_2\right)\hfill \\ & \le & {\displaystyle \frac{1}{2}}{∥u_{ϵ}∥}_2^2+C{∥u_{ϵ}∥}_2^2\left({∥\nabla v_{ϵ}∥}_4^8+{∥\nabla w_{ϵ}∥}_4^8\right)\hfill \\ & & +{\displaystyle \frac{1}{2}}{∥u_{ϵ}∥}_2^2+C{∥u_{ϵ}∥}_2^2\left({∥\nabla v_{ϵ}∥}_4^2+{∥\nabla w_{ϵ}∥}_4^2\right).\hfill \end{array}$$

(13)

Using the Grownwall inequality above, we get

$${∥u_{ϵ}∥}_X\le C\left(ϵ\right).$$

□

Lemma 7.

The operator $\Gamma :\mathbb{A}\to \mathbb{A}$ is continuous.

Proof. 

To prove the lemma, it is enough to show that $\Gamma$ is sequentially continuous. Suppose that ${({\overline{u}}_{ϵ}^m,{\overline{n}}_{ϵ}^m,{\overline{c}}_{ϵ}^m)}_{m\in \mathbb{N}}\subset \mathbb{A}$ is a bounded sequences in $\mathbb{A}$ such that

$$({\overline{u}}_{ϵ}^m,{\overline{n}}_{ϵ}^m,{\overline{c}}_{ϵ}^m)\to ({\overline{u}}_{ϵ},{\overline{n}}_{ϵ},{\overline{c}}_{ϵ})in\mathbb{A}asm\to \infty .$$

From (9), we have that $(u_{ϵ}^m,n_{ϵ}^m,c_{ϵ}^m)=\Gamma ({\overline{u}}_{ϵ}^m,{\overline{n}}_{ϵ}^m,{\overline{c}}_{ϵ}^m)$ is bounded in ${\chi }_{{\displaystyle \frac{5}{3}}}\times {\chi }_{{\displaystyle \frac{5}{3}}}\times {\chi }_{{\displaystyle \frac{5}{3}}}$, which gives a subsequence ${(u_{ϵ}^m,n_{ϵ}^m,c_{ϵ}^m)}_{m\in \mathbb{N}}$ that converges in ${\chi }_{{\displaystyle \frac{5}{3}}}\times {\chi }_{{\displaystyle \frac{5}{3}}}\times {\chi }_{{\displaystyle \frac{5}{3}}}$ to $({\widehat{u}}_{ϵ},{\widehat{n}}_{ϵ},{\widehat{c}}_{ϵ})$. It means that

$$(u_{ϵ}^m,n_{ϵ}^m,c_{ϵ}^m)=\Gamma ({\overline{u}}_{ϵ}^m,{\overline{n}}_{ϵ}^m,{\overline{c}}_{ϵ}^m)\to ({\widehat{u}}_{ϵ},{\widehat{n}}_{ϵ},{\widehat{c}}_{ϵ}),weeklyin{\chi }_{{\displaystyle \frac{5}{3}}}\times {\chi }_{{\displaystyle \frac{5}{3}}}\times {\chi }_{{\displaystyle \frac{5}{3}}}.$$

(14)

The above convergence is strong in $\mathbb{A}$. Therefore, as $m\to \infty$, we get

$$\left\{\begin{array}{cc}{\widehat{u}}_{ϵt}-\Delta {\widehat{u}}_{ϵ}=-\chi \nabla ·\left({\displaystyle \frac{{\overline{u}}_{ϵ}}{1+ϵ{\overline{u}}_{ϵ}}}\nabla {\overline{v}}_{ϵ}\right)+\xi \nabla ·\left({\displaystyle \frac{{\overline{u}}_{ϵ}}{1+ϵ{\overline{u}}_{ϵ}}}\nabla {\overline{w}}_{ϵ}\right)\hfill & in{U}_T,\hfill \\ {\widehat{n}}_{ϵt}-\Delta {\widehat{n}}_{ϵ}=-\theta {\overline{n}}_{ϵ}{\displaystyle \frac{1}{ϵ}}ln(1+ϵ{\overline{u}}_{ϵ})+\alpha {\overline{n}}_{ϵ}\hfill & in{U}_T,\hfill \\ {\widehat{c}}_{ϵt}-\Delta {\widehat{c}}_{ϵ}=-\tau {\overline{c}}_{ϵ}{\displaystyle \frac{1}{ϵ}}ln(1+ϵ{\overline{u}}_{ϵ})+\beta {\overline{c}}_{ϵ}\hfill & in{U}_T,\hfill \end{array}\right.$$

where ${\overline{v}}_{ϵ}$ and ${\overline{w}}_{ϵ}$ are the unique solutions of (2). So we have $({\widehat{u}}_{ϵ},{\widehat{n}}_{ϵ},{\widehat{c}}_{ϵ})=\Gamma ({\overline{u}}_{ϵ},{\overline{n}}_{ϵ},{\overline{c}}_{ϵ})$. Here we prove that, for an arbitrary sequence ${({\overline{u}}_{ϵ}^m,{\overline{n}}_{ϵ}^m,{\overline{c}}_{ϵ}^m)}_{m\in \mathbb{N}}$ that converges to $({\overline{u}}_{ϵ},{\overline{n}}_{ϵ},{\overline{c}}_{ϵ})$, there exists a subsequence with the same suffix such that $\Gamma ({\overline{u}}_{ϵ}^m,{\overline{n}}_{ϵ}^m,{\overline{c}}_{ϵ}^m)\to \Gamma ({\overline{u}}_{ϵ},{\overline{n}}_{ϵ},{\overline{c}}_{ϵ})$. This implies that $\Gamma$ is sequentially continuous. □

Theorem 3.

Suppose that $u_{0,ϵ}>0$ and $n_{0,ϵ},v_{0,ϵ},c_{0,ϵ},w_{0,ϵ}\ge 0$ with regularizations of the data $\left(R1\right)$–$\left(R3\right).$ For $ϵ\in (0,1)$, there exists unique non-negative solutions $u_{ϵ},n_{ϵ},c_{ϵ}$ in ${\chi }_{{\displaystyle \frac{5}{3}}}$ for systems (2) and (3) a.e. in $U_T.$

Proof. 

Using Lemmas 4–7 and Leray–Schauder fixed point theorem, $\Gamma$ has a fixed point $(u_{ϵ},n_{ϵ},c_{ϵ}),$ which is a solution for the system (3). This completes the existence of solutions of (3).

Next, to prove the uniqueness of solutions of (3), we have to prove that the fixed point of the operator $\Gamma :\mathbb{A}\to \mathbb{A}$ is unique. The procedure is as follows. Suppose that

$$(u_{ϵ,1},n_{ϵ,1},c_{ϵ,1}),(u_{ϵ,2},n_{ϵ,2},c_{ϵ,2})\in {\chi }_{{\displaystyle \frac{5}{3}}}\times {\chi }_{{\displaystyle \frac{5}{3}}}\times {\chi }_{{\displaystyle \frac{5}{3}}}$$

with $u_{ϵ,1},u_{ϵ,2},n_{ϵ,1},n_{ϵ,2},c_{ϵ,1},c_{ϵ,2}\ge 0$ are two fixed points of the operator $\Gamma$, and

$$v_{ϵ,1},v_{ϵ,2},w_{ϵ,1},w_{ϵ,2}\in L^{\infty }(0,T;H^2(\Omega ))\cap L^2(0,T;H^3(\Omega ))$$

are solutions of (2). Suppose that $u=u_{ϵ,1}-u_{ϵ,2}$, $n=n_{ϵ,1}-n_{ϵ,2}$, $c_{ϵ,1}-c_{ϵ,2}$, $v=v_{ϵ,1}-v_{ϵ,2}$, and $w=w_{ϵ,1}-w_{ϵ,2}$. Then, from ${\left(3\right)}_1$, we have

$$\begin{array}{c}\hfill u_t-\nabla u=-\chi \nabla ·\left[{\displaystyle \frac{u_{ϵ,1}}{1+ϵu_{ϵ,1}}}\nabla v+\left({\displaystyle \frac{u_{ϵ,1}}{1+ϵu_{ϵ,1}}}-{\displaystyle \frac{u_{ϵ,2}}{1+ϵu_{ϵ,2}}}\right)\nabla v_{ϵ,2}\right]\end{array}$$

$$+\xi \nabla ·\left[{\displaystyle \frac{u_{ϵ,1}}{1+ϵu_{ϵ,1}}}\nabla w+\left({\displaystyle \frac{u_{ϵ,1}}{1+ϵu_{ϵ,1}}}-{\displaystyle \frac{u_{ϵ,2}}{1+ϵu_{ϵ,2}}}\right)\nabla w_{ϵ,2}\right]$$

(15)

with $u\left(0\right)=0$ and ${\displaystyle \frac{\partial u}{\partial \nu }}=0$ on $\partial \Omega \times (0,T)$. Now testing (15) with u and integrating over $\Omega$, we get

$$\begin{array}{ccc}\hfill {\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{∥u∥}_2^2+{∥\nabla u∥}_2^2& =& \chi \underset{\Omega }{\int }{\displaystyle \frac{u_{ϵ,1}}{1+ϵu_{ϵ,1}}}\nabla v·\nabla u+\chi \underset{\Omega }{\int }{\displaystyle \frac{u_{ϵ,1}-u_{ϵ,2}}{(1+ϵu_{ϵ,1})(1+ϵu_{ϵ,2})}}\nabla v_{ϵ,2}·\nabla u\hfill \\ & & -\xi \underset{\Omega }{\int }{\displaystyle \frac{u_{ϵ,1}}{1+ϵu_{ϵ,1}}}\nabla w·\nabla u-\xi \underset{\Omega }{\int }{\displaystyle \frac{u_{ϵ,1}-u_{ϵ,2}}{(1+ϵu_{ϵ,1})(1+ϵu_{ϵ,2})}}\nabla w_{ϵ,2}·\nabla u\hfill \\ & \le & \chi {∥\nabla v∥}_2{∥\nabla u∥}_2+\chi {∥v_{ϵ,2}∥}_4{∥\nabla u∥}_2{∥u∥}_4\hfill \\ & & +\xi {∥\nabla w∥}_2{∥\nabla u∥}_2+\xi {∥w_{ϵ,2}∥}_4{∥\nabla u∥}_2{∥u∥}_4\hfill \\ & \le & \chi {∥\nabla v∥}_2{∥\nabla u∥}_2+\chi {∥v_{ϵ,2}∥}_4{∥\nabla u∥}_2^{7/4}{∥u∥}_2^{1/4}\hfill \\ & & +\chi {∥v_{ϵ,2}∥}_4{∥\nabla u∥}_2{∥u∥}_2+\xi {∥\nabla w∥}_2{∥\nabla u∥}_2\hfill \\ & & +\xi {∥w_{ϵ,2}∥}_4{∥\nabla u∥}_2^{7/4}{∥u∥}_2^{1/4}+\xi {∥w_{ϵ,2}∥}_4{∥\nabla u∥}_2{∥u∥}_2\hfill \\ & \le & {\delta }_1{∥\nabla u∥}_2^2+C_{{\delta }_1}\left({∥\nabla v∥}_2^2+{∥\nabla w∥}_2^2\right)+C_{{\delta }_2}\left({∥v_{ϵ,2}∥}_4^8+{∥w_{ϵ,2}∥}_4^8\right){∥u∥}_2^2.\hfill \end{array}$$

From the system (2), we get

$${\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{∥u∥}_2^2+{∥\nabla u∥}_2^2\le {\delta }_1{∥\nabla u∥}_2^2+C_{{\delta }_1}\left({∥\nabla n∥}_2^2+{∥\nabla c∥}_2^2\right)$$

$$+C_{{\delta }_2}\left({∥v_{ϵ,2}∥}_4^8+{∥w_{ϵ,2}∥}_4^8\right){∥u∥}_2^2.$$

(16)

By a similar procedure on n and c, we get

$$\begin{array}{c}\hfill \left.\begin{array}{ccc}& & {\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{∥n∥}_2^2+{∥\nabla n∥}_2^2\le \theta {∥n∥}_2^2{∥u_{ϵ,1}∥}_{\infty }+{\displaystyle \frac{\theta }{2}}{∥n_{ϵ,2}∥}_{\infty }{∥u∥}_2^2+({\displaystyle \frac{\alpha }{2}}+\alpha ){∥n∥}_2^2,\hfill \\ & & {\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{∥c∥}_2^2+{∥\nabla c∥}_2^2\le \tau {∥c∥}_2^2{∥u_{ϵ,1}∥}_{\infty }+{\displaystyle \frac{\tau }{2}}{∥c_{ϵ,2}∥}_{\infty }{∥u∥}_2^2+({\displaystyle \frac{\beta }{2}}+\beta ){∥n∥}_2^2.\hfill \end{array}\right\}\end{array}$$

(17)

Summing up results (16) and (17), we have

$$\begin{array}{c}\hfill {\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}\left({∥u∥}_2^2+{∥n∥}_2^2+{∥c∥}_2^2\right)+(1-{\delta }_1){∥\nabla u∥}_2^2+(1-C_{{\delta }_1})({∥\nabla n∥}_2^2+{∥\nabla c∥}_2^2)\\ \hfill \le C(C_{{\delta }_1}{∥v_{ϵ,2}∥}_4^8+C_{{\delta }_1}{∥w_{ϵ,2}∥}_4^8+(\theta +\tau ){∥u_{ϵ,1}∥}_{\infty }+{\displaystyle \frac{\theta }{2}}{∥n_{ϵ,2}∥}_{\infty }\\ \hfill +{\displaystyle \frac{\tau }{2}}{∥c_{ϵ,2}∥}_{\infty }+{\displaystyle \frac{3}{2}}(\alpha +\beta ))\left({∥u∥}_2^2+{∥n∥}_2^2+{∥c∥}_2^2\right).\end{array}$$

By using Grownwall’s inequality with simple calculations, one can obtain the uniqueness of solutions of (3). □

4. A Priori Estimates and Convergence Analysis

Lemma 8.

Let $\left(u_{ϵ},n_{ϵ},c_{ϵ}\right)$ be a solution of (3), with $(u_{ϵ},n_{ϵ},c_{ϵ})\ge 0$. Then, $n_{ϵ},c_{ϵ}\in {\chi }_{{\displaystyle \frac{5}{3}}}$ satisfying

$$\left\{\begin{array}{cc}{n}_{ϵt}-\Delta n_{ϵ}=-\theta n_{ϵ}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ})+\alpha n_{ϵ}\hfill & in{U}_T,\hfill \\ {\displaystyle \frac{\partial n_{ϵ}}{\partial \nu }}=0\hfill & on\partial \Omega \times (0,T),\hfill \\ n_{ϵ}\left(0\right)=n_{0,ϵ}\in W^{1,q}(\Omega ),q>3.\hfill \end{array}\right.$$

(18)

and

$$\left\{\begin{array}{cc}{c}_{ϵt}-\Delta c_{ϵ}=-\tau c_{ϵ}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ})+\beta c_{ϵ}\hfill & in{U}_T,\hfill \\ {\displaystyle \frac{\partial c_{ϵ}}{\partial \nu }}=0\hfill & on\partial \Omega \times (0,T),\hfill \\ c_{ϵ}\left(0\right)=c_{0,ϵ}\in W^{1,q}(\Omega ),q>3.\hfill \end{array}\right.$$

(19)

verifies that

$$0\le n_{ϵ}(x,t)\le C{∥v_{0,ϵ}∥}_p,$$

(20)

and

$$0\le c_{ϵ}(x,t)\le C{∥w_{0,ϵ}∥}_p.$$

(21)

Proof. 

First we estimate for $n_{ϵ}$. Multiplying (18)₁ with ${\displaystyle \frac{1}{p}}{n}_{ϵ}^{p-1}$ and integrating over $\Omega$, we get

$${\displaystyle \frac{1}{p^2}}{\displaystyle \frac{d}{dt}}\underset{\Omega }{\int }{\left(n_{ϵ}^{p/2}\right)}^2+{\displaystyle \frac{p-1}{p}}{\displaystyle \frac{4}{p^2}}\underset{\Omega }{\int }{|\nabla \left(n_{ϵ}^{p/2}\right)|}^2=-{\displaystyle \frac{\theta }{ϵp}}\underset{\Omega }{\int }ln(1+ϵu_{ϵ})n_{ϵ}^p+{\displaystyle \frac{\alpha }{p}}\underset{\Omega }{\int }{n}_{ϵ}^p,$$

Substituting $n_{ϵ}^{p/2}=n,$ we get

$${\displaystyle \frac{1}{p^2}}{\displaystyle \frac{d}{dt}}{∥n∥}_2^2+{\displaystyle \frac{p-1}{p}}{\displaystyle \frac{4}{p^2}}{∥\nabla n∥}_2^2=-{\displaystyle \frac{\theta }{ϵp}}\underset{\Omega }{\int }ln(1+ϵu_{ϵ})n^2+{\displaystyle \frac{\alpha }{p}}\underset{\Omega }{\int }{n}^2,$$

and

$${\displaystyle \frac{d}{dt}}{∥n∥}_2^2+{\displaystyle \frac{4(p-1)}{p^2}}{∥\nabla n∥}_2^2\le \alpha p{∥n∥}_2^2.$$

(22)

Applying Gronwall’s inequality, we get

$${∥n∥}_2^2\le C{∥n_{0,ϵ}∥}_p\le C{∥v_{0,ϵ}∥}_p,$$

for some constant $C>0$. Using the fact that $n_{ϵ}^{p/2}=n,$ and from the above, we have

$${∥n_{ϵ}∥}_{L^{\infty }(0,T;L^p(\Omega ))}\le C{∥n_{0,ϵ}∥}_p\le C{∥v_{0,ϵ}∥}_p,$$

(23)

for some constant $C>0$. It is easy to see that

$${∥n_{0,ϵ}∥}_p\le {|\Omega |}^{1/p}{∥n_{0,ϵ}∥}_{\infty }\le C{∥n_{0,ϵ}∥}_{W^{1,q}(\Omega )},$$

for some constant $C>0$. Using the above result in (23), we have

$${∥n_{ϵ}∥}_{L^{\infty }(0,T;L^p(\Omega ))}\le C{∥n_{0,ϵ}∥}_{W^{1,q}(\Omega )},$$

(24)

for some constant $C>0$. Integrating (22) with respect to t, we get

$${∥\nabla n∥}_{L^2(0,T;L^2(\Omega ))}\le C{∥n_0∥}_2.$$

Therefore,

$$n_{ϵ}\in L^p(0,T;W^{1,p}(\Omega ))\cap L^{\infty }(0,T;L^p(\Omega ))foranyp>1.$$

(25)

From (24) and Theorem 2.8 [33], we get that $n_{ϵ}$ is uniformly bounded in $L^{\infty }(0,T;L^{\infty }(\Omega ))$. Similarly, we have

$$c_{ϵ}\in L^p(0,T;W^{1,p}(\Omega ))\cap L^{\infty }(0,T;L^p(\Omega ))foranyp>1$$

(26)

and $c_{ϵ}$ is uniformly bounded in $L^{\infty }(0,T;L^{\infty }(\Omega ))$. □

Lemma 9.

Suppose that $(u_{ϵ},n_{ϵ},c_{ϵ})$ is a solution of (3), and $k_1,{\delta }_1,{\delta }_2,{\delta }_3,{\delta }_4,l_1,l_2,{\rho }_1,{\rho }_2,{\rho }_3,{\rho }_4$ are positive constants with $k_1>{\delta }_1,{\delta }_2$ and ${ł}_1>{\rho }_1,{\rho }_2.$ Then,

$$\begin{array}{ccc}\hfill & & {\displaystyle \frac{d}{dt}}\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}+\underset{\Omega }{\int }\left((k_1-{\delta }_1)n_{ϵ}{|D^{2}ln{n}_{ϵ}|}^2+(k_1-{\delta }_2){\displaystyle \frac{|\nabla n_{ϵ}{|}^4}{n_{ϵ}^3}}\right)\hfill \\ & & \le \underset{\Omega }{\int }\left(-2\theta {\displaystyle \frac{\nabla v_{ϵ}·\nabla u_{ϵ}}{1+ϵu_{ϵ}}}+{\delta }_4{\displaystyle \frac{|\nabla u_{ϵ}{|}^2}{u_{ϵ}}}+({\delta }_3+k_2)n_{ϵ}+|\nabla v_{ϵ}{|}^2+{|\nabla n_{ϵ}|}^2\right),\hfill \\ \hfill & & {\displaystyle \frac{d}{dt}}\underset{\Omega }{\int }{\displaystyle \frac{|\nabla c_{ϵ}{|}^2}{c_{ϵ}}}+\underset{\Omega }{\int }\left((l_1-{\rho }_1)c_{ϵ}{|D^{2}ln{c}_{ϵ}|}^2+(l_1-{\rho }_2){\displaystyle \frac{|\nabla c_{ϵ}{|}^4}{c_{ϵ}^3}}\right)\hfill \end{array}$$

(27)

$$\begin{array}{ccc}& & \le \underset{\Omega }{\int }\left(-2\tau {\displaystyle \frac{\nabla w_{ϵ}·\nabla u_{ϵ}}{1+ϵu_{ϵ}}}+{\rho }_4{\displaystyle \frac{|\nabla u_{ϵ}{|}^2}{u_{ϵ}}}+({\rho }_3+l_2)c_{ϵ}+|\nabla w_{ϵ}{|}^2+{|\nabla c_{ϵ}|}^2\right).\hfill \end{array}$$

(28)

Proof. 

First, we estimate for $n_{ϵ}$. For any $ϵ>0$ on $(0,T)$,

$$\begin{array}{ccc}\hfill {\displaystyle \frac{d}{dt}}\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}& =& \underset{\Omega }{\int }\left(-2{\displaystyle \frac{\Delta n_{ϵ}{n}_{ϵt}}{n_{ϵ}}}+{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}^2}}{n}_{ϵt}\right).\hfill \end{array}$$

Substituting $n_{ϵt}=\Delta n_{ϵ}-\theta n_{ϵ}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ})+\alpha n_{ϵ}$ leads to

$$\begin{array}{ccc}\hfill {\displaystyle \frac{d}{dt}}\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}& =& \underset{\Omega }{\int }\left(-2{\displaystyle \frac{|\Delta n_{ϵ}{|}^2}{n_{ϵ}}}+2{\displaystyle \frac{\theta }{ϵ}}\Delta n_{ϵ}ln(1+ϵu_{ϵ})-2\alpha \Delta n_{ϵ}+{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}\Delta n_{ϵ}\right)\hfill \\ & & +\underset{\Omega }{\int }\left(-{\displaystyle \frac{\theta }{ϵ}}{\displaystyle \frac{|\nabla n_{ϵ}{|}^{2}ln(1+ϵu_{ϵ})}{n_{ϵ}}}+\alpha {\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}\right)\hfill \\ & \le & \underset{\Omega }{\int }\left(-2{\displaystyle \frac{|\Delta n_{ϵ}{|}^2}{n_{ϵ}}}-2\theta {\displaystyle \frac{\nabla n_{ϵ}·\nabla u_{ϵ}}{1+ϵu_{ϵ}}}-2\alpha \Delta n_{ϵ}+{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}\Delta n_{ϵ}\right)\hfill \\ & & +\alpha \underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}.\hfill \end{array}$$

Replacing $n_{ϵ}=v_{ϵ}-ϵ\Delta v_{ϵ}$, we get

$$\begin{array}{ccc}\hfill {\displaystyle \frac{d}{dt}}\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}& \le & \left(\underset{\Omega }{\int }-2{\displaystyle \frac{|\Delta n_{ϵ}{|}^2}{n_{ϵ}}}-2\theta {\displaystyle \frac{\nabla v_{ϵ}·\nabla u_{ϵ}}{1+ϵu_{ϵ}}}+2\theta ϵ{\displaystyle \frac{\nabla (\Delta v_{ϵ})·\nabla u_{ϵ}}{1+ϵu_{ϵ}}}\right)\hfill \\ & & +\underset{\Omega }{\int }\left(-2\alpha \Delta n_{ϵ}+{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}\Delta n_{ϵ}+\alpha {\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}\right)\hfill \end{array}$$

(29)

Using Lemma 2.7(vi) [34] ensures that there exist constants $k_1>0$, $k_2>0$ such that for any $ϵ>0$,

$$\underset{\Omega }{\int }\left(-2{\displaystyle \frac{|\Delta n_{ϵ}{|}^2}{n_{ϵ}}}+{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}\Delta n_{ϵ}\right)\le -k_1\underset{\Omega }{\int }\left(n_{ϵ}{|D^{2}ln{n}_{ϵ}|}^2+{\displaystyle \frac{|\nabla n_{ϵ}{|}^4}{n_{ϵ}^3}}\right)+k_2\underset{\Omega }{\int }{n}_{ϵ}.$$

(30)

Since $\Delta n_{ϵ}=n_{ϵ}\Delta ln{n}_{ϵ}+{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}$

$$\begin{array}{ccc}\hfill \underset{\Omega }{\int }\left(-2\alpha \Delta n_{ϵ}+\alpha {\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}\right)& =& \underset{\Omega }{\int }\left(-2\alpha n_{ϵ}\Delta ln{n}_{ϵ}-\alpha {\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}\right)\hfill \\ & \le & {\delta }_1\underset{\Omega }{\int }{n}_{ϵ}{|D^{2}ln{n}_{ϵ}|}^2+{\delta }_2\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^4}{n_{ϵ}^3}}+{\delta }_3\underset{\Omega }{\int }{n}_{ϵ}.\hfill \end{array}$$

(31)

Now summing (29)–(31), we have

$$\begin{array}{c}\hfill {\displaystyle \frac{d}{dt}}\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}+(k_1-{\delta }_1)\underset{\Omega }{\int }{n}_{ϵ}{|D^{2}ln{n}_{ϵ}|}^2+(k_1-{\delta }_2){\delta }_2\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^4}{n_{ϵ}^3}}\\ \hfill \le -2\theta \underset{\Omega }{\int }{\displaystyle \frac{\nabla v_{ϵ}·\nabla u_{ϵ}}{1+ϵu_{ϵ}}}+2\theta ϵ\underset{\Omega }{\int }{\displaystyle \frac{\nabla (\Delta v_{ϵ})·\nabla u_{ϵ}}{1+ϵu_{ϵ}}}+({\delta }_3+k_2)\underset{\Omega }{\int }{n}_{ϵ}.\end{array}$$

(32)

Then, we have

$$\begin{array}{ccc}\hfill 2\theta ϵ\underset{\Omega }{\int }{\displaystyle \frac{\nabla (\Delta v_{ϵ})·\nabla u_{ϵ}}{1+ϵu_{ϵ}}}& =& 2\theta {ϵ}^{{\displaystyle \frac{1}{2}}}\underset{\Omega }{\int }{\displaystyle \frac{\nabla (\Delta v_{ϵ})·\nabla u_{ϵ}}{u_{ϵ}^{\frac{1}{2}}}}{\displaystyle \frac{{\left(ϵu_{ϵ}\right)}^{\frac{1}{2}}}{1+ϵu_{ϵ}}}\hfill \\ & \le & {\delta }_4\underset{\Omega }{\int }{\displaystyle \frac{|\nabla u_{ϵ}{|}^2}{u_{ϵ}}}+C_{{\delta }_4}ϵ{\theta }^2\underset{\Omega }{\int }{|\nabla (\Delta v_{ϵ})|}^2.\hfill \end{array}$$

(33)

Substituting (33) and using the fact that $ϵ\nabla (\Delta v_{ϵ})=\nabla v_{ϵ}-\nabla n_{ϵ}$ in (32), we get

$$\begin{array}{ccc}& & {\displaystyle \frac{d}{dt}}\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}+(k_1-{\delta }_1)\underset{\Omega }{\int }{n}_{ϵ}{|D^{2}ln{n}_{ϵ}|}^2+(k_1-{\delta }_2)\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^4}{n_{ϵ}^3}}\hfill \\ & & \le -2\theta \underset{\Omega }{\int }{\displaystyle \frac{\nabla v_{ϵ}·\nabla u_{ϵ}}{1+ϵu_{ϵ}}}+{\delta }_4\underset{\Omega }{\int }{\displaystyle \frac{|\nabla u_{ϵ}{|}^2}{u_{ϵ}}}+({\delta }_3+k_2)\underset{\Omega }{\int }{n}_{ϵ}+\underset{\Omega }{\int }|\nabla v_{ϵ}{|}^2+\underset{\Omega }{\int }{|\nabla n_{ϵ}|}^2.\hfill \end{array}$$

A similar proof gives the estimate for $c_{ϵ}$. □

Lemma 10.

Let $u_{ϵ},n_{ϵ},c_{ϵ}$ be a solution of (3) such that $v_{ϵ},w_{ϵ}$ satisfy (2). Then,

(i)

$v_{ϵ,},n_{ϵ},w_{ϵ}$, and $c_{ϵ}$ are bounded in $X_1\hookrightarrow L^{10}(0,T;L^{10}(\Omega ))$.

(ii)

$\sqrt{ϵ}\Delta v_{ϵ},\sqrt{ϵ}\Delta w_{ϵ}$ are bounded in X.

(iii)

$u_{ϵ}$ is bounded in ${\displaystyle L^{\frac{5}{4}}(0,T;W^{1,\frac{5}{4}}(\Omega ))}$ and in $X_{{\displaystyle \frac{5}{3}}}$.

Proof. 

First we prove (i) and (ii) for $v_{ϵ}$. Multiplying ${\left(3\right)}_1$ with $ln{u}_{ϵ}$ and integrating over $\Omega ,$ we get

$${\displaystyle \frac{d}{dt}}\underset{\Omega }{\int }{u}_{ϵ}ln{u}_{ϵ}=-\underset{\Omega }{\int }{\displaystyle \frac{|\nabla u_{ϵ}{|}^2}{u_{ϵ}}}+\chi \underset{\Omega }{\int }{\displaystyle \frac{\nabla u_{ϵ}·\nabla v_{ϵ}}{1+ϵu_{ϵ}}}+\xi \underset{\Omega }{\int }{\displaystyle \frac{\nabla u_{ϵ}·\nabla w_{ϵ}}{1+ϵu_{ϵ}}}$$

(34)

on $(0,T)$. Assume that $\alpha >{\displaystyle \frac{\chi }{2}},\beta >{\displaystyle \frac{\xi }{2}},{\delta }_4+{\rho }_4<1$ and the hypothesis of Lemma 9. Then, summing up results (27), (28), and (34), we get

$$\begin{array}{c}{\displaystyle \frac{d}{dt}}\left(\underset{\Omega }{\int }{u}_{ϵ}ln{u}_{ϵ}+\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}+\underset{\Omega }{\int }{\displaystyle \frac{|\nabla c_{ϵ}{|}^2}{c_{ϵ}}}\right)+(1-{\delta }_4-{\rho }_4)\underset{\Omega }{\int }{\displaystyle \frac{|\nabla u_{ϵ}{|}^2}{u_{ϵ}}}\hfill \\ +(k_1-{\delta }_1)\underset{\Omega }{\int }{n}_{ϵ}|D^{2}ln{n}_{ϵ}{|}^2+(l_1-{\rho }_1)\underset{\Omega }{\int }{c}_{ϵ}{|D^{2}ln{c}_{ϵ}|}^2\hfill \\ +(k_1-{\delta }_2)\underset{\Omega }{\int }{\displaystyle \frac{|\nabla n_{ϵ}{|}^4}{n_{ϵ}^3}}+(l_1-{\rho }_2)\underset{\Omega }{\int }{\displaystyle \frac{|\nabla c_{ϵ}{|}^4}{c_{ϵ}^3}}\hfill \\ \le \underset{\Omega }{\int }\left(C{n}_{ϵ}+C{c}_{ϵ}+|\nabla v_{ϵ}{|}^2+|\nabla n_{ϵ}{|}^2+|\nabla w_{ϵ}{|}^2+{|\nabla c_{ϵ}|}^2\right).\hfill \end{array}$$

(35)

where $C>0$ is a constant. Finally, using Lemma 8, we get

$${\displaystyle \frac{d}{dt}}\left(\underset{\Omega }{\int }\left(u_{ϵ}ln{u}_{ϵ}+C_1{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}+C_2{\displaystyle \frac{|\nabla c_{ϵ}{|}^2}{c_{ϵ}}}\right)\right)$$

$$+\underset{\Omega }{\int }\left({\displaystyle \frac{|\nabla u_{ϵ}{|}^2}{u_{ϵ}}}+C_3{n}_{ϵ}|D^{2}ln{n}_{ϵ}{|}^2+C_4{c}_{ϵ}{|D^{2}ln{c}_{ϵ}|}^2+C_5{\displaystyle \frac{|\nabla n_{ϵ}{|}^4}{n_{ϵ}^3}}+C_6{\displaystyle \frac{|\nabla c_{ϵ}{|}^4}{c_{ϵ}^3}}\right)$$

$$\le \underset{\Omega }{\int }|\nabla v_{ϵ}{|}^2+\underset{\Omega }{\int }|\nabla n_{ϵ}{|}^2+\underset{\Omega }{\int }|\nabla w_{ϵ}{|}^2+\underset{\Omega }{\int }{|\nabla c_{ϵ}|}^2+C.$$

(36)

where $C_i,i=1,\dots ,6$ and C are all positive constants. Testing ${\left(2\right)}_1$ by $v_{ϵ}$ and $-\Delta v_{ϵ}$, we get

$${\displaystyle \frac{1}{2}}{∥v_{ϵ}∥}_2^2+ϵ{∥\nabla v_{ϵ}∥}_2^2\le {\displaystyle \frac{1}{2}}{∥n_{ϵ}∥}_2^2,$$

(37)

$${\displaystyle \frac{1}{2}}{∥\nabla v_{ϵ}∥}_2^2+ϵ{∥\Delta v_{ϵ}∥}_2^2\le {\displaystyle \frac{1}{2}}{∥\nabla n_{ϵ}∥}_2^2.$$

(38)

respectively.

Since $\nabla n_{ϵ}\in L^2(0,T;L^2(\Omega ))$ uniformly in $ϵ$, and using (38), we have $\nabla v_{ϵ}\in L^2(0,T;L^2(\Omega ))$ and $\sqrt{ϵ}\Delta v_{ϵ}$ is bounded uniformly in $L^2(0,T;L^2(\Omega ))$. Integrating (36) with respect to time t, we have

$${∥{\displaystyle \frac{\nabla n_{ϵ}}{n_{ϵ}^{\frac{1}{2}}}}∥}_{L^{\infty }(0,T;L^2(\Omega ))}\le C.$$

Using the uniform boundedness of $n_{ϵ}$ (Lemma 8), we get

$$\nabla n_{ϵ}\in L^{\infty }(0,T;L^2(\Omega ))\mathrm{uniformly}\mathrm{in}ϵ.$$

(39)

We know that $\Delta n_{ϵ}=n_{ϵ}\Delta ln{n}_{ϵ}+{\displaystyle \frac{|\nabla n_{ϵ}{|}^2}{n_{ϵ}}}$; therefore,

$$\Delta n_{ϵ}\in L^2(0,T;L^2(\Omega ))\mathrm{uniformly}\mathrm{in}ϵ.$$

(40)

Thus, from (37)–(39), we have that

$$\left\{v_{ϵ}\right\}isboundedin{L}^{\infty }(0,T;H^1(\Omega )),\{\sqrt{ϵ}\Delta v_{ϵ}\}isboundedin{L}^{\infty }(0,T;L^2(\Omega )).$$

Testing (2) by $\Delta v_{ϵ}$, we get

$${\displaystyle \frac{1}{2}}{∥\Delta v_{ϵ}∥}_2^2+ϵ{∥\nabla \Delta v_{ϵ}∥}_2^2\le {\displaystyle \frac{1}{2}}{∥\Delta n_{ϵ}∥}_2^2.$$

(40) and the above results imply that

$$\left\{v_{ϵ}\right\}isboundedin{L}^2(0,T;H^2(\Omega )),\{\sqrt{ϵ}\Delta v_{ϵ}\}isboundedin{L}^2(0,T;H^1(\Omega )).$$

Thus, we have

$$\left\{\begin{array}{c}\left\{v_{ϵ}\right\}isboundedin{X}_1\hookrightarrow X_{{\displaystyle \frac{10}{3}}},\hfill \\ \{\sqrt{ϵ}\Delta v_{ϵ}\}isboundedinX.\hfill \end{array}\right.$$

(41)

Thus, from (39) and (40), we obtain

$$\left\{n_{ϵ}\right\}isboundedin{X}_1\hookrightarrow X_{{\displaystyle \frac{10}{3}}}.$$

(42)

Similarly, we can prove for $w_{ϵ}$. Now we prove (iii). It is easy to see that $2\nabla \sqrt{u_{ϵ}}={\displaystyle \frac{\nabla u_{ϵ}}{\sqrt{n_{ϵ}}}}$, and from (36), we have $\nabla \sqrt{u_{ϵ}}\in L^2(0,T;L^2(\Omega ))$. Then,

$$\sqrt{u_{ϵ}}\in L^2(0,T;H^1(\Omega ))\hookrightarrow L^2(0,T;L^6(\Omega )).$$

Then, the mass conservation property $u_{ϵ}\in L^{\infty }(0,T;L^1(\Omega ))$ implies that $\sqrt{u_{ϵ}}\in L^{\infty }(0,T;L^2(\Omega ))$. That is,

$$\left\{\begin{array}{c}\left\{\sqrt{u_{ϵ}}\right\}isboundedin{L}^{\infty }(0,T;L^2(\Omega ))\cap L^2(0,T;L^6(\Omega ))\hookrightarrow X_{{\displaystyle \frac{10}{3}}},\hfill \\ \{\nabla \sqrt{u_{ϵ}}\}isboundedin{L}^2(0,T;L^2(\Omega )).\hfill \end{array}\right.$$

(43)

Since $\nabla u_{ϵ}=2\sqrt{u_{ϵ}}\nabla \sqrt{u_{ϵ}}$ by (43), we have

$$\left\{u_{ϵ}\right\}isboundedin{L}^{{\displaystyle \frac{5}{4}}}(0,T;W^{1,{\displaystyle \frac{5}{4}}}(\Omega )).$$

(44)

As well as by (43)₁, it holds that

$$\left\{u_{ϵ}\right\}isboundedin{X}_{{\displaystyle \frac{5}{3}}}.$$

(45)

□

Proof of Theorem 2. 

Using (2) and Lemma 10, we get

$$\begin{array}{c}\hfill n_{ϵ}-v_{ϵ}=-ϵ\Delta v_{ϵ}\to 0asϵ\to 0inX,\end{array}$$

(46)

$$\begin{array}{c}\hfill c_{ϵ}-w_{ϵ}=-ϵ\Delta w_{ϵ}\to 0asϵ\to 0inX.\end{array}$$

(47)

Therefore, from Lemma 10, (42)–(47), we have limit functions $(u,n,c)$ such that $u\in X_{{\displaystyle \frac{5}{3}}}\cap L^{{\displaystyle \frac{5}{4}}}(0,T;W^{1,{\displaystyle \frac{5}{4}}}(\Omega )),v\in X_1,w\in X_1,$ and for some subsequences of $\{u_{ϵ},v_{ϵ},w_{ϵ},n_{ϵ},c_{ϵ}\}$, denoted in the same way, we get

$$\left\{\begin{array}{c}{u}_{ϵ}\rightharpoonup u\mathrm{in}{L}^{{\displaystyle \frac{5}{3}}}(0,T;L^{{\displaystyle \frac{5}{3}}}(\Omega ))\cap L^{{\displaystyle \frac{5}{4}}}(0,T;W^{1,{\displaystyle \frac{5}{4}}}(\Omega )),\hfill \\ v_{ϵ}\rightharpoonup v\mathrm{in}{L}^2(0,T;H^2(\Omega ))\mathrm{and}{v}_{ϵ}\stackrel{*}{\rightharpoonup }v\mathrm{in}{L}^{\infty }(0,T;H^1(\Omega )),\hfill \\ n_{ϵ}\rightharpoonup n\mathrm{in}{L}^2(0,T;H^1(\Omega ))\mathrm{and}{n}_{ϵ}\stackrel{*}{\rightharpoonup }n\mathrm{in}{L}^{\infty }(0,T;L^2(\Omega )),\hfill \\ w_{ϵ}\rightharpoonup w\mathrm{in}{L}^2(0,T;H^2(\Omega ))\mathrm{and}{w}_{ϵ}\stackrel{*}{\rightharpoonup }w\mathrm{in}{L}^{\infty }(0,T;H^1(\Omega )),\hfill \\ c_{ϵ}\rightharpoonup c\mathrm{in}{L}^2(0,T;H^1(\Omega ))\mathrm{and}{c}_{ϵ}\stackrel{*}{\rightharpoonup }c\mathrm{in}{L}^{\infty }(0,T;L^2(\Omega )).\hfill \end{array}\right.$$

(48)

Now, from Lemma 10, $\{\nabla v_{ϵ}\}isboundedinX\hookrightarrow X_{{\displaystyle \frac{10}{3}}}.$ Thus, from (45), we have

$$\left\{{\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla v_{ϵ}\right\}isboundedin{X}_{{\displaystyle \frac{10}{9}}},$$

(49)

which implies that for each $\varphi \in L^{10}(0,T;W^{1,10}(\Omega ))$, the term ${\displaystyle \chi \underset{0}{\overset{T}{\int }}\underset{\Omega }{\int }\frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}\nabla v_{ϵ}·\nabla \varphi }$ is bounded. Similarly,

$$\left\{{\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla w_{ϵ}\right\}isboundedin{X}_{{\displaystyle \frac{10}{9}}},$$

(50)

where for each $\varphi \in L^{10}(0,T;W^{1,10}(\Omega ))$, the term ${\displaystyle \xi \underset{0}{\overset{T}{\int }}\underset{\Omega }{\int }\frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}\nabla w_{ϵ}·\nabla \varphi }$ is bounded.

Then, from (3), we have

$$\{n_{ϵt},c_{ϵt}\}isboundedin{L}^{{\displaystyle \frac{10}{9}}}(0,T;{\left(W^{1,10}(\Omega )\right)}^{\prime }).$$

(51)

From Lemma 8, we have

$$\begin{array}{c}\hfill \left\{n_{ϵ}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ}^{+})\right\}isboundedin{X}_{{\displaystyle \frac{5}{3}}},\end{array}$$

(52)

$$\begin{array}{c}\hfill \left\{c_{ϵ}{\displaystyle \frac{1}{ϵ}}ln(1+ϵu_{ϵ}^{+})\right\}isboundedin{X}_{{\displaystyle \frac{5}{3}}}.\end{array}$$

(53)

Further, (3) implies

$$\begin{array}{c}\hfill \left\{n_{ϵt}\right\}isboundedin{X}_{{\displaystyle \frac{5}{3}}},\end{array}$$

(54)

$$\begin{array}{c}\hfill \left\{c_{ϵt}\right\}isboundedin{X}_{{\displaystyle \frac{5}{3}}}.\end{array}$$

(55)

Therefore,

$$\left\{\begin{array}{c}{u}_{ϵt}\rightharpoonup u_t\mathrm{in}{L}^{{\displaystyle \frac{10}{9}}}(0,T;{\left(W^{1,10}(\Omega )\right)}^{\prime }),\hfill \\ n_{ϵt}\rightharpoonup v_t\mathrm{in}{X}_{{\displaystyle \frac{5}{3}}},\hfill \\ c_{ϵt}\rightharpoonup w_t\mathrm{in}{X}_{{\displaystyle \frac{5}{3}}}.\hfill \end{array}\right.$$

(56)

From (42)–(45), (56), and Lemma 10, along with $W^{1,{\displaystyle \frac{5}{4}}}\stackrel{c}{\hookrightarrow }{L}^2\hookrightarrow {\left(W^{1,10}\right)}^{\prime }$, $H^2\stackrel{c}{\hookrightarrow }{H}^1\hookrightarrow L^{{\displaystyle \frac{5}{3}}}$, and $H^1\stackrel{c}{\hookrightarrow }{L}^2\hookrightarrow L^{{\displaystyle \frac{5}{3}}}$, and using the Simon compactness and Aubin–Lions lemma, we have

$$\left\{\begin{array}{c}{u}_{ϵ}\to u\mathrm{in}{L}^{{\displaystyle \frac{5}{4}}}(0,T;L^2(\Omega ))\cap C([0,T];{\left(W^{1,10}(\Omega )\right)}^{\prime }),\hfill \\ n_{ϵ}\to v\mathrm{in}{L}^2(0,T;H^1(\Omega ))\cap C([0,T];L^2(\Omega )),\hfill \\ c_{ϵ}\to w\mathrm{in}{L}^2(0,T;H^1(\Omega ))\cap C([0,T];L^2(\Omega )).\hfill \end{array}\right.$$

(57)

By (49) and (50), we have

$$\begin{array}{c}\hfill {\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla v_{ϵ}\rightharpoonup \zeta \mathrm{in}{X}_{{\displaystyle \frac{10}{9}}}\end{array}$$

(58)

$$\begin{array}{c}\hfill {\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla w_{ϵ}\rightharpoonup \varsigma \mathrm{in}{X}_{{\displaystyle \frac{10}{9}}}.\end{array}$$

(59)

We have from (48) that $\nabla v_{ϵ}\rightharpoonup \nabla v$ and $\nabla w_{ϵ}\rightharpoonup \nabla w$. Also, from (57), $\left\{u_{ϵ}\right\}$ is relatively compact in $X_{{\displaystyle \frac{5}{4}}}.$ Using the interpolation inequality, we have

$${∥u_{ϵ}∥}_{L^p(0,T;L^p(\Omega ))}\le {∥u_{ϵ}∥}_{X_{{\displaystyle \frac{5}{4}}}}^{1-\theta }{∥u_{ϵ}∥}_{X_{{\displaystyle \frac{5}{3}}}}^{\theta },\theta ={\displaystyle \frac{4p-5}{p}}\in (0,1).$$

Therefore, $\left\{u_{ϵ}\right\}$ is relatively compact in $L^p(0,T;L^p(\Omega ))$. Note that

$$\begin{array}{ccc}\hfill \underset{\Omega }{\int }(u_{ϵ}^{+}\nabla v_{ϵ}-u^{+}\nabla v)\varphi & =& \underset{\Omega }{\int }(u_{ϵ}^{+}\nabla v_{ϵ}-u_{ϵ}^{+}\nabla v+u_{ϵ}^{+}\nabla v-u^{+}\nabla v)\varphi \hfill \\ & =& \underset{\Omega }{\int }{u}_{ϵ}^{+}(\nabla v_{ϵ}-\nabla v)\varphi +\underset{\Omega }{\int }(u_{ϵ}^{+}-u^{+})\nabla v\varphi \hfill \\ & \le & \underset{\Omega }{\int }{u}_{ϵ}^{+}(\nabla v_{ϵ}-\nabla v)\varphi +{∥u_{ϵ}^{+}-u^{+}∥}_{20/13}{∥\nabla v∥}_{{\displaystyle \frac{10}{3}}}{∥\varphi ∥}_{20},\hfill \end{array}$$

is true because $X_{{\displaystyle \frac{5}{3}}}\hookrightarrow X_{20/13}$, and the above inequality goes to zero as $ϵ\to 0$. From (58) we can conclude that $\zeta =u^{+}\nabla v$. That is,

$${\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla v_{ϵ}\rightharpoonup u^{+}\nabla v\mathrm{in}{X}_{{\displaystyle \frac{10}{9}}}.$$

(60)

Similarly,

$$\begin{array}{ccc}\hfill \underset{\Omega }{\int }(u_{ϵ}^{+}\nabla w_{ϵ}-u^{+}\nabla w)\varphi & =& \underset{\Omega }{\int }(u_{ϵ}^{+}\nabla w_{ϵ}-u_{ϵ}^{+}\nabla w+u_{ϵ}^{+}\nabla w-u^{+}\nabla w)\varphi \hfill \\ & \le & \underset{\Omega }{\int }{u}_{ϵ}^{+}(\nabla w_{ϵ}-\nabla w)\varphi +{∥u_{ϵ}^{+}-u^{+}∥}_{20/13}{∥\nabla w∥}_{{\displaystyle \frac{10}{3}}}{∥\varphi ∥}_{20},\hfill \end{array}$$

converges to zero as $ϵ\to 0.$ From (59), we can conclude that $\varsigma =u^{+}\nabla w$. That is,

$${\displaystyle \frac{u_{ϵ}^{+}}{1+ϵu_{ϵ}^{+}}}\nabla w_{ϵ}\rightharpoonup u^{+}\nabla w\mathrm{in}{X}_{{\displaystyle \frac{10}{9}}}.$$

(61)

As $ϵ\to 0$ in ${\left(3\right)}_1$, we get the desired weak solution $u.$ From (57), we have

$$\begin{array}{c}\hfill \alpha n_{ϵ}^{+}\rightharpoonup \alpha n^{+}\mathrm{in}{X}_{{\displaystyle \frac{10}{3}}},\end{array}$$

(62)

$$\begin{array}{c}\hfill \beta c_{ϵ}^{+}\rightharpoonup \beta c^{+}\mathrm{in}{X}_{{\displaystyle \frac{10}{3}}}.\end{array}$$

(63)

Since ${\displaystyle \frac{ln(1+ϵu_{ϵ}^{+})}{ϵ}}\le u_{ϵ}^{+}$, by (42) and (45),we get

$$\left\{n_{ϵ}^{+}{\displaystyle \frac{ln(1+ϵu_{ϵ}^{+})}{ϵ}}\right\}\mathrm{is}\mathrm{bounded}\mathrm{in}{X}_{{\displaystyle \frac{10}{7}}}.$$

(64)

By the dominated convergence theorem,

$${∥{\displaystyle \frac{ln(1+ϵu_{ϵ}^{+})}{ϵ}}-u^{+}∥}_{X_{{\displaystyle \frac{5}{3}}}}$$

$$\le {∥{\displaystyle \frac{ln(1+ϵu_{ϵ}^{+})}{ϵ}}-{\displaystyle \frac{ln(1+ϵu^{+})}{ϵ}}∥}_{X_{{\displaystyle \frac{5}{3}}}}+{∥{\displaystyle \frac{ln(1+ϵu^{+})}{ϵ}}-u^{+}∥}_{X_{{\displaystyle \frac{5}{3}}}}$$

$$={\displaystyle \frac{1}{ϵ}}{∥ln\left(1+{\displaystyle \frac{ϵ(u_{ϵ}^{+}-u^{+})}{1+ϵu^{+}}}\right)∥}_{X_{{\displaystyle \frac{5}{3}}}}+{∥{\displaystyle \frac{ln(1+ϵu^{+})}{ϵ}}-u^{+}∥}_{X_{{\displaystyle \frac{5}{3}}}}$$

(65)

converges to zero as $ϵ\to 0.$ Thus, from the weak convergence in (48), the above strong convergence, and (64), we get

$$n_{ϵ}^{+}{\displaystyle \frac{ln(1+ϵu_{ϵ}^{+})}{ϵ}}\rightharpoonup n^{+}{u}^{+}\mathrm{in}{X}_{{\displaystyle \frac{10}{7}}}.$$

(66)

Then, from (56), (57), (62), and (66), we get the desired weak solution v as $ϵ\to 0$. Now we know that $u\in X_{{\displaystyle \frac{5}{3}}}$, $v\in X_1$, and, therefore, it is easy to see that $v_t$ in $X_{{\displaystyle \frac{10}{7}}}$. Similarly, using the fact that ${\displaystyle \frac{ln(1+ϵu_{ϵ}^{+})}{ϵ}}\le u_{ϵ}^{+}$, (45), and Lemma 10, we get

$$\left\{c_{ϵ}^{+}{\displaystyle \frac{ln(1+ϵu_{ϵ}^{+})}{ϵ}}\right\}\mathrm{is}\mathrm{bounded}\mathrm{in}{X}_{{\displaystyle \frac{10}{7}}}.$$

(67)

Using (48), (65), and (67), we get

$$c_{ϵ}^{+}{\displaystyle \frac{ln(1+ϵu_{ϵ}^{+})}{ϵ}}\rightharpoonup c^{+}{u}^{+}\mathrm{in}{X}_{{\displaystyle \frac{10}{7}}}.$$

(68)

Then, from (56), (57), (62), and (68), we get the desired weak solution w ${\left(1\right)}_3$. Using the fact that $u\in X_{{\displaystyle \frac{5}{3}}}$, $w\in X_1$, we get $w_t\in X_{{\displaystyle \frac{10}{7}}}.$ Finally, from (R1)–(R3), $(u_{ϵ}(x,0),n_{ϵ}(x,0),c_{ϵ}(x,0))=(u_{0,ϵ}\left(x\right),n_{0,ϵ}\left(x\right),c_{0,ϵ}\left(x\right))\to (u_0,n_0,c_0)$. From (57) and since $u_{ϵ},v_{ϵ},w_{ϵ}\ge 0$ a.e. $(x,t)\in \Omega \times (0,T)$, for all $ϵ>0$, $u,v,w\ge 0$. This completes the proof of Theorem 2. □

5. Numerical Computations via Finite Element Scheme

In this section, we present a conforming finite element scheme for the attraction–repulsion chemotaxis system (1). We validate the proposed numerical algorithm through convergence and error analysis. Specifically, we demonstrate that the finite element scheme achieves the expected order of convergence by comparing it with the suitably refined reference solutions. The convergence analysis confirms that the method behaves consistently as the mesh is refined, while the error analysis quantifies the difference between the numerical and exact solutions. Together, these results provide strong evidence for the accuracy and reliability of the numerical scheme in approximating solutions to the attraction–repulsion chemotaxis system.

Let $\Omega \subset {\mathbb{R}}^2$ be a bounded domain with boundary $\partial \Omega$. Given $u_0,v_0,w_0\in L^2(\Omega )$, the variational formulation of the attraction–repulsion chemotaxis system (1) is given in the sense of Definition 1. Rewrite the weak formulation as follows:

$$\begin{array}{c}\hfill \left(u_t,\psi \right)+\left(\nabla u,\nabla \psi \right)=\chi \left(u\nabla v,\nabla \psi \right)-\xi \left(u\nabla w,\nabla \psi \right),\\ \hfill \left(v_t,\psi \right)+\left(\nabla v,\nabla \psi \right)=\alpha \left(v,\psi \right)-\theta \left(uv,\psi \right),\\ \hfill \left(w_t,\psi \right)+\left(\nabla w,\nabla \psi \right)=\alpha \left(w,\psi \right)-\tau \left(uw,\psi \right).\end{array}$$

for all $\psi \in L^2(0,T;\left(H^1(\Omega )\right)$.

Next, we apply finite element and temporal discretization. Let $V=H^1(\Omega )$, and let ${\Omega }_h$ be a conforming triangulation of the domain $\Omega$. We define $V_h\subset V$ as a finite-dimensional subspace consisting of piecewise polynomial functions associated with the triangulation. Let ${\left\{{\varphi }_i\right\}}_{i=0}^{\mathcal{N}}$ be a set of basis functions for $V_h$, where $\mathcal{N}$ denotes the number of degrees of freedom, and let h represent the mesh size (discretization parameter).

Applying the standard Galerkin finite element method to the weak formulation of the problem, we arrive at the following discrete formulation: find the finite element approximations $u_h,v_h,w_h\in V_h$ such that the variational equations are satisfied for all test functions from $V_h$.

$$\left\{\begin{array}{c}\left(u_h^{\prime },{\psi }_h\right)+D_u\left(\nabla u,\nabla {\psi }_h\right)=\chi \left(u\nabla v,\nabla {\psi }_h\right)-\xi \left(u\nabla w,\nabla {\psi }_h\right),\hfill \\ \left(v_h^{\prime },{\psi }_h\right)+D_v\left(\nabla v,\nabla {\psi }_h\right)=\alpha \left(v,{\psi }_h\right)-\theta \left(uv,{\psi }_h\right),\hfill \\ \left(w_h^{\prime },{\psi }_h\right)+D_w\left(\nabla w,\nabla {\psi }_h\right)=\alpha \left(w,{\psi }_h\right)-\tau \left(uw,{\psi }_h\right).\hfill \end{array}\right.$$

(69)

for every ${\psi }_h\in V_h$. We represent the discrete solutions $u_h,v_h,w_h$ and their gradients and time derivative in terms of a linear combination basis of $V_h$ as

$$\begin{array}{ccc}\hfill u_h\left(t\right)=\sum _{i=1}^{\mathcal{N}}{u}_i\left(t\right)\varphi \left(x\right),& \nabla u_h\left(t\right)=\sum _{i=1}^{\mathcal{N}}{u}_i\left(t\right)\nabla \varphi \left(x\right),& u_h^{\prime }\left(t\right)=\sum _{i=1}^{\mathcal{N}}{u}_i^{\prime }\left(t\right)\varphi \left(x\right)\hfill \\ \hfill v_h\left(t\right)=\sum _{i=1}^{\mathcal{N}}{v}_i\left(t\right)\varphi \left(x\right),& \nabla v_h\left(t\right)=\sum _{i=1}^{\mathcal{N}}{v}_i\left(t\right)\nabla \varphi \left(x\right),& v_h^{\prime }\left(t\right)=\sum _{i=1}^{\mathcal{N}}{v}_i^{\prime }\left(t\right)\varphi \left(x\right)\hfill \\ \hfill w_h\left(t\right)=\sum _{i=1}^{\mathcal{N}}{w}_i\left(t\right)\varphi \left(x\right),& \nabla w_h\left(t\right)=\sum _{i=1}^{\mathcal{N}}{w}_i\left(t\right)\nabla \varphi \left(x\right),& w_h^{\prime }\left(t\right)=\sum _{i=1}^{\mathcal{N}}{w}_i^{\prime }\left(t\right)\varphi \left(x\right)\hfill \end{array}$$

Here, $u_i\left(t\right),v_i\left(t\right),w_i\left(t\right)$, $i=1,...,\mathcal{N}$ are unknown coefficients to be determined. Setting ${\psi }_h={\varphi }_j$ and substituting the above expression in (69) discretization, we obtain a system of algebraic equations,

$$\begin{array}{c}\hfill M{\displaystyle \frac{d\mathbf{u}}{dt}}+A\mathbf{u}=F^u,\\ \hfill M{\displaystyle \frac{d\mathbf{v}}{dt}}+A\mathbf{v}=F^v,\\ \hfill M{\displaystyle \frac{d\mathbf{w}}{dt}}+A\mathbf{w}=F^w.\end{array}$$

where

$$M_{ij}=\underset{\Omega }{\int }{\varphi }_i\left(x\right){\varphi }_j\left(x\right)dx,$$

$$A_{ij}=\underset{\Omega }{\int }\nabla {\varphi }_i\left(x\right)\nabla {\varphi }_j\left(x\right)dx,$$

$$F_j^u=\chi \underset{\Omega }{\int }{u}_h\nabla v_h\nabla {\varphi }_j\left(x\right)dx-\xi \underset{\Omega }{\int }{u}_h\nabla w_h\nabla {\varphi }_j\left(x\right)dx,$$

$$F_j^v=\alpha \underset{\Omega }{\int }{v}_h{\varphi }_j\left(x\right)dx-\theta \underset{\Omega }{\int }{u}_h{v}_h{\varphi }_j\left(x\right)dx,$$

$$F_j^w=\beta \underset{\Omega }{\int }{w}_h{\varphi }_j\left(x\right)dx-\tau \underset{\Omega }{\int }{u}_h{w}_h{\varphi }_j\left(x\right)dx,$$

Here $M=M_{ij}$, $A=A_{ij}$ are the mass matrix and stiffness matrices, respectively, and $u,v,w$ are the vectors of primitive variables, which contain the nodal values.

We now introduce the time discretization of the variational system using the backward Euler scheme. Let $0=t_0<t_1<\dots <t_{\mathcal{N}}=T$ be a uniform partition of the time interval $[0,T]$, with time step size ${\delta }_t=t_n-t_{n-1}$, for $1\le n\le \mathcal{N}$. Applying the backward Euler method for time discretization, we formulate the fully discrete scheme as follows:

Given the solutions $u_h^{n-1},v_h^{n-1},w_h^{n-1}\in V_h$ at the previous time step $t_{n-1}$, find $u_h^n,v_h^n,w_h^n\in V_h$ such that the discrete variational system is satisfied at time $t_n$ for all test functions in $V_h$.

$$\left({\displaystyle \frac{u_h^n-u_h^{n-1}}{{\delta }_t}},{\psi }_h\right)+D_u\left(\nabla u_h^n,\nabla {\psi }_h\right)-\chi \left(u_h^n\nabla v_h^n,\nabla {\psi }_h\right)+\xi \left(u_h^n\nabla w_h^n,\nabla {\psi }_h\right)=0,$$

$$\left({\displaystyle \frac{v_h^n-v_h^{n-1}}{{\delta }_t}},{\psi }_h\right)+D_v\left(\nabla v_h^n,\nabla {\psi }_h\right)=\alpha \left(v_h^n,{\psi }_h\right)-\theta \left(u_h^n{v}_h^n,{\psi }_h\right),$$

$$\left({\displaystyle \frac{w_h^n-w_h^{n-1}}{{\delta }_t}},{\psi }_h\right)+D_w\left(\nabla w_h^n,\nabla {\psi }_h\right)=\beta \left(w_h^n,{\psi }_h\right)-\tau \left(u_h^n{w}_h^n,{\psi }_h\right).$$

for all ${\psi }_h\in V_h$.

We present numerical results that support and validate the theoretical analysis developed in this work. Specifically, we carry out both convergence studies and numerical simulations for the attraction–repulsion chemotaxis model (1). To assess the accuracy of the proposed numerical method, we perform a convergence analysis using a calculated solution with a known analytical form. This enables us to quantify the error and verify that the numerical scheme achieves the expected order of convergence. For the numerical computations, we consider the computational domain $\Omega =[0,1]\times [0,1]$. Freefem++ [35] library functions were used for the implementation of the finite element scheme, employing P1 finite elements for spatial discretization. The initial mesh size was set to h = 0.25, which was subsequently refined to improve accuracy. A machine with Intel (R) Xneon (R) Silver 4214 CPU with 2.20 GHz and 88 GB RAM (DELL, Cuncolim, India) was used for all computations. To facilitate the convergence analysis and simplify implementation, we reformulated our original model (1) into a form suitable for testing against the chosen analytical solution.

$$\begin{array}{c}\hfill \left.\begin{array}{c}{u}_t-D_u\Delta u+\chi \nabla ·(u\nabla v)-\xi \nabla ·(u\nabla w)=f_u,\hfill \\ v_t-D_v\Delta v-\alpha v+\theta uv=f_v,\hfill \\ w_t-D_w\Delta w-\beta w+\tau uw=f_w,\hfill \end{array}\right\}\end{array}$$

(70)

where the source terms $f_u,f_v$, and $f_w$ were chosen such that

$$u=exp(-2t)sin\left(\pi x\right)sin\left(\pi y\right),v=exp(-t)sin\left(\pi x\right)cos\left(\pi y\right),w=exp(-t)sin\left(\pi x\right)cos\left(\pi y\right)$$

satisfied (70). Further, we assumed the following parameter values for model (70)

$$D_u=0.01;\chi =0.05;\xi =0.02:D_v=0.001;\alpha ,\theta =0.25;D_w=0.05;\beta ,\tau =0.15$$

to perform the numerical error and convergence analysis. We considered the system with Neumann boundary conditions.

Figure 1a,b affirm the order convergence achieved in both norms $L^2$ and $H^1$ for variables $u,v$, and w. The following

Table 1. Space convergence rate for u.

DOF	${\mathit{l}}^{\mathit{\infty }}\left({\mathit{H}}^1\right)$	Order	${\mathit{l}}^{\mathit{\infty }}\left({\mathit{L}}^2\right)$	Order
25	0.657874	–	0.0534498	–
49	0.459231	0.886536	0.0251301	1.86126
81	0.353284	0.911706	0.0144665	1.91959
121	0.284361	0.972595	0.00935444	1.95383
169	0.237043	0.998242	0.0065446	1.95924

,

Table 2. Space convergence rate for v.

DOF	${\mathit{l}}^{\mathit{\infty }}\left({\mathit{H}}^1\right)$	Order	${\mathit{l}}^{\mathit{\infty }}\left({\mathit{L}}^2\right)$	Order
25	0.746379	–	0.0568781	–
49	0.51328	0.923412	0.026735	1.86191
81	0.391021	0.945704	0.0154337	1.90981
121	0.314189	0.980375	0.0100706	1.91328
169	0.262047	0.995332	0.00713079	1.89335

and

Table 3. Space convergence rate for w.

DOF	${\mathit{l}}^{\mathit{\infty }}\left({\mathit{H}}^1\right)$	Order	${\mathit{l}}^{\mathit{\infty }}\left({\mathit{L}}^2\right)$	Order
25	0.746161	–	0.0576337	–
49	0.513139	0.923371	0.027069	1.86383
81	0.390941	0.945456	0.0155711	1.92217
121	0.314135	0.980231	0.0101036	1.93832
169	0.262004	0.995291	0.00710174	1.93369

present the errors in both the norms and space convergence rate for all the variables.

Here, we numerically illustrate the attraction–repulsion chemotaxis dynamics of a cell population, providing visual insight into the behavior and interaction patterns governed by the system. These simulations serve to enhance our understanding of how the combined effects of chemoattractants and chemorepellents influence cell movement and aggregation.

For the purpose of demonstration, we selected specific model parameters that highlight key features of the system’s behavior. These parameters are assumed to reflect biologically relevant conditions and ensure numerical stability. The following values are used in our simulations:

$$D_u=0.001,\chi =0.003,D_v=0.0015,\xi =0.005,\alpha ,\theta =0.25,D_w=0.001,\beta ,\tau =0.15$$

with the initial conditions

$$\begin{array}{ccc}\hfill u& =& 5\left(exp\left({\displaystyle \frac{-{(x-1)}^2}{0.05}}-{\displaystyle \frac{{(y-1)}^2}{0.05}}\right)\right),\hfill \\ \hfill v& =& 5\left(exp\left({\displaystyle \frac{-{(x-0.5)}^2}{0.1}}-{\displaystyle \frac{{(y-0.5)}^2}{0.1}}\right)\right),\hfill \\ \hfill w& =& 5\left(exp\left({\displaystyle \frac{-{(x-1.5)}^2}{0.1}}-{\displaystyle \frac{{(y-1.5)}^2}{0.1}}\right)\right)\hfill \end{array}$$

in $\Omega =[0,1]\times [0,1]$. We choose time step $dt=0.005$ for the simulation.

The following numerical illustration clearly demonstrates the movement of the cell population in our case bacteria population in response to nutrients and toxins. At the initial time $t=0$, we modeled our cell population u as a circular cluster located at the center of the domain. The attractant signal (nutrient) is positioned at the bottom left corner, while the repellent (toxin) is placed at the top right corner of the domain; see the first row of Figure 2. As time progresses, influenced by both the attraction and repulsion from these corner signals, the cells u begin to diffuse away from the repellent w and toward the attractant v. The chemicals also start to diffuse across the domain after a certain period.

At time step $t=12.5\times {10}^{-1}$, the diffusion of the cell population is observed towards the bottom left corner of the domain, where the attractant chemical is becoming visible in the illustration. In contrast, the cell density at the top right corner appears to be lower than the initial data due to diffusion away from the toxin. The plots at this time step clearly show that cells are beginning to migrate away from the toxin and are diffusing towards the nutrient. Additionally, both chemicals have also started to diffuse in response to the cell movement; see the second and third rows of Figure 2.

Figure 3 illustrates the evolution of cell density u for different values of the chemical sensitivity coefficient $\chi$: $0.0001,0.0002,0.0005,0.001,$ and $0.002$. This is presented for three different time steps. In this simulation, we considered other parameter values such as

$$D_u=0.001,D_v=0.0015,D_w=0.001,\xi =0.005,\alpha ,\theta =0.25,\beta ,\tau =0.15.$$

for the various $\chi$ values. From Figure 3a, we can observe that, even across different time steps, all the curves reach their peak near $r=1$, although there are slight variations in shape. The zoomed-in images reveal a subtle shift in the curves as the value of $\chi$ increases. From Figure 3b,c it is evident that over time, while the peaks are consistently located in the same region, the shapes of the curves for different $\chi$ values become more pronounced. As the attractant signal (nutrient) becomes dominant, the cells begin to aggregate or diffuse around the peak.

The above simulation represents the variation in the density of bacteria population for different values of the chemical sensitivity coefficient of toxins $\xi$, $0.0001,0.0002,0.0005,0.001,0.002$ with other parameters taken as

$$Du=0.001,Dv=0.0015,Dw=0.001,\chi =0.005,\alpha ,\theta =0.25,\beta ,\tau =0.15.$$

From the observations, we see that at the initial time, the curves reach their peak near $r=1$. The peak is slightly sharper in Figure 4a compared to Figure 4b. As time progresses, the coefficient of chemical sensitivity to the attractant remains constant, while repulsion becomes dominant, leading to deviations in the curves. An increase in repellent sensitivity forces the cells to disperse more, causing the peak of the curve to flatten in Figure 4b compared to Figure 4a. Overall, these images illustrate that as repellent sensitivity increases, the cells begin to diffuse away from areas of a high repellent concentration.

Effects of $D_u$: The above simulation in Figure 5 represents the variation in the diffusion of cell (bacteria) density with various values of diffusion coefficient, where other parameters are taken as

$$\chi =0.001,\xi =0.005,D_v=0.0015,\alpha =\theta =0.25,D_w=0.001,\beta ,\tau =0.15.$$

It is evident that around $r=1$ there is a surge in the value of u. We can see that in Figure 5a, for a lower value of the diffusion coefficient, there is a higher concentrated accumulation near the center of the domain, which indicates that the diffusion is less, and as the value increases, the maximum value decreases and the curves become broader, indicating enhanced diffusion effects. Similar effects can be seen in Figure 5b,c. As the time increases, for higher values of diffusion coefficients, the curves are seen to be broader and the maximum value is far less compared to the initial time, which indicates that the diffusion is more and dominates the chemotaxis.

Effects of $\theta$ in cell density: Figure 6 represents the timely variation in cell density u for different values of the rate of consumption of nutrients—$\theta$—while other parameters are taken as follows:

$$D_u=0.001,\chi =0.001,\xi =0.005,D_v=0.0015,\alpha =0.5,D_w=0.001,\beta =0.15,\tau =0.5.$$

The simulation results show the rate at which the nutrient is consumed by the bacteria (cell). Here, $\theta$ has an effect on the bacteria (cell) aggregation. We can observe that as $\theta$ and time increase, there is a subtle but noticeable shift in the position of the maximum value and amplitude of the cell density. In Figure 6a,b the shift is not seen prominently, but in Figure 6c, it is more visible. This suggests that as the consumption of nutrient increases, the cell aggregation becomes more focused. Overall, the above simulation indicates that even a small change in the chemical consumption rate can influence the diffusion and aggregation of cells.

Effects of $\theta$ in concentration: Figure 7 represents the variation in the nutrient concentration at 3 distinct time instances, where the values of other parameters are taken as

$$D_u=0.001,\chi =0.001,\xi =0.005,D_v=0.0015,\alpha =0.5,D_w=0.001,\beta =0.15,\tau =0.5.$$

The parameter $\theta$ represents the rate at which the nutrient is consumed by the bacteria (cells). As the value of $\theta$ increases, the concentration of the nutrient decreases rapidly, leading to a more sharper decay in the chemical profile. The effect is visible in the plots. In Figure 7a–c, for different values of $\theta$, the position at which the maximum is attained is seen to be relatively fixed; only the maximum value changes over time, which suggests that the primary effects of consumption are mainly on the rate of the depletion of nutrient rather than the location at which it is concentrated. Overall, the simulation shows that as the rate of consumption of nutrient increases, the nutrient concentration decays rapidly, resulting in narrower and steeper nutrient profiles, which show the sensitivity of the chemical signal towards the consumption rate.

Effects of $\tau$: Figure 8 represents the evolution of toxin w at different time steps, where the other parameters are taken as

$$D_u=0.001,\chi =0.001,,\xi =0.005,D_v=0.0015,\alpha =0.5,\theta =0.15,D_w=0.001,\beta =0.5.$$

As the consumption rate $\tau$ of toxin increases, the toxin concentration profile becomes steeper and sharper. Specifically, large values of $\tau$ lead to a faster consumption of the repellent chemical concentration, so the effect that the toxin has on the cell (bacteria) density may also decrease. We can see from Figure 8a–c that although the location at which the maximum value is attained remains relatively constant, as time progresses, the sharpness and the steepness of the curve increase, with higher values of $\tau$. Overall, in this simulation we observe that the concentration of toxin (repellent) w is highly sensitive to the chemical consumption rate.

6. Conclusions

We analyzed a mathematical model that describes chemotaxis involving attraction and repulsion for both theoretical and numerical studies. To establish the existence and uniqueness of weak solutions, we considered an approximate problem. The existence of a solution for this approximate problem was studied using the Leray–Schauder fixed point theorem. We derived a priori estimates to ensure convergence results.

For the numerical computations of the model, we proposed a finite element scheme employing the Galerkin finite element method. This approach allows us to study the interaction between cell density and competing chemical signals. We conducted error analysis and a convergence study to verify the accuracy of our numerical computations. A series of simulations were carried out to understand how the cell population responded to the chemical signals.