Frank Morgan

In Rⁿ or in a Riemannian manifold, one may consider regions R with density given by an integrable nonnegative function g, with volume ∫_R g. If everything is smooth, the perimeter is given by ∫_∂R g, or more generally by Stokes’ Theorem. For finite perimeter, these are the so-called normal currents of geometric measure theory. All of this can be done in a manifold with density f (unrelated to g).

In Rⁿ, if you allow regions with density, there is no isoperimetric optimum for given volume, because large balls with low (constant) densities approach perimeter 0; similarly in any space for which P/V has no minimum. In a space of finite volume, such as Gauss space Gⁿ (Rⁿ with Gaussian density) there is an optimum: the whole space with appropriate constant density has perimeter 0. At the other extreme, in R with density exp(x³), a left halfline with high density approaches perimeter 0.

Note that if a region with density is isoperimetric, it remains so for all multiples of that density.

In principle one may allow regions with variable density f, the variability contributing to the boundary, but since any such region is an integral of regions R_d = {f ≥ d} with constant density d, one need consider only regions with constant density.

For a manifold with density with isoperimetric profile P = I(V), the least-perimeter region with density with unit volume just minimizes cI(1/c); in a space of infinite volume its perimeter to volume ratio is the Cheeger constant inf P/V.

In R² with density exp(r²), where classical isoperimetric regions are balls about the origin, among regions with density the isoperimetric optimum for every area is the same disc of radius r ~ 1.1 (solution to exp(r²) = 2r² + 1) with appropriate constant density.

Proposition. In Rⁿ with smooth, uniformly log-convex radial density f(r), an isoperimetric region with density exists.

Continue reading ‘Isoperimetric Regions with Density’ »