Existencia de soluções, regularidade e controle em modelos de campos de fase para solidificação

Neste trabalho estudamos dois modelos envolvendo funções campo de fase para solidificação de ligas. O primeiro modelo discutido é um sistema envolvendo duas funções campo de fase e o segundo é um sistema envolvendo três funções campo de fase. Aqui são discutidas existência, regularidade, estabilidade em relação aos dados iniciais e termo forçante e unicidade de solução para os sistemas de equações diferenciais parciais não-lineares que representam tais modelos. Também são discutidos vários problemas de controle ótimo envolvendo esses dois modelos de solidificação. Estes problemas consistem em minimizar um funcional de custo utilizando soluções destes sistemas sob certas restrições. São discutidos aqui problemas envolvendo várias restrições distintas, sendo elas tanto no controle quanto no estado. Para cada um destes problemas é verificada a existência de controle ótimo e também é utilizado o formalismo de Dubovitskii e Milyutin para encontrar condições necessárias de otimalidadeIn this work we study two phase field models for solidification of alloys involving two and three phase field functions. These models are generalization of model treated by Hoffman and Jiang in [9]. In this work we discuss existence, uniqueness, regularity and continuous dependence of solutions of these systems of differential partial equation. We also deal with some optimal contraI problems involving different constraints; for each such problem we discuss existence of an optimal contraI and we use Dubovitskii and Milyutin formalism to obtain necessary conditions for optimalit