The Blaschke-Lebesgue problem for constant width bodies of revolution

Henri Anciaux,Nikos Georgiou

DOI: https://doi.org/10.48550/arXiv.0903.4284

2009-03-25

Abstract:We prove that among all constant width bodies of revolution, the minimum of the ratio of the volume to the cubed width is attained by the constant width body obtained by rotation of the Reuleaux triangle about an axis of symmetry.

Differential Geometry

What problem does this paper attempt to address?

The Minkowski Problem in the Sphere

Qiang Guang,Qi-Rui Li,Xu-Jia Wang

DOI: https://doi.org/10.4310/jdg/1727712892

2024-01-01

Journal of Differential Geometry

Abstract:Given a function f > 0 on the unit sphere n +1 , the Minkowski problem in the sphere concerns the existence of convex hypersurfaces M subset of(n +1) such that the Gauss curvature of M at z is equal to f (v( z )), where v(z) is the unit outer normal of M at z . We use the min-max principle and the Gauss curvature flow to prove that there are at least two solutions to the problem. By using the rotating plane method in the sphere, we also show the existence of a rotationally symmetric and monotone function f such that there are exactly two solutions.
Minimal Rotational Hypersurfaces in Minkowski ( Α , Β )-Space

Ningwei Cui,Yi-Bing Shen

DOI: https://doi.org/10.1007/s10711-010-9517-4

2010-01-01

Geometriae Dedicata

Abstract:In Finsler geometry, minimal surfaces with respect to the Busemann-Hausdorff measure and the Holmes-Thompson measure are called BH-minimal and HT-minimal surfaces, respectively. In this paper, we give the explicit expressions of BH-minimal and HT-minimal rotational hypersurfaces generated by plane curves rotating around the axis in the direction of ${\tilde{\beta}^{\sharp}}$ in Minkowski (α, β)-space ${(\mathbb{V}^{n+1},\tilde{F_b})}$ , where ${\mathbb{V}^{n+1}}$ is an (n+1)-dimensional real vector space, ${\tilde{F_b}=\tilde{\alpha}\phi(\tilde{\beta}/\tilde{\alpha}), \tilde{\alpha}}$ is the Euclidean metric, ${\tilde{\beta}}$ is a one form of constant length ${b:=\|\tilde{\beta}\|_{\tilde{\alpha}}, \tilde{\beta}^{\sharp}}$ is the dual vector of ${\tilde{\beta}}$ with respect to ${\tilde{\alpha}}$ . As an application, we first give the explicit expressions of the forward complete BH-minimal rotational surfaces generated around the axis in the direction of ${\tilde{\beta}^{\sharp}}$ in Minkowski Randers 3-space ${(\mathbb{V}^{3},\tilde{\alpha}+\tilde{\beta})}$ .
Mixed volumes and the Blaschke–Lebesgue theorem

B. Bogosel

DOI: https://doi.org/10.1007/s10474-024-01435-w

2024-06-07

Acta Mathematica Hungarica

Abstract:The mixed area of a Reuleaux polygon and its symmetric with respect to the origin is expressed in terms of the mixed area of two explicit polygons. This gives a geometric explanation of a classical proof due to Chakerian. Mixed areas and volumes are also used to reformulate the minimization of the volume under constant width constraint as isoperimetric problems. In the two dimensional case, the equivalent formulation is solved, providing another proof of the Blaschke–Lebesgue theorem. In the three dimensional case the proposed relaxed formulation involves the mean width, the area and inclusion constraints.

mathematics
The isominwidth problem on the 2-sphere

Ansgar Freyer,Ádám Sagmeister

2024-11-18

Abstract:Pál's isominwidth theorem states that for a fixed minimal width, the regular triangle has minimal area. A spherical version of this theorem was proven by Bezdek and Blekherman, if the minimal width is at most $\tfrac \pi 2$. If the width is greater than $\tfrac \pi 2$, the regular triangle no longer minimizes the area at fixed minimal width. We show that the minimizers are instead given by the polar sets of spherical Reuleaux triangles. Moreover, stability versions of the two spherical inequalities are obtained.

Metric Geometry
Width of convex bodies in hyperbolic space

Marek Lassak

2024-02-26

Abstract:For every hyperplane $H$ supporting a convex body $C$ in the hyperbolic space $\mathbb{H}^d$ we define the width of $C$ determined by $H$ as the distance between $H$ and a most distant ultraparallel hyperplane supporting $C$. We prove that if $\width_H (C) = \Delta (C)$ and if there exists a unique most distant point $j \in C$ from $H$, then the projection of $j$ onto $H$ belongs to $H \cap C$. We verify that the diameter of $C$ equals to the maximum width of $C$. We define bodies of constant width in $\mathbb{H}^d$ in the standard way as bodies whose all widths are equal. We show that every body of constant width is strictly convex. The minimum width of $C$ over all supporting $H$ is called the thickness $\Delta (C)$ of $C$. A convex body $R \subset \mathbb{H}^d$ is said to be reduced if $\Delta (Z) < \Delta (R)$ for every convex body $Z$ properly contained in $R$. We show that regular tetrahedra in $\mathbb{H}^3$ are not reduced. Similarly as in the Euclidean and spherical spaces, we introduce complete bodies and bodies of constant diameter in $\mathbb{H}^d$. We show that every body of constant width $\delta$ is a body of constant diameter $\delta$ and a complete body of diameter $\delta$. Moreover, the two last conditions are equivalent.

Metric Geometry
The Blaschke-Lebesgue theorem revisited

Ryan Hynd

2024-07-11

Abstract:We revisit a classic proof of the Blaschke-Lebesgue theorem. It is based on the support function of a convex curve and the approximation of constant width curves by Reuleaux polygons.

Metric Geometry,Optimization and Control
Asymptotics of Willmore Minimizers with Prescribed Small Isoperimetric Ratio

Ernst Kuwert,Yuxiang Li

DOI: https://doi.org/10.1137/17m1125996

IF: 2.071

2018-01-01

SIAM Journal on Mathematical Analysis

Abstract:We consider surfaces in ${\mathbb R}^3$ of type ${\mathbb S}^2$ which minimize the Willmore functional with prescribed isoperimetric ratio. The existence of smooth minimizers was proved by Schygulla (Archive Rational Mechanics and Analysis, 2012). In the singular limit when the isoperimetric ratio converges to zero, he showed convergence to a double round sphere in the sense of varifolds. Here we give a full blowup analysis of this limit, showing that the two spheres are connected by a catenoidal neck. Besides its geometric interest, the problem was studied as a simplified model in the theory of cell membranes, see e.g. Berndl, Lipowsky, Seifert (Physical Review A, 1991).
On a formula for all sets of constant width in 3d

Bernd Kawohl,Guido Sweers

2023-10-29

Abstract:In the recent paper "On a formula for sets of constant width in 2D", Comm. Pure Appl. Anal. 18 (2019), 2117-2131, we gave a constructive formula for all 2d sets of constant width. Based on this result we derive here a formula for the parametrization of the boundary of bodies of constant width in 3 dimensions, depending on one function defined on S^2. Each such function gives a minimal value r_0 and for all r \ge r_0 one finds a body of constant width 2r. Moreover, we show that all bodies of constant width in 3d have such a parametrization. The last result needs a tool that we describe as 'shadow domain' and that is explained in an appendix. The construction is explicit and and offers a parametrization different from the one given by T. Bayen, T. Lachand-Robert and É. Oudet, "Analytic parametrization of three-dimensional bodies of constant width" in Arch. Ration. Mech. Anal., 186 (2007), 225-249.

Metric Geometry
Small volume bodies of constant width

Andrii Arman,Andriy Bondarenko,Fedor Nazarov,Andriy Prymak,Danylo Radchenko

2024-05-29

Abstract:For every large enough $n$, we explicitly construct a body of constant width $2$ that has volume less than $0.9^n \text{Vol}(\mathbb{B}^{n}$), where $\mathbb{B}^{n}$ is the unit ball in $\mathbb{R}^{n}$. This answers a question of O.~Schramm.

Metric Geometry
On star-convex bodies with rotationally invariant sections

Bartłomiej Zawalski

DOI: https://doi.org/10.1007/s13366-023-00702-1

2024-05-24

Abstract:We will prove that an origin-symmetric star-convex body $K$ with sufficiently smooth boundary and such that every hyperplane section of $K$ passing through the origin is a body of affine revolution, is itself a body of affine revolution. This will give a positive answer to the recent question asked by G. Bor, L. Hernández-Lamoneda, V. Jiménez de Santiago, and L. Montejano-Peimbert, though with slightly different prerequisites.

Metric Geometry
Proof of the Double Bubble Conjecture in R^n

Ben W. Reichardt

DOI: https://doi.org/10.1007/s12220-007-9002-y

2007-05-11

Abstract:The least-area hypersurface enclosing and separating two given volumes in R^n is the standard double bubble.

Metric Geometry
Width Stability of Rotationally Symmetric Metrics

Hunter Stufflebeam,Paul Sweeney Jr

2024-09-21

Abstract:We prove a conjecture of Marques-Neves in <a class="link-https" data-arxiv-id="2103.10093" href="https://arxiv.org/abs/2103.10093">arXiv:2103.10093</a>, and several alternative formulations thereof, about the stability of the min-max width of three-spheres under the additional assumption of rotational symmetry. We can moreover extend our results to all dimensions $n\geqslant 3$.

Differential Geometry,Analysis of PDEs
Reverse isoperimetric properties of thick $λ$-sausages in the hyperbolic plane and Blaschke's rolling theorem

Maria Esteban

2024-11-14

Abstract:In this paper we address the reverse isoperimetric inequality for convex bodies with uniform curvature constraints in the hyperbolic plane $\mathbb{H}^2$. We prove that thethick $\lambda$-sausage body, that is, the convex domain bounded by two equal circular arcs of curvature $\lambda$ and two equal arcs of hypercircle of curvature $1 / \lambda$, is the unique minimizer of area among all bodies $K \subset \mathbb{H}^2$ with a given length and with curvature of $\partial K$ satisfying $1 / \lambda \leq \kappa \leq \lambda$ (in a weak sense). We call this class of bodies thick $\lambda$-concave bodies, in analogy to the Euclidean case where a body is $\lambda$-concave if $0 \leq \kappa \leq \lambda$. The main difficulty in the hyperbolic setting is that the inner parallel bodies of a convex body are not necessarily convex. To overcome this difficulty, we introduce an extra assumption of thickness $\kappa \geq 1/\lambda$. In addition, we prove the Blaschke's rolling theorem for $\lambda$-concave bodies under the thickness assumption. That is, we prove that a ball of curvature $\lambda$ can roll freely inside a thick $\lambda$-concave body. In striking contrast to the Euclidean setting, Blaschke's rolling theorem for $\lambda$-concave domains in $\mathbb{H}^2$ does not hold in general, and thus has not been studied in literature before. We address this gap, and show that the thickness assumption is necessary and sufficient for such a theorem to hold.

Metric Geometry,Differential Geometry
The $\ell_1$ double-bubble problem in three dimensions

Manuel Friedrich,Wojciech Górny,Ulisse Stefanelli

2024-03-28

Abstract:We characterize the unique minimizer of the three-dimensional double-bubble problem with respect to the $\ell_1$-norm for volume ratios between $1/2$ and $2$.

Optimization and Control
Rotational symmetry of Weingarten spheres in homogeneous three-manifolds

José A. Gálvez,Pablo Mira

DOI: https://doi.org/10.1515/crelle-2020-0031

2020-10-08

Journal für die reine und angewandte Mathematik (Crelles Journal)

Abstract:Abstract Let M be a simply connected homogeneous three-manifold with isometry group of dimension 4, and let Σ be any compact surface of genus zero immersed in M whose mean, extrinsic and Gauss curvatures satisfy a smooth elliptic relation Φ ⁢ ( H , K e , K ) = 0 {\Phi(H,K_{e},K)=0} . In this paper we prove that Σ is a sphere of revolution, provided that the unique inextendible rotational surface S in M that satisfies this equation and touches its rotation axis orthogonally has bounded second fundamental form. In particular, we prove that: (i) Any elliptic Weingarten sphere immersed in H 2 × R {\mathbb{H}^{2}\times\mathbb{R}} is a rotational sphere. (ii) Any sphere of constant positive extrinsic curvature immersed in M is a rotational sphere. (iii) Any immersed sphere in M that satisfies an elliptic Weingarten equation H = φ ⁢ ( H 2 - K e ) ≥ a > 0 {H=\phi(H^{2}-K_{e})\geq a>0} with φ bounded, is a rotational sphere. As a very particular case of this last result, we recover the Abresch–Rosenberg classification of constant mean curvature spheres in M .

mathematics
Rigidity of min-max minimal disks in $3$-balls with non-negative Ricci curvature

Laurent Mazet,Abraão Mendes

2023-07-10

Abstract:In this paper we prove a rigidity statement for free boundary minimal surfaces produced via min-max methods. More precisely, we prove that for any Riemannian metric $g$ on the 3-ball $B$ with non-negative Ricci curvature and $\mathrm{II}_{\partial B}\ge g_{|\partial B}$, there exists a free boundary minimal disk $\Delta$ of least area among all free boundary minimal disks in $(B,g)$. Moreover, the area of any such $\Delta$ equals to the width of $(B,g)$, $\Delta$ has index one, and the length of $\partial\Delta$ is bounded from above by $2\pi$. Furthermore, the length of $\partial\Delta$ equals to $2\pi$ if and only if $(B,g)$ is isometric to the Euclidean unit ball. This is related to a rigidity result obtained by F.C. Marques and A. Neves in the closed case. The proof uses a rigidity statement concerning half-balls with non-negative Ricci curvature which is true in any dimension.

Differential Geometry
Lipschitzness of the width and diameter functions of convex bodies in $\mathbb R^n$

Oleg Mushkarov,Nikolai Nikolov,Pascal J. Thomas

2024-06-18

Abstract:Lipschitz constants for the width and diameter functions of a convex body in $\mathbb R^n$ are found in terms of its diameter and thickness (maximum and minimum of both functions). Also, a dual approach to thickness is proposed.

Metric Geometry
Helicoidal minimal surfaces in the 3-sphere: An approach via spherical curves

Ildefonso Castro,Ildefonso Castro-Infantes,Jesús Castro-Infantes

2024-03-01

Abstract:We prove an existence and uniqueness theorem about spherical helicoidal (in particular, rotational) surfaces with prescribed mean or Gaussian curvature in terms of a continuous function depending on the distance to its axis. As an application in the case of vanishing mean curvature, it is shown that the well-known conjugation between the belicoid and the catenoid in Euclidean three-space extends naturally to the 3-sphere to their spherical versions and determine in a quite explicit way their associated surfaces in the sense of Lawson. As a key tool, we use the notion of spherical angular momentum of the spherical curves that play the role of profile curves of the minimal helicoidal surfaces in the 3-sphere.

Differential Geometry

The Blaschke-Lebesgue problem for constant width bodies of revolution

The Minkowski Problem in the Sphere

Minimal Rotational Hypersurfaces in Minkowski ( Α , Β )-Space

Mixed volumes and the Blaschke–Lebesgue theorem

The isominwidth problem on the 2-sphere

Width of convex bodies in hyperbolic space

The Blaschke-Lebesgue theorem revisited

Asymptotics of Willmore Minimizers with Prescribed Small Isoperimetric Ratio

On a formula for all sets of constant width in 3d

Small volume bodies of constant width

On star-convex bodies with rotationally invariant sections

Proof of the Double Bubble Conjecture in R^n

Width Stability of Rotationally Symmetric Metrics

Reverse isoperimetric properties of thick $λ$-sausages in the hyperbolic plane and Blaschke's rolling theorem

The $\ell_1$ double-bubble problem in three dimensions

Rotational symmetry of Weingarten spheres in homogeneous three-manifolds

Rigidity of min-max minimal disks in $3$-balls with non-negative Ricci curvature

Lipschitzness of the width and diameter functions of convex bodies in $\mathbb R^n$

Helicoidal minimal surfaces in the 3-sphere: An approach via spherical curves