
28/04/2021
16:00
virtual/à distância
Palestrante: Jean-Philippe Lessard
https://sites.google.com/usp.br/evol-eq-and-dyn-systems
Responsável: Phillipo Lappicy (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)
Resumo: In this talk, we introduce a general method to obtain constructive proofs of existence of periodic orbits in the forced autonomous Navier-Stokes equations on the three-torus. After introducing a zero finding problem posed on a Banach space of geometrically decaying Fourier coefficients, a Newton-Kantorovich theorem is applied to obtain the (computer-assisted) proofs of existence. As applications, we present proofs of existence of spontaneous periodic orbits in the Navier-Stokes equations with Taylor-Green forcing.