Borel's lemma on prescribed derivatives

[6/50%]
Show
LaTeX

Prove that if nn is a positive integer and α,ε\alpha , \varepsilon are real numbers with ε>0\varepsilon > 0, then there is a real function ff with derivatives of all orders such that

  1. ∣f(k)(x)∣≤ε\left|f^{(k)}(x)\right| \leq \varepsilon for k=0,1,…,n−1k = 0, 1, \ldots , n-1 and all x∈Rx \in \mathbb {R},

  2. f(k)(0)=0f^{(k)}(0) = 0 for k=0,1,…,n−1k = 0, 1, \ldots , n-1,

  3. f(n)(0)=αf^{(n)}(0) = \alpha.

?

Prove that for any numerical sequence {an}0∞\left\{ a_{n}\right\}_{0}^{\infty } there exists a function φ∈D\varphi \in \mathcal{D} such that φ(n)(0)=an\varphi^{(n)}(0) = a_{n} for all n=0,1,2,…n = 0,1,2, \ldots

?

Let φ∈C∞[a,b]\varphi \in C^{\infty }[a, b] (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 ψ∈D\psi \in \mathcal{D} such that ψ∣[a,b]≡φ\left.\psi \right|_{[a, b]} \equiv \varphi.

?

Let {cn}\left\{ c_n\right\} be any numerical sequence. Does there exist a function f∈D(R)f\in \mathcal D(\mathbb {R}) for which f(n)(0)=cnf^{(n)}(0)=c_n, n=0,1,2,…n=0,1,2,\ldots?

?

Prove that any function of the form

f(x)=c0+∑n⩾1cnxn1+n!cn2x2 f(x)=c_{0}+\sum _{n \geqslant 1} \frac{c_{n} x^{n}}{1+n!c_{n}^{2} x^{2}}

is infinitely differentiable on R\mathbb {R} and that by an appropriate choice of the numbers cnc_{n} one can arrange for all its derivatives at the point x=0x=0 to take any prescribed values in advance (Borel's theorem).

?

Prove that to every sequence {αn}\left\{ \alpha_{n}\right\} of complex numbers there corresponds a function f∈C∞f \in C^{\infty } such that (Dnf)(0)=αn\left(D^{n} f\right)(0) = \alpha_{n} for n=0,1,2,…n = 0,1,2, \ldots Suggestion: If φ\varphi is as in Exercise 11, if βn=αn/n!\beta_{n} = \alpha_{n} / n!, if gn(x)=βnxnφ(x)g_{n}(x) = \beta_{n} x^{n} \varphi (x), and if

fn(x)=λn−ngn(λnx)=βnxnφ(λnx) f_{n}(x) = \lambda _{n}^{-n} g_{n}\left(\lambda _{n} x\right) = \beta _{n} x^{n} \varphi \left(\lambda _{n} x\right)

then ∥Dkfn∥∞<2−n\left\| D^{k} f_{n}\right\|_{\infty } < 2^{-n} for k=0,…,n−1k = 0, \ldots , n-1, provided that λn\lambda_{n} is large enough. Take f=Σfnf = \Sigma f_{n}.

?

References

[deSi04] de Souza P.N., Silva J. Berkeley Problems in Mathematics. 3rd ed., Springer, 2004.
[БСШ17] Бородин П.А., Савчук А.М., Шейпак И.А. Задачи по функциональному анализу. МЦНМО, 2017.
[KiGv88] Kirillov A.A., Gvishiani A.D. Теоремы и задачи функционального анализа. 2-е изд., Наука, 1988.
[МГЛ+04] Макаров Б.М., Голузина М.Г., Лодкин А.А., Подкорытов А.Н. Избранные задачи по вещественному анализу. 2-е изд., Невский Диалект; БХВ-Петербург, 2004.
[Rud87] Rudin W. Real and Complex Analysis. 3rd ed., McGraw-Hill, 1987.