Solving ordinary differential equations by working with infinitesimals numerically on the Infinity Computer

Applied Mathematics and Computation 219 (22):10668–10681 (2013)
Yaroslav Sergeyev
Università della Calabria
There exists a huge number of numerical methods that iteratively construct approximations to the solution y(x) of an ordinary differential equation (ODE) y′(x) = f(x,y) starting from an initial value y_0=y(x_0) and using a finite approximation step h that influences the accuracy of the obtained approximation. In this paper, a new framework for solving ODEs is presented for a new kind of a computer – the Infinity Computer (it has been patented and its working prototype exists). The new computer is able to work numerically with finite, infinite, and infinitesimal numbers giving so the possibility to use different infinitesimals numerically and, in particular, to take advantage of infinitesimal values of h. To show the potential of the new framework a number of results is established. It is proved that the Infinity Computer is able to calculate derivatives of the solution y(x) and to reconstruct its Taylor expansion of a desired order numerically without finding the respective derivatives analytically (or symbolically) by the successive derivation of the ODE as it is usually done when the Taylor method is applied. Methods using approximations of derivatives obtained thanks to infinitesimals are discussed and a technique for an automatic control of rounding errors is introduced. Numerical examples are given.
Keywords Ordinary differential equations  numerical infinitesimals  Infinity Computer  combining finite and infinitesimal approximation steps
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Lagrange Lecture: Methodology of Numerical Computations with Infinities and Infinitesimals.Yaroslav Sergeyev - 2010 - Rendiconti Del Seminario Matematico dell'Università E Del Politecnico di Torino 68 (2):95–113.
The Theistic Argument From Infinity in Early Modern Philosophy.Philip Clayton - 1996 - International Philosophical Quarterly 36 (1):5-17.


Added to PP index

Total views
221 ( #24,994 of 2,312,743 )

Recent downloads (6 months)
41 ( #10,737 of 2,312,743 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature