Nontrivial solutions for partial discrete Dirichlet problems via a local minimum theorem for functionals