On the regularity of solutions to a generalization of the Minkowski problem (Q1891991)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the regularity of solutions to a generalization of the Minkowski problem |
scientific article |
Statements
On the regularity of solutions to a generalization of the Minkowski problem (English)
0 references
6 July 1997
0 references
W. Firey and E. Lutwak generalized the classical Brunn-Minkowski theory of convex bodies to a \(p\)-theory \((p\geq 1)\) introducing a linear combination \(\lambda\cdot K +_p\mu\cdot L\) by the support function \(h(\lambda\cdot K +_p\mu\cdot L,\cdot):=(\lambda h(K,\cdot)^p+\mu h(L,\cdot)^p)^{\frac1p}\) for \(\lambda\geq 0\), \(\mu\geq 0\) (not both zero) and convex bodies \(K, L\in\mathbb{R}^n\) containing the origin in their interior. From this a \(p\)-mixed volume \(V_p(K,L)\) may be derived by its equality with \[ \frac pn \lim_{\varepsilon\to+0} \frac{V(K +_p\varepsilon\cdot L) - V(K)}{\varepsilon}=\frac1n \int_{S^{n-1}}h(L, u)^p h(K,u)^{1-p} dS(K,u) \] where \(S(K,\cdot)\) is Aleksandrov's surface area measure of \(K\) on the sphere \(S^{n-1}\) such that \(f_p(K,u):= h(K,u)^{1-p} f(K,u)\) can be considered as \(p\)-curvature function of \(K\) if \(S(K,\cdot)\) is absolutely continuous with respect to the Lebesgue measure \(\omega\) on \(S^{n-1}: dS(K,u)= f(K,u)=d\omega(u)\). In a former paper \textit{E. Lutwak} [J. Differ. Geom. 38, No. 1, 131-150 (1993; Zbl 0788.52007)] solved the ``generalized Minkowski problem'' \(h(K,u)^{1-p} f(K,u)=g(u)\) under the restrictive assumptions that \(1-n\neq 1- p\leq 0\) and that \(g\) is a prescribed even, positive and continuous function on \(S^{n-1}\) showing that there exists a unique centered convex body \(K\) with the \(p\)-curvature function \(g\). In the present paper the authors show that if hereby additionally \(g\) is of class \(C^m(S^{n-1})\) \((m\geq 3)\) then the support function \(h=h(K,\cdot)\) of the solution \(K\) is of class \(C^{m+1,\alpha}(S^{n-1})\) for any \(\alpha\in (0,1)\). Furthermore, if \(g\) is analytic, then \(h\) is analytic as well. The proof uses a continuity scheme as it has been applied by \textit{L. Nirenberg} [Commun. Pure Appl. Math. 6, 337-394 (1953; Zbl 0051.12402)].
0 references
\(p\)-mixed volume
0 references
\(p\)-curvature function
0 references
generalized Minkowski problem
0 references
continuity scheme
0 references