Abstract
General integral geometric invariants for convex bodies are introduced and two integral geometric inequalities for them are established. The equality cases for the inequalities are kinematic formulas, which are characterizations of integral geometric valuations. Those characterizations are analogues of Hadwiger’s characterization theorem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The principal kinematic formula is one of cornerstones in the classical integral geometry, which is now associated with the names of Blaschke, Santaló and Chern. It deals with integral mean values for distinguished geometric functionals with respect to the invariant measure on the group of proper rigid motions in the Euclidean space \(\mathbb {R}^n\). When restricted to convex bodies, that is, compact convex sets with nonempty interiors, it involves the intrinsic volumes \(V_j \ (j\in \{0,\ldots , n\})\). To be more specific, let \(G_n\) denote the motion group of \(\mathbb {R}^n\), and let dg be the invariant measure of \(G_n\) whose restriction to the rotation group is the invariant probability measure and the restriction to the translation group is the Lebegue measure. Then the principal kinematic formula says that (see [16])
where K, M are in \(\mathcal {K}\), the class of convex bodies in \(\mathbb {R}^n\), and the constant
is expressed in terms of specific values of the Gamma function.
Related to the kinematic formula is the Crofton formula, which involves an integration over \(\tilde{G}_{k,n}\), the affine Grassmann manifold of k-dimensional planes in \(\mathbb {R}^n\). Then for \(K\in \mathcal {K}\) (see [16])
where \(k\in \{0,\ldots ,n\}\) and \(j\in \{0,\ldots ,k\}\), \(d\xi _k\) of \(\tilde{G}_{k,n}\) is normalized so that \(\omega _{n-k}\), the volume of the \((n-k)\)-dimensional unit ball, is the measure of the set of k-dimensional planes hitting the unit ball B in \(\mathbb {R}^n\).
For the principal kinematic formula and the Crofton formula, there are different versions, such as differential-geometric versions [15], versions for support and curvature measures [17].
The following important formula is closely related to (1.2), which is involved in the integrals of square of volumes of higher dimensional sections of convex bodies, and was shown by Blaschke and Varga [3] in \(\mathbb {R}^3\) and by Zhang [21] in \(\mathbb {R}^n\)
where \(\omega _n\) denotes the volume of the unit ball in \(\mathbb {R}^n\), \(\xi _1\) denotes a random line and \(V_k(K\cap \xi _k)\) denotes the k-dimensional volume of the intersection \(K\cap \xi _k\).
The right-hand side of (1.3) leads us to the frequently studied random chords of convex bodies, which are known as chord power integrals with the definition
The chord power integrals are fundamental geometric invariants. They are generations of the surface area S(K) and the volume V(K) of convex body K (see [21]). The inequalities of chord power integrals are important topics in convex geometry which imply the relationship among some important geometric invariants. Let K be a convex body of fixed volume in \(\mathbb R^n\), then for \(1<p<n+1\), the ball maximizes the chord power integrals, that is,
while for \(0\le p<1\) or \(p>n+1\), the ball minimizes the chord power integrals, that is,
where \(b_p\) is a sharp constant which can be computed as \(I_p(B)/\omega _n^{(n+p-1)/n}\), where B is the unit ball. Each equality holds if and only if K is a ball.
The classical isoperimetric inequality involving the surface area and the volume of K in \(\mathbb R^n\) is a special case \(p=0\) of (1.6). When p is the positive integer, then (1.5) and (1.6) are due to Ren [14]. Zhang [18] generalized the inequalities to any positive real number p.
Making the critical use of chord power integrals, Zhang [19] established the reverse Petty projection inequality, which is now known as the Zhang projection inequality (see [16]). In [21], Zhang established dual kinematic formulas for chord power integrals by using the dual quermassintegrals which generalized the famous Crofton-Hadwiger formula. The rapid developments of these integral formulas are motivated by their wide applications in stochastic geometry [17], geometric probabilities [15] and projection functions [17]. See [4, 18, 20] for more applications.
The theory of valuations on convex sets, with traditionally strong relations to integral geometry, has been an active and prominent part of mathematics (see [5, 9]). A real function \(\varphi : \mathcal {K}\rightarrow \mathbb {R}\) is called a valuation if
whenever \(K,L,K\cup L, K\cap L\in \mathcal {K}\). Probably the most famous result on valuations is the following Hadwiger’s characterization theorem.
Hadwiger’s characterization theorem If the function \(\varphi : \mathcal {K}\rightarrow \mathbb {R}\) is a valuation, continuous, and invariant under rigid motions, then
with constants \(c_0,\ldots ,c_n\).
The first proof of Hadwiger’s characterization theorem has been given in [7], then a brief one was presented by Klain [11]. Hadwiger’s characterization theorem was the starting point for many results in the modern theory of valuations. For example, Alesker established a complete classification of continuous and merely translation invariant valuations, which laid the foundation for a new theory of algebraic integral geometry (see [1, 2]). Ludwig and Reitzner [12] established an affine version of Hadwiger’s characterization theorem, and they also established a complete classification of SL(n) invariant valuations and asked for a centro-affine version in a landmark work [13], which was completely solved by Haberl and Parapatits [6]. Besides, Hadwiger’s characterization theorem and its generalizations lead to effortless proofs of numerous results in integral geometry, including various kinematic formulas and the mean projection formulas for convex bodies (see [8, 9, 15,16,17]).
The intrinsic volumes are valuations which induce the following important integral geometric invariants mentioned above
They are special integral geometric valuations, which can be formulated by the linear combination of the intrinsic volumes from Hadwiger’s characterization theorem.
Motivated by the fact that (1.8) are valuations, it is very interesting to know whether the following intrinsic volumes power integrals are valuations or not
The classical integral geometry mainly studies kinematic formulas and valuations, and they rarely involve inequality. However, (1.3), (1.4) and (1.5) yield the inequality
where \(\tilde{b}_{k+1}=b_{k+1}/(2k+2)\) is a constant, with equality if and only if K is a ball.
(1.10) is an important inequality with the integrals of square of the volume of intersections which inspires us to consider the inequality with the integrals of higher power of intrinsic volumes of intersections, such as the integrals of p-th power of intrinsic volumes in (1.9), or we consider the following more general integral geometric invariants. That is, suppose K, M are convex bodies in \(\mathbb R^n\) and function \(f: [0,\infty )\longrightarrow [0,\infty )\) is right continuous at 0, then we define \(I_{k,j}(f;K)\) and \( I_{j}(f; K,M)\) as
and
where \(k\in \{0,\ldots ,n\}\) and \(j\in \{0,\ldots ,k\}\).
It is impossible to obtain general kinematic formulas for \(I_{k,j}(f;K)\) and \( I_{j}(f; K,M)\). But there are probably integral geometric inequalities for them. Furthermore, a natural question to ask is
Problem
Are the general integral geometric invariants \(I_{k,j}(f;K)\) and \( I_{j}(f; K,M)\), respectively, are valuations? How are these general integral geometric invariants related to fundamental invariants \(V_j\) and kinematic formulas?
Let \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex or concave and right continuous at 0, for \(K,M\in \mathcal {K}\), we then prove that \(I_{k,j}(f;K)\) and \( I_{j}(f; K,M)\) are both valuations if and only if f(x) is linear in an interval. It follows immediately that the chord power integrals \(I_p(K)\) are valuations if and only if \(p=0,1\).
Then the following theorems give some answers to the Problem, each of them contains integral geometric inequality, kinematic formula and integral geometric valuation characterization.
Theorem 1.1
Let \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex and right continuous at 0, and let K be a convex body in \(\mathbb R^n\) and \(m_1=\max \{V_j(K\cap \xi _k):\xi _k\in \tilde{G}_{k,n}\}\). Then
with equality if and only if \(I_{k,j}(f;K)\) is a valuation, in this case, if and only if f(x) is linear in the interval \([0,m_1]\).
Theorem 1.2
Let \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex and right continuous at 0, and let K, M be convex bodies in \(\mathbb R^n\) and \(m_2=\max \{V_j(K\cap gM):g\in G_n\}\). Then
with equality if and only if \( I_{j}(f; K,M)\) is a valuation in the variable M, in this case, if and only if f(x) is linear in the interval \([0,m_2]\).
It should be noticed that the classical kinematic formulas are the equality cases in Theorems 1.1 and 1.2. To be more specific, the Crofton formula (1.2) and its special case \(j=0\) characterize the integral geometric valuation \(I_{k,j}(f;K)\), and the principal kinematic formula (1.1) and its special case \(j=0\) characterize the integral geometric valuation \( I_{j}(f; K,M)\). Those characterizations are analogues of Hadwiger’s characterization theorem with certain coefficients, which can not be induced directly by Hadwiger’s characterization theorem.
If the function \(f:[0, \infty )\rightarrow [0,\infty )\) is concave and right continuous at 0, then (1.13) and (1.14) hold with the inequalities sign reversed. However, for general function f in (1.11) and (1.12), under what conditions \(I_{k,j}(f;K)\) and \( I_{j}(f; K,M)\) are valuations and their specific forms of Hadwiger’s characterization theorem are unknown.
2 Preliminaries
As a rule, let B be the unit ball in \(\mathbb {R}^n\) and its boundary is denoted by \(S^{n-1}\). We write \( \omega _n \) and \(\alpha _{n-1}\) for the volume of B and the surface area of \(S^{n-1} \) in \(\mathbb {R}^n\), respectively, with the representation
where \(\Gamma (\cdot )\) is the Gamma function, and \(\alpha _{n-1}=n\omega _n\).
A convex body is a compact convex subset of \(\mathbb {R}^n\) with non-empty interiors. The set of convex bodies in \(\mathbb {R}^n\) is denoted by \(\mathcal {K}\). For \(K\in \mathcal {K}\), we denote by V(K) the volume and by S(K) the surface area of K. If K is a Borel subset of \(\mathbb {R}^n\) and it is contained in an k-dimensional affine subspace of \(\mathbb {R}^n\) but in no affine subspace of lower dimensional, the \(V_k(K)\) will denote the k-dimensional Lebesgue measure of K. In this paper, for \(K,L\in \mathcal {K}\), we always assume that \(K\cup L\in \mathcal {K}\).
If K, L are compact convex sets in \(\mathbb {R}^n\) and \(\lambda \ge 0\), the Minkowski sum\(K+\lambda L\) is defined by
For \(\varepsilon \ge 0\), the volume \(V(K+\varepsilon B)\) is given by Steiner formula
For \(j\in \{0,\ldots ,n\}\), the coefficients \(V_j(K)\) depend only on K and are called j-th intrinsic volumes of K. In particular, \(V_0(K)\) is the Euler characteristic (that is, \(V_0(K)=1\) for \(K\ne \emptyset \) and \(V_0(\emptyset )=0\)), and
and \(V_j(K)\) is homogeneous of degree j, that is, for \(\alpha > 0\),
The intrinsic volumes have the monotope property, for \(K\subseteq L\), then
We need the following kinematic formulas, the special cases \(j=0\) of (1.1) and (1.2), respectively, (see [15, 16])
and
The formula (2.2) is called the \({ fundamental}\ { kinematic}\ { formula}\). Its differential-geometric version is due to Chern (see [15]) and its dual form is estabished by Zhang [21].
The investigation of convex sets is closely tied up with convex functions. A function \(f:\mathbb {R}\longrightarrow \mathbb {R}\) is called convex if
for \(x_1,x_2\in \mathbb {R}\) and \(\lambda \in [0,1]\) and with equality if and only if all x are equal or f(x) is linear in an interval including all the x. (see [10, p. 75]). A function f is concave if \(-f\) is convex. Here we say a linear function if it is of the form
where a and b are constants, and a is frequently referred to as the slope of the line.
3 Two auxiliary inequalities
In this section we prove two elemental inequalities that will be needed in the following sections. Throughout the paper, we always assume \(f(0)\in \mathbb {R}\).
Lemma 3.1
Let \(f:\ [0,\infty )\longrightarrow \mathbb {R}\) be convex and right continuous at 0, then for real numbers \(a,b,c\ge 0\) and \(c\le \min \{a,b\}\), we have
with equality if and only if f(x) is linear in an interval including all the x or \(a=b=c\).
Proof
For convenience, we always asume that \(a\le b\). From the assumption we have \(c\le a\le b\le a+b-c\). There exists \(\lambda \in [0, 1]\) such that
The previous formula can be written as
By the convexity of f we have
This yields the desired.
If \(a=b=c\) or f(x) is a linear function in an interval including all the x, it is easy to see that the equality in (3.1) holds. Conversely, if the equality in (3.1) holds, then we have \(a=b=c\), or f(x) is a linear function in an interval including all the x which follows from the equality condition of convex function. \(\square \)
Lemma 3.2
Let \(f:\ [0,\infty )\longrightarrow \mathbb {R}\) be convex and right continuous at 0, then
with inequality if and only if f(x) is linear in an interval including all the x.
Proof
Let \(x,y\in (0, \infty )\) and \(y\le x\), by the convexity of f, we have
hence
Let \(y\longrightarrow 0\) and then
for \(x\in (0,\infty )\). That’s the desired inequality.
With equality holds in (3.2) if and only if the equality holds in (3.3), then f(x) must be a linear function in an interval including all the x which follows from the equality condition of convex function. \(\square \)
4 Valuation and inequality for \(I_{k,j}(f;K)\)
Let \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex and right continuous at 0, then a functional \(I_{k,j}(f;\cdot ): \mathcal {K}\rightarrow \mathbb {R}\) is given by
where \(k\in \{0,\ldots ,n \}\), \(j\in \{0,\ldots ,k \}\) and \(K\in \mathcal {K}\). Recall that \(V_k(K\cap \xi _k)\) and \(V_0(K\cap \xi _k)\) are the k-dimensional volume and Euler characteristic of \(K\cap \xi _k\), respectively.
Let
Then we have the following theorems.
Theorem 4.1
Let \(K\in \mathcal {K}\) and \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex and right continuous at 0, then \(I_{k,j}(f;K)\) is a valuation if and only if f(x) is linear on \([0,m_1]\).
Proof
Let \(K,L\in \mathcal K\). Recall that \(K\cup L\in \mathcal {K}\), then \(K\cap \xi _k, L\cap \xi _k, (K\cap L)\cap \xi _k, (K\cup L)\cap \xi _k\) are convex bodies in \(\xi _k\). By the fact that the intrinsic volumes are valuations in \(\xi _k\), we have
Since \(\left( (K\cap L)\cap \xi _k\right) \subseteq \left( K\cap \xi _k\right) \) and \(\left( (K\cap L)\cap \xi _k\right) \subseteq \left( L\cap \xi _k\right) \), by (2.1) we get
with equality if and only if \(K\subseteq L\) or \(L\subseteq K\).
From Lemma 3.1 we have
By (4.2), the previous formula can be rewritten as
Via the definition of \(I_{k,j}(f;K)\) we have
From equality condition in Lemma 3.1 we have
if and only if f(x) is a linear function on \([0,m_1]\). \(\square \)
Let \(f(t)=t^p\ (p\ge 0)\) in (4.1), then
From Theorem 4.1, we get the following corollary immediately.
Corollary 4.2
For \(K\in \mathcal {K}\), then \(I_{k,j;p}(K)\) is a valuation if and only if \(p=0,1\).
Finally, we get an analog of Hadwiger characterization theorem.
Theorem 4.3
Let \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex and right continuous at 0, for \(K\in \mathcal {K}\) we have
with equality if and only if \(I_{k,j}(f;K)\) is a valuation, in this case, if and only if f(x) is linear in the interval \([0,m_1]\).
Proof
From \(f:\ [0,\infty )\longrightarrow [0,\infty )\) is convex and right continuous at 0, let \(x=V_j(K\cap \xi _k)\) in Lemma 3.2 we then have
This along with the definition (4.1), we have
By (1.2) and (2.3) we thus get
The equality condition in (4.4) is equivalent to that in (4.5), that is, f(x) is a linear function on \([0,m_1]\). From Theorem 4.1 we know that \(I_{k,j}(f;K)\) must be a valuation. \(\square \)
5 Valuation and inequality for \(I_{j}(f;K,M)\)
Let \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex and right continuous at 0, then we fix a convex body \(K\in \mathcal {K}\) and define a functional by
for \(j\in \{0,\ldots ,n \}\) and \(M\in \mathcal {K}\).
Let
Theorem 5.1
Let \(K,M\in \mathcal {K} \) and \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex and right continuous at 0, then \(I_{j}(f;K,M)\) is a valuation in the variable M if and only if f(x) is linear on \([0,m_2]\).
Proof
For convex bodies \(K,L\in \mathcal {K}\) such that \(K\cup L\in \mathcal {K}\), then we have [16, p. 140]
Then, for \(K,M,N\in \mathcal {K}\) and \(M\cup N\in \mathcal {K}\), (5.2) implies
Since the intrinsic volumes are valuations, then
This leads to
By Lemma 3.1 again we get
Integrating both sides over \(G_n\), we have
That is
Therefore, by equality condition in Lemma 3.1 we get
only and if only f(x) is linear on \([0,m_2]\). \(\square \)
Let \(f(t)=t^p\ (p\ge 0)\) in (4.1), then
From Theorem 5.1, we get the following corollary.
Corollary 5.2
For \(K,M\in \mathcal {K}\), then \(I_{j;p}(K;M)\) be a valuation in the variable M if and only if \(p=0,1\).
Theorem 5.3
Let \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex and right continuous at 0, for \(K,M\in \mathcal {K}\) we have
with equality if and only if \( I_{j}(f; K,M)\) is a valuation in the variable M, in this case, if and only if f(x) is linear in the interval \([0,m_2]\).
Proof
Let \(f:\ [0,\infty )\longrightarrow [0,\infty )\) be convex and right continuous at 0, and let \(x=V_j(K\cap gM)\) in Lemma 3.2, we have
By the definition (5.1), we have
The previous formula combines with (1.1) and (2.2), we have
The equality condition follows from Lemma 3.2 and Theorem 5.1. \(\square \)
References
Alesker, S.: Continuous rotation invariant valuations on convex sets. Ann. Math. 149, 977–1005 (1999)
Alesker, S.: Valuations on manifolds and integral geometry. Geom. Funct. Anal. 20, 1073–1143 (2010)
Blashcke, W., Varga, O.: Integral geometrie 9, Über Mittelwerte an Eikörpern. Mathematica (Cluj) 12, 65–80 (1936)
Gardner, R.J., Zhang, G.: Affine inequalities and radial mean bodies. Am. J. Math. 120, 505–528 (1998)
Gruber, P.M.: Convex and Discrete Geometry. Springer, Berlin (2007)
Haberl, C., Parapatits, L.: The centro-affine Hadwiger theorem. J. Am. Math. Soc. 27, 685–705 (2014)
Hadwiger, H.: Vorlesungen über Inhalt, Oberfläche, und Isoperimetrie. Springer, New York (1957)
Hug, D., Schneider, R., Schuster, R.: Integral geometry of tensor valuations. Adv. Appl. Math. 41, 482–509 (2008)
Klain, D.A., Rota, G.-C.: Introduction to geometric probability. Cambridge University Press, Cambridge (1997)
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, London (1934)
Klain, D.: A short proof of Hadwiger’s characterization theorem. Mathematika 42, 329–339 (1995)
Ludwig, M., Reitzner, M.: A characterization of affine surface area. Adv. Math. 147, 138–172 (1999)
Ludwig, M., Reitzner, M.: A classification of SL(n) invariant valuation. Ann. Math. 172, 1223–1271 (2010)
Ren, D.: Topics in Integral Geometry. World scientific, Singapore (1994)
Santaló, L.A.: Integral Geometry and Geometric Probability, Reading. Addison-Wesley, Boston (1976)
Schneider, R.: Convex Bodies: The Brunn–Minkowski theory. Cambridge University Press, Cambridge (2014)
Schneider, R., Weil, W.: Stochastic and Integral Geometry, Probability and its Applications. Springer, Berlin (2008)
Zhang, G.: Integral geometric inequalities. Acta Math. Sin. 34, 72–90 (1991)
Zhang, G.: Restricted chord projection and affine inequalities. Geom. Dedicata 39, 213–222 (1991)
Zhang, G.: Geometric inequalities and inclusion measures of convex bodies. Mathematika 41, 95–116 (1994)
Zhang, G.: Dual kinematic formulas. Trans. Am. Math. Soc. 351, 985–995 (1999)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was supported in part by the Fundamental Research Funds for the Central Universities ( No. XDJK2017C056), Ph. D. Research Fundation of Southwest University ( No. SWU115053), the Natural Science Foundation Project of CQ CSTC (No. cstc2016jcyjA0465) and NSFC (Nos. 11401486 and 11561012).
Rights and permissions
About this article
Cite this article
Xu, W. Integral geometric inequalities and valuations. Geom Dedicata 204, 365–375 (2020). https://doi.org/10.1007/s10711-019-00460-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-019-00460-2
Keywords
- Integral geometry
- Valuation
- Hadwiger’s Characterization theorem
- Kinematic formula
- Integral geometric inequalities