Classification of constrained differential equations embedded in the theory of slow fast systems: Ak singularities and geometric desingularization (original) (raw)

Discretized fast-slow systems near transcritical singularities

Nonlinearity, 2019

We extend slow manifolds near a transcritical singularity in a fast-slow system given by the explicit Euler discretization of the corresponding continuous-time normal form. The analysis uses the blow-up method and direct trajectory-based estimates. We prove that the qualitative behaviour is preserved by a time-discretization with sufficiently small step size. This step size is fully quantified relative to the time scale separation. Our proof also yields the continuous-time results as a special case and provides more detailed calculations in the classical (or scaling) chart.

Discretized fast–slow systems near pitchfork singularities

Journal of Difference Equations and Applications, 2019

Motivated by the normal form of a fast-slow ordinary differential equation exhibiting a pitchfork singularity we consider the discrete-time dynamical system that is obtained by an application of the explicit Euler method. Tracking trajectories in the vicinity of the singularity we show, how the slow manifold extends beyond the singular point and give an estimate on the contraction rate of a transition mapping. The proof relies on the blow-up method suitably adapted to the discrete setting where a key technical contribution are precise estimates for a cubic map in the central rescaling chart.

The hyperbolic umbilic singularity in fast-slow systems

2022

Fast-slow systems with three slow variables and gradient structure in the fast variables have, generically, hyperbolic umbilic, elliptic umbilic or swallowtail singularities. In this article we provide a detailed local analysis of a fast-slow system near a hyperbolic umbilic singularity. In particular, we show that under some appropriate non-degeneracy conditions on the slow flow, the attracting slow manifolds jump onto the fast regime and fan out as they cross the hyperbolic umbilic singularity. The analysis is based on the blow-up technique, in which the hyperbolic umbilic point is blown up to a 5-dimensional sphere. Moreover, the reduced slow flow is also blown up and embedded into the blown-up fast formulation. Further, we describe how our analysis is related to classical theories such as catastrophe theory and constrained differential equations.

Contact singularities in nonstandard slow-fast dynamical systems

arXiv (Cornell University), 2020

We develop the contact singularity theory for singularly-perturbed (or 'slow-fast') vector fields of the general form z ′ = H(z, ε), z ∈ R n and ε ≪ 1. Our main result is the derivation of computable, coordinate-independent defining equations for contact singularities under an assumption that the leading-order term of the vector field admits a suitable factorization. This factorization can in turn be computed explicitly in a wide variety of applications. We demonstrate these computable criteria by locating contact folds and, for the first time, contact cusps in some nonstandard models of biochemical oscillators.

Discretized Fast-Slow Systems with Canard Connections in Two Dimensions

2020

We study the problem of preservation of canard connections for time discretized fast-slow systems with canard fold points. In order to ensure such preservation, certain favorable structure preserving properties of the discretization scheme are required. Conventional schemes do not possess such properties. We perform a detailed analysis for an unconventional discretization scheme due to Kahan. The analysis uses the blow-up method to deal with the loss of normal hyperbolicity at the canard point. We show that the structure preserving properties of the Kahan discretization imply a similar result as in continuous time, guaranteeing the occurrence of canard connections between attracting and repelling slow manifolds upon variation of a bifurcation parameter. The proof is based on a non-canonical Melnikov computation along an invariant separating curve, which organizes the dynamics of the map similarly to the ODE problem.

Discretized Fast-Slow Systems with Canard Points in Two Dimensions

arXiv: Dynamical Systems, 2019

We study the behaviour of slow manifolds for two different discretization schemes of fast-slow systems with canard fold points. The analysis uses the blow-up method to deal with the loss of normal hyperbolicity at the canard point. While the Euler method does not preserve the folded canard, we can show that the Kahan discretization allows for a similar result as in continuous time, guaranteeing the occurence of canard connections between attracting and repelling slow manifolds upon variation of a bifurcation parameter. Furthermore, we investigate the existence and properties of a formal conserved quantity in the rescaled Kahan map.

Analysis of a slow–fast system near a cusp singularity

Journal of Differential Equations, 2016

This paper studies a slow-fast system whose principal characteristic is that the slow manifold is given by the critical set of the cusp catastrophe. Our analysis consists of two main parts: first, we recall a formal normal form suitable for systems as the one studied here; afterwards, taking advantage of this normal form, we investigate the transition near the cusp singularity by means of the blow up technique. Our contribution relies heavily in the usage of normal form theory, allowing us to refine previous results.

A survey on the blow-up method for fast-slow systems

Mexican Mathematicians in the World

In this document we review a geometric technique, called the blow-up method, as it has been used to analyze and understand the dynamics of fast-slow systems around non-hyperbolic points. The blow-up method, having its origins in algebraic geometry, was introduced to the study of fast-slow systems in the seminal work by Dumortier and Roussarie in 1996, whose aim was to give a geometric approach and interpretation of canards in the van der Pol oscillator. Following Dumortier and Roussarie, many efforts have been performed to expand the capabilities of the method and to use it in a wide range of scenarios. Our goal is to present in a concise and compact form those results that, based on the blow-up method, are now the foundation of the geometric theory of fast-slow systems with non-hyperbolic singularities. Due to their great importance in the theory of fast-slow systems, we cover fold points as one of the main topics. Furthermore, we also present several other singularities such as Ho...

Discretized Fast–Slow Systems with Canards in Two Dimensions

Journal of Nonlinear Science, 2022

We study the problem of preservation of maximal canards for time discretized fast–slow systems with canard fold points. In order to ensure such preservation, certain favorable structure-preserving properties of the discretization scheme are required. Conventional schemes do not possess such properties. We perform a detailed analysis for an unconventional discretization scheme due to Kahan. The analysis uses the blow-up method to deal with the loss of normal hyperbolicity at the canard point. We show that the structure-preserving properties of the Kahan discretization for quadratic vector fields imply a similar result as in continuous time, guaranteeing the occurrence of maximal canards between attracting and repelling slow manifolds upon variation of a bifurcation parameter. The proof is based on a Melnikov computation along an invariant separating curve, which organizes the dynamics of the map similarly to the ODE problem.