Abstract
In the framework of nonlinear theory of Cosserat elasticity, also called micropolar elasticity, we provide the complete characterization of null Lagrangians for three dimensional bodies as well as for shells. Using the Gibb’s rotation vector for description of the microrotation, this task is possible by an application of a theorem stated by Olver and Sivaloganathan in ‘the structure of null Lagrangians’ (Nonlinearity 1:389–398, 1988). A set of necessary and sufficient conditions is also provided for the elasticity tensors to correspond to a null Lagrangian in linearized micropolar theory.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
According to Theorem 7 of Olver and Sivaloganathan in [41], for a star shaped \(\Omega \subset \mathbb{R}^{m}\), with
a function \(L(\boldsymbol{x},\boldsymbol{u},\mathbf{F})\) (with \(\mathbf{F}=\nabla \boldsymbol{u}=[{\partial u_{i}}/{\partial x_{j}}] \in \mathbb{M}^{n\times m}\)) is a null Lagrangian if and only if there exist an \(m\)-tuple of \(C^{1}\) functions
such that
where the arbitrary scalar potential functions on \(\overline{\Omega}\times \mathbb{R}^{n}\) participating in the divergence above via the presence of \(\boldsymbol{P}\) can be also specified while their total number is given by the binomial coefficient \(\binom{n+m}{m-1}\).
In the familiar case of three dimensional theory of elasticity, the number of arbitrary scalar potentials is known to be \(\binom{3+3}{3-1}\) (with \(m=3\), \(n=3\)), i.e., 15. For our purpose in this note, as another example, in the case of three dimensional Cosserat (micropolar) theory [14], the number of arbitrary scalar potentials in the sum appearing in Theorem 8 of Olver and Sivaloganathan [41] is anticipated to be \(\binom{3+3+3}{3-1}\) (with \(m=3\), \(n=3+3=6\)), i.e., 36, whereas for two dimensional shell theory (embedded in three dimensional space), this number is \(\binom{2+3+3}{2-1}\), i.e., 8 (with \(m=2\), \(n=3+3=6\)).
For the benefit of some readers, we recall that a null Lagrangian (see [5, 7, 39, 41]; [15, 17, 19, 21, 33, 46]) is defined by the condition that its Euler–Lagrange equation is trivially satisfied; in other words, the so called functional ℒ given by the expression
satisfies
In the nonlinear theory of elasticity, the null Lagrangians have been found to have special importance in the questions of existence of solutions [6, 7, 16, 29, 44] as well as in the surface potentials and handling certain boundary data [11, 18, 19]. The connection with the construction of polyconvex functions has a practical value as it is helpful in developing the rigorous framework for a rich class of elastic models [38, 50] and also in the presence of various additional physical effects [28, 49]. From the viewpoint of shell theories and plate-like bodies, we refer [43] and the references cited therein for some ‘paradoxes’ related to the null-lagrangian contribution to stored energy. Besides these applications, the role of null Lagrangians in Noether symmetries is also well known [9, 35, 36]. Last but not the least, in the classical framework of calculus of variations [24], the null Lagrangians occupy a distinguished role in the field theory as any researcher can easily find out during an expedition on the ‘royal road of Caratheodory’.
In this short note, we apply the above mentioned Theorem of [41] to a Cosserat [14], or so called, micropolar elastic body [2, 3, 23, 26, 37] in three dimensional framework as well as for shells.
2 Nonlinear Cosserat Media
We consider a body of Cosserat type with the reference configuration assumed to be a bounded domain denoted by \(\Omega\subset {\mathbb{R}}^{3}\) (with a Lipschitz boundary \(\partial \Omega\)). However, it suffices to consider any smooth portion of the body as we are interested only in the characterization of the null Lagrangians on the lines of that in the nonlinear theory of elasticity [48]. Following the standard notation for vectors and tensors in continuum mechanics [27], we denote the microdeformation (vector field), or placement, of a micropolar body by
and the microrotation (describing the rotation of each particle in the micropolar body) with
A schematic is provided in Fig. 1 which illustrates the manner in which the microrotation field captures the rotation of an orthonormal triad of directors from reference configuration \(\Omega\) to the current configuration \(\boldsymbol{\chi }(\Omega)\).
Here, we denote the standard basis vectors for \(\mathbb{R}^{3}\) by the triplet \(\mathbf{e}_{1}, \mathbf{e}_{2}, \mathbf{e}_{3}\). The physical space \(\mathbb{R}^{3}\) is assumed to be equipped with the cross product × corresponding to an orientation such that \(\mathbf{e}_{1}\times \mathbf{e}_{2}\cdot \mathbf{e}_{3}=+1\). In (2.2), we use the symbol \(\mathrm{SO(3)}\) to denote the set of all rotation tensors in three dimensions, i.e., for \(\mathbf{Q}\in \mathrm{SO(3)}\), \(\mathbf{Q}^{\top }\mathbf{Q}=\mathbf{I}, \det \mathbf{Q}=+1\), where \(\mathbf{I}\) stands for the identity tensor and ⊤ denotes the transpose. For a skew tensor \(\mathbf{W}\) (i.e., \(\mathbf{W}^{\top }=-\mathbf{W}\)) the axial vector \(\mathbf{w}=\mathrm{axl}\mathbf{W}\), is defined by \(\mathbf{W}\mathbf{a}=\mathbf{w}{\times }\mathbf{a}, \forall \mathbf{a}\in \mathbb{R}^{3}\). The relation \(\mathbf{W}=-\boldsymbol{\epsilon }\boldsymbol{w}\) provides the skew tensor corresponding to a given vector, where \(\boldsymbol{\epsilon }\) is the three dimensional alternating tensor which plays the role of a linear map from vectors \(\mathbb{R}^{3}\) to tensors \(\mathbb{M}^{3\times 3}\) here; in components, the skew tensor \(\mathbf{W}\) corresponding to a vector \(\boldsymbol{w}\) is given by \(\mathrm{W}_{ij}=-\upepsilon _{ijk}\mathrm{w}_{k}\) with \(\upepsilon _{ijk}=\boldsymbol{e}_{i}\cdot \boldsymbol{e}_{j} \times \boldsymbol{e}_{k}\). In other words, \(\text{skew}(\boldsymbol{w}):=-\boldsymbol{\epsilon }\boldsymbol{w}\). We also employ a very convenient notation [48] for a related entity, sometimes called vector invariant (or Gibbsian Cross), \(\mathbf{A}^{\times }\) with the components
for any second order tensor \(\mathbf{A}\). Thus, \(\mathrm{axl}\mathbf{W}=-\frac{1}{2}\mathbf{W}^{\times }\) for skew tensor \(\mathbf{W}\). The differentiation of a function \(f\) (which depends on position vector \(\boldsymbol{x}\)) with respect to the \(x_{j}\) coordinate is written as \(f_{,j}\). Note that \(\mathbf{Q}^{\top }\mathbf{Q}_{,j}\) is a skew tensor field for a given rotation tensor field \(\mathbf{Q}\) on \(\Omega\).
With above notation in place, the deformation gradient corresponding to (2.1) is expressed as
while the nonsymmetric right stretch tensor is defined as
We use the notation ⊗ to denote the tensor product operator between two vectors [27]. We define the relative Lagrangian stretch tensor as strain measure by [42]
In micropolar media, an additional dependent field is the axial vector of \({\mathbf{R}}^{\top }{\mathbf{R}}_{,j}\) (for each \(j\)). The second order tensor
is a Lagrangian measure for curvature [42], called the wryness tensor. In the nonlinear theory of Cosserat, i.e., the micropolar elasticity, the strain energy density function (in terms of the tensors of stretch \({\mathbf{E}}\) and wryness \({\mathbf{Y}}\)) is
Remark 1
Denoting \(\boldsymbol{\chi }_{,i}\) by \(\mathbf{u}_{i}\), we can re-write (2.4) as \(\mathbf{F}=\mathbf{u}_{i}\otimes \mathbf{e}_{i}\). In terms of the role of \(\mathbf{F}\) as gradient, \(\mathbf{u}_{i}\) can be interpreted as the tangential derivative of \(\boldsymbol{\chi }\) (akin to translation velocity, treating \(x_{i}\) as time) along \(i\)th coordinate, see Fig. 2(a) for \(i=3\). For small \(\mathbf{a}\), \(\boldsymbol{\chi }(\mathbf{x}+\mathbf{a})=\boldsymbol{\chi }( \mathbf{x})+\mathbf{u}_{i}(\mathbf{x})(\mathbf{e}_{i}\cdot \mathbf{a})+o(\mathbf{a})=\boldsymbol{\chi }(\mathbf{x})+ \mathbf{F}(\mathbf{x})\mathbf{a}+o(\mathbf{a})\). Similarly, with \(\mathbf{v}_{j}=\mathrm{axl}\big ({\mathbf{R}}^{\top } {\mathbf{R}}_{,j} \big )\) in (2.7), we can express \(\mathbf{Y}\) as \(\mathbf{Y}=\mathbf{v}_{j}\otimes \mathbf{e}_{j}\). For a given vector \(\mathbf{d}\), placing a vector \({\mathbf{R}}\mathbf{d}\), at every point, on the deformed curve as image of a straight line in the reference configuration along \(x_{j}\) direction (with \(\mathbf{R}(\mathbf{x})\) at given material point \(\mathbf{x}\)). Then, in this manner \(\mathbf{v}_{j}\) can be interpreted as the referential angular velocity of \({\mathbf{R}}\mathbf{d}\), treating \(x_{j}\) as time. This is also illustrated graphically in Fig. 2(b) for \(j=3\). In terms of the role of gradient, for small \(\mathbf{a}\), \({\mathbf{R}}(\mathbf{x}+\mathbf{a})\mathbf{d}={\mathbf{R}}( \mathbf{x})\mathbf{d}+{\mathbf{R}}_{,i}(\mathbf{x})\mathbf{d}( \mathbf{e}_{i}\cdot \mathbf{a})+o(\mathbf{a})\) so that \({\mathbf{R}}^{\top }(\mathbf{x}){\mathbf{R}}(\mathbf{x}+ \mathbf{a})\mathbf{d}=\mathbf{d}+{\mathbf{Y}}(\mathbf{x}) \mathbf{a}+o(\mathbf{a})\). This is one way to see \({\mathbf{Y}}\) as Lagrangian measure for ‘curvature’ (associated with the microrotation \(\mathbf{R}\) (2.2)).
In order to proceed further for the characterization of the null Lagrangians, it is useful to employ the local coordinates, in \(\mathrm{SO(3)}\), for the microrotation \({\mathbf{R}}\) (2.2). We utilize the Gibb’s rotation vector (or coordinates) to express the rotation \(\mathbf{R}\),
It is easy to show that
so that
Thus, \(\mathbf{Y}\) can be defined in terms of the Gibb’s rotation vector and its gradient. Recall that the symbol × stands for the cross product operator between two vectors.
In the context of the energy functionals (based on (2.8), for example) for a micropolar elastic body, we consider the null Lagrangian for the corresponding class of functionals
Remark 2
It is possible to combine \(\boldsymbol{\chi }\), \(\boldsymbol{\theta }\) together as a single vector field taking values in \(\mathbb{R}^{6}\) however we refrain from doing this in the first and second section. We insist on retaining the original fields so that the analysis yields a decomposition of the terms which can be utilized directly by the reader in various applications of interest.
3 Null Lagrangian in Three Dimensional Cosserat Theory
Due to the presence of three different vector entities namely, \(\boldsymbol{x}\), \(\boldsymbol{\chi }\), and \(\boldsymbol{\theta }\), it is convenient to employ a more delicate indicial notation. Henceforth, let the local coordinates be denoted by \(x_{A}\) for \(\boldsymbol{x}\) and \(y_{i}\) for \(\boldsymbol{\chi }\). The local coordinates for \(\boldsymbol{\theta }\), essentially for \({\mathbf{R}}\) as explained above, are \(\theta _{\alpha }\). In the assumed framework for three dimensional Cosserat body, we have the following identification of the local coordinates with components
where except for the indices the orthonormal triad of vectors \(\{\boldsymbol{e}_{1}, \boldsymbol{e}_{2}, \boldsymbol{e}_{3}\}\) can be chosen to be the same.
Remark 3
In indicial notation, according to (2.9),
while the inverse relation can be easily found to be
provided \(\mathrm{R}_{\eta \eta }\ne -1\). With \(\boldsymbol{\epsilon }\) in the role of a linear map from second order tensors to vectors, this can be also expressed as \(\boldsymbol{\theta }=({2}/({1+tr{\mathbf{R}}})) \boldsymbol{\epsilon }\mathbf{R}\).
The following is based on the result of [25, 41] for null Lagrangians (occasionally termed as variationally trivial Lagrangians). Let
which involves a total 84 arbitrary functions (as expected this number equals \(\binom{3+3+3}{3}\)) of \(\boldsymbol{x}\), \(\boldsymbol{\chi }\), and \(\boldsymbol{\theta }\). Let
With details provided in Appendix A, the null Lagrangians are described by the general expression:
where
We seek to obtain necessary and sufficient conditions on the coefficients in (3.3) so that it prescribes any arbitrary null Lagrangian (given the hypothesis on \(\Omega\) for the applicability of Poincaré Lemma [25, 41]). Indeed, the general form of the null Lagrangian of the form (2.11) is obtained by the exterior derivative of the 2-form
where the coefficients are functions of \(x_{A}, y_{i}, \theta _{\alpha }\), which form a total number of 36 functions of \(x_{A}, y_{i}, \theta _{\alpha }\). With details provided in Appendix B, we find that the characterizing condition \(\omega =d\zeta \) (and the Poincaré Lemma [41]) implies
Using the properties of the alternative tensor, moreover, starting from the second line above, the relations can be simplified as
Remark 4
(Notation)
Let \(\nabla _{x}, \mathrm {Div}_{x}, \mathrm {Curl}_{x}\) denote the gradient, divergence, and rotation with respect to \(\boldsymbol{x}\) keeping \(\boldsymbol{y}\), \(\boldsymbol{\theta }\) fixed. Similarly, we suppose that \(\nabla _{y}, \mathrm{Div}_{y}, \mathrm {Curl}_{y}\) are the gradient, divergence, and rotation with respect to \(\boldsymbol{y}\) keeping \(\boldsymbol{x}\), \(\boldsymbol{\theta }\) fixed and \(\nabla _{\theta }, \mathrm {Div}_{\theta }, \mathrm {Curl}_{\theta }\) are the gradient, divergence, and rotation with respect to \(\boldsymbol{\theta }\) keeping \(\boldsymbol{x}\), \(\boldsymbol{y}\) fixed. In the case of indicial notation the same, we adopt the notation such that the comma followed by a subscript \(A\) (resp. \(i\) and \(\alpha \)) denotes the derivative with respect to \(x_{A}\) (resp. \(y_{i}\) and \(\theta _{\alpha }\)). Thus the useful definitions of curl are given by
Based on the arguments provide so far, which fulfil the main ingredients of its proof following Olver and Sivaloganathan [41], we state the characterization theorem for null Lagrangians.
Theorem 1
The Lagrangian ℒ for the functional of the form (2.11) is a null Lagrangian if and only if there exist \(\mathscr{A},\mathscr{D},\widetilde{\mathscr{D}}\) as scalar functions of \((\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta })\), \(\mathbf{B},\widetilde{\mathbf{B}},\widehat{\mathbf{B}}, \mathbf{C}, \widetilde{\mathbf{C}}, \widehat{\mathbf{C}}\) as \(3\times 3\) matrix functions of \((\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta })\), and \(\mathtt{J}\) as a \(3\times 3\times 3\) matrix function of \((\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta })\) such that
where the 84 scalar functions appearing as coefficients (or its components) depend only on 36 scalar functions (as components of \(\boldsymbol{L}, \boldsymbol{M}, \widetilde{\boldsymbol{M}}, \mathbf{K}, \widetilde{\mathbf{K}}, \mathbf{H}\)), in terms of the notation described in Remark 4, in the following way:
Here \(\mathbf{F}=\nabla \boldsymbol{\chi }\), \(\mathbf{G}=\nabla \boldsymbol{\theta }\), i.e., \(F_{iA}=\chi _{i,A}\), \(G_{\alpha A}=\theta _{\alpha ,A}\).
Remark 5
In (3.9a), (3.9b), (3.9c), (3.9d) and (3.9e), \(\boldsymbol{L},\boldsymbol{M},\widetilde{\boldsymbol{M}}\) are 3 component vector valued functions of \(\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta }\); \(\mathbf{K},\widetilde{\mathbf{K}}, \mathbf{H}\) are \(3\times 3\) matrix functions of \(\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta }\). In indicial notation, (3.8) is alternately expressed as
while, (3.9a), (3.9b), (3.9c), (3.9d) and (3.9e), is equivalent to the conditions
Remark 6
Using the characterization of the null Lagrangians via the 2-form (3.3), it is natural to define the class of polyconvex functions relevant for a Cosserat elastic media as follows: A polyconvex Lagrangian function for a Cosserat elastic media is given by
where \(\Psi :\mathbb{R}^{83}\to \mathbb{R}\) is a convex function in each of its argument [6, 16]. Thus, a strain energy density function (2.8) for a Cosserat elastic media is polyconvex if and only if there exists \(\Psi \) of above form. At this point, it is also useful to list a special sub-class of above via additive decomposition, i.e.,
where the nine functions \(\{\Phi _{i}\}_{i=1}^{9}\) are convex functions of their arguments.
3.1 Divergence Representation
The characterization theorem, stated above as Theorem 1, can be further applied to obtain a divergence representation of the null Lagrangians akin to Theorem 7 of Olver and Sivaloganathan in [41] (see also [40]). In fact, we find that
where we used the symbolic notation × (2.3). In indicial notation, (3.14) can be expressed as
By a direct calculation, it is easy to verify that
in (3.8) of Theorem above with \(\boldsymbol{P}=\boldsymbol{P}(\boldsymbol{x}, \boldsymbol{\chi}( \boldsymbol{x}), \boldsymbol{\theta (\boldsymbol{x})})\). The detailed steps justifying this identity are provided in Appendix C.
Remark 7
It is easy to recognize that in the special case of nonlinear elasticity, i.e., absence of effect of microrotation, the expression of \(\boldsymbol{P}\) stated in (3.14) reduces to the well known one (Eq. (13.6.3) of [48]), i.e., \(\boldsymbol{L}+({\mathbf{F}}^{\top }\mathbf{K})^{\times }+({\mathrm {cof~}}{ \mathbf{F}})^{\top }\boldsymbol{M}\).
4 Null Lagrangian in Micropolar Shell Theory
In this section, due to the requirement of curvilinear coordinates (local coordinate chart for two dimensional manifold embedded in three dimensional space [1, 4, 12]), we employ upper and lower indices in this section for contravariant and covariant components [31, 47]. It is natural to utilize the parameter space for the shell in place of \(\Omega\) in this section; this also enables us to avoid the covariant derivative (but it can be easily incorporated by multiplying the Lagrangian by a factor [31]). It is emphasized that in this section the capital Latin indices \(A, B, \ldots {}\), range over \(1, 2\). Here \((x^{1},x^{2})\) (in place of the symbols \((s^{1}, s^{2})\) as shown in Fig. 3) are local coordinates on the reference configuration of the shell. In the assumed framework for micropolar shells, we have the following identification of the local coordinates with components
Remark 8
Here, \(\boldsymbol{e}^{B}\cdot \boldsymbol{e}_{A}=\delta ^{B}_{A}\), where \(\boldsymbol{e}_{A}\) are identified with the tangent vectors \(\frac{\partial }{\partial s^{A}}\), and \(\boldsymbol{e}^{B}\) are the dual basis vectors (essentially corresponding to the 1-forms \(ds^{B}\)). The normal \(\mathbf{n}\) to the shell in the reference configuration can be easily constructed using the standard procedure in terms of \(\{\boldsymbol{e}_{A}\}_{A=1, 2}\) (caution: not same as \(\boldsymbol{e}_{1}, \boldsymbol{e}_{2}\) as shown in Fig. 3, which are also expressed as \(\{\boldsymbol{e}_{i}\}_{i=1, 2}\)). At this point, on the lines of §2, we recall the shell model [4, 34, 45] within the micropolar theory. Similar to the previous section, we continue to use the notation
while, as analogue of (2.7), we have
which can be related to \(\mathbf{G}\) via a relation (omitted) of type (2.10) using (2.9). The stored (elastic) energy density for the shell (in local chart coordinates \(s^{A}\)) can be written as \(W({\mathbf{E}},{\mathbf{Y}})\), where \(\mathbf{E}={\mathbf{R}}^{\top }\mathbf{F}-{\mathbf{I}}_{s}\), with \({\mathbf{I}}_{s}={\mathbf{I}}-\mathbf{n}\otimes \mathbf{n}\) and \({\mathbf{Y}}\) is given by (4.3). In accordance with (4.1), we use \(x^{A}\) in place of \(s^{A}\) in the following. Also, whenever we write any of \(\boldsymbol{e}_{1}, \boldsymbol{e}_{2}\), we imply the corresponding vectors from the set \(\{\boldsymbol{e}_{A}\}_{A=1, 2}\).
With \(\mathscr{A}, \mathbf{B}, \boldsymbol{C}, \widetilde{\mathbf{B}}, \widetilde{\boldsymbol{C}}\), and \(\widehat{\mathbf{B}}\) as local functions of \({x}^{B}, {y}^{h}, {\theta }^{\beta }\), (so that the total number of the scalar functions is \(\binom{2+3+3}{2}\), i.e., 28), the general expression of a 2-form on the shell (as the counterpart of (3.1)) is found to be
which leads to a ‘horizontal’ form
where the two dimensional Levi-Civita symbol is denoted by \(\upepsilon ^{AB}\), i.e.,
Note that
while a similar relation holds for \(\theta ^{\alpha }_{A}\). The description of needed entities presented so far enables us to write the general expression capturing the form of null Lagrangians, as the counterpart of (3.3) for the micropolar shell,
which can be further simplified to
where
and
Here recall the last sentence of Remark 8.
The coordinate expression of the relevant 1-form \(\zeta \) (as counterpart of (3.5)) is written as
where \(\overline{\mathrm{P}}_{A}, \widehat{\mathrm{P}}_{k}\), and \(\widetilde{\mathrm{P}}_{\alpha }\) are local functions of \({x}^{B}, {y}^{h}, {\theta }^{\beta }\). The total number of the scalar functions is 8, as expected \(\binom{2+3+3}{2-1} \). Using this expression, the exterior derivative of \(\zeta \) (4.10) can be written as
Using above expression of \(d\zeta \) and the expression of \(\omega \) (4.4), we find that the conditions corresponding to a null Lagrangian are
In direct notation, the set of conditions (4.12) can be re-written as
Theorem 2
The Lagrangian ℒ for the functional of the form (2.11) for a micropolar shell is a null Lagrangian if and only if there exist \(\mathscr{A}\) as a scalar functions of \((\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta })\), \(\mathbf{B}, \widetilde{\mathbf{B}}\) as \(2\times 3\) matrix functions of \((\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta })\), \(\widehat{\mathbf{B}}\) as \(3\times 3\) matrix function of \((\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta })\), and \(\boldsymbol{C}\) and \(\widetilde{\boldsymbol{C}}\) as 3 component vector valued functions of \((\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta })\) such that (4.9a), (4.9b) and (4.9c) hold where the 28 scalar functions appearing as coefficients (or its components) depend only on 8 scalar functions (as components of \(\boldsymbol{\overline{P}}, \boldsymbol{\widehat{P}}, \boldsymbol{\widetilde{P}}\)) in the following way:
Remark 9
Using the characterization of the null Lagrangians (4.9a), (4.9b) and (4.9c) via the 2-form (4.4), it is natural to define the class of polyconvex functions for micropolar shells [10, 13] as follows. A polyconvex lagrangian for a micropolar shell is given by
where \(\Psi :\mathbb{R}^{27}\to \mathbb{R}\) is a convex function in each of its argument [6, 16]. Recall the last sentence of Remark 8.
4.1 Divergence Representation
We expect to reduce the expression of ℒ in above Theorem 2 as \(P_{1,1}+P_{2,2}\) for a 2 component vector field \(\boldsymbol{P}\) (\(\sim (P_{1},P_{2})\)). The expression (4.11) leads to a ‘horizontal’ form
Using (4.16), the local expression of a null Lagrangian for micropolar shells is found to be
Indeed, (with | as a decoration to denote the ‘total’ derivative) by a repeated application of the product rule and chain rule of differentiation,
which can be further written as
Above expression (4.19) motivates the definition
Thus, in direct notation,
where \(\boldsymbol{P}=\boldsymbol{P}(\boldsymbol{x}, \boldsymbol{y}( \boldsymbol{x}), \boldsymbol{\theta (\boldsymbol{x})})\), and \(\boldsymbol{\overline{P}}, \boldsymbol{\widehat{P}}, \boldsymbol{\widetilde{P}}\) are functions of \(\boldsymbol{x}, \boldsymbol{y}, \boldsymbol{\theta }\).
5 Nilpotent Energies in Linearized Micropolar Theory
In the special case of homogenous, linearized micropolar theory [20, 22, 23, 30] (see also [32, 51] for a treatment based on classical linear elasticity, and [8] for certain generalized models), using the standard notation for fourth order tensors [27], we are looking for Lagrangians of the form
with \(\mathbb{A},\mathbb{B},\mathbb{D}\) constant tensors such that
in indicial notation,
Here \(\boldsymbol{u}\) represents the (infinitesimal) displacement vector field while \(\boldsymbol{\phi }\) represents the (infinitesimal) rotation vector field. In the context of the Lagrangian ℒ in (2.11), with \(\boldsymbol{\chi }\) (resp. \(\boldsymbol{\theta }\)) replaced by \(\boldsymbol{u}\) (resp. \(\boldsymbol{\phi }\)), according to the characterization theorem for first order null Lagrangians in the micropolar theory, by comparison of (5.1) and (3.8), thus, we find that only those terms are needed which are bilinear in \(\mathbf{F}\) (\(=\nabla \boldsymbol{u}\)) and \(\boldsymbol{\phi }\), quadratic in \(\mathbf{F}, \mathbf{G}=\nabla \boldsymbol{\phi }\) and \(\boldsymbol{\phi }\), as well as the terms of mixed type which are bilinear in \(\mathbf{F}, \mathbf{G}\), and \(\mathbf{G}, \boldsymbol{\phi }\). Indeed, we conclude that \(\mathscr{A}(\boldsymbol{x},\boldsymbol{u},\boldsymbol{\phi })\) is bilinear in \(\boldsymbol{\phi }\) and independent of \(\boldsymbol{u}\) and \(\boldsymbol{x}\), \(\mathscr{D}(\boldsymbol{x},\boldsymbol{u},\boldsymbol{\phi })= \widetilde{\mathscr{D}}(\boldsymbol{x},\boldsymbol{u}, \boldsymbol{\phi })=0\), \(\mathbf{B}(\boldsymbol{x},\boldsymbol{u},\boldsymbol{\phi }), \widetilde{\mathbf{B}}(\boldsymbol{x},\boldsymbol{u}, \boldsymbol{\phi })\) is linear in \(\boldsymbol{\phi }\) and independent of \(\boldsymbol{u}\) and \(\boldsymbol{x}\), \(\mathbf{C}(\boldsymbol{x},\boldsymbol{u},\boldsymbol{\phi }), \widetilde{\mathbf{C}}(\boldsymbol{u},\boldsymbol{\phi })\) is a constant tensor, \(\widehat{\mathbf{B}}(\boldsymbol{x},\boldsymbol{u}, \boldsymbol{\phi })=\widehat{\mathbf{C}}(\boldsymbol{x}, \boldsymbol{u},\boldsymbol{\phi })=0\), \(\mathtt{J}(\boldsymbol{x},\boldsymbol{u},\boldsymbol{\phi })\) is a constant tensor.
Resorting to the indicial notation prescribed in Remark 4, here \(F_{iA}=u_{i,A}, G_{\alpha A}=\phi _{\alpha ,A}\), and \(\boldsymbol{e}_{A}, \boldsymbol{e}_{j}, \boldsymbol{e}_{\alpha }\) are used to denote the same basis vectors \(\boldsymbol{e}_{1}, \boldsymbol{e}_{2}, \boldsymbol{e}_{3}\). However, in the following sometimes we follow ordinary indicial notation while other times we stick to Remark 4.
Theorem 3
A function of the form (5.1) (with the conditions (5.2)) is a null Lagrangian if and only if \(\mathbb{A}\), \(\mathbb{B}\) and \(\mathbb{D}\) satisfy (no sum over repeated indices for last two conditions)
For the proof of above theorem, the sufficiency can be checked by direct substitution in the Euler–Lagrange equations; the details of the same are provided in [8]. Therefore, the only non-trivial part is the necessity which we establish in the following.
Using (A.6), \(\mathrm{C}_{iA}(\mathrm {cof~}F)_{iA}=\mathrm{C}_{ij}\frac{1}{2}\upepsilon _{imn} \upepsilon _{jpq}F_{mp}F_{nq}=\mathrm{C}_{ij}\frac{1}{2}\upepsilon _{imn} \upepsilon _{jpq}u_{m,p}u_{n,q}\), i.e.,
A similar argument leads to the result for \(\mathbb{B}\), i.e.,
Comparing (5.1) with (3.8) and using (3.11a), (3.11b), (3.11c), (3.11d) and (3.11e) we get
As \(\mathrm{L}_{A,A}=\frac{1}{2}A_{ijkl}e_{ijs}e_{klt}\phi _{s}\phi _{t}\),
We fix \(\beta \in \{1,2,3\}\), then we put
Therefore we get \((A_{ijkl}-A_{jikl})e_{kl\alpha }=0~\forall \alpha (i\ne j\ne \beta \ne i)\). Putting \(\alpha =i\), the only possibility for \(k,l\) is \(\beta ,j\), (no sum over repeated indices)
Again comparing (5.1) with (3.8) we get
From (5.13), we have
From (5.13) we get (no sum over repeated indices)
If \(E\ne F\) then \(C\) has exactly one value for which RHS of (5.13) is nonzero, so that there is no sum on \(C\). Differentiating (5.13) with respect to \(x_{B}\) we get
But
Therefore,
Differentiating (5.11) with respect to \(\phi _{\alpha }\) and (5.12) with respect to \(u_{i}\) we get
Therefore we get \(A_{ijkl}=0\) if any two of its subscript are equal as (no sum over repeated indices)
where in view of the symmetry \(A_{llij}=A_{ijll}\) and \(A_{illj}=A_{ljil}\). Hence \(\mathbb{A}=0\).
We expand and rewrite (5.1) as
where the terms are assigned sequentially. Applying the Euler operator (the sum on index \(t\) ranges over \(1,2,3\))
on (5.19), where \(z\) refers to components of \(\mathbf{u}\) and \(\boldsymbol{\phi }\) while \(p\) refers to the components of their gradients. Then for \(r=1,\dots ,6\), \(\mathscr{E}_{r}(\mathscr{L}_{1})=\mathscr{E}_{r}(\mathscr{L}_{2})= \mathscr{E}_{r}(\mathscr{L}_{3})=0\) identically, as \(\mathbb{A}=0\); and \(\mathscr{E}_{r}(\mathscr{L}_{4})\equiv 0\). So if (5.19) is a null Lagrangian then for \(r=1,\dots ,6\), \(\mathscr{E}_{r}(\mathscr{L}_{5}+\mathscr{L}_{6})\equiv 0\). For \(r=1,2,3\),
Fix \(i,j,h\in \{1,2,3\}\). Put \(\phi _{h,ij}=1\) (so that \(\phi _{h,ji}=1\)), while let other components of \(\phi _{k,lt}=0\). Then from (5.20) we get, \(D_{rikj}+D_{rjki}=0\) which implies
For \(r=4,5,6\), (h = r-3),
With proper choice of \(\mathbf{u}\) we again get (5.21). Therefore, as a result of (5.23), we get
With \((h,s,t)=\pi (1,2,3)\), with the notation that \(\pi \) stands for the circular permutation map, then (5.25) gives (no sum over repeated indices)
If \((h,s,t)=-\pi (1,2,3)\) then by same calculation (5.27) holds. With \(s=t\ne h\), we assume that \((s,h,k)=\pi (1,2,3)\). Then (5.25) gives (no sum over repeated indices)
If \((s,h,k)=-\pi (1,2,3)\) then by same calculation (5.29) holds. For \(h=t\ne s\), by similar argument (5.29) holds.
Remark 10
Some other aspects pertaining to the sufficiency part of the Theorem 3 are discussed in [8] along with a few other generalizations of linearized theory of elasticity.
References
Abraham, R., Marsden, J.E.: Foundations of Mechanics. Benjamin-Cummings, London (1978)
Aero, E.L., Kuvshinski, E.V.: Continuum theory of asymmetric elasticity. Microrotation effect. Solid State Phys. 5(9), 2591–2598 (1963) (in Russian) (English translation: Sov. Phys., Solid State 5 (1964), 1892–1899)
Aero, E.L., Kuvshinski, E.V.: Continuum theory of asymmetric elasticity. Equilibrium of an isotropic body. Sov. Phys., Solid State 6, 2141–2148 (1965)
Altenbach, J., Altenbach, H., Eremeyev, V.A.: On generalized Cosserat-type theories of plates and shells: a short review and bibliography. Arch. Appl. Mech. 80, 73–92 (2010)
Anderson, I.M., Duchamp, T.: On the existence of global variational principles. Am. J. Math. 102(5), 781–868 (1980)
Ball, J.M.: Convexity conditions and existence theorems in non-linear elasticity. Arch. Ration. Mech. Anal. 63, 337–403 (1977)
Ball, J.M., Currie, J.C., Olver, P.J.: Null Lagrangians, weak continuity, and variational problems of arbitrary order. J. Funct. Anal. 41(2), 135–174 (1981)
Basak, N., Sharma, B.L.: Null Lagrangians in linear theories of micropolar type and few other generalizations of elasticity. Z. Angew. Math. Phys. (2020). https://doi.org/10.1007/s00033-020-01433-2
Bessel-Hagen, E.: Über die Erhaltungssätze der Elektrodynamik. Math. Ann. 84, 258–276 (1921)
Birsan, M., Neff, P.: Existence of minimizers in the geometrically non-linear 6-parameter resultant shell theory with drilling rotations. Math. Mech. Solids 19(4), 376–397 (2014)
Carillo, S.: Null Lagrangians and surface interaction potentials in nonlinear elasticity. Ser. Adv. Math. Appl. Sci. 62, 9–18 (2002)
Ciarlet, P.G.: Mathematical Elasticity, 1st edn. Theory of Shells, vol. III. North-Holland, Amsterdam (2000)
Ciarlet, P.G., Gogu, R., Mardare, C.: A notion of polyconvex functions on a surface suggested by nonlinear shell theory. C. R. Acad. Sci. Paris, Sér. I 349, 1207–1211 (2011)
Cosserat, E., Cosserat, F.: Théorie des corps déformables. Librairie Scientifique A. Hermann et Fils, Paris (1909) (english translation by D. Delphenich, 2007), reprint 2009
Crampin, M., Saunders, D.J.: On null Lagrangians. Differ. Geom. Appl. 22(2), 131–146 (2005)
Dacorogna, B.: Direct Methods in the Calculus of Variations, 2nd edn. Springer, Berlin (2010)
Edelen, D.G.B.: The null set of the Euler-Lagrange operator. Arch. Ration. Mech. Anal. 11, 117–121 (1962)
Edelen, D.G.B.: Aspects of variational arguments in the theory of elasticity: fact and folkloreInternational. J. Solids Struct. 17(8), 729–740 (1981)
Edelen, D.G.B., Lagoudas, D.C.: Null Lagrangians, admissible tractions, and finite element methods. Int. J. Solids Struct. 22(6), 659–672 (1986)
Eremeyev, V.A., Lebedev, L.P., Altenbach, H.: Foundations of Micropolar Mechanics. Springer, Berlin (2012)
Ericksen, J.: Nilpotent energies in liquid crystal theory. Arch. Ration. Mech. Anal. 10, 189–196 (1962)
Eringen, A.C.: Linear theory of micropolar elasticity. J. Math. Mech. 15, 909–923 (1966)
Eringen, A.C.: Microcontinuum Field Theories. Foundations and Solids, vol. 1. Springer, New York (1999)
Giaquinta, M., Hildebrandt, S.: Calculus of Variations I. Springer, New York (2004)
Grigore, D.R.: Variationally trivial Lagrangians and locally variational differential equations of arbitrary order. Differ. Geom. Appl. 10(1), 79–105 (1999)
Grioli, G.: Elasticita asimmetrica. Ann. Mat. Pura Appl. 50(1), 389–417 (1960)
Gurtin, M.E.: An Introduction to Continuum Mechanics. Academic Press, New York (1981)
Itskov, M., Khiem, V.N.: A polyconvex anisotropic free energy function for electro-and magneto-rheological elastomers. Math. Mech. Solids 21(9), 1126–1137 (2016)
Iwaniec, T., Lutoborski, A.: Integral estimates for null Lagrangians. Arch. Ration. Mech. Anal. 125(1), 25–79 (1993)
Joumaa, H., Ostoja-Starzewski, M.: Stress and couple-stress invariance in non-centrosymmetric micropolar planar elasticity. Proc. R. Soc. Lond. A 467(2134), 2896–2911 (2011)
Kovalev, V.A., Radaev, Y.N.: Forms of null Lagrangians in field theories of continuum mechanics. Mech. Solids 47, 137–154 (2012)
Lancia, M.R., Caffarelli, G.V., Podio-Guidugli, P.: Null Lagrangians in linear elasticity. Int. J. Math. Models Methods Appl. Sci. 05, 415–427 (1995)
Landers, A.W. Jr.: Invariant multiple integrals in the calculus of variations. In: Contributions to the Calculus of Variations. University of Chicago Press, Chicago (1942). Also: in Contributions to the Calculus of Variations, p. 175. University of Chicago Press (1938-1941)
Libai, A., Simmonds, J.G.: The Nonlinear Theory of Elastic Shells, 2nd edn. Cambridge University Press, Cambridge (1998)
Nikitin, E., Zubov, L.M.: Conservation laws and conjugate solutions in the elasticity of simple materials and materials with couple stress. J. Elast. 51(1), 1–22 (1998)
Noether, E.: Invariante Variationsprobleme. Gött. Nachr. 1918, 235–257 (1918), Math.-Phys. Klasse
Nowacki, W.: Theory of Asymmetric Elasticity. PWN, Warsaw (1986). ISBN: 0-08-027584-2.
Ogden, R.W.: Non-linear Elastic Deformations. Dover, New York (1997)
Olver, P.J.: Conservation laws and null divergences. Math. Proc. Camb. Philos. Soc. 97, 52 (1985)
Olver, P.J.: Applications of Lie Groups to Differential Equations. Springer, New York (1986)
Olver, P.J., Sivaloganathan, J.: The structure of null Lagrangians. Nonlinearity 1, 389–398 (1988)
Pietraszkiewicz, W., Eremeyev, V.A.: On natural strain measures of the non-linear micropolar continuum. Int. J. Solids Struct. 46(3–4), 774–787 (2009)
Podio-Guidugli, P.: On null-Lagrangian energy and plate paradoxes. In: Altenbach, H., Chinchaladze, N., Kienzler, R., Muller, W. (eds.) Analysis of Shells, Plates, and Beams. Advanced Structured Materials, vol. 134. Springer, Cham (2020)
Rosakis, P., Simpson, H.C.: On the relation between polyconvexity and rank-one convexity in nonlinear elasticity. J. Elast. 37, 113–137 (1994)
Rubin, M.B.: Cosserat Theories: Shells, Rods and Points. Kluwer Academic, Dordrecht (2000)
Rund, H.: The Hamiltonian-Jacobi Theory in the Calculus of Variation, Its Role in Mathematics and Physics. Van Nostrand, Princeton (1966)
Saccomandi, G., Vitolo, R.: Null Lagrangians for nematic elastomers. J. Math. Sci. 136, 4470–4477 (2006)
Silhavy, M.: The Mechanics and Thermodynamics of Continuous Media. Springer, Berlin (1997)
Silhavy, M.: A variational approach to nonlinear electro-magneto-elasticity: convexity conditions and existence theorems. Math. Mech. Solids 23(6), 907–928 (2018)
Steigmann, D.J.: Frame-invariant polyconvex strain-energy functions for some anisotropic solids. Math. Mech. Solids 8, 497–506 (2003)
Yakov, I., Hehl, F.W.: The constitutive tensor of linear elasticity: its decompositions, Cauchy relations, null Lagrangians, and wave propagation. J. Math. Phys. 54(4), 042903 (2013)
Acknowledgements
BLS gratefully acknowledges the partial support of SERB MATRICS grant MTR/2017/000013. This work has been available free of peer review on the arXiv (2009.03490) since 09/09/2019. The authors thank the anonymous reviewers for their constructive comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Expansion of \(\omega \)
For the purpose of convenience of derivation, we assume that \(\det \mathbf{G}\ne 0\), let \(\nabla _{\theta }\boldsymbol{\chi }=\mathbf{T}=\mathbf{F} \mathbf{G}^{-1}\). With (3.2), then
where
Expanding further,
Simplifying above expression, we find that
which can be written as
where \((.)_{\alpha j C}=G_{\alpha A}F_{jB}\upepsilon _{CAB}=\mathbf{G}^{ \top }\boldsymbol{e}_{\alpha }\wedge \mathbf{F}^{\top }\boldsymbol{e}_{j} \cdot \boldsymbol{e}_{C}\), \((.)=\boldsymbol{e}_{\alpha }\otimes \boldsymbol{e}_{j} \otimes (\mathbf{G}^{\top }\boldsymbol{e}_{\alpha }\wedge \mathbf{F}^{\top }\boldsymbol{e}_{j})\). Replacing the inverse of \(\mathbf{G}\) by the cofactor, we get the form (3.3) which does not depend on the invertibility of \(\mathbf{G}\). The components of the cofactor of \(\mathbf{A}\) are given by
Appendix B: Expansion of \(d\zeta \)
The expression (3.5) leads to its exterior derivative
which can be expanded further given that \(\boldsymbol{L}, \boldsymbol{M}, \widetilde{\boldsymbol{M}}, \mathbf{K}, \widetilde{\mathbf{K}}, \mathbf{H}\) are functions of \((\boldsymbol{x},\boldsymbol{\chi },\boldsymbol{\theta })\) so that
Collecting the terms accompanying the same exterior product of differentials, we get
where (A.2) is used.
Appendix C: Expansion of \(\nabla \cdot \boldsymbol{P}\)
The expression (3.14) is equivalent to
as
(recall \(\mathrm{axl}(\boldsymbol{b}\otimes \boldsymbol{c}-\boldsymbol{c} \otimes \boldsymbol{b})=\boldsymbol{c}\wedge \boldsymbol{b}\)). Thus, using the conditions stated in §3,
i.e.,
i.e.,
so that finally,
Note that
Rights and permissions
About this article
Cite this article
Sharma, B.L., Basak, N. Null Lagrangians in Cosserat Elasticity. J Elast 143, 337–358 (2021). https://doi.org/10.1007/s10659-021-09818-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-021-09818-8
Keywords
- Micropolar elasticity
- Micropolar shells
- Cosserat continuum
- Linearization
- Polyconvexity
- Calculus of variations