Abstract
We study thin films with residual strain by analyzing the \(\Gamma -\)limit of non-Euclidean elastic energy functionals as the material’s thickness tends to 0. We begin by extending prior results (Bhattacharya et al. in Arch Ration Mech Anal 228: 143–181, 2016); (Agostiniani et al. in ESAIM Control Opt Calculus Var 25: 24, 2019); (Lewicka and Lucic in Commun Pure Appl Math 73: 1880–1932, 2018); (Schmidt in J de Mathématiques Pures et Appliquées 88: 107–122, 2007) , to a wider class of films, whose prestrain depends on both the midplate and the transversal variables. The ansatz for our \(\Gamma -\)convergence result uses a specific type of wrinkling, which is built on exotic solutions to the Monge-Ampere equation, constructed via convex integration (Lewicka and Pakzad in Anal PDE 10: 695–727, 2017). We show that the expression for our \(\Gamma -\)limit has a natural interpretation in terms of the orthogonal projection of the residual strain onto a suitable subspace. We also show that some type of wrinkling phenomenon is necessary to match the lower bound of the \(\Gamma -\)limit in certain circumstances. These results all assume a prestrain of the same order as the thickness; we also discuss why it is natural to focus on that regime by considering what can happen when the prestrain is larger.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We all know that a material tends to expand when heated. Expansion, or more generally a change in the stress-free metric of the material can also be caused by other factors. The object of study of this paper is a composite made of thin sheets of material with different stress free metrics.
Thin elastic sheets that deform because of residual strain have recently been the focus of numerous mathematical [1, 3, 15,16,17,18,19, 25] and engineering/physics [2, 9, 12, 13, 22, 24, 26] studies. Mathematically, this represents the challenge of further generalizing the seminal work of [7] to noneuclidean geometries, while from the point of view of applications, careful design of prestrain in thin sheets can be applied to 3D printing [9].
Other works which are not directly related, but still deal with prestrained thin sheets are [6], which offers a physical treatment, and [14] and [21], which deal with thin elastic sheets immersed in Riemannian manifolds.
Wrinkling in non-euclidean thin sheets is the focus of [27]. In that paper, the author analyzes the wrinkling patterns in a thin spherical sheet confined to the surface of a liquid. Although in both this paper and [27] the technique used is \(\Gamma -\)convergence, there are notable differences in both the approach and the result. In [27], the author assumes a geometrically linear von Kármán model in which the bending and membrane energy interact. We consider a general nonlinear elastic functional in which the membrane term dominates. The topology considered is also significantly different.
From a mathematical perspective, the essential contribution of this paper is to generalize the work of [1] and [25] to an arbitrary (non oscillatory) elastic energy and prestrain (as long as the metric is euclidean to leading order). We also show that this case can be reduced to one with a thickness independent elastic law and linear-in-thickness prestrain. We also analyze the optimality of the hypotheses. Unlike previous work, our lower bound needs to be complemented with an upper bound construction with fractional powers of h to meet the energy. This ansatz involves the application of results from the literature that were proved using convex integration. We note that convex integration has also been used in the study of isometric immersions, the Monge Ampere equation [20], and fluid dynamics (see for example [5]).
The structure of the paper is as follows: we begin with the statement of our results and some introductory remarks. In Sect. 3, we prove preliminary results which are very close to ones present in the literature: compactness and a lower bound for a sheet with arbitrary prestrain and elastic law, and an upper bound for a sheet with thickness-independent elastic law, and prestrain satisfying a centering hypothesis. In Sect. 4, we prove an upper bound for thin sheets in which the elastic law is arbitrary, and the prestrain equals the identity at leading order, but is otherwise arbitrary. It is in this section where we apply a result proved using convex integration, as mentioned earlier. In order to prove that our ansatz achieves the lower bound, it is also necessary to show that it is possible to glue such constructions with classical ones. We note that this construction only works in the case when the preferred metric is the identity to leading order. The \(\Gamma \) limit in the case of an arbitrary preferred metric is an open question. Next, in Sect. 5 we prove that the resulting quadratic function is, up to an inevitable left over residual strain, equivalent to the quadratic function arising as the \(\Gamma \) limit of a sheet with thickness-independent elastic law and linear-in-thickness prestrain. In Sect. 6 we prove that an ansatz that blows up at the h scale is necessary to relieve a wide class of strains, and we also identify a regime in which such oscillations do not take place. Lastly in Sect. 7, we analyze whether the hypotheses of the theorem are optimal. We conclude that several pathologies may occur if any of the hypotheses are omitted, even though a great part of the conclusion may still hold.
We wish to thank Marta Lewicka for suggesting an ansatz based on the upper bound for a von Kármán energy scaling.
2 Setting and overview of results
Let \(\Omega \subset {\mathbf {R}}^{2}\) be an open, bounded, connected set with piece-wise \(C^{1}\) boundary. Let
We will denote a point \(x \in \Omega ^{h}\) by \(x=(x_{1}, x_{2}, x_{3})=(x', x_{3}).\) We will first study functionals of the form
For \(u^{h} \in W^{1,2}(\Omega ^{h}, {\mathbf {R}}^{3}).\) This corresponds to a thin film in which the preferred metric is non-Euclidean, and varies with thickness. We assume that \(A^{h}(x)\) is of the form
with \({\overline{A}} \in C^{\infty }({\overline{\Omega }}, {\mathbf {R}}^{3\times 3}_{sym,pos})\) and \(B \in L^{\infty }(\Omega ^{1}, {\mathbf {R}}^{3\times 3}_{sym}).\) We will later specialize to the case \({\overline{A}}=Id\) (strictly speaking, we only have a \(\Gamma \) convergence result in the case \({\overline{A}}=Id\)).
Let
Let \(y \in W^{2,2}(\Omega ,{\mathbf {R}}^{3})\) be such that
where we denote by \(\nabla y\) the \(3\times 2\) matrix of partial derivatives. Define the Cosserat vector \(b(x')\) as
where \(\nu (x')\) is the unit normal to the surface, \(\nu (x')=\frac{\partial _{1}y \times \partial _{2}y}{\parallel \partial _{1}y \times \partial _{2}y \parallel }.\) The Cosserat vector satisfies
We assume that the elastic law \(W: \Omega ^{1}\times {\mathbf {R}}^{3\times 3} \rightarrow {\mathbf {R}}\) satisfies
-
i)
For a.e. \(x \in \Omega ^{1}\) the function \(W(x,\cdot )\) is frame indifferent, that is
$$\begin{aligned} W(x,F)=W(x,RF) \end{aligned}$$(8)for every \(F \in {\mathbf {R}}^{3\times 3}\) and \(R \in SO(3).\)
-
ii)
For a.e. \(x \in \Omega ^{1},\) the energy \(W(x,\cdot )\) is minimized at SO(3), and the minimum is 0.
-
iii)
There exists a constant c (independent of x) such that \( W(x,F) \ge c \ \text{ dist}^{2}(F,SO(3)).\)
-
iv)
There exists a neighborhood \({\mathcal {U}}\) of SO(3) such that for all \(x \in \Omega ^{1}\) we have W(x, F) is \(C^{2}\) regular in F for \(F \in {\mathcal {U}}.\) We also have that \(D^{2}W(x,F)\) is uniformly equicontinuous in F for all \(F \in {\mathcal {U}},\) i.e. for all \(\epsilon >0\) and \(x \in \Omega ^{1},\) there exists \(\delta >0\) such that if \(\parallel F -G \parallel <\delta \) then
$$\begin{aligned} \left| D^{2}W(x,F)-D^{2}W(x,G) \right| <\epsilon . \end{aligned}$$(9) -
v)
There exists a constant C such that
$$\begin{aligned} Q_{3}(x, F) \le C \left| \text {sym} F \right| ^{2} \end{aligned}$$(10)for all \(x \in \Omega ^{1}.\)
If \(M \in {\mathbf {R}}^{m_{1}\times m_{2}}\) and \(N \in {\mathbf {R}}^{n_{1}\times n_{2}}\) with \(m_{1}>n_{1}\) and \(m_{2}>n_{2},\) we define the operation
where \(\iota \) is the inclusion function from \({\mathbf {R}}^{n_{1}\times n_{2}}\) to \({\mathbf {R}}^{m_{1}\times m_{2}}\) defined as
Let
let L(x) be the tensor such that be such that
For \(X \in {\mathbf {R}}^{2 \times 2}\) define the quadratic form
and for \(X \in L^{2}((- \frac{1}{2},\frac{1}{2}), {\mathbf {R}}^{2 \times 2})\)
Let \(y \in W^{2,2}(\Omega ,{\mathbf {R}}^{3}).\) Define the functional \({{\mathcal {I}}}(y)\) as
Before stating our results precisely we briefly review some of the existing results and describe how they relate to ours. The work of [25] considered plates whose elastic law and prestrain were independent of \(x'.\) When specialized to that case, our treatment is equivalent to his. The work of [1] considered prestrains that depend on \(x_{3}\) as well as \(x',\) but imposed the restriction
The reference [1] also took the elastic law to be independent of \(x_{3}.\) The condition (18) is not particularly natural, but it was needed in [1] to give an ansatz that meets the lower bound (i.e. it was needed to prove that the \(\Gamma -\)liminf and the \(\Gamma -\)limsup agree). The most important development in this paper is that we do not assume a condition like (18), provided \({\overline{A}}(x')=Id.\) Also, unlike [1] our elastic law can depend on \(x_{3}\) as well as \(x'.\)
This development uses a new upper bound ansatz.
We turn now to more precise statements of our results, specifically
-
A lower bound (Theorem 1) which holds for any \({\overline{A}}(x').\)
-
An upper bound (Proposition 2) that’s directly analogous to that of [3] (in particular, it does assume a condition like (18)).
-
A better upper bound (Theorem 3), which matches the lower bound and therefore gives a \(\Gamma -\)convergence theorem when \({\overline{A}}=Id\) (but with no artificial condition like (18)).
The proofs of Theorem 1 and Proposition 2 use tools similar to those of [1] and [25], but the proof of Theorem 3 is different: as mentioned in the introduction, it uses a wrinkling ansatz from [20], which was obtained using convex integration.
Theorem 1
Let \(u^{h} \in W^{1,2}(\Omega ^{h} \rightarrow {\mathbf {R}}^{3})\) be a sequence such that
Then
-
i
Compactness. There exist \(c^{h} \in {\mathbf {R}}^{3}\) and \(Q^{h} \in SO(3)\) such that for the renormalized deformations
$$\begin{aligned} y^{h}(x',x_{3})=Q^{h}u^{h}\left( x',\frac{x_{3}}{h}\right) -c^{h} \end{aligned}$$(20)we have
$$\begin{aligned} y^{h} \rightarrow y \end{aligned}$$(21)strongly in \(W^{1,2}(\Omega ^{1}, {\mathbf {R}}^{3}),\) for some \(y\in W^{2,2}(\Omega ^{1}, {\mathbf {R}}^{3})\) independent of \(x_{3}.\) With a slight abuse of notation we treat y interchangeably as a function defined on \(\Omega \) or \(\Omega ^{1}.\) The function y satisfies that \((\nabla y)^{T}\nabla y=({\overline{A}}^{2}(x'))_{2\times 2}.\) We also have
$$\begin{aligned} \frac{1}{h} \partial _{3}y^{h} \rightarrow b \end{aligned}$$(22)strongly in \(L^{2},\) where b is the Cosserat vector.
-
ii
Lower bound:
$$\begin{aligned} \liminf _{h \rightarrow 0} \frac{1}{h^{2}} {\mathcal {E}}^{h}(u^{h}) \ge {{\mathcal {I}}}(y). \end{aligned}$$(23)
A matching upper bound also holds, under additional hypotheses. We state it as a proposition since it does not require any ideas other than the ones already present in the literature.
Proposition 2
Upper bound. Assume \(W(x',x_{3})=W(x'),\) and
and let \(y \in W^{2,2}(\Omega , {\mathbf {R}}^{3})\) then there exists a sequence \(u^{h}(x)\) such that, for the renormalized sequence \(y^{h}(x',x_{3})=u^{h}(x',\frac{x_{3}}{h})\) and \(\nabla ^{h}y^{h}=\left( \nabla 'y^{h}, \frac{1}{h}\partial _{3}y^{h} \right) \) we have
strongly in \(W^{1,2}(\Omega ^{1}, {\mathbf {R}}^{3})\) (identifying y with its trivial extension in \(\Omega ^{1}\)) and
where
The following result does better than Proposition 2, in the sense that it requires no centering condition like (18). However, it is restricted to the case \({\overline{A}}(x')=Id.\)
Theorem 3
Assume \({\overline{A}}=Id,\) and let \(y \in W^{2,2}(\Omega , {\mathbf {R}}^{3})\) then there exists a sequence \(u^{h}(x)\) such that, for the renormalized sequence \(y^{h}(x',x_{3})=u^{h}(x',\frac{x_{3}}{h})\) and \(\nabla ^{h}y^{h}=\left( \nabla 'y^{h}, \frac{1}{h}\partial _{3}y^{h} \right) \) we have
strongly in \(W^{1,2}(\Omega ^{1}, {\mathbf {R}}^{3})\) (identifying y with its trivial extension in \(\Omega ^{1}\)) and
In order to have finite energy at order 1, the limiting deformation must achieve the metric \({\overline{A}}^{2},\) hence it is obligated that the ansatz starts with a term \(y(x')+hx_{3}b(x').\) However, unlike previous works our ansatz includes terms of order \(h^{\frac{1}{2}}.\) This raises the question of whether it is possible to achieve the lower bound with an ansatz \(y^{h}\) such that
In Sect. 6 we prove that this is not possible (in fact, we prove a slightly stronger result). By doing so, we show that relieving an arbitrary strain implies a deformation that blows up at the h scale.
These results all deal with a prestrain whose variation in \(x_{3}\) is of order h. In physical terms, this is reasonable since it means that the prestrain is of the same order as the thickness. In Sect. 7 we investigate whether a sheet being in the bending regime, i.e.
implies that \(A^{h}(x',x_{3})={\overline{A}}(x')+hB^{h}(x',x_{3}),\) where \(B^{h}(x',x_{3})\) is bounded (in some \(L^{p}\) norm). We show that this is not true, not even if the hypotheses are significantly strengthened. However, we show that (31) implies that
In other words, finite bending energy does not imply finite prestrain, but it does imply that the metric is thickness-independent to leading order.
In the cases treated in Theorems 1 and 3 the limiting energy is a quadratic form of the generalized second fundamental form \(\nabla {y}^{T} \nabla {b},\) which can be written as the integral
where \(Q_{2}'\) is given by (16). In Sect. 5 we show that problem (33) can be simplified to a thickness independent quadratic form, and linear-in-thickness prestrain, in other words
with explicit expressions for \(E(Q_{2}, B, {\overline{A}}), Q_{2}^{*}, B^{*}.\)
3 Proofs of Theorem 1 and Proposition 2
3.1 Compactness
This section follows the work of [15]. We will only write an outline of the main ideas, and refer to [19] and [3] for the full argument. Using the fact that \(\left| {\overline{A}}(x')\right| \) is bounded above and away from 0, we get that \(\parallel \nabla ^{h}y^{h} \parallel _{L^{2}} \le K_{1}.\) In order to see this, note that since we are in the bending regime,
Hence, there exists a measurable rotation field \(R(x): \Omega ^{1} \rightarrow SO(3)\) such that
Therefore
Then
This implies
Using the hypothesis that \({\overline{A}}\) is bounded above and away from 0, and that \(B^{h}\) is uniformly bounded, we get for h small enough that
We also have that \(\left| B(x',x_{3}) \right| \) is uniformly bounded. Using this, along with triangle inequality we get.
hence the results in [19] and [3] yield compactess for the desired limit: defining
we get by (41) that
and therefore Lemma 2.3 and Theorem 2.1 (i) of [3] imply the result.
Remark 4
The same proof would hold if instead of considering \(A^{h}(x)={\overline{A}}(x')+h(B(x',x_{3})),\) we consider
where \(B^{h} \rightarrow B\) strongly in \(L^{\infty }(\Omega ^{1}).\)
3.2 Lower bound
Before giving the proof of the lower bound, we need a technical lemma:
Lemma 5
Let \(f^{h} \in L^{2}(\Omega ^{1}, {\mathbf {R}}^{3 \times 3} )\) be such that
weakly in \(L^{2}\) then
Proof
Let \(F^{h}=\{x \in \Omega ^{1}| f^{h}(x) \le {h^{0.9}}\}.\) By hypothesis \( \limsup _{h} \parallel \frac{f^{h}}{h} \parallel _{L^{2}} < \infty ,\) therefore \(|\Omega ^{1} \setminus F_{h}| \rightarrow 0,\) since
Hence,
And so, we have that
This implies
in \(L_{2},\) since
By Taylor expanding \(W(x, \cdot )\) at the identity, we have, for \(x \in F^{h},\)
This is because,
where \(\xi \) is in the line segment joining Id and \(Id + f^{h}.\) Since W is \(C^{2}\) in a neighborhood of the origin, and by hypothesis \(|f^{h}(x)| \le h^{0.9}\) in \(F^{h}\) we have that
Using hypothesis iv), we can ensure that the error is \(\textit{o}(1)\) uniformly in x. Hence
Now \({\mathbf {1}}_{F^{h}}\frac{f^{h}(x)}{h} \rightharpoonup f(x)\) by the weak-strong lemma, and \(Q_{3}\) is lower semi continuous with respect to weak convergence, so we get (45). \(\square \)
We now prove the lower bound, for a general \({\overline{A}}.\)
Proof
(Of Theorem 1)
We begin with a compactness result for the re-normalized deformations. By [3, 15, 19] we have that there exists SO(3) valued fields \(R^{h}(x')\) such that
We define the quantity \({\overline{S}}^{h}(x',x_{3})\) as
Then, as \(h \rightarrow 0\) we have that \({\overline{S}}^{h}(x',x_{3}) \rightharpoonup {\overline{S}}(x',x_{3})\) weakly in \(L^{2},\) where \({\overline{S}}(x',x_{3})\) satisfies
where \(b(x')\) is the Cosserat vector, for some \(s \in L^{2}(\Omega , {\mathbf {R}}^{2 \times 2})\). We can define a similar quantity \(S^{h}(x',x_{3})\) for the metric \(A^{h}(x',x_{3})\) instead of \({\overline{A}}(x')\):
Then, as \(h \rightarrow 0\) we have that \({S}^{h}(x',x_{3}) \rightharpoonup {S}(x',x_{3})\) weakly in \(L^{2},\) where \({S}(x',x_{3})\) satisfies
Let \(d(x',t) \in L^{2}(\Omega ^{1},{\mathbf {R}}^{3})\) be such that
Using frame indifference, we can write
where we have used Lemma 5 applied to \(\frac{R^{h}(x')^{T}\nabla ^{h} y^{h} {\overline{A}}(x')-Id}{h}\).
\(\square \)
Remark 6
The same proof would hold if instead of considering \(A^{h}(x)={\overline{A}}(x')+h(B(x',x_{3})),\) we consider
where \(B^{h} \rightarrow B\) strongly in \(L^{\infty }(\Omega ^{1}),\) because
therefore
in \(L^{\infty }\) (and in \(L^{2}\)), then we still have that \(S^{h} \rightharpoonup S,\) where S satisfies (57).
3.3 Upper bound (Proposition 20)
The ansatz is the same as found in [3], since their proof can be easily adapted to the case \(W=W(x, F)\) using hypotheses iv) and v). The ansatz takes the form
where
and \(d^{h}\) is an \(h-\)dependent mollification of \(d(x',t),\) where
We omit the proof and refer the reader to [3] Theorem 3.1.
4 Proof of Theorem 3
From now on, we assume that \({\overline{A}}(x')=Id,\) which implies \({b}(x')=\nu (x'),\) where \(\nu (x')\) is the unit normal. In this case \(\nabla y^{T} \nabla \nu \) is the second fundamental form of the surface parametrized by y, we therefore write \(\mathbf {II}=\nabla y^{T} \nabla \nu .\) In order to prove theorem 3, we must provide an ansatz whose energy matches that of the lower bound. We will split the proof into three parts: the case \(\mathbf {II}=0,\) the case \(\mathbf {II}\) bounded away from 0, and the general case. The case \(\mathbf {II}=0\) will involve a highly oscilatory ansatz, that resembles the Nash-Kuiper embedding. More precisely, it is basically the ansatz used in [8] with different powers of h. The proof uses recent results about the Monge-Ampere equation [20]. The case \(\mathbf {II}\) bounded away from 0 involves an essentially different ansatz, in which in-plane and out-of-plane strain combine to relieve the residual metric. Finally, the general case involves combining the two constructions.
First we deal with the case \(\mathbf {II}=0.\) The lower bound implies an optimal s, which in general has only \(L^{2}\) regularity. We need to approximate it by \(C_{0}^{\infty }\) functions. This is done in Lemma 7. Lemma 8 is a convex integration-type result which is at the heart of the construction of the ansatz. Lemma 9 essentially justifies a Taylor expansion for the energy. Lemma 10 is technical: it states that a quantity of interest is uniformly bounded. Building on previous lemmas, Lemma 11 states that it is possible to construct an ansatz with arbitrary nonlinear strain in the case \(\mathbf {II}=0.\) The proof of the upper bound in the case \(\mathbf {II}=0\) is a consequence of these lemmas.
From now on, in order to ease notation, we write \(Q_{2}(x, F, \text {Id}) = Q_{2}(x, F).\)
Lemma 7
For any \(H \in L^{2}(\Omega ,{\mathbf {R}}^{2\times 2} )\) we have that
Proof
Let \(s \in L^{2}(\Omega ,{\mathbf {R}}^{2\times 2})\) and \(s_{n} \in C_{0}^{\infty }(\Omega , {\mathbf {R}}^{2 \times 2})\) such that
Note that the form \(Q_{2}\) is bilinear, and hence there is a tensor \(L_{2}\) such that
Using the symmetry of \(L_{3}\), we can use a completing squares argument and deduce (writing \(\Psi =x_{3}H(x')-B(x',x_{3}\))
\(\square \)
Next is a lemma which is the technical foundation of the convex-integration construction used in our ansatz.
Lemma 8
Let \(h_{n} \rightarrow 0\) and let \(A \in C^{\infty }({\overline{\Omega }}, {\mathbf {R}}^{2\times 2}_{sym})\) be such that there exists \(c \in {\mathbf {R}}^{+}\) with
then there exists \(v_{n} \in C^{\infty }({\overline{\Omega }})\) and \(w_{n} \in C^{\infty }({\overline{\Omega }}, {\mathbf {R}}^{2})\) such that
and
Moreover, v and w can be chosen to satisfy
and
Proof
The existence of \(v_{n}, w_{n}\) satisfying (73) and (75) follows from proposition 3.2 of [20].This reference also shows
therefore for a subsequence we have that the convergence is monotonic and therefore (74) holds.
To construct a sequence such that (76) also holds, we start with a sequence satisfying (73)–(75), and apply a retardation argument as in [23]: define a function \(\sigma (n)\) as
and
It is easy to check that \(\sigma (n) \rightarrow \infty ,\) (if not, then \(\sigma (n) =k \) for all n big enough, but \(h_{n} \rightarrow 0,\) therefore there exists \(n_{0}\) such that \(\parallel h_{n_{0}}^{\frac{1}{2}}\nabla ^{2}v_{k+1}\parallel _{C^{0}}+\parallel h_{n_{0}}\nabla ^{2}w_{k+1}\parallel _{C^{0}}\le \frac{1}{k+1}\), therefore \(\sigma (n_{0}+1)=k+1,\) contradiction). Then, by definition,
and (73)–(76) hold with \(v_{n}, w_{n}\) replaced by \(v_{\sigma (n)}, w_{\sigma (n)}\). \(\square \)
Before we continue, we need a short lemma, which is the analogue of lemma 5 for strong convergence.
Lemma 9
Let \(f^{h} \in L^{\infty }(\Omega ^{1}, {\mathbf {R}}^{3 \times 3})\) be such that
with \(f \in C^{\infty }(\Omega ^{1}, {\mathbf {R}}^{3 \times 3})\) then
Proof
The proof is similar to that of Lemma 5. Let \(S^{h}=\{x \in \Omega ^{1}| f^{h}(x) \le {h^{0.9}}\}.\) Proceeding as in Lemma 5, we have
Proceeding again as in Lemma 5, we have for \(x \in S^{h},\)
Let \(\Xi _{h}=\Omega ^{1} \setminus S^{h}.\) Using the fact that the the tangent space to SO(3) at the identity is the space of antisymmetric matrices, we have
so
We also have
The first term tends to 0 by definition, the second by Cauchy-Schwartz, the third one by dominated convergence.
Similarly, we have that
Hence
\(\square \)
One last observation before writing down the ansatz is that \(d(x',x_{3})\) is uniformly bounded if \(s(x')\) is uniformly bounded (in particular, if \(s(x') \in C^{\infty }({\overline{\Omega }})\)). This will be necessary in order to bound the error.
Lemma 10
Let \(d(x',t)\) be such that
Then \(d \in L^{\infty }(\Omega ^{1}, {\mathbf {R}}^{3})\) and we have the pointwise bound
where c, C are such that
for any symmetric F, see properties iv), v) of W .
Proof
To deduce Eq. (88), note that we can write
We also have
Combining these two estimates yields (88). \(\square \)
Since we require that the ansatz is in \(W^{1,2},\) we cannot exactly plug in \(d(x',x_{3})\) since in general it has only \(L^{2}\) regularity. Instead, we need a suitable smooth approximation: let \(d^{h}(x',t)\) be a sequence of \(C^{\infty }\) functions that converge to \(d(x',t),\) strongly in \(L^{2}\) and such that \(h\nabla ' d^{h}(x',t)\) converges strongly to 0 in \(L^{\infty }.\) For example, take the trivial extension of d to \({\mathbf {R}}^{3},\) and take
then by Young’s inequality \(\parallel h\nabla ' d^{h}(x',t) \parallel _{L^{\infty }} \le k h^{\frac{1}{2}} \rightarrow 0.\) Let \(D^{h}(x',t)=\int _{0}^{t} d^{h}(x',s) ds.\)
We are finally ready to write down the ansatz that achieves the lower bound: the ansatz is \(y^{h}\) defined as
where \(Q=[\nabla y | {\nu }]\) and \(v^{h}, w^{h}, C\) will be chosen later. An explicit calculation shows that
Recall that by hypothesis \(\mathbf {II}=0,\) which means \(y(x')\) is a plane. We also have
Here, to bound the error, we have used that
We have also used that
We need one more lemma to conclude:
Lemma 11
For any \(s \in C^{\infty }(\Omega , {\mathbf {R}}^{2\times 2}),\) and \(d\in L^{\infty }(\Omega _{1} \rightarrow {\mathbf {R}}^{3})\) there exists \(y^{h}\) given by (93), such that
\( \limsup \parallel S^{h} \parallel _{L^{\infty }} <\infty \), and \(\text{ sym }({\overline{S}}^{h}) \rightarrow \ \text{ sym }({\overline{S}})\) strongly in \(L^{2}\), where \({\overline{S}}^{h}(x',x_{3}), S^{h}(x',x_{3}), {\overline{S}}(x',x_{3})\) and \(S(x',x_{3})\) are given by (56)–(59), with \({\overline{A}}=Id\) and \(R^{h}\) given by (55).
Proof
Let \(v^{h},w^{h}\) and C be as in lemma 8 for \(A=s(x')+CId.\) First, note that
uniformly in x and h since the order h terms are uniformly bounded in x and h, and the term of order \(h^{\frac{1}{2}}\) is skew symmetric and uniformly bounded in x and h. Hence
Note that from the definition of \({\overline{S}}^{h},\) we have that
From the form of \(y^{h}\) (Eq. 93) we have that
strongly in \(L^{2}\). By Taylor expanding at the identity, we get (recall that by hypothesis \(\limsup \parallel S^{h} \parallel < \infty \))
hence
By defining \(y^{h}\) this way, we have that
\(\square \)
Now we turn to prove Theorem 3 in the case \(\mathbf {II}=0.\)
Proof
(Of Theorem 3 in the case \(\mathbf {II}=0.\))
Let Let \(y^{h}\) be given by (93), with \(v^{h}\) and \(w^{h}\) satisfing (73), (74), (75), (76) with \(A=s+ C \ \text{ Id }\) (existence of such a sequence in guaranteed by lemma 11). Let \(d(x',x_{3}) \in {L^{2}}(\Omega ^{1}, {\mathbf {R}}^{3})\) be such that
Recall that we had previously defined \(R^{h}(x') \in SO(3)\) such that
and the quantity \({\overline{S}}^{h}(x',x_{3})\) as
Using Lemmas 9 and 11 we now conclude:
It is tempting to use this construction to build an ansatz directly: take
then construct \(v^{h}, w^{h}\) as in lemma 8 with \(A=s^*+C\, \text{ Id }\) and conclude. The problem is that these arguments would only work if \(s^*\) were known to be smooth. Instead, we approximate the minimizer by smooth functions.
Let \(s^*\) be given by Eq. (110) and \(s_{n} \in C_{0}^{\infty }({\overline{\Omega }}, {\mathbf {R}}^{2\times 2})\) be such that
The previous argument shows that there exists \(y^{h_{n}}\) with \(h_{n} \le \frac{1}{n}\) such that
therefore, using lemma 7 we have
\(\square \)
For the case \(\mathbf {II} \ne 0,\) we will use two levels of approximation: first, given an arbitrary \(W^{2,2}\) isometric immersion, we will approximate it by a smooth and nice isometric immersion. As in the previous step, the lower bound implies an optimal s, which in general has only \(L^{2}\) regularity and we approximate it by \(C_{0}^{\infty }\) functions. Unlike the case of \(\mathbf {II}=0\), we will not prove intermediate lemmas.
Proof
(Of Theorem 3, case \(\mathbf {II}\) everywhere nonzero)
We borrow notation from [25]. We let \({\mathcal {A}}_{0}\) be the set of smooth ismetric immersions that allow for a partition into finitely many bodies and arms (see [25] for a definition). Using [10] and [11], we have (as noted after Theorem 2.4 of [25]) that \({\mathcal {A}}_{0}\) is strongly \(W^{2,2}\) dense in the space of \(W^{2,2}\) isometric immersions.Footnote 1 We will henceforth assume \(y \in {\mathcal {A}}_{0}.\) Our results can be extended to a general isometric immersion \(y \in W^{2,2}\) by density.
We can use Lemma 3.3 of [25], which states that for any \( y \in {\mathcal {A}}_{0}\) and any \(s(x') \in C^{\infty }(\Omega , {\mathbf {R}}^{2\times 2}_{sym})\) such that s vanishes in a neighborhood of \(\mathbf {II}=0,\) there exists \(g \in C^{\infty }({\overline{\Omega }}, \mathbf {R^{2}})\) and \(\alpha \in C^{\infty }({\overline{\Omega }})\) such that
To get started, we present an ansatz that works when \(\mathbf {II}\ne 0\),Footnote 2 so that any smooth \(s(x')\) has a representation of the form (114). These ideas can be found in [25], but our presentation will be different. Let
where now \(g: {\Omega } \rightarrow {\mathbf {R}}^{3}\) and \(Q=[\nabla 'y,\nu ]\) (note that Q is no longer constant). Let \(g=(g',g_{3}).\) Using (114) we can choose g such that
where \(s^*\) is given by Eq. (110).
Using an approximation argument as before, we can assume that \(s^{*}\) is in \(C^{\infty }({\overline{\Omega }}, {\mathbf {R}}^{2\times 2}_{sym}).\) The vector \(D^{h}(x',x_{3})\) in (115) plays the same role as the analogous term in our previous ansatz: it satisfies \(\partial _{3} D^{h}(x',x_{3})=d^{h}(x',x_{3}),\) where the vector \(d^{h}\) is a smoothed version of d, and the vector \(d(x',x_{3}) \in {L^{\infty }}(\Omega ^{1}, {\mathbf {R}}^{3})\) is such that
The relationship between \(d^{h}(x',x_{3})\) and \(d(x',x_{3})\) was discussed in our treatment of ansatz (93), and the same arguments apply here. Recall our convention for summing matrices of different dimensions: the smaller matrix is viewed as the top left block of the bigger matrix. We now compute the gradient of the ansatz:
A more detailed version of this computation can be found in [25], but essentially it uses the fact that
This can be verified with an explicit computation, and using the following facts
-
\(\partial _{i} y \cdot \partial _{j} y = \delta _{ij}\)
-
\(\partial _{i} y \cdot \nu = 0\)
-
\(\partial _{i} y \cdot \partial _{jk} y = 0\).
It then follows that
As in the case \(\mathbf {II}=0,\) we cannot simply take \(s(x')\) to be the minimizer of
But by lemma 7 we can approximate the minimum using a sequence of smooth functions \(s(x')\) and let \(y^{h}=y^{h_{j}}\) be obtained using the ansatz associated with \(s_{j}\) (with h sufficiently small). This suffices to establish the upper bound when \(\mathbf {II}\) is everywhere nonzero. \(\square \)
Finally, we turn to the general case, where \(\mathbf {II}\) is neither identically vanishing, nor everywhere nonzero. The strategy will be to glue the two previous ansatzes with a transition layer at the boundary of \(\{ \mathbf {II}=0 \}.\) The main challenge is to build the transition in such a way that the transition layer has negligible energy. We will prove one intermediate lemma, Lemma 12, in order to justify taking s to be a particular type of smooth function.
For the general case, we introduce a further approximation: apart from approximating s by \(C^{\infty }_{0}\) functions, and y by nice smooth isometric immersions, we will approximate the sets where \(\mathbf {II}\) is 0 and nonzero. Recall that we are assuming that h is a fixed sequence such that \(h_{n} \rightarrow 0.\) We again assume \(y \in {\mathcal {A}}_{0}.\)
We assume that the sets \(\{ \mathbf {II}=0\} \) and \(\{ \mathbf {II} \ne 0\}\) are nonempty sets, and we introduce the notation
and
for the boundary(which we can assume has measure 0Footnote 3), and a thickened boundary. Let
and
Let
and
be the points in \(\Omega ^{+}\) (respectively \(\Omega ^{0}\)) away from the thickened boundary layer.
To succesfully combine the two ansatzes, it is important that they transition smoothly along a boundary layer. This is the purpose of the next lemma.
Lemma 12
Let \(K \in {\mathbf {R}}^{2\times 2}\) and let \(C^{*}_{K}(\Omega , {\mathbf {R}}^{2\times 2})=\{ f \in C^{\infty }{(\Omega , {\mathbf {R}}^{2\times 2})} | f(x)=K \text{ for } x\in F_{\epsilon } \text{ for } \text{ some } \epsilon \}.\) For all \(K \in {\mathbf {R}}^{2\times 2}\) we have
Proof
The main task is to show that \(C^{*}_{K}(\Omega ,{\mathbf {R}}^{2\times 2})\) is dense in \(L^{2}(\Omega ,{\mathbf {R}}^{2\times 2}).\) For this, let \(f \in L^{2}(\Omega ,{\mathbf {R}}^{2\times 2}),\) and consider, for \(\delta \) to be determined later,
where \({\overline{g}}\) denotes the trivial extension of g to \({\mathbf {R}}^{n}.\)
Notice that if
then
in \(F_{\frac{\epsilon }{4}}\) and therefore \(f_{\epsilon , \delta } \in C^{*}_{K}\). We also have that
since
(in the last line, we assume \(\epsilon \) is fixed and \(\delta \rightarrow 0.\)) Here we have used that \(|F_{\epsilon }| \rightarrow 0,\) since F is closed and has measure 0. Hence to prove convergence, given an error \(\eta ,\) we can choose \(\delta \) such that \(\delta \le \frac{\epsilon }{2}\) and each error is smaller than \(\frac{\eta }{3}.\) The lemma follows easily from this approximation result by an argument we used in lemma 7. \(\square \)
We now turn to the proof of Theorem 3 in the general case.
Proof
(Of Theorem 3, general case). Both our ansatzes began by considering an arbitrary \(s \in C^{\infty }({\overline{\Omega }}, {\mathbf {R}}^{2\times 2}_{sym})\), so of course we will do the same here: let \(s \in C^{\infty }({\overline{\Omega }}, {\mathbf {R}}^{2\times 2}_{sym}),\) and let C be such that
for some \(c \in {\mathbf {R}}^{+}.\) Let \(v^{h}, w^{h}\) be such that (73)–(76) hold for \(A={\widetilde{s}}.\) Let \(\phi _{\epsilon } \in C^{\infty }({\overline{\Omega }})\) be such that
(for example, take \(\phi _{\epsilon }={\mathbf {1}}_{\Omega _{0}^{\epsilon }} *\mu _{\epsilon }\)), let \(v^{h}_{\epsilon }=v^{h} \phi _{\epsilon }\) and \(w^{h}_{\epsilon }=w^{h} \phi _{\epsilon }.\) Let \(\eta _{\epsilon } \in C^{\infty } ({\overline{\Omega }})\) be such that
for example, take \(\eta _{\epsilon }={\mathbf {1}}_{\Omega _{+}^{2\epsilon }} *\mu _{\epsilon }.\)
By defining \(\phi _{\epsilon }\) and \(\eta _{\epsilon }\) this way, we get the bound
for some k.
Let \((g'_{\epsilon },g^{3}_{\epsilon })\) be such that (114) holds with \(g=g'_{\epsilon }\), \(\alpha =g^{3}_{\epsilon }\) and
The reference [25] shows that \(\text{ supp }(g'_{\epsilon }, g^{3}_{\epsilon }) \subset \Omega ^{+}.\) Consider the ansatz
where \(d^{h}(x',x_{3})\) is as in (92), \(D^{h}(x',x_{3})=\int _{0}^{x_{3}} d^{h}(x',s) \, ds\), and \(Q=(\nabla y | \nu )\) (which is no longer constant).
We can compute:
In the above computation we have used that \(v^{h}_{\epsilon }\) and \(w^{h}_{\epsilon }\) are nonzero only in the region where \(Q(x')\) is constant. Assume that
(we will prove this at the end using a retardation argument as before).
Before concluding, we need a few more technical remarks: note that
while
and
Hence, by choosing \(\epsilon \) appropriately depending on \(h_{n}\), for example, \( \epsilon = \max (h^{\frac{1}{8}}, \sqrt{|v^{h}|}, \sqrt{|w^{h}|}) = \epsilon \), we can arrange that \(\epsilon \rightarrow 0,\) as \(h_{n} \rightarrow 0\) and
We now derive a uniform bound on several error terms. Using that \(g=0\) on \(\Omega ^{0}\) we have that, on \(\Omega ^{0},\)
and on \(\Omega ^{0} \cap F_{\epsilon }\),
for some \(C_{1} \in {\mathbf {R}}.\)
We also have on \(\Omega ^{+}\), that
and on \(\Omega _{+} \cap F_{\epsilon }\),
for some \(C_{2} \in {\mathbf {R}}\) since all terms are bounded.
Finally, using the approximation arguments presented earlier in this section along with the fact that the measure of \(F_{\epsilon }\) tends to 0, we have that
Similarly, and using (141) along with the previous arguments we have that
It remains to prove that we may take a sequence such that
we proceed with a retardation argument: let \(h_{n} \rightarrow 0\) monotonically, we define a sequence \(\sigma (n)\) as
and
Then our final ansatz is the original given by (139) with \(h_{n}\) as in the original sequence, but \(\epsilon _{n}\) replaced by \(\epsilon _{\sigma (n)}.\) This works provided \(h_{n} \rightarrow 0\) monotonically, which can be assumed without loss of generality by taking a sub-sequence.
To conclude the upper bound, we proceed in the following way:
-
Approximate the limiting deformation \(y(x')\) by \(y_{\delta } \in {\mathcal {A}}_{0}\) such that the difference in the energy is less than \(\frac{\delta }{3}.\)
-
Approximate the optimal s by \(s_{\delta } \in C^{\infty }_{0}\) such that the difference in the energy is less than \(\frac{\delta }{3}.\)
-
Choose \(h_{n}\) such that \(y^{h_{n}}\) achieves the energy associated to \(y_{\delta }\) and \(s_{\delta }\) up to an error of \(\frac{\delta }{3}.\)
This way we construct a sequence that converges to \(y(x')\) in the right way and achieves the lower bound. \(\square \)
5 Algebraic reduction
Overall, the goal of this section is to understand and simplify the functional (17). We start by finding an explicit formula for \(s(x'),\) given by
where \(Q_{2}\) is given by (15). We proceed to reduce the lower bound of the problem to an elastic sheet with thickness-independent elastic law, and simpler prestrain. In the cases treated by Proposition 2 and Theorem 3, the analysis in this section is a reduction of the \(\Gamma \) limit, while in general it is only a reduction of the lower bound. The new form of the energy will involve the projection of the prestrain onto a suitable linear space with the appropriate norm.
Our basic approach is the following: first we eliminate the dependence of the lower bound on \(s(x')\) by writing it as the energy of a new quadratic form and prestrain. Next, we rewrite this energy as that of a constant-in-thickness quadratic form and linear-in-thickness prestrain, plus an configuration-independent term. Lastly we analyze the configuration-independent term. Similar considerations are found in [4].
In this section, in order to ease notation, we will omit the dependence on \({\overline{A}}\). Note that since the form \(Q_{2}(x',t, \cdot )\) is bilinear, there is a tensor \(L_{2}(x',t)\) such that
An immediate computation shows that
where \(L_{2}^{*}(x')=\int _{-\frac{1}{2}}^{\frac{1}{2}} L_{2}(x',t)dt\). We can write \(s(x')\) in terms of the tensors \(\phi _{1}(x'):{\mathbf {R}}^{2 \times 2} \rightarrow {\mathbf {R}}^{2 \times 2}\) and \(\phi (x'):L^{2}[(-\frac{1}{2}, \frac{1}{2}), {\mathbf {R}}^{2 \times 2}] \rightarrow {\mathbf {R}}^{2 \times 2}\) defined as
and
The tensor \(\phi (x')(X(t))\) gives the projection of X(t) onto the space of functions constant in t, and \(\phi _{1}(X)=\phi (tX)\). By writing M in terms of these tensors, we can rewrite the lower bound of the \(\Gamma -\)limit (Eq. 17) as
Let
then
where \(n^{*}(x')\) satisfies
i.e.
where \(T_{2}^{*}=\int _{-\frac{1}{2}}^{\frac{1}{2}} T_{2}(x',t)dt.\) We can interpret \(n^{*}(x')\) as the preferred curvature of the sheet. Note that \(T_{2}^{*}\) is positive definite, and therefore invertible, since for any \(X \ne 0\) we have that
The last expression is positive since \(L_{2}\) is positive definite and \(tX-\phi _{1}(x')X\) being 0 implies that X is 0.
Now we can rewrite the lower bound of the limit as the integral of a thickness-independent quadratic form, indeed, we can rewrite the configuration-dependent part of (160) in terms of \(T_{2}^{*}(x')\):
Let \(R(x')\) be the residue, i.e. the configuration-independent part of (160):
The configuration-independent term is actually the norm squared of the prestrain minus its projection onto the space of functions affine in t. We can see this by arguing as follows: note that \(\phi (Y)\) gives the projection of Y onto the space of functions constant in t, with the inner product \(\langle f,g \rangle =\int _{\Omega ^{1}} \langle L_{2}(x)f,g\rangle dx\). Note also that, for any \(2 \times 2\) matrix X, we have
From Eq. (161) we have that, for any \(2 \times 2\) matrix X,
and hence
Since
we have that
Note that matrix fields of the form \(tX-\phi (tX)\) span, as X varies in the space of \(2\times 2\) matrices, the vector space orthogonal to constants in the space of matrix fields affine in t. Hence, \(tn^*(x')-\phi (tn^*(x'))\) is the projection of \(({\overline{A}}(x')B(x))_{2\times 2}\) onto the orthogonal complement of functions constant in t in the space of functions affine in t. We can rewrite the residue as
In the last equality, we have used the definition of \(\phi ,\) and the fact that \(L_{2}\) is symmetric. Note that the first item being substracted is the norm squared of the projection of \(({\overline{A}}(x')B(x))_{2\times 2}\) onto the space of functions constant in t, while the second item being substracted is the norm squared of the projection of \(({\overline{A}}(x')B(x))_{2\times 2}\) onto the orthogonal complement of this subspace in the space of functions affine in t. Therefore, R is the norm squared of \(({\overline{A}}(x')B(x))_{2\times 2}\) minus its projection onto the space of functions affine in t.
6 Necessity of an h scale blowup
In order to match the metric at order 1, an ansatz must include the terms \(y(x')\) and \(x_{3}\nu (x'),\) but there are terms other than this that are much bigger than thickness, leading to wrinking phenomena. Is it possible to construct an ansatz that does not have this feature? On the one hand, it is natural to ask whether it is possible to achieve the lower bound by an ansatz that contains only terms of order h (execpt for the terms \(y(x')\) and \(x_{3}\nu (x')\)). It is also natural from a physics perspective, since showing that such a loss of compactness is inevitable is evidence that such deformations can occur in experiments. In this section, we will prove that, in general, a minimizing sequence contains terms of order bigger than h if \(\mathbf {II}=0\). We again assume \(A(x')=Id.\)
Let \(\eta ^{h}: \Omega \rightarrow {\mathbf {R}}^{3}\) be such that
Theorem 13
Let \(y^{h}: \Omega ^{1} \rightarrow {\mathbf {R}}^{3}\) be such that
assume that
for some \(\phi ,\) where \(\phi ^{h}: \Omega ^{1} \rightarrow {\mathbf {R}}^{3}\) is defined as
Assume that \(y^{h} \rightarrow y\) (independent of z) where \(y|_{\Omega \times \{ 0\}}\) is an isometric immersion. Let \(\omega \subset \Omega \) be a region such that \(\mathbf {II}|_{\omega }=0,\) where \(\mathbf {II}\) is the second fundamental form of y, then
Remark 14
This is in general a strictly higher bound than (16), since it amounts to restricting \(s(x')\) to gradient fields.
Let \({\overline{y}}^{h}\) and \({\overline{\phi }}^{h}\) be the rescaled versions of \(y^{h}\) and \(\phi ^{h}\) to the domain \(\Omega ^{h}.\)
Note that (174) implies
Let \({\overline{f}}^{h}: \Omega ^{h} \rightarrow {\mathbf {R}}^{3}\) be such that
and let \(f^{h}: \Omega ^{1} \rightarrow {\mathbf {R}}^{3}\) be the unrescaled version of \({\overline{f}}^{h}.\) Note that (177) implies that
we immediately get
hence by Relich-Kondrachov there is \(f \in W^{1,2}(\Omega ^{1}, {\mathbf {R}}^{3})\) such that
weakly in \(W^{1,2}.\) We also get that
for some \(b \in L^{2}(\Omega ^{1}, {\mathbf {R}}^{3}).\)
By [3] we now that there exists a rotation valued field \(R(x') \in W^{1,2}(\Omega , M^{3\times 3})\) such that
We now argue as in the lower bound, and define
then we have that \(S_{h} \rightharpoonup S(x',x_{3})\) weakly in \(L^{2},\) where S satisfies
since \(\mathbf {II}=0.\)
Arguing as in Sect. 4, we know that
weakly in \(L^{1},\) since by Holder \(\parallel S_{h}S_{h}^{T} \parallel _{L^{1}} \le \parallel S_{h} \parallel _{L^{2}}^{2}\le k.\)
On the other hand,
We know that \(\nabla ^{h} \phi ^{h} \rightarrow R\) strongly in \(L^{2},\) where \(R: \Omega \rightarrow SO(3)\) is a rotation-valued field. We also know that R is constant in \(\omega ,\) since \(\mathbf {II}=0.\) After a change of coordinates, we may assume \(R=Id,\) we also have that \(\text{ sym } \left( \nabla ^{y} (\eta ^{h})^{T}\nabla \nu ^{h} \right) \rightharpoonup 0\) in \(\omega \) (we will prove this in a moment). Using Holder’s inequality once again, we get
Hence
equating (187) and (186) we get
In particular, \((\nabla f)_{2\times 2}\) is independent of \(x_{3}.\)
Using results from previous sections we have that
In order to show that \(\text{ sym } (\nabla ^{h} (\eta ^{h})^{T}\nabla \nu ^{h}) \rightarrow 0\) in \(\omega \), we note that because of (173), we have that
and therefore there exist rotations \({\widetilde{R}}^{h}(x')\) such that
and that if we define
then \({\overline{S}}_{\phi }^{h} \rightharpoonup {\overline{S}}_{\phi }\) weakly in \(L^{2},\) for some \({\overline{S}}_{\phi }\). We claim that \(\nabla \nu ^{h}\) is uniformly bounded in \(L_{2}.\) Since \({\overline{S}}_{\phi }^{h}\) is uniformly bounded in \(L^{2},\) we have
is uniformly bounded in \(L^{2},\) but
since multiplication by \({\widetilde{R}}^{h}\) does not change the \(L_{2}\) norm, we have that \(\nabla \nu ^{h}\) is bounded in \(L^{2}\). Furthermore, \({\overline{S}}_{\phi }\) satisfies that
where \(\nu \) is the Cosserat vector (unit normal) of y. From this, we get
weakly in \(L^{1}\) .On the other hand, we know that
Since \(\parallel \nabla \nu ^{h}\parallel _{L^{2}}\) is uniformly bounded, we have that \(\nabla \nu ^{h} \rightharpoonup \nabla \nu '\) in \(L^{2}\) for some \(\nu ' \in W^{1,2}(\Omega ).\)Footnote 4 By Holder, we have that \((\nabla \nu ^{h})^{T}\nabla \nu ^{h}\) is uniformly bounded in \(L^{1},\) and therefore
Therefore
hence
since \((\nabla ' y|\nu )\) is the identity in \(\omega .\)
7 Prestrain with variations in thickness of different order
So far, we have assumed that the prestrain is of order h (or in other words that we can write \(A^{h}(x',x_{3})={\overline{A}}(x')+hB^{h},\) where the matrix \(B^{h}(x',x_{3})\) is bounded). This section is devoted to analyzing prestrains that are much bigger than the thickness. As before, we will reduce ourselves to cases in which the limiting deformation is an isometric immersion. First we ask the question: if a sequence of minimizers has finite bending energy then is the prestrain is of order h? in other words, does
imply that \(A^{h}(x',x_{3})={\overline{A}}(x')+hB^{h}(x',x_{3}),\) where \(B^{h}(x',x_{3})\) is bounded (in some \(L^{p}\) norm)? This implication is not true, as will be proved shortly. Our motivation for asking this question lies not only in its physical interest, but also in our opinion that the question of whether order h prestrain is a necessary condition for finite bending energy is mathematically interesting in its own right.
This section also contains three main examples that illustrate the possible pathological behavior if the prestrain is not of order h : first we show that if the prestrain is much bigger than the thickness, a limiting configuration may not exist in the strong sense. The second example shows that even if a limiting configuration exists, it may not be \(W^{2,2}.\) Lastly, we show that even if the limiting configuration exists and is \(W^{2,2},\) the prestrain may be much bigger than the thickness, and the curvature of a minimizing sequence may blow up (the idea is to construct a sequence which converges to a limit in \(W^{2,2},\) but convergence is not in the \(W^{2,2}\) topology). Apart from exploring the possible pathological behavior of larger prestrains, these examples also show that the implication considered in the first paragraph is not true even if the hypotheses are significantly strengthened. It is even possible for all the conclusions of Theorem 1 to hold, with all the hypotheses being valid except that the prestrain is of order h.
Finally, we prove a weaker version of the implication considered in the first paragraph: if
and a limiting deformation exists in the strong \(W^{1,2}\) sense, then \(A^{h}(x',x_{3})={\overline{A}}(x')+B^{h}(x',x_{3}),\) then \(B^{h}(x',x_{3}) \rightarrow 0.\)
We start with a simple example of a sequence with finite (in fact, zero) bending energy and infinite prestrain/thickness ratio.
Example 15
Let \(\Omega =[0,1]^{2}\)
and \(W(X)=\parallel \sqrt{X^{T}X}-Id \parallel ^{2}.\) Then there exists a sequence \(u^{h}:\Omega ^{h} \rightarrow {\mathbf {R}}^{3}\) such that
and in particular
Proof
The idea of the proof is that we can will construct \(u^{h}\) such that \((A^{h})^{2}=(\nabla u^{h})^{2}\). This will make the elastic energy be 0.
Let
where \(\lambda _{h}\) will be determined later. We then have
where \({\widehat{\nu }}\) is the unit normal to the surface. We also have
By taking \(\lambda _{h}=\frac{1}{h^{\alpha }}\) and defining \(u^{h}:\Omega ^{h}\rightarrow {\mathbf {R}}^{3}\) as
we have
and therefore
where \(Q \in O(3).\) We then get
therefore
\(\square \)
The last example may seem pathological since the limiting configuration does not exist (in the strong \(W^{1,2}\) sense), i.e. this sequence of minimizers is not compact in the strong \(W^{1,2}\) topology. We may ask if adding this additional hypothesis forces the prestrain to be of order h. The next example shows this is not true. The idea is simple: it is to construct \(u^{h}\) to form a right-angle corner, and then define \(A^{h}\) to make the elastic energy equal to 0.
Example 16
Let \(\Omega =[0,1]^{2},\) and let \(r=\lambda h\) for a fixed constant \(\lambda .\) Let \(x_{0}^{-}=\frac{1}{2}(1-\frac{\pi r}{2})\) and \(x_{0}^{+}=\frac{1}{2}(1+\frac{\pi r}{2}).\) Let \(u^{h}: \Omega ^{h} \rightarrow {\mathbf {R}}^{3}\) be defined as
and
where \({\widehat{\nu }}(x,y)\) is the unit normal to the surface parametrized by \(u^{h}(x,y,0).\) Let \(W(X)= \parallel \sqrt{X^{T}X} - \text{ Id } \parallel ^{2}.\) Then (for \(A^{h}\) converging strongly to Id which will be determined in the course of the proof) we have that
also that the rescaled deformations converge strongly to a limit \(\phi \) which is not is \(W^{2,2}.\) In other words, the limit may have corners if the prestrain is not of order h.
Proof
We start by computing \({\widehat{\nu }}\) for \(x \in (x_{0}^{-}, x_{0}^{+}):\)
if \(x \in (x_{0}^{-}, x_{0}^{+})\). Therefore for \(x \in (x_{0}^{-}, x_{0}^{+})\) we have
where \({\widehat{\nu }}=({\widehat{\nu }}_{1}, {\widehat{\nu }}_{2}, {\widehat{\nu }}_{3}).\) It’s clear that \(\phi ^{h}: \Omega ^{1} \rightarrow {\mathbf {R}}^{3}\) defined as \(\phi ^{h}(x,y,z)=u^{h}(x,y,hz)\) converges strongly to the function
and that \(\frac{1}{h} \partial _{z} \phi ^{h}\) converges strongly in \(W^{1,2}\) to
By basic linear algebra, we can write
where \(M^{h}\in C^{1}(\Omega ^{1}, M^{2\times 2}_{sym})\), and \(Q^{h}\in C^{1}(\Omega ^{1}, SO(3))\). If we define
then
in \(L^{p}\) for every \(p \in [1, \infty )\) since \(z \nabla \nu \) is bounded in \(L^{\infty }\) in \((x_{0}^{-}, x_{0}^{+})\) and \(\nabla \nu =0\) outside of \((x_{0}^{-}, x_{0}^{+}).\) We now claim that
this is easy to see, since
but clearly \(\phi \) is not in \(W^{2,2}(\Omega ^{1}, {\mathbf {R}}^{3}).\) This does not contradict theorem 1, since we have that the prestrain is larger than h.
In this example, the limit of \(\nabla u^{h}\) exists in the strong sense, and \(A^{h} \rightarrow Id\) strongly, but the limit is not \(W^{2,2}\) this is consistent with the fact that the prestrain is not of order h. \(\square \)
Since in the last example, the limit was not in \(W^{2,2,}\) we may ask if adding this hypothesis ensures that the oscillations of the metric are of order h. The following example shows that this not true, as well as exhibiting another abnormality: in Euclidean elasticity, bounded energy up to order \(h^{2}\) means that the second fundamental form of the deformation is controlled. Here we give an example where this is not the case, if the prestrain is not of order h. This last example shows that it is possible for all the conclusions of Theorem 1 to hold, with all the hypotheses except a prestrain of order h.
Example 17
Let \(u^{h}: \Omega ^{h} \rightarrow {\mathbf {R}}^{3}\) be defined as
and
where \({\widehat{\nu }}(x,y)\) is the unit normal to the surface parametrized by \(u^{h}(x,y,0)\) and \(\alpha , \beta \) will be determined later. Let \(W(X)=\parallel \sqrt{X^{T}X}-\text{ Id } \parallel ^{2}\) Then, for some \(A^{h}\) which will be determined during the proof, we have
We also have that, for the rescaled deformation \({\overline{u}}: \Omega ^{1} \rightarrow {\mathbf {R}}^{3},\) that
strongly in \(L^{2},\) but
In other words, the sheet has infinite bending. We also have that \(A^{h} \rightarrow \text{ Id }\) in \(L^{2}\) but
Proof
We can compute
and then we get
hence if we define \(A^{h}(x)=Q^{h}\nabla (u^{h}(x,y,{z}))\) where \(Q^{h}(x,y,{z})\) is such that \(Q^{h}\nabla (u^{h}(x,y,{z}))\) is symmetric, then
We now to check that
strongly in \(L^{2}.\) Let
provided that \(\alpha> 0, \ , \beta> 0, \alpha -\beta > 0, \ \) we have that
if in addition \(\alpha -2\beta \in (-1,0)\) together with \(2\alpha -3\beta > -1\) (for example, \(\alpha =2.3, \ \beta =1.2\),Footnote 5 then
hence
Therefore
Therefore, by continuity of \(\sqrt{,}\)
in \(L^{\infty }\) and in \(L^{2}.\)
We now claim
In order to check this, we proceed by contradiction: assume that
Note that Eq. (235), together with Eq. (244) implies that there exists a measurable rotation field \({\widetilde{R}}^{h}: \Omega ^{h} \rightarrow SO(3)\) such that
Proceeding as in the proof of the lower bound (or applying results from [7]), we have that there exists a measurable rotation field \(R^{h}: \Omega \rightarrow SO(3)\) (independent of thickness) such that
However (using the fact that constants are orthogonal to linear functions in the \((-\frac{1}{2}, \frac{1}{2} )\) interval), we have that for any \(R^{h}(x')\)
In particular,
\(\square \)
Since we cannot deduce that the prestrain is of order h from the conclusions, we may ask what additional hypotheses we may add to draw this conclusion. This is done in the following proposition. Before stating it, we introduce a short lemma, which we will need in the proof.
Lemma 18
Let A, M be commutative symmetric positive definite \(3 \times 3\) matrices, if \(Q \in O(3)\) then
Proof
We write the condition for minimization of \( \parallel A-QM \parallel ^{2}\) subject to the constraint \(Q \in O(3):\) the EL equation reads
The RHS can be simplified to
which implies
since \(M^{2}\) is symmetric and \(Q^{T}{\dot{Q}}\) is antisymmetric. This in turn implies
since the orthogonal complement of symmetric matrices are anisymmetric ones. Hence, \(Q^{T}AM\) and AM are symmetric square roots of \(A^{2}M^{2},\) since
Therefore, if Q is such that Q minimizes \(\parallel A-QM \parallel ^{2}\) then \(Q^{T}AM\) and AM have the same polar decomposition, except for possibly the sign of the eigenvalues. In other words, Q is of the form
where R is such that
with D diagonal, and L diagonal with only \(\pm 1\) entries:
where \(a_{i} \in \{-1,1\}.\) Hence,
where \(\lambda _{i}, \gamma _{i}\) are the eigenvalues of A and M respectively. Since A and M are SPD, we know \(\lambda _{i}, \gamma \ge 0.\) Hence, (258) is minimized when \(a_{i}=1\) and \(Q = \text{ Id }.\) \(\square \)
Remark 19
The hypothesis that A and M commute is necessary, since otherwise, AM is not symmetric in general, and we can decompose it as
where Q is in SO(3) and R is symmetric. Hence, Q satisfies the EL equation since \(Q^{T}AM\) is symmetric. Therefore, if A and M do not commute, \(Q=Id\) does not satisfy Eq. 253 since AM is not symmetric.
We now state the desired proposition:
Proposition 20
Assume that
with \(A^{h}(x',x_{3}) \rightarrow A(x')\) in \(L^{2},\) and that \(A(x')\) satisfies \({{\textbf {x}}}A{{\textbf {x}}}^{T} \ge c \parallel {{\textbf {x}}} \parallel ^{2}.\) Assume further that there exists a rotation field \(R(x')\) such that
then
Furthermore, if \(A(x')\) and \(A^{h}(x)\) commute, then
Proof
We start by noting that (260) implies that for some measurable \(R: \Omega ^{1} \rightarrow SO(3)\) we have
which implies
Footnote 6 and also that
hence
To check the second part if \(A^{h}\) and A commute, we simply have to note that (264) and (261) imply
which, together with Lemma 18 implies
\(\square \)
Remark 21
We may ask if Proposition 20 is still true under a weaker hypothesis, like
where
but the simple example \(\Omega =(0,1)\times (0,1)\) and
for the right choice of \(\alpha \) and \(\beta \) (for example \(\alpha =2\) and \(\beta =3\)) shows that this is not true.
Lastly, we prove that if a sheet is in the bending regime, i.e. if
and the limiting configuration exists in the strong \(W^{1,2}\) sense, the limit of the prestrain is thickness independent.
Proposition 22
Let \(A^{h}(x) \rightarrow A(x)\) strongly in \(L^{2}(\Omega ^{1})\) (we abused notation by stating this for \(A^{h}\) and not the re-scaled versions). Assume that there exists \(X \in L^{2}(\Omega ^{1} \rightarrow M^{3 \times 3})\) such that \(\nabla ^{h}{\widetilde{u}}^{h} \rightarrow X\) strongly, where \({\widetilde{u}}^{h}: \Omega ^{1} \rightarrow {\mathbf {R}}^{3}\) is the rescaled version of \(u^{h}\), and assume that
Then \((A(x))_{2\times 2}\) is independent of \(x_{3}\) Furthermore, if X is independent of \(x_{3}\) then A(x) is independent of \(x_{3}\)
Proof
Note that under these hypotheses, we can write
where \(B^{h}(x) \rightarrow 0\) in \(L^{2}.\) Since \({\mathcal {E}}^{h}\le Ch^{2},\) we know that there exist measurable rotation fields \(R^{h}: \Omega ^{1} \rightarrow SO(3)\) such that
From this we know that \(R^{h}\nabla ^{h}{\widetilde{u}}^{h} \rightarrow A(x)\) in \(L^{2},\) and hence
where the limit is in the \(L^{1}\) topology.Footnote 7 The first and second columns of X are independent of \(x_{3}\) (we will prove this in a moment). We therefore have that \((A^{T}A)_{2\times 2}\) is independent of \(x_{3},\) and if X is independent of \(x_{3},\) then \(A^{T}A\) is independent of \(x_{3}.\)
To prove that the first and second columns of X are independent of \(x_{3},\) note that since
we have that
hence \({\widetilde{u}}^{h} \rightarrow {\widetilde{u}}\) in \(W^{1,2}(\Omega ^{1})\) for some \({\widetilde{u}}\) that satisfies
from which we immediately get that \((\nabla {\widetilde{u}})_{3\times 2}\) is independent of \(x_{3},\) since \(X_{3\times 2}=(\nabla {\widetilde{u}})_{3\times 2},\) we have that the first and second columns of X are independent of \(x_{3}.\) \(\square \)
Remark 23
It is not possible to weaken the hypotheses to \(A^{h} \rightharpoonup A,\) since in general this does not imply \(\lim _{h \rightarrow 0} (A^{h})^{T}A^{h}=A^{T}A.\)
Remark 24
The simple example
show that, in general, the third block and column of A may depend on \(x_{3},\) even if the other hypotheses of Proposition 22 are satisfied.
Notes
By using the abovementioned references, we can drop the requirement that \(\Omega \) is convex, which was present in [25], and require only mild regularity on the boundary. It is only for this step that we need \(\partial \Omega \) to be piecewise \(C^{1},\) although the theorem is still true under slightly weaker assumptions, see [10] and [11] for more details.
This assumption, in combination with the previous regularity assumptions, means that we can take \(|\mathbf {II}|\ge c > 0.\)
Of course, we are using that the weak limit of a gradient is a gradient.
In order to ensure \((A^{h})^{2}\) converges to the identity, we only need \(\alpha -2\beta \in (-1,\infty ),\) the condition \(\alpha -2\beta \in (-1,0),\) will be necessary in what comes later.
Here we have used a result that, though elementary, may deserve an explanation: If \(f_{n}, g_{n} \in L^{2}(\Omega ^{h}, M_{n\times n})\) are such that \(\parallel f_{n}-g_{n} \parallel _{L^{2}(\Omega ^{h})}^{2} \le C h^{3}\) and \(\parallel g_{n} \parallel _{L^{2}(\Omega ^{h})}^{2}+\parallel f_{n} \parallel _{L^{2}(\Omega ^{h})}^{2}\le Ch\) then
$$\begin{aligned} \begin{aligned} \parallel f_{n}^{T}f_{n}-g_{n}^{T}g_{n} \parallel _{L^{1}(\Omega ^{h})}&=\parallel f_{n}^{T}f_{n}-f_{n}^{T}g_{n}+f_{n}^{T}g_{n}-g_{n}^{T}g_{n} \parallel _{L^{1}(\Omega ^{h})}\\&\le \parallel f_{n}^{T}f_{n}-f_{n}^{T}g_{n}\parallel _{L^{1}(\Omega ^{h})}+ \parallel f_{n}^{T}g_{n}-g_{n}^{T}g_{n} \parallel _{L^{1}(\Omega ^{h})}\\&\le \parallel f_{n}^{T}(f_{n}-g_{n})\parallel _{L^{1}(\Omega ^{h})}+ \parallel (f_{n}^{T}-g_{n}^{T})g_{n} \parallel _{L^{1}(\Omega ^{h})}\\&\le Ch^{2} \end{aligned} \end{aligned}$$(266)We have used that if \(f^{h} \rightarrow f\) in \(L^{2}\) then \(f^{h}(f^{h})^{T} \rightarrow ff^{T}\) in \(L^{1}.\)
References
Agostiniani, V., Lucantonio, A., Lucic, D.: Heterogeneous elastic plates with in-plane modulation of the target curvature and applications to thin gel sheets. ESAIM: Control Opt. Calculus Var. 25, 24 (2019). https://doi.org/10.1051/cocv/2018046
Aharoni, H., Xia, Y., Zhang, X., Kamien, R.D., Yang, S.: Universal inverse design of surfaces with thin nematic elastomer sheets Universal inverse design of surfaces with thin nematic elastomer sheets. Proc. Natl. Acad. Sci. 115(28), 7206–7211 (2018)
Bhattacharya, K., Lewicka, M., Schäffner, M.: Plates with incompatible prestrain Plates with incompatible prestrain. Arch. Ration. Mech. Anal. 221(1), 143–181 (2016)
de Benito Delgado, M., Schmidt, B.: Energy minimising configurations of pre-strained multilayers Energy minimising configurations of pre-strained multilayers. J. Elast. 1–33 (2020)
De Lellis, C., Székelyhidi, L., Jr.: High dimensionality and h-principle in PDE High dimensionality and h-principle in pde. Bull. Am. Math. Soc. 54(2), 247–282 (2017)
Efrati, E., Sharon, E., Kupferman, R.: Elastic theory of unconstrained non-Euclidean plates elastic theory of unconstrained non-euclidean plates. J. Mech. Phys. Solids 57(4), 762–775 (2009)
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)
Friesecke, G., James, R.D., Müller, S.: A hierarchy of plate models derived from nonlinear elasticity by gamma-convergence. Arch. Ration. Mech. Anal. 180(2), 183–236 (2006)
Gladman, A.S., Matsumoto, E.A., Nuzzo, R.G., Mahadevan, L., Lewis, J.A.: Biomimetic 4D printing biomimetic 4d printing. Nat. Mater. 15(4), 413 (2016)
Hornung, P.: Approximation of flat \(W^{2,2}\) isometric immersions by smooth ones Approximation of flat \(w^{2,2}\) isometric immersions by smooth ones. Arch. Ration. Mech. Anal. 199(3), 1015–1067 (2011)
Hornung, P.: Fine level set structure of flat isometric immersions Fine level set structure of flat isometric immersions. Arch. Ration. Mech. Anal. 199(3), 943–1014 (2011)
Kim, J., Hanna, J.A., Byun, M., Santangelo, C.D., Hayward, R.C.: Designing responsive buckled surfaces by halftone gel lithography Designing responsive buckled surfaces by halftone gel lithography. Science 335(6073), 1201–1205 (2012)
Klein, Y., Efrati, E., Sharon, E.: Shaping of elastic sheets by prescription of non-Euclidean metrics Shaping of elastic sheets by prescription of non-euclidean metrics. Science 315(5815), 1116–1120 (2007)
Kupferman, R., Solomon, J.P.: A Riemannian approach to reduced plate, shell, and rod theories. J. Funct. Anal. 266(5), 2989–3039 (2014)
Lewicka, M., Lucic, D.: Dimension reduction for thin films with transversally varying prestrain: oscillatory and nonoscillatory cases. Comm. Pure Appl. Math. (2018). https://doi.org/10.1002/cpa.21871
Lewicka, M., Mahadevan, L., Pakzad, M.R.: The Föppl-von Kármán equations for plates with incompatible strains The föppl-von kármán equations for plates with incompatible strains. Proc. R. Soc. A Math. Phys. Eng. Sci. 467(2126), 402–426 (2010)
Lewicka, M. , Mora, M.G., Pakzad, M.R.: Shell theories arising as low energy-limit of 3d nonlinear elasticity Shell theories arising as low energy-limit of 3d nonlinear elasticity. Ann. Scuola Normale Super. di Pisa Cl. Sci. 91–43 (2010)
Lewicka, M., Mora, M.G., Pakzad, M.R.: The matching property of infinitesimal isometries on elliptic surfaces and elasticity of thin shells. Arch. Ration. Mech. Anal. 200(3), 1023–1050 (2011)
Lewicka, M., Pakzad, M.R.: Scaling laws for non-Euclidean plates and the \(W^{2,2}\) isometric immersions of Riemannian metrics. ESAIM Control Opt. Calculus Var. 17(4), 1158–1173 (2011)
Lewicka, M., Pakzad, M.R.: Convex integration for the Monge–Ampère equation in two dimensions. Anal. PDE 10(3), 695–727 (2017)
Maor, C., Shachar, A.: On the role of curvature in the elastic energy of non-Euclidean thin bodies. J. Elast. 134(2), 149–173 (2019)
Miskin, M.Z., Dorsey, K.J., Bircan, B., Han, Y., Muller, D.A., McEuen, P.L., Cohen, I.: Graphene-based bimorphs for micron-sized, autonomous origami machines. Proc. Natl. Acad. Sci. 115(3), 466–470 (2018)
Padilla-Garza, D.: An asymptotic variational problem modeling a thin elastic sheet on a liquid, lifted at one end. Math. Methods Appl. Sci. https://doi.org/10.1002/mma.6161 (2020)
Pezzulla, M., Shillig, S.A., Nardinocchi, P., Holmes, D.P.: Morphing of geometric composites via residual swelling Morphing of geometric composites via residual swelling. Soft Matter 11(29), 5812–5820 (2015)
Schmidt, B.: Plate theory for stressed heterogeneous multilayers of finite bending energy. J. de Mathématiques Pures et Appliquées 88(1), 107–122 (2007)
Sharon, E., Roman, B., Marder, M., Shin, G.S., Swinney, H.L.: Mechanics: buckling cascades in free sheets mechanics. Nature 419(6907), 579 (2002)
Tobasco, I.: Curvature-driven wrinkling of thin elastic shells Curvature-driven wrinkling of thin elastic shells. Arch. Ration. Mech. Anal. 239(3), 1211–1325 (2021)
Acknowledgements
The author wants wants to thank his PhD adviser, Prof. Robert Kohn for many useful discussions. This work does not have any conflicts of interest. This work was partially supported by the National Science Foundation through grant DMS-1311833.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. M. Ball.
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
Padilla-Garza, D. Dimension reduction through gamma convergence for general prestrained thin elastic sheets. Calc. Var. 61, 187 (2022). https://doi.org/10.1007/s00526-022-02262-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-022-02262-z