Computability of Initial Value Problems
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912641519190016 |
|---|---|
| author | Brattka, Vasco Smischliaew, Hendrik |
| author_facet | Brattka, Vasco Smischliaew, Hendrik |
| contents | We demonstrate that techniques of Weihrauch complexity can be used to get easy and elegant proofs of known and new results on initial value problems. Our main result is that solving continuous initial value problems is Weihrauch equivalent to weak Kőnig's lemma, even if only solutions with maximal domains of existence are considered. This result simultaneously generalizes negative and positive results by Aberth and by Collins and Graça, respectively. It can also be seen as a uniform version of a Theorem of Simpson. Beyond known techniques we exploit for the proof that weak Kőnig's lemma is closed under infinite loops. One corollary of our main result is that solutions with maximal domain of existence of continuous initial value problems can be computed non-deterministically, and for computable instances there are always solutions that are low as points in the function space. Another corollary is that in the case that there is a fixed finite number of solutions, these solutions are all computable for computable instances and they can be found uniformly in a finite mind-change computation. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_00451 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Computability of Initial Value Problems Brattka, Vasco Smischliaew, Hendrik Logic in Computer Science Logic 03D78 (Primary) 03D30, 03B30, 34A12, 68Q10, 68Q17 (Secondary) F.1.1; F.1.2; F.4.1; G.1.7 We demonstrate that techniques of Weihrauch complexity can be used to get easy and elegant proofs of known and new results on initial value problems. Our main result is that solving continuous initial value problems is Weihrauch equivalent to weak Kőnig's lemma, even if only solutions with maximal domains of existence are considered. This result simultaneously generalizes negative and positive results by Aberth and by Collins and Graça, respectively. It can also be seen as a uniform version of a Theorem of Simpson. Beyond known techniques we exploit for the proof that weak Kőnig's lemma is closed under infinite loops. One corollary of our main result is that solutions with maximal domain of existence of continuous initial value problems can be computed non-deterministically, and for computable instances there are always solutions that are low as points in the function space. Another corollary is that in the case that there is a fixed finite number of solutions, these solutions are all computable for computable instances and they can be found uniformly in a finite mind-change computation. |
| title | Computability of Initial Value Problems |
| topic | Logic in Computer Science Logic 03D78 (Primary) 03D30, 03B30, 34A12, 68Q10, 68Q17 (Secondary) F.1.1; F.1.2; F.4.1; G.1.7 |
| url | https://arxiv.org/abs/2501.00451 |