arXiv subjects

Alan Champneys

Publications and source records attributed to Alan Champneys.

12 recordsLinked to original sources

arXiv2025

Subcritical Turing bifurcation and the morphogenesis of localised patterns

Subcritical Turing bifurcations of reaction-diffusion systems in large domains lead to spontaneous onset of well-developed localised patterns via the homoclinic snaking mechanism. This phenomenon is shown to occur naturally when balancing source and loss effects are included in a typical reaction-diffusion system, leading to a super/subcritical transition. Implications are discussed for a range of physical problems, arguing that subcriticality leads to naturally robust phase transitions to localised patterns.

nlin.PS↗

arXiv2024

Bifurcation analysis of multiple limit cycles created in boundary equilibrium bifurcations in hybrid systems

A boundary equilibrium bifurcation (BEB) in a hybrid dynamical system occurs when a regular equilibrium collides with a switching surface in phase space. This causes a transition to a pseudo-equilibrium embedded within the switching surface, but limit cycles (LCs) and other invariant sets can also be created and the nature of these is not well understood for systems with more than two dimensions. This work treats two codimension-two scenarios in hybrid systems of any number of dimensions, where the number of small-amplitude limit cycles bifurcating from a BEB changes. The first scenario involves a limit cycle (LC) with a Floquet multiplier $1$ and for nearby parameter values the BEB creates a pair of limit cycles. The second scenario involves a limit cycle with a Floquet multiplier $-1$ and for nearby parameter values the BEB creates a period-doubled solution. Both scenarios are unfolded in a general setting, showing that typical two-parameter bifurcation diagrams have a curve of saddle-node or period-doubling bifurcations emanating transversally from a curve of BEBs at the codimension-two point. The results are illustrated with three-dimensional examples and an eight-dimensional airfoil model. Detailed computational results show excellent agreement to the unfolding theory and reveal further interesting dynamical features that remain to be explored.

math.DS↗

arXiv2024

An Asymptotic Analysis of Spike Self-Replication and Spike Nucleation of Reaction-Diffusion Patterns on Growing 1-D Domains

In the asymptotic limit of a large diffusivity ratio, certain two-component reaction-diffusion (RD) systems can admit localized spike solutions on a 1-D finite domain in a far-from-equilibrium nonlinear regime. It is known that two distinct bifurcation mechanisms can occur which generate spike patterns of increased spatial complexity as the domain half-length L slowly increases; so-called spike nucleation and spike self-replication. Self-replication is found to occur via the passage beyond a saddle-node bifurcation point that can be predicted through linearization around the inner spike profile. In contrast, spike nucleation occurs through slow passage beyond the saddle-node of a nonlinear boundary-value problem defined in the outer region away from the core of a spike. Here, by treating L as a static parameter, precise conditions are established within the semi-strong interaction asymptotic regime to determine which occurs, conditions that are confirmed by numerical simulation and continuation. For the Schnakenberg and Brusselator RD models, phase diagrams in parameter space are derived that predict whether spike self-replication or spike nucleation will occur first as L is increased, or whether no such instability will occur. For the Gierer-Meinhardt model with a non-trivial activator background, spike nucleation is shown to be the only possible spike-generating mechanism. From time-dependent PDE numerical results on an exponentially slowly growing domain, it is shown that the analytical thresholds derived from the asymptotic theory accurately predict critical values of L where either spike self-replication or spike-nucleation will occur. The global bifurcation mechanism for transitions to patterns of increased spatial complexity is further elucidated by superimposing time-dependent PDE simulation results on the numerically computed solution branches of spike equilibria.

math.AP↗

arXiv2020

The benefits of peer transparency in safe workplace operation post pandemic lockdown

The benefits, both in terms of productivity and public health, are investigated for different levels of engagement with the test, trace and isolate procedures in the context of a pandemic in which there is little or no herd immunity. Simple mathematical modelling is used in the context of a single, relatively closed workplace such as a factory or back-office where, in normal operation, each worker has lengthy interactions with a fixed set of colleagues. A discrete-time SEIR model on a fixed interaction graph is simulated with parameters that are motivated by the recent COVID-19 pandemic in the UK during a post-peak phase, including a small risk of viral infection from outside the working environment. Two kinds of worker are assumed, transparents who regularly test, share their results with colleagues and isolate as soon as a contact tests positive for the disease, and opaques who do none of these. Moreover, the simulations are constructed as a ``playable model" in which the transparency level, disease parameters and mean interaction degree can be varied by the user. The model is analysed in the continuum limit. All simulations point to the double benefit of transparency in maximising productivity and minimising overall infection rates. Based on these findings, public policy implications are discussed on how to incentivise this mutually beneficial behaviour in different kinds of workplace, and simple recommendations are made.

q-bio.PE↗

arXiv2018

Dissecting the snake: the transition from localized patterns to isolated spikes in pattern formation systems

An investigation is undertaken of coupled reaction-diffusion systems in one spatial dimension that are able to support, in different regions of their parameter space, either an isolated spike solution, or stable localized patterns with an arbitrary number of peaks. The distinction between the two cases is drawn through the behavior of the far field, where there is either an oscillatory or a monotonic decay. Several examples are studied, including the Lugiato-Lefever model, a generalized Schakenberg system that arises in cellular-level morphogensis and a continuum model of urban crime spread. In each, it is found that localized patterns connected via a so-called homoclinic snaking curve in parameter space transition into a single spike solution as a second parameter is varied, via a change in topology of the snake into a series of disconnected branches. In each case, the transition is caused by a so-called Belyakov-Devaney transition between complex and real spatial eigenvalues of the fair field of the primary pulse. A codimension-two problem is studied in detail where a non-transverse homoclinic orbit undergoes this transition. A Shilnikov-style analysis is undertaken which reveals the asymptotics of how the infinite family of folds of multi-pulse orbits are all destroyed at the same parameter value. The results are shown to be consistent with numerical experiments on two of the examples.

nlin.PS↗

arXiv2018

Dissipative solitons in forced cyclic and symmetric structures

The emergence of localised vibrations in cyclic and symmetric rotating structures, such as bladed disks of aircraft engines, has challenged engineers in the past few decades. In the linear regime, localised states may arise due to a lack of symmetry, as for example induced by inhomogeneities. However, when structures deviate from the linear behaviour, e.g. due to material nonlinearities, geometric nonlinearities like large deformations, or other nonlinear elements like joints or friction interfaces, localised states may arise even in perfectly symmetric structures. In this paper, a system consisting of coupled Duffing oscillators with linear viscous damping is subjected to external travelling wave forcing. The system may be considered a minimal model for bladed disks in turbomachinery operating in the nonlinear regime, where such excitation may arise due to imbalance or aerodynamic excitation. We demonstrate that near the resonance, in this non-conservative regime, localised vibration states bifurcate from the travelling waves. Complex bifurcation diagrams result, comprising stable and unstable dissipative solitons. The localised solutions can also be continued numerically to a conservative limit, where solitons bifurcate from the backbone curves of the travelling waves at finite amplitudes.

nlin.PS↗

arXiv2017

Dynamics beyond dynamic jam; unfolding the Painlev\'e paradox singularity

This paper analyses in detail the dynamics in a neighbourhood of a G\'enot-Brogliato point, colloquially termed the G-spot, which physically represents so-called dynamic jam in rigid body mechanics with unilateral contact and Coulomb friction. Such singular points arise in planar rigid body problems with slipping point contacts at the intersection between the conditions for onset of lift-off and for the Painlev\'e paradox. The G-spot can be approached in finite time by an open set of initial conditions in a general class of problems. The key question addressed is what happens next. In principle trajectories could, at least instantaneously, lift off, continue in slip, or undergo a so-called impact without collision. Such impacts are non-local in momentum space and depend on properties evaluated away from the G-spot. The results are illustrated on a particular physical example, namely the a frictional impact oscillator first studied by Leine et al. The answer is obtained via an analysis that involves a consistent contact regularisation with a stiffness proportional to $1/\varepsilon^2$. Taking a singular limit as $\varepsilon \to 0$, one finds an inner and an outer asymptotic zone in the neighbourhood of the G-spot. Two distinct cases are found according to whether the contact force becomes infinite or remains finite as the G-spot is approached. In the former case it is argued that there can be no such canards and so an impact without collision must occur. In the latter case, the canard trajectory acts as a dividing surface between trajectories that momentarily lift off and those that do not before taking the impact. The orientation of the initial condition set leading to each eventuality is shown to change each time a certain positive parameter $\beta$ passes through an integer.

math.DS↗

arXiv2016

Effects of source and loss terms on the wave-pinning description of cell polarisation

A system of two Schnakenberg-like reaction-diffusion equations is investigated analytically and numerically. The system has previously been used as a minimal model for concentrations of GTPases involved in the process of cell polarisation. Source and loss terms are added, breaking the mass conservation, which was shown previously to be responsible for the generation of stable fronts via a so-called wave-pinning mechanism. The extended model gives rise to a unique homogeneous equilibrium in the parameter region of interest, which loses stability via a pattern formation, or Turing bifurcation. The bistable character of the reaction terms ensures that this bifurcation is subcrtical for sufficiently small values of the driving parameter multiplying the nonlinear kinetics. This subcriticality leads to the onset of a multitude of localised solutions, through the homoclinic snaking mechanism. As the driving parameter is further decreased, the multitude of solutions transforms into a single pulse through a Belyakov-Devaney transition in which there is the loss of a precursive pattern. An asymptotic analysis is used to probe the conservative limit in which the source and loss terms vanish. Matched asymptotic analysis shows that on an infinite domain the pulse solution transitions into a pair of fronts, with an additional weak quadratic core and exponential tails. On a finite domain, the core and tails disappear, leading to the mere wave-pinning front and its mirror image.

nlin.PS↗

arXiv2015

An algebraic metric for parametric stability analysis of power systems

An analytic approximation for the critical clearing time (CCT) metric is derived from direct methods for power system stability. The formula has been designed to incorporate as many features of transient stability analysis as possible such as different fault locations and different post-fault network states. The purpose of this metric is to analyse trends in stability (in terms of CCT) of power systems under the variation of a system parameter. We demonstrate the performance of this metric to measure stability trends on an aggregated power network, the so-called two machine infinite bus network, by varying load parameters in the full bus admittance matrix using numerical continuation. Our metric is compared to two other expressions for the CCT which incorporate additional non-linearities present in the model.

math.OC↗

arXiv2011

Codimension-two homoclinic bifurcations underlying spike adding in the Hindmarsh-Rose burster

The well-studied Hindmarsh-Rose model of neural action potential is revisited from the point of view of global bifurcation analysis. This slow-fast system of three paremeterised differential equations is arguably the simplest reduction of Hodgkin-Huxley models capable of exhibiting all qualitatively important distinct kinds of spiking and bursting behaviour. First, keeping the singular perturbation parameter fixed, a comprehensive two-parameter bifurcation diagram is computed by brute force. Of particular concern is the parameter regime where lobe-shaped regions of irregular bursting undergo a transition to stripe-shaped regions of periodic bursting. The boundary of each stripe represents a fold bifurcation that causes a smooth spike-adding transition where the number of spikes in each burst is increased by one. Next, numerical continuation studies reveal that the global structure is organised by various curves of homoclinic bifurcations. In particular the lobe to stripe transition is organised by a sequence of codimension-two orbit- and inclination-flip points that occur along {\em each} homoclinic branch. Each branch undergoes a sharp turning point and hence approximately has a double-cover of the same curve in parameter space. The sharp turn is explained in terms of the interaction between a two-dimensional unstable manifold and a one-dimensional slow manifold in the singular limit. Finally, a new local analysis is undertaken using approximate Poincar\'{e} maps to show that the turning point on each homoclinic branch in turn induces an inclination flip that gives birth to the fold curve that organises the spike-adding transition. Implications of this mechanism for explaining spike-adding behaviour in other excitable systems are discussed.

math.DS↗

arXiv2002

A scalar nonlocal bifurcation of solitary waves for coupled nonlinear Schroedinger systems

An explanation is given for previous numerical results which suggest a certain bifurcation of `vector solitons' from scalar (single-component) solitary waves in coupled nonlinear Schroedinger (NLS) systems. The bifurcation in question is nonlocal in the sense that the vector soliton does not have a small-amplitude component, but instead approaches a solitary wave of one component with two infinitely far-separated waves in the other component. Yet, it is argued that this highly nonlocal event can be predicted from a purely local analysis of the central solitary wave alone. Specifically the linearisation around the central wave should contain asymptotics which grow at precisely the speed of the other-component solitary waves on the two wings. This approximate argument is supported by both a detailed analysis based on matched asymptotic expansions, and numerical experiments on two example systems. The first is the usual coupled NLS system involving an arbitrary ratio between the self-phase and cross-phase modulation terms, and the second is a coupled NLS system with saturable nonlinearity that has recently been demonstrated to support stable multi-peaked solitary waves. The asymptotic analysis further reveals that when the curves which define the proposed criterion for scalar nonlocal bifurcations intersect with boundaries of certain local bifurcations, the nonlocal bifurcation could turn from scalar to non-scalar at the intersection. This phenomenon is observed in the first example. Lastly, we have also selectively tested the linear stability of several solitary waves just born out of scalar nonlocal bifurcations. We found that they are linearly unstable. However, they can lead to stable solitary waves through parameter continuation.

nlin.PS↗

arXiv1999

Origin of Multikinks in Dispersive Nonlinear Systems

We develop {\em the first analytical theory of multikinks} for strongly {\em dispersive nonlinear systems}, considering the examples of the weakly discrete sine-Gordon model and the generalized Frenkel-Kontorova model with a piecewise parabolic potential. We reveal that there are no $2π$-kinks for this model, but there exist {\em discrete sets} of $2πN$-kinks for all N>1. We also show their bifurcation structure in driven damped systems.

patt-sol↗