DEPARTAMENTO DE MATEMÁTICA – CFM / UFSC

A Universidade Federal de Santa Catarina (UFSC) comunica, com pesar, o falecimento do professor aposentado Ailton João da Silva, conhecido como Professor Bana, ocorrido na segunda-feira, 28 de novembro, aos 77 anos.

Natural de Biguaçu, Ailton graduou-se em Matemática pela UFSC em 1972 e fez estágio no Colégio de Aplicação. Em agosto de 1980, o professor Bana passou a trabalhar no Departamento de Matemática do Centro de Ciências Físicas e Matemáticas da Universidade, onde posteriormente foi coordenador. Também integrou a equipe da Comissão Permanente do Vestibular (Coperve). Ailton João da Silva aposentou-se em março de 1992, como professor Adjunto do Departamento de Matemática.

O velório ocorreu na terça-feira à tarde, no cemitério Jardim da Paz, em Florianópolis.

A UFSC presta solidariedade à família e aos amigos do professor Ailton João da Silva neste momento de pesar

https://noticias.ufsc.br/

Sistemas Dinâmicos Simbólicos

Marcelo Sobottka (MTM-UFSC)

Resumo:  Espaços shifts têm se mostrado ferramentas eficientes para entender o comportamento de sistemas dinâmicos em geral, bem como para modelar diversos fenômenos biológicos e físicos. Como ferramenta

puramente matemática que permite estudar diversos tipos de dinâmicas complexas, podemos citar o uso dos espaços shifts para estudar a ferradura de Smale [1] e o sistema de Lorenz [2]. Como ferramentas de modelamento, os espacos shifts são empregados para estudar desde epidemias até a concentração de gelo em oceanos (ver [3, 4, 5, 6]).

De forma simples, um espaço shift pode ser definido como o espaço de todas as sequências infinitas que se pode escrever usando um alfabeto previamente especificado (possivelmente infinito), e que não contenham nenhuma palavra finita de uma lista previamente proibida. A ideia por detrás dessa definição é

exatamente simular a estrutura de uma linguagem, cujas sentenças válidas são formadas pela justaposição de letras, obedecendo a regras gramaticais apropriadas. Nesse sentido, espaços shifts se tornam objetos centrais na teoria de linguagens e de códigos, tendo uma aplicação direta à computação teórica e servindo de base para uma formulação alternativa de máquinas de Turing.

Uma interessante propriedade de espaços shifts é o fato de que eles sempre podem ser representados por grafos dirigidos etiquetados (possivelmente infinitos) [7], o que dá uma associação deles com outra importante classe de objetos matemáticos. Nesta palestra falarei sobre espaços shifts, apresentando sua relação com outros tipos de sistemas dinâmicos, e explorando algumas classes de espaços shifts e suas caracterizações por grafos.

Referências:

[1] DEVANEY, R. (2021). An introduction to chaotic dynamical systems, CRC Press.

[2]VISWANATH, D. (2003). Symbolic dynamics and periodic orbits of the Lorenz attractor, Nonlinearity, 16, 1035-1056.

[3] FU, S. C. AND MILNE, G. (2003) Epidemic Modelling Using Cellular Automata. First Australian Conference on ArtiFIcial Life (ACAL2003), Canberra, Australia, 6-7.

[4] GEORGOUDAS, I. G., SIRAKOULIS, G. CH. AND ANDREADIS, I. (2007) Modelling earthquake activity features using cellular automata Mathematical and Computer Modelling 46, 1-2, 124-137

[5] KOULIS, T. (2002) Modeling sea ice concentrations with the biased voter model. Computing Science and Statistics 34.

[6] POLESZCZUK, J. ANDENDERLING,H. (2014) A High-Performance Cellular Automaton Model of Tumor Growth with Dynamically Growing Domains. Applied Mathematics., 5, 1, 144-152.

[7] SOBOTTKA, M. (2022) Some notes on the classification of shift spaces: Shifts of Finite Type; Sofic shifts; and Finitely Defined Shifts. Bulletin of the Brazilian Mathematical Society, New Series, 53, 981-1031.

Data: Sexta-feira, 11 de Novembro de 2022, 14h
Local: Auditório Airton Silva, Departamento de Matemática – MTM /CFM

Seminário de Otimização & Problemas Inversos

Título: Convergência superlinear do método de reflexões circuncentrado

Palestrante:  Roger Behling (UFSC)

Resumo: Recentemente, desenvolvemos o primeiro método de reflexões circuncentrado (CRM) capaz de resolver problemas de viabilidade convexos sem reformulação em espaço produto. O novo método, denominado cCRM, trabalha em duas fases. Na primeira fase de cada iteração, cCRM encontra um ponto centralizado, enquanto que na segunda computa um circuncentro generalizado em paralelo a partir da centralização. Discutiremos o fato de cCRM convergir globalmente para uma solução do  problema e apresentaremos um resultado, um tanto surpreendente, de convergência superlinear supondo uma condição de cota de erro aliada a  hipótese de suavidade local dos conjuntos convexos considerados.

Data: Segunda-feira,  07 de Novembro , 14h
Local: Auditório Airton Silva, Departamento de Matemática – MTM /CFM

Maiores informações:  http://mtm.ufsc.br/~maicon/seminar

E. Krukoski

Sistemas Dinâmicos Impulsivos

Matheus Cheque Bortolan (MTM-UFSC)

Resumo:  Nesse seminário veremos um pouco da teoria recente dos sistemas dinâmicos impulsivos. Tais sistemas modelam problemas cujas regras de formação sofrem mudanças abruptas (impulsos) quando atingem uma determinada barreira de impulso. Faremos uma revisão rápida da teoria dos sistemas dinâmicos contínuos e veremos como definir os sistemas impulsivos, bem como alguns resultados gerais sobre o comportamento assintótico das soluções de tais sistemas.

Data: Sexta-feira, 04 de Novembro de 2022, 14h
Local: Auditório Airton Silva, Departamento de Matemática – MTM /CFM