Regularité des solutions d'équations aux dérivées partielles non linéaires associées à un système de champs de vecteurs (Q1086743)

Cet article considère des équations aux dérivées partielles non linéaires de la forme \(F(x,X^{\alpha}u)=0\), \(| \alpha | \leq m\), où les \(X_ 1,...,X_ p\) sont des champs de vecteur vérifiant la condition de Hörmander. Soit u une solution réelle de classe \(C^{2m+1}\); on suppose que la localisation de l'opérateur linéarisé sur le groupe de Lie associé au système \(\{X_ j\}\) est hypoelliptique; nous démontrons sous ces hypothèses que u est de classe \(C^{\infty}\).