Multiplicidade exata de soluções de equações diferenciais via um método assistido por computador

Detalhes bibliográficos
Ano de defesa: 2019
Autor(a) principal: Prado, Mário César Monteiro do
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: http://www.teses.usp.br/teses/disponiveis/55/55135/tde-12082019-103339/
Resumo: Neste trabalho, desenvolvemos um método assistido por computador para determinar todas as soluções de um determinado problema de valor de fronteira. Nossa abordagem combina estimativas de energia, validação rigorosa de soluções numéricas e um teste computacional rigoroso que verifica a inexistência de soluções nas regiões de interesse. O método obteve sucesso na obtenção da multiplicidade exata de soluções de equilíbrio das equações de SwiftHohenberg nas dimensões um e dois e na equação unidimensional de Cahn-Hilliard.