Czechoslovak Mathematical Journal, first online, pp. 1-21
A roller coaster approach to integration and Peano's existence theorem
Rodrigo López Pouso
Received November 3, 2022. Published online April 11, 2023. OPEN ACCESS
Abstract: This is a didactic proposal on how to introduce the Newton integral in just three or four sessions in elementary courses. Our motivation for this paper were Talvila's work on the continuous primitive integral and Koliha's general approach to the Newton integral. We introduce it independently of any other integration theory, so some basic results require somewhat nonstandard proofs. As an instance, showing that continuous functions on compact intervals are Newton integrable (or, equivalently, that they have primitives) cannot lean on indefinite Riemann integrals. Remarkably, there is a very old proof (without integrals) of a more general result, and it is precisely that of Peano's existence theorem for continuous nonlinear ODEs, published in 1886. Some elements in Peano's original proof lack rigor, and that is why his proof has been criticized and revised several times. However, modern proofs are based on integration and do not use Peano's original ideas. In this note we provide an updated correct version of Peano's original proof, which obviously contains the proof that continuous functions have primitives, and it is also worthy of remark because it does not use the Ascoli-Arzelà theorem, uniform continuity, or any integration theory.
Keywords: primitive; Newton integral; Peano's existence theorem
References: [1] H. Bendová, J. Malý: An elementary way to introduce a Perron-like integral. Ann. Acad. Sci. Fenn., Math. 36 (2011), 153-164. DOI 10.5186/aasfm.2011.3609 | MR 2797688 | Zbl 1225.26016
[2] B. Bongiorno: A new integral for the problem of antiderivatives. Matematiche 51 (1996), 299-313. (In Italian.) MR 1488074 | Zbl 0929.26007
[3] B. Bongiorno, L. Di Piazza, D. Preiss: A constructive minimal integral which includes Lebesgue integrable functions and derivatives. J. Lond. Math. Soc., II. Ser. 62 (2000), 117-126. DOI 10.1112/S0024610700008905 | MR 1771855 | Zbl 0980.26006
[4] A. M. Bruckner, R. J. Fleissner, J. Foran: The minimal integral which includes Lebesgue integrable functions and derivatives. Colloq. Math. 50 (1986), 289-293. DOI 10.4064/cm-50-2-289-293 | MR 0857865 | Zbl 0604.26006
[5] I. Černý, M. Rokyta: Differential and Integral Calculus of One Real Variable. Karolinum, Prague (1998).
[6] L. Di Piazza: A Riemann-type minimal integral for the classical problem of primitives. Rend. Ist. Mat. Univ. Trieste 34 (2002), 143-153. MR 2013947 | Zbl 1047.26005
[7] M. A. Dow, R. Výborný: Elementary proofs of Peano's existence theorem. J. Aust. Math. Soc. 15 (1973), 366-372. DOI 10.1017/S1446788700013276 | MR 0335905 | Zbl 0272.34002
[8] C. Gardner: Another elementary proof of Peano's existence theorem. Am. Math. Mon. 83 (1976), 556-560. DOI 10.2307/2319357 | MR 0425221 | Zbl 0349.34002
[9] G. S. Goodman: Subfunctions and the initial-value problem for differential equations satisfying Carathéodory's hypotheses. J. Differ. Equations 7 (1970), 232-242. DOI 10.1016/0022-0396(70)90108-7 | MR 0255880 | Zbl 0276.34003
[10] R. Henstock: Lectures on the Theory of Integration. Series in Real Analysis 1. World Scientific, Singapore (1988). DOI 10.1142/0510 | MR 0963249 | Zbl 0668.28001
[11] T. Kawasaki: On Newton integration in vector spaces. Math. Jap. 46 (1997), 85-90. MR 1466120 | Zbl 0913.46004
[12] H. C. Kennedy: Is there an elementary proof of Peano's existence theorem for first order differential equations? Am. Math. Mon. 76 (1969), 1043-1045. DOI 10.2307/2317137 | MR 1535642
[13] J. J. Koliha: Metrics, Norms and Integrals: An Introduction to Contemporary Analysis. World Scientific, Hackensack (2008). DOI 10.1142/7090 | MR 2484181 | Zbl 1169.26001
[14] J. J. Koliha: Mean, meaner, and the meanest mean value theorem. Am. Math. Mon. 116 (2009), 356-361. DOI 10.1080/00029890.2009.11920948 | MR 2503322 | Zbl 1229.26009
[15] J. Kurzweil: Generalized ordinary differential equations and continuous dependence on a parameter. Czech. Math. J. 7 (1957), 418-449. DOI 10.21136/CMJ.1957.100258 | MR 0111875 | Zbl 0090.30002
[16] N. W. Leng, L. P. Yee: An alternative definition of the Henstock-Kurzweil integral using primitives. N. Z. J. Math. 48 (2018), 121-128. MR 3884908 | Zbl 1405.26008
[17] P. Mikusińksi, K. Ostaszewski: Embedding Henstock integrable functions into the space of Schwartz distributions. Real Anal. Exchange 14 (1988), 24-29. DOI 10.2307/44153614
[18] J. Mikusiński, R. Sikorski: The elementary theory of distributions. I. Rozprawy Mat. 12 (1957), 52 pages. MR 0094702 | Zbl 0078.11101
[19] G. Peano: Sull' integrabilità delle equazioni differenziali di primo ordine. Atti. Accad. Sci. Torino 21 (1886), 677-685. (In Italian.) JFM 18.0284.02
[20] G. Peano: Démonstration de l'integrabilité des équations différentielles ordinaires. Math. Ann. 37 (1890), 182-228. (In French.) DOI 10.1007/BF01200235 | JFM 22.0302.01
[21] O. Perron: Ein neuer Existenzbeweis für die Integrale der Differentialgleichung $y'=f(x,y)$. Math. Ann. 76 (1915), 471-484. (In German.) DOI 10.1007/BF01458218 | MR 1511836 | JFM 45.0469.01
[22] K. R. Stromberg: An Introduction to Classical Real Analysis. Wadsworth International Mathematics Series. Wadsworth, Belmont (1981). DOI 10.1090/chel/376 | MR 0604364 | Zbl 0454.26001
[23] E. Talvila: The distributional Denjoy integral. Real Anal. Exch. 33 (2008), 51-82. DOI 10.14321/realanalexch.33.1.0051 | MR 2402863 | Zbl 1154.26011
[24] I. Tevy: Une définition de l'intégrale de Lebesgue à l'aide des fonctions primitives. Rev. Roum. Math. Pures Appl. 19 (1974), 1159-1163. (In French.) MR 0364575 | Zbl 0326.28010
[25] J. Walter: On elementary proofs of Peano's existence theorem. Am. Math. Mon. 80 (1973), 282-286. DOI 10.2307/2318451 | MR 0316785 | Zbl 0275.34003
[26] W. Walter: There is an elementary proof of Peano's existence theorem. Am. Math. Mon. 78 (1971), 170-173. DOI 10.2307/2317624 | MR 0276524 | Zbl 0207.08401
Affiliations: Rodrigo López Pouso, Departamento de Estatística, Análise Matemática e Optimización, Facultade de Matemáticas, Campus Vida, Universidade de Santiago de Compostela 15782, Santiago de Compostela, Spain, e-mail: rodrigo.lopez@usc.es
