Abstract
Bond-based peridynamics is a nonlocal continuum model in Solid Mechanics in which the energy of a deformation is calculated through a double integral involving pairs of points in the reference and deformed configurations. It is known how to calculate the \(\Gamma \)-limit of this model when the horizon (maximum interaction distance between the particles) tends to zero, and the limit turns out to be a (local) vector variational problem defined in a Sobolev space, of the type appearing in (classical) hyperelasticity. In this paper we impose frame-indifference and isotropy in the model and find that very few hyperelastic functionals are \(\Gamma \)-limits of the bond-based peridynamics model. In particular, Mooney-Rivlin materials are not recoverable through this limit procedure.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Peridynamics is a nonlocal continuum model for Solid Mechanics proposed by Silling in [30]. The main difference with classical elasticity ([10]) relies on the nonlocality, reflected in the fact that points separated by a positive distance exert a force upon each other. In this model the use of gradients is avoided by computing internal forces by integration instead of differentiation, and consequently the elastic energy is the result of a double integration. A main feature is that deformations are not assumed to be smooth, in contrast with classical continuum mechanics, where they are required to be, at least, weakly differentiable as functions of a Sobolev space. This makes peridynamics a suitable framework for problems where discontinuities appear naturally, such as fracture, dislocation, or, in general, multiscale materials. Since the pioneering paper [30], the development of peridynamics has been really overwhelming, both from a theoretical and a numerical-practical point of view. Some references on this are [17, 18, 33, 34] and the two books [16, 19].
The original model proposed in [30] was the so-called bond-based model, in which the elastic energy is given by a double integral depending on pairs of points in the reference and deformed configurations. It is assumed the existence of a function \(w\), named as pairwise potential function, such that the total (macroelastic) energy of any deformation \(u:\Omega \rightarrow \mathbb{R}^{m}\) of the deformable solid \(\Omega \subset \mathbb{R}^{n}\) is given by
where \(\delta >0\) is the horizon, a model parameter which measures the maximum interaction distance between the particles. Physically, \(n = m = 3\), but it is of mathematical interest to do the analysis for any \(n\) and \(m\). In the isotropic linear elastic case, for which the pairwise potential function is quadratic in its second variable, this model limits the Poisson ratio of homogeneous deformations to be \(\frac{1}{4}\). This shows that the bond-based model suffers from severe restrictions in order to represent a wide variety of elastic materials. The state-based model was proposed as a more general nonlocal peridynamic model that avoids this serious limitation [33, 34]. Although the bond-based model presents that restriction, it has been very popular in the last years and has shown to be appropriate and effective in modelling singularity phenomena in situations of practical and academic interest (see the recent survey [17] and the references therein).
In this paper, we are concerned with the bond-based model in the general nonlinear situation, and more concretely with its relationship with classical theory of hyperelasticity. In [30], the link between the peridynamic bond-based model and conventional models was established in terms of the Piola-Kirchhoff stress tensor: given a pairwise potential functional, there exists a stored-energy density function such that the corresponding local Piola-Kirchhoff stress tensor coincides with the nonlocal stress tensor (also measuring force per unit area in the reference configuration). In that work, it is also argued that even though there is a stored-energy density verifying such a condition for a given pairwise potential, the reciprocal is not true, i.e., not for every hyperelastic density one can find a pairwise potential function with the same Piola-Kirchhoff tensor. Our perspective here is different and relies on the energy rather than on the stress. First, we recall from the literature in which sense the nonlinear bond-based model (1) converges as \(\delta \rightarrow 0\) to a local hyperelastic energy like
The proper framework to set this issue is \(\Gamma \)-convergence ([9]), or convergence of variational problems, since it infers convergence of infima and minimizers, if they exist. In [7], this question was addressed in a general setting, showing that the \(\Gamma \)-limit is a vector variational problem, and obtaining an explicit characterization of the \(\Gamma \)-limit (hence, of the \(W\) in (2)) for a given pairwise potential function \(w\). In this investigation, we push forward the calculation in [7] aimed to determine whether it is possible or not to recover typical models of hyperelasticity, from bond-based models verifying the natural physical restrictions of frame indifference and isotropy. Our conclusion is that nonlinear bond-based models converge, in the sense of \(\Gamma \)-convergence, to hyperelastic models with very limited structure and degrees of freedom. In particular, they cannot converge to a typical hyperelastic model like Mooney-Rivlin. This result is in agreement with the, previously mentioned, limitations of the bond-based peridynamic model.
Thus, what we show in this article is that the nonlinear bond-based peridynamic model suffers from a similar weakness as its linear counterpart. This drawback was hinted at but, to the best of our knowledge, not actually proved. Additionally, we corroborate that the linearization of our limit model has a Poisson ratio \(\frac{1}{4}\), but through a different path: starting from a nonlinear peridynamic model, we take the limit to arrive at a nonlinear local model and then linearize to obtain a linear local model.
Other references dealing with convergence of peridynamics models to local models as the horizon goes to zero are the following. In the nonlinear situation, in [32], the pointwise convergence of the state-based peridynamics to classical local models is shown, but the mathematical study in the framework of \(\Gamma \)-convergence is still pending. For the linear case, in [23], the \(\Gamma \)-convergence of linear elastic peridynamics to the local Navier-Lamé system is shown. This work is extended in [24] to the geometrically nonlinear situation.
The outline of the paper is the following. Section 2 is devoted to preliminaries, including a summary of the \(\Gamma \)-convergence procedure to pass from nonlocal energies (1) to the local energy (2) as the horizon \(\delta \) goes to zero. In Sect. 3, frame indifference and isotropy are imposed to bond-based models, characterizing the pairwise potential densities giving rise to energies verifying those physical properties. It is also shown that frame indifference and isotropy are preserved when passing to the limit as \(\delta \rightarrow 0\). In Sect. 4, we perform a preliminary analysis on which stored-energy densities can be recovered when making the \(\Gamma \)-limit as \(\delta \rightarrow 0\) of bond-based models satisfying frame indifference and isotropy. Finally, in Sect. 5 we show that Mooney-Rivlin models are not recoverable. For this, apart from the analysis of the previous section, we need a property of quasiconvexity theory, which states that a strict quasiconvex function can only be the quasiconvexification of itself.
2 Preliminaries
2.1 Nonlinear Elasticity
Let \(\Omega \subset \mathbb{R}^{n}\) be an open bounded set with smooth boundary. This domain represents a solid body before it is deformed. A deformed configuration of the body is the image, \(u(\Omega )\), of a (smooth enough) mapping \(u:\Omega \rightarrow \mathbb{R}^{m}\) called deformation.
An elastic material is called hyperelastic if there exists a function \(W:\Omega \times \mathbb{R}^{m\times n}\rightarrow \mathbb{R}\), called stored-energy function of the material, such that the Piola-Kirchhoff stress tensor is the derivative of \(W\) with respect to its second variable. In this case, the potential elastic energy of the deformation \(u\) is
where \(F:\Omega \rightarrow \mathbb{R}^{m}\) is the distributed body load and \(g:\Gamma _{1}\subset \partial \Omega \rightarrow \mathbb{R}^{m}\) the boundary load. The term \(d \mathcal{H}^{n-1}\) indicates an \((n-1)\)-surface integral. Moreover, critical points of the energy are equilibrium solutions of Cauchy’s equations of motion.
The stored-energy density must satisfy the frame indifference condition
for all points \(x\in \Omega \), all matrices \(A\in \mathbb{R}^{m\times n}\) and all rotations \(R\in SO(m)=\{Q\in \mathbb{R}^{m \times m} \colon \det Q = 1 , \, QQ^{T}=I_{m} \}\) (\(I_{m}\) the identity matrix of order \(m\)). This reflects the fact that the deformation energy does not depend on the observer.
A hyperelastic material is called isotropic if
for all points \(x\in \Omega \), all matrices \(A\in \mathbb{R}^{m\times n}\) and all rotations \(R\in SO(n)\). This means that the elastic energy is independent of the stretching, or loading, direction. When \(n = m = 3\), standard representation theorems establish that the hyperelastic body is isotropic if and only if, at each point, the stored-energy function depends only on \(|A|^{2}\), \(|\operatorname{cof}A|^{2}\) and \(\det A\); in other words, if and only if there exists \(\varphi :\Omega \times \mathbb{R}\times \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\) such that
A paradigmatic example of isotropic hyperelastic materials are Mooney-Rivlin materials, whose stored-energy density is given by the expression
with \(\alpha ,\beta >0\) and \(g\) a given function. When \(\beta =0\), we recover the Neo-Hookean materials.
An essential reference on the mathematical theory of nonlinear elasticity is [10]. Other references are the books [1, 11, 20, 27] and the survey papers [3, 4].
2.2 Vector Variational Problems
The mathematical theory of hyperleasticity is nowadays a well established subject. In the pioneering work [2], an existence theory in hyperelasticity was given by means of the application of the direct method of the Calculus of Variations to the energy functional
The direct method has two main ingredients: first, the functional must be coercive, in the sense that \(I(u)\) blows up as the norm of \(u\) increases. Second, \(I\) must be lower semicontinuous; in our case, weak lower semicontinuous, since the relevant topology in this situation is the weak topology in a Sobolev space. Coercivity is usually guaranteed by imposing proper lower bounds on the stored-energy density \(W\). More delicate is the weak lower semicontinuity, which, for integral functionals like \(I\), is typically characterized in terms of convexity notions for \(W\). In this situation, the relevant convexity concept is quasiconvexity (see [11] and the references therein). We say that a function \(\psi :\mathbb{R}^{m\times n}\rightarrow \mathbb{R}\) is quasiconvex if and only if
for all matrices \(A\in \mathbb{R}^{m\times n}\) and test functions \(v\in C_{c}^{\infty }((0,1)^{n},\mathbb{R}^{m})\). It turns out that under the standard coercivity and growth conditions,
for some \(1< p<\infty \) and \(C>0\), and assuming that \(W(x,\cdot )\) is quasiconvex for a.e. \(x\in \Omega \), the existence of minimizers for \(I\) holds. In hyperelasticity, quasiconvexity of isotropic hyperelastic stored-energy densities is a consequence of its polyconvexity. When \(n=m=3\), we say that \(W\) is polyconvex if it can be expressed as \(W(x,A)=\varphi (x,A,\operatorname{cof}A,\det A)\) for some \(\varphi \) such that \(\varphi (x,\cdot ,\cdot ,\cdot )\) is convex for a.e. \(x\in \Omega \) (see [11] for the definition of polyconvexity for general dimensions). Polyconvexity implies quasiconvexity under proper coercivity and growth conditions [2, 11], and, therefore, it is the right convexity notion in this context. When dealing with polyconvex densities, upper bounds can be left behind and existence of minimizers is obtained just by imposing the coercivity conditions
for suitable exponents \(p_{i}\ge 1\).
Well-known references on the application of calculus of variations techniques to nonlinear elasticity are again [1, 10, 11, 20, 27].
2.3 Nonlinear Bond-Based Peridynamics
A general nonlinear energy in the framework of bond-based peridynamics takes the form
for a given deformation \(u:\Omega \rightarrow \mathbb{R}^{m}\) [19, 30, 33]. The pairwise potential function \(w:\Omega \times \tilde{\Omega }\times \mathbb{R}^{m}\rightarrow \mathbb{R}\), with \(\tilde{\Omega }=\Omega -\Omega \) (set of \(x - x'\) with \(x, x' \in \Omega \)), measures the interaction between particles \(x,x' \in \Omega \) both in the reference and deformed configurations. As the interaction force between particles is expected to increase as the distance between them decreases, it is natural to assume that the pairwise density \(w(x,\cdot ,\tilde{y})\) blows up at the origin for each \(x\in \Omega \) and \(\tilde{y}\in \mathbb{R}^{m}\). Furthermore, it is also natural to assume that particles separated by a distance bigger than a parameter \(\delta >0\) do not interact at all, so that \(w(\cdot ,\tilde{x},\cdot )=0\) if \(|\tilde{x}|>\delta \). The parameter \(\delta \) is called the horizon of interaction of particles, and it is a relevant part of the nonlocal peridynamic bond-based model. In [5], the application of the direct method of the Calculus of Variations for this type of functionals was studied by some of the authors of this paper. An existence theory was obtained in the Lebesgue \(L^{p}\) spaces under suitable growth conditions on \(w\), whereas the relevant nonlocal convexity notion requires the function
to be convex for a.e. \(x\in \Omega \) and any test function \(v\in L^{p}(\Omega ,\mathbb{R}^{m})\). This condition is actually equivalent, under some technical assumptions, to the weak lower semicontinuity of the functional
in \(L^{p}(\Omega ,\mathbb{R}^{m})\) (see [8, 13]). The study of this nonlocal convexity notion, which is strictly weaker than usual convexity of \(w(x,\tilde{x},\cdot )\), has been deepened in [6], including relaxation of functionals lacking this condition (see also [25] for the relaxation).
2.4 Passage from Nonlocal to Local as the Horizon Goes to Zero
It is natural to wonder whether the local energy \(I\) in (6) can be recovered as the limit of the nonlocal energy \(I_{nl}\) in (9) as \(\delta \rightarrow 0\). The right framework to study convergence of variational problem is \(\Gamma \)-convergence [9], as, in particular, it implies convergence of minimizers and minimum energies. The \(\Gamma \)-convergence of nonlocal functionals \(I_{nl}\) as the horizon tends to zero was studied by some of the authors of this paper in [7] in an abstract way. It was shown that under natural assumptions the \(\Gamma \)-limit is a local vector variational problem, and the process to construct such a \(\Gamma \)-limit was explicitly described. The local \(\Gamma \)-limit is recovered in several steps:
-
i)
Scaling. Making explicit the dependence of the nonlocal functional with respect to \(\delta \), we include a parameter \(\beta \), that will be clarified below, and scale the functional as
$$ I_{\delta }(u):=\frac{n+\beta }{\delta ^{n+\beta }} \int _{\Omega } \int _{ \Omega \cap B(x,\delta )} w(x,x-x',u(x)-u(x'))\,dx'\,dx. $$(10) -
ii)
Blow-up at zero. We assume \(\beta \in \mathbb{R}\) is such that there exists the limit
$$ w^{\circ }(x,\tilde{x},\tilde{y}):= \lim _{t \rightarrow 0} \frac{1}{t^{\beta }}w(x,t\tilde{x},t\tilde{y}), $$(11)for a.e. \(x\in \Omega \), and all \(\tilde{x}\in \tilde{\Omega }\) and \(\tilde{y}\in \mathbb{R}^{m}\).
-
iii)
Definition of the local density \(\bar{w}\). We define \(\bar{w}:\Omega \times \mathbb{R}^{m\times n}\rightarrow \mathbb{R}\) as
$$ \bar{w}(x,A):= \int _{\mathbb{S}^{n-1}} w^{\circ }(x,z,Az) \,d \mathcal{H}^{n-1}(z) \qquad x \in \Omega , \, A \in \mathbb{R}^{m \times n}, $$where \(\mathbb{S}^{n-1}\) is the \(n\)-dimensional unit sphere.
-
iv)
Quasiconvexification. The candidate a \(\Gamma \)-limit of \(I_{\delta }\) as \(\delta \rightarrow 0\) is then
$$ \tilde{I}(u):=\int _{\Omega }\bar{w}^{qc}(x,Du (x))\,dx, $$where \(w^{qc}(x,\cdot )\) is the quasiconvexification ([11]) of \(\bar{w}(x,\cdot )\) defined as
$$ \bar{w}^{qc}(x,A):=\sup \{ v(x,A): v(x,\cdot ) \leq \bar{w}(x,\cdot ) \text{ and } v(x,\cdot ) \text{ quasiconvex} \}. $$
Under several assumptions on the pairwise potential density \(w\), including the nonlocal convexity (8), it is shown in [7] that \(I_{\delta }\)\(\Gamma \)-converges to \(\tilde{I}\).
We make some comments on the steps i)–ii) of the above procedure. The scaling \(\delta ^{-(n+\beta )}\) of (10) is the only possible one, since it makes that \(I_{\delta } (u) \to \int _{\Omega } \bar{w} (x, Du)\) for smooth functions \(u\), and any other scaling \(f(\delta )\) with \(f(\delta ) \ll \delta ^{-(n+\beta )}\) or \(\delta ^{-(n+\beta )} \ll f(\delta )\) would make the limit identically zero or identically infinity. The existence of the limit (11) and, hence, of \(\beta \) is natural since some models (see, e.g., [14, 28]) based on fractional Sobolev spaces take the form \(w (x, \tilde{x}, \tilde{y}) = |\tilde{x}|^{-\alpha } |\tilde{y}|^{p}\) for some \(\alpha , p \in \mathbb{R}\); in this regard, see Example 4.2 below.
Our aim in what follows is to check whether typical stored-energy densities in hyperelasticity can be obtained by this procedure. This amounts to asking whether hyperelastic models can be obtained as the \(\Gamma \)-limit of bond-based peridynamics models as the horizon of interaction of particles goes to zero. More concretely, given a polyconvex stored-energy density \(W\), whether there exists a pairwise potential function \(w\) such that its corresponding functional \(I_{\delta }\)\(\Gamma \)-converges to \(I\) as \(\delta \rightarrow 0\).
3 Frame-Indifference and Isotropy in the Bond-Based Model
In this section we explore how frame indifference and isotropy are translated in mathematical terms into the nonlinear bond-based model. Frame indifference requires that
We are also interested in isotropic materials, i.e., those whose deformation energy does not depend on the loading, or stretching, direction. Mathematically, this is imposed in the pairwise potential function by requiring
The next result, which has appeared in the literature before (for instance in [30, 33]), is straightforward.
Proposition 3.1
The bond-based model satisfies frame indifference and isotropy (i.e., the pairwise potential function \(w\)satisfies (12) and (13)) if and only if there exists \(\tilde{w}:\Omega \times \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\)such that
An interesting question is whether frame indifference and isotropy are inferred to the \(\Gamma \)-limit obtained as the horizon goes to zero. The answer to this question is positive, as the next result shows.
Proposition 3.2
Given a pairwise potential function \(w\), assume there exists \(\beta \in \mathbb{R}\)such that the limit in (11) exists and the function \(w^{\circ }\)may be defined. If the pairwise potential function \(w\)satisfies (12) and (13), then the function \(W\), obtained from \(w\)by the procedure described in Sect. 2.4 (\(W=\bar{w}^{qc}\)), satisfies (3) (frame indifference) and (4) (isotropy).
Proof
We prove frame indifference and isotropy of \(W\) all at once, but we emphasize that any of those properties of \(W\) is inferred independently from the corresponding property of \(w\). By Proposition 3.1, there exists \(\tilde{w}\) such that
By assumption, there exists \(\beta \in \mathbb{R}\) such that
Then
and we write, with a small abuse of language, that
Given two rotations \(R_{1} \in SO(m)\) and \(R_{2}\in SO(n)\),
hence \(\bar{w}\) satisfies (3) and (4), and, therefore, by [11, Th. 6.14], so does its quasiconvexification \(\bar{w}^{qc}=W\). □
4 Which Local Densities Can Be Recovered from Nonlocal Ones?
In this section we make explicit the relationship between a pairwise potential function \(w\) and the stored-energy function obtained from it by the previous \(\Gamma \)-convergence procedure, in the presence of frame indifference and isotropy. We obtain an explicit identity involving those two functions. In that way, if \(w\) is a pairwise potential function such that the corresponding sequence of nonlocal functionals \(\Gamma \)-converges to the local functional given by \(W\), the functions \(w\) and \(W\) are related by that identity.
Thus, it provides a criterion in order to check whether a local functional with energy density \(W\) may be obtained as the \(\Gamma \)-limit of functionals like (10). There is no doubt this is interesting from a mathematical point of view, but also from a mechanical perspective, since it permits to answer whether local hyperelastic energies are the \(\Gamma \)-limit of nonlocal bond-based nonlinear models as the horizon goes to zero.
For the next result we consider a pairwise potential function \(w\) verifying the frame indifference and isotropy properties, and for simplicity in the exposition we assume that the material is homogeneous, i.e., \(w\) does not depend on the material point \(x\), so that \(w=w(\tilde{x},\tilde{y})\). By Proposition 3.1, there exists \(\tilde{w}: \mathbb{R}\times \mathbb{R}\rightarrow \mathbb{R}\) such that
Note that step ii) of Sect. 2.4 makes \(w^{\circ }\) a homogeneous function of degree \(\beta \) in the pair \((\tilde{x}, \tilde{y})\), i.e., \(w^{\circ } (x, t \tilde{x}, t \tilde{y}) = t^{\beta } w^{\circ } (x, \tilde{x}, \tilde{y})\). Therefore, we may assume, without loss of generality, that \(w\) is itself homogeneous of degree \(\beta \), which amounts to saying that \(w=w^{\circ }\), with \(w^{\circ }\) defined by (11). Then, according to Sect. 2.4, the density of the \(\Gamma \)-limit of \(I_{\delta }\) is the quasiconvexification of the function
Notice that the dependence of \(w\) on \(\tilde{x}\) is irrelevant in order to obtain \(\bar{w}\).
The above process motivates the following definition of recoverable function.
Definition 4.1
The function \(W : \mathbb{R}^{m\times n}\to \mathbb{R}\) is recoverable if there exist \(\bar{w} : \mathbb{R}^{m\times n}\to \mathbb{R}\) and \(\tilde{w} : \{1\} \times [0, \infty ) \to \mathbb{R}\) such that
and \(W = \bar{w}^{qc}\).
The following result gives a necessary and sufficient condition for a \(\bar{w}\) to satisfy (14) without invoking \(\tilde{w}\). We denote by \(\sigma _{n-1}\) the \(\mathcal{H}^{n-1}\) measure of \(\mathbb{S}^{n-1}\), and by ⨏ the mean integral.
Proposition 4.1
The function \(\bar{w}\)satisfies (14) if and only if for every \(A \in \mathbb{R}^{m\times n}\)one has
In this case, a function \(\tilde{w}\)giving rise to (14) is
Proof
Assume \(\bar{w}\) satisfies (14) for some \(\tilde{w}\). Fixed \(z \in \mathbb{S}^{n-1}\), by (14) we have
hence, combining this with (14) we obtain (15).
Conversely, assuming that (15) holds we define \(\tilde{w}\) as (16) and we readily obtain (14). □
What formula (15) says is that \(\bar{w}\) is determined just by its values in matrices multiples of the identity.
We implement Proposition 4.1 to find several examples of stored-energy functions that come or do not come from a \(\tilde{w}\) as in (14).
Example 4.1
The functional
\(\Gamma \)-converges as \(\delta \rightarrow 0\) to
This assertion is justified by the result of Sect. 2.4 (noting that \(\beta =0\) in this case), formula (15) and the following simple computation:
The following example is a generalization of Example 4.1, with different exponents.
Example 4.2
Let \(p>1\) and \(\alpha < n+p\). Then the functional
\(\Gamma \)-converges as \(\delta \rightarrow 0\) to
Again, this is a consequence of the procedure of Sect. 2.4, since the assumptions of [7] are met. In this case we have \(\beta = p - \alpha \) and the function
is convex, hence quasiconvex.
Example 4.2 recovers a similar result of [29], in which a limit procedure is done without the device of \(\Gamma \)-convergence. In particular, he shows that the limit energy density (17) is independent of \(\alpha \) and can be expressed as a function of the principal stretches of \(A\). We also recover that result, since the energy density (17) is isotropic.
The following result shows in particular that \(|A|^{p}\) does not satisfy (15) for \(p \notin \{ 0, 2 \}\), despite the representation (17). Indeed, as a consequence of the Examples 4.1 and 4.3, we have that the only functions of \(|A|^{2}\) that satisfy (15) are affine functions of \(|A|^{2}\).
Example 4.3
Let \(g : [0, \infty ) \to \mathbb{R}\) be a non-affine function of class \(C^{2}\). Then the function \(g (|A|^{2})\) does not satisfy (15).
Indeed, assume, for a contradiction, that formula (15) holds. Then,
As \(g\) is of class \(C^{2}\) and non-affine, there exists an interval \(I \subset (0, \infty )\) such that \(g''|_{I} > 0\) or \(g''|_{I} < 0\). Suppose that \(g''|_{I} > 0\) and take any \(A\) such that the set \(\{|Az| \colon z \in \mathbb{S}^{n-1}\}\) contains more than one point, and such that \(\{ n|A z|^{2} \colon z \in \mathbb{S}^{n-1} \}\subset I\). Then, by Jensen’s inequality, using that \(g\) is strictly convex in \(\{ n|A z|^{2} \colon z \in \mathbb{S}^{n-1} \}\), we obtain
which is a contradiction. If \(g''|_{I} < 0\), the inequality above is reversed and we also obtain a contradiction.
The following example shows in particular that \(|\operatorname{cof}A|^{p}\) does not satisfy (15) for \(p \geq 1\).
Example 4.4
Fix \(n=m=3\). Let \(g: [0, \infty ) \to \mathbb{R}\) be a convex function such that \(\limsup _{t \to \infty } g(t) = \infty \). Then the function \(\bar{w}(A)=g (|\operatorname{cof}A|)\) does not satisfy (15).
Indeed, given \(A \in \mathbb{R}^{3 \times 3}\) and \(z \in \mathbb{S}^{2}\) we have that \(\left | \operatorname{cof}(|Az| I) \right | = \sqrt{3} |Az|^{2}\), so if formula (15) holds then, by Jensen’s inequality,
Now fix \(\lambda >0\) and consider \(A\) as the matrix with diagonal elements \(\lambda , \lambda ^{-1}, 1\). Then, the inequality
reads as
which amounts to saying that
Fix \(t_{0} \geq \sqrt{3}\). Then
Repeating this argument and applying induction we find that
for all \(n \in \mathbb{N}\). Taking \(t_{0} = 2 \sqrt{3}\) we obtain that
Consequently,
which contradicts the assumption \(\limsup _{t \to \infty } g(t) = \infty \).
In Example 4.4, the convexity hypothesis on \(g\) may be relaxed to \(g\) being convex on an interval \([a,\infty )\) for some \(a>0\). A similar reasoning can be done with \(g (\det A)\), but we postpone to the next section a more definitive result.
We finish this section by showing that the linearization of a recoverable function has a Poisson ratio \(\frac{1}{4}\).
Example 4.5
Let \(m=n=3\). Let \(\bar{w} : \mathbb{R}^{3 \times 3} \to \mathbb{R}\) be the function described in the procedure of Sect. 2.4. Assume that it is of class \(C^{2}\), comes from a homogeneous isotropic material, \(D \bar{w} (I) = 0\) and is quasiconvex. Then its linearization gives rise to a linear elastic material with Poisson’s ratio equal to \(\frac{1}{4}\).
Indeed, by Definition 4.1 there exists \(g : [0, \infty ) \to \mathbb{R}\) of class \(C^{2}\) such that
Let \(C\) be the elasticity tensor of \(\bar{w}\). On the one hand, as \(\bar{w}\) is isotropic, \(C\) is of the form
where \(\mathbb{R}^{3 \times 3}_{s}\) stands for the set of symmetric \(\mathbb{R}^{3 \times 3}\) matrices, and \(\mu \) and \(\lambda \) are the Lamé moduli. Poisson’s ratio is then calculated through
On the other hand, given \(e \in \mathbb{R}^{3 \times 3}_{s}\) and defining \(f(t) = \bar{w} (I + t e)\), we have that the assumption \(D \bar{w} (I) = 0\) yields \(f'(0) = 0\), while \(f'' (0) = C e \cdot e\). A standard calculation starting from (18) shows that equality \(f'(0) = 0\) implies \(g'(1) = 0\), while
From (19) we can see that
and
From (20) we compute \(C \bar{e} \cdot \bar{e}\) for \(\bar{e}\) being the diagonal matrix with diagonal elements \(\frac{1}{\sqrt{2}}, \frac{-1}{\sqrt{2}}, 0\). We obtain
where in the last equality we have used the formulas
(see, e.g., [23, App. A] or [21, App.]). Now, again from (20) we compute
With this we obtain that
and, finally,
The issue of the Poisson ratio \(\frac{1}{4}\) in the linear bond-based peridynamic model is well known [30, Sect. 11]. Thus, we have arrived at the same conclusion through a different process. Apart from the fact that we use \(\Gamma \)-convergence, our approach follows the order: we start with a nonlinear peridynamic model, then we take the limit in the horizon to a nonlinear local model, and finally we linearize to obtain a linear local model. In contrast, in references [12, 15, 22, 31] the order is: first a nonlinear peridynamic model, then a linear peridynamic model, and finally a linear local model.
5 Mooney-Rivlin Materials Are Not Recoverable
By small adaptations of the arguments of Examples 4.3 and 4.4, one can exhibit large families of stored-energy functions \(\bar{w}\) that do not satisfy (15). Those examples by themselves do not prove that they are not recoverable. Without the aim of being exhaustive, we present in this section the fact that Mooney-Rivlin materials are not recoverable. In order to do that, we will use the following sufficient condition for which equality \(W = \bar{w}\) in the procedure of Sect. 2.4 holds. This result is possibly known for experts in quasiconvexity, but we have not found a reference of it. First we need the definition of strict quasiconvexity. We say that a function \(\psi :\mathbb{R}^{m\times n}\rightarrow \mathbb{R}\) is strictly quasiconvex if and only if
for all matrices \(A\in \mathbb{R}^{m\times n}\) and test functions \(v\in C_{c}^{\infty }((0,1)^{n},\mathbb{R}^{m}) \setminus \{ 0 \}\).
The definition of strict polyconvexity is as follows. We say that \(\psi : \mathbb{R}^{m\times n}\rightarrow \mathbb{R}\) is strictly polyconvex if there exists a strictly convex function \(g\) defined in the set of minors of \(\mathbb{R}^{m\times n}\) matrices such that \(\psi (A) = g (M(A))\) for all \(A \in \mathbb{R}^{m\times n}\), where \(M(A)\) is the vector formed by all minors of the matrix \(A\) is a given order.
The following sufficient condition for strict quasiconvexity is useful.
Proposition 5.1
Any strictly polyconvex function is strictly quasiconvex.
Proof
Let \(\psi : \mathbb{R}^{m\times n}\rightarrow \mathbb{R}\) be strictly polyconvex, and let \(g\) be strictly convex such that \(\psi (A) = g (M(A))\) for all \(A \in \mathbb{R}^{m\times n}\). Fix \(A \in \mathbb{R}^{m\times n}\) and \(v\in C^{\infty }_{c}((0,1)^{n},\mathbb{R}^{m}) \setminus \{0\}\). First of all, since \(M\) is quasiaffine then, by a well known result [11],
Now, applying Jensen’s inequality, and having into account that \(g\) is strictly convex, we have that
Consequently, \(\psi \) is strictly quasiconvex. □
The result that we seek guaranteeing the equality \(W = \bar{w}\) is the following.
Proposition 5.2
Let \(W : \mathbb{R}^{m\times n}\to \mathbb{R}\)be strictly quasiconvex and let \(\bar{w} : \mathbb{R}^{m\times n}\to \mathbb{R}\)be such that \(W = \bar{w}^{qc}\). Then \(W = \bar{w}\).
Proof
Our proof is based on the application of gradient Young measures [26]. Let \(\mathcal{Y}(A)\) be the set of homogeneous gradient Young measures of barycenter \(A\). It is known that \(W\) is strictly quasiconvex if and only if
for all \(A\in \mathbb{R}^{m\times n}\) and all \(\nu \in \mathcal{Y}(A)\setminus \{\delta _{A}\}\), where \(\delta _{A}\in \mathcal{Y}(A)\) is the Dirac delta at \(A\).
By assumption, \(W = \bar{w}^{qc} \leq \bar{w}\). Fix \(A \in \mathbb{R}^{m\times n}\). By the expression of the quasiconvexification in terms of Young measures ([26]), there exists \(\nu \in \mathcal{Y}(A)\), such that
If \(\nu \neq \delta _{A}\) then
a contradiction with the fact \(\bar{w}^{qc} =W\). Therefore, \(\nu = \delta _{A}\) and, hence, \(\bar{w}^{qc} (A) = \bar{w} (A)\). □
With all those preliminaries, we are in a position to prove the final result of this paper.
Proposition 5.3
Let \(n = m = 3\). Let \(g : (0, \infty ) \to [0, \infty )\)be convex and such that there exists \(a >0\)for which \(g |_{[a, \infty )}\)is increasing. Let \(\alpha , \beta \geq 0\). Assume that:
Suppose, in addition, that
Then the function \(W\)of (5) is not recoverable.
Proof
Assume, for a contradiction, that \(W\) is recoverable. We use the notation of Sect. 2.4. The assumptions of \(\alpha , \beta \) and \(g\) imply that \(W\) is strictly polyconvex. By Proposition 5.1, it is strictly quasiconvex, and, in turn, by Proposition 5.2 we have that \(W = \bar{w}\).
The proof wil be finished as soon as we show that \(\bar{w}\) does not satisfy (15). For any \(A \in \mathbb{R}^{3 \times 3}\), using Jensen’s inequality we find that
Now, it is easy to check that the expression
defines a norm in \(\mathbb{R}^{3 \times 3}\). Since all norms are equivalent in \(\mathbb{R}^{3 \times 3}\), there exists \(c >0\) such that
In fact, we can assume that \(c \leq a^{-2}\). Using Jensen’s inequality, we find that for all \(A \in \mathbb{R}^{3 \times 3}\) with \(c |A|^{3} \geq a\),
Using (23) and (24), we have that for all \(A \in \mathbb{R}^{3 \times 3}\) with \(c |A|^{3} \geq a\),
If \(\bar{w}\) were recoverable, we would have that, if \(c |A|^{3} \geq a\),
Let \(\lambda >0\) and let \(A\) be the diagonal matrix with diagonal elements \(\lambda , 1/\lambda , \sqrt[3]{a/c}\). Then, the inequality above reads as
If \(\beta >0\) then
which yields a contradiction when we send \(\lambda \to \infty \). If \(\beta = 0\) we obtain
which is again a contradiction due to (22), since \(g\) is increasing in \([a, \infty )\), and
provided that \(\lambda \) is large enough. □
An analogue result holds in the incompressible case.
Proposition 5.4
Let \(n = m = 3\). Let \(\alpha , \beta \geq 0\). Then the function \(W : \mathbb{R}^{3 \times 3} \to \mathbb{R}\cup \{ \infty \}\)defined by
is not recoverable.
Proof
Assume, for a contradiction, that \(W\) is recoverable. It is easy to check that the function \(g : \mathbb{R}\to \mathbb{R}\cup \{ \infty \}\) defined by \(g(t) = \infty \) for \(t \neq 1\) and \(g(1) = 0\) is strictly convex at \(t=1\). As in Proposition 5.3, \(W\) is strictly polyconvex where it is finite, so by Propositions 5.1 and 5.2, \(W = \bar{w}\).
If \(\bar{w}\) were recoverable, by (15) we reach a contradiction by considering the matrix \(A\) with diagonal elements \(\lambda , 1/\lambda , 1\) with \(\lambda >1\), since the right-hand side is infinity, while the left-hand side is finite. □
Using the ideas of Example 4.3, one can generalize Proposition 5.3 to rule out the recoverability of many families of functions of the style of Mooney–Rivlin, but replacing \(|\operatorname{cof}A|^{2}\) with another convex function of \(\operatorname{cof}A\). However, for the sake of simplicity, we have restricted ourselves to a quadratic dependence on \(\operatorname{cof}A\).
References
Antman, S.S.: Nonlinear Problems of Elasticity. Applied Mathematical Sciences, vol. 107. Springer, New York (1995)
Ball, J.M.: Convexity conditions and existence theorems in nonlinear elasticity. Arch. Ration. Mech. Anal. 63(4), 337–403 (1977)
Ball, J.M.: Some recent developments in nonlinear elasticity and its applications to materials science. In: Aston, P.J. (ed.) Nonlinear Mathematics and Its Applications, Guildford, 1995. pp. 93–119. Cambridge University Press, Cambridge (1996)
Ball, J.M.: Some open problems in elasticity. In: Geometry, Mechanics, and Dynamics, pp. 3–59. Springer, New York (2002)
Bellido, J.C., Mora-Corral, C.: Existence for nonlocal variational problems in peridynamics. SIAM J. Math. Anal. 46(1), 890–916 (2014)
Bellido, J.C., Mora-Corral, C.: Lower semicontinuity and relaxation via Young measures for nonlocal variational problems and applications to peridynamics. SIAM J. Math. Anal. 50(1), 779–809 (2018)
Bellido, J.C., Mora-Corral, C., Pedregal, P.: Hyperelasticity as a \(\Gamma \)-limit of peridynamics when the horizon goes to zero. Calc. Var. Partial Differ. Equ. 54(2), 1643–1670 (2015)
Boulanger, J., Elbau, P., Pontow, C., Scherzer, O.: Non-local functionals for imaging. In: Fixed-Point Algorithms for Inverse Problems in Science and Engineering. Springer Optim. Appl., vol. 49, pp. 131–154. Springer, New York (2011)
Braides A.: \(\Gamma \)-Convergence for Beginners. Oxford Lecture Series in Mathematics and Its Applications, vol. 22. Oxford University Press, Oxford (2002)
Ciarlet, P.G.: Mathematical Elasticity, Vol. I. Studies in Mathematics and Its Applications, vol. 20. North-Holland, Amsterdam (1988)
Dacorogna, B.: Direct Methods in the Calculus of Variations, 2nd edn. Applied Mathematical Sciences, vol. 78. Springer, New York (2008)
Du, Q., Gunzburger, M., Lehoucq, R.B., Zhou, K.: Analysis of the volume-constrained peridynamic Navier equation of linear elasticity. J. Elast. 113, 193–217 (2013)
Elbau, P.: Sequential lower semi-continuity of non-local functionals. ArXiv preprint 1104.2686
Emmrich, E., Puhst, D.: Measure-valued and weak solutions to the nonlinear peridynamic model in nonlocal elastodynamics. Nonlinearity 28, 285–307 (2015)
Emmrich, E., Weckner, O.: On the well-posedness of the linear peridynamic model and its convergence towards the Navier equation of linear elasticity. Commun. Math. Sci. 5, 851–864 (2007)
Gerstle, W.H.: Introduction to Practical Peridynamics. Computational Solid Mechanics Without Stress and Strain. Frontier Research in Computation and Mechanics of Materials and Biology, vol. 1 World Scientific, Hackensack (2016)
Javili, A., Morasata, R., Oterkus, E., Oterkus, S.: Peridynamics review. Math. Mech. Solids 24(11), 3714–3739 (2019)
Lehoucq, R.B., Silling, S.A.: Force flux and the peridynamic stress tensor. J. Mech. Phys. Solids 56(4), 1566–1577 (2008)
Madenci, E., Oterkus, E.: Peridynamic Theory and Its Applications. Springer, Berlin (2014)
Marsden, J.E., Hughes, T.J.R.: Mathematical Foundations of Elasticity. Dover, New York (1994). Corrected reprint of the 1983 original
Mengesha, T.: Nonlocal Korn-type characterization of Sobolev vector fields. Commun. Contemp. Math. 14(4), 1250028 (2012)
Mengesha, T., Du, Q.: Nonlocal constrained value problems for a linear peridynamic Navier equation. J. Elast. 116, 27–51 (2014)
Mengesha, T., Du, Q.: On the variational limit of a class of nonlocal functionals related to peridynamics. Nonlinearity 28(11), 3999–4035 (2015)
Mengesha, T., Du, Q.: Characterization of function spaces of vector fields and an application in nonlinear peridynamics. Nonlinear Anal. 140, 82–111 (2016)
Mora-Corral, C., Tellini, A.: Relaxation of double-well potentials in scalar nonlocal variational problems. Calc. Var. 59, 67 (2020)
Pedregal, P.: Parametrized Measures and Variational Principles. Progress in Nonlinear Differential Equations and Their Applications, vol. 30. Birkhäuser, Basel (1997)
Pedregal, P.: Variational Methods in Nonlinear Elasticity. SIAM, Philadelphia (2000)
Puhst, D.: On the evolutionary fractional \(p\)-Laplacian. Appl. Math. Res. Express 2, 253–273 (2015)
Puhst, D.: Zur Existenztheorie nichtlokaler nichtlinearer Evolutionsgleichungen mit Anwendungen in der Peridynamik. PhD Thesis, Technische Universität Berlin (2016)
Silling, S.A.: Reformulation of elasticity theory for discontinuities and long-range forces. J. Mech. Phys. Solids 48(1), 175–209 (2000)
Silling, S.A.: Linearized theory of peridynamic states. J. Elast. 99, 85–111 (2010)
Silling, S.A., Lehoucq, R.B.: Convergence of peridynamics to classical elasticity theory. J. Elast. 93(1), 13–37 (2008)
Silling, S.A., Lehoucq, R.B.: Peridynamic theory of solid mechanics. In: Hassan, A., van der Giessen, E. (eds.) Advances in Applied Mechanics. Advances in Applied Mechanics, vol. 44, pp. 73–168. Elsevier, Amsterdam (2010)
Silling, S.A., Epton, M., Weckner, O., Xu, J., Askari, E.: Peridynamic states and constitutive modeling. J. Elast. 88(2), 151–184 (2007)
Acknowledgements
We acknowlegde the referees and the editors for their suggestions, which helped improve and clarify the article. This work has been supported by the Spanish Ministry of Economy and Competitivity through projects MTM2017-83740-P (J.C.B. and J.C.), and MTM2017-85934-C3-2-P (C.M.-C.).
Author information
Authors and Affiliations
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bellido, J.C., Cueto, J. & Mora-Corral, C. Bond-Based Peridynamics Does Not Converge to Hyperelasticity as the Horizon Goes to Zero. J Elast 141, 273–289 (2020). https://doi.org/10.1007/s10659-020-09782-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10659-020-09782-9