🔢 mathematics

The capillary Christoffel-Minkowski problem

This paper introduces the $k$ -th capillary area measure for capillary convex bodies in the Euclidean half-space, formulates a corresponding Christoffel-Minkowski problem as a Hessian-type equation with a Robin boundary condition, and establishes the existence and uniqueness of smooth solutions under a natural sufficient condition.

Original authors: Xinqun Mei, Guofang Wang, Liangjun Weng

Published 2026-05-19

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Xinqun Mei, Guofang Wang, Liangjun Weng

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: Shaping a Soap Bubble on a Wall

Imagine you are blowing a soap bubble, but instead of floating freely in the air, the bubble is stuck to a flat wall (like a window pane). Because of surface tension, the bubble doesn't just hit the wall at a random angle; it meets the wall at a specific, constant angle (like a perfect 45-degree slope). In physics and math, this is called a capillary hypersurface.

The authors of this paper are asking a very specific question about these shapes: "If I tell you exactly how 'curved' the bubble should be at every point, can you build the bubble?"

In the world of geometry, "curved" is a bit like the "bounciness" of a trampoline. If you want a trampoline to be very bouncy in the middle and flat at the edges, you need to know exactly how to stretch the fabric. This paper tries to figure out the rules for stretching a "capillary bubble" so that its curvature matches a specific pattern you give it.

The Characters in the Story

The Bubble (The Capillary Convex Body): This is the shape the authors are trying to create. It's a solid, round object sitting in a half-space (like a room with a floor), touching the floor at a fixed angle.
The Map (The Gauss Map): Imagine taking a picture of the bubble from the inside. Every point on the bubble has a "normal" vector (an arrow pointing straight out). If you project all those arrows onto a sphere, you get a map of the bubble's shape. The authors use a special version of this map that accounts for the bubble touching the floor.
The Recipe (The $k$ -th Capillary Area Measure): This is the "prescription" or the goal. It's a list of instructions telling the bubble how curved it needs to be.
- If you want the bubble to be a perfect sphere, the recipe is simple.
- If you want a weird, lumpy shape, the recipe is complex.
- The paper focuses on a specific type of curvature measurement (the $k$ -th one), which is like measuring the "average bounciness" of the surface in different ways.

The Problem: The "Christoffel-Minkowski" Puzzle

For a long time, mathematicians have known how to solve this puzzle if the bubble is floating freely in the air (the "closed" case). This is the famous Minkowski Problem.

However, this paper tackles the harder version: The Capillary Christoffel-Minkowski Problem.

The Challenge: The bubble is touching a wall. This adds a "Robin boundary condition." Think of it like a guitar string that is tied down at one end but allowed to slide up and down a bit at the other end, following a specific rule. The math gets messy because the bubble has to satisfy two rules at once:
1. It must have the specific curvature you asked for in the middle.
2. It must hit the wall at the exact right angle.

What Did They Actually Do?

The authors didn't just guess; they built a mathematical machine to prove that a solution exists and is unique. Here is their step-by-step strategy, translated into plain English:

1. Defining the Rules (The Setup)
They first invented a new way to measure the "area" of these wall-touching bubbles. They called it the $k$ -th capillary area measure. This is the new "ruler" they use to measure the bubble's shape against the recipe.

2. The Translation (The Equation)
They realized that building the bubble is the same as solving a very difficult math equation (a Hessian-type equation).

The Equation: It's like a complex recipe for a cake where the ingredients (the shape) depend on how the cake rises (the curvature).
The Boundary: The equation has a special rule for the "edges" of the cake (where it touches the wall), ensuring it hits the wall at the right angle.

3. The Safety Checks (A Priori Estimates)
Before they could say "Yes, a solution exists," they had to prove that the solution wouldn't go crazy.

The $C^0$ Estimate: They proved the bubble can't grow infinitely huge or shrink to nothing. It stays within a reasonable size.
The $C^1$ Estimate: They proved the bubble won't have sudden, sharp spikes. It stays smooth.
The $C^2$ Estimate: This was the hardest part. They proved the bubble won't have weird, jagged curvatures. It stays nicely rounded.
- Analogy: Imagine trying to mold clay. They proved that no matter how hard you try to make a weird shape, the clay will naturally settle into a smooth, round form if you follow their rules.

4. The "Constant Rank" Trick (Convexity)
They needed to make sure the bubble stays "convex" (bulging outward like a ball, not dented inward like a bowl). They used a famous mathematical tool (the Constant Rank Theorem) to show that if you start with a smooth, round shape and follow their recipe, the shape will stay smooth and round. It won't suddenly develop a dent.

5. The Continuity Method (The Bridge)
Finally, they used a technique called the "Method of Continuity."

Imagine you want to get from Point A (a simple, perfect sphere) to Point B (your complex, custom-shaped bubble).
They proved that you can slowly morph the sphere into your custom shape without the bubble ever breaking, collapsing, or becoming impossible to define.
Because they can make this smooth journey, they proved that the final shape (Point B) definitely exists.

The Main Conclusion

The paper claims that:

Existence: If you give them a reasonable "curvature recipe" (a positive, smooth function), they can mathematically prove that a unique, smooth, round bubble exists that fits that recipe and touches the wall at the correct angle.
Uniqueness: There is only one such bubble (up to sliding it left or right along the wall). You can't have two different bubbles with the exact same curvature recipe.

Summary in One Sentence

The authors proved that for any reasonable "curvature recipe," you can mathematically guarantee the existence of a perfectly smooth, round soap-bubble-like shape that sits in a half-space, touches the floor at a fixed angle, and matches that recipe exactly.

Technical Summary: The Capillary Christoffel-Minkowski Problem

Problem Statement
This article addresses the Capillary Christoffel-Minkowski problem, a geometric inverse problem concerning capillary convex bodies in the Euclidean half-space $\mathbb{R}^{n+1}_+$ . The authors introduce the concept of a $k$ -th capillary area measure for capillary convex bodies, serving as a boundary counterpart to the classical area measure in convex geometry.

The central question is: Given a positive function $f$ on a spherical cap $C_\theta$ , does there exist a strictly convex capillary hypersurface $\Sigma \subset \mathbb{R}^{n+1}_+$ such that its induced $k$ -th capillary area measure equals $f \, d\mathcal{H}^n$ ?

When $k=n$ , this reduces to the Capillary Minkowski problem (prescribed Gauss-Kronecker curvature), previously solved by the authors.
When $k=1$ , it corresponds to the Capillary Christoffel problem.
For intermediate cases $2 \le k \le n-1$ , it constitutes the Capillary Christoffel-Minkowski problem.

Geometrically, a capillary hypersurface intersects the boundary hyperplane $\partial \mathbb{R}^{n+1}_+$ at a constant contact angle $\theta \in (0, \pi)$ . The problem is analytically equivalent to finding a strictly convex solution $h$ (the support function) to a Hessian-type equation with a Robin boundary condition:
$\begin{cases} \sigma_k(\nabla^2 h + h\sigma) = f & \text{in } C_\theta, \\ \nabla_\mu h = \cot \theta \, h & \text{on } \partial C_\theta, \end{cases}$
where $\sigma_k$ is the $k$ -th elementary symmetric function of the eigenvalues of the matrix $\nabla^2 h + h\sigma$ , $\sigma$ is the standard spherical metric, and $\mu$ is the outward unit co-normal of the boundary $\partial C_\theta$ .

Methodology
The authors employ the method of continuity to establish the existence of solutions. The strategy involves:

A Priori Estimates: Establishing uniform $C^0$ $C^{0}$ , $C^1$ $C^{1}$ , and $C^2$ $C^{2}$ estimates for the solution $h$ $h$ .
- The $C^0$ estimate is derived by modifying the approach of Cheng-Yau and combining it with generalized Alexandrov-Fenchel inequalities for capillary hypersurfaces.
- The $C^1$ estimate follows from the strict convexity of $h$ and the $C^0$ bound.
- The $C^2$ estimate is the most technical component. It relies on a global estimate reducing to a boundary double-normal estimate. The authors construct specific barrier functions inspired by Lions-Trudinger-Urbas and Ma-Qiu to control the second derivatives at the boundary. Crucially, the condition $\theta \in (0, \pi/2]$ is utilized to ensure the convexity of the domain boundary $\partial C_\theta$ and to derive the necessary inequalities for the test functions.
Preservation of Convexity: To ensure the solution remains strictly convex, the authors apply the Constant Rank Theorem (Guan-Ma). They prove that if the initial data is connected to a constant function within a specific class of functions ( $L^{-1}_k$ ) satisfying a Neumann boundary condition, the convexity of the solution is preserved throughout the homotopy.
Linearization and Openness: The openness of the solution set is established using the Implicit Function Theorem. The authors analyze the linearized operator, proving it is self-adjoint and characterizing its kernel (spanned by coordinate functions) to demonstrate surjectivity under the necessary integral constraints.

Key Contributions and Results

Definition of Capillary Area Measures: The paper formally defines the $k$ -th capillary area measure $dS^c_k$ via a local Steiner-type formula involving the principal curvature radii and the contact angle $\theta$ .
Existence and Uniqueness Theorem: The main result (Theorem 1.1) states that for $\theta \in (0, \pi/2]$ and $1 \le k \le n-1$ , if a positive $C^2$ function $f$ on $C_\theta$ satisfies the necessary integral conditions (orthogonality to coordinate functions) and is connected to the constant function $1$ in the space $L^{-1}_k$ (where $f^{-1/k}$ is convex and satisfies a specific boundary gradient condition), then there exists a unique (up to horizontal translation) $C^{3,\gamma}$ strictly convex capillary hypersurface solving the problem.
Necessary Conditions: The paper derives the necessary integral condition $\int_{C_\theta} f(\xi)\langle \xi, E_\alpha \rangle d\mathcal{H}^n = 0$ for solvability, analogous to the Minkowski problem's constraints.
Boundary Condition Nuance: The authors highlight that their setting imposes an additional Neumann-type boundary condition on the homotopy path, which is crucial for the application of the Constant Rank Theorem in this boundary value context.

Significance
The paper extends the classical theory of the Christoffel-Minkowski problem from closed hypersurfaces to the setting of capillary hypersurfaces with boundaries. By solving the prescribed $k$ -th capillary area measure problem, the authors bridge the gap between the well-understood Minkowski problem ( $k=n$ ) and the intermediate curvature problems in the context of free boundary geometry. The work provides a rigorous analytical framework for handling Hessian equations with Robin boundary conditions on spherical caps, demonstrating that the preservation of convexity and the solvability of the problem depend critically on the contact angle $\theta$ being acute ( $\theta \le \pi/2$ ). The results generalize previous work on the capillary Minkowski problem and contribute to the broader understanding of fully nonlinear elliptic equations with boundary constraints.