Isoperimetric inequality for curves with curvature bounded below (Q2342018): Difference between revisions

A locally convex curve \(\gamma\subset\mathbb{E}^2\) is said to be \(\lambda\)\textit{-convex}, \(\lambda>0\), if at each point \(P\in\gamma\) there exists a circle of radius \(1/\lambda\) such that, in a neighborhood of \(P\), the curve \(\gamma\) lies on the convexity side of the circle. On the other hand, by a \textit{regular curvilinear digon} or \textit{lune} we mean a convex curve \(\gamma_0\) of length \(L\leq2\pi/\lambda\) composed from two equal arcs of the circle of radius \(1/\lambda\). In this paper, the authors prove the following result: Theorem. Let \(\gamma\subset\mathbb{E}^2\) be a closed embedded \(\lambda\)-convex curve. Let \(L\) and \(S\) be, respectively, the length of the curve and the area of the domain that it bounds. Then \[ S\geq\frac{L}{2\lambda}-\frac{1}{\lambda^2}\sin\frac{L\lambda}{2}, \] where the equality case is only attained for the lune \(\gamma_0\).