Análise Matemática de um Modelo de Campo de Fase para um Processo de Solidificação de uma Liga Binária