The proximity force approximation (PFA) has been widely used as a tool to evaluate the Casimir force between smooth objects at small distances. In spite of being intuitively easy to grasp, it is generally believed to be an uncontrolled approximation. Indeed, its validity has only been tested in particular examples, by confronting its predictions with the next-to-leading-order (NTLO) correction extracted from numerical or analytical solutions obtained without using the PFA. In this article we show that the PFA and its NTLO correction may be derived within a single framework, as the first two terms in a derivative expansion. To that effect, we consider the Casimir energy for a vacuum scalar field with Dirichlet conditions on a smooth curved surface described by a function c in front of a plane. By regarding the Casimir energy as a functional of c , we show that the PFA is the leading term in a derivative expansion of this functional. We also obtain the general form of the corresponding NTLO correction, which involves two derivatives of c . We show, by evaluating this correction term for particular geometries, that it properly reproduces the known corrections to PFA obtained from exact evaluations of the energy.

A recently proposed path-integral bosonization scheme for massive fermions in 3 dimensions is extended by keeping the full momentum-dependence of the one-loop vacuum polarization tensor. This makes it possible to discuss both the massive and massless fermion cases on an equal footing, and moreover the results it yields for massless fermions are consistent with the ones of another, seemingly different, canonical quantization approach to the problem of bosonization for a massless fermionic field in 3 dimensions.