The Minkowski problem of $p$-affine dual curvature measures

This paper introduces the family of $p$-affine dual curvature measures for convex bodies, establishes their connections to classical measures as limiting cases, and investigates the associated Minkowski problems by providing existence and necessary conditions for solutions, particularly in the even and smooth cases.

The Gist

Imagine you are an architect trying to build a unique, perfectly balanced sculpture. You have a bag of "clay instructions" (a mathematical measure) that tells you how much weight or pressure should be applied to different parts of the surface of your sculpture. The Minkowski Problem is essentially the question: "Can I build a solid shape that perfectly matches these instructions?"

For over a century, mathematicians have been solving different versions of this puzzle. This paper by Youjiang Lin and Yuchi Wu introduces a new, more flexible set of instructions called p-affine dual curvature measures.

Here is a breakdown of the paper's ideas using simple analogies:

1. The Setting: The Shape-Shifting Sculpture

In this mathematical world, we deal with convex bodies. Think of these as solid, smooth, non-dented shapes (like a ball, a cube, or a potato).

• The Origin: The center of our universe is the "origin" (the point 0,0,0). All our shapes must contain this point inside them.
• The Goal: We want to find a shape $K$ such that its "curvature" (how much it bends) matches a specific pattern given by a measure $\mu$.

2. The New Tool: The "p-Affine" Lens

The authors introduce a new way of looking at these shapes using a parameter called $p$.

• The Old Ways:
  • When $p=1$, it's the Classical Minkowski Problem (like measuring the surface area).
  • When $p=0$, it's the Log-Minkowski Problem (related to volume and "cone" shapes).
• The New Way ($p$-Affine): The authors create a family of measures for $p$ values between negative infinity and 1 (excluding 0 and 1).
  • Analogy: Imagine you have a camera with a special zoom lens.
    • At one setting ($p \to 1$), the lens shows you the "intersection body" (a shape formed by slicing the object).
    • At another setting ($p \to 0$), the lens shows you the "cone-volume" (how much space the shape takes up from the center).
    • The p-affine dual curvature measure is the view you get when you set the lens to any other value of $p$. It's a "super-lens" that connects all these different ways of measuring a shape.

3. The "Intersection Body" Connection

To build these new measures, the authors use a concept called the $L_p$ Intersection Body.

• The Metaphor: Imagine shining a light through your shape from every possible angle. The "Intersection Body" is a new shape created by measuring how much "shadow" or "slice" the original shape casts in every direction.
• The authors figured out how this shadow-shape changes when you tweak the "p" setting. By watching how the volume of this shadow-shape changes, they derived their new measure, $I_p(K, \cdot)$.

4. The Big Question: The Minkowski Problem for $p$-Affine Measures

Now that they have this new measuring tool, they ask the big question:

"If I give you a set of instructions (a measure $\mu$), can you build a shape $K$ that fits these instructions exactly?"

They call this the Affine Minkowski Problem.

5. The Solution: When Can We Build It?

The paper provides two main answers:

A. The "Yes, you can!" Condition (Sufficiency)
If the instructions (the measure) are symmetric (the shape looks the same if you flip it) and they don't concentrate too much "weight" in any single flat slice (a condition called the strict subspace concentration inequality), then YES, a shape exists!

• Analogy: Imagine trying to balance a pile of sand on a table. If the sand is spread out reasonably well and isn't all piled up on one tiny edge, you can find a stable base (a shape) to hold it. The authors prove that if the "sand" (measure) follows these rules, a "base" (convex body) exists.

B. The "No, you can't!" Condition (Necessity)
If $p$ is between 0 and 1, they also prove that if a shape does exist, the instructions must follow a specific rule about how the weight is distributed. If the instructions are too "lopsided" or concentrated, no shape can ever satisfy them.

6. The Mathematical Engine: The "Entropy" Machine

How did they prove this? They didn't just guess; they built a mathematical machine.

• They created a functional (a formula that takes a shape and gives it a score).
• The score is a mix of two things:
  1. The volume of the "shadow shape" (Intersection Body).
  2. An "entropy" term (a measure of disorder or randomness).
• The Strategy: They tried to find the shape that maximizes this score. They proved that if the instructions are "well-behaved" (symmetric and not too concentrated), this machine will eventually settle on a perfect shape that solves the problem.

7. The Hidden Code: Partial Differential Equations

Finally, the paper mentions that if the shape is perfectly smooth (no sharp corners), solving this problem is the same as solving a very complex, new type of equation (a Partial Differential Equation).

• Analogy: It's like saying, "To build this perfect sculpture, you just need to solve this specific, difficult math puzzle." If you can solve the puzzle, you can build the sculpture.

Summary

In short, Lin and Wu have:

1. Invented a new family of ways to measure the "curvature" of shapes, bridging the gap between old, known methods.
2. Proven that for symmetric shapes, if the measurement instructions aren't too lopsided, a matching shape definitely exists.
3. Shown that finding this shape is equivalent to solving a new, complex math equation.

This work is a significant step forward in understanding the deep geometry of shapes, connecting volume, area, and symmetry in a unified framework.

Technical Summary

Here is a detailed technical summary of the paper "The Minkowski Problem of p-Affine Dual Curvature Measures" by Youjiang Lin and Yuchi Wu.

1. Problem Statement

The paper addresses a fundamental problem in convex geometry and integral geometry: the Minkowski problem for a newly constructed family of geometric measures.

• Context: The classical Minkowski problem asks for conditions under which a given measure on the unit sphere $S^{n-1}$ is the surface area measure of a convex body. This has been generalized to the $L_p$ Minkowski problem (involving $L_p$ surface area measures) and the Dual Minkowski problem (involving dual curvature measures).
• The Specific Problem: The authors introduce the $p$-affine dual curvature measure, denoted as $I_p(K, \cdot)$, for a convex body $K$ containing the origin in its interior and a parameter $p \in (-\infty, 0) \cup (0, 1)$.
• The Question: What are the necessary and sufficient conditions on a finite Borel measure $\mu$ on $S^{n-1}$ such that $\mu = I_p(K, \cdot)$ for some origin-symmetric convex body $K$?

2. Methodology

The authors employ a combination of variational calculus, integral geometry, and functional analysis to solve the problem.

• Construction of Measures:

  • They define $I_p(K, \cdot)$ via the variational formula of the volume of the $L_p$ intersection body ($I_p K$).
  • The $L_p$ intersection body is defined by its radial function: $\rho_{I_p K}(x) = \left( \frac{1-p}{2} \int_K |x \cdot y|^{-p} dy \right)^{1/p}$.
  • The measure is derived from the first variation of the volume $V(I_p K_t)$ under a logarithmic perturbation of the support function of $K$.
  • The definition involves $p$-cosine transforms ($T_p$) and the reverse radial Gauss image $\alpha^*_K$.

• Variational Approach (Existence):

  • To prove the existence of a solution for the even Minkowski problem, the authors formulate a maximization problem.
  • They define a functional $\Phi_{\mu, p}(f)$ on the space of even, positive continuous functions (support functions), which is the sum of the logarithm of the volume of the $L_p$ intersection body and an entropy integral involving the given measure $\mu$:
    $$\Phi_{\mu, p}(f) = \frac{p}{n(n-p)} \log V(I_p[f]) + E_\mu(f)$$
  • They utilize the Blaschke selection theorem to extract a convergent subsequence of convex bodies.
  • Key Technical Step: They prove that if the maximizing sequence of bodies degenerates (i.e., collapses into a lower-dimensional subspace), the functional tends to $-\infty$. This is achieved by establishing sharp inequalities relating the volume of $L_p$ intersection bodies to classical intersection bodies and using the strict subspace concentration inequality as a barrier.

• Necessity Analysis:

  • For the case $0 < p < 1$, they derive a necessary condition by analyzing the behavior of the measure on subspaces.
  • They utilize the unimodality of the function $\rho^p_{I_{2p}K}$ (where $I_{2p}K$ is the $L_p$ intersection body of the $L_p$ intersection body) and apply a Brunn-Minkowski type inequality (Lemma 7) to establish a strict subspace concentration bound.

3. Key Contributions

A. Definition and Properties of $p$-Affine Dual Curvature Measures

The paper rigorously defines $I_p(K, \cdot)$ and establishes its affine contra-variant property:
$$I_p(\phi K, \cdot) = \phi^{-t} I_p(K, \cdot)$$
for any $\phi \in SL(n)$. This confirms that the measure is a natural object in affine geometry.

B. Limit Cases and Unification

The authors demonstrate that their new measure unifies several known measures as limit cases:

1. As $p \to 1^-$: $I_p(K, \cdot)$ converges (up to a constant) to the affine dual curvature measure $\tilde{C}^a_{n-1}(K, \cdot)$ introduced by Cai et al. [9].
2. As $p \to 0$: Under the normalization $V(K)=2$, the measure $2|p|I_p(K, \cdot) / (n^2 V(I_p K))$converges to the classical **cone-volume measure**$V_K(\cdot)$. This links the$p$-affine dual curvature measures to the log-Minkowski problem.

C. Solvability of the Even Minkowski Problem

The paper provides a sufficient condition for the existence of a solution to the even Minkowski problem for $p \in (-\infty, 0) \cup (0, 1)$.

• Theorem 1: If a non-zero finite even Borel measure $\mu$ satisfies the strict subspace concentration inequality:
  $$\frac{\mu(\xi \cap S^{n-1})}{\mu(S^{n-1})} < \frac{\dim \xi}{n}$$
  for every proper subspace $\xi$, then there exists an origin-symmetric convex body $K$ such that $\mu = I_p(K, \cdot)$.

D. Necessary Condition

For the range $0 < p < 1$, the authors establish a necessary condition (Theorem 2).

• If $K$ is an origin-symmetric convex body, then for any proper subspace $\xi$:
  $$\frac{I_p(K, \xi \cap S^{n-1})}{I_p(K, S^{n-1})} < \frac{\dim \xi}{n-p}$$
  This inequality is strict, highlighting a subtle difference from the $p=0$ (cone-volume) case where the bound is $\dim \xi / n$.

E. PDE Formulation

The smooth case of the Minkowski problem is shown to be equivalent to solving a new type of Monge-Ampère type partial differential equation on the sphere involving $p$-cosine transforms and the duality operator $D$.

4. Results Summary

Component	Result
Existence	Proven for even measures satisfying the strict subspace concentration inequality.
Necessity	Proven a strict subspace concentration bound for $0 < p < 1$.
Limit Behavior	$p \to 1^-$ $\implies$ Affine dual curvature measure; $p \to 0$ $\implies$ Cone-volume measure.
Equation	Reduced to a non-local PDE involving $p$-cosine transforms and spherical Hessian.
Invariance	The measure is affine contra-variant under $SL(n)$.

5. Significance

This paper makes significant contributions to the Brunn-Minkowski theory and Affine Geometry:

1. Unification: It bridges the gap between the classical cone-volume measure (log-Minkowski problem, $p=0$) and the affine dual curvature measures ($p \to 1$), creating a continuous family of measures parameterized by $p$.
2. New Geometric Invariants: The introduction of $p$-affine dual curvature measures provides new tools for studying affine isoperimetric inequalities and the geometry of $L_p$ intersection bodies.
3. Methodological Advancement: The proof techniques, particularly the use of the strict subspace concentration inequality as a barrier to prevent degeneration in the variational method, offer a robust framework that can likely be applied to other generalized Minkowski problems.
4. PDE Theory: The reduction of the geometric problem to a specific non-local PDE involving cosine transforms opens new avenues for analysis in nonlinear partial differential equations on the sphere.

In conclusion, Lin and Wu successfully extend the scope of the Minkowski problem to a new class of affine-invariant measures, providing both existence theorems and necessary conditions that deepen the understanding of the interplay between convex bodies, intersection bodies, and affine geometry.