- Research
- Open access
- Published:
Well-posedness analysis of a stationary Navier–Stokes hemivariational inequality
Fixed Point Theory and Algorithms for Sciences and Engineering volume 2021, Article number: 22 (2021)
Abstract
This paper provides a well-posedness analysis for a hemivariational inequality of the stationary Navier-Stokes equations by arguments of convex minimization and the Banach fixed point. The hemivariational inequality describes a stationary incompressible fluid flow subject to a nonslip boundary condition and a Clarke subdifferential relation between the total pressure and the normal component of the velocity. Auxiliary Stokes hemivariational inequalities that are useful in proving the solution existence and uniqueness of the Navier–Stokes hemivariational inequality are introduced and analyzed. This treatment naturally leads to a convergent iteration method for solving the Navier–Stokes hemivariational inequality through a sequence of Stokes hemivariational inequalities. Equivalent minimization principles are presented for the auxiliary Stokes hemivariational inequalities which will be useful in developing numerical algorithms.
1 Introduction
Hemivariational inequalities (HVIs) were introduced by Panagiotopoulous in early 1980s, responding to the need of modeling and study of engineering application problems involving non-smooth and non-monotone relations among certain physical quantities. Early research results on hemivariational inequalities are summarized in several books, e.g., [12, 20, 21]. Recent research results on mathematical analysis and applications in contact mechanics of hemivariational inequalities, and more generally variational-hemivariational inequalities, can be found in [19, 22]. Recent advances on numerical analysis of variational-hemivariational inequalities are summarized in [11].
Hemivariational inequalities also arise for applications in fluid mechanics. A stationary Navier–Stokes HVI is first studied in [16, 17], where the solution existence is proved by employing a surjectivity result for a pseudomonotone coercive operator. Then an evolutionary HVI is studied in [18], where the solution existence is proved by applying the Galerkin method to regularized problems, and a solution is obtained as a limit of a sequence of solutions to a regularized problem. In [6], the solution existence is proved for a nonstationary Navier–Stokes HVI through constructing a temporally semi-discrete approximation whose solutions converge to a solution of the Navier–Stokes HVI. In [5], well-posedness of a nonstationary Stokes HVI as well as an optimal control problem are studied. Well-posedness of the stationary Stokes HVI is also studied in [14] through an equivalent minimization principle. Recently, several papers have been published on the numerical solution of hemivariational inequalities arising in fluid mechanics. In [4], the mixed finite element method is analyzed for a stationary Stokes HVI with a nonlinear slip boundary condition, and an optimal order error estimate is derived for the mini finite element solution of the Stokes HVI. The nonconforming virtual element method for the same problem is constructed later in [15], where an optimal order error estimate is derived for the lowest-order element solution. A mixed finite element method is studied in [10] for solving a stationary Navier–Stokes HVI with a nonlinear slip boundary condition, and an optimal order error estimate is shown for the mini finite element method.
In this paper, we study the stationary Navier–Stokes HVI considered in [16, 17] from a different perspective. We note that the HVI can be used, for example, to model an application where the normal velocity of the fluid is regulated on the boundary to reduce the total pressure. Unlike [16, 17] where abstract surjectivity result for pseudomonotone operators is needed, we take an alternative approach using only basic notions and results in functional analysis. We first establish an equivalent minimization principle for an auxiliary problem and prove that there is a unique minimizer of the minimization problem. Under smallness assumptions on the data, we show that the stationary Navier–Stokes HVI has a unique solution by applying the Banach fixed point argument. Our approach naturally leads to a convergent iteration algorithm so that the solution of the stationary Navier–Stokes HVI can be approximated by a sequence of solutions of the simpler Stokes HVIs. We also provide a Lipschitz continuous dependence result for the solution of the stationary Navier–Stokes HVI on the right-hand side function.
Let us recall the stationary Navier–Stokes HVI. Let \(\Omega \subset \mathbb{R}^{d}\) (\(d=2, 3\)) be a bounded simply connected set with a smooth boundary \(\Gamma =\partial \Omega \). Denote by n the unit outward normal to Γ. For a vector-valued function u on the boundary, let \(u_{n}=\boldsymbol{u}\cdot \boldsymbol{n}\) and \(\boldsymbol{u}_{\tau }=\boldsymbol{u}-u_{n}\boldsymbol{n}\) be the normal component and the tangential component, respectively. The standard form of the Navier–Stokes equations is
where ν and f are given, \(\nu >0\) being the kinematic viscosity of the fluid and f the density of volume forces. The unknown variables are the fluid velocity field \(\boldsymbol{u}=(u_{1},\ldots ,u_{d})^{T}\) and the pressure p. The incompressibility property is reflected in the divergence free condition \(\operatorname{div}\boldsymbol{u}=0\). In relation to the boundary condition considered in this paper, we use the identities (cf. [7])
and rewrite the Navier–Stokes equations with the Lamb formulation [13] as
Here, curl is the curl operator, and \(\widetilde{p}=p+|\boldsymbol{u}|^{2}/2\) is the total pressure. For \(d=3\), the curl operator is defined by the formula
The curl operator for a two-dimensional vector can be converted to that for a three-dimensional vector through the following procedure: we extend vector \(\boldsymbol{u}(x_{1},x_{2})= (u_{1}(x_{1},x_{2}),u_{2}(x_{1},x_{2}))^{T}\) by \(\boldsymbol{u}(x_{1},x_{2},x_{3})=(u_{1}(x_{1},x_{2}),u_{2}(x_{1},x_{2}),0)^{T}\). Then,
The Navier–Stokes equations (1.2)–(1.3) are supplemented with the following boundary conditions:
Here the super-potential \(\psi :\Gamma \times \mathbb{R}\rightarrow \mathbb{R}\) is locally Lipschitz continuous with respect to its second argument. To simplify the notation, we write \(\psi (u_{n})\) for \(\psi (\boldsymbol{x},u_{n})\), and ∂ψ is the subdifferential of ψ in the sense of Clarke with respect to its second argument. The first part of condition (1.4), i.e., \(\boldsymbol{u}_{\tau }=\boldsymbol{0}\), is known as a nonslip boundary condition. The second part is to regulate the normal velocity \(u_{n}\) to reduce the total pressure p̃ on Γ.
The rest of the paper is organized as follows. In Sect. 2, we review the notions of the generalized directional derivative and the subdifferential in the sense of Clarke, and some of their basic properties. We also introduce the Navier–Stokes hemivariational inequality formulation for problem (1.2)–(1.4). In Sect. 3, we show the well-posedness of the Navier–Stokes hemivariational inequality. To prove the solution existence and uniqueness of the Navier–Stokes HVI, we adopt arguments of the minimization principle for auxiliary Stokes hemivariational inequalities and apply the Banach fixed point theorem. This naturally leads to a convergent iteration algorithm for the Navier–Stokes HVI through solving Stokes hemivariational inequalities. We further show the Lipschitz continuous dependence of the solution of the Navier–Stokes HVI on the right-hand side.
2 Navier–Stokes hemivariational inequality
In this section, we present the hemivariational inequality formulation for problem (1.2)–(1.4). We first recall the definitions of the generalized directional derivative and generalized subdifferential in the sense of Clarke for a locally Lipschitz function and review some basic properties.
Definition 2.1
Let V be a Banach space and denote by \(V^{*}\) its dual. Let \(\Psi : V\rightarrow \mathbb{R}\) be a locally Lipschitz functional. The generalized (Clarke) directional derivative of Ψ at \(u\in V\) in the direction \(v\in V\) is defined by
The generalized gradient (subdifferential) of Ψ at u is defined by
Given the generalized subdifferential, we can compute the generalized directional derivative through the formula [2, Proposition 2.1.2]
If \(\Psi _{1},\Psi _{2}\colon V\to \mathbb{R}\) are locally Lipschitz continuous, then [2, Proposition 2.3.3]
or equivalently,
In the analysis of the Navier–Stokes hemivariational inequality, we will need the following result [3, Theorem 3.4].
Lemma 2.2
Let V be a real Banach space, and let \(g\colon V\to \mathbb{R}\) be locally Lipschitz continuous. Then g is strongly convex on V with a constant \(\alpha >0\), i.e.,
if and only if ∂g is strongly monotone on V with a constant 2α, i.e.,
A proof of the next result can be found in [8, Proposition 2.5].
Proposition 2.3
Let V be a real Hilbert space, and let \(g\colon V\to \mathbb{R}\) be a locally Lipschitz continuous and strongly convex functional on V with a constant \(\alpha >0\). Then there exist two constants \(\overline{c}_{0}\) and \(\overline{c}_{1}\) such that
Consequently, \(g(\cdot )\) is coercive on V.
We will make use of the function space
The following inequality holds [7, Proposition 3.1]:
where the constant \(c>0\) depends on Ω and Γ. Thus \(\|\operatorname{\mathbf{curl}}\cdot \|_{0,\Omega }\) defines a norm and is equivalent to the standard \(\boldsymbol{H}^{1}(\Omega )\)-norm on V. We use \(\|\cdot \|_{\boldsymbol{V}}=\|\operatorname{\mathbf{curl}}\cdot \|_{0, \Omega }\) for the norm on V. By the Sobolev trace theorem, we have the inequality
where \(\lambda _{0}>0\) is the smallest eigenvalue of the eigenvalue problem
Define
Then the following hemivariational inequality formulation can be derived for problem (1.2)–(1.4) [17].
Problem 2.4
Find \(\boldsymbol{u}\in \boldsymbol{V}\) such that
We note that the bilinear form \(a(\cdot , \cdot )\) is continuous and coercive on V:
The trilinear form \(b(\cdot , \cdot , \cdot )\) is continuous on V:
and satisfies
Concerning the superpotential ψ, we assume the following properties:
\(H(\psi )\). \(\psi : \Gamma \times \mathbb{R}\rightarrow \mathbb{R}\) is such that
(i) \(\psi (\cdot ,\xi )\) is measurable on Γ for all \(\xi \in \mathbb{R}\) and \(\psi (\cdot ,0)\in L^{1}(\Gamma )\);
(ii) \(\psi (\boldsymbol{x},\cdot )\) is locally Lipschitz on \(\mathbb{R}\) for a.e. \(\boldsymbol{x}\in \Gamma \);
(iii) \(|\eta |\leq c_{0}+c_{1}|\xi |\) \(\forall \xi \in \mathbb{R}\), \(\eta \in \partial \psi (\boldsymbol{x},\xi )\) a.e. \(\boldsymbol{x}\in \Gamma \) with \(c_{0},c_{1}\geq 0\);
(iv) \(\psi ^{0}(\boldsymbol{x},\xi _{1};\xi _{2}-\xi _{1})+\psi ^{0}( \boldsymbol{x},\xi _{2};\xi _{1}-\xi _{2})\leq m |\xi _{1}-\xi _{2}|^{2}\) \(\forall \xi _{1}, \xi _{2}\in \mathbb{R}\) a.e. \(\boldsymbol{x}\in \Gamma \) with \(m\geq 0\).
By (2.1), \(H(\psi )\) (iii) implies
Define a functional \(\Psi :\boldsymbol{V}\rightarrow \mathbb{R}\) by
Then, by [17, Lemma 13], under assumption \(H(\psi )\), Ψ is well-defined and locally Lipschitz continuous on V, and
Combining \(H(\psi )\) (iv), (2.5), and (2.9), we have, for \(\boldsymbol{v}_{1},\boldsymbol{v}_{2}\in \boldsymbol{V}\),
It is known that (2.10) is equivalent to [19]
3 Well-posedness analysis
This section is devoted to a study of the well-posedness of Problem 2.4.
3.1 Study of auxiliary problems
We first introduce and study an auxiliary problem. Let \(\boldsymbol{w}\in \boldsymbol{V}\) be given.
Problem 3.1
Find \(\boldsymbol{u}\in \boldsymbol{V}\) such that
We adopt the idea presented in [8, 9] and study the solution existence of Problem 3.1 through an equivalent minimization problem. Define a linear operator \(A: \boldsymbol{V}\rightarrow \boldsymbol{V}^{\ast }\) by
Then \(A\in \mathcal{L}(\boldsymbol{V},\boldsymbol{V}^{\ast })\). Define a functional \(\boldsymbol{l}\in \boldsymbol{V}^{\ast }\) by
We introduce an energy functional
and consider a corresponding minimization problem:
Problem 3.2
Find \(\boldsymbol{u}\in \boldsymbol{V}\) such that
The next result shows that Problem 3.1 and Problem 3.2 are equivalent.
Theorem 3.3
Assume \(H(\psi )\), \(\boldsymbol{f}\in \boldsymbol{V}^{*}\), and
Then, for any \(\boldsymbol{w}\in \boldsymbol{V}\), Problem 3.1and Problem 3.2have the same unique solution \(\boldsymbol{u}\in \boldsymbol{V}\).
Proof
Obviously, \(E: \boldsymbol{V}\rightarrow \mathbb{R}\) is locally Lipschitz continuous. By (2.2),
For \(i=1,2\), with \(\boldsymbol{v}_{i}\in \boldsymbol{V}\) and \(\boldsymbol{\zeta }_{i}\in \partial E(\boldsymbol{v}_{i})\), we have
By (2.11),
Since \(m< \nu \lambda _{0}\), by Lemma 2.2, the energy functional E is strongly convex on V. Moreover, by Proposition 2.3, E is coercive on V. Then the minimization Problem 3.2 has a unique solution \(\boldsymbol{u}\in \boldsymbol{V}\) [1, Sect. 3.3.2], which satisfies the relation
By (2.3),
Thus,
and \(\boldsymbol{u}\in \boldsymbol{V}\) is a solution of Problem 3.1.
Let us prove the solution uniqueness for Problem 3.1. Suppose that \(\tilde{\boldsymbol{u}}\in \boldsymbol{V}\) is another solution of Problem 3.1. Then
We take \(\boldsymbol{v}=\tilde{\boldsymbol{u}}-\boldsymbol{u}\) in (3.1), take \(\boldsymbol{v}=\boldsymbol{u}-\tilde{\boldsymbol{u}}\) in (3.6), and add the two inequalities to obtain
By (2.10),
By the smallness condition (3.4), we conclude that \(\tilde{\boldsymbol{u}}=\boldsymbol{u}\), i.e., a solution of Problem 3.1. Therefore, \(\boldsymbol{u}\in \boldsymbol{V}\) is a solution of Problem 3.1 if and only if it is a solution of Problem 3.2, and both problems admit a unique solution. □
Then, we consider a variant of Problem 3.1.
Problem 3.4
Find \(\boldsymbol{u}\in \boldsymbol{V}\) such that
Theorem 3.5
Assume \(H(\psi )\), \(\boldsymbol{f}\in \boldsymbol{V}^{*}\), and (3.4). Then, for any \(\boldsymbol{w}\in \boldsymbol{V}\), Problem 3.4has a unique solution \(\boldsymbol{u}\in \boldsymbol{V}\), which is also the unique solution of Problem 3.1and Problem 3.2.
Proof
From Theorem 3.3, we know that under the stated assumptions, Problem 3.1 has a unique solution \(\boldsymbol{u}\in \boldsymbol{V}\), which is the unique solution of Problem 3.2. Since
we see that the solution u satisfies inequality (3.7). In other words, \(\boldsymbol{u}\in \boldsymbol{V}\) is also a solution of Problem 3.4.
The uniqueness of a solution to Problem 3.4 can be proved similarly as in the proof of Theorem 3.3, and is hence omitted. Thus, the statement of Theorem 3.5 is valid. □
3.2 Solution existence and uniqueness
In this subsection, we show the solution existence and uniqueness for Problem 2.4 based on the result from previous subsection, through a Banach fixed point argument.
For given \(\boldsymbol{w}\in \boldsymbol{V}\), let us first bound \(\|\boldsymbol{u}\|_{\boldsymbol{V}}\) for the solution of Problem 3.4. We take \(\boldsymbol{v}=-\boldsymbol{u}\) in (3.7) to obtain
By \(H(\psi )\) (iv) and (2.8),
We derive from (3.8) that
Hence,
Introduce a bounded set of V by
where
Proposition 3.6
Assume \(H(\psi )\), \(\boldsymbol{f}\in \boldsymbol{V}^{*}\), and the smallness condition
Then, for any \(\boldsymbol{w}\in \boldsymbol{K}_{\boldsymbol{f}}\), the solution u of Problem 3.4also belongs to the set \(\boldsymbol{K}_{\boldsymbol{f}}\).
Proof
For \(\boldsymbol{w}\in \boldsymbol{K}_{\boldsymbol{f}}\), from (3.9) we have
Hence, \(\boldsymbol{u}\in \boldsymbol{K}_{\boldsymbol{f}}\). □
Theorem 3.7
Assume \(H(\psi )\), \(\boldsymbol{f}\in \boldsymbol{V}^{*}\), and (3.12). Then Problem 2.4has a unique solution \(\boldsymbol{u}\in \boldsymbol{V}\).
Proof
Define an operator \(\Lambda \colon \boldsymbol{K}_{\boldsymbol{f}}\to \boldsymbol{K}_{ \boldsymbol{f}}\) by
where \(\boldsymbol{u}\in \boldsymbol{K}_{\boldsymbol{f}}\) denotes the unique solution of Problem 3.4. Let us prove that the operator \(\Lambda \colon \boldsymbol{K}_{\boldsymbol{f}}\to \boldsymbol{K}_{ \boldsymbol{f}}\) is a contraction.
Let \(\boldsymbol{w}_{1}, \boldsymbol{w}_{2}\in \boldsymbol{K}_{ \boldsymbol{f}}\) and \(\boldsymbol{u}_{1}=\Lambda \boldsymbol{w}_{1}\), \(\boldsymbol{u}_{2}=\Lambda \boldsymbol{w}_{2}\) be the unique solutions of Problem 3.4 corresponding to \(\boldsymbol{w}_{1}\), \(\boldsymbol{w}_{2}\), respectively. Then, for any \(\boldsymbol{v}\in \boldsymbol{V}\),
Take \(\boldsymbol{v}=\boldsymbol{u}_{2}-\boldsymbol{u}_{1}\) in (3.13), we obtain
Note that
and
Thus,
where
By the smallness condition (3.12),
Hence, the operator \(\Lambda \colon \boldsymbol{K}_{\boldsymbol{f}}\to \boldsymbol{K}_{ \boldsymbol{f}}\) is contractive. Applying the Banach fixed point theorem (cf. [1, Theorem 5.1.3]), we deduce that there exists a unique \(\boldsymbol{u}^{\ast }\in \boldsymbol{K}_{\boldsymbol{f}}\) such that \(\Lambda \boldsymbol{u}^{\ast }=\boldsymbol{u}^{\ast }\).
By the definition of Λ, \(\boldsymbol{u}^{\ast }\in \boldsymbol{K}_{\boldsymbol{f}}\) satisfies
That is, \(\boldsymbol{u}^{\ast }\in \boldsymbol{K}_{\boldsymbol{f}}\) is a solution of Problem 2.4.
We now prove the uniqueness of the solution to Problem 2.4. Let \(\boldsymbol{u}_{1}\in \boldsymbol{K}_{\boldsymbol{f}}\) and \(\boldsymbol{u}_{2}\in \boldsymbol{K}_{\boldsymbol{f}}\) be two solutions to Problem 2.4. Then, for any \(\boldsymbol{v}\in \boldsymbol{V}\),
Taking \(\boldsymbol{v}=\boldsymbol{u}_{2}-\boldsymbol{u}_{1}\) in (3.15), we obtain
Hence,
Since \(\beta _{\boldsymbol{f}}<1\), we deduce from the above inequality that \(\boldsymbol{u}_{1}=\boldsymbol{u}_{2}\). This completes the proof of the theorem. □
3.3 A convergent iteration algorithm
In addition to the existence of a unique fixed point for a contractive mapping over a closed set of a complete space, the Banach fixed point theorem also provides the convergence of a fixed point iteration algorithm. Consider the following iteration algorithm.
Algorithm 3.8
Initialization: Choose an initial guess \(\boldsymbol{u}_{0}\in \boldsymbol{K}_{\boldsymbol{f}}\), e.g., \(\boldsymbol{u}_{0}=\boldsymbol{0}\).
Iteration: For \(k\ge 1\), find \(\boldsymbol{u}_{k}\in \boldsymbol{V}\) such that
As an application of [1, Theorem 5.1.3], we have the following result.
Theorem 3.9
Assume \(H(\psi )\), \(\boldsymbol{f}\in \boldsymbol{V}^{*}\) and (3.12). Let \(\boldsymbol{u}\in \boldsymbol{V}\) be the unique solution of Problem 2.4. Then the sequence \(\{\boldsymbol{u}_{k}\}\subset \boldsymbol{K}_{\boldsymbol{f}}\) defined by (3.16) converges to u:
The following error estimates are valid:
Remark 3.10
Under the smallness condition (3.12), the constant \(\beta _{\boldsymbol{f}}\) defined by (3.14) satisfies \(\beta _{\boldsymbol{f}}<1\). The first error estimate (3.17) shows that the iteration algorithm converges linearly with the convergence rate \(\beta _{\boldsymbol{f}}\). The second bound (3.18) is an a-posteriori error estimate: once the iterates \(\boldsymbol{u}_{k-1}\) and \(\boldsymbol{u}_{k}\) are available, they can be used to provide a computable upper bound of the error \(\|\boldsymbol{u}_{k}-\boldsymbol{u}\|_{\boldsymbol{V}}\). The third bound (3.19) is an a-priori error estimate: once \(\boldsymbol{u}_{0}\) is chosen and \(\boldsymbol{u}_{1}\) is calculated, it allows one to find the number of iterations needed to guarantee the error \(\|\boldsymbol{u}_{k}-\boldsymbol{u}\|_{\boldsymbol{V}}\) to be in a given range.
Problem (3.16) is a Stokes-type hemivariational inequality in which the differential operator for the unknown variable \(\boldsymbol{u}_{k}\) is linear. Obviously, it is easier to solve (3.16) than Problem 2.4 in which the differential operator for the unknown variable \(\boldsymbol{u}_{k}\) is nonlinear. When Problem 2.4 is solved by a numerical method, e.g., the finite element, the discretized Navier–Stokes hemivariational inequality can be similarly approximated by Algorithm 3.8 at the discrete level. Under the stated assumptions, we again have convergence and the three error estimates, all for the discrete solutions.
3.4 Lipschitz continuous dependence on the right-hand side
Finally, we provide a Lipschitz continuous dependence result for the solution u of Problem 2.4 on the right-hand side f.
For \(m_{0}>0\), define a subset \(\boldsymbol{V}_{m_{0}}^{\ast }\subset \boldsymbol{V}^{\ast }\) by
To derive the Lipschitz continuous dependence result, we assume \(\boldsymbol{f}\in \boldsymbol{V}_{m_{0}}^{\ast }\) from now on. Similar to (3.11), define
Theorem 3.11
Assume \(H(\psi )\), \(\boldsymbol{f}\in \boldsymbol{V}_{m_{0}}^{\ast }\), and
Then the solution u of Problem 2.4depends Lipschitz continuously on f.
Proof
Let \(\boldsymbol{f}_{1}, \boldsymbol{f}_{2}\in \boldsymbol{V}_{m_{0}}^{\ast }\) and \(\boldsymbol{u}_{1}, \boldsymbol{u}_{2}\in \boldsymbol{V}\) be the unique solutions of Problem 2.4 corresponding to \(\boldsymbol{f}_{1}\), \(\boldsymbol{f}_{2}\), respectively. Then, for any \(\boldsymbol{v}\in \boldsymbol{V}\),
Take \(\boldsymbol{v}=\boldsymbol{u}_{2}-\boldsymbol{u}_{1}\) in (3.22), we obtain
From Theorem 3.7,
Applying condition (3.21), we derive the inequality
which shows the Lipschitz continuity of the solution u with respect to f. □
4 Conclusions
We analyze a stationary Navier–Stokes HVI through convex minimization and Banach fixed-point argument. In the existing literature, the solution existence of the Navier–Stokes HVI is proved through an application of an abstract surjectivity result for pseudomonotone operators. In this paper, we establish a minimization principle for an auxiliary Stokes HVI, and prove the solution existence and uniqueness of the Navier–Stokes HVI by applying the Banach fixed point theorem. This treatment naturally leads to a convergent iteration algorithm, where the unique solution of the stationary Navier–Stokes HVI can be obtained as the limit of a sequence of solutions to the Stokes HVIs.
Availability of data and materials
Not applicable.
References
Atkinson, K., Han, W.: Theoretical Numerical Analysis: A Functional Analysis Framework, 3rd edn. Springer, New York (2009)
Clarke, F.H.: Optimization and Nonsmooth Analysis. Wiley-Interscience, New York (1983)
Fan, L., Liu, S., Gao, S.: Generalized monotonicity and convexity of non-differentiable functions. J. Math. Anal. Appl. 279, 276–289 (2003)
Fang, C., Czuprynski, K., Han, W., Cheng, X.L., Dai, X.: Finite element method for a stationary Stokes hemivariational inequality with slip boundary condition. IMA J. Numer. Anal. 40, 2696–2716 (2020)
Fang, C., Han, W.: Well-posedness and optimal control of a hemivariational inequality for nonstationary Stokes fluid flow. Discrete Contin. Dyn. Syst. 36, 5369–5386 (2016)
Fang, C., Han, W., Migórski, S., Sofonea, M.: A class of hemivariational inequalities for nonstationary Navier-Stokes equations. Nonlinear Anal., Real World Appl. 31, 257–276 (2016)
Girault, V., Raviart, P.A.: Finite Element Methods for Navier-Stokes Equations: Theory and Algorithms. Springer, Berlin (1986)
Han, W.: Minimization principles for elliptic hemivariational inequalities. Nonlinear Anal., Real World Appl. 54, article number 103114 (2020)
Han, W.: A revisit of elliptic variational-hemivariational inequalities. Numer. Funct. Anal. Optim. 42, 371–395 (2021)
Han, W., Czuprynski, K., Jing, F.: Mixed finite element method for a hemivariational inequality of stationary Navier-Stokes equations. J. Sci. Comput. 89, article number 8 (2021)
Han, W., Sofonea, M.: Numerical analysis of hemivariational inequalities in contact mechanics. Acta Numer. 28, 175–286 (2019)
Haslinger, J., Miettinen, M., Panagiotopoulos, P.D.: Finite Element Method for Hemivariational Inequalities: Theory, Methods and Applications. Kluwer Academic, Boston (1999)
Lamb, H.: On the conditions for steady motion of a fluid. Proc. Lond. Math. Soc. s1-9(1), 91–93 (1877)
Ling, M., Han, W.: Minimization principle in study of a Stokes hemivariational inequality. Appl. Math. Lett. 121, article number 107401 (2021)
Ling, M., Wang, F., Han, W.: The nonconforming virtual element method for a stationary Stokes hemivariational inequality with slip boundary condition. J. Sci. Comput. 85, article number 56 (2020)
Migórski, S.: Hemivariational inequalities modeling viscous incompressible fluids. J. Nonlinear Convex Anal. 5, 217–227 (2004)
Migórski, S., Ochal, A.: Hemivariational inequalities for stationary Navier-Stokes equations. J. Math. Anal. Appl. 306, 197–217 (2005)
Migórski, S., Ochal, A.: Navier-Stokes problems modeled by evolution hemivariational inequalities. Discrete Contin. Dyn. Syst. 2007, 731–740 (2007)
Migórski, S., Ochal, A., Sofonea, M.: Nonlinear Inclusions and Hemivariational Inequalities: Models and Analysis of Contact Problems. Springer, New York (2013)
Naniewicz, Z., Panagiotopoulos, P.D.: Mathematical Theory of Hemivariational Inequalities and Applications. Dekker, New York (1995)
Panagiotopoulos, P.D.: Hemivariational Inequalities, Applications in Mechanics and Engineering. Springer, Berlin (1993)
Sofonea, M., Migórski, S.: Variational-Hemivariational Inequalities with Applications. Pure and Applied Mathematics. Chapman & Hall, Boca Raton (2018)
Acknowledgements
Not applicable.
Funding
The work was partially supported by Simons Foundation Collaboration Grants, No. 850737.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Ling, M., Han, W. Well-posedness analysis of a stationary Navier–Stokes hemivariational inequality. Fixed Point Theory Algorithms Sci Eng 2021, 22 (2021). https://doi.org/10.1186/s13663-021-00707-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-021-00707-2