Paper 69
Paper 69
Paper 69
PAPER 69
APPROXIMATION THEORY
1
Let σn be the Fejer operator, i.e., for a 2π-periodic function f ∈ C(T),
Z Z
π
1 1 sin2 nt
2
π
σn (f, x) = f (x − t)Fn (t) dt, Fn (t) := , Fn (t)dt = 1.
−π π 2n sin2 2t −π
2
For f ∈ C[0, 1], write down the definition of the Bernstein polynomial Bn (f ), and
(r)
derive expression for the first and, consequently, for the r-th derivative Bn (f, x).
(r)
Show that Bn (f, x) = Bn−r (gr , x) with a certain relation between gr and f . Hence
derive that
Bn(r) (f ) → f (r) ,
(r)
i.e., that Bn (f ) converge uniformly to f (r) .
Hint. You may use without the proof that, for f ∈ C r [0, 1], uniformly in x,
where ∆1h f (x) = f (x + h) − f (x) and ∆rh f (x) = ∆1h (∆hr−1 f (x)).
3
1) Let Sk (∆) be the space of splines of degree k−1 spanned by the B-splines (Nj )nj=1
n+k
on a knot sequence ∆ = (tj )j=1 such that tj < tj+k . Let x = (xi )ni=1 be interpolation
points obeying the conditions
Ni (xi ) > 0 ,
and let Px : C[a, b] → Sk (∆) be the map which associates with any f ∈ C[a, b] the spline
Px (f ) from Sk which interpolates f at (xi ). Prove that
a) Using the recurrence relation between linear and quadratic B-splines, or other-
wise, determine the values of Nj at the points (xi ).
b) Write down the matrix Ax = (Nj (xi )), and evaluate the norm kA−1 kℓ∞ . (You
may use any appropriate theorem on the inverse of certain matrices if correctly stated).
c) Hence show that kPx kL∞ 6 2.
4
a) State the Kolmogorov criterion for the element of best approximation to a real-
valued function f ∈ C[0, 1] from a linear subspace U of C[0, 1].
b) From this criterion, derive the Chebyshev alternation theorem for the element of
best approximation to a function f ∈ C[0, 1] from Pn , the space of all algebraic polynomials
of degree n.
(m)
b) From the Marsden identity, find the coefficients ai in the B-spline representa-
tion of monomials tm :
n
X (m)
tm = ai Ni (t), tk < t < tn+1 , for m = 0, . . . , k − 1.
i=1
c ln n π
|g(x + n1 ) − g(x)| > , x= ,
n 2
hence derive that
c ln n
ω(g, n1 ) > .
n
Explain briefly why the class of functions with En (f ) = O( n1 ) cannot be characterized in
terms of ω(f, n1 ).
END OF PAPER