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