estimates for Cordes nonlinear operators in the Heisenberg group

Our aim is to estimate the second order horizontal derivatives of the solutions for a nondivergence form subelliptic equation a ( x , u , X u , X 2 u ) = f ( x ) .