首页 | 本学科首页   官方微博 | 高级检索  
     检索      


A Rigorous ODE Solver and Smale's 14th Problem
Authors:Warwick Tucker
Institution:(1) Department of Mathematics Malott Hall Cornell University Ithaca, NY 14853-4201, USA warwick@math.cornell.edu, US
Abstract:We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of interval arithmetic with directed rounding. As an application, we prove that the Lorenz equations support a strange attractor, as conjectured by Edward Lorenz in 1963. This conjecture was recently listed by Steven Smale as one of several challenging problems for the twenty-first century. We also prove that the attractor is robust, i.e., it persists under small perturbations of the coefficients in the underlying differential equations. Furthermore, the flow of the equations admits a unique SRB measure, whose support coincides with the attractor. The proof is based on a combination of normal form theory and rigorous computations. July 27, 2000. Final version received: June 30, 2001.
Keywords:, Lorenz attractor, Dynamical systems, Auto-validating algorithms, Normal forms, AMS Classification, Primary 37C10,,,,,,Secondary 37D45, 65G30,
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号