Interpret derivatives on the space of symmetric strains, with inner product . Assume a differentiable strain energy density with local stress , and a differentiable stable equilibrium branch under the prescribed affine boundary displacement. Thus with on ; part(a) ensures that the mean strain is exactly .
Vary in any symmetric direction . The induced displacement variation has the form , where vanishes on the boundary. Differentiating the effective elastic energy and using static elastic equilibrium gives
The last term is zero by integration by parts, since the body force is zero and has zero boundary trace. As is arbitrary,
This is a work-conjugacy statement on symmetric tensors; treating off-diagonal entries as independent scalar coordinates without their contraction weights would introduce erroneous factors of two. If the minimized effective elastic energy has a nondifferentiable point, the corresponding formulation uses a subgradient rather than a claimed classical derivative.
In the Voigt elastic approximation, every local strain is . The corresponding local stress is . Differentiating the averaged strain energy density under the integral gives
The uniform strain need not generate an equilibrated local stress; this calculation concerns the stated approximation, not an assertion that it solves the heterogeneous boundary problem.
For the Reuss elastic approximation, use the convex conjugate
Under differentiable strictly convex duality, the local strain produced by uniform stress is . Set . Averaging the local strains gives . At the maximizing stress in , the stationarity condition is precisely . Consequently
Thus the derivative of each approximate energy is its own mean stress, including
For positive linear elasticity, and , giving the useful check and . More general convex duality gives the same conjugacy relation with subgradients when differentiability or strict convexity is absent.
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.
Let be the actual displacement field, let be an admissible trial displacement, and set . On the displacement-prescribed part of the boundary, . With actual stress , the supporting-plane inequality for the convex strain energy density gives
Both and satisfy static elastic equilibrium with the same body force, so . On the traction-prescribed boundary their tractions agree. Since , integration by parts gives
Subtracting the prescribed external-work representative proves the minimum potential energy principle in elasticity:
Strict convexity gives uniqueness of the minimizing strain, although rigid displacements can remain when the boundary conditions allow them.
For the comparison bound, put and use the lower conjugate, with its infimum sign convention,
Its defining inequality is , hence for every . Integrate this pointwise majorant for each compatible strain, then take the infimum over the same admissible set. This proves
No convexity of is used for this inequality. If , it yields only the extended-real upper bound . For example, and give for every finite . A useful finite bound requires a suitable comparison energy; choosing a sufficiently stiff quadratic comparison makes the usual excess energies concave. The derivative used below additionally presupposes finite differentiable duals, or an appropriate supergradient formulation.
Now normalize , take positive constant , and write . For phasewise constant elastic polarization , its lower conjugate contribution is constant within each phase. The remaining minimization is
Write the minimizing strain as , where comes from a zero-boundary displacement field. The static elastic equilibrium equation is , so the supplied elastic strain Green operator gives . Its zero mean removes the cross term with the constant . Using its reciprocity and projection property , we obtain
Here the brackets in the last two terms denote the spatial integral and tensor contraction, not just a phase average.
Let . The zero output mean and reciprocity of imply that it annihilates constant elastic polarizations on either side. Thus subtracting and from the phase indicators does not change their bilinear integral. Define the fourth-order block tensors
Consequently , , and
These identities follow from reciprocity and ; no phase independence assumption is needed. The phase polarization comparison bound, valid for every polarization with finite dual terms, is therefore
In particular, it can be optimized over the phase elastic polarizations without changing the upper-bound direction.
To derive the final displayed form, impose the stationarity equations in the question. For , put ; these are dual strains, initially distinct from the comparison solution's phase averages. Reciprocity of gives
Thus stationarity is exactly
The comparison solution has phase mean
so the dual strains become its phase means at stationarity. Multiplying the stationarity equations by and summing gives .
For clarity, the concave biconjugate here uses another infimum: . The lower conjugate is concave, since it is an infimum of affine functions. At a differentiable finite point, its supporting-plane inequality shows that minimizes this last expression when . Hence
Substitute both identities into to obtain
This is the requested final bound with the accompanying phase equations. It remains valid at any well-defined stationary choice; asserting existence of such a differentiable choice for arbitrary would require extra hypotheses. Without stationarity, the earlier is the correct general bound. In the concave closed excess-energy case ; for general excess energies replacing the concave biconjugate by without proof would reverse the needed majorant logic.
A simple fluid reduces to a linear viscoelastic fluid when its deformation and rotation over the relevant memory interval are small enough to linearize the constitutive history about an isotropic relaxed state. Small amplitude is essential; small frequency is not. For example, arbitrarily high-frequency oscillation can still be linear if its strain amplitude is sufficiently small. The relaxation modulus is the shear-stress response to a unit small step of shear strain.
Choose the harmonic convention . If the imposed shear rate is , the corresponding shear stress is . Substitution into the constitutive convolution gives the complex viscosity:
For a nondecaying elastic part this formula is understood through the limit from a positive Laplace damping parameter. The complex shear modulus is , so is the storage modulus, the loss modulus, and in this convention.
Creep is the progressive deformation produced by a held stress. For a small step of shear stress, define the creep compliance by from a relaxed state. Writing hats for Laplace transforms, the same constitutive law gives . Since , this yields
Here is the Heaviside step function. Inversion determines the full creep response, including any instantaneous elastic strain jump. Equivalently, the causal relaxation/creep convolution includes that jump through for .
For the Maxwell fluid, . Thus the two material responses are
The creep response is an elastic jump followed by constant-rate viscous deformation. The zero-frequency shear viscosity is .
For the wall problem, take and denote the shear component of stress by . The incompressibility constraint is satisfied, and the advective part of the material derivative vanishes because no field depends on . With no imposed longitudinal pressure gradient, momentum conservation and the linear Maxwell law give
The initial conditions are in ; the no-slip boundary condition is , with decay as . Transforming these equations gives
Choose the analytic square-root branch in with , so that the spatially increasing solution is excluded. The Maxwell start-up shear layer consequently has
The Bromwich inversion formula now gives
The vertical Bromwich contour is directed upward and lies to the right of all singularities, including the origin and the branch points at and . A cut joining these branch points is a possible continuation into the left half-plane; inversion only requires the stated right-half-plane branch.
The Newtonian limit holds fixed while , so . Then . With , the inverse Laplace transform gives the complementary error function profile
This is diffusive momentum penetration in a Newtonian fluid, with thickness of order .
The elastic limit instead holds fixed while . Write . On the chosen branch, , so the Laplace transform time-shift rule yields
An elastic shear front travels at speed : the material ahead is at rest, while that behind moves at the wall speed. Indeed the limiting displacement is , whose shear strain is . A nonzero pointwise velocity gradient at the front is interpreted distributionally, or by smoothing the ideal wall start.
The use of linear viscoelasticity is conditional, rather than automatically justified for arbitrary . The material derivative simplifying to a time derivative does not remove the nonlinear constitutive effects of finite shear strain. In this Maxwell problem the rapid elastic response supplies the natural strain scale , which must be small for linearization through start-up. Away from the front, the strain accumulated over an effective memory interval must likewise be small. In the late diffusive regime its characteristic size is , which decreases with time. Large absolute wall displacement alone is not a disqualification for a fluid with finite memory; it is relative deformation during that memory that matters. In the elastic limit, where memory does not decay, the explicit strain behind the front confirms the condition . Without such a small-strain restriction, the computed field is a formal linear response and need not describe an arbitrary simple fluid.