Abstract
A numerical method for special Cosserat rods based on Antman's description Antman, 2005 is developed for hyperelastic materials and potential forces. This method preserves the relevant properties of the underlying PDE system, namely, the orthonormality of the directors and the conservation of the energy.
1. Introduction
Elastic rods are considered in many fields of science and technology; see, for example, [1–3]. For the simulation of their dynamics, the correct description of the local and global physical properties and reasonable computation times are the essential requirements.
Over the past years many different approaches to the numerical simulation of elastic rods have been developed; see, for example, [4–9] for different approaches involving finite element methods, finite difference methods and discrete mechanics.
In this paper we use the description of the rod as a special one-dimensional Cosserat continuum following the formulation in Antman [10]. This is a geometrically correct one-dimensional description based on partial differential equations. This type of modeling fulfills the above requirements with respect to simplicity and correctness. Numerical schemes for the special case of Kirchhoff equations have been developed by Pai [1] (stationary) and Weber et al. [3] (instationary). Energy conservation and the directors’ orthonormality are not strictly fulfilled in these schemes. Schemes for structural mechanics problems conserving energy and further invariants of the equation are developed, investigated, and applied, for example, in [11–13].
We formulate the kinematic and dynamic equations of the Cosserat rod theory in the so-called director-basis. The rod’s curve and the outer potential force are the only fields described in an external Cartesian basis. For technical reasons we use a representation of the rotational group by unit-quaternions. We note that the first use of quaternions in geometrically-exact rod models was in [14], see also [15]. In Section 2 we present an overview of the model resulting in the following system: Here, is the time and the parameter determining a material cross section of the rod. The unit-quaternions and the associated orthogonal matrix describe the transformation between the fixed external basis and the director-basis. The vector fields , , , and are the tangent of the curve, the generalized curvature, the velocity, and the angular velocity, respectively. Moreover, is the rod’s line density and the positive definite matrix is defined by the moments of inertia of its cross sections. In this paper the contact force and the contact couple are specified by a hyperelastic material law. In Section 3 we introduce the concept of energy as a constant of motion. In Section 4 we develop a straightforward finite difference scheme for the above equations with appropriate boundary conditions. The scheme conserves the energy and the orthonormality of the directors. In Section 5 the method is investigated for several examples using Timoshenko’s material law.
2. Model
Following Antman [10], a special Cosserat rod in the three-dimensional Euclidian space is geometrically characterized by three vector-valued functions . The parameter identifies a material cross section (material point) of the rod, characterizes the position of this cross section at time . The derivatives of the curve with respect to and , are the velocity and the tangent field. The orthonormal directors characterize the orientation of the cross sections. Defining , we get a local orthonormal basis at all material points. Due to the orthonormality of the directors there exist vector-valued functions and such that for . We call the angular velocity and the generalized curvature. The definitions of the vector fields , , , and imply the compatibility conditions: that complete the kinematic equations of the the special Cosserat rod theory in an invariant notation.
To rewrite these kinematic equations in an appropriate basis, we decompose an arbitrary vector field of our rod theory in the director-basis as well as in a fixed external Cartesian basis , that is, . The corresponding component triple, are strictly to distinguish from the vector field . The component triples of its derivatives with respect to and in the director-basis are The transformation between the director-basis and the external basis is given by an orthonormal matrix with components . We use a representation of in unit-quaternions , cf. [16], Here, the orthonormality of the matrix is guaranteed by . For an arbitrary with we obtain . Instead of the kinematic equation for the directors, we formulate an equivalent equation for the quaternions, cf. [16], Initializing (2.7) with the unit-quaternions, the skew symmetry of guarantees the preservation of the norm of the quaternions in time, that is, the orthonormality of and hence the orthonormality of the director-basis. Using the presented formalism we obtain our final version of the kinematic equations of the rod:
The balance laws for momentum and angular momentum yield the dynamic equations of the Cosserat rod theory, cf. [10], Here, is the line-density and are the moments of inertia. These quantities are time independent, since they are defined in the reference configuration as Lagrangian quantities. We assume that they are constant with respect to , too. The body force line density has to be specified in the applications. We assume for the corresponding body couple density. The contact force and contact couple have to be defined by material laws. Usually, this is done in the director-basis for reasons of objectivity. Thus, we decompose also the dynamical equations in the director-basis: The positive definite matrix is given by the moments of inertia: The body force, for example, gravity, is obviously defined in the external basis. Thus, (2.10) are coupled to the kinematic equation for the quaternions.
Remark 2.1. The special Cosserat rod theory describes the angular momentum as a linear function of the angular velocity. The choice of the representation of the vector fields in the director-basis leads to the time independent matrix characterizing this linear dependence. Besides the proper formulation of the material laws, this time independence is one of the major advantages of the choice of the director-basis.
In this paper we restrict ourselves to hyperelastic materials. That means there exists a potential , such that Moreover, we assume that only potential forces act on the rod. Thus there exists a function , such that
Remark 2.2. The more general class of elastic materials are materials where and are functions of the so-called strain variables and . These functions may also depend explicitly on .
The kinematic equations (2.8) and the dynamic equations (2.10) together with the restriction to hyperelastic materials and potential forces constitute our rod theory, see also (1.1). We consider system (1.1) with two types of boundary conditions defining a fixed or a free end. For simplicity we restrict our description to a fixed end at and a free end at
The presentation of the energy conserving numerical algorithm in Section 4 deals with the above general class of rods. For the numerical examples in Section 5 we specify the rod’s geometry, a hyperelastic material law, and the potential forces. We consider a homogeneous cylinder with diameter , cross section area , and moment of inertia . In this case, the matrix of inertia is We use the material law of Timoshenko [17] for Poisson number : where is Young’s modulus. Additionally, we restrict to gravitational forces, that is, where is the gravitational constant and is the direction of gravity in the external Cartesian basis.
Remark 2.3. For hyperelastic materials (1.1) is an inhomogeneous hyperbolic system. In the special case of Timoshenko for a homogeneous cylinder the hyperbolic part is linear with eigenvalues (sevenfold), (threefold), and (threefold), where is the speed of sound. Computing the eigenvectors one can easily show that the fixed and free end boundary condition correctly handle the characteristic variables and corresponding to the eigenvalue . With respect to the remaining variables we do not prescribe characteristic variables, but the correct number of variables on both sides of the rod.
3. Energy as a Constant of Motion
The system (1.1) for the state vector can be written in the general form of a conservation law as with flux-function and source term that is easy to identify from (1.1). We introduce the energy density: and the symmetric function: for arbitrary states , . The derivative of the energy density with respect to the state vector is given by that leads to the properties: We conclude the local energy balance: that is, is the energy flux and there is no energy source term. For the presented fixed and free end boundary conditions (2.14), (2.15) we have a vanishing energy flux at the boundaries. Therefore, the total energy is a constant of motion:
4. Discretization
For the spatial discretization we use a simple finite difference scheme. We note that similar finite difference schemes have been developed and their properties, in particular, the conservation of invariants, have been investigated in [8, 12, 18].
We discretize with equidistant mesh points and denote the corresponding length of the cells by . The boundary points are and . As usual, the numerical fluxes are denoted by for all . The state vector and the source terms are discretely given at the mesh points , that is, and . For the inner points the spatial discretization results in Thereby, the numerical flux function is approximated by the arithmetic average of the flux at neighboring mesh points. For the flux calculation at the boundaries we have to fulfill the Dirichlet boundary conditions at the fixed end : and at the free end : Thus, for the remaining components our finite difference scheme reads at the fixed end : and at the free end :
Now, we come up with our main point, the (semi)discrete energy conservation of this scheme. The energy density is approximated locally at the mesh points , that is, . We obtain for the inner points : For the boundaries we have to take into account the Dirichlet conditions: Applying the trapezoidal quadrature rule for the discrete energy, guarantees its conservation: This means, the chosen semidiscretization in space ensures that the discrete energy (4.8) is a first integral of the ODE-system (4.1)–(4.5).
For the time discretization any energy conserving method can be used. We choose a Gauss method, that also guarantees the preservation of the norm of the quaternions. In the numerical realization, we make use of the second order Gauss method, that is, the midpoint rule, to obtain a temporal order that is consistent with the spatial one, at least at the inner points. For the discretization of space and time, and the use of the midpoint rule for the conservation of certain properties we refer also to the above mentioned papers [12, 18].
To solve the resulting nonlinear equations a Newton method is used. The strict conservation of energy and orthogonality are the main advantages of the straightforward finite difference scheme presented here.
Remark 4.1. The scheme described above concentrates on preserving the energy of the rod and the orthonormality of the directors. In the sense of numerical methods for hyperbolic systems the scheme is not able to handle shocks properly. It does not have the usual properties like being a TVD scheme or satisfying the entropy condition.
Remark 4.2. Higher order discretizations are also possible. For example, we could consider the following fourth order numerical flux function: Then, the time derivative of the discrete energy density at the inner mesh point is given by The terms , , , , , and are eliminated at the mesh points , , , , , and , respectively. Neglecting the boundary points this yields again the conservation of the discrete energy. The discretization near the boundary points has to be considered separately.
5. Numerical Examples
In this section we present three numerical examples, restricting ourselves to Timoshenko’s material law for a homogeneous cylinder as discussed at the end of Section 2. Introducing a typical length, a typical time, and a typical mass: the dimensionless parameters of the model are the slenderness ratio and the gravity number: In more details, we have , , and for the speed of sound . In the dimensionless form Timoshenko’s material law reads To simplify the formulation of the equations we define for and : Then, the system (1.1) reads As mentioned, the rod is fixed at one side, and the other side is free, that is, for Timoshenkos’s material law:
The chosen initial configuration of a straight rod and direction of gravity can be seen in Figure 1. In the following examples different initial torsions will be considered. More precisely, where is a field of torsion angles that has to be defined. These conditions are equivalent to initial conditions for and . Moreover, due to the definitions of and we have Finally we prescribe that is, the rod is initially at rest. Our initial conditions are compatible to the boundary conditions if and .
In all simulations we choose the CFL-number equal to . This implies as for the speed of sound in the dimensionless form.
We remark that in all simulations energy is strictly conserved according to the above analysis.
Example 5.1 (Torsional Oscillation without Gravity). We choose , and a field of torsion angles fulfilling the compatibility condition: In this example, only the torsion and the angular velocity are involved, because of the vanishing gravity. The equations reduce to the homogenous wave-equation: Due to the chosen torsion angle we exactly initialize the fundamental mode of the wave equation with a frequency We use this example as a benchmark for the convergence properties of our scheme comparing the computed frequencies with the analytical one for different grid sizes, see Figure 2. Comparing the identified simulation frequency with the fundamental frequency of the analytical solution we note that, for example, for the relative error is of the order .
Example 5.2 (Transversal Oscillation). We choose , , and vary from to . This example describes the classical case of transversal oscillation of an one-sided fixed rod without twist. Since the rod is strainless in the initial configuration and—as mentioned—at rest initially, gravity is used to excite the oscillation. The transversal oscillation frequency for the rod can be compared to the well-known result for vanishing gravitation given for example in Peterson [19] or Timoshenko [20]. It reads in the chosen dimensionless form
where the constant is given by . Defining the temporal difference between two maxima of the potential energy as a period of oscillation, we identify the frequency . Figure 3 shows for the expected linearity of the frequency with respect to the slenderness ratio . Determining from a best fit line, we obtain . Thus, the relative error is very small1—of the order —even for the very coarse discretization with .
We note that the solution is very accurate although we have chosen a linear material law for the contact force instead of a Kirchhoff constraint normally used.
Example 5.3 (Three-dimensional Problem Including all Strain Variables). We choose , , and a field of torsion angles: In this case, see Figure 4, the rod is initially twisted three times and the gravitational number is comparatively high. That means all strain variables of the rod are excited during the evolution. The algorithm is able to deal with such a situation, in particular, from the point of view of conservation of energy. The results are reasonable as long as the linear material law is valid. One has to take into account that for large strain values Timoshenko’s material law does not guarantee that the deformation of the rod preserves the orientation. See Antman [10] for a precise definition of the preservation of orientation.
(a)
(b)
(c)
(d)
6. Conclusion
In this paper we use the description of a hyperelastic rod in the formulation of Antman [10]. For the resulting hyperbolic system we developed a numerical method, which conserves the energy of the rod as well as the orthonormality of the directors. However, the scheme is not able to handle shocks properly. It is neither a TVD scheme nor does it satisfy the entropy condition.
For the material law of Timoshenko [17] we illustrated the method using some numerical examples. For these examples, the conservation properties are strictly fulfilled and very good agreement of the numerical and analytical results can be observed. Finally, we mention that for realistic three-dimensional problems a nonlinear material law has to be used, which can be easily incorporated in the scheme.
Acknowledgments
This work has been supported by Deutsche Forschungsgemeinschaft (DFG), KL 1105/18-1 and WE 2003/3-1 and by Rheinland-Pfalz Excellence Center for Mathematical and Computational Modeling .