A method of formalizing computer operations for solving nonlinear differential equations

DOI10.1016/J.AMC.2011.09.029zbMATH Open1245.65082arXiv1204.3241OpenAlexW2011529278MaRDI QIDQ440669FDOQ440669

Authors: Vladimir Aristov, Andrey Stroganov 

Publication date: 19 August 2012

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Abstract: The well-known Turing machine is an example of a theoretical digital computer, and it was the logical basis of constructing real electronic computers. In the present paper we propose an alternative, namely, by formalising arithmetic operations in the ordinary computing device, we attempt to go to the analytical procedure (for calculations). The method creates possibilities for solving nonlinear differential equations and systems. Our theoretical computer model requires retaining a finite number of terms to represent numbers, and utilizes digit carry procedure. The solution is represented in the form of a segment of a series in the powers of the step size of the independent variable in the finite-difference scheme. The algorithm generates a schematic representation that approximates the convergent finite-difference scheme, which, in turn, approximates the equation under consideration. The use of probabilistic methods allows us to average the recurrent calculations and exclude intermediate levels of computation. All the stages of formalizing operations of the classical computer result in "the method of the computer analogy". The proposed method leads to an explicit analytical representation of the solution. We present the general features of the algorithm which are illustrated by an example of solutions for a system of nonlinear equations.

Full work available at URL: https://arxiv.org/abs/1204.3241

Recommendations

• Adapted formal algorithms for the solution of differential equations
• A differential-equations algorithm for nonlinear equations
• An algorithm computing the regular formal solutions to a system of linear differential equations
• Computer algebra methods in the study of nonlinear differential systems
• Numerical Analysis and Its Applications
• A computational iterative method for solving nonlinear ordinary differential equations
• Formalization of computations at numerical solution of boundary value problems
• Publication:4893105
• A new computational approach for nonlinear equations

zbMATH Keywords

nonlinear differential equationsrandom number generatorcomputer analogyrank transfer procedure

Mathematics Subject Classification ID

Numerical methods for initial value problems involving ordinary differential equations (65L05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A new applied approach for executing computations with infinite and infinitesimal quantities
• Direct methods for solving the Boltzmann equation and study of nonequilibrium flows
• Title not available (Why is that?)
• Title not available (Why is that?)
• Construction of solutions to differential equations by the method of computer analogy

Cited In (2)

• Title not available (Why is that?)
• Construction of solutions to differential equations by the method of computer analogy

This page was built for publication: A method of formalizing computer operations for solving nonlinear differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q440669)