For two Fourier elastic wave fields with the same real elastic stiffness tensor, its major symmetry cancels the cross-strain terms in the divergence displayed above. The force-balance equations supply the remaining volume terms, and the divergence theorem gives their boundary integral of reciprocal tractions. Taking one field to be a complex conjugate gives energy-work identities and weighted modal orthogonality. The bilinear identity uses no complex conjugation until that field is chosen explicitly.
Bulk modulus 2026-10-14
The bulk modulus relates hydrostatic compressive pressure to fractional volume compression. In isotropic three-dimensional linear elasticity, the spherical part of the stress tensor is , so uniform dilation has strain energy density . Positive bulk modulus and positive shear modulus make the isotropic elastic stiffness tensor positive on nonzero symmetric strains.
Elastic laminate Created 2026-10-14 Updated 2026-10-20
An elastic laminate has planar perfectly bonded layers with a common normal. Its piecewise constant strains differ by , while its normal traction is common to every layer. For positive elastic stiffness tensors, these conditions and the mean strain uniquely determine the layer strains: the difference of two solutions has zero mean and zero total elastic work, and positivity forces it to vanish.
Elastic polarization 2026-10-14
The elastic polarization is the excess stress relative to a homogeneous comparison elastic stiffness tensor. In heterogeneous linear elasticity, . The comparison static elastic equilibrium equation gives the integral equation , where is the reference strain under the same external loading.
Elastic stiffness tensor 2026-10-14
An elastic stiffness tensor maps a small displacement gradient tensor to the stress tensor. Minor symmetries in each index pair ensure symmetric stress and dependence only on symmetric strain; major symmetry follows from an elastic energy and underlies reciprocity. Stability requires positive elastic energy on nonzero strains. In an isotropic material, , with Lamé parameters .
For a homogeneous comparison elastic stiffness tensor , the elastic strain Green operator maps an elastic polarization to minus the induced infinitesimal strain tensor. In a bounded domain the induced displacement field has zero boundary data; in an infinite medium it is the decaying perturbation. The defining static elastic equilibrium equation is . The bounded-domain operator is self-adjoint, annihilates constant elastic polarizations, has zero mean output, and satisfies .
For unconstrained hyperelastic material, the Hessian of the strain energy density gives . Commuting the second derivatives gives major symmetry . These material-coordinate moduli linearize about a finite base deformation; they need not have the minor symmetries of a small-strain elastic stiffness tensor. Material constraints require their additional reaction increments and admissibility equations.
The two minor symmetries of the elastic stiffness tensor make it a map between six-dimensional spaces of symmetric strain and stress. An elastic energy gives major symmetry, so the matrix of this map is symmetric and has 21 independent entries. For a symmetry operation acting on strains with parity spaces of dimensions and , invariance eliminates the mixed block and leaves independent coefficients.
At a stress-free natural reference state, an objective isotropic hyperelastic material with energy per unit mass has , where . Twice differentiating gives the displayed Lamé parameters and the usual elastic stiffness tensor. A prestressed reference requires initial-stress corrections.
There are two chemical atoms in the primitive unit cell, hence six displacement coordinates and six phonon branches at each wavevector. Three rigid translations cost no restoring potential energy in the long-wavelength limit. Consequently
For propagation along , one acoustic phonon has longitudinal polarization along and two have transverse polarization along . The cubic crystal symmetry makes those two transverse directions equivalent. In terms of the elastic stiffness tensor and the mass density,
Thus there are two distinct acoustic velocities in general, one longitudinal and a doubly degenerate transverse value. This degeneracy of normal modes concerns the two transverse polarizations; it does not imply equality with the longitudinal speed of sound.
Use material coordinates and write the placement as . The strain energy density in the printed convention is per unit reference mass. It is convenient to use the conventional first Piola-Kirchhoff stress tensor , so
Assume the undeformed reference state is stress-free. With and infinitesimal strain tensor , material isotropy and material frame indifference give the quadratic expansion
Consequently the Lamé parameters from hyperelastic energy Hessian are
Indeed, differentiating the quadratic expression twice gives
the elastic stiffness tensor of linear elasticity. A prestressed reference state requires the corresponding initial-stress corrections; the displayed formula concerns the natural state.
For a plane elastic wave, , put and . Balance of momentum without body force becomes
This is a material-coordinate equation: the reference density cancels between inertia and nominal stress. If , the first-order system has characteristic speeds and right eigenvectors . Along a characteristic curve with , its differential compatibility relation is
This follows by multiplying the system by the left eigenvector . It does not assert the existence of globally integrable Riemann invariants for an arbitrary three-component constitutive law.
There is a necessary qualification to the finite-amplitude transverse request. Set and , so . The longitudinal momentum equation requires
Thus arbitrary nonuniform pure transverse profiles are possible only if the compatibility condition for pure nonlinear transverse waves holds:
The third component vanishes by the reflection symmetry implied by isotropy and objectivity. The shear equation then closes:
General compressible hyperelastic material assumptions alone do not imply the required compatibility. For a concrete counterexample, take the Saint Venant–Kirchhoff hyperelastic energy
For , this becomes
At , . A varying shear therefore produces a longitudinal force and cannot preserve . Infinitesimal transverse waves do exist, because this coupling is second order, but a general pure finite-amplitude transverse wave does not.
The compatible nonlinear shear energy class is nonempty and can be genuinely nonlinear. Define , , and, for , take
This is objective and isotropic. Near , , so it has the specified Lamé parameters. On the plane deformation above, and . Hence at , while
For positive , the relevant incremental plane moduli are positive. This supplies an explicit stable pure transverse family and, when , amplitude-dependent wave speed.
For any compatible family, let
The equations and give the Riemann invariants
Consider the initially undisturbed half-space . A right-going simple wave has the incoming invariant , so . Denote the prescribed boundary nominal stress by . The physical boundary traction, whose outward normal is , is . Invert the monotone law to obtain . The wave state emitted at boundary time is transported along
Ahead of the leading front the state is zero. Before characteristic crossing, these equations determine the unique emission time for each disturbed point. The displacement itself is also determined, rather than just its derivatives:
Differentiating the implicit emission relation verifies and , so this is the complete pre-shock simple wave solution.
Write . The boundary-generated characteristic curves lose invertibility when
Thus the characteristic crossing in a boundary-generated elastic simple wave criterion is
Here . A smoothly increasing boundary stress therefore steepens into a shock wave only when later states travel faster: . Increasing stress alone is insufficient. For the compatible example with and , , so a nonzero increasing ramp produces finite-time crossing. For all rays are parallel and no such shock forms. This criterion locates the first gradient singularity; subsequent discontinuous evolution additionally requires the jump conditions and an admissibility condition.
For a general vector simple wave, replace the pure-shear line by an integral curve
Substitution gives , with the same emission construction and crossing criterion. Boundary tractions must lie on this one-family curve. Generic finite-amplitude quasi-transverse waves may contain longitudinal displacement; arbitrary vector boundary forcing need not generate a single simple wave.
Use the usual minor and major symmetries of the elastic stiffness tensor, positive density, and strong ellipticity in elasticity. For the plane elastic wave , substitution into momentum balance gives the acoustic tensor problem
The major symmetry makes a real symmetric matrix. Moreover for nonzero under strong ellipticity in elasticity. Hence its three eigenvalues are positive and the three positive wave speeds are real. Symmetry alone proves only reality of : an unstable isotropic tensor with negative shear modulus has negative transverse . The requested reality therefore uses stability as part of the physical elastic-solid assumption.
The elastic slowness surface consists of three sheets, with , satisfying
It is centrosymmetric. Sheets can meet at degenerate polarizations; they need not be spherical or convex in an anisotropic solid. The group velocity is normal to the corresponding smooth sheet: for a sheet tangent , differentiation of gives . The coefficient vector is proportional to the group velocity, so its scalar product with every tangent vanishes.
Fix horizontal slowness and put . Define
The symbol on a tensor index is an index, whereas is a horizontal slowness component. The vertical slowness equation is the vertical slowness sextic of an anisotropic solid
The leading coefficient is , so it is a degree-six polynomial with real coefficients. Nonreal roots occur in conjugate pairs, leaving between zero and six real roots counted with multiplicity. Generically the counts are ; a grazing repeated root can give an odd count of distinct real roots. Geometrically these are the intersections of a vertical line of fixed horizontal slowness with the three sheets.
All four generic counts are actually possible in a stable material. For example, take and orthotropic Voigt stiffnesses
The stiffness matrix is positive definite. For horizontal slowness , the three diagonal acoustic equations are
The choices give respectively six, four, two and zero real vertical roots.
For the general depth-dependent amplitude, substitution of the horizontal harmonic factor yields
For six simple roots , choose nonzero null vectors of the corresponding matrix. The complete solution is
Complex vertical roots give evanescent waves. At defective repeated roots the usual polynomial-in-depth factors multiplying exponentials must be included, or the solution can be defined by a limiting procedure.
To classify the modes, take positive downwards and . The reduced traction for a mode is
Mechanical energy crosses a plane at rate . Averaging the real harmonic fields uses . With velocity amplitude and traction amplitude , the time-averaged vertical acoustic energy flux is
For a real propagating mode, write its physical wavevector as . Differentiate in . The derivatives of cancel by the eigenvalue equation, while . Thus its vertical group velocity and flux are
Thus the elastic mode classification by vertical energy flux is upgoing if , downgoing if . In anisotropy, the sign of vertical phase slowness alone need not classify energy propagation. For evanescent modes, select for decay into a downward half-space and for decay into an upward half-space. Away from grazing and degeneracy, continuation from zero horizontal slowness, with a small radiation damping if needed, separates three outgoing modes on each side. Superpose only the appropriate three to construct the most general upgoing or downgoing field; limiting modes handle exceptional cases.
For a free surface at with solid occupying , let be a unit-amplitude incident upgoing mode. The reflected field consists of the three downgoing propagating or depth-decaying modes:
Frequency and horizontal slowness are common to all modes, by translation invariance of the surface. Zero surface traction imposes the three equations
Hence the free-surface anisotropic reflection amplitudes are
whenever is invertible. This specifies mode conversion as well as reflection. If is singular, a nonzero outgoing homogeneous surface mode exists; these are surface-wave poles, including Rayleigh waves in the isotropic case. At such parameters one must use the appropriate limiting radiation solution and check solvability instead of assuming a unique finite inverse.
At a perfectly bonded elastic interface without an interfacial force, displacement and traction are continuous:
Tangential derivatives of the common displacement trace are also continuous. Thus the jump of a piecewise constant displacement gradient tensor annihilates every tangential vector, and has the form . Taking its symmetric part shows that the strain jump is , where
The adjoint formula follows from for symmetric stress tensors. Tangential-tangential strain components are therefore common to all layers. Conversely, such gradient jumps can be realized by continuous piecewise affine displacement in the layered geometry.
Take positive elastic stiffness tensors with their usual minor and major symmetries, and a positive comparison elastic stiffness tensor . A fictitious layer can have the same tangential displacement derivatives and the same traction as the physical layers. Hence . The common traction condition gives
where is the positive acoustic tensor, with components . Solving for gives
Expanding the two occurrences of gives exactly the symmetrization over and in the directional elastic strain Green operator specified in the paper.
For any two layers, the inverse identity for their acoustic tensors proves the required resolvent relation without interchanging noncommuting tensors:
With , this identity also gives . Therefore
These finite-dimensional operators are inverses. Define . Then , and averaging strains and stresses gives
Eliminating the fictitious strain yields
All products have the displayed order; the elastic stiffness tensors need not commute.
It remains to justify the inverse and comparison independence. Consider two compatible equilibrated layer solutions with the same mean strain. Their difference has zero common tangential-tangential strain, so , with because is injective and the mean difference is zero. Their traction difference is one common vector . Therefore
Positive elastic energy forces every to vanish. In particular, if , all physical layer strains vanish. Their common tangential components then force , and their zero traction gives . Hence , proving that is invertible. Finally, every positive choice of constructs the unique layer solution for the same . Its averaged stress is unique, so the displayed effective stiffness is independent of the fictitious comparison material. This is the exact layered constitutive response, rather than a claim that piecewise constant fields meet arbitrary finite-body boundary data.
Put , , and . Assume positive bulk modulus and shear modulus. For a unit vector , direct contraction of the isotropic elastic stiffness tensor gives the acoustic tensor and its inverse:
These are its transverse and longitudinal orthogonal projections. Symmetrizing the definition of the directional elastic strain Green operator consequently gives
Substitution into the spherical representation is already the isotropic specialization. We can also evaluate its angular integrals as distributions. For , direct integration with the polar axis parallel to gives
The first identity holds as a locally integrable distribution. Since the second derivative of is , taking two derivatives in the first identity and four in the second gives
Thus an explicit complete isotropic elastic strain Green kernel is
All derivatives here are distributional derivatives, which retain the contribution at the origin.
For the requested contraction, , or equivalently trace the complete kernel and use . Therefore
More explicitly, its distribution form is
where the Cauchy principal value uses spherical exclusions about the origin. The coefficient of the Dirac delta can be checked by integrating by parts over a punctured ball: has contact term . Taking the trace, the principal-value part has zero trace and , so
Keeping only the ordinary kernel away from the origin would incorrectly give zero for this double trace.
Now extend the elastic polarization by zero outside . Since the shear modulus is unchanged, the stiffness contrast acts only on the spherical strain:
Hence is its scalar coefficient. Relative to the same external loading, the elastic strain Green operator gives . Taking the trace and using the contact identity reduces this nonlocal equation to
Solving the scalar equation gives the constant-shear bulk-modulus inclusion formula
Using the single contraction instead of the double trace gives
Finally eliminate the actual trace using the scalar formula:
The reference trace in this last formula is essential and is what the original PDF prints; the converted TeX loses its superscript. The second derivatives are interpreted distributionally, or with their principal-value and contact terms explicitly included. With ordinary regularity they give the corresponding pointwise formula at regular interior points.
An elastic deformation is reversible: after removal of the deforming loads the material returns to its reference state, and its instantaneous stress is determined by its current deformation rather than a plastic or viscous history. In the infinitesimal approximation the displacement field gives the infinitesimal strain tensor . The Cauchy stress tensor is defined by traction on a plane of unit normal ; absence of body couples makes .
Let be the recoverable elastic energy per unit mass. The local mechanical power per unit volume is
because the symmetric Cauchy stress tensor annihilates the antisymmetric part of the velocity gradient. Conservation of energy during the deformation gives . Since for arbitrary symmetric strain rates,
Here the derivative is the gradient on the space of symmetric tensors, with the double-contraction inner product. This convention accounts for the two occurrences of each off-diagonal entry; treating six independent coordinates without their corresponding factors would give an erroneous factor of two in shear components.
Take a stress-free reference state of mass density . The Taylor series of the elastic energy starts quadratically:
Using gives , the relation of linear elasticity. If the reference state has initial stress, the first-order expansion also retains that constant stress. Symmetry of stress and strain gives the minor symmetries , while equality of the mixed second derivatives of elastic energy gives the major symmetry . Thus the elastic stiffness tensor is a symmetric map on a six-dimensional strain space: there are independent coefficients.
For twofold elastic symmetry, choose the symmetry axis as . Rotation through is , and transforms the infinitesimal strain tensor into . Components are even and are odd. Invariance of elastic energy excludes every coupling between these parity classes. In the engineering strain ordering , with corresponding stress ordering , the symmetric stiffness matrix has the form
Its symmetric even block has ten independent entries and its symmetric odd block has three. Hence a twofold axis leaves independent coefficients. No invariance under other rotation angles has been assumed.
Let be the solid exterior to the cavity, and choose outward from the solid, hence into the cavity on its boundary . Subtraction of the incident solution from the total solution gives the scattered displacement field equations
The traction-free cavity condition for the total field gives on . The scattered field has zero initial displacement and initial velocity before the pulse reaches the cavity and satisfies an outgoing radiation condition, excluding an additional incoming elastic wave. Equivalently one seeks the causal response to this prescribed boundary traction. Although the incident plane pulse extends across an infinite plane, the causal scattered field from the bounded cavity has finite propagation distance at each finite time.
To prove energy uniqueness for traction-driven elasticity, take the difference of two solutions with the same initial conditions, body force, boundary traction and outgoing condition. It satisfies
For a large enclosing ball , multiply by and integrate over . Integration by parts gives
Symmetry of stress replaces the last derivative by , and major symmetry of the elastic stiffness tensor makes that integral the derivative of the strain energy. Therefore
The cavity contribution is zero. On any fixed finite time interval choose beyond the causal support of the scattered difference; the outer contribution is then zero as well. This gives conservation of its nonnegative elastic energy. Positive mass density and positive strain energy imply that zero initial energy forces everywhere; the zero initial displacement field then gives . The same argument works for finite-energy outgoing solutions by taking the limit of enclosing surfaces and excluding incoming energy. Hence the causal scattered field is unique. Specifying the incident field and cavity traction alone without the initial and outgoing conditions would not establish uniqueness.
Use fixed spatial coordinates in a stationary heterogeneous Earth and define the operator
Here the elastic stiffness tensor has its minor and major symmetries, and the physical body force per unit volume is . The retarded elastodynamic Green tensor is the displacement in direction due to a unit physical force impulse in direction at :
It satisfies the actual Earth's homogeneous boundary conditions, including zero traction on the free surface and continuity of displacement and traction at bonded internal interfaces. Integration through gives , with . No spherical symmetry is required.
For zero initial conditions, form the convolution
Applying to this expression uses the defining Dirac delta function to give . Causality gives zero initial conditions, and each Green column supplies the required boundary conditions. The positive-energy uniqueness argument then identifies this expression with the physical response. The source factor is because is force per unit mass, whereas the Green tensor was normalized to unit force.
A force dipole is a limiting pair of opposite point forces separated by a small vector. Put at and at , and hold fixed as . Expansion of the two Dirac delta functions gives
Its resultant force is zero, and integration by parts gives its radiated displacement as . Thus the source derivative of the elastodynamic Green tensor represents a dipole with force direction and separation direction .
For the surface source choose a normal from the minus side to the plus side and define
The same normal is used in both tractions. If the elastic coefficients are continuous through the surface, the distributional gradient of a piecewise smooth displacement is . Its stress therefore has a singular part . Taking the divergence includes the regular stress jump, so a field satisfying the source-free equations on both sides has equivalent source
In particular, the signs follow from the chosen jump convention, not from an unspecified orientation. The elastodynamic surface-jump representation is consequently
with the Green tensor evaluated at . The first term is a surface distribution of forces, and the second is a surface distribution of dipoles.
One can derive the same formula without multiplying discontinuous material coefficients by a surface delta. Apply integration by parts on the two sides of to the field and the reciprocal Green field . Major symmetry cancels the volume strain terms; the spatial identity is
when the temporal terms are handled by the retarded time convolution. More explicitly, take , extend the zero-initial-data solution causally to , and integrate over all source times. Integration by parts cancels the two temporal terms, with zero endpoint terms; the causal supports subsequently reduce the representation to . The Green impulse contributes on the left. The two outward face normals are and , so their sum on the right is . Moving it to the other side gives . The same identity applied to two force Green fields with interchanged source and receiver proves the reciprocal relation ; hence the displayed surface formula follows. On a bonded material interface the Green displacement and common Green traction are continuous: is then the unambiguous version of the dipole term, evaluated with the matching one-sided coefficients. External free-surface terms vanish because both tractions vanish.
For a fault in isotropic material, the Lamé parameters give
Tangential slip obeys , and ordinary fault traction is continuous across the two faces. Therefore the source is a double-couple fault source with
For a uniform patch of area with and , its integrated seismic moment tensor is
The dipole is a force in the slip direction separated in the normal direction; the dipole is a normal force separated in the slip direction. Their equal and opposite torques cancel. The symmetric trace-free seismic moment tensor has eigenvalues , with zero resultant force and torque. A temporal stress drop on a fault is not a jump of traction between its two simultaneously matching faces; it does not add a single-force layer to this tangential-slip representation.
Let denote the signed opening, positive when the faces separate, and let be the crack surface. Its displacement jump is . The singular strain associated with this jump has moment density . For the isotropic elastic stiffness tensor, contraction gives
The equivalent distributional body force is the negative divergence of this prescribed moment density:
The resulting forced elastic wave in an isotropic solid equation is . This is a tensile-crack seismic source; it need not be represented as an ordinary smooth volume force. For a small nearly planar patch of area , uniform normal and opening , define its volume change . Its seismic moment tensor and point-source force are
The sign convention makes a positive opening a positive extensional moment. Reversing the convention for the displacement jump changes both signs together; the force is independent of reversing the orientation of the crack normal.
Take a stable isotropic elastic material with mass density and Lamé parameters , where and . Its elastic stiffness tensor is
The P wave is longitudinal and the S wave transverse. The wavefront-transport alternative and all three steps of the Love wave alternative are given below.
Use the same real elastic stiffness tensor for both fields, including its minor and major symmetries, and let , with outward unit boundary normal . No complex conjugation is needed for the initial bilinear identity. Define
The divergence has two force-balance terms and two cross-gradient terms. The latter cancel because
this follows by exchanging the two strain-gradient factors using major symmetry and the minor pair symmetries. The frequency-domain equations then give
Integrating and applying the divergence theorem proves
This is the Betti identity for elastodynamic fields. Spatially varying stiffness is allowed because its derivatives remain inside the divergence. The original PDF's constitutive contraction is ; the TeX's repeated displacement field index is erroneous.