No label defined (Q3980959)

The author considers the completed generalized torus of revolution \(T_G=\bigcup_{0\leq \varphi < 2\pi}A_\varphi(G)\), where \(G\) is a domain in the hyperplane \(\{x_ 1>0, x_ n=0\}\) homeomorphic to the hyperball \(Q^r_R = \{(x_1-R)^2+x^2_2+\ldots+x^2_{n-1} < r^2, x_n=0\}\) and \(A_\varphi: \mathbb R^n\to \mathbb R^n\) is a rotation of angle \(\varphi\) in the bidimensional plane \(\{x_2=\ldots=x_{n-1} = 0\}\). He generalizes two Guldin theorems as follows: If \(g\) is continuous for \(t\geq 0\), then \[ \int_{T_G}g(x^2_1+x^ 2_n)\,dx = 2\pi \int_G x_1g(x^2_1)\,dx_1\cdots dx_{n-1} \] and under the same hypotheses, if the boundary \(\partial T_G\) of \(T_G\) is smooth, then \[ \int_{\partial T_G} g(x^2_1+x^2_n) H_{n-1}\,(dx) = 2\pi \int_G x_1g(x^2_1) H_{n-1}\,(dx), \] where \(H_k\) is the \(k\)-dimensional Hausdorff measure. Next, the author proves that, if \(\Gamma\) is the family of the arcs \(\gamma\subset T_G\) representing the generators of the fundamental group \(\pi_1(T_G)\), \(\Sigma\) is the family of \(H_{n-1}\)-rectifiable cuts of \(T_G\) [cf. \textit{H. Federer}, Geometric measure theory. Berlin: Springer (1969; Zbl 0176.00801)], \(V(G)=\int_G\,(dx_1\cdots dx_{n-1}/x_1^{n-1})\), while \(\mod \Gamma\) and \(\bmod\, \Sigma\) are the corresponding moduli [cf. \textit{B. V. Shabat}, Sov. Math., Dokl. 1, 165--168 (1960); translation from Dokl. Akad. Nauk SSSR 130, 1210--1213 (1960; Zbl 0137.27202)], then, \[ \bmod\, \Gamma = V(G)/(2\pi)^{n-1} = (\bmod\, \Sigma)^{1-n}. \]