Bourbaki

Exercice 12, § 3

Fonctions d’une variable réelle, I, p. 48

It is set in small type as supplementary.

a) Soit f\mathbf{f} une fonction vectorielle définie et continue dans l’intervalle fini I=(−a,+a)I = (-a, +a), prenant ses valeurs dans un espace normé EE sur R\mathbf{R} et deux fois dérivable dans II. Si on pose M0=sup⁡x∈I∥f(x)∥,M2=sup⁡x∈I∥f′′(x)∥M_0 = \sup_{x \in I} \| \mathbf{f}(x) \|, M_2 = \sup_{x \in I} \| \mathbf{f}''(x) \|, montrer que pour tout x∈Ix \in I, on a

∥f′(x)∥≤M0a+x2+a22aM2 \| \mathbf{f}'(x) \| \leq \frac{M_0}{a} + \frac{x^2 + a^2}{2a} M_2

(exprimer chacune des différences f(a)−f(x),f(−a)−f(x)\mathbf{f}(a) - \mathbf{f}(x), \mathbf{f}(-a) - \mathbf{f}(x)).

b) Déduire de a) que si f\mathbf{f} est une fonction deux fois dérivable dans un intervalle I (borné ou non), et si M0=sup⁡x∈I∥f(x)∥M_0 = \sup_{x \in I} \|f(x)\| et M2=sup⁡x∈I∥f′′(x)∥M_2 = \sup_{x \in I} \|f''(x)\| sont finis, il en est de même de M1=sup⁡x∈I∥f′(x)∥M_1 = \sup_{x \in I} \|f'(x)\|, et on a:

M1≤2M0M2si I a une longueur ≥2M0M2 M_1 \leq 2 \sqrt{M_0 M_2} \quad \text{si } I \text{ a une longueur } \geq 2 \sqrt{\frac{M_0}{M_2}}
M1≤2M0M2si I=R. M_1 \leq \sqrt{2} \sqrt{M_0 M_2} \quad \text{si } I = \mathbf{R}.

Montrer que, dans ces deux inégalités, les nombres 2 et 2\sqrt{2} respectivement ne peuvent être remplacés par des nombres plus petits (considérer d’abord le cas où on suppose seulement que ff admet une dérivée seconde à droite, et montrer que dans ce cas les deux membres des inégalités précédentes peuvent devenir égaux, en prenant pour ff une fonction numérique égale « par morceaux » à des polynômes du second degré).

c) Déduire de b) que si ff est pp fois dérivable dans R\mathbf{R}, et si Mp=sup⁡x∈R∥f(p)(x)∥M_p = \sup_{x \in \mathbf{R}} \|f^{(p)}(x)\| et M0=sup⁡x∈R∥f(x)∥M_0 = \sup_{x \in \mathbf{R}} \|f(x)\| sont finis, chacun des nombres Mk=sup⁡x∈R∥f(k)(x)∥M_k = \sup_{x \in \mathbf{R}} \|f^{(k)}(x)\| est fini pour 1≤k≤p−11 \leq k \leq p - 1, et on a

Mk≤2k(p−k)/2M01−k/pMpk/p. M_k \leq 2^{k(p-k)/2} M_0^{1-k/p} M_p^{k/p}.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.