Métodos lógico categoriais em Cálculo Variacional: uma Introdução

• Processo: 24/16321-5
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de julho de 2025
• Data de Término da vigência: 30 de junho de 2026
• Área de conhecimento: Ciências Exatas e da Terra - Matemática - Análise
• Pesquisador responsável: Stefano Nardulli
• Beneficiário: Mayck Brando Santos Moreira
• Instituição Sede: Centro de Matemática, Computação e Cognição (CMCC). Universidade Federal do ABC (UFABC). Ministério da Educação (Brasil). Santo André , SP, Brasil
• Vinculado ao auxílio: 21/05256-0 - Problemas variacionais geométricos: existência, regularidade e caracterização geométrica de soluções, AP.JP
• Assunto(s): Análise não standard Teoria dos modelos
• Palavra(s)-Chave do Pesquisador: analise nao standard | calculo das variações | Equações a derivadas parciais | Teoria dos modelos | TTeoria das categorias | Calculo das variações e logica matemática

Resumo

O Cálculo de Variações é uma área de pesquisa ativa, com conexões e aplicações em vários ramos da Matemática e Física-Matemática. Com este projeto, pretende-se introduzir o aluno a algumas abordagens modernas do cálculo das variações, envolvendo instrumentos da Análise Não Standard e da Teoria dos Topos, preparando-o para entrar em contato com a pesquisa atual e iniciando sua inserção em grupos de pesquisa sobre temas afins em universidades públicas sediadas no Estado de São Paulo com que eu (Stefano Nardulli) estou desenvolvendo pesquisa em conjunto sobre o tema deste projeto, em particular com o grupo do Hugo Mariano na USP e da Viviane del Barco na Unicampi. (AU)