Research  Open  Published:
On containment measure and the mixed isoperimetric inequality
Journal of Inequalities and Applicationsvolume 2013, Article number: 540 (2013)
Abstract
We first investigate whether for given convex domains ${K}_{0}$, ${K}_{1}$ in the Euclidean plane, for any rotation α, there is a translation x so that $x+\alpha {K}_{1}\subset {K}_{0}$ or $x+\alpha {K}_{1}\supset {K}_{0}$. Then, we estimate the mixed isoperimetric deficit ${\mathrm{\Delta}}_{2}({K}_{0},{K}_{1})$ of domains ${K}_{0}$ and ${K}_{1}$ via the known kinematic formulas of Poincaré and Blaschke in integral geometry. We obtain the sufficient condition for domain ${K}_{0}$ to contain, or to be contained in, convex domain $x+\alpha {K}_{1}$. Finally, we obtain the mixed isoperimetric inequality and some Bonnesenstyle mixed inequalities. Those Bonnesenstyle mixed inequalities obtained are the known Bonnesenstyle inequalities if one of the domains is a disc. As a direct consequence, we obtain the strengthened Bonnesen isoperimetric inequality.
MSC:52A10, 52A22.
1 Introductions and preliminaries
A set of points K in the Euclidean space ${R}^{n}$ is convex if for all $x,y\in K$ and $0\le \lambda \le 1$, $\lambda x+(1\lambda )y\in K$. The convex hull ${K}^{\ast}$ of K is the intersection of all convex sets that contain K. The Minkowski sum of convex sets K and L is defined by
and the scalar product of convex set K for $\lambda \ge 0$ is defined by
A homothety of a convex set K is of the form $x+\lambda K$ for $x\in {R}^{n}$, $\lambda >0$. A convex body is a compact convex set with nonempty interior. A domain is a set with nonempty interior.
One may be interested in the following strong containment problem: Whether for given convex domains ${K}_{0}$ and ${K}_{1}$, there exists a translation x so that $x+\alpha {K}_{0}\subset {K}_{1}$ or $x+\alpha {K}_{1}\subset {K}_{0}$ for any rotation α. It should be noted that this containment problem is much stronger than Hadwiger’s one. Therefore, the strong containment problem could lead to general and fundamental geometric inequalities (cf. [1–9]).
The wellknown classical isoperimetric problem says that the disc encloses the maximum area among all domains of fixed perimeters in the Euclidean plane ${R}^{2}$.
Proposition 1 Let Γ be a simple closed curve of length P in the Euclidean plane ${R}^{2}$, then the area A of the domain K enclosed by Γ satisfies
The equality sign holds if and only if Γ is a circle.
Its analytic proofs root back to centuries ago. One 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 (cf. [1, 3–5, 10–53]).
The isoperimetric deficit
measures the difference between domain K of area A and perimeter P, and a disc of radius $P/2\pi $.
During the 1920s, Bonnesen proved a series of inequalities of the form
where the quantity ${B}_{K}$ is an invariant of geometric significance having the following basic properties:

1.
${B}_{K}$ is nonnegative;

2.
${B}_{K}$ is vanish only when K is a disc.
Many ${B}_{K}$s are found during the past. The main interest is still focusing on those unknown invariants of geometric significance. See references [3–5, 12, 17, 23, 31, 32, 36] for more details. The following Bonnesen’s isoperimetric inequality is well known.
Proposition 2 Let K be a domain of area A, bounded by a simple closed curve of perimeter P in the Euclidean plane ${R}^{2}$. Let r and R be, respectively, the maximum inscribed radius and minimum circumscribed radius of K. Then we have the following Bonnesen’s isoperimetric inequality:
where the equality holds if and only if K is a disc.
Since for any domain K in ${R}^{2}$, its convex hull ${K}^{\ast}$ increases the area ${A}^{\ast}$ and decreases the perimeter ${P}^{\ast}$, that is, ${A}^{\ast}\ge A$ and ${P}^{\ast}\le P$, then we have ${P}^{2}4\pi A\ge {{P}^{\ast}}^{2}4\pi {A}^{\ast}$, that is, ${\mathrm{\Delta}}_{2}(K)\ge {\mathrm{\Delta}}_{2}({K}^{\ast})$. Therefore, the isoperimetric inequality and the Bonnesenstyle inequality are valid for all domains in ${R}^{2}$ if these inequalities are valid for convex domains.
In this paper, we first investigate the stronger containment problem: Whether for given convex bodies ${K}_{0}$, ${K}_{1}$ in the Euclidean plane ${R}^{2}$, there is a translation x so that $x+\alpha {K}_{0}\subset {K}_{1}$ or $x+\alpha {K}_{1}\subset {K}_{0}$ for any rotation α. Then we investigate the mixed isoperimetric deficit ${\mathrm{\Delta}}_{2}({K}_{0},{K}_{1})$ of domains ${K}_{0}$ and ${K}_{1}$.
Definition 1 Let ${K}_{0}$ and ${K}_{1}$ be two domains of areas ${A}_{0}$ and ${A}_{1}$, and of perimeters ${P}_{0}$ and ${P}_{1}$, respectively. Then the mixed isoperimetric deficit of ${K}_{0}$ and ${K}_{1}$ is defined as
Since the convex hull ${K}^{\ast}$ of a set K in the Euclidean plane ${R}^{2}$ decreases the circum perimeter and increases the area, we have
Therefore, we can only consider the convex domains when we estimate the mixed isoperimetric deficit low bound.
Via the kinematic formulas of Poincaré and Blaschke in integral geometry, we obtain sufficient conditions for convex domain ${K}_{1}$ to contain, or to be contained in, another convex domain ${K}_{0}$ for a translation x and any rotation α (Theorem 1 and Theorem 2). We obtain the mixed isoperimetric inequality and some Bonnesenstyle mixed inequalities (Theorem 3, Theorem 4, Corollary 2, Corollary 3, Corollary 4, Theorem 5 and Theorem 6). One immediate consequence of our results is the strengthening Bonnesen isoperimetric inequality (Corollary 3). These new Bonnesenstyle mixed inequalities obtained are fundamental and generalize some known Bonnesenstyle inequalities (Corollary 5).
2 The containment measure
Let ${K}_{k}$ ($k=0,1$) be two domains of areas ${A}_{k}$ with simple boundaries of perimeters ${P}_{k}$ in the Euclidean plane ${R}^{2}$. Let dg denote the kinematic density of the group ${G}_{2}$ of rigid motions, that is, translations and rotations, in ${R}^{2}$. Let ${K}_{1}$ be convex, and let $t{K}_{1}$ ($t\in (0,+\mathrm{\infty})$) be a homothetic copy of ${K}_{1}$, then we have the known kinematic formula of Poincaré (cf. [3, 36])
where $n\{\partial {K}_{0}\cap t\partial (g{K}_{1})\}$ denotes the number of points of intersection $\partial {K}_{0}\cap t\partial (g{K}_{1})$.
Let ${m}_{n}$ be the kinematic measure of the set of positions g, for which $t\partial (g{K}_{1})$ has exactly n intersection points with $\partial {K}_{0}$, i.e., ${m}_{n}=m\{g\in {G}_{2}:n\{\partial ({K}_{0})\cap t\partial (g{K}_{1})\}=n\}$. Notice that the measure ${m}_{n}=0$ for the odd n, then the formula of Poincaré can be rewritten as
that is,
We consider the homothetic copy $t{K}_{1}$ ($t\in (0,+\mathrm{\infty})$) of ${K}_{1}$.
Let $\chi ({K}_{0}\cap t(g{K}_{1}))$ be the EulerPoincaré characteristics of the intersection ${K}_{0}\cap t(g{K}_{1})$. From the Blaschke’s kinematic formula (cf. [3, 36]):
we have
The formula of Poincaré (7) and the formula of Blaschke (9) give
Since all ${m}_{k}$ are nonnegative, we have
On the other hand, since domains ${K}_{k}$ ($k=0,1$) are assumed to be simply connected and bounded by simple curves, we have $\chi ({K}_{0}\cap t(g{K}_{1}))=n(g)=$ the number of connected components of the intersection ${K}_{0}\cap g(t{K}_{1})$. The fundamental kinematic formula of Blaschke (8) can be rewritten as
If μ denotes set of all positions of ${K}_{1}$, in which either $t(g{K}_{1})\subset {K}_{0}$ or $t(g{K}_{1})\supset {K}_{0}$, then the above formula of Blaschke can be rewritten as
When $\partial {K}_{0}\cap t\partial (g{K}_{1})\ne \mathrm{\varnothing}$, each component of ${K}_{0}\cap t(g{K}_{1})$ is bounded by at least an arc of $\partial {K}_{0}$ and an arc of $t\partial (g{K}_{1})$. Therefore, $n(g)\le \phantom{\rule{0.25em}{0ex}}n\{\partial {K}_{0}\cap t\partial (g{K}_{1})\}/2$. Then by formulas of Poincaré and Blaschke, we obtain
Therefore, this inequality immediately gives the following answer for the strong containment problem (cf. [1–9, 17, 36, 50, 54–60]).
Theorem 1 Let ${K}_{k}$ ($k=0,1$) be two domains of areas ${A}_{k}$ with simple boundaries of perimeters ${P}_{k}$ in ${R}^{2}$. Let ${K}_{1}$ be convex. A sufficient condition for $t{K}_{1}$ to contain, or to be contained in, another domain ${K}_{0}$ for a translation and any rotation, is
Moreover, if ${t}^{2}{A}_{1}\ge {A}_{0}$, then $t{K}_{1}$ contains ${K}_{0}$.
As a direct consequence of Theorem 1, we have the following analog of Ren’s theorem (cf. [36, 50, 58–60]).
Theorem 2 Let ${K}_{k}$ ($k=0,1$) be two convex domains with areas ${A}_{k}$ and perimeters ${P}_{k}$. Denote by ${\mathrm{\Delta}}_{2}({K}_{k})={P}_{k}^{2}4\pi {A}_{k}$ the isoperimetric deficit of ${K}_{k}$. Then a sufficient condition for $t{K}_{1}$, a homothetic copy of the convex domain ${K}_{1}$, to contain domain ${K}_{0}$ for a translation and any rotation, is
Proof Condition (15) means that $t{P}_{1}>{P}_{0}$ and
By Theorem 1, we conclude that $t{K}_{1}$ either contains ${K}_{0}$ or is contained in ${K}_{0}$. This inequality also leads to
The isoperimetric inequality guarantees that ${t}^{2}{A}_{1}>{A}_{0}$. We complete the proof of the theorem. □
3 Bonnesenstyle mixed inequalities
Let ${r}_{01}=max\{t:t(g{K}_{1})\subseteq {K}_{0},g\in {G}_{2}\}$, the maximum inscribed radius of ${K}_{0}$ with respect to ${K}_{1}$, and ${R}_{01}=min\{t:t(g{K}_{1})\supseteq {K}_{0},g\in {G}_{2}\}$, the minimum circum scribed radius of ${K}_{0}$ with respect to ${K}_{1}$. Note that ${r}_{01}$, ${R}_{01}$ are, respectively, the maximum inscribed radius, the minimum circum radius of ${K}_{0}$ when ${K}_{1}$ is the unit disc. It is obvious that ${r}_{01}\le {R}_{01}$. Therefore, for $t\in [{r}_{01},{R}_{01}]$ neither $t{K}_{1}$ contains ${K}_{0}$ nor it is contained in ${K}_{0}$. Then by Theorem 1, we have the following.
Theorem 3 Let ${K}_{k}$ ($k=0,1$) be two convex domains with areas ${A}_{k}$ and perimeters ${P}_{k}$. Then
When ${K}_{1}$ is the unit disc, this reduces to the following known Bonnesen inequality (cf. [3, 9, 31, 36, 61]).
Corollary 1 Let K be a convex domain with a simple boundary ∂K of length P and area A. Denote by R and r, respectively, the radius of the minimum circumscribed disc and radius of the maximum inscribed disc of K. Then
By the two special cases of inequality (17):
we obtain the following.
Theorem 4 Let ${K}_{k}$ ($k=0,1$) be two convex domains in the Euclidean plane ${R}^{2}$ with areas ${A}_{k}$ and perimeters ${P}_{k}$. If ${K}_{1}$ is convex, then
where the equality holds if and only if ${r}_{01}={R}_{01}$, that is, ${K}_{0}$ and ${K}_{1}$ are discs.
Proof By inequalities (19), we have
Since
therefore,
We complete the proof of Theorem 4. □
The following Kotlyar’s inequality (cf. [3, 24]) is an immediate consequence of Theorem 4.
Corollary 2 (Kotlyar)
Let ${K}_{k}$ ($k=0,1$) be two domains in ${R}^{2}$ with areas ${A}_{k}$ and perimeters ${P}_{k}$. If ${K}_{1}$ is convex, then
where the equality holds if and only if both ${K}_{0}$ and ${K}_{1}$ are discs.
Let ${K}_{1}$ be the unit disc, then Theorem 4 immediately leads to the following inequality that strengthens the Bonnesen isoperimetric inequality (4).
Corollary 3 Let K be a domain of area A, bounded by a simple closed curve of length P in the Euclidean plane ${R}^{2}$. Let r and R be, respectively, the inscribed radius and circumscribed radius of K, then
where the equality holds if and only if K is a disc.
One immediate consequence of Theorem 4 is the following mixed isoperimetric inequality:
where the equality holds if and only if ${K}_{0}$ and ${K}_{1}$ are discs.
One may wish to consider the following Bonnesenstyle mixed inequality:
where ${B}_{{K}_{0},{K}_{1}}$ is an invariant of ${K}_{0}$ and ${K}_{1}$. ${B}_{{K}_{0},{K}_{1}}$ is, of course, assumed to be nonnegative and vanishes only when both ${K}_{0}$ and ${K}_{1}$ are discs.
The inequality (17) can be rewritten as the following several inequalities:
Therefore, we obtain the following Bonnesenstyle mixed inequalities.
Corollary 4 Let ${K}_{k}$ ($k=0,1$) be two convex domains in the Euclidean plane ${R}^{2}$ with areas ${A}_{k}$ and perimeters ${P}_{k}$. Then for ${r}_{01}\le t\le {R}_{01}$, we have
Each inequality holds as an equality if and only if both ${K}_{0}$ and ${K}_{1}$ are discs.
On the other hand, let us consider the following Bonnesen quadratic polynomial
It is clear that ${B}_{{K}_{0},{K}_{1}}(0)>0$ and ${B}_{{K}_{0},{K}_{1}}(+\mathrm{\infty})>0$. If ${K}_{1}$ is convex, then the mixed isoperimetric inequality guarantees that two roots $\frac{{P}_{0}{P}_{1}\pm \sqrt{{\mathrm{\Delta}}_{2}({K}_{0},{K}_{1})}}{4\pi {A}_{1}}$ of ${B}_{{K}_{0},{K}_{1}}(t)=0$ exist and satisfy
The condition for existence of root(s) of the Bonnesen quadratic equation ${B}_{{K}_{0},{K}_{1}}(t)=0$ is the following symmetric mixed isoperimetric inequality:
The Bonnesen function ${B}_{{K}_{0},{K}_{1}}(t)=2\pi {A}_{1}{t}^{2}{P}_{0}{P}_{1}t+2\pi {A}_{0}$ attains minimum value $\frac{{\mathrm{\Delta}}_{2}({K}_{0},{K}_{1})}{8\pi {A}_{1}}$ at $t=\frac{{P}_{0}{P}_{1}}{4\pi {A}_{1}}$. The Bonnesen quadratic trinomial has only one root when ${\mathrm{\Delta}}_{2}({K}_{0},{K}_{1})=0$. This means that both ${K}_{0}$ and ${K}_{1}$ are discs. This immediately leads to the following results.
Theorem 5 Let ${K}_{k}$ ($k=0,1$) be two convex domains of areas ${A}_{k}$ and perimeters ${P}_{k}$ in ${R}^{2}$. Then
Theorem 6 Let ${K}_{k}$ ($k=0,1$) be two convex domains of areas ${A}_{k}$ and perimeters ${P}_{k}$ in the Euclidean plane ${R}^{2}$. Then we have
Each equality holds if and only if ${K}_{0}$ and ${K}_{1}$ are discs.
The following known Bonnesenstyle inequalities are immediate consequences of Corollary 4, Theorem 5 and Theorem 6 when letting ${K}_{1}$ be the unit disc (cf. [3, 9, 12, 23, 31, 32, 36, 58, 62]).
Corollary 5 Let K be a plane domain of area A, bounded by a simple closed curve of length P. Let r and R be, respectively, the inradius and outradius of K. Then for any disc of radius t, $r\le t\le R$, we have the following Bonnesenstyle inequalities:
Each equality holds if and only if K is a disc.
It should be noted that the first inequality in (27) is due to Bonnesen, and he only derived some inequalities for 2dimensional case and never had any progress for higher dimensions or 2dimensional surface of constant curvature. One would be interested in the situations in higher dimensional space ${R}^{n}$ and in the surface of constant curvature. Related development in those areas can be found in [26, 35, 37, 63–66] and [58]. More details for the isoperimetric inequality and Bonnesen style inequalities can be found in [67–80].
References
 1.
Hadwiger H: Die isoperimetrische Ungleichung in Raum. Elem. Math. 1948, 3: 25–38.
 2.
Hadwiger H: Vorlesungen über Inhalt, Oberfläche und Isoperimetrie. Springer, Berlin; 1957.
 3.
Santaló LA: Integral Geometry and Geometric Probability. AddisonWesley, Reading; 1976.
 4.
Zhou J: A kinematic formula and analogous of Hadwiger’s theorem in space. Contemp. Math. 1992, 140: 159–167.
 5.
Zhou J:The sufficient condition for a convex body to enclose another in ${\mathbf{R}}^{4}$. Proc. Am. Math. Soc. 1994, 121(3):907–913.
 6.
Zhou J:Kinematic formulas for mean curvature powers of hypersurfaces and Hadwiger’s theorem in ${\mathbf{R}}^{2n}$. Trans. Am. Math. Soc. 1994, 345(1):243–262.
 7.
Zhou J:When can one domain enclose another in ${\mathbf{R}}^{3}$. J. Aust. Math. Soc. A 1995, 59(2):266–272. 10.1017/S1446788700038660
 8.
Zhou J: Sufficient conditions for one domain to contain another in a space of constant curvature. Proc. Am. Math. Soc. 1998, 126: 2797–2803. 10.1090/S000299399804369X
 9.
Zhou J: On Bonnesentype inequalities. Acta Math. Sinica (Chin. Ser.) 2007, 50(6):1397–1402.
 10.
Banchoff TF, Pohl WF: A generalization of the isoperimetric inequality. J. Differ. Geom. 1971, 6: 175–213.
 11.
Bokowski J, Heil E: Integral representation of quermassintegrals and Bonnesenstyle inequalities. Arch. Math. 1986, 47: 79–89. 10.1007/BF01202503
 12.
Burago YD, Zalgaller VA: Geometric Inequalities. Springer, Berlin; 1988.
 13.
Chen W, Howard R, Lutwak E, Yang D, Zhang G: A generalized affine isoperimetric inequality. J. Geom. Anal. 2004, 14(4):597–612. 10.1007/BF02922171
 14.
Croke C: A sharp fourdimensional isoperimetric inequality. Comment. Math. Helv. 1984, 59(2):187–192.
 15.
Diskant V: A generalization of Bonnesen’s inequalities. Sov. Math. Dokl. 1973, 14: 1728–1731. (Transl. of Dokl. Akad. Nauk SSSR 213 (1973))
 16.
Enomoto K:A generalization of the isoperimetric inequality on ${S}^{2}$ and flat tori in ${S}^{3}$. Proc. Am. Math. Soc. 1994, 120(2):553–558.
 17.
Grinberg, E, Ren, D, Zhou, J: The symmetric isoperimetric deficit and the containment problem in a plane of constant curvature. Preprint
 18.
Grinberg E: Isoperimetric inequalities and identities for k dimensional crosssections of convex bodies. Math. Ann. 1991, 291: 75–86. 10.1007/BF01445191
 19.
Grinberg E, Zhang G: Convolutions, transforms, and convex bodies. Proc. Lond. Math. Soc. 1999, 78: 77–115. 10.1112/S0024611599001653
 20.
Gysin L: The isoperimetric inequality for nonsimple closed curves. Proc. Am. Math. Soc. 1993, 118(1):197–203. 10.1090/S0002993919931079698X
 21.
Howard R: The sharp Sobolev inequality and the BanchoffPohl inequality on surfaces. Proc. Am. Math. Soc. 1998, 126: 2779–2787. 10.1090/S0002993998043366
 22.
Hsiang WY: An elementary proof of the isoperimetric problem. Chin. Ann. Math., Ser. A 2002, 23(1):7–12.
 23.
Hsiung CC: Isoperimetric inequalities for twodimensional Riemannian manifolds with boundary. Ann. Math. 1961, 73(2):213–220.
 24.
Kotlyar BD: On a geometric inequality. Ukr. Geom. Sb. 1987, 30: 49–52.
 25.
Ku H, Ku M, Zhang X: Isoperimetric inequalities on surfaces of constant curvature. Can. J. Math. 1997, 49: 1162–1187. 10.4153/CJM1997057x
 26.
Li M, Zhou J: An upper limit for the isoperimetric deficit of convex set in a plane of constant curvature. Sci. China Math. 2010, 53(8):1941–1946. 10.1007/s1142501040183
 27.
Li P, Yau ST: A new conformal invariant and its applications to the Willmore conjecture and the first eigenvalue of compact surfaces. Invent. Math. 1982, 69: 269–291. 10.1007/BF01399507
 28.
Lutwak E, Yang D, Zhang G:Sharp affine ${L}_{p}$ Sobolev inequality. J. Differ. Geom. 2002, 62: 17–38.
 29.
Lutwak E, Yang D, Zhang G: A new ellipsoid associated with convex bodies. Duke Math. J. 2000, 104(3):375–390. 10.1215/S0012709400104322
 30.
Lutwak E: On the BlaschkeSantaló inequality. Ann. New York Acad. Sci. 440. Discrete Geometry and Convexity 1985, 106–112.
 31.
Osserman R: The isoperimetric inequality. Bull. Am. Math. Soc. 1978, 84: 1182–1238. 10.1090/S000299041978145534
 32.
Osserman R: Bonnesenstyle isoperimetric inequality. Am. Math. Mon. 1979, 86: 1–29. 10.2307/2320297
 33.
Pleijel A: On konvexa kurvor. Nord. Mat. Tidskr. 1955, 3: 57–64.
 34.
Polya G, Szego G Annals of Mathematics Studies 27. In Isoperimetric Inequalities in Mathematical Physics. Princeton University Press, Princeton; 1951.
 35.
Rajala K, Zhong X:Bonnesen’s inequality for John domains in ${R}^{n}$. J. Funct. Anal. 2012, 263(11):3617–3640. 10.1016/j.jfa.2012.09.004
 36.
Ren D: Topics in Integral Geometry. World Scientific, Singapore; 1994.
 37.
SangwineYager JR: Mixe volumes. A. In Handbook of Convex Geometry. Edited by: Gruber P, Wills J. NorthHolland, Amsterdam; 1993:43–71.
 38.
SangwineYager JR: A Bonnesenstyle in radius inequality in 3space. Pac. J. Math. 1988, 134(1):173–178. 10.2140/pjm.1988.134.173
 39.
Schneider R: Convex Bodies: The BrunnMinkowski Theory. Cambridge University Press, Cambridge; 1993.
 40.
Stone A: On the isoperimetric inequality on a minimal surface. Calc. Var. Partial Differ. Equ. 2003, 17(4):369–391. 10.1007/s0052600201749
 41.
Tang D: Discrete Wirtinger and isoperimetric type inequalities. Bull. Aust. Math. Soc. 1991, 43: 467–474. 10.1017/S0004972700029312
 42.
Teissier B: Bonnesentype inequalities in algebraic geometry, I. Introduction to the problem. In Seminar on Differential Geometry Edited by: Yau ST. 1982, 85–105.
 43.
Teufel E: A generalization of the isoperimetric inequality in the hyperbolic plane. Arch. Math. 1991, 57(5):508–513. 10.1007/BF01246751
 44.
Teufel E: Isoperimetric inequalities for closed curves in spaces of constant curvature. Results Math. 1992, 22: 622–630. 10.1007/BF03323109
 45.
Wei S, Zhu M: Sharp isoperimetric inequalities and sphere theorems. Pac. J. Math. 2005, 220(1):183–195. 10.2140/pjm.2005.220.183
 46.
Weiner JL: A generalization of the isoperimetric inequality on the 2sphere. Indiana Univ. Math. J. 1974, 24: 243–248. 10.1512/iumj.1975.24.24021
 47.
Weiner JL: Isoperimetric inequalities for immersed closed spherical curves. Proc. Am. Math. Soc. 1994, 120(2):501–506. 10.1090/S00029939199411633374
 48.
Yau ST: Isoperimetric constants and the first eigenvalue of a compact manifold. Ann. Sci. Éc. Norm. Super. 1975, 8(4):487–507.
 49.
Yau ST: Sobolev inequality for measure space. In Tsing Hua Lectures on Geometry and Analysis. International Press, Cambridge; 1997:299–313.
 50.
Zhang G, Zhou J: Containment measures in integral geometry. In Integral Geometry and Convexity. World Scientific, Singapore; 2006:153–168.
 51.
Zhang XM: Bonnesenstyle inequalities and pseudoperimeters for polygons. J. Geom. 1997, 60: 188–201. 10.1007/BF01252226
 52.
Zhang XM: Schurconvex functions and isoperimetric inequalities. Proc. Am. Math. Soc. 1998, 126(2):461–470. 10.1090/S0002993998041513
 53.
Zhao L, Ma L, Zhou J: A geometric application of the Wirtinger inequality. J. Math. (Wuhan) 2011, 31(5):887–890.
 54.
Zhou J: On Willmore inequality for submanifolds. Can. Math. Bull. 2007, 50(3):474–480. 10.4153/CMB20070474
 55.
Zhou J: On the Willmore deficit of convex surfaces. Lectures in Applied Mathematics of Amer. Math. Soc. 30. Tomography, Impedance Imaging, and Integral Geometry 1994, 279–287.
 56.
Zhou J, Chen F: The Bonnesentype inequalities in a plane of constant curvature. J. Korean Math. Soc. 2007, 44(6):1–10.
 57.
Zhou J:The Willmore functional and the containment problem in ${R}^{4}$. Sci. China Ser. A 2007, 50(3):325–333. 10.1007/s1142500700290
 58.
Zhou J, Ren D: Geometric inequalities from the viewpoint of integral geometry. Acta Math. Sci. Ser. A Chin. Ed. 2010, 30(5):1322–1339.
 59.
Zeng C, Zhou J, Yue S: The symmetric mixed isoperimetric inequality of two planar convex domains. Acta Math. Sin. 2012, 55(2):355–362.
 60.
Zhou J, Ma L, Xu W: On the isoperimetric deficit upper limit. Bull. Korean Math. Soc. 2013, 50(1):175–184. 10.4134/BKMS.2013.50.1.175
 61.
Bonnesen T: Les probléms des isopérimétres et des isépiphanes. GauthierVillars, Paris; 1929.
 62.
Grinberg E, Li S, Zhang G, Zhou J: Integral geometry and convexity. In Proceedings of the 1st International Conference on Integral Geometry and Convexity Related Topics. World Scientific, Singapore; 2006.
 63.
Fuglede B:Stability in the isoperimetric problem for convex or nearly spherical domains in ${R}^{n}$. Trans. Am. Math. Soc. 1989, 314: 619–638.
 64.
Fusco N, Gelli MS, Pisante G: On a Bonnesen type inequality involving the spherical deviation. J. Math. Pures Appl. 2012, 98(6):616–632.
 65.
Fusco N, Maggi F, Pratelli A: The sharp quantitative isoperimetric inequality. Ann. Math. 2008, 168(3):941–980. 10.4007/annals.2008.168.941
 66.
Zeng C, Ma L, Zhou J: The Bonnesen isoperimetric inequality in a surface of constant curvature. Sci. China Math. 2012, 55(9):1913–1919. 10.1007/s114250124405z
 67.
Blaschke W: Vorlesungen über Intergralgeometrie. 3rd edition. Deutsch. Verlag Wiss., Berlin; 1955.
 68.
Blaschke W: Kreis und Kugel. de Gruyter, Berlin; 1956.
 69.
Bonnesen T, Fenchel W: Theorie der konvexen Köeper. 2nd edition. Springer, Berlin; 1974.
 70.
Bottema O: Eine obere Grenze für das isoperimetrische Defizit ebener Kurven. Nederl. Akad. Wetensch. Proc. 1933, A66: 442–446.
 71.
Flanders H: A proof of Minkowski’s inequality for convex curves. Am. Math. Mon. 1968, 75: 581–593. 10.2307/2313773
 72.
Hardy G, Littlewood JE, Polya G: Inequalities. Cambridge University Press, Cambridge; 1951.
 73.
Howard R: Blaschke’s rolling theorem for manifolds with boundary. Manuscr. Math. 1999, 99(4):471–483. 10.1007/s002290050186
 74.
Koutrouieiotis D: On Blaschke’s rolling theorems. Arch. Math. 1972, 21(1):655–660.
 75.
Zhang G: The affine Sobolev inequality. J. Differ. Geom. 1999, 53: 183–202.
 76.
Zhang G: Geometric inequalities and inclusion measures of convex bodies. Mathematika 1994, 41: 95–116. 10.1112/S0025579300007208
 77.
Zhang, G: Convex Geometric Analysis. Preprint
 78.
Zhou J, Xia Y, Zeng C: Some new Bonnesenstyle inequalities. J. Korean Math. Soc. 2011, 48(2):421–430. 10.4134/JKMS.2011.48.2.421
 79.
Zhou J, Du Y, Cheng F: Some Bonnesenstyle inequalities for higher dimensions. Acta Math. Sin. 2012, 28(12):2561–2568. 10.1007/s1011401296576
 80.
Zhou J, Zhou C, Ma F: Isoperimetric deficit upper limit of a planar convex set. Rend. Circ. Mat. Palermo Suppl. 2009, 81: 363–367.
Acknowledgements
Authors would like to thank two anonymous referees for many helpful comments and suggestions that directly lead to the improvement of the original manuscript. The corresponding author is supported in part by the NSFC (No. 11271302) and the Ph.D. Program of Higher Education Research Fund (No. 2012182110020).
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Authors’ original submitted files for images
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 convex set
 containment measure
 mixed isoperimetric deficit
 mixed isoperimetric inequality
 Bonnesenstyle mixed inequality