Abstract
We discuss the smoothness and strict convexity of the solution of the \(L_{p}\)-Minkowski problem when \(p<1\) and the given measure has a positive density function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given K in the class \(\mathcal {K}_0^n\) of compact convex sets in \({\mathbb {R}}^n\) that have non-empty interior and contain the origin o, we write \(h_K\) and \(S_K\) to denote its support function and its surface area measure, respectively, and for \(p\in {\mathbb {R}}\), \(S_{K,p}\) to denote its \(L_p\)-area measure, where \(d S_{K,p}=h_K^{1-p}dS_K\). The \(L_p\)-area measure defined by Lutwak [35] is a central notion in convexity, see say Barthe et al. [2], Böröczky et al. [5], Campi and Gronchi [10], Chou [15], Cianchi et al. [17], Gage and Hamilton [19], Haberl and Parapatits [23], Haberl and Schuster [24, 25], Haberl et al. [26], He et al. [27], Henk and Linke [28], Ludwig [34], Lutwak et al. [37, 38], Naor [41], Naor and Romik [42], Paouris [44], Paouris and Werner [45] and Stancu [50].
The \(L_p\) Minkowski problem asks for the existence of a convex body \(K\in \mathcal {K}_{0}^n\) whose \(L_p\) area measure is a given finite Borel measure \(\nu \) on \(S^{n-1}\). When \(p=1\), this is the classical Minkowski problem solved by Minkowski [40] for polytopes, and by Alexandrov [1] and Fenchel and Jessen [18] in general. The smoothness of the solution was clarified in a series of papers by Nirenberg [43], Cheng and Yau [14], Pogorelov [46] and Caffarelli [7, 8]. For \(p>1\) and \(p\ne n\), the \(L_p\) Minkowski problem has a unique solution according to Chou and Wang [16], Guan and Lin [22] and Hug, Lutwak, Yang and Zhang [30]. The smoothness of the solution is discussed in Chou and Wang [16], Huang and Lu [29] and Lutwak and Oliker [36]. In addition, the case \(p<1\) has been intensively investigated by Böröczky et al. [4], Böröczky and Trinh [6], Chen [13], Chen et al. [11, 12], Ivaki [31], Jiang [32], Lu and Wang [33], Lutwak et al. [39], Stancu [48, 49] and Zhu [52,53,54,55].
The solution of the \(L_p\)-Minkowski problem may not be unique for \(p<1\) according to Chen et al. [12] if \(0<p<1\), according to Stancu [49] if \(p=0\), and according to Chou and Wang [16] if \(p<0\) small.
In this paper we are interested in this problem when \(p<1\) and \(\nu \) is a measure with density with respect to the Hausdorff measure \(\mathcal {H}^{n-1}\) on \(S^{n-1}\), i.e. in the problem
where f is a non-negative Borel function in \(S^{n-1}\).
According to Chou and Wang [16], if \(-\,n<p<1\) and the Borel function f is bounded from above and below by positive constants, then (1.1) has a solution. More general existence results are provided by the recent works Chen et al. [11] if \(p=0\), Chen et al. [12] if \(0< p<1\), and Bianchi et al. [3] if \(-\,n<p<0\). In particular, it is known that (1.1) has a solution if \(0\le p<1\) and f is any non-negative function in \(L_1(S^{n-1})\) with \(\int \nolimits _{S^{n-1}}f\,d{\mathcal H}^{n-1}>0\), and if \(-n<p<0\) and f is any non-negative function in \(L_{\frac{n}{n+p}}(S^{n-1})\) with \(\int \nolimits _{S^{n-1}}f\,d{\mathcal H}^{n-1}>0\).
We observe that h is a non-negative positively 1-homogeneous convex function in \({\mathbb {R}}^n\) which solves the Monge–Ampère equation
in the sense of measure if and only if h is the support function of a convex body \(K\in {\mathcal K}_{0}^n\) which is the solution of (1.1) (see Sect. 2). Here h is the unknown non-negative (support) function on \(S^{n-1}\) to be found, \(\nabla ^2 h\) denotes the (covariant) Hessian matrix of h with respect to an orthonormal frame on \(S^{n-1}\), and I is the identity matrix. The function h may vanish somewhere even in the case when f is positive and continuous, and when this happens and \(p<1\) the Eq. (1.2) is singular at the zero set of h. Naturally, if h is \(C^2\), then (1.2) is a proper Monge–Ampère equation.
In this paper we study the smoothness and strict convexity of a solution \(K\in {\mathcal K}_{0}^n\) of (1.1) assuming \(\tau _2>f>\tau _1\) for some constants \(\tau _2>\tau _1>0\). Concerning these aspects for \(p<1\), we summarise the known results in Theorem 1.1, and the new results in Theorem 1.2.
We say that \(x\in \partial K\) is a \(C^1\)-smooth point if there is a unique tangent hyperplane to K at x, and observe that \(\partial K\) is \(C^1\) if and only if each \(x\in \partial K\) is \(C^1\)-smooth (see Sect. 2 for all definitions). In addition, we note that \(h_K\) is \(C^1\) on \(S^{n-1}\) if and only if K is strictly convex, and \(h_K\) is strictly convex on any hyperplane avoiding the origin if and only if \(\partial K\) is \(C^1\). For \(z\in \partial K\), the exterior normal cone at z is denoted by N(K, z), and for \(z\in \mathrm{int}\,K\), we set \(N(K,z)=\{o\}\). Theorem 1.1(i) and (ii) are essentially due to Caffarelli [7] (see Theorem 3.6), and Theorem 1.1(iii) is due to Chou and Wang [16]. If the function f in (1.1) is \(C^\alpha \) for \(\alpha >0\), then Caffarelli [8] proves (iv).
Theorem 1.1
(Caffarelli, Chou, Wang) If \(K\in {\mathcal K}_{0}^n\) is a solution of (1.1) for \(n\ge 2\) and \(p<1\), and f is bounded from above and below by positive constants, then the following assertions hold:
- (i)
The set \(X_0\) of the points \(x\in \partial K\) with \(N(K,x)\subset N(K,o)\) is closed, each point of \(X=\partial K\backslash X_0\) is \(C^1\)-smooth and X contains no segment.
- (ii)
If \(o\in \partial K\) is a \(C^1\)-smooth point, then \(\partial K\) is \(C^1\).
- (iii)
If \(p\le 2-n\), then \(o\in \mathrm{int}\,K\), and hence K is strictly convex and \(\partial K\) is \(C^1\).
- (iv)
If \(o\in \mathrm{int}\,K\) and the function f in (1.1) is positive and \(C^\alpha \), for some \(\alpha >0\), then \(\partial K\) is \(C^{2,\alpha }\).
Concerning strict convexity, assertion (iii) here is optimal because Example 4.2 shows that if \(2-n<p<1\), then it is possible that o belongs to the relative interior of an \((n-1)\)-dimensional face of a solution K of (1.1) where f is a positive continuous function. Therefore, the only question left open is the \(C^1\) smoothness of the boundary of the solution if \(2-n<p<1\).
We note that if \(p<1\) and K is a solution of (1.2) with f positive and \(o\in \partial K\), then
Therefore, Theorem 1.1(ii) yields that \(\partial K\) is \(C^1\) for the solution K if \(n=2\). In general, we have the following partial results.
Theorem 1.2
If \(K\in {\mathcal K}_{0}^n\) is a solution of (1.1) for \(n\ge 2\) and \(p<1\), and f is bounded from above and below by positive constants, then the following assertions hold:
- (i)
If \(n=2\), \(n=3\) or \(n>3\) and \(p<4-n\), then \(\partial K\) is \(C^1\).
- (ii)
If \(\mathcal {H}^{n-1}(X_0)=0\) for the \(X_0\) in Theorem 1.1(i), then \(\partial K\) is \(C^1\).
Our results differ in some cases from the ones in Chou and Wang [16], possibly because [16] considers the equation
instead of (1.2). In the context of non-negative convex functions, being a solution of this last equation is a priori more restrictive than being a solution of (1.2), even if obviously the two notions coincide when h is positive (see Sect. 2 for more on this point). Chou and Wang [16] proves, under our same assumptions on f, the strict convexity of the solution h of (1.4) on hyperplanes avoiding the origin, and uses this to prove that \(\partial K\) is \(C^1\) for the convex body K. We note that if \(K\in {\mathcal K}_{0}^n\) is a solution of (1.4) for \(p<1\) and f is bounded from below and above by positive constants, then combining Theorem 1.2(ii) with the simple observation (2.11) in Sect. 2 shows that \(\partial K\) is \(C^1\), as it was verified by Chou and Wang [16]. In our opinion (1.2) is the right equation to consider and using it we obtain weaker results.
To give an example of how the two equations differ, the support function h of the body K in Example 4.2 (where o belongs to the relative interior of an \((n-1)\)-dimensional face) is a solution of (1.2) but not a solution of (1.4).
According to Chou and Wang [16] (see also Lemma 3.1 below), the Monge-Ampère equation (1.2) can be transferred to a Monge-Ampère equation
for a convex function v on \({\mathbb {R}}^{n-1}\) where g is a given non-negative function and \(D^2\) stands for the Hessian in \({\mathbb {R}}^{n-1}\).
The proofs of Claims (i) and (ii) in Theorem 1.1 use as an essential tool a result proved by Caffarelli in [7] regarding smoothness and strict convexity of convex solutions of certain Monge–Ampère equation of type (1.5) (see Theorem 3.6). Proving that \({\partial }K\) is \(C^1\) is equivalent to prove that \(h_K\) is strictly convex, and [7] is the key to prove this property in \(\{y\in S^{n-1} : h_K(y)>0\}\).
The proof of Claim (i) in Theorem 1.2 is based on the following result for the singular inequality \(v^{1-p}\det D^2 v\ge g\).
Proposition 1.3
Let \(\Omega \subset {\mathbb {R}}^n\) be an open convex set, and let v be a non-negative convex function in \(\Omega \) with \(S=\{x\in \Omega :\,v(x)=0\}\). If for \(p<1\) and \(\tau >0\), v is the solution of
in the sense of measure, and S is r-dimensional, for \(r\ge 1\), then \(p\ge -n+1+2r\).
We mention that in Caffarelli [9] a corresponding result for \(p=1\) is established.
The underlying idea behind the proof of this result is the following: On the one hand, the graph of v near S is close to being ruled. Hence, the total variation of the derivative is “small”. On the other hand, the total variation of the derivative is “large” because of the Monge-Ampère inequality (1.6).
The inequality \(p\ge -n+1+2r\) in this result is close to being optimal, at least when \(r=1\). Indeed, Example 3.2 shows that, for any \(p>-n+3\), there exists a non-negative convex solution of (1.6) in \(\Omega \) which vanishes on the intersection of \(\Omega \) with a line. For the version \(p=1\) of Proposition 1.3, Caffarelli [9] proves that \(\mathrm{dim}\,S<n/2\) and that this inequality is optimal.
Proposition 1.3 yields actually somewhat more than Claim (i) in Theorem 1.2; namely, if \(r\ge 2\) is an integer, \(p<\min \{1,2r-n\}\) and \(K\in {\mathcal K}_{0}^n\) is a solution of (1.1) with \(o\in \partial K\), then \(\mathrm{dim}\,N(K,o)<r\). As a consequence, we have the following technical statements about K, where we also use Theorem 1.2 (ii) for Claim (ii).
Corollary 1.4
If \(p<1\) and \(K\in {\mathcal K}_{0}^n\), \(n\ge 4\), is a solution of (1.1) with \(o\in \partial K\), then
- (i)
\(\mathrm{dim}\,N(K,o)<\frac{n+1}{2}\);
- (ii)
if in addition \(n=4,5\) and \(\partial K\) is not \(C^1\), then \(\mathrm{dim}\,N(K,o) =2\) and \(\mathrm{dim}\,F(K,u)=n-1\) for some \(u\in N(K,o)\).
In Section 2 we review the notation used in this paper. Section 3 contains results and examples regarding Monge-Ampère equations in \({\mathbb {R}}^n\), namely Proposition 1.3, Example 3.2 and Proposition 3.4. This last result is the key to prove Theorem 1.2 (ii). In Section 4 we show, for the sake of completeness, how to prove Theorem 1.1 using ideas due to Caffarelli [7, 8] and Chou and Wang [16]. Theorem 1.2 and Corollary 1.4 are proved in Section 5.
2 Notation and Preliminaries
As usual, \(S^{n-1}\) denotes the unit sphere and o the origin in the Euclidean n-space \({\mathbb {R}}^n\). The symbol \(B^n\) denotes the unit ball in \({\mathbb {R}}^n\) centred at o and \(\omega _n\) denotes its volume. If \(x,y\in {\mathbb {R}}^n\), then \(\left<x,y\right>\) is the scalar product of x and y, while \(\Vert x\Vert \) is the euclidean norm of x. By [x, y] we denote the segment with endpoint x and y.
We write \(\mathcal {H}^k\) for k-dimensional Hausdorff measure in \({\mathbb {R}}^n\).
We denote by \(\partial E\), \({{\text {int }}}E\), \({{\text {cl}}}E\), and \(1_E\) the boundary, interior, closure, and characteristic function of a set E in \({\mathbb {R}}^n\), respectively. The symbols \({{\text {aff }}}E\) and \({{\text {lin }}}E\) denote, respectively, the affine hull and the linear hull of E. The dimension\(\dim E\) is the dimension of \({{\text {aff }}}E\). With the symbol \(E\mathbin |L\) we denote the orthogonal projection of E on the linear space L.
Given a function v defined on a subset of \({\mathbb {R}}^n\), Dv and \(D^2 v\) denote its gradient and its Hessian, respectively.
Our next goal is to recall a standard notion of generalised solution of Monge-Ampère equations, usually referred to as solution in the sense of measure. Our general reference for notions and facts about Monge-Ampère equations is the survey by Trudinger and Wang [51]. Let v be a convex function defined in an open convex set \(\Omega \); the subgradient \({\partial }v(x)\) of v at \(x\in \Omega \) is defined as
which is a non-empty compact convex set. Note that v is differentiable at \(x\in \Omega \) if and only if \(\partial v(x)\) consists of exactly one vector, which is the gradient of v at x. If \(\omega \subset \Omega \) is a Borel set, then we denote by \(N_v(\omega )\) the image of \(\omega \) through the gradient map of v, i.e.
Note that as \(\omega \) is a Borel set, then \(N_v(\omega )\) is measurable. Hence, we may define the Monge–Ampère measure associated to v as follows
For \(p<1\) and non-negative g on \({\mathbb {R}}^n\), we say that the non-negative convex function v satisfies the Monge-Ampère equation
in the sense of measure (or in the Alexandrov sense) if
Equivalently
for every Borel subset \(\omega \) of \(\Omega \).
A convex body in \({\mathbb {R}}^n\) is a compact convex set with non-empty interior. The treatises Gardner [20], Gruber [21] and Schneider [47] are excellent general references for convex geometry. The function
for \(u\in {\mathbb {R}}^n\), is the support function of K. When it is clear the convex body to which we refer we will drop the subscript K from \(h_K\) and write simply h. Any convex body K is uniquely determined by its support function. A set \(C\subset {\mathbb {R}}^n\) is a convex cone if \(\alpha _1u_1+\alpha _2u_2\in C\) for any \(u_1,u_2\in C\) and \(\alpha _1,\alpha _2\ge 0\).
If S is a convex set in \({\mathbb {R}}^n\), then \(z\in S\) is an extremal point if \(z=\alpha x_1+(1-\alpha )x_2\) for \(x_1,x_2\in S\) and \(\alpha \in (0,1)\) imply \(x_1=x_2=z\). We note that if S is compact and convex, then S is the convex hull of its extremal points. If C is a convex cone and \(u\in C\backslash \{o\}\), we say that \(\sigma =\{\lambda u:\,\lambda \ge 0\}\) is an extremal ray if \(\alpha _1 x_1+\alpha _2x_2\in \sigma \) for \(x_1,x_2\in C\) and \(\alpha _1,\alpha _2>0\) imply \(x_1,x_2\in \sigma \). Now if \(C\ne \{o\}\) is a closed convex cone such that the origin is an extremal point of C, then C is the convex hull of its extremal rays.
The normal cone of a convex body K at \(z\in K\) is defined as
where \(N(K,z)=\{o\}\) if \(z\in \mathrm{int} K\) and \(\mathrm{dim}\,N(K,z)\ge 1\) if \(z\in {\partial }K\). This definition can be written also as
In particular, N(K, z) is a closed convex cone such that the origin is an extremal point, and
A convex body K is \(C^1\)-smooth at \(p\in {\partial }K\) if N(K, p) is a ray, and \(\partial K\) is \(C^1\) if each \(p\in {\partial }K\) is a \(C^1\)-smooth point. Therefore, \({\partial }K\) is \(C^1\) if and only if the restriction of \(h_K\) to any hyperplane not containing o is strictly convex, by (2.3).
We say that a convex body K is strictly convex if \({\partial }K\) contains no segment. The face of K with outer normal \(u\in {\mathbb {R}}^n\) is defined as
which lies in \({\partial }K\) if \(u\ne o\). Schneider [47, Theorem 1.7.4] proves that
Therefore, K is strictly convex if and only if \(h_K\) is \(C^1\) on \({\mathbb {R}}^n\backslash \{o\}\).
A crucial notion for this paper is the one of surface area measure\(S_K\) of a convex body K, which is a Borel measure on \(S^{n-1}\), defined as follows. For any Borel set \(\omega \subset S^{n-1}\):
Hence, \(S_K\) is the analogue of the Monge–Ampère measure for the restriction of \(h_K\) to \(S^{n-1}\).
Given a convex body K containing o and \(p<1\), let \(S_{K,p}\) denote the \(L_p\) area measure of K; namely,
Let f be a positive and measurable function on \(S^{n-1}\); we say that \(h_K\) is a solution of (1.2) in the sense of measure if
for every Borel subset \(\omega \) of \(S^{n-1}\).
In what follows we will always assume that f is bounded between two positive constants. Our first remark is that the previous definition is equivalent to the following conditions (a) and (b):
- (a)
\(\dim N(K,o)<n\); or equivalently,
$$\begin{aligned} \mathcal {H}^{n-1}\big (\{y\in S^{n-1} : h_K(y)=0\}\big )=\mathcal {H}^{n-1}\big (N(K,o)\cap S^{n-1}\big )=0, \end{aligned}$$(2.7) - (b)
for each Borel set \(\omega \subset \{y\in S^{n-1}:\,h_K(y)>0\}\), we have
$$\begin{aligned} \int \nolimits _\omega h_K^{1-p}(y)\,\mathrm{{d}}S_K(y) =\int \nolimits _{\omega } f(y)\, \mathrm{{d}}\mathcal {H}^{n-1}(y). \end{aligned}$$(2.8)
Moreover, condition (b) is in turn equivalent to
- (b’)
for each Borel set \(\omega \subset \{y\in S^{n-1}:\,h_K(y)>0\}\), we have
$$\begin{aligned} S_K(\omega ) =\int \nolimits _{\omega } f(y)h_K(y)^{p-1}\, \mathrm{{d}}\mathcal {H}^{n-1}(y). \end{aligned}$$(2.9)
To prove that (b) and (b’) are equivalent is a simple exercise (in which one has to take into account the fact that \(h_K\) is continuous). Indeed, both claims are in turn equivalent to the following fact: the measure \(S_K\) is absolutely continuous with respect to \(\mathcal {H}^{n-1}\) on \(S^{n-1}\setminus \{y\in S^{n-1}:h_K(y)=0\}\), and the Radon–Nikodym derivative of \(S_K\) with respect to \(\mathcal {H}^{n-1}\) is \(f h_K^{p-1}\).
Let us prove the equivalence between (2.6) and (a)–(b). To this end, it will be useful the following observation: the set
is a closed convex cone. Indeed, it is the set where the non-negative, convex and 1-homogeneous function \(h_k\) attains its minimum. For convenience, we set \(\omega _0=\{y\in S^{n-1}:h_K(y)=0\}\). Assume that (2.6) holds; then (b) follows immediately. If, by contradiction, (a) is false, then \(\omega _0\) has non-empty interior so that
i.e. a contradiction (in the last inequality we have used the fact that f is bounded from below by a positive constant). Vice versa, assume that (a) and (b) hold. Given a Borel subset \(\omega \) of \(S^{n-1}\) we may write it as the disjoint union of \(\omega '=\omega \cap \omega _0\) and \(\omega ''=\omega \setminus \omega '\). By (a), \(\mathcal {H}^{n-1}(\omega ')=0\), moreover \(h_K=0\) on \(\omega '\); hence,
i.e. (2.6).
Our next step is to compare the solutions considered by Chou and Wang [16] with the ones introduced here. In particular, we will show that if \(h_K\) is a solution of (1.4), then it verifies conditions (a) and (b) as well [and consequently (2.6)]. Note that being a solution of (1.4) in the sense of measures means that
has to hold for every Borel subset of \(S^{n-1}\). In particular (2.9) follows (and then (b)). Moreover, as \(S_K\) is finite, \(h_K\ge 0\) and f is bounded between two positive constants, the previous relation implies that
As \(p-1<0\), this yields that the set \(\omega _0\) where \(h_K\) vanishes on \(S^{n-1}\) has zero \((n-1)\)-dimensional measure. On the other hand this is the intersection of \(S^{n-1}\) with a convex cone. Hence we get condition (a).
In addition, if we now apply (2.10) to \(\omega _0\), we get that when \(h_K\) is a solution of (1.4) then
Note that (2.11) implies that \(\mathcal {H}^{n-1}(X_0)=0\), in the notation of Theorem 1.2, because \(X_0\subset \cup \{F(K,u) : u\in N(K,o)\cap S^{n-1}\}\) and (2.11) means, by definition,
Hence, applying Theorem 1.2(ii) we deduce that if \(K\in {\mathcal K}_{0}^n\) is a solution of (1.4) for \(p<1\) and f is bounded from below and above by positive constants, then \(\partial K\) is \(C^1\), as it was verified by Chou and Wang [16].
3 Some Results on Monge–Ampère Equations in Euclidean Space
Lemma 3.1 is the tool to transfer the Monge–Ampère equation (1.2) on \(S^{n-1}\) to a Euclidean Monge–Ampère equation on \({\mathbb {R}}^{n-1}\). For \(e\in S^{n-1}\), we consider the restriction of a solution h of (1.2) to the hyperplane tangent to \(S^{n-1}\) at e.
Lemma 3.1
If \(e\in S^{n-1}\), h is a convex positively 1-homogeneous non-negative function on \({\mathbb {R}}^n\) that is a solution of (1.2) for \(p<1\) and positive f, and \(v(y)=h(y+e)\) holds for \(v:\,e^\bot \rightarrow {\mathbb {R}}\), then v satisfies
where, for \(y\in e^\bot \), we have
Proof
Let \(h=h_K\) for \(K\in \mathcal {K}_0^n\), and let
which is a possibly empty spherically convex compact set whose spherical dimension is at most \(n-2\), by (2.7). According to (2.9), the Monge–Ampère equation for \(h_K\) can be written in the form
We consider \(\pi :e^\bot \rightarrow S^{n-1}\) defined by
which is induced by the radial projection from the tangent hyperplane \(e+e^\bot \) to \(S^{n-1}\). Since \(\langle \pi (x),e\rangle =(1+\Vert x\Vert ^2)^{\frac{-1}{2}}\), the Jacobian of \(\pi \) is
For \(x\in e^\bot \), (2.4) and writing \(h_K\) in terms of an orthonormal basis of \({\mathbb {R}}^n\) containing e yield that v satisfies
Let \(S=\pi ^{-1}(\widetilde{S})\). For a Borel set \(\omega \subset e^\bot \backslash S\), we have
where we used at the last step that
In particular, v satisfies the Monge–Ampère type differential equation
Since \(\mathrm{dim}\,S\le n-2\) by (1.3), v satisfies (3.1) on \(e^\bot \). \(\square \)
Having Lemma 3.1 at hand showing the need to understand related Monge-Ampère equations in Euclidean spaces, we prove Propositions 1.3 and 3.4, and quote Caffarelli’s Theorem 3.6.
Proof of Proposition 1.3
Up to changing coordinate system, we may assume, without loss of generality, that \(S\subset \{(x_1,x_2)\in {\mathbb {R}}^r\times {\mathbb {R}}^{n-r}: x_2=0\}\) and the origin is contained in the relative interior of S. Therefore, up to restricting \(\Omega \), we may also assume that v is continuous on \(\mathrm{cl}\,\Omega \), that \(\Omega =\{(x_1,x_2)\in {\mathbb {R}}^r\times {\mathbb {R}}^{n-r}: \Vert x_1\Vert< s_1, \Vert x_2\Vert < s_2\}\) for some constants \(s_1,s_2>0\) and that \(S=\{(x_1,x_2)\in \Omega : x_2=0\}\).
Let \(\alpha =\max _{\mathrm{cl}\,\Omega } v\) and let us consider the convex body
For \(t\in (0,s_2/2]\), let
We estimate \(\mathcal {H}^{n}\big (N_v(\Omega _t\setminus S)\big )\). Let \((x_1,x_2)\in \Omega _t\setminus S\) and let \((z_1,z_2)\in {\mathbb {R}}^r\times {\mathbb {R}}^{n-r}\) belong to \({\partial }v (x_1,x_2)\). We prove that
If \(z_2=0\) the first inequality in (3.4) holds true. Assume \(z_2\ne 0\). The vector \((z_1,z_2,-1)\) is an exterior normal to M at \(p=(x_1,x_2,v(x_1,x_2))\). Since
(because \(\big \Vert x_2+s_2 z_2/(2\Vert z_2\Vert )\big \Vert \le \Vert x_2\Vert +s_2/2\le s_2\)) then \(\langle q_1-p, (z_1,z_2,-1)\rangle \le 0\). This implies
and the first inequality in (3.4). Again, if \(z_1=0\), then the second inequality (3.4) holds true. Assume \(z_1\ne 0\). We have
because \(\big \Vert x_1+s_1 z_1/(2\Vert z_1\Vert )\big \Vert \le s_1\), \((x_1+s_1 z_1/(2\Vert z_1\Vert ),0)\in S\) and therefore \(v(x_1,x_2)\ge 0=v(x_1+s_1 z_1/(2\Vert z_1\Vert ),0)\). The inequality \(\langle q_2-p, (z_1,z_2,-1)\rangle \le 0\) implies the second inequality (3.4).
The inequalities in (3.4) imply
for a suitable constant c independent of t.
Now we estimate \(\int \nolimits _{\Omega _t\backslash S} v(x)^{p-1}\ \mathrm{{d }}x\). The inclusion of the convex hull of \(S\times \{0\}\) and \(\{\Vert x_1\Vert \le s_1, \Vert x_2\Vert \le s_2, y=\alpha \}\) in M implies that \(v(x_1,x_2)\le \frac{\alpha }{s_2}\, \Vert x_2\Vert \) for each \((x_1,x_2)\in \Omega _t\) by the convexity of v. Using this estimate it is straightforward to compute that
for a suitable constant d independent on t. The inequalities (3.5) and (3.6) and the differential inequality satisfied by v imply, as \(t\rightarrow 0^+\),
This inequality implies \(p\ge -\,n+1+2r\). \(\square \)
Example 3.2
Let us show that for any \(p>-n+3\) there exists a non-negative convex solution of (1.6) in \(\Omega =\{(x_1,x_2)\in {\mathbb {R}}\times {\mathbb {R}}^{n-1}: x_1\in [-1,1], \Vert x_2\Vert \le 1\}\) which vanishes on the 1-dimensional space \(S=\{(x_1,x_2)\in {\mathbb {R}}\times {\mathbb {R}}^{n-1} : x_2=0\}\).
To prove this let
where \(f(r)=r^\alpha \), with \(\alpha =(p+n-1)/2\), and \(g(x_1)=(1+\beta x_1^2)\), with \(\beta >0\) sufficiently small. Note that \(\alpha >1\) exactly when \(p>-n+3\).
The function v is invariant with respect to rotations around the line containing S. To compute \(\det D^2 v\) at an arbitrary point, it suffices to compute it at \((x_1,0,\dots ,0,r)\), \(r\ge 0\). We get
The function v is convex if \(\beta \) is sufficiently small. Indeed, the eigenvalues of \(D^2 v\) are \(\frac{1}{r}+\frac{f'(r)}{r} g(x_1)\), with multiplicity \(n-2\), and those of the matrix
The determinant of the latter matrix is
which is positive if \(\beta >0\) is sufficiently small. Thus, all eigenvalues of \(D^2 v\) are positive.
We get
which has the same order as \(r^{2\alpha -n}\) as \(r\rightarrow 0^+\). Clearly v has order r, and \(v^{1-p}\det D^2 v\) has order \(r^{2\alpha -n+1-p}\), which is uniformly bounded from above and below for our choice of \(\alpha \).
The next statement is a slight modification of Lemmas 3.2 and 3.3 from Trudinger and Wang [51]. Its proof closely follows that in [51] and is given here for completeness.
Lemma 3.3
Let v be a convex function defined on the closure of an open bounded convex set \(\Omega \subset {\mathbb {R}}^n\) satisfying the Monge-Ampère equation
for a finite non-negative measure \(\nu \) on \(\Omega \), let \(v\equiv 0\) on \(\partial \Omega \) and let \(tE\subset \Omega \subset E\) for \(t>0\) and an origin centred ellipsoid E.
- (i)
If \(z\in \Omega \) satisfies \((z+s\, E)\cap \partial \Omega \ne \emptyset \) for \(s>0\), then
$$\begin{aligned} |v(z)|\le s^{1/n}c_0\mathcal {H}^n(\Omega )^{1/n}\nu (\Omega )^{1/n} \end{aligned}$$for some \(c_0>0\) depending on n and t.
- (ii)
If \(\nu (t\Omega )\ge b\,\nu (\Omega )\) for \(b>0\), then
$$\begin{aligned} |v(0)|\ge c_1\mathcal {H}^n(\Omega )^{1/n}\nu (\Omega )^{1/n} \end{aligned}$$(3.7)for some \(c_1>0\) depending on n, t and b.
- (iii)
If \((z+s\, E)\cap \partial \Omega \ne \emptyset \) and \(\nu (t\Omega )\ge b\,\nu (\Omega )\), then
$$\begin{aligned} \frac{|v(z)|}{|v(o)|}\le \frac{c_1}{c_0}s^{1/n}. \end{aligned}$$(3.8)
When \(E=B^n\), the number s can be chosen as the distance of z from \({\partial }{\Omega }\). In the general case s has the same meaning in the metric induced by the norm whose unitary ball is E.
Proof
Let A be a linear transformation such that \(B^n=A^{-1}E\), let \(\tilde{v}(x)=v(Ax)|\det A|^{-2/n}\), \(\widetilde{{\Omega }}=A^{-1}{\Omega }\) and let \(\tilde{\nu }\) be the measure defined for each Borel set \({\omega }\subset \widetilde{{\Omega }}\) as \(\tilde{\nu }({\omega })=\nu (A{\omega })/|\det A|\). It is known that \(\tilde{v}\) solves
Moreover, \(t B^n\subset \widetilde{{\Omega }}\subset B^n\). Since \(\mathcal {H}^n({\Omega })=|\det A|\mathcal {H}^n(\widetilde{{\Omega }})\), we have
Let us prove Claim (i). Let \(\tilde{z}=A^{-1}z\). Then \((\tilde{z}+s B^n)\cap {\partial }\widetilde{{\Omega }}\ne \emptyset \) and if d denotes the distance of \(\tilde{z}\) from \({\partial }\widetilde{{\Omega }}\) we have \(d\le s\). By choosing proper coordinates we may assume that \(\tilde{z}=(0,\dots ,0,d)\), and that \(\widetilde{{\Omega }}\subset \{(x_1,\dots ,x_n)\in {\mathbb {R}}^n : x_n>0\}\). Then
Let u and w be convex functions such that their graphs are convex cones with vertex at \((\tilde{z},\tilde{v}(\tilde{z}))\) and bases \({\partial }\widetilde{{\Omega }}\) and \({\partial }\widehat{{\Omega }}\), respectively. Then
Since w is a convex cone over the cylinder \(\widehat{{\Omega }}\), one can easily compute that \(\mathcal {H}^n({\partial }w(\tilde{z}))\ge c_2 |\tilde{v}(\tilde{z})|^n/d\), for a suitable constant \(c_2>0\). This inequality, (3.9) and (3.11) imply
Expressing this inequality in terms of v, \({\Omega }\) and \(\nu \) and using \(d\le s\) and (3.10) concludes the proof of Claim (i).
Let us prove Claim (ii). There exists an unique solution w of \(\det D^2 w=\widehat{\nu }\) in \(\widetilde{{\Omega }}\), \(w=0\) in \({\partial }\widetilde{{\Omega }}\), where \(\widehat{\nu }=\tilde{\nu }\) in \(t\widetilde{{\Omega }}\) and \(\widehat{\nu }=0\) elsewhere (see Theorem 2.1 in [51]). The comparison principle for Monge–Ampère equations (see Lemma 2.4 in [51]) implies \(w\ge \tilde{v}\) in \(\widetilde{{\Omega }}\).
Let \(z\in t\widetilde{{\Omega }}\). The distance d of z from \({\partial }\widetilde{{\Omega }}\) is larger than or equal to \((1-t)t\) (here we have used the inclusion \(tB^n\subset \widetilde{{\Omega }}\)). If \(y\in {\partial }w (z)\) and \(l(x)=\left<x,y\right>+w(z)\), then \(l(x)\le w(x)\) for each \(x\in \widetilde{{\Omega }}\), by definition of subgradient. In particular, we have \(l(x)\le 0\) for each \(x\in {\partial }\widetilde{{\Omega }}\). This implies
Therefore,
This inequality, the equation satisfied by w and the condition \(\nu (t\Omega )\ge b\,\nu (\Omega )\) imply
We claim that
Indeed, let \(z\in \widetilde{{\Omega }}\) be such that \(\tilde{v}(z)=\inf _{\widetilde{{\Omega }}}\tilde{v}\). We may clearly assume \(z\ne 0\), since otherwise there is nothing to prove. By choosing proper coordinates we may assume \(z=(z_1,0,\dots ,0)\) for some \(z_1>0\). Let l be the linear function defined on the line through o and z and such that \(l(o)=\tilde{v}(o)\) and \(l(z)=\tilde{v}(z)\). It is \(l(s,0,\dots 0)=\tilde{v}(o)+s(\inf _{\widetilde{{\Omega }}}\tilde{v}-\tilde{v}(o))/z_1\). Since \(\tilde{v}\) is convex,
for each \(s\notin [0,z_1]\) such that \((s,0,\dots ,0)\in \widetilde{{\Omega }}\) . When \(s=-t\) we obtain \(l(-t,0,\dots ,0)\le \tilde{v}(-t,0,\dots ,0)\le 0\). The inequality \(l(-t,0,\dots ,0)\le 0\) and the inclusion \(\widetilde{{\Omega }}\subset B^n\) imply (3.13).
The proof of Claim (ii) is concluded by combining (3.12) and (3.13) and expressing the obtained inequality in terms of v, \({\Omega }\) and \(\nu \).
Claim (iii) is a consequence of the first two claims. \(\square \)
The proof of Claim (ii) in Theorem 1.2 is based on the following proposition, which is related to a step in the proof of Theorem E (a) in [16]; however, our proof is substantially different from that in [16].
Proposition 3.4
Let v be a non-negative convex function defined on the closure of an open convex set \(\Omega \subset {\mathbb {R}}^n\), \(n\ge 2\), such that \(S=\{x\in \Omega :v(x)=0\}\) is non-empty and compact, and v is locally strictly convex on \(\Omega \backslash S\). Let \(\psi :(0,\infty )\rightarrow [0,\infty )\) be monotone decreasing and not identically zero; assume that \(\tau _2>\tau _1>0\) and v satisfy
in the sense of measure on \(\Omega \backslash S\). If \(\mathrm{dim}\,S\le n-1\) and \(\mu _v(S)=0\) for the associated Monge-Ampère measure \(\mu _v\), then S is a point.
Note that (3.14) means that for each Borel set \(\omega \subset \Omega \setminus S\) we have
where \(\mu _v\) has been defined in (2.1).
Proof
We assume, arguing by contradiction, that S is not a point. Choose coordinates so that o is the centre of mass of S. Let \(L={{\text {lin }}}\, S\). By assumption
Let \(e=(o,1)\in {\mathbb {R}}^n\times {\mathbb {R}}\). We may assume that \(\Omega \) is bounded, after possibly substituting it with a bounded open neighbourhood of S. We start by illustrating the idea of the proof.
Sketch of the proof For any small \(\varepsilon >0\), we construct an affine function \(l_\varepsilon \) such that \(l_\varepsilon (x)=\varepsilon \) for \(x\in L\), and the convex set \(\Omega _\varepsilon =\{v<l_\varepsilon \}\) is well balanced; namely, there exists an ellipsoid \(E_\varepsilon \) centred at the origin such that \((1/(8 n^3))E_\varepsilon \subset \Omega _\varepsilon \subset E_\varepsilon \) [see (3.19)]. This is the longest part of the argument, and the main idea to construct \(l_\varepsilon \) is that the graph of \(l_\varepsilon \) cuts off the smallest volume cap from the graph of v among the hyperplanes in \({\mathbb {R}}^{n+1}\) containing \(L+\varepsilon e\). Subsequently, we apply Lemma 3.3 to \(\Omega _{\varepsilon }\) and to the function \(v-l_\varepsilon \) in the standard way to reach a contradiction. We show that one can choose \(z\in S\) so that the corresponding parameter s, as defined in Lemma 3.3, tends to 0 as \({\varepsilon }\) tends to 0. (Equivalently, S contains points whose distance from \({\partial }{\Omega }_{\varepsilon }\), the one induced by the norm whose unit ball is \(E_{\varepsilon }\), tends to 0 as \({\varepsilon }\) tends to 0.) This contradicts (3.8), since \(|v(z)-l_{\varepsilon }(z)|/|v(o)-l_{\varepsilon }(o)|={\varepsilon }/{\varepsilon }=1\).
We divide the proof into four steps.
Step 1. Definition of\(l_{\varepsilon }\)and of\({\Omega }_{\varepsilon }\).
Let \(\varepsilon _0=\min _{{\partial }{\Omega }} v>0\) and let us consider the \((n+1)\)-dimensional convex body
For \({\varepsilon }\in (0,{\varepsilon }_0)\) define \(H_\varepsilon \) to be a hyperplane in \({\mathbb {R}}^{n+1}\)
- (i)
containing \(L+\varepsilon e=\{(x,\varepsilon e)\in {\mathbb {R}}^n\times {\mathbb {R}}:x\in L\}\) and
- (ii)
cutting off the minimal volume from M (on the side containing the origin) under condition (i).
Let \(r>0\). We claim that there exists \({\varepsilon }_1={\varepsilon }_1(r)\) so that \(H_{\varepsilon }\) is the graph of an affine function \(l_{\varepsilon }\) for each \(\varepsilon \in (0,\varepsilon _1)\), and, setting
we have
Let \(F=\{(x,y)\in M : y=\varepsilon _0\}\) be the upper face of M and let \(\mathcal {H}\) be the collection of hyperplanes in \({\mathbb {R}}^{n+1}\) which intersect both F and \(\{(x,y)\in M : y\le \varepsilon _0/2\}\). Since \(\Omega \) is bounded and v is locally strictly convex on \(\Omega \setminus S\), every hyperplane in \(\mathcal {H}\) is not a supporting hyperplane to M. Therefore, by compactness, there exists a constant \(\varrho _0>0\) such that for every \(H\in \mathcal {H}\) both components of \(M\backslash H\) are of volume at least \(\varrho _0\). We choose \(\varepsilon _1\in (0,\varepsilon _0/2)\) such that the volume of the cap \(\{(x,y)\in M:\,y\le \varepsilon _1\}\) is less than \(\varrho _0\). This choice implies that the minimum value of the problem which defines \(H_{\varepsilon }\) is less than \(\varrho _0\). Therefore, a minimiser \(H_{\varepsilon }\) does not belong to \(\mathcal {H}\). Since \(H_{\varepsilon }\cap \{(x,y)\in M : y\le \varepsilon _0/2\}\ne 0\), we have \(H_{\varepsilon }\cap F=\emptyset \). In particular, \(H_{\varepsilon }\) is the graph of a affine function defined on \({\mathbb {R}}^n\) and \({{\text {cl}}}{\Omega }_{\varepsilon }\subset {\Omega }\).
The inclusion \(S\subset {\Omega }_{\varepsilon }\) holds because \(v(x)=0\) and \(l_{\varepsilon }(x)={\varepsilon }\) for any \(x\in S\).
The origin o, being the centre of mass of S, belongs to the relative interior of S. Since \(\dim S>0\), the relative boundary of \((1+r) S\) does not intersect S. This implies \(\inf _{{{\text {relbd}}}(1+r) S} v>0\). Thus, if \({\varepsilon }_1\) satisfies
in addition to the inequalities specified above, then \(v(x)>{\varepsilon }\) and \(l_{\varepsilon }(x)={\varepsilon }\) for any \(x\in {{\text {relbd}}}(1+r) S\) (\(l_{\varepsilon }(x)={\varepsilon }\) is a consequence of \((1+r)S\subset L\)). This implies \(\Omega _\varepsilon \cap L\subset (1+r)S\).
In the rest of the proof we may assume \({\varepsilon }_1<{\varepsilon }_1(1)\) so that
Step 2. The centre of mass of\(\Omega _\varepsilon \)is contained inL.
To prove this claim we have to prove that for each \(w\in L^\perp \cap {\mathbb {R}}^n\) we have
Indeed, for \(t\in {\mathbb {R}}\) with |t| small, let
be the volume cut off by the hyperplane in \({\mathbb {R}}^{n+1}\) that is the graph of \(x\mapsto l_\varepsilon (x)+t\langle x,w\rangle \) from M. By definition of \(H_\varepsilon \) and \(l_\varepsilon \), F has a local minimum at \(t=0\). We have
The set where \(1_{\{x: l_\varepsilon (x)+t\langle x,w\rangle -v(x)>0\}}-1_{\{x: l_\varepsilon (x)-v(x)>0\}}\) differs from 0 is contained in
and there exists c independent on t such that \(\mathcal {H}^n(A_t)< c t\) and \(\sup _{A_t}|l_\varepsilon (x)-v(x)|< ct\). As F has a local minimum at \(t=0\), we have
which proves (3.18).
Step 3. For any\(\varepsilon \in (0,\varepsilon _1)\)there exists an ellipsoid\(E_\varepsilon \)centred at the origin such that
Lemma 2.3.3 in [47] proves that any k-dimensional convex body contains its reflection, with respect to its centre of mass, scaled, with respect to the same centre of mass, by 1 / k. From the fact that the centre of mass of \({\Omega }_{\varepsilon }\) belongs to L, we deduce that
According to Loewner’s or John’s theorems, there exists an ellipsoid \(\widetilde{E}\) centred at the origin and \(z_1\in \Omega _\varepsilon \) such that
It follows from (3.20) that there exists \(z_2\in \Omega _\varepsilon \) such that \(z_2|L^\bot =\frac{-1}{n}\,z_1|L^\bot \). In particular, \(y_1=\frac{1}{n+1}z_1+\frac{n}{n+1}z_2\in \Omega _\varepsilon \) verifies \(y_1|L^\bot =o\), or in other words, \(y_1\in L\cap \Omega _\varepsilon \). In addition,
Let \(m=\mathrm{dim}\,L\le n-1\). Since \(y_1\in L\cap \Omega _\varepsilon \) and (3.17) imply \(\frac{1}{2}\,y_1\in S\), and since the origin is the centroid of S, we deduce that \(y_2=\frac{-1}{2m}\,y_1\in S\). As \(2m+1<2n\), we have
As \(\Omega _\varepsilon \subset 2\widetilde{E}\) follows from \(o\in z_1+\widetilde{E}\), we may choose \(E_\varepsilon =2\widetilde{E}\), proving (3.19).
Step 4. Application of Lemma 3.3to\(v-l_{\varepsilon }\)and\({\Omega }_{\varepsilon }\)and contradiction.
We observe that
Let \(\nu \) denote the Monge–Ampère measure \(\mu _{(v-l_\varepsilon )}\) restricted to \(\Omega _\varepsilon \). If \(\Omega _0\) is an open set such that \(\Omega _\varepsilon \subset \Omega _0\subset \mathrm{cl}\,\Omega _0\subset \Omega \), then the set \(N_v(\Omega _0)\) is bounded and this implies
Let \(t=1/(8 n^3)\). Formula (3.19) yields \(tE_\varepsilon \subset \Omega _{\varepsilon }\subset E_\varepsilon \). Let us prove that
The function v is convex and attains its minimum at o; thus \(v(x)\ge v(tx)\) for any \(x\in \Omega _{\varepsilon }\). By this fact, the monotonicity of \(\psi \), (3.14) and the assumptions on S, we deduce that
proving (3.22).
Let \(z\in {{\text {relbd}}}S\). We claim that when \({\varepsilon }\in (0,{\varepsilon }_1(r))\) then \((z+rE_{\varepsilon })\cap {\partial }{\Omega }_{\varepsilon }\ne \emptyset \). This is a consequence of the second and third inclusion in (3.16). Indeed, since \(o\in S\subset {\Omega }_{\varepsilon }\subset E_{\varepsilon }\), there exists \(q_{\varepsilon }>0\) such that \((1+q_{\varepsilon })z\in {\partial }E_{\varepsilon }\). The set \(z+r E_{\varepsilon }\) contains the segment \([z, z+r(1+q_{\varepsilon })z]\). Since \(q_{\varepsilon }>0\), that segment contains the segment \([z, (1+r)z]\). The second and third inclusion in (3.16) imply \([z, (1+r)z]\cap {\partial }{\Omega }_{\varepsilon }\ne \emptyset \). This proves the claim.
Lemma 3.3 applies to this situation with \(s=r\). Since \(v(z)-l_{\varepsilon }(z)=v(o)-l_{\varepsilon }(o)=-{\varepsilon }\) [see (3.21)], (3.8) yields
Since r can be any positive number, we have reached a contradiction. \(\square \)
We will actually use the following consequence of Proposition 3.4.
Corollary 3.5
Let \(\tau _2>\tau _1>0\), and let g be a function defined on an open convex set \(\Omega \subset {\mathbb {R}}^n\), \(n\ge 2\), such that \(\tau _2>g(x)>\tau _1\) for \(x\in \Omega \). For \(p<1\), let v be a non-negative convex solution of
If \(S=\{x\in \Omega :v(x)=0\}\) is non-empty, compact and \(\mu _v(S)=0\), and v is locally strictly convex on \(\Omega \backslash S\), then S is a point.
Proof
All we have to check is that \(\mathrm{dim}\, S\le n-1\). It follows from the fact that the left-hand side of the differential equation is zero on S, while the right-hand side is positive. \(\square \)
The following result by L. Caffarelli (see Theorem 1 and Corollary 1 in [7]) is the key in handling the regularity and strict convexity of the part of the boundary of a convex body K where the support function at some normal vector is positive.
Theorem 3.6
(Caffarelli) Let \(\lambda _2>\lambda _1>0\), and let v be a convex function on an open convex set \(\Omega \subset {\mathbb {R}}^n\) such that
in the sense of measure.
- (i)
If v is non-negative and \(S=\{x\in \Omega :\,v(x)=0\}\) is not a point, then S has no extremal point in \(\Omega \).
- (ii)
If v is strictly convex, then v is \(C^1\).
We recall that (3.23) is equivalent to saying that for each Borel set \(\omega \subset \Omega \) we have
where \(\mu _v\) has been defined in (2.1).
4 Proof of Theorem 1.1
The next lemma provides a tool for the proof of Theorem 1.1(iii). The same result is also proved in Chou and Wang [16]; we present a short argument for the sake of completeness.
Lemma 4.1
For \(n\ge 2\) and \(p\le 2-n\), if \(K\in {\mathcal K}_{0}^n\) and there exists \(c>0\) such that \(S_{K,p}(\omega )\ge c\,{\mathcal H}^{n-1}(\omega )\) for any Borel set \(\omega \subset S^{n-1}\), then \(o\in \mathrm{int}\,K\).
Proof
We suppose that \(o\in \partial K\) and seek a contradiction. We choose \(e\in N(K,o)\cap S^{n-1}\) such that \(\{ \lambda e :\lambda \ge 0\}\) is an extremal ray of N(K, o). Let \(H^+\) be a closed half space containing \({\mathbb {R}}e\) on the boundary such that \(N(K,o)\cap \mathrm{int} H^+=\emptyset \). Let
It follows by the condition on \(S_{K,p}\) that
However, since \(h_K\) is convex and \(h_K(e)=0\), there exists \(c_0>0\) such that
We observe that the radial projection of \(V_0\) onto the tangent hyperplane \(e+e^\bot \) to \(S^{n-1}\) at e is \(e+V'_0\) for
If \(y\in V'_0\), then \(u=(e+y)/\Vert e+y\Vert \) verifies \(\Vert u-e\Vert \ge \Vert y\Vert /2\). It follows that
as \(p\le 2-n\). This contradicts (4.1), and hence verifies the lemma. \(\square \)
Proof of Theorem 1.1
Claim (i). For \(u_0\in S^{n-1}\backslash N(K,o)\), we choose a spherically convex open neighbourhood \(\Omega _0\) of \(u_0\) on \(S^{n-1}\) such that for any \(u\in \mathrm{cl}\,\Omega _0\), we have \(\langle u,u_0\rangle >0\) and \(u\not \in N(K,o)\). Let \(\Omega \subset u_0^\bot \) be defined in a way such that \(u_0+\Omega \) is the radial image of \(\Omega _0\) into \(u_0+u_0^\bot \), and let v be the function on \(\Omega \) defined as in Lemma 3.1 with \(h=h_K\). Since \(h_K\) is positive and continuous on \(\mathrm{cl}\,\Omega \), we deduce from Lemma 3.1 that there exist \(\lambda _2>\lambda _1>0\) depending on K, \(u_0\) and \(\Omega _0\) such that
on \(\Omega \).
First we claim that
We suppose that \(\mathrm{dim}\,N(K,z)\ge 2\), and seek a contradiction. Since N(K, z) is a closed convex cone such that o is an extremal point, the property \(N(K,z)\not \subset N(K,o)\) yields an \(e\in (N(K,z)\cap S^{n-1})\backslash N(K,0)\) generating an extremal ray of N(K, z). We apply the construction above for \(u_0=e\). The convexity of \(h_K\) and (2.2) imply \(h_K(x)\ge \langle z,x\rangle \) for \(x\in {\mathbb {R}}^n\), with equality if and only if \(x\in N(K,z)\). We define \(S\subset \Omega \) by \(S+e=N(K,z)\cap (\Omega +e)\) and hence o is an extremal point of S. It follows that the function \(\tilde{v}\) defined by \(\tilde{v}(y)=v(y)-\langle z,y+e\rangle \) is non-negative on \(\Omega \), satisfies (4.2), and
These properties contradict Caffarelli’s Theorem 3.6(i) as o is an extremal point of S, and in turn we conclude (4.3).
Next we show that
We apply again the construction above for \(u_0\). If \(u\in \Omega _0\) and \(z\in F(K,u)\), clearly K is \(C^1\)-smooth at z (i.e. N(K, z) is a ray) by (4.3). Therefore, by (2.3), v is strictly convex on \(\Omega \) and Caffarelli’s Theorem 3.6(ii) yields that v is \(C^1\) on \(\Omega \). In turn, we conclude (4.4).
In addition, F(K, u) is a unique \(C^1\)-smooth point for \(u\in \Omega _0\) [see (2.4)], yielding that \(\Omega _*=\cup \{F(K,u):\,u\in \Omega _0\}\) is an open subset of \({\partial }K\). Therefore \(\Omega _*\subset X\), any point of \(\Omega _*\) is \(C^1\)-smooth [by (2.3)] and \(\Omega _*\) contains no segment [by (2.4)], completing the proof of Claim (i).
Claim (ii). We suppose that \(o\in {\partial }K\) is \(C^1\)-smooth, and there exists \(z\in {\partial }K\) such that K is not \(C^1\)-smooth at z. Claim (i) yields that \(z\in X_0\), and hence \(N(K,z)\subset N(K,o)\), which is a contradiction, verifying Claim (ii).
Claim (iii). This is a consequence of Lemma 4.1 and Claim (i).
Claim (iv). This is a consequence of Lemma 3.1, Claim (i) and Caffarelli [8].
\(\square \)
Example 4.2
If \(n\ge 2\) and \(p\in (-\,n+2,1)\), then there exists \(K\in {\mathcal K}_{0}^n\) with \(C^1\) boundary such that o lies in the relative interior of a facet of \(\partial K\) and \(dS_{K,p}=f\,d{\mathcal H}^{n-1}\) for a strictly positive continuous \(f:\,S^{n-1}\rightarrow {\mathbb {R}}\).
Let \(q=(p+n-1)/(p+n-2)\). We have \(q>1\). Let
and \(\bar{g}(x_1,\dots ,x_{n-1})=g(\Vert (x_1,\dots ,x_{n-1})\Vert )\). Let \(K\in {\mathcal K}_{0}^n \) be such that \(K\cap \{x : x_n\le 1\}=\{x : 1\ge x_n\ge \bar{g}(x_1,\dots ,x_{n-1})\}\) and \(\partial K\cap \{x : x_n>0\}\) is a \(C^2\) surface with Gauss curvature positive at every point. Clearly \(K\cap \{x : x_n=0\}\) is a \((n-1)\)-dimensional face of K which contains o in its relative interior and has unit outer normal \((0,\dots ,0,-\,1)\).
To prove that \(dS_{K,p}=f\,d{\mathcal H}^{n-1}\) for a positive continuous \(f:\,S^{n-1}\rightarrow {\mathbb {R}}\), it suffices to prove that there is a neighbourhood of the South pole where \(\mathrm{{d}}S_{K,p}/d{\mathcal H}^{n-1}\) is continuous and bounded from above and below by positive constants. Let h be the support function of K and, for \(y\in {\mathbb {R}}^{n-1}\), let \(v(y)=h(y,-1)\) be the restriction of h to the hyperplane tangent to \(S^{n-1}\) at the South pole. It suffices to prove that in a neighbourhood U of o, v satisfies the equation \(v^{1-p}\det D^2 v=G\) with a function G which is bounded from above and below by positive constants.
If \(y\in U\setminus \{o\}\) we have
If U is sufficiently small, then v(y) depends only on \(\Vert y\Vert \). Let \(y=(z,0,\dots ,0)\), with \(z>0\) small and let \(r=1+(z/q)^{1/(q-1)}\). We have
and (4.5) gives
(Note that \(n-1+p>1\).) Clearly \(v(0,\dots ,0)=h(0,\dots ,0,-1)=0\). When \(z>0\), we have
and, as \(z\rightarrow 0^+\)
for a suitable constant \(c>0\). This implies the existence of a function G positive and continuous on U such that
for any Borel set \(\omega \subset U\). To conclude the proof that v is a solution in the sense of Alexandrov of \(v^{1-p} \det D^2 v=G\) in U it remains to prove that \(\mathcal {H}^{n-1}\big (\{y\in U : v(y)=0\}\big )=0\), but this is obvious since \(\{y\in U : v(y)=0\}=\{o\}\).
We remark that h is not a solution of (1.4) because (2.11) fails.
5 Proofs of Theorem 1.2 and Corollary 1.4
Proof of Theorem 1.2
We may assume that \(o\in {\partial }K\) since otherwise \(\partial K\) is \(C^1\) by Theorem 1.1. Let \(e\in N(K,o)\cap S^{n-1}\) be such that \(\langle u,e\rangle >0\) for any \(u\in N(K,o)\cap S^{n-1}\). Let v be defined on \(\Omega =e^\bot \) as in Lemma 3.1 with \(h=h_K\) and let \(S=\{x\in e^\bot :\,v(x)=0\}\). We have
by (2.2). If K is not \(C^1\)-smooth at o, then \(\dim S\ge 1\) and, by Proposition 1.3, \(p\ge n-4\) (note that here the dimension of the ambient space is \(n-1\)). This proves Theorem 1.2(i).
To prove Theorem 1.2(ii) we observe that
where \(X_0\) is defined as in Theorem 1.1(i). The equality on the left in this formula follows by (2.4) and the equality on the right follows by Theorem 1.1(i). Thus,
and if \(\mathcal {H}^{n-1}(X_0)=0\), then \(\mu _v(S)=0\). We observe that S is compact, by (5.1), that v is locally strictly convex, by Theorem 1.1(i), and that \(\mathrm{dim}\,S\le n-2\), by (1.3). Hence, Theorem 1.2(ii) follows by Corollary 3.5 and (5.1). \(\square \)
Proof of Corollary 1.4
Claim (i) is an immediate consequence of (2.2), Proposition 1.3 and Lemma 3.1. This claim implies that when \(n=4\) or \(n=5\) and \(\partial K\) is not \(C^1\) then \(\dim N(K,o)=2\). In this case \(N(K,o)\cap S^{n-1}\) is a closed arc: let \(e_1\) and \(e_2\) be its endpoints. If \(u\in N(K,o)\cap S^{n-1}\), \(u\ne e_1\), \(u\ne e_2\), then F(K, u) is contained in the intersection of the two supporting hyperplanes \(\{x\in {\mathbb {R}}^n: \langle x,e_i\rangle =h_K(e_i)\}\), \(i=1,2\). Thus,
Therefore \(\dim F(K,e_1)=n-1\) or \(\dim F(K,e_2)=n-1\), because otherwise
which coincides with \(X_0\) by Theorem 1.1 (i), has \((n-1)\)-dimensional Hausdorff measure equal to zero and \(\partial K\) is \(C^1\) by Theorem 1.2 (ii). \(\square \)
References
Alexandrov, A.D.: Zur theorie der gemischten volumina von konvexen Körpern, III: die erweiterung zweier Lehrsätze minkowskis über die konvexen polyeder auf beliebige konvexe flächen. Mat. Sbornik 3, 27–46 (1938). (in Russian)
Barthe, F., Guédon, O., Mendelson, S., Naor, A.: A probabilistic approach to the geometry of the \(l_{p}^{n}\)-ball. Ann. Probab. 33, 480–513 (2005)
Bianchi, G., Böröczky, K.J., Colesanti, A., Yang, D.: The \(L_p\)-Minkowski problem for \(-n<p<1\), preprint
Böröczky, J., Lutwak, E., Yang, D., Zhang, G.: The logarithmic Minkowski problem. J. Am. Math. Soc. 26, 831–852 (2013)
Böröczky, J., Lutwak, E., Yang, D., Zhang, G.: The log-Brunn–Minkowski inequality. Adv. Math. 231, 1974–1997 (2012)
Böröczky, K.J., Trinh, H.T.: The planar \(L_p\)-Minkowski problem for \(0<p<1\). Adv. Appl. Math. 87, 58–81 (2017)
Caffarelli, L.: A localization property of viscosity solutions to Monge–Ampère equation and their strict convexity. Ann. Math. 131, 129–134 (1990)
Caffarelli, L.: Interior \(W^{2, p}\)-estimates for solutions of the Monge–Ampère equation. Ann. Math. 2(131), 135–150 (1990)
Caffarelli, L.: A note on the degeneracy of convex solutions to Monge Ampère equation. Commun. Partial Differ. Equ. 18, 1213–1217 (1993)
Campi, S., Gronchi, P.: The \(L^{p}\)-Busemann–Petty centroid inequality. Adv. Math. 167, 128–141 (2002)
Chen, S., Li, Q.-R., Zhu, G.: The logarithmic Minkowski problem for non-symmetric measures. Trans. Am. Math. Soc. 371(4), 2623–2641 (2019)
Chen, S., Li, Q.-R., Zhu, G.: The \(L_p\) Minkowski Problem for non-symmetric measures. Submitted
Chen, W.: \(L_{p}\) Minkowski problem with not necessarily positive data. Adv. Math. 201, 77–89 (2006)
Cheng, S.-Y., Yau, S.-T.: On the regularity of the solution of the \(n\)-dimensional Minkowski problem. Commun. Pure Appl. Math. 29, 495–561 (1976)
Chou, K.-S.: Deforming a hypersurface by its Gauss–Kronecker curvature. Commun. Pure Appl. Math. 38, 867–882 (1985)
Chou, K.-S., Wang, X.-J.: The \(L_{p}\)-Minkowski problem and the Minkowski problem in centroaffine geometry. Adv. Math. 205, 33–83 (2006)
Cianchi, A., Lutwak, E., Yang, D., Zhang, G.: Affine Moser–Trudinger and Morrey–Sobolev inequalities. Calc. Var. Partial Differ. Equ. 36, 419–436 (2009)
Fenchel, W., Jessen, B.: Mengenfunktionen und konvexe Körper. Danske Vid. Selsk. Mat. Medd. 16(3), 31 (1938)
Gage, M., Hamilton, R.: The heat equation shrinking convex plane curves. J. Differ. Geom. 23, 69–96 (1986)
Gardner, R.J.: Geometric Tomography, Encyclopedia of Mathematics and its Applications, 2nd edn. Cambridge University Press, Cambridge (2006)
Gruber, P.M.: Convex and Discrete Geometry. Grundlehren der Mathematischen Wissenschaften, vol. 336. Springer, Berlin (2007)
Guan, P., Lin, C.-S.: On equation \(\det (u_{ij} +\delta _{ij}u)=u^{p}f\) on \(S^{n}\). Preprint
Haberl, C., Parapatits, L.: Centro-affine tensor valuations. arXiv:1509.03831. Submitted
Haberl, C., Schuster, F.: General \(L_{p}\) affine isoperimetric inequalities. J. Differ. Geom. 83, 1–26 (2009)
Haberl, C., Schuster, F.: Asymmetric affine \(L_{p}\) Sobolev inequalities. J. Funct. Anal. 257, 641–658 (2009)
Haberl, C., Schuster, F., Xiao, J.: An asymmetric affine Pólya–Szegö principle. Math. Ann. 352, 517–542 (2012)
He, B., Leng, G., Li, K.: Projection problems for symmetric polytopes. Adv. Math. 207, 73–90 (2006)
Henk, M., Linke, E.: Cone-volume measures of polytopes. Adv. Math. 253, 50–62 (2014)
Huang, Y., Lu, Q.: On the regularity of the \(L_p\)-Minkowski problem. Adv. Appl. Math. 50, 268–280 (2013)
Hug, D., Lutwak, E., Yang, D., Zhang, G.: On the \(L_{p}\) Minkowski problem for polytopes. Discret. Comput. Geom. 33, 699–715 (2005)
Ivaki, M.N.: A flow approach to the \(L_{-2}\) Minkowski problem. Adv. Appl. Math. 50, 445–464 (2013)
Jiang, M.-Y.: Remarks on the 2-dimensional \(L_{p}\)-Minkowski problem. Adv. Nonlinear Stud. 10, 297–313 (2010)
Lu, J., Wang, X.-J.: Rotationally symmetric solution to the \(L_{p}\)-Minkowski problem. J. Differ. Equ. 254, 983–1005 (2013)
Ludwig, M.: General affine surface areas. Adv. Math. 224, 2346–2360 (2010)
Lutwak, E.: The Brunn–Minkowski–Firey theory I: mixed volumes and the Minkowski problem. J. Differ. Geom. 38, 131–150 (1993)
Lutwak, E., Oliker, V.: On the regularity of solutions to a generalization of the Minkowski problem. J. Differ. Geom. 41, 227–246 (1995)
Lutwak, E., Yang, D., Zhang, G.: \(L_{p}\) affine isoperimetric inequalities. J. Differ. Geom. 56, 111–132 (2000)
Lutwak, E., Yang, D., Zhang, G.: Sharp affine \(L_{p}\) Sobolev inequalities. J. Differ. Geom. 62, 17–38 (2002)
Lutwak, E., Yang, D., Zhang, G.: On the \(L_{p}\)-Minkowski problem. Trans. Am. Math. Soc. 356, 4359–4370 (2004)
Minkowski, H.: Allgemeine lehrsätze über die konvexen polyeder. Gött. Nachr. 1897, 198–219 (1897)
Naor, A.: The surface measure and cone measure on the sphere of \(l_{p}^{n}\). Trans. Am. Math. Soc. 359, 1045–1079 (2007)
Naor, A., Romik, D.: Projecting the surface measure of the sphere of \(l_{p}^{n}\). Ann. Inst. H. Poincaré Probab. Stat. 39, 241–261 (2003)
Nirenberg, L.: The Weyl and Minkowski problems in differential geometry in the large. Commun. Pure Appl. Math. 6, 337–394 (1953)
Paouris, G.: Concentration of mass on convex bodies. Geom. Funct. Anal. 16, 1021–1049 (2006)
Paouris, G., Werner, E.: Relative entropy of cone measures and \(L_{p}\) centroid bodies. Proc. Lond. Math. Soc. 104, 253–286 (2012)
Pogorelov, A.V.: The Minkowski Multidimensional Problem. V.H. Winston & Sons, Washington, DC (1978)
Schneider, R.: Convex Bodies: The Brunn–Minkowski theory, Encyclopedia of Mathematics and its Applications, 2nd edn. Cambridge University Press, Cambridge (2014)
Stancu, A.: The discrete planar \(L_{0}\)-Minkowski problem. Adv. Math. 167, 160–174 (2002)
Stancu, A.: On the number of solutions to the discrete two-dimensional \(L_{0}\)-Minkowski problem. Adv. Math. 180, 290–323 (2003)
Stancu, A.: Centro-affine invariants for smooth convex bodies. Int. Math. Res. Not. 2012, 2289–2320 (2012)
Trudinger, N.S., Wang, X.-J.: The Monge–Ampère equation and its geometric applications. In: Handbook of geometric analysis. No. 1, 467–524, Adv. Lect. Math. (ALM), 7, Int. Press, Somerville, MA. http://maths-people.anu.edu.au/~wang/publications/MA.pdf (2008)
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, 159–174 (2015)
Zhu, G.: The \(L_{p}\) Minkowski problem for polytopes for \(0<p<1\). J. Funct. Anal. 269, 1070–1094 (2015)
Zhu, G.: The \(L_p\) Minkowski problem for polytopes for negative \(p\). Indiana Univ. Math. J. (accepted). arXiv:1602.07774 (2016)
Acknowledgements
Open access funding provided by Central European University. We are grateful to the referees. Their observations substantially improved the paper.
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.
First and third authors are supported in part by the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). Second author is supported in part by NKFIH Grants 116451, 129630 and 109789.
Rights and permissions
OpenAccess This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bianchi, G., Böröczky, K.J. & Colesanti, A. Smoothness in the \(L_p\) Minkowski Problem for \(p<1\). J Geom Anal 30, 680–705 (2020). https://doi.org/10.1007/s12220-019-00161-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-019-00161-y