## Abstract

This tutorial is devoted to the Maxwell Garnett approximation and related theories. Topics covered in this first, introductory part of the tutorial include the Lorentz local field correction, the Clausius–Mossotti relation and its role in the modern numerical technique known as the discrete dipole approximation, the Maxwell Garnett mixing formula for isotropic and anisotropic media, multicomponent mixtures and the Bruggeman equation, the concept of smooth field, and Wiener and Bergman–Milton bounds.

© 2016 Optical Society of America

## 1. INTRODUCTION

In 1904, Maxwell Garnett developed a simple but immensely successful *homogenization theory* [1,2]. As any such theory, it aims to approximate a complex electromagnetic medium such as a colloidal solution of gold microparticles in water with a homogeneous *effective medium*. The Maxwell Garnett *mixing formula* gives the permittivity of this effective medium (or, simply, the effective permittivity) in terms of the permittivities and volume fractions of the individual constituents of the complex medium.

A closely related development is the Lorentz molecular theory of polarization. This theory considers a seemingly different physical system: a collection of point-like polarizable atoms or molecules in vacuum. The goal is, however, the same: compute the macroscopic dielectric permittivity of the medium made up by this collection of molecules. A key theoretical ingredient of the Lorentz theory is the so-called local field correction, and this ingredient is also used in the Maxwell Garnett theory.

The two theories mentioned above seem to start from very different first principles. The Maxwell Garnett theory starts from the macroscopic Maxwell’s equations, which are assumed to be valid on a fine scale inside the composite. The Lorentz theory does not assume that the macroscopic Maxwell’s equations are valid locally. The molecules cannot be characterized by macroscopic quantities such as permittivity, contrary to small inclusions in a composite. However, the Lorentz theory is still macroscopic in nature. It simply replaces the description of inclusions in terms of the internal field and polarization by a cumulative characteristic called the polarizability. Within the approximations used by both theories, the two approaches are mathematically equivalent.

An important point is that we should not confuse the theories of *homogenization* that operate with purely classical and macroscopic quantities with the theories that derive the macroscopic Maxwell’s equations (and the relevant constitutive parameters) from microscopic first principles, which are in this case the microscopic Maxwell’s equations and the quantum-mechanical laws of motion. Both the Maxwell Garnett and Lorentz theories are of the first kind. An example of the second kind is the modern theory of polarization [3,4], which computes the induced microscopic currents in a condensed medium (this quantity turns out to be fundamental) by using the density-functional theory (DFT).

This tutorial will consist of two parts. In the first, introductory part, we will discuss the Maxwell Garnett and Lorentz theories and the closely related Clausius–Mossotti relation from the same simple theoretical viewpoint. We will not attempt to give an accurate historical overview or to compile an exhaustive list of references. It would also be rather pointless to write down the widely known formulas and make several plots for model systems. Rather, we will discuss the fundamental underpinnings of these theories. In the second part, we will discuss several advanced topics that are rarely covered in the textbooks. We will then sketch a method for obtaining more general homogenization theories in which the Maxwell Garnett mixing formula serves as the zeroth-order approximation.

Over the past hundred years or so, the Maxwell Garnett approximation and its generalizations have been derived by many authors using different methods. It is unrealistic to cover all these approaches and theories in this tutorial. Therefore, we will make an unfortunate compromise and not discuss some important topics. One notable omission is that we will not discuss random media [5–7] in any detail, although the first part of the tutorial will apply equally to both random and deterministic (periodic) media. Another interesting development that we will not discuss is the so-called extended Maxwell Garnett theories [8–10] in which the inclusions are allowed to have both electric and magnetic dipole moments.

A Gaussian system of units will be used throughout the tutorial.

## 2. LORENTZ LOCAL FIELD CORRECTION, CLAUSIUS–MOSSOTTI RELATION, AND MAXWELL GARNETT MIXING FORMULA

The Maxwell Garnett mixing formula can be derived by different methods, some being more formal than others. We will start by introducing the Lorentz local field correction and deriving the Clausius–Mossotti relation. The Maxwell Garnett mixing formula will follow from these results quite naturally. We emphasize, however, that this is not how the theory has progressed historically.

#### A. Average Field of a Dipole

The key mathematical observation that we will need is this: The integral over any finite sphere of the electric field created by a static point dipole $\mathbf{d}$ located at the sphere’s center is not zero but equal to $-(4\pi /3)\mathbf{d}$.

The above statement may appear counterintuitive to anyone who has seen the formula for the electric field of a dipole,

The additional delta term in Eq. (2) can be understood from many different points of view. Three explanations of varying degree of mathematical rigor are given below.

- (i) A qualitative physical explanation can be obtained if we consider two point charges $q/\beta $ and $-q/\beta $ separated by distance $\beta h$, where $\beta $ is a dimensionless parameter. This setup is illustrated in Fig. 1. Now let $\beta $ tend to zero. The dipole moment of the system is independent of $\beta $ and has the magnitude $d=qh$. The field created by these two charges at distances $r\gg \beta h$ is indeed given by Eq. (1), where the direction of the dipole is along the axis connecting the two charges. But this expression does not describe the field in the gap. It is easy to see that this field scales as $-q/({\beta}^{3}{h}^{2})$, while the volume of the region where this very strong field is supported scales as ${\beta}^{3}{h}^{3}$. The spatial integral of the electric field is proportional to the product of these two factors, $-qh=-d$. Then $4\pi /3$ is just a numerical factor.
- (ii) A more rigorous albeit not a very general proof can be obtained by considering a dielectric sphere of radius $a$ and permittivity $\u03f5$ in a constant external electric field ${\mathbf{E}}_{\mathrm{ext}}$. It is known that the sphere will acquire a dipole moment $\mathbf{d}=\alpha {\mathbf{E}}_{\mathrm{ext}}$ where the static polarizability $\alpha $ is given by the formula This result can be obtained by solving the Laplace equation with the appropriate boundary conditions at the sphere surface and at infinity. From this solution, we can find that the electric field outside of the sphere is given by Eq. (1) (plus the external field, of course), while the field inside is constant and given by$${\mathbf{E}}_{\mathrm{int}}=\frac{3}{\u03f5+2}{\mathbf{E}}_{\mathrm{ext}}\text{\hspace{0.17em}}.$$The depolarizing field ${\mathbf{E}}_{\mathrm{dep}}$ is by definition the difference between the internal field (the total field existing inside the sphere) and the external (applied) field. By the superposition principle, ${\mathbf{E}}_{\mathrm{int}}={\mathbf{E}}_{\mathrm{ext}}+{\mathbf{E}}_{\mathrm{dep}}$. Thus, ${\mathbf{E}}_{\mathrm{dep}}$ is the field created by the charge induced on the sphere surface. By using Eq. (4), we find that$$-{\mathbf{E}}_{\mathrm{dep}}=\frac{\u03f5-1}{\u03f5+2}{\mathbf{E}}_{\mathrm{ext}}=\frac{1}{{a}^{3}}\mathbf{d}\text{\hspace{0.17em}}.$$Integrating over the volume of the sphere, we obtain$${\int}_{r<a}{\mathbf{E}}_{\mathrm{dep}}{\mathrm{d}}^{3}r=-\frac{4\pi}{3}\mathbf{d}\text{\hspace{0.17em}}.$$We can write more generally for any $R\ge a$,$${\int}_{r<R}(\mathbf{E}-{\mathbf{E}}_{\mathrm{ext}}){\mathrm{d}}^{3}r={\int}_{r<R}{\mathbf{E}}_{\mathbf{d}}{\mathrm{d}}^{3}r=-\frac{4\pi}{3}\mathbf{d}\text{\hspace{0.17em}}.$$The expression in the right-hand side of Eq. (7) is the prefactor in front of the delta function in Eq. (2).
- (iii) The most general derivation of the singular term in Eq. (2) can be obtained by computing the static Green’s tensor for the electric field [12],$$G(\mathbf{r},{\mathbf{r}}^{\prime})=-{\nabla}_{\mathbf{r}}\otimes {\nabla}_{{\mathbf{r}}^{\prime}}\frac{1}{|\mathbf{r}-{\mathbf{r}}^{\prime}|}\text{\hspace{0.17em}}.$$Here the symbol $\otimes $ denotes the tensor product. For example, $(\mathbf{a}\otimes \mathbf{b})\mathbf{c}=\mathbf{a}(\mathbf{b}\xb7\mathbf{c})$, ${(\mathbf{a}\otimes \mathbf{b})}_{\alpha \beta}={a}_{\alpha}{b}_{\beta}$, etc. The singularity originates from the double differentiation of the nonanalytical term $|\mathbf{r}-{\mathbf{r}}^{\prime}|$. This can be easily understood if we recall that, in one dimension, $\frac{{\partial}^{2}|x-{x}^{\prime}|}{\partial x\partial {x}^{\prime}}=\delta (x-{x}^{\prime})$. Evaluation of the right-hand side of Eq. (8) is straightforward but lengthy, and we leave it for an exercise. If we perform the differentiation accurately and then set ${\mathbf{r}}^{\prime}=0$, we will find that $G(\mathbf{r},0)\mathbf{d}$ is identical to the right-hand side of Eq. (2).

Now, the key approximation of the Lorentz molecular theory of polarization, as well as that of the Maxwell Garnett theory of composites, is that the regular part in the right-hand side of Eq. (2) averages to zero and, therefore, it can be ignored, whereas the singular part does not average to zero and should be retained. We will now proceed with applying this idea to a physical problem.

#### B. Lorentz Local Field Correction

Consider some spatial region $\mathbb{V}$ of volume $V$ containing $N\gg 1$ small particles of polarizability $\alpha $ each. We can refer to the particles as “molecules.” The only important physical property of a molecule is that it has a linear polarizability. The specific volume per one molecule is $v=V/N$. We will further assume that $\mathbb{V}$ is connected and sufficiently “simple.” For example, we can consider a plane-parallel layer or a sphere. In these two cases, the macroscopic electric field inside the medium is constant, which is important for the arguments presented below. The system under consideration is schematically illustrated in Fig. 2.

Let us now place the whole system in a constant external electric field ${\mathbf{E}}_{\mathrm{ext}}$. We will neglect the electromagnetic interaction of all the dipoles since we have decided to neglect the regular part of the dipole field in Eq. (2). Again, the assumption that we use is that this field is unimportant because it averages to zero when summed over all dipoles. In this case, each dipole “feels” the external field ${\mathbf{E}}_{\mathrm{ext}}$, and therefore it acquires the dipole moment $\mathbf{d}=\alpha {\mathbf{E}}_{\mathrm{ext}}$. The total dipole moment of the object is

We now compute the averages in Eq. (11) as follows:

All that is left to do now is substitute Eq. (13) into Eq. (10) and use the condition that Eqs. (9) and (10) must yield the same total dipole moment of the sample. Equating the right-hand sides of these two equations and dividing by the total volume $V$ results in the equation

We now solve this equation for $\u03f5$ and obtainIf we did not know about the local field correction, we could have written naively $\u03f5=1+4\pi (\alpha /v)$. Of course, in dilute gases, the denominator in Eq. (15) is not much different from unity. To first order in $\alpha /v$, the above (incorrect) formula and Eq. (15) are identical. The differences show up only to second order in $\alpha /v$. The significance of higher-order terms in the expansion of $\u03f5$ in powers of $\alpha /v$ and the applicability range of the Lorentz formula can be evaluated only by constructing a more rigorous theory from which Eq. (15) is obtained as a limit. Here we can mention that, in the case of dilute gases, the local field correction plays a more important role in nonlinear optics, where field fluctuations can be enhanced by the nonlinearities. Also, in some applications of the theory involving linear optics of condensed matter (with $\u03f5$ substantially different from unity), the exact form of the denominator in Eq. (15) turns out to be important. An example will be given in Section 2.C below.

It is interesting to note that we have derived the local field correction without the usual trick of defining the Lorentz sphere and assuming that the medium outside of this sphere is truly continuous, etc. The approaches are, however, mathematically equivalent if we get to the bottom of what is going on in the Lorentz molecular theory of polarization. The derivation shown above illustrates one important but frequently overlooked fact, namely, that the mathematical nature of the approximation made by the Lorentz theory is very simple: it is to disregard the regular part of the expression (2). One can state the approximation mathematically by writing ${\mathbf{E}}_{\mathbf{d}}(\mathbf{r})=-(4\pi /3)\delta (\mathbf{r})\mathbf{d}$ instead of Eq. (2). No other approximation or assumption is needed.

#### C. Clausius–Mossotti Relation

Instead of expressing $\u03f5$ in terms of $\alpha /v$, we can express $\alpha /v$ in terms of $\u03f5$. Physically, the question that one might ask is this. Let us assume that we know $\u03f5$ of some medium (say, it was measured) and know that it is describable by the Lorentz formula. Then what is the value of $\alpha /\mathrm{v}$ for the molecules that make up this medium? The answer can be easily found from Eq. (14), and it reads

This equation is known as the Clausius–Mossotti relation.It may seem that Eq. (16) does not contain any new information compared to Eq. (15). Mathematically this is indeed so because one equation follows from the other. However, in 1973, Purcell and Pennypacker proposed a numerical method for solving boundary-value electromagnetic problems for macroscopic particles of arbitrary shape [13] that is based on a somewhat nontrivial application of the Clausius–Mossotti relation.

The main idea of this method is as follows. We know that Eq. (16) is an approximation. However, we expect Eq. (16) to become accurate in the limit $a/h\to 0$, where $h={v}^{1/3}$ is the characteristic interparticle distance and $a$ is the characteristic size of the particles. Physically, this limit is not interesting because it leads to the trivial results $\alpha /v\to 0$ and $\u03f5\to 1$. But this is true for *physical* particles. What if we consider *hypothetical* point-like particles and assign to them the polarizability that follows from Eq. (16) with some experimental value of $\u03f5$? It turns out that an array of such hypothetical point dipoles arranged on a cubic lattice and constrained to the overall shape of the sample mimics the electromagnetic response of the latter with arbitrarily good precision as long as the macroscopic field in the sample does not vary significantly on the scale of $h$ (so $h$ should be sufficiently small). We, therefore, can replace the actual sample by an array of $N$ point dipoles. The electromagnetic problem is then reduced to solving $N$ linear *coupled-dipole equations*, and the corresponding method is known as the discrete dipole approximation (DDA) [14].

One important feature of DDA is that, for the purpose of solving the coupled-dipole equations, one should not disregard the regular part of Eq. (2). This is in spite of the fact that we have used this assumption to arrive at Eq. (16) in the first place. This might seem confusing, but there is really no contradiction because DDA can be derived from more general considerations than what was used above. Originally, it was derived by discretizing the macroscopic Maxwell’s equations written in the integral form [13]. The reason why the regular part of Eq. (2) must be retained in the coupled-dipole equations is because we are interested in samples of arbitrary shape, and the regular part of Eq. (2) does not really average out to zero in this case. Moreover, we can apply DDA beyond the static limit, where no such cancellation takes place in principle. Of course, the expression for the dipole field [Eq. (2)] and the Clausius–Mossotti relation [Eq. (16)] must be modified beyond the static limit to take into account the effects of retardation, the radiative correction to the polarizability, and other corrections associated with the finite frequency [15]—otherwise, the method will violate energy conservation and can produce other abnormalities.

We note, however, that if we attempt to apply DDA to the static problem of a dielectric sphere in a constant external field, we will obtain the correct result from DDA either with or without account for the point–dipole interaction. In other words, if we represent a dielectric sphere of radius $R$ and permittivity $\u03f5$ by a large number $N$ of point dipoles uniformly distributed inside the sphere and characterized by the polarizability given in Eq. (16), subject all these dipoles to an external field, and solve the arising coupled-dipole equations, we will recover the correct result for the total dipole moment of the large sphere. We can obtain this result without accounting for the interaction of the point dipoles. This can be shown by observing that the polarizability of the large sphere, ${\alpha}_{\mathrm{tot}}$, is equal to $N\alpha $, where $\alpha $ is given by Eq. (16). Alternatively, we can solve the coupled-dipole equations with the full account of dipole–dipole interaction on a supercomputer and—quite amazingly—we will obtain the same result. This is so because the regular parts of the dipole fields, indeed, cancel out in this particular geometry (as long as $N\to \infty $, of course). This simple observation underscores the very deep theoretical insight of the Lorentz and Maxwell Garnett theories.

We also note that, in the context of DDA, the Lorentz local field correction is really important. Previously, we have remarked that this correction is not very important for dilute gases. But if we started from the “naive” formula $\u03f5=1+4\pi (\alpha /v)$, we would have gotten the incorrect “Clausius–Mossotti” relation of the form $\alpha /v=(\u03f5-1)/4\pi $ and, with this definition of $\alpha /v$, DDA would definitely not work even in the simplest geometries.

To conclude the discussion of DDA, we would like to emphasize one important but frequently overlooked fact. Namely, the point dipoles used in DDA do not correspond to any physical particles. Their normalized polarizabilities $\alpha /v$ are computed from the actual $\u03f5$ of material, which can be significantly different from unity. Yet the size of these dipoles is assumed to be vanishingly small. In this respect, DDA is very different from the Foldy–Lax approximation [16,17], which is known in the physics literature as, simply, the *dipole approximation* (DA) and which describes the electromagnetic interaction of sufficiently small *physical* particles via the dipole radiation fields. The coupled-dipole equations are, however, formally the same in both DA and DDA.

The Clausius–Mossotti relation and the associated coupled-dipole equation (this time, applied to physical molecules) have also been used to study the fascinating phenomenon of ferroelectricity (spontaneous polarization) of nanocrystals [18], the surface effects in organic molecular films [19], and many other phenomena wherein the dipole interaction of molecules or particles captures the essential physics.

#### D. Maxwell Garnett Mixing Formula

We are now ready to derive the Maxwell Garnett mixing formula. We will start with the simple case of small spherical particles in vacuum. This case is conceptually very close to the Lorentz molecular theory of polarization. Of course, the latter operates with “molecules,” but the only important physical characteristic of a molecule is its polarizability, $\alpha $. A small inclusion in a composite can also be characterized by its polarizability. Therefore, the two models are almost identical.

Consider spherical particles of radius $a$ and permittivity $\u03f5$ that are distributed in vacuum either on a lattice or randomly but uniformly on average. The specific volume per one particle is $v$, and the volume fraction of inclusions is $f=(4\pi /3)({a}^{3}/v)$. The effective permittivity of such a medium can be computed by applying Eq. (15) directly. The only thing that we will do is substitute the appropriate expression for $\alpha $, which in the case considered is given by Eq. (3). We then have

Next, we remove the assumption that the background medium is vacuum, which is not realistic for composites. Let the host medium have the permittivity ${\u03f5}_{h}$ and the inclusions have the permittivity ${\u03f5}_{i}$. The volume fraction of inclusions is still equal to $f$. We can obtain the required generalization by making the substitutions ${\u03f5}_{\mathrm{MG}}\to {\u03f5}_{\mathrm{MG}}/{\u03f5}_{h}$ and $\u03f5\to {\u03f5}_{i}/{\u03f5}_{h}$, which yields

We first note that the expression (2) for a dipole embedded in an infinite host medium [20] should be modified as

*secondary source*of the scattered field. To see that this is the case, we can start from the equation $\nabla \xb7\u03f5(\mathbf{r})\mathbf{E}(\mathbf{r})=0$ and write

Finally, we make one conceptually important step, which will allow us to apply the Maxwell Garnett mixing formula to a much wider class of composites. Equation (18) was derived under the assumption that the inclusions are spherical. But Eq. (18) does not contain any information about the inclusions shape. It only contains the permittivities of the host and the inclusions and the volume fraction of the latter. We therefore make the conjecture that Eq. (18) is a valid approximation for inclusions of any shape as long as the medium is spatially uniform and isotropic on average. Making this conjecture now requires some leap of faith, but a more solid justification will be given in the second part of this tutorial.

## 3. MULTICOMPONENT MIXTURES AND THE BRUGGEMAN MIXING FORMULA

Equation (18) can be rewritten in the following form:

We now notice that the parameters of the inclusions (${\u03f5}_{n}$ and ${f}_{n}$) enter Eq. (26) symmetrically, but the parameters of the host, ${\u03f5}_{h}$ and ${f}_{h}=1-\sum _{n}{f}_{n}$, do not. That is, Eq. (26) is invariant under the permutation

But there is no reason to apply different rules to different medium components unless we know something about their shape or if the volume fraction of the “host” is much larger than that of the “inclusions.” At this point, we do not assume anything about the geometry of inclusions apart from isotropy (see the last paragraph of Section 2.D). Moreover, even if we knew the exact geometry of the composite, we would not know how to use it—the Maxwell Garnett mixing formula does not provide any adjustable parameters to account for changes in geometry that keep the volume fractions fixed. Therefore, the only reason we can distinguish the “host” and the “inclusions” is because the volume fraction of the former is much larger than that of the latter. As a result, the Maxwell Garnett theory is obviously inapplicable when the volume fractions of all components are comparable.

In contrast, the Bruggeman mixing formula [21,22], which we will now derive, is symmetric with respect to all medium components and does not treat any one of them differently. Therefore, it can be applied, at least formally, to composites with arbitrary volume fractions without causing obvious contradictions. This does not mean that the Bruggeman mixing formula is always “correct.” However, one can hope that it can yield meaningful corrections to Eq. (26) under the conditions when the volume fraction of inclusions is not very small. We will now sketch the main logical steps leading to the derivation of the Bruggeman mixing formula, although these arguments involve a lot of hand-waving.

First, let us formally apply the mixing formula (26) to the following physical situation. Let the medium be composed of $N$ kinds of inclusions with the permittivities ${\u03f5}_{n}$ and volume fractions ${f}_{n}$ such that $\sum _{n}{f}_{n}=1$. In this case, the volume fraction of the host is zero. One can say that the host is not physically present. However, its permittivity still enters Eq. (26).

We know already that Eq. (26) is inapplicable to this physical situation, but we can look at the problem at hand from a slightly different angle. Assume that we have a composite consisting of $N$ components occupying a large spatial region $\mathbb{V}$ such as the sphere shown in Fig. 2, and, on top of that, let $\mathbb{V}$ be embedded in an infinite host medium [20] of permittivity ${\u03f5}_{h}$. Then we can apply the Maxwell Garnett mixing formula to the composite inside $\mathbb{V}$ even though we have doubts regarding the validity of this operation. Still, the effective permittivity of the composite inside $\mathbb{V}$ cannot possibly depend on ${\u03f5}_{h}$ since this composite simply does not contain any host material. How can these statements be reconciled?

Bruggeman’s solution to this dilemma is the following. Let us formally apply Eq. (26) to the physical situation described above and find the value of ${\u03f5}_{h}$ for which ${\u03f5}_{\mathrm{MG}}$ would be equal to ${\u03f5}_{h}$. The particular value of ${\u03f5}_{h}$ determined in this manner is the Bruggeman effective permittivity, which we denote by ${\u03f5}_{\mathrm{BG}}$. It is easy to see that ${\u03f5}_{\mathrm{BG}}$ satisfies the equation

Physically, the Bruggeman equation can be understood as follows. We take the spatial region $\mathbb{V}$ filled with the composite consisting of all $N$ components and place it in a homogeneous infinite medium with the permittivity ${\u03f5}_{h}$. The Bruggeman effective permittivity ${\u03f5}_{\mathrm{BG}}$ is the special value of ${\u03f5}_{h}$ for which the dipole moment of $\mathbb{V}$ is zero. We note that the dipole moment of $\mathbb{V}$ is computed approximately, using the assumption of noninteracting “elementary dipoles” inside $\mathbb{V}$. Also, the dipole moment is defined with respect to the homogeneous background, i.e., ${\mathbf{d}}_{\mathrm{tot}}={\int}_{\mathbb{V}}[(\u03f5(\mathbf{r})-{\u03f5}_{h})/4\pi ]\mathbf{E}(\mathbf{r}){\mathrm{d}}^{3}r$ [see the discussion after Eq. (20)]. Thus, Eq. (29) can be understood as the condition that $\mathbb{V}$ blends with the background and does not cause a macroscopic perturbation of a constant applied field.

We now discuss briefly the mathematical properties of the Bruggeman equation. Multiplying Eq. (29) by ${\mathrm{\Pi}}_{n=1}^{N}({\u03f5}_{n}+2{\u03f5}_{\mathrm{BG}})$, we obtain a polynomial equation of order $N$ with respect to ${\u03f5}_{\mathrm{BG}}$. The polynomial has $N$ (possibly, degenerate) roots. But for each set of parameters, only one of these roots is the physical solution; the rest are spurious. If the roots are known analytically, one can find the physical solution by applying the condition ${{\u03f5}_{\mathrm{BG}}|}_{{f}_{n}=1}={\u03f5}_{n}$ and also by requiring that ${\u03f5}_{\mathrm{BG}}$ be a continuous and smooth function of ${f}_{1},\dots ,{f}_{N}$ [23]. However, if $N$ is sufficiently large, the roots are not known analytically. In this case, the problem of sorting the solutions can be solved numerically by considering the so-called Wiener bounds [24] (defined in Section 6 below).

Consider the exactly solvable case of a two-component mixture. The two solutions are in this case

If we take ${\u03f5}_{1}={\u03f5}_{h}$, ${\u03f5}_{2}={\u03f5}_{i}$, ${f}_{2}=f$, then the Bruggeman and the Maxwell Garnett mixing formulas coincide to first order in $f$, but the second-order terms are different. The expansions near $f=0$ are of the form

We finally note that one of the presumed advantages of the Bruggeman mixing formula is that it is symmetric. However, there is no physical requirement that the exact effective permittivity of a composite has this property. Imagine a composite consisting of spherical inclusions of permittivity ${\u03f5}_{1}$ in a homogeneous host of permittivity ${\u03f5}_{2}$. Let the spheres be arranged on a cubic lattice and have the radius adjusted so that the volume fraction of the inclusions is exactly $1/2$. The spheres would be almost but not quite touching. It is clear that, if we interchange the permittivities of the components but keep the geometry unchanged, the effective permittivity of the composite will change. For example, if spheres are conducting and the host dielectric, then the composite is not conducting as a whole. If we now make the host conducting and the spheres dielectric, then the composite would become conducting. However, the Bruggeman mixing formula predicts the same effective permittivity in both cases. This example shows that the symmetry requirement is not fundamental since it disregards the geometry of the composite. Because of this reason, the Bruggeman mixing formula should be applied with care and, in fact, it can fail quite dramatically.

## 4. ANISOTROPIC COMPOSITES

So far, we have considered only isotropic composites. By isotropy we mean here that all directions in space are equivalent. But what if this is not so? The Maxwell Garnett mixing formula given by Eq. (18) cannot account for anisotropy. To derive a generalization of Eq. (18) that can, we will consider inclusions in the form of uniformly distributed and similarly oriented ellipsoids.

Consider first an assembly of $N\gg 1$ small noninteracting spherical inclusions of the permittivity ${\u03f5}_{i}$ that fill uniformly a large spherical region of radius $R$. Everything is embedded in a host medium of permittivity ${\u03f5}_{h}$. The polarizability $\alpha $ of each inclusion is given by Eq. (21a). The total polarizability of these particles is ${\alpha}_{\mathrm{tot}}=N\alpha $ (since the particles are assumed to be not interacting). We now assign the effective permittivity ${\u03f5}_{\mathrm{MG}}$ to the large sphere and require that the latter has the same polarizability ${\alpha}_{\mathrm{tot}}$ as the collection of small inclusions. This condition results in Eq. (25), which is mathematically equivalent to Eq. (18). So the procedure just described is one of the many ways (and, perhaps, the simplest) to derive the isotropic Maxwell Garnett mixing formula.

Now let all inclusions be identical and similarly oriented ellipsoids with semi-axes ${a}_{x},{a}_{y},{a}_{z}$ that are parallel to the $X$, $Y$, and $Z$ axes of a Cartesian frame. It can be found by solving the Laplace equation [25] that the static polarizability of an ellipsoidal inclusion is a tensor $\widehat{\alpha}$ whose principal values ${\alpha}_{p}$ are given by

Let the ellipsoidal inclusions fill uniformly a large ellipsoid of a similar shape, that is, with the semi-axes ${R}_{x},{R}_{y},{R}_{z}$ such that ${a}_{p}/{a}_{{p}^{\prime}}={R}_{p}/{R}_{{p}^{\prime}}$ and ${R}_{p}\gg {a}_{p}$. As was done above, we assign the large ellipsoid an effective permittivity ${\widehat{\u03f5}}_{\mathrm{MG}}$ and require that its polarizability ${\widehat{\alpha}}_{\mathrm{tot}}$ be equal to $N\widehat{\alpha}$, where $\widehat{\alpha}$ is given by Eq. (32). Of course, different directions in space in the composite are no longer equivalent and we expect ${\widehat{\u03f5}}_{\mathrm{MG}}$ to be tensorial; this is why we have used the overhead hat symbol in this notation. The mathematical consideration is, however, rather simple because, as follows from the symmetry, ${\widehat{\u03f5}}_{\mathrm{MG}}$ is diagonal in the reference frame considered. We denote the principal values (diagonal elements) of ${\widehat{\u03f5}}_{\mathrm{MG}}$ by ${({\u03f5}_{\mathrm{MG}})}_{p}$. Note that all tensors $\widehat{\alpha}$, ${\widehat{\alpha}}_{\mathrm{tot}}$, ${\widehat{\u03f5}}_{\mathrm{MG}}$, and $\widehat{\nu}$ (the depolarization tensor) are diagonal in the same axes and, therefore, commute.

The principal values of ${\widehat{\alpha}}_{\mathrm{tot}}$ are given by an expression that is very similar to Eq. (32), except that ${a}_{p}$ must be substituted by ${R}_{p}$ and ${\u03f5}_{i}$ must be substituted by ${({\widehat{\u03f5}}_{\mathrm{MG}})}_{p}$. We then write ${\widehat{\alpha}}_{\mathrm{tot}}=N\widehat{\alpha}$ and, accounting for the fact that $N{a}_{x}{a}_{y}{a}_{z}=f{R}_{x}{R}_{y}{R}_{z}$, obtain the following equation:

It should be noted that Eq. (34) implies that the Lorentz local field correction is not the same as given by Eq. (23). Indeed, we can use Eq. (34) to compute the macroscopic electric field $\mathbf{E}$ inside the large “homogenized” ellipsoid subjected to an external field ${\mathbf{E}}_{\mathrm{ext}}$. We will then find that

The above modification of the Lorentz local field correction can be easily understood if we recall that the property (22) of the electric field produced by a dipole only holds if the integration is extended over a sphere. However, we have derived Eq. (34) from the assumption that an assembly of many small ellipsoids mimics the electromagnetic response of a large “homogenized” ellipsoid of a similar shape. In this case, in order to compute the relation between the external and the macroscopic field in the effective medium, we must compute the respective integral over an elliptical region $\mathbb{E}$ rather than over a sphere. If we place the dipole $\mathbf{d}$ in the center of $\mathbb{E}$, we will obtain

Thus, the specific form Eq. (34) of the anisotropic Maxwell Garnett mixing formula was obtained because of the requirement that the collection of small ellipsoidal inclusions mimic the electromagnetic response of the large homogeneous ellipsoid of the same shape. But what if the large object is not an ellipsoid or an ellipsoid of a different shape? It turns out that the shape of the “homogenized” object influences the resulting Maxwell Garnett mixing formula, but the differences are second order in $f$.

Indeed, we can pose the problem as follows: Let $N\gg 1$ small, noninteracting ellipsoidal inclusions with depolarization factors ${\nu}_{p}$ and polarizability $\alpha $ [given by Eq. (32)] fill uniformly a large *sphere* of radius $R\gg {a}_{x},{a}_{y},{a}_{z}$; find the effective permittivity of the sphere ${\widehat{\u03f5}}_{\mathrm{MG}}^{\prime}$ for which its polarizability ${\widehat{\alpha}}_{\mathrm{tot}}$ is equal to $N\widehat{\alpha}$. The problem can be easily solved with the result

As mentioned above, ${\widehat{\u03f5}}_{\mathrm{MG}}$ (34) and ${\widehat{\u03f5}}_{\mathrm{MG}}^{\prime}$ (37) coincide to first order in $f$. We can write

Can we tell which of the two mixing formulas, Eqs. (34) and (37), is more accurate? The answer to this question is not straightforward. The effects that are quadratic in $f$ also arise due to the electromagnetic interaction of particles, and this interaction is not taken into account in the Maxwell Garnett approximation. Besides, the composite geometry can be more general than isolated ellipsoidal inclusions, in which case the depolarization factors ${\nu}_{p}$ are not strictly defined and must be understood in a generalized sense as some numerical measures of anisotropy. If inclusions are similar isolated particles, we can use Eq. (36) to define the depolarization coefficients for any shape; however, this definition is rather formal because the solution to the Laplace equation is expressed in terms of *just three* coefficients ${\nu}_{p}$ only in the case of ellipsoids. (An infinite sequence of similar coefficient can be introduced for more general particles.)

Still, the traditional formula [Eq. (34)] has nice mathematical properties and one can hope that, in many cases, it will be more accurate than Eq. (37). We have already seen that it yields exact results in the two limiting cases of ellipsoids with ${\nu}_{p}=0$ and ${\nu}_{p}=1$. This is the consequence of using similar shapes for the large sample and the inclusions. Indeed, in the limit when, say, ${\nu}_{x}={\nu}_{y}\to 1/2$ and ${\nu}_{z}\to 0$, the inclusions become infinite circular cylinders. The large sample also becomes an infinite cylinder containing many cylindrical inclusions of much smaller radius. (The axes of all cylinders are parallel.) Of course, it is not possible to pack infinite cylinders into any finite sphere.

We can say that the limit when ${\nu}_{x}={\nu}_{y}=0$ and ${\nu}_{z}=1$ corresponds to the one-dimensional geometry (a layered plane-parallel medium) and the limit ${\nu}_{x}+{\nu}_{y}=1$ and ${\nu}_{z}=0$ corresponds to the two-dimensional geometry (infinitely long parallel fibers of elliptical cross section). In these two cases, the overall shape of the sample should be selected accordingly: a plane-parallel layer or an infinite elliptical fiber. The spherical overall shape of the sample is not compatible with the one-dimensional or two-dimensional geometries. Therefore, Eq. (34) captures these cases better than Eq. (37).

Additional nice features of Eq. (34) include the following. First, we will show in Section 5 that Eq. (34) can be derived by applying the simple concept of the *smooth field*. Second, because Eq. (34) has the correct limits when ${\nu}_{p}\to 0$ and ${\nu}_{p}\to 1$, the numerical values of ${({\u03f5}_{\mathrm{MG}})}_{p}$ produced by Eq. (34) always stay inside and sample completely the so-called Wiener bounds, which are discussed in more detail in Section 6 below.

We finally note that the Bruggeman equation can also be generalized to the case of anisotropic inclusions by writing [26]

## 5. MAXWELL GARNETT MIXING FORMULA AND THE SMOOTH FIELD

Let us assume that a certain field $\mathbf{S}(\mathbf{r})$ changes very slowly on the scale of the medium heterogeneities. Then, for any rapidly varying function $F(\mathbf{r})$, we can write

*smooth*.

To see how this concept can be useful, consider the well-known example of a one-dimensional, periodic (say, in the $Z$ direction) medium of period $h$. The medium can be homogenized, that is, described by an effective permittivity tensor ${\widehat{\u03f5}}_{\mathrm{eff}}$ whose principal values, ${({\u03f5}_{\mathrm{eff}})}_{x}={({\u03f5}_{\mathrm{eff}})}_{y}$ and ${({\u03f5}_{\mathrm{eff}})}_{z}$, correspond to the polarizations parallel (along $X$ or $Y$ axes) and perpendicular to the layers (along $Z$) and are given by

Here the subscript in ${({\u03f5}_{\mathrm{eff}})}_{x,y}$ indicates that the result applies to either $X$ or $Y$ polarization, and we have assumed that each elementary cell of the structure consists of $N$ layers of the widths ${f}_{n}h$ and permittivities ${\u03f5}_{n}$, where $\sum _{n}{f}_{n}=1$. The result (41) has been known for a long time in statics. At finite frequencies, it has been established in [27] by taking the limit $h\to 0$ while keeping all other parameters, including the frequency, fixed. (In this work, Rytov has considered a more general problem of layered media with nontrivial electric and magnetic properties.)Direct derivation of Eq. (41) at finite frequencies along the lines of [27] requires some fairly lengthy calculations. However, this result can be established without any complicated mathematics, albeit not as rigorously, by applying the concept of smooth field. To this end, we recall that, at sharp interfaces, the tangential component of the electric field $\mathbf{E}$ and the normal component of the displacement $\mathbf{D}$ are continuous.

In the case of $X$ or $Y$ polarizations, the electric field $\mathbf{E}$ is tangential at all surfaces of discontinuity. Therefore, ${E}_{x,y}(z)$ is in this case smooth [28] while ${E}_{z}=0$. Consequently, we can write

For $Z$ polarization, both the electric field and the displacement are perpendicular to the layers. The electric field jumps at the surfaces of discontinuity and, therefore, it is not smooth. But the displacement is smooth. Correspondingly, we can write

Alternatively, the two expressions in Eq. (41) can be obtained as the limits ${\nu}_{p}\to 0$ and ${\nu}_{p}\to 1$ of the anisotropic Maxwell Garnett mixing formula (34). Since Eq. (41) is an exact result, Eq. (34) is also exact in these two limiting cases.

So, in the one-dimensional case considered above, either the electric field or the displacement is smooth, depending on the polarization. In the more general three-dimensional case, we do not have such a nice property. However, let us conjecture that, for the external field applied along the axis $p$ ($=x,y,z$) and to some approximation, the linear combination of the form ${S}_{p}(\mathbf{r})={\beta}_{p}{E}_{p}(\mathbf{r})+(1-{\beta}_{p}){D}_{p}(\mathbf{r})=[{\beta}_{p}+(1-{\beta}_{p})\u03f5(\mathbf{r})]{E}_{p}(\mathbf{r})$ is smooth. Here ${\beta}_{p}$ is a mixing parameter. Application of Eq. (40) results in the following equalities:

Thus, the anisotropic Maxwell Garnett approximation [Eq. (34)] is equivalent to assuming that, for $p$-th polarization, the field $[(1-{\nu}_{p}){\u03f5}_{h}+{\nu}_{p}\u03f5(\mathbf{r})]{E}_{p}(\mathbf{r})$ is smooth. Therefore, Eq. (34) can be derived quite generally by applying the concept of the smooth field. The depolarization factors ${\nu}_{p}$ are obtained in this case as adjustable parameters characterizing the composite anisotropy and not necessarily related to ellipsoids.

The alternative mixing formula [Eq. (37)] cannot be transformed to a weighted average $\u3008\u03f5(\mathbf{r}){F}_{p}(\mathbf{r})\u3009/\u3008{F}_{p}(\mathbf{r})\u3009$, of which Eqs. (45) and (46) are special cases. Therefore, it is not possible to derive Eq. (37) by introducing a smooth field of the general form ${F}_{p}[\u03f5(\mathbf{r})]{E}_{p}(\mathbf{r})$, at least not without explicitly solving the Laplace equation in the actual composite. Finding the smooth field for the Bruggeman equation is also problematic.

## 6. WIENER AND BERGMAN–MILTON BOUNDS

The discussion of the smooth field in the previous section is closely related to the so-called Wiener bounds on the “correct” effective permittivity ${\widehat{\u03f5}}_{\mathrm{eff}}$ of a composite medium. Of course, introduction of bounds is possible only if ${\widehat{\u03f5}}_{\mathrm{eff}}$ can be rigorously and uniquely defined. We will see in the second part of this tutorial that this is, indeed, the case, at least for periodic composites in the limit $h\to 0$, $h$ being the period of the lattice. Maxwell Garnett and Bruggeman mixing formulas give some relatively simple approximations to ${\u03f5}_{\mathrm{eff}}$, but precise computation of the latter quantity can be complicated. Wiener bounds and their various generalizations can be useful for localization of ${\u03f5}_{\mathrm{eff}}$ or determining whether a given approximation is reasonable. For example, the Wiener bounds have been used to identify the physical root of the Bruggeman equation (29) for a multicomponent mixture [24].

In 1912, Wiener introduced the following inequality for the principal values ${({\u03f5}_{\mathrm{eff}})}_{p}$ of the effective permittivity tensor of a multicomponent mixture of substances whose individual permittivities ${\u03f5}_{n}$ are purely real and positive [29]:

The Wiener inequality is not the only result of this kind. We can also write ${\mathrm{min}}_{n}({\u03f5}_{n})\le {({\u03f5}_{\mathrm{eff}})}_{p}\le {\mathrm{max}}_{n}({\u03f5}_{n})$; sharper estimates can be obtained if additional information is available about the composite [30]. However, all these inequalities are inapplicable to complex permittivities that are commonly encountered at optical frequencies. This fact generates uncertainty, especially when metal–dielectric composites are considered. A powerful result that generalizes the Wiener inequality to complex permittivities was obtained in 1980 by Bergman [31] and Milton [32]. We will state this result for the case of a two-component mixture with the constituent permittivities ${\u03f5}_{1}$ and ${\u03f5}_{2}$.

Consider the complex $\u03f5$-plane and mark the two points ${\u03f5}_{1}$ and ${\u03f5}_{2}$. Then draw two lines connecting these points: one a straight line and another a circle that crosses ${\u03f5}_{1}$, ${\u03f5}_{2}$ and the origin (three points define a circle). We only need a part of this circle—the arc that does not contain the origin. The two lines can be obtained by plotting parametrically the complex functions $\eta (f)=f{\u03f5}_{1}+(1-f){\u03f5}_{2}$ and $\zeta (f)={[f/{\u03f5}_{1}+(1-f)/{\u03f5}_{2}]}^{-1}$ for $0\le f\le 1$ and are marked in Fig. 3 as LWB (linear Wiener bound) and CWB (circular Wiener bound).

The closed area $\mathrm{\Omega}$ (we follow the notations of Milton [32]) between the lines LWB and CWB is the locus of all complex points ${({\u03f5}_{\mathrm{eff}})}_{p}$ that can be obtained in the two-component mixture. We can say that $\mathrm{\Omega}$ is *accessible*. This means that, for any point $\xi \in \mathrm{\Omega}$, there exists a composite with ${({\u03f5}_{\mathrm{eff}})}_{p}=\xi $. The boundary of $\mathrm{\Omega}$ is also accessible, as was demonstrated with the example of one-dimensional medium in Section 5. However, all points outside $\mathrm{\Omega}$ are not accessible—they do not correspond to ${({\u03f5}_{\mathrm{eff}})}_{p}$ of any two-component mixture with the fixed constituent permittivities ${\u03f5}_{1}$ and ${\u03f5}_{2}$.

We do not give a mathematical proof of these properties of $\mathrm{\Omega}$, but we can make them plausible. Let us start with a one-dimensional, periodic in the $Z$ direction, two-component layered medium with some volume fractions ${f}_{1}$ and ${f}_{2}$. The principal value ${({\u03f5}_{\mathrm{eff}})}_{z}$ for this geometry will correspond to a point A on the line CWB, and the principal values ${({\u03f5}_{\mathrm{eff}})}_{x}={({\u03f5}_{\mathrm{eff}})}_{y}$ will correspond to a point B on LWB. The points A and B are shown in Fig. 3 for ${f}_{1}=0.7$ and ${f}_{2}=0.3$. We will then continuously deform the composite while keeping the volume fractions fixed until we end up with a medium that is identical to the original one except that it is rotated by 90° in the $XZ$ plane. In the end state, ${({\u03f5}_{\mathrm{eff}})}_{x}$ will correspond to point A and ${({\u03f5}_{\mathrm{eff}})}_{y}={({\u03f5}_{\mathrm{eff}})}_{z}$ will correspond to Point B. The intermediate states of this transformation will generate two continuous trajectories [the loci of the points ${({\u03f5}_{\mathrm{eff}})}_{x}$ and ${({\u03f5}_{\mathrm{eff}})}_{z}$] that connect A and B and one closed loop starting and terminating at B [the loci of the points ${({\u03f5}_{\mathrm{eff}})}_{y}$]. Two such curves that connect A and B (the arcs ACB and ADB) are also shown in Fig. 3.

Now, let us scan ${f}_{1}$ and ${f}_{2}$ from ${f}_{1}=1,{f}_{2}=0$ to ${f}_{1}=0,{f}_{2}=1$. The points A and B will slide on the lines CWB and LWB from ${\u03f5}_{1}$ to ${\u03f5}_{2}$, and the curves that connect them will fill the region $\mathrm{\Omega}$ completely while none of these curves will cross the boundary of $\mathrm{\Omega}$. On the other hand, while deforming the composite between the states A and B, we can arrive at a state of an arbitrary three-dimensional geometry modulo the given volume fractions. Thus, for a two-component medium with arbitrary volume fractions, we can state that (i) ${({\u03f5}_{\mathrm{eff}})}_{p}\in \mathrm{\Omega}$ and (ii) if $\zeta \in \mathrm{\Omega}$, then there exists a composite with ${({\u03f5}_{\mathrm{eff}})}_{p}=\zeta $.

We now discuss the various curves shown in Fig. 3 in more detail.

The curves marked as MG1, MG2 display the results computed by the Maxwell Garnett mixing formula (34) with various values of ${\nu}_{p}$, as labeled. MG1 is obtained by assuming that ${\u03f5}_{h}={\u03f5}_{1}$, ${\u03f5}_{i}={\u03f5}_{2}$, $f={f}_{2}$. We then take the expression (34) and plot ${({\u03f5}_{\mathrm{MG}})}_{p}$ parametrically as a function of $f$ for $0\le f\le 1$ for three different values of ${\nu}_{p}$. MG2 is obtained in a similar fashion but using ${\u03f5}_{h}={\u03f5}_{2}$, ${\u03f5}_{i}={\u03f5}_{1}$, $f={f}_{1}$.

Notice that, at each of the three values of ${\nu}_{p}$ used, the curves MG1 and MG2 do not coincide because Eq. (34) is not “symmetric” in the sense of Eq. (28). For this reason, MG1 and MG2 cannot be accurate *simultaneously* anywhere except in the close vicinities of ${\u03f5}_{1}$ and ${\u03f5}_{2}$. Since there is no reason to prefer MG1 over MG2 or vice versa (unless ${f}_{1}$ or ${f}_{2}$ are small), MG1 and MG2 cannot be accurate *in general*, that is for any composite that is somehow compatible with the parameters of the mixing formula. This point should be clear already from the fact that composites that are not made of ellipsoids are not characterizable mathematically by *just three* depolarization factors ${\nu}_{p}$.

However, in the limits ${\nu}_{p}\to 0$ and ${\nu}_{p}\to 1$, MG1 and MG2 coincide with each other and with either LWB or CWB. In these limits, MG1 and MG2 are exact.

In panel (a), we also plot the curve BG computed according to Bruggeman mixing formula [Eq. (30)] with the “$+$” sign. This BG curve follows closely MG1 in the vicinity of ${\u03f5}_{1}$ and MG2 in the vicinity of ${\u03f5}_{2}$. This result is expected since the Maxwell Garnett and Bruggeman approximations coincide to first order in $f$: see Eq. (31) and recall that $f={f}_{2}$ for MG1 and $f={f}_{1}$ for MG2.

The two arcs ACB and ADB that connect the points A and B are defined by the following conditions: If continued to full circles, ACB will cross ${\u03f5}_{1}$ and ADB will cross ${\u03f5}_{2}$. The arcs can also be obtained by plotting ${({\u03f5}_{\mathrm{MG}})}_{p}$ as given by Eq. (34) parametrically as a function of ${\nu}_{p}$ for fixed ${f}_{1}$ and ${f}_{2}$. To plot the arc ACB, we set ${\u03f5}_{h}={\u03f5}_{1}$, ${\u03f5}_{i}={\u03f5}_{2}$ and $f={f}_{2}$ in Eq. (34), just as was done in order to compute the curve MG1. However, instead of fixing ${\nu}_{p}$ and varying $f$, we now fix $f=0.3$ and vary ${\nu}_{p}$ from 0 to 1. Similarly, the arc ADB is obtained by setting ${\u03f5}_{h}={\u03f5}_{2}$, ${\u03f5}_{i}={\u03f5}_{1}$, $f={f}_{1}$ and varying ${\nu}_{p}$ in the same interval.

The region delineated by the arcs ACB and ADB is denoted by ${\mathrm{\Omega}}^{\prime}$. It is important for the following reason. Above, we have defined the region $\mathrm{\Omega}$, which is the locus of all points ${({\u03f5}_{\mathrm{eff}})}_{p}$ for the two-component mixture regardless of the volume fractions. If we fix the latter to ${f}_{1}$ and ${f}_{2}$, the region of allowed ${({\u03f5}_{\mathrm{eff}})}_{p}$ can be further narrowed. It is shown in [31,32] that this region is precisely ${\mathrm{\Omega}}^{\prime}$. Note that the Maxwell Garnett approximation (34) with the same ${f}_{1}$ and ${f}_{2}$ yields the results on the boundary of ${\mathrm{\Omega}}^{\prime}$. Conversely, any point on the boundary of ${\mathrm{\Omega}}^{\prime}$ corresponds to Eq. (34) with some ${\nu}_{p}$. The isotropic Bruggeman’s solution is safely inside ${\mathrm{\Omega}}^{\prime}$ [see point E in panel (a)].

Just like $\mathrm{\Omega}$, the region ${\mathrm{\Omega}}^{\prime}$ is also accessible. This means that each point inside ${\mathrm{\Omega}}^{\prime}$ corresponds to a certain composite with given ${\u03f5}_{1}$, ${\u03f5}_{2}$, ${f}_{1}$, and ${f}_{2}$. However, it is not obvious how the boundaries of ${\mathrm{\Omega}}^{\prime}$ can be accessed. Above, we have seen that the boundaries of $\mathrm{\Omega}$ are accessed by the solutions to the homogenization problem in a very simple one-dimensional geometry wherein the smooth field $\mathbf{S}$ can be easily (and precisely) defined. The same is true for ${\mathrm{\Omega}}^{\prime}$. It can be shown [31] that the geometry for which the boundary of ${\mathrm{\Omega}}^{\prime}$ is accessed is an assembly of coated ellipsoids that are closely packed to fill the entire space. This is possible if we take an infinite sequence of such ellipsoids of ever decreasing size. Note that all major axes of the ellipsoids should be parallel, the core and the shell of each ellipsoid should be confocal, and the volume fractions of the ${\u03f5}_{1}$ and ${\u03f5}_{2}$ substances comprising each ellipsoid should be fixed to ${f}_{1}$ and ${f}_{2}$. The arrangement in which ${\u03f5}_{1}$ is the core and is the shell will give one circular boundary of ${\mathrm{\Omega}}^{\prime}$, and the arrangement in which ${\u03f5}_{2}$ is in the core and ${\u03f5}_{1}$ is in the shell will give another boundary.

Of course, the above arrangement is a purely mathematical construct. It is not realizable in practice. However, it is interesting to note that the Maxwell Garnett mixing formula [Eq. (34)] turns out to be exact in this strange geometry. In the special case when the ellipsoids are spheres, the isotropic Maxwell Garnett formula [Eq. (18)] is exact. This isotropic, arbitrarily dense packaging of coated spheres of progressively reduced radii was considered by Hashin and Shtrikman in 1962 [30].

We can now see why the anisotropic Maxwell Garnett mixing formula [Eq. (34)] is special. First, it samples the region $\mathrm{\Omega}$ completely. In other words, any two-component mixture with ${\u03f5}_{1}$- and ${\u03f5}_{2}$-type constituents has the effective permittivity principal values ${({\u03f5}_{\mathrm{eff}})}_{p}$ that are equal to a value ${({\u03f5}_{\mathrm{MG}})}_{p}$ produced by Eq. (34) with the same ${\u03f5}_{1}$ and ${\u03f5}_{2}$ (but perhaps with different volume fractions). Second, Eq. (34) is restricted to $\mathrm{\Omega}$. In other words, any value ${({\u03f5}_{\mathrm{MG}})}_{p}$ produced by Eq. (34) is equal to ${({\u03f5}_{\mathrm{eff}})}_{p}$ of some composite with the same ${\u03f5}_{1}$ and ${\u03f5}_{2}$ (but perhaps with different volume fractions).

To conclude the discussion of bounds, we note that [31,32] contain an even stronger result. If, in addition to ${\u03f5}_{1},{\u03f5}_{2},{f}_{1},{f}_{2}$, it is also known that the composite is isotropic on average, then the allowed region for ${\u03f5}_{\mathrm{eff}}$ (now a scalar) is further reduced to ${\mathrm{\Omega}}^{\prime \prime}\subset {\mathrm{\Omega}}^{\prime}\subset \mathrm{\Omega}$. Here ${\mathrm{\Omega}}^{\prime \prime}$ is delineated by yet another pair of circular arcs that connect the points C and D and, if continued to circles, also cross the points A and B. These arcs are not shown in Fig. 3.

## 7. SCALING LAWS

Maxwell Garnett and Bruggeman theories give some approximations to the effective permittivity of a composite ${\widehat{\u03f5}}_{\mathrm{eff}}$. Wiener and Bergman–Milton bounds discussed in the previous section do not provide approximations or define ${\widehat{\u03f5}}_{\mathrm{eff}}$ precisely but rather restrict it to a certain region in the complex plane. However, the very possibility of deriving approximations or placing bounds on ${\widehat{\u03f5}}_{\mathrm{eff}}$ relies on the availability of an unambiguous definition of this quantity. We will sketch an approach to defining and computing ${\widehat{\u03f5}}_{\mathrm{eff}}$ in the second part of this tutorial. Now we note that this definition is expected to satisfy the following two scaling laws [10].

The first law is invariance under coordinate rescaling $\mathbf{r}\to \beta \mathbf{r}$, where $\beta >0$ is an arbitrary real constant. In other words, the result should not depend on the physical size of the heterogeneities. Of course, one cannot expect a given theory to be valid when the heterogeneity size is larger than the wavelength. Therefore, the above statement is not about the physical applicability of a given theory. Rather, it is about the mathematical properties of the theory itself. We can say that any standard theory is obtained in the limit $h\to 0$, where $h$ is the characteristic size of the heterogeneity, say, the lattice period. The result of taking this limit is, obviously, independent of $h$.

The second law is the law of unaltered ratios: If every ${\u03f5}_{n}$ of a composite medium is scaled as ${\u03f5}_{n}\to \beta {\u03f5}_{n}$, then the effective permittivity (as computed by this theory) should scale similarly, viz., ${\widehat{\u03f5}}_{\mathrm{eff}}\to \beta {\widehat{\u03f5}}_{\mathrm{eff}}$.

Theories (either exact or approximate) that satisfy the above two laws can be referred to as *standard*. It is easy to see that the Maxwell Garnet and the Bruggeman theories are standard. On the other hand, the so-called *extended* homogenization theories that consider magnetic and higher-order multipole moments of the inclusions do not generally satisfy the scaling laws.

## 8. SUMMARY AND OUTLOOK

In Sections 2–4, we have covered the material that one encounters in standard textbooks. Sections 5–7 contain somewhat less standard, but still mathematically simple, material. The tutorial could end here. However, we cannot help noticing that the arguments we have presented are not complete and not always mathematically rigorous. There are several topics that we need to discuss if we want to gain a deeper understanding of the homogenization theories in general and of the Maxwell Garnett mixing formula in particular.

First, the standard expositions of the Maxwell Garnett mixing formula and of the Lorentz molecular theory of polarization rely heavily on the assumption that polarization field $\mathbf{P}(\mathbf{r})=[(\u03f5(\mathbf{r})-1)/4\pi ]\mathbf{E}(\mathbf{r})$ is the dipole moment per unit volume. But this interpretation is neither necessary for defining the constitutive parameters of the macroscopic Maxwell’s equations nor, generally, correct. The physical picture based on the polarization being the density of dipole moment is in many cases adequate, but in some other cases it can fail. We have been careful to operate only with *total* dipole moments of macroscopic objects. Still, this point requires some additional discussion.

Second, the Lorentz local field correction relies on integrating the electric field of a dipole over spheres or ellipsoids of finite radius. It can be assumed naively that, since the integral is convergent for some finite integration regions, it also converges over the whole space. But this assumption is mathematically incorrect. The integral of the electric field of a static dipole taken over the whole space does not converge to any result. Therefore, if we arbitrarily deform the surface that bounds the integration domain, we would obtain an arbitrary integration result. In fact, we have already seen that this result depends on whether the surface is spherical or ellipsoidal. This dependence, in turn, affects the Lorentz local field correction. Consequently, developing a more rigorous mathematical formalism that does not depend on evaluation of divergent integrals is desirable.

Third, we have worked mostly within statics. We did discuss finite frequencies in the sections devoted to smooth field and Wiener and Bergman–Milton bounds, but not in any substantial detail. However, the theory of homogenization is almost always applied at high frequencies. In this case, Eq. (2) is not applicable; a more general formula must be used. Incidentally, the integral of the field of an oscillating dipole diverges even more strongly than that of a static dipole. It is also not correct to use the purely static expression for the polarizabilities at finite frequencies.

The above topics will be addressed in the second part of this tutorial.

## Funding

Agence Nationale de la Recherche (ANR) (ANR-11-IDEX-0001-02).

## Acknowledgment

This work has been carried out thanks to the support of the A*MIDEX project (No. ANR-11-IDEX-0001-02) funded by the “Investissements d’Avenir” French government program, managed by the French National Research Agency (ANR).

## REFERENCES AND NOTES

**1. **J. C. M. Garnett, “Colours in metal glasses and in metallic films,” Philos. Trans. R. Soc. London A **203**, 385–420 (1904). [CrossRef]

**2. **J. C. M. Garnett, “Colours in metal glasses, in metallic films, and in metallic solutions II,” Philos. Trans. R. Soc. London **205**, 237–288 (1906). [CrossRef]

**3. **R. Resta, “Macroscopic polarization in crystalline dielectrics: the geometrical phase approach,” Rev. Mod. Phys. **66**, 899–915 (1994). [CrossRef]

**4. **R. Resta and D. Vanderbilt, “Theory of polarization: a modern approach,” in *Physics of Ferroelectrics: A Modern Perspective* (Springer, 2007), pp. 31–68.

**5. **D. M. Wood and N. W. Ashcroft, “Effective medium theory of optical properties of small particle composites,” Philos. Mag. **35**(2), 269–280 (1977). [CrossRef]

**6. **G. A. Niklasson, C. G. Granqvist, and O. Hunderi, “Effective medium models for the optical properties of inhomogeneous materials,” Appl. Opt. **20**, 26–30 (1981). [CrossRef]

**7. **T. G. Mackay, A. Lakhtakia, and W. S. Weiglhofer, “Strong-property-fluctuation theory for homogenization of bianisotropic composites: formulation,” Phys. Rev. E **62**, 6052–6064 (2000). [CrossRef]

**8. **W. T. Doyle, “Optical properties of a suspension of metal spheres,” Phys. Rev. B **39**, 9852–9858 (1989). [CrossRef]

**9. **R. Ruppin, “Evaluation of extended Maxwell–Garnett theories,” Opt. Commun. **182**, 273–279 (2000). [CrossRef]

**10. **C. F. Bohren, “Do extended effective-medium formulas scale properly?” J. Nanophoton. **3**, 039501 (2009). [CrossRef]

**11. **In a spherical system of coordinates $(r,\theta ,\phi )$, the angular average of ${\mathrm{cos}}^{2}\text{\hspace{0.17em}}\theta $ is $1/3$; that is, $\u3008{\mathrm{cos}}^{2}\u3009=(4\pi {)}^{-1}{\int}_{0}^{2\pi}\mathrm{d}\phi {\int}_{0}^{\pi}\mathrm{sin}\text{\hspace{0.17em}}\theta \mathrm{d}\theta \text{\hspace{0.17em}}{\mathrm{cos}}^{2}\text{\hspace{0.17em}}\theta =1/3$.

**12. **Equation (8) can be obtained by using the expression $\varphi (\mathbf{r})=\int [\rho (\mathbf{R})/|\mathbf{r}-\mathbf{R}|]{\mathrm{d}}^{3}R$ for the electrostatic potential $\varphi (\mathbf{r})$, assuming that the charge density $\rho (\mathbf{R})$ is localized around a point ${\mathbf{r}}^{\prime}$, using the expansion $1/|\mathbf{r}-\mathbf{R}|=1/|\mathbf{r}-{\mathbf{r}}^{\prime}|+(\mathbf{R}-{\mathbf{r}}^{\prime})\xb7{\nabla}_{{\mathbf{r}}^{\prime}}(1/|\mathbf{r}-{\mathbf{r}}^{\prime}|)+\dots $, defining the dipole moment of the system as $\mathbf{d}=\int \mathbf{r}\rho (\mathbf{r}){\mathrm{d}}^{3}r$, and, finally, computing the electric field according to $\mathbf{E}(\mathbf{r})=-{\nabla}_{\mathbf{r}}\varphi (\mathbf{r})$.

**13. **E. M. Purcell and C. R. Pennypacker, “Scattering and absorption of light by nonspherical dielectric grains,” Astrophys. J. **186**, 705–714 (1973). [CrossRef]

**14. **B. T. Draine, “The discrete-dipole approximation and its application to interstellar graphite grains,” Astrophys. J. **333**, 848–872 (1988). [CrossRef]

**15. **B. T. Draine and J. Goodman, “Beyond Clausius–Mossotti: wave propagation on a polarizable point lattice and the discrete dipole approximation,” Astrophys. J. **405**, 685–697 (1993). [CrossRef]

**16. **L. L. Foldy, “The multiple scattering of waves. I. General theory of isotropic scattering by randomly distributed scatterers,” Phys. Rev. **67**, 107–119 (1945). [CrossRef]

**17. **M. Lax, “Multiple scattering of waves,” Rev. Mod. Phys. **23**, 287–310 (1951). [CrossRef]

**18. **P. B. Allen, “Dipole interactions and electrical polarity in nanosystems: the Clausius-Mossotti and related models,” J. Chem. Phys. **120**, 2951–2962 (2004). [CrossRef]

**19. **D. Vanzo, B. J. Topham, and Z. G. Soos, “Dipole-field sums, Lorentz factors and dielectric properties of organic molecular films modeled as crystalline arrays of polarizable points,” Adv. Funct. Mater. **25**, 2004–2012 (2015). [CrossRef]

**20. **Of course, infinite media do not exist in nature. Here we mean a host medium that is so large that the field created by the dipole is negligible at its boundaries. In general, one should be very careful not to make a mathematical mistake when applying the concept of “infinite medium,” especially when wave propagation is involved.

**21. **D. A. G. Bruggeman, “Berechnung verschiedener physikalischer Konstanten von heterogenen Substanzen. I. Dielektrizitätskonstanten und Leitfähigkeiten der Mischkörper aus isotropen Substanzen,” Ann. Phys. **416**, 665–679 (1935). [CrossRef]

**22. **D. A. G. Bruggeman, “Berechnung verschiedener physikalischer Konstanten von heterogenen Substanzen. II. Dielektrizitätskonstanten und Leitfähigkeiten von Vielrkistallen der nichtregularen Systeme,” Ann. Phys. **417**, 645–672 (1936). [CrossRef]

**23. **S. Berthier and J. Lafait, “Effective medium theory: mathematical determination of the physical solution for the dielectric constant,” Opt. Commun. **33**, 303–306 (1980). [CrossRef]

**24. **R. Jansson and H. Arwin, “Selection of the physically correct solution in the n-media Bruggeman effective medium approximation,” Opt. Commun. **106**, 133–138 (1994). [CrossRef]

**25. **C. F. Bohren and D. R. Huffman, *Absorption and Scattering of Light by Small Particles* (Wiley, 1998).

**26. **D. Schmidt and M. Schubert, “Anisotropic Bruggeman effective medium approaches for slanted columnar thin films,” J. Appl. Phys. **114**, 083510 (2013). [CrossRef]

**27. **S. M. Rytov, “Electromagnetic properties of a finely stratified medium,” J. Exp. Theor. Phys. **2**, 466–475 (1956).

**28. **This is true for sufficiently small $h$, as long as the phase shift of the wave propagating in the structure over one period is small compared to $\pi $. Homogenization is possible only if this condition holds.

**29. **O. Wiener, “Die Theorie des Mischkörpers für das Feld der Stationären Strömung. Erste Abhandlung: Die Mittelwertsätze für Kraft, Polarisation und Energie,” Abhandlungen der Mathathematisch-Physikalischen Klasse der Königl. Sächsischen Gesellschaft der Wissenschaften **32**, 507–604 (1912).

**30. **Z. Hashin and S. Shtrikman, “A variational approach to the theory of the effective magnetic permeability of multiphase materials,” J. Appl. Phys. **33**, 3125–3131 (1962). [CrossRef]

**31. **D. J. Bergman, “Exactly solvable microscopic geometries and rigorous bounds for the complex dielectric constant of a two-component composite material,” Phys. Rev. Lett. **44**, 1285–1287 (1980). [CrossRef]

**32. **G. W. Milton, “Bounds on the complex dielectric constant of a composite material,” Appl. Phys. Lett. **37**, 300–302 (1980). [CrossRef]