Computer-aided proofs for non-hyperbolic dynamics and blenders . This project aims to develop methods to rigorously detect certain geometric structures in systems that are known to imply chaos and are robust under perturbation. Such structures include blenders and robust heterodimensional cycles and homoclinic tangencies.
This project expects to generate new knowledge in the area of non hyperbolic dynamics utilising a novel combination of recent developments in Dynamical Systems and techniques ....Computer-aided proofs for non-hyperbolic dynamics and blenders . This project aims to develop methods to rigorously detect certain geometric structures in systems that are known to imply chaos and are robust under perturbation. Such structures include blenders and robust heterodimensional cycles and homoclinic tangencies.
This project expects to generate new knowledge in the area of non hyperbolic dynamics utilising a novel combination of recent developments in Dynamical Systems and techniques from rigorous numerics.
Expected outcomes of this project include an efficient computation platform aimed at detecting and verifying chaos-inducing objects in complex dynamical systems.
This should provide significant benefits, such as an increased understanding of non-hyperbolic dynamical systems. Read moreRead less
Non-local equations at work. This project aims to study non-local fractional equations. These problems arise naturally in many fields of pure and applied mathematics. This project will consider symmetry and rigidity results; problems from atom dislocation theory; nonlocal minimal surfaces; symbolic dynamics for nonlocal equations; and free boundary problems. This project aims to obtain substantial progress in this field, both from the point of view of the mathematical theory and in view of concr ....Non-local equations at work. This project aims to study non-local fractional equations. These problems arise naturally in many fields of pure and applied mathematics. This project will consider symmetry and rigidity results; problems from atom dislocation theory; nonlocal minimal surfaces; symbolic dynamics for nonlocal equations; and free boundary problems. This project aims to obtain substantial progress in this field, both from the point of view of the mathematical theory and in view of concrete applications. This project should contribute to the development of the mathematical theory and give insight for concrete applications in physics and biology.Read moreRead less
Spectral Theory of Hamiltonian Dynamical Systems. Stability theory of steady states, travelling waves, periodic waves, and other coherent structures in nonlinear Hamiltonian partial differential equations is a cornerstone of modern dynamical systems. In particular it is of utmost importance to reliably compute eigenvalues, which determine the stability or instability of such structures. This project will develop methods to compute the spectrum of Hamiltonian operators in more than one spatial di ....Spectral Theory of Hamiltonian Dynamical Systems. Stability theory of steady states, travelling waves, periodic waves, and other coherent structures in nonlinear Hamiltonian partial differential equations is a cornerstone of modern dynamical systems. In particular it is of utmost importance to reliably compute eigenvalues, which determine the stability or instability of such structures. This project will develop methods to compute the spectrum of Hamiltonian operators in more than one spatial dimension. It will use the powerful geometric tools of the Maslov index and the Evans function. We will use these to simultaneously advance, and bring together the theories of the two dimensional Euler equations and Jacobi operators.Read moreRead less