Abstract
In this work we test the numerical behaviour of matrix-valued fields approximated by finite element subspaces of \([{{\,\mathrm{\textit{H}^1}\,}}]^{3\times 3}\), \([ H (\textrm{curl}{})]^3\) and \( H (\textrm{sym}\, \textrm{Curl}{})\) for a linear abstract variational problem connected to the relaxed micromorphic model. The formulation of the corresponding finite elements is introduced, followed by numerical benchmarks and our conclusions. The relaxed micromorphic continuum model reduces the continuity assumptions of the classical micromorphic model by replacing the full gradient of the microdistortion in the free energy functional with the Curl. This results in a larger solution space for the microdistortion, namely \([ H (\textrm{curl}{})]^3\) in place of the classical \([{{\,\mathrm{\textit{H}^1}\,}}]^{3 \times 3}\). The continuity conditions on the microdistortion can be further weakened by taking only the symmetric part of the Curl. As shown in recent works, the new appropriate space for the microdistortion is then \( H (\textrm{sym}\, \textrm{Curl}{})\). The newly introduced space gives rise to a new differential complex for the relaxed micromorphic continuum theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Today there exist various formulations of micromorphic continua [1,2,3,4] and higher gradient theories [5] with the common goal of capturing micro-motions that are unaccounted for in the classical Cauchy continuum theory. The unifying characteristic of all micromorphic theories is the extension of the mathematical model with additional degrees of freedom (called the microdistortion) for the material point. Consequently, in the general micromorphic theory, as introduced by Eringen [6] and Mindlin [7], each material point is endowed with nine extra degrees of freedom given by the matrix \({{\,\mathrm{\varvec{P}}\,}}\), capturing affine displacements that are independent of the translational degrees of freedom, such as rotation or expansion of the micro-body.
The relaxed micromorphic continuum [4, 8] differs from other micromorphic theories by reducing the continuity assumptions on these micro-motions. Instead of incorporating the full gradient \({{\,\mathrm{\textrm{D}}\,}}{{\,\mathrm{\varvec{P}}\,}}\) of the microdistortion into the free energy functional, the relaxed micromorphic continuum assumes only the Curl of the microdistortion to produce significant energies. As a result, the natural space for the microdistortion in the relaxed micromorphic continuum is \([ H (\textrm{curl}{})]^3\) (see also the related microcurl and gradient plasticity theories [9,10,11,12]). Further, the micro-dislocation, i.e. \({{\,\mathrm{\textrm{Curl}}\,}}{{\,\mathrm{\varvec{P}}\,}}\), remains a second-order tensor, in contrast to the general micromorphic theory where the full gradient yields a third-order tensor \({{\,\mathrm{\textrm{D}}\,}}{{\,\mathrm{\varvec{P}}\,}}\in \mathbb {R}^{3\times 3 \times 3}\). Possible applications for the relaxed micromorphic theory, such as the simulation of metamaterials and bandgap materials, are demonstrated in [13, 14]. Further, closed-form solutions for specimen under shear, bending and torsion have already been derived in [15,16,17]. A first numerical implementation for a relaxed micromorphic model of antiplane shear can be found in [18], followed by an implementation for plain-strain models [19] and lastly, an implementation of the full three-dimensional model [20].
In recent works [21,22,23,24,25,26] it was shown that the continuity assumptions on the microdistortion can be weakened further by considering solely the symmetric micro-dislocation \({{\,\mathrm{\textrm{sym}}\,}}{{\,\mathrm{\textrm{Curl}}\,}}{{\,\mathrm{\varvec{P}}\,}}\). The corresponding space for the microdistortion is the Hilbert space \( H (\textrm{sym}\, \textrm{Curl}{})\). A version of this space is also used for some formulations of the biharmonic equation [27], with a restriction to trace-free tensors.
In order to gain insight into the numerical behaviour of the microdistortion in these spaces and the potential meaning for the relaxed micromorphic continuum theory, we investigate three finite element formulations for \(\varvec{P} \in [{{\,\mathrm{\textit{H}^1}\,}}]^{3\times 3}\), \(\varvec{P} \in [ H (\textrm{curl}{})]^{3}\) and \(\varvec{P} \in H (\textrm{sym}\, \textrm{Curl}{})\) on an abstract problem derived from the relaxed micromorphic continuum. We compare standard Lagrangian, Nédélec- [18, 28,29,30,31] and the recently introduced \( H (\textrm{sym}\, \textrm{Curl}{})\)-base functions [32], respectively.
This paper is organized as follows: In the first two sections we introduce the relaxed micromorphic continuum and derive a related abstract problem. Section 4 is devoted to the description of the finite element formulations. In Sect. 5 we present numerical examples and investigate their behaviour. The last section presents our conclusions and outlook.
2 A relaxed micromorphic complex
The relaxed micromorphic continuum [4, 8] is described by its free energy functional, incorporating the gradient of the displacement field, the microdistortion and its Curl
where \(\langle \cdot , \, \cdot \rangle \) denotes the scalar product on \(\mathbb {R}^{3\times 3}\), \(\Omega \subset \mathbb {R}^3\) is the domain and \(\textbf{u} : \Omega \subset \mathbb {R}^3 \rightarrow \mathbb {R}^3\) and \(\varvec{P}: \Omega \subset \mathbb {R}^3 \rightarrow \mathbb {R}^{3 \times 3}\) represent the displacement and the non-symmetric microdistortion, respectively. The volume forces and micro-moments are given by \(\textbf{f}\) and \(\varvec{M}\). Here, \(\mathbb {C}_{\text {e}}\) and \(\mathbb {C}_{\text {micro}}\) are standard fourth elasticity tensors and \(\mathbb {C}_{\text {c}}\) is a positive semi-definite coupling tensor for rotations. The macroscopic shear modulus is denoted by \(\mu _\text {macro}\) and the parameter \(L_\textrm{c}> 0\) represents the characteristic length scale motivated by the microstructure. The corresponding Hilbert spaces and their respective traces read
Here, \(\varvec{\nu }\) denotes the unit outward normal on the surface. Existence and uniqueness of the relaxed micromorphic model using \( X = [{{\,\mathrm{\textit{H}^1}\,}}(\Omega )]^3 \times [ H (\textrm{curl}{,\Omega })]^3\), where \([ H (\textrm{curl}{,\Omega })]^3\) is to be understood as a row-wise matrix of the vectorial space, is derived in e.g. [33,34,35]. An example for a function belonging to \( H (\textrm{curl}{})\) while not belonging to \({{\,\mathrm{\textit{H}^1}\,}}\) is given in Fig. 1.
Although the weak formulation of the relaxed micromorphic model does not represent a mixed formulation and therefore, does not require the use of the commuting de Rham complex for existence and uniqueness in the discrete case, it does introduce the so-called consistent coupling condition [8, 36]
where \(\widetilde{\textbf{u}}\) is the prescribed displacement field on the Dirichlet boundary \(\Gamma _D = \Gamma _D^u = \Gamma _D^p\). The condition can only be satisfied exactly in the general discrete case, if commuting projections in the sense of a continuous-to-discrete de Rham complex are employed, compare with [37]. Further, when the characteristic length goes to infinity \(L_\textrm{c}\rightarrow \infty \), a mixed formulation introducing a new variable for the hyperstress \(\varvec{D} = {{\,\mathrm{\mu _{\textrm{macro}}}\,}}\,L_\textrm{c}^2 {{\,\mathrm{\textrm{Curl}}\,}}\varvec{P}\) is required to guarantee existence and uniqueness, as shown in [18]. Consequently, the appropriate complex for the relaxed micromorphic model is the classical de Rham complex [38] in three dimensions Fig. 2, where
The continuity assumptions on the microdistortion field \({{\,\mathrm{\varvec{P}}\,}}\) can be further reduced by taking only its symmetric part \({{\,\mathrm{\textrm{sym}}\,}}{{\,\mathrm{\textrm{Curl}}\,}}\) instead of the full Curl [21, 23,24,25,26]
Since \(\Vert {{\,\mathrm{\textrm{sym}}\,}}{{\,\mathrm{\textrm{Curl}}\,}}{{\,\mathrm{\varvec{P}}\,}}\Vert ^2 \le \Vert {{\,\mathrm{\textrm{Curl}}\,}}{{\,\mathrm{\varvec{P}}\,}}\Vert ^2\), this is a considerably weaker formulation than Eq. (2.1).
The appropriate Hilbert space for \({{\,\mathrm{\varvec{P}}\,}}\) now reads
where \({{\,\mathrm{\textrm{Anti}}\,}}(\cdot )\) generates the skew symmetric matrix from a vector \(\varvec{\nu } \in \mathbb {R}^3\)
The existence of minimizers for Problem. 2.6 is shown in [25, 26]. The difference in smoothness between \([ H (\textrm{curl}{})]^3\) and \( H (\textrm{sym}\, \textrm{Curl}{})\) can be observed when considering spherical matrix fields \({{\,\mathrm{\varvec{P}}\,}}= p \, {{\,\mathrm{\varvec{\mathbbm {1}}}\,}}\in {{\,\mathrm{\mathbb {R}\cdot \varvec{\mathbbm {1}}}\,}}\)
The latter identity is evident due to \(p {{\,\mathrm{\textrm{Anti}}\,}}(\varvec{\nu }) \in {{\,\mathrm{\mathfrak {so}(3)}\,}}\) and \(\ker ({{\,\mathrm{\textrm{sym}}\,}}) = {{\,\mathrm{\mathfrak {so}(3)}\,}}\). Consequently, the \( H (\textrm{sym}\, \textrm{Curl}{})\) space captures discontinuous spherical tensor fields. A possible interpretation for the kinematics of such a field is depictable under the assumption that the field \({{\,\mathrm{\varvec{P}}\,}}\) represents a micro-strain field in the domain. In which case, material points can undergo discontinuous dilatation, see Fig. 3.
This new formulation gives rise to a corresponding complex, designated here the relaxed micromorphic complex, see Fig. 4, where the \( H ({{\,\mathrm{\textrm{div}}\,}}\textrm{Div}{})\) space is defined as
The complex can be seen as an extension of the \({{\,\mathrm{\textrm{div}}\,}}{{\,\mathrm{\textrm{Div}}\,}}\)-sequence [27, 39], in which only trace-free (deviatoric) gradient fields \({{\,\mathrm{\textrm{dev}}\,}}{{\,\mathrm{\textrm{D}}\,}}\textbf{u}\) are concerned , where \({{\,\mathrm{\textrm{dev}}\,}}\varvec{X} = \varvec{X} - \dfrac{1}{3} {{\,\mathrm{\textrm{tr}}\,}}(\varvec{X}) {{\,\mathrm{\varvec{\mathbbm {1}}}\,}}\). In fact, the right half of the complex is the same due to
since (for a full derivation see Appendix A)
and
The left side of the complex [26] is derived from (see Appendix A)
As shown in [27], the \({{\,\mathrm{\textrm{div}}\,}}{{\,\mathrm{\textrm{Div}}\,}}\)-complex is an exact sequence for a topologically trivial domain. Since the right half of the relaxed micromorphic complex is the same as the right half of the \({{\,\mathrm{\textrm{div}}\,}}{{\,\mathrm{\textrm{Div}}\,}}\)-complex and due to the exactness of Eq. (2.14) as derived in [26], the relaxed micromorphic complex is also an exact sequence for a topologically trivial domain.
Remark 21
The relaxed micromorphic complex serves to better understand the behaviour of the model with respect to the characteristic length \(L_\textrm{c}\). Let \(L_\textrm{c}\rightarrow \infty \), the next space in the sequence \( H ({{\,\mathrm{\textrm{div}}\,}}\textrm{Div}{})\) is needed to approximate the hyperstress field
and to express a stable mixed formulation, compare with [18]. The construction of \( H ({{\,\mathrm{\textrm{div}}\,}}\textrm{Div}{})\)-conforming finite elements is beyond the scope of this work.
3 Abstract variational problem
In order to compare the behaviour of linear finite elements on \([{{\,\mathrm{\textit{H}^1}\,}}]^{3 \times 3}\), \([ H (\textrm{curl}{})]^3\) and \( H (\textrm{sym}\, \textrm{Curl}{})\), the following abstract variational problem is introduced, drawing characteristics from the relaxed micromorphic model
The associated strong form is derived by partial integration
where \(\widetilde{\varvec{P}}\) is the prescribed field on the Dirichlet boundary \(\Gamma _D\) and \(\Gamma _N\) represents the Neumann boundary.
Remark 31
Note that the variational problem resembles a vectorial Maxwell [30] problem \(\textbf{v} + {{\,\mathrm{\textrm{curl}}\,}}{{\,\mathrm{\textrm{curl}}\,}}\textbf{v} = \textbf{m}\) for some vector field \(\textbf{v}: \Omega \mapsto \mathbb {R}^3\). However, in Eq. (3.3) the vectorial rows of \({{\,\mathrm{\varvec{P}}\,}}\) are highly coupled and the symmetrization of the Curl operator intervenes.
For a predefined field \(\widetilde{\varvec{P}}\) where the entire boundary is prescribed (\(\partial \Omega = \Gamma _{D}\)) the micro-moment \(\varvec{M}\) is given by
and the analytical solution is \(\varvec{P} = \widetilde{\varvec{P}}\). Due to the generalized Korn’s inequality [23,24,25,26, 40, 41], the variational problem Eq. (3.1) and the weak form Eq. (3.2) are well-posed in the space \( H (\textrm{sym}\, \textrm{Curl}{, \Omega })\).
4 Finite element formulations
In the following we introduce finite elements using Voigt notation. As a result, the microdistortion and micro- moment fields \(\varvec{P}\) and \(\varvec{M}\) are given by nine-dimensional vectors and the symmetry by the nine-by-nine matrix \(\mathbb {S}\)
All formulations apply to a linear tetrahedral element with a barycentric mapping (see Fig. 5)
where \(\varvec{J}\) is the Jacobi matrix.
4.1 Lagrangian \([{{\,\mathrm{\textit{H}^1}\,}}]^{3\times 3}\)-element
The functionals of Lagrangian finite elements are defined by point-wise evaluation
where \(\delta _{ij}\) is the Kronecker delta. For the construction of the linear Lagrangian element, the evaluation of the degrees of freedom for the polynomial space \({{\,\mathrm{\textit{P}}\,}}^1 = {{\,\mathrm{\textrm{span}}\,}}\{1, \, \xi , \, \eta , \, \zeta \}\) on the reference element yields the same barycentric base functions used for the element mapping
The entire ansatz matrix for the interpolation of a nine-dimensional vector can be built accordingly
where \({{\,\mathrm{\varvec{\mathbbm {1}}}\,}}_9\) is the nine-dimensional unit matrix. The curl of a row of \({{\,\mathrm{\varvec{P}}\,}}\) with respect to the physical domain is retrieved following the standard chain rule
The matrix Curl operator is defined by the row-wise application of the curl operator. The resulting element stiffness matrix reads
where \(\mathbb {S}\) defines the equivalent matrix symmetry operator in Voigt notation. The Lagrangian element belongs to \({{\,\mathrm{\mathcal {L}}\,}}^1 \subset {{\,\mathrm{\textit{H}^1}\,}}{}\) and its interpolant produces the error estimate
where u is the exact solution, \(\Pi _{{{\,\mathrm{\mathcal {L}}\,}}}\) is the Lagrangian interpolant and h is a measure of the element’s size.
4.2 Nédélec \([ H (\textrm{curl}{})]^{3}\)-element
Nédélec [28] finite elements are conforming in \( H (\textrm{curl}{})\). This is achieved by controlling the tangential projections of the base functions on the edges of a finite element. The lowest degrees of freedom, namely edge type, are defined as integrals along the curve of the element’s edge
Here \(q_j\) are test functions. The adequate polynomial space is defined in [28] as
where \(\widetilde{{{\,\mathrm{\textit{P}}\,}}}\) is the space of homogeneous polynomials. For linear polynomials \(p = 1\) the space reads
The latter describes the polynomial space for linear Nédélec elements of the first type \(\mathcal {N}_I^0\). Evaluating the degrees of freedom on the reference tetrahedron using the test functions \(q_j = 1\) yields the corresponding base functions (see Fig. 6)
Remark 41
The zero power notation of the space \(\mathcal {N}_I^0\) reminds that the base functions generate constant tangential projections on the edge. An alternative construction using the full polynomial space is given by the Nédélec elements of the second type \(\mathcal {N}_{II}^1\) [29].
The base functions are vectors defined on the reference element. In order to map them to the physical domain we employ the covariant Piola transformation
Further, the curl of vectors undergoing a covariant Piola mapping is given by the contravariant Piola transformation
Remark 42
Note that Piola transformations guarantee a consistent projection on the element’s boundaries in terms of size. However, the transformation does not control whether the tangential projections of neighbouring elements are parallel or anti-parallel, since the vectorial base functions are mapped to the physical domain separately by the corresponding Jacobi matrix of each element. Consequently, a correction function is employed to assert consistency, compare with [18].
For the construction of the finite element we define a corresponding ansatz matrix
where \(\textbf{o} = \begin{bmatrix} 0&0&0 \end{bmatrix}^\textrm{T}\) is a three-dimensional vector of zeros. The Curl of the microdistortion \({{\,\mathrm{\varvec{P}}\,}}\) is calculated using Eq. (4.15) for each base function
Consequently, the element stiffness matrix reads
The Nédélec element belongs to the subspace \({{\,\mathrm{\mathcal {N}}\,}}^0_I \subset H (\textrm{curl}{})\). The corresponding interpolant yields the following error estimate
where \(\textbf{v}\) is the exact solution, \(\Pi _{{{\,\mathrm{\mathcal {N}}\,}}}\) is the Nédélec interpolant and h is a measure of the element’s size.
4.3 The \( H (\textrm{sym}\, \textrm{Curl}{})\)-element
Due to the following inclusion the two former finite element formulations are possible candidates for computations in \( H (\textrm{sym}\, \textrm{Curl}{})\). However, as denoted by the trace in Eq. (2.9) and shown in [26], the \( H (\textrm{sym}\, \textrm{Curl}{})\) space is strictly larger
Consequently, there can exist solutions that belong to \( H (\textrm{sym}\, \textrm{Curl}{})\) while not belonging to \([ H (\textrm{curl}{})]^3\), as demonstrated in Sect. 5.3. For the design of an \( H (\textrm{sym}\, \textrm{Curl}{})\)-conforming finite element [32], the trace must vanish on the interface of neighbouring elements. In other words, a function \({{\,\mathrm{\varvec{P}}\,}}\) belongs to \( H (\textrm{sym}\, \textrm{Curl}{})\) if
where \([\![\cdot ]\!] \) represents the jump operator and \(\Xi _i\) is an interface between neighbouring elements. The trace condition can be reconstructed as
A simple basis for \({{\,\mathrm{\textrm{Sym}}\,}}(3)\) is given by the symmetric decomposition of a matrix filled with ones (\({\varvec{A} \!\!=\!\! \sum _i \sum _j 1\,\textbf{e}_i \otimes \textbf{e}_j}\))
Accordingly, any affine transformation \(\varvec{F}\) that maps to linearly independent vectors allows to generalize the basis
Clearly, the transformation leaves the symmetry invariant. Defining \(\textbf{a} \in \mathbb {R}^3\), \(\textbf{b} \in \mathbb {R}^3\) such that \({\varvec{F} = \begin{bmatrix} \textbf{a}&\textbf{b}&\varvec{\nu } \end{bmatrix} \in {{\,\mathrm{\textrm{GL}}\,}}(3)}\), where \(\varvec{\nu }\) is a normal on an element’s face, we observe that five conditions instead of six suffice to assert Eq. (4.22) since
is always satisfied. In other words, five conditions control whether \({{\,\mathrm{\varvec{P}}\,}}\) is point-wise \( H (\textrm{sym}\, \textrm{Curl}{})\)-conforming on a face
Yet, these are not enough conditions to fully identify an element of \(\mathbb {R}^{3 \times 3}\). The remaining conditions can be defined as
which, together with the trace conditions, determine the element uniquely. Note that the latter identities are all in \(\ker ({{\,\mathrm{\textrm{tr}}\,}}_{ H (\textrm{sym}\, \textrm{Curl}{})})\) due to \(\varvec{\nu } \times \varvec{\nu } = 0\) and are therefore linearly independent of the trace conditions. To see their linear independence from one another, simply map back to the Cartesian basis with \(\varvec{F}^{-1}\).
The conditions in Eq. (4.26) ensure conformity on a face. On an edge two faces meet and the conditions must be satisfied for both. On each edge we define \(\textbf{a} = \varvec{\tau }\), \(\textbf{b} = \varvec{\gamma }_i = \varvec{\tau } \times \varvec{\nu }_i\), where \(\varvec{\tau }\) is the edge tangent, \(\varvec{\nu }_i\) is the normal on face i and \(\varvec{\gamma }_i\) is the corresponding conormal. Considering the following identity
the conditions for conformity can be reformulated as
where \(\varvec{\rho }_1\) and \(\varvec{\rho }_2\) are two arbitrary vectors spanning the surface orthogonal to \(\varvec{\tau }\). The upper conditions allow to determine eight terms of \({{\,\mathrm{\varvec{P}}\,}}\). One term remains to be determined using
which controls multiples of the identity matrix. The conditions are linearly independent as long as \(\varvec{\nu }_1 \nparallel \varvec{\nu }_2\).
The same methodology may be used to construct vertex conformity and uniqueness conditions. However, for an unstructured mesh it is unclear how to do this in a way that is independent of the geometry. Consequently, at the vertices we impose full continuity with the exception of the identity
where the conditions in the upper row assert conformity and the trace controls the identity matrix.
Unlike for the previous elements that were constructed in the reference domain, the construction of the \( H (\textrm{sym}\, \textrm{Curl}{})\)-element is done directly on the grid using the degrees of freedom from Eq. (4.31). We reformulate the degrees of freedom for the linear element as vector operators
where \(\textbf{e}_i\) is the unit vector in \(\mathbb {R}^9\). Consequently, the collection of the degrees of freedom can be defined as the operator matrix
The ansatz matrix is given by the monomial basis
In order to construct the corresponding base functions, the product \(\varvec{L} \, \varvec{X}\) is evaluated at each node of a finite element
where every column of \(\varvec{C}\) gives the constant factors for one base function. Therefore, the resulting local basis is given by
In order to find the Curl of \({{\,\mathrm{\varvec{P}}\,}}\), we redefine the operator in Voigt notation
Consequently, the Curl of the base functions is given by
The element stiffness matrix can now be defined as
Remark 43
At the construction of the local–global map, eight of the nine degrees of freedom on a node are shared by neighbouring elements. The ninth degree is built locally for each element and is not connected over the element’s boundaries. With this characteristic, the lower continuity of the space is made possible.
The element belongs to \({{\,\mathrm{\mathcal {T}}\,}}^1 \subset H (\textrm{sym}\, \textrm{Curl}{}){}\) and its interpolant produces the standard Lagrangian error estimate (see [32])
where \(\varvec{T}\) is the exact solution tensor, \(\Pi _{{{\,\mathrm{\mathcal {T}}\,}}}\) is the interpolant and h is a measure of the element’s size.
5 Numerical examples
In the following we test the convergence of the three finite element formulations against various simple analytical solutions. For all formulations we make use of the cube \(\Omega = [-1,\, 1]^3\). The finite element meshes range from 40 to 5000 elements, see Fig. 7.
We measure convergence in the Lebesgue \({{\,\mathrm{\textit{L}^2}\,}}\)-norm
and the \( H (\textrm{sym}\, \textrm{Curl}{})\)-norm
5.1 Smooth solution field
In the first example we set the microdistortion to
Effectively, the microdistortion is now a vortex field that must vanish at \(x = -1\) and \(x = 1\), see Fig. 8. Since the microdistortion is clearly continuous, it is an element of \([{{\,\mathrm{\textit{H}^1}\,}}]^{3 \times 3}\). The microdistortion field gives rise to the micro-moment
The convergence rates are given in Fig. 9. In the \({{\,\mathrm{\textit{L}^2}\,}}\)-norm, the Nédélec element converges linearly, whereas the Lagrangian element and the \( H (\textrm{sym}\, \textrm{Curl}{})\)-element converge quadratically, as expected for smooth fields. All three formulations converge linearly in the \( H (\textrm{sym}\, \textrm{Curl}{})\)-norm.
5.2 Discontinuous normal trace
In the following benchmark we define the discontinuous microdistortion field
The latter field belongs to \([ H (\textrm{curl}{})]^3\) but not to \([{{\,\mathrm{\textit{H}^1}\,}}]^{3 \times 3}\). This is because only the normal projection of the microdistortion \({{\,\mathrm{\varvec{P}}\,}}\) is discontinuous with regard to the unit vector \(\textbf{e}_1 = \begin{bmatrix} 1&0&0 \end{bmatrix}^\textrm{T}\)
The corresponding micro-moments are clearly
The approximation captured by the various discretizations is depicted in Fig. 11, Fig. 12 and Fig. 13. The noise (small vectors in \(x > 0\)) in the solution is apparent for the Lagrangian- and \( H (\textrm{sym}\, \textrm{Curl}{})\)-formulations. The convergence rates are given in Fig. 10. The Nédélec element finds the analytical solution immediately for all discretizations. Both the Lagrangian formulation and the \( H (\textrm{sym}\, \textrm{Curl}{})\)-formulation converge sub-optimally. In case of the \( H (\textrm{sym}\, \textrm{Curl}{})\)-formulation this is due to the higher continuity imposed at the vertices. Despite appearing similar, the values of the convergence in the \({{\,\mathrm{\textit{L}^2}\,}}\)-norm are not equal to the values of the convergence in the \( H (\textrm{sym}\, \textrm{Curl}{})\)-norm. However, the difference is small.
5.3 Discontinuous identity
In the last benchmark we test the behaviour of a discontinuous identity microdistortion field
for which the micro-moment reads
Clearly the solution is in \( H (\textrm{sym}\, \textrm{Curl}{})\) but not in \([ H (\textrm{curl}{})]^3\) or \([{{\,\mathrm{\textit{H}^1}\,}}]^{3 \times 3}\) since
where \(\textbf{e}_1 = \begin{bmatrix} 1&0&0 \end{bmatrix}^\textrm{T}\) and \(\Gamma _1 \perp \textbf{e}_1\).
As shown in Fig. 14, the \( H (\textrm{sym}\, \textrm{Curl}{})\)-formulation finds the analytical solution immediately for all domain discretizations, whereas the \({{\,\mathrm{\textit{H}^1}\,}}\) and \( H (\textrm{curl}{})\) formulations exhibit sub-optimal square root convergence. However, in the \( H (\textrm{sym}\, \textrm{Curl}{})\)-norm only the \({{\,\mathrm{\textit{H}^1}\,}}\)-formulation continues to converge, while the slope of the \( H (\textrm{curl}{})\)-formulation quickly tends to zero. The errors in the solution are clearly visible in the form of noise in Figs. 16,15, whereas Fig. 17 depicts the discontinuous field as captured by the \( H (\textrm{sym}\, \textrm{Curl}{})\) formulation.
6 Conclusions and outlook
The relaxed micromorphic model with a symmetric micro-dislocation \({{\,\mathrm{\textrm{sym}}\,}}{{\,\mathrm{\textrm{Curl}}\,}}{{\,\mathrm{\varvec{P}}\,}}\) as curvature measure further reduces the continuity requirements of the microdistortion field. As derived by the kernel of the trace and demonstrated by our examples, discontinuous spherical tensors can be captured by the \( H (\textrm{sym}\, \textrm{Curl}{})\)-space, as opposed to the \([{{\,\mathrm{\textit{H}^1}\,}}]^{3\times 3}\) and \([ H (\textrm{curl}{})]^3\) spaces. In addition, the tests show the corresponding finite element converges optimally for discontinuous spherical fields in \( H (\textrm{sym}\, \textrm{Curl}{})\), whereas the Lagrangian and Nédélec elements exhibit sub-optimal square root convergence. Further, the convergence slope of the Nédélec-element rapidly flattens in the \( H (\textrm{sym}\, \textrm{Curl}{})\)-norm for discontinuous spherical fields.
These findings serve as a basis for understanding the behaviour of \( H (\textrm{sym}\, \textrm{Curl}{})\)-elements in implementations of the relaxed micromorphic continuum or in computations of the biharmonic equation [27]. The relaxed micromorphic complex is needed for future works, where mixed formulations of the relaxed micromorphic model with \( H (\textrm{sym}\, \textrm{Curl}{})\)- and \( H ({{\,\mathrm{\textrm{div}}\,}}\textrm{Div}{})\)-conforming elements are employed to stabilize evaluation with \(L_\textrm{c}\rightarrow \infty \). The latter requires the introduction of the \( H ({{\,\mathrm{\textrm{div}}\,}}\textrm{Div}{})\)- or optimally \( H ({{\,\mathrm{\textrm{div}}\,}}\textrm{Div}{}) \cap {{\,\mathrm{\textrm{Sym}}\,}}(3)\)-conforming finite elements.
References
Mindlin RD, Eshel NN (1968) On first strain-gradient theories in linear elasticity. Int J Solids Struct 4(1):109–124
Münch I, Neff P, Wagner W (2011) Transversely isotropic material: nonlinear Cosserat versus classical approach. Contin Mech Thermodyn 23(1):27–34
Neff P, Jeong J, Ramézani H (2009) Subgrid interaction and micro-randomness—novel invariance requirements in infinitesimal gradient elasticity. Int J Solids Struct 46(25):4261–4276
Neff P, Ghiba ID, Madeo A, Placidi L, Rosi G (2014) A unifying perspective: the relaxed linear micromorphic continuum. Contin Mech Thermodyn 26(5):639–681
Askes H, Aifantis E (2011) Gradient elasticity in statics and dynamics: an overview of formulations, length scale identification procedures, finite element implementations and new results. Int J Solids Struct 48:1962–1990
Eringen A (1999) Microcontinuum field theories. I. Foundations and solids. Springer, New York
Mindlin R (1964) Micro-structure in linear elasticity. Arch Ration Mech Anal 16:51–78
Neff P, Eidel B, d’Agostino MV, Madeo A (2020) Identification of scale-independent material parameters in the relaxed micromorphic model through model-adapted first order homogenization. J Elast 139(2):269–298
Ebobisse F, Neff P (2010) Existence and uniqueness for rate-independent infinitesimal gradient plasticity with isotropic hardening and plastic spin. Math Mech Solids 15(6):691–703
Ebobisse F, Neff P, Aifantis EC (2018) Existence result for a dislocation based model of single crystal gradient plasticity with isotropic or linear kinematic hardening. Quart J Mech Appl Math 71(1):99–124
Ebobisse F, Neff P, Forest S (2018) Well-posedness for the microcurl model in both single and polycrystal gradient plasticity. Int J Plast 107:1–26
Ebobisse F, Hackl K, Neff P (2019) A canonical rate-independent model of geometrically linear isotropic gradient plasticity with isotropic hardening and plastic spin accounting for the burgers vector. Contin Mech Thermodyn 31(5):1477–1502
Madeo A, Neff P, Ghiba ID, Rosi G (2016) Reflection and transmission of elastic waves in non-local band-gap metamaterials: a comprehensive study via the relaxed micromorphic model. J Mech Phys Solids 95:441–479
Madeo A, Barbagallo G, Collet M, d’Agostino MV, Miniaci M, Neff P (2018) Relaxed micromorphic modeling of the interface between a homogeneous solid and a band-gap metamaterial: new perspectives towards metastructural design. Math Mech Solids 23(12):1485–1506. https://doi.org/10.1177/1081286517728423
Rizzi G, Hütter G, Khan H, Ghiba ID, Madeo A, Neff P (2022) Analytical solution of the cylindrical torsion problem for the relaxed micromorphic continuum and other generalized continua (including full derivations). Math Mech Solids 27(3): 507–553. https://doi.org/10.1177/10812865211023530
Rizzi G, Hütter G, Madeo A, Neff P (2021) Analytical solutions of the cylindrical bending problem for the relaxed micromorphic continuum and other generalized continua. Contin Mech Thermodyn 33(4):1505–1539
Rizzi G, Hütter G, Madeo A, Neff P (2021) Analytical solutions of the simple shear problem for micromorphic models and other generalized continua. Arch Appl Mech 91:2237–2254
Sky A, Neunteufel M, Münch I, Schöberl J, Neff P (2021) A hybrid \(\mathit{H}^1 \times \mathit{H}(\rm curl )\) finite element formulation for a relaxed micromorphic continuum model of antiplane shear. Comput Mech 68(1):1–24
Schröder J, Sarhil M, Scheunemann L, Neff P (2021) Lagrange and \(\mathit{H}(\rm curl,\cal{B})\) based finite element formulations for the relaxed micromorphic model. Comput Mech
Sky A, Neunteufel M, Muench I, Schöberl J, Neff P (2022) Primal and mixed finite element formulations for the relaxed micromorphic model. Comput Methods Appl Mech Eng 399(115):298
Bauer S, Neff P, Pauly D, Starke G (2014) New Poincaré-type inequalities. CR Math 352(2):163–166
Bauer S, Neff P, Pauly D, Starke G (2016) Dev-Div- and DevSym-DevCurl-inequalities for incompatible square tensor fields with mixed boundary conditions. ESAIM 22(1):112–133
Lewintan P, Neff P (2021) \(\mathit{L}^p\)-trace-free generalized Korn inequalities for incompatible tensor fields in three space dimensions. Proc R Soc Edinb 1–32
Lewintan P, Neff P (2021) \(\mathit{L}^p\)-versions of generalized Korn inequalities for incompatible tensor fields in arbitrary dimensions with \(p\)-integrable exterior derivative. CR Math 359(6):749–755
Lewintan P, Neff P (2021) Nečas-Lions lemma revisited: An \( L ^p\)-version of the generalized Korn inequality for incompatible tensor fields. Math Methods Appl Sci 44(14):11392–11403
Lewintan P, Müller S, Neff P (2021) Korn inequalities for incompatible tensor fields in three space dimensions with conformally invariant dislocation energy. Calc Var Partial Differ Equ 60(4):150
Pauly D, Zulehner W (2020) The divDiv-complex and applications to biharmonic equations. Appl Anal 99(9):1579–1630
Nedelec JC (1980) Mixed finite elements in \(\mathbb{R} ^3\). Numer Math 35(3):315–341
Nédélec JC (1986) A new family of mixed finite elements in \(\mathbb{R} ^3\). Numer Math 50(1):57–81
Schöberl J, Zaglmayr S (2005) High order Nédélec elements with local complete sequence properties. COMPEL 24(2):374–384
Zaglmayr S (2006) High order finite element methods for electromagnetic field computation. PhD thesis, Johannes Kepler Universität Linz, https://www.numerik.math.tugraz.at/~zaglmayr/pub/szthesis.pdf
Sander O (2021) Conforming finite elements for \(\it H\it (\text{sym}\,\text{ Curl})\) and \(\it H\it (\text{ dev }\,\text{ sym }\,\text{ Curl})\). arXiv abs/2104.12825, https://arxiv.org/abs/2104.12825, 2104.12825
Ghiba ID, Neff P, Madeo A, Placidi L, Rosi G (2015) The relaxed linear micromorphic continuum: existence, uniqueness and continuous dependence in dynamics. Math Mech Solids 20(10):1171–1197. https://doi.org/10.1177/1081286513516972
Ghiba ID, Neff P, Owczarek S (2021) Existence results for non-homogeneous boundary conditions in the relaxed micromorphic model. Math Methods Appl Sci 44(2):2040–2049
Neff P, Ghiba ID, Lazar M, Madeo A (2015) The relaxed linear micromorphic continuum: well-posedness of the static problem and relations to the gauge theory of dislocations. Q J Mech Appl Math 68(1):53–84
d’Agostino MV, Rizzi G, Khan H, Lewintan P, Madeo A, Neff P (2021) The consistent coupling boundary condition for the classical micromorphic model: existence, uniqueness and interpretation of parameters. arxiv2112.12050
Demkowicz L, Monk P, Vardapetyan L, Rachowicz W (2000) De Rham diagram for hp-finite element spaces. Comput Math Appl 39(7):29–38
Arnold DN, Hu K (2021) Complexes from complexes. Found Comput Math 21(6):1739–1774. https://doi.org/10.1007/s10208-021-09498-9
Hu J, Liang Y, Ma R (2021) Conforming finite element DIVDIV complexes and the application for the linearized Einstein-Bianchi system. ResearchGate https://www.researchgate.net/publication/349704589_Conforming_finite_element_DIVDIV_complexes_and_the_application_for_the_linearized_Einstein-Bianchi_system
Neff P, Pauly D, Witsch KJ (2012) Maxwell meets Korn: a new coercive inequality for tensor fields with square-integrable exterior derivative. Math Methods Appl Sci 35(1):65–71
Neff P, Pauly D, Witsch KJ (2015) Poincaré meets Korn via Maxwell: extending Korn’s first inequality to incompatible tensor fields. J Differ Equ 258(4):1267–1302. https://doi.org/10.1016/j.jde.2014.10.019
Acknowledgements
We thank Oliver Sander (TU Dresden) for constructive discussions during drafting this manuscript. Patrizio Neff acknowledges support in the framework of the DFG-Priority Programme 2256 “Variational Methods for Predicting Complex Phenomena in Engineering Structures and Materials”, Neff 902/10-1, Project-No. 440935806.
Funding
Open Access funding enabled and organized by Projekt DEAL.
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.
A Some mathematical identities
A Some mathematical identities
1.1 A.1 The range of \({{\,\mathrm{\textrm{sym}}\,}}{{\,\mathrm{\textrm{Curl}}\,}}\)
In index-notation one finds \({{\,\mathrm{\textrm{Curl}}\,}}{{\,\mathrm{\varvec{P}}\,}}= - P_{ij,k} \, \varepsilon _{jkl} \, \textbf{e}_i \otimes \textbf{e}_l\) and as such
Eliminating the constant and applying the \({{\,\mathrm{\textrm{Div}}\,}}\) operator yields
since the double contraction between the symmetric and anti-symmetric tensors \(P_{ij,kr} \, \varepsilon _{jkr}\) is zero. The next divergence operator kills the remaining term
where the change in the order of the partial derivatives is due to Schwarz’s theorem. Therefore, there holds
and
1.2 A.2 The kernel of \({{\,\mathrm{\textrm{sym}}\,}}{{\,\mathrm{\textrm{Curl}}\,}}\)
The identity \(\ker ({{\,\mathrm{\textrm{Curl}}\,}}) = {{\,\mathrm{\textrm{range}}\,}}({{\,\mathrm{\textrm{D}}\,}})\) is derived directly by the row-wise application of \(\ker ({{\,\mathrm{\textrm{curl}}\,}}) = {{\,\mathrm{\textrm{range}}\,}}(\nabla )\). For the remaining part we consider \(\ker ({{\,\mathrm{\textrm{sym}}\,}}) = {{\,\mathrm{\mathfrak {so}(3)}\,}}\) and as such
Further, we can always write \(\varvec{A} = {{\,\mathrm{\textrm{Anti}}\,}}(\textbf{a})\) for some \(\textbf{a} \in \mathbb {R}^3\) and consequently
Applying the divergence operator on both sides yields
since \({{\,\mathrm{\textrm{Div}}\,}}{{\,\mathrm{\textrm{Curl}}\,}}{{\,\mathrm{\varvec{P}}\,}}= 0\). The latter is equivalent to \(\textbf{a} = \nabla \lambda \) for some scalar field \(\lambda :\Omega \mapsto \mathbb {R}\) on the contractible domain \(\Omega \). Now observe that \({{\,\mathrm{\textrm{Curl}}\,}}(\lambda {{\,\mathrm{\varvec{\mathbbm {1}}}\,}}) = -{{\,\mathrm{\textrm{Anti}}\,}}(\nabla \lambda )\) and thus \({{\,\mathrm{\varvec{P}}\,}}= \lambda {{\,\mathrm{\varvec{\mathbbm {1}}}\,}}\) satisfies Eq. (A.7). Clearly, any other field \(\varvec{T} = {{\,\mathrm{\textrm{Curl}}\,}}\varvec{P}\) where \(\varvec{T} \notin {{\,\mathrm{\mathfrak {so}(3)}\,}}\) is not in \(\ker ({{\,\mathrm{\textrm{sym}}\,}}{{\,\mathrm{\textrm{Curl}}\,}})\) simply because \(\varvec{T}\) is not purely anti-symmetric and consequently, not in \(\ker ({{\,\mathrm{\textrm{sym}}\,}})\). The remaining part of the kernel is given by gradient fields, finally yielding
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sky, A., Muench, I. & Neff, P. On \([H^{1}]^{3 \times 3}\), \([H(\text {curl})]^3\) and \(H(\text {sym Curl})\) finite elements for matrix-valued Curl problems. J Eng Math 136, 5 (2022). https://doi.org/10.1007/s10665-022-10238-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10665-022-10238-3