Write , and . Use the infinitesimal strain tensor, symmetric stress, zero body force, and the outward unit normal . The divergence theorem applied separately to the two displacement derivatives givesFor static elastic equilibrium, , and therefore . With traction , the divergence theorem now givesThe right-hand side is automatically symmetric because the volume stress tensor is symmetric; it can also be written as the integral of .
To prove the work identity, put . The constant symmetric tensor is equilibrated, so integration by parts givesHere the two cross terms each equal , and the last constant term restores one of them. Division by the volume proves the required identity. In particular, affine boundary displacement makes on the boundary and yields the Hill-Mandel energy identity. The zero-body force hypothesis matters: otherwise the first integration by parts has an additional volume-force term.
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 givesThe 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 givesThe 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 conjugateUnder 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 . ConsequentlyThus the derivative of each approximate energy is its own mean stress, includingFor 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 , whereThe 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 giveswhere is the positive acoustic tensor, with components . Solving for givesExpanding 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 . ThereforeThese finite-dimensional operators are inverses. Define . Then , and averaging strains and stresses givesEliminating the fictitious strain yieldsAll 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 . ThereforePositive 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 givesSubstitution 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 givesThe 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 givesThus an explicit complete isotropic elastic strain Green kernel isAll derivatives here are distributional derivatives, which retain the contribution at the origin.
For the requested contraction, , or equivalently trace the complete kernel and use . ThereforeMore explicitly, its distribution form iswhere 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 , soKeeping 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 toSolving the scalar equation gives the constant-shear bulk-modulus inclusion formulaUsing the single contraction instead of the double trace givesFinally 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.
Write , and . At crystal orientation , the conductivity tensor is . Because the comparison tensor is scalar, its resolvent rotates in the same way:Uniform angular averaging uses and . It therefore sends any such rotated diagonal tensor to half its trace times . In particular,Dividing these scalar coefficients in the stated Hashin-Shtrikman conductivity variational principle givesThis averaging calculation uses the uniform orientation model in the question; a nonuniform distribution need not give isotropic effective conductivity.
The lower Hashin-Shtrikman conductivity bounds use a comparison no larger than every local principal conductivity, so . The upper variational bound uses . These opposite directions come from the sign of the contrast in the polarization functional: positive contrast gives a maximizing lower principle, and negative contrast a minimizing upper principle. The endpoint values are understood as limits when a contrast eigenvalue vanishes. Sincethe strongest lower and upper values in their admissible comparison ranges are, respectively,Thus in the statistically isotropic polycrystal setting of these Hashin-Shtrikman conductivity bounds.
The self-consistent conductivity approximation chooses the comparison conductivity equal to the predicted conductivity, . Multiplication by the positive denominator cancels the terms and leaves . Only the positive root is an admissible conductivity:For a direct proof of its ordering relative to the variational bounds, set . ThenBoth quantities are nonnegative, proving , with equality throughout when . The self-consistent conductivity approximation is a closure calculation; no unrequested claim of exactness for every spatial arrangement follows just from this fixed-point computation.
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 givesBoth and satisfy static elastic equilibrium with the same body force, so . On the traction-prescribed boundary their tractions agree. Since , integration by parts givesSubtracting 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 provesNo 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 isWrite 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 obtainHere 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 tensorsConsequently , , andThese 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 thereforeIn 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 givesThus stationarity is exactlyThe comparison solution has phase meanso 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 . HenceSubstitute both identities into to obtainThis 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.
Articles by others on the same topic
There are currently no matching articles.