Related papers: A note on Hurwitz's inequality

The classical isoperimetric inequality in the Euclidean plane $\mathbb{R}^2$ states that for a simple closed curve $M$ of the length $L_{M}$, enclosing a region of the area $A_{M}$, one gets \begin{align*} L_{M}^2\geqslant 4\pi A_{M}.…

We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…

In this paper we provide a Bonnesen-style inequality which gives a lower bound for the isoperimetric deficit corresponding to a closed convex curve in terms of some geometrical invariants of this curve. Moreover we give a geometrical…

For a Minkowski centered convex compact set $K$ we define $\alpha(K)$ to be the smallest possible factor to cover $K \cap (-K)$ by a rescalation of $\mathrm{conv} (K\cup (-K))$ and give a complete description of the possible values of…

We prove a collection of reverse Alexandrov-Fenchel type inequalities in anisotropic, Euclidean, spherical, and hyperbolic settings. The unifying principle is that the relevant deficit is controlled by curvature radius data, or equivalently…

Let $X$ be a Banach space or more generally a complete metric space admitting a conical geodesic bicombing. We prove that every closed $L$-Lipschitz curve $\gamma:S^1\rightarrow X$ may be extended to an $L$-Lipschitz map defined on the…

For a non-empty compact set $E$ in a proper subdomain $\Omega$ of the complex plane, we denote the diameter of $E$ and the distance from $E$ to the boundary of $\Omega$ by $d(E)$ and $d(E,\partial\Omega),$ respectively. The quantity…

The Faber-Krahn deficit $\delta\lambda$ of an open bounded set $\Omega$ is the normalized gap between the values that the first Dirichlet Laplacian eigenvalue achieves on $\Omega$ and on the ball having same measure as $\Omega$. For any…

Often some interesting or simply curious points are left out when developing a theory. It seems that one of them is the existence of an upper bound for the fraction of area of a convex and closed plane area lying outside a circle with which…

In this paper, we first prove a compactness theorem for the space of closed embedded $f$-minimal surfaces of fixed topology in a closed three-manifold with positive Bakry-\'{E}mery Ricci curvature. Then we give a Lichnerowicz type lower…

We establish an integral formula on a smooth, precompact domain in a Kahler manifold. We apply this formula to study holomorphic extension of CR functions. Using this formula we prove an isoperimetric inequality in terms of a positive lower…

In this paper we consider the problem of minimizing the relative perimeter under a volume constraint in the interior of a convex body, i.e., a compact convex set in Euclidean space with interior points. We shall not impose any regularity…

The famous Minkowski inequality provides a sharp lower bound for the mixed volume $V(K,M[n-1])$ of two convex bodies $K,M\subset\mathbb{R}^n$ in terms of powers of the volumes of the individual bodies $K$ and $M$. The special case where $K$…

We consider the analogue of Hurwitz curves, smooth projective curves $C$ of genus $g \ge 2$ that realize equality in the Hurwitz bound $|\mathrm{Aut}(C)| \le 84 (g - 1)$, to smooth compact quotients $S$ of the unit ball in $\mathbb{C}^2$.…

Given a hyperplane $H$ cutting a compact, convex body $K$ of positive Lebesgue measure through its centroid, Gr\"unbaum proved that $$\frac{|K\cap H^+|}{|K|}\geq \left(\frac{n}{n+1}\right)^n,$$ where $H^+$ is a half-space of boundary $H$.…

We investigate isoperimetric inequalities for Lipschitz 2-spheres in CAT(0) spaces, proving bounds on the volume of efficient null-homotopies. In one dimension lower, it is known that a quadratic inequality with a constant smaller than…

Let $\Omega$ be a bounded domain with convex boundary in a complete noncompact Riemannian manifold with Bakry-\'Emery Ricci curvature bounded below by a positive constant. We prove a lower bound of the first eigenvalue of the weighted…

For compact Riemannian manifolds with convex boundary, B.White proved the following alternative: Either there is an isoperimetric inequality for minimal hypersurfaces or there exists a closed minimal hypersurface, possibly with a small…

By explicitly constructing the Hilbert space, Higuchi showed that there is a lower bound on the mass of a minimally-coupled free spin-2 field on a curved background \cite{HiguchiBound}. Using the vacuum persistence amplitude, we show that…

We study harmonic and quasi-harmonic discs in metric spaces admitting a uniformly local quadratic isoperimetric inequality for curves. The class of such metric spaces includes compact Lipschitz manifolds, metric spaces with upper or lower…