the Peano existence theorem, Peano theorem or Cauchy–Peano theorem, named after Giuseppe Peano and Augustin-Louis Cauchy, is a fundamental theorem which...
9 KB (1,835 words) - 17:12, 26 May 2025
Peano's existence theorem. Peano's theorem requires that the right-hand side of the differential equation be continuous, while Carathéodory's theorem shows...
6 KB (1,138 words) - 03:06, 20 April 2025
Giuseppe Peano (/piˈɑːnoʊ/; Italian: [dʒuˈzɛppe peˈaːno]; 27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist. The author of...
18 KB (2,017 words) - 22:46, 8 June 2025
Picard's existence theorem, the Cauchy–Lipschitz theorem, or the existence and uniqueness theorem. The theorem is named after Émile Picard, Ernst Lindelöf...
21 KB (3,801 words) - 12:15, 25 May 2025
family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary...
27 KB (3,819 words) - 12:15, 7 April 2025
hypotheses of the incompleteness theorem. Thus by the first incompleteness theorem, Peano Arithmetic is not complete. The theorem gives an explicit example of...
92 KB (12,173 words) - 10:15, 18 May 2025
{\displaystyle T\vdash s} . The model existence theorem and its proof can be formalized in the framework of Peano arithmetic. Precisely, we can systematically...
17 KB (2,330 words) - 17:38, 29 January 2025
the Cauchy–Kovalevskaya theorem (also written as the Cauchy–Kowalevski theorem) is the main local existence and uniqueness theorem for analytic partial differential...
7 KB (986 words) - 03:07, 20 April 2025
equations. When the hypotheses of the Picard–Lindelöf theorem are satisfied, then local existence and uniqueness can be extended to a global result. More...
44 KB (5,187 words) - 16:53, 2 June 2025
In mathematical logic, the Peano axioms (/piˈɑːnoʊ/, [peˈaːno]), also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural...
49 KB (6,478 words) - 03:13, 3 April 2025
Bolzano–Weierstrass theorem from spaces of geometrical points to spaces of functions. The Arzelà–Ascoli theorem and the Peano existence theorem exemplify applications...
45 KB (5,704 words) - 03:15, 17 April 2025
consequence of Kruskal's theorem and Kőnig's lemma. For each n, Peano arithmetic can prove that P ( n ) {\displaystyle P(n)} is true, but Peano arithmetic cannot...
15 KB (1,855 words) - 00:04, 30 April 2025
In mathematical logic, Löb's theorem states that in Peano arithmetic (PA) (or any formal system including PA), for any formula P, if it is provable in...
12 KB (1,886 words) - 15:16, 21 April 2025
Differential equation (section Existence of solutions)
subjects of interest. For first order initial value problems, the Peano existence theorem gives one set of circumstances in which a solution exists. Given...
29 KB (3,631 words) - 15:23, 23 April 2025
right-hand side of the differential equation is continuous. Hence, the Peano existence theorem applies so there is a (possibly non-unique) solution. To see why...
23 KB (3,821 words) - 05:35, 7 June 2025
Space-filling curve (redirect from Peano space)
existence of a Peano curve such that at each point of the real line at least one of its components is differentiable. The Hahn–Mazurkiewicz theorem is...
15 KB (1,969 words) - 10:33, 1 May 2025
common misconception is that W = 0 everywhere implies linear dependence. Peano (1889) pointed out that the functions x2 and |x| · x have continuous derivatives...
13 KB (1,692 words) - 13:17, 9 April 2025
the Peano existence theorem, give sufficient conditions for solutions to exist without necessarily being unique, which can allow for the existence of singular...
7 KB (1,336 words) - 11:52, 11 June 2022
(differential equations) Liénard's theorem (dynamical systems) Markus−Yamabe theorem (dynamical systems) Peano existence theorem (ordinary differential equations)...
78 KB (6,289 words) - 12:34, 6 June 2025
In mathematical logic, the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf...
22 KB (2,795 words) - 12:03, 4 October 2024
Cauchy problem (section Cauchy–Kowalevski theorem)
zero means that the function itself is specified. The Cauchy–Kowalevski theorem states that If all the functions F i {\displaystyle F_{i}} are analytic...
4 KB (637 words) - 22:54, 23 April 2025
system of Peano arithmetic plus the statement "Peano arithmetic is consistent" (which, per the incompleteness theorem, cannot be proved in Peano arithmetic)...
4 KB (545 words) - 05:38, 25 April 2025
12 September 2010. Hörmander 1983, p. 56. Rudin 1991, Theorem 6.25. Stein & Weiss 1971, Theorem 1.18. Rudin 1991, §II.6.31. More generally, one only needs...
96 KB (14,230 words) - 04:36, 14 May 2025
Solution Existence and uniqueness Picard–Lindelöf theorem Peano existence theorem Carathéodory's existence theorem Cauchy–Kowalevski theorem General topics...
5 KB (682 words) - 02:47, 16 March 2025
Solution Existence and uniqueness Picard–Lindelöf theorem Peano existence theorem Carathéodory's existence theorem Cauchy–Kowalevski theorem General topics...
6 KB (993 words) - 21:30, 5 February 2024
equation, existence and uniqueness theorems are usually important organizational principles. In many introductory textbooks, the role of existence and uniqueness...
49 KB (6,795 words) - 02:30, 5 June 2025
the usual result guaranteeing the local existence of a unique solution does not apply. The Peano existence theorem however proves that even for f merely...
8 KB (1,377 words) - 14:25, 7 June 2025
Solution Existence and uniqueness Picard–Lindelöf theorem Peano existence theorem Carathéodory's existence theorem Cauchy–Kowalevski theorem General topics...
4 KB (435 words) - 14:50, 29 May 2024
natural numbers represent 1 in various ways. In Giuseppe Peano's original formulation of the Peano axioms, a set of postulates to define the natural numbers...
32 KB (3,221 words) - 05:18, 5 June 2025
Solution Existence and uniqueness Picard–Lindelöf theorem Peano existence theorem Carathéodory's existence theorem Cauchy–Kowalevski theorem General topics...
5 KB (632 words) - 22:49, 17 November 2024