Use symmetric positive conductivity, for example with . Let have the same Dirichlet boundary data as , and write with . Symmetry gives
The middle integral vanishes by the weak field equation; equivalently integrate by parts, use on the boundary and . Hence
Therefore
Equality forces , and its zero boundary trace gives , proving uniqueness. This is the Dirichlet principle for the conductivity equation.
The positivity is essential to the physical minimum-energy interpretation; symmetry by itself would give only stationarity. For example, take , and . The field equation holds, but every nonzero smooth compactly supported has , and scaling makes the energy unbounded below. Thus if the printed word “conductivity” were not understood to include positivity, the stated minimum claim would require that additional hypothesis.
Choose the affine trial function . It has the required trace and constant gradient, so the Dirichlet principle gives
For the macroscopic isotropic effective medium, the corresponding affine-boundary energy is . Dividing by for a nonzero imposed gradient yields the Voigt bound
More generally the same calculation is the tensor inequality in the Loewner order . For a finite unresolved specimen the calculation bounds its apparent affine-boundary response; identification with the bulk effective conductivity uses the macroscopic scale separation.
Write , and let . The inverse contrast in the Hashin-Shtrikman conductivity variational principle is interpreted only in phase 1: the admissible vanishes in phase 2, where . Thus
For the nonlocal term define . The given Green representation implies
The two-point phase correlation function therefore gives
Because the unweighted double integral of is zero, subtract inside the bracket. Set ; it vanishes for , so only the microscopic near-diagonal kernel contributes. Its contact part is
At coincident points , hence . The ordinary dipole part has zero angular integral by the stipulated spherical-shell identity. Since is radial, its weighting preserves this cancellation:
Consequently, in the macroscopic bulk regime implicit in the supplied local Green approximation,
and
This is the dipole Green tensor angular cancellation: the constant background correlation disappears and the connected contact value supplies .
Insert all three averaged terms in the variational upper inequality and normalize by . For the bulk effective conductivity one obtains
The kernel in the question has an approximation sign. At fixed finite size, spheres around points near are truncated and the radial cancellation is not an exact finite-body identity. Their contribution and the regular boundary part disappear in the stated microscopic-to-macroscopic limit. The calculation derives the intended homogenized bound, rather than silently treating that Green approximation as exact for arbitrary finite .
Let . Since , , so . Also when both phases are present. Completing the square in the trial upper bound gives
Thus the tightest upper bound is obtained by minimizing at , not maximizing. It is
Pure-phase cases follow directly or by continuity. These Hashin-Shtrikman bounds for conductivity are volume-fraction bounds on the statistically isotropic homogenized material; the full variational framework is discussed in Chapter 23 of www.math.utah.edu/~milton/TheoryCompositesNOPRINT.pdf .
For the lower variational inequality choose reference conductivity and a trial polarization that vanishes in phase 1. Let solve
The Hashin-Shtrikman conductivity variational principle is
It holds for every admissible trial ; the exact principle takes the supremum of the right side. Writing the last integral only over phase 2 avoids applying an inverse to the zero contrast in the reference phase.
With , the isotropic phase trial gives the lower expression
Here the quadratic is concave, so maximize it at . The lower member of the Hashin-Shtrikman conductivity bounds is
Together with part (iii), this gives the required upper and lower interval. All denominators are positive for positive phase conductivities.

Articles by others on the same topic (0)

There are currently no matching articles.