Transnormal Functions and Focal Varieties on Finsler Manifolds

In this paper, we study transnormal functions and their level sets and focal varieties on complete Finsler manifolds. We prove that the focal varieties of a C2 transnormal function are smooth submanifolds and each regular level set is a tube over either of the focal varieties.