arXiv ScienceSearch

arXiv · 2401.03983

On characteristic properties of the ellipsoid in terms of circumscribed cones of a convex body

Abstract

We strongly believe that in order to prove two important geometrical pro\-blems in convexity, namely, the G. Bianchi and P. Gruber's Conjecture \cite{bigru} and the J. A. Barker and D. G. Larman's Conjecture \cite{Barker}, it is necessary obtain new characteristic properties of the ellipsoid, which involves the notions defined in such problems. In this work we present a series of results which intent to be a progress in such direction: Let $L,K\subset \mathbb{R}^n$ be convex bodies, $n\geq 3$, and $L$ be a subset in the interior of $K$. Then each of the following conditions i), ii) and iii) implies that $L$ is an ellipsoid. i) $L$ is $O$-symmetric and, for every $x$ in the boundary of $K$, the support cone $S(L,x)$ is ellipsoidal. ii) there exists a point $p\in \mathbb{R}^n$ such that for every $x$ in the boundary of $K$, there exists a point $y$ in the boundary of $K$ and hyperplane $Π$, passing through $p$, such that \[ S(L,x)\cap S(L,y)=Π\cap \textrm{bd } K. \] iii) $K$ and $L$ are $O$-symmetric, every $x$ in the boundary of $K$ is a pole of $L$ and $Ω_x:=S(L,x)\cap S(L,-x)$ is contained in the interior of $K$. In the case ii), $K$ is also an ellipsoid and it is concentric with $L$. On the other hand, let $K\subset \mathbb{R}^n$ be a $O$-symmetric convex body, $n\geq 3$, and let $B$ in $\mathbb{R}^n$ be a ball with centre at $O$. We are going to prove that if $B$ is small enough and all the sections of $K$ given by planes tangent to $B$ are $(n-1)$-ellipsoids, then $K$ is an $n$-ellipsoid.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Efrén Morales-Amaya, Geronimmo Mondragón, Jesús Jerónimo-Castro. 2025-08-15. On characteristic properties of the ellipsoid in terms of circumscribed cones of a convex body. https://doi.org/10.1007/s40590-025-00736-6

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Godbersen's conjecture and the $L_p$-Rogers-Shephard inequality

We prove that the mixed volume of a convex body of fixed positive volume with its reflection about the origin is maximized by simplices. This confirms a conjecture of C. Godbersen from 1938 and refines the classical Rogers-Shephard inequality. We also prove that simplices are the only extremizers among convex polytopes. Finally, we use this inequality to prove an $L_p$-version of the Rogers-Shephard inequality for convex bodies containing the origin and show that, for any $p\in(1,\infty]$, the only extremizers are simplices with a vertex at the origin.

math.MG

Tight Stability Estimates Near the Simplex and Applications for the Banach-Mazur Distance and Rogers-Shephard-Type Inequalities

We establish a tight stability estimate for the Minkowski asymmetry near its maximal value, improving earlier results in both the range for the admissible error and the strength of the estimate. More precisely, if an $n$-dimensional convex body $K$ has Minkowski asymmetry $s(K) \geq n-\varepsilon$ for $\varepsilon \in [0,1)$, then its Banach-Mazur distance to the $n$-simplex is at most \[ 1 + \varepsilon + \frac{\varepsilon^2}{2(1-\varepsilon)}. \] This dimension-independent estimate is sharp to the linear order in $\varepsilon$, including the constant. We apply this estimate to several problems. First, we prove a stability result for the maximal Banach-Mazur distance to the Euclidean ball, improving a previous estimate to the optimal linear order. As a key ingredient, we verify the conjecture that every convex body $K$ contains a translated copy of its volume-minimal circumscribed ellipsoid scaled down by a factor $\sqrt{n s(K)}$. Second, we prove a sharp common generalization of Schneider's higher-order Rogers-Shephard inequality and the $L_p$-Rogers-Shephard inequality, and establish a stability result of the optimal linear order. These results are based on the recent positive answer to the inequality part of the higher-order Godbersen conjecture and the accompanying proof of the $L_p$-Rogers-Shephard inequality. Finally, we improve upper bounds for the diameter of the Banach-Mazur compactum in fixed dimensions.

math.MG

Busemann G-spaces with convex balls

We prove that any Busemann G-space such that every sufficiently small metric ball is convex is a topological manifold. The key ingredient in the proof is Ivanov's Helly theorem. The appendix contains a counterexample to a question of Berestovskii--Halverson--Repovš.

math.MG