Abstract
Continuum-kinematics-inspired peridynamics (CPD) has been recently proposed as a novel reformulation of peridynamics that is characterized by one-, two- and three-neighbor interactions. CPD is geometrically exact and thermodynamically consistent and does not suffer from zero-energy modes, displacement oscillations or material interpenetration. In this manuscript, for the first time, we develop a computational framework furnished with automatic differentiation for the implementation of CPD. Thereby, otherwise tedious analytical differentiation is automatized by employing hyper-dual numbers (HDN). This differentiation method does not suffer from round-off errors, subtractive cancellation errors or truncation errors and is thereby highly stable with superb accuracy being insensitive to perturbation values. The computational framework provided here is compact and model-independent, thus once the framework is implemented, any other material model can be incorporated via modifying the potential energy solely. Finally, to illustrate the versatility of our proposed framework, various potential energies are considered and the corresponding material response is examined for different scenarios.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The main objective of this contribution is to establish a computational framework for CPD that is versatile and devoid of-often overly complex-analytical derivatives for residuals and tangents using HDN. A brief overview of CPD and HDN are given in Sects. 1.1 and 1.2, respectively. Section 1.3 elaborates on the key features of the manuscript. The notations and definitions that are employed throughout the manuscript are listed in Sect. 1.4, followed by Sect. 1.5 explaining the organization of the remainder of the manuscript.
1.1 Peridynamics
Peridynamics (PD) is a nonlocal framework to formulate continuum mechanics which assumes that physical points within a continuum body interact with each other across a finite distance called horizon [1]. In PD, the governing equations are formulated based on integral equations without spatial derivatives, which makes the framework suitable for the analysis of problems involving discontinuities and singularities such as fracture [2,3,4,5,6,7,8,9]. However, the spectrum of PD applications is considerably broad and not limited to fracture mechanics, see Javili et al. [10] for a comprehensive review. In bond-based PD, the interaction between two points within the continuum is only described by a two-point force density vector. Such simplified assumption for the interactions leads to failure in capturing the Poisson’s effect. That is, the Poisson’s ratio is restricted to 1/4 for isotropic materials. To overcome this limitation, state-based PD was developed [3] where the force density vector can be defined based on the stress tensors which allows the use of constitutive models in PD [11]. Recently, Javili et al. [12] established an alternative formulation for PD called “continuum-kinematics-inspired peridynamics (CPD)” wherein the underlying kinematics are reminiscent to classical continuum mechanics. The nonlocal material behavior in CPD is governed by three interactions types; one-neighbor interaction which occurs between a point and all of its neighbors; two-neighbor interaction which occurs between a point and all pairs of its neighbors; and three neighbor interaction which occurs between a point and all triplets of its neighbors. Since the interactions are defined by the change of pair-length, triplet-area and tetrad-volume, CPD build upon classical continuum mechanics kinematics. Additionally, constrained Poisson’s ratio or zero-energy modes are absent in CPD. Owing to its great versatility and advantages, CPD has been growing rapidly. The computational framework for the implementation of CPD was developed in [13], see also [14]. Afterwards, Javili et al. [15] investigated the thermodynamic restrictions on the interaction energies in CPD and derived thermodynamically consistent constitutive laws through a Coleman–Noll-like procedure. Schaller et al. [16] reexamined the governing equations in CPD for open systems and demonstrated how the balances of momentum, energy and entropy are modified in the presence of an additional mass source. Zhou and Tian [17] investigated the concept of constitutive correspondence in CPD. Ekiz et al. [18, 19] established relationships between the material parameters of CPD and isotropic linear elasticity. For further studies on CPD, the reader is referred to the following references with applications to wrinkling and instabilities [20], bone remodeling [21], elasto-plasticity [22], damage and fracture [23, 24] and interfacial modeling in multi-phase materials [25, 26].
1.2 Hyper-dual numbers
In computational mechanics, modeling and simulation of the mechanical behavior of materials undergoing large deformations is a challenging task. Further complexities arise if accounting for inelasticity or anisotropy is required. The material behavior is commonly described by a potential energy function whose derivatives with respect to certain fields yields the stresses and tangent moduli. Accurate calculation of derivatives of the potential energy function is essential and considerably influences the simulation results. In particular, accurate calculation of the residual guarantees the precision in the physics of the problem and accurate calculation of the tangent influences the convergence of the Newton–Raphson scheme for solving the nonlinear system of equations [27, 28].
There exist various methods for the calculation of derivatives. At this stage of development on the subject, it seems virtually impossible to propose a classification that precisely addresses all aspects objectively. However, for the sake of representation and better conveying the ideas of the manuscript, we aim to propose a somewhat fair classification. Figure 1 shows a schematic classification of the differentiation schemes.Footnote 1 The first differentiation scheme is approximate differentiation which is mainly numerical and is based on the Taylor series expansion [29]. A well-known example of approximate differentiation is the finite difference method which is usually classified, for example, into the backward, forward or central difference method. However, finite difference methods have two major drawbacks; first, they are approximations in essence and second, the derivative accuracy depends on the perturbation values. Small perturbations could yield instabilities due to machine precision and large perturbations yield inaccuracy especially for the second-order derivatives. Aside from the finite difference method, the complex-step derivative approximation method [30, 31], the double number method [32] have been proposed which do not suffer from the aforementioned disadvantages, see [33,34,35,36,37,38,39] for further studies on both methods. The second differentiation scheme is accurate differentiation which calculates the differentiation precisely. The first and most-well known accurate differentiation scheme is the analytical differentiation which is an ideal method due to its efficiency. However, for complex material models such as anisotropic materials, analytical calculation of derivatives can become excessively complicated and is an arduous task, if not impossible. In such cases, symbolic and automatic differentiations become handy since they are computer based [40]. Recently Fike and Alonso [41], based on the theory of quaternions developed by Clifford [42], developed an automatic differentiation tool employing “hyper-dual numbers” for the exact calculation of first and second derivatives, see also [43]. Hyper-dual numbers (HDN) are basically an extension of the dual numbers which are able to calculate the up to the second-derivatives precisely. Due due their promising accuracy and versatility, hyper-dual numbers (HDN) have been utilized in various research areas. Fundamentals of matrix representation of hyper-dual numbers were presented by Imot er al. [44] where higher-order derivatives could be calculated using hyper-dual numbers. Cohen and Shoham [45] introduced the algebra of hyper-dual numbers and hyper-dual vectors of higher orders. Endo et al. [46] developed a new variant of hyper-dual numbers called diagonal hyper-dual numbers which are computationally more efficient for the calculation of Hessian matrices. Kiran and Khandelwal [47] utilized hyper-dual numbers in finite strain anisotropic hyperelasticity in order to automatically calculate the Piola stress tensor and the corresponding tangent moduli from the potential energy function. A similar study was carried out by Tanaka et al. [48] for elasto-plasticity, who compared the performance of the incremental variational formulation and hyper-dual numbers, see also [49]. Further studies with applications to hyper-dual numbers include rigid body kinematics [50,51,52], modelling equations of state [53], reduced order modeling [54], plate and shell buckling [55], gradient-enhanced elasto-plasticity [56] and topology optimization [57, 58].
1.3 Objectives and key features
CPD is a novel continuum formulation to explain the nonlocal behavior of materials. However, further exploration is required to fully grasp its potential. As any novel model, a crucial aspect to harness the capabilities of CPD lies in evaluating its utility to predict the material response for a wide range of energy densities and to identify their key properties. On the other hand - even for fairly simple energy densities - the derivations of the residuals and tangents in CPD become lengthy and intricate. This, in turn makes the computational implementation of CPD cumbersome and prone to errors. This manuscript aims to facilitate investigating arbitrary energies via a versatile framework that remains independent of the given energy model. To do so, we develop a computational framework furnished with automatic differentiation for a generic implementation of CPD via employing hyper-dual numbers (HDN). Although the governing equations of CPD are in integral form, calculation of derivatives are necessary to solve the system of non-linear equations in an implicit manner. In addition, the accuracy of the derivative calculation is important since it might influence the solution path in the case of non-convex potential energy functions [59] that can be encountered when modeling various physical phenomena such as in multi-scale modeling of carbon nano-tube foams [60], bi-stable elastic structures [61], mechanical transmission lines [62], narrow magnetic domain materials [63] and chemical surface adsorption [64]. Very few studies have been carried out on automatic differentiation methods in peridynamics [65,66,67,68]. However, to the best of the authors’ knowledge, there exist no contribution on implementation of hyper-dual numbers for CPD. Such computational framework paves the way for analysis of a wide range peridynamics material models which provides significant insights towards better understanding of complex material behaviors such as anisotropic materials or composites.
1.4 Notations and definitions
Throughout this manuscript, scalars are denoted by lower case Greek letters, first-order tensor quantities are denoted by lowercase bold letters and second-order tensor quantities are denoted by uppercase bold letters. For instance \(\alpha \) is a scalar, \(\varvec{a}\) is a first-order tensor, \(\varvec{A}\) is a second-order tensor. The cross product of two vectors \(\varvec{a}\) and \(\varvec{b}\) is a vector \(\varvec{c}=\varvec{a}\times \varvec{b}\) with \([\varvec{c}]_{k}=[\varvec{a}]_{i} [\varvec{b}]_{j}[{{\mathbbm {e}}}]_{ijk}\) where \([{{\mathbbm {e}}} ]_{ijk}\) is the third-order Levi-Civita permutation tensor. The action of a second-order tensor \(\varvec{A}\) on a vector \(\varvec{b}\) results in a vector \(\varvec{c}=\varvec{A}\cdot \varvec{b}\) with \([\varvec{c}]_{i}=[\varvec{A}]_{ij}[\varvec{b}]_{j}\). The standard dot product of a vector \(\varvec{a}\) to a third-order tensor \({{\mathbbm {a}}} \) results in a second-order tensor \(\varvec{A}=\varvec{a}\cdot {{\mathbbm {a}}} \) with \([\varvec{A}]_{ij}=[\varvec{a}]_{k}[{{\mathbbm {a}}} ]_{kij}\). The non-standard dot product of a vector \(\varvec{a}\) to a third-order tensor \({{\mathbbm {a}}} \) results in a second-order tensor \(\varvec{A}=\varvec{a}\,\overline{\cdot }\,{{\mathbbm {a}}} \) with \([\varvec{A}]_{ij}=[\varvec{a}]_{k}[{{\mathbbm {a}}} ]_{ikj}\). The imaginary (non-real) and the real operators are denoted as \(\Im \) and \(\Re \). For instance, for an arbitrary complex number \(\alpha + \beta i\), the imaginary (non-real) operator \(\Im \) extracts the imaginary part as \(\Im (\alpha + \beta i) = \beta \) and the real operator extracts the real part as \(\Re (\alpha + \beta i) = \alpha \). As will be discussed later, for double numbers, dual numbers and hyper-dual numbers, the non-real unit has different properties than the well-known imaginary unit i and shall generally be addressed as a non-real unit. To avoid confusing terminologies, we also refer to the imaginary unit i as non-real.
1.5 Organization of the manuscript
The remainder of the manuscript is organized as follows. In Sect. 2, the fundamentals of CPD and its computational implementation are briefly reviewed. Hyper-dual numbers and their algebra are introduced in Sect. 3 where numerical differentiation using hyper-dual numbers with respect to scalar, vector and tensor arguments is elaborated. In Sect. 4, CPD is furnished with hyper-dual numbers and a general framework for calculation of the residual and tangents in CPD is developed. Section 5 details on a family of potential energy functions employed in this manuscript. The proposed framework is evaluated through a set of numerical examples in Sect. 6. Finally, Sect. 7 concludes the work and provides further outlooks. Table 1 summarizes the notation and terminology adopted in this manuscript.
2 Continuum-kinematics-inspired peridynamics
2.1 Kinematics
Let \({\mathcal {B}}_{0}\) be a continuum body with material configuration at time \(t=0\) which is mapped to its spatial counterpart \({\mathcal {B}}_t\) via the nonlinear deformation map as \(\varvec{x} = \varvec{y} (\varvec{X},t)\) , as shown in Fig. 2. In the material configuration, the point \(\varvec{X}^{a}\) interacts with its neighbors \(\varvec{X}^{i}\), \(\varvec{X}^{j}\), \(\varvec{X}^{k}\), etc within the Horizon \({\mathcal {H}}_{0}\). Similarly, the point \(\varvec{x}^{a}\) interacts with its mapped neighbors \(\varvec{x}^{i}\), \(\varvec{x}^{j}\), \(\varvec{x}^{k}\), etc within the Horizon \({\mathcal {H}}_{t}\). The relative positions between the points and their neighbors in the material and spatial configurations are defined as
Similar to classical continuum mechanics, there exist three relative deformation measures in CPD. The first relative deformation measure is the relative position vector \(\varvec{\xi }^{ai}\) which describes one-neighbor interactions and is defined as
This relative deformation measure mimics the deformation gradient \(\varvec{F}\) which maps infinitesimal material line elements \(\textrm{d} \varvec{X}\) to their spatial counterparts \(\textrm{d} \varvec{x}\). Note, the superscript \(``ai''\) implies that the relative position vector corresponds to points \(\left\{ a,i\right\} \) and shall not be confused with tensor indices. The second relative deformation measure is the relative area vector \(\varvec{a}^{aij}\) which describes two-neighbor interactions and is defined as
This relative deformation measure mimics the cofactor of the deformation gradient \(\text {Cof}\varvec{F}=J\varvec{F}^{-T}\) which maps infinitesimal material area elements \(\textrm{d} \varvec{A}\) to their spatial counterparts \(\textrm{d} \varvec{a}\). Similarly, the superscript \(``aij''\) implies that the area is spanned between points \(\left\{ a,i,j\right\} \) and shall not be confused with tensor indices. The third relative deformation measure is the relative volume \(v^{aijk}\) which describes three-neighbor interactions and is defined as
This relative deformation measure mimics the determinant of the deformation gradient \(J=\text {Det}(\varvec{F})\) which maps infinitesimal material volume elements \(\textrm{d} V\) to their spatial counterparts \(\textrm{d} v\). The superscript \(``aijk''\) implies that the volume is spanned between points \(\left\{ a,i,j,k\right\} \) and shall not be confused with tensor indices. In the limit of vanishing horizon the following relations hold between the relative deformation measures
2.2 Governing equations
The next step is to elaborate the governing equations. In order to obtain the governing equations, the total potential energy functional is minimized via setting its variation to zero. The total potential energy \(\Pi \) is composed of the internal potential energy \(\Psi \) and the external potential energy \(\Upsilon \) as
It shall be noted that our analysis will be carried out for non-dissipative processes in a variational setting. The variation of the external potential energy reads
with \(\varvec{b}_{\textrm{ext}}^{a}\) being the external force density and \(\varvec{t}_{\textrm{ext}}^{a}\) being the external traction on the boundary.
2.2.1 Internal potential energy
The internal potential energy consists of the contribution of one-, two- and three-neighbor interactions as
The factors 1/2, 1/3 and 1/4 are associated with equivalent energies encountered for the same pairs, triplets and quadruples, respectively. The variation of the internal potential energy reads
where the pre-factors disappear. The one-, two- and three-neighbor interactions potential energy densities are a function of the relative position vector between point a and its neighbor i, the area vector formed by point a and its neighbor pairs \(\{i,j\}\) and the volume formed by point a and its neighbor triplets \(\{i,j,k\}\), respectively, as
Using the relation \(\delta \varvec{\xi }^{ai} =\delta \varvec{y}^{i} - \delta \varvec{y}^{a}\) and the following identities
the final form of the variation of the internal potential energy variation reads
with \(\varvec{p}^{ai}\) being the force density per volume squared and \(\varvec{b}_{\textrm{int}}^{a}\) being the internal force density per volume. Thus, the compact form of the internal potential energy potential variation boils down to
2.2.2 Equilibrium and balance equations
Via setting the variation of the total potential energy with respect to admissible variations \(\delta \varvec{y}\) at a fixed material point to zero, the governing equations for equilibrium are obtained. Inserting Eqs. (13) and (7) into Eq. (6) yields
Due to arbitrariness of \(\delta \varvec{y}\), we can readily extract the governing equations as
in global form and as
in point-wise local form. The obtained relations formulate the linear momentum balance which is the underlying governing equation in CPD. The angular momentum balance is a priori satisfied if the internal potential energy densities satisfy material frame indifference or more precisely, if they are defined as functions of \(|\varvec{\xi }^{ai}|\), \(|\varvec{a}^{aij}|\) and, \(|v^{aijk}|\).
2.3 Computational implementation of CPD
The first step towards computational implementation of CPD is to transform the equations from their continuous form to a discrete form. In doing so, the integrals over the horizon are transformed to summation over neighbors and using quadrature rule, integrals over the body are transformed to summation over collocation points. In our case, the collocations points and the quadrature points coincide, thus, we refer to them collectively as grid points henceforth, see [13].
For the linear momentum balance equation, we here assume that external body forces are zero for the sake of presentation. Accordingly the local form of the linear momentum balance can be expressed in discretized form as
with \({\mathcal {V}}^{i}\), \({\mathcal {V}}^{ij}\), \({\mathcal {V}}^{ijk}\) accounting for volume integrals. We define the point-wise residual vector for collocation point \({\mathcal {P}}^{a}\) as \(\varvec{R}^{a}\), which is composed of three parts; one-neighbor interactions contributions, two-neighbor interactions contributions and three-neighbor interactions contributions. That is
with
The global discretized residual vector \({{\mathbbm {R}}} \) is composed of point-wise discretized residual vectors \(\varvec{R}^a\) assembled into a global vector formally represented as \({{\mathbbm {R}}} = \left[ \varvec{R}^{1} \,\, \varvec{R}^{2} \,\, \ldots \,\, \varvec{R}^{a} \right. \)\(\left. \,\, \ldots \,\, \varvec{R}^{\#{\mathcal {P}}} \right] ^{T}\). Similar to the point-wise residual, the point-wise tangent can be decomposed into three parts associated with one-, two- and three-neighbor interactions as \(\varvec{K}^{ab} =\partial \varvec{R}^{a}/\partial \varvec{x}^{b} = \varvec{K}^{ab}_1 +\varvec{K}^{ab}_2 + \varvec{K}^{ab}_3\) with
The fully discrete nonlinear system of governing equations can be stated as \({{\mathbbm {R}}} {\mathop {=}\limits ^{\cdot }} {{\mathbbm {O}}} \) which could be solved using an iterative Newton–Raphson scheme. The consistent linearization of the resulting system at iteration n reads
where \(\Delta {\mathbbm {x}} \) is the incremental global deformation vector. After each iteration, the global deformation vector \({\mathbbm {x}} \) is updated by \(\Delta {\mathbbm {x}} \) according to \({\mathbbm {x}} _{n+1} = {\mathbbm {x}} _{n} + \Delta {\mathbbm {x}} _{n}\). Obviously, equations (19) and (20) require calculations of the first and second derivatives of the potential energy function, respectively, which is gathered in Table 2. Such calculations are carried out in a generic form using the hyper-dual numbers in the next Section.
3 Hyper-dual numbers
In computational mechanics, it is crucial to calculate the derivatives of the potential energy function accurately since it has a significant impact on simulation outcomes. Precise computation of the residual is particularly essential to ensure the accuracy of the physics involved in the problem, while calculating the tangent with precision affects the ability of the Newton–Raphson method to converge in solving the nonlinear system of equations. Numerical differentiation is a common technique to approximate the derivative of a function using various methods. One of the disadvantages of numerical differentiation methods compared to analytical differentiation is that they suffer from numerical errors. There exist two main sources of error in numerical differentiation. The first error type is the truncation error which arises when higher-order terms in approximations or derivative calculations are neglected. The truncation error can be minimized by making the perturbation value h very small. The second error type is the subtractive cancellation error which occurs because in computers the numbers are only stored up to a certain precision. For example, in double precision arithmetic, the numbers are stored up to 15 decimal digits. If the numbers that are being subtracted from each other are too close, the computer fails to distinguish them hence the zero difference. This leads to an incorrect approximation of the derivatives. The subtractive cancellation error increases by making the perturbation value h very small. Therefore, both errors cannot be minimized simultaneously via decreasing the perturbation value h. Various numerical differentiation techniques have been developed to minimize these errors, among which, hyper-dual numbers have proven to be one of the most accurate methods. Appendix A provides a unifying study on various numerical differentiation techniques and highlights the advantages and disadvantages of each method.
Hyper-dual numbers are a number system developed based on the theory of quaternions to calculate exact first and second derivatives. The derivation calculation involves converting a real-valued function evaluation to operate on hyper-dual numbers. The hyper-dual numbers are characterized by one real part and three non-real parts. A hyper-dual number \(\overline{a}\) is defined as
Accordingly, the real and non-real operators are defined as
When operations are performed on the real component of a hyper-dual number, the derivative information for those operations is created and stored in the non-real parts of the number. The non-real elements of the number contain derivative information with regard to the input at every stage of the function evaluation. Cohen and Shoham [45] demonstrated that hyper-dual numbers are indeed an extended version of dual numbers of order two. For the sake of simplicity, it is usually assumed that \(a_{1}=a_{2}=h\) and \(a_{12}=0\) hence \(\overline{a} = a_{0} + h\epsilon _{1} +h\epsilon _{2}\). Therefore, the Taylor series expansion of the smooth function \(f(x+h\epsilon _{1}+h\epsilon _{2})\) reads
that could be rewritten as
The first and second derivatives of f(x) can be calculated as
Note that the operators \(\Im _{\epsilon _{1}}\), \(\Im _{\epsilon _{2}}\) and \(\Im _{\epsilon _{12}}\) extract the multiples to the non-real parts \(\epsilon _{1}\), \(\epsilon _{1}\) and \(\epsilon _{12}\), respectively. It is observed that the first and the second derivatives neither suffer from truncation errors nor from subtractive cancellation errors. As a result, both derivatives are calculated in an exact manner.
3.1 Algebra and tensor analysis with hyper-dual numbers
This section briefly elaborates the algebra of hyper-dual numbers. Table 3 summaries the definitions for basic algebraic operations for hyper-dual numbers. As mentioned in the previous section, it is usually assumed that for a typical hyper-dual number \(a_{1}=a_{2}=h\) and \(a_{12}=0\). Therefore, a hyper-dual number can be represented as \(\overline{a} = a_{0} + h\epsilon _{1} + h\epsilon _{2}\). Another equally important feature of differentiation with hyper-dual numbers is that the derivatives do not depend on the perturbation magnitude h, thus one could assume \(h=1\). Accordingly, we henceforth continue our analysis with hyper-dual numbers defined as \(\overline{a} = a_{0} + \epsilon _{1} +\epsilon _{2}\). Assume that f(x) is a scalar valued function of a scalar variable x. The first and second derivatives of f(x) with respect to x can be obtained as
Similarly, for a two variable scalar function f(x, y), the derivatives with respect to scalar independent variables are obtained as
As shown in Eq. (28), in order to find the whole set of first and second derivatives, three different combinations of the hyper-dual forms for the independent variables need to be used. Thus, the function f(x, y) needs to be evaluated three times.
3.2 Differentiation with respect to tensor arguments
Another important aspect of hyper-dual numbers is differentiation with respect to first- and second-order tensors, which will be elaborated in this section. In doing so, we provide a systematic scheme in order to define the derivatives of an arbitrary function with respect to zero-, first- and second-order functions. In order to facilitate the terminology, henceforth we refer to zero-order tensors as scalars, first-order tensors as vectors and second-order tensors simply as tensors. Also, to avoid confusing notation, we denote an independent scalar variable as z, vector variable as \(\varvec{z}\) and tensor variable as \(\varvec{Z}\). Similar to classical continuum mechanics, in peridynamics the problem is associated with a potential energy function whose first and second derivatives are required in order to employ the Newton–Raphson method. Therefore, we present our framework here for scalar-valued functions with scalar, vector or tensor arguments. Such a function could represent a potential energy function. Assume \(\phi \) is a scalar-valued function whose independent variables could be scalars \(\phi (z)\), vectors \(\phi (\varvec{z})\) or tensors \(\phi (\varvec{Z})\). For the scalar variable z, using Eq. (27), the first and second derivatives of \(\phi (z)\) can be obtained as
Next, let \(\varvec{a}_{1}\) and \(\varvec{a}_{2}\) be two arbitrary vectors. Then, for the vector variable \(\varvec{z}\), the first and second directional derivatives of \(\phi (\varvec{z})\) in the directions \(\varvec{a}_{1}\) and \(\varvec{a}_{2}\) are calculated as
Similarly, we assume \(\varvec{A}_{1}\) and \(\varvec{A}_{2}\) to be two arbitrary tensors. Then, for the tensor variable \(\varvec{Z}\), the first and second directional derivatives of \(\phi (\varvec{Z})\) in the directions \(\varvec{A}_{1}\) and \(\varvec{A}_{2}\) are calculated as
For further details and application of tensorial derivatives in hyperelasticity see [48, 49].
3.3 Comments on computational efficiency
The computational efficiency in derivative calculation between available methods is ranked sequentially as: analytical methods, finite difference method, complex numbers method, dual numbers method and hyper-dual numbers method, respectively [48, 49, 69]. However, the gap between the performance of methods decreases as the number of degrees of freedom in the problem increases. This is due to the fact that instead of the derivative calculation and assembly procedure, it is the solution time (inverse computation) that dominates in the computational efficiency. Figure 3 compares the computational effort required when differentiation is carried out using hyper-dual numbers (blue line) versus analytical method (red line) for our implementation. The vertical the vertical axis represents the ratio of the assembly time over the solution time and horizontal axis represents the number of DOFs. It is observed that as the number of degrees of freedom increases, the computational effort gap between the analytical scheme and hyper-dual numbers decreases. As shown in Table 3, it is observed that the summation of two hyper-dual numbers requires four real summations. Also, multiplication of two hyper-dual numbers require nine real multiplications plus five real summations. Such extended algebraic calculations are the main sources of computational cost associated with hyper-dual numbers. For example, the calculation of the Hessian using hyper-dual numbers is 2.5 times slower than the central difference method and 5 times slower than the forward difference method [41]. However, via adopting a mixed approach, the differentiation efficiency using hyper-dual numbers can be significantly improved in case of iterative methods such as the Newton–Raphson method. That is, instead of obtaining the convergence using hyper-dual numbers, the convergence can be obtained using real numbers and then the derivatives can be calculated via a single step hyper-dual evaluation. Such a strategy could lead the hyper-dual differentiation to be even more robust than the finite difference schemes, see [41, 43] for further details.
4 CPD with hyper-dual numbers
The final step to complete our proposed generic computational framework is to calculate the derivatives required for residual and tangents. In doing so, we carry out the differentiations using hyper-dual numbers. This strategy has three main advantages; it is compact, exact and model-independent. Thus, as the framework is implemented, any other material model can be incorporated via modifying the potential energy function solely. As mentioned before, there exist three interaction potential energy densities as
associated with one-, two- and three-neighbor interactions. All the potential energies are scalar-valued functions. The first two potential energies have vectors as their argument and the third potential energy has a scalar argument. Note, Eq. (32) is a more specific form of Eq. (10). All the derivations in this section are expressed in index notation. To begin, we rewrite the three relative deformation measures as
Similarly, for the residual we have
for which the first derivatives of the potential energy with respect to the relative deformation measures are required. Using the formulation presented in Eqs. (29) and (30) we have
with \(\varvec{e}_{m}\) being the unit vector in the mth coordinate direction. To proceed with the calculation of tangents, we rewrite Eq. (20) in index notation as
Moreover, to use the chain rule, the following constitutive model-independent, geometric relations prove to be useful
for the details on the derivations, see Appendix B. Accordingly, using relations in Eq. (37), the final form of the tangents read
The last step to determine the tangents is to calculate the second derivatives of the potential energy with respect to the relative deformation measures. Using the formulations presented in Eqs. (29)–(31) we have
As mentioned earlier, the main advantage of our proposed framework is that it is model-independent. That is, once it is implemented, any other material model can be incorporated via modifying the potential energy function solely.
5 Internal potential energy
The last step to complete our proposed framework is to define an internal energy potential. In this manuscript, we define a family of internal potential energies based on the Seth–Hill strain measures. To proceed, it proves convenient to define scalar-valued ratios of the deformation measures in CPD as
As mentioned before, the internal potential energy consists of the contribution of one-, two- and three-neighbor interactions. Accordingly we define the discretized energies as
with the sufficient but not necessary conditions \(C_{1}>0\), \(C_{2}\ge 0\) and \(C_{3}\ge 0\) to guarantee positiveness of the energy, where
Figure 4 illustrates the behavior of the functions \(S_{1}\) and \(\psi ^{ai}_{1}\) with respect to \(\lambda _{\varvec{\xi }}\) for different values of n. Note, for the potential energy (bottom plot) we assume \(C_{1}=1\) and \(|\varvec{\Xi }^{ai}|=1\). For \(\lambda _{\varvec{\xi }}<1\), smaller values of n render higher energy potentials whereas for \(\lambda _{\varvec{\xi }}>1\) the opposite behavior is observed.
6 Numerical examples
The objective of this section is to illustrates the performance of our proposed computational framework enabled by hyper-dual numbers. In doing so, three different studies are carried out with different combinations of the internal potential energies introduced in Eqs. (41) and (42). Our simulations demonstrate the influence of multi-neighbor interactions on the material response together with the robustness of the framework and its consistent quadratic convergence even at very large deformations. All the examples are solved using our in-house CPD code written in C++.
6.1 Uniaxial tension
The objective of this study is to evaluate the accuracy of the computations using hyper-dual numbers. In doing so, a unit specimen is subject to \(100\%\) uniaxial tension and the convergence behaviors due to analytical derivatives and hyper-dual numbers derivatives are compared. Figure 5 illustrates a 2D analysis where two different material behaviors are considered. The left column corresponds to a compressible material behavior where \(C_{2}/C_{1}=0\) and the right column corresponds to the case with nearly incompressible material behavior where \(C_{2}/C_{1}\gg 1\) .Footnote 2 The grid spacing for both cases is \(\Delta =0.01\) and the ratio of the horizon size over grid spacing is \(\delta /\Delta =3\). For this study, we consider the potential energy introduced in Eqs. (41) and (42) with \(n=1\). Thus, \(S_1 = \left[ \lambda _{\varvec{\xi }}-1 \right] \), \(S_2 = \left[ \lambda _{\varvec{a}}-1 \right] \) and \(S_3 = \left[ \lambda _{v}-1 \right] \). The undeformed configurations are depicted at the top and the deformed configurations at the intermediate steps are shown subsequently. The vertical displacement distribution is shown throughout each specimen. It is observed that the case with \(C_{2}/C_{1}\gg 1\) renders more lateral contraction compared to the case with \(C_{2}/C_{1}=0\) which is justifiable since larger values of \(C_{2}/C_{1}\) indicate more incompressibility. Table 5 compares the convergence behavior associated with Fig. 5-left for the compressible material behavior. The top segment corresponds to the case where the differentiation is carried out using hyper-dual numbers and the bottom segment corresponds to the case where the differentiation is calculated analytically. Columns correspond to different deformation magnitudes whereas rows show the normalized \(L_{2}\)-norm of the residual at each Newton–Raphson iteration. A quadratic convergence rate is observed for both cases which is expected due to the use of Newton–Raphson scheme. The convergence due to hyper-dual numbers is identical to the one obtained by analytical derivations for the first few steps. Minor differences are observed at the last steps which originate from machine precision induced round-off. Table 4 is the counter part of Table 5 for the nearly incompressible material behavior associated with Fig. 5-right. Similar to the previous case, an identical trend is observed for the convergence due to the hyper-dual numbers and the analytical derivatives.
Figure 6 illustrates a 3D analysis where a unit cube is subject to \(100\%\) uniaxial tension. The grid spacing for this study is \(\Delta =0.05\) and the ratio of the horizon size over grid spacing is \(\delta /\Delta =3\). Three different types of interactions are considered for this example. One-neighbor interactions with \(C_{2}/C_{1}=0\) and \(C_{3}/C_{1}=0\) render compressible or length-preserving material behavior, one- and two-neighbor interactions with \(C_{2}/C_{1}\gg 1\) and \(C_{3}/C_{1}=0\) render nearly area-preserving behavior, and one- and three-neighbor interactions with \(C_{2}/C_{1}\gg 1\) and \(C_{3}/C_{1}\gg 1\) rendering volume-preserving behavior Footnote 3. As demonstrated in [13], we emphasize that it is not possible to have only two-neighbor interactions or only three-neighbor interactions. When only one neighbor interactions are taken into account, the least contraction is obtained which leads to increased compressibility. More incompressibility is observed when one- and two-neighbor interactions or one- and three-neighbor interactions are considered. It is important to note that although accounting for both two-neighbor interactions and three-neighbor interactions result in decreased compressibility, the solutions are different indicating that they indeed correspond to a different deformations. Tables 6, 7, 8 exhibit the convergence behavior for the three material behaviors in Fig. 6. Similarly, the residual obtained via hyper-dual number differentiation and analytical differentiation are almost identical where only minor differences are observed at the very last steps.
6.2 Bending
In this study we exhibit the capability of CPD to tackle with problems involving large deformations. In doing so, a cantilever beam is subject to rotation and compression at its free end as shown in Fig. 7. The top row corresponds to a 3D analysis and the bottom row corresponds to a 2D analysis. For both cases, the grid spacing for this study is \(\Delta =0.02\) and the ratio of the horizon size over grid spacing is \(\delta /\Delta =3\). The material constants in this example are \(C_{1}=1\) and \(C_{2}=10^4\). The colors indicate the deflection in y-direction and the intermediate deformed configurations are depicted for each case. For this study, we consider the potential energy introduced in Eqs. (41) and (42) with \(n=2\). Thus, \(S_1 = \tfrac{1}{2} \left[ \lambda _{\varvec{\xi }}^2-1 \right] \) and \(S_{2} = \tfrac{1}{2} \left[ \lambda ^{2}_{a}-1\right] \) For all the cases, the aspect ratio of the beam is 25 and one- and two-neighbor interactions are considered representing a compressible material response. The deformation is applied such that at each increment the points are incrementally rotated with respect to the clamped end and then are vertically compressed proportional to their initial displacement. For instance, if a point’s vertical displacement due to the initial rotation is x, then after the rotation it is vertically compressed with a magnitude of ax with \(0<a<1\). Three different values for a are considered in this study. In the left column the compression magnitude is \(a=0.1\), in the middle column the compression magnitude is \(a=0.3\) and in the right column the compression magnitude is \(a=0.5\). As the compression magnitude increases, it is observed that the beams tend to increase their curvature in order to maintain their length.
6.3 Torsion
The final example is devised to compare the robustness of our computational framework for bulk-dominated and surface-dominated geometries. Figures 8 and 9 exhibit two blocks with slenderness ratios of 2 and 4, respectively, that are subject to \(180^{\circ }\) torsion. For both cases the material constants are \(C_{1}=1\), \(C_{2}=0\) and \(C_{3}=10^8\). The deformed bodies together with their corresponding convergence are shown at different twisting angles. The colors indicate the deflection in y-direction. For both cases, the grid spacing for this study is \(\Delta =0.02\) and the ratio of the horizon size over grid spacing is \(\delta /\Delta =3\). For this study, we consider the potential energy introduced in Eqs. (41) and (42) with \(n=0\), thus, \(S_1 = \ln \lambda _{\varvec{\xi }}\) and \(S_3=\ln \lambda _{v}\). For the block with slenderness ratio 2, since the value of the horizon is small compared to the block’s cross-section, the problem is more of a bulk-dominated type. On the other hand, for the block with slenderness ratio of 4, the problem is more of a surface-dominated type due to comparable values of the horizon and cross-section. Fewer steps are required to obtain the convergence for the case with larger slenderness ratio which is understandable since there are less collocations points hence less degrees of freedom. Nonetheless, it is observed that our computational framework can deal with large deformations without losing its robustness.
6.4 Nonlocality
Finally, as the last study, we aim to demonstrate the nonlocality of CDP. In doing so, as depicted in Fig. 10, an infinitesimal vertical displacement is applied to an L-shaped specimen and the value of the von Mises stress in the vicinity of the sharp corner highlighted in Fig. 10 is investigated in both vertical and horizontal directions. For this study, the ratio of the horizon size to grid spacing is fixed \(\delta /\Delta =3.0\) and the value of the grid spacing \(\Delta \) is increased, leading to a more nonlocal behavior. This example is carried out for a compressible material behavior where \(\nu =0.33\), thus we set the material constant \(C_{2}\) to zero and change \(C_{1}\) in accordance with \(\Delta \) in order to satisfy \(\nu =0.33\), see [18] for further details. In Fig. 10 left, the von Mises stress in the horizontal direction is plotted and in Fig. 10 right, the von Mises stress in the vertical direction is plotted. It is observed that as the value of grid spacing \(\Delta \) increases, the stress concentration at the vicinity of the corner decreases which indicates a more nonlocal response. Similarly, the highest stress concentration occurs for the case with the most local effect which is associated with smallest \(\Delta \). Note that for this study, we consider the potential energy introduced in Eqs. (41) and (42) with \(n=1\). Thus, \(S_1=\left[ \lambda _{\varvec{\xi }}-1 \right] \).
Motivated by the previous observation regarding the capability of CPD to capture nonlocal effects, our methodology can be adopted to determine the overall response materials with complex micro-structures. A well-known example of such material is brain tissue. Several studies has been carried out to determine the mechanical properties of brain tissue [71,72,73]. Figure 11 shows a brain sample with its cut-out which is subject to infinitesimal shear deformation. Such specimen is utilized to carry out rheometry analysis in order to determine the mechanical properties of brain matter. Undoubtedly, investigation of the nonlocal effects in brain matter and determining the proper potential energy together with parameter identification seems desirable. However, such analysis is beyond the scope of this manuscript and shall be carried out in a separate contribution. For relevant studies on applications of peridynamics in biomechanics see [74,75,76].
7 Conclusion
Continuum-kinematics-inspired peridynamics (CPD) has been briefly introduced as a geometrically exact alternative to PD to formulate nonlocal continuum mechanics. Next, hyper-dual numbers and their underlying algebra were recapitulated and the associated differentiations with respect to scalar, vector and tensor arguments were elaborated. Based thereon, we developed a computational framework furnished with automatic differentiation for implementation of CPD via employing hyper-dual numbers. The proposed computational framework is compact and model-independent, and suitable to incorporate any sophisticated material model via modifying the potential energy solely. Using the Seth–Hill strain measures, we proposed a family of internal potential energies that could be utilized for various material modelings. Through a set of numerical examples the performance and versatility of our proposed computational framework was evaluated while considering various loadings and material models. The convergence due to hyper-dual numbers proved to be highly accurate and identical to the one obtained by analytical derivations. The numerical implementation and solution procedure were robust and showed the asymptotically quadratic rate of convergence associated with the Newton–Raphson scheme. Taken together, differentiation via hyper-dual numbers renders CPD as a compelling computational framework to study a broad variety of nonlocal materials.
Notes
The term “accurate” in accurate differentiation in fact implies precise with no truncation or round-off errors. Finite difference methods can also have subsets based on their order of “accuracy” but it does not mean accurate in the sense of our accurate category.
The relation \(C_{2}/C_{1}\gg 1\) in CPD is our way of expressing incompressibility. The actual values of of the material parameters for this case is \(C_1=2.8266\times 10^{6}\) and \(C_2=2.8973\times 10^{12}\).
The relation \(C_{3}/C_{1}\gg 1\) in CPD is our way of expressing incompressibility. The actual values of of the material parameters for this case is \(C_1=1.83\times 10^{5}\) and \(C_2=1.21\times 10^{12}\).
References
Silling SA (2000) Reformulation of elasticity theory for discontinuities and long-range forces. J Mech Phys Solids 48:175–209
Silling SA, Lehoucq RB (2010) Peridynamic theory of solid mechanics. Adv Appl Mech 44:73–168
Silling SA, Epton M, Weckner O, Xu J, Askari E (2007) Peridynamic states and constitutive modeling, 88
Madenci E, Oterkus E (2014) Peridynamics theory and its applications, vol 91. Springer
Friebertshäuser K, Werner M, Weinberg K (2022) Dynamic fracture with continuum-kinematics-based peridynamics. AIMS Mater Sci 9:791–807
Khosravani MR, Friebertshäuser K, Weinberg K (2022) On the use of peridynamics in fracture of ultra-high performance concrete. Mech Res Commun 123:103899
Nguyen CT, Oterkus S, Oterkus E (2021) An energy-based peridynamic model for fatigue cracking. Eng Fract Mech 241:107373
Wang H, Oterkus E, Oterkus S (2018) Predicting fracture evolution during lithiation process using peridynamics. Eng Fract Mech 192:176–191
Vazic B, Wang H, Diyaroglu C, Oterkus S, Oterkus E (2017) Dynamic propagation of a macrocrack interacting with parallel small cracks. AIMS Mater Sci 4:118–136
Javili A, Morasata R, Oterkus E, Oterkus S (2019) Peridynamics review. Math Mech Solids 24:3714–3739
Hattori G, Trevelyan J, Coombs WM (2018) A non-ordinary state-based peridynamics framework for anisotropic materials. Comput Methods Appl Mech Eng 339:416–442
Javili A, McBride AT, Steinmann P (2019) Continuum-kinematics-inspired peridynamics. Mechanical problems. J Mech Phys Solids 131:125–146
Javili A, Firooz S, McBride AT, Steinmann P (2020) The computational framework for continuum-kinematics-inspired peridynamics. Comput Mech 66:795–824
Javili A, McBride AT, Steinmann P (2021) A geometrically exact formulation of peridynamics. Theoret Appl Fract Mech 111:102850
Javili A, Ekiz E, McBride AT, Steinmann P (2021) Continuum-kinematics-inspired peridynamics: thermo-mechanical problems. Continuum Mech Thermodyn 33:2039–2063
Schaller E, Javili A, Steinmann P (2022) Open system peridynamics. Continuum Mech Thermodyn 34:1125–1141
Zhou XP, Tian DL (2021) A novel linear elastic constitutive model for continuum-kinematics-inspired peridynamics. Comput Methods Appl Mech Eng 373:113479
Ekiz E, Steinmann P, Javili A (2022) Relationships between the material parameters of continuum-kinematics-inspired peridynamics and isotropic linear elasticity for two-dimensional problems. Int J Solids Struct 238:111366
Ekiz E, Steinmann P, Javili A (2022) From two- to three-dimensional continuum-kinematics-inspired peridynamics: more than just another dimension. Mech Mater 173:104417
Laurien M, Javili A, Steinmann P (2021) Nonlocal wrinkling instabilities in bilayered systems using peridynamics. Comput Mech 68:1023–1037
Schaller E, Javili A, Schmidt I, Papastavrou A, Steinmann P (2022) A peridynamic formulation for nonlocal bone remodelling. Comput Methods Biomech Biomed Engin 25:1835–1851
Javili A, McBride AT, Mergheim J, Steinmann P (2021) Towards elasto-plastic continuum-kinematics-inspired peridynamics. Comput Methods Appl Mech Eng 380:113809
Tian DL, Zhou XP (2021) A continuum-kinematics-inspired peridynamic model of anisotropic continua: elasticity, damage, and fracture. Int J Mech Sci 199:106413
Friebertshäuser K, Thomas M, Tornquist S, Weinberg K, Wieners C (2023) Dynamic fracture with a continuum-kinematics-based peridynamic and a phase-field approach. Proc Appl Math Mech 22(1):e202200217
Laurien M, Javili A, Steinmann P (2022) A nonlocal interface approach to peridynamics exemplified by continuum-kinematics-inspired peridynamics. Int J Numer Meth Eng 123:3464–3484
Laurien M, Javili A, Steinmann P (2022) Peridynamic modeling of nonlocal degrading interfaces in composites. Forces Mech 10:100124
Pérez-Foguet A, Rodriguez-Ferran A, Huerta A (2000) Numerical differentiation for local and global tangent operators in computational plasticity. Comput Methods Appl Mech Eng 189:277–296
Sun W, Chaikof EL, Levenston ME (2008) Numerical approximation of tangent moduli for finite element implementations of nonlinear hyperelastic material models. J Biomech Eng 130:061003
Martins JRRA, Hwang JT (2013) Review and unification of methods for computing derivatives of multidisciplinary computational models. AIAA J 51:2582–2599
Martins JRRA, Kroo IM, Alonso JJ (2000) An automated method for sensitivity analysis using complex variables, In: 38th Aerospace Sciences Meeting and Exhibit
Martins JRRA, Sturdza P, Alonso JJ (2003) The complex-step derivative approximation. ACM Transact Math Soft 29:245–262
Study E (1891) Von den Bewegungen und Umlegungen. Math Ann 39:441–565. https://doi.org/10.1007/bf01199824
Kim S, Ryu J, Cho M (2011) Numerically generated tangent stiffness matrices using the complex variable derivative method for nonlinear structural analysis. Comput Methods Appl Mech Eng 200:403–413
Lai KL, Crassidis JL (2008) Extensions of the first and second complex-step derivative approximations. J Comput Appl Math 219:276–293
Keler ML (1973) Kinematics and statics including friction in single-loop mechanisms by screw calculus and dual vectors. J Eng Industry 95:471–480
Veldkamp GR (1976) On the use of dual numbers, vectors and matrices in instantaneous, spatial kinematics. Mech Mach Theory 11:141–156
Kiran R, Khandelwal K (2014) Complex step derivative approximation for numerical evaluation of tangent moduli. Comput Struct 140:1–13
Brodsky V, Shoham M (1999) Dual numbers representation of rigid body dynamics. Mech Mach Theory 34:693–718
Pennestri E, Stefanelli R (2007) Linear algebra and numerical algorithms using dual numbers. Multibody SysDyn 18:323–344
Laue S (2019) On the equivalence of forward mode automatic differentiation and symbolic differentiation, arXiv preprint
Fike JA, Alonso J (2011) The development of hyper-dual numbers for exact second-derivative calculations, In: 49th AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition, pp. 1–17
Clifford C (1871) Preliminary sketch of biquaternions. Proc Lond Math Soc 1:381–395
Fike JA, Jongsma S, Alonso JJ, van der Weide E (2011) Optimization with gradient and hessian information calculated using hyper-dual numbers, In: 29th AIAA Applied Aerodynamics Conference, pp. 1–19
Imoto Y, Yamanaka N, Uramoto T, Tanaka M, Fujikawa M, Mitsume N (2020) Fundamental theorem of matrix representations of hyper-dual numbers for computing higher-order derivatives. JSIAM Lett 12:29–32
Cohen A, Shoham M (2018) Principle of transference-an extension to hyper-dual numbers. Mech Mach Theory 125:101–110
Endo VT, Fancello EA, Muñoz-Rojas PA (2021) Second-order design sensitivity analysis using diagonal hyper-dual numbers. Int J Numer Meth Eng 122:7134–7155
Kiran R, Khandelwal K (2015) Automatic implementation of finite strain anisotropic hyperelastic models using hyper-dual numbers. Comput Mech 55:229–248
Tanaka M, Sasagawa T, Omote R, Fujikawa M, Balzani D, Schröder J (2015) A highly accurate 1st- and 2nd-order differentiation scheme for hyperelastic material models based on hyper-dual numbers. Comput Methods Appl Mech Eng 283:22–45
Tanaka M, Balzani D, Schröder J (2016) Implementation of incremental variational formulations based on the numerical calculation of derivatives using hyper dual numbers. Comput Methods Appl Mech Eng 301:216–241
Cohen A, Shoham M (2016) Application of hyper-dual numbers to multibody kinematics. J Mech Robot 8:2–5
Cohen A, Shoham M (2020) Hyper dual quaternions representation of rigid bodies kinematics. Mech Mach Theory 150:103861
Cohen A, Shoham M (2017) Application of hyper-dual numbers to rigid bodies equations of motion. Mech Mach Theory 111:76–84
Rehner P, Bauer G (2021) Application of generalized (Hyper-) dual numbers in equation of state modeling. Front Chem Eng 3:1–7
Brake MRW, Fike JA, Topping SD (2016) Parameterized reduced order models from a single mesh using hyper-dual numbers. J Sound Vib 371:370–392
Fujii F, Tanaka M, Sasagawa T, Omote R (2017) Computational two-mode asymptotic bifurcation theory combined with hyper dual numbers and applied to plate/shell buckling. Comput Methods Appl Mech Eng 325:666–688
Fohrmeister V, Bartels A, Mosler J (2018) Variational updates for thermomechanically coupled gradient-enhanced elastoplasticity – Implementation based on hyper-dual numbers. Comput Methods Appl Mech Eng 339:239–261
Murai D, Omote R, Tanaka M (2022) The method for solving topology optimization problems using hyper-dual numbers. Arch Appl Mech 92:2813–2824
Bonney MS, Kammer DC, Brake MRW (2015) Fully parameterized reduced order models using hyper-dual numbers and component mode synthesis, In: Proceedings of the ASME 2015 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, pp. 1–7
Wang L, Abeyaratne R (2018) A one-dimensional peridynamic model of defect propagation and its relation to certain other continuum models. J Mech Phys Solids 116:334–349
Thevamaran R, Fraternali F, Daraio C (2014) Multiscale mass-spring model for high-rate compression of vertically aligned carbon nanotube foams. J Appl Mech 81:121006
Nadkarni N, Daraio C, Kochmann DM (2014) Dynamics of periodic mechanical structures containing bistable elastic elements: from elastic to solitary wave propagation. Phys Rev E 90:023204
Scott AC (1969) A Nonlinear Klein-Gordon Equation. Am J Phys 37:52–61
Bishop AR, Lewis WF (1979) A theory of intrinsic coercivity in narrow magnetic domain wall materials. J Mech Phys Solids 12:3811–3825
Rotermund HH, Jakubith S, von Oertzen A, Ertl G (1991) Solitons in a surface reaction. Phys Rev Lett 66:3083–3088
Brothers MD, Foster JT, Millwater HR (2014) A comparison of different methods for calculating tangent-stiffness matrices in a massively parallel computational peridynamics code. Comput Methods Appl Mech Eng 279:247–267
Littlewood D (2015) Roadmap for software implementation, Tech. Rep. October, Sandia National Lab
Bode T (2021) Peridynamic Galerkin methods for nonlinear solid mechanics, Ph.D. thesis, Gottfried Wilhelm Leibniz Universität Hannover
Bode T, Weißenfels C (2020) Wriggers, Peridynamic petrov-galerkin method: a generalization of the peridynamic theory of correspondence materials. Comput Methods Appl Mech Eng 358:112636
Rothe S, Hartmann S (2015) Automatic differentiation for stress and consistent tangent computation. Arch Appl Mech 85:1103–1125
Saeb S, Steinmann P, Javili A (2016) Aspects of computational homogenization at finite deformations: a unifying review from Reuss’ to Voigt’s Bound. Appl Mech Rev 68:050801
Budday S, Nay R, de Rooij R, Steinmann P, Wyrobek T, Ovaert TC, Kuhl E (2015) Mechanical properties of gray and white matter brain tissue by indentation. J Mech Behav Biomed Mater 46:318–330
Budday S, Sommer G, Birkl C, Langkammer C, Haybaeck J, Kohnert J, Bauer M, Paulsen F, Steinmann P, Kuhl E et al (2017) Mechanical characterization of human brain tissue. Acta Biomater 48:319–340
Budday S, Ovaert TC, Holzapfel GA, Steinmann P, Kuhl E (2020) Fifty shades of brain: a review on the mechanical testing and modeling of brain tissue. Arch Comput Methods Eng 27:1187–1230
Lejeune E, Linder C (2017) Modeling tumor growth with peridynamics. Biomech Model Mechanobiol 16:1141–1157
Lejeune E, Linder C (2018) Modeling mechanical inhomogeneities in small populations of proliferating monolayers and spheroids. Biomech Model Mechanobiol 17:727–743
Lejeune E, Linder C (2021) Modeling biological materials with peridynamics, In: Peridynamic Modeling, Numerical Techniques, and Applications, Elsevier, pp. 249–273
Lantoine G, Russell RP, Dargent T (2012) Using multicomplex variables for automatic computation of high-order derivatives. ACM Transact Math Soft 38:1–21
Acknowledgements
Ali Javili gratefully acknowledge the support provided by Scientific and Technological Research Council of Turkey (TÜBITAK) Career Development Program, grant number 218M700. Paul Steinmann and Soheil Firooz gratefully acknowledge the support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) project number 460333672 – CRC 1540 Exploring Brain Mechanics (subproject C01).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Numerical differentiation
In this section, various numerical differentiation methods are introduced and their associated error sources are highlighted and compared against each other. The most well-known numerical differentiation technique is the finite difference method. Aside from the finite difference method, complex, double and dual number systems have been developed to calculate the derivatives in a more accurate or a more simple fashion. These numbers were extended to hyper-complex, hyper-double and hyper-dual numbers in order to offer better accuracy for the calculation of second derivatives. Table 9 gathers all the aforementioned number systems together with their features. Assume x is a generic independent variable, f(x) is a generic function and h is a real number. The Taylor series expansion of f(x) reads
with h being the perturbation value. In what follows, the performance of various numerical differentiation techniques is evaluated in approximating the first and second derivative of our newly defined logarithmic potential energy which reads
with x being the independent parameter representing \(|\varvec{\xi }^{ai}|\).
1.1 Appendix A.1: Finite difference method
Before elaborating on some advanced numerical differentiation methods, it is worthwhile to give a brief overview on the finite difference method in order to set the stage for further comparisons. There exist three main approaches to the finite difference method for the calculation of first and second derivatives. The first approach uses the backward difference formula which calculates the first and second derivatives of f(x) as
The second approach uses the forward difference formula which calculates the first and second derivatives of f(x) as
The third approach uses the central difference formula which offers higher accuracy and reads
1.2 Appendix A.2: Complex and hyper-complex numbers
For ordinary complex numbers [30, 31], the perturbation value takes the form ih with i the imaginary unit with the property \(i^2=-1\). Accordingly, the Taylor expansion of the function f(x) takes the form
that could be split in a real part and an imaginary part as
Accordingly, the first and second derivatives of f(x) can be calculated as
It is observed that for the first derivative, the subtractive cancellation error is eliminated whereas the truncation error still exist. The second derivative though, is subject to both subtractive cancellation and truncation errors.
Hyper-complex numbers are characterized by one real part and three non-real parts [77]. A hyper-complex number \(\widehat{a}\) is defined as
Accordingly, the real and non-real operators are defined as
For the sake of simplicity, it is assumed that \(a_{1}=a_{2}=h\) and \(a_{12}=0\) hence \(\widehat{a} = a_{0} + hi_{1} +hi_{2}\). Therefore, the Taylor series expansion of the function \(f(x+hi_{1}+hi_{2})\) reads
that could be split into four parts as
The first and second derivatives of f(x) can thus be calculated as
Note that the operators \(\Im _{i_{1}}\), \(\Im _{i_{2}}\) and \(\Im _{i_{12}}\) extract the multiples to the non-real parts \(i_{1}\), \(i_{2}\) and \(i_{12}\), respectively. It is clear that upgrading the complex numbers to hyper-complex numbers eliminates the subtractive cancellation errors from second derivative whereas the truncation errors are still present.
1.3 Appendix A.3: Double and hyper-double numbers
Double numbers are distinguished from complex numbers via their non-real part [42]. For double numbers, the perturbation value takes the form he with e being the non-real part with the property \(e^2=+1\). Accordingly, the Taylor expansion of the function f(x) takes the form
that could be split in a real part and a non-real part as
The first and second derivatives of f(x) can thus be calculated as
Similar to the ordinary complex numbers, the first derivative is only subject to truncation error while the second derivative suffers from both subtractive cancellation and truncation errors.
Hyper-double numbers are characterized by one real part and three non-real parts. A hyper-double number \(\widetilde{a}\) is defined as
Accordingly, the real and non-real operators are defined as
For the sake of simplicity, it is usually assumed that \(a_{1}=a_{2}=h\) and \(a_{12}=0\) hence \(\widetilde{a} = a_{0} + he_{1} +he_{2}\). Therefore, the Taylor series expansion of the function \(f(x+he_{1}+he_{2})\) reads
that could be split into four parts as
The first and second derivatives of f(x) can thus be calculated as
Note that the operators \(\Im _{e_{1}}\), \(\Im _{e_{2}}\) and \(\Im _{e_{12}}\) extract the multiples to the non-real parts \(e_{1}\), \(e_{2}\) and \(e_{12}\), respectively. It is clear that upgrading the double numbers to hyper-double numbers eliminates the subtractive cancellation errors for both first and second derivatives whereas the truncation errors are still present.
1.4 Appendix A.4: Dual and hyper-dual numbers
Dual numbers are distinguished from complex numbers via their non-real or non-real part [32]. For dual numbers, the perturbation value takes the form \(h \epsilon \) with \(\epsilon \) being the non-real part with the property \(\epsilon ^2=0\). Accordingly, the Taylor expansion of the function f(x) takes the form
consisting of a real and a non-real part. Note, in this case, the Taylor expansion of the function itself does not suffer from any truncation error. Subsequently, the first derivative of f(x) can be calculated as
Although both subtractive cancellation error and truncation error are eliminated for the first derivatives of f(x), the second derivatives cannot be calculated due to the vanishing higher order terms in the Taylor expansion.
The hyper-dual numbers are characterized with one real part and three non-real parts. A hyper-dual number \(\overline{a}\) is defined as
Accordingly, the real and non-real operators are defined as
For the sake of simplicity, it is usually assumed that \(a_{1}=a_{2}=h\) and \(a_{12}=0\) hence \(\overline{a} = a_{0} + h\epsilon _{1} +h\epsilon _{2}\). Therefore, the Taylor series expansion of the function \(f(x+h\epsilon _{1}+h\epsilon _{2})\) reads
that could be rewritten as
The first and second derivatives of f(x) can be calculated as
Note that the operators \(\Im _{\epsilon _{1}}\), \(\Im _{\epsilon _{2}}\) and \(\Im _{\epsilon _{12}}\) extract the multiples to the non-real parts \(\epsilon _{1}\), \(\epsilon _{1}\) and \(\epsilon _{12}\), respectively. It is observed that the first and the second derivatives suffer from neither truncation errors nor subtractive cancellation errors. As a result, both derivatives are calculated in an exact manner. Table 10 gathers all the aforementioned numerical differentiation methods and the types of errors they suffer from (Fig. 12). Figure 12 compares the performance of the presented numerical differentiation techniques in approximating the first and second derivative of potential energy defined in Eq. A.2
Appendix B: Derivatives of CPD deformation measures
Suppose \(\{\bullet \}\) is an arbitrary variable and its derivation with respect to the point \(\varvec{x}^b\) is sought. Depending on the relative deformation measures \(\{\bullet \}\), three different possibilities exist. If \(\{\bullet \}\) depends on one relative deformation measure \(\varvec{\xi }^{ai}\), we have
If \(\{\bullet \}\) depends on two relative deformation measures \(\varvec{\xi }^{ai}\) and \(\varvec{\xi }^{aj}\), we have
and finally if \(\{\bullet \}\) depends on three relative deformation measures \(\varvec{\xi }^{ai}\), \(\varvec{\xi }^{aj}\) and \(\varvec{\xi }^{ak}\), we have
Accordingly we have
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Firooz, S., Javili, A. & Steinmann, P. A versatile implicit computational framework for continuum-kinematics-inspired peridynamics. Comput Mech 73, 1371–1399 (2024). https://doi.org/10.1007/s00466-023-02415-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00466-023-02415-7