Semi-linear Liouville theorems in the Heisenberg group via vector field methods

We consider a global Liouville type theorem for semi-linear elliptic equation on Heisenberg group. Our main idea is the method of integration by parts for a “vector field” analogous to the quantity in Gidas and Spruck (1981) [5].