Skip to main content
SpringerLink
Log in

Rigorous Numerical Approach to Isolation in Dynamical Systems on the Example of the Kuramoto-Sivashinsky Equation

  • Published:
Reliable Computing

Abstract

This paper describes a method of rigorous verification of an isolating neighborhood based on computer assisted computations. As an application we study the Kuramoto-Sivashinsky equation. The result of the computer assisted proof was directly used in [9] to prove the existence of heteroclinic solutions of the Kuramoto-Sivashinsky equation.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Conley, C. C.: Isolated Invariant Sets and the Morse Index, CBMS Reg. Conf. Ser. Math. 38, AMS, Providence, R.I., 1978.

    Google Scholar 

  2. Kuramoto, Y. and Tsuzuki, T.: Persistent Propagation of Concentration Waves in Dissipative Media Far from Thermal Equilibrium, Progr. Theoret. Phys. 55 (1976), pp. 356–369.

    Google Scholar 

  3. Kuramoto, Y. and Yamada, T.: Turbulent State in Chemical Reaction, Progr. Theoret. Phys. 56 (1976), p. 679.

    Google Scholar 

  4. Michelson, D.: Steady Solutions of the Kuramoto-Sivashinsky Equation, Physica D 19 (1986), pp. 89–111.

    Google Scholar 

  5. Michelson, D. and Sivashinsky, G.: Nonlinear Analysis of Hydrodynamic Instability in Laminar Flames, II. Numerical Experiments, Acta Astronaut. 4 (1977), pp. 1207–1221.

    Google Scholar 

  6. Mischaikow, K.: Conley Index Theory, Dynamical Systems, (Lect. Notes Math. 1609), Springer, Berlin, 1994, pp. 119–207.

    Google Scholar 

  7. Mischaikow, K. and Mrozek, M.: Chaos in Lorenz Equations: a Computer Assisted Proof. Part II: Details, Mathematics of Computation, accepted.

  8. Mronzek, M.: Rigorous Error of Numerical Algorithms via Symbolic Computations, J. Symb. Comp. 22 (1996), pp. 435–458.

    Google Scholar 

  9. Mrozek, M. and Zelawski, M.: Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof, Reliable Computing 3(3) (1997), pp. 277–285.

    Google Scholar 

  10. Sivashinsky, G.: Nonlinear Analysis of Hydrodynamic Instability in Laminar Flames, I. Derivation of Basic Equations, Acta Astronaut. 4 (1977), pp. 1117–1206.

    Google Scholar 

  11. The IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Std 754, 1985.

  12. Troy, W. C.: The Existence of Steady Solutions of the Kuramoto-Sivashinsky Equation, J. Diff. Equ. 82 (1989), pp. 269–313.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instytut Informatyki, Uniwersytet Jagielloński, Kraków, Poland

    Marcin Żelawski

Authors
  1. Marcin Żelawski
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Żelawski, M. Rigorous Numerical Approach to Isolation in Dynamical Systems on the Example of the Kuramoto-Sivashinsky Equation. Reliable Computing 5, 113–129 (1999). https://doi.org/10.1023/A:1009945220181

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1009945220181

Keywords

Search

Navigation