{"entities":{"Q331860":{"pageid":333627,"ns":120,"title":"Item:Q331860","lastrevid":77718362,"modified":"2026-05-06T09:54:58Z","type":"item","id":"Q331860","labels":{"en":{"language":"en","value":"Peano's 1886 existence theorem on first-order scalar differential equations: a review"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644580"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$B2AC0097-7019-48CA-B2E6-4B252FE13813","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"792da1b3e30335c590f6cc53f1bbaab748650af7","datavalue":{"value":{"text":"Peano's 1886 existence theorem on first-order scalar differential equations: a review","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q331860$AED29C4D-D705-422E-98D2-DFCAA50790FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35f0c2754c30eec1308a5b70f8dc588cdf1ca700","datavalue":{"value":"1354.01011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331860$DE041BB2-49EB-447B-A5E2-D3028479D3FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee253e6dc23ab5114af0cbdd2f42531a917cfd5a","datavalue":{"value":{"entity-type":"item","numeric-id":331858,"id":"Q331858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$611D4F81-D970-4C53-8915-5ABF3185BD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80113fcf8edb17b5033aac931dd57bbe7788865f","datavalue":{"value":{"entity-type":"item","numeric-id":331859,"id":"Q331859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$D6AB1E62-3EB3-464D-AF14-89ED91BE615B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"288b32445689623d9e6d67d289f231ba184e1648","datavalue":{"value":{"entity-type":"item","numeric-id":263302,"id":"Q263302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$8ABFB79F-4861-4326-8C64-FF613D04CFA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q331860$B088653D-2D7E-4C7F-8F82-A426B2BB1B2B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a510d14055f3b9f3bc31afd4372e09aa03ef9f7","datavalue":{"value":"The authors focus on Peano's 1886 theorem, stating the existence of a solution of an initial value problem \\(y'=f(x,y)\\), \\(y(a)=b\\), under the assumption of the continuity of the function \\(f\\). Someone lamented the lack of details in the proof, considering it ``surprisingly unrigorous'' (p.~387). Nevertheless, as the authors point out, these shortcomings are due to Peano's choice to be ``as simple and possible''. The lack of details must be interpreted in this perspective.    After a short introduction, the paper lays down the statement (Theorem 1, pp.~377--378) and the \\textit{re}-statement (Theorem 2, p.~379) of Peano's existence theorem. Then, the authors state the more innovative part of Theorem 1, i.e., Theorem 3 (p.~380), called ``the heart of Peano's 1886 existence theorem''.      This last theorem will be proved in the following pages, filling in the gaps. As a matter of fact, the authors prove also Equations 3.14   \\[ \\frac{\\Phi(x)-\\Phi(x_0)}{x-x_0}\\geq f(x_0,\\Phi (x_0))-\\varepsilon,\\text{ for all }x\\in ]x_0,x_1] \\]   and 3.15   \\[ \\frac{\\Phi(x)-\\Phi(x_0)}{x-x_0}\\leq f(x_0,\\Phi (x_0))+\\varepsilon,\\text{ for all }x\\in ]x_0,x_1], \\]   which Peano left unproved (pp.~382--384). In other words, the authors re-state Peano's original proof, emending it from its inacuracies.     Section 4 is devoted to the statement of analogous theorems by \\textit{G. Peano} himself [Math. Ann. 37, 182--228 (1890; JFM 22.0302.01)], \\textit{G. Mie} [ibid. 43, 553--568 (1893; JFM 25.0504.01)], \\textit{W. F. Osgood} [Monatsh. Math. Phys. 9, 331--345 (1898; JFM 29.0260.03)] and \\textit{O. Perron} [Math. Ann. 76, 471--484 (1915; JFM 45.0469.01)] (pp. 384--387), in order to make a comparison with Peano's 1886 theorem and to show the originality of this last.      Section 5 (pp.~387--388) is a short conclusion which repeats the rationale of the author: the gaps in the proof of Theorem 1 are due to Peano's choice to be as simple as possible and not to his floppiness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q331860$1A826E38-3C48-498A-A456-23F9A08C5959","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"470b05942db3fcd281998c5e09dbcc5aaea002d0","datavalue":{"value":{"entity-type":"item","numeric-id":262593,"id":"Q262593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$FC6996FB-4115-4354-A0E6-906874100EE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331860$ABE99ED1-ACF3-4E45-92AC-1B04A9F7B5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1d9ff1f5e7589dae30a78d69fa8154243081270","datavalue":{"value":"34-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331860$45625BB9-3BC3-4BC0-9B6E-FFEED818F279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec625052005f5da314d6058307c2f650ba8b2aa3","datavalue":{"value":"34A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331860$3AA13F88-DE58-4152-80EC-128ABFC2840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e6daad4218c0d82f08e990ef47a9a111123437d","datavalue":{"value":"34A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331860$3A8B3DBA-EC53-4856-B4C7-76E29326CEA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83554dd9126e6d126c234fc319502b725828629a","datavalue":{"value":"6644580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331860$A97E5AF0-62C2-44C1-8508-0AE5EBD18CBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98cc1c74ce01fab433aeac128a5feb6c9534d01a","datavalue":{"value":"scalar initial value problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q331860$FE4A11BD-243E-4558-A101-085BCF1133DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ad30ce9ffc1c87dcef878dd8f69672ab94a571","datavalue":{"value":"ODEs","type":"string"},"datatype":"string"},"type":"statement","id":"Q331860$D71AC3F9-4DFA-4FFD-BF70-E9182AD32F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19243cc5c02acc14e3762460d716cc6a96a827fa","datavalue":{"value":"strict super-solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q331860$B0F9F64E-C49E-4C1B-A5DE-BE0C95E4530E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bb89df15452403bcc9918a74aa837db94557325","datavalue":{"value":"strict sub-solutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q331860$45306EB2-17DB-49A1-A155-DFDE3CFED5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84276cefa81329dc127d99ce48dd9eafbfea0d7f","datavalue":{"value":"Peano","type":"string"},"datatype":"string"},"type":"statement","id":"Q331860$86D57C51-3B06-43FE-90B6-CB5F1DEFA77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45de564b85c9912627dcdec4e2ae95b98c7aa32f","datavalue":{"value":"Mie","type":"string"},"datatype":"string"},"type":"statement","id":"Q331860$7741CB31-12AA-4D2F-94CE-CCB2E1F723D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9bf216d5d0f4b7add355447047a188ddd864bf8","datavalue":{"value":"Osgood","type":"string"},"datatype":"string"},"type":"statement","id":"Q331860$75F8BDBD-6BBF-4BDC-93F5-BCD48875C620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1eef8df8848c1c4385df428bd7e63ab69fcca3d","datavalue":{"value":"Perron","type":"string"},"datatype":"string"},"type":"statement","id":"Q331860$B2FD2CB0-205B-470E-86FC-3AF1D030F5D3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$5FBB9472-EF80-4EF8-867E-156444F2AB90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04d01e895254de386cf05c8d3aeb32183ff597ad","datavalue":{"value":"https://doi.org/10.1007/s40574-016-0052-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q331860$9F307252-2022-45AD-BF77-77B31ED3837E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"599e83b622b70415774c95b8b360bbec94a28735","datavalue":{"value":"W2274566634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331860$6091AC10-0148-4228-9F82-90F5B1FFC333","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc15c3c84060e1bf40f4c2872e89bb411c2f6617","datavalue":{"value":{"entity-type":"item","numeric-id":5183447,"id":"Q5183447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$EC70FA34-BB1A-49EF-B992-AA89EC55B5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db231fa3a115e9aaf58497c01011d1f7a178098","datavalue":{"value":{"entity-type":"item","numeric-id":5179727,"id":"Q5179727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$49A8F5A2-BB81-4A90-B7D1-82F035981ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2444b175843e8e8e4091287c4e87be6703ac5fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3884418,"id":"Q3884418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$52F865BC-9170-48B6-A3DE-A4557BCB7959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f52e39a66a15827659d140b90ef8e2ad6cfe9313","datavalue":{"value":{"entity-type":"item","numeric-id":4119456,"id":"Q4119456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$873D208C-DAF3-4A66-841D-9674F8BF2527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21939c25efe6d866a943a11e2d7a9b46d84f14f2","datavalue":{"value":{"entity-type":"item","numeric-id":3221953,"id":"Q3221953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$E09945D1-B012-48E3-8A53-2EE96A6F16A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1beb8848768a8cb8606bf943d0e7a6bca1bf2026","datavalue":{"value":{"entity-type":"item","numeric-id":2821968,"id":"Q2821968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$5EADB690-C01A-4091-BACB-05C181321E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b039458bcaa72e3519fc92c54e53bc919b5d9bd","datavalue":{"value":{"entity-type":"item","numeric-id":2753151,"id":"Q2753151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$F926BD3B-098F-4B55-812C-129F174D9A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cc753a13b33ef0a4275d508f9d2ba444eccaa0","datavalue":{"value":{"entity-type":"item","numeric-id":3866062,"id":"Q3866062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$30597979-0211-4A42-B682-5747174C0179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c958d4c79e0f4123d8508ed8490734b8b2ca3e9","datavalue":{"value":{"entity-type":"item","numeric-id":3976001,"id":"Q3976001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$DB387936-CF9D-4C28-886E-B256D5F7D71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567f1414c0e25dd9a677459ea9d9e52118d89626","datavalue":{"value":{"entity-type":"item","numeric-id":5183882,"id":"Q5183882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$55972BC0-E32E-44CC-8716-B38E9CFEA293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc35542ea86e2af380ec0e29b8729bb1db7d91e1","datavalue":{"value":{"entity-type":"item","numeric-id":5607373,"id":"Q5607373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331860$71F85C07-9055-4D01-883F-8E219C9A8868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcbd1b1efa37dc882691ddb11e9f5d60311f7c37","datavalue":{"value":"10.1007/S40574-016-0052-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331860$D6508470-8B3D-48AE-BF0D-A63E0BC747E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b603e1177633b30cb6780fdd326e12a4eaf8e57","datavalue":{"value":{"entity-type":"item","numeric-id":2821968,"id":"Q2821968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cac8b6dffb30c3de12e7e55f29f7953422b81f8","datavalue":{"value":{"amount":"+0.8740965723991394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331860$5680D6AA-E197-48FD-8568-340E9CAF1C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed6fd4cb36e8aa31be79fc4b8657d6634ba9638","datavalue":{"value":{"entity-type":"item","numeric-id":1296825,"id":"Q1296825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00477886885f163a8adc654b11c44cecfc99070","datavalue":{"value":{"amount":"+0.8550727963447571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331860$9C069517-AFE3-406B-9C32-005AA4071725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7187feb6e57111f562e03c66aacc8e373f0245","datavalue":{"value":{"entity-type":"item","numeric-id":3797498,"id":"Q3797498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d57656e6c9cd9354cd0b2dfbf7ea696b110bdb","datavalue":{"value":{"amount":"+0.7625903487205505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331860$12325FBC-0E25-4CAF-9BCC-F7144A0F9AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8577195b7f57d7e579f3ecbdc49345b0464bc2","datavalue":{"value":{"entity-type":"item","numeric-id":2895815,"id":"Q2895815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66e4c53ca271b80a8e6d46cd7ef49b27691ca5b","datavalue":{"value":{"amount":"+0.7500134706497192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331860$6F405351-8EA2-49B0-9A06-65BBAA8A7CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93fc876b681e0b5ffe87d7e5b02e47d8f83aceb2","datavalue":{"value":{"entity-type":"item","numeric-id":3313819,"id":"Q3313819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f76ce2bb7c4f0fd836a8c4894101bcf8264f47","datavalue":{"value":{"amount":"+0.736668050289154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q331860$B7867FD4-DDD9-4FE5-BEEC-6501291483DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Peano's 1886 existence theorem on first-order scalar differential equations: a review","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Peano%27s_1886_existence_theorem_on_first-order_scalar_differential_equations:_a_review"}}}}}