Linhas de Pesquisa
O Programa de Pós-Graduação em Matemática Pura e Aplicada possui cinco linhas de pesquisa, concentradas nas áreas de Matemática Pura e de Matemática Aplicada. Além disso, dentro de cada linha de pesquisa, vários tópicos são estudados, como detalhamos abaixo.
Álgebra
Álgebra é a área da matemática que trata do estudo de conjuntos com operações (principalmente binárias). Tais operações muitas vezes são classificadas entre associativas ou não-associativas. Dentro das álgebras associativas, seus principais objetos de estudo são as álgebras de matrizes no caso de dimensão finita, mas também outras álgebras (de dimensão infinita), como álgebras livres e a álgebra de Grassmann. Além disso, também são estudadas estruturas adicionais nestas álgebras (como graduações, involuções, etc), e álgebras satisfazendo identidades polinomiais. No caso de álgebras não-associativas, um tipo muito especial são as Álgebras de Lie. Estas se destacam pela ampla gama de aplicações dentro da matemática. Nessa linha de pesquisa, focamos principalmente no estudo de representações das álgebras de Lie, em particular, representações de álgebras de Lie de dimensão infinita relacionadas a grupos quânticos como, por exemplo, álgebras de correntes, álgebras de laços, álgebras de funções equivariantes, seus módulos de Weyl, extensões e cohomologias. Um outro tópico desenvolvido no nosso programa dentro da linha de álgebra, é o de bases computacionais. Estes são uma ferramenta muito interessante para a solução de vários problemas de álgebra ou de aplicações, e compõem a ideia central da teoria de anéis, sob a ótica da álgebra computacional, fornecendo soluções algorítmicas para problemas envolvendo ideais.
Dessa forma, no nosso programa, os principais tópicos de pesquisa dentro dessa linha são:
- Álgebras de Lie e suas representações
- Álgebras não-comutativas
- Bases computacionais
- Identidades polinomiais em álgebras
Análise
É a linha de pesquisa onde o conceito de função e suas generalizações são estudadas através de métodos infinitesimais. Na natureza, inúmeros processos e fenômenos naturais tais como as leis do movimento são caracterizados por funções. O estudo de Equações Diferenciais começa com a criação do Cálculo Diferencial e Integral e é guiado, inicialmente, por suas aplicações à Mecânica Clássica. Tratar os problemas utilizando o Cálculo Diferencial foi um enorme estímulo aos físicos e matemáticos na procura de modelos para problemas da Mecânica e de outros ramos da Física, que expressem os fenômenos em termos de Equações Diferenciais. A tentativa de obter uma solução do problema da condução do calor em uma barra satisfazendo, além da equação diferencial, certas condições iniciais ou condições de fronteira exige ferramentas avançadas, que estão relacionadas à Análise Funcional, nesse caso as séries de Fourier. Dessa forma, a Análise Funcional desempenha um papel cada vez mais importante nas Ciências aplicadas, bem como na própria Matemática. Consequentemente, torna-se necessário estudar esse ramo da Matemática para realizar pesquisas na área de Equações Diferenciais. No nosso programa, estes dois aspectos da análise matemática são estudados: Análise Funcional e Equações Diferenciais. A Análise Funcional é o ramo de análise matemática que trata funcionais ou funções de funções. Pode ser caracterizada pelo estudo de espaços vetoriais munidos de alguma estrutura associada ao conceito de limite, como um métrica ou uma topologia, e funcionais definidos sobre esses espaços respeitando essas estruturas em um sentido adequado. Surgiu como uma área distinta no início do século 20 quando foi descoberto que diversos processos matemáticos, da aritmética ao cálculo, poderiam ser generalizados. Dentro desta área existem diversos grupos de interesse como aspectos topológicos e geométricos da teoria dos espaços de Banach, análise harmônica, análise funcional não linear, etc. O estudo moderno desta área envolve diversas disciplinas como teoria da medida, topologia geral e também métodos combinatórios como teoria de Ramsey. As Equações Diferenciais constituem hoje uma ferramenta importantíssima na modelagem matemática e na análise de fenômenos naturais relacionados as mais diversas áreas do conhecimento, como Engenharia, Física, Química, Biologia e Economia. No estudo de tais modelos matemáticos, pode-se identificar alguns estágios de fundamental importância: modelagem do fenômeno de interesse; boa colocação do problema; estabilidade assintótica com relação às perturbações; avaliação do modelo segundo o fenômeno modelado. Tais estágios estão intimamente ligados às propriedades qualitativas do modelo, evidenciando a necessidade da realização de estudos qualitativos cuidadosos das equações diferenciais envolvidas, que podem ser equações diferenciais ordinárias, parciais, funcionais, parciais-funcionais ou discretas. Entender o comportamento qualitativo dessas equações pode ajudar a entender o comportamento desses modelos e a interpretar fenômenos naturais.
Dessa forma, no nosso programa, os principais tópicos de pesquisa dentro dessa linha são:
- Análise Funcional
- Equações Diferenciais
Geometria e Dinâmica
A linha de pesquisa Geometria e Dinâmica no nosso programa tem dois enfoques principais. Um deles, ligado à Geometria Riemanniana e Topologia diferencial, o outro ligado a aspectos quantitativos da teoria de Sistemas Dinâmicos com tempo discreto e suas propriedades estatísticas. A área de Geometria trata de problemas envolvendo a existência de propriedades métricas (como curvatura positiva ou paralelismo do tensor de curvatura) e simetrias (geralmente expresso através de uma folheação riemanniana). Procura-se, por exemplo, classificar as simetrias possíveis em espaços com as propriedades supracitadas, ou usar da existência de simetrias para encontrar obstrução para a existência de tais propriedades métricas. Já em Sistemas Dinâmicos, o panorama retratado é o estudo qualitativo dos sistemas que evoluem com o tempo através de ferramentas geométricas, topológicas e probabilísticas. Nas pesquisas realizadas neste programa abordamos principalmente os aspectos quantitativos da teoria de Sistemas Dinâmicos com tempo discreto e suas propriedades estatísticas através da Teoria Ergódica, que lida com transformações que preservam uma medida. Em particular temos contribuições no caso em que a medida preservada é infinita, onde a abordagem estatística em geral é mais complicada. A Dinâmica e a Geometria têm interfaces históricas em comum, por exemplo, trabalhos de Hopf e de Anosov provaram a ergodicidade para os fluxos geodésicos em variedades de curvatura negativa. Em geral, quando o sistema em questão tem origem geométrica, como é o caso do fluxo geodésico, espera-se que o estudo de suas características dinâmicas e ergódicas possa ajudar a elucidar propriedades da geometria que deu origem ao objeto tratado.
Dentre os tópicos de pesquisa dentro dessa área destacam-se, no nosso programa, o estudo de:
- Geometria Riemanniana
- Sistemas Dinâmicos
- Teoria Ergódica
- Topologia Diferencial
Matemática Discreta
A Matemática Discreta é o ramo da Matemática que lida com problemas, teóricos ou práticos, em que predomina o estudo de estruturas (conjuntos, estruturas algébricas, grafos, etc) em que não se requer a noção de continuidade.
Um tópico central da matemática discreta, é a Combinatória onde, além das ferramentas básicas de contagem, empregam-se funções geradoras, relações de recorrência, ação de grupos, etc. Aspectos combinatórios e aritméticos de sequências de números especiais (por exemplo: números de Fibonacci e de Lucas) são também de grande interesse, e ressaltam a relação desta com a Teoria aditiva dos números, onde o interesse é estudar propriedades de operações aditivas em anéis. Em especial, ao consideramos os inteiros, estamos falando das partições de inteiros, área influenciada por grandes matemáticos (incluindo: Euler, Cayley, Gauss, Jacobi, Lagrange, Legendre, Schur, Hardy, Rogers, Ramanujan). Já na Teoria algébrica dos números, um dos principais interesses é obter reticulados em R^n como a imagem de um homomorfismo aplicado a um Z-módulo contido no anel de inteiros algébricos de um algum corpo de números e, com isso, conseguir estudar algumas propriedades de reticulados que são difíceis de serem estudadas em R^n. É de grande interesse classificar famílias clássicas de reticulados em R^n que podem ser obtidas de tal maneira, como por exemplo as famílias Z^n, D^n, A^n, entre outras. Uma das principais aplicações da teoria algébrica dos números se dá na Teoria de Códigos Corretores de Erros e de Criptografia, onde o objetivo é o estudo de propriedades de códigos definidos sobre os anéis dos inteiros e dos inteiros módulo m em relação a uma dada métrica, visando classificar os códigos com respeito a certas aplicações específicas, como a correção de erros e o uso de códigos em criptossistemas pós-quânticos.
Os principais tópicos de pesquisa dentro dessa área no nosso programa são:
- Códigos Corretores de Erros
- Combinatória
- Teoria aditiva dos números
- Teoria algébrica dos números
Métodos de Matemática Aplicada
A linha de pesquisa Métodos de Matemática Aplicada tem um papel crucial no desenvolvimento de tecnologias inovadoras nas mais variadas áreas. Ela é baseada, em sua essência, na modelagem e na resolução de problemas oriundos das ciências em geral, constituindo tarefas altamente desafiadoras e estimulantes, tanto do ponto de vista teórico quanto prático. Para atacar tais problemas, muitas vezes tornam-se necessários o desenvolvimento e a implementação computacional de algoritmos eficientes com forte embasamento matemático.
Os docentes integrantes da linha de pesquisa em Métodos de Matemática Aplicada estão envolvidos nos seguintes temas de pesquisa:
- Aplicação da teoria de sistemas dinâmicos à biomatemática
- Processos estocásticos aplicados à modelagem de evolução viral
- Bioinformática e bioestatística com aplicação em estudos de associações genômicas
- Dinâmica orbital e Mecânica celeste
- Sistemas dinâmicos não lineares e controle de caos
- Métodos matemáticos de sistemas dinâmicos e de otimização aplicados à tecnologia e engenharia aeroespacial
- Propriedades e aplicações de polinômios ortogonais
Otimização
Na linha de pesquisa Otimização preocupa-se com a modelagem e o estudo de métodos para encontrar máximos e mínimos de funções, com ou sem restrições. Estes problemas são fundamentais na resolução de problemas oriundos da indústria e das ciências em geral. Modelos matemáticos de otimização resultam na melhora do processo da tomada de decisão. Nesta linha busca-se por resultados teóricos que reflitam em boas propriedades práticas relacionadas com métodos computacionais de otimização.
Os docentes integrantes da linha de pesquisa em Otimização estão envolvidos nos seguintes temas de pesquisa:
- Métodos computacionais de otimização não linear.
- Desenvolvimento de heurísticas para problemas de otimização inteira mista
- Métodos otimização estrutural
- Problemas de equilíbrio
- Modelagem matemática
- Planejamento integrado de operações logísticas
- Otimização Cônica
Publicações do PPGMAT
Publicações de artigos em periódicos por docentes permanentes e alunos
Seminários
Os Seminários de Matemática são reuniões semanais já tradicionais entre docentes, alunos e professores visitantes do Instituto de Ciência e Tecnologia (ICT) da Unifesp - São José dos Campos. Estes ocorrem desde 2012 e consistem de apresentações e discussões sobre tópicos de pesquisa de interesse da comunidade do ICT.
Próximos Seminários:
-
Data: 06/07/2022, às 13h30.
Sala: meet.google.com/rqn-nxgr-gyt
-
Palestrante: Leonardo Hideo Kanashiro.
Instituição: Universidade Federal de São Paulo (UNIFESP) - Campus São José dos Campos.
Título: Aplicação de técnicas para análise qualitativa de sistemas dinâmicos não-lineares na área da biologia.
Resumo: Neste seminário serão apresentados alguns métodos para analisar qualitativamente sistemas dinâmicos não-lineares, que são amplamente utilizados para entender o comportamento populacional no estudo de sistemas biológicos.
-
Palestrante: Alfred James Dias Albon.
Instituição: Universidade Federal de São Paulo (UNIFESP) - Campus São José dos Campos.
Título: A geometria do disco de Poincaré: Tesselações com o Geogebra.
Resumo: Neste trabalho discutimos sobre a história das geometrias não Euclidianas, enfatizando um modelo de geometria hiperbólica no plano: o disco de Poincaré. Relacionamos alguns resultados nessa geometria com resultados da geometria Euclidiana, tais como: a soma dos ângulos internos de um triângulo, a área de um triângulo, o teorema de Pitágoras e as leis dos senos e dos cossenos. Empregamos, ainda, um software de geometria dinâmica, o GeoGebra, para construir tesselações no disco de Poincaré.
-
Seminários anteriores (2022):
-
Data: 22/06/2022, às 13h30
-
Palestrante: Luiz Filipe Moraes Saldanha Oliveira.
Instituição: Universidade Federal de São Paulo (IME-USP).
Título: Triplas pitagóricas e o espaço projetivo.
Resumo: O objetivo deste seminário é apresentar uma ligação entre Geoemetria Algébrica e Teoeria dos Números. Vamos mostrar uma maneira de descrever todas as soluções inteiras da equação $x^2+y^2=z^2$. Esta equação está associada com o Teorema de Pitágoras, que apresenta uma relação entre os comprimentos dos catetos e da hipotenusa de um triângulo retângulo. Para encontrar estas soluções, vamos introduzir alguns elementos importantes estudados em Geometria Algébrica.
-
Palestrante: Júlia Wotzasek Pereira.
Instituição: Universidade Federal de São Paulo (UNIFESP) - Campus São José dos Campos.
Título: Reticulados aplicados em segurança da informação.
Resumo: Apresentaremos os conceitos de reticulados necessários para discutir a aplicação destes em segurança da informação. Discutiremos o canal gaussiano, a utilização deste como modelo para a camada física da rede de comunicação, os possíveis ataques à segurança que podem ocorrer e o método de Compute & Forward para a segurança da comunicação contra terceiros.
-
-
Data: 15/06/2022, às 13h30.
-
Palestrante: Daniel Alberto Morales Ramirez.
Instituição: Universidade Federal de São Paulo (IME-USP).
Título: Macroeconomia e EDP: modelos e problemas abertos.
Resumo: O objetivo deste seminario é fazer com que os matemáticos se interessem pelo estudo de uma série de equações diferenciais parciais (EDPs) que surgem naturalmente na macroeconomia. Esses PDEs vêm de modelos projetados para estudar algumas das questões mais importantes da economia. Ao mesmo tempo, eles são altamente interessantes para os matemáticos porque sua estrutura é muitas vezes bastante difícil. Serão apresentados vários exemplos de tais EDPs, discutimos o que se sabe sobre suas propriedades e listamos algumas questões em aberto para pesquisas futuras. (Baseado no artigo de Yves Achdou, Francisco J. Buera, Jean-Michel Lasry, Pierre-Louis Lions and Benjamin Moll).
-
Palestrante: Héctor Hecsán Torres Guzmán.
Instituição: Universidade Federal de São Paulo (UNIFESP) - Campus São José dos Campos.
Título: Somas $l_1$ longas de espaços Lipschitz livres e aplicações.
Resumo: -
-
-
Data: 08/06/2022, às 13h30.
Palestrante: Flank David Morais Bezerra.
Instituição: Universidade Federal da Paraíba (UFPB).
Título: Um olhar sobre atratores para sistemas dinâmicos não lineares.
Resumo: Nesta palestra apresentaremos uma introdução à teoria dos atratores para sistemas dinâmicos não linerares (não) autônomos. Ilustraremos alguns dos resultados clássicos da teoria no ambiente das equações diferenciais ordinárias e parciais.
-
Data: 18/05/2022, às 13h30.
-
Palestrante: Miriam da Silva Pereira.
Instituição: Universidade Federal da Paraíba (UFPB).
Título: Uma breve introdução à teoria de Singularidades.
Resumo: A teoria de singularidades pode ser pensada como uma área de pesquisa que estuda a geometria e a topologia de variedades definidas por equações polinomiais ou analíticas que não são suaves. O desenvolvimento da teoria envolve técnicas de diferentes áreas da matemática e os resultados obtidos possuem diversas aplicações práticas. Uma das variedades de interesse atualmente são as chamadas variedades determinantais, isto é, variedades definidas por equações provenientes de menores de matrizes. O objetivo da palestra é introduzir elementos básicos da Teoria de Singularidades e da Teoria de Singularidades de matrizes.
-
Palestrante: Pricila da Silva Barbosa.
Instituição: Universidade Tecnológica Federal do Paraná (UTFPR).
Título: Existência de atratores para uma família de problemas parabólicos semi-lineares em um domínio Lipschitz.
Resumo: O estudo de existência e continuidade de atratores para problemas parabólicos em relação a perturbação de contorno é um assunto bastante abordado na literatura. Em geral, encontra-se uma extensa variedade de trabalhos que tratam perturbação de contorno em domínios suaves. Nesta palestra consideraremos uma família de problemas parabólicos semi-lineares com condição de fronteira Neumann não linear, definidos em domínios com fronteira Lipschitz. Esses domínios são obtidos considerando uma família de perturbações do quadrado que dependem de um parâmetro, e que convergem para a identidade na norma $C^1$. Utilizando técnicas de perturbação de contorno provaremos a existência de atrator global para o semigrupo associado.
-
-
Data: 11/05/2022, às 13h30.
Palestrante: Maria Rosario Astudillo Rojas.
Instituição: Universidade Federal do Paraná (UFPR).
Título: Equações diferenciais na modelagem de pontes suspensas.
Resumo: Nesta palestra, discutiremos vários modelos matemáticos de pontes suspensas e alguns acontecimentos históricos que levaram ao desenvolvimento destes modelos. Em particular, analisaremos um modelo envolvendo uma equação diferencial apropriada, a qual fornece uma explicação matemática para o aparecimento de oscilações torcionais em pontes suspensas
-
Data: 04/05/2022, às 13h30.
Palestrante: Edvaldo A. de Oliveira Filho.
Instituição: Universidade Federal de São Paulo (UNIFESP) - Campus Diadema.
Título: Aprendizado de máquinas e equações diferenciais.
Resumo: Nesta apresentação, faremos uma pequena introdução à aprendizagem de máquina, suas ideias e desafios, destacando redes neurais artificiais e a sua aplicação na solução de equações diferenciais.
-
Data: 27/04/2022, às 13h30.
Palestrante: Paola Andrea Gaviria Kassama.
Instituição: Universidade Federal de São Paulo (UNIFESP) - Campus Diadema.
Título: Classes residuais e Cifras de Hill associadas no delineamento de uma proposta de ensino; O aplicativo Cripto-Alien.
Resumo: Pretende-se discutir alguns conceitos algébricos desde a perspectiva do desenvolvimento de um aplicativo para dispositivo móvel, implementado com intuito de ser um instrumento de apoio ao docente no seu trabalho de mediador entre os estudantes e os conceitos iniciais de Álgebra Linear.
-
Data: 20/04/2022, às 13h30.
Palestrante: Michele de Oliveira Alves.
Instituição: Universidade Estadual de Londrina (UEL).
Título: Comportamento da solução do sistema de Timoshenko.
Resumo: Este seminário tem por objetivo fazer uma aplicação da teoria de semigrupos lineares ao sistema de Timoshenko. Esta aplicação nos resultará na verificação da existência e unicidade de solução para este sistema. Tendo verificada a existência da solução, é possível observar que a mesma decai exponencialmente através de um importante resultado chamado Teorema de Pruss.
-
Data: 13/04/2022, às 13h30.
Palestrante: Gleiciane da Silva Aragão.
Instituição: Universidade Estadual de Londrina (UEL).
Título: Equações diferenciais parciais com termos concentrados na fronteira.
Resumo: Analisamos o comportamento assintótico das soluções de equações diferenciais parciais, que possuem termos concentrados em uma vizinhança da fronteira do domínio de definição das soluções e esta vizinhança contrai-se à fronteira quando quando um parâmetro tende a zero. Estamos interessados em provar que essas soluções convergem, em um determinado espaço de Sobolev, para uma solução de uma equação limite. Provamos também a existência e continuidade de atratores globais.
-
Data: 04/04/2022, às 13h30.
Palestrante: Pedro Henrique Martins de Morais
Instituição: Universidade Estadual de Londrina (UEL).
Título: Graduações, Identidades polinomiais graduadas e Propriedade de Specht para a álgebra comutativa de $UT_2(K)$ em característica 2.
Resumo: Neste seminário apresentaremos alguns resultados recentes em PI-teoria sobre graduações e identidades graduadas da álgebra das matrizes triangulares superiores de ordem 2 quando essa é definida como uma álgebra comutativa. Mais precisamente, fixado um corpo K, de característica 2, apresentaremos uma classificação das graduações de $(UT_2(K), *)$, a álgebra das matrizes triangulares superiores de ordem 2 sobre K munida do produto x*y = xy+yx. Exibiremos também geradores para os TG-ideais dessas graduações quando K é infinito, bem como daremos uma resposta positiva para o problema de Specht quando consideramos a variedade das álgebras comutativas gerada por $UT_2(K)$ em cada uma dessas graduações.
Seminários de anos Anteriores: