Abstract
Quite recently, an Orlicz Minkowski problem has been posed and the existence part of this problem for even measures has been presented. In this paper, the existence part of the Orlicz Minkowski problem for polytopes is demonstrated. Furthermore, we obtain a solution of the Orlicz Minkowski problem for general (not necessarily even) measures.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The solution of the classical Minkowski problem for convex bodies is a central topic in convexity with many applications. Although the solution of the Minkowski problem has been known in the mathematical literature since the work of Minkowski [44, 45], Alexandrov [1–3], Fenchel and Jessen [10], analytic versions or algorithmic issues of the problem are still subject of current research and highly relevant (see, e.g., Chou and Wang [7], Jerison [21], Klain [23], Lamberg [24], Lamberg and Kaasalainen [25], and the reference therein).
The L p Minkowski problem extends the classical Minkowski problem, which was first defined by Lutwak in [30] as part of the L p Brunn-Minkowski theory (see, e.g., [4, 5, 8, 13–16, 20, 26–40, 43, 46–48, 50, 55, 56]). It requires necessary and sufficient conditions on a Borel measure μ on S n−1 to be the L p surface area measure of a convex body; i.e., is there a convex body K such that
Here, h K is the support function of K and S K is the surface area measure of K. The even L p Minkowski problem asks which even measures are L p surface area measures of convex bodies. For p=1, this problem reduces to the classical Minkowski problem. For p>1 but p≠n, the even L p Minkowski problem was solved by Lutwak [30]. However, in [36] an equivalent volume-normalized version of the L p Minkowski problem was proposed, and the even volume-normalized L p Minkowski problem was solved for all p>1. The solution of the L p Minkowski problem for polytopes for all p>1 was given by Chou and Wang [8], while an alternate approach to this problem was presented by Hug et al. [20]. Other approaches towards the L p Minkowski problem have also been extensively studied over the last years (see, e.g., [6, 9, 17, 19, 22, 51–54]). Despite impressive success in this direction, not all problems concerning the L p Minkowski problem are completely solved.
Quite recently, an embryonic Orlicz–Brunn–Minkowski theory emerged in a series of papers [18, 41, 42]. The Orlicz Minkowski problem is a natural and important task to be considered. Haberl, Lutwak, Yang and Zhang [18] first proposed the following Orlicz Minkowski problem: what are necessary and sufficient conditions for a Borel measure μ on S n−1 to be the Orlicz surface area of a convex body; i.e., given a suitable continuous function φ:(0,+∞)→(0,+∞), is there a convex body K such that for some c
In the case that φ(t)=t 1−p (p≠n), this problem reduces to L p Minkowski problem.
Under some suitable conditions on φ, the even Orlicz Minkowski problem was solved by Haberl, Lutwak, Yang and Zhang in [18]. One of their results [18, Theorem 2] is the following: Suppose φ:(0,∞)→(0,∞) is a continuous function such that \(\phi (t)=\int_{o}^{t} \frac{1}{\varphi (s)}\,ds\) exists for every positive t and is unbounded as t→∞, and μ is an even finite Borel measure on S n−1 which is not concentrated on a great subsphere of S n−1, then there exists an origin symmetric convex body K⊂ℝn and c>0 such that cφ(h K ) dS K =dμ and ∥h K ∥ ϕ,μ =1 simultaneously, where ∥h K ∥ ϕ,μ is the Orlicz norm of the support function h K with respect to μ.
The main purpose of this paper is to provide a solution of the general Orlicz Minkowski problem without assuming that μ is an even measure. But besides the assumptions on φ in [18], we have to assume that φ(s) tends to infinity as s→0+. In order to serve this purpose, we first solve the Orlicz Minkowski problem for discrete measures, that is, if μ is a discrete measure then the solution body K is a polytope (Theorem 1.1). The proof relies on techniques developed by Haberl, Hug, Lutwak, Yang, and Zhang in [18] and [20], but it is not just an immediate generalization. Next, we give a solution of the Orlicz Minkowski problem for general measures (Theorem 1.2), by means of an approximation argument.
We denote by \(\mathcal {K}^{n}\) the set of convex bodies in ℝn, \(\mathcal{P}_{0}^{n}\) the set of convex polytopes in ℝn which contain the origin in their interiors, h(P,⋅) the support function of P, S(P,⋅) the surface area measure of P, \(\delta_{u_{i}}\) the probability measure with unit point mass at u i . One can consult Sects. 2 and 3 for more details.
Our main result may be formulated as follows:
Theorem 1.1
(Discrete measures)
Suppose φ:(0,∞)→(0,∞) is a continuous function such that \(\phi (t)=\int_{o}^{t} \frac{1}{\varphi (s)}\,ds\) exists for every positive t and is unbounded as t→∞, and φ(s) tends to infinity as s→0+. Let vectors u 1,…,u m ∈S n−1 that are not contained in a closed hemisphere and real numbers α 1,…,α m >0 be given. Then, there exist a polytope \(P\in \mathcal {P}_{0}^{n}\) and c>0 such that
Theorem 1.2
(General measures)
Suppose φ:(0,∞)→(0,∞) is a continuous function such that \(\phi (t)=\int_{o}^{t} \frac{1}{\varphi (s)}\,ds\) exists for every positive t and is unbounded as t→∞, and φ(s) tends to infinity as s→0+. Let μ be a finite Borel measure on S n−1 whose support is not contained in a closed hemisphere. Then there exist a convex body \(K\in \mathcal {K}^{n}\) with 0∈K and c>0 such that
However, just as the case of even measures, the uniqueness part of the Orlicz Minkowski problem for general measures cannot also be solved. Hence, this problem is still open and seems to be very difficult.
This paper is organized as follows: In Sect. 2 we list for quick reference some basic facts regarding convex bodies. In Sect. 3 we study some properties of the Orlicz norm on the basis of [18]. The proofs of Theorem 1.1 and Theorem 1.2 are presented in Sects. 4 and 5, respectively.
2 Background and Notation
In this section we present the terminology and notation we shall use throughout. For general reference the reader may wish to consult the books of Gardner [11], Gruber [12], and Schneider [49].
For x,y∈ℝn, we denote their inner product by x⋅y and the Euclidean norm of x by \(|x|=\sqrt{x\cdot x}\). The unit sphere {x∈ℝn:|x|=1} is denoted by S n−1 and the unit ball {x∈ℝn:|x|≤1} by \(B^{n}_{2}\). For u∈S n−1, let \(H^{-}_{u,t}:=\{y\in\mathbb{R}^{n}: u\cdot y\le t\}\) denote the halfspace with exterior normal vector u and the distance t≥0 from the origin.
Let V stand for n-dimensional Lebesgue measure, and |μ|:=μ(S n−1) for a finite Borel measure μ on S n−1. We write C(S n−1) for the set of continuous functions on S n−1 which will always be viewed as equipped with the max-norm metric:
for f,g∈C(S n−1).
A convex body is a compact convex set of ℝn with nonempty interior. Let \(\mathcal {K}^{n}\) denote the set of convex bodies in ℝn endowed with the Hausdorff metric, and \(\mathcal {P}^{n}\) the subset of convex polytopes. We write \(\mathcal {K}_{0}^{n}\) for the set of convex bodies containing the origin in their interiors, and \(\mathcal {P}_{0}^{n}:=\mathcal {P}^{n}\cap\mathcal {K}_{0}^{n}\).
For \(K\in\mathcal {K}^{n}\), let h K =h(K,⋅):ℝn→ℝ denote the support function of K; i.e., for any x∈ℝn, h K (x)=h(K,x)=max{x⋅y:y∈K}. It is easy to show that the support function of the line segment \(\hat{v}\) joining the points 0,v∈ℝn is given by
We shall require the obvious facts that for compact, convex K,L⊂ℝn,
and that for c>0 and x∈ℝn,
If \(K_{i}\in\mathcal {K}^{n}\), we say that \(K_{i}\rightarrow K\in \mathcal {K}^{n}\) in the Hausdorff metric provided
For a Borel set ω⊂S n−1, the surface area measure S K (ω)=S(K,ω) of the convex body K is the (n−1)-dimensional Hausdorff measure of the set of all boundary points of K for which there exists a normal vector of K belonging to ω. Observe that for the surface area measure of cK we have
We will use the fact that S K is weakly continuous in K [49]; i.e., for \(K_{i}\in \mathcal {K}^{n}\),
For \(K,L\in \mathcal {K}^{n}\), the mixed volume V 1(K,L) may be defined by
In particular, for \(K\in \mathcal {K}^{n}\),
or equivalently,
Minkowski’s inequality states that for convex bodies K,L:
with equality if and only if K and L are homothetic.
We will use the following simple fact:
Let f,f 1,…∈C(S n−1), μ,μ 1,… be finite measures on S n−1. If f i →f uniformly on S n−1, and μ i →μ weakly on S n−1, then
3 Orlicz Norms
Definition 3.1
[18]
Let ϕ:[0,∞)→[0,∞) be continuous, strictly increasing, continuously differentiable on (0,∞) with positive derivative, and satisfy lim t→∞ ϕ(t)=∞. Let μ be a finite Borel measure on the sphere S n−1. For a continuous function f:S n−1→[0,∞), the Orlicz norm ∥f∥ ϕ,μ is defined by
As in [18], the Orlicz norm of a function f not only depends on μ but also depends on ϕ. The usual L p norm is obtained by taking ϕ(t)=t p.
As was shown in [18], the following properties for continuous f:S n−1→[0,∞) hold:
In particular
Moreover, the monotonicity of ϕ guarantees that for continuous f,g:S n−1→[0,∞),
Lemma 3.2
[18, Lemma 3]
Suppose μ is a finite Borel measure on S n−1 and the function f:S n−1→[0,∞) is continuous and such that μ({f≠0})>0. Then the Orlicz norm ∥f∥ ϕ,μ is positive and
Lemma 3.3
[18, Lemma 4]
Suppose f:S n−1→[0,∞) is a continuous function with μ({f≠0})>0 and {f i } is a sequence of nonnegative functions in C(S n−1) with μ({f i ≠0})>0. If
then
Lemma 3.4
Suppose f:S n−1→[0,∞) is a continuous function with μ({f≠0})>0 and {μ i } is a sequence of finite Borel measures on S n−1. If
then
Proof
First, we will show that the sequence \(\{\|f\|_{\phi,\mu_{i}}\}\) is bounded. The fact f∈C(S n−1) guarantees that there exists a real C>0 such that f(u)≤C for all u∈S n−1. Together with (18) and (19), it follows that
for all Borel measures μ i on S n−1, i∈ℕ. Thus the boundedness of the sequence \(\{\|f\|_{\phi,\mu_{i}}\}\) is established.
The Bolzano–Weierstrass theorem guarantees that the sequence \(\{\|f\|_{\phi,\mu_{i}}\}\) has a convergent subsequence. In order to show that the sequence \(\{\|f\|_{\phi,\mu_{i}}\}\) converges to ∥f∥ ϕ,μ , it suffices to prove that every convergent subsequence converges to ∥f∥ ϕ,μ . To simplify the notation, we denote an arbitrary convergent subsequence of \(\{\|f\|_{\phi,\mu_{i}}\}\) by \(\{\|f\|_{\phi,\mu_{i}}\}\) as well.
Next, we will show \(\lim_{i\rightarrow \infty}\|f\|_{\phi,\mu_{i}}>0\). Suppose it is not true; i.e., \(\|f\|_{\phi,\mu_{i}}\rightarrow 0\). The condition μ({f>0})>0 yields the result that there exists a sufficiently small c>0 such that μ({f≥c})>0. Given M>0, there exists a sufficiently small δ>0 such that \(\phi(\frac{c}{\delta})>\frac{M|\mu|}{\mu(\{f\ge c\})}\), since ϕ is strictly increasing and lim t→∞ ϕ(t)=∞. Then the assumption \(\lim_{i\rightarrow \infty}\|f\|_{\phi,\mu_{i}}=0\) implies there exists N 1 such that \(\|f\|_{\phi,\mu_{i}}<\delta\) whenever i>N 1 for the above given δ. Thus \(\phi (\frac{f}{\|f\|_{\phi,\mu_{i}}} )\geq\phi (\frac{f}{\delta} )\) for i>N 1. Note that since μ({f≠0})>0, f∈C(S n−1) and μ i →μ weakly on S n−1, there exists N 2 such that μ i ({f≠0})>0 whenever i>N 2. From Lemma 3.2, it follows that
and
whenever i>N 2.
We therefore deduce
since M>0 is arbitrary, this is a contradiction.
Since \(\lim_{i\rightarrow \infty}\|f\|_{\phi,\mu_{i}}>0\), by (22), there exists a real c>0 such that \(\|f\|_{\phi,\mu_{i}}>c\) whenever i>N 2. Let \(\lambda_{i}:=\|f\|_{\phi,\mu_{i}}\), then we may rewrite (23) as
where \(d\bar{\mu_{i}}=d\mu_{i}/|\mu_{i}|\), for i>N 2.
Suppose that for the subsequence {λ i } we have λ i →λ.
Finally, we prove λ=∥f∥ ϕ,μ . Observe that
which means that f(u)/λ i uniformly converges to f(u)/λ for all u∈S n−1. Note that |f/λ i |≤C/c for i>N 2, and ϕ is uniformly continuous on [0,C/c], hence the function ϕ(f(u)/λ i ) uniformly converges to ϕ(f(u)/λ) on S n−1. Moreover, μ i →μ weakly on S n−1 implies \(\bar{\mu_{i}}\rightarrow \bar{\mu}\) weakly on S n−1, by (15), we obtain from (24) that
Then, Lemma 3.2 again yields the desired result. □
Corollary 3.5
Suppose f:S n−1→[0,∞) is a continuous function with μ({f≠0})>0, {f i } is a sequence of nonnegative functions in C(S n−1) and {μ i } is a sequence of finite Borel measures on S n−1. If
and
then
Proof
Let ε>0 be given, by Lemma 3.3, there exists a sufficiently small δ>0 such that
and
where f 0:=max{f−δ,0} satisfies μ(f 0>0)>0.
Evidently, f 0:S n−1→[0,∞) is a continuous function. Since f i →f∈C(S n−1), there exists N 1 such that f 0≤f i ≤f+δ for i≥N 1. Using (19), we obtain \(\|f_{0}\|_{\phi,\mu_{i}}\le \|f_{i}\|_{\phi,\mu_{i}}\le \|f+\delta\|_{\phi,\mu_{i}}\) for i≥N 1.
We now apply Lemma 3.4 to the function f+δ: there exists N 2 such that
Similarly, there exists N 3 such that
For N=max{N 1,N 2,N 3}, the inequalities (25) and (27) yield
Similarly, the inequalities (26) and (28) yield
Since \(\|f_{0}\|_{\phi,\mu_{i}}\le \|f_{i}\|_{\phi,\mu_{i}}\le \| f+\delta\|_{\phi,\mu_{i}}\), the two inequalities above give
whenever i>N. □
Recall (6) that \(h_{\hat{v}}(u)=(u\cdot v)_{+}=\frac{|u\cdot v|+u\cdot v}{2}\).
Lemma 3.6
If μ is a finite Borel measure on the sphere S n−1 whose support is not contained in a closed hemisphere, then there exists a real c>0 such that \(\|h_{\hat{v}}\|_{\phi,\mu}\ge c\) for every v∈S n−1.
Proof
Since the support of μ is not contained in a closed hemisphere of S n−1
According to Lemma 3.2, we have \(\|h_{\hat{v}}\|_{\phi,\mu}>0\). Since S n−1 is compact, it suffices to show that the function \(v\mapsto\|h_{\hat{v}}\|_{\phi,\mu}\) is continuous.
Suppose v i ∈S n−1 and v i →v as i→+∞. Note that \(h_{\hat{v}}(u)=\frac{|u\cdot v|+u\cdot v}{2}\) implies \(h_{\hat{v_{i}}}\rightarrow h_{\hat{v}}\) uniformly on S n−1, and thus \(\|h_{\hat{v_{i}}}\|_{\phi,\mu}\) converges to \(\|h_{\hat{v}}\|_{\phi,\mu}\) by Lemma 3.3. So the desired continuity of \(v\mapsto\|h_{\hat{v}}\|_{\phi,\mu}\) is established. □
Corollary 3.7
If a sequence of finite discrete measures {μ i } weakly converges to a finite Borel measure μ on S n−1, and the supports of μ i and μ are all not contained in a closed hemisphere, i∈ℕ. Then, there exists a real c>0 such that \(\|h_{\hat{v}}\|_{\phi,\mu_{i}}\geq c\) for every v∈S n−1 and i∈ℕ.
Proof
Recall that a finite discrete measure μ i on S n−1 is a Borel measure. Observe that \(h_{\hat{v}}\le 1\), combining (19) and (18), we have \(\|h_{\hat{v}}\|_{\phi,\mu}\le 1\) for any Borel measure μ. From Lemma 3.6, for each i, let
where v i ∈S n−1 is any point where this minimum is attained. Similarly, there exists c 0>0 such that \(\|h_{\hat{v}}\|_{\phi,\mu}\ge c_{0}\) for all v∈S n−1. The compactness of [0,1] guarantees that the sequence {c i } has a convergent subsequence.
In order to prove this corollary, it suffices to show that no convergent subsequence of the sequence {c i } converges to 0. We argue by contradiction, assume there exists a subsequence {c i′} of the sequence {c i } such that c i′→0. From (29), for the subsequence {c i′} we can write \(c_{i'}=\|h_{\widehat{v_{i'}}}\|_{\phi,\mu_{i'}}\) for some v i′∈S n−1 as well. Since S n−1 is compact, there exists a subsequence {v i″} of the sequence {v i′} such that v i″ converges to v 0∈S n−1. Thus we obtain a subsequence {c i″} of the sequence {c i′} such that c i″ converges to 0 by the assumption, where \(c_{i''}=\|h_{\widehat{v_{i''}}}\|_{\phi,\mu_{i''}}\). Meanwhile, \(h_{\widehat{v_{i''}}}\) converges to \(h_{\hat{v}}\) uniformly on S n−1 as shown in Lemma 3.6. By Corollary 3.5, we see that \(c_{i''}=\|h_{\widehat{v_{i''}}}\|_{\phi,\mu_{i''}}\rightarrow \|h_{\widehat{v_{0}}}\|_{\phi,\mu}\). Note that \(\|h_{\hat{v}}\|_{\phi,\mu}\ge c_{0}\) for all v∈S n−1, while \(c_{i''}=\|h_{\widehat{v_{i''}}}\|_{\phi,\mu_{i''}}\rightarrow 0\), this is the desired contradiction. □
4 The Orlicz Minkowski Problem for Discrete Measures
This section is devoted to the proof of Theorem 1.1.
Lemma 4.1
Suppose φ:(0,∞)→(0,∞) is a continuous function such that \(\phi (t)=\int_{o}^{t} \frac{1}{\varphi (s)}\,ds\) exists for every positive t and is unbounded as t→∞, and φ(s) tends to infinity as s→0+. Then,
-
(i)
\(\lim_{t\rightarrow 0^{+}}\phi(t)=0\), \(\lim_{t\rightarrow 0^{+}}\phi'(t)=0\).
-
(ii)
Let \(\alpha(t):=\frac{1}{\varphi(t)}\), \(\beta(t):=\frac{t}{\varphi(t)}\), both of them are continuous on (0,∞). Moreover, we can extend the domain of α(t), β(t) right continuously to the origin; i.e., \(\alpha(0)=\lim_{t\rightarrow 0^{+}}\alpha(t)=0\), \(\beta(0)=\lim_{t\rightarrow 0^{+}}\beta(t)=0\).
-
(iii)
\(\lim_{t\rightarrow 0^{+}}(\phi^{-1})'(\phi(h)-b\phi(t)) \) is bounded from above and below by positive reals, for any given b,h>0.
Proof
First, we extend the domain of ϕ to [0,∞) by
Indeed, (i) and (ii) are easily verified.
Next, we will show (iii).
Note that the function ϕ is strictly increasing and continuously differentiable on (0,∞), and ϕ′>0. Since \(\lim_{t\rightarrow 0^{+}}\phi(t)=0\) and lim t→∞ ϕ(t)=∞, ϕ has an inverse ϕ −1:[0,∞)→[0,∞) which is continuously differentiable on (0,∞).
Hence for any given b,h>0, there exists δ>0 such that
for all t∈(0,δ). Obviously, \(\phi((\frac{h}{2},h))\subset(0,\infty)\), thus (ϕ −1)′(ϕ(h)−bϕ(t)) exists for a sufficiently small t. Observe \((\phi^{-1})'(\phi(s))=\frac{1}{\phi'(s)}=\varphi(s)\) when \(s\in(\frac{h}{2},h)\), and the function φ is continuous on (0,∞), thus \(\lim_{t\rightarrow 0^{+}}(\phi^{-1})'(\phi(h)-b\phi(t)) \) is bounded from above and below by positive reals. □
By this lemma we can assume in the proofs of Theorems 1.1 and 1.2 that the domains of ϕ(t), α(t), and β(t) contain zero; i.e., \(\phi(0)=\lim_{t\rightarrow 0^{+}}\phi(t)=0\), \(\alpha(0)=\lim_{t\rightarrow 0^{+}}\alpha(t)=0\), and \(\beta(0)=\lim_{t\rightarrow 0^{+}}\beta(t)=0\).
In the following, we denote by \(\mathbb{R}^{m}_{+}\) the set of all x=(x 1,…,x m )∈ℝm with positive components. Recall that \(H^{-}_{u,t}:=\{y\in\mathbb{R}^{n}: u\cdot y\le t\}\) is the halfspace with exterior normal vector u and the distance t≥0 from the origin.
Lemma 4.2
[20, Lemma 3.2]
Let u 1,…,u m ∈S n−1 be pairwise distinct vectors which are not contained in a closed hemisphere. For \(x\in \mathbb{R}_{+}^{m}\), let \(P(x):=\bigcap_{i=1}^{m}H_{u_{i},x_{i}}^{-}\). Then V(P(x)) is of class C 1 and ∂ i V(P(x))=S(P(x),{u i }) for i=1,…,m.
With these lemmas in hand, we can complete the proof of Theorem 1.1.
Proof of Theorem 1.1
Let \(\mathbb{R}^{m}_{\ast}\) be the set of all x=(x 1,…,x m )∈ℝm with nonnegative components, define the set
Since ϕ is strictly increasing, the surface M is compact. For x∈M, we define P(x) as the convex polytope
where \(h_{i}^{x}:=h(P(x),u_{i})\) for i=1,…,m.
Since M is compact and the function x↦V(P(x)) is continuous, there is a point z∈M such that
Note that if we set x ∗=(1,…,1)∈ℝm, then clearly x ∗∈M. Since \(0<V(B_{2}^{n})\le V(P(x^{*}))\le V(P(z))\), this gives \(P(z)\in\mathcal {P}^{n}\).
We will prove that P(z) is the desired polytope.
First, we want to show
Observe for any x∈M, 0∈P(x), that is, either 0∈bd(P(z)) or 0∈int(P(z)). Recall that \(h_{i}^{z}:=h(P(z),u_{i})\) for i=1,…,m. Suppose 0∈bd(P(z)), so there exist \(h_{1}^{z}=\ldots=h_{k}^{z}=0\) and \(h_{k+1}^{z},\ldots,h_{m}^{z}>0\) for some 1≤k<m. We shall get a contradiction by showing that under this assumption there is some z t ∈M such that V(P(z t ))>V(P(z)), which contradicts the definition of z. For a small t>0, we define
where
Obviously, z t ∈M if t>0 is sufficiently small.
Analogously, for a small t>0, we define
Since ϕ(0)=0, by (30), we have
A glance at (30) again shows \(P(h_{0}^{z})=P(z)\). Since \(h_{i}^{z}\le z_{i}\) for all i≤m and the function ϕ is strictly increasing, \(P(h_{t}^{z})\subset P(z_{t})\) and \(0\in \mathrm{int}(P(h_{t}^{z}))\), if t>0 is sufficiently small. For simplicity, we write
and thus for the n-dimensional polytope \(P(h_{t}^{z}),~P(z)\), according to the discrete form of (13) and (12), it follows that
and
Note that each open set intersecting P(z) intersects \(P(h_{t}^{z})\) if t>0 is sufficiently small and each closed set having empty intersection with P(z) has empty intersection with \(P(h_{t}^{z})\) if t>0 is sufficiently small. Hence \(P(h_{t}^{z})\rightarrow P(z)\) as t→0+ [49, p. 57], and (11) gives \(S_{i}^{t}\rightarrow S_{i}\) as t→0+. Now, we conclude that
Since \(\lim_{t\rightarrow 0^{+}}\phi'(t)=0\) and \(\lim_{t\rightarrow 0^{+}}(\phi^{-1})'(\phi(h_{i}^{z})-\alpha\phi(t))\) is bounded by Lemma 4.1
thus the last equality is obtained. By Minkowski’s inequality (14) and \(P(h_{t}^{z})\rightarrow P(z)\) as t→0+, we obtain
Consequently, \(V(P(h_{t}^{z}))>V(P(z))\) if t>0 is sufficiently small. However, since \(P(h_{t}^{z})\subset P(z_{t})\), the required contradiction V(P(z t ))>V(P(z)) follows.
Next, we will prove the main conclusions (1) and (2). From (31), we have
By the Lagrange multiplier rule there is some λ∈ℝ such that
where V(P(z)) is differentiable by Lemma 4.2, and ϕ′(z i ) exists since z i >0 for all i=1,…,m. Thus
The fact that S i >0 for some i∈{1,…,m} and α i ,φ(z i )>0 for all i=1,…,m, shows λ>0. Together with the above expression (32), it follows that S i >0 for all i=1,…,m. Hence, h(P(z),u i )=z i for all i=1,…,m. By the discrete form of (13), and (32), it follows that
Therefore, for i=1,…,m,
where \(c=\frac{1}{nV(P(z))}\sum_{i=1}^{m} \frac{\alpha_{i}z_{i}}{\varphi(z_{i})}\).
Indeed, together with h(P(z),u i )=z i , it follows that
Observe the definition of M + and h(P(z),u i )=z i , hence
Moreover, take \(\mu=\sum_{i=1}^{m}\alpha_{i}\delta_{u_{i}}\) in Lemma 3.2 to conclude
□
5 The Orlicz Minkowski Problem for General Measures
Proof of Theorem 1.2
As was shown in [49, Theorem 7.1.2], for a given Borel measure μ on S n−1 which is not concentrated in a closed hemisphere, one can construct a sequence of discrete measures {μ i } on S n−1, i∈ℕ, such that the support of μ i is not contained in a closed hemisphere and μ i →μ weakly as i→∞. By Theorem 1.1, for each i∈ℕ there exists a polytope \(P_{i}\in\mathcal {P}_{0}^{n}\) with
First, we claim that the sequence {P i } is bounded. For each i, let v i ∈S n−1 be chosen such that r i v i ∈P i with |r i v i | maximal for suitable r i >0. Thus we derive \(r_{i}h_{\hat{v}_{i}}(u)\le h_{P_{i}}(u)\) for all u∈S n−1 from (8) and (7). Together with (17), (19), and (2), we see that
By Corollary 3.7, there exists a real c>0 such that \(\|h_{\hat{v}}\|_{\phi,\mu_{i}}\ge c\) for every v∈S n−1, i∈ℕ. It follows that the r i ’s are bounded from above, and hence the sequence {P i } is bounded. We set \(h_{P_{i}}\le R\) for i∈ℕ.
Now Blaschke’s selection theorem guarantees the existence of a convergent subsequence of {P i }, which will also be denoted by {P i }, with lim i→∞ P i =K. Now, \(0<V(B_{2}^{n})\le V(P_{i})\) for all i∈ℕ implies that \(0<V(B_{2}^{n})\le V(K)\), that is, \(K\in \mathcal {K}^{n}\). Thus, from (9) it is clear that h(P i ,⋅)→h(K,⋅) uniformly on S n−1. Since 0∈int(P i ) for all i∈ℕ, this gives 0∈K.
For a discrete measure μ i , we rewrite \(c_{i}=\frac{1}{nV(P_{i})}\int_{S^{n-1}}\frac{h_{P_{i}}}{\varphi(h_{P_{i}})}\,d\mu_{i}\). We also set \(c=\frac{1}{nV(K)}\int_{S^{n-1}}\frac{h_{K}}{\varphi(h_{K})}\,d\mu\). From Lemma 4.1(ii) and \(0<h_{P_{i}}\le R\), we find that \(\beta(t):=\frac{t}{\varphi(t)}\) is uniformly continuous on [0,R]. Meanwhile, h(P i ,⋅)→h(K,⋅) uniformly on S n−1, and it follows that \(\frac{h(P_{i},\cdot)}{\varphi(h(P_{i},\cdot))}\) uniformly converges to \(\frac{h(K,\cdot)}{\varphi(h(K,\cdot))}\) on S n−1. Combining V(P i )→V(K) and μ i →μ weakly, as i→∞, by (15), we obtain c i →c as i→∞.
Next, for a continuous function f∈C(S n−1) and i∈ℕ, we have
From Lemma 4.1(ii) and \(0<h_{P_{i}}\le R\), we see that \(\alpha(t):=\frac{1}{\varphi(t)}\) is uniformly continuous on [0,R]. Meanwhile, h(P i ,⋅)→h(K,⋅) uniformly on S n−1, and it follows that \(\frac{1}{\varphi(h(P_{i},\cdot))}\) uniformly converges to \(\frac{1}{\varphi(h(K,\cdot))}\) on S n−1. Since μ i →μ and S(P i ,⋅)→S(K,⋅) weakly by (11), as i→∞, using (15) again, it follows from (34) that
The existence assertion (3) now follows, since (35) holds for any f∈C(S n−1).
Moreover, since \(\|h_{P_{i}}\|_{\phi,\mu_{i}}=1\), and h(P i ,⋅)→h(K,⋅) uniformly on S n−1, we obtain from Corollary 3.5 that
□
The following proof of Corollary 5.1 is similar to the one of [18, Corollary 2], which is known as the L p -Minkowski problem. We include it for the sake of completeness.
Corollary 5.1
If μ is a finite Borel measure on S n−1 which is not concentrated on a closed hemisphere, then
-
(i)
for p>1, there exists a convex body \(K\in \mathcal {K}^{n}\) with 0∈K such that
$$ h^{p-1}_K\,d\mu=c\,dS_K, $$(36)where c=1/V(K).
-
(ii)
for 1<p≠n, there exists a convex body \(K\in \mathcal {K}^{n}\) with 0∈K such that
$$ h^{p-1}_K\,d\mu=\,dS_K. $$(37)
Proof
(i) Note that φ(t)=t 1−p for p>1 satisfies the requirements of Theorem 1.2. From (3) we have (36) and from (4) it follows that
Using (13) and (3), we conclude
From (38) and (39) it follows that c=|μ|/nV(K). Therefore
In order to get the desired c=1/V(K), we will show that a dilation of K yields this c. Let K=λK′, then the homogeneity properties of (8) and (10) imply
Then K′ is the desired convex body, by choosing λ p=|μ|/n.
(ii) If K″=λK satisfies (37), then by (8) and (10) we have
Since there exists K satisfying (36), we can choose λ n−p=c, where n≠p makes the reverse process feasible. □
References
Aleksandrov, A.D.: On the theory of mixed volumes. III. Extension of two theorems of Minkowski on convex polyhedra to arbitrary convex bodies. Mat. Sb. 3, 27–46 (1938) (in Russian)
Aleksandrov, A.D.: On the surface area measure of convex bodies. Mat. Sb. 6, 167–174 (1939) (in Russian)
Aleksandrov, A.D.: Smoothness of the convex surface of bounded Gaussian curvature. Dokl. Akad. Nauk SSSR 36, 195–199 (1942)
Campi, S., Gronchi, P.: The L p-Busemann–Petty centroid inequality. Adv. Math. 167, 128–141 (2002)
Campi, S., Gronchi, P.: On the reverse L p-Busemann–Petty centroid inequality. Mathematika 49, 1–11 (2002)
Chen, W.: L p Minkowski problem with not necessarily positive data. Adv. Math. 201, 77–89 (2006)
Chou, K.-S., Wang, X.-J.: A logarithmic Gauss curvature flow and the Minkowski problem. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 17(6), 733–751 (2000)
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. Selskab. Mat.-fys. Medd. 16, 1–31 (1938)
Gardner, R.J.: Geometric Tomography, 2nd edn. Encyclopedia of Mathematics and Its Applications, vol. 58. Cambridge University Press, Cambridge (2006)
Gruber, P.M.: Convex and Discrete Geometry. Grundlehren Math. Wiss., vol. 336. Springer, Berlin (2007)
Guan, P., Lin, C.-S.: On equation det(u ij +δ ij u)=u p f on S n. Preprint No. 2000-7, NCTS in Tsing-Hua University (2000)
Haberl, C.: L p intersection bodies. Adv. Math. 217, 2599–2624 (2008)
Haberl, C.: Star body valued valuations. Indiana Univ. Math. J. 58, 2253–2276 (2009)
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., Lutwak, E., Yang, D., Zhang, G.: The even Orlicz Minkowski problem. Adv. Math. 224, 2485–2510 (2010)
Hu, C., Ma, X.-N., Shen, C.: On the Christoffel–Minkowski problem of Firey’s p-sum. Calc. Var. Partial Differ. Equ. 21, 137–155 (2004)
Hug, D., Lutwak, E., Yang, D., Zhang, G.: On the L p Minkowski problem for polytopes. Discrete Comput. Geom. 33, 699–715 (2005)
Jerison, D.: A Minkowski problem for electrostatic capacity. Acta Math. 176, 1–47 (1996)
Jiang, M.-Y.: Remarks on the 2-dimensional L p -Minkowski problem. Adv. Nonlinear Stud. 10, 297–313 (2010)
Klain, D.: The Minkowski problem for polytopes. Adv. Math. 185, 270–288 (2004)
Lamberg, L.: On the Minkowski problem and the lightcurve operator. Ann. Acad. Sci. Fenn., Ser. A 1 Math. 87, 1–107 (1993)
Lamberg, L., Kaasalainen, M.: Numerical solution of the Minkowski problem. J. Comput. Appl. Math. 137(2), 213–227 (2001)
Ludwig, M.: Ellipsoids and matrix-valued valuations. Duke Math. J. 119, 159–188 (2003)
Ludwig, M.: Minkowski valuations. Trans. Am. Math. Soc. 357, 4191–4213 (2005)
Ludwig, M.: General affine surface areas. Adv. Math. 224, 2346–2360 (2010)
Ludwig, M., Reitzner, M.: A classification of SL(n) invariant valuations. Ann. Math. 172(2), 1223–1271 (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.: The Brunn–Minkowski–Firey theory. II. Affine and geominimal surface areas. Adv. Math. 118, 244–294 (1996)
Lutwak, E., Yang, D., Zhang, G.: L p affine isoperimetric inequalities. J. Differ. Geom. 56, 111–132 (2000)
Lutwak, E., Yang, D., Zhang, G.: A new ellipsoid associated with convex bodies. Duke Math. J. 104, 375–390 (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(11), 4359–4370 (2004)
Lutwak, E., Yang, D., Zhang, G.: Volume inequalities for subspaces of L p . J. Differ. Geom. 68, 159–184 (2004)
Lutwak, E., Yang, D., Zhang, G.: L p John ellipsoids. Proc. Lond. Math. Soc. 90, 497–520 (2005)
Lutwak, E., Yang, D., Zhang, G.: Optimal Sobolev norms and the L p Minkowski problem. Int. Math. Res. Not., 1–21 (2006)
Lutwak, E., Yang, D., Zhang, G.: Volume inequalities for isotropic measures. Am. J. Math. 129, 1711–1723 (2007)
Lutwak, E., Yang, D., Zhang, G.: Orlicz projection bodies. Adv. Math. 223, 220–242 (2010)
Lutwak, E., Yang, D., Zhang, G.: Orlicz centroid bodies. J. Differ. Geom. 84, 365–387 (2010)
Meyer, M., Werner, E.: On the p-affine surface area. Adv. Math. 152, 288–313 (2000)
Minkowski, H.: Allgemeine Lehrsätze über die konvexen Polyeder. Nachr. Ges. Wiss. Göttingen 198–219 (1897)
Minkowski, H.: Volumen und Oberfläche. Math. Ann. 57, 447–495 (1903)
Paouris, G.: On the ψ 2-behaviour of linear functionals on isotropic convex bodies. Stud. Math. 168, 285–299 (2005)
Paouris, G.: Concentration of mass on convex bodies. Geom. Funct. Anal. 16, 1021–1049 (2006)
Paouris, G.: Concentration of mass on isotropic convex bodies. C. R. Math. Acad. Sci. Paris 342, 179–182 (2006)
Schneider, R.: Convex Bodies: The Brunn–Minkowski Theory. Cambridge University Press, Cambridge (1993)
Schütt, C., Werner, E.: Surface bodies and p-affine surface area. Adv. Math. 187, 98–145 (2004)
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.: The necessary condition for the discrete L 0-Minkowski problem in ℝ2. J. Geom. 88, 162–168 (2008)
Umanskiy, V.: On solvability of two-dimensional L p -Minkowski problem. Adv. Math. 180, 176–186 (2003)
Werner, E., Ye, D.: New L p affine isoperimetric inequalities. Adv. Math. 218, 762–780 (2008)
Werner, E., Ye, D.: Inequalities for mixed p-affine surface area. Math. Ann. 347(3), 703–737 (2010)
Acknowledgements
Supported in part by the National Natural Science Foundation of China (Grant No. 11071156) and Shanghai Leading Academic Discipline Project (Project Number: J50101).
The authors are grateful to the anonymous referees for their careful reading and many valuable suggestions, such that the paper is greatly improved.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Huang, Q., He, B. On the Orlicz Minkowski Problem for Polytopes. Discrete Comput Geom 48, 281–297 (2012). https://doi.org/10.1007/s00454-012-9434-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-012-9434-4