# Modeling of One Inclusion in the Infinite Peristatic Matrix Subjected to Homogeneous Remote Loading

- 80 Downloads

## Abstract

A basic problem of micromechanics is analysis of one inclusion in the infinite matrix subjected to a homogeneous remote loading. A heterogeneous medium with the bond-based peridynamic properties (see Silling, J Mech Phys Solids 48:175–209, 2000) of constituents is considered. At first, volumetric boundary conditions are set up at the external boundary of a final domain obtained from the original infinite domain by truncation. One also considers a periodization approach (for a dilute concentration of inclusion). At last, a group of the iteration methods is considered where the displacement field is decomposed as linear displacement corresponding to the homogeneous loading of the infinite homogeneous medium and a perturbation field introduced by one inclusion. This perturbation field is found by the iteration method for entirely infinite sample with an initial approximation given by a driving term which has a compact support. The form of the mentioned solutions is adapted for subsequent incorporation into one or another micromechanical approach for peristatic composite materials. The methods are demonstrated by numerical examples for 1D case. A convergence of numerical results for the peristatic composite bar to the corresponding exact evaluation for the local elastic theory is shown.

## Keywords

Inclusion Inhomogeneous materia Peristatics Non-local methods## 1 Introduction

The prediction of the behavior of composite materials (CM) in terms of the mechanical properties of constituents and their microstructure is a central problem of micromechanics. In its turn, the stress fields estimations in the constituents are based on a substitution into the one or another micromechanical scheme of a solution (called basic problem) for one inclusion inside the infinite matrix subjected to some homogeneous effective field. In the case of locally elastic properties of constituents, for both the ellipsoidal homogeneous inclusion and homogeneous effective field, this solution has an analytical representation in the form of Eshelby [24] tensor (see for references [44, 65]). For the general inclusion shape, the various numerical methods have been developed. So, the finite element analysis (FEA) in the truncation method is used for the *modeling* of the infinite medium with one inclusion by an increased size sample (see for references [8]). Immediate considerations of the infinite medium were performed by either the boundary integral equation methods (see, e.g., [17, 34]) or the volume integral equation ones (see for references, e.g., [8]).

Proposal of peridynamics by Silling [52] (see also [5, 36, 38, 56, 57]), a nonlocal theory of solid mechanics, initiated the explosive character of the progress in different physical phenomena based on the replacement of the classical partial differential equation of balance of linear momentum by the integral equation which is free on any spatial derivatives of displacement. In nonlocal peridynamic theory, the equilibrium of a material point is achieved by a summation of internal forces produced by surrounding points over finite distance (called a horizon) while in the classical theory such interactions are only exerted by adjacent points through the contact forces. Generally in peridynamics, the state-based approach permits the response of a material at a point to depend collectively on the deformation of all bonds connected to the point within its finite radius horizon (see [55, 57]) via a response function that completely describes the interaction. It means that the forces between two peridynamic nodes depend also on deformations of other bonds surrounding these nodes within the horizons. The horizon can encompass discontinuities or different materials. A simplified version derived from this approach is the so-called bond-based approach, in which interactions only occur between pairs of material points within a horizon. As it is well known, a direct consequence of this assumption is that the Poisson’s ratio for isotropic linear materials is fixed at *ν* = 1/4 in three dimensions or *ν* = 1/3 in two dimensions [52]. The major advantages of the state-based approach include a material response depending on collective quantities (like volume change or shear angle), which allows constitutive models from the conventional theory of solid mechanics to be incorporated directly within the peridynamic approach (see, for example [1, 55]). However, this paper will use the bond-based approach as it is most suitable to the chosen implementation. The term “peristatics” is used analogously to Mikata [42] to differentiate the static problems considered in the current paper from the dynamic problems.

Buryachenko [10, 13] established similarity of the general integral equations for both locally elastic CMs and peristatic ones that opens the opportunities to straightforward generalization of their solutions for locally elastic CMs to the peristatic ones. These models contain as a necessary ingredient the solution for one inclusion in the infinite matrix subjected to the homogeneous effective field (called basic problem). At first, the scheme by the FEA for the locally elastic basic problem is generalized to the peristatic sample of increasing size subjected to the volumetric homogeneous displacement loading. While numerically solving a problem initially formulated on the unbounded domain, one typically truncates this domain. The artificial volumetric boundary conditions (ABC) are set up at the external boundary of a final domain obtained from the original infinite domain by truncation (see [60]). In a simplest case of a homogeneous remote loading at infinity, the corresponding artificial boundary conditions are also assumed to be homogeneous. A necessary requirement of ABC is that the solution found inside the truncated domain is close to the corresponding solution in the origin infinite domain. The infinite medium is *modeled* by an increased size sample with controlled stabilization of the solution for this sample.

The theory of multi-scale analysis of locally elastic composites of periodic structure is well developed (see for references, e.g., [3, 25, 40, 47]). It is usually implied that a ratio of the representative size of microstructure and the overall dimension of the structure is negligibly small. An alternative sort of truncation method in peristatics of CM is periodization method when a unite cell (UC, see [14, 15, 16, 37]) size is increased while the inclusion size is fixed or, in other words, dilute concentration of inclusion is analyzed, i.e., the infinite medium with one inclusion is modeled as a periodic structure CM with dilute concentrations of inclusions. For the peristatic periodic structure CM, one introduces new volumetric periodic boundary conditions (PBC) at the interaction boundary of a representative unit cell (UC). Introduction of the volumetric periodic boundary conditions allows us to generalize classical computational homogenization approach to their peristatic version.

Immediate consideration of the infinite medium can be performed by the Green function (see [61, 63]) technique which is reduced to the volume integral equation method (VIEM) well developed in the theory of locally elastic CMs (see for references [8]). Introduction of the micropolarization tensor by Buryachenko [10, 13] (generalizing the notion of polarization tensor in local elasticity, see, e.g., [8]) provides a great scope for generalization of the VIEM to its peristatic counterpart that can be easily performed as a straightforward exploitation of the method [9] proposed for solution of a corresponding basic problem with nonlocally elastic (in the sense of Eringen [23]) properties of constituents. However, this version of the VIEM is not considered in the current publication in more details.

In the next approach, the displacement field is decomposed as linear displacement corresponding to the homogeneous loading of the infinite homogeneous medium and a perturbation field introduced by one inclusion. This perturbation field is found by the iteration method for entirely infinite sample analogously to a solution for the nonlocally elastic (in the sense of Eringen [23]) basic problem proposed by Buryachenko [9]. The discretization of the nonlocal linear equations of peristatics are reduced to the linear matrix equations. The direct method of triangulation of the corresponding *N* × *N* matrix *A* becomes prohibitive in terms of computer time and storage if the matrix is quite large for either (or both) 2D and 3D dimensions or comparable scale of nonlocal effects (defined by the horizon) and the field and material scales. Furthermore, most large problems are sparse, and the sparsity is lost to a considerable extent during the triangulation procedure. For dealing with these very large matrix with many nonzero entries, it is advisable to use a class of iterative methods which never alter the matrix *A* and require the storage of a few vectors of length *N* at a time.

In many physics and engineering areas, nature may be best represented or modeled by unbounded or semi-unbounded domains. While the existence and uniqueness of solutions of finite systems have been completely resolved, much remains unknown for infinite systems corresponding to the problems for one inclusion in the infinite matrix. An excellent detailed account of the colorful history of infinite matrices is given by Bernkopf [4]). Establishment of a sufficient conditions guarantying the existence and uniqueness of infinite matrix equations are usually restricted by the matrixes of special structures (see [51]]) like diagonal dominance, tridiagonal, and sign distributions, which are frequently nonsingular. The purpose of this paper is to propose a method for solution of infinite matrix equations corresponding to the problems for one inclusion in the infinite peristaltic matrix. Establishment of the right hand side of this equation as a discretization of a fictitious body force with compact support has a beneficial effect on development of an iteration solution method which falls out as a bonus.

Namely, the paper is originated as follows. In Section 2, we give a short introduction into the peristatic theory of solids adapted for a subsequent presentation. The scheme of the truncation method is presented in Section 3. Periodization method is considered in Section 4. The iterative method for one inclusion in the infinite matrix is considered in Section 5. The method proposed is in fact the Jacoby method generalized to the band iteration matrix of the infinite order. General representations of Sections 3–5 are immediately analyzed for 1D cases in Section 6. Close solutions of the truncation method and iterative one are demonstrated. A convergence of numerical results for the peristatic composite bar to the corresponding exact evaluation for the local elastic theory are shown.

## 2 Preliminaries: Basic Equations of Peristatics

Let a linear elastic body occupy an open simply connected bounded domain *w* ⊂ *R*^{d} with a smooth boundary Γ_{0} and with an indicator function *W* and space dimensionality *d* (*d* = 2 and *d* = 3 for 2-*D* and 3-*D* problems, respectively). The domain *w* contains a homogeneous matrix *v*^{(0)} and a heterogeneity *v* with indicator functions *V* and bounded by the closed smooth surfaces Γ defined by the relations Γ(**x**) = 0 (**x** ∈Γ), Γ(**x**) > 0 (**x** ∈ *v*), and Γ(**x**) < 0 (**x**∉*v*). Initially, no restrictions are imposed on the elastic symmetry of the phases or on the geometry of the heterogeneity.

We first consider the local basic equations of thermoelastostatics of composites

^{⊤}denotes matrix transposition. The body force tensor

**b**can be generated, e.g., by either gravitational loads or a centrifugal load.

**L(x)**and

**M(x)**≡

**L(x)**

^{− 1}are the known phase stiffness and compliance fourth-order tensors, and the common notation for contracted products has been employed: [

**L**

*]*

**ε**_{ij}=

*L*

_{ijkl}

*ε*

_{kl}(

*i*,

*j*,

*k*,

*l*= 1,…,

*d*). In particular, for isotropic constituents the local stiffness tensor

**L**(

**x**) is given in terms of the local bulk modulus

*k*(

**x**) and the local shear modulus

*μ*(

**x**):

**N**

_{1}=

*⊗*

**δ***/*

**δ***d*,

**N**

_{2}=

**I-N**

_{1}(

*d*= 2 or 3);

*and*

**δ****I**are the unit second-order and fourth-order tensors. For all material tensors

**g**(e.g.

**L**,

**M**,

**b**) the notation

**g**

_{1}(

**x**) ≡

**g**(

**x**) −

**g**

^{(0)}is used.

Substitution of Eqs. 2 and 3_{1} into Eq. 1 yields a representation of the local equilibrium (1) in the form

In this section, we also summarize the linear peristatics model introduced by Silling [52] (see also [32, 54]). An equilibrium equation is free of any spatial derivatives of displacement (contrary to Eq. (5)) and presented in the form of a Fredholm equation of the second kind

**f**is a pairwise force function (called also a

*bond force*) whose value is the force vector that the point located at \(\hat {\textbf {x}}\) (in the reference configuration) exerts on the point located at

**x**(also in the reference configuration); the third argument

**x**of

**f**(6) can be dropped for the homogeneous media \( \textbf {f}(\textbf {u}(\hat {\textbf {x}})-\textbf {u}(\textbf {x}),\hat {\textbf {x}}-\textbf {x},\textbf {x})=\textbf {f}(\textbf {u}(\hat {\textbf {x}})-\textbf {u}(\textbf {x}),\hat {\textbf {x}}-\textbf {x})\). The dimension of

**f**is [

**f**] =

*F*/

*L*

^{2d}where

*L*and

*F*denote the physical dimensions of length and force. Equations (5

_{1}) and (6

_{1}) have the same form for both local and non-local formulation with the different operators (5

_{2}) and (6

_{2}). Because of this, the superscripts

^{L}(⋅) will be correspond hereafter to the local case. The body force density function

**b**(

**x**) is assumed to be self-equilibrated

**b**(

**x**) = 0 for |

**x**| >

*a*

^{δ}.

The relative position of two points in the reference configuration is denoted as *ξ*

**η****x**interact with

**x**:

**x**can not “see” outside \({\mathcal {H}}_{\textbf {x}}\). The vector \(\boldsymbol {\xi }=\hat {\textbf {x}}-\textbf {x}\) (\(\hat {\textbf {x}}\in {\mathcal {H}}_{\textbf {x}}\)) is called a

*bond*to

**x**, and the collection of all bonds to

**x**form the domain \({\mathcal {H}}_{\textbf {x}}\). Without loss of generality, it is assumed that a shape of \({\mathcal {H}}_{\textbf {x}}\) is spherical: \({\mathcal {H}}_{\textbf {x}}=\{\hat {\textbf {x}}:\ |\hat {\textbf {x}}-\textbf {x}|\leq l_{\delta }\}\) and a positive number

*l*

_{δ}, called the

*horizon*, does not depend on

**x**. The pairwise force function

**f**is required to have the following properties (for ∀

*,*

**η***and ∀*

**ξ****x**∈

*w*):

**x**is parallel to their current relative position. The function

**f**contains all constitutive information about the materials.

A linearized version of the theory for a microelastic homogeneous material takes the form

**b**. Here, the material’s

*micromodulus*function

**C**contains all constitutive information and its value is a second-order tensor given by

For consistency with Newton third law (also following the requirement from Eq. 11) the micromodulus function **C** for the homogeneous materials must be symmetric with respect to its argument as well as with respect to its tensor structure

**C**are discussed in detail in Silling [52]. For example, for the micromodulus functions with the step-function and triangular profiles

**C**described by Eqs. (18) is in detail investigated by both numerical and analytical methods in 1D case (see [5, 7, 42, 62]) and 2D case (see [29, 30]). If we assume a linear microelastic material then, in general, the stiffness tensor for a linear microelastic materials can be shown to read as (see [20, 21, 52])

*λ*(

*) depends on the specific material model and for a linear isotropic material,*

**ξ***λ*depends on

*only trough*

**ξ***ξ*= |

*|. For the special case of a linear microelastic materials*

**ξ***c*depends again on the material but also on the dimension

*d*of the problem. The proportionality factor

*c*(20) (or

**C**(18)) is to be determined in such a way that the deformation energy density (or the constitutive equation) of a homogeneous body under homogeneous loading arising from the peridynamic model coincides with the corresponding value from the classical linear elasticity theory (see, e.g., [20, 22]). A direct consequence of the assumption (19) is that the Poisson’s ratio for isotropic linear microelastic materials is fixed at the value of

*ν*= 1/4 in 3D or

*ν*= 1/3 in 2D [52].

For two phase composite medium containing any two points **x** and \(\hat {\textbf {x}}\) in *R*^{d}, the micromodulus \(\textbf {C}(\boldsymbol {\xi })=\textbf {C}(\textbf {x},\hat {\textbf {x}})\) (\(\boldsymbol {\xi }=\hat {\textbf {x}}-{\textbf {x}}\)) is given by the formula

**C**

^{(1)}and

**C**

^{(0)}are intrinsic to each phase and can be determined through experiments. Bonds connecting points in the different materials are characterized by micromodulus

**C**

^{i}, which can be chosen such that \(\textbf {C}^{(1)}(\textbf {x},\hat {\textbf {x}})\geq \textbf {C}^{i}(\textbf {x},\hat {\textbf {x}})\geq \textbf {C}^{(0)}(\textbf {x},\hat {\textbf {x}})\), or

Substitution of Eq. 13 into Eq. 11 leads to the following property of **C**(* ξ*,

**x**):

The peridynamic theory is traditionally based on the using of the displacement field **u**(**x**) rather than either the stress * σ*(

**x**) or strain

*(*

**ε****x**) fields which are not conceptually necessary. However, introduction of the notion of stress is helpful, as one can use it to formulate stress-strain relations for exploiting of well developed tool of classical elasticity theory in subsequent application of the present theory for heterogeneous materials. For subsequent convenience, one introduces a vector valued function \(\hat {\textbf {f}}:\ R^{d}\times R^{d}\to R^{d}\) by

*(*

**σ****z**) at the point

**z**to be the total force that all material points \(\hat {\textbf {x}}\) to the right of

**z**exert on all material particles to its left (see, e.g., [58, 62]). So, for

*d*

*D*(

*d*= 1,2,3) cases

*S*stands for the unit sphere and

*d*Ω

_{m}denotes a differential solid angle on

*S*in the direction of any unite vector

**m**. Lehoucq and Silling [32] proved (26) for 3D case while the case

*d*= 2 [13] can be justified in a similar manner. Equation 26 at

*d*= 1 can also be reduced to the representations [58, 62] by the variable exchange

*x*−

*z*↦

*r*,

*x*+

*y*↦

*s*. Indeed, the origin-centered unit 1D “sphere” is the set {-1 , 1}, which has a measure of 2. Then the integrand of Eq. 26 is reduced to integrand of the corresponding equation for 1D case [58, 62] by the use of the equality (11).

## 3 Truncation Method

Due to nonlocality, the equilibrium equation (6) should be accompanied by a “boundary” condition, imposed as a volumetric constraint in so-called the interaction domain *w*_{Γ} (in opposite to the local elasticity case where the boundary conditions are imposed precisely at the bounding surface Γ^{(0)}, see for details [31, 52]); i.e., the nonlocal boundary *w*_{Γ} is a *d*-dimensional region unlike its (*d* − 1)-dimensional counterpart Γ^{0} in local problems. The interaction domain *w*_{Γ} contains points **y** not in *w* interacting with points **x** ∈ *w*. A variety of choices for the domain *w*_{Γ} having positive volume are possible (see for details [19, 41]) \(\overline {\overline {w}}=w\cup w_{\Gamma }\) stands the *nonlocal closure* of *w*. The most popular shape for *w*_{Γ} with prescribed the forces and displacements is a boundary layer of thickness given by the horizon *l*_{δ} (see [35]); \(w_{\Gamma }=\{w\oplus {\mathcal {H}}_{\textbf {0}}\}\backslash w\), where \(w\oplus {\mathcal {H}}_{\textbf {0}}\) is a Minkovski outer parallel (delation) of *w* (\({\mathcal {A}}\oplus {\mathcal {B}}:= \cup _{\textbf {x}\in {\mathcal {A}},\textbf {y}\in {\mathcal {B}}}\{\textbf {x}+\textbf {y}\}\)); in such a case *w* is the internal region of \(\overline {\overline {w}}\) (see [52]). Points in *w* interact with points in *w*_{Γ} through the pairwise force function **f**, and, therefore, these external forces must be supplied through the fictitious force density **b**. In particular, the nonlocal Dirichlet volume-constrained problem is given as (see [19, 41])

*displacement loading*. It is assumed that \(\overline {\overline {w}}\) is obtained by cutting out of a domain from periodic heterogeneous medium filling the entire space

*R*

^{d}. The interaction domain

*w*

_{Γ}is covered by the surfaces Γ

_{r}:= {

**y**: dist(

**y**,

*w*) = r} (0 ≤r ≤

*l*

_{δ}) so that for ∀

**y**∈

*w*

_{Γ}(

**y**∈Γ

_{r}) one can attach a normal vector

**n**(

**y**)⊥Γ

_{r}; i.e. Γ

_{0}and \({\Gamma }_{l_{\delta }}\) are the boundaries of

*w*and

*w*

_{Γ}, respectively. In such a case, the Dirichlet (27

_{2}) volumetric boundary conditions are called homogeneous loading conditions if there exist some symmetric constant tensors \(\boldsymbol {\varepsilon }^{w_{\Gamma }}\) such that

_{0}which is defined just by convenience of representation. For example, it is convenient for visibility, although not an essential feature of the theory, to assume that Γ

^{0}has a circle (or oval) shape (

*d*= 2).

Peridynamics is a continuum theory where each infinitesimal volume interacts with an infinite numbers of other volumes within the horizon. However, in numerical implementation described by Silling and Askari [54], the region *w* is discretized into a set of nodes *p*, each with a finite known volume (called *full volume*) \(\bar V_{p}=h^{d}\) defined by the size *h*. Taken together, the nodes form a grid **x**_{p} with the total number *p* ∈ [1,*N*^{max}] of nodes covering the total macrovolume *w*. The spatially discretized form of the equilibrium (6) and (13) replaces the integral by the finite sum for each node *p*

**u**

_{p}=

**u**(

**x**

_{p}),

**b**

_{p}=

**b**(

**x**

_{p}). For every interaction between the nodes

*q*and

*p*, only the volume fraction \(\bar V_{pq}\) of the volume \(\bar V_{q}\) of node

*q*inside the cutoff distance

*l*

_{δ}of node

*p*is counted. Estimation of the partial volumes \(\bar V_{pq}\) (partial volume algorithm) for

*d*= 1,2,3 was proposed in [43, 49]. In modified algorithm by Hu et al. [28] (with an accuracy estimations [49]), the family of the node

*p*may include nodes

*q*outside the horizon |

**x**

_{q}−

**x**

_{p}| >

*l*

_{δ}that allows for a non-vanishing force state for this pair of nodes with subsequent correction for partial volumes. The mentioned algorithms were proposed for the family points completely belonging to the same phase (either \({\mathcal {H}}_{p}\subset v^{(0)}\) or \({\mathcal {H}}_{p}\subset v^{(1)})\). If the line segment [

**x**

_{p},

**x**

_{q}] intersect the geometrical interface Γ separating the phases

*v*

^{(0)}and

*v*

^{(1)}, then the locally elastic model require separate interface conditions defined on Γ. In contrast to local elasticity, in peridynamics, one introduces a

*d*-dimensional set

**x**∈

*v*

_{Γ}(called extended interface or interaction interface) of thickness 2

*l*

_{δ}(including Γ as a central

*d*− 1 dimensional surface Γ) where a new peristatic operator is defined on displacements

**u**(

**x**) (see for details [48, 50]). It was showed that nonlocal interface problems converge to their classical local counterparts in the limit of the horizon going to zero

*l*

_{δ}/

*a*→ 0. Although there are no technical issues with correction of discretized peridynamic equation in the extended interface

**x**∈

*v*

_{Γ}, it is helpful to assume for simplicity only that the peristatic operator in the extended interface is described by Eq. 6 with the constant horizon and micromodulus (21) determined as an average value of the micromoduli in the matrix and inclusion (23

_{1}), see [2] (and also [37] where one proposed a variation of the extended interface micromodulus \(\textbf {C}^{i}(\textbf {x},\hat {\textbf {x}})\) in a spirit of the functional graded materials theory described in, e.g., [8]).

The equilibrium (29) can be presented in a standard matrix form (**x**_{p} ∈ *w*)

*d*

*N*

^{max}×

*d*(

*N*

^{max}+

*N*

^{wΓ})) while a displacement

**u**

_{q}is presented by a vector (

*d*(

*N*

^{max}+

*N*

^{wΓ}) × 1)

^{⊤}. Equation (30) should be solved in an accompany with the corresponding homogeneous volumetric boundary conditions [e.g., Dirichlet-type volumetric boundary condition (28)]. It means inversion of a global square stiffness matrix \(\hat {\mathbb {K}}\) (

*d*

*N*

^{max}×

*d*

*N*

^{max}) for all nodes

*p*∈ [1,

*d*

*N*

^{max}] in Eq. 32 where a displacement

**u**and an fictitious body force vector \(\hat {\textbf {b}}\) (defined by the volumetric boundary condition (28)) are presented by the vectors (

*d*

*N*

^{max}× 1)

^{⊤}

**x**∈

*w*

_{Γ}) (28), and the indicator function \(W^{\overline {\overline {w}}}\) of the nonlocal closure \(\overline {\overline {w}}=w\cup w_{\Gamma }\) is splitted as

Thus, the solution **u**(**x**) (**x** ∈ *w*) based on inverting a truncated matrix \(\hat {\mathbb {K}}_{pq}\) (*p*,*q* = 1,…,*d**N*^{max}) is assumed to be found. In truncation domain method, an infinite integration domain *R*^{d} is replaced by corresponding finite domain *w* ⊂ *R*^{d} with control of the error. For estimation of the size of the truncation domain, let us the geometrical boundary Γ^{w} of the domain *w* in 2D is prescribed in the polar coordinate system Γ^{w}(**x**) = {**x** : *x*_{1} = *r*(*ϕ*)cos(*ϕ*),*x*_{2} = *r*(*ϕ*)sin(*ϕ*)}. The positions of the points **y** ∈Γ^{ρ} of the surface Γ^{ρ} is expressed through the points **x** ∈Γ^{w} by a homothety transformation:

**x**

_{i}=

**0**is a homothetic center coinciding with the particle center. Once the parameter 1 <

*ρ*is chosen, the distribution of the points

**y**∈Γ

^{ρ}is determined. For a sequence

*ρ*

_{k}=

*k*we estimate a sequence

**u**

^{ρ}in the domain

*w*

^{ρ}with the boundary Γ

^{ρ}and analyze a convergence of

**u**

^{ρ}by estimation of tolerance defined by the relative difference of

**u**

^{ρ}and

**u**

^{ρ+ 1}

*L*

_{2}norm is evaluated over the domain

*v*

_{Γ}. The simulation is stopped when the tolerance Δ reaches 0.1

*%*. We control the variations of

**u**

^{ρ}only over the domain

*v*

^{l}:=

*v*∪

*v*

_{Γ}because according to [10, 13] the effective moduli depend on the strain distribution

**u**(

**x**) only in the domain

**x**∈

*v*

^{l}.

The found solution **u**(**x**) (**x** ∈ *w*) allows us to finalize the solution of the basic problem by the following representations for the displacements and strains (**x**_{q} ∈ *v*^{l})

**A**

^{u}(

**x**

_{q}) is the displacement influence function while the strain influence function

**A**

^{𝜖}(

**x**

_{q}) is obtained from

**A**

^{u}(

**x**

_{q}) by numerical differentiation. Hereafter, we introduced the notion of the field (displacement, strain, and stress) influence functions widely used in micromechanics (see, e.g., [8, 25]) [no confusion with the term “influence (or weighting) function” exploited in peridynamics, see, e.g, [50, 57]]. It should be mentioned that the strain influence function

**A**

^{𝜖}(

**x**

_{q}) averaged over the inclusion

*v*is used in the different methods of micromechanics of locally elastic CMs (see for references [8]). However, the peridynamic theory is traditionally based on the using of the displacement fields

**u**(

**x**) rather than the strain

*(*

**ε****x**) fields which are not conceptually necessary. Moreover, the fictitious body forces (34) with a discontinuity at

**x**∈Γ also produce a discontinuity of

**u**(

**x**) at

**x**∈Γ because in general the displacement field

**u**(

**x**) has the same smoothness as the body force field (see Silling et al. [58]). For elimination of this difficulties, Buryachenko [17] (see also [16]) proposed a micromechanical model of peristatic CMs based on the averaging of weighted displacement influence function

**A**

^{u}(

**s**) over the surface

**s**∈

*∂*

*v*

^{l}. However, just for better visualisation (e.g., for comparison with a locally elastic solution) of comparative numerical 1D analyses of different methods (see Section 6), we will estimate the strain influence function

**A**

^{𝜖}(

**x**

_{q}).

Of course, a classical problem for a finite peristatic sample (with or without inclusions) was intensively analyzed in many publications even for more general constitutive laws (such as nonlinear and state-based approaches [43, 49, 50, 54, 57]) and more advanced numerical methods. So, in mesh adaptivity [6, 7], a given quadrature model is refined where additional resolution is needed (e.g., in the vicinity of interface). In coarsening approach by Silling [53], the detailed geometry of a body is replaced by a succession of different geometries providing essentially the same result as in the original detailed problem. Macek and Silling [35] (see also [36]) implemented the peridynamics approach into the ABAQUS commercial FE code by the use of truss elements as mesh with appropriate stiffness properties which represents the peridynamic bonds.

Thus, there is a room for improvement of the quadrature method considered (30)–(35) and its generalization to more general constitutive laws. The goal of the current presentation is a formulation of a systematic scheme for obtaining of the basic problem solution (38) and (39) having control of the error (37). The form of this solution is adapted for subsequent incorporation into one or another micromechanical method (such as, e.g., generalized Mori-Tanaka approach, see for details [18]) of random structure peristatic CMs. In general, the displacement (38) and strain (39) influence functions depend on the size of the domain *w*. However, the satisfaction of the tolerance requirements (37) provides a stabilization of the solution **A**^{u}(**x**) and **A**^{𝜖}(**x**) in the extended inclusion **x** ∈ *v*^{l}. It should be mentioned that the estimation of the tolerance (37) in the same domain **x** ∈ *v*_{Γ} for two solutions **u**^{ρ+ 1} and **u**^{ρ} with the different domains of definition is more convenience than control of the limit

## 4 Periodization Method

In this section, we extract some results by Buryachenko [16] in the form adopted for subsequent presentation.

An alternative sort of truncation method is periodization method where the problem for one inclusion inside the infinite matrix is replaced by a periodic structure with an increasing ratio *l*^{Ω}/*a* →*∞* of a unite cell (UC) size *l*^{Ω} and the inclusion size *a*. So, the domain *w* is constructed from a periodic field of the cubic unit cells (UC) Ω_{α}: *w* = ∪Ω_{α}, where each UC with the side length 2*l*^{Ω} is labeled by the multiplet of integer numbers * α* = (

*α*

_{1},…,

*α*

_{d}) ∈

*Z*

^{+}, here

*α*

_{i}= 0,± 1 (

*i*= 1,…,

*d*). The centers of UCs are presented as \(\textbf {x}^{\Omega }_{\boldsymbol {\alpha }}= 2l^{\Omega }\alpha _{1}\textbf {e}_{1}+\ldots + 2l^{\Omega }\alpha _{d}\textbf {e}_{d}\) in the Cartesian coordinate frame

**e**

_{1},…,

**e**

_{d}. Each identical unit cell contains a homogeneous matrix

*v*

^{(0)}and inclusion

*v*with an indicator functions

*V*and bounded by the closed smooth surfaces Γ defined by the relations Γ(

**x**) = 0 (

**x**∈Γ), Γ(

**x**) > 0 (

**x**∈

*v*), and Γ(

**x**) < 0 (

**x**∉

*v*). In the context of the principle of separation of scales assumed, the microscopic length scale |Ω

_{α}| is much smaller than the characteristic size of the macroscopic sample |

*w*|.

For simplicity of notations we will consider 2D case *w* = ∪Ω_{ij} (*i*,*j* = 0,± 1,± 2,…) with the square unit cells Ω_{ij}. Let a representative unit cell Ω_{00} with the corner points \(\textbf {x}^{c}_{kl}\) (*k*,*l* = ± 1) has the boundary \({\Gamma }^{0}=\cup {\Gamma }^{0}_{ij}\) where the boundary partition \(\textbf {x}_{ij}^{0}\in {\Gamma }^{0}_{ij}\) separates the UCs Ω_{00} and Ω_{ij} (*i* = 0,± 1, *j* = ±(1 −|*i*|)). The position vectors \(\textbf {x}^{0}_{\alpha }:=\textbf {x}^{0}_{ij}\in {\Gamma }^{0}_{ij}\) or \(\textbf {x}^{0}_{\beta }:=\textbf {x}^{0}_{kl}\in {\Gamma }^{0}_{kl}\) of the opposite sides of Ω_{00} (* α* = −

*) are expressed through the position vectors of the corner points \(\textbf {x}^{c}_{mn}\) (*

**β***i*= 0,± 1,

*j*= ±(1 −|

*i*|),

*k*= −

*i*,

*l*= −

*j*,

*m*,

*n*= ± 1)

*i*= 1,

*j*= 0 and

*i*= 0,

*j*= 1, respectively, of the boundary Γ

^{0}.

For visualization of the corresponding periodic boundary conditions (PBC) in locally elastic UC, a *toroidal edge correction* (see [45]) is often used. In such a case, each 2D square box Ω_{00} can be regarded as a torus, so that points on opposite edges are considered to be closed (a 3D case is analyzed in a similar manner). In peristatics, if the source point **x**_{p} + * ξ* ∈Ω

_{α}(

**x**∈Ω

_{00}, HCode \(\boldsymbol {\xi }\in {\mathcal {H}}_{p}\)) then the peristatic counterparts of the locally elastic PBC called

*new volumetric periodic boundary conditions*(PBC) represent periodic displacements and antiperiodic tractions

*= −*

**β***and \(\textbf {x}^{0}_{\bf \alpha }\) are defined by Eq. 41 while antiperiodic traction \(\textbf {t}(\textbf {x}_{\bf \alpha })=\boldsymbol {\sigma }(\textbf {x}^{0}_{\bf \alpha })\textbf {n} (\textbf {x}^{0}_{\bf \alpha })\) (26) is defined on the boundaries \(\textbf {x}^{0}_{\bf \alpha }\in {\Gamma }^{0}_{\bf \alpha }\) [*

**α***= (*

**α***i*

*j*),

*i*= 0,± 1,±(1 −|

*i*|)] with the outward normal unit vectors \(\textbf {n} (\textbf {x}^{0}_{\bf \alpha })=-\textbf {n} (\textbf {x}^{0}_{\bf \beta })\).

It was showed (see for details [16]) that due to the volumetric PBC, the governing equation depends only on the displacements inside the UC Ω_{00} rather than on the displacement inside the extended UC \({\Omega }_{00{\Gamma }}:= {\Omega }_{00} \oplus {\mathcal {H}}_{\textbf {0}}\). In fact, the volumetric PBC (42) incorporating into the equilibrium Eq. 6 produces the new closed integral equation which does not require any additional interface conditions at the geometrical boundary Γ^{0}. The discretization of this equation in the form (32) acts as a macro-to-micro transition of the *deformation-driven* type, where the overall deformation **ε**^{wΓ} is controlled. Determination of the microstructural displacements **u**(**x**) (**x** ∈Ω_{00}) in an accompany with the volumetric PBC (42) at the dilute concentration of inclusions [*a*/*l*^{Ω} → 0, compare with Eq. 40] allows to finalize the solution of the basic problem with estimation of the displacement **A**^{u}(**x**_{q}) (38) and strain **A**^{𝜖}(**x**_{q}) (39) influence functions. Control of accuracy is executed by the tolerance requirement (37). It should be mentioned that the theory of computational homogenization of periodic structure peristatic CMs was developed in [17]. However, a dilute approximation (*a*/*l*^{Ω} ≪ 1) with prescribed tolerance requirement (37) was not considered before.

## 5 Iterative Methods

### 5.1 Basic Iterative Methods

One of the main feature of linear peristatics (6) is that each unknown **u**_{p} appears in only a few equations 2*n*^{l} + 1 (where 2*l*_{δ} = 2*n*^{l}*h*) of the linear system in a “neighborhood” of the *p* th equation. In such a case for the full space *w* = *R*^{d}, the infinite coefficient matrix \(\mathbb {K}\) is banded with some bandwidth *k*^{b} (so that \(\mathbb {K}_{pq}= 0\) at |*p* − *q*| > *k*^{b}) defined by both the numeration of nodes *p* and *n*^{l}. In particular, the bandwidth for 1D problem equals *n*^{l}.

Let us consider the governing equation for an infinite *R*^{d} (*d* = 1,2,3) homogeneous peristatic medium (6)

**C**

^{(0)}. The self-equilibrated body-force density

**b**(

**x**) (44) produces a displacement corresponding to the homogeneous strain

*v*(

**0**) with the micromodulus

**C**

^{(1)}(

*) in the infinite homogeneous medium with the properties*

**ξ****C**

^{(0)}(

*). Then the solution*

**ξ****u**(

**x**) can be split into two ones as

**C**

^{(0)}→

**C**

_{1}. In so doing, Eq. 48 is more preferable to solve than Eqs. 6 and 13 (see, e.g., [64]) because a fictitious body force density of Eq. 48 has a compact support \(\mathcal {\boldmath {L}}_{1}(\textbf {u}^{0})(\textbf {x})\equiv \textbf {0}\) (

**x**∉

*v*

^{l},

*v*

^{l}= {

**x**: |

**x**|≤

*a*+

*l*

_{δ}}). Hence,

**u**

_{1}(

**x**) passes to the constant

**u**

_{1}(

**x**) →const. at the removal of

**x**from

*v*

^{l}: |

**x**−

**y**|→

*∞*(\(\forall \textbf {y}\in {v^{l}_{i}}\)) and, therefore, for numerical solution of Eq. 48 only some finite domain

**x**∈

*v*

^{l0}:= {

**x**: |

**x**| <

*a*

^{l0}} should be discretized. However, the main advantage of the decompositions (47) and (48) (48) is elimination in Eq. 48 of the nonlocal volumetric boundary conditions prescribed over a nonzero volume (see, e.g., Eq. 28 and [19, 31, 35, 52]) of Eq. 48 while the solution of Eq. 47 is assumed to be known.

Indeed, Eq. 48 can be recast in the form (30) (*p*,*q* = …,− 2,− 1,0,1,2,…)

*p*,

*q*= …,− 2,− 1,0,1,2,… in Eq. 49 are renumbered with respect to the indices

*p*,

*q*= (1,

*d*

*N*

^{max}) (32). In general, the matrix \({\mathbb {K}}\) (49) is an infinite matrix; however, in our current practice, the matrix \({\mathbb {K}}\) (49) is, in fact, a truncated submatrix \(({\mathbb {K}}_{pq})\) (49) (

*p*,

*q*= [

*N*

^{finite},

*N*

^{finite}] with the size 2

*N*

^{finite}× 2

*N*

^{finite}described below. The vector \(\tilde {\textbf {b}}_{p}\) in the right hand side of Eq. 49 has a compact support (\(\tilde {\textbf {b}}_{p}\equiv \textbf {0},\ \forall \textbf {x}_{p}\in R^{d}\setminus v^{l}\)) because

**C**

_{1}(

**x**

_{p},

**x**

_{q}) vanishes in the domain

*R*

^{d}∖

*v*

^{l}. It means that nonzero elements of the vector \(\tilde {\textbf {b}}_{p}\) is limited by the indices |

*p*|≤

*d*(

*N*

^{v}+

*N*

^{vΓ}) where

*N*

^{v}and

*N*

^{vΓ}are the numbers of nodes in the inclusion

*v*and the external part of interaction interface

*v*

^{l}∖

*v*, respectively.

The last established feature of the right hand side of Eq. 49 allows us to exploit the iterative methods which are especially effective for analyses of infinite banded matrices. The popular iterative methods passes from one iteration to the next by modifying one or a few components of an approximate vector solution at a time. Improvement of iterations is controlled by the residual vector \(\tilde {\textbf {b}}-\mathbb {K}\textbf {u}\). Namely, Eq. 49 can be written in the form (*k* = 1,2,…)

**x**∈

*w*

_{Γ}analogously to Eq. 34 with replacement \(\boldsymbol {\varepsilon }^{w_{\Gamma }}\to ^{L}\!\boldsymbol {\varepsilon }_{1}\).

Thus, the indices *p* of nonzero elements of the vectors \( \tilde {\textbf {b}}_{p}\) and \(\textbf {u}_{1|p}^{(0)}\) are bounded by the inequality |*p*|≤ *d*(*N*^{v} + *N*^{vΓ}). The iteration matrix \(\mathbb {B}\) (completely determining the convergence (or not) of an iterative method (51)) is the infinite banded matrix (as \(\mathbb {K}\)) with the same bandwidth *k*^{b}. Then multiplication of the matrix \(\mathbb {B}\) and the vector \(\textbf {u}_{1|p}^{(0)}\) leads to the vector \(\textbf {u}_{1|p}^{(1)}\) with the indices of nonzero elements bounded by an inequality |*p*|≤ *d*(*N*^{v} + *N*^{vΓ} + *k*^{b}). In a similar manner, the *k*’s iteration \(\textbf {u}_{1|p}^{(k)}\) has a compact support with the indices of nonzero elements |*p*|≤ *N*^{(k)} := *d*(*N*^{v} + *N*^{vΓ} + *k*^{b} × *k*) that defines the size of the domain \(v_{i}^{l0}\). It should mentioned that the matrix \({\mathbb {B}}\) (52_{1}) is an infinite matrix. However, owing to the mentioned compact support of \(\textbf {u}^{(k-1)}_{1}\), only the submatrix \(({\mathbb {B}})_{pq}\), *p*,*q* = −[*d*(*N*^{v} + *N*^{vΓ} + *k*^{b} × (*k* − 1)),*d*(*N*^{v} + *N*^{vΓ} + *k*^{b} × (*k* − 1))], is used. It means that in the iteration scheme (52_{1}), one exploits the finite matrix \(({\mathbb {B}})_{pq}\), *p*,*q* = −[*d*(*N*^{v} + *N*^{vΓ} + *k*^{b} × (*k* − 1)),*d*(*N*^{v} + *N*^{vΓ} + *k*^{b} × (*k* − 1))], with the size depending on the iteration number *k*.

In the Jacoby iteration, each component of the next iterate \(\textbf {u}_{1}^{(k + 1)}\) is expressed through all components of the previous step \(\textbf {u}_{1}^{(k)}\). However, in the *Gauss-Seidel* iteration, the newly computed component \(u_{1|p}^{(k)}\) is changed within a working vector that is redefined at each step (|*p*|≤ *N*^{(k)})

The *successive overrelaxation* method (SOR) corrects the *p* th component following the relaxation sequence (0 < *ω* ≤ 1)

*ω*= 1 then this is just the Gauss-Seidel method.

The sequence \(\textbf {u}_{1}^{(0)}, \textbf {u}_{1}^{(1)}, \textbf {u}_{1}^{(2)},\ldots \) converges to a unique solution **u** = **u**_{1} if the norm of the iteration matrix \(\mathbb {B}\) turns out to be small “enough” (less than 1) \(|\!|\mathbb {B}|\!|<1\) where \(|\!|\mathbb {B}|\!|\) denotes the Frobenius norm of \(\mathbb {B}\). A convergence of **u**^{(k)} is controlled by estimation of tolerance defined by the relative difference of **u**^{(k+ 1)} and **u**^{(k)} and the residual vector

*L*

_{2}norm is evaluated over the domain

*v*

^{l}(as in Eq. 37

_{2}). The simulation is stopped when the tolerance max(Δ

_{2},Δ

_{3}) reaches 0.1

*%*.

### 5.2 An Iterative Tikhonov Regularization Method

It may appear that the ill-conditioning issue (see e.g., [7]), that occurs with the use of some micromodulus function, prevents computing the numerical solution to the static problem (32) or (49). A measure of the ill-posedness of the mentioned equations can be performed by using the condition number \(\text {cond}\mathbb {K}= |\!|\mathbb {K}|\!||\!|\mathbb {K}^{-1}|\!|\). If \(\mathbb {K}\) is highly ill-conditioned, one can use a regularization method to solve this system. So, the known Tikhonov (see Tikhonov and Arsenin [59]) regularization equation is

**I**is the unit infinite matrix, and the superscript

^{⊤}signifies the transpose. The optimal value

*λ*is chosen according to the method described in e.g., [27, 33, 39]).

The methods for inversion of the nonsingular finite matrix \(\tilde {\mathbb {K}}\) (32) are well developed (see, e.g., [26, 46]). We modify the Tikhonov regularization method for the infinite matrix \(\tilde {\mathbb {K}}\) by using the preconditioner and iteration for solving an ill-posed linear infinite system (49). So, we begin with the following preconditioner

**P**(59)-(49), we obtain the following equation

*λ*

**u**at the right-hand side in Eq. 61. It gives an opportunity to form an iterative process to find the solution of

**u**by

*n*= 0), we can apply the SOR to solve the above linear system and generate a sequence of vectors \(\textbf {u}_{1}^{(k)[n]}\) (

*k*= 1,...). In each inner iteration, we apply the SOR to solve the linear system (58) under a convergence criterion specified in Section 5.1. When the following convergence criterion is satisfied, we also stop the outer iterative sequence, and then the solution of

**u**

_{1}is obtained.

Thus, the basic problem is assumed to be solved and the displacement **A**^{u}(**x**_{q}) (38) and strain **A**^{𝜖}(**x**_{q}) (39) influence functions are found with the required tolerance (57). It should be mentioned that the solution of the basic problem by Buryachenko [11] is in fact a simplified first order approximation of the iteration method (51) proposed before at the intuitional level of rigorousness for entirely 1D case without any tolerance requirements.

## 6 Numerical Results for 1D Case

At first, we consider the truncation method for 1D peristatic bar \(\bar {\bar w}\) of the length 2*L* + 2*l*_{δ} and cross-section area *A* = 1 containing one inclusion *v* = [−*a*,*a*] and the volumetric boundary *w*_{Γ}: \(\bar {\bar w}=w_{\Gamma }\cup w\), *w*_{Γ} = [−*L* − *l*_{δ},−*L*] ∪ [*L*,*L* + *l*_{δ}]. The midpoint quadrature scheme (similar to [11, 12]) is realized for the uniform grid *x*_{i} = (0,± 1,± 2,…,±(*N*^{max} + *N*^{wΓ})) with the numbers of material points 2*N*^{max} + 1 and 2*N*^{wΓ} + 1 inside both *w* and the interaction boundary *w*_{Γ}, respectively, and a constant step size *h* = *L*/*N*^{max}.

We consider a heterogeneous peristatic bar with the step-function profiles (18_{1}) (*k* = 0,1, *E*^{(1)}/*E*^{(0)} = 5)

_{2}) [and the micromodulus (19) and (20)] can be considered in a similar manner.

*w*

_{Γ}is performed by the interaction UC’s boundary Ω

_{Γ}. In Fig. 1, one presents the estimation of the relative strains \(\tilde \varepsilon (x):=\varepsilon (x)/\varepsilon ^{0}\) and \(\tilde \varepsilon ^{\Omega } (x):=\varepsilon (x)/\langle \varepsilon \rangle \) in the peristatic composite bar by the truncation method (curve 3) and periodization one (curve 1), respectively, at

*a*/

*L*=

*a*/

*l*

^{Ω}= 0.06 and

*N*

^{a}= 200. In fact, the relative strains \(\tilde \varepsilon (x)\) and \(\tilde \varepsilon ^{\Omega } (x)\) are the strain influence functions (39) (see the discussion at the end of Section 3). The curves of strain influence functions vs

*x*/

*a*behave according to the general features of peristatic solutions for a homogeneous peristatic bar with a fictitious body force considered in [7, 58]. Indeed, the fictitious body forces (34) with a discontinuity at

*x*= ±

*a*also produce a discontinuity of

*u*(

*x*) at

*x*= ±

*a*(it is not demonstrated in Fig. 1) because in general the displacement field

*u*(

*x*) has the same smoothness as the body force field (see Silling et al. [58]). In addition, the discontinuity in the micromodulus

*C*(

*ξ*) (63) at |

*ξ*| =

*l*

_{δ}, has a further effect on the smoothness of

*u*(

*x*) with a corresponding discontinuity of the derivatives

*u*

^{(k)}of the order

*k*= 1,2,… at

*x*= ±(

*a*+

*k*

*l*

_{δ}) [it is well observed for the curves 1 and 3 in Fig. 3 in the form of peaks of

*ε*(

*x*) (

*k*= 0) at

*x*=

*a*±

*l*

_{δ},

*l*

_{δ}/

*a*= 0.25]. Locally elastic solution for the periodic bar \(^{L}\!\tilde \varepsilon ^{\Omega } (x)\) is shown by the curve 2. The solution by the truncation method (curve 3) is close to the corresponding locally elastic solution \(\tilde \varepsilon (x)=[1 + 2H(|x|/a-1)]/3\) at |

*x*|−

*a*> 2

*l*

_{δ}, where

*H*(

*x*) is the Heaviside function.

*N*

^{a}/

*N*

^{max}with the fixed

*N*

^{max}= 2500,

*l*

_{δ}/

*a*= 0.25, and the iteration number

*k*= 100. In Fig. 2, one presents the curves

*ε*(

*x*) ∼

*x*/

*a*with the different rations

*N*

^{a}/

*N*

^{max}= 1/25,1/10,1/2 corresponding to max

*x*

*ε*(

*x*)/

*ε*

^{0}≡

*ε*(1.25)/

*ε*

^{0}= 1.333, 1.347, 1.357, respectively. As can be seen, a change of the ratio

*N*

^{a}/

*N*

^{max}in 12 times yields a negligible distinction of the curves 1 and 3 that indicates on effectiveness and robustness of the iterative method proposed (so Δ

_{2}= 3.4

*E*− 4, Δ

_{3}= 6.3

*E*− 9) in 1D case.

*ε*(

*x*)/

*ε*

^{0}∼

*x*/

*a*for the fixed

*N*

^{a}= 600 and

*l*

_{δ}/

*a*= 0.25. As can be seen in Fig. 3, increasing of the iteration number

*k*from 3 to 10 and 100 (see the curves 1, 2, and 3, respectively, in Fig. 3) lead to variation of the pick of strains max

*ε*(

*x*)/

*ε*

^{0}= max

*ε*(1.25)/

*ε*

^{0}from 1.381 to 1.379 and 1.348, respectively. It means that 10 iteration provides sufficient accuracy. The curve 4 in Fig. 3 is estimated by the truncation method (as in Fig. 1) has the pick max

*ε*(

*x*)/

*ε*

^{0}=

*ε*(1.25)/

*ε*

^{0}= 1.31. In so doing, the compute times spent for estimation of curves 2 and 4 differ by two decimal order.

*N*

^{a}= 600 is considered with the different scale rations

*l*

_{δ}/

*a*= 0.05, 0.25, 0.5, 1.0 (curves 1–4, respectively) corresponding to the max

*x*

*ε*(

*x*) = 1.344, 1.356, 1.357, 1.364 and min

*x*

*ε*(

*x*) = 0.297, 0.296, 0.300, 0.333, respectively. As it is expected

*ε*(

*x*) →

^{L}

*ε*(

*x*) in the limit of the horizon going to zero

*l*

_{δ}/

*a*→ 0 at some distance of

*x*from the inclusion boundary

*x*=

*a*. The peristatic curves 1–4 estimated for

*N*

^{a}= 600 and

*N*

^{a}= 200 (only the results for

*N*

^{a}= 600 are depicted in Fig. 4), respectively, are pretty close to each other with the exception of the point

*x*=

*a*where the curve undergoes unexpectedly large break. Due to this reason, the estimations are performed for

*N*

^{a}= 600.

## 7 Conclusion

One presented three different methods for the modeling of the basic problem for one inclusion inside the infinite matrix subjected to some homogeneous effective remote field. Each method has advantages and disadvantages and it is crucial for the analyst to be aware of their range of applications. In particular, both the truncation and periodization methods supported by the FEA are well developed in the locally elastic problems. The FEA is especially effective for the constant fields **ε**^{0} ≡ const. From other side, the VIE method in local elasticity enables one to restrict discretization to the extended inclusion \({v^{l}_{i}}\) only, and an inhomogeneous structure of both the inclusion and remote field **ε**^{0}≢ const. presents no problem in the framework of the same numerical scheme. The VIE method has well developed routines for the solution of integral equations (such as, e.g., the quadrature schemes) and allows to analyze arbitrary inhomogeneous fields **ε**^{0}≢ const. However, the VIE method is quite time-consuming and no optimized commercial softwares exist for its application. Because of this, the truncation method combined with commercial softwares FEA (such as, e.g., ABAQUS) is apparently most popular in engineering practice for locally elastic media. The mentioned features of the different methods are analyzed in [8] in the context of locally elastic problems. However, in the case of peridynamics, computational advantage of the truncation method realized by the FEA [35] is leveled off (with resect to the VIE method) due to nonlocality of the constitutive law. Nevertheless, universality of commercial software FEA provides a long-term advantage of the truncation method in engineering practice. In general, for dealing with the infinite banded matrices (12), it is advisable to use a class of iterative methods proposed which never alter the infinite matrix \(\mathbb {K}\) and require the storage of a few vectors of finite length at a time. One demonstrated effectiveness and robustness of the iterative method proposed in 1D case.

Finally, the found displacement influence functions **A**^{u}(**x**) (38) (having control of the error such as Eqs. 37 or 57) can be incorporated into one or another method of micromechanics of peristatic random structure CMs (see, e.g., a generalized Mori-Tanaka approach [18]) that will by considered in subsequent publications.

## Notes

### Acknowledgements

Both the helpful comments of the reviewers and their encouraging recommendations are gratefully acknowledged.

## References

- 1.Aguiar AR, Fosdick R (2014) A constitutive model for a linearly elastic peridynamic body. Math Mech Solid 19:502–523MathSciNetCrossRefzbMATHGoogle Scholar
- 2.Alali B, Lipton R (2012) Multiscale dynamics of heterogeneous media in the peridynamic formulation. J Elast 106:71–103MathSciNetCrossRefzbMATHGoogle Scholar
- 3.Benssousan A, Lions J-L, Papanicolaou G (1978) Asymptotic analysis for periodic structures. Amsterdam, North HollandGoogle Scholar
- 4.Bernkopf M (1968) A history of infinite matrices. Arch Hist Exact Sci 4:308–358MathSciNetCrossRefzbMATHGoogle Scholar
- 5.Bobaru F, Foster J, Geubelle P, Silling S (eds) (2016) Handbook of peridynamic modeling. CRC Press, Boca RatonzbMATHGoogle Scholar
- 6.Bobaru F, Ha YD (2011) Multiscale modeling in 2D peridynamics. Int J Multiscale Comput Adapt Refinement Eng 9:635–659CrossRefGoogle Scholar
- 7.Bobaru F, Yang M, Alves LF, Silling SA, Askari A, Xu J (2009) Convergence, adaptive refinement, and scaling in 1d peridynamics. Int J Converg Numer Methods Engng 77:852–877CrossRefzbMATHGoogle Scholar
- 8.Buryachenko V (2007) Micromechanics of heterogeneous materials. Springer, NYCrossRefzbMATHGoogle Scholar
- 9.Buryachenko V (2011) On thermoelastostatics of composites with nonlocal properties of constituents. II. Estimation of effective material and field parameters. Int J Solids Struct 48:1829–1845CrossRefGoogle Scholar
- 10.Buryachenko V (2014) Some general representations in thermoperistatics of random structure composites. Int J Multiscale Comput Eng 12:331–350CrossRefGoogle Scholar
- 11.Buryachenko V (2014) Effective elastic modulus of heterogeneous peristatic bar of random structure. Int J Solids Struct 51:2940–2948CrossRefGoogle Scholar
- 12.Buryachenko V (2015) Effective thermoelastic properties of heterogeneous thermoperistatic bar of random structure. Int J Multiscale Comput Eng 13:55–71CrossRefGoogle Scholar
- 13.Buryachenko V (2017) Effective properties of thermoperistatic random structure composites: some background principles. Math Mech Solids 22:366–1386MathSciNetCrossRefzbMATHGoogle Scholar
- 14.Buryachenko V (2018) Effective elastic modulus of heterogeneous peristatic bar of periodic structure. Comput Struct 202:129– 139CrossRefGoogle Scholar
- 15.Buryachenko V (2018) Effective elastic modulus of damaged peristatic bar of periodic structure. J Multiscale Comput Eng 16:101–118CrossRefGoogle Scholar
- 16.Buryachenko V (2019) Computational homogenization in linear elasticity of peristatic periodic structure composites. Math Mech Solids:24. https://doi.org/10.1177/1081286518768039
- 17.Buryachenko VA (2019) Interface integral technique in thermoelasticity of random structure matrix composites. Math Mech Solids:24 (in press)Google Scholar
- 18.Buryachenko V (2019) Generalized Mori-Tanaka approach in micromechanics of peristatic random structure composites (Submitted)Google Scholar
- 19.Du Q, Gunzburger M, Lehoucq RB, Zhou K (2013) Analysis of the volume-constrained peridynamic Navier equation of linear elasticity. J Elast 113:193–217MathSciNetCrossRefzbMATHGoogle Scholar
- 20.Emmrich E, Weckner O (2006) The peridynamic equation of motion in non-local elasticity theory. In: Mota Soares CA et al. (eds) III European conference on computational mechanics. solids, structures and coupled problems in engineering. Springer, DordrechtGoogle Scholar
- 21.Emmrich E, Weckner O (2007) Analysis and numerical approximation of an integro-differential equation modeling non-local effects in linear elasticity. Math Mech Solids 12:363–384MathSciNetCrossRefzbMATHGoogle Scholar
- 22.Emmrich E, Weckner O (2007) On the well-posedness of the linear peridynamic model and its convergence towards the Navier equation of linear elasticity. Commun Math Sci 5:851–864MathSciNetCrossRefzbMATHGoogle Scholar
- 23.Eringen AC (2002) Nonlocal continuum field theories. Springer, New YorkzbMATHGoogle Scholar
- 24.Eshelby JD (1957) The determination of the elastic field of an ellipsoidal inclusion, and related problems. Proc Roy Soc Lond A 241:376–396MathSciNetCrossRefzbMATHGoogle Scholar
- 25.Fish J (2014) Practical multiscaling. Wiley, ChichesterGoogle Scholar
- 26.Golub G, Van Loan C (2012) Matrix computations, Johns Hopkins studies in the mathematical sciences. Johns Hopkins University Press, BaltimoreGoogle Scholar
- 27.Hansen PC (1998) Discrete Ill-posed problems numemcal aspects of linear inversin. SIAM Rank-Deficient, PhiladelphiaCrossRefGoogle Scholar
- 28.Hu W, Ha YD, Bobaru F (2010) Numerical integration in peridynamics. Technical Report, University of Nebraska-LincolnGoogle Scholar
- 29.Hu W, Ha YD, Bobaru F (2012) Peridynamic model for dynamic fracture in unidirectional fiber-reinforced composites. Comput Methods Appl Mech Eng 217–220:247–261MathSciNetCrossRefzbMATHGoogle Scholar
- 30.Hu W, Ha YD, Bobaru F, Silling SA (2012) The formulation and computation of the nonlocal J-integral in bond-based peridynamics. Int J Fract 176:195–206CrossRefGoogle Scholar
- 31.Kilic B (2008) Peridynamic theory for progressive failure prediction in homogeneous and heterogeneous materials. PhD Thesis, Dep. Mechan. Engng. The University of Arisona, pp 1–262Google Scholar
- 32.Lehoucq RB, Silling SA (2008) The peridynamic stress tensor. J Mech Phys Force Flux Solids 56:1566–1577MathSciNetCrossRefzbMATHGoogle Scholar
- 33.Lin J, Chen W, Wang F (2011) A new investigation into regularization techniques for the method of fundamental solutions. Math Comput Simul tenbf 81:1144–1152MathSciNetCrossRefzbMATHGoogle Scholar
- 34.Liu YL, Mukherjee S, Nishimura N, Schanz M, Ye W, Sutradhar A, Pan E, Dumont NA, Frangi A, Saez A (2011) Recent advances and emerging applications of the boundary element method. Appl Mech Rev 64(38 pages):031001Google Scholar
- 35.Macek RW, Silling SA (2007) Peridynamics via finite element analysis. Finite Elem Anal Des 43:1169–1178MathSciNetCrossRefGoogle Scholar
- 36.Madenci E, Dorduncua N, Barut A, Phanb N (2018) State-based peridynamic analysis in a finite element framework. Eng Fract Mech 195:104–128CrossRefGoogle Scholar
- 37.Madenci E, Barut A, Phan ND (2017) Peridynamic unit cell homogenization. In: 58th AIAA/ASCE/AHS/ASC structures, structural dynamics, and materials conference. AIAA SciTech Forum, (AIAA), pp 2017–1138Google Scholar
- 38.Madenci E, Oterkus E (2014) Peridynamic theory and its applications. Springer, NYCrossRefzbMATHGoogle Scholar
- 39.Marin L (2005) A meshless method for solving the Cauchy problem in three-dimensional elastostatics. Comput Math Appl 50:73–92MathSciNetCrossRefzbMATHGoogle Scholar
- 40.Matous K, Geers MGD, Kouznetsova VG, Gillman A (2017) A review of predictive nonlinear theories for multiscale modeling of heterogeneous materials. J Comput Phys 330:192–220MathSciNetCrossRefGoogle Scholar
- 41.Mengesha T, Du Q (2014) The bond-based peridynamic system with Dirichlet-type volume constraint. Proc R Soc Edinb A 144:161–186MathSciNetCrossRefzbMATHGoogle Scholar
- 42.Mikata Y (2012) Analytical solutions of peristatic and peridynamic problems for a 1D infinite rod. Int J Solids Struct 49:2887–2897CrossRefGoogle Scholar
- 43.Parks ML, Seleson P, Plimpton SJ, Silling SA, Lehoucq RB (2011) Peridynamics with LAMMPS: a user guide v0.3 beta, SAND Report 2011–8523. Sandia National Laboratories, AlbuquerqueGoogle Scholar
- 44.Parnell WJ (2016) The Eshelby, Hill, moment and concentration tensors for ellipsoidal inhomogeneities in the Newtonian potential problem and linear elastostatics. J Elast 125:231–294MathSciNetCrossRefzbMATHGoogle Scholar
- 45.Ripley BD Spatial statistics. Wiley, New YorkGoogle Scholar
- 46.Saad Y (1996) Iterative methods for sparse linear systems. PWS Pub. Co., BostonzbMATHGoogle Scholar
- 47.Segurado J, Lebensohn RA, LLorca J (2018) Computational homogenization of polycrystals. arXiv:1804.02538, p 132
- 48.Seleson P, Gunzburger M, Parks ML (2013) Interface problems in nonlocal diffusion and sharp transitions between local and nonlocal domains. Comput Methods Appl Mech Eng 266:185–204MathSciNetCrossRefzbMATHGoogle Scholar
- 49.Seleson P, Littlewood DJ (2016) Convergence studies in meshfree peridynamic simulations. Comput Math Appl 71:2432–2449MathSciNetCrossRefGoogle Scholar
- 50.Seleson P, Parks ML (2011) On the role of the influence function in the peridynamic theory. Int J Multiscale Comput Eng 9:689–706CrossRefGoogle Scholar
- 51.Shivakumar KC, Sivakumar KC (2009) A review of infinite matrices and their applications. Linear Algebra Appl 430:976– 998MathSciNetCrossRefzbMATHGoogle Scholar
- 52.Silling S (2000) Reformulation of elasticity theory for discontinuities and long-range forces. J Mech Phys Solids 48:175– 209MathSciNetCrossRefzbMATHGoogle Scholar
- 53.Silling SA (2011) A coarsening method for linear peridynamics. Int J Multiscale Comput Eng 9:609–622CrossRefGoogle Scholar
- 54.Silling SA, Askari E (2005) Meshfree method based on the peridynamic model of solid mechanics. Comput Struct 83:1526–1535CrossRefGoogle Scholar
- 55.Silling SA, Epton M, Weckner O, Xu J, Askari E (2007) Peridynamic states and constitutive modeling. J Elast 88:151–184MathSciNetCrossRefzbMATHGoogle Scholar
- 56.Silling SA, Lehoucq RB (2008) Convergence of peridynamics to classical elasticity theory. J Elast 93:13–37MathSciNetCrossRefzbMATHGoogle Scholar
- 57.Silling SA, Lehoucq RB (2010) Peridynamic theory of solid mechanics. Adv Appl Mech 44:73–168CrossRefGoogle Scholar
- 58.Silling SA, Zimmermann M, Abeyaratne R (2003) Deformation of a peridynamic bar. J Elast 73:173–190MathSciNetCrossRefzbMATHGoogle Scholar
- 59.Tikhonov AN, Arsenin VY (1986) Methods for solving Ill-posed problems. Moscow, NaukaGoogle Scholar
- 60.Tsynkov SV (1998) Numerical solution of problems on unbounded domains: a review. Appl Numer Math 27:465–532MathSciNetCrossRefzbMATHGoogle Scholar
- 61.Wang L, Xu J, Wang J (2017) Dynamic Green’s functions in peridynamics. Stat J Elast 126:95–125MathSciNetCrossRefzbMATHGoogle Scholar
- 62.Weckner O, Abeyaratne R (2005) The effect of long-range forces on the dynamics of a bar. J Mech Phys Solids 53:705–728MathSciNetCrossRefzbMATHGoogle Scholar
- 63.Weckner O, Brunk G, Epton MA, Silling SA, Askari E (2009) Green’s functions in non-local three-dimensional linear elasticity. Proc R Soc A 465:3463–3487MathSciNetCrossRefzbMATHGoogle Scholar
- 64.Weckner O, Emmrich E (2005) Numerical simulation of the dynamics of a nonlocal, inhomogeneous, infinite bar. J Comput Appl Mech 6:311–319MathSciNetzbMATHGoogle Scholar
- 65.Zhou K, Hoh HJ, Wang X, Keer LM, Pang JHL, Song B, Wang QJ (2013) Review of recent works on inclusions. Mech Mater 60:144–158CrossRefGoogle Scholar