Definition:Dirichlet Eigenvalue of Riemannian Manifold