The failure in computable analysis of a classical existence theorem for differential equations
HTML articles powered by AMS MathViewer
- by Oliver Aberth
- Proc. Amer. Math. Soc. 30 (1971), 151-156
- DOI: https://doi.org/10.1090/S0002-9939-1971-0302982-7
- PDF | Request permission
Abstract:
An example is given of a uniformly continuous constructive function $f(x,y)$ with $f(0,0) = 0$, such that the differential equation $y’ = f(x,y)$ with the initial condition $y(0) = 0$ has no constructive solution.References
- Oliver Aberth, Analysis in the computable number field, J. Assoc. Comput. Mach. 15 (1968), 275–299. MR 237337, DOI 10.1145/321450.321460
- Oliver Aberth, A chain of inclusion relations in computable analysis, Proc. Amer. Math. Soc. 22 (1969), 539–548. MR 242668, DOI 10.1090/S0002-9939-1969-0242668-1
- Garrett Birkhoff and Gian-Carlo Rota, Ordinary differential equations, Introductions to Higher Mathematics, Ginn and Company, Boston, Mass.-New York-Toronto, 1962. MR 0138810
- G. S. Ceĭtin, Algorithmic operators in constructive metric spaces, Trudy Mat. Inst. Steklov. 67 (1962), 295–361 (Russian). MR 0152426
- G. S. Ceĭtin, Mean-value theorems in constructive analysis, Trudy Mat. Inst. Steklov. 67 (1962), 362–384 (Russian). MR 0152427
- G. S. Ceĭtin, Three theorems on constructive functions, Trudy Mat. Inst. Steklov. 72 (1964), 537–543 (Russian). MR 0205843
- John Cleave, The primitive recursive analysis of ordinary differential equations and the complexity of their solutions, J. Comput. System Sci. 3 (1969), 447–455. MR 251281, DOI 10.1016/S0022-0000(69)80031-0
- Osval′d Demut, A necessary and sufficient condition for the Riemann integrability of constructive functions, Dokl. Akad. Nauk SSSR 176 (1967), 757–758 (Russian). MR 0224466
- E. L. Ince, Ordinary Differential Equations, Dover Publications, New York, 1944. MR 0010757
- E. Kamke, Differentialgleichungen reeller Funktionen, Chelsea Publishing Co., New York, N.Y., 1947 (German). MR 0020179
- B. A. Kušner, Riemann integration in constructive analysis, Dokl. Akad. Nauk SSSR 156 (1964), 255–257 (Russian). MR 0162718
- A. A. Markov, On the continuity of constructive functions, Uspehi Mat. Nauk (N.S.) 9 (1954), no. 3(61), 226–230 (Russian). MR 0065493
- A. A. Markov, On constructive mathematics, Trudy Mat. Inst. Steklov. 67 (1962), 8–14 (Russian). MR 0153564
- G. Peano, Démonstration de l’intégrabilité des équations différentielles ordinaires, Math. Ann. 37 (1890), no. 2, 182–228 (French). MR 1510645, DOI 10.1007/BF01200235
- N. A. Šanin, Constructive real numbers and constructive functional spaces, Trudy Mat. Inst. Steklov. 67 (1962), 15–294 (Russian). MR 0156786 A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc. (2) 42 (1936/37), 230-265.
- I. D. Zaslavskiĭ, Some properties of constructive real numbers and constructive functions, Trudy Mat. Inst. Steklov. 67 (1962), 385–457 (Russian). MR 0153555
- I. D. Zaslavskiĭ and G. S. Ceĭtin, Singular coverings and properties of constructive functions connected with them, Trudy Mat. Inst. Steklov. 67 (1962), 458–502 (Russian). MR 0152428
Bibliographic Information
- © Copyright 1971 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 30 (1971), 151-156
- MSC: Primary 34A10; Secondary 02E15
- DOI: https://doi.org/10.1090/S0002-9939-1971-0302982-7
- MathSciNet review: 0302982