Skip to main content

A linear, stabilized, non-spatial iterative, partitioned time stepping method for the nonlinear Navier–Stokes/Navier–Stokes interaction model


In this paper, a linear, stabilized, non-spatial iterative, partitioned time stepping method is developed and studied for the nonlinear Navier–Stokes/Navier–Stokes interaction. A backward Euler scheme is utilized for the temporal discretization while a linear Oseen scheme for the trilinear term is used to affect the spatial discretization approximated by the equal order elements. Therefore, we only solve a linear Stokes problem without spatial iterative per time step for each individual domain. Then, the method exploits properties of the Navier–Stokes/Navier–Stokes system to establish the stability and convergence by rigorous analysis. Finally, numerical experiments are presented to show the performance of the proposed method.

1 Introduction

The Navier–Stokes equations are useful because they describe the physics of many realistic problems of academic and industrial interest. They may be used to model weather, ocean currents, water flow, and many other phenomena. Many important applications need an accurate solution of multi-domain, multi-physics coupling of one fluid with another (e.g., the Navier–Stokes with the Navier–Stokes problems) [3, 4, 31, 32]. The uncoupled methods for two fluids are coupled through their shared interface by a rigid-lid coupling condition, i.e., no penetration and a slip with a friction condition allowing a jump in the tangential velocities across the shared interface [12]. Physics-based uncoupled methods are different from the traditional ones in the sense that they focus on decomposing different physical domains by directly using the given physical interface conditions, which is the key idea of the method proposed in this paper. Moreover, these methods allow existing highly optimized codes for each subproblem to be used in parallel as black boxes at each time step to solve the coupled problem.

Efficient stabilized finite element methods have been widely used in scientific computation to achieve high accuracy for the Navier–Stokes equations approximated by the equal order elements in practice. While these methods have been shown to be very successful, the theory ensuring their convergence and advantages for a coupled problem is still under development. Recently, some results have been obtained for partitioned time stepping methods for the fluid–fluid interaction by using the finite element methods [12, 13, 25]. In this paper, we shall follow the state-of-the-art convergence theory by using the geometric averaging at three time levels of the slip velocity at the interface to compute a friction coefficient and further establish stability and convergence of the presented method for the coupled fluid–fluid model. We stress that the extension of the general convergence theory to the partitioned time stepping method for the Navier–Stokes/Navier–Stokes interaction is derived from that in [12]. Here, in order to ensure the balance between the spatial and temporal computing allocation, an unconditional stable backward Euler scheme is utilized for the temporal discretization while the linear Oseen scheme is applied for the trilinear term with a non-spatial iterative correction per time step. The method presented results in a better coefficient matrix of the form \((a_{ij})_{N\times N}=\nu(\nabla \phi_{i},\nabla \phi_{j})+((\mathbb{C}\cdot \nabla )\phi_{i},\phi_{j})\), improving the model presented with small viscosity [16, 17]. However, the difficulty for the numerical analysis arises from the trilinear term and the whole system for the presented discrete finite element scheme.

The rest of paper is organized as follows. In Sect. 2, we introduce the fluid–fluid model using two Navier–Stokes problems. In Sect. 3, the stability of the Navier–Stokes/Navier–Stokes interaction model is analyzed. In Sect. 4, the convergence of the presented method is analyzed. Finally, we present several numerical examples to illustrate the features of the proposed method in Sect. 5.

2 Preliminary

A coupled Navier–Stokes/Navier–Stokes problem is stated as follows:

$$\begin{aligned}& u_{i,t}-\nu_{i}\Delta u_{i}+u_{i}\cdot \nabla u_{i}+\nabla p_{i} =f_{i}\quad \text{in } {\varOmega}_{i}, \end{aligned}$$
$$\begin{aligned}& -\nu_{i}n_{i}\cdot \nabla u_{i}\cdot \tau =k \vert u_{i}-u_{j} \vert (u_{i}-u_{j}) \cdot \tau \quad \text{on } I, \end{aligned}$$
$$\begin{aligned}& u_{i}\cdot n_{i} =0 \quad \text{on } I, \end{aligned}$$
$$\begin{aligned}& \nabla \cdot u_{i} =0 \quad \text{in } \varOmega_{i}, \end{aligned}$$
$$\begin{aligned}& u_{i}(x,0) =u_{i}^{0}(x) \quad \text{in } {\varOmega}_{i}, \end{aligned}$$
$$\begin{aligned}& u_{i} =0 \quad \text{on } \varGamma_{i}={\partial} {\varOmega}_{i}\setminus I. \end{aligned}$$

Here, \(i, j=1,2\), \(i\neq j\). Let the domain \({\varOmega}={\varOmega}_{1}\cup {\varOmega}_{2}\) consist of two subdomains \({\varOmega}_{1}\) and \({\varOmega}_{2}\) of \(R^{d}\), \(d=2,3\), with the outward unit normal vectors \(n_{1}\) and \(n_{2}\), respectively, coupled across the interface I. The viscosity \(\nu_{i}>0\), the body force \(f_{i}: [0,T]{\rightarrow}H^{1}({\varOmega}_{i})\), and the parameter \(k\in R\) are given, \(i=1,2\). Also, \(u_{i}: {\varOmega}_{i}\times [0,T]{\rightarrow}R ^{d}\) and \(p_{i}: {\varOmega}_{i}\times[0,T]{\rightarrow}R\) represent velocity and pressure on the subdomains \({\varOmega}_{i}\), respectively, \(i=1,2\).

For the mathematical problem (1)–(6), the following Hilbert spaces are introduced [1]:

$$\begin{aligned}& X_{i}=\bigl\{ v_{i}\in\bigl[H^{1}( {\varOmega}_{i})\bigr]^{d}: v_{i}=0 \text{ on } \varGamma_{i} \text{ and } v_{i}\cdot n_{i}=0 \text{ on } I\bigr\} , \\& M_{i}= \biggl\{ q_{i}\in L^{2}( {\varOmega}_{i}): \int_{{\varOmega}_{i}}q_{i}\,dx=0 \biggr\} . \end{aligned}$$

Multiplying (1) by \(v_{i}\in X_{i}\) and (4) by \(q_{i}\in M_{i}\), integrating and applying the divergence theorem, the above coupled problem is equivalent to finding \((u_{i},p_{i})\in(X _{i},M_{i})\) such that

$$ \begin{aligned} &(u_{i,t},v_{i})+a(u_{i},v_{i})-d(v_{i},p_{i})+b(u _{i},u_{i},v_{i})+{\kappa}\int_{I} \bigl\vert [\mathbf{u}] \bigr\vert [\mathbf{u}] v_{i}\,ds=(f _{i},v_{i}), \\ &d(u_{i},q_{i})=0, \quad \forall(v_{i},q_{i}) \in(X_{i},M_{i}), \end{aligned} $$

where \([\cdot]\) denotes the jump of the indicated quantity across the interface I: \([\mathbf{u}]=u_{i}-u_{j}\) and

$$ (u_{i,t},v_{i})= \int_{{\varOmega}_{i}}\frac{{\partial}u_{i}}{{\partial}t}v_{i}\,dx,\quad i=1,2. $$

The continuous bilinear forms \(a(\cdot,\cdot)\) and \(d(\cdot,\cdot )\) are defined on \(X_{i}\times X_{i}\) and \(X_{i}\times M_{i}\), respectively, by

$$\begin{aligned}& a(u_{i},v_{i})=\nu_{i}(\nabla u_{i},\nabla v_{i}), \quad u_{i},v_{i}\in X_{i}, \\& d(v_{i},q_{i})=-(v_{i},\nabla q_{i})=(\operatorname{div}v_{i},q_{i}), \quad v_{i}\in X_{i}, q_{i}\in M_{i}. \end{aligned}$$

These bilinear terms satisfy the following continuity and inf–sup properties:

$$\begin{aligned}& \begin{aligned} & \bigl\vert a(u_{i},v_{i}) \bigr\vert \leq\nu \Vert \nabla u_{i} \Vert _{0} \Vert \nabla v_{i} \Vert _{0}, \\ & \bigl\vert d(v_{i},p_{i}) \bigr\vert \leq C \Vert \nabla v_{i} \Vert _{0} \Vert p_{i} \Vert _{0}, \\ &\sup_{v_{i}\in X_{i}}\frac{|d(v_{i},q_{i})}{ \Vert \nabla v_{i} \Vert _{0}} \geq \beta \Vert q_{i} \Vert _{0} \qquad \forall q_{i}\in M_{i}, \beta>0, \end{aligned} \end{aligned}$$

where the positive constants C and β only depend on Ω. Similarly, by using the divergence theorem, (3) and (6), the trilinear term \(b(\cdot,\cdot,\cdot)\) can be defined as follows [36]:

$$\begin{aligned} b(u_{i},v_{i},w_{i}) =& \frac{1}{2}(u_{i}\cdot \nabla v_{i},w _{i})+ \frac{1}{2}\bigl((\operatorname{div}u_{i}) v_{i},w_{i} \bigr) \\ =&\frac{1}{2}(u_{i}\cdot \nabla v_{i},w_{i})- \frac{1}{2}(u_{i}\cdot \nabla w _{i},v_{i}), \quad u_{i},v_{i},w_{i}\in X_{i}. \end{aligned}$$

Obviously, the trilinear term \(b(\cdot,\cdot,\cdot)\) satisfies the following skew-symmetry property [36]:

$$\begin{aligned} b(u_{i},v_{i},w_{i})=-b(u_{i},w_{i},v_{i}). \end{aligned}$$

A realistic model would contain many more complex terms. Here, we mainly focus on an algorithmic issue so we assume that the solution of (1)–(6) to be approximated is a strong solution. Moreover, the energetic stability of the monolithic problem is valid:

$$\begin{aligned} \sum_{i=1}^{2} \biggl( \frac{1}{2}\frac{d}{dt} \Vert u_{i} \Vert _{0}^{2}+\nu_{i} \Vert \nabla u_{i} \Vert _{0}^{2} \biggr)+{\kappa}\int_{I} \bigl\vert [\mathbf{u}] \bigr\vert ^{3}\,ds= \sum_{i=1}^{2}(f_{i},v_{i}). \end{aligned}$$

3 Stabilizations for Galerkin approximations

Given a respective shape-regular and conforming triangulation \(\mathcal{T}_{h_{i}}\) of \({\varOmega}_{i}\), the finite element method is to solve (7) in two pairs of finite dimensional spaces \((X_{i}^{h},M_{i}^{h})\subset(X_{i},M_{i})\) [9, 11, 15, 36].

Stabilization of the Stokes’ problem using local pressure projections dates back to the papers of Silvester [33, 34], Brecker and Braack [2], Brezzi and Fortin [6], Brezzi and Pitkiranta [7], Dohrmann and Bochev [14], Connors [23] and [8]. They provide a wide theoretical framework for these methods. The aim of the section is to give an elementary application in the spirit of these papers for a class of pressure projection method with equal order distribution for both velocity and pressure, which are computationally convenient and efficient in a parallel and multigrid context. Then, the unstable velocity–pressure pairs of the equal-order finite elements are defined as follows [22, 26,27,28,29, 38]:

$$\begin{aligned}& X_{i}^{h}=\bigl\{ v_{h}\in X: v_{h}|_{K} \in\bigl[R_{r}(K)\bigr]^{d}, \forall K \in K_{h} \bigr\} , \\& M_{i}^{h}=\bigl\{ q_{h}\in M: q_{h}|_{K} \in R_{r}(K), \forall K\in K_{h}\bigr\} , \quad r=1,2. \end{aligned}$$

In order to analyze the stabilzation of the Galerkin approximations for the Navier–Stokes/Navier–Stokes interaction, we assume that \(\pi_{i}^{h}\) denotes the interpolation operator from the richer space \(M_{h}\) into the smaller space \(\bar{M}_{h}\subset M_{h}\) such that \(X_{h}\times\bar{M}_{h}\) satisfies the inf–sup condition and \(\operatorname{div}X_{h}\subset M_{h}\).

Lemma 3.1

It holds that

$$\begin{aligned} \sup_{v_{i}^{h}\in X_{i}^{h}}\frac{d(v_{i}^{h},q_{i}^{h})}{ \Vert \nabla v _{i}^{h} \Vert _{0}}+G^{1/2} \bigl(q_{i}^{h},q_{i}^{h}\bigr) \geq& \beta_{0} \bigl\Vert q_{i} ^{h} \bigr\Vert _{0},\quad q_{i}^{h}\in M_{i}^{h}, \end{aligned}$$

where the positive constant \(\beta_{0}\) only depends on Ω and the stabilized term \(G(\cdot,\cdot)\) is defined as follows:

$$ G\bigl(q_{i}^{h},q_{i}^{h}\bigr)\sim \textstyle\begin{cases} \bigl\Vert q_{i}^{h}- \pi_{i}q_{i}^{h} \bigr\Vert _{0}, &r=1, \\ \bigl\Vert h\nabla \bigl(q_{i}^{h}-\pi_{i}q_{i}^{h} \bigr) \bigr\Vert _{0},& r=2. \end{cases} $$


For a bounded Lipschitz connected domain Ω and for any \({ p_{i}^{h}} \in{L^{2}} ( \varOmega )\), there exist a positive constant \({C_{0}} > 0\) and \({v_{i}} \in{ [ {{H^{1}} ( {{\varOmega_{i}}} )} ]^{d}}\) satisfying

$$ \operatorname{div}{v_{i}} = p_{i}^{h} $$

such that

$$ { \Vert {{v_{i}}} \Vert _{1}} \le{C_{0}} { \bigl\Vert {{ p_{i}^{h}}} \bigr\Vert _{0}} $$


$$ \bigl\Vert {p_{i}^{h}} \bigr\Vert _{0}^{2} = d \bigl( {{v_{i}},p_{i}^{h}} \bigr). $$

Then, there exists a linear operator \(\tilde{\pi}_{i}^{h}:{ [ {{H^{1}} ( {{\varOmega_{i}}} )} ]^{d}} \to{X_{h}}\) such that the orthogonality relation holds [5, 10]:

$$\begin{aligned}& \bigl( {{ v_{i}} -\tilde{\pi}_{i}^{h}{ v_{i}}},q_{h} \bigr) = 0,\quad \forall q_{h}\in M_{h}, \end{aligned}$$
$$\begin{aligned}& \bigl\Vert \nabla\tilde{\pi}_{i}^{h}{v_{i}} \bigr\Vert _{0} \leq C \Vert v_{i} \Vert _{1} \leq C _{1} \bigl\Vert p_{i}^{h} \bigr\Vert _{0}, \end{aligned}$$

where \(C_{1}\) only depends on Ω. Noting that \(\operatorname{div}{{\tilde{\pi}} _{h}}v \in{M_{h}}\) and thus \(d ( {{\tilde{\pi}_{h}}v,{ p_{i} ^{h}} - \pi_{h}{ p_{i}^{h}}} ) = 0\), and using the definition of \({{\tilde{\pi}_{h}}}\), we obtain

$$\begin{aligned} \bigl\Vert {p_{i}^{h}} \bigr\Vert _{0}^{2} =& d \bigl( {{v_{i}},p_{i} ^{h}} \bigr) \\ =& d \bigl( {{v_{i}},p_{i}^{h} - \pi_{i}^{h}p_{i}^{h}} \bigr) + d \bigl( {{v_{i}},\pi_{i}^{h}p_{i}^{h}} \bigr) \\ =& d \bigl( {{v_{i}} - {\tilde{\pi}_{h}} {v_{i}},p_{i}^{h} - \pi_{i} ^{h}{p_{i}^{h}}} \bigr) + d \bigl( {{\tilde{ \pi}_{h}} {v_{i}},\pi _{i}^{h}{ p_{i}^{h}}} \bigr) \\ =& d \bigl( {{v_{i}} - {\tilde{\pi}_{h}} {v_{i}},p_{i}^{h} - \pi_{i} ^{h}p_{i}^{h}} \bigr) + d \bigl( {\tilde{ \pi}_{i}^{h}{v_{i}},p_{i} ^{h}} \bigr), \end{aligned}$$


$$\begin{aligned} d \bigl( {{v_{i}} - \tilde{\pi}_{i}^{h}{v_{i}},p_{i}^{h} - \pi_{i} ^{h}p_{i}^{h}} \bigr) \le& C{ \bigl\Vert {p_{i}^{h} - \pi_{i}^{h}p _{i}^{h}} \bigr\Vert _{0}} { \Vert {{v_{i}}} \Vert _{1}} \\ \le& G^{1/2}\bigl({p_{i}^{h},p_{i}^{h}} \bigr){ \bigl\Vert {p_{i}^{h}} \bigr\Vert _{0}}, \quad r = 1, \end{aligned}$$


$$\begin{aligned} d \bigl( {{v_{i}} - \tilde{\pi}_{i}^{h}{v_{i}},p_{i}^{h} - \pi_{i} ^{h}p_{i}^{h}} \bigr) =& - \bigl( {\nabla \bigl( {p_{i}^{h} - \pi _{i}^{h}p_{i}^{h}} \bigr),{v_{i}} - \tilde{\pi}_{i}^{h}{v_{i}}} \bigr) \\ \le& Ch{ \bigl\Vert {\nabla \bigl( {p_{i}^{h} - \pi_{i}^{h}p_{i}^{h}} \bigr)} \bigr\Vert _{0}} { \Vert {{v_{i}}} \Vert _{1}} \\ \le& G^{1/2}\bigl({p_{i}^{h},p_{i}^{h}} \bigr){ \bigl\Vert {p_{i}^{h}} \bigr\Vert _{0}}, \quad r = 2. \end{aligned}$$


$$\begin{aligned} \sup_{v_{i}^{h}\in X_{i}^{h}} \frac{d(v_{i}^{h},q_{i}^{h})}{ \Vert \nabla v _{i}^{h} \Vert _{0}}+ G^{1/2} \bigl({p_{i}^{h},p_{i}^{h}}\bigr) \geq& \frac{d( \tilde{\pi}_{i}v_{i},q_{i}^{h})}{ \Vert \nabla \tilde{\pi}_{i}v_{i} \Vert _{0}}+ G ^{1/2}\bigl({p_{i}^{h},p_{i}^{h}} \bigr) \\ \geq&\beta_{0} \bigl\Vert p_{i}^{h} \bigr\Vert _{0}^{2}. \end{aligned}$$

For more details, the result related to the well-posedness of the Navier–Stokes/Navier–Stokes interaction can be found in [12, 13, 18, 20, 30, 37]. □

4 Stability

In this section, we are now in a position to state a discrete finite element scheme. We let \((u_{i}^{n},p_{i}^{n})=:(u_{i,h}^{n},p_{i,h} ^{n})\), \(i=1,2\), denote a discrete approximation to \(u_{i}(t^{n})\), where the discrete time \(t^{n}\) is calculated from the uniform time step size \(\tau =T/N\) by \(t^{n}=n\tau \), \(n=0,1,\ldots, N\).

From the point of view of implementation, the method presented consists of several subroutines for solving the nonlinear fluid–fluid interaction. First, the first guess \(u_{i}^{0}\) can be defined by (5). Then, we solve the Stokes equations approximated by the lower order finite element pairs to obtain the second initial datum \(u_{i}^{1}\). Furthermore, the following solution \(u_{i}^{n+1}\), \(n=0,1,2, \ldots\) , can be obtained by the following equations (16) and (17). For the numerical treatment of the time derivative term, we use the fully discrete backward Euler approximation. As for the partitioned scheme, we apply the Oseen scheme with a non-spatial iterative correction to simplify the trilinear term per time step and further obtain a better stiffness matrix. Especially, recalling the standard geometric averaging of the jump in [12, 13], we replace the term \(u^{n+1}_{j}|u_{i}^{n+1}-u _{j}^{n+1}|\) by \(|u_{i}^{n}-u_{j}^{n}|u_{i}^{n+1}\) and \(u_{j}^{n}|u _{i}^{n}-u_{j}^{n}|^{1/2}|u_{i}^{n-1}-u_{j}^{n-1}|^{1/2}\) in order to decouple the fluid–fluid interaction, which is also a key idea to obtain the unconditionally stable partitioning.

The linear, stabilized, non-spatial iterative, partitioned time stepping method is defined as follows:

Step I. Find \((u_{i}^{1},p_{i}^{1})\in X_{i} ^{h}\times M_{i}^{h}\) satisfying the following Stokes equations:

$$\begin{aligned} a\bigl(u_{i}^{1},v_{i}\bigr)-d \bigl(v_{i},p_{i}^{1}\bigr)+d\bigl(u_{i}^{1},q_{i} \bigr)+G\bigl(p_{i}^{1},q _{i}\bigr) =(f,v_{i}) \quad \forall(v_{i},q_{i})\in X_{i}^{h}\times M_{i}^{h}. \end{aligned}$$

Moreover, set the iterative step \(m=1,2,\ldots\) , the error of two successive solutions

$$ e_{i}^{m}= \sqrt{\bigl(u_{i}^{m}-u_{i}^{m-1} \bigr)^{2}+\bigl(p_{i}^{m}-p_{i}^{m-1} \bigr)^{2}}< \varepsilon $$

with a sufficiently small iterative tolerance \(\varepsilon >0\).

Step II. Solve the Navier–Stokes/Navier–Stokes interaction: Given \(\tau >0\), \(f_{i}\in[H^{-1}({\varOmega}_{i})]^{d}\) (\(i=1, 2\)), find \((u_{1}^{n+1},p_{1}^{n+1})\in X_{1}^{h}\times M_{1}^{h}\) such that

$$\begin{aligned}& \frac{(u_{1}^{n+1}-u_{1}^{n},v_{1})}{\tau }+a\bigl(u _{1}^{n+1},v_{1} \bigr)-d\bigl(v_{1},p_{1}^{n+1}\bigr)+d \bigl(u_{1}^{n+1},q_{1}\bigr)+G\bigl(p_{1} ^{n+1},q_{1}\bigr) \\& \qquad {}+b_{1}\bigl(u_{1}^{n},u_{1}^{n+1},v_{1} \bigr)+k \int_{I} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert u _{1}^{n+1}v_{1}\,ds-k \int_{I} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert ^{1/2} \bigl\vert \bigl[\mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2} u_{2}^{n}\cdot v_{1}\,ds \\& \quad=\bigl(f_{1}\bigl(t^{n+1}\bigr),v_{1}\bigr), \quad\forall(v_{1},q_{1})\in X_{1} ^{h} \times M_{1}^{h}, \end{aligned}$$

and \((u_{2}^{n+1},p_{2}^{n+1})\in X_{2}^{h}\times M_{2}^{h}\) such that

$$\begin{aligned}& \frac{(u_{2}^{n+1}-u_{2}^{n},v_{2})}{\tau }+a\bigl(u _{2}^{n+1},v_{2} \bigr)-d\bigl(v_{2},p_{2}^{n+1}\bigr)+d \bigl(u_{2}^{n+1},q_{2}\bigr)+G\bigl(p_{2} ^{n+1},q_{2}\bigr) \\& \qquad {}+b_{2}\bigl(u_{2}^{n},u_{2}^{n+1},v_{2} \bigr)+k \int_{I} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert u _{2}^{n+1}v_{2}\,ds-k \int_{I} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert ^{1/2} \bigl\vert \bigl[\mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2} u_{1}^{n}\cdot v_{2}\,ds \\& \quad=\bigl(f_{2}\bigl(t^{n+1}\bigr),v_{2}\bigr) \quad\forall(v_{2},q_{2})\in X_{2} ^{h} \times M_{2}^{h}. \end{aligned}$$

This, of course, dictates that the overall structure of the linear, stablized, non-spatial iterative, partition time step method will be much the same as for a standard finite element method, as described in [12]. The key point of the presented method is to use a linear, non-spatial iterative, partitioned time stepping method for the nonlinear Navier–Stokes/Navier–Stokes interaction model.


\([u_{h}^{0},p_{h}^{0}]=\textbf{Stokes}({\mathcal {T}}_{h},f)\);

for \(i=0,1,2,\dots, T/dt\);

while (\(e_{m}>\varepsilon \)) do


\([u_{h}^{m},p_{h}^{m}]=\textbf{LNS}({\mathcal {T}}_{h},u_{h}^{m-1},f)\);

end while

end for

In this section, we aim to establish a result concerning the unconditional stability of the scheme (16)–(17).

Lemma 4.1

Let \(u_{i}^{n}\), \(i=1,2\), \(n=1,2,\ldots,m\), be the solutions of equations (16) and (17). Then we have the following energy inequality:

$$\begin{aligned}& \bigl\Vert {\mathbf{u}}^{m+1} \bigr\Vert _{0}^{2}+\sum_{n=1}^{m} \bigl\Vert {\mathbf{u}}^{n+1}-{\mathbf{u}}^{n} \bigr\Vert _{0}^{2}+\tau \sum_{n=1}^{m} \bigl(\nu_{1} \bigl\Vert \nabla u_{1}^{n+1} \bigr\Vert _{0}^{2}+\nu _{2} \bigl\Vert \nabla u_{2}^{n+1} \bigr\Vert _{0}^{2}\bigr) \\& \qquad {} +{\kappa} \tau \int_{I} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert \bigl( \bigl\vert u_{1}^{n+1} \bigr\vert ^{2}+ \bigl\vert u_{2}^{n+1} \bigr\vert ^{2}\bigr)\,ds \\& \quad \leq \bigl\Vert {\mathbf{u}}^{1} \bigr\Vert _{0}^{2}+ {\kappa} \tau \int_{I} \bigl\vert \bigl[{\mathbf{u}}^{0}\bigr] \bigr\vert \bigl( \bigl\vert u_{1}^{1} \bigr\vert ^{2}+ \bigl\vert u _{2}^{1} \bigr\vert ^{2}\bigr)\,ds \\& \qquad {} +\sum_{n=1}^{m} \biggl( \frac{\tau }{\nu_{1}} \bigl\Vert f_{1}\bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2}+\frac{\tau }{ \nu_{2}} \bigl\Vert f_{2}\bigl(t^{n+1}\bigr) \bigr\Vert _{-1}^{2} \biggr), \end{aligned}$$

where \(u_{i}^{n}=(u_{1}^{n},u_{2}^{n})\) with the norm \(\|\mathbf{u} ^{n}\|_{0}= (\sum_{i=1}^{2}\|u_{i}^{n}\|_{0}^{2} ) ^{1/2}\).


Noting that

$$ b\bigl(u_{i}^{n},u_{i}^{n+1},u_{i}^{n+1} \bigr)=0, $$

we start by testing (16) and (17) with \((v_{i},q_{i})=2(\tau u_{i}^{n+1},p_{i}^{n+1})\), respectively, to obtain

$$\begin{aligned}& 2\bigl(u_{i}^{n+1}-u_{i}^{n},u_{i}^{n+1} \bigr)+2\nu_{i}\tau \bigl\Vert \nabla u_{i}^{n+1} \bigr\Vert _{0}^{2}+2G\bigl(p_{i}^{n+1},p_{i}^{n+1} \bigr) \\& \qquad {} +2{\kappa} \tau \biggl( \int_{I} \bigl\vert u_{i}^{n+1} \bigr\vert ^{2} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert \,ds- \int_{I} \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert ^{1/2} \bigl\vert \bigl[\mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2}u_{i+1}^{n}\cdot u _{i}^{n+1}\,ds \biggr) \\& \quad =2\tau \bigl(f_{i}\bigl(t^{n+1}\bigr),u_{i}^{n+1} \bigr)\quad\forall(v_{i},q_{i})\in X _{i}^{h} \times M_{i}^{h}, i=1,2, \end{aligned}$$

where \(u_{3}=u_{1}\) when the index is out of bounds. Using the identity

$$\begin{aligned} 2(a-b,a)=a^{2}+(a-b)^{2}-b^{2}, \end{aligned}$$

and combing with (19) with \(i=1,2\), we obtain the following result:

$$\begin{aligned}& \bigl\Vert \mathbf{u}^{n+1} \bigr\Vert _{0}^{2}- \bigl\Vert \mathbf{u}^{n} \bigr\Vert _{0} ^{2}+ \bigl\Vert \mathbf{u}^{n+1}- \mathbf{u}^{n} \bigr\Vert _{0}^{2}+2 \nu_{1}\tau \bigl\Vert \nabla u _{1}^{n+1} \bigr\Vert _{0}^{2}+2\nu_{2}\tau \bigl\Vert \nabla u_{2}^{n+1} \bigr\Vert _{0}^{2} \\& \qquad {}+2{\kappa} \tau \sum_{i=1}^{2} \biggl( \int_{I} \bigl\vert u_{i}^{n+1} \bigr\vert ^{2} \bigl\vert \bigl[\mathbf{u} ^{n}\bigr] \bigr\vert \,ds- \int_{I} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert ^{1/2} \bigl\vert \bigl[\mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2}u _{i+1}^{n}\cdot u_{i}^{n+1}\,ds \biggr) \\& \qquad {}+2G\bigl(p_{i}^{n+1},p_{i}^{n+1} \bigr) \\& \quad =2\tau \sum_{i=1}^{2}\bigl(f_{i} \bigl(t^{n+1}\bigr),u_{i}^{n+1}\bigr), \end{aligned}$$


$$\begin{aligned}& \begin{aligned}& {\kappa}\biggl( \int_{I} \bigl\vert u_{i}^{n+1} \bigr\vert ^{2} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert \,ds- \int_{I} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert ^{1/2} \bigl\vert \bigl[\mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2}u_{i+1}^{n} \cdot u_{i}^{n+1}\,ds \biggr) \\ &\quad =\frac{{\kappa}}{2} \int_{I} \bigl\vert u_{i}^{n+1} \bigr\vert ^{2} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert \,ds- \frac{{\kappa}}{2} \int_{I} \bigl\vert u_{i+1}^{n} \bigr\vert ^{2} \bigl\vert \bigl[\mathbf {u}^{n-1}\bigr] \bigr\vert \,ds \\ &\qquad {} +\frac{{\kappa}}{2} \int_{I} \bigl\vert u_{i}^{n+1} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert ^{1/2}-u _{i+1}^{n} \bigl\vert \bigl[\mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2} \bigr\vert ^{2}\,ds, \\ &2\tau \Biggl\vert \sum_{i=1}^{2} \bigl(f_{i}\bigl(t^{n+1}\bigr),u_{i}^{n+1} \bigr) \Biggr\vert \\ &\quad \leq2\tau {\gamma}\sum_{i=1}^{2} \bigl\Vert f_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0} \bigl\Vert \nabla u_{i}^{n+1} \bigr\Vert _{0} \\ &\quad \leq\sum_{i=1}^{2} \biggl(\tau \nu_{i} \bigl\Vert \nabla u_{i}^{n+1} \bigr\Vert _{0}^{2}+\frac{ \tau {\gamma}^{2}}{\nu_{i}} \bigl\Vert f_{i} \bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2} \biggr), \end{aligned} \end{aligned}$$

where the positive constant is derived from the Poincaré inequality. Then, substituting these into (21), we infer that

$$\begin{aligned}& \bigl\Vert \mathbf{u}^{n+1} \bigr\Vert _{0}^{2}- \bigl\Vert \mathbf{u}^{n} \bigr\Vert _{0} ^{2}+ \bigl\Vert \mathbf{u}^{n+1}- \mathbf{u}^{n} \bigr\Vert _{0}^{2}+ \nu_{1}\tau \bigl\Vert \nabla u_{1} ^{n+1} \bigr\Vert _{0}^{2}+\nu_{2}\tau \bigl\Vert \nabla u_{2}^{n+1} \bigr\Vert _{0}^{2} \\& \qquad {} +{\kappa} \tau \int_{I}\bigl\{ \bigl\vert u_{1}^{n+1} \bigr\vert ^{2}+ \bigl\vert u_{2}^{n+1} \bigr\vert ^{2}\bigr\} \bigl\vert \bigl[\mathbf{u} ^{n}\bigr] \bigr\vert \,ds-{\kappa} \tau \int_{I}\bigl\{ \bigl\vert u_{1}^{n} \bigr\vert ^{2}+ \bigl\vert u_{2}^{n} \bigr\vert ^{2}\bigr\} \bigl\vert \bigl[ \mathbf{u}^{n-1}\bigr] \bigr\vert \,ds \\& \qquad {} +{\kappa} \tau \sum_{i=1}^{2} \bigl\vert u_{i}^{n+1} \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert ^{1/2}-u_{i+1} ^{n} \bigl\vert \bigl[ \mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2} \bigr\vert ^{2}\,ds \\& \quad \leq \tau \sum_{i=1}^{2}\frac{ \Vert f_{i}(t^{n+1}) \Vert _{0}^{2}}{\nu_{i}}. \end{aligned}$$

Summing over \(n=1,2,\ldots, m\) yields the desired result. □

5 Convergence

In this section, we consider the convergence of the presented method for the Navier–Stokes/Navier–Stokes interaction. First, we provide the discrete Gronwall’s inequality [21, 24], which will be useful in the subsequent analysis.

Let \(a^{n+1}\), \(b^{n+1}\), \(c^{n+1}\), \(d^{n+1}\) and \(D^{n+1}\), \(n=0,1,2, \ldots, m\), be five nonnegative sequences satisfying

$$\begin{aligned} a^{m+1}+\sum_{n=0}^{m}b^{n+1}+ \tau \sum_{n=0}^{m}c^{n+1}\leq C_{1}+C _{2}\tau \sum_{n=0}^{m}D^{n+1}a^{n+1}+C_{3} \tau \sum_{n=0}^{m}d^{n+1}. \end{aligned}$$

Then we have the following result:

$$\begin{aligned} a^{m+1}+\sum_{n=0}^{m}b^{n+1}+ \tau \sum_{n=0}^{m}c^{n+1}\leq\exp \Biggl(C_{2}\tau \sum_{n=0}^{m} \sigma^{n+1}\Biggr) \Biggl(C_{1}+C_{3}\tau \sum _{n=0}^{m}d^{n+1} \Biggr), \end{aligned}$$


$$ \sigma^{n+1}=\frac{D^{n+1}}{1-\tau D^{n+1}}. $$

In order to analyze convergence of the partitioned time stepping methods for the fluid–fluid interaction, we introduce the following Stokes projection by finding \((R_{h}(v_{i},q_{i}), Q_{h}(v_{i},q_{i}))\in X _{i}^{h}\times M_{i}^{h}\) such that

$$\begin{aligned}& a\bigl(v_{i}-R_{h}(v_{i},q_{i}),v_{h} \bigr)-d\bigl(v_{h},q_{i}-Q_{h}(v_{i},q_{i}) \bigr)+d\bigl(v _{i}-R_{h}(v_{i},q_{i}),q_{h} \bigr)=0, \\& \quad (v_{h},q_{h})\in X_{i}^{h}\times M_{i}^{h}, \end{aligned}$$

which is well-defined and satisfies the following optimal approximation property:

$$\begin{aligned}& \bigl\Vert v_{i}-R_{h}(v_{i},q_{i}) \bigr\Vert _{0}+h\bigl( \bigl\Vert \nabla \bigl(v_{i}-R _{h}(v_{i},q_{i})\bigr) \bigr\Vert _{0}+ \bigl\Vert q_{i}-Q_{h}(v_{i},q_{i}) \bigr\Vert _{0}\bigr) \\& \quad \leq Ch^{2}\bigl( \Vert v_{i} \Vert _{2}+ \Vert q_{i} \Vert _{1}\bigr), \quad i=1, 2. \end{aligned}$$

Theorem 5.1

Assume that the initial data \(u_{i}^{0}\) and \(u_{i}^{1}\) satisfy the following estimate:

$$\begin{aligned} \bigl\Vert \nabla \bigl(u_{i}\bigl(t^{0} \bigr)-u_{i}^{0}\bigr) \bigr\Vert _{0}+ \bigl\Vert \nabla \bigl(u_{i}\bigl(t ^{1}\bigr)-u_{i}^{1} \bigr) \bigr\Vert _{0}\leq Ch, \quad i=1, 2. \end{aligned}$$

Moreover, the time step τ satisfies the relation \(\tau <1/D^{n+1}\) with \(D^{n+1}\) defined by (43) below. Let \((u_{i},p_{i})\) and \((u_{i}^{n+1},p_{i}^{n+1})\) be the solutions of (1)–(6) and (16)–(17), respectively, with \(u_{i}\in L^{2}([0,T],H^{2}({\varOmega}_{i})\cap X_{i})\), \(p_{i}\in L^{2}([0,T],H ^{1}({\varOmega}_{i})\cap M_{i})\), \(u_{i,t}\in L^{2}([0,T],X_{i})\) and \(u_{i,tt}\in L^{2}([0,T],L^{2}({\varOmega}_{i}))\). Then it holds that

$$\begin{aligned}& \tau \sum_{n=0}^{m} \bigl(\nu_{1} \bigl\Vert \nabla \bigl(u_{1}\bigl(t^{n+1}\bigr)-u_{1}^{n+1} \bigr) \bigr\Vert _{0}^{2}+\nu_{2} \bigl\Vert \nabla \bigl(u_{2}\bigl(t^{n+1}\bigr)-u_{2}^{n+1} \bigr) \bigr\Vert _{0}^{2} \bigr) \\& \quad \leq C\bigl( \tau ^{2}+h^{2r}\bigr),\quad r=1,2, \end{aligned}$$

where C denotes a positive constant depending on the data \((\nu_{i},{\varOmega}_{i},u_{i},p_{i},f_{i})\), \(i=1,2\), which may stand for different values at different occurrences.


Here, we analyze convergence on each subdomain independently. For convenience, we set \((e_{i}^{j},\eta_{i}^{j})=(R _{h}u_{i}(t^{j})-u_{i}^{j},Q_{h}p_{i}(t^{j})-p_{i}^{j})\) and \(E_{i}^{j}=u_{i}(t^{j})-R_{h}u_{i}(t^{j})\). First, using the Stokes projection, we subtract (16) or (17) from (7) with \((v_{i},q_{i})=(e_{i}^{n+1},\eta_{i}^{n+1}) \in X_{i}^{h}\times M_{i}^{h}\) to obtain

$$\begin{aligned}& \biggl(\frac{{\partial}u_{i}(t^{n+1})}{{\partial}t}-\frac{(u_{i}^{n+1}-u _{i}^{n})}{\tau },e_{i}^{n+1} \biggr)+a\bigl(e_{i}^{n+1},e_{i}^{n+1} \bigr)+2G\bigl(\eta _{i}^{n+1},\eta_{i}^{n+1} \bigr) \\& \qquad {}+b\bigl(u_{i}\bigl(t^{n+1}\bigr),u_{i} \bigl(t^{n+1}\bigr),e_{i}^{n+1}\bigr)-b \bigl(u_{i}^{n},u_{i}^{n+1},e _{i}^{n+1}\bigr) \\& \qquad {}+{\kappa}\biggl( \int_{I}u_{i}\bigl(t^{n+1}\bigr) \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \cdot e_{i} ^{n+1}\,ds- \int_{I} u_{i}^{n+1} \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds \biggr) \\& \qquad {}+{\kappa}\biggl( \int_{I}u_{j}^{n} \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert ^{1/2} \bigl\vert \bigl[ \mathbf {u}^{n-1}\bigr] \bigr\vert ^{1/2} \cdot e_{i}^{n+1}\,ds- \int_{I}u_{j}\bigl(t^{n+1}\bigr) \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds \biggr) \\& \quad =2G\bigl(p_{i}\bigl(t^{j+1}\bigr),\eta_{i}\bigr), \end{aligned}$$

where \(i=1\), \(j=2\) or \(i=2\), \(j=1\). We analyze each term in the above equality. Note that

$$\begin{aligned}& \biggl(\frac{{\partial}u_{i}(t^{n+1})}{{\partial}t}-\frac{(u_{i}^{n+1}-u _{i}^{n})}{\tau },e_{i}^{n+1} \biggr) \\& \quad =\frac{1}{\tau }\bigl(\bigl(u_{i}\bigl(t^{n+1} \bigr)-u_{i}^{n+1}\bigr)-\bigl(u_{i} \bigl(t^{n}\bigr)-u_{i}^{n}\bigr),e _{i}^{n+1}\bigr)-\frac{1}{\tau }\bigl(u_{i} \bigl(t^{n+1}\bigr)-u_{i}\bigl(t^{n} \bigr),e_{i}^{n+1}\bigr) \\& \qquad {}+\biggl(\frac{{\partial}u_{i}(t^{n+1})}{{\partial}t},e_{i}^{n+1}\biggr) \\& \quad =\frac{1}{\tau }\bigl(E_{i}^{n+1}-E_{i}^{n},e_{i}^{n+1} \bigr)+\frac{1}{\tau }\bigl(e _{i}^{n+1}-e_{i}^{n},e_{i}^{n+1} \bigr)-\bigl(RHS_{i}^{n+1},e_{i}^{n+1} \bigr), \end{aligned}$$

where \((RHS_{i}^{n+1},v)= (\frac{u_{i}(t^{n+1})-u_{i}(t^{n})}{\tau }-\frac{{\partial}u _{i}(t^{n+1})}{{\partial}t},v_{i} )\), \(i=1,2\). Also, we see that

$$\begin{aligned}& \bigl\vert \bigl(E_{i}^{n+1}-E_{i}^{n},e_{i}^{n+1} \bigr) \bigr\vert \leq\frac{1}{4\varepsilon _{1}\nu _{i}} \bigl\Vert E_{i}^{n+1}-E_{i}^{n} \bigr\Vert _{-1}^{2}+\varepsilon _{1}\nu_{i} \bigl\Vert \nabla e_{i} ^{n+1} \bigr\Vert _{0}^{2}, \end{aligned}$$
$$\begin{aligned}& \bigl\vert \bigl(RHS_{i},e_{i}^{n+1}\bigr) \bigr\vert \leq\frac{1}{4\varepsilon _{2}\nu_{i}} \bigl\Vert RHS_{i} ^{n+1} \bigr\Vert _{-1}^{2}+\varepsilon _{2} \nu_{i} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2}, \end{aligned}$$

where \(\varepsilon _{i}>0\), \(i=1,2\). For the trilinear terms, it is easy to see that

$$\begin{aligned}& b\bigl(u_{i}\bigl(t^{n+1}\bigr),u_{i} \bigl(t^{n+1}\bigr),e_{i}^{n+1}\bigr)-b \bigl(u_{i}^{n},u_{i}^{n+1},e _{i}^{n+1}\bigr) \\& \quad =b\bigl(u_{i}\bigl(t^{n+1}\bigr)-u_{i} \bigl(t^{n}\bigr),u_{i}\bigl(t^{n+1} \bigr),e_{i}^{n+1}\bigr)+b\bigl(E_{i} ^{n},u_{i}\bigl(t^{n+1}\bigr),e_{i}^{n+1} \bigr) \\& \qquad {} +b\bigl(e_{i}^{n},u_{i}\bigl(t^{n+1} \bigr),e_{i}^{n+1}\bigr)-b\bigl(u_{i}^{n},u_{i} \bigl(t ^{n+1}\bigr)-u_{i}^{n+1},e_{i}^{n+1} \bigr) \\& \quad =I_{1}+I_{2}+I_{3}+I_{4}. \end{aligned}$$

To estimate these trilinear terms, using a classical result in [36], we see that

$$\begin{aligned} \vert I_{1} \vert \leq&C \bigl\Vert \nabla \bigl(u_{i}\bigl(t^{n+1}\bigr)-u_{i} \bigl(t^{n}\bigr)\bigr) \bigr\Vert _{0} \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0} \\ \leq&\varepsilon _{3}\nu_{i} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2}+\frac{C}{4\varepsilon _{3} \nu_{i}} \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2} \bigl\Vert \nabla \bigl(u_{i}\bigl(t^{n+1}\bigr)-u_{i} \bigl(t^{n}\bigr)\bigr) \bigr\Vert _{0}^{2}. \end{aligned}$$

Applying the Young inequality and the skew-symmetry of the trilinear term yields that

$$\begin{aligned} \vert I_{2}+I_{4} \vert =& \bigl\vert b\bigl(E_{i}^{n},u_{i}\bigl(t^{n+1} \bigr),e_{i}^{n+1}\bigr)-b\bigl(u _{i}^{n},E_{i}^{n+1},e_{i}^{n+1} \bigr) \bigr\vert \\ \leq&\bigl( \bigl\Vert \nabla u_{i}^{n} \bigr\Vert _{0}+ \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0}\bigr) \bigl( \bigl\Vert \nabla E_{i} ^{n} \bigr\Vert _{0}+ \bigl\Vert \nabla E_{i}^{n+1} \bigr\Vert _{0}\bigr) \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0} \\ \leq&\varepsilon _{4}\nu_{i} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2}+\frac{c}{4\varepsilon _{4} \nu_{i}}\bigl( \bigl\Vert \nabla u_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2}\bigr) \bigl( \bigl\Vert E _{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert E_{i}^{n+1} \bigr\Vert _{0}^{2}\bigr). \end{aligned}$$

For the third term \(I_{3}\), using the following inequality [20]:

$$\begin{aligned} \Vert \phi \Vert _{L^{4}}\leq C \Vert \phi \Vert _{0}^{\frac{1}{2}- \frac{1}{4}(d-2)} \Vert \nabla \phi \Vert _{0}^{\frac{1}{2}+\frac{1}{4}(d-2)} \quad\forall\phi\in X_{i}, d=2,3, \end{aligned}$$

and applying the Young inequality and the Cauchy–Schwarz inequality, we have

$$\begin{aligned} \vert I_{3} \vert \leq&C \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{1/2} \bigl\Vert \nabla e_{i}^{n} \bigr\Vert _{0}^{1/2} \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0} \\ \leq&\varepsilon _{5}\nu_{i} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2}+C \bigl\Vert e_{i}^{n} \bigr\Vert _{0} \bigl\Vert \nabla e_{i}^{n} \bigr\Vert _{0} \bigl\Vert \nabla u_{i}\bigl(t^{n+1} \bigr) \bigr\Vert _{0}^{2} \\ \leq&\varepsilon _{5}\nu_{i} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2}+\varepsilon _{6}\nu_{i} \bigl\Vert \nabla e _{i}^{n} \bigr\Vert _{0}^{2}+C \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{2} \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0} ^{4} \end{aligned}$$

for \(d=2\), and

$$\begin{aligned} \vert I_{3} \vert \leq&C \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{1/4} \bigl\Vert \nabla e_{i}^{n} \bigr\Vert _{0}^{3/4} \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0} \\ \leq&\varepsilon _{5}\nu_{i} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2}+C \bigl\Vert e_{i}^{n} \bigr\Vert _{0} ^{1/2} \bigl\Vert \nabla e_{i}^{n} \bigr\Vert _{0}^{3/2} \bigl\Vert \nabla u_{i} \bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2} \\ \leq&\varepsilon _{5}\nu_{i} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2}+\varepsilon _{6}\nu_{i} \bigl\Vert \nabla e _{i}^{n} \bigr\Vert _{0}^{2}+C \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{2} \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0} ^{8} \end{aligned}$$

for \(d=3\).


$$\begin{aligned}& \overline{ \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert }=\frac{1}{2}\bigl( \bigl\vert \bigl[\mathbf{u} \bigl(t^{n+1}\bigr)\bigr] \bigr\vert + \bigl\vert \bigl[ \mathbf{u} \bigl(t^{n}\bigr)\bigr] \bigr\vert \bigr), \\& \overline{ \bigl\vert \mathbf{u}^{n} \bigr\vert }= \frac{1}{2}\bigl( \bigl\vert \mathbf{u}^{n} \bigr\vert + \bigl\vert \mathbf{u} ^{n-1} \bigr\vert \bigr), \end{aligned}$$

and using the same approach as in [12], we get

$$\begin{aligned} I_{5} =& \int_{I}u_{i}\bigl(t^{n+1}\bigr) \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds- \int_{I} u_{i}^{n+1} \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert \cdot e_{i} ^{n+1}\,ds \\ =& \int_{I}u_{i}\bigl(t^{n+1}\bigr) \bigl( \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert - \bigl\vert \bigl[\mathbf{u}\bigl(t^{n}\bigr)\bigr] \bigr\vert \bigr) \cdot e_{i}^{n+1}\,ds \\ &{} + \int_{I}u_{i}\bigl(t^{n+1}\bigr) \bigl( \bigl\vert \bigl[\mathbf{u}\bigl(t^{n}\bigr)\bigr] \bigr\vert - \bigl\vert \bigl[P_{h}\mathbf{u}\bigl(t^{n}\bigr)\bigr] \bigr\vert \bigr) \cdot e_{i}^{n+1}\,ds \\ & {}+ \int_{I}u_{i}\bigl(t^{n+1}\bigr) \bigl( \bigl\vert \bigl[P_{h}\mathbf{u}\bigl(t^{n}\bigr)\bigr] \bigr\vert - \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert \bigr) \cdot e_{i}^{n+1}\,ds \\ & {}+ \int_{I}E_{i}^{n+1} \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds+ \int_{I} \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert \bigl\vert e_{i}^{n+1} \bigr\vert ^{2}\,ds \\ \leq& \int_{I}u_{i}\bigl(t^{n+1}\bigr) \bigl( \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert - \bigl\vert \bigl[\mathbf{u}\bigl(t ^{n}\bigr)\bigr] \bigr\vert \bigr)\cdot e_{i}^{n+1}\,ds + \int_{I}u_{i}\bigl(t^{n+1}\bigr) \bigl\vert \bigl[E_{i}^{n}\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds \\ &{} + \int_{I}u_{i}\bigl(t^{n+1}\bigr) \bigl\vert \bigl[e_{i}^{n}\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds \\ &{} + \int_{I}E_{i}^{n+1} \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds+ \int_{I} \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert \bigl\vert e_{i}^{n+1} \bigr\vert ^{2}\,ds. \end{aligned}$$

Noting that

$$\begin{aligned}& \bigl\vert \overline{ \bigl\vert \bigl[\mathbf{u} \bigl(t^{n}\bigr)\bigr] \bigr\vert }- \bigl\vert \bigl[\mathbf{u} \bigl(t^{n+1}\bigr)\bigr] \bigr\vert \bigr\vert \\& \quad =\frac{1}{2}\bigl( \bigl\vert \bigl[\mathbf{u}\bigl(t^{n} \bigr)\bigr] \bigr\vert - \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1} \bigr)\bigr] \bigr\vert \bigr)+ \frac{1}{2}\bigl( \bigl\vert \bigl[ \mathbf{u}\bigl(t^{n-1}\bigr)\bigr] \bigr\vert - \bigl\vert \bigl[ \mathbf {u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \bigr) \\& \quad \leq\frac{1}{2}\bigl( \bigl\vert \bigl[\mathbf{u}\bigl(t^{n} \bigr)-\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert + \bigl\vert \bigl[ \mathbf{u}\bigl(t^{n-1}\bigr)-\mathbf{u}\bigl(t^{n+1} \bigr)\bigr] \bigr\vert \bigr), \end{aligned}$$


$$\begin{aligned}& \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert ^{1/2} \bigl\vert \bigl[\mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2}-\overline{ \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert } \vert \\& \quad =\frac{1}{2}\bigl( \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert ^{1/2}- \bigl\vert \bigl[\mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2}\bigr)^{2} \\& \quad \leq\frac{1}{2} \bigl\vert \bigl\vert \bigl[\mathbf{u}^{n} \bigr] \bigr\vert - \bigl\vert \bigl[\mathbf {u}^{n-1}\bigr] \bigr\vert \bigr\vert \\& \quad \leq\frac{1}{2} \bigl\vert \bigl[\mathbf{u}^{n}- \mathbf{u}^{n-1}\bigr] \bigr\vert \\& \quad \leq\frac{1}{2} \bigl\vert \bigl[\mathbf{u}^{n}-\mathbf{u} \bigl(t^{n}\bigr)+\mathbf{u}\bigl(t ^{n-1}\bigr)- \mathbf{u}^{n-1}\bigr] \bigr\vert +\frac{1}{2} \bigl\vert \bigl[\mathbf{u}\bigl(t^{n}\bigr)- \mathbf{u}\bigl(t^{n-1} \bigr)\bigr] \bigr\vert \\& \quad \leq \bigl\vert \overline{\bigl[\mathbf{e}^{n}\bigr]} \bigr\vert + \bigl\vert \overline{\bigl[\mathbf {E}^{n}\bigr]} \bigr\vert + \bigl\vert \overline{\bigl[ \mathbf{e}^{n-1}\bigr]}+\overline{\bigl[ \mathbf{E}^{n-1}\bigr]} \bigr\vert +\frac{1}{2} \bigl\vert \bigl[ \mathbf{u}\bigl(t^{n}\bigr)-\mathbf{u}\bigl(t^{n-1} \bigr)\bigr] \bigr\vert , \end{aligned}$$

the following error bound holds:

$$\begin{aligned} I_{6} =& \int_{I} u_{j}^{n} \bigl\vert \bigl[ \mathbf{u}^{n}\bigr] \bigr\vert ^{1/2} \bigl\vert \bigl[ \mathbf{u}^{n-1}\bigr] \bigr\vert ^{1/2} \cdot e_{i}^{n+1}\,ds- \int_{I}u_{j}\bigl(t^{n+1}\bigr) \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds \\ \leq& \int_{I}u_{j}^{n}\bigl( \bigl\vert \bigl[\mathbf{u}^{n}\bigr] \bigr\vert ^{1/2} \bigl\vert \bigl[\mathbf {u}^{n-1}\bigr] \bigr\vert ^{1/2}-\overline{ \bigl\vert \mathbf{u}^{n} \bigr\vert }\bigr)\cdot e_{i}^{n+1}\,ds+ \int_{I}u_{j}^{n}\bigl(\overline{ \bigl\vert \mathbf{u}^{n} \bigr\vert }-P_{h}\overline{ \bigl\vert \mathbf{u}^{n} \bigr\vert }\bigr)\cdot e_{i}^{n+1}\,ds \\ & {}+ \int_{I}u_{j}^{n}\bigl(P_{h} \overline{ \bigl\vert \mathbf{u}^{n} \bigr\vert }- \bigl\vert \bigl[\mathbf{u}\bigl(t ^{n}\bigr)\bigr] \bigr\vert \bigr)\cdot e_{i}^{n+1}\,ds \\ &{} + \int_{I}u_{j}^{n}\bigl(\overline{ \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert }- \bigl\vert \bigl[\mathbf{u}\bigl(t ^{n+1}\bigr)\bigr] \bigr\vert \bigr) \cdot e_{i}^{n+1}\,ds \\ &{} - \int_{I}\bigl(E_{j}^{n}+e_{j}^{n} \bigr) \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds \\ & {}+ \int_{I}\bigl(u_{j}\bigl(t^{n} \bigr)-u_{j}\bigl(t^{n+1}\bigr)\bigr) \bigl\vert \bigl[ \mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \cdot e _{i}^{n+1}\,ds \\ \leq& \int_{I}u_{j}^{n} \bigl\vert \bigl[ \mathbf{u}\bigl(t^{n}\bigr)-\mathbf{u}\bigl(t^{n-1}\bigr)\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds+ \int_{I}u_{j}^{n}\overline{ \bigl\vert \bigl[\mathbf{E}^{n}\bigr] \bigr\vert } \cdot e_{i}^{n+1}\,ds+ \int_{I}u_{j}^{n} \bigl\vert \overline{ \bigl[\mathbf{e}^{n}\bigr]} \bigr\vert \cdot e_{i}^{n+1}\,ds \\ & {}+ \int_{I}u_{j}^{n}\bigl( \bigl\vert \bigl[\mathbf{u}\bigl(t^{n}\bigr)-\mathbf{u}\bigl(t^{n+1}\bigr) \bigr] \bigr\vert + \bigl\vert \bigl[ \mathbf{u}\bigl(t^{n-1}\bigr)- \mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \bigr)\cdot e_{i}^{n+1}\,ds \\ &{} + \int_{I}\bigl(u_{j}\bigl(t^{n} \bigr)-u_{j}\bigl(t^{n+1}\bigr)\bigr) \bigl\vert \bigl[ \mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \cdot e _{i}^{n+1}\,ds \\ & {}- \int_{I}\bigl(E_{j}^{n}+e_{j}^{n} \bigr) \bigl\vert \bigl[\mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\vert \cdot e_{i}^{n+1}\,ds. \end{aligned}$$

Applying the same approach as in [12], we obtain

$$\begin{aligned}& \vert I_{5}+I_{6} \vert \\& \quad \leq \varepsilon _{7}\nu_{i} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2}+C\nu_{i}^{-3} \bigl(1+ \bigl\Vert u ^{n}_{2} \bigr\Vert _{I}^{4}+ \bigl\Vert \bigl[\mathbf{u} \bigl(t^{n+1}\bigr)\bigr] \bigr\Vert _{I}^{4} \bigr) \bigl\Vert e_{i}^{n+1} \bigr\Vert _{0}^{2} \\& \qquad {}+\varepsilon _{8}\sum_{i=1}^{2} \nu_{i}\bigl( \bigl\Vert \nabla e_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert \nabla e_{i} ^{n-1} \bigr\Vert _{0}^{2}\bigr)+CL^{n+1}P^{n+1} \\& \qquad {}+CM^{n+1}\sum_{i=1}^{2} \nu_{i}^{-3}\bigl( \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert e_{i} ^{n-1} \bigr\Vert _{0}^{2}\bigr), \end{aligned}$$

where \(L^{n+1}\), \(M^{n+1}\) and \(P^{n+1}\) can be defined by the following bound terms on interface I as follows:

$$\begin{aligned}& L^{n+1}=\sum_{i=1}^{2}\bigl( \bigl\Vert u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{I}^{2}+ \bigl\Vert u_{i}^{n+1} \bigr\Vert _{I} ^{2}+ \bigl\Vert u_{i}^{n} \bigr\Vert _{I}^{2}\bigr), \\& M^{n+1}=\sum_{i=1}^{2}\bigl( \bigl\Vert u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{I}^{4}+ \bigl\Vert u_{i}^{n} \bigr\Vert _{I} ^{4}\bigr), \\& P^{n+1}=\sum_{i=1}^{2}\bigl\{ \bigl( \bigl\Vert u_{i}\bigl(t^{n+1}\bigr)-u_{i} \bigl(t^{n}\bigr) \bigr\Vert _{I}^{2}+ \bigl\Vert u _{i}\bigl(t^{n+1}\bigr)-u_{i} \bigl(t^{n-1}\bigr) \bigr\Vert _{I}^{2}\bigr) \\& \hphantom{P^{n+1}=}{}+\bigl( \bigl\Vert E_{i}^{n-1} \bigr\Vert _{I}^{2}+ \bigl\Vert E_{i}^{n} \bigr\Vert _{I}^{2}+ \bigl\Vert E_{i}^{n+1} \bigr\Vert _{I} ^{2}\bigr)\bigr\} . \end{aligned}$$

Obviously, \(\|\cdot\|_{I}\) is bounded by the corresponding \(L^{2}\)-norm. In addition, we can infer that the estimate of \(P^{n+1}\) has the order of \(O(\tau ^{2}+h^{2r})\), \(r=1,2\).

Choosing \(\varepsilon _{1}+\varepsilon _{2}+\varepsilon _{3}+\varepsilon _{4}+\varepsilon _{5}+\varepsilon _{7}=1/4\), \(\varepsilon _{6}=1/8\), and \(\varepsilon _{8}=1/16\), and combining all these inequalities with (30) yields that

$$\begin{aligned}& \frac{1}{2\tau }\bigl( \bigl\Vert e_{i}^{n+1} \bigr\Vert _{0}^{2}- \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert e _{i}^{n+1}-e_{i}^{n} \bigr\Vert _{0}^{2}\bigr)+\frac{3\nu_{i}}{4} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2} \\& \quad \leq C\biggl(\frac{1}{\tau } \bigl\Vert E_{i}^{n+1}-E_{i}^{n} \bigr\Vert _{-1}^{2}+ \bigl\Vert RHS_{i} ^{n+1} \bigr\Vert _{-1}^{2}+ \Vert p_{i}-\varPi_{h}p_{i} \Vert _{0}^{2}\biggr) \\& \qquad {} +C \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2} \bigl\Vert \nabla \bigl(u_{i} \bigl(t^{n+1}\bigr)-u_{i}\bigl(t^{n}\bigr)\bigr) \bigr\Vert _{0}^{2} \\& \qquad {} +\bigl( \bigl\Vert \nabla u_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert \nabla u_{i} \bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2}\bigr) \bigl( \bigl\Vert E_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert E_{i}^{n+1} \bigr\Vert _{0}^{2}\bigr)+C \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{2} \bigl\Vert \nabla u_{i}\bigl(t ^{n+1}\bigr) \bigr\Vert _{0}^{2^{d}} \\& \qquad {} +C\nu_{i}^{-3}\bigl(1+ \bigl\Vert u^{n}_{2} \bigr\Vert _{I}^{4}+ \bigl\Vert \bigl[\mathbf{u} \bigl(t^{n+1}\bigr)\bigr] \bigr\Vert _{I} ^{4} \bigr) \bigl\Vert e_{i}^{n+1} \bigr\Vert _{0}^{2}+CL^{n+1}P^{n+1} \\& \qquad {} +\sum_{i=1}^{2}\frac{\nu_{i}}{16}\bigl( \bigl\Vert \nabla e_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert \nabla e_{i} ^{n-1} \bigr\Vert _{0}^{2}\bigr)+\frac{\nu_{i}}{8} \bigl\Vert \nabla e_{i}^{n} \bigr\Vert _{0}^{2} \\& \qquad {}+CM^{n+1}\sum_{i=1}^{2} \nu_{i}^{-3}\bigl( \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert e_{i}^{n-1} \bigr\Vert _{0}^{2}\bigr). \end{aligned}$$

Summing over \(i=1,2\) for the above inequality and moving the term on the 5th line on the right-hand side of (40) to its left-hand side, t the term \(\frac{\nu_{i}}{8}\|\nabla e^{n}_{i}\|_{0}^{2}\) can be exactly absorbed. Thus we find that

$$\begin{aligned}& \frac{1}{2\tau }\bigl( \bigl\Vert \mathbf{e}^{n+1} \bigr\Vert _{0}^{2}- \bigl\Vert \mathbf{e}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert \mathbf{e}^{n+1}- \mathbf{e}^{n} \bigr\Vert _{0}^{2}\bigr)+ \sum _{i=1}^{2}\frac{\nu_{i}}{2} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2} \\& \qquad {}+\sum_{i=1}^{2}\frac{\nu_{i}}{4}\bigl( \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2}- \bigl\Vert \nabla e_{i}^{n} \bigr\Vert _{0}^{2} \bigr)+\sum_{i=1}^{2}\frac{\nu_{i}}{16}\bigl( \bigl\Vert \nabla e _{i}^{n} \bigr\Vert _{0}^{2}- \bigl\Vert \nabla e_{i}^{n-1} \bigr\Vert _{0}^{2} \bigr) \\& \quad \leq C\sum_{i=1}^{2}\biggl( \frac{1}{\tau } \bigl\Vert E_{i}^{n+1}-E_{i}^{n} \bigr\Vert _{-1} ^{2}+ \bigl\Vert RHS_{i}^{n+1} \bigr\Vert _{-1}^{2}+ \Vert p_{i}- \varPi_{h}p_{i} \Vert _{0}^{2}\biggr) \\& \qquad {}+C\sum_{i=1}^{2} \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2} \bigl\Vert \nabla \bigl(u_{i}\bigl(t^{n+1}\bigr)-u _{i}\bigl(t^{n}\bigr)\bigr) \bigr\Vert _{0}^{2} \\& \qquad {}+C\sum_{i=1}^{2}\bigl( \bigl\Vert \nabla u_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0} ^{2}\bigr) \bigl( \bigl\Vert E_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert E_{i}^{n+1} \bigr\Vert _{0}^{2}\bigr)+C\sum _{i=1}^{2}L ^{n+1}P^{n+1} \\& \qquad {}+C\sum_{i=1}^{2}\nu_{i}^{-3} \bigl(1+ \bigl\Vert u^{n}_{2} \bigr\Vert _{I}^{4}+ \bigl\Vert \bigl[\mathbf{u}\bigl(t ^{n+1}\bigr)\bigr] \bigr\Vert _{I}^{4}\bigr) \bigl\Vert e_{i}^{n+1} \bigr\Vert _{0}^{2}+C \sum_{i=1}^{2} \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{2} \bigl\Vert \nabla u_{i}\bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2^{d}} \\& \qquad {}+C\sum_{i=1}^{2}\nu_{i}^{-3}M^{n+1} \bigl( \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert e_{i} ^{n-1} \bigr\Vert _{0}^{2}\bigr). \end{aligned}$$

Noting the bounds of \(\|\nabla u_{i}(t^{n+1})\|_{0}\), \(\sum_{n=0} ^{m-1}\|\nabla u_{i}^{n+1}\|_{0}\), and \(\|{\mathbf{u}}_{tt}\|_{0}\) yields

$$\begin{aligned}& \bigl\Vert E_{i}^{n+1}-E_{i}^{n} \bigr\Vert _{-1}^{2}+\tau \bigl\Vert RHS_{i}^{n+1} \bigr\Vert _{-1}^{2} \\& \quad \leq C\bigl(\tau ^{2}+h^{2}\bigr) \bigl( \Vert \mathbf{u}_{tt} \Vert _{L^{2}([t_{n-1},t_{n+1}],L ^{2}({\varOmega}_{i}))}^{2} \\& \qquad {} + \Vert \mathbf{u} \Vert _{L^{2}([t_{n-1},t_{n+1}],H^{2}({\varOmega}_{i}))}+ \Vert p \Vert _{L ^{2}([t_{n-1},t_{n+1}],H^{1}({\varOmega}_{i}))}\bigr), \\& L^{n+1}P^{n+1} \\& \quad \leq C\bigl(\tau ^{2}+h^{2r}\bigr) \bigl( \Vert \mathbf{u}_{t} \Vert _{L^{2}([t_{n-1},t_{n+1}],L ^{2}({\varOmega}_{i}))}^{2}+ \Vert \mathbf{u} \Vert _{L^{2}([t_{n-1},t_{n+1}],H^{2}({\varOmega}_{i}))}^{2}\bigr). \end{aligned}$$

Summing over \(n=1,2,\ldots, m-1\), multiplying by 2τ, using the classical estimates, and rewritting the last term of the right-hand side of the above inequality as

$$\begin{aligned}& \sum_{n=1}^{m-1} \Biggl( \sum_{i=1}^{2}\nu_{i} ^{-3}M^{n+1}\bigl( \bigl\Vert e_{i}^{n} \bigr\Vert _{0}^{2}+ \bigl\Vert e_{i}^{n-1} \bigr\Vert _{0}^{2}\bigr) \Biggr) \\& \quad \leq C\sum_{i=1}^{2}\nu_{i}^{-3} \bigl(M^{2}+M^{3}\bigr) \bigl( \bigl\Vert e_{i}^{1} \bigr\Vert _{0}^{2}+ \bigl\Vert e_{i}^{0} \bigr\Vert _{0}^{2} \bigr)+C\sum_{n=1}^{m-1}\nu_{i}^{-3} \bigl(M^{n+1}+M^{n+2}\bigr) \bigl\Vert \mathbf{e}^{n} \bigr\Vert _{0}^{2}, \end{aligned}$$

we obtain

$$\begin{aligned}& \bigl\Vert \mathbf{e}^{m} \bigr\Vert _{0}^{2}+ \sum_{n=1}^{m-1} \bigl\Vert \mathbf{e}^{n+1}- \mathbf{e}^{n} \bigr\Vert _{0}^{2}+\tau \sum_{n=1}^{m-1} \sum_{i=1}^{2}\frac{\nu _{i}}{2} \bigl\Vert \nabla e_{i}^{n+1} \bigr\Vert _{0}^{2} \\& \qquad {} +\tau \sum_{i=1}^{2}\frac{\nu_{i}}{16} \bigl( \bigl\Vert \nabla e_{i}^{m-1} \bigr\Vert _{0} ^{2}+4 \bigl\Vert \nabla e_{i}^{m} \bigr\Vert _{0}^{2}\bigr) \\& \quad \leq \tau \sum_{i=1}^{2}\frac{\nu_{i}}{16} \bigl( \bigl\Vert \nabla e_{i}^{0} \bigr\Vert _{0}^{2}+4 \bigl\Vert \nabla e_{i}^{1} \bigr\Vert _{0}^{2}\bigr) \\& \qquad {}+\bigl(1+C\tau \nu_{i}^{-3}\bigl(M^{2}+M^{3} \bigr)\bigr) \bigl( \bigl\Vert \mathbf{e}^{0} \bigr\Vert _{0}^{2}+ \bigl\Vert \mathbf{e}^{1} \bigr\Vert _{0}^{2}\bigr) \\& \qquad {} +C\bigl(\tau ^{2}+h^{2r}\bigr)+C\tau \sum _{n=1}^{m-1}D^{n+1} \bigl\Vert \mathbf{e} ^{n+1} \bigr\Vert _{0}^{2}, \end{aligned}$$

where \(D^{n+1}\) is defined by

$$\begin{aligned} D^{n+1} =&\bigl(\nu_{i}^{-3}\bigl(1+M^{n}+M^{n+1}+ \bigl\Vert u^{n}_{2} \bigr\Vert _{I}^{4}+ \bigl\Vert \bigl[ \mathbf{u}\bigl(t^{n+1}\bigr)\bigr] \bigr\Vert _{I}^{4}\bigr) \\ &{}+ \bigl\Vert \nabla \mathbf{u} \bigl(t^{n+1}\bigr) \bigr\Vert _{0}^{2^{d}}\bigr),\quad d=2,3, \end{aligned}$$

and C is dependent of the data \(({\varOmega}_{i},\nu_{i},f_{i})\). Setting

$$ a^{j+1}= \bigl\Vert e^{j+1} \bigr\Vert _{0}^{2},\qquad b^{j+1}= \bigl\Vert e^{j+1}-e^{j} \bigr\Vert _{0}^{2},\qquad c^{j+1}= \sum _{i=1}^{2} \bigl\Vert \nabla e_{i}^{j+1} \bigr\Vert _{0}^{2}, $$

and using Gronwall’s inequality in Lemma 4.1, (28) and (42) yields the desired result. □

6 Numerical results

In this section, we assess numerical performance of the stabilized methods for the presented model. It will be checked by a known analytical solution problem. The main goal of the experiment is to verify convergence rates of the scheme (16)–(17). Here, we denote errors by

$$\begin{aligned}& \operatorname{Err}(u_{i}) = \Biggl(\tau\sum _{n=0}^{m} \bigl\Vert \nabla\bigl( u_{i} \bigl(t^{n+1}\bigr)-u ^{n+1}_{i}\bigr) \bigr\Vert ^{2}_{0,\varOmega_{i}} \Biggr)^{1/2}, \\& \operatorname{Err}(p_{i}) = \Biggl(\tau\sum _{n=0}^{m} \bigl\Vert p_{i} \bigl(t^{n+1}\bigr)-p ^{n+1}_{i} \bigr\Vert ^{2}_{0,\varOmega_{i}} \Biggr)^{1/2}, \end{aligned}$$

where \(i=1,2\). All numerical computations are implemented by open source software Freefem [19].

Example 1

The computations of the experiment are carried out in the domains \(\varOmega_{1} = (0, 1) \times(0, 1)\) and \(\varOmega_{2} = (0, 1) \times(-1, 0)\). The prescribed exact solutions are given [13, 37] by

$$\begin{aligned}& p_{1}(t,x,y) =p_{2}(t,x,y)=\exp(-t)\cos(\pi x)\sin(\pi y), \\& u_{1,1}(t,x,y) = -\alpha x^{2}\exp(-t) (x - 1)^{2}(y - 1), \\& u_{1,2}(t,x,y) =\alpha xy\exp(-t) \bigl(6x + y - 3xy + 2x^{2}y - 4x^{2} - 2\bigr), \\& u_{2,1}(t,x,y) =-\alpha x\exp(-t) (x - 1) \biggl(y^{2} x(x - 1) \biggl(\frac{ \mu_{1}}{\mu_{2}} + 1 \biggr) \\& \hphantom{u_{2,1}(t,x,y) =}{}-\frac{\mu_{1}^{1/2}y^{2}\exp(t/2)}{(\alpha\kappa)^{1/2}}- x(x - 1) + \frac{\mu_{1}^{1/2}\exp(t/2)}{(\alpha\kappa)^{1/2}} + \frac{ \mu_{1}xy(x - 1)}{\mu_{2}} \biggr), \\& u_{2,2}(t,x,y) = -\frac{\alpha y\exp(-t)(2x - 1)}{3\mu_{2}(\alpha \kappa)^{1/2}} \bigl(6\mu_{2}x^{2}( \alpha\kappa)^{1/2}- 6\mu_{2}x( \alpha\kappa)^{1/2} - 3 \mu_{1}^{1/2}\mu_{2}\exp(t/2) \\& \hphantom{u_{2,2}(t,x,y) =}{} - 2\mu_{1}x^{2}y^{2}(\alpha\kappa)^{1/2} - 2\mu_{2}x^{2}y^{2}( \alpha\kappa)^{1/2} + 3\mu_{1}xy(\alpha\kappa)^{1/2} + 2\mu_{1}xy ^{2}(\alpha\kappa)^{1/2} \\& \hphantom{u_{2,2}(t,x,y) =}{} - 3\mu_{1}x^{2}y(\alpha\kappa)^{1/2} + 2 \mu_{2}xy^{2}(\alpha\kappa )^{1/2} + \mu_{1}^{1/2}\mu_{2}y^{2}\exp(t/2) \bigr), \end{aligned}$$

with an arbitrary positive constant α. Here, \((u_{i},p_{i})\), \(i=1,2\) are the solutions of the original problem (1)–(6) and the right-hand sides \(f=(f_{1},f_{2})\) can be obtained by (1). Moreover, \(u_{2}=(u_{2,1},u_{2,2})\) satisfies the three interface conditions in [13].

Firstly, in the first example, we choose the same parameter values \(\mu_{1}=0.5\), \(\mu_{2}=0.05\), \(\alpha=1\) and \(\kappa=100\) as in [13]. The Euler scheme is used for the time discretization at \(T = 1\), with the time step \(\tau= h\). Three values of space size \(h= 1/8,1/32, 1/64\) are chosen. We display the convergence orders and errors of the presented method in Tables 12 by \(P_{r}\)\(P_{r}\), \(r=1,2\). From Tables 12, it can be easily seen that the method completely agree with the expected results in theory.

Table 1 Errors for stabilized \(P_{1}\)\(P_{1}\) pair with \(\tau=h\)
Table 2 Errors for stabilized \(P_{2}\)\(P_{2}\) pair with \(\tau=h^{2}\)

Secondly, we test the presented method with small viscosities. Here, we choose \(\alpha=1\), \(\kappa=100\), \(h=1/20\) and the time step \(\tau= 0.005\). Then, we list the numerical errors with different small viscosities at \(T=0.1\) in Tables 34. Obviously, the presented method can deal with these problems involving small viscosities.

Table 3 Errors for the different small viscosities based on stabilized \(P_{1}\)\(P_{1}\) pair
Table 4 Errors for the different small viscosities based on stabilized \(P_{2}\)\(P_{2}\) pair

Example 2

In this example, we test the presented method for a submarine mountain problem. This problem describes the fluid, which flows in a domain including the submarine mountain. In this case, the subdomain \(\varOmega_{2}\) is nonconvex. As is known, the viscosity of the fluid at submarine location is bigger than that at surface location. So we take \(\mu_{1}=0.001\) and \(\mu_{2}=0.01\) in this example.

Set \(\varOmega_{1}=[0,1]\times[0,0.1]\) and \(\varOmega_{2}=\{(x,y): \frac{7}{40}(1-(2x-1)\sin(7x-3.5))\leq y\leq0\}\). The initial conditions are chosen as follows:

$$\begin{aligned}& p_{1}(0,x,y) =p_{2}(0,x,y)=\cos(\pi x)\sin(\pi y), \\& u_{1,1}(0,x,y) = x^{2}(1-x)^{2}(0.1-y), \\& u_{1,2}(0,x,y) =xy\bigl(-0.2+y+0.6x-3xy-0.4x^{2}+2x^{2}y \bigr), \\& u_{2,1}(0,x,y) =x^{2}(1-x)^{2}(0.1+y), \\& u_{2,2}(0,x,y) = xy\bigl(-0.2-y+0.6x+3xy-0.4x^{2}-2x^{2}y \bigr). \end{aligned}$$

We apply the presented method to get the numerical solution with \(h=1/70\) and \(\tau=1/40\). In Fig. 1, we present profiles for the numerical velocity and pressure with different methods at the final time \(T=5\) and \(\kappa=100\). From this figure, we can see that the stabilized methods are stable and the unphysical oscillations do not appear, and the numerical results of these stabilized methods completely agreement with those obtained by the classical \(P_{2}\)\(P_{1}\) pair [35]. Besides, we can find that the presence of the submarine mountain affects the fluid.

Figure 1
figure 1

The numerical streamlines and isobars: the stabilized \(P_{2}\)\(P_{2}\) pair (the first line), the \(P_{2}\)\(P_{1}\) pair (the second line) and the stabilized \(P_{1}\)\(P_{1}\) pair (the third line)


  1. Adams, R.A.: Sobolev Spaces. Academic Press, New York (1975)

    MATH  Google Scholar 

  2. Becker, R., Braack, M.: A finite element pressure gradient stabilization for the Stokes equations based on local projections. Calcolo 38, 173–199 (2001)

    Article  MathSciNet  Google Scholar 

  3. Bernardi, C., Chacón-Rebollo, T., Lewandowski, R., Murat, F.: Existence of a solution for a model of two coupled turbulent fluids. SIAM J. Numer. Anal. 40, 2368–2394 (2002)

    Article  MathSciNet  Google Scholar 

  4. Bresch, D., Koko, J.: Operator-splitting and Lagrange multiplier domain decomposition methods for numerical simulation of two coupled Navier–Stokes fluids. Int. J. Appl. Math. Comput. Sci. 16, 419–429 (2006)

    MathSciNet  MATH  Google Scholar 

  5. Brezzi, F., Fortin, M.: Mixed and Hybrid Finite Element Methods. Springer, New York (1991)

    Book  Google Scholar 

  6. Brezzi, F., Fortin, M.: A minimal stabilisation procedure for mixed finite element methods. Numer. Math. 89, 457–491 (2001)

    Article  MathSciNet  Google Scholar 

  7. Brezzi, F., Pitkäranta, J.: On the stabilization of finite element approximations of the Stokes equations. In: Proceedings on the Efficient Solutions of Elliptic Systems, Kiel, 1984. Notes on Numerical Fluid Mechanics, vol. 10, p. 11. Vieweg, Braunschweig (1984)

    Chapter  Google Scholar 

  8. Burman, E.: Pressure projection stabilizations for Galerkin approximations of Stokes’ and Darcy’s problem. Numer. Methods Partial Differ. Equ. 24, 127–143 (2008)

    Article  MathSciNet  Google Scholar 

  9. Chen, Z.: Finite Element Methods and Their Applications. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  10. Chen, Z., Wang, Z., Zhu, L., Li, J.: Analysis of the pressure projection stabilization method for the Darcy and coupled Darcy–Stokes flows. Comput. Geosci. 17, 1079–1091 (2013)

    Article  MathSciNet  Google Scholar 

  11. Ciarlet, P.G.: The Finite Element Method for Elliptic Problems. North-Holland, Amsterdam (1978)

    MATH  Google Scholar 

  12. Connors, J., Howell, J., Layton, W.: Decoupled time stepping methods for fluid–fluid interaction. SIAM J. Numer. Anal. 50, 1297–1319 (2012)

    Article  MathSciNet  Google Scholar 

  13. Connors, J.M., Howell, J.S.: A fluid–fluid interaction method using decoupled subproblems and differing time steps. Numer. Methods Partial Differ. Equ. 28, 1283–1308 (2012)

    Article  MathSciNet  Google Scholar 

  14. Dohrmann, C.R., Bochev, P.B.: A stabilized finite element method for the Stokes problem based on polynomial pressure projections. Int. J. Numer. Methods Fluids 46, 183–201 (2004)

    Article  MathSciNet  Google Scholar 

  15. Girault, V., Raviart, P.A.: Finite Element Method for Navier–Stokes Equations: Theory and Algorithms. Springer, Berlin (1987)

    MATH  Google Scholar 

  16. He, Y., Li, J.: Convergence of three iterative methods based on the finite element discretization for the stationary Navier–Stokes equations. Comput. Methods Appl. Mech. Eng. 198, 1351–1359 (2009)

    Article  MathSciNet  Google Scholar 

  17. He, Y., Li, J.: Numerical comparisons of time-space iterative method and spatial iterative methods for the stationary Navier–Stokes equations. J. Comput. Phys. 231, 6790–6800 (2012)

    Article  MathSciNet  Google Scholar 

  18. He, Y., Lin, Y., Sun, W.: Stabilized finite element method for the non-stationary Navier–Stokes problem. Discrete Contin. Dyn. Syst., Ser. B 6, 41–68 (2006)

    MathSciNet  MATH  Google Scholar 

  19. Hecht, F., LeHyaric, A., Pironneau, O.: Freefem++ version 3.23 (2013)

  20. Heywood, J.G., Rannacher, R.: Finite-element approximations of the nonstationary Navier–Stokes problem. Part I: regularity of solutions and second-order spatial discretization. SIAM J. Numer. Anal. 19, 275–311 (1982)

    Article  MathSciNet  Google Scholar 

  21. Heywood, J.G., Rannacher, R.: Finite-element approximation of the nonstationary Navier–Stokes problem part IV: error analysis for second-order time discretization. SIAM J. Numer. Anal. 27, 353–384 (1990)

    Article  MathSciNet  Google Scholar 

  22. Huang, P., Feng, X., He, Y.: A quadratic equal-order stabilized finite element method for the conduction–convection equations. Comput. Fluids 86, 169–176 (2013)

    Article  MathSciNet  Google Scholar 

  23. Layton, W.: Model reduction by constraints, discretization of flow problems and an induced pressure stabilization. Numer. Linear Algebra Appl. 12, 547–562 (2005)

    Article  MathSciNet  Google Scholar 

  24. Layton, W.: Introduction to the Numerical Analysis of Incompressible Viscous Flows. Comput. Sci. Eng., vol. 6. SIAM, Philadelphia (2008)

    Book  Google Scholar 

  25. Layton, W., Tran, H., Trenchea, C.: Analysis of long time stability and errors of two partitioned methods for uncoupling evolutionary groundwater–surface water flows. SIAM J. Numer. Anal. 51, 248–272 (2013)

    Article  MathSciNet  Google Scholar 

  26. Li, J., Chen, Z.: A new stabilized finite volume method for the stationary Stokes equations. Adv. Comput. Math. 30, 141–152 (2009)

    Article  MathSciNet  Google Scholar 

  27. Li, J., Chen, Z.: Optimal \(L^{2}\), \(H^{1}\) and \(L^{{\infty}}\) analysis of finite volume methods for the stationary Navier–Stokes equations with large data. Numer. Math. 126, 75–101 (2014)

    Article  MathSciNet  Google Scholar 

  28. Li, J., Chen, Z., He, Y.: A stabilized multi-level method for non-singular finite volume solutions of the stationary 3D Navier–Stokes equations. Numer. Math. 122, 279–304 (2012)

    Article  MathSciNet  Google Scholar 

  29. Li, J., He, Y.: A new stabilized finite element method based on two local Gauss integration for the Stokes equations. J. Comput. Appl. Math. 214, 58–65 (2008)

    Article  MathSciNet  Google Scholar 

  30. Li, J., He, Y., Chen, Z.: A new stabilized finite element method for the transient Navier–Stokes equations. Comput. Methods Appl. Mech. Eng. 197, 22–35 (2007)

    Article  MathSciNet  Google Scholar 

  31. Lions, J.L., Temam, R., Wang, S.: Models for the coupled atmosphere and ocean (CAO I). Comput. Mech. Adv. 1, 1–54 (1993)

    Article  MathSciNet  Google Scholar 

  32. Lions, J.L., Temam, R., Wang, S.: Numerical analysis of the coupled atmosphere–ocean models (CAO II). Comput. Mech. Adv. 1, 55–119 (1993)

    MATH  Google Scholar 

  33. Nasserdine, K., Silvester, D.: Analysis of locally stabilized mixed finite element methods for the Stokes problem. Math. Compet. 58, 1–10 (1992)

    Article  MathSciNet  Google Scholar 

  34. Silvester, D.: Optimal low order finite element methods for incompressible flow. Comput. Methods Appl. Mech. Eng. 111, 357–368 (1994)

    Article  MathSciNet  Google Scholar 

  35. Taylor, C., Hood, P.: A numerical solution of the Navier–Stokes equations using the finite element technique. Comput. Fluids 1, 73–100 (1973)

    Article  MathSciNet  Google Scholar 

  36. Temam, R.: Navier–Stokes Equations, Theory and Numerical Analysis, 3rd edn. North-Holland, Amsterdam (1984)

    MATH  Google Scholar 

  37. Zhang, H., Hou, Y., Shan, L.: Stability and convergence analysis of decoupled algorithm for fluid–fluid interaction. SIAM J. Numer. Anal. 54, 2833–2867 (2016)

    Article  MathSciNet  Google Scholar 

  38. Zheng, H., Shan, L., Hou, Y.: A quadratic equal-order stabilized method for Stokes problem based on two local Gauss integrations. Numer. Methods Partial Differ. Equ. 26, 1180–1190 (2010)

    MathSciNet  MATH  Google Scholar 

Download references


The authors express their sincere thanks to the anonymous reviewers for their valuable suggestions and corrections for improving the quality of this paper.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.


This work is supported by NSF of China (No. 11771259 and 11861067).

Author information

Authors and Affiliations



All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jian Li.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

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.

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, J., Huang, P., Su, J. et al. A linear, stabilized, non-spatial iterative, partitioned time stepping method for the nonlinear Navier–Stokes/Navier–Stokes interaction model. Bound Value Probl 2019, 115 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: