English

Automated computation of robust normal forms of planar analytic vector fields

Dynamical Systems 2010-01-24 v1

Abstract

We construct an auto-validated algorithm that calculates a close to identity change of variables which brings a general saddle point into a normal form. The transformation is robust in the underlying vector field, and is analytic on a computable neighborhood of the saddle point. The normal form is suitable for computations aimed at enclosing the flow close to the saddle, and the time it takes a trajectory to pass it. Several examples illustrate the usefulness of this method.

Keywords

Cite

@article{arxiv.0810.5282,
  title  = {Automated computation of robust normal forms of planar analytic vector fields},
  author = {Tomas Johnson and Warwick Tucker},
  journal= {arXiv preprint arXiv:0810.5282},
  year   = {2010}
}
R2 v1 2026-06-21T11:36:11.809Z