For a bounded volume with piecewise smooth boundary and a continuously differentiable vector field on a neighborhood of its closure, the divergence theorem states
where is the outward unit normal.
The boundary here consists of a paraboloid cap over the unit disk, a cylindrical wall of height one, and the bottom disk. Their joined surface encloses
The cap meets the wall at , and the wall meets the base at . The sketches show each boundary piece and their closed union.
Figure 1.
Paraboloid cap, cylindrical wall, base disk, and their closed union
. Details.
Differentiate the field components to find the divergence:
The volume is invariant under reflecting or , so odd-integrand cancellation by reflection removes both odd-power contributions. The outward flux equals the volume:
The corners between the three pieces are permitted by the piecewise smooth boundary hypothesis.
For , the inertia component is . Reflecting just one of these coordinates preserves the cylinder and its uniform density but changes the integrand's sign. Odd-integrand cancellation by reflection therefore makes every off-diagonal entry zero. Rotations about the axis also give .
Using cylindrical coordinates , , , with , the required integrals are
Thus the inertia tensor is
The mass is , so these entries are also , respectively.