Kinematic formulas of total mean curvatures for hypersurfaces (Q270170): Difference between revisions

Denote by \(\mathbf E^n\) the \(n\)-dimensional Euclidean space and by \(G\) the group of rigid motions of \(\mathbf E^n\). The isotropic subgroup of \(G\) is denoted by \(G_0\) and is the special orthogonal group \(\mathrm{SO}(n)\). The groups \(G\) and \(G_0\) are unimodular with canonical densities \(dg\) and \(dg_0\) respectively. Let \(d\sigma\) be the Lebesgue measure of \(\mathbf E^n\), then \(dg=d\sigma\) \(dg_0\). Moreover the total volume of \(G_0\) denoted by \(J_n\) is finite and given by \(J_n=O_{n-1}O_{n-2}\cdots O_1\), where \(O_{i-1}\) is the volume of the \((i-1)\)-dimensional unit sphere in \(\mathbf E^n\) with the value \(O_{i-1} = 2\pi^{i/2}[\Gamma(i/2)]^{-1}\). \({\widetilde H}_i^L(M\cap L)\) denotes the \(i\)-th mean curvature integral of \(M\cap L\) which is considered as a hypersurface in \(L\). Similarly, \({\widetilde H}_i(M)\) is \({\widetilde H}_i^{\mathbf E^n}(M)\) for the sake of simplicity. The main result of the paper is the following Theorem. Let \(S_0\) and \(S_1\) be two closed oriented hypersurfaces in \(\mathbf E^n\). For any \(i\in \{0,\dots, n-2\}\) we have an asymmetric kinematic formula \[ \int_{\{g\in G\mid S_0\cap gS_1\neq\emptyset\}}{\widetilde H}_i^{gS_1}(S_0\cap gS_1) dg = \sum_{p=0;\, p\text{ is even}}^i c(p, i, n)\, {\widetilde H}_{i-p}(S_0)\, {\widetilde H}_p(S_1), \] where the coefficients \(c(p, i, n)\) depend on \(p\), \(i\) and \(n\).