In this paper, we make an effort to establish Lieb's and Lions' type theorems on Heisenberg Group, and then apply them to study the existence of solution for variational problem on Heisenberg group.