Extension of the unit normal vector field from a hypersurface

Abstract

It is important in many applications to be able to extend the (outer) unit normal vector field from a hypersurface to its neighborhood in such a way that the result is a unit gradient field. The aim of the paper is to provide an elementary proof of the existence and uniqueness of such an extension.