Abstract:For Helmut Schwichtenberg, with thanks for his friendship and for his hospitality in Munich on numerous occasions over the past 15 years.A Bishop-style constructive analysis is given for the Peano existence theorem for solutions of the differential equation y = f (x, y) with specified initial condition. In particular, it is shown that the existence of a solution in the general case implies the omniscience principle LLPO, but that introducing an a priori hypothesis of uniqueness of a solution can enable the con… Show more
“…Although Picard's Theorem has thus a constructive core, the same cannot be said for Peano's Theorem. This theorem is inherently nonconstructive: it is equivalent to the nonconstructive Lesser Limited Principle of Omniscience [4,10]:…”
We study Picard's Theorem and Peano's Theorem from a constructive reverse perspective. This means that we have to change our focus from global properties to local properties. We also extend the theory of pointwise continuously differentiable functions to include Rolle's Theorem, the Mean Value Theorem, and the full Fundamental Theorem of Calculus.2000 Mathematics Subject Classification 03F60, 26E40 (primary); 03F55 (secondary)
“…Although Picard's Theorem has thus a constructive core, the same cannot be said for Peano's Theorem. This theorem is inherently nonconstructive: it is equivalent to the nonconstructive Lesser Limited Principle of Omniscience [4,10]:…”
We study Picard's Theorem and Peano's Theorem from a constructive reverse perspective. This means that we have to change our focus from global properties to local properties. We also extend the theory of pointwise continuously differentiable functions to include Rolle's Theorem, the Mean Value Theorem, and the full Fundamental Theorem of Calculus.2000 Mathematics Subject Classification 03F60, 26E40 (primary); 03F55 (secondary)
Abstract:We study Picard's Theorem and Peano's Theorem from a constructive reverse perspective. This means that we have to change our focus from global properties to local properties. We also extend the theory of pointwise continuously differentiable functions to include Rolle's Theorem, the Mean Value Theorem, and the full Fundamental Theorem of Calculus.2000 Mathematics Subject Classification 03F60, 26E40 (primary); 03F55 (secondary)
“…With this lemma at hand we can weaken the standard hypothesis of the approximate Brouwer fixed point theorem; we only require that f : [0, 1] n → [0, 1] n be uniformly sequentially continuous 6 : for all sequences (…”
Section: Brouwer's Fixed Point Theoremmentioning
confidence: 99%
“…We give an application of the approximate Schauder fixed point theorem for uniformly convex spaces (Corollary 10). A standard application of Schauder's fixed point theorem is in proving Peano's Theorem asserting the existence of solutions to particular differential equations: However, since the exact version of Peano's Theorem is constructively equivalent to LLPO (see [6], which also gives an alternative constructive proof of an approximate Peano's Theorem, [2] gives a proof that Peono's Theorem implies LLPO), we can only hope to prove an approximate version of Peano's Theorem.…”
This paper gives the beginnings of a development of the theory of fixed point theorems within Bishop's constructive analysis. We begin with a constructive proof of a result, due to Borwein, which characterises when some sets have the contraction mapping property. A review of the constructive content of Brouwer's fixed point theorem follows, before we turn our attention to Schauder's generalisation of Brouwer's fixed point theorem. As an application of our constructive Schauder's fixed point theorem we give an approximate version of Peano's theorem on the existence of solutions of differential equations. Other fixed point theorems are mentioned in passing.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.