Ok, I think I got it! Here is the result:
Given a fixed maximal length L = z_u-z_l of the sought solid the solution that minimizes J(\Omega) subject to the constraint W(\Omega)=C is a solid cylinder with its center-line parallel to the z-axis, center at (x_c, 0, z_c), length L, and radius...