937 research outputs found
A Survey on Continuous Time Computations
We provide an overview of theories of continuous time computation. These
theories allow us to understand both the hardness of questions related to
continuous time dynamical systems and the computational power of continuous
time analog models. We survey the existing models, summarizing results, and
point to relevant references in the literature
Boundedness of the domain of definition is undecidable for polynomial odes
Consider the initial-value problem with computable parameters
dx
dt = p(t, x)
x(t0) = x0,
where p : Rn+1 ! Rn is a vector of polynomials and (t0, x0) 2 Rn+1.
We show that the problem of determining whether the maximal interval
of definition of this initial-value problem is bounded or not is in general
undecidable
Computational bounds on polynomial differential equations
In this paper we study from a computational perspective some prop-erties of the solutions of polynomial ordinary di erential equations.
We consider elementary (in the sense of Analysis) discrete-time dynam-ical systems satisfying certain criteria of robustness. We show that those systems can be simulated with elementary and robust continuous-time
dynamical systems which can be expanded into fully polynomial ordinary diferential equations with coe cients in Q[ ]. This sets a computational lower bound on polynomial ODEs since the former class is large enough
to include the dynamics of arbitrary Turing machines.
We also apply the previous methods to show that the problem of de-termining whether the maximal interval of defnition of an initial-value problem defned with polynomial ODEs is bounded or not is in general undecidable, even if the parameters of the system are computable and comparable and if the degree of the corresponding polynomial is at most
56.
Combined with earlier results on the computability of solutions of poly-nomial ODEs, one can conclude that there is from a computational point of view a close connection between these systems and Turing machines
Computability, noncomputability and undecidability of maximal intervals of IVPs
Let (α, β) ⊆ R denote the maximal interval of existence of solution for
the initial-value problem
dx
dt = f(t, x)
x(t0) = x0,
where E is an open subset of Rm+1, f is continuous in E and (t0, x0) ∈
E. We show that, under the natural definition of computability from
the point of view of applications, there exist initial-value problems with
computable f and (t0, x0) whose maximal interval of existence (α, β) is
noncomputable. The fact that f may be taken to be analytic shows that
this is not a lack of regularity phenomenon. Moreover, we get upper
bounds for the “degree of noncomputability” by showing that (α, β) is
r.e. (recursively enumerable) open under very mild hypotheses. We also
show that the problem of determining whether the maximal interval is
bounded or unbounded is in general undecidable
Computability and analysis: the legacy of Alan Turing
We discuss the legacy of Alan Turing and his impact on computability and
analysis.Comment: 49 page
Computability of differential equations
In this chapter, we provide a survey of results concerning the computability and computational complexity of differential equations. In particular, we study the conditions which ensure computability of the solution to an initial value problem for an ordinary differential equation (ODE) and analyze the computational complexity of a computable solution. We also present computability results concerning the asymptotic behaviors of ODEs as well as several classically important partial differential equations.info:eu-repo/semantics/acceptedVersio
Computability and dynamical systems
In this paper we explore results that establish a link between dynamical
systems and computability theory (not numerical analysis). In the last few decades,
computers have increasingly been used as simulation tools for gaining insight into
dynamical behavior. However, due to the presence of errors inherent in such numerical
simulations, with few exceptions, computers have not been used for the
nobler task of proving mathematical results. Nevertheless, there have been some recent
developments in the latter direction. Here we introduce some of the ideas and
techniques used so far, and suggest some lines of research for further work on this
fascinating topic
Robust simulations of Turing machines with analytic maps and flows
In this paper, we show that closed-form analytic maps and ows can simulate Turing machines in an error-robust manner. The maps
and ODEs de ning the ows are explicitly obtained and the simulation is performed in real time
- …