Skip to main content
SpringerLink
Log in

A Toolbox for Nonlinear Dynamics

  • Chapter
Book cover Computer Aided Proofs in Analysis

Part of the book series: The IMA Volumes in Mathematics and Its Applications ((IMA,volume 28))

Abstract

Using the main problem of artificial satellite theory as an illustration, we review several developments which have had a significant impact on research in nonlinear dynamics. On the mathematical front, we point to the theory of Lie transformations; in the area of computational software, we explain how massively data parallel machines open the way for symbolic solution of large problems. Finally, we show how color graphics assist in the qualitative analysis of dynamical systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Deprit and A. Delie, Trojan Orbits I. D’Alembert Series at L 4 , Icarus, 4 (1965), pp. 242–266.

    Article  MathSciNet  Google Scholar 

  2. A. Deprit, Limiting Orbits at the Equilateral Centers of Libration, Astron. J., 71 (1966), pp. 77–87.

    Article  Google Scholar 

  3. A. Deprit, J. M. A. Danby and A. Rom, The Symbolic Manipulation of Poisson Series, Boeing Document D1-82-0481 (1965).

    Google Scholar 

  4. J. M. Gerard, I. Iszak and M. P. Barnett, Mechanization of Tedious Algebra: The Newcomb Operators of Planetary Theory, Comm. ACM, 8 (1965), pp. 27–32.

    Article  MATH  Google Scholar 

  5. D. Barton, A scheme for manipulative algebra on a computer, Computer J., 9 (1967), pp. 340–344.

    Google Scholar 

  6. A. Deprit, J. Henrard and A. Rom, Trojan Orbits II. Birkhoff’s Normalization, Icarus, 6 (1967), pp. 381–406.

    Article  Google Scholar 

  7. A. Deprit and A. Rom, The Main Problem of Artificial Satellite Theory for Small and Moderate Eccentricities, Celest. Mech., 2 (1970), pp. 166–206.

    Article  MathSciNet  MATH  Google Scholar 

  8. A. Deprit, J. Henrard and A. Rom, Lunar Ephemeris: Delaunay’s Theory revisited, Science, 168 (1970), pp. 1569–1570.

    Article  Google Scholar 

  9. A. Rom, Mechanized Algebraic Operations (MAO), Celest. Mech., 1 (1970), pp. 301–319.

    Article  MathSciNet  MATH  Google Scholar 

  10. A. Deprit, Canonical Transformations Depending on a Small Parameter, Celest. Mech., 1 (1969), pp. 12–31.

    Article  MathSciNet  MATH  Google Scholar 

  11. A. Deprit, Dynamics of Orbiting Dust under Radiation Pressure, The Big Bang and Georges Lemaître, ed A. Berger, The Reidel Publishing Company, Dordrecht, (1984), pp. 151–180.

    Google Scholar 

  12. S. L. Coffey, A. Deprit and B. R. Miller, The Quadratic Zeeman Effect in Moderately Strong Magnetic Fields, Ann. New York Acad. Sc, 497 (1987), pp. 22–36.

    Article  MathSciNet  Google Scholar 

  13. A. Deprit, S. Ferrer, M.-J. Marco and J. Palacián, The Hydrogen Atom in Parallel Electric and Magnetic Fields (m=0), Physics B, submitted for publication.

    Google Scholar 

  14. A. Deprit and B. R. Miller, Normalization in the Face of Integrability, Ann. New York Acad. Sc, 536 (1988), pp. 101–126.

    Article  MathSciNet  Google Scholar 

  15. G.-I. Hori, Theory of General Perturbations with Unspecified Canonical Variables, Proc. Astron. Soc. Japan, 18 (1969), pp. 1287–1296.

    Google Scholar 

  16. A. Deprit, The Ideal Resonance Problem at First Order, Advances in the Astronautical Sciences, 46 (1982), pp. 521–526.

    Google Scholar 

  17. J. Henrard and P. Wauthier, A Geometric Approach to the Ideal Resonance Problem, Celest. Mech., 44 (1989), pp. 227–238..

    MathSciNet  Google Scholar 

  18. A. Deprit, The Elimination of the Parallax in Satellite Theory, Celest. Mech., 24 (1981), pp.111–153.

    Article  MathSciNet  MATH  Google Scholar 

  19. S. L. Coffey and A. Deprit, A Third Order Solution to the Main Problem in Satellite Theory, J. Guidance, Control, and Dynamics, 5 (1982), pp. 366–371.

    Article  MathSciNet  MATH  Google Scholar 

  20. A. Rom, Echeloned Series Processor (MAO), Celest. Mech., 3 (1971), pp. 331–345.

    Article  MATH  Google Scholar 

  21. R. R. Dasenbrock, Algebraic Manipulation by Computer, NRL Report 7564 (1973).

    Google Scholar 

  22. — A FORTRAN-Based Program for Computerized Algebraic Manipulation, NRL Report 8611 (1982).

    Google Scholar 

  23. A. Deprit and E. Deprit, Massively Parallel Symbolic Computation, Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ACM Press, New York, (1989), pp. 308–316.

    Google Scholar 

  24. — Processing Poisson Series in Parallel, J. Symbolic Computation, submitted for publication.

    Google Scholar 

  25. S. L. Coffey, A. Deprit and B. R. Miller, The Critical Inclination in Artificial Satellite Theory, Celest. Mech., 39 (1987), pp. 365–406.

    MathSciNet  Google Scholar 

  26. S. Wolfram, Mathematica. A System for Doing Mathematics by Computer, Addison-Wesley, Reading, MA, 1988.

    Google Scholar 

  27. S. L. Coffey, A. Deprit, E. Deprit and L. Healy, Visualization of Phase Flows, submitted for publication.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Naval Research Laboratory, Washington, D.C., 20375, USA

    Shannon Coffey & Étienne Deprit

  2. National Institute of Standards and Technology, Gaithersburg, MD, 20899, USA

    André Deprit & Bruce R. Miller

  3. NAS/NRC Cooperative Research Associate at the Naval Research Laboratory, USA

    Liam Healy

Authors
  1. Shannon Coffey
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. André Deprit
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Étienne Deprit
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Liam Healy
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Bruce R. Miller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departments of Mathematics and Computer Science, University of Cincinnati, Cincinnati, OH, 45221, USA

    Kenneth R. Meyer

  2. Department of Computer Science, University of Cincinnati, Cincinnati, OH, 45221, USA

    Dieter S. Schmidt

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag New York Inc.

About this chapter

Cite this chapter

Coffey, S., Deprit, A., Deprit, É., Healy, L., Miller, B.R. (1991). A Toolbox for Nonlinear Dynamics. In: Meyer, K.R., Schmidt, D.S. (eds) Computer Aided Proofs in Analysis. The IMA Volumes in Mathematics and Its Applications, vol 28. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-9092-3_10

Download citation

  • DOI: https://doi.org/10.1007/978-1-4613-9092-3_10

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4613-9094-7

  • Online ISBN: 978-1-4613-9092-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation