- Research
- Open access
- Published:
On a class of generalized saddle-point problems arising from contact mechanics
Fixed Point Theory and Algorithms for Sciences and Engineering volume 2022, Article number: 16 (2022)
Abstract
In the present paper we consider a class of generalized saddle-point problems described by means of the following variational system:
(\(v\in K\subseteq X\), \(\mu \in \Lambda \subset Y\)), where \((X,(\cdot,\cdot )_{X})\) and \((Y,(\cdot,\cdot )_{Y})\) are Hilbert spaces. We use a fixed-point argument and a saddle-point technique in order to prove the existence of at least one solution. Then, we obtain uniqueness and stability results. Subsequently, we pay special attention to the case when our problem can be seen as a perturbed problem by setting \(\psi (\cdot )=\epsilon \bar{\psi}(\cdot )\) \((\epsilon >0)\). Then, we deliver a convergence result for \(\epsilon \to 0\), the case \(\psi \equiv 0\) appearing like a limit case.
The theory is illustrated by means of examples arising from contact mechanics, focusing on models with multicontact zones.
1 Introduction
In the present paper we bring the attention to the following mixed variational problem.
Problem 1
Given \(f\in X\), find \((u,\lambda )\in K\times \Lambda \) such that, for all \(v\in K\) and \(\mu \in \Lambda \),
We are going to study this problem under the following hypotheses:
\((h_{1})\) \((X,(\cdot,\cdot )_{X},\|\cdot \|_{X})\) and \((Y,(\cdot,\cdot )_{Y},\|\cdot \|_{Y})\) are Hilbert spaces.
\((h_{2})\) The form \(a:X\times X\rightarrow \mathbb{R}\) is symmetric, bilinear continuous (of rank \(M_{a}>0\)) and X-elliptic (of rank \(m_{a}>0\)).
\((h_{3})\) (1) The form \(b:X\times Y \rightarrow \mathbb{R}\) is bilinear continuous (of rank \(M_{b}>0\)).
(2) There exists \(\alpha >0\) such that
\((h_{4})\) The functional \(j:X\to [0,\infty )\) is convex and Lipschitz continuous (of rank \(L_{j}>0\)).
\((h_{5})\) The functional \(\psi:Y\to [0,\infty )\) is convex and lower semicontinuous. When \(\psi \not \equiv 0\), we assume that there exist \(c_{\psi}>0\) and \(q>1\) such that \(\psi (\mu )\geq c_{\psi}\|\mu \|^{q}_{Y}\) for all \(\mu \in Y\).
\((h_{6})\) • \(K\subseteq X\) is an unbounded closed convex subset such that \(0_{X}\in K\) and \(\Lambda \subset Y\) is a bounded closed convex subset such that \(0_{Y}\in \Lambda \)
or
• \(K\subseteq X\) is a linear subspace and \(\Lambda \subset Y\) is an unbounded closed convex subset such that \(0_{Y}\in \Lambda \).
\((h_{7})\) The functional \(J:X\times X\to [0,\infty )\) satisfies:
(1) For each \(v\in X\), \(J(v,\cdot )\) is convex and Lipschitz continuous of rank \(L_{J}(v)>0\).
(2) There exists \(M_{J}>0\) such that, for all \(v_{1}\), \(v_{2}\), \(w_{1}\), \(w_{2}\in X\), \(J(v_{1},w_{2})-J(v_{1},w_{1})+J(v_{2},w_{1})-J(v_{2},w_{2})\leq M_{J} \|v_{1}-v_{2}\|_{X}\|w_{1}-w_{2}\|_{X}\).
(3) There exists \(c_{J}>0\) such that \(|J(u,v)|\leq c_{J}(\|u\|_{X}+1)\|v\|_{X}\) for all \(u,v\in X\).
Problem 1 can be seen as a generalization of the following mixed variational problem: given \(f\in X\), find \((u,\lambda )\in X\times \Lambda \) such that, for all \(v\in X\) and \(\mu \in \Lambda \subset Y\),
Such a variational system appears in the weak formulations of some contact problems: see, e.g., [10] for unilateral contact problems or [11] for a class of bilateral contact problems. The unique solution of the problem (2) and (3) is the unique saddle point of the functional
By analyzing contact models with two-contact zones, one can arrive at a variational system of the form below: given \(f\in X\), find \((u,\lambda )\in X\times \Lambda \) such that, for all \(v\in X\) and \(\mu \in \Lambda \subset Y\),
see, e.g., [15]. According to Theorem 2 in [15], the problem (4) and (5) has at least one solution \((u,\lambda )\) that is unique in its first component; each solution is a saddle point of the functional
By considering the perturbed problem
one can associate the functional
see the recent paper [3].
In the present paper, we focus on models with multicontact zones, arriving at variational formulations that can be cast in the more general form below.
Problem 2
Given \(f\in X\), find \((u,\lambda )\in K\times \Lambda \) such that, for all \(v\in K\) and \(\mu \in \Lambda \),
Problem 2 can be seen as a particular case of Problem 1, by setting \(\psi \equiv 0\). Problem 1 is interesting in its own right and, even more complicated at first glance than Problem 2 due to the additional term “\(-\psi (\mu )+\psi (\lambda )\)”, actually, it brings us a significant advantage: assuming that ψ is strictly convex then its solution is unique in both components. In contrast, Problem 2 has at least one solution, unique only in its first component.
By setting \(\psi (\cdot )=\epsilon \bar{\psi}(\cdot )\) with \(\epsilon >0\), Problem 1 can be seen as a perturbed problem. If ψ is strictly convex then the unique solution of the “perturbed” problem is the unique saddle point of a bifunctional that is strictly convex in its first argument and strictly concave in the second one. When ϵ goes to zero, then the case \(\psi \equiv 0\) appears like a limit case. Thus, numerical reasons enhance our interest to study the case \(\psi \not \equiv 0\).
In order to prove the well-posedness of Problem 1 under the hypotheses \((h_{1})\)–\((h_{7})\), we use a fixed-point argument, a saddle-point technique, arguments in the theory of variational-quasivariational inequalities as well as a minimization argument.
The present paper brings a contribution to the literature devoted to the saddle-point problems and their applications in mechanics; references relevant to the matter are, for instance, [1, 2, 8, 10, 11, 17].
The reading of the present work requires a background in convex analysis, nonlinear analysis, calculus of variations, continuum mechanics, and contact mechanics; the reader can consult, e.g., [4, 6, 7, 9, 10, 13, 14, 18, 20, 21]; for a more complex view, the reader can also consult [5, 12, 19, 22, 23].
To increase the clarity of the presentation, we provide below some tools we need.
Definition 1
Let A and B be two nonempty sets. A pair \((u,\lambda )\in A\times B\) is said to be a saddle point of a functional \({\mathcal {L}}:A \times B\rightarrow \mathbb{R}\) if and only if
Proposition 1
Let \((X,(\cdot,\cdot )_{X},\|\cdot \|_{X})\), \((Y,(\cdot,\cdot )_{Y},\|\cdot \|_{Y})\) be Hilbert spaces, let
and let \({\mathcal {L}}:A \times B\rightarrow \mathbb{R}\) be a functional such that:
Then:
-
the set of the saddle points of \(\mathcal {L}\), \(A_{0}\times B_{0}\), is a convex set;
-
if \(v\rightarrow {\mathcal {L}}(v,\mu )\) is strictly convex for all \(\mu \in B\), then \(A_{0}\) has at most one point;
-
if \(\mu \rightarrow {\mathcal {L}}(v,\mu )\) is strictly concave for all \(v\in A\), then \(B_{0}\) has at most one point.
For a proof, see Proposition 1.5 on page 169 in [6].
Proposition 2
Let \((X,(\cdot,\cdot )_{X},\|\cdot \|_{X})\), \((Y,(\cdot,\cdot )_{Y},\|\cdot \|_{Y})\) be two Hilbert spaces. Assume (6), (7), and (8). Moreover, we assume that
Then, the functional \({\mathcal {L}}\) has at least one saddle point.
For the proof, see Proposition 2.4 on page 176 in [6].
The rest of the paper has the following structure. In Sect. 2 we deliver some auxiliary results. In Sect. 3 we study the well-posedness of Problem 1. In Sect. 4 we obtain a convergence result. In Sect. 5 we give examples of \(X,Y,a,b,j,J,K,\Lambda,\text{ and }\psi \) such that the working hypotheses are fulfilled; these examples are related to some weak formulations via Lagrange multipliers for a class of contact models with multicontact zones.
2 Auxiliary results
In this section we consider the following auxiliary problem.
Problem 3
Let \(\varsigma \in K\). Given \(f\in X\), find \((u_{\varsigma},\lambda _{\varsigma})\in K\times \Lambda \) such that, for all \(v\in K\) and \(\mu \in \Lambda \),
Let us associate to Problem 3 the following functional:
Proposition 3
Let \(\varsigma \in K\). Assume that \((h_{1})\)–\((h_{7})\) hold true. Then:
(i) the functional \({\mathcal {L}}_{\varsigma}\) has at least one saddle point;
(ii) a pair \((u_{\varsigma},\lambda _{\varsigma})\in K\times \Lambda \) verifies Problem 3if and only if it is a saddle point of \({\mathcal {L}}_{\varsigma}\).
Proof
(i) We are going to apply Proposition 2. We know that \(K\subseteq X\) and \(\Lambda \subset Y\) are nonempty closed convex sets and it is obvious that
Since \(K\subseteq X\) is unbounded, we have to verify that
Indeed, let \(\mu _{*}=0_{Y}\). We write,
As \(j(\cdot )\), \(J(\cdot,\cdot )\) are nonnegative,
Passing to the limit as \(\|v\|_{X}\to \infty \), we obtain (9).
If Λ is unbounded, then we have to justify that
keeping in mind that \(K\subseteq X\) is a linear subspace, according to \((h_{6})\).
Indeed, let \(\mu \in \Lambda \) and let \(u^{\mu}_{\varsigma}\in K\) be the unique solution of the variational inequality of the second kind,
or, equivalently,
for all \(v\in K\), where \(f^{\mu}\in X\) is defined by Riesz’s representation theorem as follows,
As \(u^{\mu}_{\varsigma}\) minimizes the functional
then,
Let us set \(v=0_{X}\) in (11). Therefore,
Consequently,
Setting now \(v=u^{\mu}_{\varsigma}-w\) with \(w\in K\), in (11), we obtain
Then, we use the inf-sup property of \(b(\cdot,\cdot )\) to write
Therefore,
As a result, there exists \(c=c(\alpha, m_{a}, M_{a},L_{j},L_{J}(\varsigma ))>0\) such that
We observe that (10) is verified after we pass to the limit in the previous inequality. Thus, we conclude (i) by applying Proposition 2.
(ii) Let \((u_{\varsigma},\lambda _{\varsigma})\in K\times \Lambda \) be a solution of Problem 3. It is easy to observe that the second line of Problem 3 is equivalent with
On the other hand, keeping in mind the symmetry of \(a(\cdot,\cdot )\), for all \(v\in K\),
Therefore, \((u_{\varsigma},\lambda _{\varsigma})\) is a saddle point of \(\mathcal {L}_{\varsigma}\). Conversely, if \((u_{\varsigma},\lambda _{\varsigma})\in K\times \Lambda \) is a saddle point of \(\mathcal {L}_{\varsigma}\), keeping in mind (14), it is enough to prove that the saddle point \((u_{\varsigma},\lambda _{\varsigma})\) verifies the first line of Problem 3. To start, we write
Thus, for all \(w\in K\),
Setting \(w=u_{\varsigma}+ t(v-u_{\varsigma})\) with \(t\in (0,1]\) and \(v\in K\), we obtain
Subsequently, we divide by \(t>0\) and then we pass to the limit as \(t\rightarrow 0\). As a result, the pair \((u_{\varsigma},\lambda _{\varsigma})\) verifies the first line of Problem 3. □
Proposition 4
Assume \((h_{1})\)–\((h_{7})\). If, in addition, ψ is strictly convex, then the functional \({\mathcal {L}}_{\varsigma}\) has a unique saddle point.
Proof
According to Proposition 3, the functional \(\mathcal {L}_{\varsigma}\) has at least one saddle point. However, \(X\ni v\to a(v,v)\in [0,\infty ) \) and \(Y\ni \mu \to \psi (\mu )\in [0,\infty )\) are strictly convex maps. Hence,
We use now Proposition 1 to complete the proof. □
Proposition 5
Assume \((h_{1})\)–\((h_{7})\). Then, Problem 3has at least one solution that is unique in its first argument. If, in addition, ψ is strictly convex then Problem 3has a unique solution \((u_{\varsigma},\lambda _{\varsigma})\in K\times \Lambda \).
Proof
We apply Proposition 3. Furthermore, as \(v\to {\mathcal {L}}_{\varsigma}(v,\mu )\) is strictly convex for all \(\mu \in \Lambda \) we deduce that Problem 3 has at least one solution that is unique in its first argument. If, in addition, ψ is strictly convex then we will apply Proposition 4. □
3 Well-posedness results
To start, we deliver an existence, uniqueness, and stability result by using a Banach fixed-point argument.
Theorem 1
Assume that \((h_{1})\)–\((h_{7})\) hold true. If, in addition \(M_{J}< m_{a}\), then Problem 1has at least one solution that is unique and stable in its first component.
Proof
Let \(\varsigma \in K\) and let \((u_{\varsigma},\lambda _{\varsigma})\in K\times \Lambda \) be a solution of Problem 3. We define an operator
According to Proposition 5 the operator T is well defined. Let us prove that T is a contraction. To start, we take \(\varsigma _{1}\), \(\varsigma _{2}\in K\) and we denote by \((u_{\varsigma _{1}},\lambda _{\varsigma _{1}})\) and \((u_{\varsigma _{2}},\lambda _{\varsigma _{2}})\) two corresponding solutions of Problem 3. Thus, for every \(i\in \{1,2\}\) we can write, for all \(v\in K\) and \(\mu \in \Lambda \),
By setting \(v=u_{\varsigma _{2}}\) and \(\mu =\lambda _{\varsigma _{2}}\) if \(i=1\) and \(v=u_{\varsigma _{1}}\) and \(\mu =\lambda _{\varsigma _{1}}\) if \(i=2\), then,
and from this we deduce that
Therefore,
As \(M_{J}< m_{a}\), we conclude that T is a contraction. Thus, we can apply Banach’s fixed-point theorem.
Let \(\varsigma ^{*}\) be the unique fixed point of T. It is easy to observe that the pair \((u_{\varsigma ^{*}},\lambda _{\varsigma ^{*}})\in K\times \Lambda \) is a solution of Problem 1.
Let \((u_{i},\lambda _{i})\in K\times \Lambda \) \((i\in \{1,2\})\) be two solutions of Problem 1. Thus, for all \(v\in K\) and \(\mu \in \Lambda \),
Setting \(v=u_{2}\) and \(\mu =\lambda _{2}\) if \(i=1\) and \(v=u_{1}\) and \(\mu =\lambda _{1}\) if \(i=2\), then we are led to
As \(M_{J}< m_{a}\), we obtain \(u_{1}=u_{2}\).
Let \(f_{1}\), \(f_{2}\in X\) be two data and let \((u_{1},\lambda _{1})\), \((u_{2},\lambda _{2})\) be two corresponding solutions. Then, for each \(i\in \{1,2\}\) we can write,
Setting \(v=u_{2}\), \(\mu =\lambda _{2}\) if \(i=1\) and \(v=u_{1}\), \(\mu =\lambda _{1}\) if \(i=2\) then,
As \(M_{J}< m_{a}\) we deduce that
As a result, the solution is stable in its first component. □
Corollary 1
Admit \((h_{1})\)–\((h_{4})\), \((h_{6})\), and \((h_{7})\) and the smallness assumption \(M_{J}< m_{a}\). Then, Problem 2has at least one solution \((u_{0},\lambda _{0})\) that is unique and stable in its first component.
Proof
We set \(\psi \equiv 0\) in Problem 1 and then we apply Theorem 1. □
Theorem 2
(A uniqueness result)
Assume that \((h_{1})\)–\((h_{7})\) hold true together with the smallness assumption \(M_{J}< m_{a}\). If, in addition, ψ is strictly convex, then Problem 1has a unique solution.
Proof
According to Theorem 1, we can denote by u the unique first component of each pair solution of Problem 1. Assuming that \((u,\lambda _{1})\) and \((u,\lambda _{2})\) are two solutions of Problem 1, by the second line of Problem 1 we can write
Therefore, \(\lambda _{1}\) and \(\lambda _{2}\) are minimizers for the following functional
Keeping in mind the properties of \(\psi (\cdot )\) and \(b(\cdot,\cdot )\), by using a standard minimization argument, see, e.g., Theorem 1.36 in [21], it is easy to observe that \({\mathcal {H}}_{u}\) has a unique minimizer. Note that, when Λ is unbounded, the property \(\psi (\mu )\geq c_{\psi}\|\mu \|^{q}_{Y}\) \((q>1)\) is crucial in order to obtain the coercivity of \(\mathcal{H}_{u}\). In consequence, Problem 1 has a unique solution. □
Remark 1
It is worth underlining that, under the hypotheses of Theorem 2, the unique solution of Problem 1 is the unique saddle point of the functional \(\mathcal {L}_{\varsigma ^{*}}\), where \(\varsigma ^{*}\) is the unique fixed point of the operator T.
Remark 2
The smallness assumption \(M_{J}< m_{a}\) was introduced for mathematical reasons. Obtaining results without any smallness assumption is left open.
4 A convergence result
In this section we pay attention to a special situation when Problem 1 can be seen as a perturbed problem by considering \(\psi (\mu )=\epsilon \bar{\psi}(\mu )\) \((\epsilon >0)\).
Problem 4
Let \(\epsilon >0\). Given \(f\in X\), find \((u_{\epsilon},\lambda _{\epsilon})\in K\times \Lambda \) such that,
We admit the following hypotheses:
(H1) \((h_{1})-(h_{4})\); \((h_{6})-(h_{7})\); \(M_{J}< m_{a}\);
(H2) \(\bar{\psi}:Y\to [0,\infty )\) is strictly convex and lower semicontinuous and, in addition, there exist \(c_{\bar{\psi}},\bar{c}_{\bar{\psi}}>0\) and \(\bar{q}>1\) such that, for all \(\mu \in Y\),
The following boundedness result will be helpful.
Lemma 1
Let \(\epsilon >0\) and let \((u_{\epsilon},\lambda _{\epsilon})\) be the unique solution of Problem 4. Then, \((u_{\epsilon})_{\epsilon >0}\) and \((\lambda _{\epsilon})_{\epsilon >0}\) are bounded sequences in K and Λ, respectively.
Proof
Let \(\epsilon >0\) and let \((u_{\epsilon},\lambda _{\epsilon})\) be the unique solution of Problem 4. Let us set \(v=0_{X}\) and \(\mu =0_{Y}\) in Problem 4. Hence,
Combining these above relations, as \(J(u_{\epsilon},0_{X})=0\), \(\bar{\psi}(0_{Y})=0\) and \(j(\cdot ),\psi (\cdot ),J(\cdot,\cdot )\) are nonnegative maps, then
Hence,
where \(k>0\). By setting \(k=m_{a}\) we are led to
Hence, \((u_{\epsilon})_{\epsilon >0}\) is a bounded sequence in K.
If Λ is bounded, then there exists \(c_{\Lambda}>0\) such that
As a result, in the case Λ is bounded, \((\lambda _{\epsilon})_{\epsilon}\) is a bounded sequence in Λ. If Λ is unbounded (recall that, according to \((h_{6})\), \(K\subseteq X\) is a linear subspace), we set \(v=u_{\epsilon}-\frac{w}{\|w\|_{X}}\) with \(w\in K\), in (17). As \(a(\cdot,\cdot )\) is bilinear continuous of rank \(M_{a}\), \(j(\cdot )\) is nonnegative and Lipschitz continuous of rank \(L_{j}\), and
then, keeping in mind (19) we arrive at
By the inf-sup property of the form \(b(\cdot,\cdot )\), we obtain
As a consequence, \((\lambda _{\epsilon})_{\epsilon >0}\) is a bounded sequence in the unbounded subset Λ. □
Recall that, according to Corollary 1, Problem 2 has at least one solution \((u_{0},\lambda _{0})\in K\times \Lambda \) that is unique in its first argument.
In order to deliver the main result of this section we need the following additional assumption.
(H3) Let \((u_{\epsilon})_{\epsilon >0}\subset K\) be such that \(u_{\epsilon}\to u\) in X as \(\epsilon \to 0\) and let \((\lambda _{\epsilon})_{\epsilon >0}\subset \Lambda \) be such that \(\lambda _{\epsilon}\rightharpoonup \lambda \) in Y as \(\epsilon \to 0\). Then, \(b(u_{\epsilon},\lambda _{\epsilon})\to b(u,\lambda )\) as \(\epsilon \to 0\).
Let \((u_{\epsilon})_{\epsilon >0}\subset K\) be such that \(u_{\epsilon}\to u\) in X and let \(v\in K\). Then, \(\limsup_{\epsilon \to 0}[J(u_{\epsilon},v)-J(u_{\epsilon},u_{ \epsilon})]\leq J(u,v)-J(u,u)\).
Theorem 3
Assume (H1)–(H3). Let \(((u_{\epsilon},\lambda _{\epsilon}))_{\epsilon >0}\subset K\times \Lambda \) be a sequence such that, for each \(\epsilon >0\), \((u_{\epsilon},\lambda _{\epsilon})\) is the unique solution of Problem 4. Then, there exists a subsequence \(((u_{\epsilon '},\lambda _{\epsilon '}))_{\epsilon '}\subset K \times \Lambda \) and there exists a solution of Problem 2\((u_{0},\bar{\lambda}_{0})\) such that \(u_{\epsilon '}\rightarrow u_{0}\) and \(\lambda _{\epsilon '}\rightharpoonup \bar{\lambda}_{0}\) as \(\epsilon '\to 0\).
Proof
Let \(\epsilon >0\), let \((u_{\epsilon},\lambda _{\epsilon})\in K\times \Lambda \) be the unique solution of Problem 4 and let \((u_{0},\lambda _{0})\in K\times \Lambda \) be a solution of Problem 2. Keeping in mind Lemma 1 and passing eventually to a subsequence, we deduce that there exist \(\widetilde{u}\in K\) and \(\widetilde{\lambda}\in \Lambda \) such that \(u_{\epsilon '}\rightharpoonup \widetilde{u}\) and \(\lambda _{\epsilon '}\rightharpoonup \widetilde{\lambda}\) as \(\epsilon '\to 0\).
Let \(\epsilon '>0\). According to Problem 4 we can write:
On the other hand,
We take \(v=u_{\epsilon '}\) in (23) and \(v=u_{0}\) in (21) to obtain,
Setting now \(\mu =\lambda _{\epsilon '}\) in (24) and \(\mu =\lambda _{0}\) in (22), we obtain
Combining (25) and (26) we are led to
By passing to the limit as \(\epsilon '\rightarrow 0\) in the relation above, we obtain that \(u_{\epsilon '}\rightarrow u_{0}\). Due to the uniqueness of the limit, we conclude that \(\widetilde{u}=u_{0}\).
Because \((\lambda _{\epsilon '})_{\epsilon '}\) is a weakly convergent sequence and \(0\leq \bar{\psi}(\lambda _{\epsilon '})\leq \bar{c}_{\bar{\psi}}\| \lambda _{\epsilon '}\|^{p}_{Y}\) \((p>0)\), then \(\epsilon '\bar{\psi}(\lambda _{\epsilon '})\to 0\) as \(\epsilon '\to 0\). Therefore, keeping in mind the working hypotheses and passing to the limit as \(\epsilon '\rightarrow 0\) in Problem 4 we conclude that \((u_{0},\widetilde{\lambda})\in K\times \Lambda \) verifies Problem 2. Thus, we can consider \(\bar{\lambda}_{0}=\widetilde{\lambda}\). □
Remark 3
The entire sequence \((u_{\epsilon})_{\epsilon >0}\) is strongly convergent to \(u_{0}\) when \(\epsilon \to 0\) because the unique limit \(u_{0}\) is independent of the subsequences \((u_{\epsilon '})_{\epsilon '>0}\).
5 Examples
In this section we are going to illustrate the theory by means of examples of contact models involving multicontact zones.
Let us consider an elastic body that occupies a bounded domain \(\Omega \subset \mathbb{R}^{3}\), with a Lipschitz continuous boundary. The boundary, denoted by Γ, is partitioned in three measurable parts \(\Gamma _{D}\), \(\Gamma _{N}\), and \(\Gamma _{C}\) with positive measure. The body Ω is clamped on \(\Gamma _{D}\), body forces of density \(\mathbf {f}_{0}\) act on Ω and surface traction of density \(\mathbf {f}_{2}\) acts on \(\Gamma _{N}\). On the part \(\Gamma _{C}\) the body is or can be in contact (frictional or frictionless) with foundations or obstacles. The mathematical model can be described by means of the following boundary value problem.
Problem 5
Find \(\mathbf {u}:\bar{\Omega}\to \mathbb{R}^{3}\) and \(\boldsymbol {\sigma }:\bar{\Omega}\to \mathbb{S}^{3}\) such that
As usual, \(\mathbf {u}=(u_{i})\) stands for the displacement field, \(\boldsymbol {\varepsilon }=\boldsymbol {\varepsilon }(\mathbf {u})=(\varepsilon _{ij}(\mathbf {u}))\) denotes the infinitesimal strain tensor, \(\mathcal {E}\) is the elastic tensor and \(\boldsymbol {\sigma }=(\sigma _{ij})\) is the Cauchy stress tensor in the linearized theory. By means of Ω̄ we denote \(\Omega \cup \partial \Omega \). Herein, \(\mathbb{S}^{3}\) denotes the space of second-order symmetric tensors on \(\mathbb{R}^{3}\). Every field in \(\mathbb{R}^{3}\) or \(\mathbb{S}^{3}\) is typeset in boldface. Everywhere below, by ⋅ and : we will denote the inner product on \(\mathbb{R}^{3}\) and \(\mathbb{S}^{3}\), respectively, and by \(\|\cdot \|_{\mathbb{R}^{3}}\), \(\|\cdot \|_{\mathbb{S}^{3}}\) we will denote the Euclidean norm on \(\mathbb{R}^{3}\) and \(\mathbb{S}^{3}\), respectively. The unit outward normal vector to the boundary is denoted by ν and is defined almost everywhere. The normal and the tangential components of the displacement field will be denoted by \(u_{\nu} = \mathbf {u}\cdot \boldsymbol {\nu }\) and \({\mathbf {u}}_{\tau} =\mathbf {u}-u_{\nu} \boldsymbol {\nu }\), respectively; the normal and the tangential components of the Cauchy vector σν on the boundary will be given by the formulas \(\sigma _{\nu}=(\boldsymbol {\sigma }\boldsymbol {\nu })\cdot \boldsymbol {\nu }\), \(\boldsymbol {\sigma }_{\tau}=\boldsymbol {\sigma }\boldsymbol {\nu }-\sigma _{\nu} \boldsymbol {\nu }\).
In order to deliver a first example, we consider the Problem 5 in which the line (27) consists of the following relations:
In this case, the part \(\Gamma _{C}\) is partitioned into four zones \(\Gamma _{\alpha}\), \(\Gamma _{\beta}\), \(\Gamma _{\delta}\), and \(\Gamma _{\chi}\). On \(\Gamma _{\alpha}\), the body is in frictional contact with a foundation such that the normal stress is imposed, on \(\Gamma _{\beta}\) the body is in frictional contact with normal compliance with an obstacle, on \(\Gamma _{\delta}\) the body can be in frictionless unilateral contact with a rigid obstacle and on \(\Gamma _{\chi}\) the body is in bilateral frictional (Tresca) contact with a rigid foundation. For details on (28)–(31) the reader can consult, e.g., [9, 21] and the references therein. Herein, k is a friction coefficient, F is the imposed normal stress, \(p_{\nu}\), \(p_{\tau}\) are given normal compliance functions and ζ is a friction bound. Using a variational technique governed by Lagrange multipliers (λ can be introduced by means of \(\boldsymbol {\sigma }_{\tau}\)), see, e.g., [15], one can arrive at a variational formulation related to Problem 1 via the following example.
Example 1
-
\(X=\{ \mathbf {v}\in H^{1}(\Omega )^{3}: \boldsymbol {\gamma }\mathbf {v}= \mathbf {0}\text{ a.e. on }\Gamma _{D}\}\) and Y is the dual of S \((Y=S')\), where \(S=\boldsymbol {\gamma }(X)=\{\widetilde{\mathbf {v}}=\boldsymbol {\gamma }\mathbf {v}| \mathbf {v}\in X\}\). Herein and everywhere below γ stands for the Sobolev trace operator for vectors, \(\boldsymbol {\gamma }:H^{1}(\Omega )^{3}\to L^{2}(\Gamma )^{3}\).
-
\(a:X\times X\to \mathbb{R}\), \(a(\mathbf {u}, \mathbf {v})=\int _{\Omega}{\mathcal {E}}(\boldsymbol {\varepsilon }( \mathbf {u})(\mathbf {x})): \boldsymbol {\varepsilon }(\mathbf {v})(\mathbf {x}) \,dx\) where \({\mathcal {E}}:\mathbb{S}^{3}\to \mathbb{S}^{3}\) is a fourth-order tensor such that \({\mathcal {E}}_{ijkl}={\mathcal {E}}_{klij}={\mathcal {E}}_{jikl} \in \mathbb{R}, 1\le i,j,k,l\leq 3\) and there exists \(m_{\mathcal {E}}>0\), \({\mathcal {E}}\boldsymbol {\tau }: \boldsymbol {\tau }\ge m_{\mathcal {E}} \|\boldsymbol {\tau }\|_{ \mathbb{S}^{3}}^{2}\) for all \(\boldsymbol {\tau }\in \mathbb{S}^{3}\).
-
\(b:X\times Y\to \mathbb{R}, b(\mathbf {v},\mu )=\langle \mu, \boldsymbol {\gamma }\mathbf {v}\rangle \) where \(\langle \cdot,\cdot \rangle \) denotes the duality pairing between Y and S.
-
\(j:X\to [0,\infty )\), \(j(\mathbf {v})=\int _{\Gamma _{\alpha}}k F |v_{\nu}| \,d\Gamma \) where \(k,F>0\).
-
\(J:X\times X\to [0,\infty )\), \(J(\mathbf {u},\mathbf {v})=\int _{\Gamma _{\beta}} [p_{\nu}(u_{\nu})|v_{ \nu}|+p_{\tau}(u_{\nu})\|\mathbf {v}_{\tau}\|_{\mathbb{R}^{3}} ] \,d\Gamma \), where \(p_{\nu},p_{\tau}:\mathbb{R}\to [0,\infty )\) are given Lipschitz continuous functions such that \(p_{\nu}(r)=p_{\tau}(r)=0\) for all \(r\leq 0\).
-
\(K=\{\mathbf {v}\in X | v_{\nu}\leq 0\text{ a.e. on }\Gamma _{\delta} \}\). The set K is an unbounded closed convex set that contains \(0_{X}\).
-
\(\Lambda = \{\mu \in Y: \langle \mu, \boldsymbol {\gamma }\mathbf {v}\rangle \leq \int _{\Gamma _{\chi}}\zeta \|\mathbf {v}_{\tau}\|_{\mathbb{R}^{3}} \,d\Gamma \}\). The set Λ is a bounded closed convex set that contains \(0_{Y}\).
-
If \(\psi \equiv 0\), this example is related to a weak formulation of Problem 5. If \(\psi (\mu )=\epsilon \|\mu \|^{2}_{Y}\), this example is related to a “perturbed weak formulation”.
In order to deliver a second example, we consider the following relations:
In this case, the part \(\Gamma _{C}\) is partitioned into four zones \(\Gamma _{\partial}\), \(\Gamma _{\delta}\), \(\Gamma _{\chi}\), and \(\Gamma _{\alpha}\). On \(\Gamma _{\partial}\) the body is in bilateral frictional contact with a rigid foundation; herein we use a slip-dependent friction law, g being a given slip-dependent friction bound. Details on (32) can be found in [9, 20] and the references therein. The other contact conditions and friction laws were already encountered in the previous example. By a variational approach with Lagrange multipliers (λ is defined by means of \(\sigma _{\nu}\)), we are led to Problem 1 by setting \(X,Y,a,b,j,J,\psi,K\), and Λ as follows.
Example 2
-
\(X=K=\{ \mathbf {v}\in H^{1}(\Omega )^{3}: \boldsymbol {\gamma }\mathbf {v}= \mathbf {0}\text{ a.e. on }\Gamma _{D}, v_{\nu}=0 \text{ a.e. on }\Gamma _{ \partial}\cup \Gamma _{\chi}\}\). The correspondence law for \(a(\cdot,\cdot )\) as in the previous example.
-
\(S=\{\widetilde{v} | \widetilde{v}=\boldsymbol {\gamma }(\mathbf {v})\cdot \boldsymbol {\nu }_{|_{ \Gamma _{\delta}}}, \boldsymbol {\nu }_{|_{\Gamma _{\delta}}}=\mathrm{const}.\}\), and \(Y=S'\). The correspondence law for \(b(\cdot,\cdot )\) as in the previous example.
-
\(j:X\to [0,\infty )\), \(j(\mathbf {v})=\int _{\Gamma _{\chi}} \zeta \|\mathbf {v}_{\tau}\|_{ \mathbb{R}^{3}} \,d\Gamma \).
-
\(\Lambda = \{\mu \in Y: \langle \mu, v_{\nu}\rangle \leq 0 \text{ for all } \mathbf {v}\in {\mathcal {K}} \}\), where \({\mathcal {K}}=\{\mathbf {v}\in X: v_{\nu}\leq 0 \text{ a.e. on } \Gamma _{\delta} \}\).
-
\(J:X\times X\to [0,\infty )\), \(J(\mathbf {u},\mathbf {v})=\int _{\Gamma _{\partial}}g(\|\mathbf {u}_{\tau}\|_{ \mathbb{R}^{3}})\|\mathbf {u}_{\tau}\|_{\mathbb{R}^{3}} \,d\Gamma \) where \(g:\mathbb{R}\to [0,\infty )\) is a Lipschitz continuous function.
-
If \(\psi (\mu )=\epsilon c(\mu,\mu )\) where \(c(\cdot,\cdot )\) is a symmetric, bilinear, continuous, and Y-elliptic form, then this second example is related to a “perturbed weak formulation”.
We can continue by giving more examples involving other contact conditions and friction laws. For simplicity, we will “play” with the aforementioned contact conditions and contact laws in order to deliver an example of a contact problem with more than four contact zones. For instance, we consider Problem 5 setting on the line (27) the following contact conditions and friction laws: (29), (32), (33), (34), and (35). In this case, \(\Gamma _{C}\) is partitioned into five parts \(\Gamma _{\beta}\), \(\Gamma _{\partial}\), \(\Gamma _{\delta}\), \(\Gamma _{\chi}\), and \(\Gamma _{\alpha}\). A weak formulation of Problem 5 via Lagrange multipliers can be related to Problem 1 by means of the next example.
Example 3
-
\(X=\{ \mathbf {v}\in H^{1}(\Omega )^{3}: \boldsymbol {\gamma }\mathbf {v}= \mathbf {0}\text{ on }\Gamma _{D}, v_{\nu}=0 \text{ on } \Gamma _{\chi} \cup \Gamma _{\beta}\cup \Gamma _{\partial}\}\); \(K=X\).
-
\(S=\{\widetilde{v} | \widetilde{v}=\boldsymbol {\gamma }(\mathbf {v})\cdot \boldsymbol {\nu }_{|_{ \Gamma _{\delta}}}, \boldsymbol {\nu }_{|_{\Gamma _{\delta}}}=\mathrm{const}.\}\), \(Y=S'\).
-
The correspondence laws for \(a(\cdot,\cdot )\), \(b(\cdot,\cdot )\), ψ, as in the previous examples.
-
\(j:X\to [0,\infty )\), \(j(\mathbf {v})=\int _{\Gamma _{\alpha}}k F |v_{\nu}| \,d\Gamma + \int _{\Gamma _{\chi}}\zeta \|\mathbf {v}_{\tau}\|_{\mathbb{R}^{3}} \,d \Gamma \).
-
\(J(\mathbf {u},\mathbf {v})=\int _{\Gamma _{\partial}}g(\|\mathbf {u}_{\tau}\|_{ \mathbb{R}^{3}})\|\mathbf {u}_{\tau}\|_{\mathbb{R}^{3}} \,d\Gamma + \int _{ \Gamma _{\beta}} [p_{\nu}(u_{\nu})|v_{\nu}|+p_{\tau}(u_{\nu})\| \mathbf {v}_{\tau}\|_{\mathbb{R}^{3}} ] \,d\Gamma \).
-
Λ as in the previous example.
Herein, again, λ can be defined by means of \(\sigma _{\nu}\).
These three examples fulfil the working hypotheses. Their verification is rather standard. However, for the convenience of the reader we can refer to, e.g., [16, 21] for helpful arguments.
Availability of data and materials
Not applicable.
References
Boffi, D., Brezzi, F., Fortin, M.: Mixed Finite Element Methods and Applications. Springer Series in Computational Mathematics, vol. 44. Springer, Berlin (2013)
Braess, D.: Finite Elements. Theory, Fast Solvers, and Applications in Solid Mechanics, 2nd edn. Cambridge University Press, Cambridge (2001)
Chivu Cojocaru, M., Matei, A.: On a class of saddle point problems and convergence results. Math. Model. Anal. 25(4), 608–621 (2020)
Duvaut, G., Lions, J.-L.: Inequalities in Mechanics and Physics. Springer, Berlin (1976)
Eck, C., Jarušek, J., Krbeč, M.: Unilateral Contact Problems: Variational Methods and Existence Theorems. Pure and Applied Mathematics, vol. 270. Chapman/CRC Press, New York (2005)
Ekeland, I., Témam, R.: Convex Analysis and Variational Problems. Classics in Applied Mathematics, vol. 28. SIAM, Philadelphia (1999)
Germain, P., Muller, P.: Introduction à la Mécanique des Milieux Continus. Masson, Paris (1980)
Han, W., Reddy, B.D.: On the finite element method for mixed variational inequalities arising in elastoplasticity. SIAM J. Numer. Anal. 32(6), 1778–1807 (1995)
Han, W., Sofonea, M.: Quasistatic Contact Problems in Viscoelasticity and Viscoplasticity. Studies in Advanced Mathematics. AMS, Providence (2002)
Haslinger, J., Hlavác̆ek, I., Nec̆as, J.: Numerical methods for unilateral problems in solid mechanics. In: Ciarlet, P.G., Lions, J.-L. (eds.) Handbook of Numerical Analysis, vol. IV, pp. 313–485. North-Holland, Amsterdam (1996)
Hüeber, S., Matei, A., Wohlmuth, B.: Efficient algorithms for problems with friction. SIAM J. Sci. Comput. 29(1), 70–92 (2007)
Johnson, K.L.: Contact Mechanics. Cambridge University Press, Cambridge (1987)
Kikuchi, N., Oden, J.T.: Contact Problems in Elasticity: A Study of Variational Inequalities and Finite Element Methods. SIAM, Philadelphia (1988)
Laursen, T.: Computational Contact and Impact Mechanics. Springer, Berlin (2002)
Matei, A.: Weak solvability via Lagrange multipliers for contact problems involving multi-contact zones. Math. Mech. Solids 21(7), 826–841 (2016)
Matei, A., Ciurcea, R.: Contact problems for nonlinearly elastic materials: weak solvability involving dual Lagrange multipliers. ANZIAM J. 52, 160–178 (2010)
Reddy, B.D.: Mixed variational inequalities arising in elastoplasticity. Nonlinear Anal., Theory Methods Appl. 19(11), 1071–1089 (1992)
Shillor, M., Sofonea, M., Telega, J.J.: Models and Analysis of Quasistatic Contact. Lecture Notes in Physics, vol. 655. Springer, Berlin (2004)
Sofonea, M., Han, W., Shillor, M.: Analysis and Approximation of Contact Problems with Adhesion or Damage, 1st edn. Chapman & Hall, London (2005)
Sofonea, M., Matei, A.: Variational inequalities with applications. A study of antiplane frictional contact problems. In: Advances in Mechanics and Mathematics, vol. 18. Springer, New York (2009)
Sofonea, M., Matei, A.: Mathematical Models in Contact Mechanics. London Mathematical Society Lecture Note Series, vol. 398. Cambridge University Press, Cambridge (2012)
Wohlmuth, B.: Discretization Methods and Iterative Solvers Based on Domain Decomposition. In Lecture Notes in Computational Science and Engineering, vol. 17. Springer, Berlin (2001)
Wriggers, P.: Computational Contact Mechanics, 2nd edn. Springer, Heidelberg (2006)
Acknowledgements
I would like to thank the reviewers for their valuable comments and suggestions.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that she has 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
Matei, A. On a class of generalized saddle-point problems arising from contact mechanics. Fixed Point Theory Algorithms Sci Eng 2022, 16 (2022). https://doi.org/10.1186/s13663-022-00726-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-022-00726-7