- Research
- Open Access
Bonnesen-style symmetric mixed inequalities
- Pengfu Wang^{1, 2},
- Miao Luo^{1, 3} and
- Jiazu Zhou^{1}Email author
https://doi.org/10.1186/s13660-016-1146-5
© Wang et al. 2016
- Received: 3 January 2016
- Accepted: 12 August 2016
- Published: 2 September 2016
Abstract
In this paper, we investigate the symmetric mixed isoperimetric deficit \(\Delta_{2}(K_{0},K_{1})\) of domains \(K_{0}\) and \(K_{1}\) in the Euclidean plane \(\mathbb{R}^{2}\). Via the known kinematic formulae of Poincaré and Blaschke in integral geometry, we obtain some Bonnesen-style symmetric mixed inequalities. These new Bonnesen-style symmetric mixed inequalities are known as Bonnesen-style inequalities if one of the domains is a disc. Some inequalities obtained in this paper strengthen the known Bonnesen-style inequalities.
Keywords
- isoperimetric inequality
- symmetric mixed isoperimetric deficit
- symmetric mixed isoperimetric inequality
- Bonnesen-style symmetric mixed inequality
MSC
- 52A10
- 52A22
1 Introductions and preliminaries
The classical isoperimetric problem can root back to Ancient Greece. However, a rigorous mathematical proof of the isoperimetric inequality was obtained during the 19th century (see [2, 5–11]). We can find some simplified and beautiful proofs that lead to generalizations of the discrete case, higher dimensions, the surface of constant curvature, and applications to other branches of mathematics [1, 4, 12–34].
Proposition 1.1
Many Bonnesen-style inequalities have been found during the past, and mathematicians are still working on unknown Bonnesen-style inequalities of geometric significance. See [1, 3, 4, 12–16, 19–29, 32, 33, 35–46] for more references.
Containment theorem
Let \(r_{01}^{g}=\max\{t: t(gK_{1})\subseteq K_{0}; g\in G_{2}\}\) and \(R_{01}^{g}=\min\{t: t(gK_{1})\supseteq K_{0}; g\in G_{2}\}\) be the inradius of \(K_{0}\) with respect to \(K_{1}\) and the outradius of \(K_{0}\) with respect to \(K_{1}\), respectively. It is obvious that \(r_{01}^{g}\leq R_{01}^{g}\). Since both \(r_{01}^{g}\) and \(R_{01}^{g}\) are rigid invariant, we simply call them the relative inradius and the relative outradius and denote them \(r_{01}\) and \(R_{01}\), respectively. Note that if \(K_{1}\) is the unit disc, then the relative inradius \(r_{01}\) and the relative outradius \(R_{01}\) become the inscribed radius r and the circumscribed radius R of \(K_{0}\), respectively.
When \(K_{1}\) is the unit disc, then symmetric mixed isoperimetric inequality (1.19) reduces to the isoperimetric inequality (1.9).
The purpose of this paper is to find some new Bonnesen-style symmetric mixed isoperimetric inequalities that strengthen the known Bonnesen-style inequalities.
2 Bonnesen-style symmetric mixed inequality
For any two plane domains \(K_{k}\) (\(k=0,1\)) of areas \(A_{k}\) with simple boundaries of perimeters \(P_{k}\), the convex hulls \(K_{k}^{*}\) of \(K_{k}\) increase the areas \(A_{k}^{*}\) and decrease the perimeters \(P_{k}^{*}\), that is, \(A_{k}^{*}\ge A_{k}\) and \(P_{k}^{*}\le P_{k}\), so that \(P_{0}^{2}P_{1}^{2}-16\pi^{2} A_{0}A_{1}\ge{P_{0}^{*}}^{2}{P_{1}^{*}}^{2}-16\pi^{2} A_{0}^{*}A_{1}^{*}\), that is, \(\Delta_{2}(K_{0},K_{1})\ge\Delta_{2}(K_{0}^{*},K_{1}^{*})\). Therefore, the symmetric mixed isoperimetric inequality and Bonnesen-type symmetric mixed inequality are valid for all domains with simple boundaries in \(\mathbb{R}^{2}\) if these inequalities are valid for convex domains. Hence, from now on, we only consider convex domains when we estimate the lower bounds of the symmetric mixed isoperimetric deficit.
Lemma 2.1
Proof
Remark 2.1
An analogue of inequality (2.1) can already be found in Bol’s work. A complete proof of the analogous inequality (2.1) with equality conditions is given by Böröczky et al. [50] and Luo et al. [51].
When \(K_{1}\) is the unit disc, inequality (2.1) reduces to the following known Bonnesen inequality (see [4, 7, 20, 41]).
Corollary 2.1
Lemma 2.2
Proof
Corollary 2.2
Proof
When \(t=\frac{P_{0}P_{1}}{4\pi A_{1}}\) in (2.16), we immediately obtain (2.17). From the proof of Lemma 2.2 we see that the equality holds in (2.17) if and only if the equalities hold in (2.1) when \(t=R_{01}\) and \(t=\frac{P_{0}P_{1}}{4\pi A_{1}}\), that is, \(R_{01}\) and \(\frac{P_{0}P_{1}}{4\pi A_{1}}\) are roots of the equation \(B_{K_{0},K_{1}}(t)=2\pi A_{1} t^{2}-P_{0}P_{1} t +2\pi A_{0}=0\). It is obvious that \(B_{K_{0},K_{1}}(t)\) reaches the minimum at \(t=\frac{P_{0}P_{1}}{4\pi A_{1}}\), therefore, there is only one root \(R_{01}=\frac{P_{0}P_{1}}{4\pi A_{1}}\) for the equation \(B_{K_{0},K_{1}}(t)=0\), that is, the determinant \(P_{0}^{2}P_{1}^{2}-16\pi^{2}A_{0}A_{1}=0\). By the symmetric mixed isoperimetric inequality (1.19), \(K_{0}\) and \(K_{1}\) are discs. □
Letting \(t=r_{01}\) in inequality (2.16), we immediately obtain the following:
Theorem 2.1
The following Kotlyar inequality (see [17, 40, 47–49]) is an immediate consequence of Theorem 2.1.
Corollary 2.3
When \(t=R_{01}\) in inequality (2.16), we immediately have the following:
Theorem 2.2
We also have the following:
Lemma 2.3
Proof
Corollary 2.4
Letting \(t =R_{01}\) in inequality (2.21), we obtain Theorem 2.1.
When \(t =r_{01}\) in inequality (2.21), we have the following Bonnesen-style symmetric mixed inequality.
Theorem 2.3
The lower bound of symmetric mixed isoperimetric deficit in inequality (2.18) or (2.20) is the maximum of the function \(f(t)\). The lower bound of symmetric mixed isoperimetric deficit in inequality (2.18) or (2.23) is the maximum of the function \(g(t)\). Which one is the best lower bound of symmetric mixed isoperimetric deficit in inequalities (2.18), (2.20), and (2.23)?
When \(K_{1}\) is the unit disc, these Bonnesen-style symmetric mixed inequalities immediately lead to the following known Bonnesen-style inequalities of Burago, Grinberg, Hsiung, Hadwiger, Osserman, Zhou, and Ren (see [9, 12, 16, 20, 21, 41, 44]).
Corollary 2.5
Declarations
Acknowledgements
The corresponding author is supported in part by the NSFC (No. 11271302) and the PhD Program of Higher Education Research Fund (No. 2012182110020). The first author and the second author are supported in part by NSFC (No. 11401486).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Schneider, R: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press, Cambridge (1993) View ArticleMATHGoogle Scholar
- Blaschké, W: Vorlesungen über Intergral Geometrie, 3rd edn. Deutsch. Verlag Wiss., Berlin (1955) Google Scholar
- Hadwiger, H: Vorlesungen über Inhalt, Oberfläche und Isoperimetrie. Springer, Berlin (1957) View ArticleMATHGoogle Scholar
- Santaló, LA: Integral Geometry and Geometric Probability. Addison-Wesley, Reading (1976) MATHGoogle Scholar
- Banchoff, T, Pohl, W: A generalization of the isoperimetric inequality. J. Differ. Geom. 6, 175-213 (1971) MathSciNetMATHGoogle Scholar
- Bokowski, J, Heil, E: Integral representation of quermassintegrals and Bonnesen-style inequalities. Arch. Math. 4, 79-89 (1986) MathSciNetView ArticleMATHGoogle Scholar
- Bonnesen, T: Les problèmes des isopérimètres et des isépiphanes. Gauthier-Villars, Paris (1929) MATHGoogle Scholar
- Bottema, O: Eine obere Grenze für das isoperimetrische Defizit ebener Kurven. Ned. Akad. Wet. Proc. 66, 442-446 (1933) MATHGoogle Scholar
- Burago, YD, Zalgaller, VA: Geometric Inequalities. Springer, Berlin (1988) View ArticleMATHGoogle Scholar
- Diskant, V: A generalization of Bonnesen’s inequalities. Sov. Math. Dokl. 14, 1728-1731 (1973) MATHGoogle Scholar
- Enomoto, K: A generalization of the isoperimetric inequality on \(S^{2}\) and flat tori in \(S^{3}\). Proc. Am. Math. Soc. 120, 553-558 (1994) MathSciNetMATHGoogle Scholar
- Grinberg, E, Li, S, Zhang, G, Zhou, J: Integral Geometry and Convexity. Proceedings of the International Conference. World Scientific, Wuhan (2006) View ArticleGoogle Scholar
- Gysin, L: The isoperimetric inequality for nonsimple closed curves. Proc. Am. Math. Soc. 118, 197-203 (1993) MathSciNetView ArticleMATHGoogle Scholar
- Hadwiger, H: Die isoperimetrische Ungleichung in Raum. Elem. Math. 3, 25-38 (1948) MathSciNetMATHGoogle Scholar
- Howard, R: The sharp Sobolev inequality and the Banchoff-Pohl inequality on surfaces. Proc. Am. Math. Soc. 126, 2779-2787 (1998) MathSciNetView ArticleMATHGoogle Scholar
- Hsiung, CC: Isoperimetric inequalities for two-dimensional Riemannian manifolds with boundary. Ann. Math. 73, 213-220 (1961) MathSciNetView ArticleMATHGoogle Scholar
- Kotlyar, BD: On a geometric inequality. Ukr. Geom. Sb. 30, 49-52 (1987) MathSciNetMATHGoogle Scholar
- Ku, H, Ku, M, Zhang, X: Isoperimetric inequalities on surfaces of constant curvature. Can. J. Math. 49, 1162-1187 (1997) MathSciNetView ArticleMATHGoogle Scholar
- Li, M, Zhou, J: An isoperimetric deficit upper bound of the convex domain in a surface of constant curvature. Sci. China Math. 53, 1941-1946 (2010) MathSciNetView ArticleMATHGoogle Scholar
- Osserman, R: The isoperimetric inequality. Bull. Am. Math. Soc. 84, 1182-1238 (1978) MathSciNetView ArticleMATHGoogle Scholar
- Osserman, R: Bonnesen-style isoperimetric inequality. Am. Math. Mon. 86, 1-29 (1979) MathSciNetView ArticleMATHGoogle Scholar
- Pleijel, A: On konvexa kurvor. Nord. Math. Tidskr. 3, 57-64 (1955) MathSciNetGoogle Scholar
- Polya, G, Szegö, G: Isoperimetric Inequalities in Mathematical Physics. Ann. Math. Studies. Princeton University Press, Princeton (1951) View ArticleMATHGoogle Scholar
- Stone, A: On the isoperimetric inequality on a minimal surface. Calc. Var. Partial Differ. Equ. 17, 369-391 (2003) MathSciNetView ArticleMATHGoogle Scholar
- Tang, D: Discrete Wirtinger and isoperimetric type inequalities. Bull. Aust. Math. Soc. 43, 467-474 (1991) MathSciNetView ArticleMATHGoogle Scholar
- Teufel, E: A generalization of the isoperimetric inequality in the hyperbolic plane. Arch. Math. 57, 508-513 (1991) MathSciNetView ArticleMATHGoogle Scholar
- Teufel, E: Isoperimetric inequalities for closed curves in spaces of constant curvature. Results Math. 22, 622-630 (1992) MathSciNetView ArticleMATHGoogle Scholar
- Wei, S, Zhu, M: Sharp isoperimetric inequalities and sphere theorems. Pac. J. Math. 220, 183-195 (2005) MathSciNetView ArticleMATHGoogle Scholar
- Weiner, J: A generalization of the isoperimetric inequality on the 2-sphere. Indiana Univ. Math. J. 24, 243-248 (1974) MathSciNetView ArticleMATHGoogle Scholar
- Weiner, J: Isoperimetric inequalities for immersed closed spherical curves. Proc. Am. Math. Soc. 120, 501-506 (1994) MathSciNetView ArticleMATHGoogle Scholar
- Yau, ST: Isoperimetric constants and the first eigenvalue of a compact manifold. Ann. Sci. Éc. Norm. Supér. 8, 487-507 (1975) MathSciNetMATHGoogle Scholar
- Zhang, X-M: Bonnesen-style inequalities and pseudo-perimeters for polygons. J. Geom. 60, 188-201 (1997) MathSciNetView ArticleMATHGoogle Scholar
- Zhang, X-M: Schur-convex functions and isoperimetric inequalities. Proc. Am. Math. Soc. 126, 461-470 (1998) MathSciNetView ArticleMATHGoogle Scholar
- Zhang, G, Zhou, J: Containment measures in integral geometry. In: Integral Geometry and Convexity, pp. 153-168. World Scientific, Singapore (2006) View ArticleGoogle Scholar
- Gao, X: A note on the reverse isoperimetric inequality. Results Math. 59, 83-90 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Gao, X: A new reverse isoperimetric inequality and its stability. Math. Inequal. Appl. 15, 733-743 (2012) MathSciNetMATHGoogle Scholar
- Pan, S, Tang, X, Wang, X: A refined reverse isoperimetric inequality in the plane. Math. Inequal. Appl. 13, 329-338 (2010) MathSciNetMATHGoogle Scholar
- Pan, S, Zhang, H: A reverse isoperimetric inequality for closed strictly convex plane curves. Beitr. Algebra Geom. 48, 303-308 (2007) MathSciNetMATHGoogle Scholar
- Xia, Y, Xu, W, Zhou, J, Zhu, B: Reverse Bonnesen style inequalities in a surface \(X_{\epsilon}^{2}\) of constant curvature. Sci. China Math. 56, 1145-1154 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Zeng, C, Zhou, J, Yue, S: The symmetric mixed isoperimetric inequality of two planar convex domains. Acta Math. Sin. 55, 355-362 (2012) MathSciNetMATHGoogle Scholar
- Zhou, J: Plan Bonnesen-type inequalities. Acta Math. Sin. 50, 1397-1402 (2007) MATHGoogle Scholar
- Zhou, J, Du, Y, Cheng, F: Some Bonnesen-style inequalities for higher dimensions. Acta Math. Sin. 28, 2561-2568 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Zhou, J, Ma, L, Xu, W: On the isoperimetric deficit upper limit. Bull. Korean Math. Soc. 50, 175-184 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Zhou, J, Ren, D: Geometric inequalities - from integral geometry point of view. Acta Math. Sci. 30, 1322-1339 (2010) MathSciNetView ArticleMATHGoogle Scholar
- Zhou, J, Xia, Y, Zeng, C: Some new Bonnesen-style inequalities. J. Korean Math. Soc. 48, 421-430 (2011) MathSciNetView ArticleMATHGoogle Scholar
- Zhou, J, Zhou, C, Ma, F: Isoperimetric deficit upper limit of a planar convex set. Rend. Circ. Mat. Palermo (2) Suppl. 81, 363-367 (2009) MathSciNetGoogle Scholar
- Wang, P, Xu, W, Zhou, J, Zhu, B: On Bonnesen-style symmetric mixed inequality of two planar convex domains. Sci. China Math. 45, 245-254 (2015) Google Scholar
- Xu, W, Zhou, J, Zhu, B: Bonnesen-style symmetric mixed isoperimetric inequality. In: Real and Complex Submanifolds. Springer Proceedings in Mathematics and Statistics, vol. 106, pp. 97-107 (2014) Google Scholar
- Xu, W, Zhou, J, Zhu, B: On containment measure and the mixed isoperimetric inequality. J. Inequal. Appl. 2013, 540 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Böröczky, K, Lutwak, E, Yang, D, Zhang, G: The log-Brunn-Minkowski inequality. Adv. Math. 231, 1974-1997 (2012) MathSciNetView ArticleMATHGoogle Scholar
- Luo, M, Xu, W, Zhou, J: Translative containment measure and symmetric mixed isohomothetic inequalities. Sci. China Math. 58, 2593-2610 (2015) MathSciNetView ArticleMATHGoogle Scholar