Elementary and integral-elementary functions (Q1567029)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Elementary and integral-elementary functions |
scientific article; zbMATH DE number 1455229
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Elementary and integral-elementary functions |
scientific article; zbMATH DE number 1455229 |
Statements
Elementary and integral-elementary functions (English)
0 references
26 November 2000
0 references
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.
0 references
uniform approximation
0 references
integral-elementary functions
0 references
algebraic differential equation
0 references
elementary functions
0 references
bounded rank
0 references