Análise matemática de um modelo de controle de populações de mosquitos