{'fraction_non_alphanumeric': 0.04311436844010134, 'fraction_numerical': 0.010088671733622873, 'mean_word_length': 4.405967229151382, 'pattern_counts': {'":': 0, '<': 15, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 6, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Casimir forces in inhomogeneous media: renormalization and the principle of virtual work

We calculate the Casimir forces in two configurations, namely, three parallel dielectric slabs and a dielectric slab between two perfectly conducting plates, where the dielectric materials are dispersive and inhomogeneous in the direction perpendicular to the interfaces. A renormalization scheme is proposed consisting of subtracting the effect of one interface with a single inhomogeneous medium. Some examples are worked out to illustrate this scheme. Our method always gives finite results and is consistent with the principle of virtual work; it extends the Dzyaloshinskii-Lifshitz-Pitaeveskii force to inhomogeneous media.

In Casimir's original configuration, two infinitely large parallel perfectly conducting plates are separated by a distance a in the vacuum, which gives rise to a finite force per unit area on the plate 1 , namely the famous Casimir force where the negative sign signifies its attractiveness. Lifshitz [2] then generalized this model to the more physical one of two parallel homogeneous dielectric media separated by vacuum. Later, Dzyaloshinskii et al. [3,24] (DLP) introduced another homogeneous medium as the intervening material replacing the vacuum; their results have been demonstrated experimentally [9,10]. A natural next generalization is the evaluation of Casimir forces in configurations where the media are inhomogeneous [25][26][27][28][29]. However, progress in that direction has been extremely slow in the last sixty years for various reasons, of which the following two are the most significant. First, it is not trivial to justify the statement that Casimir forces in inhomogeneous media are well defined. It is generally known that a force F acting on a body could be expressed in terms of the energy variation δE due to the variation δa in the body's configuration as F = −δE/δa. This is known as the energy-force balance relation or the principle of virtual work (PVW). Any physically acceptable scheme to calculate a conservative force should satisfy this relation. However, as shown in Ref. [30,31], an ultraviolet cutoff yields an inconsistent energy-pressure relation, which they called the "pressure anomaly," while point-splitting regularization in a neutral direction leads to plausible results [32]. The hope of resolving this paradox motivated the replacement of sharp boundaries by steeply rising potential barriers [33][34][35][36][37], and hence to the consideration of inhomogeneous dielectric media as in our current project [38]. After renormalization, the PVW is always satisfied in the Casimir configuration and those considered by Lifshitz and Dzyaloshinskii et al. But there is no obvious proof, or even statement, of the PVW in inhomogeneous cases. For instance, because of the inhomogeneity, it is not clear how to define the energy variation induced by the virtual displacement of the boundary between two media. Any acceptable method of calculating the Casimir force in inhomogeneous media must be consistent with the satisfaction of the PVW.
Second, even if the Casimir force in inhomogeneous media is well defined, there remains the problem of how to extract finite terms, whose physical meanings are unambiguous, from the energy and stress tensor. Casimir had already clearly realized that some sort of subtraction or regularization is required to obtain finite results, which are not "divergent and devoid of physical meanings" [1], from the summation of the zero-point energy of all the modes, 1 2 ω. Since then, several approaches have been adopted to regularize the vacuum energy or stress tensor, such as the ultraviolet cutoff method [5,32], zeta-function regularization [5,39,40], Laurent regularization [26], the point-splitting method [33,41] and dimensional continuation [4,42]. Although these techniques control the divergences, in general a divergent part must be removed. Typically, one will subtract a Green's function for the case where one homogeneous medium fills the whole space, which is sometimes named as the "bulk contribution" [38,43,44], from the total Green's function to obtain a subtracted Green's function, a procedure occasionally called the "Lifshitz regularization" [27,28]. However, when trying to calculate Casimir forces in the DLP configuration with the intervening medium being inhomogeneous, the authors of Ref. [25,27] ruled out the feasibility of the Lifshitz regularization and introduced another one, which resulted in divergences on the boundaries with the homogeneous media, an outcome they considered to fall "outside the current understanding of the Casimir effect." Another attempt to regularize the inhomogeneous medium was carried out by Simpson et al. in Ref. [28], using a modified Lifshitz regularization based on a piecewise homogeneity approximation. They concluded that their piecewise method is not likely to give the correct solution. Though there are many illuminating endeavors, more effort is still needed to find the proper renormalization methods for the inhomogeneous cases.
In Sec. II, we demonstrate the validity of calculations for Casimir forces in the DLP configuration with the media being inhomogeneous (generalized Lifshitz configuration, GLC) and in the Casimir configuration with the intervening medium being inhomogeneous (generalized Casimir configuration, GCC). A renormalization scheme based on subtraction of the force or energy of a reference configuration is also described. This method always gives Casimir forces that are finite, as shown generally with the WKB approximation, and satisfy the PVW. Our method is consistent with the well-known homogeneous results. In Sec. III, some exactly solvable examples are provided. In Sec. IV, we offer concluding remarks and point out possible directions for further study. In Appendices A-F, we provide mathematical details about our theoretical calculations. In A, we demonstrate the PVW in flat spacetime with a plane boundary. In B, we use the Green's function method to calculate the vacuum expectation values of the energy and stress tensor; explicit formulas in planar geometry are given in C. A full presentation of the renormalization scheme can be found in D. The WKB argument to show the results are finite is provided in E. Finally, F contains details of the exactly solvable examples discussed in Sec. III.

II. RESULTS AND ANALYSES
In this paper, we calculate the Casimir force in the configuration shown in Fig. 1a, where three parallel slabs are all isotropic, dispersive, and inhomogeneous in the z-direction, with the permittivity and permeability of the system ε and µ being of the forms ε(ζ, z) =    ε 3 (ζ, z), z > b, ε 2 (ζ, z), a < z < b, ε 1 (ζ, z), z < a, and µ(ζ, z) =    µ 3 (ζ, z), z > b, µ 2 (ζ, z), a < z < b, µ 1 (ζ, z), z < a. (2) The differential equations have solutionsê i± andĥ i± satisfying proper boundary conditions, typically lim z→±∞ê i± (z) = lim z→±∞ĥ i± (z) = 0. We find, according to Appendix C, the transverse electric (TE) contribution to the total energy depending on the interfaces of the media is with ∆ E (a, b) being where the expression [e i , e j ] µ (x) is defined as while the TE contribution to the discontinuity of the normal-normal stress tensor across the two sides of the interface z = b, i.e., T E zz (b ± ), in which b ± = b ± ǫ and 0 < ǫ → 0, satisfies the relation The corresponding transverse magnetic (TM) contributions are obtained by making the substitution E → H, ε ↔ µ andê →ĥ. In light of Eq. (7), we see that the principle of virtual work is true in this system, which means that the Casimir forces in this kind of system are properly defined. However, these expressions are divergent. In order to extract physical results, we propose a renormalization scheme based on a reference configuration for this inhomogeneous media system. Since the interaction part of the Casimir force is related to the interaction energy between the media on the upper and lower sides, when calculating the force on the z = b interface (analogous arguments apply to the z = a interface), we analytically extend the intervening medium II all the way down to z → −∞, that is, material II fills the whole region z ≤ b (shown in Fig. 1b). The reference configuration eliminates the interaction between medium I and III. This subtraction follows the same philosophy used in deriving the TGTG formula [45] for two bodies in homogeneous media. For further discussion of the uniqueness and limitations of the reference subtraction method, see Ref. [43,44,46].
For the reference configuration, the TE contribution to ∆U E and T E zz above are written as . To obtain the renormalized energy and normal-normal stress tensor, we subtract the reference energy and stress tensor from those of the original configuration, i.e., The force per unit area on the interface z = b is thus consistent with the PVW, The TM contribution to the corresponding force is derived with the substitution ε ↔ µ, E → H andê →ĥ. This is all discussed in more detail in Appendix D.
As a specific illustration of our renormalization method, we have considered the case where the three slabs are all homogeneous, which gives the TE contribution to the force per unit area as follows where κ i = ε i µ i ζ 2 + k 2 , and its counterpart from TM modes is derived with the substitution µ → ε, E → H. This result exactly agrees with those in Refs. [2][3][4]. We have also applied our method to the generalized Casimir configuration, where two parallel perfectly conducting slabs are separated by an inhomogeneous medium, and found the forces per unit area at the z = b interface, when the intervening medium is homogeneous, are which is just the result in Eq. (1) as long as ε 2 = µ 2 = 1. Eq. (11) could also be derived by taking the limit µ 1 = µ 3 = 1 and ε 1 , ε 3 → ∞ in Eq. (10). Therefore, our method is consistent with previous results derived in the homogeneous cases.
To show that our renormalized results are finite, we utilized the WKB approximation to illustrate the leading behaviors of both GLC and GCC in Eq. (E3) and Eq. (E4). As usually expected, in the high frequency region ζ → ∞, no material could respond to the electromagnetic oscillation so rapidly as to modify the field significantly, which implies the relation lim ζ→∞ ε(ζ), µ(ζ) = 1. Consequently, the leading terms of the total energy in the GLC and GCC from TE modes in the high frequency region are where κ = ζ 2 + k 2 and the coefficients for GLC and GCC satisfy lim  as expected; while for the GCC, ∆U E r;GCC is always finite, which implies a finite Casimir force. As for the integral over k, similar convergence can be seen from Eq. (E3) and Eq. (E4). This demonstrates that our method yields finite results.
The consistency and the effectiveness of our method give us some confidence to claim that we have found a reasonable approach to evaluate the Casimir forces in the GLC and GCC, although full confirmation from solid experimental results is still required. Perhaps a differential scheme along the lines of Ref. [47] could be used to observe our results.
The following examples demonstrate the behaviors of the Casimir forces in inhomogeneous media.

III. EXAMPLES
There are only a few cases where the Green's functions may be explicitly constructed in terms of known functions. One of these is the inhomogeneous medium considered in Ref. [38,44]. First, we investigate the GCC where the permittivity and permeability of the intervening medium are ε = λ/(z − c) 2 and µ = 1 with λ and c as constant parameters and b < c. The forces are given in Eq. (F5). As a special case, for λ/(c − a) 2 = 1, we see in Fig. 2 how the Casimir forces from the TE and TM modes vary with the separation d = b − a between two perfectly conducting plates. According to Fig. 2, it is clear that as the distance d increases, this GCC model differs significantly from the homogeneous case due to its inhomogeneity; while the GCC model converges to the homogeneous case when d → 0, which is intuitively reasonable since the inhomogeneity is not significant at short distances.
We further extend the inverse square permittivity model to the GLC case, where the dielectric slabs for the z < a and z > b regions are both homogeneous and the intervening medium has the permittivity and permeability as above. For the case ε 1 = 2, ε 3 = 3, µ 1 = µ 2 = µ 3 = 1 and λ/(c − a) 2 = 1, Fig. 3a shows the TE and TM inhomogeneous Casimir forces. Fig. 3b shows that the separation dependence of the Casimir forces in this GLC model is distinct from that of their homogeneous counterparts in Eq. (10) with ε 2 = ε(a), µ 2 = 1, and that the influence of the inhomogeneity decreases as the separation between the two interfaces gets smaller. Moreover, as the interface z = b is sufficiently close to c the Casimir forces in this GLC will turn from attractive to repulsive. Repulsion occurs when in some region ε 1 < ε 2 < ε 3 , where ε 2 is an average of ε 2 in some sense, as is known for the DLP configuration. Therefore, for a given separation b − a and singularity position c, a region of λ can be found for which the Casimir force is repulsive. For fixed λ, the TE Casimir forces do not behave monotonically in the repulsive region, see Fig. 3a. Repulsion can occur near the z = a plate when ε 1 < λ/(c − a) 2 < ε 2 . For example see the dotted lines in Fig. 4, where the positive force signifies repulsion of the plate at z = b. To further explore the inhomogeneous effect, we calculated the Casimir forces in a GCC with a diaphanous intervening medium, meaning one whose permittivity ε and permeability µ satisfy εµ = 1. A diaphanous dielectric ball [48] or cylinder [49] has unambiguous finite Casimir stress and energy, which without such condition would be plagued with divergences. (In the electromagnetic δ-function sphere, analogous behavior was expected to be found [50], but more work is apparently needed.) Here we let the permittivity of the diaphanous medium be ε(z) = exp[λ(z − c) 2 ] and find the Casimir forces in Eq. (F9). We note that F E = F M is always true for this case, which is a property in common with the homogeneous cases in Eq. (11). The ratio between the Casimir force in this GCC and its counterpart in the homogeneous GCC is shown in Fig. 5. We see that even though the speed of light is the same as that in the vacuum, the Casimir force in this GCC is considerably different from that in the vacuum and the larger the separation the larger is the discrepancy. Of course, it reduces to the homogeneous case as the separation goes to zero.

IV. CONCLUSIONS
To attain a reliable procedure for Casimir force calculations in inhomogeneous media, we have taken the first step by investigating the generalized Lifshitz configuration and the generalized Casimir configuration where the intervening media are inhomogeneous in one direction. We have proposed a renormalization scheme based on a reference configuration. This scheme is consistent with the principle of virtual work and renders the Casimir force finite for inhomogeneous and dispersive media. We have also applied our approach to a few analytically solvable examples, in which we justified the effectiveness and consistency of our method and illustrated the possibility of Casimir repulsion and nonmonotonicity in the inhomogeneous case.
Although our scheme always gives plausible results to date, there are still some knotty points that should be considered seriously. In particular, we have not included the interaction of one interface with the inhomogeneous medium itself. Doing so may entail understanding and modeling how realistic media behave under deformation.

Appendix A: Principle of Virtual Work in Flat Spacetime with a Plane Boundary
Consider a quantized field in a static spacetime with line element ds 2 = g 00 dt 2 + dx 2 + dy 2 + g zz dz 2 . Under the combined coordinate scaling t → α −1 t = t ′ and dual metric scaling g 00 → α 2 g 00 = g ′ 00 , where α > 0 is a constant scale factor, the line element, and therefore the physics, is unchanged. The corresponding invariance of the one-loop effective action, W = L dt, and the time independence of the one-loop effective Lagrangian, L, together imply that L scales as L(α) = α L(1) = αL, and therefore that dL(α) dα = L. On the other hand, a small change in the scale factor results in the functional variation δL(α) = d 3 x δL δg ′ 00 δ(α 2 g 00 ), which implies where g = det[g µν ], and E is the vacuum energy. Thus, L = −E. This derivation is a simplified version of that in Ref. [51]. Consider now the bounded domain z ≤ b. A virtual normal displacement of the plane boundary z = b may be effected by applying the following contraction to the z boundary layer (b − h, b], where h > 0 is arbitrarily small and β ≥ 1 is a constant scale factor: , under the combined coordinate contraction z → z ′ in (A2) and dual metric scaling g zz → β 2 g zz = g ′ zz , the line element, and therefore the physics, is again unchanged. The corresponding invariance of the one-loop effective Lagrangian, L(β, β) = L(1, 1) = L, where the first argument denotes the coordinate contraction scale factor and the second argument the metric scale factor, implies that In effect, the combined coordinate contraction and dual metric scaling create a compound passive transformation that leaves the action form-invariant. The components of that transformation may be reinterpreted as active transformations, and the invariance may be used to relate their offsetting first-order effects. This, in essence, is the content of (A3). From (A2), while, from the functional variation δL(1, Thus, (A3) may be restated as which, in the limit h → 0 + , becomes Reduced to the Minkowski metric, this is a statement of the PVW for a quantized field in flat spacetime, under virtual normal displacement of a plane boundary.

Appendix B: Formalism
The fundamental object in quantum field theory is the Green's function. In this appendix, we will use the Green's function to calculate the energies and stress tensors. In Euclidean spacetime, the vacuum expectation values of the dyadics of the electric and magnetic fields E and H are expressed in terms of the Green's dyadics as [4] where τ is the Euclidean time, x = (τ, r), and the equations for the reduced Green's dyadics for each Euclidean frequency Γ ζ (r, r ′ ) and Φ ζ (r, r ′ ) are in which ε and µ are the permittivity and permeability of the medium. Suppose the medium is isotropic, dispersive, and inhomogeneous only in the z-direction. Then in this planar geometry the reduced Green's functions have the following forms: Without loss of generality, choose k along the x-axis. Then g E and g H , which satisfy the equation are employed to express g ζ,k as and h ζ,k (z, z ′ ) is obtained with the substitution ε ↔ µ and E ↔ H. Define functions (e ± , h ± )(ζ, k; z) as the solutions of the corresponding homogeneous differential equations that satisfy the continuity conditions and the relevant boundary conditions, for instance lim z→±∞ (e ± , h ± )(ζ, k; z) = 0. We can then write g where the generalized Wronskians are constant in z.
If the material has no energy and momentum dissipation, then the vacuum expectation values of the energy density U and stress tensor T are 2 , respectively, and Ignoring the unphysical divergences coming from δ-functions, we may separate these into the transverse electric (TE) and transverse magnetic (TM) modes as the reduced terms being and Correspondingly, u H , t H are obtained by the substitution ε ↔ µ, e ↔ h, E ↔ H.

Appendix C: Planar Geometry
In this paper, we mainly study the system in which there are three inhomogeneous dielectric slabs at z ≤ a, a < z < b and z ≥ b with media whose permittivities and permeabilities, denoted (ε i , µ i ), i = 1, 2, 3 respectively, are isotropic. The solutions to Eq. (B6) are given in terms of the well-defined solution in each region, i.e.ê i± andĥ i± , as where the coefficients are determined by the continuity conditions, The boundary conditions are typicallyê 3+ → 0,ê 1− → 0 as z → ∞, z → −∞ respectively. Here [e i , e j ] µ = e ′ i e j /µ i − e i e ′ j /µ j and the generalized Wronskians areŴ E i = [ê i+ ,ê i− ] µ . The corresponding TM terms are obtained by making the substitutions e → h, E → H and µ → ε.
The TE contribution to the reduced energy per unit area, with the boundary condition e + (∞) = e − (−∞) = 0, is where the identity has been used. The zz-component of the reduced stress tensor at any z is where the derivatives with respect to z ± act on the e ± related terms, respectively. If we consider only the part depending on the position of the interfaces z = a and z = b, we have and the zz-components of the reduced stress tensor at z = b − and z = b + satisfy The integral over frequency and wavenumbers of this result demonstrates that the principle of virtual work is satisfied. Corresponding contributions from the TM mode are obtained by the substitutions ε ↔ µ andê i± →ĥ i± .
It is well known that divergences (bulk, surface, etc.) plague all kinds of Casimir problems. A finite Casimir force could hardly be obtained without proper subtraction of some unphysical divergences from the stress tensor and energy density of the electromagnetic field, subtraction of which are sometimes referred to as "Lifshitz regularization" for the homogeneous cases.
For the Casimir force in inhomogeneous media, we propose a renormalization scheme. To extract the interaction parts, we analytically extend the material in region II to region I as shown in Fig. 1b, as the reference configuration, which would render the pressure finite.

Homogeneous Cases
As a test of our renormalization scheme, we consider the case where each of the three slabs is homogeneous, which means the equations and solutions for each region are where κ i = ε i µ i ζ 2 + k 2 . Then ∆ E r (a, b) is written as Therefore, the TE contribution to the force per unit area is and its counterpart for TM is obtained with the substitution µ → ε, E → H. This is the DLP formula [3].