Analiza los operadores pseudodiferenciales analíticos sobre el grupo de Heisenberg, destacando su estructura simbólica avanzada y las condiciones que aseguran la solvabilidad local en espacios funcionales complejos.