- Research Article
- Open Access
Introducing the Logarithmic finite element method: a geometrically exact planar Bernoulli beam element
- Christian Schröppel^{1} and
- Jens Wackerfuß^{1}Email author
https://doi.org/10.1186/s40323-016-0074-8
© The Author(s) 2016
- Received: 28 October 2015
- Accepted: 27 May 2016
- Published: 15 September 2016
Abstract
We propose a novel finite element formulation that significantly reduces the number of degrees of freedom necessary to obtain reasonably accurate approximations of the low-frequency component of the deformation in boundary-value problems. In contrast to the standard Ritz–Galerkin approach, the shape functions are defined on a Lie algebra—the logarithmic space—of the deformation function. We construct a deformation function based on an interpolation of transformations at the nodes of the finite element. In the case of the geometrically exact planar Bernoulli beam element presented in this work, these transformation functions at the nodes are given as rotations. However, due to an intrinsic coupling between rotational and translational components of the deformation function, the formulation provides for a good approximation of the deflection of the beam, as well as of the resultant forces and moments. As both the translational and the rotational components of the deformation function are defined on the logarithmic space, we propose to refer to the novel approach as the “Logarithmic finite element method”, or “LogFE” method.
Keywords
- Logarithmic finite element method
- Geometrically exact beam
- Finite rotations
- Large deformations
- Lie group theory
- Bernoulli kinematics
Background
We propose a novel finite element formulation, the Logarithmic finite element, or “LogFE” method, that significantly reduces the number of degrees of freedom necessary to obtain accurate approximations of boundary-value problems. The LogFE method focuses on the low-frequency part of a deformation and minimizes spurious high-frequency components in the solution.
In order to keep the exposition as simple as possible, we restrict the model presented in this paper to the case of a planar Bernoulli beam, i.e. a beam endowed with Bernoulli kinematics embedded in the Euclidean plane. In addition, we limit the degrees of freedom to coefficients related to rotations and dilatations at the nodes of the element. While we restrict the numerical examples to the evaluation of a beam consisting of one single element only, we explicitly show that degrees of freedom related to adjacent finite elements can be linked together by linear maps, based on geometrically meaningful continuity conditions. Hence, the construction of a global finite element system based on the beam elements presented in this work is possible.
Following the approach outlined in [24] and [25], we intend to present a formulation that includes, in addition to rotations and dilatations, the translations at the nodes of the configuration in a future publication.
Interpolating on the logarithmic space
Geometrically exact beam formulations generally include both translations and rotations as kinematic variables, following the continuum mechanics model of the elastica developed by Cosserat and Cosserat [9]. In most of the literature, the interpolation of the kinematic variables at the integration points is performed separately for the translational and the rotational variables. Well-known deficiencies of many of these formulations, such as lack of geometric invariance, path dependence and poor accuracy in coarse meshes, have been traced back to the characteristics of the various methods proposed for the interpolation of the rotational variables by Jelenić and Crisfield [14] and Romero [22], among others.
The modelling of beams endowed with Bernoulli kinematics within this setting presents particular challenges, especially membrane locking, as rotations and translations, although interpolated separately, must jointly satisfy the Bernoulli condition along the neutral axis. Similar difficulties characterize finite element formulations based on Lagrange functions for the axial and Hermitean functions for the transversal displacements [3, 20]. As a result, the characteristics of existing finite element formulations for geometrically exact Bernoulli beams remain inferior to those available for kinematics that include shear deformations [17]. Armero and Valverde provide an account of the historical development of geometrically exact beam formulations, including a brief description of different methods that aim to eliminate or reduce the effects of the drawbacks associated with the classical beam formulations [3].
To preserve the orthogonality of the interpolated directors, a number of existing geometrically exact models, such as [11, 14, 27], identify the kinematic variables with elements of a Lie group, the special orthogonal group SO(3). (In the work of Ericksen and Truesdell, the use of the Lie group and its associated Lie algebra is implied by the differential equation given on page 306.)
In a different approach, Armero and Valverde interpolate the director frame associated with the neutral axis of the underlying geometry of a Bernoulli beam by using its angle in the plane case [3], and in the general linear group \({GL \,}{(3, \mathbb {R}{})}\) for the three-dimensional case [4]. In the latter case, orthogonality is achieved by applying a projection operator to the resulting interpolated set of vectors that preserves the direction of the vector tangent to the neutral axis, effectively resulting in an interpolation on the special orthogonal group. As the shape functions are defined not on the global coordinate system, but with regard to the local coordinate systems induced by the director frame, membrane locking is minimized due to an appropriate coupling of axial and transversal displacements. Meier, Popp and Wall extend this approach from the linear domain to large deformations, introducing an orthogonal interpolation method based on the torsion of the neutral axis [17].
Betsch and Steinmann enforce the orthogonality of the director frame at the nodes by introducing Lagrange multipliers, thus restricting the function space of the weak form of the equations of motion [6]. The effects of a non-orthogonal interpolation of the director frame can be addressed by reformulating the weak form of the equations of motions in skew coordinates, thereby obtaining a geometrically invariant formulation [12].
Although the concept of the Lie group and the Lie algebra is central to the method we are proposing in the present work, we do not interpolate the kinematic variables themselves in a Lie group or in its associated Lie algebra. Instead, we aim to identify, in a function space generated by polynomial shape functions on the logarithmic space, i.e. the space of the Lie algebra, a deformation function that, in the case of the Bernoulli beam, transforms the neutral axis of the given initial configuration so as to obtain an equilibrium configuration.
Choosing appropriate shape functions, both with regard to their scalar part and to their respective vector in the Lie algebra of the deformation function, is of crucial importance for the performance of the proposed method. In particular, although we do not allow translations at the nodes in the present work, the vectors associated with the shape functions are not restricted to either the rotational/dilatational or the translational part of the Lie algebra associated with group of planar similarity transformations, \({sim}{(2, \mathbb {R}{})} = \left( {\mathfrak {gl}}\,(1, \mathbb {R}{}) \oplus {\mathfrak {so}}(2)\right) \oplus _{\mathrm{Id}} {\mathfrak t}({2, \mathbb {R}{}})\). (In this formula, \(\mathrm{Id}\) identifies the function \(\varphi :\mathfrak {g}\rightarrow End(\mathfrak {n})\) defining the commutator of the semidirect sum of two Lie algebras, \(\mathfrak {g}\) and \(\mathfrak {n}\), \(g_i\in \mathfrak {g}, n_i\in \mathfrak {n},\left[ (g_1,n_1),(g_2,n_2)\right] :=(g_1,n_1)(g_2,n_2)-(g_2,n_2)(g_1,n_1)\), with \((g,n)(g{'},n{'}):=(gg{'},\varphi _{g}(n{'}))\) [14, p. 84–85] [17, p. 38–40]. For matrix Lie algebras, we assume that \(g(n) = gn\) is given by the matrix product). Instead, the vectors span across the entire Lie algebra \({sim}({2, \mathbb {R}{}})\), inducing a strong coupling of rotational and translational kinematic variables, which results from the multiplicative group operation given as a semidirect product.
Accessible introductions to Lie group theory can be found in [13] and [17]. [2] develops formulations for the description of large rotations from elementary calculations, leading to a geometrically motivated approach to the theory of Lie groups and Lie algebras. A number of more advanced topics in Lie group theory, including the construction of semidirect products, are discussed in [26] and [16].
Interplay of rotations and translations
Due to the specific problems related to the interpolation on the group of rotations, which are not present with regard to translations, many geometrically exact formulations for finite beam elements rely on a complete separation of the rotations from the translations, e.g. [14, 23, 27]. This uncoupling has the obvious advantage of isolating the shape functions related to the rotations from spurious effects of the approximation of the translational part of the deformation. However, it also results in a larger number of degrees of freedom, opening up dimensions of the deformation space which are largely irrelevant in order to achieve a reasonably close approximation of the exact deformation, especially when focusing on its low-frequency component.
In contrast to the approach referred to above, which effectively is based on linear interpolations on the Lie algebra \({\mathfrak {so}}\left( 3\right) \oplus {\mathfrak t} \left( {3, \mathbb {R}{}}\right) \), the direct sum of the Lie algebras associated with the Lie groups of rotations \({ SO }(3)\) and of translations \(T ({3, \mathbb {R}{}}) \simeq \mathbb {R}^3\) in three dimensions, Sonneville, Cardona and Brüls offer a geometrically exact formulation based on the Lie algebra associated with the semidirect product of translations and rotations, i.e. the Lie algebra \({\mathfrak {se}}(3)\) associated with the special Euclidean group \({ SE }(3) := { SO }(3) \ltimes _{\mathrm{Id}} T ({3, \mathbb {R}{}})\), the semidirect product of rotations and translations in three dimensions [28]. By identifying the local material frames, i.e. the positions and orientations of the cross-sections of the beam along the neutral axis, with elements of the Lie group \({ SE }(3)\), and linearly interpolating on the associated Lie algebra, the formulation allows for a coupling of the translational and rotational components of the deformation. An earlier formulation that implicitly uses an interpolation of the neutral axis of a beam as well as of the orientation of its cross-section on a the Lie algebra \({\mathfrak {se}}(3)\), instead of polynomial shape functions, has been presented by Borri and Bottasso [7]. Selig and Ding explicitly introduce Lie groups and Lie algebras in their exposition of a screw-theoretic formulation for a planar beam [26]. The formulations proposed in these works are ultimately based on concepts from screw theory [5, 15], also referred to as motor calculus [30, 31].
To the knowledge of the authors, existing formulations for geometrically exact beam models, whether based on the Lie algebra \({\mathfrak {so}}(n) \oplus {\mathfrak t}({n, \mathbb {R}{}})\), or on the Lie algebra \({\mathfrak {se}}(n)\), for \(n = 2\) or \(n = 3\), rely on a strictly linear interpolation between the degrees of freedom given at the respective nodes (in the logarithmic space) and thus do not make use of internal degrees of freedom associated with additional shape functions, such as polynomial shape functions of higher order, that may be constructed on the Lie algebra. As a result, the image of the neutral axis of a beam element is located on an arc or a section of a helix with curvature and torsion depending exclusively on the nodal degrees of freedom. In particular, the curvature and the torsion remain constant along the neutral axis on each beam element for both the formulation based on the special orthogonal group [22, p. 125] as well as for the formulation based on the special Euclidean group [28, p. 460]. Due to the relatively low computational complexity of a single element, this restriction can often be compensated for by a finer discretization of the beam model. For example, Sonneville, Cardona, and Brüls [28] achieve good convergence characteristics and small approximation errors for a standard test case based on a bent Cantilever beam subjected to a fixed load.
However, in order to reduce the number of nodal degrees of freedom, as well as the overall number of internal and nodal degrees of freedom in the approximation algorithm, it is necessary to overcome the restriction given by a constant curvature along the neutral axis of a single beam element. In addition, by reducing the degrees of freedom, it is possible to focus on the degrees of freedom associated with the low-frequency component of the deformation while minimizing the spurious high-frequency effects. In a multigrid setting, this has the advantage of being able to separate the low-frequency component of the deformation, which is being approximated on the coarse grid, and the high-frequency part which may be approximated by a high-frequency smoothing algorithm on the fine grid.
In the various formulations referred to above, torsion and shear deformations result from the interpolation of translations related to nodal translational degrees of freedom. As the formulation of the planar Bernoulli beam element presented in this work does not include translational degrees of freedom, there is no specific mechanism that would provide for the optimization of shear deformations and shear stresses. The introduction of explicit shear deformations by including shear-related degrees of freedom at the nodes would greatly complicate the functions linking the degrees of freedom to the respective functionals of the interpolant on the border of the finite element, as shear deformations and rotations do not commute. In order to keep the subsequent exposition, which intends to highlight the basic properties of the Logarithmic finite element method, as simple as possible, we do not include degrees of freedom related to translations or shear deformations at this point. The deformation space resulting from restricting the formulation to rotational and dilatational degrees of freedom, in turn, is clearly better suited to the modelling of Bernoulli kinematics rather than Timoshenko kinematics. In particular, if the orientation of the cross-section would be taken directly from the deformation function, rather than implicitly calculated from the orientation of the neutral axis, the formulation would imply the absence of shear deformation at the nodes, also for Timoshenko kinematics, a clearly non-physical result.
The deformation function
In contrast to [11, 14, 27], the formulation presented in this paper is based on finding a deformation function acting on the given initial configuration that realizes an equilibrium configuration of the system. It is thus the deformation function that results from a function that maps elements of the parametrization of the beam to elements of the Lie group. Thus, both the initial configuration and the current configuration are fully defined by the positions of the points along the neutral axis of the beam, with rotations obtained from the derivative of the neutral axis. As a result, in order to identify individual points on the interpolant with elements of a Lie group, one would necessarily need to take the location of the neutral axis in a neighborhood of the respective points into account.
While the interpolant of the resulting finite element contains both a rotational and a translational component, the degrees of freedom at the nodes—in the simplified variant that we describe in this work—only include rotations and dilatations (i.e. radial displacements with respect to a given center). Dilatational and rotational degrees of freedom determine the local dilatation and rotation in a neighborhood of the associated node, respectively, while the position of the node itself remains unchanged. The translational component on the interior of the interpolant thus arises from the impact of rotations and dilatations associated with different nodes belonging to the same finite element, as well as their interaction.
In general, the deformation functions obtained with the formulation proposed in the present work will result in current configurations that are not characterized by a constant curvature within the single finite elements, even when restricting the shape functions on the Lie algebra to linear interpolations.
Essential characteristics
The essential characteristics of the LogFE method, which distinguish it from the different approaches referenced above, can thus be summarized as follows: In the proposed formulation, the degrees of freedom, together with the shape functions, determine a multiplicative deformation function that is defined on the Lie group of planar similarity transformations \({Sim}({2, \mathbb {R}{}})\). Associating the scalar part of the shape functions with vectors that span across the rotational and translational subalgebras of its associated Lie algebra induces a strong coupling of translational and rotational variables of the configuration. In addition, it allows for the introduction of polynomial shape functions of higher order on the logarithmic space.
Given an appropriate choice of shape functions, an additively separable linear correspondence between certain field values (obtained as functionals of the interpolant on the border of a finite element) and the function parameters of the interpolant on a given finite element can be achieved. This allows for the formulation of continuity conditions between finite elements, so that a global finite element system can be set up, following the standard procedure. LogFE elements endowed with Lagrange-type or augmented Lagrange-type shape functions can be linked by rotational values, both with each other as well as with other finite elements that accommodate continuity conditions based on rotations. Elements endowed with Hermite-type shape functions may also be linked to other finite elements through common values of curvature and of the derivative of the strain at a common node. Similarly, boundary conditions may be incorporated into the set-up of a global finite element system.
Multigrid methods
Multigrid methods rely on the interplay of a smoothing algorithm on the fine grid and a general solver on the coarse grid. To obtain good convergence characteristics, the coarse grid algorithm must operate on the low-frequency part of the approximation error. At the same time, its influence on the high frequencies must be minimized. Employing a coarse grid correction that supplies, together with an approximation of the degrees of freedom, an interpolant characterized by a small high-frequency component minimized two potential difficulties that may arise in multigrid-based calculations: it can prevent the emergence of situations in which effects related to the high-frequency component of the deformation obstruct the approximation on the coarse grid, and it minimizes the risk that changes in the approximation of the high-frequency component induced by the coarse grid correction degrade the convergence characteristics of the algorithm applied on the fine grid. For a discussion of the impact of the order of the prolongation function being used to transfer the coarse grid correction to the fine grid, see [19], as well as the literature referred to in that publication.
We envisage multigrid methods as a major application of the LogFE formulation. However, we have chosen not to present a complete multigrid formulation in the present paper. The model satisfies the conditions necessary for its incorporation in a multigrid formulation as a coarse grid solver, as it focuses on the low-frequency component of the deformation and allows for a straightforward calculation of the values of the degrees of freedom on the fine grid from the interpolant on the coarse grid. We therefore leave the practical implementation of the LogFE model in a multigrid context to future research.
Outline of the paper
The outline of the remaining sections is as follows: “Methods” section describes the application of the LogFE method for planar beams endowed with Bernoulli kinematics. “Kinematics” section describes the kinematic assumptions of the model. It provides some mathematical background on the theory of Lie groups and Lie algebras. “Continuity conditions” section presents the field values—given as functionals of the interpolant—that may be used as continuity conditions, and establishes a linear correspondence between these values and the parameters of the interpolant. In “Consistency with the linear beam theory” section, the model, in the limit of infinitesimal deformations, is related to the linear theory of the Bernoulli beam. The following part of the paper, “Quasi-static equilibrium” section, presents the equilibrium condition and formulates the evaluation of the non-linear kinematics at the element level. “Results and discussion” section examines the results obtained by the LogFE method for different boundary conditions, load characteristics and load intensities. “Conclusion” section summarizes the results and relates them to the basic characteristics of the model.
Some aspects more closely related to the implementation of the method have been included in the appendices. Appendix 1 outlines how LogFE element formulations adjusted for given boundary conditions can be constructed. Appendix 2 presents a sharp upper bound for the absolute value of the error of an approximate solution for the derivative of the matrix exponential.
Methods
Kinematics
The deformation function
The continuous body \(\fancyscript{B}\), which is composed of the particles X of the beam, is given as a domain in a topological space (see Fig. 1). After placing the particles of the beam in the reference configuration, we discretize the beam into finite elements and endow the elements with a parametrization, such that set of particles of the beam along the codimension of the parameterization (i.e. the width) can be unambiguously identified with a tuple of parameterizing variables \(\left( \mathchoice{\xi ,\eta }{{\xi ,\eta }}{{\xi ,\eta }}{{\xi ,\eta }}\right) \in \mathbb {R}^2\). The variable \(\xi \) determines the location of the cross-section containing a given material point of the beam along the neutral axis. As a result of assuming Bernoulli kinematics, the position and orientation of the points in a given cross-section of the beam are fully determined by the location and the orientation of the neutral axis.
The location of a material point in the reference configuration is given by \(\mathbf X = \kappa _{\mathrm {ref}}({X})\), with \(\kappa _{\mathrm {ref}}\) mapping the domain \(\fancyscript{B}\) continuously into the Euclidean plane, which we will, after choosing an arbitrary origin, identify with the complex plane. This identification serves two purposes: it simplifies the notation, and it immediately clarifies, by the use of complex numbers instead of matrices representing linear maps on \(\mathbb {R}^2\), that, within this work, all linear maps operating on \(\mathbb {R}^2\) are restricted to the commutative subgroup \({GL \,}{(1,\mathbb {R}{})} \times SO{(2)} \simeq {GL \,}{(1,\mathbb {C}{})}\) of the general linear group \({GL \,}{(2,\mathbb {R}{})}\) given by the dilatations and rotations. In particular, the deformation function \(g_\xi \) (see Fig. 1), as a function of the degrees of freedom, assumes values that can be represented by matrices with complex entries.
Lie groups and Lie algebras
All functions \(g(\xi )\) are given in the form \(\exp {({{\bar{\mathbf {Z}}}\left( \xi \right) })}\) and act on elements of \(\mathbb {C}\times \{1\}\). \({\bar{\mathbf {Z}}}(\xi )\) is an element of a Lie algebra and is therefore endowed with specific properties. We recall some basic results from the theory of Lie groups and Lie algebras, which are relevant for the subsequent formulation of the model.
Members of a set form a group, denoted G, if there exists an associative binary operation \(G \times G \rightarrow G\), there exists a neutral element \(e \in G\) with regard to this operation, and for every element \(g \in G\) there is an inverse element \(g'\) such that \(g' g = e\).
Each element of the group can be obtained by taking the exponential of an element \({\bar{\mathbf {Z}}}(\xi )\). Furthermore, \(\exp \left( {{t {\bar{\mathbf {Z}}}(\xi )}}\right) \in G\) for all \(t \in \mathbb {R}{}\). Therefore, G is a Lie group, and the set of elements \({\bar{\mathbf {Z}}}(\xi )\) forms the Lie algebra of G, denoted \(\mathfrak g\).
Elements of the Lie algebra \(\mathfrak g\) and the associated Lie group G
Element \(\varvec{{\mathbf {Z}}}_{\varvec{I,r}} \varvec{\in {\mathfrak g}}\) | Element \(\varvec{\exp \left( {{\mathbf {Z}}_{I,r}}\right) \in G}\) | Action of \(\varvec{\exp \left( {{\mathbf {Z}}_{I,r}}\right) }\) |
---|---|---|
\({\mathbf {Z}}_{1,1} := \begin{pmatrix} 1 &{} - {\mathbf {x}}_0^1 \\ 0 &{} 0\end{pmatrix}\) | \(\exp \left( {{\mathbf {Z}}_{1,1}}\right) = \begin{pmatrix} \mathrm{{e}} &{} ({1-\mathrm{{e}}}) {\mathbf {x}}_0^1 \\ 0 &{} 1\end{pmatrix}\) | Dilatation centered on the position of node 1 |
\({\mathbf {Z}}_{1,2} := \begin{pmatrix} \mathrm{i} &{} -\mathrm{i}{\mathbf {x}}_0^1 \\ 0 &{} 0\end{pmatrix}\) | \(\exp \left( {{\mathbf {Z}}_{1,2}}\right) = \begin{pmatrix} \mathrm{{e}}^{\mathrm{i}} &{} ({1-\mathrm{{e}}^{\mathrm{i}}}) {\mathbf {x}}_0^1 \\ 0 &{} 1\end{pmatrix}\) | Rotation around the position of node 1 |
\({\mathbf {Z}}_{2,1} := \begin{pmatrix} 1 &{} -{\mathbf {x}}_0^2 \\ 0 &{} 0\end{pmatrix}\) | \(\exp \left( {{\mathbf {Z}}_{2,1}}\right) = \begin{pmatrix} \mathrm{{e}} &{} ({1-\mathrm{{e}}}) {\mathbf {x}}_0^2 \\ 0 &{} 1\end{pmatrix}\) | Dilatation centered on the position of node 2 |
\({\mathbf {Z}}_{2,2} := \begin{pmatrix} \mathrm{i} &{} -\mathrm{i}{\mathbf {x}}_0^2 \\ 0 &{} 0\end{pmatrix}\) | \(\exp \left( {{\mathbf {Z}}_{2,2}}\right) = \begin{pmatrix} \mathrm{{e}}^{\mathrm{i}} &{} ({1-\mathrm{{e}}^{\mathrm{i}}}) {\mathbf {x}}_0^2 \\ 0 &{} 1\end{pmatrix}\) | Rotation around the position of node 2 |
Each of the elements \({\mathbf {Z}}_{I,r}\) generate a subalgebra of \(\mathfrak g\). We also note that \({\mathbf {Z}}_{I,1}\) and \({\mathbf {Z}}_{I,2}\) are independent vectors of \(\mathfrak g\), understood as a vector space. For \(\lambda _{I,1}, \lambda _{I,2} \in \mathbb {R}{}\), the element \(\exp {({{\bar{\mathbf {Z}}}_I})} \in G\), with \({\bar{\mathbf {Z}}}_I= \lambda _{I,1}{\mathbf {Z}}_{I,1} + \lambda _{I,2}{\mathbf {Z}}_{I,2}\), represents the action of simultaneously rotating and dilatating the initial configuration, with the position \(\mathbf x _0^I\) of the node \(I\) as the invariant point. The exponential of a linear combination of the elements \({\mathbf {Z}}_{I,r}\) represents a mixture of their respective actions on the initial configuration whose invariant point generally does not coincide with the position of either node.
Shape functions
Continuity conditions
- (1)
that the formulation presented here is indeed a special case of an extended formulation that includes translations, and
- (2)
that the extended formulation, given suitable shape functions, results, in a sufficiently large domain of the space of the degrees of freedom, in a completely additively separable linear isomorphism (i.e., a one-to-one correspondence with possibly different proportionality factors) between the degrees of freedom and certain functionals of the interpolant which can be used as continuity conditions. This condition corresponds to the third criterion for finite elements as given by Ciarlet in [8, p. 78–9].
Preliminary considerations
Elements of the Lie algebra \(\tilde{\mathfrak g}\) and the associated Lie group \(\tilde{G}\)
Element \(\varvec{{\tilde{\mathbf {Z}}}}_{\varvec{I,r}} \varvec{\in \tilde{\mathfrak g}}\) | Element \({\varvec{\exp \left( {\tilde{{\mathbf {Z}}}_{I,r}}\right) \in \tilde{G}}}\) | Subalgebra in \(\varvec{\tilde{\mathfrak g}}\) |
---|---|---|
\(\tilde{\mathbf {Z}}_{1,r} := \begin{pmatrix} z_{1,r} &{} -z_{1,r} &{} 0 \\ 0 &{} 0 &{} 0 \\ 0 &{} 0 &{} 0 \end{pmatrix}\) | \(\exp \left( {\tilde{\mathbf {Z}}_{1,r}}\right) = \begin{pmatrix} \exp \left( {z_{1,r}}\right) &{} 1- \exp \left( {z_{1,r}}\right) &{} 0\\ 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 1 \end{pmatrix}\) | \(\tilde{\mathfrak g}_1 = \langle \tilde{\mathbf {Z}}_{1,r} \rangle \), \(r \in \{1,2\}\) |
\(\tilde{\mathbf {Z}}_{2,r} := \begin{pmatrix} z_{2,r} &{} 0 &{} -z_{2,r} \\ 0 &{} 0 &{} 0 \\ 0 &{} 0 &{} 0\end{pmatrix}\) | \(\exp \left( {\tilde{\mathbf {Z}}_{2,r}}\right) = \begin{pmatrix} \exp \left( {z_{2,r}}\right) &{} 0 &{} 1-\exp \left( {z_{2,r}}\right) \\ 0 &{} 1 &{} 0 \\ 0 &{} 0 &{} 1 \end{pmatrix}\) | \(\tilde{\mathfrak g}_2 = \langle \tilde{\mathbf {Z}}_{2,r} \rangle \), \(r \in \{1,2\}\) |
Elements of the Lie algebra \({\mathfrak t}\) and the associated Lie group T
Element \(\varvec{\mathbf {T}}_{\varvec{I,r}} \varvec{\in {\mathfrak t}}(3,\mathbb {C})\) | Element \(\varvec{\exp \left( {\mathbf {T}_{I,r}}\right) \in T}(3,\mathbb {C})\) | Subalgebra in \(\varvec{\mathfrak t}(3,\mathbb {C})\) |
---|---|---|
\(\mathbf {T}_{1,r} := \begin{pmatrix} t_{1,r}\\ t_{1,r}\\ 0\end{pmatrix}\) | \(\exp \left( {\mathbf {T}_{1,r}}\right) = \begin{pmatrix} t_{1,r}\\ t_{1,r}\\ 0\end{pmatrix}\) | \(\mathfrak t_1 = \langle \mathbf {T}_{1,r} \rangle \), \(r \in \{1,2\}\) |
\(\mathbf {T}_{2,r} := \begin{pmatrix} t_{2,r}\\ 0\\ t_{2,r}\end{pmatrix}\) | \( \exp \left( {\mathbf {T}_{2,r}}\right) = \begin{pmatrix} t_{2,r}\\ 0\\ t_{2,r}\end{pmatrix}\) | \(\mathfrak t_2 = \langle \mathbf {T}_{2,r} \rangle \), \(r \in \{1,2\}\) |
\(\mathbf {T}_{3,r} := \begin{pmatrix} t_{3,r}\\ 0\\ 0\end{pmatrix}\) | \(\exp \left( {\mathbf {T}_{3,r}}\right) = \begin{pmatrix} t_{3,r}\\ 0\\ 0\end{pmatrix}\) | \(\mathfrak t_3 = \langle \mathbf {T}_{3,r} \rangle \), \(r \in \{1,2\}\) |
For matrix Lie algebras, the multiplication is given by the canonical matrix multiplication, and the commutator [X, Y ] is defined as \( [X,Y ] := XY - YX\). A Lie algebra \(\mathfrak g\) is called abelian if its commutator vanishes identically, i.e. if \( [X,Y ] = \mathbf 0\) for all \(X, Y \in \mathfrak g\). If a Lie algebra \(\mathfrak g\) is abelian, then the elements of its associated Lie group commute, i.e. for \(X, Y \in \mathfrak g\), we have \(\mathrm{{e}}^X \mathrm{{e}}^Y = \mathrm{{e}}^Y \mathrm{{e}}^X\) and therefore \(\mathrm{{e}}^X \mathrm{{e}}^Y = \mathrm{{e}}^{X+Y}\). We note that the Lie algebra \(\tilde{\mathfrak g}\) has the abelian subalgebras \(\tilde{\mathfrak g}_1\) and \(\tilde{\mathfrak g}_2\), giving rise to their respective commutative Lie groups \(G_1\) and \(G_2\), and that the Lie algebras \(\mathfrak s_1 := \tilde{\mathfrak g}_1 \oplus _\mathrm{Id} \mathfrak t_1\) and \(\mathfrak s_2 := \tilde{\mathfrak g}_2 \oplus _\mathrm{Id} \mathfrak t_2\) are abelian and constitute subalgebras of the Lie algebra \(\mathfrak s\). Neither of the Lie algebras \(\tilde{\mathfrak g}\) and \(\mathfrak s\), however, is abelian.
Thus, at the border of a finite element, the deformation function assumes values belonging to commutative subgroups of the Lie group \(\tilde{G}\), while its values in the interior of a finite element generally do not commute. It is this property, arising from the specific embedding of the two abelian subalgebras into a larger Lie algebra, in which the interpolation takes place, that results in a strong coupling of rotational and translational components of the deformation function in the interior of a finite element, while preserving the separability of the components on its borders.
In future work, we intend to demonstrate that most of the steps in the subsequent calculations can be readily applied to deformation functions based on the larger Lie algebra \(\mathfrak s\), which includes the translational Lie algebra \(\mathfrak t(3, \mathbb {C})\). In order to keep the calculations as simple as possible, however, we restrict the following exposition to the case of rotations and dilations, i.e. to a deformation function based on the Lie algebra \(\tilde{\mathfrak g}\). In this context, we note that our current research on a model involving translations has shown that in order to obtain good approximations of solutions involving large, simultaneous translations and rotations, the application of a co-rotational approach is necessary. The restricted model presented in the subsequent exposition, however, can be formulated without that additional layer of complexity.
The Logarithmic finite element method does not depend on the application of the isoparametric concept. Therefore, the functionals on which the construction of the global finite element system is based are taken from the deformation function rather than from the interpolant of the current configuration, and we do not restrict the initial configuration other than by the condition that it be an immersion of the parametrization space into the physical space. Without loss of generality, we assume, in the remainder of this section, that the first node of the beam element is located at the origin, i.e. \({\mathbf {x}}_0({0, 0}) = \mathbf 0\).
Conditions related to the first derivative of the deformation function
Thus, in \(\mathcal U\), there is a one-to-one relationship between the parameters \(u_{1, r, 0}\) in the deformation function of a single finite element and the respective functional of the deformation function at the border of the finite element. Therefore, by defining continuity conditions based on these functionals, the respective parameters can be linked together at the global level and thus serve as global degrees of freedom of a finite element system composed of LogFE-based finite elements, as well as other compatible finite elements.
Conditions related to the second derivative of the deformation function
Degrees of freedom and related functionals of the deformation function, for node 1 with \({\mathbf {x}}_0^1 = {\mathbf {x}}_0 \left( 0,0\right) \), and shape functions satisfying conditions () and ()
Degree of freedom | Functional of the deformation function | Geometric meaning |
---|---|---|
\(u_{1,0,0}\) | \( \mathrm{Re} \left( {{{\mathrm{\mathrm{Log}}}}{\mathinner { \frac{\partial {^{}}\mathbf {x}_\xi }{\partial {{{\mathbf {x}}_0}_\xi ^{}}} }} ({0, 0})}\right) \) | Strain |
\(u_{1,1,0}\) | \(\mathrm{Im} \left( {{{\mathrm{\mathrm{Log}}}}{\mathinner { \frac{\partial {^{}}\mathbf {x}_\xi }{\partial {{{\mathbf {x}}_0}_\xi ^{}}} }} ({0, 0})}\right) \) | Rotation |
\(u_{1,0,1}\) | \({\dot{\varepsilon }^\mathrm {mat}}({0, 0}) - {\dot{\varepsilon }_0^\mathrm {mat}}({0, 0})\) | Material derivative of strain |
\(u_{1,1,1}\) | \({\kappa ^\mathrm {mat}}({0, 0}) - {\kappa _0^\mathrm {mat}} ({0, 0})\) | Material curvature |
The choice of shape functions
Table 4 summarizes the degrees of freedom, their respective functionals, which may be used to impose continuity conditions at the global level, and their respective geometric meaning.
For a beam element endowed with one shape function per node \(I\) and Lie algebra element \({\mathbf {Z}}_{I,r}\) (Lagrange-type shape functions), the polynomials \(p_{I,r,0} :\alpha \mapsto \alpha ^2\) therefore satisfy the conditions (). For the case of two shape functions per node \(I\) and Lie algebra element \({\mathbf {Z}}_{I,r}\) (augmented Lagrange-type shape functions), the polynomials \(p_{I,r,0} :\alpha \mapsto \alpha ^3\) and \(p_{I,r,1} :\alpha \mapsto \alpha ^4 - \alpha ^3\) satisfy these conditions. Figure 3 displays the Lagrange-type and augmented Lagrange-type shape functions for a two-node beam element. Note that both sets of Langrangian-type shape functions (see Fig. 3) do not satisfy the additional conditions (), and therefore cannot be used to model finite elements subjected to continuity conditions or boundary conditions involving the second derivative of the deformation function. However, the Hermite-type shape functions (see Fig. 3) satisfy both sets of conditions and can therefore be used to construct finite elements that can accommodate all types of continuity and boundary conditions described above (see Table 4). The choice of appropriate shape functions for different boundary conditions is discussed in more detail in Appendix 1.
Consistency with the linear beam theory
A non-linear boundary-value problem is often solved by iteratively obtaining the solutions of a sequence of linear problems, obtaining a sequence of solutions that converges toward the non-linear solution. In this section, we therefore investigate in more detail the linear steps involved in the iterative process of finding a non-linear solution. In particular, we focus on the initial linear step, for which the initial estimate for the degrees of freedom is given by the zero vector, i.e. the initial estimate for the deformation function is the identity function. We will compare the characteristics of this initial linear step with the linear theory of the Bernoulli beam. We will see that for certain standard load cases, the reaction of the beam in a neighborhood of the identity deformation predicted by the linearization of the LogFE model is identical, up to terms of higher order, to the reaction predicted by the linear theory of the Bernoulli beam.
The linearization of the LogFE formulation around the origin, i.e. \(\mathbf u= \mathbf 0\), results in a simplified model that can be regarded as a linear variant of the general approach. In this case, the degrees of freedom assume values that are proportional to the load intensity. As a result, the trajectories of the materials points of the configuration are located on the orbits of their initial locations under the action of a one-parameter Lie group. As we will see, these orbits are located on circles (and straight lines, which can be regarded as degenerate circles) if the dilatation coefficients vanish. In the case of non-zero dilatation coefficients, the orbits are located on logarithmic spirals. In order to analytically determine the linearization for different load cases, the strain and the curvature (and, as a result, the normal force and the bending moment) at a given parameter value \(\xi \) of the configuration must be derived from the deformation function.
Normal force and bending moment
Linearization based on rotation coefficients
Finally, for a simply supported beam subjected to a linearly decreasing line load (see Fig. 4), we use the same shape functions \(N_{1,2,0} = -3({1 - \xi })^4 + 4({1 - \xi })^3\), \(N_{2,2,0} = -3\xi ^4 + 4\xi ^3\). With \(\beta _{1,2,0} = 1\), \(\beta _{2,2,0} = 1\), we obtain \({\partial _s \kappa }(\xi ) = -120\xi ^3 + 180\xi ^2 - 60\xi \), conforming to the results of the linear beam theory.
The general case
In the general case, which includes, e.g., the deformation within a single step of a Newton-Raphson approximation, the orbits of the material points of the configuration are not located on circles, but on logarithmic spirals with different points of origin.
Figure 5 presents an example of the general case. For a diagonally applied constant line load f, resulting from a combination of a line load perpendicular to the neutral axis, q, and a line load parallel to the neutral axis, \(f_N\), we use \(N_{1,2,0} = -3({1 - \xi })^4 + 4({1 - \xi })^3\), \(N_{2,2,0} = -3\xi ^4 + 4\xi ^3\), as above. We set \(\beta _{1,2,0} = \gamma _2\), \(\beta _{2,2,0} = \gamma _2\), \(\gamma _2 \in \mathbb {R}{}\), such that \({\partial _s \kappa }(\xi ) = 12\gamma _1\xi ^2 - 12\gamma _1\xi \), consistent with the linear beam theory. As there is a line load in the direction of the beam, we must also determine the coefficients \(\beta _{1,1,0}\), \(\beta _{2,1,0}\), which are related to the dilatations (\(r= 1\)). Because the impact of the line force in the longitudinal direction on the curvature of the beam vanishes for \(\mathbf u= \mathbf 0\), we can drop the optional restriction \(\partial p_{I,2,0} = 0\) (see Table 8 in Appendix 1). Thus, \(\bar{Q}_I= 0\) for \(I\in \{1,2\}\), and the shape functions related to the dilatations, which result in a change in the normal force in the linear beam theory, are given as \(N_{1,1,0} = ({1 - \xi })^2\), \(N_{2,1,0} = \xi ^2\). From the linear theory, we know that \({\partial _{f_N} \varepsilon }(\xi ) = \frac{1}{EA} ({{-\xi + \frac{1}{2}}})\). Using Eq. 33a, we see that \(\beta _{1,1,0} = \frac{1}{2} \gamma _1\), \(\beta _{2,1,0} = -\frac{1}{2} \gamma _1\), \(\gamma _1 \in \mathbb {R}{}\), result in \({\partial _s \varepsilon } (\xi ) = -\gamma _1\xi + \frac{1}{2} \gamma _1\), conforming to the linear theory.
Quasi-static equilibrium
For moderate load intensities, the geometric stiffness matrix, \(\mathbf k_{\mathrm{int}}^\mathrm {geo}\), and the derivative of the external loads, \(\mathbf k_{\mathrm{ext}}^\mathrm {geo}\), are small in relation to the material stiffness matrix. Therefore, one or both of these comparatively computationally expensive geometric components of the derivative of the residuum may be omitted in the root-finding algorithm. In this case, however, the reduction in computation effort during each iteration may be offset by an increase in the number of iterations necessary to obtain a sufficiently good solution, as the root-finding algorithm will no longer show quadratic converge near the exact solution, and the convergence characteristics is likely to be affected negatively throughout the entire iteration process. Nevertheless, if the iteration is taking place in a setting in which quadratic convergence cannot be expected as a result of other causes, such as in the context of a multigrid algorithm, omitting one or both of the terms may be advantageous with regard to the overall efficiency of the calculation.
Beam strains and external loads
In the initial configuration, as well as in the current configuration, the Euclidean plane will be identified with the homogenized complex plane, \(\mathbb {C}{} \times \{1\}\). It is assumed that the beam, in its initial configuration, is represented by a straight line without initial stresses. In the following, we will use the notations \(\bar{\mathbf {x}}:= \left( \mathchoice{\mathrm{Re}\, \mathbf {x}, \mathrm{Im}\, \mathbf {x}}{{\mathrm{Re}\, \mathbf {x}, \mathrm{Im}\, \mathbf {x}}}{{\mathrm{Re}\, \mathbf {x}, \mathrm{Im}\, \mathbf {x}}}{{\mathrm{Re}\, \mathbf {x}, \mathrm{Im}\, \mathbf {x}}}\right) \in \mathbb {R}^2\), \(\dot{\mathbf {x}}:= \bar{\mathbf {x}}_{\xi }\) and \(\ddot{\mathbf {x}}:= \bar{\mathbf {x}}_{\xi \xi }\) for brevity. We use the symbol “\(\bullet \)” in the tensor notation in order to indicate that expressions such as \(\left\langle \dot{\mathbf {x}}_{\mathbf {u}},\dot{\mathbf {x}}_{\bullet \mathbf {u}}\right\rangle \) involve taking the tensor product, with the scalar product as multiplicative operation. Thus, as \(\dot{\mathbf {x}}_{\mathbf {u}}\) and \(\dot{\mathbf {x}}_{\bullet \mathbf {u}}\) belong to the tensor space \(\left( {\mathbb {R}^2}\right) ^{{ndf}}\), with \({{ndf}}\) denoting the number of degrees of freedom per element, \(\left\langle \dot{\mathbf {x}}_{\mathbf {u}},\dot{\mathbf {x}}_{\bullet \mathbf {u}}\right\rangle \) is a tensor of order 2, belonging to the tensor space \(\mathbb {R}^{{ndf}}\otimes \mathbb {R}^{{ndf}}\).
In the case of a distributed load \({\mathbf q}(\xi )\) on an interval \(I \subseteq \Omega \), the external load and its derivative with regard to the degrees of freedom \(\mathbf {u}\) are given by \(\mathbf p_{\mathrm{ext}} = \int _I \left\langle {\bar{\mathbf {x}}_{\mathbf {u}}} (\xi ),{\mathbf q}(\xi )\right\rangle {{\mathrm{d \!}}}\xi \) and \(\mathbf k^\mathrm {geo}_{\mathrm{ext}} = \int _I \left\langle {\bar{\mathbf {x}}_{\mathbf {u}\mathbf {u}}} (\xi ),{\mathbf f}(\xi )\right\rangle {{\mathrm{d \!}}}\xi \). For a concentrated load \(\mathbf f\) at \(\xi _0\), the external load and its derivative with regard to the degrees of freedom \(\mathbf {u}\) are given by \(\mathbf p_{\mathrm{ext}} = \left\langle {\bar{\mathbf {x}}_{\mathbf {u}}} ({\xi _0}),\mathbf f\right\rangle \) and \(\mathbf k^\mathrm {geo}_{\mathrm{ext}} = \left\langle {\bar{\mathbf {x}}_{\mathbf {u}\mathbf {u}}} ({\xi _0}),\mathbf f\right\rangle \). For an external moment \(M_0\), applied at \((\xi _0)\), the external load and its derivative with regard to the degrees of freedom \(\mathbf {u}\) are given by \(\mathbf p_{\mathrm{ext}} = -M_0 \left\| \dot{\mathbf {x}}\right\| ^{-2} \left| \dot{\mathbf {x}},\dot{\mathbf {x}}_{\mathbf {u}}\right| \) and \(\mathbf k^\mathrm {geo}_{\mathrm{ext}} = M_0 \left( {2 \left\| \dot{\mathbf {x}}\right\| ^{-4} \left\langle \dot{\mathbf {x}}_{\bullet \mathbf {u}},\dot{\mathbf {x}}\right\rangle \left| \dot{\mathbf {x}},\dot{\mathbf {x}}_{\mathbf {u}}\right| - \left\| \dot{\mathbf {x}}\right\| ^{-2} \left( {\left| \dot{\mathbf {x}}_{\bullet \mathbf {u}},\dot{\mathbf {x}}_{\mathbf {u}}\right| + \left| \dot{\mathbf {x}},\dot{\mathbf {x}}_{\mathbf {u}\mathbf {u}}\right| }\right) }\right) \), evaluated at \(\xi _0\).
Gauss quadrature
The integral of the local energy of the beam, as well as its derivatives, over the domain \(\Omega \) is being approximated by Gauss quadrature. The minimum number of Gauss points, \(n_{\mathrm {Gauss}}\), that are required to achieve an exact integration, in the limit of \({\bar{\mathbf {Z}}}\rightarrow \mathbf 0\), results from the polynomial degree of the function space generated by the shape functions, denoted d, which in turn depends on the values \(\bar{q}_I\), \(I\in \{1,2\}\), of the nodes associated with the beam element. For the meaning of \(\bar{q}_I\), see “Full p-refinement and selective p-refinement” section in Appendix 1. With \(d = \bar{q}_1 + \bar{q}_2 + 2\), \(2n_{\mathrm {Gauss}}- 1 \ge 2({d-1})\), we obtain \(n_{\mathrm {Gauss}}\ge \frac{1}{2} ({2({d-1}) + 1}) = \bar{q}_1 + \bar{q}_2 + \frac{3}{2}\).
Thus, for a beam element without Dirichlet boundary conditions, based on one shape function per nodal degree of freedom, i.e. \(\bar{q}_1 = \bar{q}_2 = 0\), we obtain \(n_{\mathrm {Gauss}}\ge 2\), while for a beam element based on two shape functions per nodal degree of freedom, we have \(\bar{q}_1 = \bar{q}_2 = 1\) and \(n_{\mathrm {Gauss}}\ge 4\). For large deformations, the interaction of the shape functions due to the exponentiation increases and may necessitate a higher number of Gauss points in order to achieve a good approximation of the total energy and its derivatives with regard to the nodal degrees of freedom.
The spatial derivatives of the current configuration
In order to obtain the derivatives of the current configuration with regard to the degrees of freedom, \(\dot{\mathbf {x}}\) and \(\ddot{\mathbf {x}}\), we apply a calculation that can be subdivided into two steps.
In the first step, we set up formulas for the derivatives of \(\dot{\mathbf {x}}\) and \(\ddot{\mathbf {x}}\) with respect to the degrees of freedom \(\mathbf {u}\). Those formulas contain the derivatives of \(\mathrm{{e}}^{{\bar{\mathbf {Z}}}( {\xi ,\mathbf {u}})}\) with regard to the parametrization variable \(\xi \) and the degrees of freedom.
In the second step, we derive the expressions for the derivatives of the exponential \(\mathrm{{e}}^{{\bar{\mathbf {Z}}}({\xi ,\mathbf {u}})}\). Instead of the well-known analytical form for the derivative of the matrix exponential given in Eq. (16), we use the definition of the exponential as a power series (see Eq. (15)), and obtain the derivatives of that power series by taking the derivatives of each summand, resulting in an expression of \(\partial _\xi \mathrm{{e}}^{{\bar{\mathbf {Z}}}( {\xi ,\mathbf {u}})}\) as a power series. In addition to simplifying the calculation of the derivatives, the results do not contain any expressions involving the inverse of a matrix, so that they are defined at the origin and numerically stable in the vicinity of the origin. The latter property is of particular importance, as the origin in the vector space of the coefficients related to the degrees of freedom corresponds to the identity map, which is often the preferred choice of an initial estimate for a non-linear approximation algorithm. We note that there exist a number of other series expansions approximating the directional derivative of the matrix exponential that may offer increased computational efficiency [18].
In this context, we note that any closed-form expression of the exponential of a non-trivial semidirect product of two Lie algebras \(\mathfrak h \ltimes \mathfrak n\), including for the Lie algebra associated with the special Euclidean group, will include a rational expression that is not defined at the origin of \(\mathfrak h\) and induces numerical instabilities in its vicinity, and that the associated numerical difficulties increase with the order of differentiation of the exponential map as given by such a closed-form expression.
A good approximation of the power series involved in the computation, with a relatively sharp estimate of the approximation error, can be obtained by calculating the sum of a small number of its leading summands. Thus, it is possible to significantly reduce the computational effort involved in the calculation of the derivatives. The calculation of the upper bound of the approximation error is described in Appendix 2. The calculation of the derivative is the crucial step to determine the relevant derivatives of the current configuration \(\mathbf {x}\left( \xi ,\mathbf {u}\right) = {e}^{{\bar{\mathbf {Z}}}\left( \xi ,\mathbf {u}\right) } {\mathbf {x}}_0\left( \xi \right) \), which is otherwise straightforward. We also note that small proportional errors in the calculation of the derivatives do not affect the order of convergence of the Newton-Raphson root-finding algorithm [1, p. 155].
Results and discussion
In order to evaluate the characteristics and the performance of the LogFE method, we have implemented a formulation for a Bernoulli beam in the plane as a program written in the numerical computing environment MatLab. This section presents the results of a number of numerical examples characterized by different external loads and boundary conditions. The prismatic beam has length \(l = 1\, \hbox {m}\) and a constant, rectangular cross-section given by the height \(h ={0.08}\,\hbox {m}\) and the width \(b ={0.1}\,\hbox {m}\). Young’s modulus is set to \(E = {3.4 \cdot 10^9}\,{\hbox {Nm}^{-2}}\). This value is consistent with the material properties of a hardened epoxy resin. As in the previous sections, \(\xi \) denotes the parameterization of the neutral axis of the beam, running from \(\xi = 0\) on the left side to \(\xi = 1\) on the right side of the beam. The deflection of the beam is given by \(w := - \mathrm{Im}({\mathbf {x}- {\mathbf {x}}_0})\,\hbox {m}\), and the axial displacement is given by \(u := \mathrm{Re}({\mathbf {x}- {\mathbf {x}}_0})\,\hbox {m}\). Both quantities are expressed in the unit metre (m). (See Fig. 2 for the identification of the complex plane with the 2-dimensional Euclidean space.) Note that the stress resultants are given as normalized values, i.e. as relative values with respect to the standard load value given for the load case.
In the presence of boundary conditions, selective \( p \)-refinement, as described in “Full p-refinement and selective p-refinement” in Appendix 1, has been applied. At simply supported nodes, the hinge condition modification given in “Hinge condition” in Appendix 1 has been used. The shape functions that have been used in the numerical examples, shown in Table 7, can be obtained from Table 8.
The focus of the following presentation and discussion of numerical examples is on characterizing the approximation properties induced by the discretization of the function space of the deformation function. Therefore, in order to eliminate, for all practical purposes, the effects of the approximation of the exponential, and of the approximate evaluation of the current configuration, the number of summands in the truncated power series approximating the exponential has been set to sixteen, and eighteen linearly spaced evaluation points have been used to evaluate the current configuration. It is obvious that, in a production-oriented implementation, these parameters should be adjusted to reduce computational cost.
Finally, the numerical algorithm can be set up with the element matrices and vectors described in “Quasi-static equilibrium” section. These element matrices are based on the geometrically exact evaluation of the strain and the curvature at the evaluation points. The application of the Newton-Raphson algorithm follows standard procedures, and the element-related data enter into the iterative calculation in the usual way.
As reference, we use the solutions given by a discretization of the beam by 96 non-linear, finite rotation beam elements endowed with linear shape functions and Reissner kinematics [21]. The formulation of this element is derived from the shell element presented in [32]. The simulation was realized in the finite element analysis program FEAP [29]. As a finite value for the shear module was required by the specific implementation of the element in the program, a very high value of \(5 \cdot 10^{11}\,{\mathrm{Nm}^{-2}}\) was chosen, thus virtually eliminating shear strains. In addition, several solutions based on the Reissner formulation and a small number of elements have been obtained from simulations performed in FEAP.
For comparison, we include the results of a non-linear simulation in Abaqus/Standard [10] using the Euler-Bernoulli beam element B23, which is endowed with a linear interpolation function for the axial and a cubic interpolation function for the transversal displacements. Due to the strong nonlinearity of the observed deformations, the simulations based on the B23 beam element are based on a large number of load steps, applying an exponential increase in the load factor. For some load cases, only models using a small number of elements succeed, while higher numbers of elements lead to a breakdown of the convergence. Therefore, we report the results for the 12-element beam model, where available. If the 12-element model fails, we report the results of the model with the highest number of elements that resulted in a converged solution. According to the Abaqus manual, the B23 beam element should be employed for “small-strain, large-rotation” analysis. A loss of accuracy for the load cases characterized by a strong load intensity is therefore to be expected. For the other load cases, the displacements and bending moments obtained by Abaqus are generally in good agreement with the results obtained by FEAP. For the normal force, larger differences between the solutions obtained by Abaqus and by FEAP occur. However, it should be noted that in most cases, the normal forces contribute only a relatively small share of the total normal stress of the beam that can be calculated from the bending moment and normal force along its neutral axis.
The number of elements, nodes, and degrees of freedom for a simply supported beam (pin/pin) and a beam with mixed boundary conditions (pin/clamped) are reported in Table 5. The LogFE formulation, in general, includes both nodal and internal degrees of freedom. Nodal degrees of freedom may be linked to the nodal degrees of freedom of other finite element elements, e.g. by continuity conditions. In contrast, internal degrees of freedom are not linked to any degrees of freedom of other elements, and thus can be eliminated from the model by static condensation.
Number of elements, nodes, and degrees of freedom of the LogFE and the conventional finite element formulation
Formulation | Degrees of freedom: total (internal) | ||||
---|---|---|---|---|---|
Elements | Nodes | Pin/pin | Pin/clamped | Clamped/clamped | |
LogFE, 1 polynomial | 1 | 2 | 4 (0) | 4 (1) | 4 (2) |
LogFE, 2 polynomials | 1 | 2 | 8 (4) | 8 (5) | 8 (6) |
Conventional FE, 3 elements | 3 | 4 | 8 (0) | 7 (0) | 6 (0) |
Conventional FE, 6 elements | 6 | 7 | 17 (0) | 16 (0) | 15 (0) |
Conventional FE, 96 elements | 96 | 97 | 287 (0) | 286 (0) | 285 (0) |
For specific load cases, the polynomials presented in “Consistency with the linear beam theory” section result, for small deformations, in a solution of the model that is consistent with the linear deflection curve of the Bernoulli beam theory. Note that for small deformations, the degrees of freedom, which are defined on the logarithmic space, are located close to the origin of the vector space of the Lie group, which represents the application of the identity function to the initial configuration. For other load cases, the bases provided by the shape functions do not allow for a solution consistent with the linear theory in a neighborhood of the identity function. With increasing load, the components of the exact solution that do not lie within the function spaces generated by the shape functions generally increase, and, as a result, the quality of the finite element solution diminishes.
External moments and distributed loads
Strain energy (\(U_{\mathrm {strain}}\)) and bending energy (\(U_{\mathrm {bending}}\)) for different load cases and load intensities
Load case | Moderate load intensity | Strong load intensity | ||||
---|---|---|---|---|---|---|
\(\varvec{U_{\mathrm {strain}}}\) (J) | \(\varvec{U_{\mathrm {bending}}}\) (J) | \(\varvec{{U_{\mathrm {strain}}}/{U_{\mathrm{int}}}}\) (%) | \(\varvec{U_{\mathrm {strain}}}\) (J) | \(\varvec{U_{\mathrm {bending}}}\) (J) | \({\varvec{U_{\mathrm {strain}}}/\varvec{U_{\mathrm{int}}}}\) (%) | |
A | 451 | 2108 | 17.6 | 10,284 | 26,541 | 27.9 |
B | 509 | 1885 | 21.3 | 11,891 | 9724 | 55.0 |
C | 264 | 2299 | 10.3 | 9469 | 27,909 | 25.3 |
D | 380 | 808 | 32.0 | 6375 | 3500 | 64.6 |
E | 95 | 818 | 10.4 | 3946 | 5416 | 42.1 |
F | 8 | 464 | 1.6 | 1405 | 6366 | 18.1 |
Shape functions employed in the numerical examples
Load case | Node \(\varvec{I}\) | Basis \(\varvec{r}\) | Single shape function | 1st shape function | 2nd shape function |
---|---|---|---|---|---|
A | 1 | 1 | \(\alpha ^2\) | \(\alpha ^4\) | \(\alpha ^5 - \alpha ^4\) |
2 | \(\alpha ^2\) | \(\alpha ^4\) | \(\alpha ^5 - \alpha ^4\) | ||
2 | 1 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | |
2 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
B | 1 | 1 | \(\alpha ^2\) | \(\alpha ^3\) | \(\alpha ^4-\alpha ^3\) |
2 | \(-3\alpha ^4 + 4\alpha ^3\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
2 | 1 | \(\alpha ^2\) | \(\alpha ^4\) | \(\alpha ^5 - \alpha ^4\) | |
2\(^\mathrm{a}\) | \(\alpha ^3-\alpha ^2\) | \(\alpha ^5 - \alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
C | 1 | 1 | \(\alpha ^2\) | \(\alpha ^3\) | \(\alpha ^4 - \alpha ^3\) |
2 | \(\alpha ^3\) | \(\alpha ^4\) | \(\alpha ^5 - \alpha ^4\) | ||
2 | 1 | \(\alpha ^2\) | \(\alpha ^3\) | \(\alpha ^4-\alpha ^3\) | |
2\(^\mathrm{a}\) | \(\alpha ^3 - \alpha ^2\) | \(\alpha ^4 - \alpha ^3\) | \(\frac{1}{2} \alpha ^5 - \alpha ^4 + \frac{1}{2} \alpha ^3\) | ||
D | 1 | 1 | \(\alpha ^2\) | \(\alpha ^4\) | \(\alpha ^5 - \alpha ^4\) |
2 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
2 | 1 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-3\alpha ^4 + 4\alpha ^3\) | \(\frac{1}{2} \alpha ^5 - \alpha ^4 + \frac{1}{2} \alpha ^3\) | |
2 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
E | 1 | 1 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-3\alpha ^4 - 4\alpha ^3\) | \(\frac{1}{2} \alpha ^5 - \alpha ^4 + \frac{1}{2} \alpha ^3\) |
2 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
2 | 1 | \(\alpha ^2\) | \(\alpha ^4\) | \(\alpha ^5 - \alpha ^4\) | |
2\(^\mathrm{a}\) | \(\alpha ^3 - \alpha ^2\) | \(\alpha ^5 - \alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
F | 1 | 1 | \(\alpha ^2\) | \(\alpha ^3\) | \(\alpha ^4 - \alpha ^3\) |
2\(^\mathrm{a}\) | \(\alpha ^3 - \alpha ^2\) | \(\alpha ^5 - \alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
2 | 1 | \(\alpha ^2\) | \(\alpha ^3\) | \(\alpha ^4 - \alpha ^3\) | |
2\(^\mathrm{a}\) | \(\alpha ^3 - \alpha ^2\) | \(\alpha ^5 - \alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
G | 1 | 1 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) |
2 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | ||
2 | 1 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) | |
2 | \(-2\alpha ^3 + 3\alpha ^2\) | \(-4\alpha ^5 + 5\alpha ^4\) | \(\frac{1}{2} \alpha ^6 - \alpha ^5 + \frac{1}{2} \alpha ^4\) |
For load case A, a simply supported beam subjected to a moment on the left support (see Fig. 6a), Fig. 7 compares the results of the LogFE formulation with a 96-element reference solution as well as with the results of a 3-element and a 6-element finite element formulation of the same beam. For the moderate load (see Fig. 7a), the formulation results in fairly accurate solutions both for one shape function (no internal degrees of freedom) and for two shape functions (one internal degree of freedom) per nodal degree of freedom. In particular, the axial displacement, which is rather poorly approximated by the 3-element discretization, is fairly well captured by the results of the LogFE formulation.
The estimate for the normal force, interpreted in isolation, shows a significant deviation of the LogFE solutions with regard to the reference solution. However, for moderate load intensities, the normal force represents a rather small share of the total normal stress of the beam. As the respective graph in Fig. 7 shows, the impact of the error of the estimation of the normal force is fairly small, while the error in the estimation of the bending moment dominates the overall error in the normal stress at the upper and lower side of the beam. For stronger loads (see Fig. 7b), the interplay of the bending energy and the strain energy results in a general deterioration of the estimate of the normal force. In the load case presented in Fig. 7, the estimate of the normal force close to the left support of the beam becomes particularly poor, especially in the case of two shape functions per nodal degree of freedom. However, the graph of the normal stress shows that the normal force contributes only a small share of the total internal energy of the beam, as well as of the local contributions of the cross-sections along the neutral axis to the total internal energy.
Other load cases yield similar results. For load case C (see Fig. 6c), a beam that is simply supported at the left side, clamped at the right side, and subjected to an external moment at the left support, the solution based on one shape function per nodal degree of freedom, for higher load intensities, does not result in a valid approximation of the actual stress resultants. However, the solution employing two shape functions yields results that are very close to the reference solution (see Fig. 9b). On the other hand, for lower load intensities, the reference solution, as well as the approximations, remain quite close to the linear theory, which would predict a normalized bending moment given as \({M(\xi )}/{M_0} = -\frac{3}{2} \xi + 1\) (see Fig. 9a).
Figure 10 shows the forces and moments resulting from a line load that varies along the neutral axis of the beam (Load case D, see Fig. 6d). The LogFE solution is close to the reference solution for both the moderate and the high load intensity case. The load case also shows that the LogFE formulation can provide good approximations for load cases that induce deformations which fall outside of the deformation space generated by the shape functions in the linear limit.
Load case E (see Figs. 6e, 11) illustrates the frequency-dependence of the accuracy of the solution provided by the LogFE formulation. For the solutions based on one and on two shape functions per nodal degree of freedom, the estimates of the bending moment and of the normal force captures overall shape of the reference solution. The error consists mainly of higher frequency components, changing signs several times on the parameter interval along the neutral axis of the beam.
Concentrated loads
Load case G (see Figs. 13, 14), includes a concentrated load. It illustrates that the LogFE formulation is ill-suited for loads that induce high-frequency or highly localized changes in the internal forces and moments. The approximation of the solution based on one shape function per nodal degree of freedom (i.e. without internal degrees of freedom) is of poor quality across the entire parameter interval, and the solution based on two shape functions is still characterized by a large error near the location of the concentrated load. In these cases, it will probably be preferable to increase the number of elements and to place an additional node at the location of the concentrated load, rather than to increase the number of shape functions.
Conclusions
In this work, we have presented a novel finite element formulation which allows to formulate polynomial shape function on the space of the Lie algebra associated with the deformation function, i.e. on the logarithmic space. We therefore refer to the proposed approach as the “Logarithmic finite element method”, or “LogFE method”. The deformation function is defined on the Lie group of planar similarity transformations \( {Sim}({2, \mathbb {R}{}}) = ({{GL \,}{(1, \mathbb {R}{})} \times SO(2)}) \ltimes _\mathrm{Id} T ({2, \mathbb {R}{}})\) and acts on the initial configuration. Associating the polynomial scalar part of the shape functions with vectors that span across the rotational/dilatational and translational subalgebras of \( {sim}{(2, \mathbb {R}{})}\) induces a strong coupling of the translational and rotational variables. The numerical examples show that this coupling conforms well to the interaction of the rotational and the translational components of deformations observed in typical load cases.
Using the example of a two-node beam element endowed with Bernoulli kinematics, the concepts involved in the construction of the LogFE method have been explained in detail. In particular, by choosing appropriate basis functions and polynomial shape function on the Lie algebra \({sim}{(2, \mathbb {R}{})}\), the LogFE method results in element formulations that are, in the case of a beam element, not limited to a constant curvature along the neutral axis within a single element. Therefore, the LogFE method is able to provide a smoother interpolant than other methods that rely on the identification of rotational degrees of freedoms with elements Lie algebras associated with the respective rotational groups. The stress resultants obtained in the numerical experiments indicate that the resulting estimate of the curvature, although not constraint to a constant function within a single finite element, provides a good approximation to the reference solution, especially for those models that include additional polynomial shape functions associated with internal degrees of freedom.
The results obtained from the numerical experiments show that models based on the LogFE method can indeed, with fewer degrees of freedom, achieve approximations of the low frequency component of deformations induced by different external loads that display an accuracy comparable to existing finite element formulations. The numerical experiments also confirmed that the method indeed focuses on the approximation on the low-frequency component of the deformation function. Thus, as a standalone formulation, the LogFE method is ill-suited to solve problems characterized by spatial high-frequency deformations. In these cases, including the modelling of cracks, the use of extended finite element methods (XFEM), i.e. enriching the finite element formulation by high-frequency or discontinuous shape functions, will often be the preferred approach.
In this paper, we have restricted the model to rotational and dilatational degrees of freedom. We intend to present an extended formulation that includes translational degrees of freedom, in addition to rotations and dilatations, in a future publication.
Declarations
Author's contributions
The method, initially envisaged by CS, was developed and formulated in close cooperation between both authors. Both authors have made substantive contributions to the development and implementation of the proposed method. Both authors read and approved the final manuscript.
Acknowledgements
Financial support for this research was provided by the Deutsche Forschungsgemeinschaft (DFG) via the Emmy Noether Program under Grant No. Wa 2516/3-1. This support is gratefully acknowledged.
Competing interests
The authors declare that they have no competing interests.
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Absil PA, Mahony R, Sepulchre R. Optimization algorithms on matrix manifolds. Princeton: Princeton Univ. Press; 2008.View ArticleMATHGoogle Scholar
- Argyris J. An excursion into large rotations. Comput Methods Appl Mech Eng. 1982;32:85–155.MathSciNetView ArticleMATHGoogle Scholar
- Armero F, Valverde J. Invariant Hermitian finite elements for thin Kirchhoff rods. I: The linear plane case. Comput Methods Appl Mech Eng. 2012;213–216:427–57.Google Scholar
- Armero F, Valverde J. Invariant Hermitian finite elements for thin Kirchhoff rods. II: The linear three-dimensional case. Comput Methods Appl Mech Eng. 2012;213–216:458–85.MathSciNetView ArticleMATHGoogle Scholar
- Ball RS. A treatise on the theory of screws. Cambridge: Cambridge Univ. Press.Google Scholar
- Betsch P, Steinmann P. Frame-indifferent beam finite elements based upon the geometrically exact beam theory. Int J Numer Methods Eng. 2002;54(12):1775–88.MathSciNetView ArticleMATHGoogle Scholar
- Borri M, Bottasso CL. An intrinsic beam model based on a helicoidal approximation. Part I: formulation. Int J Numer Methods Eng. 1994;37(13):2267–89.View ArticleMATHGoogle Scholar
- Ciarlet PG. The finite element method for elliptic problems, studies in mathematics and its applications. vol. 4. 2nd ed. Amsterdam; 1979.Google Scholar
- Cosserat EMP, Cosserat F. Théorie des corps déformables. Paris: A. Hermann et fils; 1909.MATHGoogle Scholar
- Dassault Systèmes. Abaqus/standard. 2014. http://www.3ds.com/products-services/simulia/portfolio/abaqus/abaqus-portfolio/abaqusstandard/.
- Ericksen JL, Truesdell C. Exact theory of stress and strain in rods and shells. Arch Ration Mech Anal. 1958;1(4):295–323.MathSciNetMATHGoogle Scholar
- Eugster SR, Hesch C, Betsch P, Glocker C. Director-based beam finite elements relying on the geometrically exact beam theory formulated in skew coordinates. Int J Numer Methods Eng. 2014;97(2):111–29.MathSciNetView ArticleGoogle Scholar
- Hall BC. Lie groups, lie algebras, and representations: an elementary introduction, graduate texts in mathematics, vol. 222. New York: Springer-Verlag; 2010.Google Scholar
- Jelenić G, Crisfield MA. Geometrically exact 3D beam theory: implementation of a strain-invariant element for statics and dynamics. Comput Methods Appl Mech Eng. 1999;171:141–71.MathSciNetView ArticleMATHGoogle Scholar
- Klein F. Zur Schraubentheorie von Sir Robert Ball. Mathematische Annalen. 1906;62(3):419–48.MathSciNetView ArticleMATHGoogle Scholar
- Knapp AW. Lie groups beyond an introduction. Boston: Birkhäuser; 2005.MATHGoogle Scholar
- Meier C, Popp A, Wall WA. An objective 3D large deformation finite element formulation for geometrically exact curved Kirchhoff rods. Comput Methods Appl Mech Eng. 2014;278:445–78.MathSciNetView ArticleGoogle Scholar
- Najfeld I, Havel T. Derivatives of the matrix exponential and their computation. Adv Appl Math. 1995;16(3):321–75.MathSciNetView ArticleMATHGoogle Scholar
- Napov A, Notay Y. Smoothing factor, order of prolongation and actual multigrid convergence. Numerische Mathematik. 2011;118(3):457–83.MathSciNetView ArticleMATHGoogle Scholar
- Prathap G. The curved beam/deep arch/finite ring element revisited. Int J Numer Methods Eng. 1985;21:389–407.View ArticleMATHGoogle Scholar
- Reissner E. On one-dimensional finite-strain beam theory: the plane problem. Zeitschrift für angewandte Mathematik und Physik ZAMP. 1972;23(5):795–804.View ArticleMATHGoogle Scholar
- Romero I. The interpolation of rotations and its application to finite element models of geometrically exact rods. Comput Mech. 2004;34(2):121–33.MathSciNetView ArticleMATHGoogle Scholar
- Sander O. Geodesic finite elements for cosserat rods. Int J Numer Methods Eng. 2010;82:1645–70.MathSciNetMATHGoogle Scholar
- Schröppel C, Wackerfuß J. Low-frequency shape functions on the logarithmic space. In: Presentation held at the $$11^{\rm th}$$ 11 th World congress on computational mechanics, Barcelona, 20–25 August 2014.Google Scholar
- Schröppel C, Wackerfuß J. Polynomial shape functions on the logarithmic space: the LogFE method. PAMM. 2015;15:469–70.View ArticleGoogle Scholar
- Selig JM, Ding X. A screw theory of static beams. In: Institute of Electrical and Electronics Engineers, Robotics Society of Japan, IROS; 2001, p. 312–317.Google Scholar
- Simo JC. A finite strain beam formulation. The three-dimensional dynamic problem. Part I. Comput Methods Appl Mech Eng. 1985;49(1):55–70.MathSciNetView ArticleMATHGoogle Scholar
- Sonneville V, Cardona A, Brüls O. Geometrically exact beam finite element formulated on the special Euclidean group. Comput Methods Appl Mech Eng. 2014;268:451–74.MathSciNetView ArticleMATHGoogle Scholar
- Taylor RL. FEAP. A finite element analysis program: user manual, v8.4. 2013. www.ce.berkeley.edu/projects/feap/manual84
- von Mises R. Motorrechnung: Ein neues Hilfsmittel der Mechanik. Zeitschrift für Angewandte Mathematik und Mechanik. 1924;4(2):155–81.View ArticleMATHGoogle Scholar
- von Mises R. Motor calculus: a new theoretical device for mechanics. Technische Universität Graz: Institut für Mechanik; 1996.Google Scholar
- Wagner W. A finite element model for non-linear shells of revolution with finite rotations. Int J Numer Methods Eng. 1990;29(7):1455–71.View ArticleMATHGoogle Scholar