-
Ghost states underlying spatial and temporal patterns: how non-existing invariant solutions control nonlinear dynamics
Authors:
Zheng Zheng,
Pierre Beck,
Tian Yang,
Omid Ashtari,
Jeremy P Parker,
Tobias M Schneider
Abstract:
Close to a saddle-node bifurcation, when two invariant solutions collide and disappear, the behavior of a dynamical system can closely resemble that of a solution which is no longer present at the chosen parameter value. For bifurcating equilibria in low-dimensional ODEs, the influence of such 'ghosts' on the temporal behavior of the system, namely delayed transitions, has been studied previously.…
▽ More
Close to a saddle-node bifurcation, when two invariant solutions collide and disappear, the behavior of a dynamical system can closely resemble that of a solution which is no longer present at the chosen parameter value. For bifurcating equilibria in low-dimensional ODEs, the influence of such 'ghosts' on the temporal behavior of the system, namely delayed transitions, has been studied previously. We consider spatio-temporal PDEs and characterize the phenomenon of ghosts by defining representative state-space structures, which we term 'ghost states,' as minima of appropriately chosen cost functions. Using recently developed variational methods, we can compute and parametrically continue ghost states of equilibria, periodic orbits, and other invariant solutions. We demonstrate the relevance of ghost states to the observed dynamics in various nonlinear systems including chaotic maps, the Lorenz ODE system, the spatio-temporally chaotic Kuramoto-Sivashinsky PDE, the buckling of an elastic arc, and 3D Rayleigh-Bénard convection.
△ Less
Submitted 15 November, 2024;
originally announced November 2024.
-
The Lorenz system as a gradient-like system
Authors:
Jeremy P Parker
Abstract:
We formulate, for continuous-time dynamical systems, a sufficient condition to be a gradient-like system, i.e. that all bounded trajectories approach stationary points and therefore that periodic orbits, chaotic attractors, etc. do not exist. This condition is based upon the existence of an auxiliary function defined over the state space of the system, in a way analogous to a Lyapunov function for…
▽ More
We formulate, for continuous-time dynamical systems, a sufficient condition to be a gradient-like system, i.e. that all bounded trajectories approach stationary points and therefore that periodic orbits, chaotic attractors, etc. do not exist. This condition is based upon the existence of an auxiliary function defined over the state space of the system, in a way analogous to a Lyapunov function for the stability of an equilibrium. For polynomial systems, Lyapunov functions can be found computationally by using sum-of-squares optimisation. We demonstrate this method by finding such an auxiliary function for the Lorenz system. We are able to show that the system is gradient-like for $0\leqρ\leq12$ when $σ=10$ and $β=8/3$, significantly extending previous results. The results are rigorously validated by a novel procedure: First, an approximate numerical solution is found using finite-precision floating-point sum-of-squares optimisation. We then prove that there exists an exact solution close to this using interval arithmetic.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
A study of the double pendulum using polynomial optimization
Authors:
Jeremy P Parker,
David Goluskin,
Geoffrey M Vasil
Abstract:
In dynamical systems governed by differential equations, a guarantee that trajectories emanating from a given set of initial conditions do not enter another given set can be obtained by constructing a barrier function that satisfies certain inequalities on phase space. Often these inequalities amount to nonnegativity of polynomials and can be enforced using sum-of-squares conditions, in which case…
▽ More
In dynamical systems governed by differential equations, a guarantee that trajectories emanating from a given set of initial conditions do not enter another given set can be obtained by constructing a barrier function that satisfies certain inequalities on phase space. Often these inequalities amount to nonnegativity of polynomials and can be enforced using sum-of-squares conditions, in which case barrier functions can be constructed computationally using convex optimization over polynomials. To study how well such computations can characterize sets of initial conditions in a chaotic system, we use the undamped double pendulum as an example and ask which stationary initial positions do not lead to flipping of the pendulum within a chosen time window. Computations give semialgebraic sets that are close inner approximations to the fractal set of all such initial positions.
△ Less
Submitted 10 September, 2021; v1 submitted 25 June, 2021;
originally announced June 2021.
