Abstract
We introduce an evolution model à la Firey for a convex stone which tumbles on a beach and undertakes an erosion process depending on some variational energy, such as torsional rigidity, a principal Dirichlet Laplacian eigenvalue, or Newtonian capacity. Relying on the assumption of the existence of a solution to the corresponding parabolic flow, we prove that the stone tends to become asymptotically spherical. Indeed, we identify an ultimate shape of these flows with a smooth convex body whose ground state satisfies an additional boundary condition, and we prove symmetry results for the corresponding overdetermined elliptic problems. Moreover, we extend the analysis to arbitrary convex bodies: we introduce new notions of cone variational measures and we prove that, if such a measure is absolutely continuous with constant density, the underlying body is a ball.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The aim of this paper is to propose a variational counterpart of Firey’s seminal result stating that the fate of worn stones is that of becoming spherical [26]. Firey considered the evolution problem satisfied by the support functions \(h ( t,\cdot )\) of a family of convex bodies C(t) in \(\mathbb {R}^3\), obtained when an initial convex stone C(0) tumbles on an abrasive plane and undertakes an erosion process, in which the rate of wear is proportional to the density of contact points with the plane per unit surface area, and also to the volume of the stone. The mathematical formulation reads as
where \(a\) and \(b\) are positive constants, \(\nu _t^ { -1}\) is the inverse Gauss map of C(t), \(G(t, \cdot )\) denotes the Gaussian curvature of C(t), and |C(t)| its volume. Under the assumption that C(0) is smooth and centrally symmetric, and that, for some \(T>0\), the evolution problem (1) admits a smooth solution, Firey showed that actually \(T = + \infty \), that convexity and symmetry are preserved along the flow, and that an ultimate shape must satisfy the following geometric condition: in every direction its support function h and Gaussian curvature G are proportional to each other. More precisely, denoting by \(\nu \) its Gauss map and by c a positive constant, it satisfies
Firey then obtained the following symmetry result: if a smooth and centrally symmetric convex body in \(\mathbb {R}^3\) satisfies the equality (2), it must be a ball. Moreover, he conjectured that, in dimension 3, the above results (often referred to as “convergence of solutions to a round point”) should remain valid without the assumption of central symmetry; in higher dimensions, this is also called the generalized Firey conjecture.
Firey’s vision of worn stones has inspired many deep developments up today, in both the fields of evolution equations, and of convex geometry.
On the side of evolution equations, the parabolic problem introduced by Firey, written in terms of a parametrization of the boundary and up to a renormalization, is nothing else than the Gaussian curvature flow. Such flow has been intensively studied in recent years, so that it is impossible to exhausdhely report the related literature. We refer to the recent monograph [4] for an account about the Gaussian curvature flow and more references on it. Let us just mention that nowadays a full resolution is available for both Firey’s conjecture and its generalized version, the main steps of its history being the following: the existence of a solution to the Gauss curvature flow was proved in any space dimension by Chou [54]; the convergence to a round point was obtained in dimension \(n = 3\) by Andrews [3], while in higher dimensions it follows from a convergence result by Guan–Ni [30], combined with a rigidity result by Brendle–Choi–Daskalopoulos [17].
On the side of convex geometry, the rigidity result by Firey is related to more general rigidity questions for convex bodies. In fact, condition (2) amounts to ask that a convex body K has the same cone volume measure \(V_K\) as a ball (see Sect. 2 for the definition). Accordingly, a generalized version of Firey rigidity problem reads as follows: for K belonging to the class \({\mathcal {K}} ^n\) of convex bodies in \(\mathbb {R}^n\), and a ball B, investigate the validity of the implication
In the above mentioned papers about the asymptotic behaviour of the Gaussian curvature flow, it has been proved that (3) holds under the assumption that K has its centroid at the origin [30, Proposition 3.3] or that K is smooth and strictly convex [17, Theorem 6].
Looking at (3), one is led in a natural way to the more general question whether the cone volume measure determines uniquely the associated convex body. In particular, denoting by \( {\mathcal {K}} ^n _*\) the class of centrally symmetric convex bodies in \(\mathbb {R}^n\), the question is whether, given K and \(K_0\) in \({\mathcal {K}} ^n_*\), it holds that
The relevance of this question lies in particular in its connection with one of the major open problems in convex geometry, namely the validity of the log-Brunn-Minkowski inequality
where
and \(h_K\), \(h_L\) denote the support function of K and L respectively.
Inequality (5), which is a strengthening of the classical Brunn-Minkowsi inequality, has been proved in dimension \(n=2\) in [13], while it is currently open in higher dimensions (see the recent paper [10] for an extensive survey about the state of the art in this topic, and also our previous paper [23] for a related functional version). As shown in [13], proving the log-Brunn-Minkowski inequality is equivalent to proving that, for every fixed \(K \in {\mathcal {K}} ^n_*\), the minimization problem
is solved by K itself. Moreover, it turns out that a solution \(K_0\) to problem (6) exists and is a critical set, in the sense that it satisfies the equality of measures \( V _{ K _0} = V _ K\). Hence the connection with the implication (4). For \(n = 2\), Böröczky–Lutwak–Yang–Zhang [13] proved that such implication holds true, thus obtaining also the log-Brunn–Minkowski inequality.
To close the circle, the minimization problem (6) is not unrelated with the evolution of convex bodies by their Gaussian curvature. Indeed, in the particular case \(K = B\), the integral in (6) is an entropy functional, firstly considered by Firey, which decreases along the Gaussian curvature flow (and actually a suitable generalization of this entropy monotonicity property is used by Guan-Ni to obtain (3) for bodies with centroid at the origin).
In this work we attack the new problem of studying the above topics when the volume functional is replaced by some variational energy, such as torsional rigidity, principal Dirichlet Laplacian eigenvalue, or Newtonian capacity. These functionals are object of study in many problems of classical and modern Calculus of Variations, such as isoperimetric type inequalities, concavity inequalities, inequalities involving polarity. In many cases, the behaviour of these functionals turn out to resemble that of the volume functional, in particular concerning the validity of inequalities of Brunn–Minkowski type (see [21]).
Thus, studying variational results à la Firey seems to be a very natural direction, which is, to the best of our knowledge, completely unexplored. To precise what we intend, let us focus our attention in particular on the case of torsional rigidity. In the physical case when \(K \subset \mathbb {R}^2\) is the cross section of a cylindrical rod \(K\times \mathbb {R}\) under torsion, its torsional rigidity \(\mathcal {T}(K)\) is the torque required for unit angle of twist per unit length. From an analytical point of view, when K is more in general a n-dimensional convex body, its torsional rigidity (often abbreviated as torsion) is given by
where \(u_K \) is the torsion function of K, i.e. the unique solution to the Dirichlet problem
We recall that, if we have a long cylindrical rod in the space \(\mathbb {R}^3\) of cross-section K, the function \(u_K\) (also known as warping function) determines the state of the stress in the interior of the rod, as it is proportional to the out-of-plane displacement of the sections.
A classical result by Dahlberg [24] ensures that, for any \(K \in {\mathcal {K}} ^n\), the gradient of the torsion function is well-defined \({\mathcal {H}} ^ {n-1}\)-a.e. on \(\partial K\), and belongs to \(L ^ 2 (\partial K)\). Moreover, it is also well-known that the Hadamard first variation of torsion can be expressed through an integral formula, which is the perfect analogue of the one valid for volume, replacing the surface area measure \(S_K\) by the torsion first variation measure \(\mu _K\), defined by
\((\nu _ K )\sharp \) denotes the push forward through the Gauss map of K. By pursuing the analogy with the case of volume, we are led to introduce the cone torsion measure of K, as the positive measure on \({{\mathbb {S}}} ^ {n-1}\) defined by
where \(h _K\) denotes the support function of K.
Relying on this new definition, it is natural to investigate the rigidity question analogue to the one of Firey, namely whether, for a given \(K \in {\mathcal {K}} ^n _*\),
In the setting of smooth convex bodies, the equality \(\tau _{ K } = \tau _ B\) amounts to ask that the torsion function \(u _ K\) satisfies, for some positive constant c, the boundary condition
where \(G_K\) denotes the Gaussian curvature of \(\partial K\). Hence, the corresponding rigidity problem consists in investigating symmetry of smooth convex bodies K such that the following overdetermined boundary value problem admits a solution:
This problem is not covered by the very vast literature on Serrin-type problems [55], as the simultaneous presence of the support function and of curvature in the overdetermined boundary condition is completely new; we limit ourselves to quote the papers [15, 27] about overdetermined problems in which curvatures are involved.
In Theorem 1 we establish symmetry for problem (8), under the weaker assumption that K has its centroid at the origin. At present, we do not know if the assumption on the centroid can be removed. The proof of Theorem 1 is obtained by an ad-hoc combination of different inequalities, such as the Saint–Venant inequality for torsion, and the isoperimetric inequality for the 2-affine surface area (or alternatively, an isoperimetric-type inequality proved in [19] and Blasckhe–Santaló inequality).
In the setting of arbitrary convex bodies, the equality \(\tau _{ K } = \tau _ B\) cannot be formulated any longer as a pointwise equality for the gradient of the torsion function along the boundary; it just tells the measure \(\tau _K\) is a constant multiple of the diffuse measure on the sphere, i.e.
In Theorem 4 we establish symmetry for convex bodies with centroid at the origin satisfying (9). We argue by adapting the arguments used in the regular case, but the proof is more delicate, as it involves the regularity properties of convex bodies having an absolutely continuous surface area measure; in this respect, we heavily rely on the results proved by Hug in the papers [34,35,36].
The symmetry results described so far are related to many further questions. In particular, in the spirit of Firey’s work, it is natural to wonder whether the condition \(\tau _K= \tau _ B\) identifies K as the ultimate shape of some flow.
To answer this question, we imagine a new variational flow for worn stones which tumble on an abrasive plane and undertake an energy-based erosion process. Namely, we assume that the rate of wear is proportional to the density of contact points with the abrasive plane, no longer per unit surface area measure as in [26], but per unit torsion first variation measure; moreover, while in [26] the rate of wear is also taken to be proportional to the volume, we take it to be proportional to the torsional rigidity.
To write explicitly the problem, let C(t) represent the evolution in time of an initial convex stone C(0), and let \(\sigma \) be any small part of \(\partial C (t)\). The measure of the set of directions for which the abrasive plane touches C(t) at points in \(\sigma \) is given by \({\mathcal {H}} ^ {n-1} (\nu _t (\sigma ))\), where \(\nu _ t\) is the Gauss map of C(t). By a standard change of variables (see Proposition 1 (e)), we have
where \(G(t, y)\) denotes the Gauss curvature of \(\partial C ( t) \) at the point y. Recalling the definitions of surface area measure and of torsion first variation measure for the convex body C(t), the above integral can also be written as
where \(u (t, \cdot )\) is the torsion function of C(t). Thus we see that, while contact points have density \(G(t, \nu _t ^ {-1} (\xi ))\) with respect to the surface area measure \(S_{C ( t)}\), they have density \( \frac{ G(t, \nu _t ^ { -1} ( \xi ) )}{|\nabla u( t, \nu _t ^ { -1} (\xi )) | ^ 2} \) with respect to the first variation measure \(\mu _ { C ( t) }\) in (7). We conclude that the variational analogue of Firey’s problem when replacing volume by torsion reads as follows:
A possible physical reason for considering such a model of abrasion process depending on the torsion first variation measure, can be the fact that, among the fundamental types of stresses undertaken by a body subject to abrasion, torsion appears to be the most relevant (in fact, typically the abrasion rate is less sensitive to traction, flexion, compression, or shear). On the other hand, the same model might also be used to describe other deterioration processes of erosion or corrosion. Indeed, the rate of deterioration of the body can be related to its mechanical properties, which in turn are affected by variations in the gradient of the warping function.
From a mathematical point of view, the main novelty of the evolutionary model (10) consists in its non-local nature, coming from the gradient of the warping function. Due to this non-local nature, getting global existence and regularity results seems to be a challenging problem (we refer to [20] for general nonlocal flows, and to the paper [33], appeared after the submission of this manuscript, for a logarithmic version of our flow). Proving the existence of a unique smooth solution to problem (10) is an interesting problem in parabolic flows, which is beyond the scopes of this paper, and will be object of further research.
As in Firey’s paper, we assume that C(0) is smooth and centrally symmetric, and that for some \(T>0\), the evolution problem (10) admits a smooth solution. Under this assumption, Theorem 7 establishes that \(T = + \infty \), that convexity and symmetry are preserved along the flow, and that an ultimate shape has the same cone torsion measure as a ball. The proof relies basically on the Brunn-Minkowski inequality for torsion due to Borell [8].
To conclude, another question we wish to address is whether, by analogy with (4), for any pair of convex bodies \( K, K _0 \in {\mathcal {K}} ^n _*\), we have
Such am implication is in turn related to the possibility of strengthening the Brunn-Minkowski inequality for torsion into a logarithmic Brunn-Minkowski inequality of the kind
Indeed, by arguing as in the proof of Lemma 3.2 in [13], one can easily check that (12) is equivalent to proving that, for every fixed \(K \in {\mathcal {K}} ^n_*\), the minimization problem
is solved by K itself; moreover, if the above problem admits solution \(K_0\), it must satisfy the first order optimality condition \( \tau _{ K _0} = \tau _ K\) (cf. the proof of Theorem 7.1 in [13]).
The inequality (12) (or the implication (11)) is likely very challenging, and it should be first proved (or disproved) in dimension \(n = 2\), see Sect. 6 for some related remarks.
To conclude, we point out that all the results discussed so far are valid also when torsional rigidity is replaced either by the principal frequency of the Dirichlet Laplacian, or (for \(n \geqq 3\)) by the Newtonian capacity. Also for this reason, we believe that the parabolic flows and logarithmic inequalities related to our variational worn stones are worth of further investigation.
Outline of the paper. In Sect. 2 we detail the definitions of cone variational measures and related representation formulas. In Sect. 3 we prove symmetry for smooth centred convex bodies K where overdetermined boundary value problems such as (8) admit a solution. In Sect. 4 we extend the rigidity results of the previous section to the general framework of arbitrary centred convex bodies. In Sect. 5 we relate the convex bodies studied in the previous sections to new variational flows. In Sect. 6 we give a few concluding remarks about logarithmic Brunn-Minkowski-type inequalities.
2 Cone Variational Measures and Related Representation Formulas
Let \({\mathcal {K}} ^n\) be the class of convex bodies in \(\mathbb {R}^n\) with the origin in their interior. In particular, we are going to consider convex bodies in \({\mathcal {K}} ^n\) whose centroid
coincides with the origin. Here and below, we indicate by \(| \cdot |\) the volume functional on \({\mathcal {K}} ^n\). We shall also consider the subclass \({\mathcal {K}} ^ n _*\) of centrally symmetric convex bodies.
Given \(K \in {\mathcal {K}} ^n\), we denote by \(h _ K\) and \(\nu _K\) respectively its support function and Gauss map. By definition, if m is a measure on \(\partial K\), its push-forward \(( \nu _K )_ \sharp ( m) \) through the Gauss map is the measure on \({\mathbb {S}} ^ {n-1} \) defined by
We recall that the surface area measure \(S_K\) and the cone volume measure \(V_K\) are defined respectively by
moreover, denoting by \(|V_K|\) the total variation of \(V_K\), it holds that
The name cone volume measure is motivated by the fact that, when K is a polytope with facets \(F_i\) and unit outer normals \(\nu _i\), it holds that
where \(\delta _{\nu _i}\) is a Dirac mass at \(\nu _i\) and \(\Delta (o, F _i)\) is the cone with apex o and basis \(F_i\). In recent years, this notion of cone volume measure has been widely studied (see [5, 11,12,13,14, 29, 40, 41, 44, 46,47,48, 53, 57, 58]).
Let now F(K) be one of the following variational energies: torsional rigidity \(\mathcal {T}(K)\), first Dirichlet Laplacian eigenvalue \(\lambda _ 1 ( K)\), or Newtonian capacity \(\textrm{cap}(K)\) (the latter in dimension \(n \geqq 3\)). We denote by \(u _K\) the corresponding ground state, defined as the unique solution in \(\Omega = \textrm{int} K\) to the following elliptic boundary value problems (in the second case normalized so to have unit \(L ^2\)-norm):
It is well known that, by analogy with the case of volume, each of these functionals and its Hadamard derivative satisfy the following representation formulas (see respectively [22, 37] and [38])
Here \(\alpha \) denotes the homogeneity degree of F under domain dilation (which equals equal to \(n + 2\) for torsion, \(-2\) for the eigenvalue, and \(n -2\) for capacity) and \(\mu _K\) is the first variation measure of F, defined by
We set the following:
Definition 1
(cone variational measures) For any of the functionals above, with any \(K \in {\mathcal {K}} ^n\) we associate the positive measure on \({\mathbb {S}} ^ {n-1}\) defined by \(h _ K \, \mu _K\), being \(\mu _K\) given by (15), and we denote it respectively by \(\tau _K\) (cone torsion measure), by \(\sigma _K\) (cone eigenvalue measure) and by \(\eta _K\) (cone capacitary measure).
Let us point out that the terminology in Definition 1 is chosen to emphasize the analogy with the case of volume, though this is somehow an abuse; indeed, the analogue of the equality (14) is clearly false for our variational functionals, since they are not additive under the decomposition of a polytope in \({\mathcal {K}} ^n\) into cones with apex o and bases at its facets.
Let us also notice that the above representation formulas can be rewitten as integrals over the boundary and in terms of the total variations of the corresponding cone variational measure, respectively as
Remark 1
The cone variational measures introduced in Definition 1 are weakly\(^*\) continuous with respect to the convergence of convex bodies in Hausdorff distance. Indeed, if \(K_n\) converge to \(K_\infty \) in Hausdorff distance, the support functions of \(K _n\) converge uniformly to the support function of \(K_\infty \), while the first variation measures of \(K _n\) converge weakly\(^*\) to the first variation measure of \(K_\infty \) (cf. respectively [38, Thm. 3.1] for capacity, [37, Section 7] for the first eigenvalue, and [22, Thm. 6] for torsion).
3 Rigidity Results for Smooth Convex Bodies
In this section we deal with overdetermined boundary value problems on smooth convex bodies K, for which the Gauss map \(\nu _K\) and the Gaussian curvature \(G_K\) can be classically defined. Whenever no confusion may arise, we omit the index K and we simply write \(\nu \) and G. We denote by B a generic ball, by \(B _ 1\) the unit ball, and by \(\omega _n\) its Lebesgue measure.
Theorem 1
Let \(K \in {\mathcal {K}} ^n\) have its centroid at the origin, and boundary of class \({\mathcal {C}}^2\). Assume that, for some constant \(c>0\), there exists a solution to the following overdetermined boundary value problem on \(\Omega := \textrm{int } K\):
Then K is a ball.
The proof of Theorem 1 is based on the application of different inequalities for convex bodies, some involving torsional rigidity and some others being purely geometrical. We list them below:
-
(i)
The Saint–Venant inequality for torsion [32, 49]:
$$\begin{aligned}\frac{\mathcal {T}(K)}{|K|^{\frac{n+2}{n}}} \leqq \frac{\mathcal {T}(B)}{|B|^{\frac{n+2}{n}}},\end{aligned}$$with equality if and only if K is a ball. More explicitly, since \(\mathcal {T}(B_1) = \frac{\omega _n}{n(n + 2)} \),
$$\begin{aligned} \mathcal {T}(K) \leqq \frac{|K|^\frac{n+2}{n}}{n(n+2) \omega _n^{\frac{2}{n}}}, \end{aligned}$$(19)with equality if and only if K is a ball.
-
(ii)
The isoperimetric inequality of the p-affine surface area in the case \(p=2\):
$$\begin{aligned} \Theta _2(K):= \int _{\partial K}\frac{G^{\frac{2}{n+2}}}{(x\cdot \nu )^{\frac{n}{n+2}}} \, d\mathcal {H}^{n-1}\leqq n \, \omega _n^\frac{4}{n+2}\, |K|^{\frac{n-2}{n+2}}, \end{aligned}$$(20)with equality if and only if K is an ellipsoid (see [43, Theorem 4.8], [56, Theorem 4.2] or [52, formula (10.49)]).
-
(iii)
The isoperimetric-type inequality:
$$\begin{aligned} \frac{ \mathcal {T}(K) ^ { 1 - \frac{1}{n+2} }}{\int _{\partial K} |\nabla u_K| ^ 2 } \leqq \frac{ \mathcal {T}(B) ^ { 1 - \frac{1}{n+2} } }{\int _{\partial B} |\nabla u _B| ^ 2 } \end{aligned}$$(21)see [19, Theorem 3.15].
-
(iv)
The Blaschke–Santaló inequality [6, 50] for convex bodies with centroid at the origin:
$$\begin{aligned} |K| |K ^o| \leqq \omega _n ^ 2, \end{aligned}$$(22)with equality if and only if K is an ellipsoid (see [42, Theorem \(1'\)]).
Proof of Theorem 1. We are going to obtain an upper bound and a lower bound for the constant c appearing in the overdetermined boundary condition, starting from two different expressions of it. For the upper bound we use inequality (i), while the lower bound can be obtained by two different methods: either by using the inequality (ii), or by using the inequalities (iii)-(iv). We provide both methods because, as we shall see, the first one works to extend the result to the overdetermined boundary value problem associated with the Newtonian capacity, while the second one works for the first Laplacian Dirichlet eigenvalue. Since the upper bound and the lower bound turn out to match each other, we conclude that in particular Saint-Venant inequality (19) holds as an equality, and hence K must be a ball.
– Upper bound for c. We integrate over the boundary both sides of the pointwise overdetermined condition
By using respectively the identity (16) and the change of variables formula (2.5.29) in [51], we obtain
and
Hence we get
Then by using the Saint-Venant inequality (19) we obtain the upper bound
with equality if and only if K is a ball.
– Lower bound for c (first method). We integrate on \(\partial K\) the pointwise overdetermined condition, after rewriting it as
Exploiting the fact that u solves the torsion problem, we obtain
i.e.
We now look at the integral appearing the denominator in the right-hand side of (26). Let us distinguish the cases \(n= 2\) and \(n \geqq 3\).
If \(n = 2\), such integral is exactly the 2-affine surface area:
If \(n\geqq 3\), the same integral can be estimated in terms of the 2-affine surface area using Hölder’s inequality. Specifically, using Hölder’s inequality with the conjugate exponents \(\beta = \frac{2n}{n+2}\) and \(\beta ' = \frac{2n}{n-2}\), it holds that
Hence, for every \(n \geqq 2\), we have that
where in the second inequality we have used the 2-affine isoperimetric inequality (20).
– Lower bound for c (second method). We integrate over \(\partial K\) the pointwise overdetermined condition, after rewriting it as
Then, using also the expression of \(\mathcal {T}(K)\) in (24), the isoperimetric inequality (21) reads:
Rising the above inequality to power \((n+2)\), and setting for brevity
we get
We now look at the integral appearing the denominator in the right-hand side of (29). We transform it into an integral on \({\mathbb {S}} ^ { n-1}\) by the classical change of variables formula already quoted above. Then, by using Hölder’s inequality with conjugate exponents n and \(\frac{n}{n-1}\), the well-known representation formula for the volume of the dual body \(|K ^o| = \frac{1}{n} \int _{{\mathbb {S}} ^ {n-1} } {h _K ^ {- n} }\), and the Blaschke-Santaló inequality (22), we obtain
We now combine (29) and (30). Taking also into account that \(\mathcal {T}(B_1) = \frac{\omega _n}{n (n+2)}\), and \(\int _{\partial B_1} |\nabla u _{B_1}| ^ 2 = \frac{ \omega _n }{n}\), so that
we arrive exactly at the inequality (28). \(\square \)
– Conclusion. By comparing the upper bound (25) and the lower bound (28), we conclude that the equality sign holds in both inequalities. In particular, the equality sign in (25) implies that K is a ball. \(\square \)
Theorem 2
Let \(K \in {\mathcal {K}} ^n\) have its centroid at the origin, and boundary of class \({\mathcal {C}}^2\). Assume that, for some constant \(c>0\), there exists a solution to the following overdetermined boundary value problem on \(\Omega := \textrm{int }\, K\):
Then K is a ball.
The proof of Theorem 2 is similar to the one of Theorem 1; it is based on the following inequalities:
-
(i)
The Faber-Krahn inequality
$$\begin{aligned} \lambda _ 1 (K) |K| ^ { 2/n} \geqq \lambda _ 1 (B) |B| ^ { 2/n} , \end{aligned}$$(31)with equality if and only if K is a ball, see e.g. [31, Section 3.2].
-
(ii)
The isoperimetric-type inequality
$$\begin{aligned} \frac{ \lambda _ 1 (K) ^ { 3/2} }{\int _{\partial K} |\nabla u_K| ^ 2 } \leqq \frac{ \lambda _ 1 (B) ^ { 3/2} }{\int _{\partial B} |\nabla u _B| ^ 2 } \end{aligned}$$(32)see [19, Theorem 3.15].
-
(iii)
The Blaschke-Santaló inequality (22).
Proof of Theorem 2. Similarly as in the proof of Theorem 1, we are going to provide a matching upper and lower bound for the constant c appearing in the overdetermined boundary condition. A lower bound on c is obtained by arguing as done to obtain an upper bound in the proof of Theorem 1. First we integrate over \(\partial K\) the overdetermined condition written as
Using the identity (17), and a change of variables as in (23), we deduce that
Then, by using the Faber-Krahn inequality (31), we obtain the lower bound
with equality if and only if K is a ball.
An upper bound on c is obtained by arguing as done to obtain a lower bound in the proof of Theorem 1, second method. Namely, we integrate on \(\partial K\) the overdetermined condition, after rewriting it as
By using also the expression of \(\lambda _1(K)\) in (33), the isoperimetric inequality (32) reads:
Rising the above inequality to power 2, and setting for brevity
we obtain
For the integral appearing at the right hand side of the above inequality, the estimate (30) found in the proof of Theorem 1 holds. Hence we get
To conclude the proof, it remains to show that the expressions at the right hand sides of the lower bound (34) and of the the upper bound (35) coincide. Indeed in this case the Faber-Krahn inequality must hold as an equality, yielding that K is a ball. The matching of our upper and lower bounds corresponds to the equality
The validity of (36) is checked through some direct computations involving Bessel functions, that we enclose for the sake of completeness. We have (see for instance [39, Section 4])
where \(j _{\frac{n}{2}-1, 1}\) is the first zero of the Bessel function \(J _{\frac{n}{2}-1}\), and
The value of the constant C is determined by imposing that \(u _ { B_1}\) has unit \(L ^2\)-norm, yielding
(here and in the sequel we have written for brevity \(J:= J _{\frac{n}{2}-1}\) and \(j _ 1:= j _{\frac{n}{2}-1 , 1}\)). Since, by known properties of Bessel functions (see [1, 11.4.5]) we have
we infer that
Hence,
From (37) and (38), we see that (36) is satisfied and our proof is complete. \(\square \)
Theorem 3
Let \(K \in {\mathcal {K}} ^n\) have its centroid at the origin, and boundary of class \({\mathcal {C}}^2\). Assume that, for some constant \(c>0\), there exists a solution to the following overdetermined boundary value problem on the complement of K:
Then K is a ball.
Also the proof of Theorem 3 follows the same strategy of Theorem 1. This is based on the following inequalities:
-
(i)
The isoperimetric inequality for capacity [49]
$$\begin{aligned}\frac{\textrm{cap}(K)}{|K|^{\frac{n-2}{n}}} \geqq \frac{\textrm{cap}(B)}{|B|^{\frac{n-2}{n}}},\end{aligned}$$with equality if and only if K is a ball. More explicitly, since \(\textrm{cap}(B_1) = n ( n-2) \omega _n\),
$$\begin{aligned} \textrm{cap}(K) \geqq (n-2)^2 \omega _n^{\frac{2-n}{n}} |K|^\frac{n-2}{n} , \end{aligned}$$(39)with equality if and only if K is a ball.
-
(ii)
The isoperimetric inequality (20) for the p-affine surface area in the case \(p=2\).
Proof of Theorem 3. A lower bound for c is obtained by arguing as done to obtain an upper bound in the proof of Theorem 1. Specifically, by (18) and (23), we obtain
Then, by using the isoperimetric inequality (39) for capacity, we get
with equality if and only if K is a ball.
An upper bound for c is obtained by arguing as done to obtain a lower bound in the proof of Theorem 1, first method. We integrate over \(\partial K\) the overdetermined condition, after rewriting it as
Using the equalities \(\textrm{cap}(K)= \int _{\partial K} |\nabla u|\) (see [28, p.27]) and (40), we obtain
i.e.
For the integral appearing at the right hand side of the above inequality, the estimate (27) found in the proof of Theorem 1 (through the use of Hölder inequality and the 2-affine isoperimetric inequality) holds. Thus we get
Comparing (41) and (43), we see that our lower and upper bounds match each other, implying in particular that (41) must hold with equality sign, and hence that K is a ball. \(\square \)
4 Rigidity Results for Arbitrary Convex Bodies
In this section we drop any smoothness assumption and we deal with arbitrary centred convex bodies having some cone variational measure equal to that of a ball.
Theorem 4
Let \(K \in {\mathcal {K}} ^n\) have its centroid at the origin, and let \(\tau _K\) be its cone torsion measure according to Definition 1. Assume that, for some positive constant c,
Then K is a ball.
The proof of Theorem 4 requires some preliminaries about convex bodies which have absolutely continuous surface area measure (or equivalently which admit a curvature function); we gather them in Proposition 1, relying on some results proved in [34,35,36].
We recall that, if a convex body K has absolutely continuous surface area measure, by definition there exists a unique non-negative function , called curvature function of K, such that its surface area measure satisfies . Equivalently, we have
Below we follow the usual convention that \(\nu :\partial K \rightarrow {\mathbb {S}}^{n-1}\) is a possibly multivalued map associating to every \(x\in \partial K \) the unit vectors of the normal cone to \(\partial K \) at x.
Moreover, using the notations in the cited papers of Hug, we set
-
\(\mathcal {M}(K)\):= the set of points \(x\in \partial K\) such that \(\partial K\) is second order differentiable at x (so that \(\nu (x)\) is a singleton and \(G(x)\) is well-defined as the product of the principal curvatures);
-
\((\partial K)_+\):= the set of points \(x\in \partial K\) such that there exists an internal tangent ball touching \(\partial K\) at x (so that \(G(x)\) is finite);
-
\(\exp ^* K\):= the set of points \(x\in \partial K\) such that there exists a closed ball B containing K with \(x\in \partial B\) (so that \(G(x) > 0\)).
Proposition 1
Assume that \(K \in {\mathcal {K}} ^n\) has absolutely continuous surface area measure, and let \(f_K\) be its curvature function. Then:
-
(a)
Denoting by \(r_1(\xi ), \ldots , r_{n-1}(\xi )\) the generalized radii of curvature of \(\partial K\) at \(\nu ^{-1}(\xi )\), namely the eigenvalues of \(D^2 h_K(\xi ) | _{\xi ^\perp }\), we have
$$\begin{aligned} f_K(\xi ) = r(\xi ):= \prod _{j=1}^{n-1} r_j(\xi ) \qquad \text {for } \mathcal {H}^{n-1}\text {-a.e. }\ \xi \in {\mathbb {S}}^{n-1}. \end{aligned}$$(45) -
(b)
Setting
$$\begin{aligned} R(K):= \mathcal {M}(K) \cap (\partial K)_+ \cap \exp ^* K, \end{aligned}$$we have that \( \mathcal {H}^{n-1}(\partial K \setminus R(K)) = 0\), and \(\nu \) is a bijection from \(R(K)\) to \(\nu (R(K))\).
If, in addition, \(f_K(\xi ) > 0\) for \(\mathcal {H}^{n-1}\)-a.e. \(\xi \in \mathbb S^{n-1}\), then:
-
(c)
\(\nu (R(K))\) has full measure in \(\mathbb {S}^{n-1}\), i.e. \(\mathcal {H}^{n-1}({\mathbb {S}}^{n-1} \setminus \nu (R(K))) = 0\).
-
(d)
After possibly removing a \(\mathcal {H}^{n-1}\)-null set from \(R(K)\), for every \(\xi \in \nu (R(K))\), \(h_K\) is second order differentiable at \(\xi \), \(x := \nabla h_K(\xi ) \in R(K)\) and \(G(x) \, r(\xi ) = 1\).
-
(e)
For every nonnegative function it holds that
$$\begin{aligned}\int _{\partial K} \psi \, d\mathcal {H}^{n-1}= \int _{{\mathbb {S}}^{n-1}} \frac{\psi (\nu ^{-1}(\xi ))}{G(\nu ^{-1}(\xi ))}\, d\mathcal {H}^{n-1}(\xi ) .\end{aligned}$$
Proof
The equality (45) is proved in [35, formula (2.8)].
Statement (b) is consequence of the facts that \(\mathcal {H}^{n-1}(\partial K {\setminus } \mathcal {M}) = 0\), \(\mathcal {H}^{n-1}(\partial K {\setminus } (\partial K)_+) = 0\) and \(\mathcal {H}^{n-1}(\partial K {\setminus } \exp ^* K) = 0\), following respectively from Alexandroff theorem [2, 45], and [36, Theorem 3.7(c)].
Assume now that \(f_K > 0\) \(\mathcal {H}^{n-1}\)-a.e. on \({\mathbb {S}}^{n-1}\). Recall that the curvature measure of K is the measure \(C_K\), supported on \(\partial K\), defined by
By (45) and Theorem 2.3 in [36], it follows that \(C_K\) is absolutely continuous with respect to . Since, by statement (b), the set \(\partial K {\setminus } R(K)\) is \(\mathcal {H}^{n-1}\)-negligible, we conclude that also statement (c) holds, namely \({\mathbb {S}}^{n-1} \setminus \nu (R(K))\) is \(\mathcal {H}^{n-1}\)-negligible. To prove statement (d), we consider the subset of \({\mathbb {S}} ^ {n-1} \) given by
and we replace \(R(K)\) with the possibly smaller set \(\nu ^{-1}(\Sigma )\). Then statement (d) follows from (c) and Alexandroff theorem.
Finally, let us prove (e). Following [34], for every \(r>0\) let \((\partial K)_r\) be the set of all points of \(x\in \partial K\) such that there exists an internal tangent ball of radius r touching \(\partial K\) at x. From Lemma 2.3 in [34], the map is Lipschitz continuous, and its approximate \((n-1)\)-dimensional Jacobian is
Recalling that \(G(x) > 0\) for \(\mathcal {H}^{n-1}\)-a.e. \(x\in \partial K\), for every positive \(n\in \mathbb {N}\) we can apply Federer’s coarea formula (see [25, Theorem 3.2.22]) to the non-negative function
obtaining
Since \((\partial K)_+ = \bigcup _{n} (\partial K)_{1/n}\), the change of variable formula (e) follows by using (c), and applying Lebesgue monotone convergence theorem. \(\square \)
We are now in a position to give the
Proof of Theorem 4. The idea is to follow the same proof line of Theorem 1. However, this cannot be done directly, since we do not have any longer a pointwise identity holding along the boundary. So, we have to prove first of all that the constant c appearing in (44) can be still expressed by the two different formulas (24) and (26). To obtain formula (24), it is enough to observe that the two measures in the overdetermined conditions must have the same total variation: using (16), we obtain
and hence
To obtain also formula (26), we need first to prove the following
Claim: the equality (44) implies that K has absolutely continuous surface area measure, and in addition its curvature function is strictly positive.
This amount to show that, if the equality (44) holds, for a Borel set \(E \subset {\mathbb {S}} ^ {n-1}\), the following implications hold:
Indeed, (46) implies that K admits a curvature function \(f_K\); then, since , (47) implies that \(f_K\) is strictly positive \(\mathcal {H}^{n-1}\)-a.e. on \({\mathbb {S}}^{n-1}\).
Let \(E \subset {\mathbb {S}} ^ {n-1}\) be a Borel set with . By (44), we have \(\tau _K(E) = 0\). Recalling that, by definition, we have
and
the implication (46) follows from the fact that
Indeed, the term \(x \cdot \nu \) remains strictly positive since by assumption K contains the origin in its interior, while the term \(|\nabla u| ^2\) remains strictly positive by Hopf boundary point lemma (since K admits an inner touching ball at \({\mathcal {H}} ^ {n-1}\)-a.e. \(x \in \partial K\), see e.g. [45]).
Let \(E \subset {\mathbb {S}} ^ {n-1}\) be a Borel set with . From (44), it follows that \(\tau _K(E) = c\, \mathcal {H}^{n-1}(E) > 0\). In turn, by (48), this implies that \(\mathcal {H}^{n-1}(\nu ^{-1}(E)) > 0\), or equivalently that \(S_K ( E) >0\), proving (47).
Since we have just proved that K admits a positive curvature function \(f_K\), recalling also the definition of cone torsion measure \(\tau _K\), the equality (44) can be reformulated as
Namely, for every Borel set \(E \subset {\mathbb {S}} ^ {n-1}\), it holds that
We now invoke Proposition 1. By statements (a) and (d), we can rewrite the right hand side of the above equality as
so that (49) turns into
By Proposition 1, statements (b) and (c), we know that is a bijection from \(R(K)\) to \(\nu (R(K))\), with \(\mathcal {H}^{n-1}(\partial K {\setminus }R(K)) = 0\) and \(\mathcal {H}^{n-1}( \mathbb S^{n-1}{\setminus } \nu (R(K))) = 0\). In view of this fact, the integral equality (50) yields the pointwise equality
Integrating over \(\partial K\), we see that (26) holds.
Having established the validity of (24) and (26), the remaining of the proof can proceed in the analogous way as in Theorem 1. Indeed, the inequalities used in the proof of Theorem 1 do not need any smoothness assumption. In particular, for the
2-affine isoperimetric inequality for convex bodies which admit a curvature function, we refer to [40, Theorem 3] (see also [34, Remark p. 296]). \(\square \)
As well as the inequalities used in the proof of Theorem 1, also the inequalities used in the proof of Theorems 2 and 3 do not need any smoothness assumption. Thus we obtain the following results for convex bodies with the same cone eigenvalue measure or the same cone capacity measure as a ball. We omit their proofs since they are analogous to the one of Theorem 4 detailed above.
Theorem 5
Let \(K \in {\mathcal {K}} ^n\) have its centroid at the origin, and let \(\sigma _K\) be its cone eigenvalue measure according to Definition 1. Assume that, for some positive constant c,
Then K is a ball.
Theorem 6
Let \(K \in {\mathcal {K}} ^n\), \(n\geqq 3\), have its centroid at the origin, and let \(\eta _K\) be its cone capacity measure according to Definition 1. Assume that, for some positive constant c,
Then K is a ball.
5 Ultimate Shapes of Variational Flows
In this section we show that, in the smooth centrally symmetric setting, the convex bodies analysed in Sect. 3 can be identified with the ultimate shapes of new variational flows, under the basic assumption that they admit a solution. We present a unified treatment, by considering the evolution problem
where F may denote either the torsional rigidity, or the principal Dirichlet Laplacian eigenvalue, or the Newtonian capacity (the latter for \(n \geqq 3\)), and u is the corresponding ground state.
Let us remark that, in terms of the parametrization of \(\partial C (t)\) by its inverse Gauss map \(X ( t, \cdot ) : {\mathbb {S}} ^ {n-1} \ni \xi \rightarrow \nu _t^ { -1} ( \xi ) \in \partial C ( t)\), the evolution equation in (51) can be written as
(indeed, we have \(h ( t, \xi ) = \nu _t^ { -1} ( \xi ) \cdot \xi \), so that \(\frac{ \partial h}{\partial t} ( t, \xi )= \frac{ \partial X}{\partial t} ( t, \nu _t ^ { -1} (\xi )) \cdot \xi \)).
Thus, up to the factor F(C(t)) (which is just a rescaling allowing to have global existence in time), the unique crucial difference between (51) and the classical Gaussian curvature flow is the presence of the squared modulus of the ground state gradient.
We denote by \(\alpha \) the homogeneity degree of F under domain dilations (see Sect. 4). The following statement deals with the cases of torsion and first eigenvalue, see however Remark 2 for the case of capacity.
Theorem 7
Let \(F = \mathcal {T}\) or \(F = \lambda _ 1\). Assume that, for some maximal time \(T> 0 \), there exists a unique family of convex bodies C(t), defined for \(t \in [ 0, T)\), which are smooth (at least of class \({\mathcal {C}} ^3\)) and such that their support function \(\xi \mapsto h ( t, \xi )\) satisfies (51). Then, setting \(\gamma = \frac{an \omega _n}{|\alpha |}\),
-
(i)
it holds that \(F (t) = F _0 \exp ( - \gamma t)\), where \(F _0\) is the energy at \(t= 0\); moreover, the family C(t) is strictly decreasing by inclusion;
-
(ii)
the flow is defined for every \(t \geqq 0\) (i.e., \(T = + \infty \)), and the sets C(t) are strictly convex bodies;
-
(iii)
the following entropy is decreasing along the flow:
$$\begin{aligned} {\mathcal {E}} ( t):= \int _ { {\mathbb {S}} ^ {n-1} } \log h ( t, \xi ) \, d {\mathcal {H}} ^ {n-1} ( \xi ) + \gamma n \omega _n t ; \end{aligned}$$ -
(iv)
assuming in addition that C(0) is centrally symmetric, we have that C(t) is centrally symmetric for every \(t \geqq 0\); moreover, if \(\{t _n \} \rightarrow + \infty \), up to subsequences \( \exp ({\gamma } t_n) C ( t_n)\) converge in Hausdorff distance to a centrally symmetric convex body, called an ultimate shape for problem (10), whose cone torsion measure or cone eigenvalue measure is absolutely continuous with respect to , with constant density.
Remark 2
As it can be seen by direct inspection of the proof below, for \(F = \textrm{cap}\), thanks to the Brunn-Minkowski inequality proved in [7], statement (i) continues to hold, but in principle statement (ii) may fail, because the positivity of the capacity does not imply that the corresponding convex body is nondegenerate. However, if it occurs that the flow is defined for all times, then also statements (iii)–(iv) hold true.
Proof
We follow the proof line of [26, Thm. 1, Thm. 2].
(i) Set
where \(\mu _K\) is the first variation measure given by (15); recall that, by the Brunn-Minkowski inequality satisfied by F (see [9] for torsion and [16] for the first eigenvalue), it holds that
Rewrite the equation as
Let us denote by \((0, T') \), with \(T' \leqq T\), the maximal interval of existence of a smooth solution to this equation.
Integrating over \({\mathbb {S}} ^ {n-1}\) with respect to \(\xi \), we obtain
where we used for shortness the notation \( F _1 ( t, t') := F _ 1 ( C(t), C(t'))\), \( F (t):= F (C(t))\).
Then, using (52), we arrive at
Consider now the convex body \(\widetilde{C}( t)\) with support function \(\widetilde{h}( t, \xi ):= h ( t, \xi ) \exp ({\gamma } t)\). Denoting by \(\widetilde{u}\), \(\widetilde{\nu }_t\), \(\widetilde{G}\), \(\widetilde{F}\) respectively its torsion function, Gauss map, Gaussian curvature, and torsional rigidity, it holds that
Taking \(\gamma = \frac{an \omega _n}{|\alpha |}\), by (54), we have
The equation satisfied by \(\widetilde{h}\) is
Integrating this equation on \({\mathbb {S}}^{n-1}\), by the choice of \(\gamma \) and the representation formula for \(\widetilde{F}(t)\), we infer that
Consequently, differentiating under the sign of integral (thanks to the smoothness assumption made on C(t) and standard elliptic boundary regularity),
that we may rewrite as
where we have set \(\widetilde{F}_1 (t+s, t ) := F _1 ( \widetilde{C}( t+s), \widetilde{C}( t))\). Then, using (52) in a similar way as above, we obtain
which shows that
By combining (55) and (57), we see that \(\widetilde{F}(t)\) is equal to a constant, precisely to \( F _0 := \widetilde{F}( 0) = F (0) \), and hence
Since \(F ( t) >0\) for every \(t \in [0, T')\), from the equation we see in particular that the family of convex sets C(t) is strictly decreasing with respect to t.
(ii) We recall that, for a convex body K, we have the inequalities
(the first one is the Saint-Venant inequality (19), while for the second one we refer e.g. to [18, Proposition 11]). It follows that C(t) is a nondegenerate convex body for every \(t\in (0, T')\). Moreover, the strict convexity of C(t) follows from the fact that, in equation (53), the right hand side is strictly negative. We infer that \(T' = + \infty \), so that \(T = + \infty \), and C(t) is strictly convex for every \(t \geqq 0\).
(iii) Dividing equation (56) by \( \frac{|\nabla \widetilde{u}( t, \widetilde{\nu }_t ^ { -1} (\xi )) | ^ 2}{ \widetilde{G}(t, \widetilde{\nu }_t ^ { -1} ( \xi ) )} \widetilde{h}( t ,\xi )\) and recalling that \(\widetilde{F}(t)\equiv F _0\), we get
By applying Hölder’s inequality
with
we get
By interchanging derivative and integral on \({\mathbb {S}} ^ {n-1}\), we obtain that the entropy \({\mathcal {E}} ( t) \) decreases along the flow.
(iv) The central symmetry of C(t) corresponds to the condition \(h ( t, \xi ) = h ( t, - \xi )\), which is satisfied since the map \(h ( t, \xi )\) is a solution to problem (51), and by assumption such problems admits a unique solution. Now, integrating on [0, t] the inequality \({\mathcal {E}}' \leqq 0\), we obtain
By exploiting the central symmetry of \(\widetilde{C}(t)\) this implies, by arguing as in [26, proof of Thm. 2], that the convex bodies \(\widetilde{C}(t)\) lie into some fixed ball independent of t; moreover, applying the inequalities (58) it follows that, for every \(t \geqq 0\), \(\widetilde{C}(t)\) contains a fixed ball centered at the origin. So there exist \(R>r>0\) independent of t such that
In particular this implies that the monotone decreasing map \({\mathcal {E}} (t)\) is bounded from below, and so it converges to a finite limit as \(t \rightarrow + \infty \); thus we have
Set
We have
where to compute the integral of \(g ^{-1}\) we have used (56). It follows that
and hence by (60) we have that \(g ( t, \xi ) \rightarrow 1\) \({\mathcal {H}} ^ {n-1}\)-a.e. on \({\mathbb {S}} ^ {n-1}\) as \(t \rightarrow + \infty \). By (59), the support functions \(\widetilde{h}( t, \cdot )\) are bounded from above and from below on \({\mathbb {S}} ^ {n-1}\) by positive constants independent of t. It follows that
Take now a sequence \(\{t _n \} \rightarrow + \infty \). By (59) and by the compactness of the Hausdorff distance, \(\widetilde{C}( t _n )\) converges to a nondegenerate convex body \(\widetilde{C}_\infty \). Then the cone variational measures of \(\widetilde{C}( t _n )\) converge weakly* to the cone variational measure of \(\widetilde{C}_\infty \) (see Remark 1). Thus, if we set
we have that \(\psi _n\) converge weakly in to \(\psi _\infty \), being \(\psi _\infty \) the density of the cone variational measure of \(\widetilde{C}_\infty \).
On the other hand, by passing to the limit as \(n \rightarrow + \infty \) in the equation (56) written at \(t = t _n\), recalling that \(F ( t _n) = F_0\), and exploiting (61), we obtain the following pointwise convergence
Moreover, we have
(see respectively [22, eq. (23)] for torsion, [38, eq. (3.15)] for capacity and [37, Section 7] for principal eigenvalue), so that \(\psi _n\) converge to \(\psi _\infty \) strongly in .
In particular, from (62) we conclude that \(\psi _\infty = \frac{ a}{\gamma } F_0\), namely the cone variational measure of \(\widetilde{C}_\infty \) is a constant multiple of . \(\square \)
6 Concluding Remarks
Remark 3
In dimension \(n = 2\) and for K smooth, the existence of a solution to the logarithmic Minkowski problem (13) easily follows from the results proved in [13, Section 6]. Indeed, it is not restrictive to assume \(\mathcal {T}( K ) = 1\) and to minimize over convex bodies with unit torsion. Let \(\{L _j\}\) be a minimizing sequence. By arguing as in the proof of Lemma 6.2 in [13], it is possible to find a sequence of origin-symmetric parallelograms \(\{P_j\}\), with \(\mathcal {T}( P _j) = 1\) and orthogonal diagonals, such that \(P _j \subseteq L _j \subseteq 2 P _j\). If \(\{L _j\}\) is not bounded, we have that also \(\{P_j\}\) is not bounded; moreover, by the assumption \(\mathcal {T}(L _j )= 1\), the monotonicity of torsion by inclusions, and Saint-Venant inequality (19), the volume of \(P _j\) is bounded from below by a positive constant independent of j. Then we can apply Lemma 6.1 in [13] to infer that the sequence \(\int _{{\mathbb {S}} ^ 1} \log h _ {P _j} \, d V _K\) is not bounded from above. Since by Hopf’s boundary lemma \(|\nabla u _K| ^ 2\) has a strictly positive minimum on \(\partial K\), this implies that also the sequence \(\int _{\mathbb S ^ 1} \log h _ {L _j} \, d \tau _K\) is not bounded from above, contradicting the fact that \(\{L _j\}\) is a minimizing sequence. Hence, \(\{L _j \}\) remains bounded, and by Blaschke’s selection theorem we may select a converging subsequence; its limit turns out to be an origin symmetric convex body with unit torsion which solves problem (13).
Remark 4
In any space dimension, for \(K = B\) the logarithmic Minkowski problem (13) is solved uniquely by the ball. Namely, using for brevity the notation \({\overline{\tau }} _B\) for the normalized cone torsion measure, i.e. \({\overline{\tau }} _B:= \tau _ B / \mathcal {T}(B)\), we have
Indeed, it was proved by Guan–Ni [30, Proposition 1.1] that
with equality if and only if \(L = B\), where \({\overline{V}} _B:= V _B / |B|\) denotes the normalized cone volume measure of B. Since B is a ball, we have \( {\overline{V}} _B = {\overline{\tau }} _B \). Then, by using (63) and the Saint-Venant inequality, we obtain
Remark 5
In dimension \(n = 2\), the logarithmic Brunn-Minkowski inequality for the first eigenvalue and for the torsion can be easily tested on the class of rectangles. For any \(x>0\), set \(R_x = ( 0, x) \times (0, 1)\). Given \(\ell _1, \ell _2>0\), and \(\lambda \in (0, 1)\), we have
Then, by using the explicit formulas
the inequalities
are confirmed, respectively, via explicit straightforward computations and via computations done by Mathematica.
Data Availability Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Abramowitz, M., Stegun, I.A.: Handbook of mathematical functions with formulas, graphs, and mathematical tables, National Bureau of Standards Applied Mathematics Series, No. 55, U. S. Government Printing Office, Washington, D.C., 1964, For sale by the Superintendent of Documents
Alexandroff, A.D.: Almost everywhere existence of the second differential of a convex function and some properties of convex surfaces connected with it. Leningrad State Univ. Ann. [Uchenye Zapiski] Math. Ser. 6, 3–35, 1939
Andrews, B.: Gauss curvature flow: the fate of the rolling stones. Invent. Math. 138(1), 151–161, 1999
Andrews, B., Chow, B., Guenther, C., Langford, M.: Extrinsic geometric flows. Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, 206, 2020
Barthe, F., Guédon, O., Mendelson, S., Naor, A.: A probabilistic approach to the geometry of the \(l^n_p\)-ball. Ann. Probab. 33(2), 480–513, 2015
Blaschke, W.: Vorlesungen über Integralgeometrie, Deutscher Verlag der Wissenschaften, Berlin, 3te Aufl, 1955
Borell, C.: Capacitary inequalities of the Brunn-Minkowski type. Math. Ann. 263(2), 179–184, 1983
Borell, C.: Greenian potentials and concavity. Math. Ann. 272(1), 155–160, 1985
Borell, C.: Greenian potentials and concavity. Math. Ann. 272, 1, 1985
Böröczky, K.: The Logarithmic Minkowski Conjecture and the LP-Minkowski Problem, 2022, preprint arXiv:2210.00194
Böröczky, K.J., Hegedűs, P.: The cone volume measure of antipodal points. Acta Math. Hungar. 146(2), 449–465, 2015
Böröczky, K.J., Henk, M.: Cone-volume measure of general centered convex bodies. Adv. Math. 286, 703–721, 2016
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: The log-Brunn-Minkowski inequality. Adv. Math. 231(3–4), 1974–1997, 2012
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: The logarithmic Minkowski problem. J. Am. Math. Soc. 26(3), 831–852, 2013
Brandolini, B., Gavitone, N., Nitsch, C., Trombetti, C.: Characterization of ellipsoids through an overdetermined boundary value problem of Monge-Ampère type. J. Math. Pures Appl. 101(6), 828–841, 2014
Brascamp, H.J., Lieb, E.H.: On extensions of the Brunn-Minkowski and Prékopa-Leindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation. J. Funct. Anal. 22(4), 366–389, 1976
Brendle, S., Choi, K., Daskalopoulos, P.: Asymptotic behavior of flows by powers of the Gaussian curvature. Acta Math. 219(1), 1–16, 2017
Bucur, D., Fragalà, I.: On the honeycomb conjecture for Robin Laplacian eigenvalues. Commun. Contemp. Math. 21(2), 1850007, 2019
Bucur, D., Fragalà, I., Lamboley, J.: Optimal convex shapes for concave functionals. ESAIM Control Optim. Calc. Var. 18(3), 693–711, 2012
Chambolle, A., Morini, M., Ponsiglione, M.: Nonlocal curvature flows. Arch. Ration. Mech. Anal. 218(3), 1263–1329, 2015
Colesanti, A.: Brunn-Minkowski inequalities for variational functionals and related problems. Adv. Math. 194(1), 105–140, 2005. https://doi.org/10.1016/j.aim.2004.06.002
Colesanti, A., Fimiani, M.: The Minkowski problem for torsional rigidity. Indiana Univ. Math. J. 59(3), 1013–1039, 2010
Crasta, G., Fragalà, I.: On a geometric combination of functions related to prékopa-leindler inequality. Mathematika 69, 482–507, 2023
Dahlberg, B.E.J.: Estimates of harmonic measure. Arch. Ration. Mech. Anal. 65(3), 275–288, 1977. https://doi.org/10.1007/BF00280445
Federer, H.: Geometric Measure Theory, Die Grundlehren der Mathematischen Wissenschaften, Band 153, Springer-Verlag New York Inc, New York, 1969
Firey, W.J.: Shapes of worn stones. Mathematika 21, 1–11, 1974
Fragalà, I.: Symmetry results for overdetermined problems on convex domains via Brunn-Minkowski inequalities. J. Math. Pures Appl. 97(1), 55–65, 2012
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer-Verlag, Berlin (1977)
Gromov, M., Milman, V.D.: Generalization of the spherical isoperimetric inequality to uniformly convex Banach spaces. Compos. Math. 62(3), 263–282, 1987
Guan, P., Ni, L.: Entropy and a convergence theorem for Gauss curvature flow in high dimension. J. Eur. Math. Soc. (JEMS) 19(12), 3735–3761, 2017
Henrot, A.: Extremum Problems for Eigenvalues of Elliptic Operators, Frontiers in Mathematics. Birkhäuser Verlag, Basel (2006)
Henrot, A.: Shape Optimization and Spectral Theory, De Gruyter Open Poland, 2017
Hu, J.: A Gauss curvature flow approach to the torsional Minkowski problem. J. Differ. Equ. 385, 254–279, 2024
Hug, D.: Contributions to affine surface area. Manuscr. Math. 91(3), 283–301, 1996. https://doi.org/10.1007/BF02567955
Hug, D.: Absolute continuity for curvature measures of convex sets. I. Math. Nachr. 195, 139–158, 1998. https://doi.org/10.1002/mana.19981950108
Hug, D.: Absolute continuity for curvature measures of convex sets. II. Math. Z. 232(3), 437–485, 1999. https://doi.org/10.1007/PL00004765
Jerison, D.: The direct method in the calculus of variations for convex bodies. Adv. Math. 122(2), 262–279, 1996
Jerison, D.: A Minkowski problem for electrostatic capacity. Acta Math. 176(1), 1–47, 1996
Kawohl, B., Krömer, S., Kurtz, J.: Radial eigenfunctions for the game-theoretic \(p\)-Laplacian on a ball. Differ. Integr. Equ. 27(7–8), 659–670, 2014
Ludwig, M.: General affine surface areas. Adv. Math. 224(6), 2346–2360, 2010
Ludwig, M., Reitzner, M.: A classification of SL \((n)\) invariant valuations. Ann. Math. 172(2), 1219–1267, 2010
Lutwak, E.: On the Blaschke-Santaló inequality. Discrete Geom. Convex. (N. Y.) 440, 106–112, 1982
Lutwak, E.: The Brunn–Minkowski–Firey, theory. II. Affine and geominimal surface areas. Adv. Math. 118(2), 244–294, 1996. https://doi.org/10.1006/aima.1996.0022
Lutwak, E., Yang, D., Zhang, G.: \(L_p\) John ellipsoids. Proc. Lond. Math. Soc. 90(2), 497–520, 2005
McMullen, P.: On the inner parallel body of a convex body. Israel J. Math. 19, 217–219, 1974. https://doi.org/10.1007/BF02757715
Naor, A.: The surface measure and cone measure on the sphere of \(l_p^n\). Trans. Am. Math. Soc. 359(3), 1045–1079, 2007
Naor, A., Romik, D.: Projecting the surface measure of the sphere of \(\updownarrow _p^n\). Ann. Inst. H. Poincaré Probab. Stat. 39(2), 241–261, 2003
Paouris, G., Werner, E.M.: Relative entropy of cone measures and \(L_p\) centroid bodies. Proc. Lond. Math. Soc. 104(2), 253–286, 2012
Pólya, G., Szegö, G.: Isoperimetric Inequalities in Mathematical Physics, Annals of Mathematics Studies, no. 27, Princeton University Press, Princeton, N.J., 1951
Santaló, L.A.: An affine invariant for convex bodies of \(n\)-dimensional space. Portugaliae Math. 8, 155–161, 1949
Schneider, R.: Convex Bodies: The Brunn–Minkowski Theory. Cambridge University Press, Cambridge (1993)
Schneider, R.: Convex Bodies: The Brunn–Minkowski Theory, Expanded, Encyclopedia of Mathematics and Its Applications, vol. 151. Cambridge University Press, Cambridge (2014)
Stancu, A.: Centro-affine invariants for smooth convex bodies. Int. Math. Res. Not. IMRN 10, 2289–2320, 2012
Tso, K.: Deforming a hypersurface by its Gauss-Kronecker curvature. Comm. Pure Appl. Math. 38(6), 867–882, 1985
Serrin, J.: A symmetry problem in potential theory. Arch. Ration. Mech. Anal. 43, 304–318, 1971
Werner, E., Ye, D.: New \(L_p\) affine isoperimetric inequalities. Adv. Math. 218(3), 762–780, 2008. https://doi.org/10.1016/j.aim.2008.02.002
Zhu, G.: The logarithmic Minkowski problem for polytopes. Adv. Math. 262, 909–931, 2014
Zhu, G.: The centro-affine Minkowski problem for polytopes. J. Differ. Geom. 101(1), 159–174, 2015
Funding
Open access funding provided by Università degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The Authors declare that this article does not involve any Conflict of interest.
Additional information
Communicated by I. Fonseca.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Crasta, G., Fragalà, I. Variational Worn Stones. Arch Rational Mech Anal 248, 48 (2024). https://doi.org/10.1007/s00205-024-01994-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00205-024-01994-w