Abstract
This work introduces a stabilised finite element formulation for the Stokes flow problem with a nonlinear slip boundary condition of friction type. The boundary condition is enforced with the help of an additional Lagrange multiplier representing boundary traction and the stabilised formulation is based on simultaneously stabilising both the pressure and the traction. We establish the stability and the a priori error analyses, and perform a numerical convergence study in order to verify the theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Stokes problem is a well known and extensively studied linear model for creeping flow. There exist various physically justified and mathematically valid boundary conditions that can be directly applied. For instance, some components of the velocity field \(\varvec{u}\) may be prescribed while the other components are free to vary subject to a zero stress condition. In the classical linear slip boundary condition, the normal velocity is equal to zero and the tangential velocity remains unspecified.
However, in some cases a more involved nonlinear interaction takes place between the fluid and its surroundings. Think, e.g., of a membrane leaking only if the pressure becomes large enough. Another example is a slip flow in which the tangential velocity at the boundary becomes nonzero if and only if the shear stress exceeds a prescribed, or velocity-dependent, friction threshold. This inequality-type of friction laws have been suggested, e.g., for the flow of glaciers over the bedrock [24]. Besides, given that the Stokes flow problem is analogous to the equations of linear elasticity in the incompressible limit [17], nonlinear slip conditions could be used for modeling frictional contact of incompressible solids. See also Rao and Rajagopal [22] for more examples on the use of slip boundary conditions in flow problems.
In this work, we focus on the nonlinear slip condition with a prescribed Tresca friction threshold. The nonlinear slip (and leak) boundary conditions of friction type were first considered for incompressible fluids by Fujita [10]—see also the discussion on slip boundary conditions for fluid flow problems in Le Roux [18]. These problems can be written as variational inequalities of the second kind, cf. Fujita [10], or, alternatively, as mixed variational inequalities by expressing the boundary traction as a Lagrange multiplier \(\varvec{\lambda }\) which enforces the inequality constraint, cf. [3]. Here, we adopt the second formulation and propose a stabilised finite element method for its numerical approximation.
Regarding the numerical approximations, Kashiwabara [16] has proven error estimates for the velocity-pressure pair \((\varvec{u},p)\) using Taylor–Hood \(P_2\)–\(P_1\) finite elements but with the inf-sup constant for the tangential component \(\varvec{\lambda }_t\), approximated using the trace space of \(P_2\), still depending on h. The lack of uniform stability means that it is not possible to achieve optimal error estimates for \(\varvec{\lambda }_t\). However, the value of \(\varvec{\lambda }_t\) is needed in finding the active constraints at each iteration step of the solution algorithm. Therefore, it is reasonable to aim at uniform stability for the three unknowns \((\varvec{u},p,\varvec{\lambda })\).
Achieving uniform stability simultaneously for \(\varvec{\lambda }\) and p can be done by different means, e.g., by a specific choice of finite element spaces. The work of Ayadi et al. [1,2,3] is based on the use of \(P_1\) bubble–\(P_1\)–\(P_1\) triplet as a stable choice of mixed finite element spaces. This is a reasonable choice since \(P_1\) bubble–\(P_1\) for \((\varvec{u},p)\) is known to be stable in the case of the standard Stokes problem and \(P_1\)–\(P_1\) element for \((\varvec{u},\varvec{\lambda })\) has been implemented to impose boundary conditions using Lagrange multipliers—although we would expect that minor modifications of the basis functions are needed in the case of mixed boundary conditions [13]. Other works based on mixed methods, with or without an explicit Lagrange multiplier for the boundary condition, include Djoko et al. [6, 8] and Fang et al. [9].
The present work focuses on residual stabilisation [4, 25], i.e. the inclusion of additional residual terms in the variational formulation to circumvent the Babuška–Brezzi condition. If these residual terms are consistent and scaled properly, it is possible to have stability for the \((p, \varvec{\lambda })\) variables, no matter which finite element spaces are considered for discretisation. This will greatly improve the flexibility in choosing the finite element spaces and allows for discretisations beyond those based on the boundary conditions. In this work, the stabilisation allows us to use the lowest order \(P_1\)–\(P_1\)–\(P_0\) element in our numerical experiment, a triplet which would otherwise be unstable.
Residual stabilisation has been considered in Djoko and Koko [7] but only for the velocity–pressure pair and, hence, without estimates for \(\varvec{\lambda }\). A stabilisation technique through pressure projection has been presented in Li and Li [20], and discussed in Qiu et al. [21] and Li et al. [19], but again without estimates for \(\varvec{\lambda }\). Using residual stabilisation for both Lagrange multipliers, p and \(\varvec{\lambda }\), we establish here a uniform stability estimate for all three variables. This is shown to lead to a quasi-optimality result, i.e. a best approximation result with an additional term due to the unknown location of the slip boundary, which is further refined into an a priori error estimate for the lowest order method.
The work is organized as follows. In Sect. 2, we present the strong formulation of the problem and in Sect. 3 derive the corresponding weak formulation. The stabilised finite element method is presented and its stability analysed in Sect. 4. In Sect. 5, the quasi-optimality estimate is proven and shown to provide an optimal priori error estimate for the lowest order method. In Sect. 6, we derive a solution algorithm for the discrete variational inequality and, in Sect. 7, report on the results of our numerical experiment which aims at corroborating the theoretical convergence rates.
2 Strong formulation
Let \(\varOmega \in \mathbb {R}^d, d\in \{2,3\}\) denote a polygonal (polyhedral) domain with a Lipschitz boundary \(\partial \varOmega \) and let \(\varvec{u}: \varOmega \rightarrow \mathbb {R}^d\) be the fluid velocity field. Denoting the symmetric part of the velocity gradient by
we introduce the differential operator
where \(\mu > 0\) is the kinematic viscosity. Letting \(p: \varOmega \rightarrow \mathbb {R}\) be the pressure field, the balance of linear momentum for an incompressible, homogeneous and linearly viscous fluid reads as
where \(\varvec{f}: \varOmega \rightarrow \mathbb {R}^d\) denotes the resultant of external forces. Equation 2.1 holds together with the incompressibility constraint
Remark 1
We are considering here the "generalized" Stokes system 2.1–2.2 for expediency. In particular, using the operator \(\varvec{A}\varvec{u}\), instead of \(- \,\textbf{div}\,(2\mu \varvec{D}(\varvec{u}))\), allows us to impose the slip boundary condition on the entire \(\partial \varOmega \). Considering different boundary conditions at different parts of the domain requires resorting to the trace space \(H^{1/2}_{00}\) [26] for the normal components of the velocity field trace which, in our opinion, is an unnecessary technical difficulty. We also note that the generalized equation is relevant, as such, for the implicit time discretization of the time-dependent Stokes equations, and that the solvers presented in this work and available at [11] can be applied to the standard Stokes system by simply removing the additional term.
Next, let us introduce the boundary conditions. Denoting the Cauchy stress tensor by
and the normal and tangential components of \(\varvec{u}\) as \(u_n= \varvec{u}\cdot \varvec{n}\) and \(\varvec{u}_t=\varvec{u}-u_n\varvec{n}\), where \(\varvec{n}:\partial \varOmega \rightarrow \mathbb {R}^d\) is the outward unit normal to \(\varOmega \), we divide the normal stress vector \(\varvec{\sigma }(\varvec{u},p) \varvec{n}\) into its normal and tangential components \(\sigma _n\) and \(\varvec{\sigma }_t\) defined through
and
On the boundary \(\partial \varOmega \), we impose the following (nonlinear) slip boundary condition
where \(\kappa : \partial \varOmega \rightarrow (0,\infty )\) is a positive threshold function denoting an upper limit for the tangential stress before slip occurs. In other words, if \(|\varvec{\sigma }_t|< \kappa \) then the tangential velocity is zero and if \(|\varvec{\sigma }_t|= \kappa \) then the tangential stress and velocity vectors are collinear with opposite directions. In case the boundary condition is imposed with the help of Lagrange multipliers, the definition
implies that
where \(\lambda _n = \varvec{\lambda }\cdot \varvec{n}\) denotes the normal component of the Lagrange multiplier and \(\varvec{\lambda }_t = \varvec{\lambda }- \lambda _n \varvec{n}\) its tangential component.
Remark 2
Note that there exists an analogous interpretation of the above problem in solid mechanics. It is well known that the Stokes problem 2.1–2.2 can be obtained from the equations of linear elasticity by defining "pressure" as the product of the first Lamé parameter and the divergence of the displacement field and then letting the first Lamé parameter approach infinity, corresponding to the incompressible limit. Consequently, in solid mechanics, the condition 2.4 can be referred to as the Tresca friction condition [14].
3 Mixed variational formulation
We will now present a mixed variational formulation for problem 2.1,2.2, 2.4. We use the following notation for the \(L^2\) inner products
define the velocity and pressure spaces through
and denote the trace space by \(\varvec{W}=H^{1/2}(\partial \varOmega )^d\), \(d\in \{2,3\}\). The space for the Lagrange multiplier, defined in 2.5, is
where \(\varvec{M} = \varvec{W}^\prime \) and \(\langle .,. \rangle \) denotes the duality pairing between \(\varvec{M}\) and \(\varvec{W}\). In particular, for \(\varvec{\mu }\in \varvec{M}\) and \(\varvec{v} = (v_n \varvec{n} + \varvec{v}_t) \in \varvec{W}\) we can write
where \(\langle \mu _n, v_n \rangle = \langle \mu _n \varvec{n}, v_n \varvec{n} \rangle \); cf. [29].
The mixed variational formulation of problem 2.1,2.2, 2.4 now reads as follows: find \((\varvec{u}, p, \varvec{\lambda }) \in \varvec{V} \times Q \times \varvec{\varLambda }\) such that
The existence, uniqueness and regularity of solutions of the variational problem (without the Lagrange multiplier) has been studied in [10] and [23]. The inequality in 3.1 is equivalent to \(-\langle \mu _t - \lambda _t, u_t \rangle \le 0\) (when \(\mu _n = \lambda _n\)) which follows from the definition of the space \(\varvec{\varLambda }\) and the last equality in 2.6.
Defining the bilinear form
where
we can write the problem 3.1, by summing the three parts in 3.1, in the following compact form:
Problem 1
(Continuous variational form) Find \((\varvec{u}, p, \varvec{\lambda }) \in \varvec{V} \times Q \times \varvec{\varLambda }\) such that
The following norm will be used in our analysis:
where \( \Vert \cdot \Vert _{1,\varOmega }\) and \( \Vert \cdot \Vert _{0,\varOmega }\) are the usual norms in the Hilbert spaces \(H^1(\varOmega )\) and \(L^2(\varOmega )\) and
Note that there exist \(C, c > 0\) such that
In the following, we write \(a \lesssim b\) (or \(a \gtrsim b\)) if there exists a constant \(C > 0\), which is independent of the finite element mesh, but possibly varying from step to step, and satisfies \(a \le C b\) (or \(a \ge C b\)).
The proof of the following result can be inferred, e.g., from [2].
Theorem 1
(Continuous stability) For every \((\varvec{w}, r, \varvec{\xi }) \in \varvec{V} \times Q \times \varvec{\varLambda }\) there exists \((\varvec{v}, q, \varvec{\mu }) \in \varvec{V} \times Q \times \varvec{\varLambda }\) satisfying
and
4 Stabilised finite element method
We consider finite element spaces based on a shape regular triangulation \(\mathscr {T}_h\) of \(\varOmega \) with the mesh parameter h. We denote by \(\mathscr {E}_h\) the internal facets and by \(\mathscr {G}_h\) the boundary facets of \(\mathscr {T}_h\), respectively. The finite element spaces are denoted by \(\varvec{V}_h \subset \varvec{V}\), \(Q_h \subset Q\), \(\varvec{M}_h \subset \varvec{M}\), and, in addition, we define the discrete counterpart of \(\varvec{\varLambda }\) as follows:
Our analysis is based on the conformity assumption \(\varvec{\varLambda }_h \subset \varvec{\varLambda }\) which means that we must be able to enforce the condition \(| \varvec{\lambda }_{h,t} | \le \kappa \) strongly. In practice, this means, e.g., that \(\kappa \) and \(\varvec{\lambda }_h\) are constants elementwise. We note that while the conformity is required by our analysis, the resulting algorithm gives reasonable results also for nonconstant \(\kappa \) where the condition \(| \varvec{\lambda }_{h,t} | \le \kappa \) holds only, e.g., at element midpoints or at the nodes of the mesh.
Let \(\alpha _1, \alpha _2 > 0\) be stabilisation parameters. The finite element method is written with the help of the stabilised bilinear form
where
and
The stabilised linear form is given by
where
This type of nonsymmetric residual stabilisation for the Stokes operator can be found, e.g., in [5].
The stabilised finite element method corresponds to solving the following variational problem.
Problem 2
(Discrete variational form) Find \((\varvec{u}_h, p_h, \varvec{\lambda }_h) \in \varvec{V}_h \times Q_h \times \varvec{\varLambda }_h\) such that
In our analysis, we will use the following inverse and trace estimates, easily proven by a scaling argument [25].
Lemma 1
(Inverse estimates) For any \((\varvec{w}_h, r_h) \in \varvec{V}_h \times Q_h\), there exist constants \(C_{I,1}, C_{I,2} > 0\) such that
and
Lemma 2
(Discrete trace estimate) For any \(\varvec{w}_h \in \varvec{V}_h\), there exists \(C_T>0\) such that
The following discrete counterpart of the norm defined in 3.2 is instrumental in the stability analysis of the discrete problem.
Note, in particular, that
Existence and uniqueness of solutions to the discrete variational problem follows from the discrete stability estimate proven below.
Theorem 2
(Discrete stability) Let \(\frac{\alpha _1}{C_{I,1}} + \frac{\alpha _2}{C_{I,2}} < 1\). For every \((\varvec{w}_h, r_h, \varvec{\xi }_h) \in \varvec{V}_h \times Q_h \times \varvec{\varLambda }_h\) there exists \((\varvec{v}_h, q_h) \in \varvec{V}_h \times Q_h\) satisfying
and
Proof
(Step 1.) Choosing \((\varvec{v}_h, q_h, \varvec{\mu }_h) = (\varvec{w}_h, r_h, -\varvec{\xi }_h)\) gives
Using the inverse estimates of Lemma 1 and the bound 3.3 we get
(Step 2.) As a consequence of Theorem 1, for any \((r_h, \varvec{\xi }_h) \in Q_h \times \varvec{\varLambda }_h\) there exists \(\varvec{v}\in \varvec{V}\) such that
and
where \(C_1, C_2 > 0\). Let \(\widetilde{\varvec{v}}\in \varvec{V}_h\) be the Clemént interpolant of \(\varvec{v}\) with the properties
and
Choosing \((\varvec{v}_h, q_h, \varvec{\mu }_h) = (-\widetilde{\varvec{v}}, 0, \varvec{0})\) gives
The first term in 4.7 can be bounded using the continuity of a, Young’s inequality with a constant \(\delta _1 > 0\), and the interpolation property 4.6. This leads to the bound
The second and the third terms are bounded using integration by parts, Cauchy–Schwarz inequality, the bound 4.3 and the properties of the Clemént interpolant as follows:
After applying Young’s inequality with constants \(\delta _2, \delta _3 > 0\), we finally obtain
Next, we bound the two stabilisation terms in 4.7. The first can be bounded from below as follows:
Given that
and similarly for \(\widetilde{\varvec{v}}\), we conclude, using Young’s inequality, 4.4 and 4.6, that
The second stabilisation term in 4.7 is bounded using Lemmas 1 and 2, Young’s inequality as well as bounds 4.4 and 4.6.
(Step 3.) Finally, we combine steps 1 and 2 by showing that if we choose \((\varvec{v}_h, q_h, \varvec{\mu }_h) = (\varvec{w}_h - \varepsilon \widetilde{\varvec{v}}, r_h, -\varvec{\xi }_h)\), we can guarantee that \(\varepsilon > 0\) and the other constants \(\delta _i\), \(i=1,\dots ,7\), remaining from application of Young’s inequalities can be chosen in such a way that the coefficients of the terms comprising the norm \(\left| \left| \left| . \right| \right| \right| _h\) remain positive.
5 Error analysis
Let \(\varvec{f}_h\) be the \(L^2\)-projection of \(\varvec{f}\) onto \(\varvec{V}_h\) and, for \(T\in \mathscr {T}_h\), define
Below we denote by \(T(E) \in \mathscr {T}_h\) the element which has \(E \in \mathscr {G}_h\) as one of its facets. The proofs of the following lemmas can be found, e.g., in [14] and [27, 28].
Lemma 3
(Lower bound for the boundary residual) For any \((\varvec{w}_h, r_h, \varvec{\xi }_h) \in \varvec{V}_h \times Q_h \times \varvec{\varLambda }_h\) it holds that
where \((\varvec{u}, p, \varvec{\lambda }) \in \varvec{V} \times Q \times \varvec{\varLambda }\) is the solution to 3.1.
Lemma 4
(Lower bound for the interior residual) For any \((\varvec{w}_h, r_h) \in \varvec{V}_h \times Q_h\) it holds that
where \((\varvec{u}, p) \in \varvec{V} \times Q\) is the solution to 3.1.
We can now show the quasi-optimality of the method, i.e. a best approximation result with an additional term due to the inequality constraint.
Theorem 3
(Quasi-optimality) For any \((\varvec{w}_h, r_h, \varvec{\mu }_h) \in \varvec{V}_h \times Q_h \times \varvec{\varLambda }_h\), it holds
where \((\varvec{u}_h, p_h, \varvec{\lambda }_h)\) denotes the solution to Problem 2.
Proof
Let \((\varvec{w}_h, r_h, \varvec{\mu }_h) \in \varvec{V}_h \times Q_h \times \varvec{\varLambda }_h\) be arbitrary. Then by the discrete stability estimate 4.2 there exists \((\varvec{v}_h, q_h) \in \varvec{V}_h \times Q_h\), with the property \(\left| \left| \left| (\varvec{v}_h, q_h, \varvec{\lambda }_h - \varvec{\mu }_h) \right| \right| \right| _h = 1\), such that
where in the last step we have used the discrete variational form and written out the discrete bilinear form. The first two terms on the right-hand side of 5.2 can be written as
where the inequality follows from the inequality in 3.1. The third term is bounded using the continuity of the bilinear form \(\mathscr {B}\) and the final two stabilisation terms are bounded using Cauchy–Schwarz inequality and Lemmas 1, 3 and 4. The proof is completed using the trivial bound
and the triangle inequality.
Using a continuous pressure, we can consider the finite element spaces
where \(k,l\ge 1\) and \(m\ge 0\) are the polynomial orders. Alternatively, we may consider a discontinuous pressure which, however, requires a quadratic velocity, \(k \ge 2\). It is also possible to use a continuous Lagrange multiplier together with any valid velocity–pressure combination.
Remark 3
The analysis up to this point is valid for \(d \in \{ 2, 3 \}\) and for any \(k, l \ge 1\) and \(m \ge 0\). However, proving an optimal a priori error estimate based on the quasi-optimality result shown in Theorem 3 requires further assumptions. For instance, in the two-dimensional case, assuming that \(\varvec{\lambda }\in H^{1/2}(\partial \varOmega )^2\), then \(|\varvec{\lambda }_t| \le \kappa \) holds pointwise and it should be clear that also \(|(\Pi _{\varvec{M}_h}\varvec{\lambda })_t| \le \kappa \) where \(\Pi _{\varvec{M}_h}\) is the \(L^2\)-projection onto \(\varvec{M}_h\). This implies that \(\Pi _{\varvec{M}_h}\varvec{\lambda }\in \varvec{\varLambda }_h\) and, consequently, allows us to write the bound
Assuming, moreover, that \(\varvec{u}\in H^2(\varOmega )^2\), one thus obtains an optimal a priori estimate for the lowest order elements given that
where \(\Pi _{\varvec{V}_h}\) denotes the Lagrange interpolant onto \(\varvec{V}_h\).
6 Solution algorithm
We next derive our solution algorithm, also known as Uzawa iteration, following the steps given in He and Glowinski [15]. The derivation is given in detail because the algorithm includes additional terms due to the stabilisation.
The discrete variational problem can be split into
and
Combining the two terms we equivalently have
where \(h_{\partial \varOmega }\) is the boundary mesh size function and \(\Pi _{\varvec{M}_h}\) is the \(L^2\)-projection onto \(\varvec{M}_h\). Now multiplying by an arbitrary \(\rho >0\), and adding and subtracting \(\varvec{\lambda }_h\) leads to
The above form implies that \(\varvec{\lambda }_h\) is equal to the orthogonal projection of
onto the constrained space \(\varvec{\varLambda }_h\). The orthogonal projection can be written explicitly as
which can be interpreted as enforcing the maximum length of the tangential component to \(\kappa \). As a conclusion, the inequality constraint 6.2 can be reformulated as the equality constraint
Algorithm 1
(Uzawa iteration) Let \((\varvec{u}_h^0, p_h^0, \varvec{\lambda }_h^0)\) be an initial guess, \(TOL > 0\) be a stopping tolerance and set \(i \leftarrow 1\).
-
1.
Calculate \(\varvec{\lambda }_h^i = \varvec{P}(\varvec{\lambda }_h^{i-1} - \rho \, \Pi _{\varvec{M}_h}(\varvec{u}_h^{i-1} + \alpha _2 h_{\partial \varOmega }(\varvec{\lambda }_h^{i-1} - \varvec{\sigma }(\varvec{u}_h^{i-1}, p_h^{i-1})\varvec{n}))\).
-
2.
Solve for \((\varvec{u}_h^i, p_h^i)\) in \(\mathscr {B}_h(\varvec{u}^i_h, p_h^i, \varvec{0}; \varvec{v}_h, q_h, \varvec{0}) = \mathscr {L}_h(\varvec{v}_h, q_h) + \langle \varvec{\lambda }_h^i, \varvec{v}_h \rangle \).
-
3.
Stop if \(\Vert \varvec{\lambda }_h^i - \varvec{\lambda }_h^{i-1}\Vert _0 / \Vert \varvec{\lambda }_h^i \Vert _0 < TOL\). Otherwise set \(i \leftarrow i + 1\) and go to Step 1.
Remark 4
An assumption is made in Step 1 of Algorithm 1 that the orthogonal projection \(\varvec{P}\) can be performed directly on the discrete function. This is true, e.g., if the Lagrange multiplier is approximated by a piecewise constant function or a discontinuous, piecewise linear function.
7 Numerical experiment
The numerical results are calculated with the help of the software package scikit-fem [12]. The source code is available in [11].
7.1 Convergence study
In the first example, we consider the lowest order method with \(k=l=1\), \(m=0\), and solve the problem within the domain \(\varOmega = (-1,1)^2\) using the material parameter values \(\kappa = 0.3\), \(\mu =1\), and the loading function
We have set the numerical parameters to \(\rho =0.4\), \(\alpha _1=\alpha _2=10^{-2}\), \(TOL=10^{-5}\) and solve the same problem using a sequence of uniformly refined meshes; cf. Fig. 1. The Uzawa parameter \(\rho =0.4\) is close to its upper bound (see, e.g., [15] for more information) which we have found by trial-and-error in order to reduce the number of iterations required. The stabilisation parameters \(\alpha _1\) and \(\alpha _2\) have been chosen, for simplicity, to be equal while \(\alpha _2\) is close to its upper bound, as given by Theorem 2.
The components \(u_h\) and \(p_h\) of the discrete solution, calculated using the finest mesh in the sequence, are visualized in Fig. 2 while the discrete Lagrange multipliers for some of the meshes are given in Fig. 3. As seen in the Figures, the fluid, which is flowing counterclockwise, is slipping along the middle part of all four sides of the boundary.
In the absence of an analytical solution, we have calculated the relative errors in the discrete solutions between two subsequent meshes in Figs. 4, 5 and 6. Note that the relative error can be shown to converge at similar rates as the absolute error by using the triangle inequality, e.g.,
The numerical results suggest that the total error converges linearly as the observed rate is linear for the velocity and the pressure, and superlinear for the Lagrange multiplier.
7.2 Curved boundary
In the second example, we demonstrate how the lowest order method performs with curved boundaries. The domain is now chosen as the half unit circle
and the parameters \(\kappa = \rho = 0.1\). The other parameters are as in the previous example. The resulting velocity and pressure fields are depicted in Fig. 7. The tangential Lagrange multipliers are depicted in Fig. 8.
8 Conclusions
We have introduced a stabilised finite element method for the mixed approximation of the Stokes problem with a nonlinear slip boundary condition of friction type. We have proven the stability of the method and provided an a priori error estimate, together with numerical experiments demonstrating the lowest order variant.
References
Ayadi, M., Ayed, H., Baffico, L., Sassi, T.: Stokes problem with slip boundary conditions of friction type: error analysis of a four-field mixed variational formulation. J. Sci. Comput. 81, 312–341 (2019). https://doi.org/10.1007/s10915-019-01017-x
Ayadi, M., Baffico, L., Gdoura, M.K., Sassi, T.: Error estimates for Stokes problem with Tresca friction conditions. ESAIM Math. Modell. Numer. Anal. 48, 1413–1429 (2014). https://doi.org/10.1051/m2an/2014001
Ayadi, M., Gdoura, M.K., Sassi, T.: Mixed formulation for Stokes problem with Tresca friction. Comptes Rendus. Mathématique 348, 1069–1072 (2010). https://doi.org/10.1016/j.crma.2010.10.001
Barbosa, H.J., Hughes, T.J.: The finite element method with Lagrange multipliers on the boundary: circumventing the Babuška-Brezzi condition. Comput. Methods Appl. Mech. Eng. 85, 109–128 (1991). https://doi.org/10.1016/0045-7825(91)90125-P
Barth, T., Bochev, P., Gunzburger, M., Shadid, J.: A taxonomy of consistently stabilized finite element methods for the Stokes problem. SIAM J. Sci. Comput. 25, 1585–1607 (2004). https://doi.org/10.1137/S1064827502407718
Djoko, J., Koko, J.: Numerical methods for the Stokes and Navier-Stokes equations driven by threshold slip boundary conditions. Comput. Methods Appl. Mech. Eng. 305, 936–958 (2016). https://doi.org/10.1016/j.cma.2016.03.026
Djoko, J., Koko, J.: GLS methods for Stokes equations under boundary condition of friction type: formulation-analysis-numerical schemes and simulations. SeMA J. 1–29 (2022). https://doi.org/10.1007/s40324-022-00312-2
Djoko, J., Koko, J., Konlack, S.: Stokes equations under Tresca friction boundary condition: a truncated approach. Adv. Comput. Math. 48, 22 (2022). https://doi.org/10.1007/s10444-022-09933-7
Fang, C., Czuprynski, K., Han, W., Cheng, X., Dai, X.: Finite element method for a stationary Stokes hemivariational inequality with slip boundary condition. IMA J. Numer. Anal. 40, 2696–2716 (2019). https://doi.org/10.1093/imanum/drz032
Fujita, H.: A mathematical analysis of motions of viscous incompressible fluid under leak or slip boundary conditions. RIMS Kôkyûroku 888, 199–216 (1994)
Gustafsson, T.: Numerical experiments for “Stabilised finite element method for Stokes problem with nonlinear slip condition”. (2024). https://doi.org/10.5281/zenodo.8296577
Gustafsson, T., McBain, G.D.: scikit-fem: a python package for finite element assembly. J. Open Source Softw. 5, 2369 (2020). https://doi.org/10.21105/joss.02369
Gustafsson, T., Råback, P., Videman, J.: Mortaring for linear elasticity using mixed and stabilized finite elements. Comput. Methods Appl. Mech. Eng. 404, 115796 (2023). https://doi.org/10.1016/j.cma.2022.115796
Gustafsson, T., Videman, J.: Stabilized finite elements for Tresca friction problem. ESAIM Math. Modell. Numer. Anal. 56, 1307–1326 (2022). https://doi.org/10.1051/m2an/2022048
He, J., Glowinski, R.: Steady Bingham fluid flow in cylindrical pipes: a time dependent approach to the iterative solution. Numer. Linear Algebra Appl. 7, 381–428 (2000)
Kashiwabara, T.: On a finite element approximation of the Stokes equations under a slip boundary condition of the friction type. Jpn. J. Ind. Appl. Math. 30, 227–261 (2013). https://doi.org/10.1007/s13160-012-0098-5
Kouhia, R., Stenberg, R.: A linear nonconforming finite element method for nearly incompressible elasticity and Stokes flow. Comput. Methods Appl. Mech. Eng. 124, 195–212 (1995). https://doi.org/10.1016/0045-7825(95)00829-P
Le Roux, C.: Steady Stokes flows with threshold slip boundary conditions. Math. Models Methods Appl. Sci. 15, 1141–1168 (2005). https://doi.org/10.1142/S0218202505000686
Li, J., Zheng, H., Zou, Q.: A priori and a posteriori estimates of the stabilized finite element methods for the incompressible flow with slip boundary conditions arising in arteriosclerosis. Adv. Differ. Equ. 2019, 374 (2019). https://doi.org/10.1016/j.cam.2019.05.006
Li, Y., Li, K.: Pressure projection stabilized finite element method for Stokes problem with nonlinear slip boundary conditions. J. Comput. Appl. Math. 235, 3673–3682 (2011). https://doi.org/10.1016/j.cam.2011.02.027
Qiu, H., Xue, C., Xue, L.: Low-order stabilized finite element methods for the unsteady Stokes/Navier-Stokes equations with friction boundary conditions. Math. Methods Appl. Sci. 41, 2119–2139 (2018). https://doi.org/10.1002/mma.4738
Rao, I., Rajagopal, K.: The effect of the slip boundary condition on the flow of fluids in a channel. Acta Mech. 135, 113–126 (1999)
Saito, N.: On the Stokes equation with the leak and slip boundary conditions of friction type: regularity of solutions. Publ. Res. Inst. Math. Sci. 40, 345–383 (2004). https://doi.org/10.2977/PRIMS/1145475807
Schoof, C.: A variational approach to ice stream flow. J. Fluid Mech. 556, 227–251 (2006). https://doi.org/10.1017/S0022112006009591
Stenberg, R., Videman, J.: On the error analysis of stabilized finite element methods for the Stokes problem. SIAM J. Numer. Anal. 53, 2626–2633 (2015)
Tartar, L.: An introduction to Sobolev spaces and interpolation spaces. Springer, Berlin (2007). https://doi.org/10.1007/978-3-540-71483-5
Verfürth, R.: A posteriori error estimators for the Stokes equations. Numer. Math. 55, 309–325 (1989). https://doi.org/10.1007/BF01390056
Verfürth, R.: A posteriori error estimation techniques for finite element methods. Oxford University Press, Oxford (2013). https://doi.org/10.1093/acprof:oso/9780199679423.001.0001
Wohlmuth, B.: Variationally consistent discretization schemes and numerical algorithms for contact problems. Acta Numer. 20, 569–734 (2011). https://doi.org/10.1017/S0962492911000079
Acknowledgements
This work was supported by the Academy of Finland (Decision 338341) and by the Portuguese government through FCT (Fundação para a Ciência e a Tecnologia), I.P., under the project UIDB/04459/2020.
Funding
Open Access funding provided by Aalto University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no Conflict of interest.
Additional information
Communicated by n/a.
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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gustafsson, T., Videman, J. Stabilised finite element method for Stokes problem with nonlinear slip condition. Bit Numer Math 64, 23 (2024). https://doi.org/10.1007/s10543-024-01025-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10543-024-01025-w