Abstract
We consider a family of three-dimensional stiffened plates whose dimensions are scaled through different powers of a small parameter \(\varepsilon \). The plate and the stiffener are assumed to be linearly elastic, isotropic, and homogeneous. By means of \(\Gamma \)-convergence, we study the asymptotic behavior of the three-dimensional problems as the parameter \(\varepsilon \) tends to zero. For different relative values of the powers of the parameter \(\varepsilon \), we show how the interplay between the plate and the stiffener affects the limit energy. We derive twenty-three limit problems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Thin-walled structures are widely used in many engineering fields, such as aeronautic and aerospace structures, vessels, civil and mechanical constructions. Since the widespread use of such structures, many models, based on a priori kinematical assumptions, have been proposed in the history of Mechanics, in order to predict the behavior of loaded structures. Even though these models have been used successfully by generations of practitioners, they generally rely on heuristic assumptions. From a theoretical point of view, as reasonable as these assumptions may sound, they are hypotheses that jeopardize the validity of the mechanical models.
Over the last few years, attention has been paid to the rigorous justification of the classical mechanical theories and models: beams, shells, plates, etc. The underlying idea is to study the asymptotic behavior of actual three-dimensional variational formulations and to let some “smallness parameter” go to zero, so to fetch the essential features of the primitive problem in the resulting “simplified” asymptotic one.
A way to justify the mechanical models is via \(\Gamma \)-convergence, a variational convergence notion appeared for the first time in a the seminal work by De Giorgi and Franzoni [12]. The underlying idea is to replace the functional ruling the actual problem at hand by a new one, more handy, such that it may capture the major features of the primitive problem. More in detail, \(\Gamma \)-convergence derives the aimed asymptotic functional in such a way to achieve the convergence of minima and minimizers of the primitive problem and of the asymptotic one. The reader is addressed, for instance, to the monographs by Dal Maso and Braides [5, 9] for an exhaustive exposition of the topic.
Many interesting results have been obtained in Mechanics by \(\Gamma \)-convergence. One of the first works are by Acerbi et al. [1] and by Anzellotti et al. [3]. In the former, the asymptotic behavior of a string is derived in the framework of non-linear elasticity. In the latter, it is studied a plate and a beam in the context of linearized elasticity. These works represent a milestone, since they developed a fundamental modus operandi for the following works. \(\Gamma \)-convergence has been successfully used to justify models for beams and plates in linear and non-linear elasticity, in isotropic and anisotropic elasticity, also under residual stress condition [10, 11, 13, 14, 17, 28, 31–33]. More complex theories have been justified by \(\Gamma \)-convergence, such as the Vlassov theory of thin-walled beams and the well-known Bredt formulæ for torsion [15].
In model dimension reduction, a special chapter is reserved to junctions between bodies, possibly having different asymptotic dimensions: for instance, the asymptotic study of the junction of a 3D-body with a 2D-body. Several contributes can be counted [6, 8, 20, 21, 23, 24]. More recently, [18, 19, 26, 29] have studied the junction between multi-domain bodies using classical variational techniques.
Remarkably, among the works about the limit models of joined plates and beams, there is a lack of asymptotic models of stiffened plates. At the best of the authors’ knowledge, there is one work in the literature facing this problem of practical interest [4]. However, in [4], the author considers only a special case, since the beam cross-section and the plate thickness scale with the same order of magnitude. Moreover, the limit behavior is studied without taking into account the torsion angle of the stiffener, and over the junction region the plate and the stiffener assume different elastic moduli, which is physically implausible.
Hereby, we face the problem of deriving the asymptotic model of a stiffened plate in the framework of linear isotropic elasticity, as the plate thickness and the beam cross-section go to zero, possibly with different scaling velocities. Moreover, the torsion angle limit derivation is deeply discussed. The variational convergence is obtained in the sense of \(\Gamma \)-convergence.
This paper is organized as follows. Section 2 introduces the notation adopted in this work, together with the principal functional spaces. Section 3 introduces the setting of the variational problem, whilst Sect. 4 introduces the mapping from the three-dimensional structure to a family of thin domains, together with two compactness results. Section 5 is dedicated to the limit joining conditions of displacements and stiffener cross-sectional rotation angle. In Sect. 6 the expression of the limit energy is obtained and the main \(\Gamma \)-convergence theorem is proved. Finally, Sect. 7 shows that the convergence of minima and minimizers is actually strong.
2 Notation
In this paper, we work in the real Euclidean three-dimensional space \(\mathbb{R}^{3}\). We use upper-case bold letters to indicate tensors and lower-case bold letters to indicate vectors. The Euclidean (Frobenius) product is indicated with ⋅ and the corresponding induced norm by \(|\cdot |\). We denote by \(\operatorname{Sym}\), \(\operatorname{Skw}\) the sets of linear symmetric and antisymmetric transformations from \(\mathbb{R}^{3}\) into \(\mathbb{R}^{3}\), respectively. \(\operatorname{tr}(\cdot )\) denotes the trace operator, whilst \(\operatorname{diag}(a, b, c)\) is the diagonal matrix with elements \(a\), \(b\), \(c\) on the principal diagonal. \(\mathbb{R}^{+}\) denotes the set of all strictly positive real numbers, while ℕ denotes non-negative integers.
Let \(S \subset \mathbb{R}^{n}\) (\(n \in \{1, 2, 3\}\)) be open. For any function \(\mathbf{v}:S \to \mathbb{R}^{3}\), we shall denote its gradient by
and its unique decomposition in a symmetric and skew-symmetric part by \(\mathbf{H}\mathbf{v} = \mathbf{E}\mathbf{v} + \mathbf{W}\mathbf{v} \), where
We denote by
the Banach space of (equivalence classes of) Lebesgue-integrable functions on \(S\) with values in \(\mathbb{R}^{q}\) (\(q\in \mathbb{N}\setminus \{0 \}\)), where
The corresponding Sobolev spaces of functions on \(S\) with values in \(\mathbb{R}^{q}\) are the Banach spaces defined as follows (we will need only the cases \(l\in \{1, 2\}\)):
They are endowed with the norm
Note that the (high-order) gradients \(\nabla ^{\alpha}(\cdot )\) shall be understood in the sense of distributions.
We shall furthermore consider the Sobolev’ space
as the set of functions belonging to \(W^{1,2}(S, \mathbb{R}^{q})\) that assume value zero on a certain subset \(\partial _{D} S\) of the boundary of \(S\). In this paper, we will make use of standard results concerning Sobolev’ spaces. The reader is addressed to the classical monograph by Adams [2] or to the more recent book by Leoni [25].
If \(r\in \mathbb{N}\cup \{\infty \}\), then \(C^{r}(S, \mathbb{R}^{q})\) denotes the space of \(r\)-times continuously differentiable functions on \(S\) with values in \(\mathbb{R}^{q}\), and \(C^{\infty}_{0}(S, \mathbb{R}^{q})\) denotes the space of functions belonging to \(C^{\infty}(S, \mathbb{R}^{q})\) that assume value zero in a neighborhood of the boundary of \(S\).
We will refrain to specify the codomain ℝ in the notation of the functional spaces: for instance, we will simply write \(W^{1,2}(S)\) instead of \(W^{1,2}(S, \mathbb{R})\), and so forth.
We will denote by \(W^{-1,2}\) the dual space of \(W^{1,2}_{0}\). We recall that the following compact embeddings hold \(C_{0}^{\infty }\hookrightarrow W^{1,2}_{0} \hookrightarrow L^{2} \hookrightarrow W^{-1,2}\), and that, if the operator \(T\in W^{-1,2}\),
where \(< T,x>\) denotes the dual pairing \(W^{-1,2}\times W^{1,2}_{0}\).
If not specified, we adopt Einstein’ summation convention for indices. Indices \(\alpha \), \(\beta \), \(\gamma \), \(\delta \) take values in the set \(\{1,2\}\), indices \(a\), \(b\), \(c\), \(d\) in the set \(\{2,3\}\), and indices \(i\), \(j\) in the set \(\{1,2,3\}\). With the notation \(A\lesssim B\) we mean that there exists a constant \(C>0\) such that \(A \leq C\,B\). Such constant may vary line to line and is independent from the smallness parameter \(\varepsilon \) (see after). As it is usual, we denote by the average value of the function \(f(\cdot )\) over its integration domain, i.e., \(\frac{1}{\operatorname{meas}(S)}\int _{S} f(\cdot ) \mathrm{d}x\), \(\operatorname{meas}(S)\) being the Lebesgue measure of the set \(S\). We denote the strong convergence (convergence in norm) with the symbol →, whilst the weak convergence will be denoted by ⇀. Finally, with the symbol \(x\downarrow y\), we mean that \(x\) is approaching \(y\) from above (i.e., \(x\to y^{+}\)).
3 General Setting
Let us introduce the real parameter \(\varepsilon \) that takes values in a sequence of positive numbers converging to zero. With reference to Fig. 1, we introduce in \(\mathbb{R}^{3}\) an orthonormal absolute reference system, denoted by \((O; x_{1}, x_{2}, x_{3})\). We consider a plate-like body (hereafter, with a slightly abuse of language, just plate) occupying the region \(\hat{\Omega}_{\varepsilon }:=(-L, L)\times (-L,L)\times \varepsilon (0, T)\) and a blade-like stiffener body (hereafter, with a slightly abuse of language, just stiffener) occupying the region \(\check{\Omega}_{\varepsilon }:=(-L,L)\times \varepsilon ^{w}(-W , W)\times \varepsilon ^{h}(0, H)\), being \(L, T, H, w,\,h \in \mathbb{R}^{+}\). Moreover, let \(\Omega _{J\varepsilon }:=\hat{\Omega}_{\varepsilon }\cap \check{\Omega}_{\varepsilon }= (-L,L)\times \varepsilon ^{w}(-W, W) \times \varepsilon (0, T)\) be the overlapping region, that hereafter we refer to as junction region.
We assume that \(h<1\) and that \(W< L\). The first assumption implies that the height of the stiffener is larger than the thickness of the plate (even asymptotically), while the second assumption is simply made to assure that the plate is larger than the width, \(\varepsilon ^{w} W\), of the stiffener even in the case \(w=0\). The domain \(\Omega _{\varepsilon }:=\hat{\Omega}_{\varepsilon }\cup \check{\Omega}_{\varepsilon }\) is depicted in Fig. 1. We shall consider the body clamped at \(x_{1}=L\), i.e., the displacement field is null in all points with coordinate \(x_{1}\) equal to \(L\) (hence \(\partial _{D} S :=\Omega _{\varepsilon }\cap \{x_{1}=L\}\)): this condition will be hereafter referred to as boundary condition.
In what follows, we denote the cross-section of the stiffener by \(\check{\omega}_{\varepsilon }:=\varepsilon ^{w}(-W , W) \times \varepsilon ^{h}(0, H) \) and the mid-plane of the plate as \(\hat{\omega} :=(-L,L)\times (-L , L) \).
The stored-energy functional \(\widetilde{\mathscr{W}}_{\varepsilon }:\Omega _{\varepsilon }\to \mathbb{R}^{+}\) is defined by
where ℂ is a fourth-order elasticity tensor, positive definite and having the usual major and minor symmetries. In particular, this implies that there exists a positive constant \(\mu \) such that
The functional in (1) can be decomposed into the sum of two contributions
where \(\chi _{\varepsilon }(x) : \Omega _{\varepsilon }\to \{\frac{1}{2},1 \}\) is defined by
The function \(\chi _{\varepsilon }\) allows to associate half of the energy of the junction region to the stiffener and the other half to the plate, or, more simply, it avoids to consider the energy of the region \(\Omega _{J\varepsilon }\) twice.
We remark that we are interested in small deformations, and we give up capturing instabilities, despite their importance for thin-walled structures in practical applications.
4 The Scaled Problem
As it is usual in this kind of problems, we change variables and define the energies over fixed domains (see [1, 7]). For this purpose, we set
For the plate, we introduce the scaling mapping \(\hat{\mathbf{q}}_{\varepsilon }:\hat{\Omega}\to \hat{\Omega}_{ \varepsilon }\) defined by \(\hat{\mathbf{q}}_{\varepsilon }(x_{1},x_{2},x_{3}):=(x_{1},x_{2}, \varepsilon x_{3})\). After setting \(\hat{\mathbf{Q}}_{\varepsilon }:=\nabla \hat{\mathbf{q}}_{ \varepsilon }= \operatorname{diag}(1,1,\varepsilon )\), we define \(\hat{\mathbf{u}}_{\varepsilon }:\Omega \to \mathbb{R}^{3}\) by
for every function \(\mathbf{u}:\Omega _{\varepsilon }\to \mathbb{R}^{3}\). Taking derivatives, one finds the scaled gradient for the plate
and the scaled strain for the plate
Similarly, for the stiffener, we introduce the scaling mapping \(\check{\mathbf{q}}_{\varepsilon }:\check{\Omega}\to \check{\Omega}_{ \varepsilon }\) defined by \(\check{\mathbf{q}}_{\varepsilon }(x_{1},x_{2},x_{3}):=(x_{1}, \varepsilon ^{w} x_{2},\varepsilon ^{h} x_{3})\), the tensor \(\check{\mathbf{Q}}_{\varepsilon }:=\nabla \check{\mathbf{q}}_{ \varepsilon }= \operatorname{diag}(1,\varepsilon ^{w}, \varepsilon ^{h})\), and the scaled displacement \(\check{\mathbf{u}}_{\varepsilon }: \Omega \to \mathbb{R}^{3}\) defined as
The scaled gradient for the stiffener is defined by
so that the scaled strain for the stiffener reads
By changing variables, we can rewrite the stored energy over the fixed domains, and we further divide it by \(\varepsilon \). Note that this operation does not affect the minimizer of the problem. We obtain
where we have set \(\hat{\chi}_{\varepsilon }:=\chi _{\varepsilon }\circ \hat{\mathbf{q}}_{\varepsilon }\), \(\check{\chi}_{\varepsilon }:=\chi _{\varepsilon }\circ \check{\mathbf{q}}_{\varepsilon }\) and
We can interpret \(2k\) as the scaling exponent of an asymptotic characteristic size of the structure, defined by the asymptotic cross-sectional area of the stiffener (i.e., \(\varepsilon ^{h+w}\)) divided by the asymptotic thickness of the plate (i.e., \(\varepsilon \)). We further anticipate that \(k\) and \(h\) will play a fundamental role in what follows.
We now prove the compactness of some properly rescaled sequences of displacements, both for the plate and the stiffener. The limit displacement fields will be of Kirchhoff-Love and Bernoulli-Navier type. The former is defined by
the latter by
Lemma 1
Let \(\{\hat{\mathbf{u}}_{\varepsilon }\} \subset W^{1,2}_{0} ( \hat{\Omega}, \mathbb{R}^{3}) \) be a sequence such that \(\sup _{\varepsilon }\hat{\mathscr{W}}_{\varepsilon }( \hat{\mathbf{u}}_{\varepsilon }) < \infty \). Then, there exist a subsequence (not relabeled) \(\{\hat{\mathbf{u}}_{\varepsilon }\} \) and a \(\hat{\mathbf{u}}\in \textit{KL}_{0}(\hat{\Omega})\) such that \(\hat{\mathbf{u}}_{\varepsilon } \rightharpoonup \hat{\mathbf{u}}\) in \(W^{1,2}(\hat{\Omega},\mathbb{R}^{3})\). We denote by \(\hat{\mathbf{E}}\) the limit of \(\hat{\mathbf{E}}_{\varepsilon }\hat{\mathbf{u}}_{\varepsilon }\) in the weak topology of \(L^{2}(\hat{\Omega}, \mathbb{R}^{3\times 3})\).
Proof
Since ℂ is positive-definite, from inequality (2) and from Korn inequality, it follows that
Hence, up to a subsequence, \(\hat{\mathbf{u}}_{\varepsilon } \rightharpoonup \hat{\mathbf{u}}\) for a certain \(\hat{\mathbf{u}}\in W^{1,2}_{0}(\hat{\Omega}, \mathbb{R}^{3})\). From (5), we have that \(\left \lVert (\mathbf{E}\hat{\mathbf{u}}_{\varepsilon })_{\alpha 3} \right \rVert _{L^{2}(\hat{\Omega})} = \left \lVert \varepsilon ( \hat{\mathbf{E}}_{\varepsilon }\hat{\mathbf{u}}_{\varepsilon })_{ \alpha 3}\right \rVert _{L^{2}(\hat{\Omega})} \lesssim \varepsilon \) and \(\left \lVert (\mathbf{E}\hat{\mathbf{u}}_{\varepsilon })_{3 3} \right \rVert _{L^{2}(\hat{\Omega})} = \left \lVert \varepsilon ^{2} ( \hat{\mathbf{E}}_{\varepsilon }\hat{\mathbf{u}}_{\varepsilon })_{3 3} \right \rVert _{L^{2}(\hat{\Omega})} \lesssim \varepsilon ^{2}\). As a consequence, we deduce that
Hence, \(\hat{\mathbf{u}}\in KL_{0}(\hat{\Omega})\) as follows by integration. We conclude the lemma by noticing that \(\hat{\mathbf{E}}_{\varepsilon }\hat{\mathbf{u}}_{\varepsilon } \rightharpoonup \hat{\mathbf{E}}\) in \(L^{2}(\hat{\Omega}, \mathbb{R}^{3\times 3})\) for some \(\hat{\mathbf{E}}\) in \(L^{2}(\hat{\Omega}, \mathbb{R}^{3\times 3})\). □
Lemma 2
Let \(\{ \varepsilon ^{k} \check{\mathbf{u}}_{\varepsilon }\} \subset W^{1,2}_{0} (\check{\Omega},\mathbb{R}^{3}) \) be a sequence such that \(\sup _{\varepsilon }\check{\mathscr{W}}_{\varepsilon }(\varepsilon ^{k} \check{\mathbf{u}}_{\varepsilon }) < \infty \); then, there exist a subsequence (not relabeled) \(\{\varepsilon ^{k}\check{\mathbf{u}}_{\varepsilon }\} \) and a \(\check{\mathbf{u}}\in BN_{0} (\check{\Omega})\) such that \(\varepsilon ^{k}\check{\mathbf{u}}_{\varepsilon } \rightharpoonup \check{\mathbf{u}}\) in \(W^{1,2}(\check{\Omega},\mathbb{R}^{3})\). We denote by \(\check{\mathbf{E}}\) the limit of \(\varepsilon ^{k}\check{\mathbf{E}}_{\varepsilon }\check{\mathbf{u}}_{ \varepsilon }\) in the weak topology of \(L^{2}(\check{\Omega}, \mathbb{R}^{3\times 3})\).
Proof
The proof is similar to that of Lemma 1. Since ℂ is positive-definite and from Korn inequality, it follows that
Hence, up to a subsequence, \(\varepsilon ^{k}\check{\mathbf{u}}_{\varepsilon } \rightharpoonup \check{\mathbf{u}}\) for a certain \(\check{\mathbf{u}}\in W^{1,2}_{0}(\check{\Omega}, \mathbb{R}^{3})\). Since \(\{\left (\varepsilon ^{k} \mathbf{E} \check{\mathbf{u}}_{ \varepsilon }\right )_{ij}\}\) for \((i,j)\neq (1,1)\) converge to zero in \(L^{2}(\check{\Omega})\), we deduce that
Hence, \(\check{\mathbf{u}}\in BN_{0}(\check{\Omega})\) as follows by integration. We conclude the lemma by noticing that \(\varepsilon ^{k} \check{\mathbf{E}}_{\varepsilon }\check{\mathbf{u}}_{ \varepsilon }\rightharpoonup \check{\mathbf{E}}\) in \(L^{2}(\check{\Omega}, \mathbb{R}^{3\times 3})\) for some \(\check{\mathbf{E}}\) in \(L^{2}(\check{\Omega}, \mathbb{R}^{3\times 3})\). □
5 The Junction Conditions
The present section is devoted to establish the relationship existing between the limit fields \(\hat{\mathbf{u}}\) and \(\check{\mathbf{u}}\). This is carried out by studying the junction conditions on \(\Omega _{J}\).
5.1 The Junction Conditions for Displacements
From (3) and (6), the following equality must be satisfied for the identity of \(\hat{\mathbf{u}}\) and \(\check{\mathbf{u}}\) in \(\Omega _{J\varepsilon }\):
which may be rewritten more explicitly for all \((x_{1}, x_{2}, x_{3}) \in \Omega _{J}\) as
It is noteworthy that, in this way, the junction region, which originally depends on \(\varepsilon \), has been transformed into the fixed domain \(\Omega _{J}\).
The following two technical lemmata express an approximation of the trace operator; similar results can be found in [15, 24]. We recall that \(h<1\).
Lemma 3
Let \(w\in W^{1,2}(\Omega _{J})\) and \(w_{\varepsilon }\in W^{1,2}(\Omega _{J})\) be a sequence such that \(w_{\varepsilon }\rightharpoonup w\) in \(W^{1,2}(\Omega _{J})\). Then, the sequence of functions
converges in the norm of \(L^{2}((-L,L)\times (-W,W))\) to the trace of the function \(w\) on \((-L,L)\times (-W,W)\times \{0\}\). The trace will be denoted simply by \(w(x_{1}, x_{2}, 0)\).
Proof
We have:
where we have used a change of variable, the Fundamental Theorem of Calculus, and the Cauchy-Schwartz inequality (twice). The thesis follows from the continuity of the trace operator for functions in \(W^{1,2}\) (see, for instance, [2, Theorem 5.36]) and from the general assumption \(h<1\). □
With a similar argument, one can prove the following counterpart for the stiffener of the previous lemma.
Lemma 4
Let \(w\in W^{1,2}(\Omega _{J})\) and \(w_{\varepsilon }\in W^{1,2}(\Omega _{J})\) be a sequence such that \(w_{\varepsilon }\rightharpoonup w\) in \(W^{1,2}(\Omega _{J})\). Then, the sequence of functions
converges in the norm \(L^{2}((-L,L)\times (0,T))\) to the trace of the function \(w\) on \((-L,L)\times \{0\}\times (0,T)\). The trace will be denoted simply by \(w(x_{1}, 0, x_{3})\).
The limit junction conditions for the displacements are derived in the next result.
Lemma 5
The following equalities hold for almost every \(x_{1}\in (-L,L)\):
where \(\hat{\varrho}_{i}\,:\,(0,1)\times \mathbb{R}^{+}\to \{0,1\}\) and \(\check{\varrho}_{i}\,:\,(0,1)\times \mathbb{R}^{+}\to \{0,1\}\) are defined as follows:
Proof
We provide a detailed proof for the first component of the displacement, the others being similar. We consider the first of (10) averaged with respect to \(x_{2}\) and \(x_{3}\):
Since \(\varepsilon ^{k} \check{u}_{1\varepsilon }\rightharpoonup \check{u}_{1}\) in \(W^{1,2}(\Omega _{J})\), by Lemma 3 it follows that
from which we deduce that
Similarly, since \(\hat{u}_{1\varepsilon }\rightharpoonup \hat{u}_{1}\) in \(W^{1,2}(\Omega _{J})\), by Lemma 4 we find that
By passing to the limit in (12), taking into account (13) and (14), we obtain
Since
equation (15) implies the first identity of (11).
For the other components of the displacement, from (10), we find:
and arguing as above we complete the proof. □
5.2 The Junction Conditions for the Torsion Angle
This Section is dedicated to establish a further relationship existing between the limit fields, involving the torsion angle of the stiffener. Hereafter, \(M:=\max \{w,h\}\), \(m:=\min \{w,h\}\). As a trivial consequence, \(M\geq m\), with equality holding if and only if \(h=w\).
We start with a scaled Korn-type inequality.
Lemma 6
Let \(\mathbf{u}\in W^{1,2}(\check{\Omega}_{\varepsilon }, \mathbb{R}^{3})\). Then, we have
Proof
We use an argument from [13, Theorem 3.2]. Decompose \(\check{\Omega}_{\varepsilon }\) in parallelepipeds having cross-section \(\varepsilon ^{M}\times \varepsilon ^{M}\). For each of them, apply the scaled Korn inequality of the type in [3, Theorem A.1.] (see also [22, Theorem 2]). Then, summing up, the thesis follows. □
Lemma 7
With the assumptions and the notation of Lemma 2, we have
In particular, up to a subsequence,
where \(\check{\mathbf{H}}\in L^{2}(\check{\Omega}, \operatorname{Skw}(\mathbb{R}^{3 \times 3}))\) has components
with \(\vartheta \) a function in \(L^{2}(\check{\Omega})\).
Proof
The proof of (16) follows immediately by changing variables and scaling into the fixed domain the result of Lemma 6, and by recalling Lemma 2. From this bound we deduce that there exists a subsequence, not relabeled, of \(\varepsilon ^{k+M}\check{\mathbf{H}}_{\varepsilon } \check{\mathbf{u}}_{\varepsilon }\) and a \(\check{\mathbf{H}}\in L^{2}(\check{\Omega}, \mathbb{R}^{3 \times 3})\), such that
Since \(\varepsilon ^{M}\left (\varepsilon ^{k} \check{\mathbf{E}}_{ \varepsilon }\check{\mathbf{u}}_{\varepsilon }\right )\to 0\) in \(L^{2}(\check{\Omega}, \mathbb{R}^{3 \times 3})\), it follows that \(\varepsilon ^{k+M} \check{\mathbf{W}}_{\varepsilon } \check{\mathbf{u}}_{\varepsilon }\rightharpoonup \check{\mathbf{H}}\) in \(L^{2}(\check{\Omega}, \mathbb{R}^{3 \times 3})\). Accordingly, \(\check{\mathbf{H}} \) is a skew-symmetric tensor field. Moreover, from the definition (7) and the convergence of \(\varepsilon ^{k}\check{\mathbf{u}}_{\varepsilon } \rightharpoonup \check{\mathbf{u}}\) in \(W^{1,2}(\check{\Omega},\mathbb{R}^{3})\), we deduce that
The proof is completed by setting \(\vartheta :=\check{H}_{32}\). □
The function \(\vartheta \) defined in Lemma 7 can be interpreted as the rotation angle, or torsion angle, of the stiffener cross-section around the longitudinal axis \(x_{1}\). It is noteworthy that if \(w=h\) the first two sequences of (17) have non-trivial limits simultaneously.
We shall now characterize the torsion angle \(\vartheta \). The idea is to show that the cross-sectional displacement field of the stiffener can be approximated by a rigid one. To do so, let us introduce the set of infinitesimal rigid displacements on \(\check{\omega}\):
where ℰ is the Ricci symbol (\(\mathscr{E}_{22}= \mathscr{E}_{33}=0\), \(\mathscr{E}_{23}= -\mathscr{E}_{32}=1\)). Then, \(\mathfrak{R}(\check{\omega})\) is a finite closed subspace of \(W^{1,2}(\check{\omega}, \mathbb{R}^{2})\). We indicate with \(\mathscr{P}\) the projection of \(L^{2}(\check{\omega}, \mathbb{R}^{2})\) onto \(\mathfrak{R}(\check{\omega})\). It can be shown (see [30, Theorem 2.5]) that a two-dimensional Korn inequality holds for all functions \(\mathbf{w}\in W^{1,2}(\check{\omega}, \mathbb{R}^{2})\):
Denoting with \((x_{2}(G), x_{3}(G))=(0, \frac{H}{2})\) the coordinates of the centre of mass of \(\check{\omega}\), we define (with summation convention and \(a,b,c,d\in \{2,3\}\)):
Lemma 8
Let \(\varepsilon ^{k} \check{\mathbf{u}}_{\varepsilon }\) be a sequence satisfying the assumptions of Lemma 7. Then,
Proof
Taking into account (18) and (8), we have
where we have used the fact that one among \(w\) and \(h\) equals \(M\) (while the other, by definition, equals \(m\)), and the fact that \(\varepsilon ^{2M} \leq \varepsilon ^{M+m} \leq \varepsilon ^{2m}\). □
Lemma 9
With the assumptions and notation of Lemmata 7and 8, we have
-
1.
\(\varepsilon ^{k-m}\vartheta _{\varepsilon }\rightharpoonup \vartheta \) in \(L^{2}(\check{\Omega})\);
-
2.
\(\vartheta \) is a function of \(x_{1}\) only;
-
3.
\(\vartheta \in W^{1,2}_{0}((-L,L))\),
where \(\vartheta \) and \(\vartheta _{\varepsilon }\) are defined in (17) and (19), respectively.
Proof
From Lemma 8, we have
Since \((\mathbf{W}\mathscr{P}\check{\mathbf{u}}_{\varepsilon })_{23}=- \vartheta _{\varepsilon }\) by (19), it follows that
thanks to Lemma 8.
By using the fact that \(M+m=h+w\), we can rewrite this inequality as
from which we deduce \(\left \lVert \varepsilon ^{k-m} \vartheta _{\varepsilon }+ \varepsilon ^{k+M} \left (\check{\mathbf{W}}_{\varepsilon } \check{\mathbf{u}}_{\varepsilon }\right )_{23}\right \rVert _{L^{2}( \check{\Omega})} \lesssim \varepsilon ^{m} \). Recalling (17), we conclude that \(\varepsilon ^{k-m} \vartheta _{\varepsilon }\rightharpoonup \vartheta \) in \(L^{2}(\check{\Omega})\), thus proving claim 1.
Claim 2 follows from claim 1, since \(\vartheta _{\varepsilon }\), by definition, does not depend on \(x_{2}\) and \(x_{3}\).
To prove claim 3 we consider a test function \(\psi \in C_{0}^{\infty}(\check{\omega})\), such that \(\int _{\check{\omega}}\psi \mathrm{d}x_{2} \mathrm{d}x_{3} =-\frac{I_{G}(\check{\omega})}{2} \). Taking into account (19), we find (with summation convention):
Setting \(\tilde{\vartheta}_{\varepsilon }:=\frac{\varepsilon ^{k-m}}{I_{G}}\int _{\check{\omega}}\mathscr{E}_{ac} \partial _{a}\psi \check{u}_{c\varepsilon } \mathrm{d}x_{2} \mathrm{d}x_{3} \) and taking into account inequality (20), we deduce
We now show that \(\partial _{1}\tilde{\vartheta}_{\varepsilon }\) is bounded in \(L^{2}\). By definition, \(\mathscr{E}_{ab}\partial _{a} \partial _{b} \psi =0\) everywhere in \(\check{\omega}\) and \(\partial _{a} \psi =0\) on \(\partial \check{\omega}\); therefore, we have
since, by (8), we have \((\mathbf{E} \check{\mathbf{u}}_{\varepsilon })_{2 1}=\varepsilon ^{w}( \check{\mathbf{E}}_{\varepsilon }\check{\mathbf{u}}_{\varepsilon })_{21}\) and \((\mathbf{E} \check{\mathbf{u}}_{\varepsilon })_{3 1}= \varepsilon ^{h}(\check{\mathbf{E}}_{\varepsilon }\check{\mathbf{u}}_{ \varepsilon })_{31}\). Hence, by noticing that one among \(w\) or \(h\) equals \(m\), the remaining one being equal to \(M\), recalling Lemma 2 we deduce that \(\partial _{1}\tilde{\vartheta}_{\varepsilon }\) is bounded in \(L^{2}((-L,L))\). From (21) and Lemma 9 we conclude that \(\tilde{\vartheta}_{\varepsilon }\rightharpoonup \vartheta \) in \(W^{1,2}(\check{\Omega})\). Since, additionally, \(\tilde{\vartheta}_{\varepsilon }(L)=0\), we conclude that \(\tilde{\vartheta}\in W^{1,2}_{0}((-L,L))\), and hence claim 3 is proved. □
Finally, we derive the last junction condition involving the torsion angle \(\vartheta \).
Lemma 10
With the assumptions and notation of Lemma 9, the following equality holds for almost every \(x_{1}\in (-L,L)\)
where the functions \(\hat{\varrho}_{\vartheta}\,:\,(0,1)\times \mathbb{R}^{+}\to \{0,1\}\) and \(\check{\varrho}_{\vartheta}\,:\,(0,1)\times \mathbb{R}^{+}\to \{0,1 \}\) are defined by
Proof
Taking the derivative with respect to \(x_{3}\) of the second of (10), one finds
By multiplying each member by \(\varepsilon ^{-m}\), one obtains
which can be rearranged as
for every \((x_{1}, x_{2}, x_{3})\in \Omega _{J}\). In deriving (24), we have used the identity \((\check{\mathbf{E}} \check{\mathbf{u}}_{\varepsilon })_{32} = \varepsilon ^{h+w}(\check{\mathbf{E}}_{\varepsilon } \check{\mathbf{u}}_{\varepsilon })_{32}\) (see (8)) and the identity \(k+1-h-m+h+w =k+1-h+M\) since, by definition, \(h+w=M+m\).
We now use some arguments that can be found in the monograph by Le Dret [24, Sect. 4].
From Lemma 1, we know that \(\partial _{3} \hat{u}_{2\varepsilon }\) is bounded in \(L^{2}(\hat{\Omega})\), which implies that \(\partial _{3} \hat{u}_{2\varepsilon }\) is bounded in \(L^{2}((-W,W), L^{2}(\omega _{13}))\), where we have set \(\omega _{13}:=(-L,L)\times (0,T)\). Similarly, from Lemma 7 and (17), we know that \(\varepsilon ^{k-m}\partial _{2} \check{u}_{3\varepsilon }\) is bounded in \(L^{2}(\check{\Omega})\), which implies that \(\varepsilon ^{k-m}\partial _{2} \check{u}_{3\varepsilon }\) is bounded in \(L^{2}((0,T), L^{2}(\omega _{12}))\), where we have set \(\omega _{12}:=(-L,L)\times (-W,W)\).
We now prove that \(\partial _{2}\partial _{3} \hat{u}_{2\varepsilon }\) is bounded in \(L^{2}((-W,W), W^{-1,2}(\omega _{13}))\) and that \(\varepsilon ^{k-m}\partial _{3}\partial _{2} \check{u}_{3 \varepsilon }\) is bounded in \(L^{2}((0,T), W^{-1,2}(\omega _{12}))\).
For every function \(\psi _{0}\in W^{1,2}_{0}(\omega _{13})\), we have
hence
and
where we have used the compactness result of Lemma 1. Hence, \(\partial _{2}\partial _{3} \hat{u}_{2\varepsilon }\) is bounded in \(L^{2}((-W,W), W^{-1,2}(\omega _{13}))\).
Similarly, for every function \(\psi _{0}\in W^{1,2}_{0}(\omega _{12})\), we have
where we have used (8). Arguing as for \(\partial _{2}\partial _{3} \hat{u}_{2\varepsilon }\), and using the compactness result of Lemma 2 we deduce that \(\partial _{3}\partial _{2} \check{u}_{3\varepsilon }\) is bounded in \(L^{2}((0,T), W^{-1,2}(\omega _{12}))\), since either \(-m+2h = h\) (\(>0\)) or \(-m+2h = 2M-m\) (\(> 0\)).
To sum up, we have:
From [24, Lemma 1.3], we have that \(W^{1,2}((-W,W), X)\), with \(X\) any separable Hilbert space, is continuously embedded in the Holder space \(C^{0,1/2}((-W,W), X)\). Thus, the following estimates (which represent a generalization of Lemmata 3 and 4) hold
We multiply both members of (24) by three functions \(\varphi _{i}\), whose variable is \(x_{i}\), such that \(\prod _{i=1}^{3} \varphi _{i} \in C_{0}^{\infty}(\Omega _{J})\), and we integrate over \(\Omega _{J}\):
The left-hand side of (27) can be rearranged as
from which we deduce that
where the last inequality follows by using (26) and (25). Thus,
since \(\partial _{3} \hat{u}_{2}(x_{1},0, x_{3}) = -\partial _{2} \hat{\xi}_{3}(x_{1},0)\).
The first integral of the right-hand side of (27) is of order \(O(\varepsilon ^{M+1-h})\), by the compactness result of Lemma 2, while the second integral can be handled as the left-hand side of (27), to find
Since, by Lemma 7, \(\varepsilon ^{k-m} \partial _{2} \check{u}_{3\varepsilon } \rightharpoonup \vartheta \) in \(L^{2}(\check{\Omega})\) from (25) we deduce that \(\varepsilon ^{k-m} \partial _{2} \check{u}_{3\varepsilon } \rightharpoonup \vartheta \) also in \(H^{1}((0,T), W^{-1,2}(\omega _{12}))\). This in particular implies that
from which we deduce that
Rewriting (27) as
noticing that \(k+w-m+h-1=k+M-1\), and passing to the limit, by taking into account (28) and (29), we conclude the proof. □
5.3 Different Regimes for the Limit Junction Conditions
Considering (11) and (22), ten different cases are possible for the joining conditions, depending on the values of \(w\) and \(h\). The general scenario is graphically depicted in Fig. 2, whereby the four lines represents the conditions \(\hat{\varrho}_{i}=\check{\varrho}_{i}=1\) and \(\hat{\varrho}_{\vartheta}=\check{\varrho}_{\vartheta}=1\). The possible cases have been labeled with letters from \(\mathtt{A}\) to \(\mathtt{J}\). In particular, we have five areal regions (\(\mathtt{A}-\mathtt{E}\)) and five segment-like domains (\(\mathtt{F}- \mathtt{J}\)).
Analyzing Fig. 2, it is noteworthy that for no combination of \(w\) and \(h\) (recall that \(w\) and \(h\) are strictly positive) the four joining conditions in (11) and (22) are non-trivial at the same time. The fictitious intersection, where all joining conditions would be non-trivial at once, is at point \((w=0, h=1)\). This corresponds to a non scaling of the stiffener in direction \(x_{2}\) and to scaling with the same velocity the plate thickness and the stiffener dimension along \(x_{3}\). This scaling leads the stiffener to degenerate into a prismatic portion of the plate: thus, the problem is equivalent to the asymptotic scaling of only a plate.
6 The Limit Stored Energy
In this Section, we characterize the limit stored energy, and we will prove our main \(\Gamma \)-convergence result.
To begin, in the next two lemmata we characterize some components of the limit strain.
Lemma 11
With the assumptions and notations of Lemma 1, we have, up to subsequences, in the weak \(L^{2}(\hat{\Omega})\) topology,
Proof
It is sufficient to notice that \(\left (\hat{\mathbf{E}}_{\varepsilon }\hat{\mathbf{u}}_{\varepsilon } \right )_{\alpha \beta} = \frac{\partial _{\alpha }\hat{u}_{\beta \varepsilon } + \partial _{\beta }\hat{u}_{\alpha \varepsilon }}{2}\) and to apply Lemma 1. □
Lemma 12
With the assumptions and notation of Lemma 7we have, up to subsequences, in the weak \(L^{2}(\check{\Omega})\) topology:
where \(\eta _{13}\in L^{2}(\check{\Omega})\) is independent of \(x_{2}\), \(\eta _{12}\in L^{2}(\check{\Omega})\) is independent of \(x_{3}\), and \(\Phi \in L^{2}((-L,L), W^{1,2}(\check{\omega}))\) is the so-called torsion function, solution of the following boundary value problem:
where \(\textbf{n}\) is the unit outer normal to \(\partial \check{\omega}\) and \(\Delta (\cdot )\) is the Laplacian operator.
Proof
To prove (31), it is sufficient to notice that \(\varepsilon ^{k} \left (\check{\mathbf{E}}_{\varepsilon } \check{\mathbf{u}}_{\varepsilon }\right )_{11} = \varepsilon ^{k} \partial _{1} \check{u}_{1\varepsilon }\) and to apply Lemma 2.
We have already deduced that, up to subsequences, \(\varepsilon ^{k} \left (\check{\mathbf{E}}_{\varepsilon } \check{\mathbf{u}}_{\varepsilon }\right )_{1a} \rightharpoonup \check{E}_{1a}\) in \(L^{2}(\check{\Omega})\). To characterize \(\check{E}_{1a}\), note that
in the sense of distributions. Hence, for \(\psi \in C_{0}^{\infty}(\check{\Omega})\), we have
We note that, in \(L^{2}(\check{\Omega})\),
Passing to the limit in (35), we find
Thus,
and
To conclude this part of the proof, we set \(\eta _{13}:=\gamma _{13}\) and \(\eta _{12}:=\gamma _{12} - \frac{H}{2}\partial _{1} \vartheta \).
For the case \(M=h=w\), in [16, Lemma 4.1] it is shown that there exists a function \(\Phi \in L^{2}((-L,L), W^{1,2}(\check{\omega}))\) satisfying the boundary value problem (34) and such that it can be written \(\check{E}_{13} = \frac{1}{2}(\partial _{3}\Phi + x_{2})\partial _{1} \vartheta \) and \(\check{E}_{12} = \frac{1}{2}(\partial _{2}\Phi - (x_{3} - H/2)) \partial _{1}\vartheta \). \(\Phi \) is commonly known in Mechanics as torsion function. □
Since we characterized only some components of the limit strain, the others will be defined by minimization of the stored energy density. In fact, the convergences stated in Lemmata 1 and 2 determine only some components of the limit strain energy, whilst the others remain undetermined. The minimization problem will select them in such a way to render the energy as small as possible. For this reason, we define
To perform an explicit computation, we hereafter consider a linear homogeneous isotropic material. It can be shown (see, for instance, [27, Article 68]) that for this kind of materials the stored energy density admits the unique representation
where \(\mu >0\) and \(\lambda >-\frac{2}{3}\mu \) are called Lamé parameters. The energy density (37) is also known as Saint Venant-Kirchhoff’s.
A direct computation shows that with
we have
where \(\mathsf{E}:=\frac{\mu (2\mu +3\lambda )}{\mu +\lambda}\) is the Young modulus and \(\nu :=\frac{\lambda}{2(\lambda +\mu )}\) is the Poisson ratio. In particular, for the stiffener, we have the following characterization of the stored-energy density:
Remark 1
The characterization (40) of the stored-energy density for the stiffener, combined with the ten regimes provided by all the possible junction conditions (see Sect. 5.3 and Fig. 2), results into twenty-three different limit problems, as shown in Fig. 3. In particular, we have nine cases (i.e., \(\mathtt{A_{3}}\), \(\mathtt{F_{3}}\), \(\mathtt{B_{3}}\), \(\mathtt{G_{3}}\), \(\mathtt{C_{3}}\), \(\mathtt{I}\), \(\mathtt{D}\), \(\mathtt{J}\), \(\mathtt{E_{3}}\)) for \(M=w\neq h\), seven cases (i.e., \(\mathtt{A_{1}}\), \(\mathtt{F_{1}}\), \(\mathtt{B_{1}}\), \(\mathtt{G_{1}}\), \(\mathtt{C_{1}}\), \(\mathtt{H}\), \(\mathtt{E_{1}}\)) for \(M=h\neq w\) and seven cases (i.e., \(\mathtt{A_{2}}\), \(\mathtt{F_{2}}\), \(\mathtt{B_{2}}\), \(\mathtt{G_{2}}\), \(\mathtt{C_{2}}\), \(\mathtt{K}\), \(\mathtt{E_{2}}\)) for \(M=h=w\).
For future convenience, let us introduce the set of the triads of the limit admissible displacements
the set
and the extension of the stored energy \(\mathscr{W}(\hat{\mathbf{u}},\check{\mathbf{u}},\vartheta ):KL_{0}( \hat{\Omega})\times BN_{0}(\check{\Omega})\times W^{1,2}_{0}((-L,L)) \to [0,\infty )\) defined by
where
and
Theorem 1
As \(\varepsilon \downarrow 0\), the sequence of functionals \(\mathscr{W}_{\varepsilon }\left (\hat{\mathbf{u}}_{\varepsilon }, \varepsilon ^{k}\check{\mathbf{u}}_{\varepsilon } \right )\) \(\Gamma \)-converges to the functional \(\mathscr{W}(\hat{\mathbf{u}}, \check{\mathbf{u}}, \vartheta )\) in the following sense:
-
(a)
(Liminf inequality) for every sequence \(\varepsilon _{n}\downarrow 0\) and for every sequence \(\{ \hat{\mathbf{u}}_{\varepsilon _{n}}, \varepsilon ^{k}_{n} \check{\mathbf{u}}_{\varepsilon _{n}} \}\subset \mathscr{A}_{ \varepsilon _{n}}\) such that
$$ \begin{aligned} &\hat{\mathbf{u}}_{\varepsilon _{n}}\rightharpoonup \hat{\mathbf{u}} & \textit{ in } W^{1,2}(\hat{\Omega}, \mathbb{R}^{3}), \\ &\varepsilon ^{k}_{n} \check{ \mathbf{u}}_{\varepsilon _{n}} \rightharpoonup \check{\mathbf{u}} &\textit{ in } W^{1,2}(\check{\Omega}, \mathbb{R}^{3}), \\ & \varepsilon ^{k+M}_{n}\left (\check{\mathbf{W}}_{\varepsilon _{n}} \check{\mathbf{u}}_{\varepsilon _{n}}\right )_{32}\rightharpoonup \vartheta &\textit{ in } L^{2}(\check{\Omega}), \end{aligned} $$we have
$$ \liminf \limits _{n\rightarrow \infty} \mathscr{W}_{\varepsilon _{n}}( \hat{\mathbf{u}}_{\varepsilon _{n}}, \varepsilon ^{k}_{n} \check{\mathbf{u}}_{\varepsilon _{n}})\geq \mathscr{W}( \hat{\mathbf{u}}, \check{\mathbf{u}}, \vartheta ); $$ -
(b)
(Existence of a recovery sequence) assume either
-
i)
case \(\mathtt{G_{3}}\): \(k=0\), \(h+w=1\), \(1/2< M=w<1\), and \(0< m=h<1/2\);
-
ii)
case \(\mathtt{A_{1}}\): \(k<0\), \(k+w<0\), \(k+h-1<0\), \(M=h\), and \(m=w\);
-
iii)
case \(\mathtt{E_{3}}\): \(k>0\), \(k+w>0\), \(k+h-1>0\), \(k+M-1>0\), \(M=w\).
For every sequence \(\varepsilon _{n}\downarrow 0\) and for every \(\left (\hat{\mathbf{u}}, \check{\mathbf{u}}, \vartheta \right )\in \mathscr{A}\) there exists a sequence \(\{ \hat{\mathbf{u}}_{\varepsilon _{n}}, \varepsilon ^{k}_{n} \check{\mathbf{u}}_{\varepsilon _{n}} \}\subset \mathscr{A}_{ \varepsilon _{n}}\), called recovery sequence, such that
$$ \begin{aligned} &\hat{\mathbf{u}}_{\varepsilon _{n}}\rightharpoonup \hat{\mathbf{u}} & \textit{ in } W^{1,2}(\hat{\Omega}, \mathbb{R}^{3}), \\ &\varepsilon ^{k}_{n} \check{ \mathbf{u}}_{\varepsilon _{n}} \rightharpoonup \check{\mathbf{u}} &\textit{ in } W^{1,2}(\check{\Omega}, \mathbb{R}^{3}), \\ & \varepsilon ^{k+M}_{n}\left (\check{\mathbf{W}}_{\varepsilon _{n}} \check{\mathbf{u}}_{\varepsilon _{n}}\right )_{32}\rightharpoonup \vartheta &\textit{ in } L^{2}(\check{\Omega}), \end{aligned} $$and
$$ \lim _{n\rightarrow \infty} \mathscr{W}_{\varepsilon _{n}}( \hat{\mathbf{u}}_{\varepsilon _{n}}, \varepsilon ^{k}_{n} \check{\mathbf{u}}_{\varepsilon _{n}})= \mathscr{W}(\hat{\mathbf{u}}, \check{\mathbf{u}}, \vartheta ). $$ -
i)
Proof
(a) Liminf inequality We start by proving the weak sequential lower semicontinuity of the family of stored energy functionals. Without loss of generality, we can suppose that \(\liminf _{n\rightarrow \infty} \mathscr{W}_{\varepsilon _{n}}( \hat{\mathbf{u}}_{\varepsilon _{n}}, \varepsilon ^{k}_{n} \check{\mathbf{u}}_{\varepsilon _{n}}) < \infty \) otherwise there is nothing to prove. Hence, \(\sup _{n} \mathscr{W}_{\varepsilon _{n}}(\hat{\mathbf{u}}_{ \varepsilon _{n}}, \varepsilon ^{k}_{n} \check{\mathbf{u}}_{ \varepsilon _{n}}) < \infty \), and Lemmata 1, 2, 7, 11, and 12 hold. Taking into account the decomposition given in (9), we need to show the weak sequential lower semicontinuity of the stored energy contributions due to the plate and the stiffener, i.e.,
for every sequence \(\hat{\mathbf{u}}_{\varepsilon _{n}} \rightharpoonup \hat{\mathbf{u}}\) in \(W^{1,2}(\hat{\Omega}, \mathbb{R}^{3})\) and \(\varepsilon _{n}^{k}\check{\mathbf{u}}_{\varepsilon _{n}} \rightharpoonup \check{\mathbf{u}}\) in \(W^{1,2}(\check{\Omega}, \mathbb{R}^{3})\), respectively.
It is easy to prove, by an application of Fatou Lemma, that \(\hat{\mathscr{W}}_{\varepsilon _{n}}(\hat{\mathbf{u}}_{\varepsilon _{n}})\) is sequential lower semicontinuous with respect to the strong \(W^{1,2}(\hat{\Omega}, \mathbb{R}^{3})\) topology. However, the convexity of the integrand function \(\hat{f}(\cdot )\) is sufficient (yet not necessary in the vector-valued case) to ensure the sequential lower semicontinuity also with respect to the weak \(W^{1,2}(\hat{\Omega}, \mathbb{R}^{3})\) topology (see, for instance, [9, Proposition 1.18], [34, Theorem 2.6]). By using (36), we infer
Similarly, for the stiffener, we infer
and from Lemma 12, we have
A direct computation shows that, for the latter two cases, the estimation is independent from \(\eta _{12}\) and \(\eta _{13}\). We provide the computation for the case \(M=w\neq h\) only, the other one being conceptually similar. We have
since the integral of \(x_{2} \partial _{1} \vartheta \eta _{13}\) is zero because \(\eta _{13}\) does not depend on \(x_{2}\) by Lemma 12. Consequently, we have that
(b) Existence of a recovery sequence
case i) We start by proving case i). So, let \(k=0\), \(h+w=1\), \(1/2< M=w<1\), and \(0< m=h<1/2\).
Let \((\hat{\mathbf{u}},\check{\mathbf{u}},\vartheta )\in \mathscr{A}\). From the definition of \(\mathscr{A}\) we have that
and
for appropriate functions \(\hat{\pmb{\xi}}\) and \(\check{\pmb{\xi}}\). With the values in consideration of \(k\), \(h\) and \(w\), Lemmata 5 and 10 imply that
To start, we assume \(\hat{\xi}_{i} \in C^{\infty}((-L,L)\times (-L,L))\), and \(\check{\xi}_{3}, \vartheta \in C^{\infty}((-L,L))\). Moreover, we assume that all these functions have value zero in a neighborhood of \(x_{1}=L\) and, in view of (42), we may also assume that \(\hat{\xi}_{3}\) is equal to zero in a neighborhood of \((-L,L)\times \{0\}\).
Let the sequences \(\hat{\mathbf{u}}^{\flat}_{\varepsilon }\) and \(\check{\mathbf{u}}^{\flat}_{\varepsilon }\) be defined by:
and
with
where \(\check{\psi}(x_{3}):[0,H]\to [0,1]\) is the continuous piece-wise affine function taking value equal to 0 in \([0,T\varepsilon ^{1-h}]\), 1 in \([2T\varepsilon ^{1-h}, H]\), and being affine in \([T\varepsilon ^{1-h},2T\varepsilon ^{1-h}]\), whilst \(\hat{\psi}(x_{2}):[-L, L]\to [0,1]\) is the continuous piece-wise affine function taking value equal to 0 in \([-\varepsilon ^{w} W, \varepsilon ^{w} W]\), 1 in \([-L, -2\varepsilon ^{w} W] \cup [2\varepsilon ^{w} W, L]\), and being affine in \([\varepsilon ^{w} W, 2\varepsilon ^{w} W]\) and \([-2\varepsilon ^{w} W, -\varepsilon ^{w} W]\).
Note that the sequences \(\hat{\mathbf{u}}^{\flat}_{\varepsilon }\), \(\check{\mathbf{u}}^{\flat}_{\varepsilon }\) are continuous at the interfaces, i.e., at \(x_{2}=\pm \varepsilon ^{w} W\) and \(x_{2}=\pm 2\varepsilon ^{w} W\). Due to the smoothness of \(\hat{\pmb{\xi}}\), \(\check{\pmb{\xi}}\), and \(\vartheta \), we can conclude that \(\hat{\mathbf{u}}^{\flat}_{\varepsilon }\), \(\check{\mathbf{u}}^{\flat}_{\varepsilon }\) are (at least) of class \(W^{1,2}\). It can be easily verified that the pair \((\hat{\mathbf{u}}^{\flat}_{\varepsilon }, \check{\mathbf{u}}^{\flat}_{ \varepsilon })\) satisfies the boundary conditions at \(x_{1} = L\) and the junction conditions (10) for \(\varepsilon \) small enough, since \(\hat{\xi}_{3}\) is equal to zero in a neighborhood of \((-L,L)\times \{0\}\).
Since \(|\partial _{2}\hat{\psi}(x_{2})|\lesssim \varepsilon ^{-w}\), \(|\partial _{2}(x_{2}\hat{\psi}(x_{2}))|\le 3\) for every \(x_{2}\), and since \(|\partial _{3}\check{\psi}(x_{3})|\lesssim \varepsilon ^{h-1}\), \(|\partial _{3}(x_{3}\check{\psi}(x_{3}))|\le 3\) for every \(x_{3}\), it follows that
It is easily checked that
where (see Eq. (38))
Let now (see Eq. (38))
From the convergence \(\hat{\mathbf{u}}^{\flat}_{\varepsilon }\to \hat{\mathbf{u}}\) in \(W^{1,2}(\hat{\Omega}, \mathbb{R}^{3})\) it immediately follows that \((\hat{\mathbf{E}}_{\varepsilon }\hat{\mathbf{u}}^{\flat}_{ \varepsilon })_{\alpha \beta}\to (\hat{\pmb{Z}})_{\alpha \beta}\) in \(L^{2}(\hat{\Omega})\). A short computation shows that the component 13 is
and recalling that \(h+w=1\) we deduce that
from which it follows that \((\hat{\mathbf{E}}_{\varepsilon }\hat{\mathbf{u}}^{\flat}_{ \varepsilon })_{13}\to 0\) in \(L^{2}(\hat{\Omega})\). With similar arguments we arrive at
The strong convergence of the rescaled strains leads to
where we have used the definition (36) and the identity (39).
Thus, under the regularity assumptions made, \(\{\hat{\mathbf{u}}^{\flat}_{\varepsilon _{n}}, \check{\mathbf{u}}^{ \flat}_{\varepsilon _{n}}\}\) is a recovery sequence. The general case \(\{\hat{\mathbf{u}}^{\flat}_{\varepsilon _{n}}, \check{\mathbf{u}}^{ \flat}_{\varepsilon _{n}}\}\) is achieved by approximating \((\hat{\mathbf{u}},\check{\mathbf{u}},\vartheta )\) in \(\mathscr{A}\) by a sequence from \(\mathscr{A} \cap \left (C^{\infty}(\hat{\Omega}, \mathbb{R}^{3}) \times C^{\infty}(\check{\Omega}, \mathbb{R}^{3}) \times C^{\infty}((-L,L)) \right )\) that strongly converges to \((\hat{\mathbf{u}},\check{\mathbf{u}},\vartheta )\) in \(W^{1,2}(\hat{\Omega}, \mathbb{R}^{3})\times W^{1,2}(\check{\Omega}, \mathbb{R}^{3})\times W^{1,2}((-L,L))\), concluding with a standard diagonal argument.
case ii) We now prove case ii). Let \(k<0\), \(k+w<0\), \(k+h-1<0\), \(M=h\), and \(m=w\). Let \((\hat{\mathbf{u}},\check{\mathbf{u}},\vartheta )\in \mathscr{A}\). From the definition of \(\mathscr{A}\) we have that
and
for appropriate functions \(\hat{\pmb{\xi}}\) and \(\check{\pmb{\xi}}\). In the case under study, Lemmata 5 and 10 state that
We first build the recovery sequence assuming that \(\hat{\xi}_{i} \in C^{\infty}((-L,L)\times (-L,L))\), and \(\check{\xi}_{i}, \vartheta \in C^{\infty}(-L,L)\). Moreover, we assume that all these functions have value zero in a neighborhood of \(x_{1}=L\), and in view of (43), that \(\hat{\xi}_{i}\) are equal to zero in a neighborhood of \((-L,L)\times \{0\}\).
To define the recovery sequence for the stiffener, \(\check{\mathbf{u}}^{\flat}_{\varepsilon }\), we shall use the continuous piece-wise affine function \(\check{\psi}(x_{3}):[0,H]\to [0,1]\) defined as in the previous case. We set
Since \(|\partial _{3}(x_{3}\check{\psi}(x_{3})) |\le 3\) for every \(x_{3}\), it follows that
and
where (see Eq. (38))
The recovery sequence for the plate \(\hat{\mathbf{u}}^{\flat}_{\varepsilon }\) is defined by
Since \(\hat{\xi}_{i}\) are equal to zero in a neighborhood of \((-L,L)\times \{0\}\), for \(\varepsilon \) small enough the junction conditions (10) are automatically satisfied.
For \(x_{3}\in [0,T]\) we have that
and since \(-k\), \(1-h-k\), and \(-k-w\) are strictly greater than zero, it follows that
A tedious calculation then shows that
where (see Eq. (38))
The proof is concluded as in case i)
case iii) We finally prove case iii). Let \(k>0\), \(k+w>0\), \(k+h-1>0\), \(k+M-1>0\) and \(M=w\). In this case, from Lemmata 5 and 10 we deduce that \(\check{\xi}_{i}=0\) and \(\vartheta =0\). As a consequence, the limit displacement \(\hat{\textbf{u}}\) as well as the limit strain tensor \(\check{\textbf{E}}\) (and \(\check{\textbf{Z}}\)) of the beam are identically equal to zero.
To start, we assume \((\hat{\mathbf{u}},\textbf{0},0)\in \mathscr{A} \cap \left (C^{\infty}( \hat{\Omega}, \mathbb{R}^{3}) \times C^{\infty}(\check{\Omega}, \mathbb{R}^{3}) \times C^{\infty}((-L,L)) \right )\) and to have value zero in a neighborhood of \(x_{1}=L\). From the definition of \(\mathscr{A}\), there exist smooth functions \(\hat{\pmb{\xi}}\), characterizing the \(KL_{0}\) displacement type. We recall that, in this particular case, \(\check{\xi}_{i}=\vartheta =0\). Let us introduce the sequences \(\hat{\mathbf{u}}^{\flat}_{\varepsilon }\) and \(\varepsilon ^{k}\check{\mathbf{u}}^{\flat}_{\varepsilon }\) defined as follows:
It can be easily verified that the pair \((\hat{\mathbf{u}}^{\flat}_{\varepsilon }, \varepsilon ^{k} \check{\mathbf{u}}^{\flat}_{\varepsilon })\) satisfies the boundary conditions at \(x_{1} = L\), the junction conditions (10), and verifies the following convergences
with \(\hat{\pmb{Z}}\) defined as in (46).
The proof is concluded as in case i) □
Remark 2
As it can be noticed, the construction of the recovery sequence is quite cumbersome, and general construction rules do not exist. For this reason, we decided to provide the recovery sequence for two “extreme” cases (ii and iii) and for an “intermediate” one (i), see also Fig. 3. As a consequence, in the statement of Theorem 1 we have explicitly considered, in the part concerning the existence of a recovery sequence, only three out of the twenty-three possible cases. We stress the fact that the given Liminf inequality proof is valid for every choice of the scaling parameters (in the admissible ranges), i.e., for all the twenty-three cases.
We did not check all the twenty-three cases, but in all the presented cases we constructed a recovery sequence. We are therefore confident that Theorem 1 holds for all the twenty-three cases, even if it is stated for only three.
We can explicitly write the expression of the limit stored-energy functional. Considering the case i) of Theorem 1 for the sake of simplicity, we have:
where \(A :=\int _{\check{\omega}} \mathrm{d}x_{2} \mathrm{d}x_{3} = 2WH\) is the cross-sectional area of the stiffener, \(S_{2} :=\int _{\check{\omega}} x_{3} \mathrm{d}x_{2} \mathrm{d}x_{3} = WH^{2} \) is the static moment with respect to the \(x_{2}\) axis, \(J_{2} :=\int _{\check{\omega}} x_{3}^{2} \mathrm{d}x_{2}\mathrm{d}x_{3}=\frac{2}{3}WH^{3}\) is the moment of inertia with respect to the \(x_{2}\) axis, \(J_{t} :=4\int _{\check{\omega}} x_{2}^{2} \mathrm{d}x_{2}\mathrm{d}x_{3}=\frac{8}{3}HW^{3}\) is the torsional moment of inertia. Similarly, we have
where we have posed
7 Strong Convergence of Minima and Minimizers
So far, we just considered the stored energy functional. However, the equilibrium problem is ruled by the total energy \(\widetilde{\mathscr{F}}_{\varepsilon }\), which is the sum of the stored energy \(\widetilde{\mathscr{W}}_{\varepsilon }\) minus the work done by external loads \(\widetilde{\mathscr{L}}_{\varepsilon }\)
where the latter is assumed to be
and where \(\mathbf{b}\) belongs to \(L_{2}(\Omega _{\varepsilon }, \mathbb{R}^{3})\). After the scaling of Sect. 4, we have
where we have posed
In particular, we consider loads of the form
where \(\hat{b}_{i} \in L^{2}(\hat{\Omega})\), \(\check{b}_{i} \in L^{2}(\check{\Omega})\) and \(m(x_{1})\in L^{2}((-L,L))\).
It is easy to see that the external loads contributions continuously converge in the sense of the convergence used in Theorem 1 to the limit functionals
In the next theorem, we show that the external loads do not impact on our \(\Gamma \)-limit result. This is the reason why we focused only on the stored energy in the previous part of the paper.
Theorem 2
As \(\varepsilon \downarrow 0\), the sequence of functionals \(\mathscr{F}_{\varepsilon }(\hat{\mathbf{u}}_{\varepsilon }, \varepsilon ^{k} \check{\mathbf{u}}_{\varepsilon }):=\mathscr{W}_{\varepsilon }(\hat{\mathbf{u}}_{\varepsilon }, \varepsilon ^{k} \check{\mathbf{u}}_{\varepsilon }) - \mathscr{L}_{ \varepsilon }(\hat{\mathbf{u}}_{\varepsilon }, \varepsilon ^{k} \check{\mathbf{u}}_{\varepsilon }) \) \(\Gamma \)-converges to the limit functional \(\mathscr{F}(\hat{\mathbf{u}}, \check{\mathbf{u}}, \vartheta ) :=\mathscr{W}(\hat{\mathbf{u}}, \check{\mathbf{u}}, \vartheta ) - \mathscr{L}(\hat{\mathbf{u}}, \check{\mathbf{u}}, \vartheta )\) in the sense specified in Theorem 1.
Proof
The proof follows from the well-known stability of \(\Gamma \)-convergence with respect to continuous, real-valued perturbations (see [9, Proposition 6.20]). □
We conclude the paper by showing that the sequence of minima and minimizers from the sequence of three-dimensional total energies converges to the unique solution of the variational \(\Gamma \)-limit problem. From a mechanical point of view, it can be interpreted as follows: the equilibrium configurations of the sequence of three-dimensional problems converge towards the equilibrium configuration provided by the \(\Gamma \)-limit functional minimization. Moreover, we show that the convergence is actually strong.
Theorem 3
As \(\varepsilon \downarrow 0\), the sequence of three-dimensional minimization problems for the functional \(\mathscr{F}_{\varepsilon }(\hat{\textbf{u}}_{\varepsilon }, \varepsilon ^{k}\check{\textbf{u}}_{\varepsilon }):=\mathscr{W}_{\varepsilon }(\hat{\textbf{u}}_{\varepsilon }, \varepsilon ^{k}\check{\textbf{u}}_{\varepsilon })-\mathscr{L}_{ \varepsilon }(\hat{\textbf{u}}_{\varepsilon }, \varepsilon ^{k} \check{\textbf{u}}_{\varepsilon })\),
has a unique solution for each term in the sequence. The solution is denoted by \((\hat{\mathbf{u}}^{\#}_{\varepsilon }, \varepsilon ^{k} \check{\mathbf{u}}^{\#}_{\varepsilon })\).
Similarly, the minimization problem for the \(\Gamma \)-limit functional \(\mathscr{F}(\hat{\pmb{u}}, \check{\pmb{u}}, \vartheta ):= \mathscr{W}(\hat{\pmb{u}}, \check{\pmb{u}}, \vartheta )- \mathscr{L}( \hat{\pmb{u}}, \check{\pmb{u}}, \vartheta )\),
admits a unique solution denoted by \((\hat{\pmb{u}}^{\#}, \check{\pmb{u}}^{\#}, \vartheta ^{\#})\). Moreover, we have that
-
1.
\(\hat{\mathbf{u}}^{\#}_{\varepsilon } \to \hat{\mathbf{u}}^{\#} \textit{ in } W^{1,2}(\hat{\Omega}, \mathbb{R}^{3})\);
-
2.
\(\varepsilon ^{k} \check{\mathbf{u}}^{\#}_{\varepsilon } \to \check{\mathbf{u}}^{\#} \textit{ in } W^{1,2}(\check{\Omega}, \mathbb{R}^{3})\);
-
3.
\(\varepsilon ^{k+M} \left (\check{\mathbf{W}}_{\varepsilon } \check{\mathbf{u}}^{\#}_{\varepsilon }\right )_{32} \to \vartheta ^{ \#} \textit{ in } L^{2}(\check{\Omega})\);
-
4.
\(\mathscr{F}_{\varepsilon }(\hat{\mathbf{u}}^{\#}_{\varepsilon }, \varepsilon ^{k} \check{\mathbf{u}}^{\#}_{\varepsilon }) \textit{ converges to } \mathscr{F}(\hat{\mathbf{u}}^{\#}, \check{\mathbf{u}}^{\#}, \vartheta ^{\#})\).
Proof
The existence of a solution for problems (49), (50) can be proved through the Direct Method of the Calculus of Variations; the uniqueness follows from the strict convexity of the functionals \(\mathscr{F}_{\varepsilon }\) and ℱ.
From Theorem 2, Propositions 6.8 and 8.16 (lower-semicontinuity of sequential \(\Gamma \)-limits), Theorem 7.8 (coercivity of \(\Gamma \)-limits) and Corollary 7.24 (convergence of minima and minimizer) of [9], it follows that the weak convergence counterpart of points 1, 2, 3 is satisfied, and that point 4 is also proved. To show that the convergence is actually strong, we adapt some arguments proposed in [14, 15].
Let us denote by \(\mathbf{a}_{\varepsilon }\) the approximate minimizer of problem (50), defined as the recovery sequence(s) appearing in Theorem 1, but with \((\hat{\pmb{\xi}}, \check{\pmb{\xi}}, \vartheta )\) replaced by \((\hat{\pmb{\xi}}^{\#}, \check{\pmb{\xi}}^{\#}, \vartheta ^{\#})\), related to the pair \((\hat{\mathbf{u}}^{\#}, \check{\mathbf{u}}^{\#})\). By part (b) of Theorem 1 and by Theorem 2 we have
In particular,
As a preliminary observation, quadratic forms (37) satisfy the identity
for every \(\mathbf{A}\), \(\mathbf{U} \in \mathrm{Sym}\). By the coercivity condition (2), we obtain the following inequality:
Then, we have
since, \(\hat{\chi}_{\varepsilon },\,\check{\chi}_{\varepsilon }\geq \frac{1}{2}\). For brevity sake, we introduce the following notation (to be specialized for the plate and the stiffener with the usual symbols and ):
so that (52) rewrite as
To start, we prove that the first integral appearing in the right hand side of both of (52) tends to zero in the limit of \(\varepsilon \downarrow 0\). The integrands of these two integrals rewrite as
It follows by part (b) of Theorem 1 that
with \(\hat{\pmb{Z}}\) and \(\check{\pmb{Z}}\) defined as in (39).
By Lemma 1, Lemma 2 and (54) we have that \(\hat{\pmb{\Delta}}_{\varepsilon }\) and \(\varepsilon ^{k}\check{\pmb{\Delta}}_{\varepsilon }\) are bounded in \(L^{2}(\hat{\Omega}, \mathbb{R}^{3\times 3})\) and \(L^{2}(\check{\Omega}, \mathbb{R}^{3\times 3})\), respectively. Thus, from (54) and the structure of \(\hat{\pmb{Z}}\) and \(\check{\pmb{Z}}\), we deduce that
From (4), (7), and (54), it follows that \(\hat{\Delta}_{\alpha \beta}\rightharpoonup 0\) in \(L^{2}(\hat{\Omega})\) and that \(\varepsilon ^{k}\check{\Delta}_{11}\rightharpoonup 0\) in \(L^{2}(\check{\Omega})\), and therefore
From Lemma 12, it also follows that, up to subsequences,
in \(L^{2}(\check{\Omega})\), where \(\Phi ^{\#}\), \(\eta _{12}^{\#}\) and \(\eta _{13}^{\#}\) are specified in the lemma. By (54),
in \(L^{2}(\check{\Omega})\). In any case,
Let \(\hat{\Delta}_{33}\) be the limit in the weak \(L^{2}(\hat{\Omega})\) topology of \(\hat{\Delta}_{33\varepsilon }\), and \(\check{\Delta}_{aa}\) be the limit in the weak \(L^{2}(\check{\Omega})\) topology of \(\varepsilon ^{k}\check{\Delta}_{aa\varepsilon }\). Summarizing, we have
because of the relationships between elastic moduli (\(\mathsf{E}\), \(\nu \)) and Lamé constants (\(\lambda \), \(\mu \)) nullify identically the integrand functions. Hence, considering (51) and (52), we have shown that
By applying Korn inequality, we also have that
From which points 1 and 2 follow.
Furthermore, by (55) and Lemma 7, we have
that implies that
in \(L^{2}(\check{\Omega})\). Hence, also point 3 is proven. □
Remark 3
Being confident that the \(\Gamma \)-convergence result of Theorem 1 can be extended to all the twenty-three cases, Theorem 2 actually assesses the strong convergence of minima and minimizers for all such cases.
References
Acerbi, E., Buttazzo, G., Percivale, D.: A variational definition of the strain energy for an elastic string. J. Elast. 25, 137–148 (1991). https://doi.org/10.1007/BF00042462
Adams, R.A., Fournier, J.J.F.: Sobolev Spaces. Academic Press, San Diego (2003)
Anzellotti, G., Baldo, S., Percivale, D.: Dimension reduction in variational problems, asymptotic development in \(\Gamma \)-convergence and thin structures in elasticity. Asymptot. Anal. 9(1), 61–100 (1994)
Aufranc, M.: Plaques raidies par des poutres. Comptes rendus de l’Académie des Sciences - Série 1 - Mathématique, 835–838 (1990)
Braides, A.: \(\Gamma \)-Convergence for Beginners. Oxford University Press, Oxford (2002)
Ciarlet, P.: Plates and Junctions in Elastic Multi-Structures: An Asymptotic Analysis. Masson, Paris (1990)
Ciarlet, P., Destuynder, P.: A justification of non linear model in plate theory. Comput. Methods Appl. Mech. Eng. 17, 227–258 (1979). https://doi.org/10.1016/0045-7825(79)90089-6
Ciarlet, P., Le Dret, H., Nzengwa, R.: Junctions between three-dimensional and two-dimensional linear elastic structures. J. Math. Pures Appl. (9) 68(3), 261–295 (1989)
Dal Maso, G.: An Introduction to \(\Gamma \)-Convergence. Birkhäuser, Boston (1993)
Dal Maso, G., Negri, M., Percivale, D.: Linearized elasticity as \(\Gamma \)-limit of finite elasticity. Set-Valued Anal. 10, 165–183 (2002). https://doi.org/10.1023/A:1016577431636
Davini, C., Paroni, R., Puntel, E.: An asymptotic approach to the torsion problem in thin rectangular domains. Meccanica 43, 429–435 (2008). https://doi.org/10.1007/s11012-007-9106-2
De Giorgi, E., Franzoni, T.: Su un tipo di convergenza variazionale. Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. 58(8), 842–850 (1975)
Freddi, L., Mora, M.G., Paroni, R.: Nonlinear thin-walled beams with a rectangular cross-section. Math. Models Methods Appl. Sci. 23(04), 743–775 (2013). https://doi.org/10.1142/s0218202512500595
Freddi, L., Morassi, A., Paroni, R.: Thin-walled beams: the case of the rectangular cross-section. J. Elast. 76(1), 45–66 (2004). https://doi.org/10.1007/s10659-004-7193-z
Freddi, L., Morassi, A., Paroni, R.: Thin-walled beams: a derivation of Vlassov theory via \(\Gamma \)-convergence. J. Elast. 86, 263–296 (2007). https://doi.org/10.1007/s10659-006-9094-9
Freddi, L., Murat, F., Paroni, R.: Saint-venant’s theory for beams with multi-connected cross-section: justification and error estimate. Asymptot. Anal. 70(3–4), 177–197 (2010). https://doi.org/10.3233/ASY-2010-1013
Friesecke, G., James, R.D., Müller, S.: A theorem on geometric rigidity and the derivation of nonlinear plate theory from three-dimensional elasticity. Commun. Pure Appl. Math. 55(11), 1461–1506 (2002). https://doi.org/10.1002/cpa.10048
Gaudiello, A., Monneau, R., Mossino, J., Murat, F., Sili, A.: Junction of elastic plates and beams. ESAIM Control Optim. Calc. Var. 13(3), 419–457 (2007). https://doi.org/10.1051/cocv:2007036
Gaudiello, A., Zappale, E.: A model of joined beams as limit of a 2d plate. J. Elast. 103(2), 205–233 (2010). https://doi.org/10.1007/s10659-010-9281-6
Gruais, I.: Modeling of the junction between a plate and a rod in nonlinear elasticity. Asymptot. Anal. 7(3), 179–194 (1993). https://doi.org/10.3233/ASY-1993-7302
Gruais, I.: Modélisation de la jonction entre une plaque et une poutre en élasticité linéarisée. ESAIM: Math. Model. Numer. Anal. 27(1), 77–105 (1993)
Kondrat’ev, V.A., Oleinik, O.A.: On the dependence of the constant in Korn’s inequality on parameters characterizing the geometry of the region. Russ. Math. Surv. 44(6), 187–189 (1989). https://doi.org/10.1070/rm1989v044n06abeh002297
Le Dret, H.: Modeling of the junction between two rods. J. Math. Pures Appl. (9) 68(3), 365–397 (1989)
Le Dret, H.: Problemes Variationnels dans les Multi-Domaines: Modelisation des Jonctions et Applications. Masson, Paris (1992)
Leoni, G.: A First Course in Sobolev Spaces. Am. Math. Soc., Providence (2017)
Leugering, G., Nazarov, S.A., Slutskij, A.S.: The asymptotic analysis of a junction of two elastic beams. Z. Angew. Math. Mech. 99(1), e201700, 192 (2018). https://doi.org/10.1002/zamm.201700192
Love, A.E.H.: A Treatise on the Mathematical Theory of Elasticity, 4th edn. Dover, New York (1944)
Mora, M.G., Müller, S.: A nonlinear model for inextensible rods as a low energy \(\Gamma \)-limit of three-dimensional nonlinear elasticity. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 21(3), 271–293 (2004). https://doi.org/10.1016/j.anihpc.2003.08.001
Nardinocchi, P.: Modelling junctions of thin plates. Eur. J. Mech. A, Solids 21(3), 523–534 (2002). https://doi.org/10.1016/s0997-7538(02)01222-6
Oleinik, O.A., Shamaev, A., Yosifian, G.: Mathematical Problems in Elasticity and Homogenization. North Holland, Amsterdam (1992)
Paroni, R., Podio-Guidugli, P., Tomassetti, G.: A justification of the Reissner-Mindlin plate theory through variational convergence. Anal. Appl. 05(02), 165–182 (2007). https://doi.org/10.1142/s0219530507000936
Paroni, R., Tomassetti, G.: A variational justification of linear elasticity with residual stress. J. Elast. 97, 189–206 (2009). https://doi.org/10.1007/s10659-009-9217-1
Podio-Guidugli, P.: Validation of classical beam and plate models by variational convergence. In: Jaiani, P.P.G.G. (ed.) IUTAM Symposium on Relations of Shell Plate Beam and 3D Models, IUTAM Bookseries, vol. 9, p. 177. Springer, Dordrecht (2008)
Rindler, F.: Calculus of Variations. Springer, Berlin (2018). https://doi.org/10.1007/978-3-319-77637-8
Acknowledgements
The authors acknowledge the support of the Project PRIN 2017 20177TTP3S “Integrated mechanobiology approaches for a precise medicine in cancer treatment”. The authors acknowledge the Italian National Group of Mathematical Physics INdAM-GNFM.
Funding
Open access funding provided by Università di Pisa within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Picchi Scardaoni, M., Paroni, R. Linear Models of a Stiffened Plate via \(\Gamma \)-Convergence. J Elast 151, 237–272 (2022). https://doi.org/10.1007/s10659-022-09935-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-022-09935-y
Keywords
- \(\Gamma \)-Convergence
- Linear elasticity
- Calculus of variations
- Dimension reduction
- Mechanics
- Thin-walled structures
- Junctions