Kinematic formulas for sets defined by differences of convex functions

DOI10.1016/J.AIM.2017.03.003zbMATH Open1403.53062arXiv1505.03388OpenAlexW2963978666MaRDI QIDQ2400528FDOQ2400528

Joseph H. G. Fu, Dušan Pokorný, Jan Rataj

Publication date: 29 August 2017

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Two of the authors have defined the class $WDC(M)$ as the class of all subsets of a smooth manifold $M$ that may be expressed in local coordinates as certain sublevel sets of DC (differences of convex) functions. If $M$ is Riemanian and $G$ is a group of isometries acting transitively on the sphere bundle $SM$, we define the invariant curvature measures of compact WDC~ subsets of $M$, and show that pairs of such subsets are subject to the array of kinematic formulas known to apply to smoother sets. Restricting to the case $(M,G)=(mathbb{R}^d,overlineSO(d))$, this extends and subsumes Federer's theory of sets with positive reach in an essential way. The key technical point is equivalent to a sharpening of a classical theorem of Ewald, Larman, and Rogers characterizing the dimension of the set of directions of line segments lying in the boundary of a given convex body.

Full work available at URL: https://arxiv.org/abs/1505.03388

Recommendations

• scientific article; zbMATH DE number 653197
• A Short Proof of a Principal Kinematic Formula and Extensions
• Integral and current representation of Federer's curvature measures
• Publication:3482504
• On the structure of WDC sets

zbMATH Keywords

kinematic formulacurrents

Mathematics Subject Classification ID

Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Global Riemannian geometry, including pinching (53C20) Integral geometry (53C65)

Cites Work

• Curvature Measures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Normal cycles and curvature measures of sets with d.c. boundary
• Title not available (Why is that?)
• Curvature Measures of Subanalytic Sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The product on smooth and generalized valuations
• Title not available (Why is that?)
• Title not available (Why is that?)
• On functions representable as a difference of convex functions
• Curvatures and currents for unions of sets with positive reach
• Title not available (Why is that?)
• Sets with positive reach
• Nächste Punkte in der Riemannschen Geometrie
• Title not available (Why is that?)
• Some rigidity results related to Monge-Ampère functions
• The directions of the line segments and of the r ‐dimensional balls on the boundary of a convex body in Euclidean space
• Title not available (Why is that?)

Cited In (10)

• The Weyl principle on the Finsler frontier
• Characterisation of valuations and curvature measures in euclidean spaces
• Curvatures for unions of WDC sets
• Contact measures in isotropic spaces
• Integral Geometric Regularity
• Classification of angular curvature measures and a proof of the angularity conjecture
• On sets in \(\mathbb{R}^d\) with DC distance function
• Tube formulas for valuations in complex space forms
• Fold-up derivatives of set-valued functions and the change-set problem: a survey
• A characterization of sets in ${\mathbb R}^2$ with DC distance function

This page was built for publication: Kinematic formulas for sets defined by differences of convex functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2400528)