English

On the relative isoperimetric problem for the cube

Differential Geometry 2024-11-27 v2

Abstract

In this article, we solve the relative isoperimetric problem in [0,1]3[0,1]^3 for orthogonal polyhedra. Up to isometries of the cube or sets of measure 00, the minimizers are of the form [0,ϵ]3[0,\epsilon]^3, [0,ϵ]2×[0,1][0,\epsilon]^2 \times [0,1], or [0,ϵ]×[0,1]2[0,\epsilon] \times [0,1]^2 for some ϵ>0\epsilon > 0. This should be compared to the conjectured minimizers for the unconstrained relative isoperimetric problem in [0,1]3[0,1]^3, which are (up to isometries and sets of measure 00) of the form (B3(ϵ))[0,1]3\left( B^3(\epsilon) \right) \cap [0,1]^3, (B2(ϵ)×[0,1])[0,1]3\left( B^2(\epsilon) \times [0,1] \right) \cap [0,1]^3, or [0,ϵ]×[0,1]2[0,\epsilon] \times [0,1]^2 for some ϵ>0\epsilon > 0. Here, Bk(ϵ)B^k(\epsilon) is the closed ball in Rk\mathbb{R}^k of radius ϵ\epsilon centered at the origin.

Cite

@article{arxiv.2302.04382,
  title  = {On the relative isoperimetric problem for the cube},
  author = {Gregory R. Chambers and Lawrence Mouillé},
  journal= {arXiv preprint arXiv:2302.04382},
  year   = {2024}
}

Comments

19 pages, 3 figures, comments welcome

R2 v1 2026-06-28T08:35:31.562Z