Approximation of functions, direct and inverse theorems
Theorems and equalities establishing a connection between the difference-differential properties of the function to be approximated and the magnitude (and behaviour) of the error of approximation, by various methods. Direct theorems give an estimate of the error of approximation of a function in terms of its smoothness properties (the existence of derivatives of a given order, the modulus of continuity of or of some of its derivatives, etc.). In the case of best approximation by polynomials, direct theorems are also known as Jackson-type theorems , together with their many generalizations and refinements (see Jackson inequality and Jackson theorem). Inverse theorems characterize difference-differential properties of functions depending on the rapidity with which the errors of best, or any other, approximations tend to zero. The problem of obtaining inverse theorems in the approximation of functions was first stated, and in some cases solved, by S.N. Bernstein [S.N. Bernshtein] . A comparison of direct and inverse theorems allows one sometimes to characterize completely the class of functions having specific smoothness properties using, for instance, sequences of best approximations.
The connection between direct and inverse theorems is most simple in the periodic case. Let be the space of -periodic continuous functions on the whole real axis with norm
be the best approximation of a function in by the subspace of trigonometric polynomials of degree at most , let be the modulus of continuity of , and let , be the set of functions in () that are times continuously differentiable on the whole real axis. A direct theorem states: If , then
where the constant does not depend on . A stronger assertion is: It is possible to indicate a sequence of linear methods , associating a polynomial to a function in and such that for the error is bounded by the right-hand side of (1). An inverse theorem states that for
where is an absolute constant and is the integer part of . And if for some positive integer the series
then and the satisfy for the Hölder inequality
whereas for they satisfy the Zygmund inequality
Denoting this class of functions by , one obtains a constructive characteristic for it: if and only if
A -periodic function is infinitely differentiable on the whole real axis if and only if
for all .
Similar properties hold for the approximation of periodic functions in the metric of (), and also for (not necessarily periodic) functions defined on the whole real axis when being approximated by entire functions of finite order (see  and ). Direct and inverse theorems are known for ; as a difference-differential characteristic the modulus of smoothness of order of (or of some of its derivatives) is used (see  and ).
The situation is different in the case of approximation on a finite interval. Let be the space of continuous functions on , with norm
Let be the set of the functions that are times continuously differentiable on , , and let be the class of functions defined by the inequalities (3) and (4) with . For the best approximation,
of a function by the subspace of algebraic polynomials of degree at most one has an estimate of the form (1) in terms of the modulus of continuity of on , but the converse, analogous to that of the periodic case (with an inequality of the form (2)), now only applies for intervals contained in . For instance, if
then one can only assert that belongs to defined by the inequalities (3) (with ) merely on the interval ; the constant depends on , and can increase unboundedly as and . There exist functions not belonging to for which nevertheless
although on for every . It turned out that algebraic polynomials, retaining on the whole interval the best order of approximation of a function , can yield at the end points of the interval a substantially better approximation. This phenomenon was first discovered by S.M. Nikol'skii (see ). If, in particular, , then for any there is a polynomial such that
where the constant depends neither on nor on . Contrary to (5), this assertion has a converse: If for an there exists a sequence of polynomials such that for some and (6) is satisfied, then . Direct and inverse theorems for are known, stated in terms of the modulus of continuity and moduli of smoothness (see  and ).
Direct theorems giving order estimates for the error of approximation in terms of difference-differential properties of the approximated function were established for many concrete approximation methods (see ,  and , in particular for splines, splines of best approximation and interpolation , cf. Spline).
Direct and inverse theorems for approximation in a Hausdorff metric are known (see ). Some peculiarities arise here; in particular, the characterization of classes of functions by their best Hausdorff approximation is connected not only with the order of this approximation but also with the magnitude of the constant in the relevant inequality. For direct and inverse theorems in the multi-dimensional case, see Approximation of functions of several real variables.
|||D. Jackson, "Ueber die Genauigkeit der Annäherung stetiger Funktionen durch ganze rationale Funktionen gegebenen Grades und trigonometrische Summen gegebener Ordnung" , Göttingen (1911) (Thesis)|
|||S.N. Bernshtein, "On the best approximation of continuous functions by polynomials of a given degree (1912)" , Collected works , 1 , Moscow (1952) pp. 11–104|
|||S.M. Nikol'skii, Izv. Akad. Nauk SSSR Ser. Mat. , 10 : 4 (1946) pp. 295–317|
|||V.K. Dzyadyk, "Introduction to the theory of uniform approximation of functions by polynomials" , Moscow (1977) (In Russian)|
|||N.P. Korneichuk, "Extremal problems in approximation theory" , Moscow (1976) (In Russian)|
|||V.M. Tikhomirov, "Some problems in approximation theory" , Moscow (1976) (In Russian)|
|||N.I. [N.I. Akhiezer] Achiezer, "Theory of approximation" , F. Ungar (1956) (Translated from Russian)|
|||A.F. Timan, "Theory of approximation of functions of a real variable" , Pergamon (1963) (Translated from Russian)|
|||P.P. Korovkin, "Linear operators and approximation theory" , Hindushtan Publ. Comp. (1960) (Translated from Russian)|
|||S.B. Stechkin, Yu.N. Subbotin, "Splines in numerical mathematics" , Moscow (1976) (In Russian)|
|||I.K. Daugavet, "Introduction to the theory of approximation of functions" , Leningrad (1977) (In Russian)|
|||S.A. Stechkin, Izv. Akad. Nauk SSSR Ser. : 3 (1951) pp. 217–242|
|||B. Sendov, "Hausdorff approximations" , Sofia (1979)|
|||G.G. Lorentz, "Approximation of functions" , Holt, Rinehart & Winston (1966)|
|[a1]||I.P. Natanson, "Constructive function theory" , 1–3 , F. Ungar (1964–1965) (Translated from Russian)|
|[a2]||R.A. DeVore, "The approximation of continuous functions by positive linear operators" , Springer (1972)|
Approximation of functions, direct and inverse theorems. N.P. Korneichuk (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Approximation_of_functions,_direct_and_inverse_theorems&oldid=13527