Nesta dissertação, estudamos as órbitas de uma família D de campos vetoriais suaves em uma variedade suave M. O objetivo é demonstrar dois teoremas de Sussmann: o primeiro teorema diz que as órbitas são subvariedades integrais de uma certa distribuição \'P IND. D\' de vetores tangentes em M. O segundo teorema dá condições necessárias e suficientes para que \'P IND. D\' seja igual à distribuição gerada pelos campos de D. Como aplicação, estudamos uma caracterização da condição (P) de Nirenberg-Treves para campos vetoriais complexos em \'R POT. 2\' / In this dissertation, we study the orbits of a family D of smooth vector fields on a smooth manifold M. The goal is to demonstrate two theorems of Sussmann: the first theorem says that the orbits are integral submanifolds of a certain distribution \'P IND. D\' of tangent vectors of M. The second theorem gives necessary and sufficient conditions for \'P IND. D\' to be the same as the distribution generated by the vector fields of D: As an application, we study a characterization of the condition (P) of Nirenberg and Treves for complex vector fields on \'R POT. 2\'

Nesta dissertação, estudamos as órbitas de uma família D de campos vetoriais suaves em uma variedade suave M. O objetivo é demonstrar dois teoremas de Sussmann: o primeiro teorema diz que as órbitas são subvariedades integrais de uma certa distribuição \'P IND. D\' de vetores tangentes em M. O segundo teorema dá condições necessárias e suficientes para que \'P IND. D\' seja igual à distribuição gerada pelos campos de D. Como aplicação, estudamos uma caracterização da condição (P) de Nirenberg-Treves para campos vetoriais complexos em \'R POT. 2\' / In this dissertation, we study the orbits of a family D of smooth vector fields on a smooth manifold M. The goal is to demonstrate two theorems of Sussmann: the first theorem says that the orbits are integral submanifolds of a certain distribution \'P IND. D\' of tangent vectors of M. The second theorem gives necessary and sufficient conditions for \'P IND. D\' to be the same as the distribution generated by the vector fields of D: As an application, we study a characterization of the condition (P) of Nirenberg and Treves for complex vector fields on \'R POT. 2\'

Seja L = ∂ /∂t + (a(x) + ib(x))∂/∂x, b ≢ 0, um campo vetorial complexo definido em A∊ = (-∊ , ∊) × S1, ∊ > 0, sendo a, b ∈ C∞((-∊ , ∊);ℝ) e (x, t) ∈ (-∊ ∊) × S1. Assuma que b-1(0) = {0}. Este trabalho trata da resolubilidade perto do conjunto característico {0} × S1; da equação Lu = pu + f, p, f ∈ C∞ (A∊). A relação entre as ordens de anulamento das funções a e b em x = 0 e certas médias da função p tem influência na resolubilidade. / Let L = ∂ /∂t + (a(x) + ib(x))∂/∂x, b ≢ 0, be a complex vector field defined in A∊ = (-∊ , ∊) × S1, ∊ > 0, where a, b ∈ C∞((-∊ , ∊);ℝ) and (x, t) ∈ (-∊ ∊) × S1. Assume that b-1(0) = {0}. This work deals with the volvability near the characteristic set {0} × S1; of equation. Lu = pu + f, p, f ∈ C∞ (A∊). The interplay between the orders of vanishing of the functions a and b at x = 0 and certain averages of the function p has influence in the solvability.

Seja L = ∂ /∂t + (a(x) + ib(x))∂/∂x, b ≢ 0, um campo vetorial complexo definido em A∊ = (-∊ , ∊) × S1, ∊ > 0, sendo a, b ∈ C∞((-∊ , ∊);ℝ) e (x, t) ∈ (-∊ ∊) × S1. Assuma que b-1(0) = {0}. Este trabalho trata da resolubilidade perto do conjunto característico {0} × S1; da equação Lu = pu + f, p, f ∈ C∞ (A∊). A relação entre as ordens de anulamento das funções a e b em x = 0 e certas médias da função p tem influência na resolubilidade. / Let L = ∂ /∂t + (a(x) + ib(x))∂/∂x, b ≢ 0, be a complex vector field defined in A∊ = (-∊ , ∊) × S1, ∊ > 0, where a, b ∈ C∞((-∊ , ∊);ℝ) and (x, t) ∈ (-∊ ∊) × S1. Assume that b-1(0) = {0}. This work deals with the volvability near the characteristic set {0} × S1; of equation. Lu = pu + f, p, f ∈ C∞ (A∊). The interplay between the orders of vanishing of the functions a and b at x = 0 and certain averages of the function p has influence in the solvability.

Seja L um campo vetorial complexo não singular definido em um aberto do plano. Treves provou que se L é localmente resolúvel então L é localmente integrável. Para campos planares hipoelíticos, vale uma propriedade adicional, a saber, toda integral primeira (restrita a um aberto suficientemente pequeno) é uma aplicação injetiva (e aberta); isto, por sua vez, implica que toda solução da equação homogênea Lu = 0 é localmente da forma u = h 0 Z, com h holomorfa, sendo Z uma integral primeira do campo. O problema central de interesse desta dissertação é a questão global correspondente, ou seja, a exisatência de integrais primeiras globais injetoras e a representação dde soluções globais por composições da integral primeira com uma função holomorfa / Let L be a nonsingular complex vector field defined on an open subset of the plane. Treves proved that if L is locally solvable then L is locally integrable. For hypoelliptic planar vector fields an additional property holds, namely, every first integral (restricted to a sufficiently small open set) is an injective (and open) mapping; this, on its turn, implies that each solution of the homogeneous equation Lu = 0 is locally of the form u = h Z, where h is holomorphic and Z is a first integral of the vector eld. The central problem of interest in this work is the corresponding global question, that is, the existence of global, injective first integrals and the representation of global solutions as compositions of the first integral with a holomorphic function

Seja L um campo vetorial complexo não singular definido em um aberto do plano. Treves provou que se L é localmente resolúvel então L é localmente integrável. Para campos planares hipoelíticos, vale uma propriedade adicional, a saber, toda integral primeira (restrita a um aberto suficientemente pequeno) é uma aplicação injetiva (e aberta); isto, por sua vez, implica que toda solução da equação homogênea Lu = 0 é localmente da forma u = h 0 Z, com h holomorfa, sendo Z uma integral primeira do campo. O problema central de interesse desta dissertação é a questão global correspondente, ou seja, a exisatência de integrais primeiras globais injetoras e a representação dde soluções globais por composições da integral primeira com uma função holomorfa / Let L be a nonsingular complex vector field defined on an open subset of the plane. Treves proved that if L is locally solvable then L is locally integrable. For hypoelliptic planar vector fields an additional property holds, namely, every first integral (restricted to a sufficiently small open set) is an injective (and open) mapping; this, on its turn, implies that each solution of the homogeneous equation Lu = 0 is locally of the form u = h Z, where h is holomorphic and Z is a first integral of the vector eld. The central problem of interest in this work is the corresponding global question, that is, the existence of global, injective first integrals and the representation of global solutions as compositions of the first integral with a holomorphic function