## Abstract

Peridynamics (PD) is a non-local continuum formulation. The original version of PD was restricted to bond-based interactions. Bond-based PD is geometrically exact and its kinematics are similar to classical continuum mechanics (CCM). However, it cannot capture the Poisson effect correctly. This shortcoming was addressed via state-based PD, but the kinematics are not accurately preserved. Continuum-kinematics-inspired peridynamics (CPD) provides a geometrically exact framework whose underlying kinematics coincide with that of CCM and captures the Poisson effect correctly. In CPD, one distinguishes between one-, two- and three-neighbour interactions. One-neighbour interactions are equivalent to the bond-based interactions of the original PD formalism. However, two- and three-neighbour interactions are fundamentally different from state-based interactions as the basic elements of continuum kinematics are preserved precisely. The objective of this contribution is to elaborate on computational aspects of CPD and present detailed derivations that are essential for its implementation. Key features of the resulting computational CPD are elucidated via a series of numerical examples. These include three-dimensional problems at large deformations. The proposed strategy is robust and the quadratic rate of convergence associated with the Newton–Raphson scheme is observed.

## Introduction

Peridynamics is an alternative approach to formulate non-local continuum mechanics [1]; its roots can be traced back to the pioneering works of Piola [2, 3]. However, it is fundamentally different from established non-local elasticity [see [4, 5], among others] as the concepts of stress and strain are absent. As a non-local theory, the behaviour of each material point is influenced by interactions with other material points in their finite vicinity. In contrast to CCM, the governing equations of PD are integro-differential equations appropriate for problems involving discontinuities such as cracks and interfaces. Given that PD inherently accounts for geometrical discontinuities, it provides a suitable framework for fracture mechanics and related problems [6,7,8,9,10,11,12,13,14,15,16,17]. However, the range of PD applications is broad and not limited to fracture. PD has experienced prolific growth as an area of research, with a significant number of contributions in multiple disciplines. Various applications and extensions of PD not dealing exclusively with material failure include quasi-static problems [18,19,20,21,22], coupled problems [23,24,25,26,27], multiscale modeling [28,29,30,31,32,33,34,35], structural mechanics [36,37,38,39,40], constitutive models [41,42,43,44,45,46,47,48], biomechanics [49, 50], and wave dispersion [51,52,53,54,55,56,57]. For an extensive study of the balance laws, applications, and implementations, see [58]. For a brief description of PD together with a review of its applications and related studies in different fields to date, see [59]. Very recently, Bode et al. [60, 61] proposed a mixed PD formulation as a generalization of PD theory that offers a stable alternative suitable for finite deformations, also referred to as Peridynamic Petrov–Galerkin method. Fundamental works on PD are growing in number but are still relatively limited, see e.g. [62, 63]. Note, that while the discretised format of PD bears a similarity to discrete mechanics, it is still a continuum formulation. For further connections and differences between PD theory, continuum mechanics and particle systems, see the contributions [64,65,66,67], among others.

The original PD theory of Silling [1] was restricted to bond-based interactions. This limited its applicability for material modelling. For example, the theory was unable to account for a Poisson ratio other than 1/4 for isotropic materials. This shortcoming was addressed in various contributions and finally rectified in [68] via the introduction of the notion of *state* and the categorising of interactions as bond-based, ordinary state-based or non-ordinary state-based; see also [69] for an alternative approach and see [70] for a discussion on Poisson’s ratio in lattice peridynamics model. The kinematics in state-based PD do not exactly follow the motion of a continuum body and can lead to non-physical deformation modes or instabilities, as discussed in [45, 71] in the context of *correspondence*. Recently, Javili et al. [72] introduced a *continuum-kinematics-inspired* approach to peridynamics, referred to as CPD, which bridges the gap between CCM and PD. More precisely, CPD is an alternative PD formulation whose underlying kinematics exactly follows the motion of a continuum body and in the limit coincides with those of CCM. The interaction potentials in CPD are decomposed into three parts corresponding to *one-*, *two-* and *three-neighbour* interactions within a horizon. One-neighbour interactions are equivalent to the bond-based interactions of the original PD formalism. However two- and three-neighbour interactions are fundamentally different from state-based interactions. *The main objective of this manuscript is to elaborate on the computational aspects of CPD and to provide detailed numerical examples at finite deformations to illustrate the theory and demonstrate its potential.*

The manuscript is organised as follows. Section 2 introduces the notation, elaborates on the kinematics of the problem, presents the governing equations of CPD and provides suitable constitutive laws that inherently account for material frame indifference via dependence on objective deformation measures. Next, we detail the implicit computational implementation of the governing equations and their approximate forms in Sect. 3. In particular, we discuss the computational aspects for treating a finite deformation, quasi-static problem. To do so, we propose physically meaningful interaction energy densities and provide detailed derivations. Thereafter, in Sect. 4, the key features of the interaction energies and capabilities of CPD are illustrated via a series of numerical examples. Section 5 concludes this work and provides an outlook.

## Problem definition

This section briefly defines the problem of CPD and gathers its main relations and equations. Central to CPD is the kinematic description as detailed in Sect. 2.1. This is inspired by CCM. Thereafter, the key quantities of CPD together with the governing equations are given in Sect. 2.2. Thermodynamically consistent constitutive laws for CPD are derived in Sect. 2.3. In Sect. 2.4, we propose specific forms of constitutive laws for one-neighbour, two-neighbour and three-neighbour interactions in a unified format.

### Kinematics

Consider a continuum body that occupies the material configuration \({\mathcal {B}}_0 \subset \mathbb {R}^3\) at time \(t=0\) and is mapped to the spatial configuration \({\mathcal {B}}_t \subset \mathbb {R}^3\) via the nonlinear deformation map \({\varvec{y}}\) as \({\varvec{x}} = {\varvec{y}} ({\varvec{X}},t) : {\mathcal {B}}_0 \times \mathbb {R}_+ \rightarrow {\mathcal {B}}_t\) with \({\varvec{X}}\) and \({\varvec{x}}\) identifying the points in the material and spatial configurations, respectively, as illustrated in Fig. 1. Note that we restrict the analysis to quasi-static conditions. Thus time plays the role of a history parameter to order the sequence of events. Central to the CPD theory, and in contrast to standard local continuum mechanics, is the non-locality assumption that any point \({\varvec{X}} \in {\mathcal {B}}_0\) can interact with points within its finite neighbourhood \(\mathcal {H}_0({\varvec{X}})\). The neighbourhood \(\mathcal {H}_0\) is referred to as the *horizon* in the material configuration. The *measure* of the horizon in the material configuration is denoted by \(\delta _0 := \text {meas}(\mathcal {H}_0)\) and is generally the radius of a spherical neighbourhood centred at \({\varvec{X}}\). The spatial horizon \(\mathcal {H}_t= {\varvec{y}} (\mathcal {H}_0({\varvec{X}}),t)\) is the image of the material horizon \(\mathcal {H}_0\) under the deformation map \({\varvec{y}}\) and in general will not remain spherical. Note that the horizons \(\mathcal {H}_0\) and \(\mathcal {H}_t\) coincide with the points \({\varvec{X}}\) and \({\varvec{x}}\) in the limit of an infinitesimal neighbourhood, thereby recovering the kinematics of the local continuum mechanics formalism.

To be more precise, we identify the neighbours within the horizon by a superscript. For instance, the point \({\varvec{X}}{}^{|}\in \mathcal {H}_0({\varvec{X}})\) denotes a neighbour of point \({\varvec{X}}\) in the material configuration. The point \({\varvec{x}}{}^{|}\) within the horizon of \({\varvec{x}}\) is the spatial counterpart of the point \({\varvec{X}}{}^{|}\) defined through the nonlinear deformation map \({\varvec{y}}\) as \({\varvec{x}} {}^{|}:= {\varvec{y}} ( {\varvec{X}}{}^{|}, t )\). In our proposed framework, for any point \({\varvec{X}}\) we identify all possible neighbour sets \(\{{\varvec{X}}{}^{|}, {\varvec{X}} {}^{||}, {\varvec{X}} {}^{|||}\}\) that are mapped onto \(\{{\varvec{x}}{}^{|}, {\varvec{x}} {}^{||}, {\varvec{x}} {}^{|||}\}\), respectively, as shown in Fig. 1. The relative positions, i.e. the finite line elements, in the material and spatial configurations are denoted as \(\varvec{\Xi }^{\{\bullet \}}\) and \(\varvec{\xi }^{\{\bullet \}}\), respectively, where the superscript \(\{\bullet \}\) identifies the neighbour; that is

Before defining the kinematic measures of CPD, we recall the three *local kinematic measures* of relative deformation in CCM, namely the deformation gradient \({\varvec{F}}:= {\hbox {Grad}}\, {\varvec{y}}\), its cofactor \(\varvec{K}:= \text {Cof}\, {\varvec{F}}\) and its determinant \(J:= \text {Det}\, {\varvec{F}}\). In the spirit of these local measures, we introduce three *non-local kinematic measures* of relative deformation, namely \(\varvec{\xi } {}^{|}\), \({\varvec{a}}{}^{|}{}^{/} {}^{||}\) and \(v{}^{|}{}^{/} {}^{||}{}^{/} {}^{|||}\) associated with CPD. The *first relative deformation measure* of CPD is \(\varvec{\xi } {}^{|}\). It mimics the linear map \({\varvec{F}}\) from the infinitesimal line element \(\hbox {d}{\varvec{X}}\) in the material configuration to its spatial counterpart \(\hbox {d}{\varvec{x}}\). In view of our proposed CPD formalism, the relative deformation measure

is the main ingredient to describe *one-neighbour interactions*. The *second relative deformation measure* \({\varvec{a}}{}^{|}{}^{/} {}^{||}\) is reminiscent of the linear map \(\varvec{K}\) from the infinitesimal vectorial area element \(\hbox {d}{\varvec{A}}\) in the material configuration to its spatial counterpart \(\hbox {d}{\varvec{a}}\). This is essentially Nanson’s formula from conventional continuum kinematics. In our proposed framework, the relative area measure

is the main ingredient to describe *two-neighbour interactions*. The *third relative deformation measure* \({v}{}^{|}{}^{/} {}^{||}{}^{/} {}^{|||}\) mimics the linear map *J* from the infinitesimal volume element \(\hbox {d}{V}\) in the material configuration to its spatial counterpart \(\hbox {d}{v}\). The relative volume measure

is the main ingredient to describe *three-neighbour interactions*.

### Governing equations

Equipped with the kinematic description of CPD, we briefly recall the governing equations. Similar to CCM, the governing equations of CPD can be expressed in global or point-wise form. In contrast to CCM, the point-wise equations of CPD are not local. That is, applying a localization procedure on global forms in CPD renders point-wise relations that still contain integrals over the horizon and are thus non-local. It is sometimes possible to apply a localization procedure on the non-local forms of CPD that yield neighbour-wise equations valid for each pair of neighbouring points that are not integrals and hence local. The global form of the linear momentum balance for quasi-static problems reads

where \(\varvec{b}{}^{\mathrm{ext}}_0\) denotes the external force density per volume in the material configuration, with units \(\mathrm {N}/\mathrm {m}^3\), and \(\varvec{t}{}^{\mathrm{ext}}_0\) is the external traction on the boundary in the material configuration, with units \(\mathrm {N}/\mathrm {m}^2\). This format of the external loading is a particular sub-case of a more general case accounting for higher-gradient and non-local continua as detailed in [73, 74] among others. The universal form of the quasi-static linear momentum balance (5) can alternatively be expressed in terms of volume integrals as

The internal body force density in the material configuration \(\varvec{b}{}^{\mathrm{int}}_0\) in CCM is the material *divergence* of the Piola stress \({\varvec{P}}\). In CPD however, \(\varvec{b}{}^{\mathrm{int}}_0\) takes an *integral* form over the horizon. That is

with \({\varvec{p}}{}^{|}\) the force density per volume squared, with units \(\mathrm {N}/\mathrm {m}^6\). Inserting the internal body force density (7) into the quasi-static linear momentum balance (6) yields, after localization, the *linear momentum balance of CPD*

To derive the angular momentum balance, we start from the global form of the quasi-static moment balance

which, after some mathematical steps and using the linear momentum balance (5), upon localization reduces to the *angular momentum balance of CPD*

Table 1 gathers the key governing equations for both CCM and CPD for the case of quasi-statics.

### Constitutive laws

Constitutive laws bridge the gap between the kinematics described in Sect. 2.1 and the kinetics in Sect. 2.2. The constitutive laws of CPD, as in CCM, must be thermodynamically consistent and are thus derived via a Coleman–Noll-like procedure. Let \(\Psi \) denote the point-wise stored energy density per volume in the material configuration. The dissipation power density \(\mathscr {D}\) reads

For elasticity \(\mathscr {D}=0\), and the inequality (11) becomes

This relation forms the basis for the derivation of the hyperelastic constitutive laws in CPD. The stored energy density \(\Psi \) consists of the contributions from one-, two- and three-neighbour interactions. Let \(\psi {}_{\text {{1}}}\!\! {}^{|}\), \(\psi {}_{\text {{2}}}\!\! {}^{|}{}^{/} {}^{||}\) and \(\psi {}_{\text {{3}}}\!\! {}^{|}{}^{/} {}^{||}{}^{/} {}^{|||}\) denote the stored energy densities corresponding to one-neighbour, two-neighbour and three-neighbour interactions, respectively, in the material configuration. That is

The point-wise stored energy density \(\Psi \) reads

where the factors one-half, one-third and one-fourth are required to prevent multiple counting of energy since we visit each point multiple times depending on the number of integrals. Thus, the rate of the stored energy density \({{\dot{\Psi }}}\) reads

in which the vectors \({\varvec{p}}{}^{|}_1\), \({\varvec{p}}{}^{|}_2\) and \({\varvec{p}}{}^{|}_3\) are defined by

the derivation of which is omitted here for the sake of brevity [see [72], for further details]. It is important to keep in mind that to arrive at the definition (16)\(_2\), we require \({\partial \psi {}^{|}}/{\partial {\varvec{a}}{}^{|}{}^{/} {}^{||}}\) to be homogeneous of degree one in \({{\varvec{a}}{}^{|}{}^{/} {}^{||}}\). Note that at this stage, \({\varvec{p}}{}^{|}_1\), \({\varvec{p}}{}^{|}_2\) and \({\varvec{p}}{}^{|}_3\) in Eq. (16) simply provide a structure for a constitutive relation and do not necessarily imply a particular physical meaning. Inserting the rate of the stored energy density (15) into equality (12), immediately reveals the *hyperelastic constitutive law of CPD* as

This clearly implies that \({\varvec{p}}{}^{|}_1\), \({\varvec{p}}{}^{|}_2\) and \({\varvec{p}}{}^{|}_3\) can be interpreted as force density vectors due to one-neighbour, two-neighbour and three-neighbour interactions, respectively and hence the notation employed.

### Examples of constitutive laws

In this section, we provide both generic and specific examples of hyperelastic constitutive laws for CPD. That is, we give a concrete form for the interaction potentials (13). The specific examples have not been presented to date in the literature. We investigate the possible options and seek interaction potentials that *a priori* fulfil the CPD angular momentum balance (10). That is

The angular momentum balance (18) is *sufficiently* satisfied if each of the three integrals vanish identically. That is

To proceed, we define scalar-valued line, area and volume measures \(\texttt {\textit{l}}\), \(\texttt {\textit{a}}\) and \(\texttt {\textit{v}}\), respectively as

It has been proven [72] that if the energy densities (13) are expressed in terms of \(\texttt {\textit{l}}\), \(\texttt {\textit{a}}\) and \(\texttt {\textit{v}}\) instead of \(\varvec{\xi }{}^{|}\), \({\varvec{a}}{}^{|}{}^{/} {}^{||}\) and \(v{}^{|}{}^{/} {}^{||}{}^{/} {}^{|||}\), respectively, then conditions (19) are fulfilled *a priori*. That is, we require

The interaction potentials (21) are generic examples of suitable one-, two- and three-neighbour interactions.

Finally, we propose specific examples of stored energy densities \(\psi {}^{|}_{1,2,3}\) that are both thermodynamically consistent and satisfy the angular momentum balance. These energy densities are employed in the numerical examples in Sect. 4 and their key characteristics are illustrated and discussed. For that it proves convenient to define the counterparts of \(\texttt {\textit{l}}\), \(\texttt {\textit{a}}\) and \(\texttt {\textit{v}}\) in the material configuration, denoted by \(\texttt {\textit{L}}\), \(\texttt {\textit{A}}\) and \(\texttt {\textit{V}}\), respectively. That is

An example of the stored energy density per volume squared in the material configuration for one-neighbour interactions \(\psi {}^{|}_1=\psi _1(\texttt {\textit{l}};\texttt {\textit{L}})\) and in accordance with the original bond-based model of Silling [1] reads

where \(C_1\) is the one-neighbour elastic coefficient and can be viewed as the resistance against the change of length between a point and its neighbours, reminiscent of the elastic modulus in CCM. Note that the parameter \(S_1\) is precisely the stretch of the bond from a point to its first neighbour. Motivated by the format of the stored energy density for one-neighbour interactions (23), we propose the stored energy density per volume cubed for two-neighbour interactions as

with \(C_2\) the two-neighbour elastic coefficient which can be interpreted as the resistance against the change of the area of the triangle formed by a point and a pair of its neighbours, analogous to Poisson-like effects in CCM for two-dimensional manifolds. The parameter \(S_2\) is essentially the area stretch of this triangle. Similar to the stored energy densities for one- and two-neighbour interactions, we propose the stored energy density per volume to the fourth power for three-neighbour interactions as

where \(C_3\) is the three-neighbour elastic coefficient, which can be interpreted as the resistance against the change of the volume of the tetrahedron formed by each point and its triplet of neighbours, analogous to volumetric Poisson-like effects of CCM. The stored energy densities (23)–(25) are introduced in this fashion since the energy density (23) is identical to the common format used in bond-based PD [75].

Alternative formats for energy densities could be proposed and their consequences investigated. However, the main objective of this manuscript is to provide details of the computational implementation which remains largely independent of the specific format of the stored energy density. Table 2 summarises the discussion of constitutive laws and collects the fundamental relations and definitions of CPD together with generic and specific examples of the stored energy densities that *sufficiently* satisfy the angular momentum balance.

## Computational implementation

The computational implementation of CPD comprises three major steps. We begin by replacing the integral equations in Sect. 3.1 with quadrature relations using appropriate weighting coefficients. Next, in Sect. 3.2, a discretised form of the linear momentum balance (8) is derived. The discretised balance is a non-linear system of coupled equations of the form \(\mathbb {R}=\mathbb {O}\) that is solved using a Newton–Raphson scheme. To do so, we compute the tangent matrix \(\mathbb {K}\) defined as the linearisation of the residual vector \(\mathbb {R}\). Finally, the force densities and their derivatives contributing to \(\mathbb {R}\) and \(\mathbb {K}\), respectively, are calculated from the constitutive laws associated with the stored energy density given in Sect. 3.3.

### Remark 1

The proposed computational framework corresponds to the three-dimensional setting. Nevertheless, both plane-strain and plane-stress assumptions can be recovered via applying appropriate boundary conditions on a 3D domain. Note that neither “stress” nor “strain” is present in the peridynamic formulation; they can only be computed through post-processing. Therefore, the notions of “plane strain” or “plane stress” become naturally less relevant since they are defined from a local view of continuum mechanics. Furthermore, it is straightforward to infer a fully two-dimensional counterpart from the provided discussion. Our formulation in 2D, however, corresponds to a purely two-dimensional case wherein both deformations and forces are absent in the third direction. This compares to the surface elasticity theory of Gurtin and Murdoch [76,77,78,79]. Obviously, three-neighbour interactions do not contribute in our 2D formulation. Both three- and two-dimensional numerical examples are provided in Sect. 4. \(\square \)

### From continuous to discretise form

In general, the governing equations of CPD are expressed in integral form. Unlike CCM, even point-wise equations in CPD include integrals over the horizon. The points \({\mathcal {P}}^a\) at which we evaluate the balance of momentum (8) are precisely the *collocation points*. At each collocation point \({\mathcal {P}}^a\), we use quadrature rules to evaluate the integrals over the horizon by employing *quadrature points*. In this contribution, the collocation points coincide identically with the quadrature points, henceforth, we refer to them collectively as *grid points* or simply *points*. This assumption is made for the sake of simplicity; alternatives will be investigated in a separate contribution.

To proceed, we first discretise the domain by a set of grid points that serve the double-purpose of being collocation and quadrature points. Every grid point in the present description represents continuum point as opposed to physical particles. Furthermore, each grid point defines a neighbourhood \(\mathcal {H}_0 \subset {\mathcal {B}}_0\). Each grid point \({\mathcal {P}}^{a}\) is identified by its coordinates, \({\varvec{X}}^a\) and \({\varvec{x}}^a\), in the material and spatial configurations, respectively. Therefore, the integral of an arbitrary quantity \(\{\bullet \}\) over the domain \({\mathcal {B}}_0\) is approximated by

where \(V^a\) is the volume of the support domain of the grid point \({\mathcal {P}}^{a}\) and \(\#{\mathcal {P}}\) is the total number of grid points. The volume \(V^a\) can be computed according to the discretisation strategy employed. For instance, if the points are chosen based on a Voronoi tessellation, the volume of each Voronoi cell can be assigned to the point \({\mathcal {P}}^{a}\) at its centre, see [80]. It is also relatively straightforward to discretise the domain using the common discretisation tools of the finite element method and then associate each finite element with the point \({\mathcal {P}}^{a}\) at its barycentre with \({V}^{a}\) equal to the volume of the respective element. Alternatively, for simple geometries, one can discretise the domain using a uniform grid for which \(V^a=\alpha \, \ell ^3\) with \(\ell \) being the grid spacing and \(\alpha \) a constant dimensionless correction factor accounting for the size of the support. If the grid spacing is non-uniform, the parameter \(\ell \) can be replaced with a suitable average grid spacing \(\ell _{\text {avg}}\). The summation on the right-hand side of Eq. (26) should correctly represent the volume of the domain itself in the sense that

Next, we discretise the various multiple integrals that appear in the form

Let \(\#\mathcal {N}\) denote the number of points within the horizon of the point \({\mathcal {P}}^a\). The effective volume of the neighbouring point *i* contributing to one-neighbour interactions at the point \({\mathcal {P}}^a\) is denoted as \(V_1\), assuming that all neighbours equally contribute. The effective volume \(V_1\) can be defined by

where \({\mathcal {V}}_\mathcal {H}\) denotes the volume of the neighbourhood of the collocation (continuum) point \({\mathcal {P}}^{a}\). For example if the point \({\mathcal {P}}^{a}\) is completely inside the bulk and entirely surrounded (i.e. no part of its horizon extends outside of \({\mathcal {B}}_0\)) then \({\mathcal {V}}_\mathcal {H}=4/3\,\pi \,\delta _0^3\). Otherwise, \({\mathcal {V}}_\mathcal {H}\) is modified by a dimensionless correction factor \(\beta <1\), as \({\mathcal {V}}_\mathcal {H}= \beta \, 4/3\,\pi \,\delta _0^3\) where \(\beta \) accounts for the truncated support. In the definition of the effective volume for one-neighbour interactions (29), the total number of *contributing neighbours* within its horizon is denoted as \(\#\mathcal {N}_1\). A neighbour \(\{i\}\) of the point \({\mathcal {P}}^{a}\) is identified as a *contributing neighbour* if the distance between the pair \(\{a,i\}\) is less than or equal to the horizon size of \(\delta _0\). Clearly, all neighbours count as *contributing neighbours* for one-neighbour interactions and thus, \(\#\mathcal {N}_1=\#\mathcal {N}\). As will be made clear, this property does not necessarily hold for two-neighbour and three-neighbour interactions. The integral (28)\(_1\) can be formally written in the discretised form as

with \(\#\mathcal {N}\) being the total number of neighbours in the neighbourhood of the point \({\mathcal {P}}^{a}\). In a similar fashion, the integral (28)\(_2\) can be formally discretised as

where \(V_2\) is the effective volume squared contributing to two-neighbour interactions defined by

with \(\#\mathcal {N}_2\) the total number of *contributing pairs* in the neighbourhood of the point \({\mathcal {P}}^{a}\).

A pair of neighbours \(\{i,j\}\) of the point \({\mathcal {P}}^{a}\) is identified as *contributing pair* if (i) the points \(\{a,i,j\}\) are non-collinear and (ii) the distance between each pair of \(\{a,i\}\), \(\{a,j\}\) and \(\{i,j\}\) is less than or equal to the horizon size \(\delta _0\). Therefore, and in contrast to one-neighbour interactions, not all the possible pairs would count as contributing pairs, as illustrated in Fig. 2. The order of the pairs of neighbours does not matter. That is, the two neighbour sets \(\{i,j\}\) and \(\{j,i\}\) contribute equally to the energy. We exploit this property to improve computational efficiency but omit it in the text, for the sake of readability. An approach that considers multiple horizon sizes was considered in [81, 82].

### Remark 2

In view of the definition of *contributing pairs*, the first condition must hold since if the points \(\{a,i,j\}\) are collinear, the stiffness matrix can become singular. Furthermore, the derivations of the governing equations of CPD in [72] require that if a triangle \(\{\overset{\triangle }{aij}\}\) contributes to the energy, both triangles \(\{\overset{\triangle }{jai}\}\) and \(\{\overset{\triangle }{ija}\}\) must also equally contribute to the energy which leads to the second condition. That is, if the distance between each pair is not less than or equal to the horizon size \(\delta _0\), the stiffness matrix can lose its symmetry. Similar arguments hold for contributing triplets are defined next. \(\square \)

Finally, the discretised form of the integral (28)\(_3\) reads

with

where \(V_3\) is the effective volume cubed contributing to three-neighbour interactions in the neighbourhood of the point \({\mathcal {P}}^{a}\) and \(\#\mathcal {N}_3\) is the total number of *contributing triplets* in the neighbourhood. A triplet of neighbours \(\{i,j,k\}\) of the point \({\mathcal {P}}^{a}\) is identified as *contributing triplet* if (i) the points \(\{a,i,j,k\}\) are non-coplanar and (ii) the distance between each pair of \(\{a,i\}\), \(\{a,j\}\), \(\{a,k\}\), \(\{i,j\}\)\(\{i,k\}\) and \(\{k,j\}\) is less than or equal to the horizon size \(\delta _0\). Again, the order of the triplets of neighbours does not matter. That is, six neighbour sets \(\{i,j,k\}\), \(\{k,i,j\}\), \(\{j,k,i\}\), \(\{i,k,j\}\), \(\{j,i,k\}\) and \(\{k,j,i\}\) contribute equally to the volume. To test the fidelity of the implementation, one can numerically compute the following integrals to ensure they hold exactly:

### Discretised balance of linear momentum

The underlying governing equation of CPD is the linear momentum balance. The term \(\varvec{b}{}^{\mathrm{ext}}_0\) in the linear momentum balance (8) corresponds to externally prescribed body forces and its incorporation into our framework is fairly straightforward and is omitted from this presentation in order to focus on the novel aspects of the computational implementation. The point-wise, non-local, form of the linear momentum balance (8) in the absence of body forces, i.e. the equilibrium equation, is thus given by

We proceed with this reduced linear momentum balance and develop a discretised version based on the strategy presented in Sect. 3.1. Using the definitions of the force densities (17) at each collocation point, the integral over the horizon in (36) can be decomposed into three parts, corresponding to one-, two- and three-neighbour interactions, as follows

This form of the point-wise balance of linear momentum can be expressed as

where \(\varvec{R}\) is the point-wise residual vector and is decomposed into \(\varvec{R}{}_{\text {{1}}}\), \(\varvec{R}{}_{\text {{2}}}\) and \(\varvec{R}{}_{\text {{3}}}\) corresponding to one-neighbour, two-neighbour and three-neighbour contributions, respectively. That is,

Next, we discretise the residual vector \(\varvec{R}\). The *global discretised* residual vector \(\mathbb {R}\) is composed of *point-wise discretised* residual vectors \(\mathbb {R}^a\) assembled into a global vector as follows

The point-wise discretised residual vector \(\mathbb {R}^a\) of collocation point \({\mathcal {P}}^a\) is comprised of the point-wise discretised residual vectors \(\mathbb {R}{}_{\text {{1}}}^a\), \(\mathbb {R}{}_{\text {{2}}}^a\) and \(\mathbb {R}{}_{\text {{3}}}^a\) corresponding to one-neighbour, two-neighbour and three-neighbour interactions, respectively. That is

In the definitions of the point-wise discretised residual vectors (41), the bond vectors are related to the deformation via the relations

with being the position vector of the collocation point \({\mathcal {P}}^a\) in the deformed configuration. The deformation vector of the neighbours *i*, *j* and *k* are denoted by , and , respectively. The global residual vector \(\mathbb {R}\) is energetically conjugate to the global deformation vector that consists of the point-wise deformation vectors , that is

As it is customary in nonlinear problems involving large deformations, the full deformation history can be divided into *increments*. The fully discrete nonlinear system of governing equations at each increment can be concisely stated as \(\mathbb {R} {\mathop {=}\limits ^{\cdot }} \mathbb {O}\) whose approximate solution is obtained via an *iterative* Newton–Raphson scheme. The consistent linearization of the resulting system at iteration *k* reads

with the resulting deformation change at iteration *k* given by

where \(\mathbb {K}_k\) denotes the corresponding algorithmic tangent (stiffness) at iteration *k*. Finally, the deformation is updated after each iteration by obtained from Eq. (45) according to

Note that the tangent \(\mathbb {K}\) is a matrix and composed of point-wise contributions \(\mathbb {K}^{ab}\). That is

Each contribution \(\mathbb {K}^{ab}\) itself can be further decomposed into the contributions from one-neighbour, two-neighbour and three-neighbour interactions. That is

The next task is to compute the discretised point-wise residual \(\mathbb {R}^a\) and the discretised point-wise stiffness \(\mathbb {K}^{ab}\) from the stored energy densities (23), (24) and (25) corresponding to one-neighbour, two-neighbour and three-neighbour interactions, respectively.

### Discretised residuals and tangents

The final steps in the computational implementation of the proposed scheme are (i) to express the discretised residual vectors (41) in terms of the deformation of the point \({\mathcal {P}}^{a}\) and its neighbours, and (ii) to compute their associated tangents (48). We begin with the residual vectors. Before proceeding, recall the definitions

in the material and spatial configuration, respectively. Furthermore, the following relations will prove useful throughout the forthcoming derivations:

The point-wise discretised residual vector of point \({\mathcal {P}}^a\) due to one-neighbour interactions reads

where \({\partial \psi {}_{\text {{1}}}\!\! {}^{|}}/{\partial \varvec{\xi }{}^{|}}\) can be expressed as

Upon using Eq. (50)\({}_1\) and the relation \(S_1 = {\texttt {\textit{l}}}/{\texttt {\textit{L}}} = {|\varvec{\xi }{}^{|}|}/{|\varvec{\Xi }{}^{|}|}\), one obtains

Thus, the point-wise discretised residual vector of point \({\mathcal {P}}^a\) due to one-neighbour interactions reads

The point-wise discretised residual vector of point \({\mathcal {P}}^a\) due to two-neighbour interactions is given by

where \({\partial \psi {}_{\text {{2}}}\!\! {}^{|}}/{\partial {\varvec{a}}{}^{|}{}^{/} {}^{||}}\) reads

and using Eq. (50)\({}_2\) and the relation \(S_2 = {\texttt {\textit{a}}}/{\texttt {\textit{A}}} = {|{\varvec{a}}{}^{|}{}^{/} {}^{||}|}/{|{\varvec{A}}{}^{|}{}^{/} {}^{||}|} = {|\varvec{\xi }{}^{|}\times \varvec{\xi } {}^{||}|}/{|\varvec{\Xi }{}^{|}\times \varvec{\Xi } {}^{||}|}\) furnishes

Inserting Eq. (55) into Eq. (54) yields

Using the identity

the point-wise discretised residual vector of point \({\mathcal {P}}^a\) due to two-neighbour interactions reads

Lastly, the point-wise discretised residual vector of point \({\mathcal {P}}^a\) due to three-neighbour interactions

is rewritten using the relation

and using Eq. (50)\({}_3\) and the relation \(S_3 = {\texttt {\textit{v}}}/{\texttt {\textit{V}}} = |{v}{}^{|}{}^{/} {}^{||}{}^{/} {}^{|||}|/|{V}{}^{|}{}^{/} {}^{||}{}^{/} {}^{|||}| = {|[\varvec{\xi }{}^{|}\times \varvec{\xi } {}^{||}]\cdot \varvec{\xi } {}^{|||}|}/{|[\varvec{\Xi }{}^{|}\times \varvec{\Xi } {}^{||}]\cdot \varvec{\Xi } {}^{|||}|}\) gives

Inserting Eq. (60) into Eq. (59) yields the point-wise discretised residual vector of point \({\mathcal {P}}^a\) due to three-neighbour interactions as

Equipped with the discretised residuals (53), (58) and (61), the algorithmic tangents are derived next. Unlike the commonly accepted strategy in classical state-based peridynamics, we do not approximate the tangent stiffness using finite difference or other numerical differentiation schemes. A key feature of the proposed methodology is that we compute the tangent stiffness \(\mathbb {K}\) directly. This is mainly possible since we do not rely on the notion of “state”. Computing \(\mathbb {K}\) directly has enormous advantages. For example, the associated decrease in the number of Newton iterations required to achieve convergence can reduce the computational time and significantly boost the accuracy of the calculations. Throughout our numerical simulations we observe the asymptotic quadratic convergence associated with the Newton–Raphson scheme. Note, for highly non-linear sets of equations, numerical differentiation is inaccurate and ultimately unstable [83]. We derive the tangents for pairs of points \({\mathcal {P}}^a\) and \({\mathcal {P}}^b\) due to one-neighbour, two-neighbour and three-neighbour interactions separately and combine them additively according to Eq. (48). The discretised tangent matrix for the points \({\mathcal {P}}^a\) and \({\mathcal {P}}^b\) due to one-neighbour interactions reads

which after using Eq. (53), can be written as

To proceed, we use the chain rule

and the relation

where \({\varvec{i}}\) is the identity tensor. Thus, the discretised tangent for the points \({\mathcal {P}}^a\) and \({\mathcal {P}}^b\) due to one-neighbour interactions reads

The discretised tangent matrix for the points \({\mathcal {P}}^a\) and \({\mathcal {P}}^b\) due to two-neighbour interactions is

which, after using Eq. (59), can be written as

To proceed, we use the chain rule

and the identities

the derivations of which are omitted for the sake of brevity. Inserting relations (70) into (69), the discretised tangent for the points \({\mathcal {P}}^a\) and \({\mathcal {P}}^b\) due to two-neighbour interactions reads

One may attempt to rewrite the tangent (71) in a more compact form since similar terms appear on different lines. However, for the sake of clarity, we retain this expanded version as it immediately follows from the previous derivations. Finally, the discretised tangent matrix for the points \({\mathcal {P}}^a\) and \({\mathcal {P}}^b\) due to three-neighbour interactions

can be expressed using the relation

To proceed, we once again use the chain rule

and the identities

the derivations of which are omitted for the sake of brevity. Inserting relations (75) into (73), the discretised tangent for the points \({\mathcal {P}}^a\) and \({\mathcal {P}}^b\) due to three-neighbour interactions reads

Again, since similar terms appear on different lines of the tangent (76), it could be written in a more compact form. However, for the sake of clarity, we retain this expanded version.

The stiffness components due to one-neighbour (66), two-neighbour (71) and three-neighbour (76) interactions, are all symmetric for the variationally consistent mechanical problem of interest here wherein the residuals derive from a potential. While in some cases, such as the first and second terms of Eq. (71), the symmetric structure of the stiffness is obvious, in other cases, such as the third and fourth terms of Eq. (71) the symmetry is not evident. The reason for this is that, for instance, the term \(\varvec{\xi }{}^{|}\otimes \varvec{\xi } {}^{||}\) is calculated twice for any given set of \(\{i^\star ,j^\star \}\) for which \(i=i^\star \) and \(j=j^\star \) for the first time but \(i=j^\star \) and \(j=i^\star \) for the second time. This property could indeed allow us to reduce the number of loops over the neighbours and avoid multiple counting. For instance, the index *j* instead of counting from 1 could start from \(i+1\) if the associated implications are accounted for. However, for the sake of brevity, we do not include these additional steps in the presentation. This procedure is essentially a technical programming detail also relevant in molecular dynamics simulations and associated methods. An efficient implementation to avoid multiple counting reduces the number of loops over the neighbours by a factor of 2 in two-dimensional simulations and by a factor of 6 in three-dimensional simulations.

## Numerical examples

The objective of this section is to illustrate the proposed theory through a set of numerical examples. In addition to the examples that follow, we confirmed that the conditions (35) hold within numerical precision. Four different studies are conducted. In Sect. 4.1, a comparative study is carried out to investigate the influence of the horizon size and grid-spacing on the material response. Then, the properties of the stiffness matrix are analysed for various parameters and geometries in Sect. 4.2. This is followed by a two-part example in Sect. 4.3 to study the Poisson effect in CPD for both two-dimensional and three-dimensional problems and also to compare CPD with CCM. This comparison not only emphasises the similarities between CPD and CCM but it also provides a tangible case study to better understand the physical interpretation of the CPD material parameters and their role in describing common mechanical behaviour of materials. Finally, in Sect. 4.4, a series of simulations at finite deformations are performed for both two-dimensional and three-dimensional domains. These simulations demonstrate the influence of multi-neighbour interactions on the material response and illustrate the robustness of the framework and its consistent quadratic convergence even at very large deformations.

### Convergence and non-locality in CPD

The main goal of this section is to investigate the convergence behaviour and the inherent non-locality of the proposed framework. This numerical example is carried out at small deformations in order to focus on the main objectives of this study. A schematic of the investigation and a depiction of the horizon size \(\delta \) and grid-spacing \(\Delta \) is illustrated in Fig. 3. Furthermore, for all the computations in this section we utilize only one-neighbour interactions, for the sake of clarity. We have carried out similar studies including, in addition, two-neighbour interactions and have observed similar trends. The influence of two-neighbour interactions as well as three-neighbour interactions are studied separately in Sects. 4.3 and 4.4.

The details of the two boundary value problems studied are shown in Fig. 4 with an *exaggerated* deformation depicted. For both examples, the grid points are uniformly distributed with horizontal and vertical spacing \(\Delta \). In the first row of Fig. 4, a solid unit square is extended by 0.1% in the horizontal direction. In the second row, 40% of the central region of the specimen is removed and the domain again extended by 0.1% in the horizontal direction. For each of the two domains, we carry out two separate studies. For the first we fix the horizon size \(\delta \) and decrease the grid-spacing \(\Delta \) resulting in more neighbours within the horizon of each point. This study demonstrates that, by increasing the number of grid points within the horizon, the solution of CPD converges, as expected. In other words, for a given horizon size \(\delta \), decreasing the grid-spacing \(\Delta \) results in a more accurate solution. In the second set of examples, the number of neighbours within the horizon remains constant but the horizon size itself varies. More precisely, we change \(\delta \) for a given \(\delta /\Delta \) to study the non-locality associated with CPD. We expect to observe decreased non-local effects with diminishing horizon size \(\delta \). In the limit of \(\delta \rightarrow 0\), we expect the solution of CPD to converge to the solution of CCM. We include the solution from CCM, obtained using the finite element method, for comparison.

Figure 5 shows the results for the convergence study. The graphs and coloured distributions show the displacements in both horizontal and vertical directions due to the prescribed extension. Four different values for the grid-spacing (0.025, 0.0125, 0.01 and 0.00625) are considered and the horizon size is fixed at \(\delta =0.05\). The upper segment displays the horizontal displacement and the lower segment the vertical displacement. The distribution of the displacement throughout the specimen is depicted at the centre of each row. The distribution of the solution over the lines \(AA'\) and \(BB'\) is investigated; \(AA'\) is located at the top of the hole and \(BB'\) is located on the upper edge of the specimens. The figures on the left and right side of each row show the displacement along these two lines. For both domains, the computational results are in excellent agreement with our previously stated expectations. In short, the results converge upon reduction in the grid-spacing \(\Delta \) for a given horizon \(\delta \). Reducing the grid-spacing while fixing the horizon size increases the number of neighbours for each point leading to a more accurate solution, hence the convergence observed. It should be emphasised that the vertical displacement occurs solely due to the Poisson effect. The vertical displacement of the full specimen decreases from zero to an extremum in the middle and are symmetric about both \(AA'\) and \(BB'\). In addition, the vertical displacement over the line \(BB'\) is greater than over \(AA'\), due to its increased distance from the centreline. The vertical displacement behaviour of the specimen with a square hole is more complicated. Over the line \(BB'\), we observe a decrease from the edge to the middle of the domain, whereas the vertical displacement along \(AA'\) increases at the beginning and then decreases to an extremum in the middle. This trend is not an artifice of our CPD formulation and is also observed in CCM. Moreover, the vertical displacements along both lines exceed those obtained for the full specimen, which again can be explained due to the more pronounced Poisson effect for a specimen with a hole at its centre.

In the second set of numerical studies, the horizon-over-grid size \(\delta /\Delta \) is fixed and the horizon size \(\delta \) varies to highlight the non-local nature of CPD. Figure 6 shows both the vertical and horizontal displacements throughout the specimens. To facilitate comparison, the problem is designed to have the same features as the first numerical study depicted in Fig. 5. Four different horizon sizes (\(\delta =0.21\), \(\delta =0.17\), \(\delta =0.08\) and \(\delta =0.04\)) are considered and \(\delta /\Delta =8.5\). The solutions associated with CCM, obtained using the finite element method with a sufficiently fine mesh, are included for comparison. The solutions obtained from CPD are denoted by a dashed line whereas a solid black line represents the solution corresponding to CCM. Similar to the previous example, the distribution of the displacements throughout the specimens is depicted at the centre of each row and the two figures to the left and right depict the displacements along the lines \(AA'\) and \(BB'\), respectively. For all cases, decreasing the horizon size results in less deviation from the local solution associated with CCM thereby demonstrating the expected behaviour. That is, we observe a decrease in non-local effects with diminishing horizon size \(\delta \) and asymptotically, in the limit of \(\delta \rightarrow 0\), the solution of CPD converges to the solution of CCM.

### Properties of the stiffness matrix

This section elaborates on properties of the stiffness matrix \(\mathbb {K}\) such as sparsity and symmetry. Figure 7 shows the sparsity pattern of the stiffness matrix for the full specimen and the specimen with a square hole. Two different grid-spacings \(\Delta =0.02\) and \(\Delta =0.05\) are examined and for each case several horizon-over-grid ratios \(\delta /\Delta \) are considered. The horizontal and vertical axis in each figure corresponds the columns and rows of the stiffness matrix, respectively. As expected, the stiffness matrix is symmetric for all the cases. The colours in Fig. 7 correspond to the absolute values of the components of the stiffness matrix. For the specimen with the square hole, the stiffness matrix has a narrower bandwidth in the vicinity of the hole since fewer neighbours are present for each point in that region. Increasing the ratio \(\delta /\Delta \) results in a larger bandwidth and more non-zero values (decreased sparsity) in the stiffness matrix. This can be explained as by increasing \(\delta /\Delta \), more points contribute to each degree of freedom. For the case with \(\Delta =0.02\), although the pattern seems visually narrower than the case with \(\Delta =0.05\), the number of degrees of freedom are different. There is a significant difference between the ranges for these two cases indicating that the stiffness matrix is considerably larger when \(\Delta =0.02\), which is intuitive since a smaller grid-spacing \(\Delta \) translates to more points, and hence more degrees of freedom.

### Interplay between Poisson effect and the material parameters

This section provides a detailed comparison between CPD and CCM with a focus on the Poisson effect and its relation to the material parameters associated with each theory. The material parameters of CCM are the Lamé parameters \(\lambda \) and \(\mu \) while for CPD they are \(C_{1}\), \(C_{2}\) and \(C_{3}\). The parameters \(C_1\), \(C_2\) and \(C_3\) correspond to one-neighbour, two-neighbour and three-neighbour interactions, respectively. Conceptually, \(C_1\), \(C_2\) and \(C_3\) can be interpreted as resistance against the change of length, area and volume, respectively. Both two- and three-dimensional analyses are carried out and the significance of \(C_2\) and \(C_3\) for two-dimensional and three-dimensional problems explained. To perform this study, the specimen is subject to an extension at small deformations and the effective Poisson ratio is calculated. It should be emphasised that the effective Poisson ratio for both CPD and CCM is treated as a geometrical feature computed via numerical simulation. That is, the Poisson ratio is calculated by dividing the lateral contraction by the extension at the centre of the domain. Note that for the CPD analysis, the specimen is discretised into grid (collocation) points, whereas for the CCM analysis the specimen is discretised by finite elements. The finite elements are bilinear quadrilaterals and trilinear hexahedrals for the two-dimensional and three-dimensional computations, respectively.

### Remark 3

It is important to recall that both CPD and CCM require three constants for isotropic elasticity at finite deformations. However, the linearisation process at small strains reduces the number of independent parameters from three to two in CCM. The CPD formalism accounts directly for finite deformations and is not a linearised theory, and hence the three constants are present. It would be feasible to establish a linear CPD theory in which only two independent parameters contribute to the material behaviour. \(\square \)

Figure 8 illustrates the Poisson ratio versus the material parameters for a two-dimensional problem. The two top figures are a magnified portion of the bottom two and are provided for the sake of clarity. The bottom figures sweep a broader range of the material parameters so as to cover the whole range of permissible Poisson ratios including the auxetic regime. For the CPD analysis, the horizontal axis represents the ratio of the two-neighbour elastic coefficient to the one-neighbour elastic coefficient \(C_{2}/C_{1}\) whereas for the CCM analysis it corresponds to the ratio of the first to the second Lamé parameter \(\lambda /\mu \). The parameters \(C_{1}\) and \(\mu \) are set to 1 and we vary \(C_{2}\) and \(\lambda \) to generate the desired range for the ratios. Setting \(C_{2}=0\) implies that two-neighbour interactions do not contribute. Thus only the one-neighbour interactions of CPD are active corresponding to bond-based peridynamics. It is observed that a Poisson ratio of 1/3 is obtained in CPD when \(C_{2}=0\). This is well-known for bond-based PD [58]. A Poisson ratio of 1/3 is obtained in CCM when \(\lambda =\mu \) as expected according to the relation \(\nu =\lambda /[\lambda +2\mu ]\) for two-dimensional local (linear) elasticity. Increasing \(C_{2}\) or \(\lambda \) results in a higher resistance to a change of area, and hence we approach the incompressible limit. In the limits of \(C_{2} \rightarrow \infty \) and \(\lambda \rightarrow \infty \), the two-dimensional incompressibility limit \(\nu =1\) is obtained. It is observed that although there is a one-to-one relation between the graphs on the right and the ones on the left, for a given Poisson ratio, \(C_{2}/C_{1}\) does not coincide exactly with the same value for \(\lambda /\mu \). However, the Poisson ratio corresponding to \(C_{2}/C_{1}=0\) is identical to that associated with \(\lambda /\mu =0\).

Figure 9 shows the Poisson ratio versus the material parameters for a three-dimensional domain. The horizontal axis for CPD, in contrast to the two-dimensional problem presented previously, corresponds to the ratio of the three-neighbour to the one-neighbour elastic coefficient \(C_{3}/C_{1}\). The horizontal axis for CCM, similar to the two-dimensional problem, is the ratio \(\lambda /\mu \). Similar to the previous case, the parameters \(C_{1}\) and \(\mu \) are set to 1 and \(C_{3}\) and \(\lambda \) are calculated according to the desired range for the ratios on the horizontal axis. Note that in order to examine the effect of three-neighbour interactions, the two-neighbour elastic coefficient \(C_{2}\) is set to zero here. In CPD, the Poisson ratio 1/4 is recovered when \(C_{3}=0\); this corresponds exactly to the bond-based PD, as expected. In CCM, the same Poisson ratio is obtained when \(\lambda =\mu \) which agrees directly with the classical relation \(\nu =\lambda /[2\lambda +2\mu ]\). Similar to the two-dimensional study, in the limits of \(C_{3} \rightarrow \infty \) and \(\lambda \rightarrow \infty \), the incompressibility limit is obtained. The incompressibility limit now corresponds to \(\nu =0.5\) due to the three-dimensional nature of the problem. As demonstrated in these two examples, our methodology can not only exactly recover bond-based peridynamics but it is also capable of covering the whole range of possible Poisson ratios including the auxetic regime.

### CPD at finite deformations

As shown in the previous section, CPD is capable of capturing any Poisson ratio by incorporating two-neighbour and three-neighbour interactions. In this section, we carry out a series of computational studies at finite deformations to compare the influence of multi-neighbour interactions on the material response for both two-dimensional and three-dimensional frameworks. Furthermore, we demonstrate the robustness of the proposed framework. For the two-dimensional analysis, two different specimens are considered with the geometry and loading conditions illustrated in Fig. 10. Both specimens are subject to 100% extension in the horizontal direction and are free in the lateral direction. We consider a unit square without and with a square hole at its centre as shown in the first and second rows of Fig. 10, respectively. The hole is in the shape of a square with the sides of length 0.4. For the three-dimensional analysis that follows, we mimic similar conditions and dimensions. First we detail the numerical simulations for a two-dimensional domain.

The discretised specimens used in the analysis are depicted in Fig. 11 together with their deformed shapes obtained from computational simulations. The shading corresponds to the vertical displacements and zoom boxes are provided for further clarity. Figure 12 illustrates the deformed discrete domain for both specimens and for various values of \(C_{2}/C_{1}\). The transparent shapes depicts the undeformed configuration. Prescribing displacement-type boundary conditions in CPD is similar to PD. That is, we prescribe the displacements for a few layers of points on the boundary as shown. The number of the layers over which the boundary conditions are imposed depends on the horizon size. Prescribing boundary conditions on a finite size boundary layer is inherent to nonlocal models such as CPD. In Fig. 12, one can see the three boundary layers on the left and right edges of the domain. In the first row of Fig. 12, \(C_{2}=0\) and thus, only one-neighbour interactions are active. The remaining rows involve both one-neighbour and two-neighbour interactions where \(C_{2}/C_{1}\) provides a measure of incompressibility and hence, given the loading and geometry, larger values of \(C_{2}/C_{1}\) lead to increased lateral contraction.

Figure 13 presents a schematic illustration of the specimens and the prescribed deformations for the three-dimensional analysis. Similar to the two-dimensional analysis, both specimens are subject to 100% extension in the horizontal direction and are free in both lateral directions. We consider a unit square without and with a cubic hole at its centre as shown in the first and second rows of Fig. 13, respectively. The hole is also in the shape of a cube with sides of dimension 0.4.

Figures 14 and 15 show the deformed shapes as well as the distribution of the vertical displacement on both domains. Three different interaction types are examined. The first column is associated with one-neighbour interactions. The results in the first column provide an excellent reference against which to compare the results in the second and third columns. The second column takes one-neighbour and two-neighbour interactions into account whereas the third column accounts for one-neighbour and three-neighbour interactions. These simulations are devised to distinguish between two-neighbour interactions and three-neighbour interactions. We emphasise that it is not possible to have only two-neighbour interactions or only three-neighbour interactions. This important observation will be contextualised later via a geometrical example. In the first row, the reference configuration is illustrated where the colours correspond to the vertical displacement. The deformed shapes are illustrated in the subsequent rows. On the second row, both deformed and undeformed configurations are shown. The smooth colour pattern is produced by interpolating the displacements between the points. Hence, the third row is more representative of what we obtain from the simulations as no interpolation between points is assumed. In the last row the deformed set of points on a vertical plane is extracted to highlight the difference between the three interaction types. Since only one-neighbour interactions are considered in the 1st column, the least contraction is obtained which leads to increased compressibility when compared to the second and third columns. It is important to note that although both two-neighbour interactions and three-neighbour interactions result in decreased compressibility, the solutions are different indicating that they indeed correspond to a different deformation.

As mentioned, one-neighbour interactions are necessary for the stability of the computation. In addition to the required one-neighbour interactions, two- and three-neighbour interactions can be included. However, the opposite cannot be done. More precisely, we cannot run simulations in which only two-neighbour or three-neighbour interactions are active and one-neighbour interactions are absent. That is, while two-neighbour and three-neighbour interactions are important to capture the Poisson effect correctly, one-neighbour interaction are necessary to avoid instabilities. The requirement for one-neighbour interactions is a physical one. Consider Fig. 16. In the upper part of the image three triangles are shown with equal area. In the lower half three pyramids are depicted with identical volumes. Although the areas of the various triangles and the volumes of the various pyramids are the same, the length of their edges differ among them. Hence in the absence of one-neighbour interactions one could have multiple configurations with identical energies that would in turn cause instabilities. However, it is not possible to change a configuration without changing the distances between the pairs of points. Thus one-neighbour interactions guarantee that different configurations correspond to different energies, which does not hold for only two-neighbour and three-neighbour interactions.

Finally, to illustrate the robustness of the proposed framework and its ability to simulate large deformations, we study the convergence behaviour. Table 3 gathers the convergence of the normalized residual for the three-dimensional simulations at large deformations shown in Fig. 14 for various interactions at different increments. The domain in this study is subject to 100% extension in 25 increments and the \({\ell }^2\)-norm of the residual \(|\mathbb {R}|\) recorded every fifth increment. Despite the large deformation, consistent quadratic convergence is obtained consistently at every increment.

## Conclusion

Continuum-kinematics-inspired peridynamics (CPD) was recently proposed by Javili et al. [72] as a *geometrically exact* alternative to peridynamics (PD) to formulate non-local continuum mechanics at finite deformations. Computational aspects of the CPD formulation have been presented for the first time. The potential of the method has been made clear via a series of numerical examples.

A key feature of the proposed methodology is that it is fully implicit. Furthermore, the tangent stiffness is computed directly and not via numerical differentiation schemes, unlike the commonly accepted strategy in classical state-based peridynamics. The numerical implementation and solution procedure is robust and shows the asymptotically quadratic rate of convergence associated with the Newton–Raphson scheme. For the first time, specific constitutive laws for CPD have been presented. Their numerical implementations has been discussed in detail together with analytical forms for their associated tangents. The utility and reliability of the proposed strategy is illustrated via a broad range of numerical examples including three-dimensional problems at large deformations.

As stated in the introduction, a key feature of PD formulation is that it can inherently account for singularities such as fracture. Fracture analysis in PD is commonly carried out by calculating a point-wise damage ratio as an indicator of possible crack formation, particularly relevant to brittle materials. For a detailed discussion on the existing crack growth criterion and the related damage model in PD, e.g. the critical bond stretch in the prototype micro-elastic brittle (PMB) material model and its implications, see the very recent contribution [84] and references therein. One logical extension of this work therefore is to account for damage in CPD. Another aspect for further investigation is to study the role of the influence function [85] which can be embedded in the interaction energies of CPD. Moving forward, we plan to extend this work to account for elasto-plasticity. Another interesting extension of CPD, and our next immediate plan, is to consider thermomechanical problems.

## Change history

### 03 September 2020

The article “The computational framework for continuum-kinematics-inspired peridynamics”.

## References

Silling SA (2000) Reformulation of elasticity theory for discontinuities and long-range forces. J Mech Phys Solids 48(1):175–209

Dell’Isola F, Andreaus U, Placidi L (2015) At the origins and in the vanguard of peridynamics, non-local and higher-gradient continuum mechanics: an underestimated and still topical contribution of Gabrio Piola. Math Mech Solids 20(8):887–928

Dell’Isola F, Della Corte A, Giorgio I (2017) Higher-gradient continua: the legacy of Piola, Mindlin, Sedov and Toupin and some future research perspectives. Math Mech Solids 22(4):1–21

Eringen AC (2002) Nonlocal continuum field theories. Springer, Berlin

Forest S (2009) Micromorphic approach for gradient elasticity, viscoplasticity, and damage. J Eng Mech 135:117–131

Kilic B, Madenci E (2009) Prediction of crack paths in a quenched glass plate by using peridynamic theory. Int J Fract 156(2):165–177

Foster J, Silling SA, Chen W (2011) An energy based failure criterion for use with peridynamic states. Int J Multiscale Comput Eng 9(6):675–688

Silling SA, Weckner O, Askari E, Bobaru F (2010) Crack nucleation in a peridynamic solid. Int J Fract 162(1–2):219–227

Agwai A, Guven I, Madenci E (2011) Predicting crack propagation with peridynamics: a comparative study. Int J Fract 171(1):65–78

Dipasquale D, Zaccariotto M, Galvanetto U (2014) Crack propagation with adaptive grid refinement in 2D peridynamics. Int J Fract 190(1–2):1–22

Chen Z, Bobaru F (2015) Peridynamic modeling of pitting corrosion damage. J Mech Phys Solids 78:352–381

Han F, Lubineau G, Azdoud Y (2016) Adaptive coupling between damage mechanics and peridynamics: a route for objective simulation of material degradation up to complete failure. J Mech Phys Solids 94:453–472

Emmrich E, Puhst D (2016) A short note on modeling damage in peridynamics. J Elast 123(2):245–252

De Meo D, Zhu N, Oterkus E (2016) Peridynamic modeling of granular fracture in polycrystalline materials. J Eng Mater Technol 138(4):041008

Sun C, Huang Z (2016) Peridynamic simulation to impacting damage in composite laminate. Compos Struct 138:335–341

Diyaroglu C, Oterkus E, Madenci E, Rabczuk T, Siddiq A (2016) Peridynamic modeling of composite laminates under explosive loading. Compos Struct 144:14–23

Giannakeas IN, Papathanasiou TK, Fallah AS, Bahai H (2020) Coupling XFEM and peridynamics for brittle fracture simulation–part I: feasibility and effectiveness. Comput Mech. https://doi.org/10.1007/s00466-020-01843-z

Dayal K, Bhattacharya K (2006) Kinetics of phase transformations in the peridynamic formulation of continuum mechanics. J Mech Phys Solids 54(9):1811–1842

Mikata Y (2012) Analytical solutions of peristatic and peridynamic problems for a 1D infinite rod. Int J Solids Struct 49(21):2887–2897

Breitenfeld MS, Geubelle PH, Weckner O, Silling SA (2014) Non-ordinary state-based peridynamic analysis of stationary crack problems. Comput Methods Appl Mech Eng 272:233–250

Huang D, Lu G, Qiao P (2015) An improved peridynamic approach for quasi-static elastic deformation and brittle fracture analysis. Int J Mech Sci 94–95:111–122

Madenci E, Oterkus S (2016) Ordinary state-based peridynamics for plastic deformation according to von Mises yield criteria with isotropic hardening. J Mech Phys Solids 86:192–219

Gerstle W, Silling S, Read D, Tewary V, Lehoucq R (2008) Peridynamic simulation of electromigration. Comput Mater Contin 8(2):75–92

Bobaru F, Duangpanya M (2010) The peridynamic formulation for transient heat conduction. Int J Heat Mass Transf 53(19–20):4047–4059

Oterkus S, Madenci E, Agwai A (2014) Peridynamic thermal diffusion. J Comput Phys 265:71–96

Oterkus S, Madenci E, Agwai A (2014) Fully coupled peridynamic thermomechanics. J Mech Phys Solids 64(1):1–23

Oterkus S, Madenci E, Oterkus E (2017) Fully coupled poroelastic peridynamic formulation for fluid-filled fractures. Eng Geol 225:19–28

Bobaru F, Yang M, Alves F, Silling SA, Askari E, Xu J (2009) Convergence, adaptive refinement, and scaling in 1D peridynamics. Int J Numer Methods Eng 77(6):852–877

Shelke A, Banerjee S, Kundu T, Amjad U, Grill W (2011) Multi-scale damage state estimation in composites using nonlocal elastic kernel: an experimental validation. Int J Solids Struct 48(7–8):1219–1228

Rahman R, Foster JT (2014) Bridging the length scales through nonlocal hierarchical multiscale modeling scheme. Comput Mater Sci 92:401–415

Talebi H, Silani M, Bordas SPA, Kerfriden P, Rabczuk T (2014) A computational library for multiscale modeling of material failure. Comput Mech 53(5):1047–1071. https://doi.org/10.1007/s00466-013-0948-2

Ebrahimi S, Steigmann D, Komvopoulos K (2015) Peridynamics analysis of the nanoscale friction and wear properties of amorphous carbon thin films. J Mech Mater Struct 10(5):559–572

Tong Q, Li S (2016) Multiscale coupling of molecular dynamics and peridynamics. J Mech Phys Solids 95:169–187

Xu F, Gunzburger M, Burkardt J (2016) A multiscale method for nonlocal mechanics and diffusion and for the approximation of discontinuous functions. Comput Methods Appl Mech Eng 307:117–143

Zaccariotto M, Mudric T, Tomasi D, Shojaei A, Galvanetto U (2018) Coupling of FEM meshes with Peridynamic grids. Comput Methods Appl Mech Eng 330:471–497

Silling SA, Bobaru F (2005) Peridynamic modeling of membranes and fibers. Int J Non-linear Mech 40(2–3):395–409

O’Grady J, Foster J (2014) Peridynamic beams: a non-ordinary, state-based model. Int J Solids Struct 51(18):3177–3183

Taylor M, Steigmann DJ (2015) A two-dimensional peridynamic model for thin plates. Math Mech Solids 20(8):998–1010

Chowdhury SR, Roy P, Roy D, Reddy JN (2016) A peridynamic theory for linear elastic shells. Int J Solids Struct 84:110–132

Li H, Zhang H, Zheng Y, Zhang L (2016) A peridynamic model for the nonlinear static analysis of truss and tensegrity structures. Comput Mech 57(5):843–858

Aguiar AR, Fosdick R (2014) A constitutive model for a linearly elastic peridynamic body. Math Mech Solids 19(5):502–523

Sun S, Sundararaghavan V (2014) A peridynamic implementation of crystal plasticity. Int J Solids Struct 51(19):3350–3360

Silhavý M (2017) Higher gradient expansion for linear isotropic peridynamic materials. Math Mech Solids 22(6):1483–1493

Madenci E, Oterkus S (2017) Ordinary state-based peridynamics for thermoviscoelastic deformation. Eng Fract Mech 175:31–45

Silling SA (2017) Stability of peridynamic correspondence material models and their particle discretizations. Comput Methods Appl Mech Eng 322:42–57

Chen Z, Bakenhus D, Bobaru F (2016) A constructive peridynamic kernel for elasticity. Comput Methods Appl Mech Eng 311:356–373

Wang X, Kulkarni SS, Tabarraei A (2019) Concurrent coupling of peridynamics and classical elasticity for elastodynamic problems. Comput Methods Appl Mech Eng 344:251–275

Pathrikar A, Rahaman MM, Roy D (2019) A thermodynamically consistent peridynamics model for visco-plasticity and damage. Comput Methods Appl Mech Eng 348:29–63

Taylor M, Gözen I, Patel S, Jesorka A, Bertoldi K (2016) Peridynamic modeling of ruptures in biomembranes. PLoS ONE 11(11):e0165947. https://doi.org/10.1371/journal.pone.0165947

Lejeune E, Linder C (2017) Modeling tumor growth with peridynamics. Biomech Model Mechanobiol 16(4):1141–1157

Zingales M (2011) Wave propagation in 1D elastic solids in presence of long-range central interactions. J Sound Vib 330(16):3973–3989

Vogler TJ, Borg JP, Grady DE (2012) On the scaling of steady structured waves in heterogeneous materials. J Appl Phys 112(12):123507

Wildman RA, Gazonas GA (2014) A finite difference-augmented peridynamics method for reducing wave dispersion. Int J Fract 190(1–2):39–52

Bazant ZP, Luo W, Chau VT, Bessa MA (2016) Wave dispersion and basic concepts of peridynamics compared to classical nonlocal damage models. J Appl Mech. https://doi.org/10.1115/1.4034319

Nishawala VV, Ostoja-Starzewski M, Leamy MJ, Demmie PN (2016) Simulation of elastic wave propagation using cellular automata and peridynamics, and comparison with experiments. Wave Motion 60:73–83

Silling SA (2016) Solitary waves in a peridynamic elastic solid. J Mech Phys Solids 96:121–132

Butt SN, Timothy JJ, Meschke G (2017) Wave dispersion and propagation in state-based peridynamics. Comput Mech 60(5):1–14

Madenci E, Oterkus E (2014) Peridynamic theory and its applications. Springer, New York

Javili A, Morasata R, Oterkus E, Oterkus S (2019) Peridynamics review. Math Mech Solids 24:3714–3739

Bode T, Weißenfels C, Wriggers P (2020) Mixed peridynamic formulations for compressible and incompressible finite deformations. Comput Mech 65:1365–1376

Bode T, Weißenfels C, Wriggers P (2020) Peridynamic Petrov–Galerkin method: a generalization of the peridynamic theory of correspondence materials. Comput Methods Appl Mech Eng 358:112636

Silling SA, Lehoucq RB (2010) Peridynamic theory of solid mechanics. Adv Appl Mech 44:73–168

Ostoja-Starzewski M, Demmie PN, Zubelewicz A (2013) On thermodynamic restrictions in peridynamics. J Appl Mech 80(1):014502

Fried E (2010) New insights into the classical mechanics of particle systems. Discrete Contin Dyn Syst 28(4):1469–1504. https://doi.org/10.3934/dcds.2010.28.1469

Murdoch A (2012) Physical foundations of continuum mechanics. Cambridge University Press, Cambridge

Fosdick R (2013) A causality approach to particle dynamics for systems. Arch Ration Mech Anal 207:247–302

Podio-Guidugli P (2017) On the modeling of transport phenomena in continuum and statistical mechanics. Discrete Contin Dyn Syst Ser S 10(6):1393–1411

Silling SA, Epton M, Weckner O, Xu J, Askari E (2007) Peridynamic states and constitutive modeling. J Elast 88(2):151–184

Zhu Q-Z, Ni T (2017) Peridynamic formulations enriched with bond rotation effects. Int J Eng Sci 121:118–129

Nikravesh S, Gerstle W (2018) Improved state-based peridynamic lattice model including elasticity, plasticity and damage. Comput Model Eng Sci CMES 116:323–347

Tupek MR, Radovitzky R (2014) An extended constitutive correspondence formulation of peridynamics based on nonlinear bond-strain measures. J Mech Phys Solids 65(1):82–92

Javili A, McBride AT, Steinmann P (2019) Continuum-kinematics-inspired peridynamics. Mech Probl. J Mech Phys Solids 131:125–146

Javili A, Dell’Isola F, Steinmann P (2013) Geometrically nonlinear higher-gradient elasticity with energetic boundaries. J Mech Phys Solids 61(12):2381–2401

Auffray N, Dell’Isola F, Eremeyev VA, Madeo A, Rosi G (2015) Analytical continuum mechanics á la Hamilton–Piola least action principle for second gradient continua and capillary fluids. Math Mech Solids 20(4):375–417

Silling SA, Askari E (2005) A meshfree method based on the peridynamic model of solid mechanics. Comput Struct 83(17–18):1526–1535

Gurtin ME, Murdoch AI (1975) A continuum theory of elastic material surfaces. Arch Ration Mech Anal 57:291–323

Javili A, Steinmann P (2010) A finite element framework for continua with boundary energies. Part II: the three-dimensional case. Comput Methods Appl Mech Eng 199:755–765

Javili A, Mcbride A, Steinmann P (2013) Thermomechanics of solids with lower-dimensional energetics: On the importance of surface, interface, and curve structures at the nanoscale: a unifying review. Appl Mech Rev 65(1):010802

Javili A, McBride A, Steinmann P, Reddy BD (2014) A unified computational framework for bulk and surface elasticity theory: a curvilinear-coordinate-based finite element methodology. Comput Mech 54:745–762

Henke SF, Shanbhag S (2014) Mesh sensitivity in peridynamic simulations. Comput Phys Commun 185(1):181–193

Jenabidehkordi A, Rabczuk T (2019) The multi-horizon peridynamics. Comput Model Eng Sci CMES 121(2):493–500

Ren H, Zhuang X, Rabczuk T (2017) Dual-horizon peridynamics: a stable solution to varying horizons. Comput Methods Appl Mech Eng 318:762–782

Rudraraju S, Ven AVD, Garikipati K (2014) Three-dimensional iso-geometric solutions to general boundary value problems of Toupin’s gradient elasticity theory at finite strains. Comput Methods Appl Mech Eng 278:705–728

Yu H, Li S (2020) On energy release rates in Peridynamics. J Mech Phys Solids 142:104024

Seleson P, Parks M (2011) on the role of the influence function in the peridynamic theory. Int J Multiscale Comput Eng 9(6):689–706

## Acknowledgements

AJ and SF gratefully acknowledge the support provided by Scientific and Technological Research Council of Turkey (TÜBITAK) Career Development Program, Grant No. 218M700. PS and AM gratefully acknowledge the support provided by the EPSRC Strategic Support Package: Engineering of Active Materials by Multiscale/Multiphysics Computational Mechanics—EP/R008531/1.

## 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.

The original version of this article was revised due to a retrospective Open Access order.

## 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

Javili, A., Firooz, S., McBride, A.T. *et al.* The computational framework for continuum-kinematics-inspired peridynamics.
*Comput Mech* **66**, 795–824 (2020). https://doi.org/10.1007/s00466-020-01885-3

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s00466-020-01885-3

### Keywords

- Peridynamics
- Continuum kinematics
- Computational implementation