Some results: Shape from shading as a fully well-constrained problem

Given a smooth surface that is z-axis symmetric, illuminated in an arbitrary direction and fully contained within the field of view, it is proven that shape-from-shading is uniquely determined by using a polar coordinate system and a Fourier expansion.