Skip to content


  • Research
  • Open Access

Approximation of the 2D incompressible electrohydrodynamics system by the artificial compressibility method

Boundary Value Problems20172017:14

  • Received: 7 October 2016
  • Accepted: 27 December 2016
  • Published:


This paper is devoted to the investigation of the 2D incompressible electrohydrodynamics system by the artificial compressibility method. We first introduce a family of perturbed compressible electrohydrodynamics, which approximate the incompressible electrohydrodynamics as the compressibility parameter is sent to zero. Then we prove the unique existence and convergence of solutions for the perturbed compressible electrohydrodynamics system to the solutions of the incompressible electrohydrodynamics system.


  • artificial compressibility method
  • electrohydrodynamics system
  • approximation

1 Introduction

Let \(\Omega\subset\mathbb{R}^{2}\) be an open bounded smooth domain. We investigate the artificial compressibility approximation of the following electrohydrodynamics system [1]:
$$\begin{aligned} \textstyle\begin{cases} a_{1}(v_{t}+v_{x_{k}}{ \vec{\nu}_{k}})-a_{2}\triangle v-\mathit{QE}+ \nabla p=f, \\ Q_{t}-a_{3}\triangle Q+a_{4}Q+\nabla\cdot(Qv)=0, \\ -\triangle\phi=Q, \\ \nabla\cdot v=0, \\ v=0, \quad Q=\tilde{Q}, \quad \phi=\tilde{\phi}, \quad x\in\partial\Omega, \quad t>0, \\ v(x,0)=v_{0}, \quad Q(x,0)=Q_{0}, \quad x\in\Omega. \end{cases}\displaystyle \end{aligned}$$
Here \(v\in\mathbb{R}^{2}\) denotes the velocity vector field, \(p\in\mathbb{R}\) denotes the pressure of the fluid, Q and E denote the charge density and the electric field, respectively, \(k>0\) is the constant coefficient of diffusion. We can simply denote the body forces of the electric origin by the form QE because the electric permeability and density of mass are constant. We suppose that the magnetic effects are negligible, thus \(\nabla\times E=0\), and the electric field is defined by \(E=-\nabla\phi\).

The form of is crucial for the nature of the flow. \(\tilde{Q} = 0\) stands for no injection of free charges from the outside. Namely, the flow is quite simple. The stationary problem has one and only one solution and, if the electrostatic field is sufficiently small, there exists a Liapunov function. On the contrary, the flow is richer and more complex when \(\tilde{Q}\neq0\). In particular, the solution of the stationary problem is non-unique in certain cases [2].

Let \(\tilde{\phi}_{0}\) and \(\tilde{Q}_{0}\) be the solutions of the following problems:
$$\begin{aligned}& -a_{3}\triangle\tilde{Q}_{0}+a_{4} \tilde{Q}_{0}=0,\quad \mbox{in }\Omega, \quad \tilde{Q}_{0}= \tilde{Q}\quad \mbox{on } \partial\Omega, \end{aligned}$$
$$\begin{aligned}& -\triangle\tilde{\phi}_{0}=\tilde{Q}_{0},\quad \mbox{in } \Omega,\quad \tilde{\phi}_{0}=\tilde{\phi}\quad \mbox{on }\partial \Omega. \end{aligned}$$
We assume \(\tilde{Q}, \tilde{\phi}\in C^{\infty}(\partial\Omega)\), thus we have \(\tilde{Q}_{0}, \tilde{\phi}_{0}\in C^{\infty}(\bar{ \Omega})\) by standard results of regularity.
Defining \(\varphi=\phi\mathrel{-}\tilde{\phi}_{0}\), and \(q=Q\mathrel{-}\tilde{Q}_{0}\) we can rewrite the problem equations (1.1) as follows:
$$\begin{aligned} \textstyle\begin{cases} a_{1}\frac{\partial v}{\partial t} +a_{1}\mathcal{B}(v,v)+a_{2} \mathcal{A}_{0}v+\mathcal{N}(q+\tilde{Q}_{0},\varphi+\tilde{\phi} _{0})+\nabla p=f, \\ \frac{\partial q}{\partial t} +a_{3}\mathcal{A}_{1}q+a_{4}q- \mathcal{M}(q+\tilde{Q}_{0},v)=0, \\ \mathcal{A}_{1}\varphi=q, \\ \operatorname{div}v=0, \\ v=0, \quad q=0, \quad \varphi=0, \quad x\in\partial\Omega,\qquad t>0, \\ v(x,0)=v_{0}, \quad q(x,0)=q_{0}, \quad x\in\Omega. \end{cases}\displaystyle \end{aligned}$$
Here, for simplicity, we have made a detailed explanation of ‘\(\mathcal{A}_{0}\), \(\mathcal{A}_{1}\), \(\mathcal{B}(u,v)\), \(\mathcal{N}(u,v)\), \(\mathcal{M}(q,v)\)’ in the section of Preliminaries.

The electrohydrodynamics system has been studied largely in the past years, see for example [1, 310].

The artificial compressibility approximation method was introduced by Chorin [11, 12], Temam [1315]. Their aim was to deal with the difficulties induced by the incompressibility constraint ‘\(\operatorname{div}u = 0\)’ in the numerical approximations to the Navier-Stokes equations. As ‘\(\operatorname{div}u = 0\)’ can never hold exactly, discretization errors accumulate at each iteration. Then after a significant amount of error accumulation, the approximate algorithm breaks down. To overcome this difficulty, Chorin and Temam introduced the following perturbed compressible Navier-Stokes equations:
$$\begin{aligned}& \frac{\partial u^{\epsilon}}{\partial t}+\nabla p^{\epsilon}= \nu \triangle u^{\epsilon}- \bigl(u^{\epsilon}\cdot\nabla \bigr)u^{\epsilon}- \frac{1}{2} \bigl( \operatorname{div}u^{\epsilon} \bigr)u^{\epsilon}, \\& \epsilon\frac{\partial p^{\epsilon}}{\partial t}+\operatorname{div}u ^{\epsilon}=0. \end{aligned}$$
In [15], Temam also discussed the convergence of the approximations to the incompressible Navier-Stokes equations on bounded domains by using the classical Sobolev compactness embedding theorems and the classical Lions method [16] of fractional derivatives to recover the compactness in time.

Following the ideas of Chorin and Temam, the artificial compressibility approximation for some other models was also studied recently. For example, in [17, 18], Zhao et al. studied the artificial compressibility approximation for the incompressible convective Brinkman-Forchheimer equations and the non-Newtonian fluid equations, respectively. In [1922], Donatelli et al. investigated the artificial compressibility approximation for the Navier-Stokes equations, MHD equations and the Navier-Stokes-Fourier equations on unbounded domains or the whole space \(\mathbb{R}^{3}\).

In this paper, we consider the approximation of system (1.4) by the artificial compressibility method. Consider the following family of perturbed compressible systems depending on the parameter \(\epsilon \in(0,1]\):
$$\begin{aligned}& a_{1}\frac{\partial v_{\epsilon}}{\partial t} +a_{1}\mathcal{B}(v _{\epsilon},v_{\epsilon})+\frac{1}{2}a_{1}(\operatorname{div}v_{\epsilon})v _{\epsilon}+a_{2}\mathcal{A}_{0}v_{\epsilon} +\mathcal{N}(q_{\epsilon }+\tilde{Q}_{0},\varphi_{\epsilon}+ \tilde{\phi}_{0}) \\ & \quad{}-\frac{1}{2} \nabla(q_{\epsilon}+ \tilde{Q}_{0}) ( \varphi_{\epsilon}+ \tilde{\phi}_{0})+ \nabla p_{\epsilon}=f, \end{aligned}$$
$$\begin{aligned}& \frac{\partial q_{\epsilon}}{\partial t} +a_{3}\mathcal{A}_{1}q_{ \epsilon}+a_{4}q_{\epsilon} -\mathcal{M}(q_{\epsilon}+\tilde{Q} _{0},v_{\epsilon})+ \frac{1}{2}(\operatorname{div}v_{\epsilon}) (q_{\epsilon }+ \tilde{Q}_{0})=0, \end{aligned}$$
$$\begin{aligned}& \mathcal{A}_{1}\varphi_{\epsilon}=q_{\epsilon}, \end{aligned}$$
$$\begin{aligned}& \epsilon\frac{\partial p_{\epsilon}}{\partial t} +\operatorname{div}v_{ \epsilon}=0, \end{aligned}$$
with the initial and boundary value conditions
$$\begin{aligned}& v_{\epsilon}=0,\quad q_{\epsilon}=0,\quad\varphi_{\epsilon }=0,\quad x\in\partial \Omega,\quad t \in(0,T), \end{aligned}$$
$$\begin{aligned}& v_{\epsilon}(x,0) =v_{0},\quad q_{\epsilon}(x,0)=q_{0}, \quad \varphi_{\epsilon }(x,0)=\varphi_{0},\quad p_{\epsilon}(x,0)=p_{0}. \end{aligned}$$
Here, for simplicity, we give a detailed explanation of the terms ‘\(\frac{1}{2}(\operatorname{div}v_{\epsilon})v_{\epsilon}\), \(\frac{1}{2} \nabla(q_{\epsilon}+\tilde{Q}_{0})(\varphi_{\epsilon}+ \tilde{\phi}_{0})\)’ and ‘\(\frac{1}{2}(\operatorname{div}v_{\epsilon})(q _{\epsilon}+\tilde{Q}_{0})\)’ in Remark 3.1.

It is obvious that the perturbed compressible electrohydrodynamics system (1.5)-(1.8) recover the incompressible one (1.4) when \(\epsilon=0\). So it is natural to ask whether system (1.5)-(1.8) possesses a solution, and whether it converges to the solution \(\{v,q,\varphi,p\}\) of the incompressible electrohydrodynamics system (1.4) as \(\epsilon\rightarrow0^{+} \)? In the next parts of the paper, we shall give positive answers to these questions.

At last we mention that, from the point of view of physics, one can formally derive incompressible fluid models from compressible ones. The incompressible limit of the compressible fluid equations is a significant issue in the mathematical theory of fluid dynamics. In the past years, some nice works on this subject have been performed; see, for example, Jiang et al. [23, 24], Lions and Masmoudi [25], Temam [15] and Feireisl et al. [26, 27].

Now let us talk about the organization of this paper. In Section 2, we provide some mathematical tools needed in the sequel and recall the existence of weak solutions. In Section 3, we prove the unique existence of solution for equations (1.5)-(1.10), while in Section 4 we show how the solutions of the perturbed problems converge to the solutions of the incompressible electrohydrodynamics system (1.4) as \(\epsilon\rightarrow0^{+} \).

2 Preliminaries

Let \(\Omega\subset\mathbb{R}^{2}\) is an open bounded smooth domain, firstly, we define
$$\begin{aligned}& \mathbb{H}= \bigl\{ u\in{\mathbb{L}}^{2}_{0}(\Omega), \operatorname{div}u=0 \bigr\} ,\quad \text{with norm } \Vert \cdot \Vert =\Vert \cdot \Vert _{ \mathbb{L} ^{2}}\ \bigl(\text{the usual } \mathbb{L} ^{2} \text{ norm} \bigr), \\ & \mathbb{V}= \bigl\{ u\in{\mathbb{\mathbb{H}}}^{1}_{0}( \Omega), \operatorname{div}u=0 \bigr\} ,\quad \text{with norm } \Vert \cdot \Vert _{\mathbb{V}}= \Vert \nabla\cdot \Vert , \text{and the dual space } \mathbb{V}^{*}, \\ & \mathcal{V}= \bigl\{ \phi\in\mathcal{C}^{\infty}_{0}(\Omega) \times\mathcal{C}^{\infty}_{0}(\Omega):\phi=( \phi_{1}, \phi_{2}), \operatorname{div}\phi=0 \bigr\} , \\ & \mathcal{W}= \bigl\{ \varphi\in\mathcal{C}^{\infty}_{0}(\Omega ): \operatorname{div}\varphi=0 \bigr\} , \\& H,V \text{ denote separately the closure space of }\mathcal{V} \text{ in } \mathbb{L}^{2} \text{ norm and in }\mathbb{H}^{1}_{0} \text{ norm}. \end{aligned}$$
Secondly, we give a definition of some operators.
Define the linear ‘Stokes operator’ \(\mathcal{A}=-\triangle\) from \(\mathbb{V} \) to \(\mathbb{V}^{*}\) by
$$\langle\mathcal{A}u, v\rangle_{\mathbb{V}^{*}, \mathbb{V}} =\sum_{i,j=1} ^{2} \int_{\Omega}\partial_{j} u_{i} \partial_{j} v_{i}\,dx,\quad \forall u, v\in \mathbb{V}. $$
We define the bilinear operator \(\mathcal{B}(u,v)\) from \(\mathbb{V} \times\mathbb{V}\) into \(\mathbb{V}^{*}\) as
$$\bigl\langle \mathcal{B}(u,v), w \bigr\rangle _{\mathbb{V}^{*}, \mathbb{V}} = \sum _{i,j=1}^{2} \int_{\Omega} u_{i}\frac{\partial v_{j}}{\partial x _{i}}w_{j} \,dx,\quad \forall u, v, w\in \mathbb{V}, $$
we define the bilinear operator \(\mathcal{N}(u,v)\) from \(H^{1}_{0} \times H^{1}_{0}\) into \(\mathbb{V}^{*}\) as
$$\bigl\langle \mathcal{N}(q,\varphi), \beta \bigr\rangle _{\mathbb{V}^{*}, \mathbb{V}} =\sum _{i}^{2} \int_{\Omega} q\frac{ \partial\varphi}{\partial x_{i}}\beta_{i}\,dx, \quad \forall q,\varphi \in H^{1}_{0}, \beta\in\mathbb{V}, $$
we define the bilinear operator \(\mathcal{M}(q,v)\) from \(H^{1}_{0} \times\mathbb{V}\) into \(H^{-1}\) as
$$\bigl\langle \mathcal{M}(q,v), \xi \bigr\rangle _{H^{-1},H^{1}_{0}} =\sum _{i} ^{2} \int_{\Omega} q\frac{\partial\xi}{\partial x_{i}}v_{i}\,dx,\quad \forall q,\xi\in H^{1}_{0}, v\in\mathbb{V}. $$
Note that (see, e.g., [13, 15, 28])
$$\mathcal{A}_{0}u=-\Delta u\quad \text{for } u\in D( \mathcal{A}_{0})= \bigl\{ u \in \mathbb{H}_{0}^{2}( \Omega), \operatorname{div}u=0 \bigr\} . $$
By the Hilbert-Schmidt theorem, one can deduce that \(\mathcal{A}_{0}\) has a sequence of orthonormal eigenfunctions \(w_{j}\), belonging to \(C_{p}^{\infty}(\Omega)\) with zero mean in Ω. Since \(\mathcal{A}_{0}\) is a self-adjoint positive operator with compact inverse, \(\{\omega_{j}\}_{j=1}^{\infty}\) forms a basis of the space \(\mathbb{H}\). Moreover, \(\{\omega_{j}\}_{j=1}^{\infty}\) also forms a basis of the space \(D(\mathcal{A}_{0}^{s/2})= \{{\mathbb{H}} ^{s}_{0}( \Omega), \operatorname{div}u=0\}\), for any positive integer s [28]. In a similar way \(\mathcal{A}_{1}:H^{1}_{0}(\Omega)\hookrightarrow H ^{-1}(\Omega)\) is the isomorphism given by
$$\langle\mathcal{A}_{1}q,\xi\rangle= \bigl((q,\xi) \bigr) \quad \mbox{for all }\xi\in H ^{1}_{0}(\Omega). $$
We will denote by \(\mathcal{A}_{1}\) the corresponding operator defined in \(D(\mathcal{A}_{1})=H^{1}_{0}(\Omega)\cap H^{2}(\Omega)\) with range in \(L^{2}(\Omega)\). As usual with problems involving the Navier-Stokes equations, we set
$$\begin{aligned}& b(u,v,w)= \int_{\Omega}u_{i}D_{i}v_{j}w_{j} \,dx, \\& n(q,\varphi,v)= \int_{\Omega}qD_{i}\varphi v_{i}\,dx. \end{aligned}$$

Problem 2.1

Let \(T>0\). For any given \(v_{0}\) and \(q_{0}\) with
$$\begin{aligned}& v_{0} (x)\in H, \end{aligned}$$
$$\begin{aligned}& q_{0}( x)\in L^{2}(\Omega), \end{aligned}$$
to find v, q, φ satisfying
$$\begin{aligned}& v\in L^{2}(0,T;V)\cap L^{\infty}(0,T;H), \end{aligned}$$
$$\begin{aligned}& q\in L^{2} \bigl(0,T;H^{1}_{0}(\Omega) \bigr)\cap L^{\infty} \bigl(0,T;L^{2}(\Omega) \bigr), \end{aligned}$$
$$\begin{aligned}& \varphi\in L^{2} \bigl(0,T;H^{1}_{0}(\Omega) \bigr), \end{aligned}$$
$$\begin{aligned}& a_{1}\frac{\partial v}{\partial t} +a_{1}\mathcal{B}(v,v) +a_{2} \mathcal{A}_{0}v+\mathcal{N}(q+\tilde{Q}_{0}, \varphi+\tilde{\phi} _{0})=f, \end{aligned}$$
$$\begin{aligned}& \frac{\partial q}{\partial t} +a_{3}\mathcal{A}_{1}q +a_{4}q- \mathcal{M}(q+\tilde{Q}_{0},v)=0, \end{aligned}$$
$$\begin{aligned}& \mathcal{A}_{1}\varphi=q, \end{aligned}$$
$$\begin{aligned}& v(x,0)= v_{0},\quad q(x,0)=q_{0}. \end{aligned}$$

Lemma 2.1


Let \(a_{i}>0\), \(i=1,2,3,4\), for \(T>0\), Problem  2.1 admits unique solution.

Remark 2.1

Let \(a_{i}>0\), \(i=1,2,3,4\), for any given \(v_{0}\) and \(q_{0}\) satisfying (2.1) and (2.2). Then, for each solution \(\{v,q,\varphi \}\) obtained by Lemma 2.1, there exists a unique pressure p corresponding to v, and for each \(t\in[0,T]\), \(p\in L^{2}(\Omega)\). Moreover, \(\nabla p\in\mathcal{C}([0,T];\mathbb{H}^{-1}(\Omega))\) and hence
$$\begin{aligned} p\in\mathcal{C} \bigl([0,T];L^{2}(\Omega) \bigr), \end{aligned}$$
which satisfies in the distribution sense that
$$\begin{aligned}& a_{1}\frac{\partial v}{\partial t} +a_{1}\mathcal{B}(v,v)+a_{2} \mathcal{A}_{0}v +\mathcal{N}(q+\tilde{Q}_{0},\varphi+ \tilde{\phi} _{0})+\nabla p=f, \end{aligned}$$
$$\begin{aligned}& \frac{\partial q}{\partial t} +a_{3}\mathcal{A}_{1}q +a_{4}q- \mathcal{M}(q+\tilde{Q}_{0},v)=0, \end{aligned}$$
$$\begin{aligned}& \mathcal{A}_{1}\varphi=q. \end{aligned}$$
Therefore, for \(\forall \psi(t)\in\mathcal{C}^{\infty}_{c}(0,T)\),
$$\begin{aligned}& -a_{1} \int^{T}_{0}\langle v,\omega\rangle\psi '(t)\,dt+ a_{1} \int^{T} _{0}b \bigl(v,v,\omega\psi(t) \bigr)\,dt \\& \qquad {}+a_{2} \int^{T}_{0} \bigl( \bigl( v,\omega\psi(t) \bigr) \bigr)\,dt+ \int^{T}_{0}n \bigl(q+\tilde{Q}_{0}, \varphi+\tilde{\phi}_{0},\omega\psi(t) \bigr)\,dt \\& \quad = \int^{T}_{0} \bigl(f,\omega\psi(t) \bigr) \,dt+(v_{0},\omega)\psi(0),\quad \forall\omega\in V, \end{aligned}$$
$$\begin{aligned}& - \int^{T}_{0} \bigl\langle q(t),w \bigr\rangle \psi '(t)\,dt+ a_{3} \int^{T}_{0} \bigl( \bigl(q,w \psi(t) \bigr) \bigr) \,dt \\& \qquad {}+a_{4} \int^{T}_{0} \bigl(q,w\psi(t) \bigr)\,dt- \int^{T}_{0}n \bigl(q+ \tilde{Q}_{0},w \psi(t),v \bigr)\,dt \\& \quad = (q_{0},w)\psi(0),\quad \forall w\in H^{1}_{0}. \end{aligned}$$

Remark 2.2

We will prove that if \(\{v,q,\varphi\}\) is a solution of Problem 2.1, then
$$\begin{aligned} v'\in L^{1} \bigl(0,T;V' \bigr),\quad q'\in L^{1} \bigl(0,T;H^{-1}(\Omega) \bigr). \end{aligned}$$
By the classical embedding theorem (see [15]), we can conclude that \(v\in\mathcal{C}(0,T;H)\), \(q\in\mathcal{C}(0,T;L^{2})\) and so the initial condition \(v_{0}\in H\), \(q_{0}\in L^{2}\) makes sense.

We need the compactness theorem [15] involving the fractional derivative.

Assume \(X_{0}\), X, \(X_{1}\) are Hilbert spaces with
$$\begin{aligned} X_{0}\hookrightarrow X\hookrightarrow X_{1}, \end{aligned}$$
the embedding being continuous, and
$$\begin{aligned} X_{0}\hookrightarrow X \quad \mbox{is compact}. \end{aligned}$$
Let \(\psi(t)\) be a function from \(\mathbb{R}\) to \(X_{1}\); we denote by \(\hat{\psi}(\tau)\) its Fourier transform,
$$\begin{aligned} \hat{\psi}(\tau)= \int^{+\infty}_{-\infty}\exp (-2\pi it\tau)\psi(t)\,dt. \end{aligned}$$
The derivative in t of order γ is the inverse Fourier transform of \((2i\pi\tau)^{\gamma}\hat{\psi}(\tau)\), that is,
$$\begin{aligned} \widehat{D^{\gamma}_{t}\psi(t)}=(2i\pi\tau)^{\gamma} \hat{\psi}( \tau). \end{aligned}$$
For given \(\gamma>0\), define the space
$$\begin{aligned} M^{\gamma}=M^{\gamma}(\mathbb{R};X_{0},X_{1})= \bigl\{ \psi\in L^{2}( \mathbb{R};X_{0}),D^{\gamma}_{t} \psi\in L^{2}(\mathbb{R};X_{1}) \bigr\} . \end{aligned}$$
Then \(M^{\gamma}\) is a Hilbert space with the norm
$$\Vert \psi \Vert _{M^{\gamma}}= \bigl\{ \Vert \psi \Vert ^{2}_{L^{2}(\mathbb{R};X_{0})}+ \bigl\Vert \vert \tau \vert ^{\gamma}\hat{ \psi}(\tau) \bigr\Vert ^{2}_{L^{2}(\mathbb{R};X_{1})} \bigr\} ^{\frac{1}{2}}. $$
For any set \(K\subset\mathbb{R}\), the subspace \(M^{\gamma}_{K}\) of \(M^{\gamma}\) is defined as the set of functions \(u\in M^{\gamma}\) with support contained in K:
$$\begin{aligned} M^{\gamma}_{K}=M^{\gamma}_{K}( \mathbb{R};X_{0},X_{1})= \bigl\{ \psi\in M ^{\gamma}, \operatorname{supp}\psi\subseteq K \bigr\} . \end{aligned}$$

Lemma 2.2


Assume \(X_{0}\), X, \(X_{1}\) are Hilbert spaces satisfying (2.10) and (2.11). Then, for any bounded set K and \(\forall\gamma>0\), we have the following compact embedding:
$$M^{\gamma}_{K}(\mathbb{R};X_{0},X_{1}) \hookrightarrow L^{2}( \mathbb{R};X). $$

Lemma 2.3

Let \(q, \varphi\in H^{1}_{0}(\Omega)\) and \(v\in\mathbb{V}\), then
$$\begin{aligned}& n(q,q,v)=0, \end{aligned}$$
$$\begin{aligned}& n(q,\varphi,v)=-n(\varphi,q,v). \end{aligned}$$

Lemma 2.4

When \(n=2\), if \(q\in L^{2}(0,T;H^{1}(\Omega))\cap L^{\infty}(0,T;L ^{2}(\Omega))\), then \(q\in L^{4}(0,T;L^{4}(\Omega))\).

3 Unique existence of solutions for the compressible electrohydrodynamics

In this section, we first give a description of the perturbed compressible electrohydrodynamics and then prove its unique existence of solutions.

For given \(\varepsilon\in(0,1]\), we consider the following initial boundary value problem:
$$\begin{aligned} \textstyle\begin{cases} a_{1}\frac{\partial v_{\epsilon}}{\partial t} +a_{1}\mathcal{B}(v _{\epsilon},v_{\epsilon})+\frac{1}{2}a_{1}(\operatorname{div}v_{\epsilon})v _{\epsilon}+a_{2}\mathcal{A}_{0}v_{\epsilon}+\mathcal{N}(q_{\epsilon }+\tilde{Q}_{0},\varphi_{\epsilon}+\tilde{\phi}_{0}) \\ \quad {}-\frac{1}{2}\nabla(q_{\epsilon}+\tilde{Q}_{0})(\varphi_{\epsilon}+ \tilde{\phi}_{0})+\nabla p_{\epsilon}=f,\quad \text{in } \Omega\times(0,T), \\ \frac{\partial q_{\epsilon}}{\partial t} +a_{3}\mathcal{A}_{1}q_{ \epsilon}+a_{4}q_{\epsilon}-\mathcal{M}(q_{\epsilon}+\tilde{Q}_{0},v _{\epsilon})\\ \quad {}+\frac{1}{2}(\operatorname{div}v_{\epsilon})(q_{\epsilon}+ \tilde{Q}_{0})=0,\quad \text{in } \Omega\times(0,T), \\ \mathcal{A}_{1}\varphi_{\epsilon}=q_{\epsilon},\quad \text{in } \Omega \times(0,T), \\ \epsilon\frac{\partial p_{\epsilon}}{\partial t}+\operatorname{div}v_{ \epsilon}=0,\quad \text{in } \Omega\times(0,T), \end{cases}\displaystyle \end{aligned}$$
supplemented with the initial boundary value conditions
$$\begin{aligned}& v_{\epsilon}=0,\quad q_{\epsilon} =0, \quad \varphi_{\epsilon}=0, \quad x\in\partial \Omega, \end{aligned}$$
$$\begin{aligned}& v_{\epsilon}(x,0)=v_{0},\quad q_{\epsilon}(x,0) =q_{0},\quad \varphi_{\epsilon }(x,0)=\varphi_{0}, \quad p_{\epsilon}(x,0)=p_{0},\quad x\in\Omega, \end{aligned}$$
where \(v_{0}\), \(q_{0}\) satisfy (2.1) and (2.2), the function \(p_{0}\) is independent of ϵ and
$$\begin{aligned} p_{0}\in L^{2}(\Omega). \end{aligned}$$

Remark 3.1

The terms \(\frac{1}{2}( \operatorname{div}v_{\epsilon})v_{\epsilon}\), \(\frac{1}{2}\nabla(q_{\epsilon}+\tilde{Q}_{0})(\varphi_{\epsilon}+ \tilde{\phi}_{0})\) and \(\frac{1}{2}( \operatorname{div}v_{\epsilon})(q_{ \epsilon}+\tilde{Q}_{0})\) in (3.1) are the stabilization terms corresponding to the substitution of the trilinear form for the form b and the trilinear form for the form n, where the trilinear form , is given by
$$\begin{aligned}& \hat{b}(u,v,w)=\frac{1}{2} \bigl[b(u,v,w)-b(u,w,v) \bigr],\quad \forall u,v,w \in {\mathbb{H}}^{1}_{0}(\Omega), \end{aligned}$$
$$\begin{aligned}& \hat{n}(q,\varphi,v)=\frac{1}{2} \bigl[n(q,\varphi,v)-n(\varphi,q,v) \bigr],\quad \forall v\in{\mathbb{H}}^{1}_{0}(\Omega),\quad q, \varphi \in H^{1}_{0}( \Omega). \end{aligned}$$

Note that if \(\operatorname{div}u\neq0\), then \(b(u,u,u)\neq0\), \(n(q,q,v) \neq0\). But \(\hat{b}(u,v,v)=0\), \(\hat{n}(q,q,v)=0\), for \(\forall u,v \in{\mathbb{H}}^{1}_{0}(\Omega)\), \(q\in H^{1}_{0}(\Omega)\).

Let us assume that \(\{v_{\epsilon},\varphi_{\epsilon},q_{\epsilon},p _{\epsilon}\}\) is the classical solution of system (3.1), that is, \(v_{\epsilon}\in\mathcal{C}^{2}(\overline{Q})\), \(\varphi_{ \epsilon}\in\mathcal{C}^{2}(\overline{Q})\), \(q_{\epsilon}\in \mathcal{C}^{2}(\overline{Q})\), \(p_{\epsilon}\in\mathcal{C}^{1}( \overline{Q})\). Then we have \(\phi\in{\mathcal{C}}^{\infty}_{0}( \Omega)\times{\mathcal{C}}^{\infty}_{0}(\Omega)\) and \(\varrho \in{\mathcal{C}}^{\infty}_{0}(\Omega)\). Multiplying equation (3.1)1 by ϕ, (3.1)2-(3.1)4 by ϱ, we obtain
$$\begin{aligned}& a_{1}\frac{d}{d t}(v_{\epsilon},\phi)+a_{2} \bigl((v_{\epsilon},\phi) \bigr)+a _{1}\hat{b}(v_{\epsilon },v_{\epsilon}, \phi)+\hat{n}(q_{\epsilon}+ \tilde{Q}_{0},\varphi_{\epsilon}+ \tilde{\phi}_{0},\phi)+(\nabla p _{\epsilon},\phi)=(f,\phi), \\& \frac{d}{d t}(q_{\epsilon},\varrho)+a_{3} \bigl((q_{\epsilon},\varrho) \bigr)+a_{4}(q_{\epsilon},\varrho)- \hat{n}(q_{\epsilon}+\tilde{Q}_{0}, \varrho,v_{\epsilon})=0, \\& \bigl((\varphi_{\epsilon},\varrho) \bigr)=(q_{\epsilon},\varrho), \\& \epsilon\frac{d}{d t} (p_{\epsilon},\varrho) +(\operatorname{div}v_{ \epsilon}, \varrho)=0. \end{aligned}$$
Let , be defined by (3.5), (3.6) and set \(\hat{B}(u)=\hat{B}(u,u)\), \(\hat{N}(q)=\hat{N}(q,q)\) via
$$\begin{aligned}& \bigl\langle \hat{B}(u),v \bigr\rangle =\hat{b}(u,u,v),\quad \forall u,v\in{ \mathbb{H}} ^{1}_{0}(\Omega), \end{aligned}$$
$$\begin{aligned}& \bigl\langle \hat{N}(q),v \bigr\rangle =\hat{n}(q,q,v), \quad \forall v\in{ \mathbb{H}} ^{1}_{0}(\Omega), q\in H^{1}_{0}( \Omega). \end{aligned}$$

Then like \(B(u)\), \(N(q)\), the operators \(\hat{B}(u)\), \(\hat{N}(q)\) are continuous on \({\mathbb{H}}^{1}_{0}(\Omega)\), \(H^{1}_{0}(\Omega)\), respectively.

Lemma 3.1

If \(v\in L^{2}(0,T;{\mathbb{H}}^{1}_{0}(\Omega))\cap L^{\infty}(0,T; \mathbb{H})\), \(q\in L^{2}(0,T;H^{1}_{0}(\Omega))\cap L^{\infty}(0,T;L ^{2}(\Omega))\), \(\varphi\in L^{2}(0,T;H^{1}_{0}(\Omega))\cap L^{ \infty}(0,T;L^{2}(\Omega))\) then the function \(t\rightarrow\hat{B}(v(t))\) belongs to \(L^{4/3}(0,T, \mathbb{H}^{-1}( \Omega))\), \(t\rightarrow\hat{N}(q(t),\varphi(t))\) belongs to \(L^{4/3}(0,T,\mathbb{H}^{-1}(\Omega))\), \(t\rightarrow \hat{M}(q(t),v(t))\) belongs to \(L^{4/3}(0,T,H^{-1}(\Omega))\).


For almost all \(t\in(0,T)\), \(\hat{B}(v(t))\), \(\hat{N}(q(t))\) are the elements of \(\mathbb{H}^{-1}(\Omega)\), \(\hat{M}(q(t),v(t))\) is an element of \(H^{-1}(\Omega)\), and the measurability of the functions \(t\rightarrow\hat{B}(v(t))\), \(t\rightarrow\hat{N}(q(t))\), \(t\rightarrow\hat{M}(q(t),v(t))\) is easy to check. Now for \(\forall\phi\in{\mathbb{H}}^{1}_{0}(\Omega)\), \(\forall\psi \in H^{1}_{0}(\Omega)\) by the Hölder inequality and
$${ \Vert u\Vert _{\mathbb{L}^{4}}\leq C\vert u\vert ^{1/2}\Vert u \Vert ^{1/2},\quad \forall u\in\mathbb{R}^{2}}, $$
we have
$$\begin{aligned}& \begin{aligned}[b] \bigl\vert \bigl\langle \hat{B} \bigl(v(t) \bigr),\phi \bigr\rangle \bigr\vert &= \biggl\vert \frac{1}{2} \bigl[b \bigl(v(t),v(t),\phi \bigr)-b \bigl(v(t),\phi,v(t) \bigr) \bigr] \biggr\vert \\ &\leq\frac{1}{2}\sum_{i,j=1}^{2} \biggl( \int_{\Omega} \biggl\vert v_{i}\frac{\partial v_{j}}{\partial x_{i}} \phi_{j} \biggr\vert \,dx+ \int_{\Omega} \biggl\vert v_{i}\frac{\partial\phi_{j}}{\partial x_{i}}v_{j} \biggr\vert \,dx \biggr) \\ &\leq C \bigl(\Vert v\Vert _{\mathbb{L}^{4}(\Omega)}\Vert v\Vert \Vert \phi \Vert _{\mathbb{L} ^{4}(\Omega)}+\Vert v\Vert ^{2}_{\mathbb{L}^{4}(\Omega)}\Vert \phi \Vert \bigr) \\ &\leq C \bigl(\vert v\vert ^{\frac{1}{2}}\Vert v\Vert ^{\frac{3}{2}}+ \vert v\vert \Vert v\Vert \bigr)\Vert \phi \Vert , \end{aligned} \end{aligned}$$
$$\begin{aligned}& \begin{aligned}[b] \bigl\vert \bigl\langle \hat{N} \bigl(q(t), \varphi (t) \bigr), \phi \bigr\rangle \bigr\vert &= \biggl\vert \frac{1}{2} \bigl[n \bigl(q(t), \varphi(t),\phi \bigr)-n \bigl( \varphi(t),q(t),\phi(t) \bigr) \bigr] \biggr\vert \\ &\leq\frac{1}{2}\sum_{i=1}^{2} \biggl( \int_{\Omega} \biggl\vert q\frac{\partial\varphi}{\partial x}\phi_{i} \biggr\vert \,dx+ \int_{\Omega} \biggl\vert \varphi\frac{\partial q}{\partial x} \phi_{i} \biggr\vert \,dx \biggr) \\ &\leq C \bigl(\Vert q\Vert _{\mathbb{L}^{4}(\Omega)}\Vert \varphi \Vert _{\mathbb{L}^{4}( \Omega)}\vert \phi \vert +\Vert \varphi \Vert _{\mathbb {L}^{4}(\Omega)} \Vert q \Vert \Vert \phi \Vert _{\mathbb{L}^{4}(\Omega)} \bigr) \\ &\leq C \bigl(\vert q\vert ^{\frac{1}{2}}\Vert q\Vert ^{\frac{1}{2}} \vert \varphi \vert ^{\frac{1}{2}} \Vert \varphi \Vert ^{\frac{1}{2}}+ \vert \varphi \vert ^{\frac{1}{2}}\Vert \varphi \Vert ^{ \frac{1}{2}} \Vert q \Vert \bigr)\Vert \phi \Vert , \end{aligned} \end{aligned}$$
$$\begin{aligned} & \bigl\vert \bigl\langle \hat{M} \bigl(q(t),v(t) \bigr),\psi \bigr\rangle \bigr\vert \\ &\quad = \biggl\vert \frac{1}{2} \bigl[n \bigl(q(t),\psi (t),v(t) \bigr)-n \bigl(\psi(t),q(t),v(t) \bigr) \bigr] \biggr\vert \\ &\quad \leq\frac{1}{2}\sum_{i=1}^{2} \biggl( \int_{\Omega} \biggl\vert q\frac{\partial\varphi}{\partial x}\phi_{i} \biggr\vert \,dx+ \int_{\Omega} \biggl\vert \varphi\frac{\partial q}{\partial x} \phi_{i} \biggr\vert \,dx \biggr) \\ &\quad \leq C \bigl(\Vert q\Vert _{\mathbb{L}^{4}(\Omega)}\Vert v \Vert _{\mathbb{L}^{4}(\Omega )} \Vert \psi \Vert +\Vert \psi \Vert _{\mathbb{L}^{4}(\Omega )}\Vert q\Vert \Vert v \Vert _{ \mathbb{L}^{4}(\Omega)} \bigr) \\ &\quad \leq C \bigl(\vert q\vert ^{\frac{1}{2}}\Vert q \Vert ^{\frac{1}{2}} \vert v\vert ^{\frac{1}{2}}\Vert v \Vert ^{\frac{1}{2}}+\vert v\vert ^{\frac{1}{2}}\Vert v \Vert ^{\frac{1}{2}}\Vert q\Vert \bigr)\Vert \psi \Vert , \end{aligned}$$
(3.9), (3.10), and (3.11) imply that
$$\begin{aligned}& \bigl\Vert \hat{B} \bigl(v(t) \bigr) \bigr\Vert _{\mathbb {H}^{-1}(\Omega)} \leq C \bigl(\vert v\vert ^{\frac{1}{2}} \Vert v\Vert ^{\frac{3}{2}}+ \vert v\vert \Vert v\Vert \bigr), \end{aligned}$$
$$\begin{aligned}& \bigl\Vert \hat{N} \bigl(q(t),\varphi(t) \bigr) \bigr\Vert _{\mathbb{H}^{-1}(\Omega)}\leq C \bigl(\vert q\vert ^{ \frac{1}{2}}\Vert q\Vert ^{\frac{1}{2}}\vert \varphi \vert ^{\frac{1}{2}}\Vert \varphi \Vert ^{\frac{1}{2}}+\vert \varphi \vert ^{\frac{1}{2}}\Vert \varphi \Vert ^{\frac{1}{2}} \Vert q \Vert \bigr), \end{aligned}$$
$$\begin{aligned}& \bigl\Vert \hat{M} \bigl(q(t),v(t) \bigr) \bigr\Vert _{H^{-1}(\Omega)}\leq C \bigl(\vert q\vert ^{\frac{1}{2}}\Vert q\Vert ^{\frac{1}{2}}\vert v\vert ^{\frac{1}{2}}\Vert v\Vert ^{\frac{1}{2}}+ \vert v\vert ^{\frac{1}{2}} \Vert v\Vert ^{\frac{1}{2}}\Vert q\Vert \bigr). \end{aligned}$$
Therefore, the lemma follows from (3.12)-(3.14). □
Now if \(v_{\epsilon}\in L^{2}(0,T;{\mathbb{H}}^{1}_{0}(\Omega)) \cap L^{\infty}(0,T;\mathbb{H})\), \(q_{\epsilon}\in L^{2}(0,T;H^{1} _{0}(\Omega))\cap L^{\infty}(0,T;L^{2}(\Omega))\), \(\varphi_{\epsilon }\in L^{2}(0,T;H^{1}_{0}(\Omega))\cap L^{\infty}(0,T;L^{2}(\Omega))\), and \(p_{\epsilon}\in L^{2}(0,T;L^{2}(\Omega))\) satisfy (3.1)-(3.2) in the distribution sense, then
$$\begin{aligned}& a_{1}\frac{d}{dt}(v_{\epsilon},\phi)= \bigl\langle f-a_{1}\hat{B}(v_{ \epsilon},v_{\epsilon})-a_{2}{ \mathcal{A}_{0}}v_{\epsilon } -\hat{N}(q_{\epsilon}+ \tilde{Q}_{0},\varphi_{\epsilon}+ \tilde{\phi}_{0})- \nabla p_{\epsilon},\phi \bigr\rangle , \end{aligned}$$
$$\begin{aligned}& \frac{d}{dt}(q_{\epsilon},\psi)=- \bigl\langle a_{3}{ \mathcal{A}_{1}}q_{\epsilon}+a_{4}q_{\epsilon} - \hat{M}(q_{\epsilon }+\tilde{Q}_{0},v_{\epsilon}),\psi \bigr\rangle . \end{aligned}$$
Since \(p_{\epsilon}\in L^{2}(0,T;L^{2}(\Omega))\), we see from Lemma 3.1 that
$$\begin{aligned}& \begin{aligned}[b] v^{\prime}_{\epsilon} &= \frac{1}{a_{1}} \bigl(f-a_{1} \hat{B}(v_{\epsilon },v_{\epsilon})-a_{2}{ \mathcal{A}_{0}}v_{\epsilon}- \hat{N}(q_{\epsilon}+ \tilde{Q}_{0},\varphi_{\epsilon}+\tilde{ \phi} _{0})- \nabla p_{\epsilon} \bigr) \\ &\in L^{4/3} \bigl(0,T;\mathbb{H}^{-1} \bigr), \end{aligned} \end{aligned}$$
$$\begin{aligned}& q^{\prime}_{\epsilon} =- \bigl(a_{3}{ \mathcal{A}_{1}}q _{\epsilon}+a_{4}q_{\epsilon}- \hat{M}(q_{\epsilon}+ \tilde{Q}_{0},v _{\epsilon}) \bigr)\in L^{4/3} \bigl(0,T;H^{-1} \bigr); \end{aligned}$$
$$ p^{\prime}_{\epsilon}\in L^{2} \bigl(0,T;L^{2}(\Omega) \bigr). $$
The above analysis leads to the following weak formulation of the problem described by (3.1).

Problem 3.1

Let \(\epsilon\in(0,1]\) be fixed. For any given \(v_{0}\), \(q_{0}\) and \(p_{0}\) satisfying (2.1), (2.2), and (3.4), find \(\{v_{\epsilon},q_{\epsilon},\varphi_{\epsilon},p _{\epsilon}\}\) such that
$$\begin{aligned} &v_{\epsilon}\in L^{2} \bigl(0,T;{\mathbb{H}}^{1}_{0}( \Omega) \bigr)\cap L^{ \infty}(0,T;\mathbb{H}),\quad v^{\prime}_{\epsilon} \in L^{4/3} \bigl(0,T;{ \mathbb{H}}^{-1}(\Omega) \bigr), \end{aligned}$$
$$\begin{aligned} &q_{\epsilon}\in L^{2} \bigl(0,T;H^{1}_{0}( \Omega) \bigr)\cap L^{\infty} \bigl(0,T;L ^{2}(\Omega) \bigr), \quad q^{\prime}_{\epsilon}\in L^{4/3} \bigl(0,T;H^{-1}( \Omega) \bigr), \end{aligned}$$
$$\begin{aligned} &\varphi_{\epsilon}\in L^{2} \bigl(0,T;H^{1}_{0}( \Omega) \bigr); \end{aligned}$$
$$\begin{aligned} &p_{\epsilon}\in L^{2} \bigl(0,T;L^{2}(\Omega) \bigr), \quad p^{\prime}_{\epsilon}\in L^{2} \bigl(0,T;L^{2}( \Omega) \bigr), \end{aligned}$$
$$\begin{aligned} & \begin{aligned}[b] &a_{1}v'_{\epsilon}+a_{1}{ \mathcal{B}}(v_{\epsilon},v _{\epsilon})+\frac{1}{2}a_{1}( \operatorname{div}v_{\epsilon})v_{\epsilon}+a _{2}{ \mathcal{A}_{0}}v_{\epsilon}+ \mathcal{N}(q_{\epsilon }+ \tilde{Q}_{0},\varphi_{\epsilon}+ \tilde{\phi}_{0}) \\ &\quad {}- \frac{1}{2} \nabla(q_{\epsilon}+ \tilde{Q}_{0}) ( \varphi_{\epsilon}+ \tilde{\phi}_{0})+ \nabla p_{\epsilon}=f, \end{aligned} \end{aligned}$$
$$\begin{aligned} &q'_{\epsilon}+a_{3}{ \mathcal{A}_{1}}q_{\epsilon}+a_{4}q _{\epsilon}-{ \mathcal{M}}(q_{\epsilon}+\tilde{Q}_{0},v _{\epsilon})+\frac{1}{2}(\operatorname{div}v_{\epsilon}) (q_{\epsilon}+ \tilde{Q}_{0})=0, \end{aligned}$$
$$\begin{aligned} &{ \mathcal{A}_{1}}\varphi_{\epsilon}=q_{\epsilon}, \end{aligned}$$
$$\begin{aligned} &\epsilon p'_{\epsilon}+\operatorname{div}v_{\epsilon}=0, \end{aligned}$$
$$\begin{aligned} &v_{\epsilon}(x,0)=v_{0},\quad q_{\epsilon}(x,0)=q_{0}, \quad \varphi_{\epsilon }(x,0)=\varphi_{0},\quad p_{\epsilon}(x,0)=p_{0},\quad x \in\Omega. \end{aligned}$$

Theorem 3.1

Let \(\epsilon\in(0,1]\) be fixed. For any given \(v_{0}\), \(q_{0}\), and \(p_{0}\) satisfying (2.1), (2.2), and (3.4). Then there exists a unique solution \(\{v_{\epsilon},q_{\epsilon}, \varphi_{\epsilon},p_{\epsilon}\}\) of Problem  3.1.


(i) In order to apply the Galerkin procedure, we consider a basis of \(\mathbb{H}^{1}_{0}(\Omega)\) constituted of elements \(\omega_{i}\) of \(\mathcal{D}(\Omega)\), a basis of \(H^{1}_{0}(\Omega)\) constituted of elements \(w_{i}\) of \(\mathcal{C}^{\infty}_{0}(\Omega)\), and a basis of \(L^{2}(\Omega)\) constituted of elements \(\gamma_{i}\) of \(\mathcal{C}^{\infty}_{0}(\Omega)\).

For each m, we define an approximate solution \(v_{\epsilon m}\), \(q _{\epsilon m}\), \(\varphi_{\epsilon m}\), \(p_{\epsilon m}\) of Problem 3.1 by
$$\begin{aligned} \begin{aligned}[c] &v_{\epsilon m}(t)=\sum _{i=1}^{m} g_{im}(t)\omega_{i},\quad\varphi_{\epsilon m}(t) =\sum_{i=1}^{m} h_{im}(t)w_{i}, \\ &p_{\epsilon m}(t)=\sum_{j=1}^{m} \xi_{jm}(t)\gamma_{j},\quad q_{\epsilon m}(t)={ \mathcal{A}_{1}}\varphi_{\epsilon m}(t), \end{aligned} \end{aligned}$$
$$\begin{aligned} &a_{1} \bigl(v'_{\epsilon m},\omega_{k} \bigr)+a_{2} \bigl((v_{\epsilon m},\omega_{k}) \bigr) +a _{1}\hat{b}(v_{\epsilon m},v_{\epsilon m},\omega_{k})+ \hat{n}(q_{ \epsilon m}+\tilde{Q}_{0},\varphi_{\epsilon m}+\tilde{ \phi}_{0}, \omega_{k}) \\ &\quad {}+(\nabla p_{\epsilon m}, \omega_{k})=(f, \omega_{k}), \end{aligned}$$
$$\begin{aligned} & \bigl(q'_{\epsilon m},w_{k} \bigr)+a_{3} \bigl((q_{\epsilon m},w_{k}) \bigr)+a_{4}(q_{ \epsilon m},w_{k})- \hat{n}(q_{\epsilon m}+\tilde{Q}_{0},w_{k},v_{ \epsilon m})=0, \end{aligned}$$
$$\begin{aligned} & \bigl((\varphi_{\epsilon m},w_{k}) \bigr)=(q_{\epsilon m},w_{k}), \end{aligned}$$
$$\begin{aligned} &\epsilon \bigl(p'_{\epsilon m},\gamma_{l} \bigr) +( \operatorname{div}v_{\epsilon m}, \gamma_{l})=0, \quad k,l=1,\ldots,m. \end{aligned}$$
Moreover, this differential system is required to satisfy the initial conditions
$$\begin{aligned} v_{\epsilon m}(0)=v_{0m},\quad q_{\epsilon m}(0)=q_{0m}, \quad \varphi_{\epsilon m}(0)=\varphi_{0m},\quad p_{\epsilon m}(0)=p_{0m}. \end{aligned}$$
Here \(v_{0m}\) (or \(q_{0m}\) or \(\varphi_{0m}\) or \(p_{0m}\)) is the orthogonal projection of \(v_{0}\) (or \(q_{0}\) or \(\varphi_{0}\) or \(p_{0}\)) onto the space spanned by \(\omega_{1},\ldots,\omega_{m}\) (or \(w_{1},\ldots,w_{m}\) or \(w_{1},\ldots,w_{m}\) or \(\gamma_{1},\ldots ,\gamma_{m}\)) in \(\mathbb{H}^{1}_{0}\) (resp. \(H^{1}_{0}\) or \(H^{1}_{0}\) or \(L^{2}(\Omega)\)).

Equations (3.30)-(3.33) form a nonlinear differential system for the functions \(g_{1m},\ldots, g_{mm},h_{1m}, \ldots,h_{mm},\xi_{1m},\ldots,\xi_{mm}\). By the standard theory of ODE, we have the existence of a solution defined at least on some interval \([0,t _{m})\), \(0< t_{m}\leq T\). And the following a priori estimates show that in fact \(t_{m}=T\).

(ii) If we multiply (3.30) by \(g_{km}(t)\), multiply (3.31)-(3.32) by \(h_{km}(t)\), multiply (3.33) by \(\xi_{lm}(t)\), we have
$$\begin{aligned} &a_{1} \bigl(v'_{\epsilon m},v_{\epsilon m} \bigr)+a_{2} \bigl((v_{\epsilon m},v_{\epsilon m}) \bigr) +a_{1}\hat{b}(v_{\epsilon m},v_{\epsilon m},v_{\epsilon m})+ \hat{n}(q_{\epsilon m}+\tilde{Q}_{0},\varphi_{\epsilon m}+ \tilde{ \phi}_{0},v_{\epsilon m}) \\ &\quad {}+(\nabla p_{\epsilon m},v_{\epsilon m})=(f,v _{\epsilon m}), \end{aligned}$$
$$\begin{aligned} & \bigl(q'_{\epsilon m},\varphi_{\epsilon m} \bigr)+a_{3} \bigl((q_{\epsilon m}, \varphi_{\epsilon m}) \bigr)+a_{4}(q_{\epsilon m}, \varphi_{\epsilon m})- \hat{n}(q_{\epsilon m}+\tilde{Q}_{0}, \varphi_{\epsilon m},v_{\epsilon m})=0, \end{aligned}$$
$$\begin{aligned} & \bigl((\varphi_{\epsilon m},\varphi_{\epsilon m}) \bigr)=(q_{\epsilon m}, \varphi_{\epsilon m}), \end{aligned}$$
$$\begin{aligned} &\epsilon \bigl(p'_{\epsilon m},p_{\epsilon m} \bigr) +( \operatorname{div}v_{\epsilon m},p _{\epsilon m})=0, \quad k,l=1,\ldots,m. \end{aligned}$$
Due to (3.5), \(\hat{b}(v_{\epsilon m},v_{\epsilon m},v_{\epsilon m})=0\), and since \(v_{\epsilon m}\vert_{\partial\Omega}=0\), we have
$$(\nabla p_{\epsilon m},v_{\epsilon m}) + (\operatorname{div}{v_{\epsilon m}},p _{\epsilon m})=0. $$
Then add all these equations for \(k,l=1,\ldots,m\), and as a result
$$\begin{aligned} &\frac{1}{2}\frac{d}{dt} \bigl[a_{1} \bigl\vert v_{\epsilon m}(t) \bigr\vert ^{2}+ \bigl\Vert \varphi_{\epsilon m}(t) \bigr\Vert ^{2} +\epsilon \bigl\vert p_{\epsilon m}(t) \bigr\vert ^{2} \bigr]+a _{2}\Vert v_{\epsilon m(t)}\Vert ^{2} +a_{3} \bigl\vert q_{\epsilon m}(t) \bigr\vert ^{2}+a_{4} \bigl\Vert \varphi_{\epsilon m}(t) \bigr\Vert ^{2} \\ &\quad =-\hat{n} \bigl(q_{\epsilon m}(t),\tilde{\phi}_{0},v_{\epsilon m}(t) \bigr)- \hat{n} \bigl(\tilde{Q}_{0},\tilde{\phi}_{0},v_{\epsilon m}(t) \bigr)+ \bigl(f,v_{ \epsilon m}(t) \bigr) \\ &\quad \leq C \biggl[\delta \bigl( \bigl\vert q_{\epsilon m}(t) \bigr\vert ^{2}+ \bigl\Vert q_{\epsilon m}(t) \bigr\Vert ^{2} \bigr)+ \frac{2}{ \delta} \bigl\vert v_{\epsilon m}(t) \bigr\vert ^{2}+1 \biggr]. \end{aligned}$$
Taking δ sufficiently small and by integration of (3.39) from 0 to s one shows that
$$\begin{aligned} &a_{1} \bigl\vert v_{\epsilon m}(s) \bigr\vert ^{2}+ \bigl\Vert \varphi_{\epsilon m}(s) \bigr\Vert ^{2}+\epsilon \bigl\vert p_{\epsilon m}(s) \bigr\vert ^{2}+ 2a_{2} \int^{s}_{0} \bigl\Vert v_{\epsilon m}(t) \bigr\Vert ^{2}\,dt \\ &\qquad {}+2a _{3} \int^{s}_{0} \bigl\vert q_{\epsilon m}(t) \bigr\vert ^{2}\,dt+2a_{4} \int^{s}_{0} \bigl\Vert \varphi_{\epsilon m}(t) \bigr\Vert ^{2}\,dt \\ &\quad \leq \vert v_{0}\vert ^{2}+\Vert \varphi_{0} \Vert ^{2} +\epsilon \vert p_{0} \vert ^{2}+ \frac{2C}{ \delta} \int^{s}_{0} \bigl\vert v_{\epsilon m}(t) \bigr\vert ^{2}\,dt+sC \\ &\quad \leq \vert v_{0}\vert ^{2}+\Vert \varphi_{0} \Vert ^{2} +\epsilon \vert p_{0} \vert ^{2}+ \frac{2C}{ \lambda_{1}\delta} \int^{s}_{0} \bigl\Vert v_{\epsilon m}(t) \bigr\Vert ^{2}\,dt+sC. \end{aligned}$$
Hence \(t_{m}=T\), and
$$\begin{aligned} &\sup_{s\in[0,T]} \bigl\{ a_{1} \bigl\vert v_{\epsilon m}(s) \bigr\vert ^{2}+ \bigl\Vert \varphi_{\epsilon m}(s) \bigr\Vert ^{2}+\epsilon \bigl\vert p_{\epsilon m}(s) \bigr\vert ^{2} \bigr\} \leq d_{1}, \end{aligned}$$
$$\begin{aligned} &d_{1}=a_{1}\vert v_{0}\vert ^{2}+ \Vert \varphi_{0}\Vert ^{2}+\vert p_{0} \vert ^{2}+sC. \end{aligned}$$
Integrating (3.39) in t from 0 to T, we have
$$\begin{aligned} & \int_{0}^{T} \bigl\Vert v_{\epsilon m}(t) \bigr\Vert ^{2}\,dt\leq\frac{d_{1}}{2a_{2}-\frac{2C}{ \lambda_{1}\delta}}, \end{aligned}$$
$$\begin{aligned} & \int_{0}^{T} \bigl\vert q_{\epsilon m}(t) \bigr\vert ^{2}\,dt\leq\frac{d_{1}}{2a_{3}}, \end{aligned}$$
$$\begin{aligned} & \int_{0}^{T} \bigl\Vert \varphi_{\epsilon m}(t) \bigr\Vert ^{2}\,dt\leq\frac{d_{1}}{2a _{4}}. \end{aligned}$$
Putting \(w_{k}=q_{\epsilon m}\) in equation (3.31), we find, using \(n(q,q,v)=0\),
$$\begin{aligned} \begin{aligned}[b] \frac{1}{2}\frac{d}{dt}\vert q_{\epsilon m} \vert ^{2}+a_{3}\Vert q_{\epsilon m}\Vert ^{2}+a_{4}\vert q_{\epsilon m}\vert ^{2} &= \hat{n}(\tilde{Q}_{0},q_{\epsilon m},v _{\epsilon m}) \\ &\leq C \biggl[ \delta \bigl(\vert q_{\epsilon m}\vert ^{2}+ \Vert q_{\epsilon m}\Vert ^{2} \bigr)+\frac{2}{\delta} \vert v_{\epsilon m}\vert ^{2}+1 \biggr]. \end{aligned} \end{aligned}$$
Taking δ sufficiently small and by integration of (3.45) from 0 to s one shows that
$$\begin{aligned} & \bigl\vert q_{\epsilon m}(s) \bigr\vert ^{2}+2a_{3} \int^{s}_{0} \bigl\Vert q_{\epsilon m}(s) \bigr\Vert ^{2}\,dt+2a _{4} \int^{s}_{0} \bigl\vert q_{\epsilon m}(s) \bigr\vert ^{2}\,dt \\ &\quad \leq\frac{2C}{\delta} \int^{s}_{0} \bigl\vert v_{\epsilon m}(s) \bigr\vert ^{2}\,dt+\vert q_{0}\vert ^{2}+Cs \\ &\quad \leq\frac{2C}{\lambda_{1}\delta} \int^{s}_{0} \bigl\Vert v_{\epsilon m}(s) \bigr\Vert ^{2}\,dt+\vert q_{0}\vert ^{2}+Cs \triangleq d_{2}. \end{aligned}$$
Then we can obtain
$$\begin{aligned} \sup_{s\in[0,T]} \bigl\vert q_{\epsilon m}(s) \bigr\vert ^{2}\leq d_{2}. \end{aligned}$$
Integrating (3.45) in t from 0 to T, we have
$$\begin{aligned} \int_{0}^{T} \bigl\Vert q_{\epsilon m}(t) \bigr\Vert ^{2}\,dt\leq\frac{d_{2}}{2a_{3}}. \end{aligned}$$

(iii) In order to pass to the limit in the nonlinear term we need an estimate of the fractional derivative in time of \(v_{\epsilon m}\) and \(q_{\epsilon m}\).

$$\begin{aligned} &\phi_{\epsilon m}(t)=f-a_{2}{ \mathcal{A}_{0}}v_{\epsilon m}- \hat{B}(v_{\epsilon m})-\hat{N}(q_{\epsilon m}+\tilde{Q}_{0}, \varphi_{\epsilon m}+\tilde{\phi}_{0}), \\ &\psi_{\epsilon m}(t)=-a_{3}{ \mathcal{A}_{1}}q_{\epsilon m}-a _{4}q_{\epsilon m}-\hat{M}(q_{\epsilon m}+\tilde{Q}_{0},v_{\epsilon m}). \end{aligned}$$
We write equations (3.30)-(3.33) as
$$\begin{aligned} &a_{1} \bigl(v'_{\epsilon m}(t),\omega_{k} \bigr)+ \bigl(\nabla p_{\epsilon m}(t),\omega_{k} \bigr)= \bigl( \phi_{\epsilon m}(t),\omega_{k} \bigr),\quad k=1,\ldots,m, \\ & \bigl(q'_{\epsilon m}(t), w_{k} \bigr)= \bigl( \psi_{\epsilon m}(t),w_{k} \bigr),\quad k=1,\ldots,m, \\ &\epsilon \bigl(p'_{\epsilon m}(t), \gamma_{l} \bigr)+ \bigl(\operatorname{div}{v_{\epsilon m}(t)}, \gamma_{l} \bigr)=0,\quad l=1, \ldots,m, \\ &\varphi_{\epsilon m}(\cdot,t)={ \mathcal{A}_{1}}^{-1}q _{\epsilon m}(\cdot,t). \end{aligned}$$

As done several times before, we extend all functions by 0 outside the interval \([0,T]\) and consider the Fourier transform of the different equations.

The following relations then hold on \(\mathbb{R}\):
$$\begin{aligned} &a_{1}\frac{d}{dt} \bigl({\tilde{v}}_{\epsilon m}(t), \omega_{k} \bigr)+ \bigl(\nabla{\tilde{p}}_{\epsilon m}(t), \omega_{k} \bigr) \\ &\quad = \bigl({\tilde{\phi}}_{\epsilon m}(t), \omega_{k} \bigr)+(v_{0m},\omega_{k}) \delta_{(0)}- \bigl(v_{\epsilon m}(T),\omega_{k} \bigr) \delta_{(T)}, \\ &\frac{d}{dt} \bigl({\tilde{q}}_{\epsilon m}(t),w_{k} \bigr)= \bigl({\tilde{\psi}} _{\epsilon m}(t),w_{k} \bigr)+(q_{0m},w_{k}) \delta_{(0)}- \bigl(q_{\epsilon m}(T),w _{k} \bigr) \delta_{(T)}, \\ &\epsilon\frac{d}{dt} \bigl({\tilde{p}}_{\epsilon m}(t), \gamma_{l} \bigr)+ \bigl( \operatorname{div}{{\tilde{v}}_{\epsilon m}(t)}, \gamma_{l} \bigr)=\epsilon(p_{0m}, \gamma_{l}) \delta_{(0)}-\epsilon \bigl(p_{\epsilon m}(T),\gamma_{l} \bigr) \delta_{(T)}, \\ &\tilde{\varphi}_{\epsilon m}(\cdot,t)={ \mathcal{A}_{1}} ^{-1}\tilde{q}_{\epsilon m}(\cdot,t). \end{aligned}$$
After taking Fourier transforms, as a result
$$\begin{aligned} &2a_{1}i\pi\tau \bigl({\hat{v}}_{\epsilon m}(\tau), \omega_{k} \bigr)+ \bigl(\nabla{\hat{p}}_{\epsilon m}(\tau), \omega_{k} \bigr) \\ &\quad = \bigl\langle {\hat{\phi}}_{ \epsilon m}(\tau), \omega_{k} \bigr\rangle +(v_{0m},\omega_{k})- \bigl(v_{\epsilon m}(T), \omega_{k} \bigr)\exp(-2i\pi\tau T), \\ &2i\pi\tau \bigl({\hat{q}}_{\epsilon m}(\tau),w_{k} \bigr)= \bigl\langle {\hat{\psi}} _{\epsilon m}(\tau),w_{k} \bigr\rangle +(q_{0m},w_{k})- \bigl(q_{\epsilon m}(T),w _{k} \bigr)\exp(-2i\pi\tau T), \\ &2i\pi\tau\epsilon \bigl({\hat{p}}_{\epsilon m}(\tau),\gamma_{l} \bigr)+ \bigl( \operatorname{div}{{\hat{v}}_{\epsilon m}(\tau)},\gamma_{l} \bigr)= \epsilon(p _{0m},\gamma_{l})-\epsilon \bigl(p_{\epsilon m}(T), \gamma_{l} \bigr)\exp(-2i \pi\tau T). \end{aligned}$$
We multiply the first of the last three equations by \(\hat{g}_{km}( \tau)\) (\(\hat{g}_{km}=\) Fourier transform of \(\tilde{g}_{km}\)) and the second by \(\hat{h}_{km}(\tau)\) (\(\hat{h}_{km}=\) Fourier transform of \(\tilde{h}_{km}\)) and the third by \(\hat{\xi}_{lm}(\tau)\) (\(\hat{\xi}_{lm}=\) Fourier transform of \(\tilde{\xi}_{lm}\)), and then add these relations for \(k=1,\ldots,m\), \(l=1,\ldots,m\), we obtain
$$\begin{aligned} & 2i\pi\tau \bigl\{ a_{1} \bigl\vert { \hat{v}}_{\epsilon m}(\tau) \bigr\vert ^{2}+ \bigl\Vert {\hat{ \varphi}}_{\epsilon m}(\tau) \bigr\Vert ^{2}+\epsilon \bigl\vert { \hat{p}}_{\epsilon m}(\tau) \bigr\vert ^{2} \bigr\} \\ &\qquad {} + \bigl(\nabla {{ \hat{p}}_{\epsilon m}}(\tau),{ \hat{v}}_{\epsilon m}( \tau) \bigr)+ \bigl({ \operatorname{div}} {{\hat{v}}_{\epsilon m}}( \tau),{{\hat{p}}_{ \epsilon m}}(\tau) \bigr) \\ &\quad = \bigl\langle {{\hat{\phi}}_{\epsilon m}}(\tau),{{\hat {v}}_{\epsilon m}}( \tau) \bigr\rangle \\ &\qquad {}+ \bigl\langle {{\hat{\psi} }_{\epsilon m}}(\tau ),{{\hat{ \varphi}} _{\epsilon m}}(\tau) \bigr\rangle + \bigl({v_{0m}},{{ \hat{v}}_{\epsilon m}}( \tau) \bigr)+ \bigl({q_{0m}},{{\hat{\varphi }}_{\epsilon m}}(\tau) \bigr) + \epsilon \bigl({p_{0m}},{{ \hat{p}}_{\epsilon m}}(\tau) \bigr) \\ &\qquad {}- \bigl\{ \bigl({v_{\epsilon m}}(T),{{\hat{v}}_{\epsilon m}}(\tau) \bigr)+ \bigl({q_{ \epsilon m}}(T),{{\hat{\varphi}}_{\epsilon m}}(\tau) \bigr) \\ &\qquad {}+ \epsilon \bigl( {p _{\epsilon m}}(T),{{\hat{p} }_{\epsilon m}}( \tau ) \bigr) \bigr\} \exp( - 2i \pi\tau T). \end{aligned}$$
The term \((\nabla\hat{p}_{\epsilon m},\hat{v}_{\epsilon m})+(\operatorname{div}{{\hat{v}}_{\epsilon m}},{\hat{p} }_{\epsilon m})=0\), and we have \({{\hat{v}}_{\epsilon m}}(\tau)\vert_{\partial\Omega}=0\).
We deduce from (3.49) that
$$\begin{aligned} &2\pi \vert \tau \vert \bigl\{ a_{1}{ \bigl\vert {{ \hat{v}}_{\epsilon m}(\tau) \bigr\vert ^{2}}+ \bigl\Vert {\hat{ \varphi}}_{\epsilon m}(\tau) \bigr\Vert ^{2}+\epsilon \bigl\vert {{ \hat{p}}_{\epsilon m}(\tau) \bigr\vert ^{2}}} \bigr\} \\ &\quad \leqslant \bigl\vert \bigl\langle {{\hat{\phi} }_{\epsilon m}}( \tau),{{ \hat{v}}_{\epsilon m}}(\tau) \bigr\rangle \bigr\vert + \bigl\vert \bigl\langle {{\hat{\psi} }_{\epsilon m}}(\tau),{{\hat{\varphi}}_{\epsilon m}}( \tau) \bigr\rangle \bigr\vert + \vert {v_{0m}}\vert \bigl\vert {{ \hat{v}}_{\epsilon m}}(\tau) \bigr\vert + \vert q_{0m}\vert \bigl\vert {\hat{\varphi}}_{\epsilon m}(\tau) \bigr\vert \\ &\qquad {}+ \epsilon \vert {{p_{0m}}} \vert \bigl\vert {{{ \hat{p}}_{\epsilon m}}(\tau)} \bigr\vert + \bigl\vert {v_{\epsilon m}}(T) \bigr\vert \bigl\vert {{\hat{v}}_{\epsilon m}}(\tau) \bigr\vert + \bigl\vert q_{\epsilon m}(T) \bigr\vert \bigl\vert {{\hat{\varphi }}_{\epsilon m}}(\tau) \bigr\vert +\epsilon \bigl\vert {p _{\epsilon m}}(T) \bigr\vert \bigl\vert {{\hat{p}}_{\epsilon m}}(\tau) \bigr\vert \\ &\quad \leqslant \bigl\vert { \bigl\langle {{\hat{\phi} }_{\epsilon m}}( \tau),{{ \hat{v}}_{\epsilon m}}(\tau) \bigr\rangle } \bigr\vert + \bigl\vert \bigl\langle {{\hat{\psi} }_{\epsilon m}}(\tau),{{\hat{\varphi}}_{\epsilon m}}( \tau) \bigr\rangle \bigr\vert +2\sqrt{{d _{1}}} \bigl( \bigl\vert {{ \hat{v}}_{\epsilon m}}(\tau) \bigr\vert + \bigl\vert {{\hat{\varphi }}_{\epsilon m}}(\tau) \bigr\vert + \epsilon \bigl\vert {{\hat{p} }_{\epsilon m}}(\tau) \bigr\vert \bigr) \\ &\quad {}\leqslant \bigl\vert { \bigl\langle {{\hat{\phi} }_{\epsilon m}}( \tau),{{ \hat{v}}_{\epsilon m}}(\tau) \bigr\rangle } \bigr\vert + \bigl\vert \bigl\langle {{\hat{\psi} }_{\epsilon m}}(\tau),{{\hat{\varphi}}_{\epsilon m}}( \tau) \bigr\rangle \bigr\vert +2c_{1}\sqrt{ {d_{1}}} \bigl( \bigl\vert {{\hat{v}}_{\epsilon m}}(\tau) \bigr\vert + \bigl\vert {{\hat{ \varphi}}_{\epsilon m}}(\tau) \bigr\vert + \epsilon \bigl\vert {{\hat{p} }_{\epsilon m}}(\tau) \bigr\vert \bigr). \end{aligned}$$
We next estimate the term \(\vert {\langle{{\hat{\phi} }_{\epsilon m}}(\tau),{{\hat{v}}_{\epsilon m}}(\tau)\rangle} \vert \) and \(\vert {\langle{{\hat{\psi} }_{\epsilon m}}(\tau),{{\hat{\varphi }}_{\epsilon m}}(\tau)\rangle} \vert \). In fact,
$$\begin{aligned} & \bigl\vert { \bigl\langle {{\hat{\phi} }_{\epsilon m}}(\tau),{{ \hat{v}}_{\epsilon m}}(\tau) \bigr\rangle } \bigr\vert \\ &\quad = \bigl\vert { \bigl\langle \hat{f}(\tau)-a_{2}{ \mathcal{A}_{0}}\hat{v} _{\epsilon m}(\tau)-\hat{B} \bigl( \hat{v}_{\epsilon m}(\tau) \bigr)-\hat{N} \bigl( \hat{q}_{\epsilon m}(\tau)+ \tilde{Q}_{0},\hat{\varphi}_{\epsilon m}( \tau)+\tilde{\phi }_{0} \bigr),{{\hat{v}}_{\epsilon m}}(\tau) \bigr\rangle } \bigr\vert \\ &\quad \leq \bigl\vert \bigl(\hat{f}(\tau),\hat{v}_{\epsilon m}(\tau) \bigr) \bigr\vert +a_{2} \bigl\Vert {\hat{v}}_{\epsilon m}(\tau) \bigr\Vert ^{2}+\hat{b} \bigl({{\hat{v}}_{\epsilon m}}(\tau), {{ \hat{v}}_{\epsilon m}}(\tau),{{\hat{v}}_{\epsilon m}}(\tau) \bigr) \\ &\qquad {}+ \hat{n} \bigl({{\hat{q}}_{\epsilon m}}(\tau)+\hat{Q}_{0},{{ \hat{\varphi}} _{\epsilon m}}(\tau)+\hat{\phi}_{0},{{ \hat{v}}_{\epsilon m}}( \tau) \bigr) \\ &\quad \leq \bigl\vert \hat{f}(\tau) \bigr\vert ^{2}+ \bigl\vert \hat{v}_{\epsilon m}(\tau) \bigr\vert ^{2}+a_{2} \bigl\Vert \hat{v}_{\epsilon m}(\tau) \bigr\Vert ^{2}+\hat{n} \bigl({{ \hat{q}}_{\epsilon m}}( \tau),{{\hat{\varphi}}_{\epsilon m}}(\tau),{{ \hat{v}}_{\epsilon m}}( \tau) \bigr) \\ &\qquad {}+\hat{n} \bigl({{\hat{q}}_{\epsilon m}}( \tau),\hat{ \phi}_{0},{{\hat{v}} _{\epsilon m}}(\tau) \bigr) \\ &\qquad {}+ \hat{n} \bigl(\hat{Q}_{0},{{\hat{\varphi}}_{\epsilon m}}( \tau ),{{\hat{v}} _{\epsilon m}}(\tau) \bigr)+\hat{n} \bigl( \hat{Q}_{0}, \hat{\phi}_{0},{{\hat{v}} _{\epsilon m}}( \tau) \bigr) \\ &\quad \leq \bigl\vert \hat{f}(\tau) \bigr\vert ^{2}+ \bigl\vert \hat{v}_{\epsilon m}(\tau) \bigr\vert ^{2}+a_{2} \bigl\Vert \hat{v}_{\epsilon m}(\tau) \bigr\Vert ^{2}+C \bigl( \bigl\Vert {\hat{q}}_{\epsilon m}(\tau) \bigr\Vert ^{4}_{L^{4}}+ \bigl\Vert {\hat{\varphi}}_{\epsilon m}(\tau) \bigr\Vert ^{2}+ \bigl\Vert {\hat{v}}_{\epsilon m}(\tau) \bigr\Vert ^{4}_{L^{4}} \\ &\qquad {}+ \bigl\vert {\hat{q}}_{\epsilon m}(\tau) \bigr\vert ^{2}+ \bigl\vert {\hat{v}}_{\epsilon m}(\tau) \bigr\vert ^{2}+ \bigl\Vert { \hat{\varphi}}_{\epsilon m}(\tau) \bigr\Vert ^{2} \bigr), \end{aligned}$$
$$\begin{aligned} & \bigl\vert { \bigl\langle {{\hat{\psi} }_{\epsilon m}}(\tau),{{\hat {\varphi }}_{\epsilon m}}(\tau) \bigr\rangle } \bigr\vert \\ &\quad = \bigl\vert { \bigl\langle -a_{3}{ \mathcal{A}_{1}} \hat{q}_{\epsilon m}( \tau)-a_{4}\hat{q}_{\epsilon m}(\tau)- \hat{M} \bigl(\hat{q}_{\epsilon m}( \tau)+\tilde{Q}_{0}, \hat{v}_{\epsilon m}(\tau) \bigr),{{\hat{\varphi}} _{\epsilon m}(\tau )} \bigr\rangle } \bigr\vert \\ &\quad \leq a_{3} \bigl\vert \hat{q}_{\epsilon m}(\tau) \bigr\vert ^{2}+a_{4} \bigl\Vert {\hat{\varphi}}_{\epsilon m}( \tau ) \bigr\Vert ^{2}+\hat{n} \bigl(\hat{q}_{\epsilon m}(\tau),{ \hat{ \varphi}} _{\epsilon m}(\tau),\hat{v}_{\epsilon m}(\tau) \bigr)+\hat{n} \bigl( \hat{Q}_{0}, {\hat{\varphi}}_{\epsilon m}(\tau), \hat{v}_{\epsilon m}(\tau) \bigr) \\ &\quad \leq a_{3} \bigl\vert \hat{q}_{\epsilon m}(\tau) \bigr\vert ^{2}+a_{4} \bigl\Vert {\hat{\varphi}}_{\epsilon m}( \tau ) \bigr\Vert ^{2} \\ &\qquad {}+C \bigl( \bigl\Vert {\hat{q}}_{\epsilon m}(\tau) \bigr\Vert ^{4} _{L^{4}}+ \bigl\Vert {\hat{\varphi }}_{\epsilon m}(\tau) \bigr\Vert ^{2}+ \bigl\Vert { \hat{v}}_{\epsilon m}(\tau) \bigr\Vert ^{4}_{L^{4}}+ \bigl\vert {\hat{v}}_{\epsilon m}(\tau) \bigr\vert ^{2} \bigr). \end{aligned}$$
Combining (3.49) and (3.50)-(3.51), we get
$$\begin{aligned} &2\pi \vert \tau \vert \bigl\{ a_{1} \bigl\vert {{ \hat{v}}_{\epsilon m}(\tau) \bigr\vert ^{2}}+ \bigl\Vert {\hat{ \varphi}}_{\epsilon m}(\tau) \bigr\Vert ^{2}+ \bigl\vert { \hat{p}}_{\epsilon m}(\tau) \bigr\vert ^{2} \bigr\} \\ &\quad \leq \bigl\vert \hat{f}(\tau) \bigr\vert ^{2}+ \bigl\vert {{\hat{v}}_{\epsilon m}}( \tau) \bigr\vert ^{2}+ \bigl\Vert {{\hat{v}}_{\epsilon m}}(\tau) \bigr\Vert ^{2}+ \bigl\vert { \hat{q}}_{\epsilon m}(\tau) \bigr\vert ^{2}+ \bigl\Vert {{\hat{ \varphi}}_{\epsilon m}}(\tau) \bigr\Vert ^{2} \\ &\qquad {}+ C \bigl( \bigl\Vert {\hat{q}}_{\epsilon m}(\tau) \bigr\Vert ^{4}_{L^{4}}+ \bigl\Vert {\hat{v}}_{\epsilon m}(\tau) \bigr\Vert ^{4}_{L^{4}}+2\sqrt{{d_{1}}} \bigl( \bigl\vert {{\hat{v}}_{\epsilon m}}(\tau) \bigr\vert + \bigl\Vert {{\hat {\varphi }}_{\epsilon m}}(\tau) \bigr\Vert + \epsilon \bigl\vert {{\hat{p} }_{\epsilon m}}(\tau) \bigr\vert \bigr) \bigr). \end{aligned}$$
For some fixed \(\gamma\in(0,\frac{1}{4})\), we have \(\vert \tau \vert ^{2 \gamma}\leq(2\gamma+1)\frac{1+\vert \tau \vert }{1+\vert \tau \vert ^{1-2\gamma}}\), \(\forall\tau\in\mathbb{R}\). Thus
$$\begin{aligned} & \int^{+\infty}_{-\infty} \vert \tau \vert ^{2\gamma} \bigl\{ a_{1} \bigl\vert {{\hat{v}}_{\epsilon m}}(\tau) \bigr\vert ^{2}+ \bigl\Vert {{\hat{\varphi}}_{\epsilon m}}(\tau) \bigr\Vert ^{2} \bigr\} \,d\tau \\ &\quad \leq(2\gamma+1) \int^{+\infty}_{-\infty}\frac{a_{1} \vert {{\hat{v}}_{\epsilon m}}(\tau)\vert ^{2}+\Vert {{\hat {\varphi}}_{\epsilon m}}(\tau)\Vert ^{2}}{1+\vert \tau \vert ^{1-2\gamma}}\,d\tau \\ &\qquad {}+(2\gamma+1) \int^{+\infty}_{- \infty}\frac{\vert \tau \vert (a_{1}\vert {{\hat{v}}_{\epsilon m}}(\tau)\vert ^{2}+\Vert {{\hat{\varphi}}_{\epsilon m}}(\tau)\Vert ^{2})}{1+\vert \tau \vert ^{1-2\gamma}}\,d\tau \\ &\quad \leq(2\gamma+1) \int^{+\infty}_{-\infty} \bigl\{ a_{1} \bigl\vert {{ \hat{v}}_{\epsilon m}}(\tau) \bigr\vert ^{2}+ \bigl\Vert {{\hat{ \varphi}}_{\epsilon m}}(\tau) \bigr\Vert ^{2} \bigr\} \,d\tau \\ &\qquad {}+(2\gamma +1) \int^{+\infty}_{-\infty}\frac{\vert \tau \vert (a _{1}\vert {{\hat{v}}_{\epsilon m}}(\tau)\vert ^{2}+ \Vert {{\hat{\varphi}}_{\epsilon m}}(\tau)\Vert ^{2})}{1+\vert \tau \vert ^{1-2\gamma}}\,d\tau. \end{aligned}$$
By the Parseval equality and the Poincaré inequality, we have
$$\begin{aligned} &(2\gamma+1) \int^{+\infty}_{-\infty} \bigl\{ a_{1} \bigl\vert {{ \hat{v}}_{\epsilon m}}(\tau) \bigr\vert ^{2}+ \bigl\Vert {{\hat{ \varphi}}_{\epsilon m}}(\tau) \bigr\Vert ^{2} \bigr\} \,d\tau \\ &\quad =(2 \gamma+1) \int^{+\infty}_{-\infty} \bigl\{ a_{1} \bigl\vert {{ \tilde{v}}_{\epsilon m}}(t) \bigr\vert ^{2}+ \bigl\Vert {{\tilde{ \varphi}}_{\epsilon m}}(t) \bigr\Vert ^{2} \bigr\} \,dt \\ &\quad = (2\gamma+1) \int^{T}_{0} \bigl\{ a_{1} \bigl\vert {v_{\epsilon m}}(t) \bigr\vert ^{2}+ \bigl\Vert { \varphi_{\epsilon m}}(t) \bigr\Vert ^{2} \bigr\} \,dt \\ &\quad \leq C( \lambda_{1}) (2\gamma+1) \int^{T}_{0} \bigl\{ a_{1} \bigl\Vert { v_{\epsilon m}}(t) \bigr\Vert ^{2}+ \bigl\Vert { \varphi_{\epsilon m}}(t ) \bigr\Vert ^{2} \bigr\} \,dt \\ &\quad \leq C(\lambda_{1},a_{1},a_{2},a_{4},d_{1}, \gamma) \end{aligned}$$
$$\begin{aligned} &(2\gamma+1) \int^{+\infty}_{-\infty}\frac{\vert \tau \vert (a_{1} \vert {{\hat{v}}_{\epsilon m}}(\tau)\vert ^{2}+\Vert {{\hat {\varphi}}_{\epsilon m}}(\tau)\Vert ^{2})}{1+\vert \tau \vert ^{1-2\gamma}}\,d\tau \\ &\quad \leq\frac{2\gamma+1}{2\pi} \int^{+\infty}_{-\infty} \bigl( \bigl( \bigl\vert \hat{f}( \tau) \bigr\vert ^{2}+ \bigl\vert {{\hat{v}}_{\epsilon m}}(\tau ) \bigr\vert ^{2}+ \bigl\Vert {{\hat{v}}_{\epsilon m}}(\tau) \bigr\Vert ^{2}+ \bigl\vert {{\hat {q}}_{\epsilon m}}(\tau) \bigr\vert ^{2}+ \bigl\Vert {{\hat{\varphi}}_{\epsilon m}}(\tau) \bigr\Vert ^{2} \\ &\qquad {}+C \bigl( \bigl\Vert {\hat{q}}_{\epsilon m}(\tau) \bigr\Vert ^{4}_{L^{4}}+ \bigl\Vert {\hat{v}}_{\epsilon m}(\tau) \bigr\Vert ^{4}_{L^{4}} \bigr) \bigr)/ \bigl(1+\vert \tau \vert ^{1-2\gamma} \bigr)\bigr)\,d\tau \\ &\qquad {}+\frac{2\gamma+1}{2\pi} \int^{+\infty}_{-\infty}\frac{2\sqrt{d _{1}}(\vert {{\hat{v}}_{\epsilon m}}(\tau)\vert + \Vert {{\hat{\varphi}}_{\epsilon m}}(\tau)\Vert +\epsilon \vert {{\hat{p} }_{\epsilon m}}(\tau)\vert )}{1+\vert \tau \vert ^{1-2 \gamma}}\,d\tau \\ &\quad \leq\frac{(2\gamma+1)}{2\pi} \int^{+\infty}_{-\infty} \bigl(\bigl\vert \hat{f}(\tau) \bigr\vert ^{2}+ \bigl\vert {{\hat{v}}_{\epsilon m}}(\tau) \bigr\vert ^{2}+ \bigl\Vert {{\hat{v}}_{\epsilon m}}(\tau) \bigr\Vert ^{2}+ \bigl\vert {{\hat{q}}_{\epsilon m}}(\tau) \bigr\vert ^{2} \\ &\qquad {}+ \bigl\Vert {{\hat{\varphi}}_{\epsilon m}}(\tau) \bigr\Vert ^{2}+C \bigl( \bigl\Vert {\hat{q}}_{\epsilon m}(\tau) \bigr\Vert ^{4}_{L^{4}}+ \bigl\Vert {\hat{v}}_{\epsilon m}(\tau) \bigr\Vert ^{4}_{L^{4}} \bigr)\bigr)\,d\tau \\ &\qquad {}+ \frac{(2\gamma+1)\sqrt{d_{1}}}{\pi} \int^{+\infty}_{-\infty}\frac{\vert {\hat{v}}_{\epsilon m}(\tau)\vert + \Vert {\hat{\varphi}}_{\epsilon m}(\tau)\Vert +\epsilon \vert {\hat{p}}_{\epsilon m}(\tau)\vert }{1+\vert \tau \vert ^{1-2\gamma}}\,d\tau \\ &\quad \leq C \int^{T}_{0}\bigl( \bigl\vert f(t) \bigr\vert ^{2}+ \bigl\vert v_{\epsilon m}(t) \bigr\vert ^{2}+ \bigl\Vert v_{\epsilon m}(t) \bigr\Vert ^{2}+ \bigl\vert q_{\epsilon m}(t ) \bigr\vert ^{2}+ \bigl\Vert \varphi_{\epsilon m}(t) \bigr\Vert ^{2} \\ &\qquad {}+ \bigl\Vert q_{\epsilon m}(t) \bigr\Vert ^{4}_{L^{4}}+ \bigl\Vert v_{\epsilon m}(t) \bigr\Vert ^{4}_{L^{4}}\bigr)\,dt \\ &\qquad {}+ C \biggl( \int^{+\infty}_{-\infty} \frac{d\tau}{(1+\vert \tau \vert ^{1-2\gamma})^{2}} \biggr)^{\frac{1}{2}} \biggl( \int^{T} _{0} \bigl( \bigl\vert {v_{\epsilon m}}(t) \bigr\vert ^{2}+ \bigl\Vert \varphi_{\epsilon m}(t) \bigr\Vert ^{2}+\epsilon \bigl\vert {p_{\epsilon m}}(t) \bigr\vert ^{2} \bigr)\,dt \biggr)^{\frac{1}{2}} \\ &\quad \leq C(\pi,\gamma,d_{1},a_{1},a_{2},a_{4},T). \end{aligned}$$
Here we have also used the convergence of the infinite integral
$$\begin{aligned} \biggl( \int^{+\infty}_{-\infty} \frac{d\tau}{(1+\vert \tau \vert ^{1-2\gamma})^{2}} \biggr)^{\frac{1}{2}},\quad \mbox{for some }\gamma\in \biggl(0,\frac{1}{4} \biggr). \end{aligned}$$
We can conclude that
$$\begin{aligned} \int^{+\infty}_{-\infty} \vert \tau \vert ^{2\gamma} \bigl( \bigl\vert {{\hat{v}}_{\epsilon m}}(\tau) \bigr\vert ^{2}+ \bigl\Vert {{\hat{\varphi}}_{\epsilon m}}(\tau) \bigr\Vert ^{2} \bigr)\,d\tau\leq C,\quad \mbox{for some }\gamma\in \biggl(0,\frac{1}{4} \biggr). \end{aligned}$$
(iv) We want to pass to the limit as \(m\rightarrow\infty\) in (3.30)-(3.33) using the estimates (3.40), (3.42)-(3.44) and (3.55), we recall that at the present time \(\epsilon\in(0,1]\) is fixed, and we are only concerned with a passage to the limit as \(m\rightarrow\infty\). There exist a sequence \(m'\rightarrow\infty\) and some \(\{v_{\epsilon },q_{\epsilon},\varphi_{\epsilon},p_{\epsilon}\}\) such that
$$\begin{aligned} &v_{\epsilon m'}\rightharpoonup v_{\epsilon}\quad \text{in } L^{2} \bigl(0,T;{\mathbb{H}}^{1}_{0}(\Omega) \bigr) \text{ weakly}, \end{aligned}$$
$$\begin{aligned} &v_{\epsilon m'}\rightarrow v_{\epsilon}\quad \text{in } L^{\infty} \bigl(0,T; \mathbb{L}^{2}(\Omega) \bigr) \text{ weak-star}, \end{aligned}$$
$$\begin{aligned} &v_{\epsilon m'}\rightarrow v_{\epsilon} \quad \text{in } L^{2} \bigl(0,T; \mathbb{L}^{2}(\Omega) \bigr) \text{ strongly}, \end{aligned}$$
$$\begin{aligned} &q_{\epsilon m'}\rightharpoonup q_{\epsilon}\quad \text{in } L^{2} \bigl(0,T;H^{1}_{0}(\Omega) \bigr) \text{ weakly}, \end{aligned}$$
$$\begin{aligned} &q_{\epsilon m'}\rightarrow q_{\epsilon}\quad \text{in } L^{\infty} \bigl(0,T;L^{2}(\Omega) \bigr) \text{ weak-star}, \end{aligned}$$
$$\begin{aligned} &q_{\epsilon m'}\rightarrow q_{\epsilon}\quad \text{in } L^{2} \bigl(0,T;L^{2}(\Omega) \bigr) \text{ strongly}, \end{aligned}$$
$$\begin{aligned} &\varphi_{\epsilon m'}\rightharpoonup\varphi_{\epsilon} \quad \text{in } L^{\infty} \bigl(0,T;H^{1}_{0}(\Omega) \bigr) \text{ weak-star}, \end{aligned}$$
$$\begin{aligned} &\varphi_{\epsilon m'}\rightarrow\varphi_{\epsilon} \quad \text{in } L^{2} \bigl(0,T;H^{2}(\Omega) \bigr) \text{ strongly}, \end{aligned}$$
$$\begin{aligned} &p_{\epsilon m'}\rightarrow p_{\epsilon}\quad \text{in } L^{\infty} \bigl(0,T;L^{2}(\Omega) \bigr) \text{ weak-star}. \end{aligned}$$
Take \(\psi(t)\in\mathcal{C}^{\infty}_{c}([0,T])\) with \(\psi(T)=0\). We multiply (3.30) (resp. (3.31), (3.33)) by \(\psi(t)\), integrate over \([0,T]\), and then integrate the first term by parts:
$$\begin{aligned}& -a_{1} \int^{T}_{0} \bigl(v_{\epsilon m'}(t), \omega_{k}\psi'(t) \bigr)\,dt+a_{2} \int^{T}_{0} \bigl( \bigl(v_{\epsilon m'}(t), \omega_{k}\psi'(t) \bigr) \bigr)\,dt \\& \qquad {}+a_{1} \int^{T}_{0}\hat{b} \bigl(v_{\epsilon m'}(t),v_{\epsilon m'}(t), \omega_{k} \psi(t) \bigr)\,dt \\& \qquad {}+ \int^{T}_{0}\hat{n} \bigl(q_{\epsilon m'}+ \tilde{Q}_{0},\varphi_{\epsilon m'}+ \tilde{\phi}_{0}, \omega_{k} \psi(t) \bigr)\,dt+ \int^{T}_{0} \bigl(\nabla p_{ \epsilon m'}, \omega_{k}\psi(t) \bigr)\,dt \\& \quad = \int^{T}_{0} \bigl(f(t),\omega_{k}\psi (t) \bigr)\,dt+(v _{0m'},\omega_{k})\psi(0), \end{aligned}$$
$$\begin{aligned}& - \int^{T}_{0} \bigl(q_{\epsilon m'}(t),w_{k} \psi'(t) \bigr)\,dt+a_{3} \int^{T} _{0} \bigl( \bigl(q_{\epsilon m'}(t),w_{k} \psi(t) \bigr) \bigr)\,dt+a_{4} \int^{T}_{0} \bigl(q_{ \epsilon m'}(t),w_{k} \psi(t) \bigr)\,dt \\& \quad {}- \int^{T}_{0}\hat{n} \bigl(q_{\epsilon m'}+ \tilde{Q}_{0},\omega_{k}\psi(t),v _{\epsilon m'} \bigr) \,dt=(q_{0m'},w_{k})\psi(0), \end{aligned}$$
$$\begin{aligned}& -\epsilon \int^{T}_{0} \bigl(p_{\epsilon m'}(t), \gamma_{l}\psi'(t) \bigr)\,dt+ \int^{T}_{0} \bigl( \operatorname{div}v_{\epsilon m'}(t), \gamma_{l}\psi(t) \bigr)\,dt \\& \quad =\epsilon (p_{0m'}, \gamma_{l})\psi(0),\quad 1\leq k,l\leq m. \end{aligned}$$
We look at the convergence of the nonlinear terms in (3.66) and (3.67). Firstly
$$\begin{aligned} & \biggl\vert \int^{T}_{0}\hat{b} \bigl(v_{\epsilon m'}(t),v_{\epsilon m'}(t), \omega_{k}\psi(t) \bigr)\,dt- \int^{T}_{0}\hat{b} \bigl(v_{\epsilon}(t),v_{\epsilon}(t), \omega_{k}\psi(t) \bigr)\,dt \biggr\vert \\ &\quad \leq\frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon m'}(t),v_{\epsilon m'}(t), \omega_{k}\psi(t) \bigr)\,dt- \int^{T}_{0}b \bigl(v_{\epsilon}(t),v_{\epsilon}(t), \omega_{k}\psi(t) \bigr)\,dt \biggr\vert \\ &\qquad {}+ \frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon m'}(t), \omega_{k}\psi(t),v _{\epsilon m'}(t) \bigr)\,dt- \int^{T}_{0}b \bigl(v_{\epsilon}(t), \omega_{k}\psi(t),v _{\epsilon}(t) \bigr)\,dt \biggr\vert \\ &\quad \leq\frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon m'}(t)-v_{\epsilon}(t),v_{\epsilon m'}(t), \omega_{k}\psi(t) \bigr)\,dt \biggr\vert \\ &\qquad {}+ \frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon}(t),v_{\epsilon m'}(t)-v_{\epsilon}(t), \omega_{k}\psi(t) \bigr)\,dt \biggr\vert \\ &\qquad {}+ \frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon m'}(t)-v_{\epsilon}(t), \omega_{k}\psi(t),v_{\epsilon m'}(t) \bigr)\,dt \biggr\vert \\ &\qquad {}+ \frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon}(t), \omega_{k}\psi(t),v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr)\,dt \biggr\vert \\ &\quad \triangleq b_{1}+b_{2}+b_{3}+b_{4}, \end{aligned}$$
$$\begin{aligned}& b_{1} =\frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon m'}(t)-v_{\epsilon}(t),v_{\epsilon m'}(t), \omega_{k}\psi(t) \bigr)\,dt \biggr\vert \\& \hphantom{b_{1}}\leq\frac{1}{2}\sup_{t\in(0,T)} \bigl\vert \psi(t) \bigr\vert \sup_{x\in\Omega} \vert \omega_{k}\vert \int^{T}_{0} \bigl\vert v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr\vert \bigl\vert \nabla v_{\epsilon m'}(t) \bigr\vert \,dt \\& \hphantom{b_{1}}\leq C \bigl\Vert v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr\Vert _{L^{2}(0,T;\mathbb{L} ^{2}(\Omega))} \bigl\Vert v_{\epsilon m'}(t) \bigr\Vert _{L^{2}(0,T;{\mathbb{H}}^{1}_{0}( \Omega))} \rightarrow0 \quad \mbox{as }m'\rightarrow\infty, \end{aligned}$$
$$\begin{aligned}& b_{2} =\frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon}(t),v_{\epsilon m'}(t)-v_{\epsilon}(t), \omega_{k}\psi(t) \bigr)\,dt \biggr\vert \\ & \hphantom{b_{2}}=\frac{1}{2} \biggl\vert \int^{T}_{0}\operatorname{div}v_{\epsilon} \bigl(v_{\epsilon m'}(t)-v _{\epsilon}(t) \bigr)\omega_{k}\psi (t) \,dt \biggr\vert \\ & \hphantom{b_{2}={}}{}+\frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v _{\epsilon}(t), \omega_{k}\psi(t),v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr)\,dt \biggr\vert \\ & \hphantom{b_{2}}\leq\frac{1}{2}\sup_{t\in(0,T)} \bigl\vert \psi(t) \bigr\vert \sup_{x\in\Omega} \vert \omega_{k}\vert \int^{T}_{0} \bigl\vert v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr\vert \bigl\vert \nabla v_{\epsilon}(t) \bigr\vert \,dt \\ & \hphantom{b_{2}={}}{}+\frac{1}{2}\sup_{t\in(0,T)} \bigl\vert \psi(t) \bigr\vert \sup_{x\in\Omega} \vert \nabla\omega_{k}\vert \int^{T}_{0} \bigl\vert v_{\epsilon}(t) \bigr\vert \bigl\vert v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr\vert \,dt \\ & \hphantom{b_{2}}\leq C \bigl\Vert v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr\Vert _{L^{2}(0,T;\mathbb{L} ^{2}(\Omega))} \bigl( \bigl\Vert v_{\epsilon}(t) \bigr\Vert _{L^{2}(0,T;\mathbb{H}^{1}_{0}( \Omega))} \\ & \hphantom{b_{2}={}}{}+ \bigl\Vert v_{\epsilon}(t) \bigr\Vert _{L^{2}(0,T;\mathbb {L}^{2}(\Omega))} \bigr) \rightarrow0\quad \mbox{as }m'\rightarrow0, \end{aligned}$$
$$\begin{aligned}& b_{3} =\frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon m'}(t)-v_{\epsilon}(t), \omega_{k}\psi(t),v_{\epsilon m'}(t) \bigr)\,dt \biggr\vert \\ & \hphantom{b_{3}}\leq\frac{1}{2}\sup_{t\in(0,T)} \bigl\vert \psi(t) \bigr\vert \sup_{x\in\Omega} \vert \nabla\omega_{k}\vert \int^{T}_{0} \bigl\vert v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr\vert \bigl\vert v_{\epsilon m'}(t) \bigr\vert \,dt \\ & \hphantom{b_{3}}\leq C \bigl\Vert v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr\Vert _{L^{2}(0,T;\mathbb{L} ^{2}(\Omega))} \bigl\Vert v_{\epsilon m'}(t) \bigr\Vert _{L^{2}(0,T;\mathbb{L}^{2}( \Omega))} \rightarrow0\quad \mbox{as }m'\rightarrow\infty, \end{aligned}$$
$$\begin{aligned}& b_{4} =\frac{1}{2} \biggl\vert \int^{T}_{0}b \bigl(v_{\epsilon}(t), \omega_{k}\psi(t),v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr)\,dt \biggr\vert \\ & \hphantom{b_{4}}=\frac{1}{2}\sup_{t\in(0,T)} \bigl\vert \psi(t) \bigr\vert \sup_{x\in\Omega} \vert \nabla\omega_{k}\vert \int^{T}_{0} \bigl\vert v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr\vert \bigl\vert v_{\epsilon}(t) \bigr\vert \,dt \\ & \hphantom{b_{4}}\leq C \bigl\Vert v_{\epsilon}(t) \bigr\Vert _{L^{2}(0,T;\mathbb {L}^{2}(\Omega))} \bigl\Vert v_{\epsilon m'}(t)-v_{\epsilon}(t) \bigr\Vert _{L^{2}(0,T;\mathbb {L}^{2}(\Omega ))}\rightarrow0 \quad \mbox{as } m'\rightarrow\infty. \end{aligned}$$
It then follows from (3.69)-(3.73) that
$$\begin{aligned} \int^{T}_{0}\hat{b} \bigl(v_{\epsilon m'}(t),v_{\epsilon m'}(t), \omega_{k} \psi(t) \bigr)\,dt\rightarrow \int^{T}_{0}\hat{b} \bigl(v_{\epsilon}(t),v_{\epsilon }(t), \omega_{k}\psi(t) \bigr)\,dt. \end{aligned}$$
Similarly, we can conclude that
$$\begin{aligned} & \int^{T}_{0}\hat{n} \bigl(q_{\epsilon m'}(t)+ \tilde{Q}_{0}, \varphi_{\epsilon m'}(t)+\tilde{\phi}_{0}, \omega_{k}\psi(t) \bigr)\,dt \\ &\quad \rightarrow \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}(t)+ \tilde{Q}_{0}, \varphi_{\epsilon}(t)+\tilde{\phi}_{0}, \omega_{k}\psi(t) \bigr)\,dt, \end{aligned}$$
$$\begin{aligned} & \int^{T}_{0}\hat{n} \bigl(q_{\epsilon m'}(t)+ \tilde{Q}_{0},\omega_{k} \psi(t),v_{\epsilon m'}(t) \bigr) \,dt \\ &\quad \rightarrow \int^{T}_{0}\hat{n} \bigl(q_{ \epsilon}(t)+ \tilde{Q}_{0},\omega_{k}\psi(t),v_{\epsilon}(t) \bigr) \,dt. \end{aligned}$$
Taking the limit of (3.66)-(3.68) as \(m'\rightarrow \infty\), we find that
$$\begin{aligned}& -a_{1} \int^{T}_{0} \bigl(v_{\epsilon}(t), \omega_{k}\psi'(t) \bigr)\,dt+ a_{2} \int^{T}_{0} \bigl( \bigl(v_{\epsilon}(t), \omega_{k}\psi(t) \bigr) \bigr)\,dt \\& \qquad {}+a_{1} \int^{T}_{0} \hat{b} \bigl(v_{\epsilon}(t),v_{\epsilon}(t), \omega_{k}\psi(t) \bigr)\,dt \\& \qquad {}+ \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}+ \tilde{Q}_{0},\varphi_{\epsilon}+ \tilde{\phi}_{0}, \omega_{k} \psi(t) \bigr)\,dt+ \int^{T}_{0} \bigl(\nabla p_{ \epsilon}, \omega_{k}\psi(t) \bigr)\,dt \\& \quad = \int^{T}_{0} \bigl(f(t),\omega_{k}\psi (t) \bigr)\,dt+(v _{0},\omega_{k})\psi(0), \end{aligned}$$
$$\begin{aligned}& - \int^{T}_{0} \bigl(q_{\epsilon}(t),w_{k} \psi'(t) \bigr)\,dt+a_{3} \int^{T}_{0} \bigl( \bigl(q _{\epsilon}(t),w_{k} \psi(t) \bigr) \bigr)\,dt+a_{4} \int^{T}_{0} \bigl(q_{\epsilon}(t),w _{k}\psi(t) \bigr)\,dt \\& \quad {}- \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}+ \tilde{Q}_{0},\omega_{k}\psi(t),v _{\epsilon} \bigr) \,dt=(q_{0},w_{k})\psi(0), \end{aligned}$$
$$\begin{aligned}& -\epsilon \int^{T}_{0} \bigl(p_{\epsilon}(t), \gamma_{l}\psi'(t) \bigr)\,dt+ \int^{T}_{0} \bigl( \operatorname{div}v_{\epsilon}(t), \gamma_{l}\psi(t) \bigr)\,dt \\& \quad =\epsilon (p_{0}, \gamma_{l})\psi(0),\quad 1\leq k,l\leq m. \end{aligned}$$
Thus, (3.77) (resp. (3.78) or (3.79)) holds for ω= (resp. w or γ) any finite linear combination of \(\omega_{k}\) (resp. \(w_{k}\) or \(\gamma_{l}\)). And by a continuity argument, (3.77) is still valid for any \(\omega\in{\mathbb{H} ^{1}_{0}}(\Omega)\), (3.78) is still valid for any \(w\in H^{1} _{0}(\Omega)\), and (3.79) is still valid for any \(\gamma \in L^{2}(\Omega)\). Hence,
$$\begin{aligned}& -a_{1} \int^{T}_{0} \bigl(v_{\epsilon}(t),\omega\psi '(t) \bigr)\,dt+ a_{2} \int^{T}_{0} \bigl( \bigl(v_{\epsilon}(t),\omega \psi(t) \bigr) \bigr)\,dt \\& \qquad {}+a_{1} \int^{T}_{0} \hat{b} \bigl(v_{\epsilon}(t),v_{\epsilon}(t), \omega\psi(t) \bigr)\,dt \\& \qquad {}+ \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}+ \tilde{Q}_{0},\varphi_{\epsilon}+ \tilde{\phi}_{0}, \omega\psi(t) \bigr)\,dt+ \int^{T}_{0} \bigl(\nabla p_{\epsilon },\omega \psi(t) \bigr)\,dt \\& \quad {}= \int^{T}_{0} \bigl(f(t),\omega\psi(t) \bigr) \,dt+(v_{0}, \omega)\psi(0), \end{aligned}$$
$$\begin{aligned}& - \int^{T}_{0} \bigl(q_{\epsilon}(t),w\psi '(t) \bigr)\,dt+a_{3} \int^{T}_{0} \bigl( \bigl(q _{\epsilon}(t),w\psi (t) \bigr) \bigr)\,dt+a_{4} \int^{T}_{0} \bigl(q_{\epsilon}(t),w \psi(t) \bigr)\,dt \\& \quad {}- \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}+ \tilde{Q}_{0},\omega\psi(t),v _{\epsilon} \bigr) \,dt=(q_{0},w) \psi(0), \end{aligned}$$
$$\begin{aligned}& -\epsilon \int^{T}_{0} \bigl(p_{\epsilon}(t),\gamma\psi '(t) \bigr)\,dt+ \int^{T} _{0} \bigl( \operatorname{div}v_{\epsilon}(t), \gamma\psi(t) \bigr)\,dt \\& \quad {}=\epsilon(p_{0}, \gamma) \psi(0),\quad 1\leq k,l\leq m. \end{aligned}$$
Equations (3.80)-(3.82) show that \(\{v_{\epsilon},q_{ \epsilon},\varphi_{\epsilon},p_{\epsilon}\}\) satisfy (3.24)-(3.27) in the sense of distributions.
It remains to prove that \(v_{\epsilon}\), \(q_{\epsilon}\), \(\varphi_{\epsilon}\) and \(p_{\epsilon}\) satisfy (3.28). To this end, we take \(\psi(t)\in{\mathcal{C}^{\infty}_{c}}([0,T])\) with \(\psi(T)=0\) and use \(\psi(t)\) to multiply (3.24)-(3.25), (3.27), respectively, then integrate the resulting equalities over \([0,T]\) and then use integrating by parts for the first term to obtain
$$\begin{aligned}& -a_{1} \int^{T}_{0} \bigl(v_{\epsilon}(t),\omega\psi '(t) \bigr)\,dt+ a_{2} \int^{T}_{0} \bigl( \bigl(v_{\epsilon}(t),\omega \psi(t) \bigr) \bigr)\,dt \\& \qquad {}+a_{1} \int^{T}_{0} \hat{b} \bigl(v_{\epsilon}(t),v_{\epsilon}(t), \omega\psi(t) \bigr)\,dt \\& \qquad {}+ \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}+ \tilde{Q}_{0},\varphi_{\epsilon}+ \tilde{\phi}_{0}, \omega\psi(t) \bigr)\,dt+ \int^{T}_{0} \bigl(\nabla p_{\epsilon },\omega \psi(t) \bigr)\,dt \\& \quad = \int^{T}_{0} \bigl(f(t),\omega\psi(t) \bigr)\,dt+ \bigl(v_{\epsilon }(0),\omega \bigr)\psi(0), \end{aligned}$$
$$\begin{aligned}& - \int^{T}_{0} \bigl(q_{\epsilon}(t),w\psi '(t) \bigr)\,dt+a_{3} \int^{T}_{0} \bigl( \bigl(q _{\epsilon}(t),w\psi (t) \bigr) \bigr)\,dt+a_{4} \int^{T}_{0} \bigl(q_{\epsilon}(t),w \psi(t) \bigr)\,dt \\& \qquad {}- \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}+ \tilde{Q}_{0},\omega\psi(t),v _{\epsilon} \bigr)\,dt= \bigl(q_{\epsilon}(0),w \bigr)\psi(0), \end{aligned}$$
$$\begin{aligned}& -\epsilon \int^{T}_{0} \bigl(p_{\epsilon}(t),\gamma\psi '(t) \bigr)\,dt+ \int^{T} _{0} \bigl( \operatorname{div}v_{\epsilon}(t), \gamma\psi(t) \bigr)\,dt \\& \quad =\epsilon \bigl(p_{ \epsilon}(0), \gamma \bigr)\psi(0),\quad 1\leq k,l \leq m. \end{aligned}$$
By comparing (3.80) with (3.83), (3.81) with (3.84), (3.82) with (3.85), we obtain
$$\begin{aligned} & \bigl(v_{\epsilon}(0)-u_{0},\omega \bigr)\psi(0)=0 \quad \forall \omega\in{\mathbb{H}^{1}_{0}}(\Omega), \\ & \bigl(q_{\epsilon}(0)-q_{0},w \bigr)\psi(0)=0\quad \forall w\in H^{1}_{0}(\Omega), \\ & \bigl(p_{\epsilon}(0)-p_{0},\gamma \bigr)\psi(0)=0\quad \forall \gamma\in L^{2}(\Omega). \end{aligned}$$
We can choose \(\psi(0)\neq0\) and obtain
$$\begin{aligned} & \bigl(v_{\epsilon}(0)-v_{0},\omega \bigr)=0\quad \forall\omega \in{ \mathbb{H}^{1}_{0}}(\Omega), \\ & \bigl(q_{\epsilon}(0)-q_{0},w \bigr)=0 \quad \forall w\in H^{1}_{0}(\Omega), \\ & \bigl(p_{\epsilon}(0)-p_{0},\gamma \bigr)=0\quad \forall\gamma \in L^{2}(\Omega). \end{aligned}$$
Thus, (3.28) holds.
Next, we will prove the solution is unique. For this purpose we drop the indices ϵ and denote by \(\{v_{1},q_{1},\varphi_{1},p_{1}\}\), \(\{v_{2},q_{2},\varphi_{2},p_{2}\}\) two solutions of Problem 3.1 and then set
$$\begin{aligned}& u=v_{2}-v_{1},\quad r=q_{2}-q_{1}, \quad \psi= \varphi_{2}-\varphi_{1},\quad p=p _{2}-p_{1}, \\& Q_{i}=q_{i}+\tilde{Q}_{0},\quad \phi_{i}= \varphi_{i}+ \tilde{\phi}_{0},\quad i=1,2. \end{aligned}$$
$$\begin{aligned} &a_{1}u'+a_{2}{ \mathcal{A}_{0}}u+ \nabla p=-a_{1}\hat{B}(v _{2},v_{2})+a_{1} \hat{B}(v_{1},v_{1})+\hat{N}(Q_{1}, \phi_{1})-\hat{N}(Q _{2},\phi_{2}), \end{aligned}$$
$$\begin{aligned} &r'=-a_{3}{ \mathcal{A}_{1}}r- a_{4}r+\hat{M}(Q_{2},v_{2})- \hat{M}(Q_{1},v_{1}), \end{aligned}$$
$$\begin{aligned} &\epsilon p' +\operatorname{div}u=0, \end{aligned}$$
$$\begin{aligned} &{ \mathcal{A}_{1}}\psi=r. \end{aligned}$$
Taking the scalar of (3.86) with u, (3.87) with ψ and (3.88) with p, and adding these equations and using (3.89), we find
$$\begin{aligned} &\frac{d}{dt} \bigl[a_{1} \bigl\vert u(t) \bigr\vert ^{2}+ \bigl\Vert \psi(t) \bigr\Vert ^{2}+ \epsilon \bigl\vert p(t) \bigr\vert ^{2} \bigr]+2a _{2} \bigl\Vert u(t) \bigr\Vert ^{2}+2a_{3} \bigl\vert r(t) \bigr\vert ^{2}+2a_{4} \bigl\Vert \psi(t) \bigr\Vert ^{2} \\ &\quad = -2a_{1}\hat{b}(u,v_{1},u)+2\hat{n}(r,\psi ,v_{1})-2\hat{n}(r,\phi_{1},u) \\ &\quad \leq a_{1} \bigl[\Vert u\Vert \vert u\vert \Vert v_{1}\Vert +\vert u\vert ^{\frac{1}{2}}\Vert u\Vert ^{\frac{3}{2}} \Vert v_{1}\Vert ^{\frac{1}{2}}\vert v_{1}\vert ^{\frac{1}{2}} \bigr] \\ &\qquad {}+\vert r\vert ^{\frac{3}{2}} \vert v_{1} \vert ^{ \frac{1}{2}}\Vert v_{1}\Vert ^{\frac{1}{2}}\Vert \psi \Vert ^{\frac{1}{2}}+\Vert \psi \Vert ^{\frac{1}{2}}\vert \psi \vert ^{\frac{1}{2}}\vert r\vert \vert v_{1} \vert ^{\frac{1}{2}}\Vert v_{1}\Vert ^{\frac{1}{2}} \\ &\qquad {}+ \vert r\vert \vert u\vert ^{\frac{1}{2}}\Vert u\Vert ^{\frac{1}{2}}\Vert \phi_{1}\Vert ^{\frac{1}{2}} \Vert \phi_{1}\Vert ^{\frac{1}{2}}_{H^{2}}+\vert \phi_{1} \vert ^{\frac{1}{2}} \Vert \phi_{1}\Vert ^{\frac{1}{2}}\vert r \vert \vert u\vert ^{\frac{1}{2}}+\Vert u\Vert ^{\frac{1}{2}} \\ &\quad \leq a_{2}\Vert u\Vert ^{2}+C_{1}(a_{2}) \bigl(\vert u\vert ^{2}\Vert v_{1}\Vert ^{2}+\vert u\vert ^{2} \Vert v_{1}\Vert ^{2}\vert v_{1}\vert ^{2} \bigr)+a_{3} \vert r\vert ^{2} \\ &\qquad {}+C_{2} \bigl(\vert v_{1} \vert ^{2} \Vert v_{1}\Vert ^{2}\Vert \psi \Vert ^{2}+ \Vert \psi \Vert \vert \psi \vert \vert v_{1} \vert \Vert v_{1}\Vert \bigr) \\ &\qquad {}+ a_{3}\vert r\vert ^{2}+a_{2}\Vert u \Vert ^{2}+C_{3}(a_{3},a_{2}) \bigl( \vert u\vert ^{2}\Vert \phi_{1}\Vert ^{2} \Vert \phi_{1}\Vert ^{2}_{H^{2}}+\vert u\vert ^{2}\vert \phi_{1}\vert ^{2}\Vert \phi_{1}\Vert ^{2} \bigr). \end{aligned}$$
Then we can conclude from that equation
$$\begin{aligned} &\frac{d}{dt} \bigl[a_{1} \bigl\vert u(t) \bigr\vert ^{2}+ \bigl\Vert \psi(t) \bigr\Vert ^{2}+ \epsilon \bigl\vert p(t) \bigr\vert ^{2} \bigr] \\ &\quad \leq C_{1}(a_{2}) \bigl(\vert u \vert ^{2} \Vert v_{1}\Vert ^{2}+\vert u \vert ^{2} \Vert v_{1}\Vert ^{2}\vert v_{1}\vert ^{2} \bigr)+C _{2}(a_{3}) \bigl(\vert v_{1}\vert ^{2}\Vert v_{1}\Vert ^{2} \Vert \psi \Vert ^{2}+\Vert \psi \Vert \vert \psi \vert \vert v _{1}\vert \Vert v_{1}\Vert \bigr) \\ &\qquad {}+ C_{3}(a_{3},a_{2}) \bigl(\vert u \vert ^{2}\Vert \phi_{1}\Vert ^{2}\Vert \phi_{1}\Vert ^{2}_{H^{2}}+\vert u\vert ^{2}\vert \phi_{1}\vert ^{2}\Vert \phi_{1}\Vert ^{2} \bigr) \\ &\quad \leq C_{1}(a_{2}) \bigl(\vert u \vert ^{2} \Vert v_{1}\Vert ^{2}+\vert u \vert ^{2} \Vert v_{1}\Vert ^{2}\vert v_{1}\vert ^{2} \bigr)+C _{2}(a_{3}) \bigl(\vert v_{1}\vert ^{2}\Vert v_{1}\Vert ^{2} \Vert \psi \Vert ^{2}+\Vert \psi \Vert ^{2} \vert v_{1}\vert \Vert v_{1}\Vert \bigr) \\ &\qquad {}+ C_{3}(a_{3},a_{2}) \bigl(\vert u \vert ^{2}\Vert \phi_{1}\Vert ^{2}\Vert \phi_{1}\Vert ^{2}_{H^{2}}+\vert u\vert ^{2}\vert \phi_{1}\vert ^{2}\Vert \phi_{1}\Vert ^{2} \bigr). \end{aligned}$$
From (3.91), we have
$$\begin{aligned} \frac{d}{dt} \bigl[a_{1} \bigl\vert u(t) \bigr\vert ^{2}+ \bigl\Vert \psi(t) \bigr\Vert ^{2}+\epsilon \bigl\vert p(t) \bigr\vert ^{2} \bigr] \leq h(t) \bigl[a_{1} \bigl\vert u(t) \bigr\vert ^{2}+ \bigl\Vert \psi(t) \bigr\Vert ^{2} \bigr], \end{aligned}$$
$$\begin{aligned} h(t) =&\frac{C_{1}(a_{2})}{a_{1}} \bigl[ \bigl\Vert v_{1}(t) \bigr\Vert ^{2}+ \bigl\vert v_{1}(t) \bigr\vert ^{2} \bigl\Vert v_{1}(t) \bigr\Vert ^{2} \bigr] \\ &{}+C_{2}(a_{3}) \bigl[ \bigl\vert v_{1}(t) \bigr\vert ^{2} \bigl\Vert v_{1}(t) \bigr\Vert ^{2}+ \bigl\vert v_{1}(t) \bigr\vert \bigl\Vert v_{1}(t) \bigr\Vert \bigr] \\ &{}+ \frac{C_{3}(a_{3},a_{2})}{a_{1}} \bigl[ \bigl\Vert \phi_{1}(t) \bigr\Vert ^{2} \bigl\Vert \phi_{1}(t) \bigr\Vert ^{2}_{H^{2}}+ \bigl\vert \phi_{1}(t) \bigr\vert ^{2} \bigl\Vert \phi(t) \bigr\Vert ^{2} \bigr]. \end{aligned}$$
The function \(t\rightarrow h(t)\) belongs to \(L^{1}(0,T)\) in view of equations (3.40), (3.42) and (3.47)-(3.48). Moreover, we infer \(\psi(0)=0\) from \(r(0)=0\) and \({ \mathcal{A}_{1}}\psi=r\). We apply the Gronwall inequality to equation (3.92), we have
$$\bigl\vert u(t) \bigr\vert =0,\quad \bigl\Vert \psi(t) \bigr\Vert =0, \quad \mbox{for all }t \in[0,T]. $$
Thus, \(v_{1}=v_{2}\), \(q_{1}=q_{2}\) and \(\varphi_{1}=\varphi_{2}\). The proof is complete. □

4 Convergence of solutions for the compressible electrohydrodynamics system to the incompressible electrohydrodynamics system

In this section, we show how the solutions of the perturbed problems converge to the solutions of the incompressible electrohydrodynamics system.

Theorem 4.1

For \(\epsilon\in(0,1]\), \(v_{0}\), \(q_{0}\) and \(p_{0}\) be given satisfying (2.1), (2.2), and (3.4), the solutions \(\{v_{\epsilon },q_{\epsilon},\varphi_{\epsilon},p_{\epsilon}\}\) of Problem  3.1 converge to the solutions \(\{v,q,\varphi,p\}\) of Problem  2.1 as \(\epsilon\rightarrow0^{+}\) in the following sense:
$$\begin{aligned} &v_{\epsilon}\rightarrow v\quad \textit{in } L^{\infty} \bigl(0,T; \mathbb{L}^{2}(\Omega) \bigr) \textit{ weak-star}, \end{aligned}$$
$$\begin{aligned} &q_{\epsilon}\rightarrow q \quad \textit{in } L^{\infty} \bigl(0,T;L^{2}( \Omega) \bigr) \textit{ weak-star}, \end{aligned}$$
$$\begin{aligned} &\varphi_{\epsilon}\rightarrow\varphi\quad \textit{in } L^{\infty} \bigl(0,T;H^{1}(\Omega) \bigr) \textit{ weak-star}, \end{aligned}$$
$$\begin{aligned} &v_{\epsilon}\rightarrow v \quad \textit{in } L^{2} \bigl(0,T;{ \mathbb{H}^{1}_{0}}(\Omega) \bigr) \textit{ weakly}, \end{aligned}$$
$$\begin{aligned} &q_{\epsilon}\rightarrow q \quad \textit{in } L^{2} \bigl(0,T;{H^{1}_{0}}( \Omega) \bigr) \textit{ weakly}, \end{aligned}$$
$$\begin{aligned} &v_{\epsilon}\rightarrow v \quad \textit{in } L^{2} \bigl(0,T; \mathbb{L}^{2}(\Omega) \bigr) \textit{ strongly}, \end{aligned}$$
$$\begin{aligned} &q_{\epsilon}\rightarrow q \quad \textit{in } L^{2} \bigl(0,T;L^{2}( \Omega) \bigr) \textit{ strongly}, \end{aligned}$$
$$\begin{aligned} &\varphi_{\epsilon}\rightarrow\varphi\quad \textit{in } L^{2} \bigl(0,T;H^{2}(\Omega) \bigr) \textit{ strongly}, \end{aligned}$$
$$\begin{aligned} &\nabla p_{\epsilon}\rightarrow\nabla p \quad \textit{in } L^{4/3} \bigl(0,T; \mathbb{H}^{-1} \bigr) \textit{ weakly}. \end{aligned}$$


By (3.40), (3.42), (3.44), (3.48), (3.53)-(3.55), we have for all \(\epsilon\in(0,1]\)
$$\begin{aligned} &\Vert v_{\epsilon} \Vert _{L^{\infty}(0,T;\mathbb{L}^{2}(\Omega ))}\leq\liminf_{m\rightarrow\infty} \Vert v_{\epsilon m}\Vert _{L^{\infty}(0,T; \mathbb{L}^{2}(\Omega))}\leq\frac{\sqrt{d_{1}}}{a_{1}}, \end{aligned}$$
$$\begin{aligned} &\Vert \varphi_{\epsilon} \Vert _{L^{\infty}(0,T;H^{1}(\Omega ))}\leq\liminf _{m\rightarrow\infty} \Vert \varphi_{\epsilon m}\Vert _{L^{\infty}(0,T;H ^{1}(\Omega))}\leq \sqrt{d_{1}}, \end{aligned}$$
$$\begin{aligned} &\Vert q_{\epsilon} \Vert _{L^{\infty}(0,T;L^{2}(\Omega))}\leq \liminf_{m\rightarrow\infty} \Vert q_{\epsilon m}\Vert _{L^{\infty}(0,T;L ^{2}(\Omega))}\leq\sqrt{d_{2}}, \end{aligned}$$
$$\begin{aligned} &\Vert v_{\epsilon} \Vert _{L^{2}(0,T;{\mathbb{H}^{1}_{0}}(\Omega ))}\leq\liminf_{m\rightarrow\infty} \Vert v_{\epsilon m}\Vert _{L^{2}(0,T;{\mathbb{H} ^{1}_{0}}(\Omega))}\leq\sqrt{\frac{d_{1}}{2a_{2}-\frac{2C}{\lambda _{1}\delta}}}, \end{aligned}$$
$$\begin{aligned} &\Vert q_{\epsilon} \Vert _{L^{2}(0,T;{H^{1}_{0}}(\Omega))}\leq \liminf_{m\rightarrow\infty} \Vert q_{\epsilon m}\Vert _{L^{2}(0,T;{H^{1} _{0}}(\Omega))}\leq\sqrt{\frac{d_{2}}{2a_{3}}}, \end{aligned}$$
$$\begin{aligned} &\sqrt{\epsilon} \Vert p_{\epsilon} \Vert _{L^{\infty }(0,T;L^{2}(\Omega))} \leq\liminf _{m\rightarrow\infty}\sqrt{\epsilon} \Vert p_{\epsilon m}\Vert _{L^{\infty}(0,T;L^{2}(\Omega))}\leq\sqrt{d_{1}}, \end{aligned}$$
$$\begin{aligned} & \int^{+\infty}_{-\infty} \vert \tau \vert ^{2\gamma} \bigl( \bigl\vert {\hat{v}_{\epsilon}}( \tau) \bigr\vert ^{2}+ \bigl\Vert {\hat{\varphi}_{\epsilon}}(\tau) \bigr\Vert ^{2} \bigr) \,d\tau \\ &\quad \leq\liminf_{m\rightarrow\infty} \int^{+\infty}_{-\infty} \vert \tau \vert ^{2 \gamma} \bigl( \bigl\vert {\hat{v}_{\epsilon m}}(\tau) \bigr\vert ^{2}+ \bigl\Vert {\hat{\varphi}_{\epsilon m}}(\tau) \bigr\Vert ^{2} \bigr) \,d\tau\leq C. \end{aligned}$$
By virtue of (4.10)-(4.16), there is a sequence \(\{\epsilon_{m}\}\subset(0,1]\) (\(\epsilon_{m}\rightarrow0^{+}\) as \(m\rightarrow\infty\)) and \(v_{*}\in L^{\infty}(0,T;\mathbb{L}^{2}( \Omega)) \cap L^{2}(0,T;{\mathbb{H}^{1}_{0}}(\Omega))\), \(q_{*}\in L^{\infty}(0,T;L ^{2}(\Omega)) \cap L^{2}(0,T;H^{1}_{0}(\Omega))\), \(\varphi_{*} \in L^{\infty}(0,T;H^{1}(\Omega)) \cap L^{2}(0,T;H^{2}(\Omega))\), and \(p_{*}\in L^{\infty}(0,T;L^{2}(\Omega))\) such that when \(\epsilon _{m}\rightarrow0^{+}\)
$$\begin{aligned} &v_{\epsilon_{m}}\rightarrow v_{*} \quad \text{in } L^{\infty} \bigl(0,T;\mathbb{L}^{2}(\Omega) \bigr) \text{ weak-star}, \end{aligned}$$
$$\begin{aligned} &q_{\epsilon_{m}}\rightarrow q_{*} \quad \text{in } L^{\infty} \bigl(0,T;L^{2}(\Omega) \bigr) \text{ weak-star}, \end{aligned}$$
$$\begin{aligned} &\varphi_{\epsilon_{m}}\rightarrow\varphi_{*} \quad \text{in } L^{\infty} \bigl(0,T;H^{1}(\Omega) \bigr) \text{ weak-star}, \end{aligned}$$
$$\begin{aligned} &v_{\epsilon_{m}}\rightarrow v_{*} \quad \text{in } L^{2} \bigl(0,T;{\mathbb{H}^{1}_{0}}(\Omega) \bigr) \text{ weakly}, \end{aligned}$$
$$\begin{aligned} &q_{\epsilon_{m}}\rightarrow q_{*} \quad \text{in } L^{2} \bigl(0,T;{H^{1}_{0}}(\Omega) \bigr) \text{ weakly}, \end{aligned}$$
$$\begin{aligned} &v_{\epsilon_{m}}\rightarrow v_{*} \quad \text{in } L^{2} \bigl(0,T;\mathbb{L}^{2}(\Omega) \bigr) \text{ strongly}, \end{aligned}$$
$$\begin{aligned} &q_{\epsilon_{m}}\rightarrow q_{*} \quad \text{in } L^{2} \bigl(0,T;L^{2}(\Omega) \bigr) \text{ strongly}, \end{aligned}$$
$$\begin{aligned} &\varphi_{\epsilon_{m}}\rightarrow\varphi_{*} \quad \text{in } L^{2} \bigl(0,T;H^{2}(\Omega) \bigr) \text{ strongly}, \end{aligned}$$
$$\begin{aligned} &\sqrt{\epsilon_{m}}p_{\epsilon_{m}}\rightarrow\chi\quad \text{in } L^{\infty} \bigl(0,T;L^{2}(\Omega) \bigr) \text{ weak-star}. \end{aligned}$$
Passing to the limit in (3.27) in the distribution sense as \(\epsilon_{m}\rightarrow0^{+}\), hence
$$\begin{aligned} \epsilon_{m}\frac{d}{dt}(p_{\epsilon_{m}},q)= \sqrt{\epsilon_{m}} \frac{d}{dt}(\sqrt{\epsilon_{m}}p_{\epsilon_{m}},q) \rightarrow0,\quad \forall q\in L^{2}(\Omega). \end{aligned}$$
Equations (3.27) and (4.26) give
$$\begin{aligned} (\operatorname{div}v_{*},q)=0,\quad \forall q\in L^{2}( \Omega). \end{aligned}$$
This implies that \(\operatorname{div}v_{*}=0\) and thus
$$\begin{aligned} &v_{*}\in L^{\infty} \bigl(0,T;\mathbb{L}^{2}(\Omega) \bigr) \cap L^{2} \bigl(0,T; {\mathbb{H}^{1}_{0}}( \Omega) \bigr), \end{aligned}$$
$$\begin{aligned} &q_{*}\in L^{\infty} \bigl(0,T;L^{2}(\Omega) \bigr) \cap L^{2} \bigl(0,T;H^{1}_{0}( \Omega) \bigr), \end{aligned}$$
$$\begin{aligned} &\varphi_{*}\in L^{\infty} \bigl(0,T;H^{1}(\Omega) \bigr) \cap L^{2} \bigl(0,T;H^{2}( \Omega) \bigr). \end{aligned}$$
Now let ω be an element of \(\mathcal{V}\) and w be an element of \(\mathcal{W}\). Equations (3.24) and (3.25) then give
$$\begin{aligned}& a_{1} \frac{d}{dt}\langle v_{\epsilon},\omega\rangle +a_{1}\hat{b}(v _{\epsilon},v_{\epsilon},\omega )-a_{2}(\triangle v_{\epsilon}, \omega)+\hat{n}(q_{\epsilon}+ \tilde{Q}_{0},\varphi_{\epsilon}+ \tilde{\phi}_{0}, \omega) =(f,\omega), \end{aligned}$$
$$\begin{aligned}& \frac{d}{dt}\langle q_{\epsilon},w\rangle-a_{3}(\triangle q_{ \epsilon},w)+a_{4}(q_{\epsilon},w)-\hat{n}(q_{\epsilon}+ \tilde{Q} _{0},w,v_{\epsilon})=0. \end{aligned}$$
We have
$$\begin{aligned} (\nabla p_{\epsilon},\omega)=(p_{\epsilon}, \operatorname{div}\omega)=0. \end{aligned}$$
If ψ is a continuously differentiable scalar function on \([0,T]\) with \(\psi(T)=0\), we can multiply (4.31), (4.32) by \(\psi(t)\) integrate in t. And then we integrate by parts, to obtain
$$\begin{aligned}& -a_{1} \int^{T}_{0} \bigl( v_{\epsilon},\omega\psi '(t) \bigr)\,dt+ a_{1} \int^{T} _{0}\hat{b} \bigl(v_{\epsilon},v_{\epsilon}, \omega\psi(t) \bigr)\,dt+a_{2} \int^{T}_{0} \bigl( \bigl( v_{\epsilon},\omega \psi(t) \bigr) \bigr)\,dt \\& \quad {}+ \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}+ \tilde{Q}_{0},\varphi_{\epsilon }+\tilde{\phi}_{0}, \omega\psi(t) \bigr)\,dt = \int^{T}_{0} \bigl(f,\omega\psi(t) \bigr)\,dt+(v _{0},\omega)\psi(0), \end{aligned}$$
$$\begin{aligned}& - \int^{T}_{0} \bigl(q_{\epsilon}(t),w\psi '(t) \bigr)\,dt+ a_{3} \int^{T}_{0} \bigl( \bigl(q _{\epsilon},w\psi(t) \bigr) \bigr)\,dt+a_{4} \int^{T}_{0} \bigl(q_{\epsilon},w\psi(t) \bigr) \,dt \\& \qquad {}- \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}+ \tilde{Q}_{0},w\psi(t),v_{\epsilon } \bigr)\,dt \\& \quad = (q_{0},w)\psi(0). \end{aligned}$$
Using the convergent relations (4.17)-(4.25) and similar derivations to (3.74)-(3.76)
$$\begin{aligned} & \int^{T}_{0}\hat{b} \bigl(v_{\epsilon}(t),v_{\epsilon}(t), \omega\psi(t) \bigr)\,dt \rightarrow \int^{T}_{0}\hat{b} \bigl(v_{*}(t),v_{*}(t), \omega\psi(t) \bigr)\,dt, \end{aligned}$$
$$\begin{aligned} & \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}(t)+ \tilde{Q}_{0},\varphi_{\epsilon }(t)+\tilde{\phi}_{0}, \omega\psi(t) \bigr)\,dt \\ &\quad \rightarrow \int^{T}_{0} \hat{n} \bigl(q_{*}(t)+ \tilde{Q}_{0},\varphi_{*}(t)+\tilde{\phi}_{0}, \omega\psi(t) \bigr)\,dt , \end{aligned}$$
$$\begin{aligned} & \int^{T}_{0}\hat{n} \bigl(q_{\epsilon}(t)+ \tilde{Q}_{0},\omega\psi(t),v _{\epsilon}(t) \bigr)\,dt\rightarrow \int^{T}_{0}\hat{n} \bigl(q_{*}(t)+ \tilde{Q} _{0},\omega\psi(t),v_{*}(t) \bigr)\,dt. \end{aligned}$$
We can pass to the limit in (4.33) and (4.34), we obtain
$$\begin{aligned}& -a_{1} \int^{T}_{0} \bigl( v_{*},\omega\psi '(t) \bigr)\,dt+ a_{1} \int^{T}_{0} \hat{b} \bigl(v_{*},v_{*}, \omega\psi(t) \bigr)\,dt+a_{2} \int^{T}_{0} \bigl( \bigl( v_{*}, \omega \psi(t) \bigr) \bigr)\,dt \\& \quad {}+ \int^{T}_{0}\hat{n} \bigl(q_{*}+ \tilde{Q}_{0},\varphi_{*}+\tilde{\phi} _{0}, \omega\psi(t) \bigr)\,dt = \int^{T}_{0} \bigl(f,\omega\psi(t) \bigr) \,dt+(v_{0}, \omega)\psi(0), \end{aligned}$$
$$\begin{aligned}& - \int^{T}_{0} \bigl(q_{*}(t),w\psi '(t) \bigr)\,dt+ a_{3} \int^{T}_{0} \bigl( \bigl(q_{*},w \psi(t) \bigr) \bigr)\,dt+a_{4} \int^{T}_{0} \bigl(q_{*},w\psi(t) \bigr) \,dt \\& \qquad {}- \int^{T}_{0}\hat{n} \bigl(q _{*}+ \tilde{Q}_{0},w\psi(t),v_{*} \bigr)\,dt \\& \quad = (q_{0},w)\psi(0). \end{aligned}$$
Equations (4.38)-(4.39) are the same as (2.14)-(2.15) because \(\operatorname{div}v_{*}=0\) and \(\hat{b}(v _{*}(t),v_{*}(t), \omega\psi(t))=b(v_{*}(t),v_{*}(t),\omega\psi(t))\), \(\hat{n}(q_{*}+\tilde{Q}_{0},\varphi_{*}+\tilde{\phi}_{0},\omega \psi(t))=n(q_{*}+\tilde{Q}_{0},\varphi_{*}+\tilde{\phi}_{0},\omega \psi(t))\), \(\hat{n}(q_{*}+\tilde{Q}_{0},\omega\psi(t),v_{*})=n(q _{*}+\tilde{Q}_{0},\omega\psi(t),v_{*})\). Then we can easily show that \(\{v_{*},q_{*},\varphi_{*}\}\) is a solution of Problem 2.1. We next prove the convergent relations (4.1)-(4.9). Equation (4.1) follows easily from (4.10), (4.2) follows easily from (4.12), (4.3) follows easily from (4.11), (4.4) follows easily from (4.13), (4.5) follows easily from (4.14). Equation (4.6) can be deduced from (4.16)-(4.17), (4.20) and the compact embedding theorem (see, e.g., [29]), simply, (4.7) can be deduced from (4.16), (4.18), (4.21) and the compact embedding theorem, (4.8) can be deduced from (4.16), (4.19) and the compact embedding theorem. It remains to prove (4.9). For this purpose we write (3.24) as
$$\begin{aligned} \nabla p_{\epsilon m}=f-a_{1}v'_{\epsilon}-a_{1} \hat{B}(v_{\epsilon })-a_{2}{ \mathcal{A}_{0}}v_{\epsilon}- \hat{N}(q_{\epsilon }+\tilde{Q}_{0},\varphi_{\epsilon}+\tilde{ \phi}_{0}). \end{aligned}$$
The convergent results for \(v_{\epsilon_{m}}\) show that the right-hand side of (4.40) converges weakly,
$$\begin{aligned} \begin{aligned}[b] &f-a_{1}v'_{*}-a_{1} \hat{B}(v_{*})-a_{2}{ \mathcal{A}_{0}}v _{*}-\hat{N}(q_{*}+\tilde{Q}_{0}, \varphi_{*}+\tilde{\phi}_{0}) \\ & \quad \text{in } L^{4/3} \bigl(0,T;\mathbb{H}^{-1} \bigr) \text{ as } \epsilon_{m} \rightarrow0^{+}. \end{aligned} \end{aligned}$$
We find that (4.41) is exactly p. Hence,
$$\begin{aligned} \nabla p_{\epsilon}\rightarrow\nabla p \quad \text{in } L^{4/3} \bigl(0,T;\mathbb{H}^{-1} \bigr) \mbox{ weakly}. \end{aligned}$$
That is, (4.9) is proved. The proof of Theorem 4.1 is complete. □



The authors would like to thank the referees for the invaluable suggestions, which led to some improvements of the current paper. This work was partially supported by the NSFC (No.11301003).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

School of Mathematical Sciences, Anhui University, Hefei, 230601, China


  1. Cimatti, G: Global attractors in electrohydrodynamics. Int. J. Eng. Sci. 35(9), 885-904 (1997) MathSciNetView ArticleMATHGoogle Scholar
  2. Cimatti, G: An example of bifurcation and non-uniqueness in electrohydrodynamics. Eur. J. Appl. Math. 8(2), 165-175 (1997) MathSciNetMATHGoogle Scholar
  3. Deng, C, Zhao, J, Cui, S: Well-posedness of a dissipative nonlinear electrohydrodynamic system in modulation spaces. Nonlinear Anal. 73, 2088-2100 (2010) MathSciNetView ArticleMATHGoogle Scholar
  4. Eringen, AC, Maugin, GA: Electrodynamics of Continua, vol. 12. Springer, New York (1989) Google Scholar
  5. Li, F: Quasineutral limit of the electro-diffusion model arising in electrohydrodynamics. J. Differ. Equ. 246, 3620-3641 (2009) MathSciNetView ArticleMATHGoogle Scholar
  6. Ghita, C, Pop, N, Popescu, IN: Existence result of an effective stress for an isotropic visco-plastic composite. Comput. Mater. Sci. 64(11), 52-56 (2012) View ArticleGoogle Scholar
  7. Marin, M, Marinescu, C: Thermoelasticity of initially stressed bodies. Asymptotic equipartition of energies. Int. J. Eng. Sci. 36(1), 73-86 (1998) MathSciNetView ArticleMATHGoogle Scholar
  8. Ryham, RJ: Existence, uniqueness, regularity and long-term behavior for dissipative systems modeling electrohydrodynamics (2009). arXiv:0910.4973v1
  9. Saville, DA: Electrohydrodynamics: the Taylor-Melcher leaky dielectric model. Annu. Rev. Fluid Mech. 29, 27-64 (1997) MathSciNetView ArticleGoogle Scholar
  10. Zhou, Y, Fan, J: Uniqueness of weak solutions to an eletrohydrodynamics model. Abstr. Appl. Anal. 2012, Article ID 864186 (2012) MATHGoogle Scholar
  11. Chorin, AJ: Numerical solution of the Navier-Stokes equations. Math. Comput. 22, 745-762 (1968) MathSciNetView ArticleMATHGoogle Scholar
  12. Chorin, AJ: On the convergence of discrete approximations to the Navier-Stokes equations. Math. Comput. 23, 341-353 (1969) MathSciNetView ArticleMATHGoogle Scholar
  13. Temam, R: Sur l’approximation de la solution des équations de Navier-Stokes par la méthode des pas fractionnaires. I. Arch. Ration. Mech. Anal. 32, 135-153 (1969) View ArticleMATHGoogle Scholar
  14. Temam, R: Sur lapproximation de la solution des équations de Navier-Stokes par la méthode des pas fractionnaires. II. Arch. Ration. Mech. Anal. 33, 377-385 (1969) View ArticleMATHGoogle Scholar
  15. Temam, R: Navier-Stokes Equations. Theory and Numerical Analysis. AMS Chelsea Publishing, Providence (2001) Reprint of the 1984 edition MATHGoogle Scholar
  16. Lions, PL: Mathematical Topics in Fluid Mechanics, Volume 1: Incompressible Models. Oxford Lecture Series in Mathematics and Its Applications, vol. 3. Clarendon, New York (1996) MATHGoogle Scholar
  17. Zhao, C, You, Y: Approximation of the incompressible convective Brinkman-Forchheimer equations. J. Evol. Equ. 12(4), 767-788 (2012) MathSciNetView ArticleMATHGoogle Scholar
  18. Zhao, C: Approximation of the incompressible non-Newtonian fluid equations by the artificial compressibility method. Math. Methods Appl. Sci. 36, 840-856 (2013) MathSciNetView ArticleMATHGoogle Scholar
  19. Donatelli, D, Marcati, P: A dispersive approach to the artificial compressibility approximations of the Navier-Stokes equations in 3D. J. Hyperbolic Differ. Equ. 3(3), 575-588 (2006) MathSciNetView ArticleMATHGoogle Scholar
  20. Donatelli, D: On the artificial compressibility method for the Navier-Stokes-Fourier system. Q. Appl. Math. 68(3), 469-485 (2010) MathSciNetView ArticleMATHGoogle Scholar
  21. Donatelli, D: The artificial compressibility approximation for MHD equations in unbounded domain. J. Hyperbolic Differ. Equ. 10(1), 181-198 (2013) MathSciNetView ArticleMATHGoogle Scholar
  22. Donatelli, D, Marcati, P: Leray weak solutions of the incompressible Navier-Stokes system on exterior domains via the artificial compressibility method. Indiana Univ. Math. J. 59, 1831-1852 (2010) MathSciNetView ArticleMATHGoogle Scholar
  23. Jiang, S, Ju, QC, Li, FC: Incompressible limit of the compressible magnetohydrodynamic equations with vanishing viscosity coefficients. SIAM J. Math. Anal. 42(6), 2539-2553 (2010) MathSciNetView ArticleMATHGoogle Scholar
  24. Jiang, S, Ju, QC, Li, FC: Incompressible limit of the compressible magnetohydrodynamic equations with periodic boundary conditions. Commun. Math. Phys. 297, 371-400 (2010) MathSciNetView ArticleMATHGoogle Scholar
  25. Lions, PL, Masmoudi, N: Incompressible limit for a viscous compressible fluid. J. Math. Pures Appl. 77, 588-627 (1998) MathSciNetView ArticleMATHGoogle Scholar
  26. Bucur, D, Feireisl, E: The incompressible limit of the full Navier-Stokes-Fourier system on domains with rough boundaries. Nonlinear Anal., Real World Appl. 10, 3203-3229 (2009) MathSciNetView ArticleMATHGoogle Scholar
  27. Feireisl, E, Novotny, A, Petzeltov, H: On the incompressible limit for the Navier-Stokes-Fourier system in domains with wavy bottoms. Math. Models Methods Appl. Sci. 18, 291-324 (2008) MathSciNetView ArticleMATHGoogle Scholar
  28. Robinson, JC: Infinite-Dimensional Dynamical Systems. An Introduction to Dissipative Parabolic PDEs and the Theory of Global Attractors. Cambridge University Press, Cambridge (2001) MATHGoogle Scholar
  29. Chepyzhov, VV, Vishik, MI: Attractors for Equations of Mathematical Physics. AMS Colloquium Publications, vol. 49. AMS, Providence (2002) MATHGoogle Scholar