A fórmula de aproximação de Baouendi -Treves

Abstract

Let be a N-dimensional smooth manifold. Consider a locally integrable structure L of CT with fiber dimension 1 &#8804; n < N and set m = N &#8722; n. We say that L is locally integrable if, for every p &#8712; , there is a neiborhood Up and m smooth functions Zj : U &#8722;&#8594; C, 1 &#8804; j &#8804; m such that 1. Zj is anihilated by every local section of L; 2. dZ1(p) &#8743; . . . &#8743; dZm(p) 6= 0. The main result in this text is the Baouendi-Treves Approximation Theorem, that states that every distribution solution u of the sections of L is locally the limit of a sequence of smooth solutions of the form Pk &#9702; Z, where Z = (Z1, . . . ,Zm) and Pk is a m-variable polynomial.