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.