中文摘要：

作为Heisenberg群上移动球面法的基础，在Heisenberg群上引入了一类CR反演变换．作为应用，讨论了Heisenberg群上的次临界方程，证明任意非负柱对称解均为平凡解．

英文摘要：

Firstly, a class of CR inversion in the Heisenberg group was introduced. This is the foundation of the method of moving sphere. As an application, we discussed a class of subcritical equations in the Heisenberg group and obtained the nonexistence of positive solutions with cylindrical symmetry.