 Research
 Open access
 Published:
Existence of an optimal size of a rigid inclusion for an equilibrium problem of a Timoshenko plate with Signorinitype boundary condition
Journal of Inequalities and Applications volumeÂ 2016, ArticleÂ number:Â 18 (2016)
Abstract
We study the contact problems for elastic plates with a rigid inclusion. We consider the case of frictionless contact between the rigid part of the plate and a rigid obstacle. The contact is modeled with the Signorinitype nonpenetration condition. The deformation of the transversely isotropic elastic part of the plate is described by the Timoshenko model. We analyze the dependence of solutions to the contact problems on the size of rigid inclusion. The existence of a solution to the optimal control problem is proved. For that problem, the cost functional characterizes the deviation of the displacement vector from a given function, whereas the size parameter of rigid inclusion is chosen as the control function.
1 Introduction
Applications of composite materials are growing vastly along with the development of research interests concerning material behavior. A large variety of new materials represents a challenge in mathematical modeling. In practice, the strengthening of the body is often achieved by reinforcement constructions on the outer edge, so it is important to study the mathematical models concerning the elastic bodies with rigid inclusions on the outer boundary. In this regard, it is of interest to investigate the contact problems for plates that are reinforced by rigid inclusions.
There are a number of works related to the modeling of contact problems for composites (see, e.g., [1â€“4]. It is known that the classical approach to contact problems is characterized by a given contact area [5, 6]. In contrast to this, for the mathematical models with unilateral boundary conditions of Signorini type, the contact area is not known a priori [7â€“14]. The power and generality of variational methods make it possible to solve various problems for elastic bodies and plates with inclusions; see, for example, [15â€“21]. In particular, a framework for twodimensional elasticity problems with a thin delaminated rigid inclusion and nonlinear Signorinitype conditions on a part of boundary is proposed in [15]. The threedimensional case is considered in [22]. The paper [23] is devoted to the analysis of the shapes of cracks and thin rigid inclusions in elastic bodies. The formula for the shape derivative of the energy functional is obtained for the equilibrium problem for an elastic body with a delaminated thin rigid inclusion [19]. For a KirchhoffLove plate containing a thin rigid inclusion, the cases both with and without delamination of inclusion are considered [24]. In that work, for the plate without delamination of inclusions, it is established that by passing to the limit in the equilibrium problems for volume inclusions embedded in an elastic plate as the size of the inclusions tends to zero we obtain the equilibrium problem for the plate with a thin inclusion.
In this paper, we study the nonlinear equilibrium problem for a plate subject to the Signorini condition on a part of the boundary. We consider volume inclusions defined by threedimensional domains and thin inclusions defined by cylindrical surfaces. The present study investigates the effect of varying the inclusion size. We formulate an optimal control problem with the cost functional characterizing the deviation of the displacement vector from a given function. The control functions depend on the size parameter of the rigid inclusion. We prove the existence of an optimal inclusion size.
Additionally, we establish a qualitative connection between the contact problems for plates with rigid inclusions of varying size. In particular, we prove the strong convergence of the solutions for problems with volume inclusions to the solution of the problem for thin inclusion as the size parameter of the volume inclusion tends to zero.
2 Equilibrium problems for an elastic plate containing a rigid inclusion
Let us formulate the family of contact problems for an elastic inhomogeneous plate containing a volume rigid inclusion. We suppose that the inhomogeneous clamped plate may come into contact with a rigid obstacle. Let \(\Omega\subset\mathbf{R}^{2}\) be a bounded domain with a smooth boundary Î“. Suppose that the smooth unclosed curves Î³ and \(\gamma_{0}\) lie on Î“ such that \(\operatorname{meas}(\gamma)>0\), \(\operatorname{meas}(\gamma_{0})>0\), and \(\bar{\gamma}\cap\bar{\gamma}_{0}=\emptyset\).
We consider the family of simply connected domains \(\omega_{t}\subset\Omega\), \(t\in(0,t_{0}]\), with the following properties:

(a)
the boundaries \(\partial{\omega}_{t}\) are smooth such that \(\partial\omega_{t}\in C^{0,1}\);

(b)
\(\gamma=\partial\omega_{t}\cap\Gamma\) for all \(t\in(0,t_{0}]\);

(c)
\(\omega_{t}\subset\omega_{t'}\) for all \(t,t'\in(0,t_{0}]\), \(t< t'\);

(d)
for any fixed \(\hat{t}\in(0,t_{0})\) and any neighborhood \(\mathcal{O}\) of the domain \(\overline{\omega}_{t}\), there exists \(t_{\mathcal{O}}>\hat{t}\) such that \(\omega_{t}\subset \mathcal{O}\) for all \(t\in[\hat{t},t_{\mathcal{O}}]\);

(e)
for any neighborhood \(\mathcal{O}\) of the curve Î³, there exists \(t_{\mathcal{O}}>0\) such that \(\omega_{t}\subset{\mathcal{O}}\) for all \(t\in (0,t_{\mathcal{O}}]\);

(f)
\(\bigcup_{t< t'}{\omega_{t}}=\omega_{t'}\) for all \(t'\in(0,t_{0}]\);

(g)
the sets \(\Omega\backslash\bar{\omega}_{t}\) are Lipschitzian domains for all \(t\in(0,t_{0}]\).
As an example of such a family, we give the following family of domains \(\omega_{t}\), \(t\in(0,t_{0}]\), restricted by the closed curves \(\partial\omega_{t}={\gamma}\cup{\gamma_{t}}\cup{\gamma_{t}^{1}}\cup{\gamma_{t}^{2}}\), where
and \(\gamma^{1}_{t}\), \(\gamma^{2}_{t}\) are axisparallel line segments (see Figure 1). For this example, the domain thickness along the \(Ox_{2}\) axis is equal to t.
We define a threedimensional Cartesian space \(\{x_{1},x_{2},z\}\) such that the set \(\{\Omega\}\times\{0\}\subset\mathbf{R}^{3}\) corresponds to the middle plane of the plate. Fix the parameter \(t\in(0,t_{0}]\). According to our arguments, the rigid inclusion is specified by the set \(\omega_{t}\times[h,h]\), that is, the boundary of the rigid inclusion is given by the cylindrical surface \(\partial\omega_{t}\times[h,h]\). The elastic part of the plate corresponds to the domain \(\Omega\backslash\overline{\omega}_{t}\). The thickness of the plate is considered to be constant and equal to 2h.
Denote by \(({W},w)\) the vector of midplane displacements (\(x\in\Omega\)), where \({W}=(w_{1},w_{2})\) are the displacements in the plane, and \(\{x_{1},x_{2}\}\) and w are the displacements along the axis z. We denote the angles of rotation of a normal fiber by \(\psi=\psi(x)=(\psi_{1},\psi_{2})\) (\(x\in\Omega\)).
Introduce the tensors describing the deformation of the transversely isotropic plate:
The tensors of moments \(m(\psi)=\{m_{ij}( \psi)\}\) and stresses \(\sigma( W)=\{\sigma_{ij}( W)\}\) are expressed by the formulas (summation is performed over repeated indices) [25]
where the nonzero components of elasticity tensor \(A=\{a_{ijkl}\}\) are as follows:
with constants D and Ã¦: D is a cylindrical rigidity of the plate, and Ã¦ is the Poisson ratio, \(0<{\ae}<{1}/{2}\). The transverse forces in the Timoshenkotype model are specified by the expressions
where \(\Lambda=2{k'}gh\), \(k'\) is the shear coefficient, g is the shear modulus in areas perpendicular to the middle plane of the plate, and Î› is a constant [25]. Let \(B(G,\cdot ,\cdot)\) be the bilinear form defined by the equality
with some Lipschitzian subdomain \(G\subset\Omega\), \(\chi=(W,w,\psi)\), \(\bar{\chi}=(\bar{W},\bar{w},\bar{\psi})\). The potential energy functional of the plate occupying the region Î© has the form
where \(F=(f_{1},f_{2},f_{3},\mu_{1},\mu_{2})\in L^{2}(\Omega)^{5}\) is the vector specifying the external loads [25].
Introduce the Sobolev spaces
Due to presence of a rigid inclusion in the plate, restrictions of the functions describing displacements \((W,w)\) and angles of rotation Ïˆ to the domain \(\omega_{t}\) satisfy a special kind of relations. We introduce the space that allows us to characterize the properties of volume rigid inclusion [26]:
where \(b,c_{1},c_{2},a_{0},a_{1},a_{2}\in\mathbf{R}\).
The displacements for the Timoshenko plates along the zaxis are independent of the plate thickness, whereas the displacements \(W(x,z)=(w_{1}(x,z), w_{2}(x, z))\) along the plane \((x_{1},x_{2})\) depend on z in the following way [25]:
Thus, the nonpenetration condition can be easily derived from the relation
Hence, in view of the arbitrariness of \(z\in[h;h]\), we get
We formulate the contact problem of the plate with a rigid inclusion
where
is the set of admissible functions. Note that the inclusion \(\chi\in H(\Omega)\) assumes that the following homogeneous boundaryvalue conditions hold:
It can be shown that the set \(K_{t}\) is convex and closed in the Hilbert space \(H(\Omega)\) [27]. Due to the estimate
where the constant \(c_{1}>0\) is independent of \(\chi\in H(\Omega)\) and \(\bar{\chi}\in H(\Omega)\), the symmetric bilinear form of \(B({\Omega},\chi,\bar{\chi})\) is continuous with respect to \(H(\Omega)\). The coercivity of the functional \(\Pi(\chi)\) follows from the inequality
where the constants \(c>0\) are independent of Ï‡ (see [28]).
Remark 1
It should be noted that, by property (g), for fixed \(t\in(0,t_{0}]\), we have the inequalities
with the constant \(c_{t}>0\) independent of Ï‡.
These properties of the energy functional \(\Pi(\chi)\), bilinear form \(B({\Omega},\cdot,\cdot)\), and set \(K_{t}\) allow us to establish the existence of a unique solution \(\xi_{t}=(U_{t},u_{t},\phi_{t})\in K_{t}\) for problem (6) (see [29]). The symmetry and continuity of the bilinear form \(B({\Omega},\cdot,\cdot)\) and the properties of the set \(K_{t}\) provide (see [29]) the equivalence of problem (6) to the variational inequality
In parallel with the contact problem for a plate with a volume rigid inclusion, we also consider the contact problem for an elastic plate with a thin inclusion. Here we assume that the thin rigid inclusion is described by the cylindrical surface \({x}=(x_{1},x_{2})\in\gamma\), \(h\le z\le h\). Let us first introduce some notation:
where \(b,c_{1},c_{2},a_{0},a_{1},a_{2}\in\mathbf{R}\); and
Consider a variational formulation of the problem. We want to find a function \(\xi_{0}=(U_{0},u_{0},\phi_{0})\in K_{0}\) such that
Bearing in mind the properties of the functional \(\Pi(\chi)\) and due to the convexity and the closeness of \(K_{0}\), we can be established that problem (11) has a unique solution \(\xi_{0}\) that satisfies the variational inequality
A detailed proof of a similar result for Timoshenko plate containing a crack along a thin rigid inclusion can be found in [30].
3 An optimal control problem
Consider the cost functional
where \(\xi^{*}\) is a prescribed element, \(\xi_{t}\) is solution of problem (6) for \(t>0\), and \(\xi_{0}\) is a solution of problem (11). We seek a solution of the maximization problem
Theorem 1
There exists a solution of the optimal control problem (13).
Proof
Let \(\{t_{n}\}\) be a minimizing sequence. By the boundedness of the segment \([0,t_{0}]\) we can extract a convergent subsequence \(\{t_{n_{k}}\}\subset\{t_{n}\}\) such that
Without loss of generality, we assume that \(t_{n_{k}}\neq t^{*}\) for sufficiently large k. Otherwise, there would exist a sequence \(\{t_{n_{l}}\}\) such that \(t_{n_{l}}\equiv t^{*}\), and therefore \(J(t^{*})\) is a solution of (13). Consider the case of the subsequence \(\{t_{n_{k}}\}\) satisfying \(t_{n_{k}}\neq t^{*}\) for sufficiently large k. Now we take into account Lemma 2 that will be proved further the solutions \(\xi_{k}\) of (6) corresponding to the parameters \(t_{n_{k}}\) converge to the solution \(\xi_{t^{*}}\) strongly in \(H(\Omega)\) as \(k\to\infty\). This allows us to obtain the convergence
This means that
The theorem is proved.â€ƒâ–¡
Before proceeding further, we first prove the following lemma.
Lemma 1
Let \(t^{*}\in[0,t_{0}]\) be a fixed real number, and let \(\{t_{n}\}\subset[t^{*},t_{0}]\) be a sequence of real numbers converging to \(t^{*}\) as \(n\to\infty\). Then for an arbitrary function \({\eta}\in K_{t^{*}}\), there exist a subsequence \(\{t_{k}\}=\{t_{n_{k}}\}\subset\{t_{n}\}\) and a sequence of functions \(\{{\eta}_{k}\}\) such that \({\eta}_{k}\in K_{t_{k}}\), \(k\in\mathbf{N}\), and \({\eta}_{k}\to{\eta}\) weakly in \(H(\Omega)\) as \(k\to\infty\).
Proof
If there exists a subsequence \(\{t_{n_{k}}\}\) such that \(t_{n_{k}}=t^{*}\), then the assertion of the lemma holds for the sequence \({\eta}_{k}\equiv{\eta}\), \(k\in\mathbf{N}\). Therefore, we further assume that \(t_{n}> t^{*}\) for sufficiently large n. Denote by \(\zeta^{*}\) the function describing the structure of Î· in \(\omega_{t^{*}}\) for the case \(t^{*}>0\), that is, \({\eta}=\zeta ^{*}=(bx_{2}+c_{1},bx_{1}+c_{2},a^{*}_{0}+a^{*}_{1}x_{1}+a^{*}_{2}x_{2},a_{1}^{*},a_{2}^{*})\) in \(\omega_{t^{*}}\). If \(t^{*}=0\) and the function Î· has the specified structure on \(\gamma^{}\), then we adopt the same notation, that is, \(\zeta^{*}={\eta}\) on \(\gamma^{}\). We extend the definition of \(\zeta^{*}\) to the whole domain Î© by the equality
Fix an arbitrary value \(t\in(0,t_{0}]\) and consider the following family of auxiliary problems:
where \(p(\chi)=B(\Omega, \chi{\eta},\chi{\eta})\), and
It is easy to see that the functional \(p(\chi)\) is coercive and weakly lowersemicontinuous on the space \(H(\Omega)\). It can be verified that the set \(K_{t}'\) is convex and closed in \(H(\Omega)\). These properties guarantee the existence of a solution of problem (14). Besides, the solution \({\eta}_{t}\) is unique [12, 29].
Since the functional \(p(\chi)\) is convex and differentiable on \(H(\Omega)\), problem (14) can be written in the equivalent form
By property (c) it is evident that the solution \({\eta}_{t_{0}}\) of (15) for \(t=t_{0}\) belongs to the set \(K_{t}'\) with \(t'\in(0,t_{0}]\). Substituting \({\eta}_{t_{0}}\) as the test functions into (15), we get
Using inequality (8), we obtain from this relation the following uniform upper bound:
Therefore, we can extract from the sequence \(\{{\eta}_{t_{n}}\}\) a subsequence \(\{{\eta}_{k}\}\), which is defined by the equalities \({\eta}_{k}={\eta}_{t_{n_{k}}}\), \(k\in\mathbf{N}\) (henceforth, we define a sequence \(\{t_{k}\}\) by the equality \(t_{k}=t_{n_{k}}\)), and \(\{{\eta}_{k}\}\) weakly converges to some function Î·Ìƒ in \(H(\Omega)\).
We now show that \(\widetilde{\eta}={\eta}\). To this end, we must distinguish two cases for \(t^{*}\), namely \(t^{*}>0\) and \(t^{*}=0\). Let us first assume that \(t^{*}>0\). Then, by construction \(({\eta}_{k}{\eta})\in H^{1}_{0}(\Omega\backslash\overline{\omega}_{t^{*}})^{5}\). Consequently, by the weak closeness of \(H^{1}_{0}(\Omega\backslash\overline{\omega}_{t^{*}})^{5}\) we have \((\widetilde{\eta}{\eta})\in H^{1}_{0}(\Omega\backslash\overline{\omega}_{t^{*}})^{5}\). We now consider the functions of the form \(\chi_{k}^{\pm}={\eta}_{k}\pm{\theta}\), where \({\theta}\in C_{0}^{\infty}(\Omega\backslash\overline{\omega}_{t^{*}})^{5}\cap C_{0}^{\infty}(\Omega)^{5}\). Bearing in mind property (d), observe that \(\chi_{k}^{\pm}\in K_{t_{k}}\) for sufficiently large k. We next substitute the elements of these sequences \(\{\chi_{k}^{+}\}\) and \(\{\chi_{k}^{}\}\) as test functions into inequalities (15) corresponding to \(t_{k}\). As a result, we obtain
Fix the function Î¸. Passing to the limit in (16), we deduce
Hence, by the denseness of \(C_{0}^{\infty}(\Omega\backslash\overline{\omega}_{t^{*}})\) in \(H^{1}_{0}(\Omega\backslash\overline{\omega}_{t^{*}})\) (see [31]) and Remark 1 we infer that \(\widetilde {\eta}{\eta}=0\) in \(H^{1}_{0}(\Omega\backslash\overline{\omega}_{t^{*}})^{5}\). Finally, by construction, the equality \(\widetilde{\eta}={\eta}\) is fulfilled in \(\omega_{t^{*}}\). Therefore, \(\widetilde{\eta}={\eta}\) in \(H(\Omega)\), and there is a sequence \(\{{\eta}_{k}\}\) such that \({\eta}_{k}\in K_{t_{k}}\), \(k\in\mathbf{N,}\) and \({\eta}_{k}\to{\eta}\) weakly in \(H(\Omega)\) as \(n\to\infty\).
Let us consider the second case. Suppose that \(t^{*}=0\). By construction, we have \(({\eta}_{k}{\eta})\in H^{1}_{0}(\Omega)^{5}\) and, consequently, the relation \((\widetilde{\eta}{\eta})\in H^{1}_{0}(\Omega)^{5}\). We now consider functions of the form \(\chi_{k}^{\pm}={\eta}_{k}\pm{\theta}\), where \({\theta}\in C_{0}^{\infty}(\Omega)^{5}\). Observe that property (d) yields that for sufficiently large k, we have the inclusion \(\chi_{k}^{\pm}\in K_{t_{k}}\). Substituting these functions into (15) corresponding to \(t_{k}\) yields the equality
We fix the function Î¸ in (17) and pass to the limit as \(k\to\infty\). As a result, we get
The denseness of \(C_{0}^{\infty}(\Omega)\) in \(H^{1}_{0}(\Omega)\) see [31] allows us to obtain from (18) the equality \(\widetilde{\eta}{\eta}=0\) in \(H(\Omega)\). Thus, \(\widetilde{\eta}={\eta}\) in \(H(\Omega)\), and there exists a subsequence of functions \(\{{\eta}_{k}\}\) such that \({\eta}_{k}\in K_{t_{k}}\) and \({\eta}_{k}\to{\eta}\) weakly in \(H(\Omega)\). The lemma is proved.â€ƒâ–¡
Now we can prove the following statement.
Lemma 2
Let \(t^{*}\in[0,t_{0}]\) be a fixed real number. Then \(\xi_{t}\to\xi_{t^{*}}\) strongly in \(H(\Omega)\) as \(t\to t^{*}\), where \(\xi_{t}\) is the solution of (6) corresponding to \(t\in(0,t_{0}]\), whereas \(\xi_{t^{*}}\) is the solution corresponding to (6) for \(t^{*}>0\) and to problem (11) for \(t^{*}=0\).
Proof
We will prove it by contradiction. Let us assume that there exist a number \(\epsilon_{0}>0\) and a sequence \(\{t_{n}\}\subset(0,t_{0}]\) such that \(t_{n}\to t^{*}\), \(\\xi_{n}\xi_{t^{*}}\\geq\epsilon_{0}\), where \(\xi_{n}=\xi_{t_{n}}\), \(n\in\mathbf{N}\), are the solutions of (6) corresponding to \(t_{n}\).
Since \(\chi^{0}\equiv0\in K_{t}\) for all \(t\in[0,t_{0}]\), we can substitute \(\chi=\chi^{0}\) into (9) for all \(t\in(0,t_{0}]\) and into (12) for \(t=0\). This provides
From here, using (8), we can deduce that for all \(t\in[0,t_{0}]\),
with some constant \(c>0\) independent of t. Consequently, replacing \(\xi_{n}\) with a subsequence if necessary, we can assume that \(\xi_{n}\) converges to some Î¾Ìƒ weakly in \(H(\Omega)\).
Now we show that \(\tilde{\xi}\in K_{t^{*}}\). Indeed, we have \(\xi_{n}_{\omega_{t_{n}}}=\zeta_{n}\in R(\omega_{t_{n}})\). By the Sobolev embedding theorem [32] we obtain that
Choosing a subsequence, if necessary, we assume that \(\xi_{n}\to\tilde{\xi}\) a.e. in \(\omega_{t^{*}}\) as \(n\to\infty\). This allows us to conclude that each of the numerical sequences \(\{b_{n}\}\), \(\{c_{1n}\}\), \(\{c_{2n}\}\), \(\{a_{0n}\}\), \(\{a_{1n}\}\), \(\{a_{2n}\}\) defining the structure of \(\zeta_{n}\) in domains \(\omega_{t_{n}}\) is bounded in absolute value. Thus, we can extract subsequences (retain notation) such that
Further, we must distinguish two different cases, \(t^{*}=0\) and \(t^{*}>0\). In the first case, for the sequence \(\{{\xi}_{n}\}\) corresponding to the specified convergent number sequences \(\{b_{n}\}\), \(\{c_{1n}\}\), \(\{c_{2n}\}\), \(\{a_{0n}\}\), \(\{a_{1n}\}\), \(\{a_{2n}\}\), we have
strongly in \(L_{2}(\gamma)^{5}\) as \(n\to\infty\). The last relation with (19) leads to the equality
This means that \(\tilde{\xi}_{\gamma}\in R(\gamma)\).
Consider the second case. If there exists a subsequence \(\{t_{k}\}\subset\{t_{n}\}\) such that \(t_{k}\geq t^{*}\) for all \(k\in\mathbf{N}\), then we can easily obtain the convergence
strongly in \(L_{2}(\omega_{t^{*}})^{5}\) as \(k\to\infty\). Therefore, from (22) and (19) we obtain that \(\tilde {\xi}_{\omega_{t^{*}}}\in R(\omega_{t^{*}})\).
Suppose that there exists a subsequence \(\{t_{k}\}\subset\{t_{n}\}\) satisfying \(t_{k}< t^{*}\) for all \(k\in\mathbf{N}\) and \(t_{k}\to t^{*}\) as \(k\to\infty\). In this case, for an arbitrary fixed \(k'\in \mathbf{N}\) and the corresponding value \(t'=t_{k'}\), by property (c) we have
strongly in \(L_{2}(\omega_{t'})^{5}\) as \(k\to\infty\). It is possible to define a function \(l=a_{0}+a_{1}x_{1}+a_{2}x_{2}\) in \(\omega_{t^{*}}\). In view of the absolute continuity of the Lebesgue integral and properties (c) and (f), for any \(\epsilon>0\), we can choose a number \(k'\in\mathbf{N}\) large enough such that
Further, by the triangle inequality from this it follows that
Therefore, we have
We can see that for all sufficiently large numbers k, we have the estimates
and the righthand side of (24) is less than 10Ïµ. Therefore, \(u_{k}\to l\) strongly in \({L^{2}(\omega_{t^{*}})}\). Consequently, taking into account (19), we get \(\tilde {u}_{\omega_{t^{*}}}=l\) in \(\omega_{t^{*}}\).
It can be proved analogously that
Thus, we conclude that \(\tilde{\xi}_{\omega_{t^{*}}}\in R(\omega_{t^{*}})\). Therefore, in all possible cases, we have \(\tilde{\xi}_{\omega_{t^{*}}}\in R(\omega_{t^{*}})\).
It remains to show that Î¾Ìƒ satisfies the inequality \(\tilde{U}\nu\geq h\tilde{\phi}\nu\) on Î³. In view of (20), we can extract subsequences once again and obtain the convergence \(\xi_{n}_{\gamma}\to\tilde{\xi}_{\gamma}\) a.e. on Î³. Now, passing to the limit, as \(n\to\infty\), in the inequalities
we get that \(\tilde{U}\nu\geq h\tilde{\phi}\nu\) on Î³ and \(\tilde{\xi}\in K_{t^{*}}\).
Observe that, as \(t_{n} \to t^{*}\), there must exist either a subsequence \(\{t_{n_{l}}\}\) such that \(t_{n_{l}}\leq t^{*}\) for all \(l\in\mathbf{N}\) or, if that is not the case, a subsequence \(\{t_{n_{m}}\}\), \(t_{n_{m}}>t^{*}\) for all \(m\in\mathbf{N}\).
For the first case, we have the subsequence \(\{t_{n_{l}}\}\subset(0,t_{0}]\) such that \(t_{n_{l}}\leq t^{*}\) for all \(l\in\mathbf{N}\). This implies that \(t^{*}>0\). For convenience, we denote this subsequence by \(\{t_{n}\}\). Since \(t_{n}\leq t^{*}\), by property (b) the arbitrary test function \(\chi\in K_{t^{*}}\) also belongs to the set \(K_{t_{n}}\). This property allows us to pass to the limit as \(n\to\infty\) in the following inequalities with the test functions \(\chi\in K_{t^{*}}\):
Taking into account the weak convergence of \(\xi_{n}\) to Î¾Ìƒ, the variational inequality in the limit takes the form
This means that \(\tilde{\xi}=\xi_{t^{*}}\). To complete the proof for the first case, we have to establish the strong convergence \({\xi_{n}}\to\xi_{t^{*}}\). Substituting \(\chi=2\xi_{t}\) and \(\chi=0\) into the variational inequalities (9) for \(t\in(0,t_{0}]\), we get
In view of (9), this means that the relation
holds for all \(t\in(0,t_{0}]\). Hence, by the weak convergence \(\xi_{n}\to\xi_{t^{*}}\) in \(H(\Omega)\) as \(n\to\infty\) we deduce
Since we have the equivalence of norms (see Remark 1), we can see that \(\xi_{n}\to\xi_{t^{*}}\) strongly in \(H(\Omega)\) as \(n\to\infty\). Thus, in the first case, we get a contradiction to the assumption \(\\xi_{n}\xi_{t^{*}}\\geq\epsilon\) for all \(n\in\mathbf{N}\).
Consider the second case, that is, we suppose that the elements of the subsequence \(\{t_{n_{m}}\}\) satisfy \(t_{n_{m}}>t^{*}\) for all \(m\in\mathbf{N}\). For convenience, we keep the same notation for the subsequence. Then we have \(t_{n}\to t^{*}\) and \(t_{n}>t^{*}\). Taking into account the results at the beginning of the proof, we have that \(\xi_{n}\to\tilde{\xi}\) weakly in \(H(\Omega)\) as \(n\to\infty\). For instance, we will prove that \(\xi_{n}\to\tilde{\xi}\) strongly in \(H(\Omega)\) as \(n\to\infty\). In view of the weak convergence \(\xi_{n}\to\tilde{\xi}\) in \(H(\Omega)\) as \(n\to\infty\), from (25) we deduce
Next, substituting \(\chi=\xi_{t'}\in K_{t'}\subset K_{t}\) for arbitrary fixed numbers \(t,t'\in(0,t_{0}]\) such that \(t'\geq t\) into (26) as the test function, we arrive at the inequality
Therefore, we conclude that for all \(t_{n}\) and \(t_{m}\) satisfying \(t_{n}\leq t_{m}\),
Fix an arbitrary value m in (28) and pass to the limit in the last relation as \(n\to\infty\). As a result, we have
Passing to the limit in (29) as \(m\to\infty\), we find
This inequality, the formula (27), and the weak lower semicontinuity of the bilinear form \(B(\Omega,\cdot,\cdot)\) yield the chain of relations
This means that
Again, by the equivalence of norms (see Remark 1) we deduce that \(\xi_{n}\to\tilde{\xi}\) strongly in \(H(\Omega)\) as \(n\to\infty\).
By Lemma 1, for any \({\eta}\in K_{t^{*}}\) there exist a subsequence \(\{t_{k}\}=\{t_{n_{k}}\}\subset\{t_{n}\}\) and a sequence of functions \(\{{\eta}_{k}\}\) such that \({\eta}_{k}\in K_{t_{k}}\) and \({\eta}_{k}\to{\eta}\) weakly in \(H(\Omega)\) as \(k\to\infty\).
The properties established for the convergent sequences \(\{{\eta}_{k}\}\) and \(\{\xi_{n}\}\) allow us to pass to the limit as \(k\to\infty\) in following inequalities derived from (9) for \(t_{k}\) and with test functions \({\eta}_{k}\):
As a result, we have
The unique solvability of this variational inequality implies that \(\tilde{\xi}=\xi_{t^{*}}\). Therefore, in either case, there exists a subsequence \(\{t_{n_{k}}\}\subset\{t_{n}\}\) such that \(t_{k}\to t^{*}\), \(\xi_{k}\to\xi_{t^{*}}\) strongly in \(H(\Omega)\), which is a contradiction. The lemma is proved.â€ƒâ–¡
4 Conclusion
The existence of a solution to the optimal control problem (13) is proved. For that problem, the cost functional \(J(t)\) characterizes the deviation of the displacement vector from a given function Î¾âˆ—, whereas the size parameter t of the rigid inclusion is chosen as the control function.
Lemmas 1 and 2 establish a qualitative connection between the contact problems for plates with rigid inclusions of varying size. In particular, it is shown that as the size parameter of volume rigid inclusion tends to zero, the solutions of the contact problems converge to the solution of the contact problem for a plate containing a thin rigid inclusion.
In contrast to the classical KirchhoffLove theory of plates, the Timoshenkotype plate theories take into account the transversal shear deformation and rotation inertia. Therefore, this model is more accurate, particularly, for moderately thin plates and when transverse shear plays a significant role; see [33, 34]. The reference [35] is devoted to the construction of the TimoshenkoReissner theories by the asymptotic method. In this work, for the dynamic case, a method is suggested for the extension of the range of applicability of the TimoshenkoReissner theory.
References
Rabinovich, VL, Sipcic, SR: Unilateral contact problem for finite bodies  parallel implementation. Comput. Mech. 13(6), 414426 (1994)
Ozsahin, TS, Taskiner, O: Contact problem for an elastic layer on an elastic half plane loaded by means of three rigid flat punches. Math. Probl. Eng. (2013). doi:10.1155/2013/137427
Prisyazhnyuk, VK: Numerical solution of a contact problem for multilayered composite structural systems. Mech. Compos. Mater. 31(2), 174178 (1995)
Kaczynski, A, Matysiak, SJ: On 3D punch problems for a periodic twolayered elastic halfspace. J. Theor. Appl. Mech. 39(3), 523538 (2001)
Galin, LA: Contact Problems in Elasticity and Viscoelasticity. Nauka, Moscow (1980)
Kikuchi, N, Oden, JT: Contact Problem in Elasticity. SIAM, Philadelphia (1988)
Argatov, II: Pressure of a paraboloidal die on a thin elastic layer. Dokl. Phys. 50(10), 524528 (2005)
Stepanov, VD, Khludnev, AM: The method of fictitious domains in the Signorini problem. Sib. Math. J. 44(6), 10611074 (2003)
Kunisch, K, Stadler, G: Generalized Newton methods for the 2DSignorini contact problem with friction in function space. ESAIM: Math. Model. Numer. Anal. 39(4), 827854 (2005)
Argatov, I, Mishuris, G: Contact Mechanics of Articular Cartilage Layers: Asymptotic Models. Springer, Berlin (2015)
Lazarev, NP, Rudoy, EM: Shape sensitivity analysis of Timoshenkoâ€™s plate with a crack under the nonpenetration condition. Z. Angew. Math. Mech. 94(9), 730739 (2014)
Khludnev, AM, Kovtunenko, VA: Analysis of Cracks in Solids. WIT Press, Southampton (2000)
Knees, D, Schroder, A: Global spatial regularity for elasticity models with cracks, contact and other nonsmooth constraints. Math. Methods Appl. Sci. 35(15), 18591884 (2012)
Hoffmann, KH, Khludnev, AM: Fictitious domain method for the Signorini problem in a linear elasticity. Adv. Math. Sci. Appl. 14(2), 465481 (2004)
Khludnev, AM, Leugering, G: On elastic bodies with thin rigid inclusions and cracks. Math. Methods Appl. Sci. 33(16), 19551967 (2010)
Lazarev, NP: Shape sensitivity analysis of the energy integrals for the Timoshenkotype plate containing a crack on the boundary of a rigid inclusion. Z. Angew. Math. Phys. 66(4), 20252040 (2015)
Khludnev, AM, Negri, M: Optimal rigid inclusion shapes in elastic bodies with cracks. Z. Angew. Math. Phys. 64(1), 179191 (2013)
Neustroeva, NV: A rigid inclusion in the contact problem for elastic plates. J. Appl. Ind. Math. 4(4), 526538 (2010)
Rudoy, EM: Shape derivative of the energy functional in a problem for a thin rigid inclusion in an elastic body. Z.Â Angew. Math. Phys. 66(4), 19231937 (2015)
Itou, H, Khludnev, AM, Rudoy, EM, Tani, A: Asymptotic behaviour at a tip of a rigid line inclusion in linearized elasticity. Z. Angew. Math. Mech. 92(9), 716730 (2012)
Shcherbakov, VV: Existence of an optimal shape of the thin rigid inclusions in the KirchhoffLove plate. J. Appl. Ind. Math. 8(1), 97105 (2014)
Khludnev, AM, Novonty, AA, Sokolowsky, J, Zochowski, A: Shape and topology sensitivity analysis for cracks in elastic bodies on boundaries of rigid inclusions. J. Mech. Phys. Solids 57(10), 17181732 (2009)
Khludnev, AM: Shape control of thin rigid inclusions and cracks in elastic bodies. Arch. Appl. Mech. 83(10), 14931509 (2013)
Khludnev, AM: On bending an elastic plate with a delaminated thin rigid inclusion. J. Appl. Ind. Math. 5(4), 582594 (2011)
Pelekh, BL: Theory of Shells with Finite Shear Modulus. Naukova Dumka, Kiev (1973)
Lazarev, NP: An equilibrium problem for the Timoshenkotype plate containing a crack on the boundary of a rigid inclusion. J. Sib. Fed. Univ. Math. Phys. 6(1), 5362 (2013)
Lazarev, NP: Fictitious domain method in the equilibrium problem for a Timoshenko type plate contacting with a rigid obstacle. J. Math. Sci. 203(4), 527539 (2014)
Lazarev, NP: An iterative penalty method for a nonlinear problem of equilibrium of a Timoshenkotype plate with a crack. Numer. Anal. Appl. 4(4), 309318 (2011)
Baiocchi, C, Capello, A: Variational and Quasivariational Inequalities: Application to Free Boundary Problems. Wiley, New York (1984)
Lazarev, NP: The equilibrium problem for a Timoshenko plate containing a crack along a thin rigid inclusion. Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki 4, 3245 (2014)
Adams, RA, Fournier, JJF: Sobolev Spaces, 2nd edn. Pure and Applied Mathematics, vol.Â 140. Academic Press, Amsterdam (2003)
Mazâ€™ya, VG: Sobolev Spaces. Springer Series in Soviet Mathematics. Springer, Berlin (1985)
Hughes, TJR: The Finite Element Method: Linear Static and Dynamic Finite Element Analysis. Prentice Hall, Englewood Cliffs (1987)
Arnold, DN, Madureira, AL, Zhang, S: On the range of applicability of the ReissnerMindlin and KirchhoffLove plate bending models. J. Elast. 67(3), 171185 (2002)
Goldenveizer, AL, Kaplunov, JD, Nolde, EV: On TimoshenkoReissner type theories of plates and shells. Int. J. Solids Struct. 30(5), 675694 (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authorsâ€™ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Lazarev, N., Popova, T. & Semenova, G. Existence of an optimal size of a rigid inclusion for an equilibrium problem of a Timoshenko plate with Signorinitype boundary condition. J Inequal Appl 2016, 18 (2016). https://doi.org/10.1186/s1366001509543
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001509543