Dual Curvature Measures with Negative Indices

• Dual curvature measures with negative indices are defined via radial functions and the Gauss map, encoding essential geometric information for convex bodies.
• They guarantee existence and uniqueness for the dual Minkowski problem through variational methods and conditions on measure supports.
• Extensions to pseudo-cones and convex functions broaden the framework, linking the theory to analytic techniques, PDEs, and L_p formulations.

Dual curvature measures with negative indices comprise a central development in modern convex and discrete geometry, dual to Federer's curvature measures and closely interlinked with the dual Minkowski problem. For a convex body $K \subset \mathbb{R}^n$ containing the origin in its interior, the $q$-th dual curvature measure $\widetilde{C}_q(K,\cdot)$ is constructed via the radial function and the Gauss map, encoding surface-type geometric data. When the index $q < 0$, a full solution is available: necessary and sufficient conditions for prescribed measures, variational approaches, and robust uniqueness results. Extensions to pseudo-cones, general convex functions, and $L_p$ frameworks broaden the scope of dual curvature theory, revealing analytic, geometric, and PDE connections.

1. Foundational Definitions and Formulation

Let $K \subset \mathbb{R}^n$ be a convex body, $o \in \mathrm{int}\,K$, and consider:

• Radial function: $\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$, defined for $u \in S^{n-1}$.
• Support function: $h_K(v) = \max_{x \in K} x \cdot v$, defined for $q$0.

The $q$1-th dual quermassintegral is

$q$2

The normalized dual volume (for $q$3) is

$q$4

with $q$5 defined via the logarithmic mean.

For any Borel set $q$6, Huang–Lutwak–Yang–Zhang define the $q$7-th dual curvature measure as

$q$8

where $q$9 collects directions whose corresponding boundary points have outer normals in $\widetilde{C}_q(K,\cdot)$0 (Zhao, 2017). Homogeneity holds: $\widetilde{C}_q(K,\cdot)$1 and $\widetilde{C}_q(K,\cdot)$2.

2. Minkowski-Type Existence and Uniqueness for $\widetilde{C}_q(K,\cdot)$3

The dual Minkowski problem for $\widetilde{C}_q(K,\cdot)$4 posits: Given a finite Borel measure $\widetilde{C}_q(K,\cdot)$5 on $\widetilde{C}_q(K,\cdot)$6 and $\widetilde{C}_q(K,\cdot)$7, determine conditions for the existence of $\widetilde{C}_q(K,\cdot)$8 such that $\widetilde{C}_q(K,\cdot)$9.

• Existence (Theorem A): $q < 0$0 must be a nonzero finite Borel measure not concentrated on any closed hemisphere. Then, there exists $q < 0$1 with $q < 0$2.
• Uniqueness (Theorem B): If $q < 0$3, $q < 0$4, and $q < 0$5, then $q < 0$6 (Zhao, 2017).

The variational approach relies on a functional

$q < 0$7

and coercivity for $q < 0$8 ensures compactness and existence, while the sign of $q < 0$9 yields robust uniqueness via contradiction arguments under rescaling.

3. Extensions: Pseudo-Cones and Convex Functions

a. Pseudo-Cones

Given a closed, pointed convex cone $L_p$0 with nonempty interior, a $L_p$1-pseudo-cone is a closed convex set $L_p$2, $L_p$3, $L_p$4. The dual curvature measure with $L_p$5 is

$L_p$6

for Borel sets $L_p$7 ($L_p$8 spherical measure). The existence theorem states: Given any nonzero, finite Borel measure $L_p$9 supported in $K \subset \mathbb{R}^n$0 there exists a $K \subset \mathbb{R}^n$1-pseudo-cone $K \subset \mathbb{R}^n$2 with $K \subset \mathbb{R}^n$3 (Schneider, 10 Jan 2026). No compactness or interior-support conditions are required for $K \subset \mathbb{R}^n$4. Uniqueness remains open in this extension.

b. Convex Functions Framework

Dual curvature measures extend from convex bodies to proper convex functions $K \subset \mathbb{R}^n$5, via

$K \subset \mathbb{R}^n$6

The associated prescribed measure equation

$K \subset \mathbb{R}^n$7

admits solutions provided $K \subset \mathbb{R}^n$8 is finite, nonzero, not supported in a hyperplane, and $K \subset \mathbb{R}^n$9 (Fang et al., 2021). This generalizes the convex body setting and introduces links to nonlinear PDE.

4. Analytical and Variational Structure

For $o \in \mathrm{int}\,K$0, the main analytical tools include variational functionals which are scale-invariant and log-concave under infimal convolution. The existence and uniqueness results follow from compactness in the space of convex bodies (or convex functions), first variation identities, and Minkowski-type inequalities for dual mixed quermassintegrals.

• In the pseudo-cone context, the functional

$o \in \mathrm{int}\,K$1

is minimized on normalized dual volume level sets.

• For convex functions, the functional

$o \in \mathrm{int}\,K$2

enables direct application of calculus of variations methodologies (Fang et al., 2021).

Negative indices $o \in \mathrm{int}\,K$3 guarantee coercivity, preclude degeneracy (shrinking/escaping bodies), and log-concavity crucial for variational solutions.

5. Geometric PDEs and Group Symmetry Considerations

The $o \in \mathrm{int}\,K$4 dual curvature density equations generalize the dual Minkowski problem to measures of the form $o \in \mathrm{int}\,K$5. For $o \in \mathrm{int}\,K$6, convex bodies whose support functions solve

$o \in \mathrm{int}\,K$7

on $o \in \mathrm{int}\,K$8 may be constructed under finite group symmetry assumptions, even beyond the origin-symmetric case. The existence theorem for such $o \in \mathrm{int}\,K$9 dual Minkowski problems holds for $\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$0 and $\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$1 (Böröczky et al., 13 Mar 2025). Regularity ($\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$2) and strong convexity are established via elliptic estimates and group-invariant minimization.

Open questions remain regarding uniqueness, sharpness of critical exponents, Orlicz extensions, and extension of curvature flow approaches to $\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$3.

6. Connections to Classical Cases and Contrasts with $\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$4

For $\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$5, the dual curvature measure coincides with Aleksandrov's problem, uniquely solved via optimal transport techniques. For $\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$6, existence is solved for even measures, but uniqueness is an open problem except for $\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$7 (Zhao, 2017). The logarithmic Minkowski problem ($\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$8) is analogous to the cone volume measure and admits existence under symmetry or special measure conditions, but general uniqueness is unsolved.

In contrast, for $\rho_K(u) = \max\{\lambda > 0 : \lambda u \in K\}$9, both existence and uniqueness are complete for all non-hemisphere-concentrated measures. For nonnegative $u \in S^{n-1}$0, analytic obstacles arise—loss of log-concavity, breakdown of Minkowski-type inequalities, and explicit counter-examples of non-existence due to mass concentration.

7. Illustrative Examples and Generalizations

For the uniform spherical measure, the unit ball $u \in S^{n-1}$1 solves the dual Minkowski problem for $u \in S^{n-1}$2. In the pseudo-cone setting, $u \in S^{n-1}$3 for $u \in S^{n-1}$4 yields boundary-supported dual curvature measures.

Generalizations to functional, $u \in S^{n-1}$5, and Orlicz dual formulations allow prescription of more general measure densities and enable solution methods via PDE and advanced variational calculus (Fang et al., 2021, Böröczky et al., 13 Mar 2025).

The robust solution regime for negative indices in dual curvature measure theory demonstrates both deep analytic structure and broad geometric reach, underlying modern advances in convex geometric analysis.