ECCC-Report TR04-006https://eccc.weizmann.ac.il/report/2004/006Comments and Revisions published for TR04-006en-usTue, 20 Jan 2004 15:33:37 +0200
Paper TR04-006
| A remark on nondecidabilities of the initial value problem of ODEs |
Günter Hotz
https://eccc.weizmann.ac.il/report/2004/006We 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.
Tue, 20 Jan 2004 15:33:37 +0200https://eccc.weizmann.ac.il/report/2004/006