Abstract
In this paper we present a model for quasistatic frictional contact between a thermoviscoelastic body and a moving foundation that involves wear of contacting surface and diffusion of wear debris. The damage effect is taken into account in the thermoviscoelastic constitutive law, its evolution is described by a parabolic inclusion with the homogeneous Neumann boundary condition. Contact is modeled with a normal compliance condition and is associated to a dry friction. The wear takes place on a part of the contact surface, when the wear debris surface density diffuse on the whole of the contact surface and is accompanied by frictional heat exchange. We derive a variational formulation of the problem and state that, under a smallness assumption on the problem data, there exists a unique weak solution for the model. The proof is based on elliptic variational inequalities, parabolic variational inequalities, first order evolution equations and fixed point arguments.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This work studies a quasistatic model for the process of frictional contact between a thermoviscoelastic body and a moving foundation when wear debris is generated and diffuses on the contact surface. The damage effect is included in the thermoviscoelastic constitutive law. The contact is described with a normal compliance condition and the associated a version of Coulomb law of dry friction in which the coefficient of friction is assumed to depend on the density of the wear particles and on the slip rate. The motion is accompanied by wear diffusion and frictional heat generation. The wear takes place on a part of the contact surface and its rate is described by the Archard differential condition. So, our interest is to describe a physical process in which thermal effect, damage effect, friction, wear diffusion and frictional heat generation are involved, and to show that the resulting model leads to well-posed mathematical problem. Then we present the result on the existence and uniqueness of a weak solution to the system. The model is set as a system of an evolutionary variational inequality for the displacements, a parabolic variational equation for the density of the wear particles, a parabolic variational inequality for the damage and an evolution equation for the temperature.
Frictional contact arise in structural and mechanical systems, a considerable progress has been achieved in modeling and mathematical analysis. Models of frictional contact problems are investigated in [13, 15, 18, 20, 21]. Frictional contact problems with wear, both in the dynamic and the quasistatic case, can be found in [16, 17, 19, 20]. Mathematical models for frictional contact with wear under thermodynamic considerations have been considered in [1, 5]. General dynamic thermoelastic models, which were derived from thermodynamical principles, can be found in [12, 23]. Quasistatic or dynamic thermoviscoelastic frictional contact problems can be found in [4, 5, 14]. A quasistatic thermoviscoelastic problem for a beam can be found in [10, 11], where the wear of the contacting surface is included. Quasistatic thermoviscoelastic problem with normal compliance, multivalued friction and wear diffusion can be found in [9].
Following [6, 7], the evolution of the microscopic cracks responsible for the damage is determined by a parabolic inclusion with a constitutive function describing the source of damage in the system which results from tension or compression. Using the subdifferential of indicator function of the interval [0, 1] guarantees that the damage function \(\beta \) which measures the decrease in the load-bearing capacity of the material, varies between 0 and 1. When \(\beta =1\) there is no damage in the material, when \(\beta =0\) the material is completely damaged, when \(0<\beta <1\) there is partial damage and the system has a reduced load carrying capacity. Contact problems with damage have been investigated in [8, 17, 20] and the monograph [22].
The rest of the manuscript is structured as follows. In Sect. 2 we present the notation we shall use as well as some preliminary material. In Sect. 3 we present the physical setting, describe the mechanical problem, list the assumptions on the data and give the variational formulation of the problem. In Sect. 4 we state our main existence and uniqueness result based on arguments of elliptic variational inequalities, parabolic variational inequalities, first order evolution equations and fixed point.
2 Notations and preliminaries
In this section we present some notations and preliminary material we shall use later in this paper. For further details, we refer the reader to [3]. Let \(\varOmega \subset \mathbb {R}^{3}\) be a bounded domain with a Lipschitz boundary \(\varGamma \) and \(\varvec{\nu }\) denote the unit outward normal on \(\varOmega \). We denote by \(S_{3}\) the space of second order symmetric tensors on \(\mathbb {R}^{3}\) while "." and \(\mid .\mid \) will represent the inner product and the Euclidean norm on the spaces \(\mathbb {R}^{2}\) and \(\mathbb {R}^{3}\). Everywhere in the sequel the index i and j run from 1 to 3. The summation convention over repeated indices is adopted and the index that follows a comma indicates a partial derivative with respect to the corresponding component of the independent variable. We introduce the following spaces
Here \(\varvec{\varepsilon }\) and Div are the deformation and divergence operators, respectively, defined by \(\varvec{\varepsilon }(\varvec{u})=(\varepsilon _{ij}(\varvec{u}))\), \(\varepsilon _{ij}(\varvec{u})=\frac{1}{2}(u_{i,j}+u_{j,i})\), \( Div\varvec{\sigma }=(\sigma _{ij,\,j})\). The spaces H, \(\mathcal {H}\), \(H_{1}\) and \(\mathcal {H}_{1}\) are real Hilbert spaces endowed with the canonical inner products given by
The associated norms on the spaces H, \(\mathcal {H}\), \(H_{1}\) and \(\mathcal {H}_{1}\) are denoted by \(\mid \cdot \mid _{H},\) \(\mid \cdot \mid _{\mathcal {H}}\), \(\mid \cdot \mid _{H_{1}}\) and \(\mid \cdot \mid _{\mathcal {H}_{1}}\), respectively. For an element \(\varvec{v}\in H_{1}\) we denote by \(\varvec{v}\) its trace on \(\varGamma \) and by \(v_{\nu }=\varvec{v} \cdot \varvec{\nu }\), \(\varvec{v}_{\tau }=\varvec{v}-v_{\nu }\varvec{\nu }\) its normal and tangential components on the boundary. For an element \(\varvec{\sigma }\in \mathcal {H}_{1}\), by \(\sigma _{\nu }=(\varvec{\sigma \nu }) \cdot \varvec{\nu }\) and \(\varvec{\sigma }_{\tau } =\varvec{\sigma \nu }-\sigma _{\nu }\varvec{\nu }\) we denote the normal and the tangential traces of \(\varvec{\sigma }\). The following two Green formulas hold
Let \(T>0\). For every real Banach space X we denote by C(0, T; X) and \(C^{1}(0,T;X)\) the spaces of continuous and continuously differentiable functions from \(\left[ 0,T\right] \) to X, with norms
For \(k\in \mathbb {N}\) and \(p\in \left[ 1,\infty \right] \), we use the standard notation for the Lebesgue spaces \(L^{p}(0,T;X)\) and for the Sobolev spaces \(W^{k,p}(0,T;X)\). Moreover, if \(X_1\) and \(X_2\) are two real Hilbert spaces, then \(X_1 \times X_2\) denotes the product space endowed with the canonical inner product \((\cdot , \cdot )_{X _1\times X_2}\) and norm \(|. |_{X _1\times X_2}\).
3 Problem statement and variational formulation
A thermoviscoelastic body occupies a bounded domain \(\varOmega \subset \mathbb {R} ^{3}\) with a Lipschitz surface \(\varGamma \) that is divided into three disjoint measurable parts \(\varGamma _{1}\), \(\varGamma _{2}\) and \(\varGamma _{3}\) such that meas \((\varGamma _{1})>0\) and \(meas(\varGamma _{3})>0\). Let \(\left[ 0,T\right] \) be the time interval of interest, for \(T>0\). The body is clamped on \(\varGamma _{1}\times \left( 0,T\right) \), so the displacement field vanishes there. Surface tractions of density \(\varvec{f}_{2}\) act on \(\varGamma _{2}\times \left( 0,T\right) \) and a body force of density \(\varvec{f}_{0}\) is applied in \(\varOmega \times \left( 0,T\right) \). An initial gap g exists between the potential contact surface \(\varGamma _3\) and the foundation, and it is measured along the outward normal \(\varvec{\nu }\). We assume that the coordinate system is such that \(\varGamma _{3}\) occupies a regular domain in the \(Ox_{1}x_{2}\) plane and the foundation is moving with velocity \(\varvec{v}^{*}\) in the \(Ox_{1}x_{2}\) plane. Furthermore, \(\varGamma _{3}\) is divided into two subdomains \(D_{d}\) and \(D_{\omega }\) by a smooth curve \(\gamma ^{*}\). The wear takes place only on \(D_{\omega }\), while the wear particles diffuse on the whole of the contact surface \(\varGamma _{3}\). The boundary \(\partial \varGamma _{3}\) of \(\varGamma _{3}\) is assumed to be Lipschitz and is composed of two parts \(\gamma _{d}\) and \(\gamma _{\omega }\). Then \(\partial D_{\omega }=\gamma _{\omega }\cup \) \(\gamma ^{*}\) and \(\partial D_{d}=\gamma _{d}\cup \) \(\gamma ^{*}\).
The wear function \(\omega =\omega (\varvec{x},t)\) is defined on \(D_{\omega }\) and the wear particle surface density function \(\zeta =\zeta (\varvec{x},t)\) is defined on \(\varGamma _{3}\). The function \(\zeta \) measures the surface density of the diffusing wear particles and the wear function \(\omega \) measures the depth of the wear i.e., the amount of material per unit surface that has been removed, then \(\omega =\lambda \zeta \) in \(D_{\omega }\), where \(\lambda \) is a conversion factor from wear debris surface density to wear depth, which we assume to be a positive constant. For the sake of convenience we extend \(\omega \) by zero to the whole of \(\varGamma _{3}\), and below when confusion is unlikely we use the same symbol for the function and its extension. Thus,
where \(\chi _{[D_{w}]}\) is the characteristic function of the set \(D_{\omega }\) (i.e., \(\chi _{[D_{w}]}(\textbf{x})=1\) when \(\varvec{x}\in D_{\omega }\) and \(\chi _{[D_{w}]}(\varvec{x})=0\) if \(\varvec{x}\notin \) \(D_{\omega }\)). The wear diffusion coefficient k is given by
Here, wear diffusion is described by the following nonlinear diffusion equation
where \(R^{*}:\mathbb {R}_{+}\rightarrow \mathbb {R}_{+}\) is the truncation operator
R is a fixed positive constant and \({\kappa }\) is the wear rate coefficient. We need this operator in order to avoid some mathematical difficulties, however, from the physical point of view the use of \(R^*\) is not restrictive since, in practice, the slip velocity is bounded and no smallness assumption will be made on R.
Then, the classical model for the above process is as follows:
Problem P. Find a displacement field \(\varvec{u}:\varOmega \times \left[ 0,T\right] \rightarrow \mathbb {R}^{3}\), a stress field \(\varvec{\sigma }:\varOmega \times \left[ 0,T\right] \rightarrow S_{3}\), a temperature field \(\theta :\varOmega \times \left[ 0,T\right] \rightarrow \mathbb {R},\) a damage field \(\beta :\varOmega \times \left[ 0,T\right] \rightarrow \mathbb {R}\) and a surface particle density field \(\zeta :\varGamma _{3}\times \left[ 0,T\right] \rightarrow \mathbb {R}\) such that
Here \(p_{\nu }=p_{\nu }(u_{\nu }-\lambda \zeta \chi _{[D_{\omega }]}-g)\) and \(\mu =\mu (\zeta ,\mid \dot{\varvec{u}}_{\tau }-\varvec{v}^{*}\mid ) \) is the coefficient of friction which depends on the density of the wear particles and on the slip rate. Equation (6) represents the thermoviscoelastic constitutive law, where \(\varvec{\sigma }\) denotes the stress tensor, \(\varvec{u}\) represents the displacement field, \(\dot{\varvec{u}}\) the velocity, \(\theta \) is the temperature field and \(\varvec{\varepsilon }(\varvec{u})\) is the small strain tensor. Here \(\mathcal {A}\) and \(\mathcal {G}\) are nonlinear operators describing the purely viscous and the elastic properties of the material, respectively and C represents the thermal expansion tensor. Equation (7) represents the inclusion used for the evolution of the damage field, where the set of admissible damage functions defined by
\(k_{1}\) is a positive coefficient, \(\partial \varphi _{Y}\) is the subdifferential of the indicator function \( \varphi _{Y}\) and \(\phi \) is a given constitutive function which describes the sources of the damage in the system. Equation (8) represents the equilibrium equation, since the process is assumed to be quasistatic. Equations (9)–(10) are the displacement-traction conditions. Equation (12) represents the nonlinear diffusion equation, Eq. (13) is the absorbing boundary condition. In (18) \(\varvec{u}_{0}\) is the given initial displacement field, \(\theta _{0}\) is the initial temperature and \(\beta _0\) is the given initial damage field. In (19), \(\zeta _{0}\) is the given initial surface particle density field. To simplify the notation, we do not indicate explicitly the dependence of various functions on the variables \(\varvec{x} \in \varOmega \cup \varGamma \) and \(t\in \left[ 0,T\right] .\)
The evolution of the temperature field \(\theta \) is governed by the heat equation (see [1, 13]), obtained from the conservation of energy, and defined by the differential equation for the temperature given in (14), where \( K_c=(k_{ij})\) represents the thermal conductivity tensor, \(div(K_c\nabla \theta )=(k_{ij}\theta _{,i})_{,i}\) and q(t) the density of volume heat sources. The associated temperature boundary condition is given by (15), where \(\theta _{R}\) is the temperature of the foundation and \(k_{e}\) is the heat exchange coefficient between the body and the obstacle. Condition (11) represents the normal compliance condition with wear and the associated general law of dry friction on the contact surface \(\varGamma _{3}\). In (16) the temperature vanishes on \(\varGamma _1\cup \varGamma _2\). Equation (17) represents the Neumann boundary condition. To obtain a variational formulation of the problem (6)–(19) we need additional notation. Let V be the closed subspace of \(H_{1}\) defined by
and let E be the closed subspace of \(H^{1}(\varOmega )\) given by
Since \(\varGamma \) is Lipschitz continuous and \(meas(\varGamma _{1})>0\), Korn’s and Poincare’s inequalities hold true
where here and below C is a positive constant depending on the problem data but is independent of the solutions, its value may change from line to line. We define the inner products on V and on E by
respectively. It follows from (20) and (22) that \(\mid \cdot \mid _{H_{1}}\) and \(\mid \cdot \mid _{V}\) are equivalent norms on V and from (21) and (23), it follows that \(\mid \cdot \mid _{H^{1}(\varOmega )}\) and \(\mid \cdot \mid _{E}\) are equivalent norms on E. Therefore \((V,\mid \cdot \mid _{V})\) and \((E,\mid \cdot \mid _{E})\) are real Hilbert spaces. By the Sobolev’s trace theorem, there exists a constant \(C_{\varGamma }>0\) which depends only on \(\varOmega \), \(\varGamma _{1}\) and \(\varGamma _{3}\) such that
There exists \(\hat{C}_{\varGamma }>0\) depending on \(\varOmega \), \(\varGamma _{1}\), \(\varGamma _2\) and \(\varGamma _{3}\) such that
\(E'\) is the dual of the space E. Identifying \(L^{2}(\varOmega )\) with its own dual we can write \(E\subset L^{2}(\varOmega )\subset E'\). Below \(\left\langle \cdot , \cdot \right\rangle \) represents the duality pairing between \(E'\) and E, and \(\mid \cdot \mid _{E'}\) denotes the norm on \(E'\). Also, \(\left\langle \theta ,\eta \right\rangle =\left( \theta ,\eta \right) _{L^{2}(\varOmega )}\) for \(\theta \in L^{2}(\varOmega )\) and \(\eta \in E\).
Recall that \(\varGamma _{3}\) is assumed to be a regular domain in the \(Ox_{1}x_{2}\) plane with Lipschitz boundary \(\partial \varGamma _3 \). Keeping in mind the boundary condition (13), for the surface particle density function, we shall use the space
This is a real Hilbert space endowed with the inner product
where \(\nabla :H_{0}^{1}(\varGamma _{3})\rightarrow L^{2}(\varGamma _{3})^{2}\) denotes the gradient operator, that is \(\nabla \xi =\left( \xi _{,x_{1}},\xi _{,x_{2}}\right) \). By the Friedrichs–Poincaré inequality there exists a constant \(\widetilde{C}_{\varGamma }>0,\) which depends on \(\varGamma _{3}\), such that
We use the notation \(H^{-1}(\varGamma _{3})\) for the dual of the space \( H_{0}^{1}(\varGamma _{3})\). Identifying \(L^{2}(\varGamma _{3})\) with its own dual we can write \(H_{0}^{1}(\varGamma _{3})\subset L^{2}(\varGamma _{3})\subset H^{-1}(\varGamma _{3})\). Below \(\left\langle \cdot , \cdot \right\rangle \) represents the duality pairing between \(H^{-1}(\varGamma _{3})\) and \(H_{0}^{1}(\varGamma _{3})\), and \(\mid \cdot \mid _{H^{-1}(\varGamma _{3})}\)denotes the norm on \(H^{-1}(\varGamma _{3})\). Also, \(\left\langle \zeta ,\xi \right\rangle =\left( \zeta ,\xi \right) _{L^{2}(\varGamma _{3})}\) for \(\zeta \in L^{2}(\varGamma _{3})\) and \(\xi \in H_{0}^{1}(\varGamma _{3})\).
For our existence and uniqueness result we will need the following hypotheses.
The viscosity operator \(\mathcal {A}\): \(\varOmega \times S_{3}\rightarrow S_{3}\) satisfies
The elasticity operator \(\mathcal {G}: \varOmega \times S_{3}\times \mathbb {R}\rightarrow S_{3}\) satisfies
The damage source function \(\phi : \varOmega \times S_{3}\times \mathbb {R\times R}\rightarrow \mathbb {R}\) satisfies
The thermal expansion operator C: \(\varOmega \times \mathbb {R\times R}\rightarrow S_{3}\) satisfies
The normal compliance functions \(p_{\nu }:\varGamma _{3}\times \mathbb {R}\rightarrow \mathbb {R}_{+}\) satisfy
The coefficient of friction \(\mu :\varGamma _{3}\times \mathbb {R}^{2}\rightarrow \mathbb {R}_{+}\) satisfies
The operator in the heat equation \(\psi :\varOmega \times \mathbb {R}^{3}\rightarrow \mathbb {R}\) satisfies
For some \(c_{k}>0\), for all \((\xi _{i})\in \mathbb {R}^{3}\)
For the initial gap function, wear diffusion coefficient, wear rate coefficient, velocity of the foundation, heat source density, body forces and surface traction we make the following assumptions
The boundary and initial data satisfy
We define the vector valued function \(\varvec{f}:\left[ 0,T\right] \rightarrow V\) and the bilinear forms \(a: H_{0}^{1}(\varGamma _{3})\times H_{0}^{1}(\varGamma _{3})\rightarrow \mathbb {R}\) and \(b:H^{1}(\varOmega )\times H^{1}(\varOmega )\rightarrow \mathbb {R}\) by
Finally, the functional \( j:L^{2}(\varGamma _{3})\times V^{3}\rightarrow \mathbb {R}\) and the operator \(F:H_{0}^{1}(\varGamma _{3})\times V^{3}\rightarrow H^{-1}(\varGamma _{3})\) are given by
Using standard arguments based on Green formulas given on (1) and (2), we obtain the following formulation of the mechanical problem (6)–(19).
Problem PV. Find a displacement field \(\varvec{u}:[0,T]\rightarrow V,\) a stress field \(\varvec{\sigma }:[0,T]\rightarrow \mathcal {H},\) a temperature field \(\theta :\left[ 0,T\right] \rightarrow E\), a damage field \(\beta :\left[ 0,T\right] \rightarrow H^{1}(\varOmega )\) and a surface particle density field \(\zeta : [0,T]\rightarrow H_{0}^{1}(\varGamma _{3})\) such that
where \(Q:[0,T]\rightarrow E^{\prime }\), \(K:E\rightarrow E^{\prime }\) and \(S:V\times E \times L^2(\varOmega ) \rightarrow E^{\prime }\) are given by
for all \(\varvec{u}, \varvec{v}\in V\), \(\theta ,\eta ,\tau \in E\), \(\beta \in L^2(\varOmega )\) and \( \zeta \in L^2(\varGamma _3)\). Below in this section \(\varvec{u}_{1}\varvec{,u}_{2}\), \(\varvec{v}_{1}\) and \(\varvec{v}_{2}\) represent elements of V, \(\theta _1\), \(\theta _2\) are elements of E and \(\zeta _1\), \(\zeta _2\) are in \(L^2(\varGamma _3)\). Finally, we use (45), the assumption (31) on \(p_\nu \), the assumption (32) on \(\mu \), (24) and (25) to see that
This inequality will be used in the following section.
4 An existence and uniqueness result
Our main existence and uniqueness result is the following.
Theorem 1
Let the assumptions (27)–(41) hold. There exists a constant \( C^{*}>0\), depending on \(C_{\varGamma }\), \(m_\mathcal {A}\) and \(L_\mu \) such that if \(p_{\nu }^{*}<C^{*}\) then problem PV has a unique solution \(\left\{ \varvec{u},\varvec{\sigma },\beta ,\theta ,\zeta \right\} \) satisfying
We conclude that, under assumptions (27)–(41), the mechanical problem (6)–(19) has a unique weak solution with the regularities (57)–(60).
The proof of this theorem will be carried out in several steps. We assume in what follows that assumptions (27)–(41) are satisfied and moreover
First let \(\alpha \in L^{2}(0,T;H^{-1}(\varGamma _{3})),\) we solve the following parabolic equation.
Problem \(PV_{\alpha }\). Find \(\zeta _{\alpha }:\left[ 0,T\right] \rightarrow H_{0}^{1}(\varGamma _{3})\) such that
Lemma 1
There exists a unique solution of problem (62)–(63) satisfying
Moreover, if \(\zeta _i\) is the solution to Problem \(PV_{\alpha }\) corresponding to \(\alpha = \alpha _i \in L^2(0,T; H^{-1}(\varGamma _3))\), for \(i = 1, 2\), then
Proof
The proof follows from an evolution equation result with linear continuous operators, see for example [24].
Now let \(\rho \in L^{2}(0,T;E^{\prime })\), we solve the following evolution equation.
Problem \(PV_{\rho }\). Find \(\theta _{\rho }:\left[ 0,T\right] \rightarrow E\) such that
We have the following result.
Lemma 2
Problem \(PV_{\rho }\) has a unique solution satisfying the regularity (59). Moreover, \(\exists C>0\) such that \(\forall \rho _{i}\in L^2(0,T;E')\), denote \(\theta _{\rho _{i}}=\theta _{i}\), \(i=1,2\),
Proof
The proof follows from classical first order evolution equation given in [2, 22]. Here the Gelfand triple is given by \(E\subset \varvec{\ }L^{2}(\varOmega )\subset E^{\prime }\). The operator K is linear and coercive. By Korn’s inequality, we have \((K\tau ,\tau )_{E^{\prime }\times E}\ge C\mid \tau \mid _{E}^{2}\).
Next, for \(\forall \rho _{1}, \rho _{2}\in L^2(0,T;E')\) we have for a.e. \(s\in (0,T)\)
then by integrating over (0, t) for \(t \in [0, T ]\), (68) follows by using (34) and (54).
In the third step, we let \(\gamma \in L^{2}(0,T;L^{2}(\varOmega ))\) be given and consider the following variational problem for the damage field.
Problem \(PV_{\gamma }\). Find a damage field \(\beta _{\gamma }:\left[ 0,T\right] \rightarrow H^{1}(\varOmega )\) such that
Lemma 3
Problem \( PV_{\gamma }\) has a unique solution \(\beta _{\gamma }\) such that
Moreover, if \(\beta _i\) is the solution to Problem \(PV_{\gamma }\) corresponding to \(\gamma = \gamma _i \in L^2(0,T; L^2(\varOmega ))\), for \(i = 1, 2\), then
Proof
We use (44), \(\beta _0\) in (41) and a classical existence and uniqueness result on parabolic inequalities (see for example [2, 22]).
Now we substitute (47) in (48) and we consider the obtained variational inequality with \(\zeta =\zeta _{\alpha },\theta =\theta _{\rho }\) and \(\beta =\beta _{\gamma }\). Let \((\varvec{z},\varvec{h})\in C(0,T;V)^{2}\) be given, we consider the following variational problem.
Problem \(PV_{\alpha \rho \gamma zh}\). Find a displacement field \(\varvec{v}_{\alpha \rho \gamma zh}:\left[ 0,T\right] \rightarrow V\) such that
Lemma 4
There exists a unique solution of problem (73) satisfying \(\varvec{v}_{\alpha \rho \gamma zh}\in C(0,T;V)\).
Proof
By using variational inequalities results (see for example [3]), we conclude that there exists a unique solution \(\varvec{v}_{\alpha \rho \gamma zh}(t)\) of problem (73) for \(t\in \left( 0,T\right) \). Now we show that \(\varvec{v} _{\alpha \rho \gamma zh}:\left[ 0,T\right] \rightarrow V\) is continuous. Let \(t_{1},t_{2}\in \left( 0,T\right) \), we denote \(\varvec{v}_{\alpha \rho \gamma zh}(t_{i})=\varvec{v}_{i}\), \(\zeta _{\alpha }(t_{i})=\zeta _{i}\), \( \theta _{\rho }(t_{i})=\theta _{i}\), \(\beta _{\gamma }(t_{i})=\beta _{i}\), \( \varvec{z}(t_{i})=\varvec{z}_{i}\), \(\varvec{h}(t_{i})=\varvec{h}_{i}\) and \( \varvec{f}(t_{i})=\varvec{f}_{i}\) for \(i=1,2\). We use (73) to find
Condition (22), the estimate (56) and assumptions (27), (28) and (30) give us
which implies that \(\varvec{v}_{\alpha \rho \gamma zh}:\left[ 0,T\right] \rightarrow V\) is a continuous function.
We now consider the operator \(\varLambda _{\alpha \rho \gamma z}:C(0,T;V)\rightarrow C(0,T;V)\) defined by
We have the following result.
Lemma 5
The operator \(\varLambda _{\alpha \rho \gamma z}\) has a unique fixed point \(\varvec{h}_{\alpha \rho \gamma z}\) \(\in C(0,T;V).\)
Proof
Let \(\varvec{h}_{1},\varvec{h}_{2}\in C(0,T;V)\) and let \(\varvec{v}_{i}\) denote the solution of (73) for \(\varvec{h=h}_{i}\), i.e. \(\varvec{v}_{i}=\varvec{v}_{\alpha \rho \gamma z h_{i}}\), \(i=1,2\). Using the definition of the operator \(\varLambda _{\alpha \rho \gamma z}\) given in (75) we find that
We use arguments like those used for the estimate (74) to obtain
The two previous inequalities and the assumption (61) imply that the operator \(\varLambda _{\alpha \rho \gamma z}\) is a contraction on the Banach space C(0, T; V).
In the sequel let \(\varvec{h}_{\alpha \rho \gamma z}\) be the fixed point obtained in Lemma 5 and let \(\varvec{v}_{\alpha \rho \gamma z} \in C(0,T;V)\) be the function defined by
We have \(\varLambda _{\alpha \rho \gamma z}\varvec{h}_{\alpha \rho \gamma z}=\varvec{h}_{\alpha \rho \gamma z}\) and
We take \(\varvec{h}=\varvec{h}_{\alpha \rho \gamma z}\) in (73) and we use (76) and (77), to see that \(\varvec{v}_{\alpha \rho \gamma z}\) satisfies
Let now \(\varvec{u}_{\alpha \rho \gamma z}\in C^{1}(0,T;V)\) be the function defined by
We define the operator \(\varLambda _{\alpha \rho \gamma }:C(0,T;V)\rightarrow C(0,T;V)\) by
We have the following result.
Lemma 6
The operator \(\varLambda _{\alpha \rho \gamma }\) has a unique fixed point \(\varvec{z}_{\alpha \rho \gamma }\in C(0,T;V)\).
Proof
Let \(\varvec{z}_{1}\varvec{,z}_{2}\in C(0,T;V)\) and denote \(\varvec{v}_{i}=\varvec{v}_{\alpha \rho \gamma z_{i}}\), \(\varvec{u}_{i}=\varvec{u}_{\alpha \rho \gamma z_{i}}\) for \(i=1,2\). We use (78) and arguments like those used for the estimate (74) in the proof of Lemma 4 to have
for all \(s\in [0,T]\). Using now (80)–(81) we obtain
for all \(t\in [0,T]\) and C is a positive constant. By reiterating this inequality we obtain that a power of \(\varLambda _{\alpha \rho \gamma }\) is a contraction mapping on C(0, T; V), which concludes the proof.
We are now ready to prove the unique solvability of the variational problem.
Problem \(PV_{\alpha \rho \gamma }\). Find a displacement field \(\varvec{u}_{\alpha \rho \gamma }:\left[ 0,T\right] \rightarrow V\) such that
Lemma 7
There exists a unique function \(\varvec{u}_{\alpha \rho \gamma }\in C^{1}(0,T;V)\) satisfying (82)–(83).
Proof
Let \(\varvec{z}_{\alpha \rho \gamma }\in C(0,T;V)\) be the fixed point guaranteed by Lemma 6 and let \(\varvec{u}_{\alpha \rho \gamma }\in C^{1}(0,T;V)\) be defined by (79), for \(\varvec{z}=\varvec{z}_{\alpha \rho \gamma }\). We have \(\dot{\varvec{u}}_{\alpha \rho \gamma }=\varvec{v}_{\alpha \rho \gamma z_{\alpha \rho \gamma }}\) and, writing (78) for \(\varvec{z}=\varvec{z}_{\alpha \rho \gamma }\), we find
Inequality (82) follows now from (84) and (75) since \(\varvec{u} _{\alpha \rho \gamma }=\varvec{z}_{\alpha \rho \gamma }\). Moreover, (83) results from (79). We conclude that \(\varvec{u}_{\alpha \rho \gamma }\) is a solution of (82)–(83). For the uniqueness, let \(\varvec{u}_{\alpha \rho \gamma }\) be the solution of (82)–(83) and let \(\varvec{u}_{\alpha \rho \gamma }^{*}\) be any other solution such that \(\varvec{u}_{\alpha \rho \gamma }^{*}\in C^{1}(0,T;V)\). Let \(\varvec{v}_{\alpha \rho \gamma }^{*}=\dot{\varvec{u}}_{\alpha \rho \gamma }^{*}\). Using (82) we obtain that \(\varvec{v}_{\alpha \rho \gamma }^{*}\) satisfies
This inequality has a form of (78) with \(\varvec{z}=\varvec{u}_{\alpha \rho \gamma }^{*}\) and, therefore, it follows from (73) that it has a unique solution, already denoted by \(\varvec{v}_{\alpha \rho \gamma u_{\alpha \rho \gamma }^{*}}\). We conclude that \(\varvec{v}_{\alpha \rho \gamma }^{*}=\varvec{v}_{\alpha \rho \gamma u_{\alpha \rho \gamma }^{*}}\). Since \(\varvec{v}_{\alpha \rho \gamma }^{*}= \dot{\varvec{u}}_{\alpha \rho \gamma }^{*}\) it follows from (79) that
From (79) and (86) we obtain \(\varvec{u}_{\alpha \rho \gamma }^{*}=\varvec{u}_{\alpha \rho \gamma u_{\alpha \rho \gamma }^{*}}\), which shows that \(\varvec{u}_{\alpha \rho \gamma }^{*}\) is a fixed point of the operator \(\varLambda _{\alpha \rho \gamma }\) defined by (80). Using now Lemma 5 we deduce that
The uniqueness of the problem (82)–(83) is now a consequence of the fact that \(\varvec{u}_{\alpha \rho \gamma }=\varvec{z}_{\alpha \rho \gamma }\) and equality (87).
Next, we need to investigate the properties of the operator \(F:H_{0}^{1}(\varGamma _{3})\times E\times V^{3}\rightarrow H^{-1}(\varGamma _{3})\) given by (46).
Lemma 8
The following inequality holds
where
Proof
The estimate (88) follows from the definition (46) on F, the assumptions (31) on \(p_\nu \), (32) on \(\mu \), (24), (25), (26) and the definition of \(R^{*}\).
Now we define the operator \(\varLambda :L^{2}(0,T;H^{-1}(\varGamma _{3})\times E^{\prime }\times L^{2}(\varOmega ))\rightarrow L^{2}(0,T;H^{-1}(\varGamma _{3})\times E^{\prime }\times L^{2}(\varOmega ))\) by
such that
Lemma 9
The operator \(\varLambda \) has a unique fixed point \((\alpha ,\rho ,\gamma )\in L^{2}(0,T;H^{-1}(\varGamma _{3})\times E^{\prime }\times L^{2}(\varOmega ))\) such that \(\varLambda (\alpha ,\rho ,\gamma )=(\alpha ,\rho ,\gamma )\).
Proof
Let \((\alpha _{i},\rho _{i},\gamma _{i})\in L^{2}(0,T;H^{-1}(\varGamma _{3})\times E^{\prime }\times L^{2}(\varOmega ))\) \(i=1,2\). Denote \(\varvec{u}_{\alpha _{i}\rho _{i}\gamma _{i}}= \varvec{u}_{i}\), \(\dot{\varvec{u}}_{\alpha _{i}\rho _{i}\gamma _{i}}= \varvec{v}_{i}\), \(\zeta _{\alpha _{i}}=\zeta _{i}\), \(\theta _{\rho _{i}}=\theta _{i}\) and \(\beta _{\gamma _{i}}=\beta _{i}\) for \(i=1,2\). Using (90)–(92), (29), (30), (31), (32), (33), the definition of \(R^{*}\) and Lemma 8 we deduce that
Hence
Since \(\varvec{u}_{1}(0)=\varvec{u}_{2}(0)=\varvec{u}_{0}\) we have
Moreover, from (82) we obtain that
The assumption (27) on \(\mathcal {A}\), the assumption (61) and the estimate (56) on j give us
From (94), (96) and by using Gronwall inequality we see that
From (93), (94) and (97) we find that
Using estimates (64), (68) and (72), we obtain
Reiterating this inequality n times leads to
Thus, for n sufficiently large, \(\varLambda ^{n}\) is a contraction on the Banach space \(L^2(0,T;H^{-1}(\varGamma _3)\times E^{\prime }\times L^2(\varOmega ))\), and so \(\varLambda \) has a unique fixed point.
Next, we show the existence of a solution to problem PV.
Let \((\alpha ^{*},\rho ^{*},\gamma ^{*})\) be the fixed point of the operator \(\varLambda \) defined by (89)–(92) and obtained in lemma 9.
Let \(\zeta _{\alpha ^{*}}\) be the solution to problem \(PV_\alpha \) for \(\alpha =\alpha ^*\) (see Lemma 1), let \(\theta _{\rho ^*}\) be the solution to problem \(PV_\rho \) for \(\rho =\rho ^{*}\) (see Lemma 2) and let \(\beta _{\gamma ^{*}}\) be the solution to problem \(PV_{\gamma }\) for \(\gamma =\gamma ^*\) (see Lemma 3). Denote \(\varvec{u}^*=\varvec{u}_{\alpha ^*\rho ^*\gamma ^*}\), \( \dot{\varvec{u}}^*=\dot{\varvec{u}}_{\alpha ^*\rho ^*\gamma ^*}\), \(\zeta ^*=\zeta _{\alpha ^*}\), \(\theta ^*=\theta _{\rho ^*}\) and \(\beta ^*=\beta _{\gamma ^*}\).
\(\varvec{u}^*=\varvec{u}_{\alpha ^*\rho ^*\gamma ^*}\) is a solution to the problem \(PV_{\alpha \rho \gamma }\) for \(\alpha =\alpha ^*\), \(\rho =\rho ^*\) and \(\gamma =\gamma ^*\)
and \( \varvec{\sigma }^*=\mathcal {A}\varvec{\varepsilon }(\dot{\varvec{u}}^*)+\mathcal {G}(\varvec{\varepsilon }(\varvec{u}^*),\beta ^*)-C(\theta ^*,\beta ^*)\). The uniqueness of the solution is a consequence of the uniqueness of the solution of problems \(PV_{\alpha \rho \gamma }\), \(PV_\alpha \), \(PV_\rho \), \(PV_\gamma \) and the uniqueness of the operator \(\varLambda \).
References
Andrews, K.T., Klarbring, A., Shillor, M., Wright, S.: A dynamic thermoviscoelastic contact problem with friction and wear. Int. J. Eng. Sci. 35(14), 1291–1309 (1997)
Barbu, V.: Optimal Control of Variational Inequalities. Pitman, Boston (1984)
Duvaut, G., Lions, J.L.: Inequalities in Mechanics and Physics. Springer-Verlag, Berlin (1988)
Figueiro, I., Trabucho, L.: A class of contact and friction dynamic problems in thermoelasticity and in thermoviscoelasticity. Int. J. Eng. Sci. 33(1), 45–66 (1995)
Frémond, M.: Non-Smooth Thermomechanics. Springer, Berlin (2002)
Frémond, M., Nedjar, B.: Damage in concrete: the unilateral phenomenon. Nuclear Eng. Des. 156(1–2), 323–335 (1995)
Frémond, M., Nedjar, B.: Damage, gradient of damage and principle of virtual work. Int. J. Solids Struct. 33(8), 1083–1103 (1996)
Gasiński, L., Ochal, A.: Dynamic thermoviscoelastic problem with friction and damage. Nonlinear Anal. Real World Appl. 21, 63–75 (2015)
Gasiński, L., Ochal, A., Shillor, M.: Quasistatic thermoviscoelastic problem with normal compliance, multivalued friction and wear diffusion. Nonlinear Anal. Real World Appl. 27, 183–202 (2016)
Gu, R.J., Shillor, M.: Thermal and wear analysis of an elastic beam in sliding contact. Int. J. Solids Struct. 38(14), 2323–2333 (2001)
Gu, R.J., Kuttler, K.L., Shillor, M.: Frictional wear of a thermoelastic beam. J. Math. Anal. Appl. 242(2), 212–236 (2000)
Johansson, L., Klarbring, A.: Thermoelastic frictional contact problems: modeling, finite element approximation and numerical realization. Comp. Methods Appl. Mech. Eng. 105(2), 181–210 (1993)
Kuttler, K.L., Renard, Y., Shillor, M.: Models and simulations of dynamic frictional contact. Comp. Method Appl. Mech. Eng. 177(3–4), 259–272 (1999)
Rochdi, M., Shillor, M.: Existence and uniqueness for a quasistatic frictional bilateral contact problem in thermoviscoelasticity. Q. Appl. Math. 58(3), 543–560 (2000)
Rochdi, M., Shillor, M., Sofonea, M.: A quasistatic viscoelastic contact problem with normal compliance and friction. J. Elast. 51(2), 105–126 (1998)
Selmani, M.: Frictional contact problem with wear for electro-viscoelastic materials with long memory. Bull. Belg. Math. Simon Stevin. 20(3), 461–479 (2013)
Selmani, M., Selmani, L.: A frictional contact problem with wear and damage for electro-viscoelastic materials. Appl. Math. 55(2), 89–109 (2010)
Shillor, M., Sofonea, M.: A quasistatic viscoelastic contact problem with friction. Int. J. Eng. Sci. 38(14), 1517–1533 (2000)
Shillor, M., Sofonea, M., Telega, J.J.: Quasistatic viscoelastic contact with friction and wear diffusion. Quart. Appl. Math. 62(2), 379–399 (2004)
Shillor, M., Sofonea, M., Telega, J.J.: Models and Analysis of Quasistatic Contact: Variational Methods. Lect. Notes Phys., vol. 655. Springer, Berlin Heidelberg (2004)
Sofonea, M., Shillor, M.: Variational analysis of quasistatic viscoplastic contact problems with friction. Commun. Appl. Anal. 5(1), 135–151 (2001)
Sofonea, M., Han, W., Shillor, M.: Analysis and Approximation of Contact Problems with Adhesion or Damage. Chapman-Hall/CRC Press, New York (2006)
Strömberg, N., Johansson, L., Klarbring, A.: Derivation and analysis of a generalized standard model for contact friction and wear. Int. J. Solids Struct. 33(13), 1817–1836 (1996)
Zeidler, E.: Nonlinear Functional Analysis and Its Applications, II/A: Linear Monotone Operators. Springer-Verlag, New York (1990)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Latreche, S., Selmani, L. A thermoviscoelastic contact problem with friction, damage and wear diffusion. Afr. Mat. 34, 58 (2023). https://doi.org/10.1007/s13370-023-01100-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13370-023-01100-5