[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Use of Shrink Wrapping for Interval Taylor Models in Algorithms of Computer-Assisted Proof of the Existence of Periodic Trajectories in Systems of Ordinary Differential Equations

  • NUMERICAL METHODS
  • Published:
Differential Equations Aims and scope Submit manuscript

Abstract

Using interval Taylor models (TM), we construct algorithms for the computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations (ODEs). Although TMs allow one to construct guaranteed estimates for families of solutions of systems of ODEs when integrating ODEs over large time intervals, the interval residual included in the TMs begins to grow exponentially and becomes the dominant part of the estimate of the solution pencil, making it practically unusable. To eliminate this deficiency, the creators of the TM—K. Makino and M. Berz—proposed the idea of so-called “shrink wrapping.” We formalize the original algorithm within the framework of the TM definitions we have adopted and propose our own version of the “shrink wrapping,” more accurately adapted to the problem of the computer-aided proof of the existence of periodic trajectories.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1.
Fig. 2.
Fig. 3.

Similar content being viewed by others

REFERENCES

  1. Moore, R.E., Methods and Applications of Interval Analysis, Providence: SIAM, 1979.

    Book  Google Scholar 

  2. Moore, R.E., Kearfott, R.B., and Cloud, M.J., Introduction to Interval Analysis, Providence: SIAM, 2009.

    Book  Google Scholar 

  3. Shokin, Yu.I., Interval’nyi analiz (Interval Analysis), Novosibirsk: Nauka, 1981.

    Google Scholar 

  4. Dobronets, B.S., Interval’naya matematika (Interval Mathematics), Krasnoyarsk: Sib. Gos. Tekh. Univ., 2004.

    Google Scholar 

  5. Sharyi, S.P., Konechnomernyi interval’nyi analiz (Finite-Dimensional Interval Analysis), Novosibirsk: Novosib. Gos. Univ., 2010.

    Google Scholar 

  6. Babenko, K.I., On computational proofs and mathematical experiments on computers, Russ. Math. Surv., 1985, vol. 40, no. 4, pp. 153–154.

    Article  Google Scholar 

  7. Tucker, W., A Rigorous ODE solver and Smale’s 14th problem, Found. Comput. Math., 2002, no. 2, pp. 53–117.

  8. Evstigneev, N.M. and Ryabkov, O.I., Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations, Differ. Equations, 2018, vol. 54, no. 4, pp. 525–538.

    Article  MathSciNet  Google Scholar 

  9. Evstigneev, N.M. and Ryabkov, O.I., Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models, Differ. Equations, 2019, vol. 55, no. 9, pp. 1198–1217.

    Article  MathSciNet  Google Scholar 

  10. Pilarczyk, P., Topological-numerical approach to the existence of periodic trajectories in ODE’s, Proc. Fourth Int. Conf. Dyn. Syst. Differ. Equat. (Wilmington, May 24–27, 2002), pp. 701–708.

  11. Rihm, R., Interval methods for initial value problems in ODEs, in Topics in Validated Computations, Herzberger, J., Ed., Amsterdam: Elsevier, 1994, pp. 173–207.

  12. Berz, M. and Makino, K., Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models, Reliab. Comput., 1998, vol. 4, pp. 361–369.

    Article  MathSciNet  Google Scholar 

  13. Berz, M. and Makino, K., Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by shrink wrapping, Int. J. Differ. Equat. Appl., 2005, vol. 10, no. 4, pp. 385–403.

    MATH  Google Scholar 

  14. Berz, M. and Makino, K., Performance of Taylor model methods for validated integration of ODEs, Lect. Notes Comput. Sci., 2006, vol. 3732, pp. 65–74.

    Article  Google Scholar 

  15. Lin, Y. and Stadtherr, M.A., Validated solutions of initial value problems for parametric ODEs, Appl. Numer. Math., 2007, vol. 57, pp. 1145–1162.

    Article  MathSciNet  Google Scholar 

  16. Berz, M. and Hoefkens, J., Verified high-order inversion of functional dependencies and interval Newton methods, Reliab. Comput., 2001, vol. 7, no. 5, pp. 379–398.

    Article  MathSciNet  Google Scholar 

  17. Evstigneev, N.M. and Ryabkov, O.I., On the implementation of Taylor models on multiple graphics processing units for rigorous computations, in Parallel Computational Technologies. PCT 2020. Commun. Comput. Inf. Sci. Vol. 1263 , Sokolinsky, L. and Zymbler, M., Eds., Cham: Springer, 2020, pp. 85–99.

  18. Makino, K. and Berz, M., The method of shrink wrapping for the validated solution of ODEs, Michigan State Univ. Rep. MSU HEP 020510, 2002.

  19. Neher, M., Jackson, K.R., and Nedialkov, N.S., On Taylor model based integration of ODEs, SIAM J. Numer. Anal., 2007, vol. 45, no. 1, pp. 236–262.

    Article  MathSciNet  Google Scholar 

  20. Berz, M. and Makino, K., Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning, Int. J. Differ. Equat. Appl., 2005, vol. 10, no. 4, pp. 353–384.

    MathSciNet  MATH  Google Scholar 

Download references

Funding

This work was supported by the Russian Foundation for Basic Research, project no.18-29-10008mk.

Author information

Authors and Affiliations

  1. Federal Research Center “Computer Science and Control,” Russian Academy of Sciences, Moscow, 119333, Russia

    N. M. Evstigneev & O. I. Ryabkov

  2. Lomonosov Moscow State University, Moscow, 119991, Russia

    D. A. Shul’min

Authors
  1. N. M. Evstigneev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. O. I. Ryabkov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. D. A. Shul’min
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to N. M. Evstigneev, O. I. Ryabkov or D. A. Shul’min.

Additional information

Translated by V. Potapchouck

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Evstigneev, N.M., Ryabkov, O.I. & Shul’min, D.A. Use of Shrink Wrapping for Interval Taylor Models in Algorithms of Computer-Assisted Proof of the Existence of Periodic Trajectories in Systems of Ordinary Differential Equations. Diff Equat 57, 391–407 (2021). https://doi.org/10.1134/S0012266121030113

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0012266121030113

Search

Navigation