 Research
 Open access
 Published:
Existence of an optimal size of a delaminated rigid inclusion embedded in the KirchhoffLove plate
Boundary Value Problems volumeÂ 2015, ArticleÂ number:Â 180 (2015)
Abstract
We consider equilibrium problems for an inhomogeneous plate with a crack situated at the inclusionmatrix interface. The matrix of the plate is assumed to be elastic. The boundary condition on the crack curve are given in the form of inequalities and describes the mutual nonpenetration of the crack faces. We analyze the dependence of solutions on the size of rigid inclusion. The existence of the 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, while the size parameter of rigid inclusion is chosen as the control function.
1 Introduction
It is well known that the presence of inclusions as well as of cracks in an elastic body can cause a high stress concentration. The mechanical and geometric properties of inclusions are responsible for crack initiation and propagation. Problems for different models of elastic bodies containing rigid inclusions and cracks with both linear and nonlinear boundary conditions have been under active study; see [1â€“9]. Using the variational methods, various problems for bodies with rigid inclusions have been successfully formulated and investigated; see for example [1, 10â€“14]. In particular, a framework for twodimensional elasticity problems with nonlinear Signorinitype conditions on a part of boundary of a thin delaminated rigid inclusion is proposed in [1]. The threedimensional case is considered in [15]. Reference [16] 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 [12]. For a KirchhoffLove plate containing a thin rigid inclusion the cases both with and without delamination of inclusion are considered [17]. 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 investigate equilibrium problems for the KirchhoffLove plate with a rigid inclusion. We consider volume inclusions defined by threedimensional domains and thin inclusions defined by cylindrical surfaces. For all cases, we suppose that the crack is situated at the inclusion interface. 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 equilibrium problems for the KirchhoffLove plate with delaminated thin rigid inclusions and delaminated volume inclusions. 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. It should be noted that we impose boundary conditions of inequality type on the crack. Investigations on mathematical modeling of the crack theory with nonlinear conditions for nonpenetration of the opposite crack faces presented as a system of equalities and inequalities, with relevant bibliography can be found in [16, 18â€“24]. Other models of deformable solids can be found in [25, 26].
2 Equilibrium problems for an elastic plate containing a rigid inclusion
Let us formulate an equilibrium problem for an elastic plate containing a volume rigid inclusion. We consider the case of the delaminated inclusion, when the crack passes through the inclusion interface. Let \(\Omega\subset\mathbf{R}^{2}\) be a bounded domain with a smooth boundary Î“. Suppose that a smooth unclosed curve Î³ lies strictly inside Î©, i.e. \(\bar{\gamma}\subset\Omega \). We require that the curve Î³ can be extended up to the outer boundary Î“ in such a way that Î© is divided into two subdomains \(\Omega_{1}\), \(\Omega_{2}\) with Lipschitz boundaries. The latter condition is sufficient to fulfill the Korn and PoincarÃ© inequalities in the domain \(\Omega_{\gamma}= \Omega\backslash\bar{\gamma}\) [18]. 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^{1,1}\);

(b)
\(\omega_{t}\subset\omega_{t'}\), \(\overline{\omega}_{t'}\subset\Omega\) for all \(t,t'\in(0,t_{0}]\), \(t< t'\);

(c)
for any fixed \(\hat{t}\in(0,t_{0})\) and any neighborhood \(\mathcal{O}\) of the set \(\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}}]\);

(d)
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}}]\);

(e)
\(\gamma\subset\partial\omega_{t}\) for all \(t\in(0,t_{0}]\);

(f)
\(\bigcup_{t< t'}{\omega_{t}}=\omega_{t'}\) for all \(t'\in(0,t_{0}]\).
As an example, the family of domains \(\omega_{t}\) (\(\overline{\omega}_{t}\subset\Omega\)), \(t\in(0,t_{0}]\) with boundaries \(\partial\omega_{t}={\gamma}\cup{\gamma_{t}}\cup{\gamma_{t}^{1}}\cup{\gamma_{t}^{2}}\), with
and with semicircles \(\gamma^{1}_{t}\), \(\gamma^{2}_{t}\) satisfy the properties (a)(f) (see FigureÂ 1). For this example the domain thickness along the \(Ox_{2}\) axis is equal to 2t.
For simplicity, suppose the plate has a uniform thickness \(2h=2\). Let us assign a threedimensional Cartesian space \(\{x_{1},x_{2},z\}\) with the set \(\{\Omega_{\gamma}\}\times\{0\}\subset\mathbf{R}^{3}\) corresponding to the middle plane of the plate. The curve Î³ defines a crack (a cut) in the plate. This means that the cylindrical surface of the through crack may be defined by the relations \({x}=(x_{1},x_{2})\in\gamma\), \(1\le z\le1\) where \(z\) is the distance to the middle plane. For fixed \(t\in(0,t_{0}]\) the volume rigid inclusion is specified by the set \(\omega_{t}\times[1,1]\), i.e. the boundary of the rigid inclusion is defined by the cylindrical surface \({\partial\omega_{t}}\times[1,1]\). The elastic part of the plate corresponds to the domain \(\Omega\backslash\overline{\omega}_{t}\). Depending on the direction of the normal \(\nu=(\nu_{1},\nu_{2})\) to Î³ we will speak about a positive face \(\gamma^{+}\) or a negative face \(\gamma^{}\) of the curve Î³. The jump \([q]\) of the function q on the curve Î³ is found by the formula \([q]=q_{ {\gamma}^{+}}q_{ {\gamma}^{}}\).
Denote by \(\chi=\chi({x})=({W},w)\) the displacement vector of the midsurface points (\({x}\in\Omega_{\gamma}\)), by \({W}=(w_{1},w_{2})\) the displacements in the plane \(\{x_{1},x_{2}\}\), and by w the displacements along the axis z. The strain and integrated stress tensors are denoted by \(\varepsilon_{ij}=\varepsilon_{ij}(W)\), \(\sigma_{ij}=\sigma_{ij}(W)\), respectively [18]:
where \(\{a_{ijkl}\}\) is the given elasticity tensor, assumed as usual to be symmetric and positive definite:
The summation convention over repeated indices is used in the sequel. Next we denote the bending moments by the formulas [18]
where the tensor \(\{d_{ijkl}\}\) has the same properties as the tensor \(\{a_{ijkl}\}\). Let \(B(\cdot ,\cdot)\) be a bilinear form defined by the equality
where \(\chi=(W,w)\), \(\bar{\chi}=(\bar{W},\bar{w})\). The potential energy functional of the plate has the following representation [18]:
where the vector \({F}=(f_{1},f_{2},f_{3})\in L_{2}(\Omega)^{3}\) describes the body forces [18]. Introduce the Sobolev spaces
Note that the inequality
with a constant \(c>0\) independent of Ï‡ holds for the bilinear form \(B( \cdot, \cdot)\) [18].
Remark 1
The inequality (2) yields the equivalence of the standard norm and the seminorm determined by the bilinear form \(B( \cdot, \cdot)\) in the space \({H(\Omega_{\gamma})}\).
Due to the presence of a rigid inclusion in the plate, restrictions of the functions describing displacements Ï‡ to the domain \(\omega_{t}\) satisfy a special kind of relations. We introduce the space which allows us to characterize the properties of the volume rigid inclusion [1]
where \(b,c_{1},c_{2},a_{0},a_{1},a_{2}\in\mathbf{R}\). The condition of mutual nonpenetration of opposite faces of the crack is given by [1, 18]
The variational formulation describing the equilibrium state for the elastic plate with the volume delaminated rigid inclusion can be formulated as follows:
where \(K_{t}=\{\chi=(W,w)\in H(\Omega_{\gamma}) \mid [W]\nu\geq [\frac{\partial w}{\partial\nu}]\mbox{ on }\gamma; \chi_{\omega_{t}}\in R(\omega_{t})\}\). The problem (4) is known to have a unique solution \(\xi_{t}\in K_{t}\), which satisfies the variational inequality [27]
In parallel with the equilibrium problem for a plate with a volume rigid inclusion we consider also the equilibrium problem for an elastic plate with a delaminated thin inclusion. Here we assume that the thin rigid inclusion is described by the cylindrical surface \({x}=(x_{1},x_{2})\in\gamma\), \(1\le z\le1\), while the crack is still located on the positive side (\(\gamma^{+}\)) of the inclusionâ€™s surface. Let us first introduce some notation:
where \(b,c_{1},c_{2},a_{0},a_{1},a_{2}\in\mathbf{R}\);
Consider a variational formulation of the problem. We want to find a function \(\xi_{0}=(U_{0},u_{0})\in K_{0}\), such that
It is well known that the problem (7) has a unique solution which satisfies the variational inequality [28]
3 An optimal control problem
Consider the cost functional
where \(\xi^{*}\) is a prescribed element, \(\xi_{t}\) is a solution of the problem (4) for \(t>0\), and \(\xi_{0}\) is a solution of the problem (7). We have to find a solution of the maximization problem
The following assertion holds.
Theorem 1
There exists a solution of the optimal control problem (9).
Proof
Let \(\{t_{n}\}\) be a maximizing 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 (9). 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, proved below: the solutions \(\xi_{k}\) of (4) corresponding to the parameters \(t_{n_{k}}\) converge to the solution \(\xi_{t^{*}}\) strongly in \(H(\Omega_{\gamma})\) as \(k\to\infty\). This allows us to obtain convergence,
This means that
The theorem is proved.â€ƒâ–¡
Before proceeding 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 }=(V,v)\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}=(V_{k},v_{k})\in K_{t_{k}}\), \(k\in \mathbf{N}\) and \({\eta}_{k}\to{\eta}\) weakly in \(H(\Omega_{\gamma})\) as \(k\to\infty\).
Proof
If there exists a subsequence \(\{t_{n_{k}}\}\) such that \(t_{n_{k}}=t^{*}\), then the assertion of this lemma holds for the sequence \({\eta}_{k}\equiv{\eta}\), \(k\in\mathbf{N}\). Therefore, below we assume that \(t_{n}> t^{*}\) for sufficiently large n. Denote by \(\zeta^{*}=(\rho^{*},l^{*})\) with \(\rho^{*}=b^{*}(x_{2},x_{1})+(c^{*}_{1},c^{*}_{2})\), \(l^{*}(x)=a^{*}_{0}+a^{*}_{1}x_{1}+a^{*}_{2}x_{2}\) the function describing the structure of Î· in \(\omega_{t^{*}}\) for the case \(t^{*}>0\). If \(t^{*}=0\) and the function Î· has the specified structure on \(\gamma^{}\), then we adopt the same notation, i.e. \(\zeta^{*}={\eta }\) onÂ \(\gamma^{}\). We extend the definition of \(\zeta^{*}=(\rho^{*},l^{*})\) to the whole domain Î© by the equalities
Fix an arbitrary value \(t\in(0,t_{0}]\) and consider the following family of auxiliary problems:
where \(p(\chi)=B( \chi{\eta},\chi{\eta})\),
It is easy to see that the functional \(p(\chi)\) is coercive and weakly lower semicontinuous on the space \(H(\Omega_{\gamma})\). It can be verified that the set \(K_{t}'\) is convex and closed in \(H(\Omega_{\gamma})\). These properties guarantee the existence of solution of the problem (10). Besides, the solution \({\eta}_{t}\) is unique [18, 29].
Since the functional \(p(\chi)\) is convex and differentiable on \(H(\Omega_{\gamma})\), the problem (10) can be written in the equivalent form
By the property (b), it is evident that the solution \({\eta}_{t_{0}}\) of (11) 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 (11), we get
Using the inequality (2) 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 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_{\gamma})\).
Show that \(\tilde{\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_{\gamma}\backslash\overline{\omega}_{t^{*}})^{2}\times H^{2}_{0}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})\). Consequently, in virtue of the weak closeness of \(H^{1}_{0}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})^{2}\times H^{2}_{0}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})\) we have \((\tilde{\eta}{\eta})\in H^{1}_{0}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})^{2}\times H^{2}_{0}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})\). We consider now the functions of the form \(\chi_{k}^{\pm}={\eta}_{k}\pm {\phi}\), where Ï• is the function \(\overline{\phi}\in C_{0}^{\infty}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})^{3}\) extended by zero to the whole domain \(\Omega_{\gamma}\). Bearing in mind the property (c), 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 (11) corresponding to \(t_{k}\). As a result, we obtain
Fix the function Ï•. Passing to the limit in (12), we deduce
Hence, by the density of \(C_{0}^{\infty}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})\) both in \(H^{1}_{0}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})\) and \(H^{2}_{0}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})\) (see [30]), we infer that \(\tilde{\eta}{\eta}=0\) in \(H^{1}_{0}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})^{2}\times H^{2}_{0}(\Omega_{\gamma}\backslash\overline{\omega}_{t^{*}})\). Finally, by construction, the equality \(\tilde{\eta}={\eta}\) is fulfilled in \(\omega_{t^{*}}\). Therefore, \(\tilde{\eta}={\eta}\) in \(H(\Omega_{\gamma})\) 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_{\gamma})\) 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_{\gamma})^{2}\times H^{2}_{0}(\Omega_{\gamma})\), and consequently, the relation \((\tilde{\eta}{\eta})\in H^{1}_{0}(\Omega_{\gamma})^{2}\times H^{2}_{0}(\Omega_{\gamma})\) is fulfilled. We now consider functions of the form \(\chi_{k}^{\pm}={\eta}_{k}\pm{\phi}\), where \({\phi}\in C_{0}^{\infty}(\Omega_{\gamma})^{3}\). Observe that the property (d) yields for sufficiently large k the inclusion \(\chi_{k}^{\pm}\in K'_{t_{k}}\). Substituting these functions in (11) corresponding to \(t_{k}\), yields the equality
We fix the function Ï• in (13) and pass to the limit as \(k\to\infty\). As a result, we get
The density of \(C_{0}^{\infty}(\Omega_{\gamma})\) in \(H^{n}_{0}(\Omega_{\gamma})\) (\(n\in\mathbf{N}\)), see [30], allows us to obtain from (14) the equality \(\tilde{\eta}{\eta}=0\) in \(H^{1}_{0}(\Omega_{\gamma})^{2}\times H^{2}_{0}(\Omega_{\gamma})\). It remains to observe that \(\tilde{\eta}={\eta}\) on \(\gamma^{\pm}\) by the construction. Thus, \(\tilde{\eta}={\eta}\) in \(H(\Omega_{\gamma})\) 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_{\gamma})\). 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_{\gamma})\) as \(t\to t^{*}\), where \(\xi_{t}\) is the solution of (4) corresponding to \(t\in(0,t_{0}]\), while \(\xi_{t^{*}}\) is the solution corresponding to (4) for \(t^{*}>0\) and to the problem (7) 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 (4) corresponding to \(t_{n}\).
Since \(\chi^{0}\equiv0\in K_{t}\) for all \(t\in[0,t_{0}]\), we can substitute \(\chi=\chi^{0}\) in (5) for all \(t\in(0,t_{0}]\) and in (8) for \(t=0\). This provides
From this, using (2) we can deduce that for all \(t\in[0,t_{0}]\) the following estimate holds:
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_{\gamma})\).
Now we show that \(\tilde{\xi}\in K_{t^{*}}\). Indeed, we have \(\xi_{n}_{\omega_{t_{n}}}=\zeta_{n}\in R(\omega_{t_{n}})\). In accordance with the Sobolev embedding theorem [31], we obtain
Choosing a subsequence, if necessary, we assume as \(n\to\infty\) that \(\xi_{n}\to\tilde{\xi}\) a.e. in \(\omega_{t^{*}}\). 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 (retaining 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
The last two relations with (15) lead to the equality
This means \(\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 following convergences:
Therefore, from (18), (19), and (15) we obtain \(\tilde{\xi}_{\omega_{t^{*}}}\in R(\omega_{t^{*}})\).
Suppose that there exists a subsequence \(\{t_{k}\}\subset\{t_{n}\}\) that satisfies \(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 the property (b) we have
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 the properties (b) and (f), for any \(\epsilon>0\) we can choose a number \(k'\in \mathbf{N}\) large enough such that
Further, using the triangle inequality, it follows from this that
Therefore we have
We can see that for all sufficiently large numbers k we have the following estimates:
and the righthand side of (20) is less than 10Ïµ. Therefore, \(u_{k}\to l\) strongly in \({L^{2}(\omega_{t^{*}})}\). Consequently, taking into account (15) we get \(\tilde {u}_{\omega_{t^{*}}}=l\) in \(\omega_{t^{*}}\).
It can be proved analogously that \(\tilde{U}_{\omega_{t^{*}}}= b(x_{2},x_{1})+(c_{1},c_{2})\) a.e. in \(\omega_{t^{*}}\). 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[\frac{\partial\tilde{u}}{\partial\nu}]\) on Î³. In view of (16), (17), we can extract subsequences once again and obtain the convergences \(U_{n}_{\gamma}\to\tilde{U}_{\gamma}\), \(\frac{\partial u_{n}}{\partial\nu}_{\gamma}\to\frac{\partial\tilde{u}}{\partial\nu}_{\gamma}\) a.e. on both \(\gamma^{+}\) and \(\gamma^{}\). Now we pass to the limit in the following inequalities as \(n\to\infty\):
This leads to \([\tilde{U}]\nu\geq[\frac{\partial\tilde{u}}{\partial\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}]\) with the property \(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 the 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 must establish the strong convergence \({\xi_{n}}\to\xi_{t^{*}}\). By substituting \(\chi=2\xi_{t}\) and \(\chi=0\) into the variational inequalities (5) for \(t\in(0,t_{0}]\), we get
In view of (5) 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_{\gamma})\) as \(n\to\infty\), we deduce
Since we have the equivalence of norms (see RemarkÂ 1), one can see that \(\xi_{n}\to\xi_{t^{*}}\) strongly in \(H(\Omega_{\gamma})\) 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, i.e. we suppose that 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. In doing so we have \(t_{n}\to t^{*}\) and \(t_{n}>t^{*}\). Taking into account the results at the beginning of the proof, we have \(\xi_{n}\to\tilde{\xi}\) weakly in \(H(\Omega_{\gamma})\) as \(n\to\infty\). For instance we will prove that \(\xi_{n}\to\tilde {\xi}\) strongly in \(H(\Omega_{\gamma})\) as \(n\to\infty\). In view of the weak convergence \(\xi_{n}\to\tilde{\xi}\) in \(H(\Omega_{\gamma})\) as \(n\to\infty\), from (21) 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\), in (22) 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}\) the following inequality is fulfilled:
Fix an arbitrary value m in (24) and pass to the limit in the last relation as \(n\to\infty\). As a result we have
Passing to the limit in (25) as \(m\to\infty\), we find
This inequality, (23), and the weak lower semicontinuity of the bilinear form \(B(\cdot,\cdot)\) yield the following 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_{\gamma})\) as \(n\to\infty\).
From 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_{\gamma})\) as \(k\to\infty\).
The properties established above for the convergent sequences \(\{{\eta}_{k}\}\) and \(\{\xi_{n}\}\) allow us to pass to the limit as \(k\to\infty\) in the following inequalities derived from (5) 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_{\gamma})\), which is a contradiction. The lemma is proved.â€ƒâ–¡
4 Conclusion
The existence of the solution to the optimal control problem (9) is proved. For that problem the cost functional \(J(t)\) characterizes the deviation of the displacement vector from a given function \(\xi^{*}\), while the size parameter t of the rigid inclusion is chosen as the control function.
Lemmas 1 and 2 establish a qualitative connection between the equilibrium problems for plates with rigid delaminated inclusions of varying thickness. In particular it is shown that as the thickness of volume rigid inclusion tends to zero, the solutions of the equilibrium problems converge to the solution of the equilibrium problem for a plate containing a thin rigid delaminated inclusion.
The obtained results can be used to investigate some mathematical and mechanical problems concerning inhomogeneous solids with rigid inclusions.
References
Khludnev, AM, Leugering, G: On elastic bodies with thin rigid inclusions and cracks. Math. Methods Appl. Sci. 33(16), 19551967 (2010)
Khludnev, AM, Negri, M: Optimal rigid inclusion shapes in elastic bodies with cracks. Z. Angew. Math. Phys. 64(1), 179191 (2013)
DalÂ Corso, F, Bigoni, D, Gei, M: The stress concentration near a rigid line inclusion in a prestressed, elastic material. PartÂ I. Fullfield solution and asymptotics. J. Mech. Phys. Solids 56, 815838 (2008)
Noselli, G, DalÂ Corso, F, Bigoni, D: The stress intensity near a stiffener disclosed by photoelasticity. J. Mech. Phys. Solids 166, 91103 (2010)
Misseroni, D, DalÂ Corso, F, Shahzad, S, Bigoni, D: Stress concentration near stiff inclusions: validation of rigid inclusion model and boundary layers by means of photoelasticity. Eng. Fract. Mech. 121122, 8797 (2014)
Ilâ€™ina, II, Silâ€™vestrov, VV: The problem of a thin interfacial inclusion detached from the medium along one side. Mech. Solids 40(3), 123133 (2005)
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)
Rudoy, EM: The Griffith formula and CherepanovRice integral for a plate with a rigid inclusion and a crack. J. Math. Sci. 186(3), 511529 (2012)
Xiao, ZM, Chen, BJ: Stress intensity factor for a Griffith crack interacting with a coated inclusion. Int. J. Fract. 108(3), 193205 (2001)
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. (2015). doi:10.1007/s0003301404884
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. (2014). doi:10.1007/s0003301404710
Khludnev, AM: Optimal control of crack growth in elastic body with inclusions. Eur. J. Mech. A, Solids 29(3), 392399 (2010)
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)
Khludnev, AM, Kovtunenko, VA: Analysis of Cracks in Solids. WIT Press, Southampton (2000)
Khludnev, AM: Elasticity Problems in Nonsmooth Domains. Fizmatlit, Moscow (2010)
Kovtunenko, VA: A hemivariational inequality in crack problems. Optimization 60(3), 10711089 (2011)
Kozlov, VA, Khludnev, AM: Asymptotic behavior of the solution to the Poisson equation near a crack tip with nonlinear boundary conditions. Dokl. Math. 74(3), 865868 (2006)
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)
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)
Sacco, E, Lebon, F: A damagefriction interface model derived from micromechanical approach. Int. J. Solids Struct. 49(26), 36663680 (2012)
Marin, M, Stan, G: Weak solutions in elasticity of dipolar bodies with stretch. Carpath. J. Math. 29(1), 3340 (2013)
Marin, M, Agarwal, RP, Mahmoud, SR: Modeling a microstretch thermoelastic body with two temperatures. Abstr. Appl. Anal. 2013, Article ID 583464 (2013). doi:10.1155/2013/583464
Khludnev, AM: Problem of a crack on the boundary of a rigid inclusion in an elastic plate. Mech. Solids 45(5), 733742 (2010)
Khludnev, AM: Thin rigid inclusions with delaminations in elastic plates. Eur. J. Mech. A, Solids 32(10), 6975 (2012)
Baiocchi, C, Capello, A: Variational and Quasivariational Inequalities: Applications to Free Boundary Problems. Wiley, New York (1984)
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)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares to have no competing interests.
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. Existence of an optimal size of a delaminated rigid inclusion embedded in the KirchhoffLove plate. Bound Value Probl 2015, 180 (2015). https://doi.org/10.1186/s136610150437y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136610150437y