Skip to main content

On the Existence and the Verified Determination of Homoclinic and Heteroclinic Orbits of the Origin for the Lorenz Equations

  • Chapter
Validation Numerics

Part of the book series: Computing Supplementum ((COMPUTING,volume 9))

Abstract

On the Existence and the Verified Determination of Homoclinic and Heteroclinic Orbits of the Origin for the Lorenz Equations. For suitable choices of the parameters, the Lorenz ODEs possess (i) stable and unstable manifolds of the stationary point 0 at the origin, (ii) a homoclinic orbit of 0, and (iii) a heteroclinic orbit connecting a periodic orbit with 0. With the exception of only partial results regarding (iii), all addressed orbits are enclosed and verified as follows: (a) enclosures of truncated series expansions and of their remainder terms yield guaranteed starting intervals at some distance from 0, whose width is not more than two units of the last mantissa digit, and (b) a step-size controlled version of Lohner’s enclosure algorithm for IVPs yields the continuations.

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

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.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. Adams, E., Ames, W. F., Kühn, W., Rufeger, W., Spreuer, H.: Computational chaos may be due to a single local error. J. Comp. Physics 104, 241 – 250 (1993).

    Article  MATH  Google Scholar 

  2. Adams, E.: The reliability question for discretizations ofevolution problems. In: Adams, E., Kulisch, U. (eds.) Scientific Computing with automatic result verification, pp. 423 – 526. Boston: Academic Press 1993.

    Chapter  Google Scholar 

  3. Beermann, S.: private communication.

    Google Scholar 

  4. Guckenheimer, J., Holmes, P.: Nonlinear oscillations, dynamical systems, and bifurcations of vector fields, 2nd edn. New York: Springer 1983.

    MATH  Google Scholar 

  5. Hale, J. K., Sternberg, N.: Onset of chaos in differential delay equations. J. Comp. Physics 77, 221 – 239 (1988).

    Article  MathSciNet  MATH  Google Scholar 

  6. Kühn, W.: Einschließung von periodischen Lösungen gewöhnlicher Differentialgleichungen und Anwendung auf das Lorenzsystem. Diploma Thesis. Karlsruhe, 1990.

    Google Scholar 

  7. Kulisch, U. W., Miranker, W. L.: The arithmetic of the digital computer: A new approach. SIAM Review 28, 1 – 40 (1986).

    Article  MathSciNet  MATH  Google Scholar 

  8. Lohner, R.: Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen, Doctoral Dissertation, Karlsruhe, 1988.

    Google Scholar 

  9. Lorenz, E. N.: Deterministic nonperiodic flow. J. Atmosph. Sc 20, 130 – 141 (1963).

    Article  Google Scholar 

  10. Rufeger, W.: Numerische Ergebnisse der Himmelsmechanik und Entwicklung einer Schrittweitensteuerung des Lohnerschen Einschließungs-Algorithmus. Diploma Thesis, Karlsruhe, 1990.

    Google Scholar 

  11. Rufeger, W., Adams, E.: A step-size control for Lohner’s enclosure algorithm for ordinary differential equations with initial conditions. In: Adams, E., Kulisch, U. (eds.) Scientific computing with automatic result verifications, pp. 283 – 299. Boston: Academic Press 1993.

    Chapter  Google Scholar 

  12. Sparrow, C.: The Lorenz equations: Bifurcations, chaos, and stränge attractors. New York: Springer 1982.

    Google Scholar 

  13. Spreur, H., Adams, E.: Existence and verified enclosures of heteroclinic and homoclinic orbits for the Lorenz equations (in press).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Additional information

Dedicated to Professor U. Kulisch on the occasion of his 60th birthday

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag

About this chapter

Cite this chapter

Spreuer, H., Adams, E. (1993). On the Existence and the Verified Determination of Homoclinic and Heteroclinic Orbits of the Origin for the Lorenz Equations. In: Albrecht, R., Alefeld, G., Stetter, H.J. (eds) Validation Numerics. Computing Supplementum, vol 9. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6918-6_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-6918-6_17

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-82451-1

  • Online ISBN: 978-3-7091-6918-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics