Abstract
We introduce a mathematical formalism towards the construction of a continuum-field theory for particulate fluids and solids. We briefly outline a research program aimed at unifying the fundamentals of the coarse-graining theory and the numerical method of Smoothed Particle Hydrodynamics (SPH). We show that the coarse-graining functions must satisfy well defined mathematical properties that comply with those of the SPH kernel integral representation of continuous fields. Given the appropriate dynamics for the macroscopic response, the present formalism is able to describe both the solid and fluid-like behaviour of granular materials.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
- Granular Material
- Smooth Particle Hydrodynamic
- Smooth Particle Hydrodynamic
- Smooth Particle Hydrodynamic Method
- Support Domain
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
1 Introduction
Continuum mechanics in its simplest form has been the paragon of field theory to describe the response of solid bodies and fluids. The mathematical robustness of continuum theories rests on the field of partial differential equations (PDEs), which is one of the main and mature cores of mathematical physics. These mathematical models rationalize, explain, and predict very well the macroscopic behaviour of isotropic and homogeneous solid bodies. However, there is still no general continuum model for the description of discrete microscopic, mesoscopic, and nanoscale systems. For example, granular materials are composed of large collections of small grains and exhibit many interesting collective phenomena emerging from the many-body classical dynamics of their constituents (Jaeger et al. 1996). This kind of materials can exhibit solid-like as well as fluid-like behaviours. Nevertheless, a complete theoretical description of granular materials as well as particulate amorphous and heterogeneous solids is still missing (Jaeger et al. 1996; Kadanoff 1999; de Gennes 1999; Goldhirsch 2003). An analytical framework is required to bridge the gap between the experimental and theoretical studies in this area, and develop numerical algorithms for new and more efficient simulation techniques.
The study of continuum concepts and field values related to local (scale-dependent) space-time averages began in 1946 with the celebrated statistical mechanical theory of transport processes by Kirkwood (1946) and Irving and Kirkwood (1950). They assumed that any ensemble average of space-time averages could be equated with a space-time average of an ensemble average computed at given scales of length and time. This approach represents an alternative to the Gibbs measure (Murdoch and Bedeaux 1994; Babic 1997) (associated with the Boltzmann distribution and the notion of canonical ensemble in equilibrium statistical thermodynamics, connecting measurable macroscopic properties of materials to the properties of their constituent particles and the interactions between them).Footnote 1 Another interesting development was reported by Glasser and Goldhirsch (2001), who based on the ideas worked out in Kirkwood (1946); Irving and Kirkwood (1950) and Murdoch and Bedeaux (1994), constructed a field theory for granular fluids.
The purpose of this paper is to present a further step towards the construction of a macroscopic continuous-field mathematical description of granular materials that fulfils the condition of reproducing microscopic properties in a macroscopic representation of physical quantities. We address the problem of the estimation of coarse-graining functions and show that they must satisfy well-defined mathematical conditions for the requirement of compact support of the smoothing function.
2 Starting Definitions and Postulates of the Theory
2.1 Domains and Observables
Consider a physical system whose properties may vary in time and space. Denoting by \(\mathbb {R}^3\) the three-dimensional coordinate space (and by \(\mathbf {r}\) its elements), we shall then simply denote by \(\mathbb {R}^4\) the four-dimensional space-time vector field whose elements \(\mathbf {R}\) have three spatial coordinates and a time-coordinate \(t\):
This space is the stage on which our theory is developed, so herein we will refer to such a space as the physical domain:
Definition 1
(Physical domain). The physical domain \(\varOmega \) of any problem is the set of all points in \(\mathbb {R}^4\).
In a discrete solid, for instance, the physical domain consists of all points occupied by the grains of the solid as well as the empty spaces (pores) inside the material.
Following Murdoch and Bedeaux (1994), we introduce the next definition:
Definition 2
(Material system). A material system \({\fancyscript{M}}\subseteq \varOmega \) is an instant-by-instant identifiable set of fundamental discrete entities.
In other words, a material system is a set of fundamental disjoint sets in space that belongs to the geometrical locus of the material to be described (atoms, ions, molecules, pores, etc). In our problem of granular materials, such discrete entities are modelled as interacting particles (grains), indexed by \(\left\{ i\right\} \). Since a granular material is a large system of grains with macroscopic sizes (\(>1\,\mu \)m), we have for such materials that \(\fancyscript{M}\subset \varOmega \). In the case of a continuous solid or fluid, there will be a unique identifiable discrete entity, for which we have \(\fancyscript{M}=\varOmega \).
Definition 3
(Observable). An observable is any real square-integrable function defined over the entire physical domain or a subset of it:Footnote 2
Definition 4
(Microscopic field). Any function \(\psi \) is a microscopic field if it is an observable defined only in the material system, i. e.:
Definition 5
(Macroscopic field). Any function \(\tilde{\psi }\) is a macroscopic field if it is an observable defined over the entire physical domain, i. e.:
We may characterize a granular material with the set of fundamental microscopic fields: \(\left\{ m_i\,;\,\rho _i\,;\,r_{\alpha _i}(t)\right\} \), which denote the mass, the density, and the \(\alpha \)-component of the centre-of-mass position of the \(i\)th grain at time \(t\), respectively. Obviously, in such a fundamental set, there are as many components of the centre-of-mass positions as spatial dimensions of the physical domain (which, for the sake of generality, we have taken as three-dimensional).
2.2 Principles
Consider the problem of building a macroscopic field \(\tilde{\psi }:\varOmega \rightarrow \mathbb {R}\) from a microscopic one \(\psi (\mathbf {r}_i, t)\) (with \(i=1,2,\ldots , N\); where \(N\) is the total number of grains). This has to be done in such a way that the microscopic information of the material is accurately represented in the macroscopic field. This problem can be formally stated as:
where \(\fancyscript{L}:L^2[\varOmega ]\rightarrow L^2[\fancyscript{M}]\) is some operator that when applied to a macroscopic field, returns the microscopic field. Thus, the sources of the macroscopic field \(\tilde{\psi }(\mathbf {R})\) are the values of the microscopic field \(\psi (\mathbf {R})\) evaluated in each grain.
Postulate 1
(Linearity) The problem (5) satisfies the superposition principle.
The above postulate allows us to write the output of Eq. (5) (the macroscopic field) as a linear functional of the input (the microscopic field), i. e.:
where \(\Phi \) must belong to \(L^2[\varOmega ]\).
Postulate 2
(Space-time translation invariance) The problem (5) is space-time translation invariant.
So, if the input (the microscopic field) is shifted along some displacement vector \(\mathbf {D}=(\varDelta \mathbf {r}, \varDelta t)\) in \(\fancyscript{M}\), the output (macroscopic field) is also shifted in the same manner: if \(\tilde{\psi }(\mathbf {R})\) corresponds to \(\psi (\mathbf {R})\), then \(\tilde{\psi }(\mathbf {R}+\mathbf {D})\) corresponds to \(\psi (\mathbf {R}+\mathbf {D})\). This can only be possible if the function \(\varPhi \) in Eq. (6) depends on the difference \(\mathbf {R} - \mathbf {R'}\) of its arguments: \(\varPhi (\mathbf {R}, \mathbf {R'})=\varPhi (\mathbf {R}- \mathbf {R'})\). Then, Eq. (6) turns into the convolution product:
Setting \(\varPhi (\mathbf {R})=\varPhi (\mathbf {r}, t)\equiv \phi (\mathbf {r})F(t)\), where \(F(t)\) and \(\phi (\mathbf {r})\) are the temporal and spatial parts of \(\varPhi \), respectively, Eq. (7) becomes:
where \(T\subset {\varOmega }\) is the time subspace of \(\fancyscript{M}\) and \(\fancyscript{M}_s\subseteq \mathbb {R}^3\) is the spatial subspace of \(\fancyscript{M}\):
We see that the solution of problem (5) is given by Eq. (8), where \(\phi :\fancyscript{V}\rightarrow \mathbb {R}\) and \(F:\fancyscript{T}\rightarrow \mathbb {R}\) are the spatial and temporal parts of the Green’s function \(\varPhi \) associated to the operator \(\fancyscript{L}\), respectively, with \(\fancyscript{V}\) and \(\fancyscript{T}\) being the spaces of all possible displacements in the Euclidean spaces \(\mathbb {R}^3\) and \(\mathbb {R}\), respectively. We see that \(\phi \) has dimensions of the inverse of volume and \(F\) of the inverse of time. For a granular material, \(\fancyscript{M}_s\) is a disconnected subset of \(\mathbb {R}^3\), and so the integral over \(\fancyscript{M}_s\) in Eq. (8) is, in fact, a discrete sum. Since the infinitesimal volume elements of size \(d\mathbf {r}'\) in Eq. (8) lies in \(\fancyscript{M}_s\), such a sum must be taken over the small volumes \(\varDelta V_i\) of each disconnected set (i.e. over the volume of each particle). Setting \(\varDelta V_i=m_i/\rho _i\), Eq. (8) can be written as:
For static granular systems (granular packings in which the grains remain static but the fields could still vary in time), we have that \(F(t-t')=\delta (t-t')\) and Eq. (10) becomes the weighted average sum:
Postulates 1 and 2 has led us to a formulation via weighted-average sums of the same kind as those introduced heuristically by Irving and Kirkwood (1950); Murdoch and Bedeaux (1994); Babic (1997) and Glasser and Goldhirsch (2001), referring to the Green’s function \(\varPhi \) either as the coarse-graining function, the probability density function, or simply as the weighting function. The continuous representation of fields like the density, velocity, and stress tensor field components obtained using Eq. (11) are, indeed, identical to those obtained by Murdoch and Kowalski (1992); Babic (1997) and Glasser and Goldhirsch (2001). For instance, for the mass density we have from Eq. (10) that:
which is the well-known coarse-grained mass density formula (Babic 1997; Glasser and Goldhirsch 2001).
3 Properties of the Spatial Green’s Function
The solution of problem (5) is then given by Eq. (8). The next step is to find the Green’s function. Since we do not know in advance the exact form of the operator \(\fancyscript{L}\), we require an alternative method to the conventional one using delta-type sources for calculating the Green’s function. This is exactly the same kind of mathematical problem that was solved by Lucy (1977) and Gingold and Monaghan (1977) when they developed the method of Smoothed Particle Hydrodynamics (SPH) for the discretization of PDEs. Here, we postulate that one can use the method employed for constructing SPH smoothing functions to calculate the spatial Green’s function.
A kernel interpolant, as in Eq. (8), with \(F(t-t')=\delta (t-t')\) is also used in SPH (called smoothed or integral representation) and the domain of the PDE is discretized using a particle generator, leading to a sum over particles of masses \(m_i\) and densities \(\rho _i\) identical to Eq. (11). This defines a Lagrangian mesh-free, semi-discrete version of the PDE (Monaghan 1992; Liu and Liu 2003, 2010; Li and Liu 2007). For the integral macroscopic representation \(\tilde{\psi }\) in Eq. (8) to be consistent with the microscopic field \(\psi \), the kernel \(\phi \) must satisfy some well established mathematical conditions. In establishing such properties, one needs to consider some additional information about the macroscopic behaviour of the system (this is due to the lack of information about the exact form of the operator \(\fancyscript{L}\)). For granular flows, we require the system to satisfy macroscopically the equations of granular hydrodynamics derived in Glasser and Goldhirsch (2001). Assuming that the macroscopic behaviour of the system is described by a second-order PDE (as is the case for granular hydrodynamics), Liu et al. (2003) demonstrated that the integral representation will have a consistency of order \(n\) if the kernel \(\phi \) fulfils the following conditions:
where:
is the \(i\)th momentum of the kernel, and \(\mathbb {S}(\mathbf {r})\) is a support domain of the point \(\mathbf {r}\), a subset of \(\fancyscript{M}_s\) outside of which the kernel’s value is zero. The first and second of Eqs. (13) are referred to as the compactness condition for the kernel and its first derivative. Without such conditions, much more conditions would be needed over \(\phi \) to guarantee consistency between the discrete and the continuous description, as was shown explicitly in Liu et al. (2003) and Liu and Liu (2006). The domain of the spatial Green’s function is no longer the space of all possible displacements in Euclidean space (as was stated in Sect. 2.2), but rather the space of those displacements such that the argument of \(\phi \) lies within the support domain \(\mathbb {S}(\mathbf {r})\). When this support domain is spherically symmetric, its radius is called the smoothing length or spatial resolution in the SPH literature. We note that by considering this compactness property of the Green’s function in the sum (11), only those particles that are within the support domain of the point \(\mathbf {r}\) makes a contribution to the value of the macroscopic field. We also note that the kernel’s momentum equation for \(i=0\) imposes a normalization condition over \(\phi \), while for \(i=1\) it establishes a parity condition. Note that all these properties were imposed heuristically over the spatial coarse-graining function by Glasser and Goldhirsch (2001), while here we have given a formal justification of them.
4 Conclusions
In this paper, we have given, by means of physical and mathematical arguments, a formal justification of the description of discrete complex systems using weighted average sums. This leads to a unification of the various formulations that have been separately treated so far, namely the weighted average sums introduced by Irving and Kirkwood (1950), the coarse-graining representation by Glasser and Goldhirsch (2001), and the SPH integral representation by Lucy (1977) and Gingold and Monaghan (1977). With this formulation we can guarantee that the macroscopic fields are consistent with the microscopic properties of the material, satisfying the equations of granular hydrodynamics in its macroscopic description up to a certain order \(n\) in its Taylor’s series expansion around any point in the material system \(\fancyscript{M}\). The method developed by Liu et al. (2003) and Liu and Liu (2006) becomes one for the estimation of the spatial Green’s function of the unknown operator \(\fancyscript{L}\). Using this method for the calculation of such kernels, we can assure that (8) interpolates the microscopic (discrete) field \(\psi \). We propose that, given the appropriate macroscopic dynamics, this representation can be used to successfully model both the liquid and the solid phase of a granular material. This is tightly connected to the fact that the SPH method is able to model the dynamics of fluids and elastic solids the same way (Gray et al. 2001).
Notes
- 1.
For granular systems this approach seems doomed from the outset: because energy is lost through internal friction, and gained by a non-thermal source such as tapping or shearing, the dynamical equations do not leave the canonical or any other known ensemble invariant.
- 2.
Remark 1 In general, an \(n\)-rank tensor function \(G:\fancyscript{D}\rightarrow \mathbb {R}^4\otimes ^{[n]}\mathbb {R}^4\) (where \(\otimes ^{[n]}\) denotes the \(n\)-rank tensor product) is not an observable. Nevertheless, each component of the tensor is an observable. Typical examples are the components of the stress tensor (\(\sigma ^{\alpha \beta }\), where Greek indices denote Cartesian coordinates), or the components of the velocity field (\(v^{\alpha }\)).
References
de Gennes PG (1999) Granular matter. A tentative view. Rev Mod Phys 71:S374–S382
Gingold RA, Monaghan JJ (1977) Smoothed particle hydrodynamics–Theory and application to non-spherical stars. Monthly Not R Astron Soc 181:375–389
Glasser BJ, Goldhirsch I (2001) Scale dependence, correlations, and fluctuations of stresses in rapid granular flows. Phys Fluids 13:407–420
Goldhirsch I (2003) Rapid granular flows. Annu Rev Fluid Mech 35:267–293
Gray JP, Monaghan JJ, Swift RP (2001) SPH elastic dynamics. Comput Methods Appl Mech Eng 190:6641–6662
Babic M (1997) Average balance equations for granular materials. Int J Eng Sci 5:523–548
Irving JH, Kirkwood JG (1950) The statistical mechanical theory of transport processes. IV. The equations of hydrodynamics. J Chem Phys 18:817–829
Jaeger HM, Nagel SR, Behringer RP (1996) Granular solids, liquids, and gases. Rev Mod Phys 68:1259–1273
Kadanoff LP (1999) Built upon sand: theoretical ideas inspired by granular flows. Rev Mod Phys 71:435–444
Kirkwood JG (1946) The statistical mechanical theory of transport processes I. General theory. J Chem Phys 14:180–201
Li S, Liu WK (2007) Meshfree particle methods. Springer-Verlag, Berlin
Liu GR, Liu MB (2003) Smoothed particle hydrodynamics: a meshfree particle method. World Scientific, Singapore
Liu MB, Liu GR, Lam KY (2003) Constructing smoothing functions in smoothed particle hydrodynamics with applications. J Comp Appl Math 155:263–284
Liu MB, Liu GR (2006) Restoring particle consistency in smoothed particle hydrodynamics. Appl Num Math 56:19–36
Liu MB, Liu GR (2010) Smoothed particle hydrodynamics (SPH): an overview and recent developments. Arch Comput Methods Eng 17:25–76
Lucy LB (1977) A numerical approach to the testing of the fission hypothesis. Astro J 82:1013–1024
Monaghan JJ (1992) Smoothed particle hydrodynamics. Ann Rev Astron Astrophys 30:543–574
Murdoch AI, Kowalski SJ (1992) On fluid-fluid coupling within porous media: a mixture theoretic approach based upon molecular considerations. Transp Porous Media 8:47–70
Murdoch AI, Bedeaux D (1994) Continuum equations of balance via weighted averages of microscopic quantities. Proc R Soc A 445:157–179
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Marín, J.F., Petit, J.C., Sigalotti, L.D.G., Trujillo, L. (2014). Integral Representation for Continuous Matter Fields in Granular Dynamics. In: Sigalotti, L., Klapp, J., Sira, E. (eds) Computational and Experimental Fluid Mechanics with Applications to Physics, Engineering and the Environment. Environmental Science and Engineering(). Springer, Cham. https://doi.org/10.1007/978-3-319-00191-3_33
Download citation
DOI: https://doi.org/10.1007/978-3-319-00191-3_33
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-00190-6
Online ISBN: 978-3-319-00191-3
eBook Packages: Earth and Environmental ScienceEarth and Environmental Science (R0)