The co-area formula for Sobolev mappings (Q4779877)

The co-area formula \[ \int\limits_\Omega g(x)| J_mf(x)| \, dx = \int_{\mathbb{R}^m}\int_{f^{-1}(y)}g(x) \mathcal{H}^{n-m}(x)\,dy \] where \(\Omega \subset \mathbb{R}^n\) is an open set, \(f:\Omega \rightarrow \mathbb{R}^m\), \ \(J_mf(x)\) is the \(m\)-dimensional Jacobian of \(f\) and \(g: \Omega \rightarrow \mathbb{R}\) is integrable and \(1\leq m<n\), which is due to \textit{H. Federer} in the case of Lipschitzian \(f\), is extended to the case of Sobolev mappings \(f\in W_{\text{loc}}^{1,p}(\Omega; \mathbb{R}^m)\), where \(p>m\) or \(p\geq m=1\). The limiting case \(p=m\) for Hölder continuous mappings is also treated.