Some formulas of Santal\'o type in Finsler geometry and its applications

In this paper, we establish two Santal'o type formulas for general Finsler manifolds. As applications, we derive a universal lower bound for the first eigenvalue of the nonlinear Laplacian, two Croke type isoperimetric inequalities, and a Yamaguch type finiteness theorem in Finser geometry.