Principal curvatures and parallel surfaces of wave fronts

Abstract

We give criteria for which a principal curvature becomes a bounded $C^\infty$-function at non-degenerate singular points of wave fronts by using geometric invariants. As applications, we study singularities of parallel surfaces and extended distance squared functions of wave fronts. Moreover, we relate these singularities to some geometric invariants of fronts.