Description of Activity
Abstract of presentation: Dynamical systems are used to model how quantities change over time. They have enormous numbers of applications across a wide variety of topics spanning physics, chemistry, biology, cosmology and celestial mechanics, social systems, and so on. In its simplest form, a dynamical system consists of a function that is applied repeatedly to some initial condition in order to produce a sequence of values that we call an orbit, representing how the quantity changes over time.Some dynamical systems display a special type of behaviour called a perioddoubling cascade, in which we observe cyclic behaviour whose period (i.e., the time taken to repeat) doubles repeatedly as we vary some experimental parameter. What is most striking and surprising is that certain features of these "doubling cascades" turn out to be universal; the same qualitative and even quantitative behaviour is observed across a wide variety of (apparently very different) systems.
An explanation for this universality rests on the existence of a fixed point to a "renormalisation operator" that acts on dynamical systems to simplify them (in the sense of halving the doubled periods).
We show how rigorous computerassisted techniques can be used to prove the existence of such renormalisation fixed points, to bound the spectrum of the derivative of the operator at the fixed point, which helps to explain universal behaviour, and to bound the eigenfunctions and eigenvalues that determine the universal properties of systems with noise.
Our computations use multiprecision interval arithmetic with rigorous directed rounding modes to bound tightly the coefficients of the relevant power series and their highorder terms, and the corresponding universal constants.
Period  17 May 2022 

Held at  School of Mathematics & Physics 
Degree of Recognition  Local 
Related content

Activities

Invited talk at EPSRC Project EP/R012008/1 Workshop on "Transfer operator methods for modelling highfrequency wave fields  advancements through modern functional and numerical analysis"
Activity: Talk or presentation types › Invited talk

Invited seminar at University of Nottingham, Wave Modelling Research Group (WAMO)
Activity: Talk or presentation types › Invited talk

Invited seminar at Centre de Recherches Mathématiques, Université de Montréal, Québec
Activity: Talk or presentation types › Invited talk

Dynamics Days Digital 2020
Activity: Participating in or organising an event types › Participation in conference

Dynamics Days  XL (2021)
Activity: Participating in or organising an event types › Participation in conference

Centre Recherches Mathematiques ComputerAssisted Mathematical Proofs in Nonlinear Analysis
Activity: Participating in or organising an event types › Participation in workshop, seminar, course