Differentiability of the volume of a region enclosed by level sets (Q947593)

Let \(f:{\mathbb{R}}^n \to {\mathbb{R}}\) be a function. The volume of a region between two levels depends on both levels. Fixing one of them the volume becomes a function of the remaining level. It is proved that for a smooth function \(f\) the volume function is also smooth for regular values of \(f\). For critical values of \(f\) the volume function is only finitely differentiable.