We characterize singularities of focal surfaces of wave fronts in terms of differential geometric properties of the initial wave fronts. Moreover, we study relationships between geometric properties of focal surfaces and geometric invariants of the initial wave fronts.
For Legendre curves, we consider surfaces of revolution of frontals. The surface of revolution of a frontal can be considered as a framed base surface. We give the curvatures and basic invariants for surfaces of revolution by using the curvatures of Legendre curves. Moreover, we give properties of surfaces of revolution with singularities and cones.
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.
We investigate the vertex curve, that is the set of points in the hyperbolic region of a smooth surface in real 3-space at which there is a circle in the tangent plane having at least 5-point contact with the surface. The vertex curve is related to the differential geometry of planar sections of the surface parallel to and close to the tangent planes, and to the symmetry sets of isophote curves, that is level sets of intensity in a 2-dimensional image. We investigate also the relationship of the vertex curve with the parabolic and flecnodal curves, and the evolution of the vertex curve in a generic 1-parameter family of smooth surfaces.
In the present paper, we revisit the rigidity of hypersurfaces in Euclidean space. We highlight Darboux equation and give new proof of rigidity of hypersurfaces by energy method and maximal principle.
New examples of harmonic unit vector fields on hyperbolic 3-space are constructed by exploiting the reduction of symmetry arising from the foliation by horospheres. This is compared and contrasted with the analogous construction in Euclidean 3-space, using a foliation by planes, which produces some new examples of harmonic maps from 3-dimensional Euclidean domains to the 2-sphere. Finally, the harmonic unit vector field tangent to a parallel family of hyperbolic geodesics is shown to be unstable, by constructing a class of compactly supported energy-decreasing variations. All examples considered have infinite total bending.