Borel's lemma on prescribed derivatives
[6/50%]Prove that if is a positive integer and are real numbers with , then there is a real function with derivatives of all orders such that
-
for and all ,
-
for ,
-
.
Prove that for any numerical sequence there exists a function such that for all
Let (at the endpoints of the segment the existence of the corresponding one-sided derivatives of every order is required). Prove that there exists a function such that .
Let be any numerical sequence. Does there exist a function for which , ?
Prove that any function of the form
is infinitely differentiable on and that by an appropriate choice of the numbers one can arrange for all its derivatives at the point to take any prescribed values in advance (Borel's theorem).
Prove that to every sequence of complex numbers there corresponds a function such that for Suggestion: If is as in Exercise 11, if , if , and if
then for , provided that is large enough. Take .