Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR04-006 | 6th January 2004 00:00

A remark on nondecidabilities of the initial value problem of ODEs

RSS-Feed




TR04-006
Authors: G√ľnter Hotz
Publication: 20th January 2004 15:33
Downloads: 1344
Keywords: 


Abstract:

We prove that it is not decidable on R-machines if for a fixed finite intervall [a,b) the solution of the initial value problems of systems of ordinary differetial equations have solutions over this interval. This result holds independly from assumptions about differentiability of the right sides of the ODEs. Futhermore it is not decidable generally if the solutions fullfill certain smoothness conditions.



ISSN 1433-8092 | Imprint