1. Introduction
Analytic solutions for elastostatic displacement due to vertical/shear traction applied to the faces of a single crack in a 2D plane are reviewed in Section 2. The purpose of this review is to introduce mathematics relevant to specifying multi-crack elastostatic displacements. In Section 3, the relation between multi-crack elastostatic displacement fields and Riemann surface geometry is discussed. Section 4 explains why 2D multi-crack solutions appear limited to describing idealized cracks in 2 spatial dimensions, and conjectures how 3D fracture networks in the lithosphere can be described in terms of singular spectrum analysis of crack phase fields.
2. Single Crack 2D Elastostatic Displacement
2.1. Yoffe Mode I Crack
Consider a sharp crack of length
propagating with constant velocity
in a uniform elastic material in 2D plane strain conditions, whereby the crack tips are located at
and
. In terms of coordinates
in which the crack tips are fixed at
and
, the elastic displacement
can be expressed in terms of scalar and vector potentials
and
as:
(1)
where:
(2)
(3)
for constants
and
specified by
and the P and SV wave velocities
and
[1]. In turn, the potentials
and
can be expressed in terms of analytic functions
and
as:
(4)
(5)
for
and
, whereby elastic displacement field and stress field components are given by the equations:
(6)
(7)
(8)
(9)
(10)
for Lame parameters
and
.
Now assume the crack is Mode I, in which a uniform vertical traction
acts on the crack faces while the shear traction applied to the crack faces is
, as illustrated in Figure 1-left. In this case, the
crack face boundary conditions are:
Figure 1. Stationary Yoffe Mode 1 crack (left) and Rice Mode II crack (right).
(11)
(12)
and the potentials
and
have the symmetries
and
imply
and
, in keeping with x-axis reflection symmetry of a Mode I crack displacement solution. Furthermore, the Cauchy-Riemann equations imply
and
.
The symmetries of
and
, together with Equations (10) and (12), imply the function:
(13)
is continuous across the crack line between
and
, and is therefore entire. Given that the elastic velocity and stress fields are zero at points remote from the crack, Lioiuville’s theorem on bounded entire functions implies:
(14)
Equations (9) and (14) together with condition (11) imply:
(15)
where
, and discontinuity of
across the crack line occurs as necessary to account for discontinuity in elastic displacement. Assuming
is defined as a single valued function on the complex plane with a branch cut between
and
along
, the function:
(16)
is continuous across the crack line, and is therefore an entire function that approaches 0 as
, implying:
(17)
and:
(18)
Equations (17) and (18) imply the normal stress distribution
on the crack line ahead of the advancing crack tip is:
(19)
Integration of Equations (17) and (18) gives equations:
(20)
and:
(21)
in which constants of integration have been selected so elastic displacements are 0 at remote points. Assuming
is defined as a single valued function on the complex plane with a branch cut between
and
along
, Equations (20) and (21) together with Equation (7) imply the crack opening displacement is:
(22)
2.2. Rice Mode II Crack
Now assume the crack is Mode II, in that a uniform shear traction
is applied to the crack faces while the vertical traction applied to the crack faces is 0, as illustrated in Figure 1-right [2]. In this case the
crack face boundary conditions are:
(23)
(24)
and the potentials
and
have the symmetries
and
so that:
(25)
(26)
and:
(27)
(28)
as necessary to satisfy the Cauchy-Riemann equations for analytic functions
and
.
Equations (27) and (28) imply the function:
(29)
is continuous across the crack line, and therefore entire. Furthermore, vanishing of stress and velocity field displacements as
imply
is bounded at infinity, and thus identically 0 by Liouville’s theorem. Consequently:
(30)
which together with boundary condition (23) implies that along the crack line:
(31)
where
, and discontinuity of
across the crack line occurs as necessary to account for discontinuity in elastic displacement. Assuming
is defined as a single valued function on the complex plane with a branch cut between
and
along
, the function:
(32)
is continuous across the crack line, and is therefore an entire function that approaches 0 as
, implying:
(33)
and:
(34)
Integration of Equations (33) and (34) gives equations:
(35)
and:
(36)
in which constants of integration have been selected so elastic displacements are 0 at remote points. Assuming
is defined as a single valued function on the complex plane with a branch cut between
and
along
, Equations (35) and (36) together with Equation (6) imply the crack opening displacement is:
(37)
3. Multi-Crack 2D Elastostatic Displacement
3.1. Crack Geometry: Hyperelliptic Curves
For the purpose of calculating multi-crack 2D elastostatic displacements, cracks will be identified with branch cuts of the complex plane specifying sheets of Riemann surfaces. To explain this statement in detail, consider the equation:
(38)
relating complex variables
and
with
different complex values
. For each pair of values
the expression:
(39)
can be a singled valued analytic function on the complex
-plane with a branch cut joining the points
and
, and this function is unique up to choice of sign. Iterating selection of a branch for square root for
, it the product:
(40)
can be defined as a single valued analytic function on the complex
-plane, up to choice of sign, away from a finite set of branch cuts joining branch points
and
in pairs. For this reason, the projection:
(41)
from points satisfying Equation (38) to the complex
-plane is a double cover of the complex plane away from the branch cuts.
The projective completion of non-compact hyperelliptic curve (38) is the compact hyperelliptic curve:
(42)
in
. From this point of view, the projection:
(43)
from points on curve (42) to the Riemann sphere
is a double cover with branch points at
. When
, Equation (42) implies:
(44)
so the point
with
is covered by the two points
. Therefore, for
the point at infinity
is double covered by
and
while for
the point at infinity
is double covered by
. With resolution of the
singularity at
, projection (43) can be drawn as a projection from a non-singular genus
Rieman surface to the Riemann sphere as shown in Figure 2. In this image, the inverse image of each branch cut is shown as a closed loop on the surface.
3.2. Elastostatic Displacement: Differential Forms
For a superposition of vertical/shear traction acting on the crack faces, the Mode I and Mode II single crack elastostatic displacement potentials
and
independently solve the 2D Laplace equation:
(45)
(46)
away from the crack lines in the
and
planes. By Gauss’ and Stokes’ theorems, the line integrals:
Figure 2. Double cover of Riemann sphere (
) by genus 1 and genus 0 hyperelliptic curves with 4 and 2 branch points.
(47)and:
(48)each obtain a constant value for any closed contours
and
encircling the crack once counterclockwise in the
and
planes. Moreover, these constant values can be non-zero because the analytic functions
and
are multi-valued, as may be anticipated based on
dependence of elastostatic displacement at points remote from the cracks. This dependence can be extracted from singular behavior of differential forms
and
at infinity evaluated using the substitution
. Noting that:
(49)
for
, and , it is evident that both
and
have a simple pole at infinity. For this reason, the integral of the pullback of either form to a Riemann sphere around the closed contour shown in Figure 2 is non-zero, because the form has a simple pole on both the inside and outside of the contour.
For
,
cracks in the
or
plane can be viewed as branch cuts for a double cover of the plane by a hyperelliptic curve of genus
, and multi-crack elastostatic displacement solutions for constant vertical or shear surface tractions are associated with meromorphic 1-forms on the curve. The Riemann-Roch theorem applies to calculate the dimension of the complex vector space
of meromorphic 1-forms
on a non-singular Riemann surface of genus
with simple poles at 2 prescribed points as being
. More specifically, the theorem for curves states that if
is a canonical divisor on a non-singular Riemann surface of genus
, then:
(50)
where
is the complex dimension of the vector space of meromorphic functions on the Riemann surface bounded by divisor
[3]. Consequently, if an elastostatic displacement vector field
in the multi-cracked
plane is associated with meromorphic 1-forms
and
in the
and
planes via Helmholtz decomposition (1) and Equations (4) and (5), the pullback of either 1-form to a non-singular genus
Riemann surface can each be expressed as a linear combination of a basis
,
,
,
,
for a vector space of mermomorphic 1-forms
on the respective curve, where each
is holomorphic and
has simple poles at the points
. When
, the
and
planes coincide and both meromorphic 1-forms
and
pullback to 1-forms on the same Rieman surface. In this case, the complex dimension
is in agreement with the fact that there are
real parameters
and
available to specify constant vertical and shear surface tractions on crack faces of the multi-crack system, since the elastostatic displacement fields
associated with sets of constant surface tractions form a real vector space.
4. 3D Fracture Networks
Correspondence between 2D multi-crack configurations with hyperelliptic curves suggests a change in 2D crack configuration (e.g. crack growth) may be modeled as a change in the shape of a Riemann surface. This fact is of scientific interest because current methods of modeling and simulating crack growth invoke empirical time evolution equations for crack phase fields (i.e. damage fields), and these methods may be advanced by more systematic time evolution modeling [4]. However, practical application of the multi-crack Riemann surface model to modeling crack growth in laboratory rock samples and the lithosphere appears lacking for at least two reasons:
It is not clear how the 2D Riemann surface model can be generalized to describe cracks of arbitrary orientation and finite width in 3 spatial dimensions.
It is not clear how the 2D Riemann surface model can be generalized to describe elastostatic displacement of a material whose elastic parameters vary in space and time.
To address these problems, an introductory discussion of 3D fracture in laboratory rock samples and the lithosphere is presented, and 3D fracture network dynamics preceding an earthquake are characterized in terms of singular spectrum analysis of a crack phase field. Physically, specification of a crack phase field in a laboratory rock sample or region of the lithosphere adjusts material elastic parameters based on crack damage, with an increase in the crack phase field at a particular spatial location corresponding to a reduction in elastic shear modulus of material. Within the lithosphere, changes in material shear modulus can be detected as changes in local earthquake coda wave signals on seismograms, allowing for detection of a fault damage zone formed before earthquake fault rupture. Conjecturally, time evolution of the crack phase field preceding an earthquake is governed by a finite dimensional nonlinear dynamical system with phase space dimension equal to a number of dynamic modes of fault damage. From this point of view, it remains possible that the underlying nonlinear dynamical system phase space of a 3D crack phase field is related to the geometry of Riemann surfaces, although more detailed investigation is required to determine whether or not this is the case.
4.1. Laboratory Rock Fracture
Consider a triaxial compression test on a rock sample for which axial compressive strain is applied along principal axis 1 while compressive stresses in the direction of principal axes 2 and 3 are held constant. Assume the initial compressive stresses satisfy
, and as
is increased towards a maximum value
, plastic strain hardening of the rock sample occurs. Also assume that when
is increased beyond the strain
at which
, strain softening of the rock occurs with formation of a shear band along a plane where the rock ultimately undergoes shear failure. Technically, the constitutive model of the rock may be defined using a Mohr-Coulomb yield criterion with mobilized friction angle/cohesion and a non-associated plastic flow rule [5].
Physically accurate and well defined mathematical description of the rock strain softening regime requires addition of at least two features to the strain hardening non-associated plasticity model:
If it is assumed that with consideration of these technical details, and definition of a finite element mesh, a global elasto-plastic tangent stiffness operator
can be defined for the rock sample throughout triaxial compression at a constant strain rate at each time
, Newton’s equation of motion dictates that the equation:
(51)
describes time evolution of a vector perturbation
to the finite element nodal elasto-plastic displacements at time
, where
is a lumped mass matrix,
is a damping matrix at time
, and
is a perturbation of the externally applied nodal force vector [8].
4.2. Lithospheric Fracture Networks
Typically, plastic deformation of rock material occurs with cracking (i.e. damage). In seismology, earthquake faults are observed to be surrounded by damage zones, and detecting fault damage zone formation by monitoring real time variation of local earthquake coda wave signals on seismograms has been identified as a possible method of predicting earthquakes [9]. According to this method, in a frequency band centered at angular frequency
, time variation of the local earthquake coda
value at a particular seismic station can be attributed to time variation of the anelastic and/or scattering Q values
and
according to the equation:
(52)
and decrease of
in time may reflect earthquake precursor dynamics in the lithosphere. More specifically, based on a single backscattering model of coda wave signals,
scales with signal frequency according to the power law:
(53)
and may therefore contribute to real time variation of
if the Hurst exponent
changes in time [10]. Fundamentally, the Hurst exponent
is related to the power spectrum of random S-wave velocity model inhomogeneities in the lithosphere
, where
is wave number, via the relation [11]:
(54)
These random inhomogeneities can be attributed to a fracture network superimposed on a fixed seismic velocity model background, such as a 1D layered velocity model, with fracture size statistics characterized by Equation (54).
4.3. Crack Phase Field Singular Spectrum Analysis
Suppose a scalar crack phase field influences Lame elastic parameters
and
of a 3D laboratory rock sample or lithospheric region via the equations:
(55)
(56)
where
and
are the Lame parameters of uncracked rock at location
,
is the crack phase field with value 0 for uncracked material and 1 for maximally damaged material, and
and
are constants [12]. If the crack phase field can be directly measured at a particular 3D location
at regular time intervals, the sequence of phase field values
can be used to write a trajectory matrix
:
(57)
whose singular value decomposition can be used to identify dominant signal components in the discrete time series
[13]. More generally, the scalar time series
can be replaced with a vector time series of phase field values at different 3D locations, and multichannel singular spectrum analysis can be applied to identify dominant vector signal components in the time series.
Realistically, crack phase field values are not measured at individual points in a laboratory sample or the lithosphere, but may be inferred from changes in local earthquake coda wave signals. Therefore, it is noted that single/multi-channel singular spectrum analysis allows for replacement of the scalar/vector time series of crack phase field measurements
with a scalar/vector time series
of experimentally observed data, such as relative changes in average S-wave velocity between seismic station pairs measured by monitoring coda wave signals [14]. It is conjectured that each
is the measurement of an observable on a nonlinear dynamical system with a finite dimensional phase space
, whereby the rows of the trajectory matrix
provide an embedding of the phase space trajectory in
into
. Based on this conjecture, an estimate of the dimension of the phase space trajectory in
is provided by computing the correlation dimension of the phase space trajectory embedded in
.
The conjectured existence of a finite dimensional nonlinear dynamical system describing time evolution of the fault damage zone is a generalization of a previous claim by seismologists that the average damage along an earthquake fault preceding its rupture evolves according to a 1 dimensional nonlinear dynamical system [15]. From this point of view, if the damage field can be decomposed into a linear superposition of finitely many time independent damage modes
with time dependent coefficients
:
(58)
a nonlinear dynamical system:
(59)
specifies time evolution of the phase field and
is contained in
. So that each damage mode is associated with localization of strain in the lithosphere, it is further conjectured that each damage modes corresponds to a nodal displacement eigenvector of an elasto-plastic stiffness matrix
with complex eigenvalue
satisfying
. Whether or not there is good reason to identify the eigenvalues
as branch points of a cover of the complex plane by a
-dependent Riemannn surface remains unclear.
5. Conclusion
Further computational and experimental effort is required to distinguish fundamental models of crack growth based on applied mathematics from those based on mathematical concoction. In particular, an example of simulating crack phase field time evolution in a laboratory rock sample and using singular spectrum analysis to characterize this time evolution should be provided to clarify what dynamical system governs damage time evolution. If the results of an initial computational investigation are promising, an example of using singular spectrum analysis of coda wave data to specify a finite dimensional nonlinear dynamical system should be provided as evidence for real world applicability of the signal processing method. Theoretically, to the point of providing deterministic or probabilistic analytic models of phase field time evolution, it may be useful to investigate if time evolution of an elasto-plastic tangent stiffness matrix eigenvalue distribution can be cast in terms of statistical mechanics of a 2D Coulomb gas [16].
Acknowledgements
Thanks to my family for their support during the completion of this research.