A Differentially Algebraic Replacement Theorem, and Analog Computability

Abstract

A theorem is proved that enables one to replace a solution of a system of algebraic differential equations by analytic solutions nearby, such that each satisfies its own algebraic differential equation. As an application, we emend a proof of the Shannon-Pour-E1 thesis relating the outputs of analog computers to solutions of algebraic differential equations.