--- title: Mixed Area Measures in Convex Geometry url: https://www.emergentmind.com/topics/mixed-area-measures type: topic --- # Mixed Area Measures in Convex Geometry Mixed area measures are finite Borel measures on the unit sphere that localize mixed volumes to boundary-normal directions. For convex bodies \(K_1,\dots,K_{n-1}\in\mathcal K^n\), the measure \(S(K_1,\dots,K_{n-1},\cdot)\) is characterized by the mixed-volume localization formula \[ V(L,K_1,\ldots,K_{n-1})=\frac{1}{n}\int_{S^{n-1}} h_L(u)\,S(K_1,\ldots,K_{n-1};du), \] valid for every convex body \(L\). In contemporary convex-geometric research, mixed area measures serve simultaneously as the boundary-measure counterpart of mixed volumes, as the local objects governing Christoffel- and Minkowski-type inverse problems, and as generators of large classes of translation invariant area measures. Recent work has focused on support characterizations, Kubota-type projection formulas, inverse problems with anisotropic reference bodies, weighted and fractional analogues, and their role in the representation-theoretic theory of area measures [2309.16872] [2401.16371] [2605.30927]. ## 1. Definition, polarization, and elementary structure Mixed area measures arise by polarization of the surface area measure. One formulation is \[ S(K_1,\dots,K_{n-1})=\frac{1}{(n-1)!}\frac{\partial^{n-1}}{\partial\lambda_1\dots\partial\lambda_{n-1}}\Big|_0 S_{n-1}\!\left(\sum_{j=1}^{n-1}\lambda_j K_j\right), \] which makes the map symmetric and multilinear in its arguments [2605.30927]. An equivalent characterization, emphasized in several recent papers, is the localization identity above, which expresses mixed volume as an integral of a support function against a measure on \(S^{n-1}\) [2508.09800]. The standard shorthand \[ S_j(K,\cdot)=S\bigl(K[j],B^{n-1}[n-1-j],\cdot\bigr) \] identifies the classical \(j\)-th area measures as mixed area measures with repeated Euclidean unit balls [2401.16371]. In the disk-reference setting, the anisotropic first area measure is defined by \[ S_1(K,C;\beta)=\frac{1}{(n-1)!}\left.\left(\frac{d}{dt}\right)^{n-2}\right|_{t=0^+} S_{n-1}(K+tC,\beta), \] and for \(C=B^n\) this recovers the classical first area measure \(S_1(K,\cdot)\) [2508.09800]. Several structural properties recur across the literature. The mixed area measure is symmetric in the arguments, translation-invariant in each argument, \(1\)-homogeneous in each argument, centered, and non-negative [2508.09800]. For point masses, one has the support-face identity \[ S(K_1,\dots,K_{n-1})(\{u\})=\mathcal V(F(K_1,u),\dots,F(K_{n-1},u)), \] which ties atoms of the measure to mixed volumes of support faces in direction \(u\) [2309.16872]. In the polytope case, if \(P=P_1+\cdots+P_{n-1}\), then \[ S(P_1,\dots,P_{n-1},\cdot)=\sum_{u\in \mathcal N_{n-1}(P)} \mathcal V(F(P_1,u),\dots,F(P_{n-1},u))\,\delta_u, \] so the measure becomes an explicit sum over facet normals [2309.16872]. These formulas show that mixed area measures encode not only first variation but also directional support-face geometry. In the classical theory they are the local counterparts of mixed volumes; in later developments they become the natural measure-valued data in inverse problems and support theorems. ## 2. Support, extreme normals, and Schneider’s conjecture A central problem is to describe the support of \(S(K_1,\dots,K_{n-1},\cdot)\). Schneider’s conjecture predicts that \[ \operatorname{supp} S(K_1,\dots,K_{n-1},\cdot)=\overline{\operatorname{ext}(K_1,\dots,K_{n-1})}, \] where \(\operatorname{ext}(K_1,\dots,K_{n-1})\) is the set of extreme normal vectors determined by touching-space data [2309.16872]. For an \((n-1)\)-tuple \(C=(C_1,\dots,C_{n-1})\), a unit vector \(u\in S^{n-1}\) is \(C\)-extreme if the touching spaces \(\TS(C_i,u)\) contain one-dimensional subspaces with linearly independent directions. Equivalently, \[ u\in \operatorname{ext}C \quad\Longleftrightarrow\quad \dim \sum_{i\in I}\TS(C_i,u)\ge |I| \quad\text{for all } I\subseteq [n-1]. \] The recent support theorem proves \[ \operatorname{supp} S(C,\cdot)=\overline{\operatorname{ext}C} \] for every \((n-1)\)-tuple \(C\) of polyoids, and also for smooth convex bodies provided at least one body is smooth and strictly convex [2309.16872]. Polyoids enter here as limits of Minkowski sums of \(k\)-topes, with a generating-measure representation \[ h_K(u)=\int h_P(u)\,d\mu(P), \] and the support theorem extends earlier cases covering polytopes, zonoids, triangle bodies, and the special unit-ball setting. The stated motivation is that earlier work of Yair Shenfeld and Ramon van Handel characterized equality in Alexandrov–Fenchel by equality of support functions on the support of a mixed area measure, so the support problem is structurally decisive for equality theory [2309.16872]. A special support theorem is available for the mixed measures \[ S\bigl(K[j],B_L^{n-1}[n-1-j],\cdot\bigr), \] where \(B_L^{n-1}\) is the \((n-1)\)-dimensional Euclidean unit ball in a hyperplane \(L\). In that setting, \[ \operatorname{supp} S\bigl(K[j],B_L^{n-1}[n-1-j],\cdot\bigr) = \operatorname{cl}\,\operatorname{ext}\bigl(K[j],B_L^{n-1}[n-1-j]\bigr), \] confirming Schneider’s conjecture in this case as well [2401.16371]. An additional consequence is the nested-support inclusion \[ \operatorname{supp} S\bigl(K[k],B_L^{n-1}[n-1-k],\cdot\bigr) \subset \operatorname{supp} S\bigl(K[j],B_L^{n-1}[n-1-j],\cdot\bigr) \] for \(1\le j\le k\le n-1\), while the case \(j=0\) fails in general [2401.16371]. ## 3. Projection formulas and Kubota-type representations Recent work has shown that mixed area measures with lower-dimensional reference bodies admit precise projection formulas. For a fixed line \(\ell=\operatorname{span}\{e_n\}\), the Grassmannian \(G(\ell,k+1)\) of \((k+1)\)-dimensional subspaces containing \(\ell\), and measurable \(f:S^{n-1}\to[0,\infty)\), one has the Kubota-type formula \[ \frac{1}{\kappa_{n-1}} \int_{S^{n-1}} f(z)\, dS\bigl(K_1,\dots,K_k,B_L^{n-1}[n-1-k],z\bigr) = \frac{1}{\kappa_k} \int_{G(\ell,k+1)} \left( \int_{S_E^{k}} f(z)\, dS_E\bigl(\operatorname{proj}_E K_1,\dots,\operatorname{proj}_E K_k,z\bigr) \right)dE. \] Here \(S_E(\cdot)\) denotes the mixed area measure in the ambient subspace \(E\) [2401.16371]. This formula shows that the mixed area measure in \(\mathbb R^n\) with \(n-1-k\) copies of \(B_L^{n-1}\) is an average of lower-dimensional mixed area measures of orthogonal projections onto subspaces containing \(\ell\). The resulting support description becomes \[ \operatorname{supp}S\bigl(K[j],B_L^{n-1}[n-1-j],\cdot\bigr) = \operatorname{cl}\Bigl\{ z\in S^{n-1}:\ \exists E\in G(\ell,j+1)\text{ such that } z\in \operatorname{ext}_E(\operatorname{proj}_E K) \Bigr\}, \] so support can be read off from extreme unit normals of projected bodies [2401.16371]. A related Kubota-type formula underlies the disk Christoffel problem. If \(D\) is an \((n-1)\)-dimensional disk with axis parallel to \(e_n\), then \[ \int_{S^{n-1}} f(u)\, S_1(K,D,du) = \frac{\kappa_{n-1}}{2} \int_{Gr_2(\mathbb{R}^n,e_n)} \int_{S^1(E)} f(u)\, S_1^E(K|E,du)\, dE. \] This reduces the \(n\)-dimensional mixed problem to a family of planar first area measures \(S_1^E(K|E,\cdot)\) [2508.09800]. These formulas generalize the classical Cauchy–Kubota philosophy from intrinsic volumes to measure-valued localizations. They also explain why many inverse problems for mixed area measures become tractable after reducing to lower-dimensional sections or projections. ## 4. Christoffel and Christoffel–Minkowski problems The mixed Christoffel problem asks when a finite Borel measure on \(S^{n-1}\) is a mixed area measure of a convex body with prescribed reference bodies. In the disk case, the problem is to characterize \(\mu\) for which \[ \mu=S_1(K,D;\cdot) \] for some convex body \(K\subset\mathbb R^n\), where \(D\) is an \((n-1)\)-dimensional disk [2508.09800]. For a non-negative, centered, finite Borel measure \(\mu\) with \(\mu(\{\pm e_n\})=0\), existence of such a \(K\) is equivalent to three conditions: \(\pi_*\mu\) is absolutely continuous with a continuous density; for almost every \(E\in Gr_2(\mathbb R^n,e_n)\), \[ \int_{S^1(E)} v\,\mu_E(dv)=0; \] and there exists a support function \(h\) satisfying the fiberwise compatibility identity \[ h(u)- \frac{1}{\pi}\int_{S^1(e_n\vee u)} h(v)\,\langle u,v\rangle\, dv = \int_{S^1(e_n\vee u)} \sqrt{1-\langle u,v\rangle^2}\,(\pi-\arccos\langle u,v\rangle)\,\mu_{e_n\vee u}(dv). \] In that case \(K\) is unique up to translation [2508.09800]. The pole condition \(\mu(\{\pm e_n\})=0\) is geometrically essential. The measure \(S_1(K,D;\cdot)\) can place mass at the poles when \(K\) has faces orthogonal to \(e_n\), and this creates non-uniqueness and a disintegration ambiguity because the poles belong to every circle \(S^1(E)\) in the planar decomposition [2508.09800]. A broader mixed Christoffel–Minkowski problem has been solved for bodies of revolution around a common axis. For \(1\le i