7
$\begingroup$

Is there a formula for $\int \chi(K \cap gL) \: dg$ (where $\chi$ is Euler characteristic) analogous to the kinematic formula for $\int \mu(K \cap gL) \: dg$ (where $\mu$ is Lebesgue measure)? In both expressions $K$ and $L$ are compact convex bodies, $g$ varies over a group of isometries acting on the ambient space, and $dg$ signifies integration with respect to the Haar measure of that group.

$\endgroup$
2
  • $\begingroup$ I can't picture the Euler characteristic being nonconstant, over a family of convex sets. If it is constant, then this seems like a constant multiple of volume of the isometry group. $\endgroup$
    – Ben McKay
    Sep 23, 2019 at 10:08
  • 1
    $\begingroup$ $\chi(K \cap gL) = 1$ if $K \cap gL \ne \emptyset$ and $0$ otherwise. $\endgroup$ Sep 23, 2019 at 11:00

1 Answer 1

9
$\begingroup$

Yes, this is called the principal kinematic formula: $$\int \chi(K \cap gL)\, dg = \sum_{k=0}^n c_{nk} V_k(K) V_{n-k}(L),$$ where $V_i$ are the intrinsic volumes, and $c_{nk}$ certain constants. See e.g. Section 4.4 in

Schneider, Rolf, Convex bodies: the Brunn-Minkowski theory, Encyclopedia of Mathematics and Its Applications. 44. Cambridge: Cambridge University Press. xiii, 490 p. (1993). ZBL0798.52001.

At the end of that section there are historical references.

Note that if $L$ is a ball of radius $r$, then there is no dependence on the "rotational part" of $g$, so one integrates over translations only, and the formula reduces to the Steiner formula for the volume of an $r$-neighborhood of $K$.

$\endgroup$
1
  • $\begingroup$ This wasn't the question, but this is true for sufficiently regular non convex sets as well, although finding the maximal class of subsets for which this holds is open and an active area of research $\endgroup$
    – alesia
    Sep 23, 2019 at 15:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.