-
Multi-front dynamics in spatially inhomogeneous Allen-Cahn equations
Authors:
Robbin Bastiaansen,
Arjen Doelman,
Tasso J. Kaper
Abstract:
Recent studies of biological, chemical, and physical pattern-forming systems have started to go beyond the classic `near onset' and `far from equilibrium' theories for homogeneous systems to include the effects of spatial heterogeneities. In this article, we build a conceptual understanding of the impact of spatial heterogeneities on the pattern dynamics of reaction-diffusion models. We consider t…
▽ More
Recent studies of biological, chemical, and physical pattern-forming systems have started to go beyond the classic `near onset' and `far from equilibrium' theories for homogeneous systems to include the effects of spatial heterogeneities. In this article, we build a conceptual understanding of the impact of spatial heterogeneities on the pattern dynamics of reaction-diffusion models. We consider the simplest setting of an explicit, scalar, bi-stable Allen-Cahn equation driven by a general small-amplitude spatially-heterogeneous term $\varepsilon F(U,U_x,x)$. In the first part, we perform an analysis of the existence and stability of stationary one-, two- and $N$-front patterns for general spatial heterogeneity $F(U,U_x,x)$. In addition, we explicitly determine the $N$-th order system of ODEs that governs the evolution of the front positions of general $N$-front patterns to leading order. In the second part, we focus on a particular class of spatial heterogeneities where $F(U,U_x,x) = H'(x) U_x + H''(x) U$ with $H$ either spatially periodic or localised. For spatially periodic heterogeneities, we show that the fronts of a multi-front pattern will get `pinned' if the distances between successive fronts are sufficiently large, {\it i.e.}, the multi-front pattern is attracted to a nearby stable stationary multi-front pattern. For localised heterogeneities, we determine all stationary $N$-front patterns, and show that these are unstable for $N > 1$. We find instead slowly evolving `trains' of $N$-fronts that collectively travel to $\pm \infty$, either with slowly decreasing or increasing speeds.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Les Canards de Turing
Authors:
Theodore Vo,
Arjen Doelman,
Tasso J. Kaper
Abstract:
In this article, we study a system of reaction-diffusion equations in which the diffusivities are widely separated. We report on the discovery of families of spatially periodic canard solutions that emerge from {\em singular Turing bifurcations}. The emergence of these spatially periodic canards asymptotically close to the Turing bifurcations, which are reversible 1:1 resonant Hopf bifurcations in…
▽ More
In this article, we study a system of reaction-diffusion equations in which the diffusivities are widely separated. We report on the discovery of families of spatially periodic canard solutions that emerge from {\em singular Turing bifurcations}. The emergence of these spatially periodic canards asymptotically close to the Turing bifurcations, which are reversible 1:1 resonant Hopf bifurcations in the spatial ODE system, is an analog in spatial dynamics of the emergence of limit cycle canards in the canard explosions that occur asymptotically close to Hopf bifurcations in time-dependent ODEs. In the full PDE system, we show that for most parameter values under study the Turing bifurcation is sub-critical, and we present the results of some direct numerical simulations showing that several of the different types of spatial canard patterns are attractors in the prototypical PDE.
To support the numerical discoveries, we use geometric desingularization and geometric singular perturbation theory to demonstrate the existence of these families of spatially periodic canards. Crucially, in the singular limit, we study a novel class of {\em reversible folded singularities}. In particular, there are two reversible folded saddle-node bifurcations of type II (RFSN-II), each occurring asymptotically close to a Turing bifurcation. We derive analytical formulas for these singularities and show that their canards play key roles in the observed families of spatially periodic canard solutions. Then, for an interval of values of the bifurcation parameter further below the Turing bifurcation and RFSN-II point, the spatial ODE also has spatially periodic canard patterns, however these are created by a reversible folded saddle (instead of the RFSN-II). It also turns out that there is an interesting scale invariance, so that some components of some spatial canards exhibit nearly self-similar dynamics.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
Pitchfork bifurcation along a slow parameter ramp: coherent structures in the critical scaling
Authors:
Ryan Goh,
Tasso J. Kaper,
Arnd Scheel
Abstract:
We investigate the slow passage through a pitchfork bifurcation in a spatially extended system, when the onset of instability is slowly varying in space. We focus here on the critical parameter scaling, when the instability locus propagates with speed $c\sim \varepsilon^{1/3}$, where $\varepsilon$ is a small parameter that measures the gradient of the parameter ramp. Our results establish how the…
▽ More
We investigate the slow passage through a pitchfork bifurcation in a spatially extended system, when the onset of instability is slowly varying in space. We focus here on the critical parameter scaling, when the instability locus propagates with speed $c\sim \varepsilon^{1/3}$, where $\varepsilon$ is a small parameter that measures the gradient of the parameter ramp. Our results establish how the instability is mediated by a front traveling with the speed of the parameter ramp, and demonstrate scalings for a delay or advance of the instability relative to the bifurcation locus depending on the sign of $c$, that is on the direction of propagation of the parameter ramp through the pitchfork bifurcation. The results also include a generalization of the classical Hastings-McLeod solution of the Painlevé-II equation to Painlevé-II equations with a drift term.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Fronts in the wake of a parameter ramp: slow passage through pitchfork and fold bifurcations
Authors:
Ryan Goh,
Tasso J. Kaper,
Arnd Scheel,
Theodore Vo
Abstract:
This work studies front formation in the Allen-Cahn equation with a parameter heterogeneity which slowly varies in space. In particular, we consider a heterogeneity which mediates the local stability of the zero state and subsequent pitchfork bifurcation to a non-trivial state. For slowly-varying ramps which are either rigidly propagating in time or stationary, we rigorously establish existence an…
▽ More
This work studies front formation in the Allen-Cahn equation with a parameter heterogeneity which slowly varies in space. In particular, we consider a heterogeneity which mediates the local stability of the zero state and subsequent pitchfork bifurcation to a non-trivial state. For slowly-varying ramps which are either rigidly propagating in time or stationary, we rigorously establish existence and stability of positive, monotone fronts and give leading order expansions for their interface location. For non-zero ramp speeds, and sufficiently small ramp slopes, the front location is determined by the local transition between convective and absolute instability of the base state and leads to an O(1) delay beyond the instantaneous pitchfork location before the system jumps to a nontrivial state. The slow ramp induces a further delay of the interface controlled by a slow-passage through a fold of strong- and weak-stable eigenspaces of the associated linearization. We introduce projective coordinates to de-singularize the dynamics near the trivial state and track relevant invariant manifolds all the way to the fold point. We then use geometric singular perturbation theory and blow-up techniques to locate the desired intersection of invariant manifolds. For stationary ramps, the front is governed by the slow passage through the instantaneous pitchfork bifurcation with inner expansion given by the unique Hastings-McLeod connecting solution of Painlevé's second equation. We once again use geometric singular perturbation theory and blow-up to track invariant manifolds into a neighborhood of the non-hyperbolic point where the ramp passes through zero and to locate intersections.
△ Less
Submitted 18 December, 2022;
originally announced December 2022.
-
A new class of chimeras in locally coupled oscillators with small-amplitude, high-frequency asynchrony and large-amplitude, low-frequency synchrony
Authors:
Tasso J. Kaper,
Theodore Vo
Abstract:
Chimeras are surprising yet important states in which domains of decoherent (asynchronous) and coherent (synchronous) oscillations co-exist. In this article, we report on the discovery of a new class of chimeras, called {\it mixed-amplitude chimera states}, in which the structures, amplitudes, and frequencies of the oscillations differ substantially in the decoherent and coherent regions. These mi…
▽ More
Chimeras are surprising yet important states in which domains of decoherent (asynchronous) and coherent (synchronous) oscillations co-exist. In this article, we report on the discovery of a new class of chimeras, called {\it mixed-amplitude chimera states}, in which the structures, amplitudes, and frequencies of the oscillations differ substantially in the decoherent and coherent regions. These mixed-amplitude chimeras exhibit domains of decoherent small-amplitude oscillations (phase waves) coexisting with domains of stable and coherent large-amplitude or mixed-mode oscillations. They are observed in a prototypical bistable partial differential equation with spatially homogeneous kinetics and purely local, isotropic diffusion. New bifurcations are identified in which the mixed-amplitude chimeras emerge from, or are annihilated in, common large-amplitude solutions. Also, key singularities, folded nodes and folded saddles, arising commonly in multi-scale, bistable systems play important roles, and these have not previously been studied in systems with chimeras. The discovery of these mixed-amplitude chimeras is an important advance for understanding some processes in neuroscience, pattern formation, and physics which involve both small-amplitude and large-amplitude oscillations. It may also be of use for understanding some aspects of EEG recordings from animals that exhibit unihemispheric slow-wave sleep.
△ Less
Submitted 16 August, 2021; v1 submitted 17 May, 2021;
originally announced May 2021.
-
Delayed Hopf bifurcation and space-time buffer curves in the Complex Ginzburg-Landau equation
Authors:
Ryan Goh,
Tasso J. Kaper,
Theodore Vo
Abstract:
In this article, the phenomenon of delayed Hopf bifurcations (DHB) in reaction-diffusion PDEs is analyzed in the cubic Complex Ginzburg-Landau equation with a slowly-varying parameter. We use the classical asymptotic methods of stationary phase and steepest descents to show that solutions which approach the attracting quasi-steady state (QSS) before the Hopf bifurcation remain near that state for…
▽ More
In this article, the phenomenon of delayed Hopf bifurcations (DHB) in reaction-diffusion PDEs is analyzed in the cubic Complex Ginzburg-Landau equation with a slowly-varying parameter. We use the classical asymptotic methods of stationary phase and steepest descents to show that solutions which approach the attracting quasi-steady state (QSS) before the Hopf bifurcation remain near that state for long times after the Hopf bifurcation and the QSS has become repelling. In the complex time plane, the phase function of the linear PDE has a saddle point, and the Stokes and anti-Stokes lines are central to the asymptotics. The nonlinear terms are treated by applying an iterative method to the mild form of the PDE given by perturbations about the linear particular solution. This tracks the closeness of solutions near the attracting and repelling QSS. Next, we show that beyond a key Stokes line through the saddle there is a space-time buffer curve along which the particular solution of the linear PDE ceases to be exponentially small, causing the solution of the nonlinear PDE to diverge from the repelling QSS and exhibit large-amplitude oscillations. The homogeneous solution also stops being exponentially small in a spatially dependent manner, as determined also by the initial time. We find four different cases of DHB, depending on the competition between the homogeneous and particular solutions, and we quantify how these depend on system parameters. Examples are presented for each case, with uni-modal, spatially-periodic, smooth step, and algebraically-growing source terms. Also, rich spatio-temporal dynamics are observed in the post-DHB oscillations. Finally, it is shown that large-amplitude source terms can be designed so that solutions spend substantially longer times near the repelling QSS, and hence region-specific control over the delayed onset of oscillations can be achieved.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
Delayed bifurcation phenomena in reaction-diffusion equations: persistence of canards and slow passage through Hopf bifurcations
Authors:
Tasso J. Kaper,
Theodore Vo
Abstract:
In the context of a spatially extended model for the electrical activity in a pituitary lactotroph cell line, we establish that two delayed bifurcation phenomena from ODEs ---folded node canards and slow passage through Hopf bifurcations--- persist in the presence of diffusion. For canards, the single cell (ODE) model exhibits canard-induced bursting. Numerical simulations of the PDE reveal rich s…
▽ More
In the context of a spatially extended model for the electrical activity in a pituitary lactotroph cell line, we establish that two delayed bifurcation phenomena from ODEs ---folded node canards and slow passage through Hopf bifurcations--- persist in the presence of diffusion. For canards, the single cell (ODE) model exhibits canard-induced bursting. Numerical simulations of the PDE reveal rich spatio-temporal canard dynamics, and the transitions between different bursts are mediated by spatio-temporal maximal canards. The ODE model also exhibits delayed loss of stability due to slow passage through Hopf bifurcations. Numerical simulations of the PDE reveal that this delayed stability loss persists in the presence of diffusion. To quantify and predict the delayed loss of stability, we show that the Complex Ginzburg-Landau equation exhibits the same property, and derive a formula for the space-time boundary that acts as a buffer curve beyond which the delayed onset of oscillations must occur.
△ Less
Submitted 13 April, 2018;
originally announced April 2018.
-
Modeling the Dynamics of Glacial Cycles
Authors:
Hans Engler,
Hans G. Kaper,
Tasso J. Kaper,
Theodore Vo
Abstract:
This article is concerned with the dynamics of glacial cycles observed in the geological record of the Pleistocene Epoch. It focuses on a conceptual model proposed by Maasch and Saltzman [J. Geophys. Res.,95, D2 (1990), pp. 1955-1963], which is based on physical arguments and emphasizes the role of atmospheric CO2 in the generation and persistence of periodic orbits (limit cycles). The model consi…
▽ More
This article is concerned with the dynamics of glacial cycles observed in the geological record of the Pleistocene Epoch. It focuses on a conceptual model proposed by Maasch and Saltzman [J. Geophys. Res.,95, D2 (1990), pp. 1955-1963], which is based on physical arguments and emphasizes the role of atmospheric CO2 in the generation and persistence of periodic orbits (limit cycles). The model consists of three ordinary differential equations with four parameters for the anomalies of the total global ice mass, the atmospheric CO2 concentration, and the volume of the North Atlantic Deep Water (NADW). In this article, it is shown that a simplified two-dimensional symmetric version displays many of the essential features of the full model, including equilibrium states, limit cycles, their basic bifurcations, and a Bogdanov-Takens point that serves as an organizing center for the local and global dynamics. Also, symmetry breaking splits the Bogdanov-Takens point into two, with different local dynamics in their neighborhoods.
△ Less
Submitted 21 May, 2017;
originally announced May 2017.
-
Dynamical systems analysis of the Maasch-Saltzman model for glacial cycles
Authors:
Hans Engler,
Hans G. Kaper,
Tasso J. Kaper,
Theodore Vo
Abstract:
This article is concerned with the internal dynamics of a conceptual model proposed by Maasch and Saltzman [J. Geophys. Res., 95, D2 (1990) 1955-1963] to explain central features of the glacial cycles observed in the climate record of the Pleistocene Epoch. It is shown that, in most parameter regimes, the long-term system dynamics occur on certain intrinsic two-dimensional invariant manifolds in t…
▽ More
This article is concerned with the internal dynamics of a conceptual model proposed by Maasch and Saltzman [J. Geophys. Res., 95, D2 (1990) 1955-1963] to explain central features of the glacial cycles observed in the climate record of the Pleistocene Epoch. It is shown that, in most parameter regimes, the long-term system dynamics occur on certain intrinsic two-dimensional invariant manifolds in the three-dimensional state space. These invariant manifolds are slow manifolds when the characteristic time scales for the total global ice mass and the volume of North Atlantic Deep Water are well- separated, and they are center manifolds when the characteristic time scales for the total global ice mass and the volume of North Atlantic Deep Water are comparable. In both cases, the reduced dynamics on these manifolds are governed by Bogdanov-Takens singularities, and the bifurcation curves associated to these singularities organize the parameter regions in which the model exhibits glacial cycles.
This work was submitted March 30, 2017.
△ Less
Submitted 17 May, 2017;
originally announced May 2017.
-
On the Existence of and Relationship between Canards and Torus Canards in Forced Slow/Fast Systems
Authors:
Han Wang,
Theodore Vo,
Tasso J. Kaper
Abstract:
Canards are special solutions of slow/fast systems which are ubiquitous in neuroscience and electrical engineering. Two distinct classes of canard solutions have been identified and carefully studied: folded singularity canards and torus canards. Recently, an explicit and analytic relationship between these seemingly unrelated families of solutions was established in the classical forced van der P…
▽ More
Canards are special solutions of slow/fast systems which are ubiquitous in neuroscience and electrical engineering. Two distinct classes of canard solutions have been identified and carefully studied: folded singularity canards and torus canards. Recently, an explicit and analytic relationship between these seemingly unrelated families of solutions was established in the classical forced van der Pol equation (Burke et al., J. Nonlinear Sci. 26:405--451, 2015). In this article, we generalize the results of Burke et al. (2015) to the broader class of time-periodically forced planar slow/fast systems, which includes the forced van der Pol and the forced FitzHugh-Nagumo equations. We analytically determine the parameter values in this class of systems for which the two types of canard solutions exist, and show that the branches of primary canards of folded singularities continue into those of the torus canards as the forcing frequency is increased. We illustrate our results in the paradigm problem of the forced FitzHugh-Nagumo system.
△ Less
Submitted 7 July, 2016;
originally announced July 2016.
-
From Canards of Folded Singularities to Torus Canards in a Forced van der Pol Equation
Authors:
J. Burke,
M. Desroches,
A. Granados,
T. J. Kaper,
M. Krupa,
T. Vo
Abstract:
We study canard solutions of the forced van der Pol (fvdP) equation in the relaxation limit for low-, intermediate-, and high-frequency periodic forcing. A central numerical observation is that there are two branches of canards in parameter space which extend across all positive forcing frequencies. For low-frequency forcing, we demonstrate the existence of primary maximal canards induced by folde…
▽ More
We study canard solutions of the forced van der Pol (fvdP) equation in the relaxation limit for low-, intermediate-, and high-frequency periodic forcing. A central numerical observation is that there are two branches of canards in parameter space which extend across all positive forcing frequencies. For low-frequency forcing, we demonstrate the existence of primary maximal canards induced by folded saddle-nodes of type I, and establish explicit formulas for the parameter values at which the primary maximal canards and their folds exist. We then turn to the intermediate- and high-frequency forcing regimes, and show that the fvdP equation possesses torus canards instead. These torus canards consist of long segments near families of attracting and repelling limit cycles of the fast system, in alternation. We also derive explicit formulas for the parameter values at which the maximal torus canards and their folds exist. Primary maximal canards and maximal torus canards correspond geometrically to the situation in which the persistent manifolds near the family of attracting limit cycles coincide to all orders with the persistent manifolds that lie near the family of repelling limit cycles. The formulas derived for the folds of maximal canards in all three frequency regimes turn out to be representations of a single formula in the appropriate parameter regimes, and this unification confirms our numerical observation. In addition, we study the secondary canards induced by the folded singularities in the low-frequency regime and find that their fold curves turn around in the intermediate-frequency regime. We identify the mechanism responsible for this turning. Finally, we show that the fvdP equation is a normal form for a class of single-frequency periodically-driven slow/fast systems with two fast variables and one slow variable which possess a nondegenerate fold of limit cycles.
△ Less
Submitted 15 April, 2015;
originally announced April 2015.
-
Adiabatic stability under semi-strong interactions: The weakly damped regime
Authors:
Thomas Bellsky,
Arjen Doelman,
Tasso J. Kaper,
Keith Promislow
Abstract:
We rigorously derive multi-pulse interaction laws for the semi-strong interactions in a family of singularly-perturbed and weakly-damped reaction-diffusion systems in one space dimension. Most significantly, we show the existence of a manifold of quasi-steady N-pulse solutions and identify a "normal-hyperbolicity" condition which balances the asymptotic weakness of the linear damping against the a…
▽ More
We rigorously derive multi-pulse interaction laws for the semi-strong interactions in a family of singularly-perturbed and weakly-damped reaction-diffusion systems in one space dimension. Most significantly, we show the existence of a manifold of quasi-steady N-pulse solutions and identify a "normal-hyperbolicity" condition which balances the asymptotic weakness of the linear damping against the algebraic evolution rate of the multi-pulses. Our main result is the adiabatic stability of the manifolds subject to this normal hyperbolicity condition. More specifically, the spectrum of the linearization about a fixed N-pulse configuration contains essential spectrum that is asymptotically close to the origin as well as semi-strong eigenvalues which move at leading order as the pulse positions evolve. We characterize the semi-strong eigenvalues in terms of the spectrum of an explicit N by N matrix, and rigorously bound the error between the N-pulse manifold and the evolution of the full system, in a polynomially weighted space, so long as the semi-strong spectrum remains strictly in the left-half complex plane, and the essential spectrum is not too close to the origin.
△ Less
Submitted 18 January, 2013;
originally announced January 2013.
-
A showcase of torus canards in neuronal bursters
Authors:
John Burke,
Mathieu Desroches,
Anna M. Barry,
Tasso J. Kaper,
Mark A. Kramer
Abstract:
Rapid action potential generation --- spiking --- and alternating intervals of spiking and quiescence --- bursting --- are two dynamic patterns observed in neuronal activity. In computational models of neuronal systems, the transition from spiking to bursting often exhibits complex bifurcation structure. One type of transition involves the torus canard, which was originally observed in a simple bi…
▽ More
Rapid action potential generation --- spiking --- and alternating intervals of spiking and quiescence --- bursting --- are two dynamic patterns observed in neuronal activity. In computational models of neuronal systems, the transition from spiking to bursting often exhibits complex bifurcation structure. One type of transition involves the torus canard, which was originally observed in a simple biophysical model of a Purkinje cell. In this article, we expand on that original result by showing that torus canards arise in a broad array of well-known computational neuronal models with three different classes of bursting dynamics: sub-Hopf/fold cycle bursting, circle/fold cycle bursting, and fold/fold cycle bursting. The essential features that these models share are multiple time scales leading naturally to decomposition into slow and fast systems, a saddle-node of periodic orbits in the fast system, and a torus bifurcation in the full system. We show that the transition from spiking to bursting in each model system is given by an explosion of torus canards. Based on these examples, as well as on emerging theory, we propose that torus canards are a common dynamic phenomenon separating the regimes of spiking and bursting activity.
△ Less
Submitted 14 July, 2011;
originally announced July 2011.
-
Analysis of the accuracy and convergence of equation-free projection to a slow manifold
Authors:
A. Zagaris,
C. W. Gear,
T. J. Kaper,
I. G. Kevrekidis
Abstract:
In [C.W. Gear, T.J. Kaper, I.G. Kevrekidis, and A. Zagaris, Projecting to a Slow Manifold: Singularly Perturbed Systems and Legacy Codes, SIAM J. Appl. Dyn. Syst. 4 (2005) 711-732], we developed a class of iterative algorithms within the context of equation-free methods to approximate low-dimensional, attracting, slow manifolds in systems of differential equations with multiple time scales. For…
▽ More
In [C.W. Gear, T.J. Kaper, I.G. Kevrekidis, and A. Zagaris, Projecting to a Slow Manifold: Singularly Perturbed Systems and Legacy Codes, SIAM J. Appl. Dyn. Syst. 4 (2005) 711-732], we developed a class of iterative algorithms within the context of equation-free methods to approximate low-dimensional, attracting, slow manifolds in systems of differential equations with multiple time scales. For user-specified values of a finite number of the observables, the m-th member of the class of algorithms (m = 0, 1, ...) finds iteratively an approximation of the appropriate zero of the (m+1)-st time derivative of the remaining variables and uses this root to approximate the location of the point on the slow manifold corresponding to these values of the observables. This article is the first of two articles in which the accuracy and convergence of the iterative algorithms are analyzed. Here, we work directly with explicit fast--slow systems, in which there is an explicit small parameter, epsilon, measuring the separation of time scales. We show that, for each m = 0, 1, ..., the fixed point of the iterative algorithm approximates the slow manifold up to and including terms of O(epsilon^m). Moreover, for each m, we identify explicitly the conditions under which the m-th iterative algorithm converges to this fixed point. Finally, we show that when the iteration is unstable (or converges slowly) it may be stabilized (or its convergence may be accelerated) by application of the Recursive Projection Method. Alternatively, the Newton-Krylov Generalized Minimal Residual Method may be used. In the subsequent article, we will consider the accuracy and convergence of the iterative algorithms for a broader class of systems-in which there need not be an explicit small parameter-to which the algorithms also apply.
△ Less
Submitted 11 July, 2007;
originally announced July 2007.
-
Fast and Slow Dynamics for the Computational Singular Perturbation Method
Authors:
Antonios Zagaris,
Hans G. Kaper,
Tasso J. Kaper
Abstract:
The Computational Singular Perturbation (CSP) method of Lam and Goussis is an iterative method to reduce the dimensionality of systems of ordinary differential equations with multiple time scales. In [J. Nonlin. Sci., to appear], the authors showed that each iteration of the CSP algorithm improves the approximation of the slow manifold by one order. In this paper, it is shown that the CSP method…
▽ More
The Computational Singular Perturbation (CSP) method of Lam and Goussis is an iterative method to reduce the dimensionality of systems of ordinary differential equations with multiple time scales. In [J. Nonlin. Sci., to appear], the authors showed that each iteration of the CSP algorithm improves the approximation of the slow manifold by one order. In this paper, it is shown that the CSP method simultaneously approximates the tangent spaces to the fast fibers along which solutions relax to the slow manifold. Again, each iteration adds one order of accuracy. In some studies, the output of the CSP algorithm is postprocessed by linearly projecting initial data onto the slow manifold along these approximate tangent spaces. These projections, in turn, also become successively more accurate.
△ Less
Submitted 16 January, 2004;
originally announced January 2004.
-
Analysis of the CSP Reduction Method for Chemical Kinetics
Authors:
Antonios Zagaris,
Hans G. Kaper,
Tasso J. Kaper
Abstract:
This article is concerned with the asymptotic accuracy of the Computational Singular Perturbation (CSP) method developed by Lam and Goussis to reduce the dimensionality of a system of chemical kinetics equations. The method exploits the presence of disparate time scales to model the dynamics by an evolution equation on a lower-dimensional slow manifold. In this article it is shown that the succe…
▽ More
This article is concerned with the asymptotic accuracy of the Computational Singular Perturbation (CSP) method developed by Lam and Goussis to reduce the dimensionality of a system of chemical kinetics equations. The method exploits the presence of disparate time scales to model the dynamics by an evolution equation on a lower-dimensional slow manifold. In this article it is shown that the successive applications of the CSP algorithm generate, order by order, the asymptotic expansion of a slow manifold. The results are illustrated on the Michaelis-Menten-Henri equations of enzyme kinetics.
△ Less
Submitted 26 May, 2003;
originally announced May 2003.
-
Asymptotic analysis of two reduction methods for systems of chemical reactions
Authors:
Hans G. Kaper,
Tasso J. Kaper
Abstract:
This article concerns two methods for reducing large systems of chemical kinetics equations, namely, the method of intrinsic low-dimensional manifolds (ILDMs) due to Maas and Pope and an iterative method due to Fraser and further developed by Roussel and Fraser. Both methods exploit the separation of fast and slow reaction time scales to find low-dimensional manifolds in the space of species con…
▽ More
This article concerns two methods for reducing large systems of chemical kinetics equations, namely, the method of intrinsic low-dimensional manifolds (ILDMs) due to Maas and Pope and an iterative method due to Fraser and further developed by Roussel and Fraser. Both methods exploit the separation of fast and slow reaction time scales to find low-dimensional manifolds in the space of species concentrations where the long-term dynamics are played out. The analysis is carried out in the context of systems of ordinary differential equations with multiple time scales and geometric singular perturbation theory. A small parameter $\eps$ measures the separation of time scales. The underlying assumptions are that the system of equations has an asymptotically stable slow manifold $\mathcal{M}_0$ in the limit as $\eps \downarrow 0$ and that there exists a slow manifold $\mathcal{M}_\eps$ for all sufficiently small positive $\eps$, which is asymptotically close to $\mathcal{M}_0$.
It is shown that the ILDM method yields a low-dimensional manifold whose asymptotic expansion agrees with the asymptotic expansion of $\mathcal{M}_\eps$ up to and including terms of $\mathcal{O} (\eps)$. The error at $\mathcal{O} (\eps^2)$ is proportional to the local curvature of $\mathcal{M}_0$. The iterative method generates, term by term, the asymptotic expansion of the slow manifold $\mathcal{M}_\eps$. The analytical results are illustrated in two examples.
△ Less
Submitted 15 October, 2001;
originally announced October 2001.
