Namespaces
Variants
Actions

Approximation of functions, extremal problems in function classes

From Encyclopedia of Mathematics
Jump to: navigation, search


Problems connected with the search for upper bounds of approximation errors with respect to a fixed class of functions and with the choice of an approximation tool that is best in some sense or other. The foundations of the research concerning this kind of problems were laid by A.N. Kolmogorov ([1], [2]), J. Favard ([3], ) and S.M. Nikol'skii ([5], [6]). These researches were greatly extended in the 1950s. They stimulated the requirements of numerical mathematics, penetrating ever deeper into problems of an optimization character.

If in a normed function space $ X $ one considers the approximation of functions from a class $ \mathfrak M $ by functions from a fixed set $ \mathfrak N \subset X $, then problems on determining the quantity

$$ \tag{1} E ( \mathfrak M ,\ \mathfrak N ) _ {X} \ = \ \sup _ {f \in \mathfrak M} \ E (f,\ \mathfrak N ) _ {X} , $$

where

$$ E (f,\ \mathfrak N ) _ {X} \ = \ \inf _ {\phi \in \mathfrak N} \ \| f - \phi \| _ {X} $$

is the best approximation of a function $ f (t) $ by $ \mathfrak N $, as well as on determining the quantity

$$ \tag{2} {\mathcal E} ( \mathfrak M ,\ \mathfrak N ,\ U) _ {X} \ = \ \sup _ {f \in \mathfrak M} \ \| f - Uf \| _ {X} , $$

where $ U $ is a specific approximation method, given by some operator acting from $ X $ into $ \mathfrak N $, are of interest. Geometrically, the supremum in (1) characterizes the deviation of the set $ \mathfrak M $ from $ \mathfrak N $ in the metric of $ X $. In practice, $ E ( \mathfrak M ,\ \mathfrak N ) _ {X} $ can be looked upon, first, as the minimal-possible bound from above for the best approximation of $ \mathfrak N $ by functions that are only known to belong to $ \mathfrak M $, and secondly, it gives a tool for measuring and comparing the approximative properties of concrete approximation methods on $ \mathfrak M $. In (2), the most important case is when $ \mathfrak N = \mathfrak N _ {N} $ is an $ N $- dimensional space and $ U $ is a linear approximation method. A whole series of exact and asymptotically-exact results is known for the approximation of function classes by concrete linear methods (in particular, by polynomial or spline methods), see [1][12], . However, special interest attaches to methods attaining the infimum

$$ \tag{3} {\mathcal E} ( \mathfrak M ,\ \mathfrak N _ {N} ) _ {X} \ = \ \inf _ {UX \subset \mathfrak N _ N} \ {\mathcal E} ( \mathfrak M ,\ \mathfrak N _ {N} ,\ U) _ {X} , $$

over all linear bounded operators $ U $ from $ X $ into $ \mathfrak N _ {X} $, i.e. to all linear methods that are optimal for $ \mathfrak M $. Obviously,

$$ E ( \mathfrak M ,\ \mathfrak N _ {N} ) _ {X} \ \leq \ {\mathcal E} ( \mathfrak M ,\ \mathfrak N _ {N} ) _ {X} , $$

and there naturally arises the question on whether the equality sign can be attained. Apart from the trivial case when $ X $ is a Hilbert function space and the best approximation of a function is given by its Fourier sums with respect to an orthogonal basis of $ \mathfrak N _ {X} $, some results when linear methods realize the best approximation on the entire class $ \mathfrak M $ are also known for non-Hilbert spaces.

Thus, if $ X $ is the space $ \widetilde{L} = \widetilde{L} _ {p} [0,\ 2 \pi ] $( $ 1 \leq p \leq \infty $) of $ 2 \pi $- periodic functions, $ \mathfrak N _ {2n - 1} ^ {T} $ is the subspace of trigonometric polynomials of order $ n - 1 $( $ \mathop{\rm dim}\nolimits \ \mathfrak N _ {2n - 1} ^ {T} = 2n - 1 $), and if $ M \widetilde{W} {} _ {p} ^ {r} $, $ r = 1,\ 2 \dots $ is the class of functions $ f \in \widetilde{L} _ {p} $ for which $ f ^ {\ (r - 1)} (t) $ is absolutely continuous on $ [0,\ 2 \pi ] $ and for which $ \| f ^ {\ (r)} \| _ { \widetilde{L} _ p } \leq M $, then

$$ E (M \widetilde{W} {} _ {p} ^ {r} ,\ \mathfrak N _ { 2n - 1} ^ {T} ) _ {\widetilde{L} _ p } \ = \ {\mathcal E} (M \widetilde{W} {} _ {p} ^ {r} ,\ \mathfrak N _ { 2n - 1} ^ {T} ) _ {\widetilde{L} _ p } \ = \ MK _ {r} n ^ {-r} , $$

$$ p \ = \ 1,\ \infty ; \ \ n,\ r \ = \ 1,\ 2 \dots $$

where $ K _ {r} $ is the Favard constant. The best approximation on $ M \widetilde{W} {} _ {1} ^ {r} $ and $ M \widetilde{W} {} _ \infty ^ {r} $ is obtained, moreover, by a linear method $ U _ {n - 1} ^ \lambda $, constructed on the basis of Fourier sums (cf. Approximation of functions, linear methods, formula (3)) for a specific choice of the multiplication coefficients $ \lambda _ {k} ^ {(n - 1)} = \lambda _ {k} ^ {(n - 1)} (r) $. Linear operators, with values in $ \mathfrak N _ {2n - 1} ^ {T} $, yielding the supremum of the best approximation on convolution classes, including, in particular, $ M \widetilde{W} {} _ \infty ^ {r} $ and $ M \widetilde{W} {} _ {1} ^ {r} $ with a rational number $ r > 0 $, as well as on classes of conjugate functions, have been established (cf. [10], [11]).

For approximation by the subspace $ S _ {2 \pi} ^ {m} $ of $ 2 \pi $- periodic splines of order $ m $ and defect 1 with knots (nodes, joints) at $ k \pi /n $( $ \mathop{\rm dim}\nolimits \ S _ {2n} ^ {m} = 2n $), the equalities

$$ E (M \widetilde{W} {} _ {p} ^ {r} ,\ S _ {2n} ^ {r - 1} ) _ { \widetilde{L} _ p } \ = \ {\mathcal E} (M \widetilde{W} {} _ {p} ^ {r} ,\ S _ {2n} ^ {r - 1} ) _ { \widetilde{L} _ p } \ = \ MK _ {r} n ^ {-r} , $$

$$ p \ = \ 1,\ \infty ; \ \ n,\ r \ = \ 1,\ 2 \dots $$

are valid. The splines $ \sigma _ {r - 1} (f,\ t) $ in $ S _ {2 \pi} ^ {r - 1} $ interpolating a function $ f $ at $ k \pi /n $ if $ r $ is even, and at $ (2k + 1) \pi /2n $ if $ r $ is odd, provide the best linear methods in this case. Relative to $ M \widetilde{W} {} _ \infty ^ {r} $ these splines have exceptional approximative properties, since they give the best approximation of an $ f \in M \widetilde{W} {} _ \infty ^ {r} $ in any $ \widetilde{L} _ {p} $( cf. [7], [15]).

When (1) and (3) coincide and when it is possible to construct a concrete linear method solving both problems, the cases considered are, in a well-known sense, optimal. In other cases it proved expedient in solving (1) to adopt an approach based on general duality theorems, reflecting fundamental relations in geometric convex analysis (see [7], [8]). If, e.g. $ X $ is an arbitrary linear normed space, $ X ^ {*} $ is its dual and $ \mathfrak N $ is a convex set in $ X $, then for any $ x \in X $

$$ \tag{4} \inf _ {u \in \mathfrak N} \ \| x - u \| \ = \ \sup _ { {F \in X ^ {*} , \atop \| F \| \leq 1}} \ \left [ F (x) - \sup _ {u \in \mathfrak N} \ F (u) \right ] ; $$

in particular, if $ \mathfrak N $ is a subspace,

$$ \tag{5} \inf _ {u \in \mathfrak N} \ \| x - u \| \ = \ \sup \ \{ {F (x)} : {F \in X ^ {*} ,\ \| F \| \leq 1, F (u) = 0 \ \textrm{ for } \ \textrm{ all } \ {} u \in \mathfrak N} \} . $$

In a number of cases (4), or (5), allows one to reduce the calculation of the supremum (1) to the more transparent problem of determining the extremum of an explicitly defined functional on some set of functions, which, if $ \mathfrak N $ is a subspace, is related to orthogonality conditions. For example, by (5) the estimation of $ E \widetilde{(W} {} _ {q} ^ {r} ,\ \mathfrak N _ { 2n - 1} ^ {T} ) _ {\widetilde{L} _ p } $, $ 1 \leq p,\ q \leq \infty $, can be reduced, using known inequalities, to the calculation of the supremum of the norms $ \| g \| _ {q ^ \prime} $, $ q ^ \prime = q/(q - 1) $, on the set of functions $ g \in W _ {p ^ \prime} ^ {r} $, $ p ^ \prime = p/(p - 1) $, for which

$$ \int\limits _ { 0 } ^ {2 \pi} g (t) \ {\cos \atop \sin}\ {kt \atop kt}\ dt \ = \ 0,\ \ k = 0 \dots n - 1. $$

More refined situations occur when (1) has to be solved on classes not given by restrictions on the norm of the $ r $- th derivative $ f ^ {\ (r)} (t) $, but on its modulus of continuity $ \omega (f ^ {\ (r)} ,\ \delta ) _ {X} $. Particularly interesting is the case where $ \mathfrak M = \widetilde{W} {} ^ {r} H ^ \omega $( $ r = 0,\ 1 ,\dots $; $ \widetilde{W} {} ^ {0} H ^ \omega = \widetilde{H} {} ^ \omega $) is the class of $ 2 \pi $- periodic functions $ f \in \widetilde{C} {} ^ {r} $( $ \widetilde{C} ^ {0} = \widetilde{C} $) for which

$$ \omega (f ^ {\ (r)} ,\ \delta ) _ {C} \ = \ \omega (f ^ {\ (r)} ,\ \delta ) \ \leq \ \omega ( \delta ), $$

where $ \omega ( \delta ) $ is a given modulus of continuity, e.g. $ \omega ( \delta ) = M \delta ^ \alpha $( $ 0 < \alpha \leq 1 $, $ 0 \leq \delta \leq \pi $). Here the application of (5) requires the use of fine results on differentiable periodic functions of the type of the comparison theorem and the Kolmogorov inequality (for the norm of derivatives), here described using the tool of rearrangements (of equi-measurable functions). If $ \omega ( \delta ) $ is convex from above, the following equalities ([7], [15]) are valid:

$$ E \widetilde{(W} {} ^ {r} H ^ \omega ,\ \mathfrak N _ {2n - 1} ^ {T} ) _ {X} \ = \ E \widetilde{(W} {} ^ {r} H ^ \omega ,\ S _ {2n} ^ {r} ) _ {X} \ = \ \| f _ {nr} ( \omega ) \| _ {X} , $$

$$ n \ = \ 1,\ 2 ,\dots ; \ \ r \ = \ 0,\ 1 ,\dots . $$

Here $ X = \widetilde{C} $ or $ \widetilde{L} _ {1} $, the $ f _ {nr} ( \omega ,\ t) $ are functions in $ \widetilde{W} {} ^ {r} H ^ \omega $ of period $ 2 \pi /n $, with zero average over a period, for which $ f _ {nr} ^ {\ (r)} $ is even, equal to $ [ \omega ( \pi /n - 2t)]/2 $ on $ [0,\ \pi /2n] $, and equal to $ - [ \omega (2t - \pi /n)]/2 $ on $ [ \pi /2n,\ \pi /n] $. The norms $ \| f _ {nr} ( \omega ) \| _ {X} $ have an explicit expression, e.g.

$$ \| f _ {n0} ( \omega ) \| _ {\widetilde{C} } \ = \ { \frac{1}{2} } \omega \left ( { \frac \pi {n} } \right ) , $$

$$ \| f _ {nr} ( \omega ) \| _ {\widetilde{C} } \ = \ { \frac{1}{2n ^ r} } \int\limits _ { 0 } ^ \pi \Phi _ {r} ( \pi - t) \omega \left ( { \frac{t}{n} } \right ) \ dt,\ \ r = 1,\ 2 \dots $$

where the functions $ \Phi _ {k} (t) $ on $ [0,\ \pi ] $ are given recurrently by

$$ \Phi _ {1} (t) \ = \ { \frac{1}{2} } ,\ \ \Phi _ {k} (t) \ = \ { \frac{1}{2} } \int\limits _ { 0 } ^ {\pi - t} \Phi _ {k - 1} (u) \ du. $$

The best linear method from $ \widetilde{C} $ into $ \mathfrak N _ {2n - 1} ^ {T} $, or into $ S _ {2n} ^ {r} $, for the class $ \widetilde{W} H ^ \omega $ is known for $ \omega ( \delta ) = m \delta $, $ 0 \leq \delta \leq \pi $, i.e. when $ \widetilde{W} {} ^ {r} H ^ \omega = M \widetilde{W} {} _ \infty ^ {r + 1} $. The interpolation splines $ \sigma _ {r} (f,\ t) $ in $ S _ {2 \pi} ^ {r} $ yield the supremum $ E \widetilde{(W} {} ^ {r} H ^ \omega ,\ S _ {2 \pi} ^ {r} ) _ {\widetilde{C} } $( for any convex $ \omega ( \delta ) $) only if $ r = 1 $.

For solutions to extremal problems for function classes on a finite interval and not restricted by rigid boundary conditions, it is not possible to give such complete results as in the periodic case; the extremal end points of the interval have a perturbing influence on the extremal functions, which require an increase in the order of differentiability. Here, some exact asymptotic results are known. If $ MW ^ {r} H ^ \alpha $, $ r = 0,\ 1 \dots $ $ 0 < \alpha < 1 $, $ MW ^ {0} H ^ \alpha = MH ^ \alpha $, is the class of functions $ f \in C ^ {r} [-1,\ 1] $ for which

$$ | f ^ {\ (r)} (t ^ \prime ) - f ^ {\ (r)} (t ^ {\prime\prime} ) | \ \leq \ M \ | t ^ \prime - t ^ {\prime\prime} | ^ \alpha \ \ (t ^ \prime ,\ t ^ {\prime\prime} \in [-1,\ 1]), $$

then for the best uniform approximation on $ [-1,\ 1] $ by the subspace $ \mathfrak N _ {n} ^ {A} $ of algebraic polynomials of degree $ n - 1 $, the relations

$$ \tag{6} \lim\limits _ {n \rightarrow \infty} \ n ^ \alpha E (MH ^ \alpha ,\ \mathfrak N _ {n} ^ {A} ) _ {C} \ = \ { \frac{M \pi ^ \alpha}{2} } , $$

$$ \tag{7} \lim\limits _ {n \rightarrow \infty} \ n ^ {r + \alpha} E (MW ^ {r} H ^ \alpha ,\ \mathfrak N _ {n} ^ {A} ) _ {C} \ = \ { \frac{M}{2} } \int\limits _ { 0 } ^ \pi \Phi _ {r} ( \pi - t) t ^ \alpha \ dt, $$

$$ r \ = \ 1,\ 2 \dots $$

hold. It is useful to compare these results with the corresponding ones in the periodic case. For $ \alpha = 1 $, the right-hand sides of (6), (7) are equal, respectively, to $ MK _ {1} $ and $ MK _ {r + 1} $. Dropping the requirement of a polynomial of best approximation, one obtains stronger results, essentially improving the approximation at the end points of $ [-1,\ 1] $ without losing the best asymptotics on the whole interval. E.g., for any $ f \in MH ^ \alpha $ there is a sequence of algebraic polynomials $ p _ {n} (f,\ t) \in \mathfrak N _ {n} ^ {A} $ such that uniformly in $ t \in [-1,\ 1] $, as $ n \rightarrow \infty $, one has

$$ | f (t) - p _ {n} (f,\ t) | \ \leq \ { \frac{M}{2} } \left [ \left ( { \frac \pi {n} } \sqrt {1 - t ^ 2} \right ) ^ \alpha + o (n ^ {- \alpha} ) \right ]\ = $$

$$ = \ E (MH ^ \alpha ,\ \mathfrak N _ {n} ^ {A} ) _ {C} [(1 - t ^ {2} ) ^ {\alpha /2} + o (1)]. $$

Analogous results hold for $ MW ^ {r} H ^ {1} ,\ r = 1,\ 2 \dots $ see [11]. In spline-approximation problems (both of best and of interpolation type) certain exact and asymptotically-exact results are known for function classes on intervals (cf. [15]).

In the case of one-sided approximation (in an integral metric) a series of exact results concerning the estimation of the error of best approximation by polynomials and splines regarding the above-mentioned function classes is known (cf. [14]). In deriving them, essential use is made of duality relations for the best approximation under restrictions given by cones.

The search for a best approximation tool (of fixed dimension), leads, for a fixed function class $ \mathfrak M $, to the problem of widths: Determine (cf. (1), (3)):

$$ d _ {N} ( \mathfrak M ,\ X) \ = \ \inf _ {\mathfrak N _ N} \ E ( \mathfrak M ,\ \mathfrak N _ {N} ) _ {X} , $$

$$ d _ {N} ^ {\ \prime} ( \mathfrak M ,\ X) \ = \ \inf _ {\mathfrak N _ N} \ {\mathcal E} ( \mathfrak M ,\ \mathfrak N _ {N} ) _ {X} , $$

where the infima are taken over all subspaces $ \mathfrak N _ {N} $ of $ X $( as well as over their translations) of dimension $ N $, and also to determine extremal (best) subspaces yielding these infima. An upper bound for $ d _ {N} $ and $ d _ {N} ^ {\ \prime} $ is given by $ E ( \mathfrak M ,\ \mathfrak N ) _ {X} $ and $ {\mathcal E} ( \mathfrak M ,\ \mathfrak N _ {N} ) _ {X} $, which have been established for concrete subspaces $ \mathfrak N _ {N} $. The fundamental difficulty in the problem of widths, here, is to obtain exact lower bounds. In a number of cases it is possible to obtain such bounds by appealing to topological considerations, in particular, Borsuk's antipodal theorem (cf. [8]). In practically all cases of exactly solving best approximation problems in the classes $ M \widetilde{W} {} _ {p} ^ {r} $ and $ \widetilde{W} {} ^ {r} H ^ \omega $ of periodic functions by the subspaces $ \mathfrak N _ {2n - 1} ^ {T} $( trigonometric polynomials of order $ n - 1 $) or $ S _ {2n} ^ {m} $( splines of order $ m $ and defect 1 with respect to the partition of knots $ k \pi /n $), the known exact upper bounds $ E ( \mathfrak M ,\ \mathfrak N _ {N} ) _ {X} $ give also the values of $ d _ {N} $ for these classes. Moreover, for periodic classes $ d _ {2n - 1} = d _ {2n} $. In particular (cf. [7], [8], [15], )

$$ d _ {2n - 1} ( \widetilde{W} {} _ \infty ^ {r} ,\ \widetilde{C} ) \ = \ d _ {2n} ( \widetilde{W} {} _ \infty ^ {r} ,\ \widetilde{C} ) \ = \ d _ {2n - 1} ( \widetilde{W} {} _ {1} ^ {r} ,\ \widetilde{L} _ {1} )\ = $$

$$ = \ d _ {2n} ( \widetilde{W} {} _ {1} ^ {r} ,\ \widetilde{L} _ {1} ) \ = \ K _ {r} n ^ {-r} ,\ \ n,\ r = 1,\ 2 \dots $$

and for an upper convex $ \omega ( \delta ) $ and for $ X = \widetilde{C} $ or $ \widetilde{L} _ {1} $ one has

$$ d _ {2n - 1} ( \widetilde{W} {} ^ {r} H ^ \omega ,\ X) \ = \ d _ {2n} ( \widetilde{W} {} ^ {r} H ^ \omega ,\ X) \ = \ \| f _ {nr} ( \omega ) \| _ {X} , $$

$$ n = 1,\ 2 ,\ . \ . \ . ; \ \ r = 0,\ 1 ,\ . \ . \ . . $$

It should be observed that $ \mathfrak N _ {2n - 1} ^ {T} $ is extremal for the classes considered, for all $ r $, and that no subspace of dimension $ 2n $ gives a better approximation for these classes than $ \mathfrak N _ {2n - 1} ^ {T} $( which is of dimension $ 2n - 1 $). The subspace $ S _ {2n} ^ {m} $ of splines is extremal for $ \widetilde{W} {} _ \infty ^ {r + 1} $ and $ \widetilde{W} {} ^ {r} H ^ \omega $ in $ \widetilde{C} $ if $ m = r $ and for $ \widetilde{W} {} _ {p} ^ {r + 1} $ in $ \widetilde{L} _ {1} $ if $ m \geq r $. The linear widths $ d _ {N} ^ {\ \prime} $ of $ \widetilde{W} {} _ \infty ^ {r} $ in $ \widetilde{C} $ and $ \widetilde{W} {} _ {1} ^ {r} $ in $ \widetilde{L} _ {1} $ coincide with $ d _ {N} $, they are attained on $ \mathfrak N _ {2n - 1} ^ {T} $ and $ S _ {2n} ^ {r - 1} $ by the best linear methods that were referred to above. The widths $ d _ {N} $ and $ d _ {N} ^ {\ \prime} $ of $ \widetilde{W} {} _ {2} ^ {r} $ in $ \widetilde{L} _ {2} $ for $ N = 2n - 1 $ and $ N = 2n $ are equal and are obtained by Fourier trigonometric sums. Exact asymptotic results for widths of function classes on an interval are known in a number of cases: The widths $ d _ {N} $ and $ d _ {N} ^ {\ \prime} $ of $ W _ \infty ^ {r} $ in $ C [-1,\ 1] $ coincide and are obtained for interpolation splines of order $ r - 1 $ with respect to non-uniform partitions (cf. [8]).

The problem of estimating the approximation error on the set $ X ^ {r} $ of $ r $- fold integrals of functions from $ X $( which is not locally compact) can be stated properly if for $ f \in X ^ {r} $ and fixed $ \gamma > 0 $ one estimates

$$ \frac{E (f,\ \mathfrak N _ {N} ) _ X}{\omega (f ^ {\ (r)} ,\ \gamma ) _ X} $$

( $ \omega (g,\ \delta ) _ {X} $ is the modulus of continuity of $ g $ in $ X $) or (in the case of a concrete approximation method) if one estimates

$$ \frac{\| f - U _ {N} f \| _ X}{\omega (f ^ {\ (r)} ,\ \gamma ) _ X} . $$

Determining the suprema of these quantities on $ X ^ {r} $ is equivalent to the search for the least constant in the corresponding Jackson inequality; subsequently one may deal with the minimization over all subspaces of dimension $ N $. In a number of cases, these problems have been solved. E.g. in the inequality

$$ E (f,\ S _ {2n} ^ {r} ) _ {\widetilde{C} } \ \leq \ M _ {r} n ^ {-r} \omega \left ( f ^ {\ (r)} ,\ { \frac \pi {n} } \right ) _ {\widetilde{C} } ,\ \ f \in \widetilde{C} {} ^ {r} , $$

the least constant is $ M _ {r} = K _ {r} /2 $, and it cannot be improved if $ S _ {2n} ^ {r} $ is replaced by any other subspace of the same dimension (cf. [15]). Exact constants in the Jackson inequalities for trigonometric approximation in the uniform and in an integral metric are known (cf. [7]). In the non-periodic case there are asymptotic results available.

Among approximation problems in which the approximating set is not a linear manifold but a convex set, the problem of approximating one function class $ \mathfrak M $ by another $ \mathfrak M _ {1} $ with best, in some sense or other, smoothness properties, is of interest. Such a problem arose initially at an intermediate stage in obtaining exact bounds for

$$ E ( \widetilde{H} {} ^ \omega ,\ \mathfrak N _ {2n - 1} ^ {T} ) _ {\widetilde{C} } \ \ ( \mathfrak M \ = \ \widetilde{H} {} ^ \omega ,\ \ \mathfrak M _ {1} \ = \ M \widetilde{W} {} _ \infty ^ {1} ) $$

(cf. [7]); later it became to be considered as an independent problem, and in a number of cases it was possible, using (4), to obtain exact results.

For

$$ \mathfrak M \ = \ M _ {1} W _ {p} ^ {r} , $$

$$ \mathfrak M _ {1} \ = \ M _ {2} W _ {q} ^ {k} \ \ (0 < r < k) $$

relations have been obtained between inequalities for norms of derivatives and best approximations of a differentiation operator by linear bounded operators (cf. [13]).

Many extremal problems in the approximation of functions may be interpreted as problems of optimal recovery (cf. [15]). Let the information on a function $ f \in X $ be given by a vector $ T (f,\ \Lambda ) = \{ \lambda _ {1} (f) \dots \lambda _ {n} (f) \} $, where $ \lambda _ {k} $ are given functionals on $ X $( e.g. values of $ f $ and/or some derivatives in fixed points). Given that $ f $ belongs to a class $ \mathfrak M $, it is required to reconstruct $ f $ or some linear functional $ L (f) $ of it (e.g. $ L (f) = f ( \overline{t}\; ) $, $ L (t) = \int _ {a} ^ {b} f (t) \ dt $, etc.) on the basis of $ T (f,\ \Lambda ) $ with least possible error. The minimization need not only take into account methods $ S $ juxtaposing $ T (f,\ \Lambda ) $ with a function $ \phi (t) \approx f (t) $( or a functional $ l (f) \approx L (f) $), but also involves the choice of functionals $ \lambda _ {k} $, $ k = 1 \dots N $. Depending on the choice of the error measure and the class of methods $ S $, the problem of optimal recovery of a function may sometimes be reduced to determining the widths $ d _ {N} ,\ d _ {N} ^ {\ \prime} $, the Chebyshev centre, or other characteristics of $ \mathfrak M $. The problem of optimal recovery of $ \int _ {a} ^ {b} f (t) \ dt $ on the basis of information of the form $ \{ f (t _ {k} ) \} $ or $ \{ f ^ {\ ( \nu )} (t _ {k} ) \} $ leads to the problem of best quadrature formulas for $ \mathfrak M $. The best tool of recovering is achieved, in a number of cases, by splines; e.g. the splines $ \sigma _ {r - 1} (f,\ t) $ in $ S _ {2n} ^ {r - 1} $ that interpolate at equally-distant points $ t _ {k} $ reconstruct an $ f \in \widetilde{W} {} _ \infty ^ {r} $ on the basis of information $ \lambda _ {k} (f) = f (t _ {k} ) $ in each point $ t \neq t _ {k} $ with minimum error on the whole class $ \widetilde{W} {} _ \infty ^ {r} $.

In spaces of functions of two or more variables, excluding the trivial case of approximation in Hilbert spaces, exact solutions of extremal problems have not yet been obtained (1983). In a few cases an asymptotic relation for the error of uniform approximation in function classes by Fourier sums or some average Fourier sums is known (cf. [12]).

References

[1] A.N. Kolmogorov, Ann. of Math. , 36 : 2 (1935) pp. 521–526
[2] A.N. [A.N. Kolmogorov] Kolmogoroff, "Ueber die beste Annäherung von Funktionen einer gegebenen Funktionenklasse" Ann. of Math. , 37 : 1 (1936) pp. 107–110
[3] J. Favard, C.R. Acad. Sci. , 203 (1936) pp. 1122–1124
[4a] J. Favard, "Sur les meilleurs procédés d'approximation de certaines classes de fonctions par des polynômes trigonométriques" Bull. Sci. Math. , 61 (1937) pp. 209–224
[4b] J. Favard, "Sur les meilleurs procédés d'approximation de certaines classes de fonctions par des polynômes trigonométriques" Bull. Sci. Math. , 61 (1937) pp. 243–256
[5] S.M. Nikol'skii, "Approximations of periodic functions by trigonometric polynomials" Trudy Mat. Inst. Steklov. , 15 (1945) pp. 1–76 (In Russian) (English abstract)
[6] S.M. Nikol'skii, "Mean approximation of functions by trigonometric polynomials" Izv. Akad. Nauk SSSR Ser. Mat. , 10 (1946) pp. 207–256 (In Russian)
[7] N.P. Korneichuk, "Extremal problems in approximation theory" , Moscow (1976) (In Russian)
[8] V.M. Tikhomirov, "Some problems in approximation theory" , Moscow (1976) (In Russian)
[9] V.K. Dzyadyk, "Introduction to the theory of uniform approximation of functions by polynomials" , Moscow (1977) (In Russian)
[10] N.I. [N.I. Akhiezer] Achiezer, "Theory of approximation" , F. Ungar (1956) (Translated from Russian)
[11] A.F. Timan, "Theory of approximation of functions of a real variable" , Pergamon (1963) (Translated from Russian)
[12] A.I. Stepanets, "Uniform approximation by trigonometric polynomials. Linear methods" , Kiev (1984) (In Russian)
[13] V.V. Arestov, "Some extremal problems for differentiable functions of one variable" Trudy Mat. Inst. Steklov. , 138 (1975) pp. 3–28 (In Russian)
[14] N.P. Korneichuk, A.A. Ligun, V.G. Doronin, "Approximation with constraints" , Kiev (1982) (In Russian)
[15] N.P. Korneichuk, "Splines in approximation theory" , Moscow (1984) (In Russian)

Comments

The recent book by A. Pinkus [a1] contains a comprehensive and valuable bibliography.

References

[a1] A. Pinkus, "$n$-widths in approximation theory" , Springer (1985) (Translated from Russian)
[a2] C.A. Michelli, T.J. Rivlin, "A survey of optimal recovery" C.A. Michelli (ed.) T.J. Rivlin (ed.) , Optimal estimation in approximation theory , Plenum (1977) pp. 1–54
How to Cite This Entry:
Approximation of functions, extremal problems in function classes. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Approximation_of_functions,_extremal_problems_in_function_classes&oldid=53269
This article was adapted from an original article by N.P. Korneichuk (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article