Abstract
We study the long-time existence and behavior for a class of anisotropic non-homogeneous Gauss curvature flows whose stationary solutions, if they exist, solve the regular Orlicz–Minkowski problems. As an application, we obtain old and new existence results for the regular even Orlicz–Minkowski problems; the corresponding \(L_p\) version is the even \(L_p\)-Minkowski problem for \(p>-n-1\). Moreover, employing a parabolic approximation method, we give new proofs of some of the existence results for the general Orlicz–Minkowski problems; the \(L_p\) versions are the even \(L_p\)-Minkowski problem for \(p>0\) and the \(L_p\)-Minkowski problem for \(p>1\). In the final section, we use a curvature flow with no global term to solve a class of \(L_p\)-Christoffel–Minkowski type problems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A convex body in Euclidean space is a compact convex set with non-empty interior. Write \(\mathrm {K}\) for set of convex bodies, and \(\mathrm {K}_o\) for the set of convex bodies containing the origin o. The support function of a convex body K is defined by
For any u on the boundary of K, let \(\nu _K(u)\) be the set of all unit exterior normal vectors at u. The surface area measure of K, \(S_K\), is a Borel measure on the unit sphere defined by
Here \({\mathcal {H}}^n\) denotes the n-dimensional Hausdorff measure. When the boundary of K, \(\partial K\), is a \(C^2\) smooth, strictly convex hypersurface, then \(dS_K=\sigma _nd\theta ,\) where \(\sigma _n\) is the product of the principal radii of curvature and \(d\theta \) is the standard spherical Lebesgue measure. In this case, \(h_K\), as a function on the unit sphere, is given by
The Minkowski problem is one of the cornerstones of the classical Brunn–Minkowski theory. It asks what are the necessary and sufficient conditions on a Borel measure \(\mu \) on \({\mathbb {S}}^n\) in order for it to be the surface area measure of a convex body. The complete solution to this problem was found by Minkowski, Aleksandrov and Fenchel–Jessen (see [54]): A Borel measure \(\mu \) whose support is not contained in a closed hemisphere is the surface area measure of a convex body if and only if
Moreover, the solution is unique up to translations.
Let \(\varphi :(0,\infty )\rightarrow (0,\infty )\) be a continuous function. The general Orlicz–Minkowski problem asks what are the necessary and sufficient conditions on a Borel measure \(\mu \) on \({\mathbb {S}}^n\), such that there exists a convex body \(K\in \mathrm {K}_o\) so that
This problem is a generalization of the \(L_p\)-Minkowski problem (i.e., \(\varphi (s)=s^{1-p}\)) which itself was put forward by Lutwak [47] almost a century after Minkowski’s original work and stems from the \(L_p\) linear combination of convex bodies. We refer the reader to [5,6,7, 10, 12, 15, 19, 39, 41, 46, 56] regarding the \(L_p\)-Minkowski problem and to [14, 48] for applications.
A natural generalization of \(L_p\) spaces are Orlicz spaces, motivating the Orlicz linear combination of convex bodies and leading to the Orlicz–Minkowski problem. We keep the discussion brief here and the reader may consult [4, 25,26,27, 32] as well as [49, 54, 60, 62] for the origin of the Orlicz–Brunn–Minkowski theory and related concepts.
The regular Orlicz–Minkowski problem asks what are the necessary and sufficient conditions on the smooth function \(f:{\mathbb {S}}^n\rightarrow (0,\infty )\) such that there exists a convex hypersurface with support function h (as a function on the unit sphere) satisfying
The subscripts of h denote covariant derivatives with respect to a local orthonormal frame field on \({\mathbb {S}}^n\). Our approach to solving this problem is via the flow method in the regular case (1.2) and by parabolic approximation in the general case (1.1).
2 Results
2.1 Curvature flows
Let
be a smooth parametrization of a closed, strictly convex hypersurface \(M_0\) with the origin of \({\mathbb {R}}^{n+1}\) in its interior. One of the flows that we are interested in is the family of hypersurfaces \(\{M_t\}\) given by the smooth map
satisfying the initial value problem
where \({\mathcal {K}}(\cdot ,t)\) and \(\nu (\cdot ,t)\) are respectively the Gauss curvature and the outer unit normal vector of \(M_t:=x(M^n,t)\), \( f:{\mathbb {S}}^n\rightarrow (0,\infty ) \) and \(\varphi :(0,\infty )\rightarrow (0,\infty )\) are smooth functions and
To explain our interest in studying this flow, we need some definitions and notation.
By a direct calculation, along the flow (2.1) the support functions
of the \(M_t\) (as long as they are strictly convex) satisfy
Stationary solutions of (2.2), whenever they exist, are exactly the solutions of the regular Orlicz–Minkowski problem and thus the limits of the flow hypersurfaces are solutions of (1.2).
For some choices of f and \(\varphi (s)=s^{1-p}\), the flow (2.1) becomes homogeneous and was considered in [3, 8, 16, 24, 34,35,36,37,38, 44, 53, 55, 57]. However, when it comes to non-homogeneous flows, the literature on geometric flows is not very rich and there are few works in this direction; e.g., [11, 16,17,18, 42, 45, 50]. Since the Orlicz-Minkowski problem admits solutions in the non-homogeneous case, it is desirable to remove the homogeneity assumption in the flow. The conditions we place on \(f,\varphi \) are similar to those used previously in the literature on the Orlicz–Minkowski problem mentioned in the introduction while some are new (Remark 2.2 and Remark 2.4 below).
Theorem 2.1
Suppose
-
(1)
\(f:{\mathbb {S}}^n\rightarrow (0,\infty )\) is smooth and even, \(f(u)=f(-u)\quad \forall u\in {\mathbb {S}}^n\),
-
(2)
\(\varphi :(0,\infty )\rightarrow (0,\infty )\) is smooth,
-
(3)
either
- a:
-
\(\phi (s)=\int _0^s\frac{1}{\varphi (t)}dt\) exists for all \(s>0,\) and \(\lim \limits _{s\rightarrow \infty }\phi (s)=\infty ,\)
- b:
-
or \(\phi (s)=\int _1^s\frac{1}{\varphi (t)}dt\) satisfies \(\lim \limits _{s\rightarrow \infty }\phi (s)=\infty ,\) and for some \({\hat{C}}_1>0,\) we have
$$\begin{aligned}\int _{{\mathbb {S}}^n}\frac{\phi (|\langle u,\theta \rangle |)}{f}d\theta \ge -{\hat{C}}_1\quad \forall u\in {\mathbb {S}}^n,\end{aligned}$$ - c:
-
or \(\phi (s)=\int _s^{\infty }\frac{1}{\varphi (t)}dt\) exists for all \(s>0,\) and for some \(q\in (-n-1,0)\), we have
$$\begin{aligned}\limsup _{s\rightarrow 0^+}\frac{\phi (s)}{s^q}<\infty ,\end{aligned}$$ - d:
-
or \(\phi (s)=\int _s^{\infty }\frac{1}{\varphi (t)}dt\) exists for all \(s>0,\) \(\lim \limits _{s\rightarrow 0^+}\phi (s)=\infty ,\) and for some \({\hat{C}}_2>0,\) we have
$$\begin{aligned}\int _{{\mathbb {S}}^n}\frac{\phi (|\langle u,\theta \rangle |)}{f}d\theta \le {\hat{C}}_2\quad \forall u\in {\mathbb {S}}^n.\end{aligned}$$
In the cases, (3-a), (3-b), and (3-c), let \(M_0\) be o-symmetric. In the case (3-d), we choose an o-symmetric \(M_0\) such that
Then there exists a smooth, strictly convex solution \(M_t\) to (2.1) and it subconverges in \(C^{\infty }\) to an o-symmetric, smooth, strictly convex solution of the regular even Orlicz–Minkowski problem.
Remark 2.2
-
(1)
When \(\varphi (s)=s^{1-\ell },\) assumptions (3-a), (3-b), (3-c), (3-d) are satisfied, in order, for \(\ell >0\), \(\ell =0\), \(\ell \in (-n-1,0)\), \(-1<\ell <0\). To see this, note that
$$\begin{aligned}&\int _{{\mathbb {S}}^n} \log |x_i|d\theta >-\infty ,\\&\int _{{\mathbb {S}}^n}\frac{1}{|x_i|^\ell }d\theta<\infty \quad \text{ for }\quad 0<\ell <1, \end{aligned}$$where \((x_1,\ldots ,x_{n+1})\) denotes the Euclidean coordinates. Hence, Theorem 2.1 generalizes [8, Thm. 1] to the Orlicz setting.
-
(2)
Since \(\phi \) as defined in (3-a) is increasing, we have
$$\begin{aligned}\int _{{\mathbb {S}}^n}\frac{\phi (|\langle u,\theta \rangle |)}{f}d\theta <\infty \quad \forall u\in {\mathbb {S}}^n.\end{aligned}$$Therefore, the integral conditions in (3-b) and (3-d) compared to the condition (3-a) are not more restrictive.
-
(3)
The cases (3-b) and (3-d) yield new existence results for the regular even Orlicz–Minkowski problem, while the existence results corresponding to (3-a) and (3-c) can be deduced from [4, 32].
-
(4)
Due to the presence of \(\varphi \) (possibly non-homogeneous) and \(\zeta \) in the speed of the flow (2.1), we could not employ the method of [2] to promote subconvergence to full convergence.
We slightly modify the flow (2.1) to treat a class of regular Orlicz–Minkowski problems without the assumption that f is even, i.e., we no longer assume
In order to serve this purpose, we consider the flow
where again \(x_0:M^n\rightarrow {\mathbb {R}}^{n+1}\) is a smooth parametrization of a closed, strictly convex hypersurface \(M_0\) with the origin of \({\mathbb {R}}^{n+1}\) in its interior. Here compared to (2.1), we dropped the \(\zeta \)-factor. In the final section, we will use another curvature flow without a global term (5.1) to treat a class of \(L_p\)-Minkowski-Christoffel type problems. See also [9, 20,21,22,23] for flows without global terms.
Theorem 2.3
Suppose
-
(1)
\(\varphi :(0,\infty )\rightarrow (0,\infty )\) is smooth,
-
(2)
\(\limsup \limits _{s\rightarrow \infty }s^n\varphi (s)<\frac{1}{f}<\liminf \limits _{s\rightarrow 0^+} s^n\varphi (s).\)
Then there exists a smooth, strictly convex solution \(M_t\) of (2.3) and it converges in \(C^{\infty }\) to a smooth, strictly convex solution of (1.2) with positive support function and constant \(\gamma =1.\)
Remark 2.4
-
(1)
In the case special case \(\varphi (s)=s^{1-p}\), Theorem 2.3 finds the solutions of the regular \(L_p\)-Minkowski problems for \(p>n+1\).
-
(2)
In [18, p. 42], using a logarithmic curvature flow, an existence result was obtained under the assumption (2) and that \(\varphi \) is non-increasing. See also [45], where a similar result was recently obtained.
2.2 General measures
Definition 2.5
A Borel measure \(\mu \) on \({\mathbb {S}}^n\) is said to be even if it assumes the same values on antipodal Borel sets. We say \(\mu \) is invariant under a subgroup G of the orthogonal group \(O(n+1)\) if \(\mu (g\omega )=\mu (\omega )\) for all Borel sets \(\omega \subseteq {\mathbb {S}}^n\) and \(g\in G\).
Theorem 2.6
Suppose
-
(1)
\(\varphi :(0,\infty )\rightarrow (0,\infty )\) is a continuous function,
-
(2)
\(\phi (s)=\int _0^s\frac{1}{\varphi (t)}dt\) exists for all \(s>0\) and \(\lim \limits _{s\rightarrow \infty }\phi (s)=\infty .\)
Let \(\mu \) be a finite even Borel measure on \({\mathbb {S}}^n\) whose support is not contained on a great subsphere. Then there exists an o-symmetric convex body such that
This theorem was first proved in [32, Thm. 2] and contains the general even \(L_p\)-Minkowski problem for \(p>0\). The method used there is a variational argument that finds a minimizing body of a suitable functional in a certain class of origin-symmetric (o-symmetric) convex bodies. We treated the regular version of this theorem by using the curvature flow in Theorem 2.1. The general case will be treated by a simple parabolic approximation, cf. Sect. 4.2.
In the next theorem, the assumption that the measure \(\mu \) is even is dropped. To prove this theorem, we use the flow (2.1) and a version of Chou–Wang’s approximation argument [18] adapted to the parabolic setting [13] for treating the general \(L_p\)-Minkowski problem.
Theorem 2.7
Suppose
-
(1)
\(\varphi :(0,\infty )\rightarrow (0,\infty )\) is continuous and \(\lim \limits _{s\rightarrow 0^+}\varphi (s)=\infty ,\)
-
(2)
\(\phi (s)=\int _0^s\frac{1}{\varphi (t)}dt\) exists for all \(s>0\) and \(\lim \limits _{s\rightarrow \infty }\phi (s)=\infty .\)
Let \(\mu \) be a finite Borel measure on \({\mathbb {S}}^n\) whose support is not contained in a closed hemisphere. Then there exist \(K\in \mathrm {K}_o\) and a constant \(\gamma >0\) such that
Moreover, if \(\mu \) is invariant under a closed group \(G\subset O(n+1),\) then K is invariant under G.
This theorem first appeared in [31] and for the special case \(\varphi (s)=s^{1-p}\), it includes the \(L_p\)-Minkowski problem for \(p>1\). In [31], the problem is first solved for discrete measures and then by approximating the general measure by discrete measures. We solve it first in the regular case and then by approximating the general measures by the regular case; cf. Sect. 4.2 for the sketch and the full details. See also Wu–Xi–Leng [58, 59] for the discrete case of the Orlicz–Minkowski problem, and [40] for an existence result of solutions to general Orlicz–Minkowski problem which contains the \(L_p\)-Minkowski problem for \(0<p<1.\) Note that the role of the constant \(\gamma \) is essential in general; see [61] for a non-existence result when \(\gamma \) is dropped.
3 Flow hypersurfaces
3.1 Regularity estimates
In the sequel, \({\bar{g}}\) and \({\bar{\nabla }}\) denote respectively the standard round metric and the Levi-Civita connection of \({\mathbb {S}}^n\). The principal radii of curvature are the eigenvalues of the matrix
with respect to \({\bar{g}}\). For convenience, we put
Lemma 3.1
The following evolution equations hold along the flows.
Proof
We have \(\partial _{t}h=\Theta \sigma _{n}-\eta h\) and hence the first equation follows from the n-homogeneity and (3.1). For the second equation, in an orthonormal frame that diagonalizes \(r_{ij},\)
Tracing with respect to \(\sigma _n^{ab}\) gives
Now the second evolution equation follows from
Finally there holds
Hence,
\(\square \)
Define
Lemma 3.2
Along the flow (2.1) we have
Along the flow (2.3) we have
Here V denotes the enclosed volume of \(M_t\). In both cases, the monotonicity is strict unless the solution is stationary.
Proof
For the flow (2.1), recalling that
we obtain
Here \(+\) is for the cases (3-a) and (3-b), and − is for the cases (3-c) and (3-d). Using
the divergence theorem, the n-homogeneity of \(\sigma _n\), and that \({\bar{\nabla }}_i\sigma _n^{ij}=0\) (cf. [1, Lem. 2-12]), we obtain
Equality holds precisely when h solves (1.2).
For the flow (2.3), note that
The equality holds precisely when h solves (1.2) with \(\gamma =1.\) \(\square \)
We write \(w_-\) and \(w_+\) respectively for the minimum width and the maximum width of a closed, convex hypersurface (or a convex body) with support function h. They are defined as
Lemma 3.3
Under either flow (2.1) and (2.3) and the corresponding assumptions, there are constants a, b such that \(a\le h(\cdot ,t)\le b.\) Moreover, \(\eta (t)\) is uniformly bounded above, and below away from zero.
Proof
Suppose \(R:=\max h_{M_t}\) is attained at the north pole \(e_{n+1}\).
Theorem 2.1, case (3-a): Due to convexity,
Since \(\phi \ge 0\) is non-decreasing and \({\mathcal {E}}(t)\) constant in time, we obtain
Due to \(\lim _{s\rightarrow \infty }\phi (s)=\infty \), we see that \(h(\cdot ,t)\) is uniformly bounded above. Let \(V(M_t)\) denote the volume of the enclosed region by \(M_t.\) To prove the uniform lower bound of h, note that
Since \(M_t\) is o-symmetric, \(w_+=2\max h\) and \(w_-=2\min h.\) The lower bound of h now follows since \(V(M_t)\) is non-decreasing along the flow. The lower and upper bounds on h imply bounds on \(\eta .\)
Theorem 2.1, case (3-b): Suppose \(R>2\). Due to convexity,
Moreover, \(\phi \) is non-decreasing,
and \({\mathcal {E}}(t)\) constant in time. Hence,
Since \(\lim _{s\rightarrow \infty }\phi (s)=\infty \), R remains uniformly bounded above. This in turn implies the lower and upper bounds on support functions and \(\eta .\)
Theorem 2.1, case (3-c): Since \(M_t\) is o-symmetric body and the volume is non-decreasing, the lower and upper bound on the support functions and \(\eta \) follow from the proof of [4, Lem. 4.3].
Theorem 2.1, case (3-d): Suppose \(R>1\). Since \(\phi \ge 0\) is non-increasing and \({\mathcal {E}}(t)={\mathcal {E}}(0)\),
Note that as \(R\rightarrow \infty \), due to \(\lim _{s\rightarrow \infty }\phi (s)=0,\) we obtain
By our choice of \(M_0\), this last inequality is violated.
Theorem 2.3: To get a uniform upper bound on h, note that at a maximum of h we have
The right-hand side will be negative if \(h_{\max }\rightarrow \infty .\) To get a lower bound on h away from zero, we can argue similarly. \(\square \)
In the following two lemmas, we will use two auxiliary functions from [38, 43] to find uniform lower and upper bounds on the Gauss curvature.
Lemma 3.4
We have \(\sigma _n\ge c\) for some positive constant.
Proof
The evolution equation of \(\chi :=\log (\Theta \sigma _n)-A\frac{\rho ^2}{2}\) is given by
Dropping some positive terms gives
By the \(C_0\)-estimate, Lemma 3.3, if A is chosen large enough, the right-hand side of the above equation is strictly positive provided \(\min \sigma _n\rightarrow 0\). Thus \(\sigma _n\) is uniformly bounded below away from zero. \(\square \)
Lemma 3.5
There is a constant d such that \(\sigma _n\le d.\)
Proof
For \(\varepsilon >0\) sufficiently small, consider the auxiliary function
We have
Therefore, by Lemma 3.1 and (3.7), at any point with \(t>0\) where \(\chi \) attains a maximum,
Using \({\bar{\nabla }}\chi =0\) we have
Substituting in
and from the convexity of the hypersurface, we then see that the term \(\sigma _n^{ij}{\bar{\nabla }}_i\log h{\bar{\nabla }}_j\left( \frac{\Theta \sigma _n}{h}\right) \) is non-positive. Thus due to AM-GM inequality,
and the \(C_0\)-estimate, we obtain
for some positive constants \(c_1,c_2,c_3\). Here we identified \(\chi \) with \(\max \chi \). From this the claim follows. \(\square \)
Lemma 3.6
The principal curvatures are uniformly bounded above, and below away from zero.
Proof
To obtain the lower and upper curvature bounds, we can argue exactly as in the proof of [8, Lem. 8] where we applied the maximum principle to the evolution equation of \(\chi :=\log ( \Vert W\Vert / h^{\alpha })\). Here \(\Vert W\Vert ^2\) is the sum of squares of the principal curvatures and \(\alpha >0\) is a suitable constant. A different argument is also given in the proof of [13, Lem. 8.2]. \(\square \)
3.2 Convergence
In the previous section, the \(C^2\)-estimates were obtained for either flow under their corresponding assumptions. Now the higher order regularity estimates follow from the theory of parabolic differential equations; see for details [51, 52]. Therefore, the maximal time interval is unbounded.
Due to Lemma 3.2, subconvergence for the flows (2.1) and (2.3) to stationary solutions is standard: by the upper bound on the support functions, there is a constant C, depending only on \(M_0,\) such that
In view of (3.4) and (3.5), this implies that
Hence, the flow hypersurfaces subconverge to a stationary solution.
To obtain full convergence for the flow (2.3), let us put
Recall from (3.5) that
Note that
Hence due to our \(C_0\)-estimates,
Now we can argue as in [2, 29] to promote subconvergence to full convergence.
4 General measures
4.1 Notions and notation
Let \(\phi : [0,\infty )\rightarrow [0,\infty )\) be an increasing function, continuously differentiable on \((0,\infty )\) with positive derivative, and satisfying \(\lim _{s\rightarrow \infty }\phi (s)=\infty .\) For a finite non-zero Borel measure \(\mu \) and a continuous, nonnegative function f on \({\mathbb {S}}^n\), the Orlicz norm \(\Vert f\Vert _{\phi ,\mu }\) is defined by
Here \(|\mu |=\mu ({\mathbb {S}}^n).\)
Note that in general the Orlicz norm does not satisfy a triangle inequality and the case \(\phi (t)=t^p\) gives the normalized \(L^p\) norm. The Orlicz norm satisfies the following properties:
Definition 4.1
-
(1)
The Hausdorff distance of two convex sets K, L is defined by
$$\begin{aligned}d_{{\mathcal {H}}}(K,L)=\max _{u\in {\mathbb {S}}^n}|h_K(u)-h_L(u)|.\end{aligned}$$ -
(2)
A sequence \(\{K_i\}_{i\in {\mathbb {N}}}\subset \mathrm {K}\) converges to a convex body K if
$$\begin{aligned}\lim _{i\rightarrow \infty }d_{{\mathcal {H}}}(K_i,K)=0.\end{aligned}$$ -
(3)
For \(v\in {\mathbb {S}}^n\), define
$$\begin{aligned}h_{{\hat{v}}}(u)=\langle u,v\rangle _+=\max \{0,\langle u,v\rangle \}\quad \forall u\in {\mathbb {S}}^n.\end{aligned}$$ -
(4)
Given a function \(f:{\mathbb {S}}^n\rightarrow (0,\infty )\), we define the measure
$$\begin{aligned}d\mu _f=\frac{1}{f}d\theta .\end{aligned}$$
4.2 Parabolic approximation
We begin this section by sketching the proof of Theorem 2.7. Assume \(\varphi \) is smooth.
Step 1: We perturb \(\varphi \) to \(\varphi _{\varepsilon }\) such that
Step 2: Suppose \(0<f\in C^{\infty }({\mathbb {S}}^n).\) Using a suitable curvature flow, we find a smooth, strictly convex hypersurface \(M_{\varepsilon }\) with positive support function such that
Step 3: Take \(\varepsilon =1/i\) and set \(\varphi _i=\varphi _{\varepsilon }.\) Applying Step 2 to f and \(\varphi _i,\) we find \(K_i\) (with the origin in its interior) such that
Moreover, we show that the minimum and maximum width of \(K_i\) as well as \(\gamma _i\) are uniformly bounded above and below away from zero, such that these bounds, for i sufficiently large, depend only on \(\varphi \) and \(\mu _f\). Thus, letting \(i\rightarrow \infty ,\) we can find a convex body \(K\in \mathrm {K}_o\) such that
Step 4: Choose \(0<f_i\in C^{\infty }({\mathbb {S}}^n)\) such that \(\mu _{f_i}\rightarrow \mu \) weakly as \(i\rightarrow \infty \). By the conclusion of Step 3, we find \(K_i\in \mathrm {K}_o\) such that
Moreover, \(w_{\pm }(K_i)\) and \(\gamma _i\) are uniformly bounded above and below away from zero, and these bounds, for i sufficiently large, depend only on \(\varphi \) and \(\mu \). Thus, letting \(i\rightarrow \infty ,\) we find \(K\in \mathrm {K}_o\) solving
A further approximation allows us to assume \(\varphi \) is continuous. Now we proceed with the details of this outline.
Assumption 4.1
Suppose
-
(1)
\(\varphi :(0,\infty )\rightarrow (0,\infty )\) is continuous and \(\lim \limits _{s\rightarrow 0^+}\varphi (s)=\infty ,\)
-
(2)
\(\phi (s)=\int _0^s\frac{1}{\varphi (t)}dt\) exists for all \(s>0\) and \(\lim \limits _{s\rightarrow \infty }\phi (s)=\infty .\)
Suppose \(\omega :{\mathbb {R}}\rightarrow [0,1]\) is a smooth function such that
Let \(\varphi _{\varepsilon },\phi _{\varepsilon }:(0,\infty )\rightarrow (0,\infty )\) be defined by
and
Due to the convexity of \(x\mapsto x^{-1}\),
Moreover, we have
since by (4.3) we have
This last inequality also shows that \(\lim _{s\rightarrow \infty }\phi _{\varepsilon }(s)=\infty .\)
Remark 4.2
Note that
Lemma 4.3
The functions \(\phi _{\varepsilon }\), \(1/\varphi _{\varepsilon }\), and \(s/\varphi _{\varepsilon }(s)\) converge uniformly in \([0,\infty )\) to \(\phi \), \(1/\varphi (s)\), and \(s/\varphi (s)\) as \(\varepsilon \rightarrow 0,\) respectively.
Proof
The claims follow from (4.2), (4.4), (4.5) and
To verify (4.6), note that
\(\square \)
Lemma 4.4
Let \(\mu \) be a finite Borel measure whose support is not contained in a hemisphere. Then for \(\varepsilon \) sufficiently small we have
Proof
By [31, Lem. 3.6], the values
In view of [32, Lem. 3], for each \(\varepsilon \) there exists \(v_{\varepsilon }\in {\mathbb {S}}^n\) such that
Due to (4.5), \(\phi _{\varepsilon }\ge \phi \). Therefore, we have
Since \(\phi \) is increasing, if \(c_{\varepsilon _i}\le \frac{c}{2}\) for a subsequence of \(\{\varepsilon _i\}\rightarrow 0\), then
Suppose \(\lim \limits _{i\rightarrow \infty }v_{\varepsilon _i}=w.\) In view of (4.6), letting \(i\rightarrow \infty \) gives
Hence, we arrived at the contradiction \(0<c\le \Vert h_{{\hat{w}}}\Vert _{\phi ,\mu }\le c/2\). \(\square \)
Lemma 4.5
Let a, b be two positive constants, \(\varphi ,\varphi _{\varepsilon }\) be defined as above, and
Suppose \(\mu ,\{\mu _i\}_{i\in {\mathbb {N}}}\) are finite Borel measures on \({\mathbb {S}}^n\) such that \(\mu _i\rightarrow \mu \) weakly and the support of \(\mu \) is not contained in a closed hemisphere. Then there exist positive constants \(\lambda ,\Lambda \) depending on \(a,b,\varphi ,\mu \) such that for all \(K\in \hat{\mathrm {K}}_o\), i sufficiently large and \(\varepsilon \) small enough,
Proof
Recall that \(s/\varphi (s)\) is uniformly continuous on [0, b].
First, we show each \(\mu _i\) satisfies
for some constant \(c_i>0.\) If the lower bound was zero, then by the Blaschke selection theorem we could find a sequence of convex bodies converging to a convex body \({\hat{K}}\in \hat{\mathrm {K}}_o\) with \(\int _{{\mathbb {S}}^n}\frac{h_{{\hat{K}}}}{\varphi (h_{{\hat{K}}})}d\mu _i=0\). Thus, we would have \(\mu _i(\{h_{{\hat{K}}}>0\})=0\). But the set \(\{h_{{\hat{K}}}>0\}\) contains an open hemisphere, and for large i, \(\mu _i(\Sigma )>0\) for any open hemisphere \(\Sigma \).
Second, we show that \(\{c_i\}\) is uniformly bounded below away from zero. Otherwise, we can find a sequence \(\{K_i\}\subset \hat{\mathrm {K}}_o\) such that
Suppose \(K_i\rightarrow K\in \hat{\mathrm {K}}_o\) as \(i\rightarrow \infty \). We have
In view of (4.8) and Definition 4.1, each line of the right-hand side goes to zero thus yielding a contradiction.
Finally, due to (4.8), for every \(\delta >0\), there exist \(\varepsilon _0,N\), such that for all \(\varepsilon \le \varepsilon _0\), \(i\ge N\) and \(K\in \hat{\mathrm {K}}_o,\) we have
Therefore, the uniform lower bound follows by taking \(\delta \) small enough.
Now we prove the upper bounds. For i sufficiently large, we have
Moreover, due to (4.8), there exist \(\varepsilon _0,N\), such that for all \(\varepsilon \le \varepsilon _0\), \(i\ge N\) and \(K\in \hat{\mathrm {K}}_o,\) we have
\(\square \)
Proposition 4.6
Suppose \(\varphi :(0,\infty )\rightarrow (0,\infty )\) is a smooth such that Assumption 4.1 is satisfied. Let \(f:{\mathbb {S}}^n\rightarrow (0,\infty )\) be smooth and \(\varepsilon \) be sufficiently small. There exists a closed, smooth, strictly convex hypersurface \(M_{\varepsilon }\) with positive support function such that
In addition, we have
Moreover, for some positive constants \(\lambda ,\Lambda \) depending on \(\varphi ,\mu _f\),
Also, if f is invariant under a closed group \(G\subset O(n+1),\) then \(M_{\varepsilon }\) is G-invariant.
Proof
Let \(M_0\) be the unit sphere. We seek a family of smooth, strictly convex hypersurfaces \(\{M_{t,\varepsilon }\}\) whose support functions satisfy
We prove the flow hypersurfaces subconverge smoothly to a solution of (4.9) with the desired properties. To do this, all we need is to obtain \(C_0\)-estimates; the higher order regularity estimates and convergence follow as in Sects. 3 and 3.2. Moreover, the statement regarding G-invariance follows, since the flow hypersurfaces are G-invariant.
Suppose \(T_{\star }\) is the maximal time that the flow hypersurfaces are smooth, strictly convex and contain the origin in their interiors. First, we obtain a uniform upper bound for support functions on \([0,T_{\star })\) independent of \(T_{\star }\). Then using this bound, we establish a uniform positive lower bound on the support functions on \([0,T_{\star })\) independent of \(T_{\star }\). Thus the flow hypersurfaces will always contain the origin in their interiors as long as they are smooth and strictly convex.
Let us put \(h_{t,\varepsilon }=h_{M_{t,\varepsilon }}\) and define
Since \(\frac{d}{dt}{\mathcal {E}}(t)=0,\) we have \({\mathcal {E}}(t)={\mathcal {E}}(0)=\phi _{\varepsilon }(1).\) Thus from the definition of the Orlicz norm it follows that
Choose \(v\in {\mathbb {S}}^n\) and \(R>0\), such that \(Rv\in M_{t,\varepsilon }\) and |Rv| is maximal. The line segment joining the origin and Rv is the largest such line segment contained in the enclosed region by \(M_{t,\varepsilon }\) and its support function is \(Rh_{{{\hat{v}}}}\). Therefore, by this inclusion \(h_{t,\varepsilon }\ge Rh_{{{\hat{v}}}}. \) Due to (4.1),
By Lemma 4.4, for \(\varepsilon \) sufficiently small, we have
Together with (4.11), this last inequality yields an upper bound on \(R=\max h_{t,\varepsilon }\) and the maximum width:
Moreover, since the volume is non-decreasing along the flow, the lower bound on the minimum width follows as well:
Thus by a special case of Lemma 4.5 (\(\mu =\mu _i=d\mu _f\)) we obtain
for some positive constants. Therefore, as soon as \(h_{\min }\le \varepsilon \),
Thus for each \(\varepsilon \), \(h_{t,\varepsilon }\) is uniformly bounded below away from zero. \(\square \)
Corollary 4.7
Suppose \(\varphi :(0,\infty )\rightarrow (0,\infty )\) is a smooth function such that Assumption 4.1 is satisfied. Let \(f:{\mathbb {S}}^n\rightarrow (0,\infty )\) be smooth. Then there exists a convex body \(K\in \mathrm {K}_o\) such that
In addition, we have
and for some positive constants depending only on \(\varphi ,\mu _f\),
Moreover, if f is invariant under a closed group \(G\subset O(n+1),\) then K is invariant under G.
Proof
Let \(\varepsilon =\frac{1}{i}\) in Proposition 4.6 and \(\varphi _i=\varphi _{\varepsilon }\). For each i, we have a solution \(K_i\) containing the origin in its interior such that
Moreover, \(\{h_{K_i}\}\) is uniformly bounded above, we have a uniform positive lower bound on \(w_-(K_i)\), and \(\gamma _i\in [\lambda ,\Lambda ]\). Thus by the Blaschke selection theorem, we may find a subsequence of \(\{K_i\}\) converging to a limit \(K\in \mathrm {K}_o\) while \(\gamma _i\rightarrow \gamma \in [\lambda ,\Lambda ]\). Note that if f is invariant under G, then all \(K_i\) and thus K is invariant under G.
Suppose \(\psi \in C({\mathbb {S}}^n)\). Note that
In view of (4.7), the first line on the right-hand side tends to zero as \(i\rightarrow \infty .\) Since \(1/\varphi \) is continuous and \(h_{K_i}\) converges to \(h_{K}\) uniformly, the term on the second line converges to zero as well. Since \(S_{K_i}\rightarrow S_K\) weakly (cf. [54]), K satisfies
\(\square \)
4.3 Proofs
Proof of Theorem 2.7
For the moment, we suppose \(\varphi \) is smooth and Assumption 4.1 is satisfied. Using approximation by discrete measures [54, Thm. 8.2.2] and then bump functions in turn [13, Lem. 3.7], there exists a family of positive functions \(\{f_i\}\subset C^{\infty }({\mathbb {S}}^n)\) such that \(\mu _{f_i}\rightarrow \mu \) weakly as \(i\rightarrow \infty .\) We can choose \(\{f_i\}\) to be invariant under G when \(\mu \) is G invariant. Since the support of \(\mu \) is not contained in a closed hemisphere, by [31, Cor. 3.7] we obtain
Suppose \(K_i\) is a solution corresponding to the measure \(\mu _{f_i}\) given by Corollary 4.7. By (4.12), we have uniform lower and upper bounds on \(w_-(K_i)\) and \(w_+(K_i).\) Thus a subsequence of \(\{K_i\}\) converges to a convex body \(K\in \mathrm {K}_o\).
Since \(\mu _{f_i}\rightarrow \mu \) weakly, by Lemma 4.5 the constants \(\lambda ,\Lambda \) of Corollary 4.7 depend only on \(w_-,w_+,\varphi ,\mu .\) Hence, K is the desired solution. A further approximation allows us to assume \(\varphi \) is merely continuous. \(\square \)
Proof of Theorem 2.6
We only mention the necessary changes in the argument leading to Theorem 2.7. Suppose \(\{f_i\}\subset C^{\infty }({\mathbb {S}}^n)\) is a family of positive even functions such that \(\mu _{f_i}\rightarrow \mu \) weakly as \(i\rightarrow \infty .\) We consider the flow of smooth, strictly convex hypersurfaces \(\{M_{t,i}\}\) whose support functions satisfy
Note for each i, the flow hypersurfaces \(\{M_{t,i}\}\) remain o-symmetric and converge smoothly to a strictly convex hypersurface \(M_{i}\), enclosing the region \(K_i\), which solves
For i sufficiently large, the uniform upper bound for \(\{h_{K_i}\}\) follows from the following argument. For \(v\in {\mathbb {S}}^n\), let \(h_{{\bar{v}}}\) be the support function of the line segment joining \(\pm v\). Then we have \(\min _{v\in {\mathbb {S}}^n}\Vert h_{{\bar{v}}}\Vert _{\phi ,\mu _{f_i}}>0.\) Now for any v and R such that \(\pm Rv\in M_{i}\) with maximal distance from the origin, we have \(Rh_{{\bar{v}}}\le h_{K_i}\). Therefore, arguing similarly as in (4.11), we deduce
Since \(\mu \) is a finite even Borel measure which is not concentrated on a great subsphere, by [31, Cor. 3.7] we have
Hence due to \(V(M_i)\ge V({\mathbb {S}}^n),\) we find constants a, b such that
This yields \(\lambda , \Lambda \), depending only on a, b, such that
Therefore, a subsequence of \(\{K_i\}\) converges to a solution of (1.1). \(\square \)
Remark 4.8
Note that in Theorem 2.6, the condition \(\lim _{s\downarrow 0}\varphi (s)=\infty \) is relaxed. In this case, the lower bound on the support function follows easily as is explained in the proof of Theorem 2.6. While to prove Theorem 2.7, we use an approximation argument in which it is essential that the right-hand side of (4.7) converges to zero; cf. Corollary 4.7.
5 Christoffel–Minkowski type problems
Given a smooth, positive function f defined on the unit sphere, the \(L_p\)-Christoffel–Minkowski problem asks for a smooth, strictly convex hypersurface with positive support function h that satisfies
Here \(p\in {\mathbb {R}}\), \(\sigma _k\) is the k-th elementary symmetric polynomial
and \(\lambda _i\) are the principal radii of curvature. The reader may consult [28, 30, 33] and references therein regarding this problem.
In this section, we solve a class of \(L_p\)-Christoffel–Minkowski type problems, allowing a broader class of curvature functions in place of \(\sigma _k,\) which can be considered as a complement of [9, Thm. 3.13]. Our proof remains brief and only the necessary modifications of the proof in [38] are highlighted. Define
Assumption 5.1
Suppose \(F\in C^{\infty }(\Gamma _+)\) is positive, 1-homogeneous, strictly monotone, \(F(1,\dots ,1)=1,\) inverse concave, i.e.,
and \(F_{*}|_{\partial \Gamma _+}=0\).
By [22, Lem. 2.2.11], \(\sigma _k^{\frac{1}{k}}\) satisfies Assumption 5.1.
Theorem 5.1
Let \(k\in {\mathbb {N}},\) \(p>k+1\) and \(0<f\in C^{\infty }({\mathbb {S}}^n)\) satisfy
Suppose F is a function of the principal radii of curvature and satisfies Assumption 5.1. Then there exists a closed, smooth, strictly convex hypersurface with positive support function that solves
To prove this theorem, we use a curvature flow similar to (2.3). For a suitable smooth, strictly convex hypersurface \(M_0\) parameterized by
we seek smooth, strictly convex hypersurfaces \(M_t\) satisfying
Therefore, the support functions of the \(M_t\) satisfy
Compared to the flow [38, (1.4)], here we do not have the global term \(\eta \). Moreover, since in general the problem \(fh^{1-p}F^k=1\) does not have any variational structure, we cannot expect the convergence of solutions for all initial hypersurfaces. Therefore, we follow the approach of [9, 22] to obtain the regularity estimates.
Step 1: Choose \(M_0\) to be a sufficiently small origin-centered sphere such that
This is possible due to \(p>k+1.\)
Step 2: We obtain uniform lower and upper bounds on the support function as in the proof of Lemma 3.3 here (the case of Theorem 2.3).
Step 3: Let us put
We have
Thus, \(fh^{1-p}F^k\) is uniformly bounded above and below. By Step 2, we obtain uniform lower and upper bounds on F.
Step 4: Let \(r^{ij}\) denote the inverse of principal radii of curvature. Since F is inverse concave, as in [38, Lem. 2.7], we can apply the maximum principle to the auxiliary function
to obtain a uniform lower bound on the principal radii of curvature.
Step 5: Let us arrange the principal radii of curvature as
Due to Steps 3 and 4,
for some constant C. Hence, by Assumption 5.1, we get a uniform upper bound on the principal radii of curvature.
Step 6: Now that we have uniform \(C^2\)-estimates, higher order regularity estimates follow as well and the flow smoothly exists on \([0,\infty ).\)
Step 7: By (5.3), we have
Moreover, due to Step 2,
Therefore, in view of the monotonicity of h, the limit
exists and is positive, smooth and \({\bar{\nabla }}^2{\tilde{h}}+{\bar{g}}{\tilde{h}}>0\). Thus the hypersurface with support function \({\tilde{h}}\) is our desired solution to
References
Andrews, B.: Entropy estimates for evolving hypersurfaces. Commun. Anal. Geom. 2(1), 53–64 (1994)
Andrews, B.: Monotone quantities and unique limits for evolving convex hypersurfaces. Int. Math. Res. Not. 20, 1001–1031 (1997)
Andrews, B.: Evolving convex curves. Calc. Var. Partial Differ. Equ. 7(4), 315–371 (1998)
Bianchi, G., Böröczky, K.J., Colesanti, A.: The Orlicz version of the \(L_p\) Minkowski problem for \(-n<p<0\). Adv. Appl. Math. 111, 101937 (2019)
Bianchi, G., Böröczky, K.J., Colesanti, A.: Smoothness in the \(L_p\) Minkowski problem for \(p< 1\). J. Geom. Anal. 30(1), 680–705 (2020)
Bianchi, G., Böröczky, K.J., Colesanti, A., Yang, D.: The \(L_p\)-Minkowski problem for \(-n < p < 1\). Adv. Math. 341, 493–535 (2019)
Böröczky, K.J., Hegedűs, P., Zhu, G.: On the discrete logarithmic Minkowski problem. Int. Math. Res. Not. 6, 1807–1838 (2016)
Bryan, P., Ivaki, M.N., Scheuer, J.: A unified flow approach to smooth, even \(L_p\)-Minkowski problems. Anal. PDE 12(2), 259–280 (2018)
Bryan, P., Ivaki, M.N., Scheuer, J.: Parabolic approaches to curvature equations. Nonlinear Anal. 203, 112174 (2021)
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: The logarithmic Minkowski problem. J. Am. Math. Soc. 26(3), 831–852 (2012)
Bertini, M.C., Sinestrari, C.: Volume-preserving nonhomogeneous mean curvature flow of convex hypersurfaces. Ann. di Mat. Pura ed Appl. 197(4), 1295–1309 (2018)
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)
Chen, H., Li, Q.-R.: The \(L_p\) dual Minkowski problem and related parabolic flows. https://person.zju.edu.cn/en/qrli (2019)
Cianchi, A., Lutwak, E., Yang, D., Zhang, G.: Affine Moser–Trudinger and Morrey–Sobolev inequalities. Calc. Var. Partial Differ. Equ. 36(3), 419–436 (2009)
Chen, S., Li, Q.-R., Zhu, G.: On the \(L_p\) Monge-Ampère equation. J. Differ. Equ. 263(8), 4997–5011 (2017)
Chow, B., Tsai, D.-H.: Expansion of convex hypersurfaces by nonhomogeneous functions of curvature. Asian J. Math. 1(4), 769–784 (1997)
Chow, B., Tsai, D.-H.: Nonhomogeneous Gauss curvature flow. Univ. Indiana Math. J. 47(3), 965–994 (1998)
Chou, K.-S., Wang, X.-J.: A logarithmic Gauss curvature flow and the Minkowski problem. Ann. l’Institut Henri Poincare Anal. Non Lineaire 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(1), 33–83 (2006)
Gerhardt, C.: Closed Weingarten hypersurfaces in Riemannian manifolds. J. Differ. Geom. 43(3), 612–641 (1996)
Gerhardt, C.: Hypersurfaces of prescribed scalar curvature in Lorentzian manifolds. J. Reine Angew. Math. 2003(554), 157–199 (2003)
Gerhardt, C.: Curvature Problems. International Press, UK (2006)
Gerhardt, C.: Curvature estimates for Weingarten hypersurfaces in Riemannian manifolds. Adv. Calc. Var. 1(1), 123–132 (2008)
Gerhardt, C.: Non-scale-invariant inverse curvature flows in Euclidean space. Calc. Var. Partial Differ. Equ. 49(1–2), 471–489 (2014)
Gardner, R.J., Hug, D., Weil, W.: The Orlicz-Brunn-Minkowski theory: a general framework, additions, and inequalities. J. Differ. Geom. 97(3), 427–476 (2014)
Gardner, R.J., Hug, D., Weil, W., Xing, S., Ye, D.: General volumes in the Orlicz-Brunn-Minkowski theory and a related Minkowski problem I. Calc. Var. Partial Differ. Equ. 58(1), 12 (2019)
Gardner, R.J., Hug, D., Xing, S., Ye, D.: General volumes in the Orlicz-Brunn-Minkowski theory and a related Minkowski problem II. Calc. Var. Partial Differ. Equ. 59(1), 15 (2020)
Guan, P., Ma, X.N.: The Christoffel–Minkowski problem I: convexity of solutions of a Hessian equation. Invent. Math. 151(3), 553–577 (2003)
Guan, P., Wang, G.: A fully nonlinear conformal flow on locally conformally flat manifolds. J. Reine Angew. Math. 557, 219–238 (2003)
Guan, P., Xia, C.: \(L_p\) Christoffel–Minkowski problem: the case \(1<p<k+1\). Calc. Var. Partial Differ. Equ. 57(2), 69 (2018)
Huang, Q., He, B.: On the Orlicz Minkowski problem for polytopes. Discrete Comput. Geom. 48(2), 281–297 (2012)
Haberl, C., Lutwak, E., Yang, D., Zhang, G.: The even Orlicz Minkowski problem. Adv. Math. 224(6), 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(2), 137–155 (2004)
Ivaki, M.N., Stancu, A.: Volume preserving centro-affine normal flows. Commun. Anal. Geom. 21(3), 671–685 (2013)
Ivaki, M.N.: Centro-affine curvature flows on centrally symmetric convex curves. Trans. Am. Math. Soc. 366(11), 5671–5692 (2014)
Ivaki, M.N.: The planar Busemann–Petty centroid inequality and its stability. Trans. Am. Math. Soc. 368(5), 3539–3563 (2015)
Ivaki, M.N.: Deforming a hypersurface by Gauss curvature and support function. J. Funct. Anal. 271(8), 2133–2165 (2016)
Ivaki, M.N.: Deforming a hypersurface by principal radii of curvature and support function. Calc. Var. Partial Differ. Equ. 58(1), 1 (2019)
Ivaki, M.N.: Iterations of curvature images. Mathematika 66, 640–648 (2020)
Jian, H., Jian, L.: Existence of solutions to the Orlicz–Minkowski problem. Adv. Math. 344, 262–288 (2019)
Jian, H., Jian, L., Wang, X.-J.: Nonuniqueness of solutions to the \(L_p\)-Minkowski problem. Adv. Math. 281, 845–856 (2015)
Kröner, H.: Flowing the leaves of a foliation with normal speed given by the logarithm of general curvature functions. Preprint, arXiv:1706.02976, (2017)
Kröner, H., Scheuer, J.: Expansion of pinched hypersurfaces of the Euclidean and hyperbolic space by high powers of curvature. Math. Nachrichten 292(7), 1514–1529 (2019)
Li, Q.-R.: Surfaces expanding by the power of the Gauss curvature flow. Proc. Am. Math. Soc. 138(11), 4089–4089 (2010)
Liu, Y., Lu, J.: A flow method for the dual Orlicz-Minkowski problem. Trans. Amer. Math. Soc. 373, 5833–5853 (2020)
Lutwak, E., Oliker, V.: On the regularity of solutions to a generalization of the Minkowski problem. J. Differ. Geom. 41(1), 227–246 (1995)
Lutwak, E.: The Brunn–Minkowski–Firey theory. I. Mixed volumes and the Minkowski problem. J. Differ. Geom. 38(1), 131–150 (1993)
Lutwak, E., Yang, D., Zhang, G.: Sharp affine \(L_p\) sobolev inequalities. J. Differ. Geom. 62(1), 17–38 (2002)
Lutwak, E., Yang, D., Zhang, G.: Orlicz projection bodies. Adv. Math. 223(1), 220–242 (2010)
Li, H., Zhou, T.: Nonhomogeneous inverse Gauss curvature flow in \({\mathbb{H}}^{3}\). Proc. Am. Math. Soc. 147(9), 3995–4005 (2019)
Makowski, M.: Volume preserving curvature flows in Lorentzian manifolds. Calc. Var. Partial Differ. Equ. 46(1–2), 213–252 (2013)
McCoy, J.A.: Mixed volume preserving curvature flows. Calc. Var. Partial Differ. Equ. 24(2), 131–154 (2005)
Schnürer, O.: Surfaces expanding by the inverse Gauß curvature flow. J. Reine Angew. Math. 600, 117–134 (2006)
Schneider, R.: Convex Bodies: The Brunn-Minkowski Theory. Cambridge University Press, Cambridge (2013)
Scheuer, J.: Pinching and asymptotical roundness for inverse curvature flows in Euclidean space. J. Geom. Anal. 26(3), 2265–2281 (2016)
Stancu, A.: The discrete planar \(L_0\)-Minkowski problem. Adv. Math. 167(1), 160–174 (2002)
Stancu, A.: Centro-affine invariants for smooth convex bodies. Int. Math. Res. Not. 2012(10), 2289–2320 (2012)
Wu, Y., Xi, D., Leng, G.: On the discrete Orlicz Minkowski problem. Trans. Am. Math. Soc. 371(3), 1795–1814 (2018)
Wu, Y., Xi, D., Leng, G.: On the discrete Orlicz Minkowski problem II. Geom. Dedicata 371(3), 1795–1814 (2019)
Xi, D., Jin, H., Leng, G.: The Orlicz Brunn–Minkowski inequality. Adv. Math. 260, 350–374 (2014)
Yijing, S., Yiming, L.: The planar Orlicz Minkowski problem in the \(L_1\)-sense. Adv. Math. 281, 1364–1383 (2015)
Zou, D., Xiong, G.: Orlicz–John ellipsoids. Adv. Math. 265, 132–168 (2014)
Acknowledgements
PB was supported by the ARC within the research grant “Analysis of fully non-linear geometric problems and differential equations”, Number DE180100110. MI was supported by a Jerrold E. Marsden postdoctoral fellowship from the Fields Institute. JS was supported by the “Deutsche Forschungsgemeinschaft” (DFG, German research foundation) within the research scholarship “Quermassintegral preserving local curvature flows”, Grant Number SCHE 1879/3-1.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Jost.
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/.