On the Kirchhoff-Love Hypothesis (Revised and Vindicated)

Abstract

The Kirchhoff-Love hypothesis expresses a kinematic constraint that is assumed to be valid for the deformations of a three-dimensional body when one of its dimensions is much smaller than the other two, as is the case for plates. This hypothesis has a long history checkered with the vicissitudes of life: even its paternity has been questioned, and recent rigorous dimension-reduction tools (based on standard \(\varGamma \)-convergence) have proven to be incompatible with it. We find that an appropriately revised version of the Kirchhoff-Love hypothesis is a valuable means to derive a two-dimensional variational model for elastic plates from a three-dimensional nonlinear free-energy functional. The bending energies thus obtained for a number of materials also show to contain measures of stretching of the plate’s mid surface (alongside the expected measures of bending). The incompatibility with standard \(\varGamma \)-convergence also appears to be removed in the cases where contact with that method and ours can be made.

Introduction

Perhaps, some believe that the theory of elasticity is a dead subject. It may rather be that it is just deceptively simple: it makes one believe that everything is understood and only routine computations need to be done, for which it suffices to devise the most appropriate algorithm (the distinguished job of computational mechanics). Nothing is farthest from truth.

Perhaps a tangible sign of this is the revival of interest that new problems, mostly arising from soft matter physics, have engendered. Among these problems is that of predicting the shape that a nematic polymeric network can take upon the action of external stimuli that affect its internal material organization. Nematic polymeric networks are elastomeric materials that bear elongated molecules attached to their structural backbone, molecules capable of becoming ordered in orientation, as is typical of nematic liquid crystals. Light and heat can interfere with the orientational order of the nematic component, and this in turn can affect the polymeric backbone, inducing stresses that alter the shape of the body. Neat and rich reviews of the many interesting phenomena displayed by nematic elastomers can be found in [78] and [81], which we highly recommend reading.

Shape is the main object then; especially, when the body is a thin sheet, and so it is more prone to exhibit extraordinary changes of shape as a result of tenuous stimuli. Perhaps, the first stunning manifestation of the potential for applications hidden here was the swimmer “that swims into the dark” [8], a sheet flapping on a fluid surface whenever reached by light. Other soft matter mechanics papers that draw on shape have a biological inspiration, such as [26] and [71].

The statics of nematic elastomers in three space dimensions is described by an elastic free-energy density, commonly delivered by the “trace formula” of Warner and Terentjev’s theory [80]. In essence, this theory extends the ideas underlying the isotropic Gaussian distribution of polymeric chains to chains made anisotropic by the mutual interactions of the nematogenic molecules appended to them. It is no surprise then if the free energy of nematic elastomers (of a purely entropic nature) turns out to be an anisotropic extension of the classical neo-Hookean formula of isotropic rubber elasticity.

This formula is valid in the bulk, but we are interested in thin sheets. If a heuristic stretching energy is rather easy to obtain from the trace formula, and lately it has widely been used [41, 4954, 62, 79], an attempt at deriving an appropriate bending energy is only very recent [58]. A revised Kirchhoff-Love hypothesis, central to the theory of elastic plates and shells, proved particularly instrumental to our derivation. Here, we wish to revisit this classical hypothesis in its natural environment, as it were, and show how its revision could possibly be used to derive reduced theories for nonlinear elastic plates in which stretching and bending energies are naturally combined together.

The early theories of plates derived from three-dimensional elasticity for linearly elastic materials were already proposed by Poisson [67] and Cauchy [9], building on formal expansions of strains and stresses in powers of the transverse coordinate \(x_{3}\), ranging through the interval \([-h,h]\) representing the plate’s thickness. Similar expansions, perhaps closer in spirit to the approach that we shall take, were considered by Lévy [46] in a paper forgotten by most, but revived in [70]. Undoubtedly, the theory of plates was first established on firm grounds by Kirchhoff [35], who later in his book [36], improving on Gehring’s dissertation (published in Berlin in 1860), established the elastic energy of a plate as an expression that

“consists of two parts: one a quadratic function of the quantities defining the extension of the middle-surface with a coefficient proportional to the thickness of the plate, and the other a quadratic function of the quantities defining the flexure of the middle-surface with a coefficient proportional to the cube of the thickness.” [47, p. 27]

Kirchhoff’s plate theory is based on a number of hypotheses, which we found lucidly described in the account given in [63], based on a critical comparison of the statements appearing in revered books, such as [73] and [57]. In essence, Kirchhoff’s assumptions can be reduced to two kinematic statements [63]:

  1. 1.

    Points of the plate lying initially on a normal to the middle plane of the plate remain on the normal to the middle surface of the plate after bending.

  2. 2.

    The distance of every point of the plate from the middle surface remains unchanged by the deformation.

For mysterious reasons, these statements have become to be known as the Kirchhoff-Love hypothesis; we shall stick to this not fully justified tradition.

This hypothesis has been variously criticized in the literature, mainly for the inconsistencies that it may cause with the distribution of stresses that (depending on the specific constitutive law) should sustain the assumed deformation. Podio-Guidugli [63, 64] overcame this criticism by taking the view that the Kirchhoff-Love hypothesis is a constraint on the admissible deformations, which is sustained by an appropriate reactive stress, specified in a class admitted by symmetry and determined by the equilibrium equations of three-dimensional elasticity.

More recently, the rigorous analytical tool of \(\varGamma \)-convergence has been employed to derive plate (and shell) theories from three-dimensional elasticity. Admittedly, the problem with this method is that in general, apart from noticeable exceptions [2, 7], it only affords to derive single powers of the energy expansion in the thickness \(2h\). Said differently, we can obtain from a three-dimensional constitutive model either a “membrane-dominated model” or a “flexural-dominated model” (in the words of [14]), meaning that we can isolate two-dimensional energies either linear or cubic in \(h\), respectively. For example, models in the former category have been derived in [6] for linear plates and in [44] for nonlinear ones (as well as in [45] for nonlinear shells). Models in the latter category have been derived in [22, 24] for nonlinear plates (as well as in [23] for nonlinear shells). These higher-order \(\varGamma \)-limits, however, need to be evaluated on the class of deformations that minimize the lower order. In other words, we may only recover the \(h\)-cubic bending energy on the minimizers of the \(h\)-linear stretching energy.Footnote 1 Sadly, the analytic notion of \(\varGamma \)-limit has not yet fully evolved into that of \(\varGamma \)-expansion, and thus it does not yet serve the purpose of deriving blended stretching and bending energies, free to conspire together in a thin sheet of a (possibly activable) elastic material, which is our objective here.

In the engineering literature, the role of \(\varGamma \)-convergence as a method to validate reduced elastic theories for structure mechanics has further flourished in recent years. As lucidly reviewed in [65] and [66, \(\S \) 2], \(\varGamma \)-convergence has been employed to justify both the Kirchhoff-Love and Reissner-Mindlin theories for linearly elastic plates, in a variety of ways, which have been classified under two general categories, standard [60, 61] and improved [59].Footnote 2

For nonlinear elastic plates, standard \(\varGamma \)-convergence clashed with the Kirchhoff-Love hypothesis. It was proven in [22] that the rigorous bending energy (in the flexural-dominated model) is incompatible with the deformation field assumed by the Kirchhoff-Love hypothesis. Here, we try and remedy this clash by revising (and salvaging) the classical hypothesis. In particular, we shall see that the incompatibility pointed out in [22] is resolved by our revised hypothesis.

The paper is organized as follows. In Sect. 2, we recall the basic kinematics of plates and present our revision of the classical Kirchhoff-Love hypothesis. In Sect. 3, we introduce a description for the deformation of a smooth surface that relies on a notion of Cartesian connectors, which avoid the use of coordinates and Christoffel symbols. Sections 4 and 5 are devoted to the dimension-reduction afforded by our revised kinematic hypothesis in two distinct constitutive classes, one for incompressible plates and the other for compressible ones. We consider a number of special nonlinear elastic models for the application of our method; for all we derive stretching and bending energies. The features that these results have in common is the presence in the bending energy of stretching measures of the mid surface of the plate (alongside the expected measures of bending). In Sect. 6, we summarize our conclusions and comment on some possible avenues along which this work could be extended. This paper is closed by the Appendix, where we give explicit formulae for the mean and Gaussian curvatures of the deformed mid surface in terms of the mapping that describes it.

Kinematics of Plates

Here we wish to describe the deformation of an elastic plate with a uniform width (and a planar reference configuration). The deformation will be split into two components, a planar one, which maps the reference plane mid surface onto a deformed mid surface, and an axial one, which maps vectors normal to the mid reference surface on vectors normal to the deformed mid surface. The classical Kirchhoff-Love hypothesis consists in assuming that the second mapping is an isometry (see, for example, [76, p. 551] and [12, p. 156]). Because of this isometry, assuming regularity for the planar mapping is enough to ensure an admissible deformation for sufficiently thin plates. In the following, the latter assumption will be made precise and the isometric constraint along normals will be relaxed. In this framework, an approximate right Cauchy-Green tensor will be constructed and its invariants computed.

Kinematic Preliminaries

Let \(S\) be a bounded, two-dimensional flat domain immersed in three-dimensional Euclidean space ℰ and \(h>0\) a real constant. We call \(\boldsymbol{y}:S\rightarrow \mathscr{E}\) an injective \(\mathcal{C}^{3}\)-immersion of \(S\) and we denote its image as \(\mathscr{S}:=\boldsymbol{y}(S)\). Pursuing our aim of extending the Kirchhoff-Love hypothesis, we interpret the closed set \(\mathsf{S}:=\overline{S}\times [-h,h]\subset \mathscr{E}\) as the reference configuration of an elastic plate whose mid surface is \(\overline{S}\). As we focus on the case \(2h\ll \operatorname{diam}S\), we set \(\operatorname{diam}S=1\), for simplicity, meaning that we shall rescale all lengths to \(\operatorname{diam}S\).

We define the mapping \(\boldsymbol{f}:\mathsf{S}\rightarrow \mathscr{E}\) as

$$ \boldsymbol{f}(\boldsymbol{x},x_{3})=\boldsymbol{y}(\boldsymbol{x})+\phi (\boldsymbol{x},x_{3}) \boldsymbol{\nu }(\boldsymbol{x}), $$
(1)

where \(\boldsymbol{\nu }\) is the unit normal vector to \(\mathscr{S}\) and \(\phi :\mathsf{S}\rightarrow \mathbb{R}\) is a \(\mathcal{C}^{2}\)-function which describes how normals to \(S\) deform into normals to \(\mathscr{S}\). It follows from (1) that the deformation gradient reads as

$$ \mathbf{F}(\boldsymbol{x},x_{3}):=\mathrm{D}\boldsymbol{f}=\nabla \boldsymbol{y}+\phi \nabla \boldsymbol{\nu }+\phi '\boldsymbol{\nu }\otimes \boldsymbol{e}_{3}+\boldsymbol{\nu } \otimes \nabla \phi , $$
(2)

where \(\nabla \) denotes the gradient in \(\boldsymbol{x}\), a prime ′ denotes differentiation with respect to \(x_{3}\), and \(\boldsymbol{e}_{3}\) is the unit normal to \(S\).Footnote 3 Furthermore, \(\phi \) is assumed to obey

$$ \left \{ \textstyle\begin{array}{l} \phi (\boldsymbol{x},0)=0, \\ \phi '(\boldsymbol{x},0)>0, \end{array}\displaystyle \right . \qquad \forall \, \boldsymbol{x}\in \overline{S}, $$
(3)

which is justified by the requirement that \(\boldsymbol{f}\) be orientation-preserving at least for \(x_{3}=0\), as there, by (2),

$$ \det \mathbf{F}(\boldsymbol{x},0)=\phi '(\boldsymbol{x},0)\det (\nabla \boldsymbol{y})>0. $$
(4)

The classical Kirchhoff-Love hypothesis just requires that \(\phi \equiv x_{3}\), and so it trivially complies with (3). In our approach, \(\phi \) will rather remain free and either determined to enforce the constraint of bulk incompressibility or used to minimize the elastic energy stored across the thickness of the deformed plate. We see now how (3) can ensure that \(\boldsymbol{f}\) is an orientation-preserving \(\mathcal{C}^{2}\)-diffeomorphism onto its image, for appropriately small values of \(h\).

Proposition 1

There is \(h>0\) such that the mapping \(\boldsymbol{f}\) defined in (1) is a \(\mathcal{C}^{2}\)-diffeomorphism from \(\mathsf{S}\) onto \(\boldsymbol{f}(\mathsf{S})\) and \(\det \mathbf{F}(\boldsymbol{x},x_{3})>0\ \forall \, (\boldsymbol{x},x_{3})\in \mathsf{S}\).

Proof

In the following two steps, we adapt Theorem 4.1-1 of [12, p. 157] to our setting.

  1. 1.

    By the continuity of \(\mathbf{F}\), inequality (4) implies that

    $$ \exists \, h_{1}>0\ \text{such that}\ \det \mathbf{F}(\boldsymbol{x},x_{3})>0 \ \forall \, (\boldsymbol{x},x_{3})\in \overline{S}\times [-h_{1},h_{1}]. $$
  2. 2.

    As \(\phi '(\boldsymbol{x},0)>0\ \forall \, \boldsymbol{x}\in \overline{S}\), the implicit function theorem can be applied on the closure \(\overline{S}\times [-h_{1},h_{1}]\). Then, there are \(\eta (\boldsymbol{x})\in (0,h_{1})\) and a neighborhood \(U(\boldsymbol{x})\) of \(\boldsymbol{x}\) in \(\overline{S}\) such that \(\boldsymbol{f}\) is a \(\mathcal{C}^{2}\)-diffeomorphism from \(U(\boldsymbol{x})\times [-\eta (\boldsymbol{x}),\eta (\boldsymbol{x})]\) onto \(\boldsymbol{f}(U(\boldsymbol{x})\times [-\eta (\boldsymbol{x}),\eta (\boldsymbol{x})])\). Since \(\overline{S}\) is compact, \(\eta \) attains it minimum in \(\overline{S}\). Moreover, the minimum of \(\eta \) over \(\overline{S}\) must be strictly positive, otherwise \(\boldsymbol{y}\) would fail to be an injective immersion. Thus, \(h\) can be chosen so that

    $$ 0< h< \min _{\boldsymbol{x}\in \overline{S}}(\eta (\boldsymbol{x})), $$
    (5)

    which is where we shall hereafter take it to be.

 □

In Sects. 4 and 5, we shall use a polynomial approximation for \(\phi \) in computing the invariants of the right Cauchy-Green tensor \(\mathbf{C}_{\boldsymbol{f}}\) associated with \(\boldsymbol{f}\). Now, we justify this approximation and lay down a number of preliminary formulae for the invariants of \(\mathbf{C}_{\boldsymbol{f}}\).

Invariants of \(\mathbf{C}_{\boldsymbol{f}}\)

We learned in Proposition 1 how to choose \(h>0\) sufficiently small so that the mapping \(\boldsymbol{f}\) is a \(\mathcal{C}^{2}\)-diffeomorphism. Hypothesis (3) also implies that \(\nabla \phi (\boldsymbol{x},0)=0\ \forall \, \boldsymbol{x}\in \overline{S}\); thus, it is also possible to choose \(h\) so small that

$$ |\nabla \phi (\boldsymbol{x},x_{3})|\ll \phi '(\boldsymbol{x},x_{3})\quad \forall \, (\boldsymbol{x},x_{3})\in \mathsf{S}. $$
(6)

This inequality will be assumed to be valid in the following, and \(h\) will be taken to comply with both (5) and (6). Within the approximation stated in (6), \(\mathbf{F}\) in (2) will be written as

$$ \mathbf{F}=\nabla \boldsymbol{y}+\phi \nabla \boldsymbol{\nu }+\phi '\boldsymbol{\nu } \otimes \boldsymbol{e}_{3}. $$
(7)

Definition 1

The corresponding right Cauchy-Green tensor \(\mathbf{C}_{\boldsymbol{f}}\) associated with \(\boldsymbol{f}\) is given by

$$ \mathbf{C}_{\boldsymbol{f}}:=\mathbf{F}^{\mathsf{T}}\mathbf{F}=\mathbf{C}_{\phi }+\phi ^{\prime \,2}\boldsymbol{e}_{3}\otimes \boldsymbol{e}_{3}, $$
(8a)

where

$$ \mathbf{C}_{\phi }:=\mathbf{C}+\phi \mathbf{C}_{1}+\phi ^{2} \mathbf{C}_{2} $$
(8b)

and

$$ \mathbf{C}:=(\nabla \boldsymbol{y})^{\mathsf{T}}(\nabla \boldsymbol{y}),\quad \mathbf{C}_{1}:=(\nabla \boldsymbol{y})^{\mathsf{T}}(\nabla \boldsymbol{\nu })+( \nabla \boldsymbol{\nu })^{\mathsf{T}}(\nabla \boldsymbol{y}),\quad \mathbf{C}_{2}:=( \nabla \boldsymbol{\nu })^{\mathsf{T}}(\nabla \boldsymbol{\nu }). $$
(8c)

Here \(\mathbf{C}\) is the right Cauchy-Green tensor associated with the deformation \(\boldsymbol{y}\), while

$$ \mathbf{B}:=(\nabla \boldsymbol{y})(\nabla \boldsymbol{y})^{\mathsf{T}}$$
(9)

is the left Cauchy-Green tensor associated with the same deformation. The reader should heed that all tensors \(\mathbf{C}\), \(\mathbf{C}_{1}\), and \(\mathbf{C}_{2}\) act on the two-dimensional space \(\mathscr{V}_{3}:=\{\boldsymbol{v}\in \mathscr{V}:\boldsymbol{v}\cdot \boldsymbol{e}_{3}=0 \}\), where \(\mathscr{V}\) is the translation space associated with three-dimensional Euclidean space ℰ. \(\mathbf{B}(\boldsymbol{x})\), however, at the place \(\boldsymbol{y}(\boldsymbol{x})\in \mathscr{S}\), acts on the two-dimensional space \(\mathscr{V}_{\boldsymbol{\nu }}:=\{\boldsymbol{v}\in \mathscr{V}:\boldsymbol{v}\cdot \boldsymbol{\nu }=0\}\).

Remark 1

The curvature tensor \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) of \(\mathscr{S}\), where \(\nabla _{\mathrm{s}}\) denotes the surface gradient on \(\mathscr{S}\), is a symmetric tensor on \(\mathscr{V}_{\boldsymbol{\nu }}\) (see, for example, [27]). We easily see that both tensors \(\mathbf{C}_{1}\) and \(\mathbf{C}_{2}\) can be expressed in terms of \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\). As \(\nabla _{\mathrm{s}}\boldsymbol{\nu }=(\nabla \boldsymbol{\nu })(\nabla \boldsymbol{y})^{-1}\), it readily follows from (8c) and the symmetry of \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) that

$$ \mathbf{C}_{1}=2(\nabla \boldsymbol{y})^{\mathsf{T}}(\nabla _{\mathrm{s}} \boldsymbol{\nu })(\nabla \boldsymbol{y}), \qquad \mathbf{C}_{2}=(\nabla \boldsymbol{y})^{\mathsf{T}}(\nabla _{\mathrm{s}}\boldsymbol{\nu })^{2}(\nabla \boldsymbol{y}). $$
(10)

We now compute the principal invariants of \(\mathbf{C}_{\boldsymbol{f}}\).

Proposition 2

The first invariant, \(I_{1}:=\operatorname{tr}\mathbf{C}_{\boldsymbol{f}}\), can be given the form

$$ I_{1}=(1-\phi ^{2}K)\operatorname{tr}\mathbf{C}+2\phi (1+\phi H) \operatorname{tr}(\mathbf{B}\nabla _{\mathrm{s}}\boldsymbol{\nu })+\phi ^{\prime \,2}, $$
(11)

where

$$ H:=\frac{1}{2}\operatorname{tr}(\nabla _{\mathrm{s}}\boldsymbol{\nu })\quad \textit{and}\quad K:=\det (\nabla _{\mathrm{s}}\boldsymbol{\nu })$$
(12)

are the mean and Gaussian curvatures of \(\mathscr{S}\), respectively.

Proof

We see from equations (8a)–(8c) and Remark 1 that

$$ I_{1}=\operatorname{tr}\mathbf{C}+2\phi \operatorname{tr}( \mathbf{B}(\nabla _{\mathrm{s}}\boldsymbol{\nu }))+\phi ^{2} \operatorname{tr}(\mathbf{B}(\nabla _{\mathrm{s}}\boldsymbol{\nu })^{2})+ \phi ^{\prime \,2}. $$
(13)

The desired conclusion follows from the identity,

$$ \operatorname{tr}(\mathbf{B}(\nabla _{\mathrm{s}}\boldsymbol{\nu })^{2})=2H \operatorname{tr}(\mathbf{B}\nabla _{\mathrm{s}}\boldsymbol{\nu })-K \operatorname{tr}\mathbf{C}, $$
(14)

which we now proceed to prove. First, we represent locally the curvature tensor \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) of \(\mathscr{S}\) as

$$ \nabla _{\mathrm{s}}\boldsymbol{\nu }=\kappa _{1}\boldsymbol{n}_{1}\otimes \boldsymbol{n}_{1}+ \kappa _{2}\boldsymbol{n}_{2}\otimes \boldsymbol{n}_{2}, $$
(15)

where \(\kappa _{1}\), \(\kappa _{2}\) are the principal curvatures of \(\mathscr{S}\) and \(\boldsymbol{n}_{1}\), \(\boldsymbol{n}_{2}\), orthogonal unit vectors of \(\mathscr{V}_{\boldsymbol{\nu }}\), are the corresponding principal directions of curvature, so that, at each place on \(\mathscr{S}\), \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) is a symmetric tensor acting on \(\mathscr{V}_{\boldsymbol{\nu }}\). Since \(\mathbf{B}\) is also a symmetric tensor acting on \(\mathscr{V}_{\boldsymbol{\nu }}\), it can be represented in the frame \((\boldsymbol{n}_{1},\boldsymbol{n}_{2})\) as

$$ \mathbf{B}=B_{11}\boldsymbol{n}_{1}\otimes \boldsymbol{n}_{1}+B_{22}\boldsymbol{n}_{2} \otimes \boldsymbol{n}_{2}+B_{12}(\boldsymbol{n}_{1}\otimes \boldsymbol{n}_{2}+\boldsymbol{n}_{2} \otimes \boldsymbol{n}_{1}). $$
(16)

Then,

$$ \operatorname{tr}(\mathbf{B}(\nabla _{\mathrm{s}}\boldsymbol{\nu })^{2})-2H \operatorname{tr}(\mathbf{B}\nabla _{\mathrm{s}}\boldsymbol{\nu })=B_{11} \kappa _{1}^{2}+B_{22}\kappa _{2}^{2}-(\kappa _{1}+\kappa _{2})(B_{11} \kappa _{1}+B_{22}\kappa _{2})=-K\operatorname{tr}\mathbf{B}, $$
(17)

which is precisely (14), as by (9) \(\operatorname{tr}\mathbf{B}=\operatorname{tr}\mathbf{C}\). Use of (14) in (13) finally proves (11). □

Equation (11) shows that \(I_{1}\) involves at most quadratic terms in \(\phi \) and \(\phi '\). As a consequence of the orthogonal decomposition in (8a), the second and third invariants of \(\mathbf{C}_{\boldsymbol{f}}\), \(I_{2}\) and \(I_{3}\), will also involve higher powers of \(\phi \), but not of \(\phi '\). To justify the power expansion of the stored elastic energy considered in the following, we need only retain in \(I_{2}\) and \(I_{3}\) the terms at most quadratic in \(\phi \); all higher powers of \(\phi \) will be neglected.

Proposition 3

The third invariant, \(I_{3}:=\det \mathbf{C}_{\boldsymbol{f}}\), is expressed by

$$ I_{3}=\phi ^{\prime \,2}\det \mathbf{C}\left (1+4H\phi +(4H^{2}+2K)\phi ^{2} \right )+O\left (\phi ^{3}\right ). $$
(18)

Proof

First, we note that, by (8a),

$$ I_{3}=\phi ^{\prime \,2}\det \mathbf{C}_{\phi }. $$
(19)

Then we consider two elementary identities valid for any second-order tensor \(\mathbf{A}\) on \(\mathscr{V}_{3}\): for any orthonormal basis \((\boldsymbol{e}_{1},\boldsymbol{e}_{2})\) of \(\mathscr{V}_{3}\),

$$ \det \mathbf{A}=\mathbf{A}\boldsymbol{e}_{1}\times \mathbf{A}\boldsymbol{e}_{2} \cdot \boldsymbol{e}_{3}\quad \text{and}\quad \operatorname{tr}\mathbf{A}=( \mathbf{A}\boldsymbol{e}_{1}\times \boldsymbol{e}_{2}+\boldsymbol{e}_{1}\times \mathbf{A}\boldsymbol{e}_{2})\cdot \boldsymbol{e}_{3}. $$
(20)

Making use of these identities, we readily obtain from (8b) that

$$ \det \mathbf{C}_{\phi }=\det \mathbf{C}\left (1+\phi \operatorname{tr}\left (\mathbf{C}^{-1}\mathbf{C}_{1}\right )+ \phi ^{2}\operatorname{tr}\left (\mathbf{C}^{-1}\mathbf{C}_{2} \right )\right ) +\phi ^{2}\det \mathbf{C}_{1} +O\left (\phi ^{3} \right ). $$
(21)

Basic properties of trace and determinant ensure that

$$\begin{aligned} \operatorname{tr}\left (\mathbf{C}^{-1}\mathbf{C}_{1}\right ) =&2 \operatorname{tr}(\nabla _{\mathrm{s}}\boldsymbol{\nu })=4H, \end{aligned}$$
(22a)
$$\begin{aligned} \operatorname{tr}\left (\mathbf{C}^{-1}\mathbf{C}_{2}\right ) =&\operatorname{tr}( \nabla _{\mathrm{s}}\boldsymbol{\nu })^{2}, \end{aligned}$$
(22b)
$$\begin{aligned} \det \mathbf{C}_{1} =&4K\det \mathbf{B}=4K\det \mathbf{C}. \end{aligned}$$
(22c)

Moreover, by the Cayley-Hamilton theorem,

$$ \operatorname{tr}(\nabla _{\mathrm{s}}\boldsymbol{\nu })^{2}= \operatorname{tr}^{2}(\nabla _{\mathrm{s}}\boldsymbol{\nu })-2\det ( \nabla _{\mathrm{s}}\boldsymbol{\nu })=4H^{2}-2K, $$

which together with (19), (21), and (22a)–(22c) lead us to (18). □

Proposition 4

The second invariant \(I_{2}\) of \(\mathbf{C}_{\boldsymbol{f}}\) is given by

$$\begin{aligned} I_{2}: =&\frac{1}{2}\left (\operatorname{tr}^{2}\mathbf{C}_{\boldsymbol{f}}- \operatorname{tr}\mathbf{C}_{\boldsymbol{f}}^{2}\right ) \\ =&\det \mathbf{C}\left (1+4H\phi +(4H^{2}+2K)\phi ^{2}\right ) \\ +&\phi ^{\prime \,2}\left ((1-\phi ^{2}K)\operatorname{tr}\mathbf{C}+2\phi (1+ \phi H)\operatorname{tr}(\mathbf{B}\nabla _{\mathrm{s}}\boldsymbol{\nu }) \right ) +O\left (\phi ^{3}\right ). \end{aligned}$$
(23)

Proof

It follows from (8a) that

$$ I_{2}=\frac{1}{2} \left (\operatorname{tr}^{2}\mathbf{C}_{\phi }- \operatorname{tr}\mathbf{C}_{\phi }^{2}\right )+\phi ^{\prime \,2} \operatorname{tr}\mathbf{C}_{\phi }. $$
(24)

Since \(\mathbf{C}_{\phi }\) is tensor on \(\mathscr{V}_{3}\), again by the Cayley-Hamilton theorem, it satisfies

$$ \mathbf{C}_{\phi }^{2}-(\operatorname{tr}\mathbf{C}_{\phi }) \mathbf{C}_{\phi }+(\det \mathbf{C}_{\phi })\mathbf{I}_{2}=\boldsymbol{0}, $$
(25)

where \(\mathbf{I}_{2}\) is the identity on \(\mathscr{V}_{3}\). Taking the trace of both sides of (25), we obtain from (24) that

$$ I_{2}=\det \mathbf{C}_{\phi }+\phi ^{\prime \,2}\operatorname{tr}\mathbf{C}_{\phi }. $$
(26)

The desired conclusion then follows from (21), (22a)–(22c), and (11), since \(\operatorname{tr}\mathbf{C}_{\phi }=I_{1}-\phi ^{\prime \,2}\). □

In Sect. 4, we shall consider materials that obey the incompressibility constraint, \(I_{3}=1\). There, (18) will turn into a differential equation that determines \(\phi \).

In preparation for this, in the following section we refresh the preliminaries of differential geometry of surfaces in a way that avoids local charts of coordinates, but resorts instead to a number of vector fields, which describe the correspondence between local movable frames in the reference and current configurations of a material surface.

Cartesian Connectors

Here, we introduce the notion of Cartesian connectors, which in our view constitute a viable alternative to Christoffel symbols. In terms of these connectors, we reformulate the classical theorema egregium of Gauss and the Codazzi-Mainardi compatibility conditions.

We reformulate the essentials of the differential geometry of smooth surfaces embedded in three-dimensional space. For definiteness, we shall assume that the mapping \(\boldsymbol{y}\) that deforms \(S\) into \(\mathscr{S}\) is of class \(\mathcal{C}^{3}\).

Letting \((\boldsymbol{r}_{1},\boldsymbol{r}_{2})\) be the right principal directions, that is, the (normalized) eigenvectors of \(\mathbf{C}\), and \((\boldsymbol{l}_{1},\boldsymbol{l}_{2})\) the left principal directions, that is, the (normalized) eigenvectors of \(\mathbf{B}\), with corresponding principal stretches (common to both tensors) \(\lambda _{1}>0\) and \(\lambda _{2}>0\), we may represent \(\nabla \boldsymbol{y}\), \(\mathbf{C}\), and \(\mathbf{B}\) as follows (see, for example, [28, p. 74]),

$$\begin{aligned} \nabla \boldsymbol{y}&=\lambda _{1}\boldsymbol{l}_{1}\otimes \boldsymbol{r}_{1}+\lambda _{2} \boldsymbol{l}_{2}\otimes \boldsymbol{r}_{2}, \end{aligned}$$
(27a)
$$\begin{aligned} \mathbf{C}&=\lambda _{1}^{2}\boldsymbol{r}_{1}\otimes \boldsymbol{r}_{1}+\lambda _{2}^{2} \boldsymbol{r}_{2}\otimes \boldsymbol{r}_{2}, \end{aligned}$$
(27b)
$$\begin{aligned} \mathbf{B}&=\lambda _{1}^{2}\boldsymbol{l}_{1}\otimes \boldsymbol{l}_{1}+\lambda _{2}^{2} \boldsymbol{l}_{2}\otimes \boldsymbol{l}_{2}. \end{aligned}$$
(27c)

We shall assume that the Cartesian frames \((\boldsymbol{r}_{1},\boldsymbol{r}_{2},\boldsymbol{e}_{3})\) and \((\boldsymbol{l}_{1},\boldsymbol{l}_{2},\boldsymbol{\nu })\) are oriented so that \(\boldsymbol{e}_{3}=\boldsymbol{r}_{1}\times \boldsymbol{r}_{2}\) and \(\boldsymbol{\nu }=\boldsymbol{l}_{1}\times \boldsymbol{l}_{2}\). It should be kept in mind that both \(\boldsymbol{r}_{1}\) and \(\boldsymbol{r}_{2}\) lie in the \((x_{1},x_{2})\) plane; \(\nabla \) denotes the two-dimensional gradient in this plane, whereas \(\nabla _{\mathrm{s}}\) denotes the surface gradient on \(\mathscr{S}\).

The connector \(\boldsymbol{c}\) is a vector field in the plane such that

$$\begin{aligned} \nabla \boldsymbol{r}_{1}&=\boldsymbol{r}_{2}\otimes \boldsymbol{c}, \end{aligned}$$
(28a)
$$\begin{aligned} \nabla \boldsymbol{r}_{2}&=-\boldsymbol{r}_{1}\otimes \boldsymbol{c}. \end{aligned}$$
(28b)

The existence of \(\boldsymbol{c}\) and the specific form of (28a), (28b) follow from the requirement that the right principal directions \((\boldsymbol{r}_{1},\boldsymbol{r}_{2})\) be orthonormal everywhere on \(S\).Footnote 4 Clearly, if \(\boldsymbol{r}_{1}\) is known then \(\boldsymbol{c}\) is defined as \(\boldsymbol{c}:=(\nabla \boldsymbol{r}_{1})^{\mathsf{T}}\boldsymbol{r}_{2}\); on the other hand, if \(\boldsymbol{c}\) is assigned, at least locally, in the class \(\mathcal{C}^{1}\), then \(\boldsymbol{r}_{1}\) (and \(\boldsymbol{r}_{2}\)) can be determined up to a rigid rotation by solving equations (28a), (28b). To this end, however, \(\boldsymbol{c}\) must be compatible; it follows from the symmetry of both \(\nabla ^{2}\boldsymbol{r}_{1}\) and \(\nabla ^{2}\boldsymbol{r}_{2}\) that the compatibility condition reads as

$$ \nabla \boldsymbol{c}-(\nabla \boldsymbol{c})^{\mathsf{T}}=\boldsymbol{0}, $$
(29)

which for a simply connected \(S\) implies that \(\boldsymbol{c}=\nabla \varPhi \), where \(\varPhi \) is an appropriate scalar potential. Since we assume that both \(\boldsymbol{r}_{1}\) and \(\boldsymbol{r}_{2}\) are determined by \(\boldsymbol{y}\), we shall here consider \(\boldsymbol{c}\) as known and satisfying (29).

In complete analogy to the frame \((\boldsymbol{r}_{1},\boldsymbol{r}_{2},\boldsymbol{e}_{3})\) on \(S\), we describe the corresponding frame \((\boldsymbol{l}_{1},\boldsymbol{l}_{2},\boldsymbol{\nu })\) as a field of orthonormal directors on \(\mathscr{S}\). Equations (28a), (28b) are generalized to

$$\begin{aligned} \nabla \boldsymbol{l}_{1}&=\boldsymbol{l}_{2}\otimes \boldsymbol{c}^{\ast }+\boldsymbol{\nu } \otimes \boldsymbol{d}^{\ast }_{1}, \end{aligned}$$
(30a)
$$\begin{aligned} \nabla \boldsymbol{l}_{2}&=-\boldsymbol{l}_{1}\otimes \boldsymbol{c}^{\ast }+\boldsymbol{\nu } \otimes \boldsymbol{d}^{\ast }_{2}, \end{aligned}$$
(30b)
$$\begin{aligned} \nabla \boldsymbol{\nu }&=-\boldsymbol{l}_{1}\otimes \boldsymbol{d}^{\ast }_{1}-\boldsymbol{l}_{2} \otimes \boldsymbol{d}^{\ast }_{2} , \end{aligned}$$
(30c)

where the connectors \(\boldsymbol{c}^{\ast }\), \(\boldsymbol{d}^{\ast }_{1}\), and \(\boldsymbol{d}^{\ast }_{2}\) are planar fields defined on \(S\). A number of consequences for these fields follow from the integrability condition that requires the second gradients of \(\boldsymbol{y}\), \(\boldsymbol{l}_{1}\), \(\boldsymbol{l}_{2}\), and \(\boldsymbol{\nu }\) to be symmetric: they are listed below.

  1. 1.

    For the symmetry of \(\nabla ^{2}\boldsymbol{y}\) (in its last two legs), the following second-order tensors must be symmetric,

    $$\begin{aligned} \boldsymbol{l}_{1}\cdot (\nabla ^{2}\boldsymbol{y})&=\boldsymbol{r}_{1}\otimes \nabla \lambda _{1}+\lambda _{1}\boldsymbol{r}_{2}\otimes \boldsymbol{c}-\lambda _{2} \boldsymbol{r}_{2}\otimes \boldsymbol{c}^{\ast }, \end{aligned}$$
    (31a)
    $$\begin{aligned} \boldsymbol{l}_{2}\cdot (\nabla ^{2}\boldsymbol{y})&=\lambda _{1}\boldsymbol{r}_{1} \otimes \boldsymbol{c}^{\ast }+\boldsymbol{r}_{2}\otimes \nabla \lambda _{2}-\lambda _{2} \boldsymbol{r}_{1}\otimes \boldsymbol{c}, \end{aligned}$$
    (31b)
    $$\begin{aligned} \boldsymbol{\nu }\cdot (\nabla ^{2}\boldsymbol{y})&=\lambda _{1}\boldsymbol{r}_{1}\otimes \boldsymbol{d}^{\ast }_{1}+\lambda _{2}\boldsymbol{r}_{2}\otimes \boldsymbol{d}^{\ast }_{2}. \end{aligned}$$
    (31c)

    Thus, for the symmetry of \(\nabla ^{2}\boldsymbol{y}\), it must be

    $$\begin{aligned} \lambda _{1}\boldsymbol{c}\cdot \boldsymbol{r}_{1}-\nabla \lambda _{1}\cdot \boldsymbol{r}_{2}- \lambda _{2}\boldsymbol{c}^{\ast }\cdot \boldsymbol{r}_{1}&=0 , \end{aligned}$$
    (32a)
    $$\begin{aligned} \lambda _{1}\boldsymbol{c}^{\ast }\cdot \boldsymbol{r}_{2}-\lambda _{2}\boldsymbol{c}\cdot \boldsymbol{r}_{2}-\nabla \lambda _{2}\cdot \boldsymbol{r}_{1}&=0, \end{aligned}$$
    (32b)
    $$\begin{aligned} \lambda _{1}\boldsymbol{d}^{\ast }_{1}\cdot \boldsymbol{r}_{2}-\lambda _{2}\boldsymbol{d}^{\ast }_{2}\cdot \boldsymbol{r}_{1}&=0. \end{aligned}$$
    (32c)

    In particular, (32a) and (32b) can be combined together to yield

    $$ \boldsymbol{c}^{\ast }=\frac{1}{\sqrt{\det \mathbf{C}}}\mathbf{C}\boldsymbol{c}- \frac{1}{\lambda _{2}}(\nabla \lambda _{1}\cdot \boldsymbol{r}_{2})\boldsymbol{r}_{1}+ \frac{1}{\lambda _{1}}(\nabla \lambda _{2}\cdot \boldsymbol{r}_{1})\boldsymbol{r}_{2}. $$
    (33)

    By recalling (27b), it becomes apparent from (33) that \(\boldsymbol{c}^{\ast }\) is completely determined by \(\boldsymbol{c}\) and \(\mathbf{C}\).

  2. 2.

    Similarly, for the symmetry of \(\nabla ^{2}\boldsymbol{l}_{1}\), it must be

    $$\begin{aligned} \nabla \boldsymbol{c}^{\ast }-(\nabla \boldsymbol{c}^{\ast })^{\mathsf{T}}&=\boldsymbol{d}^{\ast }_{1}\otimes \boldsymbol{d}^{\ast }_{2}-\boldsymbol{d}^{\ast }_{2}\otimes \boldsymbol{d}^{\ast }_{1}, \end{aligned}$$
    (34a)
    $$\begin{aligned} \nabla \boldsymbol{d}^{\ast }_{1}-(\nabla \boldsymbol{d}^{\ast }_{1})^{\mathsf{T}}&= \boldsymbol{d}^{\ast }_{2}\otimes \boldsymbol{c}^{\ast }-\boldsymbol{c}^{\ast }\otimes \boldsymbol{d}^{\ast }_{2}, \end{aligned}$$
    (34b)

    which can also be written in the equivalent forms

    $$\begin{aligned} \operatorname{curl}\boldsymbol{c}^{\ast }&=\boldsymbol{d}^{\ast }_{2}\times \boldsymbol{d}^{\ast }_{1}, \end{aligned}$$
    (35a)
    $$\begin{aligned} \operatorname{curl}\boldsymbol{d}^{\ast }_{1}&=\boldsymbol{c}^{\ast }\times \boldsymbol{d}^{\ast }_{2}. \end{aligned}$$
    (35b)
  3. 3.

    For the symmetry of \(\nabla ^{2}\boldsymbol{l}_{2}\), (34a) is supplemented by

    $$ \nabla \boldsymbol{d}^{\ast }_{2}-(\nabla \boldsymbol{d}^{\ast }_{2})^{\mathsf{T}}= \boldsymbol{c}^{\ast }\otimes \boldsymbol{d}^{\ast }_{1}-\boldsymbol{d}^{\ast }_{1}\otimes \boldsymbol{c}^{\ast }, $$
    (36)

    or its equivalent form

    $$ \operatorname{curl}\boldsymbol{d}^{\ast }_{2}=\boldsymbol{d}^{\ast }_{1}\times \boldsymbol{c}^{\ast }. $$
    (37)
  4. 4.

    Finally, the symmetry of \(\nabla ^{2}\boldsymbol{\nu }\) is guaranteed by (34b) and (36).

The connectors \(\boldsymbol{d}^{\ast }_{1}\) and \(\boldsymbol{d}^{\ast }_{2}\) can be given a geometric interpretation by computing the curvature tensor \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) of \(\mathscr{S}\). It readily follows from (27a) that

$$ (\nabla \boldsymbol{y})^{-1}=\frac{1}{\lambda _{1}}\boldsymbol{r}_{1}\otimes \boldsymbol{l}_{1}+\frac{1}{\lambda _{2}}\boldsymbol{r}_{2}\otimes \boldsymbol{l}_{2}. $$
(38)

Letting

$$ \boldsymbol{d}^{\ast }_{1}=d_{11}\boldsymbol{r}_{1}+d_{12}\boldsymbol{r}_{2},\qquad \boldsymbol{d}^{\ast }_{2}=d_{21}\boldsymbol{r}_{1}+d_{22}\boldsymbol{r}_{2}, $$
(39)

from (38) we arrive at

$$ \nabla _{\mathrm{s}}\boldsymbol{\nu }=(\nabla \boldsymbol{\nu })(\nabla \boldsymbol{y})^{-1} =-\left (\frac{d_{11}}{\lambda _{1}}\boldsymbol{l}_{1}\otimes \boldsymbol{l}_{1}+ \frac{d_{12}}{\lambda _{2}}\boldsymbol{l}_{1}\otimes \boldsymbol{l}_{2}+ \frac{d_{21}}{\lambda _{1}}\boldsymbol{l}_{2}\otimes \boldsymbol{l}_{1}+ \frac{d_{22}}{\lambda _{2}}\boldsymbol{l}_{2}\otimes \boldsymbol{l}_{2}\right ), $$
(40)

which is duly symmetric, as by (39) equation (32c) reduces to

$$ \lambda _{2}d_{21}=\lambda _{1}d_{12}. $$
(41)

Both the mean curvature \(H\) and the Gaussian curvature \(K\) of \(\mathscr{S}\) can easily be derived from (40); they are given by

$$\begin{aligned} H&=-\frac{1}{2}\left (\frac{d_{11}}{\lambda _{1}}+ \frac{d_{22}}{\lambda _{2}}\right ), \end{aligned}$$
(42)
$$\begin{aligned} K&=\frac{1}{\lambda _{1}\lambda _{2}}\left (d_{11}d_{22}-d_{12}d_{21} \right ). \end{aligned}$$
(43)

An important conclusion follows by combining (34a) and (43) with the aid of (39), namely

$$ \nabla \boldsymbol{c}^{\ast }-(\nabla \boldsymbol{c}^{\ast })^{\mathsf{T}}=\lambda _{1} \lambda _{2}K(\boldsymbol{r}_{1}\otimes \boldsymbol{r}_{2}-\boldsymbol{r}_{2}\otimes \boldsymbol{r}_{1}). $$
(44)

Since, as shown by (33), the left-hand side of (44) is determined by \(\mathbf{C}\) (alongside its first and second spatial derivatives), so is \(K\). In other words, the metric on \(\mathscr{S}\) determines the Gaussian curvature of \(\mathscr{S}\). This is the manifestation in our setting of the celebrated theorema egregium of Gauss. Similarly, equations (34b) and (36) are related to the Codazzi-Mainardi equations (see, for example, [72, p. 144]).

In the special case where both principal stretches (but not necessarily the principal directions of stretching) are uniform in space, equation (33) reduces to

$$ \boldsymbol{c}^{\ast }=\frac{\lambda _{1}}{\lambda _{2}}c_{1}\boldsymbol{r}_{1}+ \frac{\lambda _{2}}{\lambda _{1}}c_{2}\boldsymbol{r}_{2}, $$
(45)

where \(c_{1}:=\boldsymbol{c}\cdot \boldsymbol{r}_{1}\) and \(c_{2}:=\boldsymbol{c}\cdot \boldsymbol{r}_{2}\). It follows from (29), (45), and the identities

$$ \nabla c_{1}=(\nabla \boldsymbol{c})\boldsymbol{r}_{1}+c_{2}\boldsymbol{c},\qquad \nabla c_{2}=( \nabla \boldsymbol{c})\boldsymbol{r}_{2}-c_{1}\boldsymbol{c}, $$
(46)

that

$$ \nabla \boldsymbol{c}^{\ast }-(\nabla \boldsymbol{c}^{\ast })^{\mathsf{T}}=\left ( \frac{\lambda _{1}}{\lambda _{2}}-\frac{\lambda _{2}}{\lambda _{1}} \right )(c_{2}^{2}-c_{1}^{2}+c_{12})(\boldsymbol{r}_{1}\otimes \boldsymbol{r}_{2}- \boldsymbol{r}_{2}\otimes \boldsymbol{r}_{1}), $$
(47)

where we have set \(c_{12}:=\boldsymbol{r}_{1}\cdot (\nabla \boldsymbol{c})\boldsymbol{r}_{2}\). A comparison with (44) readily helps us to conclude that

$$ K=\left (\frac{1}{\lambda _{2}^{2}}-\frac{1}{\lambda _{1}^{2}}\right )(c_{2}^{2}-c_{1}^{2}+c_{12}). $$
(48)

It is not difficult to check that (48) agrees completely with equation (22) of [52], which was deduced with the more traditional use of coordinates and Christoffel symbols.

As appealing as formulae (42) and (43) may be, they are not especially expedient to compute \(H\) and \(K\), for a given deformation \(\boldsymbol{y}\), as the link between the latter and the connectors is rather intricate. In the Appendix, we shall give other formulae for \(H\) and \(K\) valid for area-preserving deformations \(\boldsymbol{y}\); they are more accessible to direct computation and also show the role played by the second gradient \(\nabla ^{2}\boldsymbol{y}\) in determining the principal curvatures of \(\mathscr{S}\).

Incompressible Elastomer Plates

In this section, we consider an incompressible elastomer plate, for which we assume that the mid surface \(S\) is inextensible and the whole body \(\mathsf{S}\) is incompressible. That is, we assume that

$$ \det \mathbf{C}=1\quad \text{and}\quad \det \mathbf{C}_{\boldsymbol{f}}=1. $$
(49)

Here we consider the former constraint as a remnant of the latter, the one that survives when, in the limit as \(h\to 0\), only stretching energy is associated with the membrane \(S\) by an appropriate dimension reduction of the elastic energy stored in the three-dimensional body \(\mathsf{S}\).Footnote 5

Polynomial Approximation

It is our desire to compute averages of the elastic energy stored across the (small) thickness of the plate. To this end, it will suffice to represent \(\phi \) as a polynomial in \(x_{3}\). Using the expressions for the invariants of \(\mathbf{C}_{\boldsymbol{f}}\) presented in Sect. 2, in the following proposition we shall identify this polynomial.

Proposition 5

If we let

$$ \phi (\boldsymbol{x},x_{3})=\alpha (\boldsymbol{x})x_{3}+\beta (\boldsymbol{x})x_{3}^{2}+ \gamma (\boldsymbol{x})x_{3}^{3}+O\left (x_{3}^{4}\right )\quad \forall \, ( \boldsymbol{x},x_{3})\in \mathsf{S}, $$
(50)

which complies with (3) for \(\alpha >0\), then (49) requires that

$$ \left \{ \textstyle\begin{array}{l} \alpha (\boldsymbol{x})=1, \\ \beta (\boldsymbol{x})=-H(\boldsymbol{x}), \\ \gamma (\boldsymbol{x})=\frac{1}{3} \left (6H(\boldsymbol{x})^{2}-K(\boldsymbol{x})\right ) , \end{array}\displaystyle \right . \quad \forall \,\boldsymbol{x}\in \overline{S}. $$
(51)

Proof

By Proposition 3, the constraints in (49) reduce to the equation

$$ \phi ^{\prime \,2}\left (1+4H\phi +(4H^{2}+2K)\phi ^{2}\right )=1, $$
(52)

where \(\phi \) is as in (50). The desired result then follows by identifying in (52) the coefficients of equal powers of \(x_{3}\) up to \(x_{3}^{3}\), and recalling that \(\alpha >0\). □

Remark 2

The asymptotic expansion for \(\phi \) presented in Proposition 5 is consistent with a \(\mathcal{C}^{3}\)-regularity for \(\phi \) in \(x_{3}\). As this hypothesis requires more regularity than that envisaged in Sect. 2, this is clearly a particular case of the framework described there.

Remark 3

The classical Kirchhoff-Love hypothesis, which requires \(\phi \equiv x_{3}\), can thus be envisaged as the lowest approximation to \(\phi \) in (50). The higher order approximation represented by (51) entails a local dependence of the thickness \(2h^{\ast }\) of the deformed plate on the invariant measures of curvature for \(\mathscr{S}\). Explicitly, this coupling is given by

$$ 2h^{\ast }=\int _{-h}^{h}|\mathbf{F}\boldsymbol{e}_{3}|\mathrm{d}x_{3}=\int _{-h}^{h} \phi '\mathrm{d}x_{3}=2h+2h^{3}(6H^{2}-K)+O(h^{5}). $$
(53)

Gent’s Material

The elastic energy stored in a plate made of Gent’s material is given by

$$ W_{\mathrm{G}}:=-\frac{\mu }{2}J_{m}\ln \left (1-\frac{I_{1}-3}{J_{m}} \right ), $$
(54)

where \(I_{1}=\operatorname{tr}\mathbf{C}_{\boldsymbol{f}}\) is the first invariant of \(\mathbf{C}_{\boldsymbol{f}}\), and \(\mu \) and \(J_{m}\) are positive material constants, which can be identified with a shear modulus and a stiffening parameter, respectively. The role of the latter is illuminated by the request that

$$ I_{1}< J_{m}+3, $$
(55)

to which \(I_{1}\) must be subjected for \(W_{\mathrm{G}}\) to be meaningful.

Gent’s constitutive law (54) was first proposed in [25]; it represents the simplest mathematical model for rubber elasticity that accounts for the limited extensibility of the polymeric chains constituting these materials. There is a vast literature on microscopic and phenomenological theories for rubber-like materials based on limited molecular extensibility, for which Beatty [5] coined the name of limited or restricted elastic models; we refer the reader to the emphatic review [31], which focuses on Gent’s material.

Taking the limit as \(J_{m}\to \infty \) in (54), we give \(W_{\mathrm{G}}\) the form

$$ W_{\mathrm{nH}}:=\frac{1}{2}\mu (I_{1}-3), $$
(56)

which is the celebrated neo-Hookean stored energy density, a special case of the Mooney-Rivlin formula,

$$ W_{\mathrm{MR}}:=\frac{1}{2}\mu [\chi (I_{1}-3)+(1-\chi )(I_{2}-3)], $$
(57)

where \(0<\chi \leqq 1\) is a dimensionless parameter.Footnote 6 Both \(W_{\mathrm{nH}}\) and \(W_{\mathrm{MR}}\) are incapable of describing the severe stiffening that occurs even at moderates stretches for soft biological membranes [30], whereas (54) is capable.

The theory proposed in [20] extended the long-standing tradition of statistical theories for ideal molecules constituted by freely joined rigid links subject to a non-Gaussian distribution for the end-to-end distance.Footnote 7 Building on this work, Beatty [4] motivated a constitutive law for rubber elasticity depending only on \(I_{1}\) and incorporating the stiffening phenomena associated with a limited extensibility of the constituting chains. It was shown in [32] that (54), which has a genuine phenomenological origin, is a very accurate approximation to Beatty’s molecular-based constitutive law; it retraces all qualitative features of the latter and it reproduces its quantitative predictions, with the advantage of being mathematically simpler, even amenable to explicit, closed-form solutions. Moreover, \(\mu \) and \(J_{m}\) are related to the molecular model by

$$ \mu =nkT\quad \text{and}\quad J_{m}=3(N-1), $$
(58)

where \(n\) is the number density (per unit volume) of molecular chains, \(N\) is the number of links in each chain, \(k\) is the Boltzmann constant, and \(T\) the absolute temperature.

Here, we wish to show how stretching and bending energies are blended together in a thin sheet of Gent’s rubber-like material complying with (49) and (55). This result will be achieved in Proposition 6 by integrating \(W_{\mathrm{G}}\) across the thickness of the plate using the polynomial expression for \(\phi \) found in Proposition 5.

Proposition 6

Let \(\phi \) be of class \(\mathcal{C}^{3}\) in \(x_{3}\), so that it can be expressed as in Proposition 5and let the constraints (49) be enforced. Then, the following expression is valid for all \(\boldsymbol{x}\in \overline{S}\),

$$ w_{\mathrm{G}}(\boldsymbol{x}):=\int _{-h}^{h} W_{\mathrm{G}}(\boldsymbol{x},x_{3}){ \mathrm{d}}x_{3} = hw_{s}(\boldsymbol{x})+h^{3}w_{b}(\boldsymbol{x})+O\left (h^{5} \right ), $$
(59a)

where

$$\begin{aligned} w_{s}(\boldsymbol{x})&:=-\mu J_{m} \ln \left (1- \frac{\operatorname{tr}\mathbf{C}(\boldsymbol{x})-2}{J_{m}}\right ), \end{aligned}$$
(59b)
$$\begin{aligned} w_{b}(\boldsymbol{x})&:= \frac{\mu }{3}J_{m} \left [ 2\left ( \frac{\operatorname{tr}\left (\mathbf{B}(\boldsymbol{x})\nabla _{\mathrm{s}}\boldsymbol{\nu }(\boldsymbol{x})\right )-2H(\boldsymbol{x})}{J_{m}-\left (\operatorname{tr}\mathbf{C}(\boldsymbol{x})-2\right )} \right )^{2} + \frac{16H(\boldsymbol{x})^{2}-K(\boldsymbol{x})\left (\operatorname{tr}\mathbf{C}(\boldsymbol{x})+2\right )}{J_{m}-\left (\operatorname{tr}\mathbf{C}(\boldsymbol{x})-2\right )} \right ]. \end{aligned}$$
(59c)

Proof

By inserting (11) into (54) and making use of (50) and (51), we expand \(W_{\mathrm{G}}\) in powers of \(x_{3}\) up to \(x_{3}^{2}\); standard computations lead us to

$$ \begin{aligned} W_{\mathrm{G}}=\frac{\mu }{2}J_{m}&\left [-\ln \left (1- \frac{\operatorname{tr}\mathbf{C}-2}{J_{m}}\right ) +2 \frac{\operatorname{tr}\left (\mathbf{B}\nabla _{\mathrm{s}}\boldsymbol{\nu }\right )-2H}{J_{m}-\left (\operatorname{tr}\mathbf{C}-2\right )}x_{3} \right . \\ &\left .+ \left ( 2\left ( \frac{\operatorname{tr}\left (\mathbf{B}\nabla _{\mathrm{s}}\boldsymbol{\nu }\right )-2H}{J_{m}-\left (\operatorname{tr}\mathbf{C}-2\right )} \right )^{2} + \frac{16H^{2}-K\left (\operatorname{tr}\mathbf{C}+2\right )}{J_{m}-\left (\operatorname{tr}\mathbf{C}-2\right )} \right ) x_{3}^{2} \right ] +O\left (x_{3}^{3}\right ), \end{aligned} $$
(60)

where the dependence on \(\boldsymbol{x}\) has been omitted to avoid clutter. Integrating this expression for \(W_{\mathrm{G}}\) across the thickness of the plate, we reach our desired conclusion. □

Proposition 6 is the main result of this section. The quantities \(hw_{s} \) and \(h^{3}w_{3}\) introduced in (59a) are interpreted as the stretching and bending elastic energy-densities (per unit area) of Gent’s plates. Following [18], we shall call \(w_{s}\) and \(w_{b}\) the stretching and bending contents of Gent’s elastic energy, respectively.

Remark 4

There are similarities between the expression for the plate’s surface energy density arrived at in Proposition 6 and the elastic energy densities posited in geometric elasticity (see, for example, [3, 1719]). Geometric elasticity of plates (and shells) does blend together stretching and bending energies, which scale with different powers of \(h\); the former, like \(w_{s}\) in (59b), is of a pure metric nature, while in the latter, as in (59c), metric and curvature measures are combined together in an invariant way. Interesting remarks on this contamination of stretching and bending measures in \(w_{b}\) are offered in [82].

In the vanishing thickness limit, that is, as \(h\to 0\), if both \(w_{s}\) and \(w_{b}\) stay bounded, the stretching energy prevails over the bending energy and provides the leading deformation mechanism; for \(h\) sufficiently small, we may consider the bending energy as a perturbation to the stretching energy.

Remark 5

Among all tensors \(\mathbf{C}\) on \(\mathscr{V}_{3}\) such that \(\det \mathbf{C}=1\), the stretching content \(w_{s}\) in (59b) attains its minimum at \(\mathbf{C}=\mathbf{I}_{2}\), which is its unique minimizer. Indeed, letting \(\lambda _{2}=\frac{1}{\lambda _{1}}\) in (27b), we can write \(w_{s}\) as

$$ \widehat{w}_{s}=-\mu J_{m}\ln \left (1-\frac{1}{J_{m}}\left (\lambda _{1}- \frac{1}{\lambda _{1}}\right )^{2}\right ), $$
(61)

which attains its unique minimum for \(\lambda _{1}=1\), where \(w_{s}\) vanishes. Thus, in the absence of obstructive boundary conditions and external forces, the surfaces \(\mathscr{S}\) that minimize \(w_{s}\) are isometric immersions of \(S\) in three-dimensional space. By (48), all such surfaces have \(K=0\). Further minimizing \(w_{b}\) on these immersions amounts at minimizing

$$ \widehat{w}_{b}=\frac{16}{3}\mu H^{2}, $$
(62)

which is the form (for \(K=0\)) of the energy density featuring in Helfrich’s functional for flexible vesicles [29].

The two-step minimization outlined in Remark 5 is clearly highly hypothetical, for at least two reasons. First, boundary conditions and external forces are always present and are responsible for shaping the equilibrium configurations of plates (especially, elastomer plates, which are more responsive to mechanical stimuli). Second, the representations of stretching and bending contents in (61) and (62) miss the main points of the full-blown representations in (59b) and (59c), that is, that the measures of stretch influence the bending content as well and that both contents are blended together in (59a) in a way that depends on \(h\) and may give rise to interesting instability scenarios driven by the plate’s thickness. Limiting forms of the stretching and bending contents such as \(\widehat{w}_{s}\) and \(\widehat{w}_{b}\) remain however indicative and will also be used in the following section to establish contact with a branch of literature in this field, where those limits have been established differently for a number of models.

Remark 6

When stretching and bending energies compete one against the other for an equilibrium, the way the surface is stretched affects its response to bending. The coupling between the two energies is not only conveyed through \(\operatorname{tr}\mathbf{C}\), the sum of the principal stretches, it also involves the relative orientation of the eigenframes of the curvature tensor \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) and left Cauchy-Green tensor \(\mathbf{B}\).

Letting the former be represented as in (15) and the latter as in (27c), with \(\lambda _{2}=\frac{1}{\lambda _{1}}\), we can write

$$ \begin{aligned} w_{\varphi }&:=[\operatorname{tr}(\mathbf{B}\nabla _{\mathrm{s}} \boldsymbol{\nu })-2H]^{2}=\operatorname{tr}^{2}[(\mathbf{B}-\mathbf{I}_{2}) \nabla _{\mathrm{s}}\boldsymbol{\nu }] \\ &=\left [\left (\kappa _{1}\lambda _{1}^{2}+ \frac{\kappa _{2}}{\lambda _{1}^{2}}-\kappa _{1}-\kappa _{2}\right ) \cos ^{2}\varphi +\left (\kappa _{2}\lambda _{1}^{2}+ \frac{\kappa _{1}}{\lambda _{1}^{2}}-\kappa _{1}-\kappa _{2}\right ) \sin ^{2}\varphi \right ]^{2}, \end{aligned} $$
(63)

where \(\varphi \) is the angle that \(\boldsymbol{l}_{1}\) makes with \(\boldsymbol{n}_{1}\). This is the only contribution to \(w_{b}\) that depends on \(\varphi \). Even for given \(\lambda _{1}\), \(\kappa _{1}\), and \(\kappa _{2}\), minimizing \(w_{\varphi }\) is not trivial. While \(w_{\varphi }\) is independent of \(\varphi \) in the special case that \(\lambda _{1}=1\) or \(\kappa _{1}=\kappa _{2}\), in general, it has always two stationary points at \(\varphi =0\) and \(\varphi =\frac{\pi }{2}\), which are somehow expected, as there \(\mathbf{B}\) and \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) share the same eigenframe. However, another pair of stationary points may arise, for which

$$ \tan ^{2}\varphi =- \frac{\kappa _{1}\lambda _{1}^{4}-(\kappa _{1}+\kappa _{2})\lambda _{1}^{2}+\kappa _{2}}{\kappa _{2}\lambda _{1}^{4}-(\kappa _{1}+\kappa _{2})\lambda _{1}^{2}+\kappa _{1}}, $$
(64)

provided that \(\lambda _{1}\), \(\kappa _{1}\), and \(\kappa _{2}\) make the right-hand side of (64) positive. These extra stationary points, when they exist, make \(w_{\varphi }\) vanish, so that it attains its infimum. This shows that at equilibrium the relative orientation of \(\mathbf{B}\) and \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) may give rise to interesting patterns on \(\mathscr{S}\).

Remark 7

We have assumed at the start of this section that \(S\) is inextensible and thus \(\mathbf{C}\) is subject to \(\det \mathbf{C}=1\). This constraint can be easily relaxed, while still enforcing \(\det \mathbf{C}_{\boldsymbol{f}}=1\). A few changes occur in our analysis, which otherwise proceeds unaltered. We record here these changes for the interested reader. The polynomial representation formula for \(\phi \) in Proposition 5 becomes

$$ \phi =\frac{1}{\sqrt{\det \mathbf{C}}}\left (x_{3}- \frac{H}{\sqrt{\det \mathbf{C}}}x_{3}^{2}+\frac{1}{3} \frac{6H^{2}-K}{\det \mathbf{C}}x_{3}^{3} \right ), $$
(65)

while the expressions for \(w_{s}\) and \(w_{b}\) in (59b) and (59c) are to be replaced by

$$ w_{s}=-\mu J_{m}\ln \left (1- \frac{\det \mathbf{C}(\operatorname{tr}\mathbf{C}-3)+1}{J_{m}\det \mathbf{C}} \right ) $$
(66)

and

$$ w_{b}=\frac{1}{3}\mu J_{m}\frac{1}{\det \mathbf{C}}\Bigg[2\left ( \frac{\det \mathbf{C}\operatorname{tr}(\mathbf{B}\nabla _{\mathrm{s}}\boldsymbol{\nu })-2H}{\det \mathbf{C}(J_{m}-\operatorname{tr}\mathbf{C}+3)-1} \right )^{2}+ \frac{16H^{2}-K(\det \mathbf{C}\operatorname{tr}\mathbf{C}+2)}{\det \mathbf{C}(J_{m}-\operatorname{tr}\mathbf{C}+3)-1} \Bigg], $$
(67)

respectively. It is a simple matter to check that for \(\det \mathbf{C}=1\) equations (65), (66), and (67) reproduce the corresponding formulae derived above.

The great advantage offered by the incompressibility constraint \(\det \mathbf{C}_{\boldsymbol{f}}=1\) (and amply exploited in this section) is to determine \(\phi \) directly on kinematic grounds, as shown in Proposition 5. For compressible materials, this advantage is lost. We need a different criterion to determine \(\phi \). In the following section, we shall show that such a criterion can be found in minimizing the elastic energy stored in the plate, for a given deformation \(\boldsymbol{y}\) of the mid surface \(S\).

Compressible Plates

In this section, we apply the method presented in Sect. 2 to compressible materials. We shall show how the modified Kirchhoff-Love hypothesis purported in this paper actually entails non-trivial normal strains for a compressible plate. Our analysis, which again is not confined to small strains, will conduce to a blending of stretching and bending energies. To ease the comparison between these latter energies and those already proposed in the literature (mostly for small strains), we shall also consider the small-strain limit for both examples we treat in detail below. In one case, we shall derive a Koiter-like potential [3740] for the Ciarlet-Geymonat material [13]; this potential is also shown to agree with that recently derived in [14] for the same material. In the other case, we recover the bending energy derived in [22] as a rigorous \(\varGamma \)-limit on isometries for a variant of the Saint-Venant-Kirchhoff material.

The Ciarlet-Geymonat Material

Ciarlet and Geymonat [13] introduced a general class of hyperelastic potentials intended to provide an extension to compressible materials of the Mooney-Rivlin stored energy (see, for example, p. 189 of [10]). Here we shall consider a special example of this general class of materials, for which the stored elastic energy is

$$ W_{\mathrm{CG}}:=aI_{1}+bI_{3}-\frac{1}{2}c\ln I_{3}+d, $$
(68)

where \(a>0\), \(b>0\), \(c>0\), and \(d\) are material constants. Letting

$$ \mathbf{E}_{\boldsymbol{f}}:=\frac{1}{2}(\mathbf{C}_{\boldsymbol{f}}-\mathbf{I}) $$
(69)

denote the Green-Saint-Venant strain tensor (see, for example, [28, p. 70]), we show now that, for strains of sufficiently small norm \(\vert \mathbf{E}_{f}\vert \), \(W_{\mathrm{CG}}\) can be given the classical form of the stored elastic energy for isotropic materials, with Lamé coefficients, \(\lambda \) and \(\mu \), appropriately related to the material constants in (68).

Proposition 7

In the limit of small strains the energy \(W_{\mathrm{CG}}\) in (68) can be given the form

$$ W_{\mathrm{CG}}=\frac{\lambda }{2}\operatorname{tr}^{2}\mathbf{E}_{ \boldsymbol{f}}+\mu \operatorname{tr}\mathbf{E}_{\boldsymbol{f}}^{2}+O\left ( \vert \mathbf{E}_{\boldsymbol{f}}\vert ^{3}\right ), $$
(70)

provided we set

$$ \lambda =4b,\quad \mu =2a,\quad c=2(a+b),\quad d=-(3a+b). $$
(71)

Proof

It suffices to make use in (68) of the following equations

$$\begin{aligned} I_{1}&=3+2\operatorname{tr}\mathbf{E}_{\boldsymbol{f}}, \end{aligned}$$
(72a)
$$\begin{aligned} I_{3}&=1+2\operatorname{tr}\mathbf{E}_{\boldsymbol{f}}+2\left ( \operatorname{tr}^{2}\mathbf{E}_{\boldsymbol{f}}-\operatorname{tr} \mathbf{E}_{\boldsymbol{f}}^{2}\right )+O\left (\vert \mathbf{E}_{\boldsymbol{f}} \vert ^{3}\right ). \end{aligned}$$
(72b)

 □

Here, we continue to represent the function \(\phi \) as in (50). However, no kinematic constraint will determine the functions \(\alpha (\boldsymbol{x})\) and \(\beta (\boldsymbol{x})\); we need an alternative criterion, which we identify in minimizing separately the two lowest orders in \(h\) of the elastic energy integrated across the plate’s thickness, for a given deformation \(\boldsymbol{y}\) of the mid surface \(S\). Hereafter, to improve clarity, the dependence on the in-plane variable \(\boldsymbol{x}\) will be omitted.

Proposition 8

Let \(\phi \) be given as \(\phi (x_{3})=\alpha x_{3}+\beta x_{3}^{2}+\gamma x_{3}^{3}+O(x_{3}^{3})\), with \(\alpha >0\) to ensure local orientability to \(\boldsymbol{f}\) in (1). For \(W_{\mathrm{CG}}\) as in (68), the minimum energy density (per unit area) that can be ascribed to \(S\) is represented as

$$ w_{\mathrm{CG}}:=\int _{-h}^{h} W_{\mathrm{CG}} {\mathrm{d}}x_{3}=h w_{1}+h^{3} w_{3} +O(h^{5}), $$
(73)

where

$$\begin{aligned} w_{1}&=2\left [a\operatorname{tr}\mathbf{C}+(a+b)\left (1-\ln \frac{(a+b)\det \mathbf{C}}{a+b\det \mathbf{C}}\right )-(3a+b) \right ], \end{aligned}$$
(74a)
$$\begin{aligned} w_{3}&=\frac{1}{3} \frac{a(a+b)^{2}(32b\det \mathbf{C}+7a)}{(a+\det \mathbf{C})^{3}}H^{2}+ \frac{5}{3}\frac{a^{2}(a+b)}{(a+\det \mathbf{C})^{2}}b_{1}H \\ &-\frac{2}{3} \frac{a(a+b)[(a+\det \mathbf{C})\operatorname{tr}\mathbf{C}+2(a+b)]}{(a+b\det \mathbf{C})^{2}}K- \frac{1}{12}\frac{a^{2}}{a+\det \mathbf{C}}b_{1}^{2}, \end{aligned}$$
(74b)

and \(b_{1}=\operatorname{tr}\left (\mathbf{B}\nabla _{\mathrm{s}} \boldsymbol{\nu }\right )\). Correspondingly, \(\alpha \) and \(\beta \) are determined as

$$\begin{aligned} \alpha &=\sqrt{\frac{a+b}{a+b\det \mathbf{C}}} , \end{aligned}$$
(74c)
$$\begin{aligned} \beta &= -\frac{a }{8(a+b\det \mathbf{C})}b_{1}+ \frac{(a+b)(a-4b\det \mathbf{C})}{4(a+b\det \mathbf{C})^{2}}H . \end{aligned}$$
(74d)

Proof

By (11) and (18), we can write

$$\begin{aligned} I_{1}&=\operatorname{tr}\mathbf{C}+\alpha ^{2}+2\alpha (b_{1}+2 \beta ) x_{3} + [4\beta ^{2}+6\alpha \gamma +2b_{1}(H\alpha ^{2}+ \beta )-\alpha ^{2}K\operatorname{tr}\mathbf{C}] x_{3}^{2}+O\left (x_{3}^{3} \right ) \end{aligned}$$
(75)
$$\begin{aligned} I_{3}&=\det \mathbf{C}\{\alpha ^{2}+4(\alpha \beta +H\alpha ^{2})x_{3} \\ &\qquad \qquad +2\left [2\beta ^{2}+3\alpha \gamma +10 H\alpha ^{2} \beta +(2H^{2}+K)\alpha ^{4}\right ] x_{3}^{2}\}+O\left (x_{3}^{3} \right ). \end{aligned}$$
(76)

Making use of both these equations in (68), we readily arrive at

$$ w_{1}=2[a\operatorname{tr}\mathbf{C}+(a+b\det \mathbf{C})\alpha ^{2}-(a+b) \ln (\alpha ^{2}\det \mathbf{C})], $$
(77)

which does not depend on either \(\beta \) or \(\gamma \) and, for given \(\operatorname{tr}\mathbf{C}\) and \(\det \mathbf{C}\), is minimized for positive \(\alpha \) at the value in (74c). Choosing \(\alpha \) as in (74c), we similarly compute

$$ \begin{aligned} w_{3}&=\frac{2}{3}\bigg\{ 8(a+b\det \mathbf{C})\beta ^{2}+2 \left [\frac{2(a+b)(4b\det \mathbf{C}-a)H}{a+b\det \mathbf{C}}+ab_{1} \right ]\beta \\ &+\frac{a(a+b)(2b_{1}H-K\det \mathbf{C})}{a+b\det \mathbf{C}}+2 \frac{(a+b)^{2}[2(a+2b\det \mathbf{C})H^{2}-aK]}{(a+b\det \mathbf{C})^{2}} \bigg\} , \end{aligned} $$
(78)

which is independent of \(\gamma \) and is minimized for \(\beta \) as in (74d). Inserting (74c) and (74d) in (77) and (78), respectively, we conclude the proof. □

Remark 8

Although \(\gamma \) features in both \(I_{1}\) and \(I_{3}\) as expressed in (75) and (76), it does not affect \(w_{1}\) in (77) and neither it does \(w_{3}\) as long as \(\alpha \) is chosen so as to minimize \(w_{1}\). Our minimization criterion leaves \(\gamma \) undetermined. To determine it, we should expand further the energy density \(w_{\mathrm{CG}}\), so as to include terms of order \(h^{5}\), which we renounce doing here. Both \(w_{1}\) and \(w_{3}\) would however remain unaffected by the value of \(\gamma \).

Remark 9

Equation (74c) shows clearly how in the compressible case our method differs even more markedly from the classical Kirchhoff-Love hypothesis, as \(\alpha =1\) only for \(\det \mathbf{C}=1\). Moreover, as for incompressible materials, the bending content \(w_{3}\) also depends on the relative orientation of the eigenframes of \(\mathbf{B}\) and \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) via \(b_{1}\).

Remark 10

It is perhaps interesting to express both \(w_{1}\) and \(w_{3}\) in (74a) and (74b) in terms of the Lamé coefficients, \(\lambda \) and \(\mu \), associated with \(W_{\mathrm{CG}}\) in the linearized limit (70). By use of (71), we obtain that

$$\begin{aligned} w_{1}&=\mu \operatorname{tr}\mathbf{C}+\frac{1}{2}(2\mu +\lambda ) \left (1-\ln \frac{(2\mu +\lambda )\det \mathbf{C}}{2\mu +\lambda \det \mathbf{C}} \right )-\left (3\mu +\frac{\lambda }{2}\right ), \end{aligned}$$
(79a)
$$\begin{aligned} w_{3}&=\frac{1}{3} \frac{\mu (2\mu +\lambda )^{2}(16\lambda \det \mathbf{C}+7\mu )}{(2\mu +\lambda \det \mathbf{C})^{3}}H^{2}+ \frac{5}{3} \frac{\mu ^{2}(2\mu +\lambda )}{(2\mu +\lambda \det \mathbf{C})^{2}}b_{1}H \\ &-\frac{1}{3} \frac{\mu (2\mu +\lambda )[(2\mu +\lambda \det \mathbf{C})\operatorname{tr}\mathbf{C}+2(2\mu +\lambda )]}{(2\mu +\lambda \det \mathbf{C})^{2}}K- \frac{1}{12}\frac{\mu ^{2}}{2\mu +\lambda \det \mathbf{C}}b_{1}^{2}. \end{aligned}$$
(79b)

Remark 11

In the vanishing thickness limit introduced in Sect. 4, we easily find that \(w_{1}\) is minimized by \(\mathbf{C}=\mathbf{I}_{2}\), so that correspondingly, again by Gauss’ theorema egregium (which requires \(K=0\)), \(w_{3}\) takes the form

$$ \widehat{w}_{3}=\frac{16}{3}\frac{\mu (\lambda +\mu )}{2\mu +\lambda }H^{2}. $$
(80)

It is thus useful to consider the form acquired by \(w_{\mathrm{CG}}\) in (73) when \(\mathbf{C}\) is close to \(\mathbf{I}_{2}\) and, correspondingly, \(\nabla _{\mathrm{s}}\boldsymbol{\nu }\) is close to \(\boldsymbol{0}\).

Proposition 9

Let \(\mathbf{E}:=\frac{1}{2}(\mathbf{C}-\mathbf{I}_{2})\). The following asymptotic representations are valid for \(w_{1}\) and \(w_{3}\) in (79a) and (79b),

$$\begin{aligned} w_{1}&=\frac{2\lambda \mu }{\lambda +2\mu }\operatorname{tr}^{2} \mathbf{E}+2\mu \operatorname{tr}\mathbf{E}^{2}+O\left (\vert \mathbf{E}\vert ^{3}\right ), \end{aligned}$$
(81a)
$$\begin{aligned} w_{3}&=\frac{16}{3}\frac{\mu (\lambda +\mu )}{2\mu +\lambda }H^{2} - \frac{4}{3} \mu K +O\left (\vert \mathbf{E}\vert \vert \nabla _{\mathrm{s}}\boldsymbol{\nu }\vert \left (\vert \nabla _{\mathrm{s}} \boldsymbol{\nu }\vert +\vert \mathbf{E}\vert \right )\right ). \end{aligned}$$
(81b)

Correspondingly, \(\alpha \) and \(\beta \) in (74c) and (74d) become

$$\begin{aligned} \alpha &=1-\frac{\lambda }{2\mu +\lambda }\operatorname{tr}\mathbf{E}+O \left (\vert \mathbf{E}\vert ^{2}\right ), \end{aligned}$$
(81c)
$$\begin{aligned} \beta &=-\frac{\lambda H}{2\mu +\lambda }+O\left (\vert \nabla _{\mathrm{s}}\boldsymbol{\nu }\vert \vert \mathbf{E}\vert ^{2}\right ). \end{aligned}$$
(81d)

Proof

To prove (81a) and (81b) it suffices to make use of the following (simple) estimates

$$\begin{aligned} \operatorname{tr}\mathbf{C}&=2(1+\operatorname{tr}\mathbf{E}), \end{aligned}$$
(82a)
$$\begin{aligned} \det \mathbf{C}&=1+2\operatorname{tr}\mathbf{E}+4( \operatorname{tr}^{2}\mathbf{E}-\operatorname{tr}\mathbf{E}^{2})+O \left (\vert \mathbf{E}\vert ^{3}\right ), \end{aligned}$$
(82b)
$$\begin{aligned} H&=O\left (\vert \nabla _{\mathrm{s}}\boldsymbol{\nu }\vert \right ), \end{aligned}$$
(82c)
$$\begin{aligned} K&=O\left (\vert \nabla _{\mathrm{s}}\boldsymbol{\nu }\vert ^{2}\right ), \end{aligned}$$
(82d)
$$\begin{aligned} b_{1}&=2H+O\left (\vert \mathbf{E}\vert \vert \nabla _{\mathrm{s}} \boldsymbol{\nu }\vert \right ). \end{aligned}$$
(82e)

Similarly, (81c) and (81d) follow from inserting (71) in (74c) and (74d) and then using again (82a)–(82e). □

Remark 12

Both expressions for \(\phi \) and \(w_{\mathrm{CG}}\) provided by Proposition 9 are precisely the same as those obtained in Theorem 5.2 of [14].Footnote 8 This ensures well-posedness to the minimum energy problem in the limit of small strains. In particular, \(w_{\mathrm{CG}}\) with \(w_{1}\) and \(w_{2}\) as in (81a) and (81b) is the form appropriate to a plate of the elastic energy density envisaged in Koiter’s theory for shells [39, 40], in which stretching and bending energies are blended together, but are kept in a quadratic form. Equations (79a), (79b) above provide instead the stretching and bending contents for a fully nonlinear theory of plates made of the Ciarlet-Geymonat material.

A Variant of the Saint-Venant-Kirchhoff Material

Here, to provide a further application of the method proposed in this paper, we consider a variant of the classical Saint-Venant-Kirchhoff material studied in [22].Footnote 9 The stored energy density (per unit volume) of this material is

$$ W_{\mathrm{SVK}}:=\frac{\lambda }{2}\operatorname{tr}^{2}\left (\sqrt{ \mathbf{C}_{\boldsymbol{f}}}-\mathbf{I}\right ) + \mu \operatorname{tr} \left (\sqrt{\mathbf{C}_{\boldsymbol{f}}}-\mathbf{I}\right )^{2}, $$
(83)

where \(\lambda \) and \(\mu \) are material constants, which can be identified with the Lamé coefficients of this material, as shown by the following small-strain approximation to \(W_{\mathrm{VSK}}\).

Proposition 10

Letting \(\mathbf{E}_{\boldsymbol{f}}\) be defined as in (69), we can give \(W_{\mathrm{SVK}}\) the same approximate form in (68), valid for all isotropic materials,

$$ W_{\mathrm{SVK}}=\frac{\lambda }{2} \operatorname{tr}^{2}\mathbf{E}_{ \boldsymbol{f}}+\mu \operatorname{tr}\mathbf{E}_{\boldsymbol{f}}^{2}+O\left ( \vert \mathbf{E}_{\boldsymbol{f}}\vert ^{3}\right ). $$
(84)

Proof

The desired conclusion follows easily from remarking that

$$ \sqrt{\mathbf{C}_{\boldsymbol{f}}}=\mathbf{I}+\mathbf{E}_{\boldsymbol{f}}- \frac{1}{2}\mathbf{E}_{\boldsymbol{f}}^{2}+O\left (\vert \mathbf{E}_{\boldsymbol{f}} \vert ^{3}\right ). $$
(85)

 □

A rigorous method was devised in [22] to determine the bending content \(w_{3}\) of a plate on all isometric embeddings \(\boldsymbol{y}\) of \(S\) in ℰ. There, \(w_{3}\) is obtained as a \(\varGamma \)-limit on the class of deformations that minimize the stretching energy. It was also proved in [22] that for all isotropic materials \(w_{3}\) reads as the leading term in (81b) and the normal deformation \(\phi \) has a quadratic representation with coefficientsFootnote 10

$$ \alpha =1,\quad \beta =-\frac{\lambda H}{2\mu +\lambda }, $$
(86)

in accord with the leading terms in (81c) and (81d).

For isometric embeddings \(\boldsymbol{y}\), we can easily relax the polynomial approximation for \(\phi \). Although this refinement makes our kinematic description more accurate, the bending content \(w_{3}\) is not affected, as shown below for the material with stored energy density \(W_{\mathrm{SVK}}\).

Proposition 11

Let \(\boldsymbol{y}\) be such that \(\mathbf{C}=\mathbf{I}_{2}\). Let \(\phi \) in (1) be a function of class \(\mathcal{C}^{2}\) in \(x_{3}\) that obeys (3). The minimum surface energy is

$$ w_{\mathrm{SVK}}:=\int _{-h}^{h}W_{\mathrm{SVK}}\mathrm{d}x_{3}=h^{3} \left (\frac{16}{3}\frac{\mu (\lambda +\mu )}{2\mu +\lambda }H^{2}- \frac{4}{3}\mu K\right )+O(h^{5}) $$
(87)

(where \(K=0\), since \(\boldsymbol{y}\) is an isometry), which is attained for

$$ \phi =\frac{1}{2H}\frac{1}{2\mu +\lambda }\left (\lambda [1-\cosh (2Hx_{3})]+ \frac{\lambda ^{2}\cosh (2Hh)+4\mu (\lambda +\mu )}{(2\lambda +\mu )\cosh (2Hh)} \sinh (2Hx_{3}) \right ). $$
(88)

Proof

\(W_{\mathrm{SVK}}\) can readily be rewritten as

$$ W_{\mathrm{SVK}}=\mu \operatorname{tr}\mathbf{C}_{\boldsymbol{f}}-(2\mu +3 \lambda )\operatorname{tr}\sqrt{\mathbf{C}_{\boldsymbol{f}}}+ \frac{\lambda }{2}\operatorname{tr}^{2}\sqrt{\mathbf{C}_{\boldsymbol{f}}}+ \frac{9}{2}\lambda +3\mu . $$
(89)

Since \(\mathbf{C}=\mathbf{I}_{2}\), it easily follows from (8a) and (8b) that

$$ \sqrt{\mathbf{C}_{\boldsymbol{f}}}=\mathbf{I}_{2}+\frac{1}{2}\phi \mathbf{C}_{1}+ \frac{1}{2}\left (\mathbf{C}_{2}-\frac{1}{4}\mathbf{C}_{1}^{2} \right )+ \phi '\boldsymbol{e}_{3}\otimes \boldsymbol{e}_{3}+O\left (\phi ^{3}\right ). $$
(90)

Moreover, since \(K=0\), by use of (10), we also see that

$$\begin{aligned} \operatorname{tr}\mathbf{C}_{\boldsymbol{f}}&=2+\phi ^{\prime \,2}+4\phi H+4\phi ^{2}H^{2}+O \left (\phi ^{3}\right ), \end{aligned}$$
(91a)
$$\begin{aligned} \operatorname{tr}\sqrt{\mathbf{C}_{\boldsymbol{f}}}&=2+\phi '+2\phi H+O \left (\phi ^{3}\right ). \end{aligned}$$
(91b)

Inserting (91a) and (91b) into (89), we arrive at

$$ W_{\mathrm{SVK}}=\left (\mu +\frac{\lambda }{2}\right )(\phi '-1)^{2}+2 \lambda (\phi '-1)\phi H+2(2\mu +\lambda )\phi ^{2}H^{2}+O\left ( \phi ^{3}\right ). $$
(92)

Integrating the latter expression over \([-h,h]\) we obtain a functional \(F[\phi ]\), whose Euler-Lagrange equation reads as

$$ \phi ''=4H^{2}\phi -\frac{2\lambda H}{2\mu +\lambda }. $$
(93)

Solving this equation subject to \(\phi (0)=0\), we obtain the following family of functions

$$ \phi _{\xi }(x_{3})=\frac{1}{2H}\frac{\lambda }{2\mu +\lambda }[1-\cosh (2Hx_{3})]+ \xi \sinh (2Hx_{3}) $$
(94)

in the parameter \(\xi \). There is a single \(\xi =\overline{\xi }\) that minimizes \(F[\phi _{\xi }]\). Setting \(\xi =\overline{\xi }\) in (94), we find (88). Expanding \(F[\phi _{\overline{\xi }}]\) in powers of \(h\), we find (87). □

Remark 13

The quadratic approximation to \(\phi _{\overline{\xi }}\) has the form \(\phi _{\overline{\xi }}=\overline{\alpha }x_{3}+\overline{\beta }x_{3}^{2}\), where \(\overline{\beta }\) is the same as \(\beta \) in (86), but

$$ \overline{\alpha }= \frac{\lambda ^{2}\cosh (2Hh)+4\mu (\lambda +\mu )}{(2\mu +\lambda )^{2}\cosh (2Hh)}=1- \frac{8\mu (\lambda +\mu )H^{2}}{(2\mu +\lambda )^{2}}h^{2}+O(h^{4}). $$
(95)

Conclusion

We have revised the classical Kirchhoff-Love hypothesis, making it more apt to derive the blending of stretching and bending energies of a plate from the free-energy functional of three-dimensional nonlinear elasticity. In summary, we have achieved two main results: (i) we have shown that measures of stretching enter the bending energy (in addition to the expected measures of bending); (ii) we have reconciled the Kirchhoff-Love hypothesis to standard \(\varGamma \)-convergence results for nonlinear plates on the ground where these can be compared with ours.

We have been concerned with developing a general method to obtain two-dimensional energies from three-dimensional ones and we tested it in a number of cases, thus reviving a good practice which Truesdell [75] lamented to be forgotten:

“In mathematical practice today it is, unfortunately, often forgotten that to derive basic equations is even so much a mathematician’s duty as to study their properties.”

Of course, there is much room for improvement and further extension of the proposed method.

First, the function \(\phi \) introduced in (1) was almost invariably taken to be polynomial in \(x_{3}\). One wonders whether \(\phi \) could be chosen in a more general class of functions without jeopardizing our conclusions. The only exploration we did along these lines was in Proposition 11, but for isometric embeddings of \(S\); this did not affect the bending content \(w_{3}\), but had an effect on \(\alpha \), which changed at the order \(O(h^{2})\), see (95). The question is then whether we can expect that, as a rule, the bending content is not affected by letting \(\phi \) vary in a wider class of functions.

Second, and more importantly, the representation of the deformation \(\boldsymbol{f}\) in (1) is not the most general possible. It would be interesting to replace (1) by

$$ \boldsymbol{f}(\boldsymbol{x},x_{3})=\boldsymbol{y}(\boldsymbol{x})+\phi (\boldsymbol{x},x_{3})\boldsymbol{d}( \boldsymbol{x}), $$
(96)

where the unit vector \(\boldsymbol{d}\) is a director field on \(S\), which contributes to the deformation of the whole plate \(\mathsf{S}\) on the same footing as \(\boldsymbol{y}\), representing strains across the plate’s thickness. Were we able to retrace our entire method starting from (96) instead of (1), the surface energy density \(w\) resulting from a parent volume density \(W\) would be a function of \(\boldsymbol{d}\) and \(\nabla \boldsymbol{d}\), as well as of \(\boldsymbol{y}\) and \(\nabla \boldsymbol{y}\).

Letting \(\boldsymbol{d}\cdot \boldsymbol{\nu }>0\) throughout the deformed surface \(\mathscr{S}\), we find ourselves in the mist of the Cosserat director-theory for plates (and shells). This theory, which goes back to the pioneering works of the Cosserat brothers [15, 16], is admirably rephrased in modern terms in the book [1] (see, in particular, Chap. XIV). A full analysis of strain and equilibrium equations were first neatly developed in [21]. In connection with this theory, the classical Kirchhoff-Love hypothesis was also used in [56], always assuming \(\boldsymbol{d}\equiv \boldsymbol{\nu }\). A more general thermodynamic treatment of one-director surfaces was presented in [55]. As we also learn in Sect. 1.9 of [11], this theory is intimately related to the Reissner-Mindlin theory of plates [48, 68, 69], which indeed allows for the normals to the mid surface in the undeformed configuration not to remain normal to the deformed mid surface (as also illustrated in Sect. 5.2 of [33]).

All this body of knowledge suggests to take (96) as a general representation of the deformation field within a plate and use it to perform a dimension-reduction of the three-dimensional stored energy to derive a genuine two-dimensional energy functional; a similar pursuit was undertaken in [14] (see, in particular Sect. 6.2).Footnote 11 It remains to face the difficulties offered by assuming (96) in our entire development, a task which, if not easy, might be desirable to undertake.

Notes

  1. 1.

    More specifically, in [22] the bending energy is obtained by computing the \(\varGamma \)-limit of the energy of nonlinear elasticity over the isometric embeddings of the plate’s mid plane.

  2. 2.

    The literature on variational validation of elastic structure theories is too vast to do justice to it here, especially in view of the marginal role that these methods play in this paper. Thus, the references given here are to be regarded as purely indicative, and not exhaustive.

  3. 3.

    Here we identify the set \(S\) with its trivial embedding in ℰ.

  4. 4.

    The name connector is inspired by the notion of spin connection for surfaces (and manifolds) (see [34], for an effective introduction to the differential geometry useful in modelling soft matter). Here, we have applied (28a), (28b) to the right principal directions; clearly, the same equations apply to any other pair of orthogonal directions.

  5. 5.

    In Remark 7, we shall see the consequences of relaxing the inextensibility constraint \(\det \mathbf{C}=1\).

  6. 6.

    Clearly, (57) reduces to (56) for \(\chi =1\).

  7. 7.

    This tradition begun with the works of Kuhn [42] and Kuhn and Grün [43] (a wider selection of early studies can be found in Treloar’s book [74]); in particular, the paper by Wang and Guth [77] was the starting point of [4].

  8. 8.

    It is perhaps worth recalling that (81b) is just the same as the classical formula for the strain energy stored in a moderately bent plate comprised of a linearly isotropic elastic material, see [47, p. 133], where the Lamé coefficients, \(\lambda \) and \(\mu \), are replaced by Young’s modulus \(E\) and Poisson’s ratio \(\sigma \) (see, for example, [47, p. 126]). Similarly, apart from a numerical prefactor due to a difference in scaling the plate’s thickness, (81b) is also the same as equation (6.4) of [22], which expresses the \(\varGamma \)-limit on isometries of the elastic free energy of an isotropic nonlinear material, see also footnote 10 below.

  9. 9.

    As shown, for example, in [10, p. 155], the classical Saint-Venant-Kirchhoff material is characterized by the following stored energy function

    $$ \widetilde{W}_{\mathrm{SVK}}:=\frac{\lambda }{2}\operatorname{tr}^{2} \mathbf{E}_{\boldsymbol{f}}+\mu \operatorname{tr}\mathbf{E}_{\boldsymbol{f}}^{2}, $$

    which has the same small-strain limit as (83) (see Proposition 10).

  10. 10.

    See, in particular, the unnumbered formula on p. 1494 of [22], keeping in mind the different thickness scaling, as there \(h\) amounts to our \(2h\).

  11. 11.

    There, the fields \(\boldsymbol{\eta }\) and \(\boldsymbol{\zeta }\), being parallel to one another, can be taken such that \(\boldsymbol{\eta }(\boldsymbol{x})=\alpha (\boldsymbol{x})\boldsymbol{d}(\boldsymbol{x})\) and \(\boldsymbol{\zeta }(\boldsymbol{x})=\beta (\boldsymbol{x})\boldsymbol{d}(\boldsymbol{x})\), respectively.

References

  1. 1.

    Antman, S.S.: Nonlinear Problems of Elasticity. Applied Mathematical Sciences, vol. 107. Springer, New York (1995)

    Google Scholar 

  2. 2.

    Anzellotti, G., Baldo, S., Percivale, D.: Dimension reduction in variational problems, asymptotic development in \({\varGamma }\)-convergence and thin structures in elasticity. Asymptot. Anal. 9, 61–100 (1994)

    MathSciNet  MATH  Article  Google Scholar 

  3. 3.

    Armon, S., Efrati, E., Kupferman, R., Sharon, E.: Geometry and mechanics in the opening of chiral seed pods. Science 333, 1726–1730 (2011)

    Article  ADS  Google Scholar 

  4. 4.

    Beatty, M.F.: An average-stretch full-network model for rubber elasticity. J. Elast. 70, 65–86 (2003)

    MathSciNet  MATH  Article  Google Scholar 

  5. 5.

    Beatty, M.F.: On the radial oscillations of incompressible, isotropic, elastic and limited elastic thick-walled tubes. Int. J. Non-Linear Mech. 42(2), 283–297 (2007)

    Article  ADS  Google Scholar 

  6. 6.

    Bourquin, F., Ciarlet, P.G., Geymonat, G., Raoult, A.: \({\varGamma }\)-convergence et analyse asymptotique des plaques minces. C. R. Acad. Sci. Paris 315, 1017–1024 (1992)

    MathSciNet  MATH  Google Scholar 

  7. 7.

    Braides, A., Truskinovsky, L.: Asymptotic expansions by \({\varGamma }\)-convergence. Contin. Mech. Thermodyn. 20(2), 21–62 (2008)

    MathSciNet  MATH  Article  ADS  Google Scholar 

  8. 8.

    Camacho-Lopez, M., Finkelmann, H., Palffy-Muhoray, P., Shelley, M.: Fast liquid-crystal elastomer swims into the dark. Nat. Mater. 3, 307–310 (2004)

    Article  ADS  Google Scholar 

  9. 9.

    Cauchy, A.L.: Sur l’équilibre e le mouvement d’une plaque solide. In: Exercises de Mathématiques. Troisième Année, pp. 328–355. De Bure, Paris (1828)

    Google Scholar 

  10. 10.

    Ciarlet, P.G.: Mathematical Elasticity. Volume I: Three-dimensional Elasticity. Studies in Mathematics and Its Applications, vol. 20. North-Holland, Amsterdam (1988)

    Google Scholar 

  11. 11.

    Ciarlet, P.G.: Mathematical Elasticity. Volume II: Theory of Plates. Studies in Mathematics and Its Applications, vol. 27. North-Holland, Amsterdam (1988)

    Google Scholar 

  12. 12.

    Ciarlet, P.G.: An introduction to differential geometry with applications to elasticity. J. Elast. 78–79, 1–215 (2005)

    MathSciNet  MATH  Article  Google Scholar 

  13. 13.

    Ciarlet, P.G., Geymonat, G.: Sur les lois de comportement en élasticité non linéaire compressible. C. R. Acad. Sci. Paris 295(4), 423–426 (1982)

    MathSciNet  MATH  Google Scholar 

  14. 14.

    Ciarlet, P.G., Mardare, C.: An existence theorem for a two-dimensional nonlinear shell model of Koiter’s type. Math. Models Methods Appl. Sci. 28(14), 2833–2861 (2018)

    MathSciNet  MATH  Article  Google Scholar 

  15. 15.

    Cosserat, E., Cosserat, F.: Sur la théorie des corps minces. C. R. Acad. Sci. Paris 146, 169–172 (1908)

    MATH  Google Scholar 

  16. 16.

    Cosserat, E., Cosserat, F.: Théorie des Corps Déformables. Hermann, Paris (1909). Reprinted in 2009 with a preface by G. Capriz followed by a historical essay by M. Brocato and K. Chatzis

    Google Scholar 

  17. 17.

    Efrati, E., Sharon, E., Kupferman, R.: Buckling transition and boundary layer in non-Euclidean plates. Phys. Rev. E 80, 016602 (2009)

    MathSciNet  Article  ADS  Google Scholar 

  18. 18.

    Efrati, E., Sharon, E., Kupferman, R.: Elastic theory of unconstrained non-Euclidean plates. J. Mech. Phys. Solids 57(4), 762–775 (2009)

    MathSciNet  MATH  Article  ADS  Google Scholar 

  19. 19.

    Efrati, E., Sharon, E., Kupferman, R.: The metric description of elasticity in residually stressed soft materials. Soft Matter 9, 8187–8197 (2013)

    Article  ADS  Google Scholar 

  20. 20.

    Elías-Zúñiga, A., Beatty, M.F.: Constitutive equations for amended non-Gaussian network models of rubber elasticity. Int. J. Eng. Sci. 40(20), 2265–2294 (2002)

    MathSciNet  MATH  Article  Google Scholar 

  21. 21.

    Ericksen, J.L., Truesdell, C.: Exact theory of stress and strain in rods and shells. Arch. Ration. Mech. Anal. 1, 295–323 (1957)

    MathSciNet  MATH  Article  Google Scholar 

  22. 22.

    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)

    MathSciNet  MATH  Article  Google Scholar 

  23. 23.

    Friesecke, G., James, R.D., Mora, M.G., Müller, S.: Derivation of nonlinear bending theory for shells from three dimensional nonlinear elasticity by Gamma-convergence. C. R. Acad. Sci. Paris 336, 697–702 (2003)

    MathSciNet  MATH  Article  Google Scholar 

  24. 24.

    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, 183–236 (2006)

    MathSciNet  MATH  Article  Google Scholar 

  25. 25.

    Gent, A.N.: A new constitutive relation for rubber. Rubber Chem. Technol. 69(1), 59–61 (1996)

    Article  Google Scholar 

  26. 26.

    Gladman, A.S., Matsumoto, E.A., Nuzzo, R.G., Mahadevan, L., Lewis, J.A.: Biomimetic 4D printing. Nat. Mater. 15, 413–418 (2016)

    Article  ADS  Google Scholar 

  27. 27.

    Gurtin, M.E., Murdoch, A.I.: A continuum theory of elastic material surfaces. Arch. Ration. Mech. Anal. 57, 291–323 (1975)

    MathSciNet  MATH  Article  Google Scholar 

  28. 28.

    Gurtin, M.E., Fried, E., Anand, L.: The Mechanics and Thermodynamics of Contiuna. Cambridge University Press, Cambridge (2010)

    Google Scholar 

  29. 29.

    Helfrich, W.: Elastic properties of lipid bilayers: theory and possible experiments. Z. Naturforsch. 28c, 693–703 (1973)

    Article  Google Scholar 

  30. 30.

    Holzapfel, G.A.: Similarities between soft biological tissues and rubberlike materials. In: Austrell, P.E., Kari, L. (eds.) Constitutive Models for Rubber IV, Proceedings of the 4th European Conference on “Constitutive Models for Rubber” (ECCMR 2005), pp. 607–617. Balkema, Lisse (2005)

    Google Scholar 

  31. 31.

    Horgan, C.O.: The remarkable Gent constitutive model for hyperelastic materials. Int. J. Non-Linear Mech. 68, 9–16 (2015)

    Article  ADS  Google Scholar 

  32. 32.

    Horgan, C.O., Saccomandi, G.: A molecular-statistical basis for the Gent constitutive model of rubber elasticity. J. Elast. 68, 167–176 (2002)

    MathSciNet  MATH  Article  Google Scholar 

  33. 33.

    Hughes, T.J.R.: The Finite Element Method. Prentice-Hall, Englewood Cliffs (1987)

    Google Scholar 

  34. 34.

    Kamien, R.D.: The geometry of soft materials: a primer. Rev. Mod. Phys. 74, 953–971 (2002)

    Article  ADS  Google Scholar 

  35. 35.

    Kirchhoff, G.: Über das Gleichgewicht und die Bewegung einer elastischen Scheibe. J. Reine Angew. Math. 40, 51–88 (1850)

    MathSciNet  Google Scholar 

  36. 36.

    Kirchhoff, G.: Vorlesungen über Mechanik. Teubner, Leipzig (1897). Digitalized by Google https://archive.org/details/vorlesungenberm04kircgoog/mode/2up

    Google Scholar 

  37. 37.

    Koiter, W.T.: A consistent first approximation in the general theory of thin elastic shells. In: Koiter, W.T. (ed.) Proc. IUTAM Symposium on the Theory of Thin Elastic Shells, Delft, pp. 12–33. North-Holland, Amsterdam (1960)

    Google Scholar 

  38. 38.

    Koiter, W.T.: On the nonlinear theory of thin elastic shells. Proc. K. Ned. Akad. Wet., Ser. B 69, 1–54 (1966)

    MathSciNet  Google Scholar 

  39. 39.

    Koiter, W.T.: On the foundations of the linear theory of thin elastic shells. I. Proc. K. Ned. Akad. Wet., Ser. B 73, 169–182 (1970)

    MathSciNet  MATH  Google Scholar 

  40. 40.

    Koiter, W.T.: On the foundations of the linear theory of thin elastic shells. II. Proc. K. Ned. Akad. Wet., Ser. B 73, 183–195 (1970)

    MathSciNet  MATH  Google Scholar 

  41. 41.

    Kowalski, B.A., Mostajeran, C., Godman, N.P., Warner, M., White, T.J.: Curvature by design and on demand in liquid crystal elastomers. Phys. Rev. E 97, 012504 (2018)

    Article  ADS  Google Scholar 

  42. 42.

    Kuhn, W.: Beziehungen zwischen Molekülgroße, statistischer Molekülgestalt und elastischen Eigenschaften hochpolymerer Stoffe. Kolloid-Z. 76, 258–271 (1936)

    Article  Google Scholar 

  43. 43.

    Kuhn, W., Grün, F.: Beziehungen zwischen elastischen Konstanten und Dehnungsdoppelbrechung hochelastischer Stoffe. Kolloid-Z. 101, 248–271 (1942)

    Article  Google Scholar 

  44. 44.

    Le Dret, H., Raoult, A.: The nonlinear membrane model as variational limit of nonlinear three-dimensional elasticity. J. Math. Pures Appl. 74, 549–578 (1995)

    MathSciNet  MATH  Google Scholar 

  45. 45.

    Le Dret, H., Raoult, A.: The membrane shell model in nonlinear elasticity: a variational asymptotic derivation. J. Nonlinear Sci. 6, 59–84 (1996)

    MathSciNet  MATH  Article  ADS  Google Scholar 

  46. 46.

    Lévy, M.: Mémoire sur la théorie des plaques élastiques planes. J. Math. Pures Appl. 30, 219–306 (1877)

    MATH  Google Scholar 

  47. 47.

    Love, A.E.H.: A Treatise on the Mathematical Theory of Elasticity, 4th edn. Cambridge University Press, Cambridge (1929). Reprinted in 2013

    Google Scholar 

  48. 48.

    Mindlin, R.D.: Influence of rotatory inertia and shear on flexural motions of isotropic elastic plate. J. Appl. Mech. 18, 31–38 (1951)

    MATH  Google Scholar 

  49. 49.

    Modes, C.D., Warner, M.: Negative Gaussian curvature from induced metric changes. Phys. Rev. E 92, 010401 (2015)

    Article  ADS  Google Scholar 

  50. 50.

    Modes, C.D., Bhattacharya, K., Warner, M.: Disclination-mediated thermo-optical response in nematic glass sheets. Phys. Rev. E 81, 060701 (2010)

    Article  ADS  Google Scholar 

  51. 51.

    Modes, C.D., Bhattacharya, K., Warner, M.: Gaussian curvature from flat elastica sheets. Proc. R. Soc. A 467(2128), 1121–1140 (2011)

    MathSciNet  MATH  Article  ADS  Google Scholar 

  52. 52.

    Mostajeran, C.: Curvature generation in nematic surfaces. Phys. Rev. E 91, 062405 (2015)

    MathSciNet  Article  ADS  Google Scholar 

  53. 53.

    Mostajeran, C., Warner, M., Ware, T.H., White, T.J.: Encoding Gaussian curvature in glassy and elastomeric liquid crystal solids. Proc. R. Soc. A 472(2189), 20160112 (2016)

    MathSciNet  MATH  Article  ADS  Google Scholar 

  54. 54.

    Mostajeran, C., Warner, M., Modes, C.D.: Frame, metric and geodesic evolution in shape-changing nematic shells. Soft Matter 13, 8858–8863 (2017)

    Article  ADS  Google Scholar 

  55. 55.

    Naghdi, P.M.: The theory of shells and plates. In: Flügge, S., Truesdell, C. (eds.) Handbuch der Physik, vol. VIa2, pp. 425–640. Springer, Berlin (1972)

    Google Scholar 

  56. 56.

    Naghdi, P.M., Nordgren, R.P.: On the nonlinear theory of elastic shells under the Kirchhoff hypothesis. Q. Appl. Math. 21, 49–59 (1963)

    MathSciNet  MATH  Article  Google Scholar 

  57. 57.

    Novozhilov, V.V.: Foundations of the Nonlinear Theory of Elasticity, 2nd edn. Graylock, Rochester (1953)

    Google Scholar 

  58. 58.

    Ozenda, O., Sonnet, A.M., Virga, E.G.: A blend of stretching and bending in nematic polymer networks. Soft Matter 16, 8877–8892 (2020)

    Article  ADS  Google Scholar 

  59. 59.

    Paroni, R., Podio-Guidugli, P.: On variational dimension reduction in structure mechanics. J. Elast. 118, 1–13 (2015)

    MathSciNet  MATH  Article  Google Scholar 

  60. 60.

    Paroni, R., Podio-Guidugli, P., Tomassetti, G.: A justification of the Reissner–Mindlin plate theory through variational convergence. Anal. Appl. 5, 165–182 (2007)

    MathSciNet  MATH  Article  Google Scholar 

  61. 61.

    Percivale, D., Podio-Guidugli, P.: A general linear theory of elastic plates and its variational validation. Boll. Unione Mat. Ital. 2, 321–341 (2009)

    MathSciNet  MATH  Google Scholar 

  62. 62.

    Plucinsky, P., Lemm, M., Bhattacharya, K.: Programming complex shapes in thin nematic elastomer and glass sheets. Phys. Rev. E 94, 010701 (2016)

    Article  ADS  Google Scholar 

  63. 63.

    Podio-Guidugli, P.: An exact derivation of the thin plate equation. J. Elast. 22, 121–133 (1989)

    MathSciNet  MATH  Article  Google Scholar 

  64. 64.

    Podio-Guidugli, P.: Constraint and scaling methods to derive shell theory from three-dimensional elasticity. Riv. Mat. Univ. Parma 16, 73–83 (1990)

    MathSciNet  MATH  Google Scholar 

  65. 65.

    Podio-Guidugli, P.: On the validation of theories of thin elastic structures. Meccanica 49, 1343–1352 (2014)

    MathSciNet  MATH  Article  Google Scholar 

  66. 66.

    Podio-Guidugli, P.: Six lectures in the mechanics of elastic structures. In: Altenbach, H., Eremeyev, V. (eds.) Shell-Like Structures. Advanced Theories and Applications. CISM. International Centre for Mechanical Sciences. Courses and Lectures, vol. 572, pp. 211–246. Springer, Berlin (2016)

    Google Scholar 

  67. 67.

    Poisson, S.D.: Mémoire sur l’équilibre et le mouvement des corps élastiques. Mém. Acad. (Paris) 8, 357–571 (1828)

    Google Scholar 

  68. 68.

    Reissner, E.: On the theory of bending of elastic plates. J. Math. Phys. 23, 184–191 (1944)

    MathSciNet  MATH  Article  Google Scholar 

  69. 69.

    Reissner, E.: The effect of transverse shear deformations on the bending of elastic plates. J. Appl. Mech. 12, A69–A77 (1945)

    MathSciNet  MATH  Google Scholar 

  70. 70.

    Reissner, E.: Reflections on the theory of elastic plates. Appl. Mech. Rev. 38, 1453–1464 (1985)

    Article  ADS  Google Scholar 

  71. 71.

    Siéfert, E., Reyssat, E., Bico, J., Roman, B.: Bio-inspired pneumatic shape-morphing elastomers. Nat. Mater. 18, 24–28 (2019)

    Article  ADS  Google Scholar 

  72. 72.

    Stoker, J.J.: Differential Geometry. Pure and Applied Mathematics, vol. XX. Wiley-Interscience, New York (1969)

    Google Scholar 

  73. 73.

    Timoshenko, S., Woinowsky-Krieger, S.: Theory of Plates and Shells, 2nd edn. McGraw-Hill, New York (1959). Reissued in 1987

    Google Scholar 

  74. 74.

    Treloar, L.R.G.: The Physics of Rubber Elasticity, 3rd edn. Oxford Classic Texts in the Physical Sciences. Oxford University Press, Oxford (2005)

    Google Scholar 

  75. 75.

    Truesdell, C.: The influence of elasticity on analysis: the classical heritage. Bull. Am. Math. Soc. 9, 293–310 (1983)

    MATH  Article  Google Scholar 

  76. 76.

    Villaggio, P.: Mathematical Models for Elastic Structures. Cambridge University Press, Cambridge (1997)

    Google Scholar 

  77. 77.

    Wang, M.C., Guth, E.: Statistical theory of networks of non-Gaussian flexible chains. J. Chem. Phys. 20(7), 1144–1157 (1952)

    MathSciNet  Article  ADS  Google Scholar 

  78. 78.

    Warner, M.: Topographic mechanics and applications of liquid crystalline solids. Annu. Rev. Condens. Matter Phys. 11(1), 125–145 (2020)

    Article  Google Scholar 

  79. 79.

    Warner, M., Mostajeran, C.: Nematic director fields and topographies of solid shells of revolution. Proc. R. Soc. A 474(2210), 20170566 (2018)

    MathSciNet  MATH  Article  ADS  Google Scholar 

  80. 80.

    Warner, M., Terentjev, E.M.: Liquid Crystal Elastomers. International Series of Monographs on Physics, vol. 120. Oxford University Press, New York (2003)

    Google Scholar 

  81. 81.

    White, T.J., Broer, D.J.: Programmable and adaptive mechanics with liquid crystal polymer networks and elastomers. Nat. Mater. 14(2210), 1087–1098 (2015)

    Article  ADS  Google Scholar 

  82. 82.

    Wood, H.G., Hanna, J.A.: Contrasting bending energies from bulk elastic theories. Soft Matter 15, 2411–2417 (2019)

    Article  ADS  Google Scholar 

Download references

Acknowledgements

The work of O.O. was supported financially by the Department of Mathematics of the University of Pavia as part of the activities funded by the Italian MIUR under the nationwide Program “Dipartimenti di Eccellenza (2018–2022).” E.G.V. wishes to thank Peter Palffy-Muhoray for having introduced him to the fascinating world of nematic elastomers and to the charm of Gent’s material. E.G.V. also acknowledges an illuminating discussion with James A. Hanna on the hybrid nature of the bending elastic contents considered here, where both stretching and bending measures are present. Finally, we wish to thank an anonymous Reviewer of an earlier version of this manuscript for the learned views offered on variational methods as validation criteria for reduced elastic structure theories.

Funding

Open Access funding provided by Università degli Studi di Pavia within the CRUI-CARE Agreement.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Epifanio G. Virga.

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.

Appendix: Cartesian formulae for \(H\) and \(K\)

Appendix: Cartesian formulae for \(H\) and \(K\)

Consider a deformation \(\boldsymbol{y}\) of the planar surface \(S\) such that \(\det \mathbf{C}=1\), which ensures that \(\boldsymbol{y}\) preserves the area of any portion of \(S\). Letting \((\boldsymbol{e}_{1},\boldsymbol{e}_{2})\) be an orthonormal frame in the plane that contains \(S\), we represent the deformation gradient \(\nabla \boldsymbol{y}\) as

$$ \nabla \boldsymbol{y}=\boldsymbol{a}_{1}\otimes \boldsymbol{e}_{1}+\boldsymbol{a}_{2}\otimes \boldsymbol{e}_{2}, $$
(97)

where

$$ \boldsymbol{a}_{1}:=(\nabla \boldsymbol{y})\boldsymbol{e}_{1}\quad \text{and}\quad \boldsymbol{a}_{2}:=( \nabla \boldsymbol{y})\boldsymbol{e}_{2}. $$
(98)

The vectors \(\boldsymbol{a}_{1}(\boldsymbol{x})\) and \(\boldsymbol{a}_{2}(\boldsymbol{x})\) are tangent to \(\mathscr{S}\) at the point \(\boldsymbol{y}(\boldsymbol{x})\); they need not be orthogonal to one another, but it follows from (97) that

$$ \det \mathbf{C}=a_{1}^{2}a_{2}^{2}-(\boldsymbol{a}_{1}\cdot \boldsymbol{a}_{2})^{2}= \vert \boldsymbol{a}_{1}\times \boldsymbol{a}_{2}\vert ^{2}=1, $$
(99)

and so, the normal \(\boldsymbol{\nu }\) to \(\mathscr{S}\) can be represented as

$$ \boldsymbol{\nu }=\boldsymbol{a}_{1}\times \boldsymbol{a}_{2}. $$
(100)

From (97), we obtain that

$$ (\nabla \boldsymbol{y})^{-1}=a_{2}^{2}\boldsymbol{e}_{1}\otimes \boldsymbol{a}_{1}+a_{1}^{2} \boldsymbol{e}_{2}\otimes \boldsymbol{a}_{2}-(\boldsymbol{a}_{1}\cdot \boldsymbol{a}_{2})\left ( \boldsymbol{e}_{2}\otimes \boldsymbol{a}_{1}+\boldsymbol{e}_{1}\otimes \boldsymbol{a}_{2}\right ), $$
(101)

so that

$$ \begin{aligned} \nabla _{\mathrm{s}}\boldsymbol{\nu }=(\nabla \boldsymbol{\nu })(\nabla \boldsymbol{y})^{-1}&=a_{2}^{2}( \nabla \boldsymbol{\nu })\boldsymbol{e}_{1}\otimes \boldsymbol{a}_{1}+a_{1}^{2}(\nabla \boldsymbol{\nu })\boldsymbol{e}_{2}\otimes \boldsymbol{a}_{2} \\ &-(\boldsymbol{a}_{1}\cdot \boldsymbol{a}_{2})[(\nabla \boldsymbol{\nu })\boldsymbol{e}_{2} \otimes \boldsymbol{a}_{1}+(\nabla \boldsymbol{\nu })\boldsymbol{e}_{1}\otimes \boldsymbol{a}_{2}]. \end{aligned} $$
(102)

It readily follows from (100) that

$$ (\nabla \boldsymbol{\nu })\boldsymbol{e}=(\nabla \boldsymbol{a}_{1})\boldsymbol{e}\times \boldsymbol{a}_{2}+ \boldsymbol{a}_{1}\times (\nabla \boldsymbol{a}_{2})\boldsymbol{e}, $$
(103)

for any vector \(\boldsymbol{e}\) in the space spanned by \((\boldsymbol{e}_{1},\boldsymbol{e}_{2})\). Combining (100) and (103), we arrive at the identities

$$ (\nabla \boldsymbol{\nu })\boldsymbol{e}\cdot \boldsymbol{a}_{1}=-\boldsymbol{\nu }\cdot (\nabla \boldsymbol{a}_{1})\boldsymbol{e},\quad (\nabla \boldsymbol{\nu })\boldsymbol{e}\cdot \boldsymbol{a}_{2}=- \boldsymbol{\nu }\cdot (\nabla \boldsymbol{a}_{2})\boldsymbol{e}. $$
(104)

Use of these in (102) leads us to

$$\begin{aligned} \begin{aligned} 2H&=\operatorname{tr}(\nabla _{\mathrm{s}}\boldsymbol{\nu }) \\ &=(\boldsymbol{a}_{1}\cdot \boldsymbol{a}_{2})[\boldsymbol{\nu }\cdot (\nabla \boldsymbol{a}_{1}) \boldsymbol{e}_{2}+\boldsymbol{\nu }\cdot (\nabla \boldsymbol{a}_{2})\boldsymbol{e}_{1}]-a_{1}^{2} \boldsymbol{\nu }\cdot (\nabla \boldsymbol{a}_{2})\boldsymbol{e}_{2}-a_{2}^{2}\boldsymbol{\nu } \cdot (\nabla \boldsymbol{a}_{1})\boldsymbol{e}_{1}, \end{aligned} \end{aligned}$$
(105)
$$\begin{aligned} \begin{aligned} K&=(\nabla _{\mathrm{s}}\boldsymbol{\nu })\boldsymbol{a}_{1}\times ( \nabla _{\mathrm{s}}\boldsymbol{\nu })\boldsymbol{a}_{2}\cdot \boldsymbol{\nu } \\ &=(\boldsymbol{\nu }\cdot (\nabla \boldsymbol{a}_{1})\boldsymbol{e}_{1})(\boldsymbol{\nu }\cdot ( \nabla \boldsymbol{a}_{2})\boldsymbol{e}_{2})-(\boldsymbol{\nu }\cdot (\nabla \boldsymbol{a}_{2}) \boldsymbol{e}_{1})(\boldsymbol{\nu }\cdot (\nabla \boldsymbol{a}_{1})\boldsymbol{e}_{2}), \end{aligned} \end{aligned}$$
(106)

where \(\boldsymbol{a}_{1}\) and \(\boldsymbol{a}_{2}\) are given by (98), \(\boldsymbol{\nu }\) by (100), and

$$ \nabla \boldsymbol{a}_{i}=(\nabla ^{2}\boldsymbol{y})\boldsymbol{e}_{i},\quad i=1,2. $$
(107)

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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Ozenda, O., Virga, E.G. On the Kirchhoff-Love Hypothesis (Revised and Vindicated). J Elast (2021). https://doi.org/10.1007/s10659-021-09819-7

Download citation

Keywords

  • Kirchhoff-Love hypothesis
  • Dimension-reduction
  • Plates’ stretching energy
  • Plates’ bending energy

Mathematics Subject Classification (2010)

  • 74B20
  • 74K20