Abstract

A generally applicable, automatic method for the efficient computation of a database of global dynamics of a multiparameter dynamical system is introduced. An outer approximation of the dynamics for each subset of the parameter range is computed using rigorous numerical methods and is represented by means of a directed graph. The dynamics is then decomposed into the recurrent and gradient-like parts by fast combinatorial algorithms and is classified via Morse decompositions. These Morse decompositions are compared at adjacent parameter sets via continuation to detect possible changes in the dynamics. The Conley index is used to study the structure of isolated invariant sets associated with the computed Morse decompositions and to detect the existence of certain types of dynamics. The power of the developed method is illustrated with an application to the two-dimensional density-dependent Leslie population model. An interactive visualization of the results of computations discussed in the paper can be accessed at the Web site http://chomp.rutgers.edu/database/, and the source code of the software used to obtain these results has also been made freely available.

MSC codes

  1. 37B35
  2. 37B30
  3. 37M99
  4. 37N25
  5. 92-08

Keywords

  1. database
  2. dynamical system
  3. Conley index
  4. Morse decomposition
  5. Leslie population models
  6. combinatorial dynamics
  7. multiparameter system

Get full access to this article

View all available purchase options and get full access to this article.

References

1.
H. Ban and W. Kalies, A computational approach to Conley's decomposition theorem, J. Comput. Nonlinear Dynam., 1 (2006), pp. 312–319.
2.
C. Conley, Isolated Invariant Sets and the Morse Index, CBMS Regional Conference Series in Mathematics 38, AMS, Providence, RI, 1978.
3.
J. M. Cushing, R. F. Costantino, B. Dennis, R. A. Desharnais, and S. M. Henson, Nonlinear population dynamics: Models, experiments and data, J. Theoret. Biol., 194 (1998), pp. 1–9.
4.
S. Day, R. Frongillo, and R. Treviño, Algorithms for rigorous entropy bounds and symbolic dynamics, SIAM J. Appl. Dyn. Syst., 7 (2008), pp. 1477–1506.
5.
S. Day, O. Junge, and K. Mischaikow, A rigorous numerical method for the global analysis of infinite-dimensional discrete dynamical systems, SIAM J. Appl. Dyn. Syst., 3 (2004), pp. 117–160.
6.
M. Dellnitz, G. Froyland, and O. Junge, The algorithms behind GAIO—set oriented numerical methods for dynamical systems, in Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems, B. Fiedler, ed., Springer-Verlag, New York, 2001, pp. 145–174.
7.
M. Dellnitz and A. Hohmann, A subdivision algorithm for the computation of unstable manifolds and global attractors, Numer. Math., 75 (1997), pp. 293–317.
8.
T. Kaczynski, K. Mischaikow, and M. Mrozek, Computational Homology, Appl. Math. Sci. 157, Springer-Verlag, New York, 2004.
9.
W. D. Kalies, K. Mischaikow, and R. C. A. M. VanderVorst, An algorithmic approach to chain recurrence, Found. Comput. Math., 5 (2005), pp. 409–449.
10.
A. Lander, A calculus of purpose, PLoS Biology, 2 (2004), pp. 712–714.
11.
K. Mischaikow and M. Mrozek, Isolating neighborhoods and chaos, Japan J. Indust. Appl. Math., 12 (1995), pp. 205–236.
12.
K. Mischaikow and M. Mrozek, Chaos in the Lorenz equations: A computer-assisted proof, Bull. Amer. Math. Soc. (N.S.), 32 (1995), pp. 66–72.
13.
K. Mischaikow and M. Mrozek, Conley index, in Handbook of Dynamical Systems, Vol. 2, North–Holland, Amsterdam, 2002, pp. 393–460.
14.
K. Mischaikow, M. Mrozek, and P. Pilarczyk, Graph approach to the computation of the homology of continuous maps, Found. Comput. Math., 5 (2005), pp. 199–229.
15.
J. Montgomery, Cohomology of isolated invariant sets under perturbation, J. Differential Equations, 13 (1973), pp. 257–299.
16.
R. E. Moore, Interval Analysis, Prentice–Hall, Englewood Cliffs, NJ, 1966.
17.
M. Mrozek, An algorithm approach to the Conley index theory, J. Dynam. Differential Equations, 11 (1999), pp. 711–734.
18.
M. Mrozek, Index pairs algorithms, Found. Comput. Math., 6 (2006), pp. 457–493.
19.
P. Pilarczyk, A concurrent algorithm for the construction of Conley index pairs, in preparation.
20.
P. Pilarczyk and K. Stolot, Excision-preserving cubical approach to the algorithmic computation of the discrete Conley index, Topology Appl., 155 (2008), pp. 1149–1162.
21.
J. W. Robbin and D. Salamon, Dynamical systems, shape theory and the Conley index, Ergodic Theory Dynam. Systems, 8 (1988), pp. 375–393.
22.
S. J. Schreiber, Persistence despite perturbations for interacting populations, J. Theoret. Biol., 242 (2006), pp. 844–852.
23.
A. Szymczak, The Conley index and symbolic dynamics, Topology, 35 (1996), pp. 287–299.
24.
A. Szymczak, A combinatorial procedure for finding isolating neighborhoods and index pairs, Proc. Roy. Soc. Edinburgh Sect. A, 127 (1997), pp. 1075–1088.
25.
I. Ugarcovici and H. Weiss, Chaotic dynamics of a nonlinear density dependent population model, Nonlinearity, 17 (2004), pp. 1689–1711.
26.
Computer Assisted Proofs in Dynamics group, http://capd.wsb-nlu.edu.pl/.

Information & Authors

Information

Published In

cover image SIAM Journal on Applied Dynamical Systems
SIAM Journal on Applied Dynamical Systems
Pages: 757 - 789
ISSN (online): 1536-0040

History

Submitted: 9 September 2008
Accepted: 2 April 2009
Published online: 2 July 2009

MSC codes

  1. 37B35
  2. 37B30
  3. 37M99
  4. 37N25
  5. 92-08

Keywords

  1. database
  2. dynamical system
  3. Conley index
  4. Morse decomposition
  5. Leslie population models
  6. combinatorial dynamics
  7. multiparameter system

Authors

Affiliations

Metrics & Citations

Metrics

Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

Cited By

View Options

View options

PDF

View PDF

Media

Figures

Other

Tables

Share

Share

Copy the content Link

Share with email

Email a colleague

Share on social media

On May 28, 2024, our site will enter Read Only mode for a limited time in order to complete a platform upgrade. As a result, the following functions will be temporarily unavailable: registering new user accounts, any updates to existing user accounts, access token activations, and shopping cart transactions. Contact [email protected] with any questions.