{"entities":{"Q1567029":{"pageid":1577769,"ns":120,"title":"Item:Q1567029","lastrevid":70897977,"modified":"2026-04-13T18:03:10Z","type":"item","id":"Q1567029","labels":{"en":{"language":"en","value":"Elementary and integral-elementary functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1455229"}},"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":"Q1567029$CC97F208-DF6C-47B8-94DF-FD9E60F13672","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e33bab3de6d278afb171ab879585c328393346b0","datavalue":{"value":{"text":"Elementary and integral-elementary functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1567029$94116CA3-8540-433C-A6AB-DDABB761A6F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a091db3c4627b2f352ccf278a9d3a27d19c49cb","datavalue":{"value":"0948.26002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567029$DE01B1FA-2874-4C29-936C-FEF703AB7B39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ea37a6f3f41fd36821ef423d240abf174d91598","datavalue":{"value":{"entity-type":"item","numeric-id":178069,"id":"Q178069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567029$C0771AFC-4417-4808-A2C5-7BA08AA60416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c534409c008ac088ee5ba2816086e225191d3e99","datavalue":{"value":{"entity-type":"item","numeric-id":228786,"id":"Q228786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567029$FEF4F044-E18D-4C1E-9D22-838995BD3210","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1567029$5AE69926-F146-45AE-969C-0D733CCA1CB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbcd529614e98de92dc1c2b75fea5ddbf291fcf3","datavalue":{"value":{"time":"+2000-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1567029$E94554B9-CE2C-4FFA-B044-AB0A67830BB7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25dc235641576d121f278ab0aa2f31dc0af08473","datavalue":{"value":"By an \\textit{integral-elementary} function we mean any real function that can be obtained from the constants, \\(\\sin x\\), \\(e^x\\), \\(\\log x\\), and \\(\\arcsin x\\) (defined on \\((-1, 1)\\)) using the basic algebraic operations, composition and integration. The \\textit{rank} of an integral-elementary function \\(f\\) is the depth of the formula defining \\(f\\). The integral-elementary functions of rank \\(\\leq n\\) are real-analytic and satisfy a common algebraic differential equation \\(P_n(f,f',\\dots, f^{(k)})= 0\\) with integer coefficients.   We prove that every continuous function \\(f: \\mathbb{R}\\to \\mathbb{R}\\) can be approximated uniformly by integral-elementary functions of bounded rank. Consequently, there exists an algebraic differential equation with integer coefficients such that its everywhere analytic solutions approximate every continuous function uniformly. This solves a problem posed by L. A. Rubel.   Using the same basic functions as above, but only allowing the basic algebraic operations and compositions, we obtain the class of \\textit{elementary} functions. We show that every differentiable function with a derivative not exceeding an iterated exponential can be uniformly approximated by elementary functions of bounded rank. If we include the function \\(\\arcsin x\\) defined on \\([-1, 1]\\), then the resulting class of \\textit{naive-elementary} functions will approximate every continuous function uniformly.   We also show that every sequence can be uniformly approximated by elementary functions, and that every integer sequence can be represented in the form \\(f(n)\\), where \\(f\\) is naive-elementary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567029$82DA4F58-2F36-42F3-9E57-853FD53A30C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f8524a50de8fe9c2cab42bd87e89f9f0d789b2ef","datavalue":{"value":"26A09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567029$54DEE7C0-7FCF-4392-B6C8-B0AE14C1F91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"257dc95ce04794f12f639598acfcf1fbb4136f82","datavalue":{"value":"26A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567029$12627886-D881-4716-8E4D-AEA64F7F9320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c52d2953990a9bfb53c224b465dcab4452ef7d6","datavalue":{"value":"26E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567029$2F3E7FC1-C6EA-49E0-B6E9-A744F715AD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff63876d0fe0409f4af99d031e09af02cd43908c","datavalue":{"value":"41A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567029$73600FB3-972A-4260-90D6-9AF881CABF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567029$DA05DCEC-2330-4212-B1D2-6BC5C806F1D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47416418ed6b565a48353cc42e1c6c914b2fdffc","datavalue":{"value":"1455229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1567029$F3E72189-69F2-4ED6-AE4C-05D69F0F9D49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce30b096192f2e490b25a3612ca7a7baa5f9a28b","datavalue":{"value":"uniform approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567029$51A14875-9868-4032-9EC4-DC4B99EC24C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cece370de68c4105cf0ddbf9c1c8562b7f4ea7e3","datavalue":{"value":"integral-elementary functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567029$87EC8727-7DA6-463E-B18D-BB05E9F1D3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090fb77e6273d637bd83b1e83d787dd0135622e7","datavalue":{"value":"algebraic differential equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567029$D839638B-D3C2-4CCA-9AF8-A43DC1BC6C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df0ec8d226626f9feb66ca4c58130a13575982f","datavalue":{"value":"elementary functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567029$3692977C-E212-45D4-95F5-996F8854BDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e5ab214c345e96d6f3111e54df7a66c22d20e9","datavalue":{"value":"bounded rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1567029$05365BD4-103E-4453-BB0D-FD7FD6A93195","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":"Q1567029$463BD15A-60FB-4D51-87AA-82C02A467303","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802eec2f62f1ba55e51c9d99ad6ed09edb8b8cb9","datavalue":{"value":{"entity-type":"item","numeric-id":3582052,"id":"Q3582052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66be0f0948608cc2c14bdc39a90789469339ecf1","datavalue":{"value":{"amount":"+0.7272120118141174","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":"Q1567029$3CFE18BE-F4CA-4291-9930-D5E88D6E7FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0e40759474815c48bfaec37fd15f8ab3dc1262","datavalue":{"value":{"entity-type":"item","numeric-id":4024486,"id":"Q4024486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d320cef36e7dca9df3c7b457e43679cc75ad093d","datavalue":{"value":{"amount":"+0.7258763909339905","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":"Q1567029$C309DA0E-13FD-4628-8A2E-4FBDE02B4B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05b688a399ad21237f3211579bb50d31e4eac18","datavalue":{"value":{"entity-type":"item","numeric-id":3375463,"id":"Q3375463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f177d4634aeed48331cb6757901d25acf14e77cc","datavalue":{"value":{"amount":"+0.722882091999054","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":"Q1567029$19C515E0-D7A4-4685-9DFF-0ACCEE637BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501a5a7b175717a881a9dcbe2d839f5d893af3e4","datavalue":{"value":{"entity-type":"item","numeric-id":805955,"id":"Q805955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e218df31058d1822c42e0498a15d452d9df52f","datavalue":{"value":{"amount":"+0.7207284569740295","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":"Q1567029$8CA15D1B-5064-4BFB-90EC-B9F44CD8F506","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary and integral-elementary functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_and_integral-elementary_functions"}}}}}