Controlabilidade exata local para as trajetórias de um sistema não-linear acoplado.

This dissertation is devoted to prove the local exact controllability to the trajectories for a coupled system, of the Boussinesq kind. In the state system, the unknowns are the velocity field and pressure of the uid (y; p), the temperature (-) and an additional variable c that can be viewed as the concentration of a contaminant solute. We prove several results, that essentially show that it is sufficient to act locally in space on the equations satisfied by (-) and c. The controllability property of this system will be obtained by means of a Carleman inequality for apropriate system and of a inverse function theorem.Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorEsta dissertação é dedicada a provar a controlabilidade exata local ás trajetórias para um sistema acoplado do tipo Boussinesq. No sistema estado, as variáveis desconhecidas são o campo velocidade e pressão do fluido (y; p), a temperatura - e uma variável adicional c que pode ser vista como uma concentração de um soluto contaminante. A propriedade de controlabilidade nula desse sistema será obtida por meio de uma desigualdade de Carleman para um sistema apropriado e de um teorema de função inversa