Abstract
This paper is devoted to numerical analysis of doubly-history dependent variational inequalities in contact mechanics. A fully discrete method is introduced for the variational inequalities, in which the doubly-history dependent operator is approximated by repeated left endpoint rule and the spatial variable is approximated by the linear element method. An optimal order error estimate is derived under appropriate solution regularities, and numerical examples illustrate the convergence orders of the method.
Similar content being viewed by others
1 Introduction
Contact phenomena are commonly seen in engineering applications and in daily life. Due to the complicated mechanism involved in contact processes, mathematical models of contact problems are in the form of variational inequalities or hemivariational inequalities. An extensive amount of references exist on modeling, mathematical analysis, numerical solution, and engineering applications of contact problems. A few representative references in this aspect include [5, 7, 9, 10, 18, 19] on variational inequalities arising in contact mechanics and [6, 11] on related hemivariational inequalities.
Mathematical models of certain contact problems contain so-called history-dependent operators that reflect the dependence of the models on the history of physical quantities, usually through an integration of the physical quantities with respect to the temporal variable. The notion of a family of history-dependent (quasi)variational inequalities was first introduced in [15]. For mathematical analysis of history-dependent variational inequalities and hemivariational inequalities in contact problems, see [12, 13, 17], and for the numerical solution of the problems, see [8, 20, 21].
In this paper, we consider the numerical solution of a new kind of history dependent variational inequalities. The major novelty of this paper is the numerical treatment of a doubly-history dependent operator in the form of a repeated time integration. The rest of the paper is organized as follows. In Sect. 2, we present a variational inequality in viscoelastic contact. Solution existence and uniqueness of the variational inequality are shown in [13] through an application of a result on an abstract sweeping process. We provide an elementary proof of the same result that is more accessible to the reader. In Sect. 3, we introduce and study a fully discrete scheme for the variational inequality; in particular, we derive an optimal order error estimate for the numerical solution under appropriate solution regularity assumptions. In Sect. 4, we report simulation results on numerical examples to illustrate the performance of the method with an emphasis on numerical convergence orders.
2 A variational inequality in viscoelastic contact
We follow [13] and consider a quasi-static contact problem for viscoelastic material. Let \(\Omega \subset \mathbb{R}^{d}\) be a Lipschitz domain, representing the configuration of the viscoelastic body. The boundary \(\Gamma =\partial \Omega \) is split into three measurable parts \(\Gamma _{1}\), \(\Gamma _{2}\), and \(\Gamma _{3}\); the portion \(\Gamma _{3}\) is further split into two parts: \(\Gamma _{3,1}\) and \(\Gamma _{3,2}\) where different contact conditions will be specified. We assume \(\operatorname{meas} (\Gamma _{1})>0\) and \(\operatorname{meas} (\Gamma _{3,1})+\operatorname{meas} (\Gamma _{3,2})>0\). The latter assumption allows the case where one of the two subsets \(\Gamma _{3,1}\) and \(\Gamma _{3,2}\) is empty, and then the corresponding contact condition below is suppressed from the problem. The body is subject to the action of volume forces of a total density \(\mathbf {f}_{0}\) in Ω and surface tractions of a total density \(\mathbf {f}_{2}\) on \(\Gamma _{2}\), and it is fixed on \(\Gamma _{1}\). We assume a frictionless contact with unilateral constraint in the velocity variable on \(\Gamma _{3,1}\), and a version of Coulomb’s law of dry friction on \(\Gamma _{3,2}\). Let \([0,T]\) be the time interval of interest. We use a prime to indicate the derivative with respect to the temporal variable.
For a vector \(\mathbf {v}\in \mathbb{R}^{d}\), we write \(\mathbf {v}=(v_{i})\) with its components \(v_{i}\in \mathbb{R}\), \(1\le i\le d\). We adopt the summation convention on a repeated index. Over the space \(\mathbb{R}^{d}\), we use the canonical inner product and norm defined by
We use the symbol \(\mathbb{S}^{d}\) to denote the space of symmetric matrices of order d. For \(\boldsymbol {\tau }=(\tau _{ij})\in \mathbb{S}^{d}\), \(\tau _{ij}=\tau _{ji}\in \mathbb{R}\) for \(1\le i,j\le d\). The canonical inner product and norm on the space \(\mathbb{S}^{d}\) are
The unit outward normal vector exists a.e. on Γ, and it is denoted as ν. For a vector field v defined on Γ, its normal and tangential components are \(v_{\nu }=\mathbf {v}\cdot \boldsymbol {\nu }\), \(\mathbf {v}_{\tau }=\mathbf {v}-v_{\nu }\boldsymbol {\nu }\). Similarly, for a stress tensor σ defined on Γ, the normal and tangential components are \(\sigma _{\nu }=(\boldsymbol {\sigma }\boldsymbol {\nu })\cdot \boldsymbol {\nu }\), \(\boldsymbol {\sigma }_{\tau }=\boldsymbol {\sigma }\boldsymbol {\nu }-\sigma _{\nu }\boldsymbol {\nu }\).
The classical formulation of the contact problem is to find a displacement field \(\mathbf {u}\colon \Omega \times [0,T]\) and a stress field \(\boldsymbol {\sigma }\colon \Omega \times [0,T]\) such that, for \(t\in [0,T]\),
and
A brief description on the mechanical interpretations of the equations and relations in the above problem is as follows. Formula (2.1) represents a general constitutive law for a viscoelastic material with long memory, where \({\mathcal{A}}\) is a viscosity operator, \({\mathcal{B}}\) is an elasticity operator, the long memory feature is reflected by the integral term in which \({\mathcal{R}}\) is the relaxation tensor (cf. [12]). The process is quasi-static and (2.2) is the equilibrium equation, where \(\mathbf {f}_{0}\) is the density of the volume forces applied to the deformable body. The homogeneous displacement boundary condition (2.3) is specified on \(\Gamma _{1}\). A traction boundary condition (2.4) is specified on \(\Gamma _{2}\), where \(\mathbf {f}_{2}\) denotes the density of the traction; note that \(\Gamma _{2}\) is allowed to be an empty set, and then the boundary condition (2.4) is suppressed. Contact conditions are specified on \(\Gamma _{3,1}\) and \(\Gamma _{3,2}\). Over \(\Gamma _{3,1}\), (2.5) describes the frictionless contact with unilateral constraints on the velocity (cf. [4]). Over \(\Gamma _{3,2}\), a version of Coulomb’s law of dry friction with the simplifying assumption that the normal stress on the contact boundary is known (cf. [16]); in (2.6), F is a nonnegative valued function, \(\mu \ge 0\) is a friction coefficient, and μF represents a friction bound. Since the problem involves the time derivative of the displacement, an initial value condition (2.7) is supplemented, \(\mathbf {u}_{0}\) being a given initial displacement field.
Let us introduce some function spaces and sets. The function space for stress and strain fields at a fixed time is
This is a Hilbert space with the inner product
and the induced norm \(\|\boldsymbol {\tau }\|_{Q}=(\boldsymbol {\tau },\boldsymbol {\tau })_{Q}^{1/2}\). The function space for displacement and velocity fields at a fixed time is
Since \(\operatorname{meas} (\Gamma _{1})>0\), by the Korn inequality (cf. [14, p. 79]), V becomes a Hilbert space with the inner product \((\mathbf {u},\mathbf {v})_{V}= (\boldsymbol {\varepsilon }(\mathbf {u}), \boldsymbol {\varepsilon }( \mathbf {v}))_{Q}\), and the associated norm \(\|\mathbf {v}\|_{V}= \|\boldsymbol {\varepsilon }(\mathbf {v})\|_{Q}\) is equivalent to the standard \(H^{1}(\Omega )^{d}\)-norm on V. The set of admissible velocity fields is
We further introduce the space of bounded, symmetric fourth-order tensor fields
which is a real Banach space with the norm
We make the following assumptions on the problem data.
\(H({\mathcal{A}})\) ∃ constants \(0< m_{\mathcal{A}}\le M_{\mathcal{A}}<\infty \) such that
\(H({\mathcal{B}})\) \({\mathcal{B}}\colon \Omega \times \mathbb{S}^{d}\to \mathbb{S}^{d}\) is such that \({\mathcal{B}}(\cdot, \mathbf {0})\in Q\), \({\mathcal{B}}(\cdot, \boldsymbol {\varepsilon })\) is measurable on Ω for all \(\boldsymbol {\varepsilon }\in \mathbb{S}^{d}\), and
\(H_{1}({\mathcal{R}})\) \({\mathcal{R}}\in C([0,T];Q_{\infty })\).
\(H(\mathbf {f})\) \(\mathbf {f}_{0}\in W^{1,1}(0,T;L^{2}(\Omega )^{d})\), \(\mathbf {f}_{2}\in W^{1,1}(0,T;L^{2}(\Gamma _{2})^{d})\).
\(H({\mathcal{C}})\) \(F\in L^{2}(\Gamma _{3,2})\), \(F(\mathbf {x})\ge 0\) a.e. \(\mathbf {x}\in \Gamma _{3,2}\), \(\mu \in L^{\infty }(\Gamma _{3,2})\), \(\mu (\mathbf {x})\ge 0\) a.e. \(\mathbf {x}\in \Gamma _{3,2}\).
Then define \(\mathbf {f}\in W^{1,1}(0,T;V)\) by the formula
for \(t\in [0,T]\). By a standard procedure, one can obtain the following weak formulation of the contact problem (2.1)–(2.7).
Problem 2.1
Find a displacement field \(\mathbf {u}\colon [0,T]\to V\) such that, for a.e. \(t \in (0,T)\),
and
The following well-posedness result is shown in [13].
Theorem 2.2
Under assumptions \(H({\mathcal{A}})\), \(H({\mathcal{B}})\), \(H_{1}({\mathcal{R}})\), \(H(\mathbf {f})\), and \(H({\mathcal{C}})\), for any \(\mathbf {u}_{0}\in V\), Problem 2.1has a unique solution \(\mathbf {u}=\mathbf {u}(\mathbf {u}_{0})\in W^{1,\infty }(0,T;V)\). Moreover, the mapping \(\mathbf {u}_{0}\mapsto \mathbf {u}(\mathbf {u}_{0})\colon V\to W^{1,\infty }(0,T;V)\) is Lipschitz continuous.
The proof of Theorem 2.2 is carried out in [13] through an application of a result on an abstract sweeping process. In the rest of the section, we provide an elementary proof of the result through a fixed-point argument. For this purpose, we introduce the velocity variable
Note that given \(\mathbf {w}(t)\) and the initial displacement \(\mathbf {u}_{0}\), we can recover the displacement \(\mathbf {u}(t)\) by
Then Problem 2.1 can be reformulated in terms of w.
Problem 2.3
Find a velocity field \(\mathbf {w}\in C([0,T]; V)\) such that \(\forall t\in [0, T]\),
Note that the variational inequality (2.12) contains a doubly-history dependent term
For this reason, (2.12) is called a doubly-history dependent variational inequality. The existence and uniqueness result of Problem 2.3 is the following.
Theorem 2.4
Under assumptions \(H({\mathcal{A}})\), \(H({\mathcal{B}})\), \(H_{1}({\mathcal{R}})\), \(H(\mathbf {f})\), and \(H({\mathcal{C}})\), for any \(\mathbf {u}_{0}\in V\), Problem 2.3has a unique solution \(\mathbf {w}\in C([0,T]; V)\).
Proof
We rewrite (2.12) as
Let \(\mathbf {z}\in C([0,T];K) \). Then at any time \(t\in [0,T]\), \(\mathbf {z}(t) \in K\) and the variational inequality
has a unique solution \(\mathbf {w}(t)\in K\) (cf. [1, Theorem 11.3.1]).
Now we show that the function \(\mathbf {w}\colon [0,T]\to K\) is continuous. We take \(t_{1}, t_{2} \in [0, T]\) in (2.14) respectively to get
and
We take \(\mathbf {v}=\mathbf {w}(t_{2})\) in (2.15) and \(\mathbf {v}=\mathbf {w}(t_{1})\) in (2.16) then add the inequalities to get
Using assumption \(H({\mathcal{A}})\), we get
Together with (2.18), we apply the Cauchy–Schwarz inequality on (2.17) to derive
By assumption \(H({\mathcal{B}})\) and (2.11), we obtain
Furthermore,
where
Using (2.11), we obtain
Moreover,
Together with (2.19), (2.20), (2.21), (2.22), and (2.23), we have
Assumption \(H(\mathbf {f})\) implies that the function \(\mathbf {f}\colon [0,T]\to V^{*}\) is continuous on \([0,T]\) (cf. [13]). Combining (2.24), \(H_{1}({\mathcal{R}})\), and the continuity of f, we see that \(\mathbf {w}\colon [0,T]\to V\) is continuous on \([0, T]\).
Next, we use (2.14) to define an operator \(\Lambda: C([0,T];K)\rightarrow C([0,T];K)\) by
Let \(\mathbf {z}_{1}, \mathbf {z}_{2} \in C([0,T];K)\) and \(\mathbf {w}_{1}, \mathbf {w}_{2}\) be the solution to (2.14) with \(\mathbf {z}=\mathbf {z}_{1}\) and \(\mathbf {z}=\mathbf {z}_{2}\), respectively. Similar to the arguments in the derivation of (2.19), we get
i.e.,
Applying the fixed point theorem [15, Theorem 1], we know that there exists a unique element \(\mathbf {z}^{*} \in C([0,T];K)\) such that \(\Lambda \mathbf {z}^{*}=\mathbf {z}^{*}\). Denote \(\mathbf {w}^{*}=\Lambda \mathbf {z}^{*}\). Then from (2.14) we know that \(\mathbf {z}^{*} \in C([0,T];K)\) is the unique solution to Problem 2.3. □
Remark 2.5
When \(\Gamma _{3,1}=\emptyset \), Problem 2.3 is reduced to a variational inequality posed over the entire space V. When \(\Gamma _{3,2}=\emptyset \), Problem 2.3 becomes a variational inequality of the first kind.
3 Numerical analysis of the variational inequality
In this section, we introduce a fully discrete method for Problem 2.3 and derive an optimal order error bound. Assume that Ω is a polygonal/polyhedral domain, and let \(\{\mathcal{T}^{h}\}\) be a regular family of partitions of Ω̅ into triangles/tetrahedrons that is consistent with the splitting of the boundary Γ into four subsets \(\Gamma _{1}\), \(\Gamma _{2}\), \(\Gamma _{3,1}\), and \(\Gamma _{3,2}\), i.e., if a side/face of an element has a nontrivial intersection with one of the four subsets, then the side/face lies entirely on the closure of that subset. Let
be the linear element space for \(\{\mathcal{T}^{h}\}\) and \(K^{h}\) be a subset of \(V^{h}\) which is defined by
Thus \(K^{h}\) is a convex subset of K. The time interval \([0,T]\) is divided uniformly. For a given positive integer N, let \(k=T/N\) be the time step-size. The node points are \(t_{n}=nk\), \(0 \leq n \leq N\). To approximate the integrals, we use the left endpoint rule
In this section, C denotes a generic constant which takes on different values in different places.
Denote \(\mathbf {w}(t_{n})=\mathbf {w}_{n}\), \(\mathbf {f}(t_{n})=\mathbf {f}_{n}\). Let \(\mathbf {u}_{0}^{h}\in K^{h}\) be an approximation of \(\mathbf {u}_{0}\). Then the fully discrete scheme for Problem 2.3 is introduced as follows.
Problem 3.1
Find a discrete velocity field \(\mathbf {w}^{kh}:=\{\mathbf {w}_{n}^{kh} \}_{n=0}^{N} \subset V^{h}\) such that, for \(0 \leq n \leq N\),
We have the following result for Problem 3.1.
Theorem 3.2
Under assumptions \(H({\mathcal{A}})\), \(H({\mathcal{B}})\), \(H_{1}({\mathcal{R}})\), \(H(\mathbf {f})\), and \(H({\mathcal{C}})\), for any \(\mathbf {u}_{0}\in V\), Problem 3.1has a unique solution \(\mathbf {w}^{kh} \subset K^{h}\).
Proof
For \(n=0\), (3.1) is to find \(\mathbf {w}_{0}^{kh} \in K^{h}\) such that
From the assumptions on the data, we know this elliptic variational inequality has a unique solution \(\mathbf {w}_{0}^{kh} \in K^{h}\) [1, Theorem 13.3.1].
For an integer \(1\le n\le N\), suppose that \(\mathbf {w}_{j}^{kh}\), \(0\le j\le n-1\), are known. We rewrite (3.1) as
where
Again, from the assumptions on the data, this elliptic variational inequality has a unique solution \(\mathbf {w}_{n}^{kh} \in K^{h}\). Thus, by an induction argument, we know that there is a unique solution \(\mathbf {w}^{kh} \subset K^{h}\) to Problem 3.1. □
To derive an optimal order error estimate for Problem 3.1, we make further assumptions:
\(H_{2}({\mathcal{R}})\) \({\mathcal{R}}\in W^{1,\infty }(0,T;Q_{\infty })\).
\(H(\mathbf {u}_{0})\) \(\mathbf {u}_{0} \in V \cap H^{2}(\Omega )^{d}\).
\(H(\mathbf {w})\) \(\mathbf {w}\in W^{1,\infty }(0,T;V)\cap C([0,T];H^{2}( \Omega )^{d})\).
\(H(\boldsymbol {\sigma })\) \(\boldsymbol {\sigma }\in C([0,T];H^{1}(\Omega )^{d})\).
Now we provide an optimal order error estimate for the numerical method defined by Problem 3.1.
Theorem 3.3
Assume \(H({\mathcal{A}})\), \(H({\mathcal{B}})\), \(H_{2}({\mathcal{R}})\), \(H(\mathbf {f})\), \(H({\mathcal{C}})\), and \(H(\mathbf {u}_{0})\). Moreover, assume solution regularities \(H(\mathbf {w})\) and \(H(\boldsymbol {\sigma })\). Let \(\mathbf {u}_{0}^{h}\in K^{h}\) be the finite element interpolation or the \(L^{2}(\Omega )\)-projection of \(\mathbf {u}_{0}\). The following error bound holds for the numerical solution of Problem 3.1:
Proof
We establish the framework for error estimation. Using \(\|\mathbf {v}\|_{V}= \|\boldsymbol {\varepsilon }(\mathbf {v})\|_{Q}\) and assumption \(H({\mathcal{A}})\), we have
Now we introduce a residual term \(R_{n}(\mathbf {v}^{h}, \mathbf {w}_{n})\) which plays an important role in the proof. Taking \(t=t_{n}\) and \(\mathbf {v}=\mathbf {v}^{h}\) in (2.12), we get
Then define \(R_{n}(\mathbf {v}^{h}, \mathbf {w}_{n})\) by
Note that \(\mathbf {v}^{h} \in K^{h}\) and \(K^{h} \subset K\); therefore \(R_{n}(\mathbf {v}^{h}, \mathbf {w}_{n}) \geq 0\). Taking \(\mathbf {v}^{h}=\mathbf {w}_{n}^{kh}\) in (3.4), we have
In addition, (3.1) can be rewritten as follows:
By (3.3), (3.6), and (3.7), we derive an error bound of \(\|\mathbf {w}_{n}-\mathbf {w}_{n}^{kh}\|_{V}\) as follows:
where
In the following we bound each of the terms \(I_{i}\), \(1\leq i \leq 4\).
Firstly, we focus on the estimation of \(I_{1}\). By Taylor’s formula, for \(s\in [t_{j}, t_{j+1}]\), there exists \(\xi _{j} \in [t_{j}, t_{j+1}]\) such that
where \(\mathbf {w}^{\prime }(\xi _{j}) \in V\) is the derivative of w at \(t=\xi _{j}\). Thus the following error bound holds for the left endpoint rule:
Using the Cauchy–Schwarz inequality and (3.9), we obtain
where
Then we bound the term \(I_{2}\). First,
where
By the norm triangle inequality,
where
Note that the assumption \({\mathcal{R}}\in W^{1,\infty }(0,T;Q_{\infty })\) implies \({\mathcal{R}}\in C([0,T];Q_{\infty })\), and \(\mathbf {w}\in W^{1,\infty }(0,T;V)\) implies \(\mathbf {w}\in C([0,T];V)\). Thus we have
For \(s \in [t_{j}, t_{j+1}]\), we write
where \(\widetilde{R}(s) \in V\). Note that
Therefore,
Combining (3.14) and (3.17), we obtain
By Taylor’s formula, for \(s \in [t_{j}, t_{j+1}]\), there exists \(\zeta _{j} \in [t_{j}, t_{j+1}]\) such that
where \({\mathcal{R}}^{\prime }(\zeta _{j}) \in Q_{\infty }\) is the derivative of \({\mathcal{R}}\) at \(t=\zeta _{j}\). Then we derive
To proceed further on (3.19), we obtain
Next we use (3.16) to deduce
Combining (3.12), (3.18), (3.20), and (3.21), we get
where
According to (3.10) and (3.22), we define \(Er_{H}\) by
Then
Thirdly, we give an estimation of \(I_{3}\) and present an error bound of \(\|\mathbf {w}_{n}-\mathbf {w}_{n}^{kh}\|_{V}\). By assumption \(H({\mathcal{A}})\), we have
Furthermore, we combine the definition of norm \(\|\cdot \|_{Q}\) and (3.26) to derive
Therefore, applying the Cauchy–Schwarz inequality on \(I_{3}\), we get
Together with (3.8), (3.25), and (3.28), we get
For sufficiently small \(\varepsilon >0\), we have
We take the square root of both sides of (3.30) to get
Recall discrete Gronwall’s inequality [5]: Assume that \(\{g_{n}\}_{n=0}^{N}\) and \(\{e_{n}\}_{n=0}^{N}\) are two sequences of nonnegative numbers satisfying
Then
Thus, we use Gronwall’s inequality on (3.31) to derive
Next, we derive an upper bound for the residual term \(I_{4}\). The weak formulation (2.12) is used to get point-wise equations. Define a function space
Let
We take \(\mathbf {v}=\mathbf {w}(t)\pm \widetilde{\mathbf {v}}\) in (2.12), where \(\widetilde{\mathbf {v}} \in \widetilde{U}\). Then
Note that \(\widetilde{\mathbf {v}}=\mathbf {0}\) on \(\Gamma _{3,2}\), we get
Recall Green’s formula
We combine (3.34) and (3.35) to get
Since \(\widetilde{\mathbf {v}}\) is arbitrary, we can follow the technique in [5, Sect. 8.1] to obtain the following point-wise relations:
and
Denote \(\boldsymbol {\sigma }(t_{n})=\boldsymbol {\sigma }_{n}\), \(\mathbf {f}_{2}(t_{n})={\mathbf {f}_{2}}_{n}\), and \(\mathbf {f}_{0}(t_{n})={\mathbf {f}_{0}}_{n}\). We take \(t=t_{n}\) in equation (3.37) and multiply \((\mathbf {v}^{h}-\mathbf {w}_{n})\) to both sides of the equation. Integrating over Ω, we get
Applying Green’s formula again, we have
We use (3.40), (3.38), and (3.39) to derive
Combining (3.5), (3.41), \(H(\mathbf {f})\), and \(H(\boldsymbol {\sigma })\), we get
Substituting (3.42) into (3.32), we obtain
Finally, we draw the conclusion of the numerical analysis for the fully discrete method. Using the regularity assumptions \(\mathbf {u}_{0} \in H^{2}(\Omega )^{d}\), \(\mathbf {w}\in C([0,T];H^{2}(\Omega )^{d})\) and finite element interpolation error estimates [2, 3], we derive the result of Theorem 3.3 that
i.e., the fully discrete scheme is of first order both in the time step-size and the spatial meshsize. □
4 Numerical examples
In this section we report numerical examples for the contact problem. A three-dimensional viscoelastic body is in contact with a foundation. The body is subjected to the action of traction. Let domain Ω represent the cross section of the body and assume that the plane stress hypothesis is valid. As depicted in Fig. 1, \(\Omega = (0,L_{1})\times (0,L_{2})\) is a rectangle whose boundary Γ is divided as follows:
The viscosity tensor \({\mathcal{A}}\) satisfies
where θ and ζ represent the viscosity coefficients satisfying \(\theta >0\) and \(\zeta \geq 0\), and \(\delta _{ij}\) denotes the Kronecker symbol. The elasticity tensor \({\mathcal{B}}\) satisfies
where E denotes the Young modulus, and κ denotes the Poisson ratio of the material. The relaxation tensor \({\mathcal{R}}(s)=e^{-10s} \mathbb{I}\), where \(\mathbb{I}\) is an identity matrix.
The fully discrete method is used to solve the contact problem. The intervals \([0,L_{1}]\) and \([0,L_{2}]\) are divided into \(1/h\) equal parts, and uniform triangular finite element partitions are introduced; see Fig. 2. Continuous linear finite element spaces are used for computation, and the following parameters are used in numerical experiments:
\(\mathbf {f}_{0} =\mathbf {0}\) in Ω and \(\mathbf {u}_{0} = \mathbf {0}\) in Ω.
The configuration of the deformable body Ω with \(h=k=\frac{1}{32}\) at \(t=1s\) is illustrated in Fig. 3. The numerical solution with \(h=k=\frac{1}{128}\) is used as the “reference” solution, and the convergence orders in \(H^{1}\) norm are reported in Table 1, Table 2, and Table 3 which illustrate the performance of the fully discrete method.
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)
Brenner, S.C., Scott, L.R.: The Mathematical Theory of Finite Element Methods, 3rd edn. Springer, New York (2008)
Ciarlet, P.G.: The Finite Element Method for Elliptic Problems. North Holland, Amsterdam (1978)
Eck, C., Jarusek, J., Krbec, M.: Unilateral Contact Problems: Variational Methods and Existence Theorems. Chapman/CRC Press, New York (2005)
Han, W., Sofonea, M.: Quasistatic Contact Problems in Viscoelasticity and Viscoplasticity. Studies in Advanced Mathematics, vol. 30. Am. Math. Soc., Providence (2002)
Han, W., Sofonea, M.: Numerical analysis of hemivariational inequalities in contact mechanics. Acta Numer. 28, 175–286 (2019)
Hlaváček, I., Haslinger, J., Necǎs, J., Lovíšek, J.: Solution of Variational Inequalities in Mechanics. Springer, New York (1988)
Kazmi, K., Barboteu, M., Han, W., Sofonea, M.: Numerical analysis of history-dependent quasivariational inequalities with applications in contact mechanics. ESAIM: Math. Model. Numer. Anal. 48, 919–942 (2014)
Kikuchi, N., Oden, J.T.: Contact Problems in Elasticity: A Study of Variational Inequalities and Finite Element Methods. SIAM, Philadelphia (1988)
Laursen, T.A.: Computational Contact and Impact Mechanics. Springer, Berlin (2002)
Migórski, S., Ochal, A., Sofonea, M.: Nonlinear Inclusions and Hemivariational Inequalities. Models and Analysis of Contact Problems. Springer, New York (2013)
Migórski, S., Ochal, A., Sofonea, M.: History-dependent variational-hemivariational inequalities in contact mechanics. Nonlinear Anal., Real World Appl. 22, 604–618 (2015)
Migórski, S., Sofonea, M., Zeng, S.: Well-posedness of history-dependent sweeping processes. SIAM J. Math. Anal. 51, 1082–1107 (2019)
Nečas, J., Hlaváček, I.: Mathematical Theory of Elastic and Elasto-Plastic Bodies: An Introduction. Elsevier, Amsterdam (1981)
Sofonea, M., Matei, A.: History-dependent quasivariational inequalities arising in contact mechanics. Eur. J. Appl. Math. 22, 471–491 (2011)
Sofonea, M., Matei, A.: Mathematical Models in Contact Mechanics. Cambridge University Press, Cambridge (2012)
Sofonea, M., Xiao, Y.: Fully history-dependent quasivariational inequalities in contact mechanics. Appl. Anal. 95, 2464–2484 (2016)
Wohlmuth, B.: Variationally consistent discretization schemes and numerical algorithms for contact problems. Acta Numer. 20, 569–734 (2011)
Wriggers, P., Laursen, T.: Computational Contact Mechanics, CISM courses and lectures, vol. 298. Springer, Wien (2007)
Xu, W., Huang, Z., Han, W., Chen, W., Wang, C.: Numerical analysis of history-dependent variational-hemivariational inequalities with applications in contact mechanics. J. Comput. Appl. Math. 351, 364–377 (2019)
Xu, W., Huang, Z., Han, W., Chen, W., Wang, C.: Numerical analysis of history-dependent hemivariational inequalities and applications to viscoelastic contact problems with normal penetration. Comput. Math. Appl. 77, 2596–2607 (2019)
Acknowledgements
Not applicable.
Funding
Cheng Wang is supported by the National Science Foundation of China (12171366), Wenbin Chen is supported by the National Science Foundation of China (12071090), Weimin Han is supported by Simons Foundation Collaboration Grants (850737).
Author information
Authors and Affiliations
Contributions
All authors prepared, 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
Xu, W., Wang, C., He, M. et al. Numerical analysis of doubly-history dependent variational inequalities in contact mechanics. Fixed Point Theory Algorithms Sci Eng 2021, 24 (2021). https://doi.org/10.1186/s13663-021-00710-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-021-00710-7