Análise matemática e controle ótimo de um modelo para solidificação