1 Introduction

The aim of this paper is to study frictional contact problems in which the contact is modeled with normal compliance of such a type that the penetration is restricted with unilateral constraint. In a physical point of view, this penetration can be assimilated to the flattening of the asperities on the contact interface. Furthermore, the friction is modeled with a nonmonotone law in which the friction bound depends on the tangential displacement, the penetration, and the size of the asperities. The behavior of the material is modeled with a linear elastic constitutive law. In the present paper we consider two frictional contact problems. The first problem is characterized by normal compliance in which the penetration is restricted by unilateral constraint and the second problem represents a regularization of the first problem by considering penetrations without restriction.

Our interest in this paper is to present the convergence of the solution of the regularized problem with nonmonotone friction to the solution of the original problem with normal compliance, finite penetration, and nonmonotone friction. After, we provide numerical simulations which illustrate the mechanical behavior of the contact model and the numerical validation of the convergence result.

The rest of the paper is structured as follows. In Sect. 2 we present the classical formulation of the contact problems, the variational formulation of the problems, the existence of the weak solution of the regularized problems, and the convergence result. Finally, in Sect. 3 we present the numerical solution of the problems and we provide some numerical simulations on an academic two-dimensional example including a numerical validation of the convergence result.

2 Mechanical Problems and Variational Formulations

In this section we describe the model for the nonmonotone frictional contact with normal compliance and finite penetration as well as a family of auxiliary models used for its approximation. The physical setting is as follows. A linearly elastic body occupies an open bounded connected set \(\varOmega \subset \mathbb{R}^{d}\) (d ≤ 3 in applications) with a Lipschitz boundary Γ that is partitioned into three disjoint parts \(\overline{\varGamma }_{1}\), \(\overline{\varGamma }_{2}\), and \(\overline{\varGamma }_{3}\) with Γ 1, Γ 2, and Γ 3 being relatively open, and meas (Γ 1) > 0. The body is clamped on Γ 1 and thus the displacement field vanishes there. A volume force of density f 0 acts in Ω and a surface traction of density f 2 acts on Γ 2. The body is in frictional contact with an obstacle on Γ 3. We consider \(H = L^{2}(\varOmega )^{d} =\{\, u = (u_{i})\,\,\vert \,\,u_{i} \in L^{2}(\varOmega )\,\}\), \(Q =\{\, \sigma = (\sigma _{ij})\,\,\vert \,\,\sigma _{ij} =\sigma _{ji} \in L^{2}(\varOmega )\,\},H_{1} =\{\, u = (u_{i})\,\,\vert \,\,\varepsilon (u) \in Q\,\}\) et Q 1 = { σ ∈ Q  |  Div σ ∈ H }.

The classical formulation of the frictional contact problem considered is the following.

Problem.

\(\mathcal{P}_{M}\). Find a displacement field \(u:\varOmega \rightarrow \mathbb{R}^{d}\) and a stress field \(\sigma:\varOmega \rightarrow \mathbb{S}^{d}\) such that

$$\displaystyle{ \sigma = \mathcal{E}\varepsilon (u)\qquad \qquad \qquad \qquad \mathrm{in}\ \varOmega, }$$
(1)
$$\displaystyle{ \mathrm{D}\mathrm{iv}\,\sigma + f_{0} = 0\qquad \qquad \qquad \qquad \mathrm{in}\ \varOmega, }$$
(2)
$$\displaystyle{ u = 0\qquad \qquad \qquad \qquad \mathrm{on}\ \varGamma _{1}, }$$
(3)
$$\displaystyle{ \sigma \nu = f_{2}\qquad \qquad \qquad \qquad \mathrm{on}\ \varGamma _{2}, }$$
(4)
$$\displaystyle{ \sigma _{\nu } + p(u_{\nu }) \leq 0,\,\,u_{\nu } - g \leq 0,\,\,\,(\sigma _{\nu } + p(u_{\nu }))(u_{\nu } - g) = 0\qquad \qquad \qquad \qquad \mathrm{on}\ \varGamma _{3}, }$$
(5)
$$\displaystyle\begin{array}{rcl} \begin{array}{lll} \vert \sigma _{\tau }\vert \leq N(u_{\nu })\mu (\vert u_{\tau }\vert )\quad &\mathrm{if}\quad u_{\tau } = 0, \\ -\sigma _{\tau } = N(u_{\nu })\mu (\vert u_{\tau }\vert ) \frac{u_{\tau }} {\vert u_{\tau }\vert }\quad &\mathrm{if}\quad u_{\tau }\neq 0,\end{array} \ \qquad \qquad \mathrm{on}\ & \varGamma _{3}.&{}\end{array}$$
(6)

Condition (5) was first introduced in [1] and it was used in various papers, see [2] and the references therein where p is the compliance function. Condition (6) was introduced in [3] and N(u ν )μ( | u τ  | ) represents the magnitude of the limiting friction traction at which slip begins. In this case, the friction coefficient μ depends on the tangential displacement | u τ  | and the magnitude of the friction bound depends also on the penetrations and the size of the asperities via the function N defined by

$$\displaystyle\begin{array}{rcl} N(x,\eta ) = \left \{\begin{array}{@{}l@{\quad }l@{}} 0\ \ \text{for}\ \ \eta \leq 0, \quad \\ S \frac{\eta } {g(x)}\ \ \text{for}\ \ \eta \in (0,g(x)),\quad \\ S\ \ \text{for}\ \ \eta \geq g(x). \quad \end{array} \right.& &{}\end{array}$$
(7)

In the above formula the value S ≥ 0 is a given value. Next we define the approximate problems corresponding to Problem \(\mathcal{P}_{M}\). Let \(n \in \mathbb{N}\).

Problem.

\(\mathcal{P}_{M}^{n}\). Find a displacement field \(u^{n}:\varOmega \rightarrow \mathbb{R}^{d}\) and a stress field \(\sigma ^{n}:\varOmega \rightarrow \mathbb{S}^{d}\) such that (1)–(4) and (6) hold for u = u n and σ = σ n, and

$$\displaystyle\begin{array}{rcl} -\sigma _{\nu }^{n}& \in \left \{\begin{array}{@{}l@{\quad }l@{}} \{p(u_{\nu }^{n})\}\quad \quad &\mathrm{if}\quad u_{\nu }^{n} < g, \\{} [p(g),p(g) + nc_{2}]\quad \quad &\mathrm{if}\quad u_{\nu }^{n} = g, \\ \{p(g) + nc_{2} + nc_{3}(u_{\nu }^{n} - g)\}\quad \quad &\mathrm{if}\quad u_{\nu }^{n} > g, \end{array} \right.\quad \quad & \mathrm{on}\ \varGamma _{3}.{}\end{array}$$
(8)

In (8) c 2 and c 3 are arbitrary nonnegative constants such that c 2 + c 3 > 0.

Proceeding in a standard way, we obtain the following variational formulations of Problems \(\mathcal{P}_{M}\) and \(\mathcal{P}_{M}^{n}\). We consider \(V =\{ v \in H_{1}\ \vert \ v = 0\ \mathrm{on}\ \varGamma _{1}\}\), \(K =\{ v \in V,\,v_{\nu } \leq g(x)\,\,\,\mathrm{on}\,\,\,\varGamma _{3}\}\), B: V → V tel que \(\langle Bu,v\rangle = (\mathcal{E}\varepsilon (u),\varepsilon (v))_{Q}\) and f the element of V such that \(\langle f,v\rangle =\int _{\varOmega }f_{0} \cdot v\,dx +\int _{\varGamma _{2}}f_{2} \cdot v\,d\,\varGamma\).

Problem.

\(\mathcal{P}_{V }\). Find the displacement field u ∈ K and the friction density \(\sigma _{\tau } \in L^{2}(\varGamma _{3})^{d}\) such that for all v ∈ K we have

$$\displaystyle\begin{array}{rcl} \langle Bu - f,v - u\rangle +\int _{\varGamma _{3}}p(u_{\nu })(v_{\nu } - u_{\nu })\,d\,\varGamma \geq \int _{\varGamma _{3}}\sigma _{\tau } \cdot (v_{\tau } - u_{\tau })\,d\,\varGamma,& &{}\end{array}$$
(9)
$$\displaystyle\begin{array}{rcl} \mathit{with}\,\,\,\, -\sigma _{\tau }\in N(u_{\nu })\partial j_{\tau }(u_{\tau })\,\,\,\mathit{a.e.\ on\ }\varGamma _{3}& &{}\end{array}$$
(10)

where function \(j_{\tau }:\mathbb{R} ^{d} \rightarrow \mathbb{R}\) is defined by

$$\displaystyle{ j_{\tau }(\xi ) =\int _{ 0}^{\vert \xi \vert }\mu (t)\,dt, }$$
(11)

then under some assumptions, see [3] we can prove that the conditions (6) are equivalent to the subdifferential inclusion (10).

Problem.

\(\mathcal{P}_{V }^{n}\). Find the displacement field u n ∈ V, friction density \(\sigma _{\tau }^{n} \in L^{2}(\varGamma _{3})^{d}\) and normal stress \(\sigma _{\nu }^{n} \in L^{2}(\varGamma _{3})\) such that for all v ∈ V we have

$$\displaystyle\begin{array}{rcl} & & \langle Bu^{n} - f,v\rangle =\int _{\varGamma _{ 3}}\sigma _{\tau }^{n} \cdot v_{\tau } +\sigma _{ \nu }^{n}v_{\nu }\,d\,\varGamma, \\ & & \mathit{with}\,\,\,\, -\sigma _{\tau }^{n} \in N(u_{\nu }^{n})\partial j_{\tau }(u_{\tau }^{n})\,\,\,\mathit{a.e.\ on\ }\varGamma _{ 3}, \\ & & \mathit{and}\,\,\,\, -\sigma _{\nu }^{n} \in \bar{ p}(u_{\nu }^{n}) + \partial j_{\nu }^{n}(u_{\nu }^{n})\,\,\,\mathit{a.e.\ on\ }\varGamma _{ 3}.{}\end{array}$$
(12)

Where \(j_{\nu }^{n}(x,\eta ) = \left \{\begin{array}{@{}l@{\quad }l@{}} 0\quad \quad &\mathrm{if}\quad \eta \leq g(x), \\ nc_{2}\eta + \frac{nc_{3}} {2} (\eta -g(x))^{2}\quad \quad &\mathrm{if}\quad \eta > g(x), \end{array} \right.\)

and \(\bar{p}:\varGamma _{3}\times \mathbb{R}\rightarrow \mathbb{R}\) such that \(\bar{p}(x,s) = \left \{\begin{array}{@{}l@{\quad }l@{}} p(s) \quad &\text{for}\,\,\,\,s \leq g(x)\\ p(g(x))\quad &\text{for} \,\,\,\,s > g(x). \end{array} \right.\)

Theorem 2.1.

Under some assumptions, see [3], Problem \(\mathcal{P}_{V }^{n}\) has a solution for every \(n \in \mathbb{N}\) .

Theorem 2.2.

Let \((u^{n},\sigma _{\tau }^{n},\sigma _{\nu }^{n})\) be a solution of Problem \(\mathcal{P}_{V }^{n}\) , then under some assumptions, see [3], for a subsequence, we have u n → u weakly in V, \(\sigma _{\tau }^{n} \rightarrow \sigma _{\tau }\) weakly in \(L^{2}(\varGamma _{3};\mathbb{R}^{d})\) , where (u,σ τ ) is a solution of Problem \(\mathcal{P}_{V }\) .

3 Numerical Solution

The numerical strategy presented in this section is based on a sequence of convex programming problems; more details can be found in [4]. We consider some materials for the discretization step. Let Ω a polyhedral domain, \(\{\mathcal{T}^{h}\}\) a regular family of triangular finite element partitions of \(\overline{\varOmega }\). The space V is approximated by the finite dimensional space V h ⊂ V of continuous and piecewise affine functions, that is,

$$\displaystyle\begin{array}{rcl} & & \hspace{-19.91684pt}V ^{h } =\{\, v^{h} \in [C(\overline{\varOmega })]^{d}\;:\; v^{h}\vert _{ T} \in [P_{1}(T)]^{d}\,\,\,\,\forall \,T \in \mathcal{T}^{h}, {}\\ & & \qquad \qquad \quad v^{h} = 0\,\,\,\mathrm{at\ the\ nodes\ on}\,\,\,\varGamma _{ 1}\,\}, {}\\ \end{array}$$

where P 1(T) represents the space of polynomials of degree less or equal to one in T. For the discretization of the normal contact terms, we consider the spaces \(X_{\nu }^{h} =\{\, v_{\nu \vert _{\varGamma _{ 3}}}^{h}\:\ v^{h} \in V ^{h}\,\}\); \(X_{\tau }^{h} =\{\, v_{\tau \vert _{\varGamma _{ 3}}}^{h}\:\ v^{h} \in V ^{h}\,\}\) equipped with their usual norm. Let us consider the discrete spaces of piecewise constants \(Y _{\nu }^{h} \subset L^{2}(\varGamma _{3})\) and \(Y _{\tau }^{h} \subset L^{2}(\varGamma _{3})\) related, respectively, to the discretization of the normal stress σ ν and the friction density σ τ . We also introduce the function \(\varphi: X_{\nu }^{h} \rightarrow (-\infty,+\infty ]\) and the operator \(L: X_{\nu }^{h} \rightarrow Y _{\nu }^{h}\) defined by

$$\displaystyle\begin{array}{rcl} & & \varphi (u_{\nu }^{h}) =\int _{\varGamma _{ 3}}I_{\mathbb{R_-}}(u_{\nu }^{h} - g)\,d\varGamma,\quad \forall \,u_{\nu }^{h} \in X_{\nu }^{h}, {}\\ & & L: X_{\nu }^{h} \rightarrow Y _{\nu }^{h}\quad \langle Lu_{\nu }^{h},v_{\nu }^{h}\rangle _{ Y _{\nu }^{h},X_{\nu }^{h}} =\int _{\varGamma _{3}}p(u_{\nu }^{h})v_{\nu }^{h}\,d\varGamma \quad \forall \,u_{\nu }^{h},\,v_{\nu }^{h} \in X_{\nu }^{h} {}\\ \end{array}$$

where \(I_{\mathbb{R_-}}\) represents the indicator function of the set \(\mathbb{R_-}= (-\infty,0]\).

The normal compliance condition with finite penetration (5) leads to the following discrete subdifferential inclusion

$$\displaystyle{-\sigma _{\nu }^{h} \in \partial \varphi (\varPi _{\nu }^{h}u_{\nu }^{h}) + L\varPi _{\nu }^{h}u_{\nu }^{h}\quad \mathrm{in}\quad Y _{\nu }^{h}.}$$

The friction condition (6) leads to the following discrete subdifferential inclusion

$$\displaystyle{-\sigma _{\tau }^{h} \in N(\vert \varPi _{\nu }^{h}u_{\nu }^{h}\vert )\mu (\vert \varPi _{\tau }^{h}u_{\tau }^{h}\vert )\partial \vert \varPi _{\tau }^{h}u_{\tau }^{h}\vert \quad \mathrm{in}\quad Y _{\tau }^{h},}$$

where \(\varPi _{\nu }^{h}: X_{\tau }^{h} \rightarrow Y _{\nu }^{h}\) and \(\varPi _{\tau }^{h}: X_{\tau }^{h} \rightarrow Y _{\tau }^{h}\) represent, respectively, the boundary interpolation operators from \(X_{\nu }^{h}\) to \(Y _{\nu }^{h}\) and from \(X_{\tau }^{h}\) to \(Y _{\tau }^{h}\) (see [5]).

The numerical solution of the nonsmooth nonconvex variational problem \(\mathcal{P}_{V }\) is based on the following iterative algorithm.

\(\fbox{$\begin{array}{lll} &&\mathrm{Let}\ \epsilon > 0\ \text{and}\ u^{(0)}\mathrm{be\ given.} \\ &&\mathrm{Then,}\ \text{for}\ k = 0,1\ldots, \\ && \qquad \mathbf{Problem}\,\,\mathcal{P}_{V _{C}^{h}}.\ \mathit{Find\ a\ displacement\ field\ u^{h,(k+1)} \in V ^{h},} \\ && \qquad \mathit{a\ contact\ stress}\ \sigma _{\nu }^{h,(k+1)} \in Y _{\nu }^{h} \mathit{and\ a\ friction\ stress\ field}\ \sigma _{\tau }^{h,(k+1)} \in Y _{\tau }^{h} \\ && \qquad \mathit{such\ that,\ for\ }\forall \,v^{h} \in V ^{h} \\ && \qquad \quad \langle Bu^{h,(k+1)} - f,v^{h}\rangle =\int _{\varGamma _{3}}\sigma _{\nu }^{h,(k+1)}v_{\nu }^{h}\,d\,\varGamma +\int _{\varGamma _{3}}\sigma _{\tau }^{h,(k+1)} \cdot v_{\tau }^{h}\,d\,\varGamma \\ && \qquad \quad \mathit{with}\,\, -\sigma _{\nu }^{h,(k+1)} \in \partial \varphi (\varPi _{\nu }^{h}u_{\nu }^{h,(k+1)}) + L\varPi _{\nu }^{h}u^{h,(k+1)}\,\,\mathit{on}\,\,\varGamma _{3} \\ & & \qquad \quad \mathit{and}\,\, -\sigma _{\tau }^{h,(k+1)} \in N(\vert \varPi _{\nu }^{h}u_{\nu }^{h,(k)}\vert )\mu (\vert \varPi _{h}u_{\tau }^{h,(k)}\vert )\partial \vert \varPi _{\tau }^{h}u_{\tau }^{h,(k+1)}\vert \,\,\mathit{on}\,\,\varGamma _{3} \\ & & \text{until}\|u^{h,(k+1)} - u^{h,(k)}\| \leq \epsilon \| u^{h,(k)}\| \\ & &\qquad \quad \text{and}\|\sigma ^{h,(k+1)} -\sigma ^{h,(k)}\|_{L^{2}(\varGamma _{3})^{d}} \leq \epsilon \|\sigma ^{h,(k)}\|_{L^{2}(\varGamma _{3})^{d}} \\ \end{array} $}\)

Here, k represents the index of the iterative procedure. In Problem \(\mathcal{P}_{V _{C}^{h}}\) the discrete stress σ h on the contact boundary Γ 3 can be viewed as a Lagrange stress multiplier. This numerical strategy leads to the solution of a nonsmooth convex problem \(\mathcal{P}_{V _{C}^{h}}\) at each iteration k. For the numerical treatment of the nonsmooth convex Problem \(\mathcal{P}_{V _{C}^{h}}\) we use the penalized method for the normal compliance contact term combined with the augmented Lagrangean approach for the unilateral condition and Coulomb friction law. For details concerning this numerical treatment see [3].

Numerical Example. We consider the physical setting depicted in Fig. 1. There, \(\varOmega = (0,L_{1}) \times (0,L_{2}) \subset \mathbb{R}^{2}\) with L 1, L 2 > 0 and

$$\displaystyle{\varGamma _{1} =\{ 0\} \times [0,L_{2}],\ \varGamma _{2} = (\{L_{1}\} \times [0,L_{2}]) \cup ([0,L_{1}] \times \{ L_{2}\}),\ \varGamma _{3} = [0,L_{1}] \times \{ 0\}.}$$

The domain Ω represents the cross section of a three-dimensional deformable body subjected to the action of tractions in such a way that a plane stress hypothesis is assumed. On the part \(\varGamma _{1} =\{ 0\} \times [0,L_{2}]\) the body is clamped and, therefore, the displacement field vanishes there. Vertical tractions act on the part \([0,L_{1}] \times \{ L_{2}\}\) of the boundary and the part \(\{L_{1}\} \times [0,L_{2}]\) is traction free. No body forces are assumed to act on the body during the process. The body is in frictional contact with an obstacle on the part \(\varGamma _{3} = [0,L_{1}] \times \{ 0\}\) of the boundary.

Fig. 1
figure 1

Initial configuration of the two-dimensional example

We model the material’s behavior with a constitutive law of the form (1) in which elasticity tensor \(\mathcal{E}\) satisfies

$$\displaystyle{(\mathcal{E}\tau )_{\alpha \beta } = \frac{E\kappa } {1 -\kappa ^{2}}(\tau _{11} +\tau _{22})\delta _{\alpha \beta } + \frac{E} {1+\kappa }\tau _{\alpha \beta },\qquad 1 \leq \alpha,\beta \leq 2,}$$

where E is the Young modulus, κ the Poisson ratio of the material, and δ α β denotes the Kronecker symbol. The friction is modeled by a nonmonotone law (6) in which the friction bound \(N(u_{\nu })\mu (\vert u_{\tau }\vert )\) depends on the depth of the penetration u ν and on the tangential displacement | u τ  | . For the simulations, the function \(N:\mathbb{R}\rightarrow \mathbb{R}^{+}\) given in (7) is taken. Let us also consider the following friction coefficient \(\mu:\mathbb{R} ^{d} \rightarrow \mathbb{R}\):

$$\displaystyle{ \mu (\vert u_{\tau }\vert ) = (a - b) \cdot e^{-\alpha \vert u_{\tau }\vert } + b, }$$
(13)

with a, b, α > 0, a ≥ b. For the computation below we use the following data:

$$\displaystyle\begin{array}{rcl} \begin{array}{l} L_{1} = 2m,\quad L_{2} = 1m, \\ E = 1000N/m^{2},\quad \kappa = 0.3, \\ f_{0} = (0,0)N/m^{2},\quad f_{2} = \left \{\begin{array}{rl} (0,0)\,N/m&\quad \text{ on }\{2\} \times [0,1],\\ (0, -300\,t)\,N/m &\quad \text{ on } [0, 2] \times \{ 1\}, \end{array} \right. \\ a = 1.5,\quad b = 0.5,\quad \alpha = 100,\quad S = 1N,p(u) = c_{1}u_{+},\quad c_{1} = 100, \\ \mathrm{stopping\ criterion:}\ \epsilon = 10^{-6}.\end{array} & & {}\\ \end{array}$$

Our results are presented in Figs. 2, 3, and 4 and are described in what follows. First, in Fig. 2, the deformed configuration as well as the frictional contact forces is plotted both in the case g = 0 m and g = 0. 04 m, which represent, respectively, the case with a classical signorini unilateral contact and the case with normal compliance, finite penetration, and unilateral constraint.

Fig. 2
figure 2

Deformed meshes and frictional contact forces for g = 0 m and g = 0. 04 m

Fig. 3
figure 3

Deformed meshes and frictional contact forces for n = 10, n = 100, n = 103, and n = 104

In Fig. 3 we present the convergence of solution of problem \(\mathcal{P}_{V ^{h}}^{n}\) to the solution of problem \(\mathcal{P}_{V ^{h}}\). More precisely, we plot four deformed meshes and the associated frictional contact forces at four steps of convergence, for \(n = 10,\ 100,\ 10^{3},\ 10^{4}\). One can see that for n = 10 all the contact nodes are in strong penetration contact, whereas at n = 104 the contact nodes are into an admissible finite penetration, since the complete flattening of the asperities of size g = 0. 04 m was reached.

For the numerical convergence we denote by \((u_{n}^{h},\sigma _{n}^{h})\) and \((u^{h},\sigma ^{h})\) the discrete solution of the contact problems \(\mathcal{P}_{V ^{h}}^{n}\) and \(\mathcal{P}_{V ^{h}}\), respectively. The numerical estimations of the difference

$$\displaystyle{\|u_{n}^{h} - u^{h}\|_{ V } +\| \sigma _{n}^{h} -\sigma ^{h}\|_{ Q},}$$

for various values of the parameter n, are presented in Fig. 4. It results from here that this difference converges to zero when n tends toward infinity, which represents a numerical validation of the theoretical convergence result obtained in Theorem 2.2.

Fig. 4
figure 4

Numerical validation of the convergence result in Theorem 2.2