ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 9 — Dérivabilité et convexité · Dérivabilité en un point

Exercice 5

DémonstrationCalcul

Soit f:ℝ→ℝf : \mathbb{R} \to \mathbb{R} dérivable en 00, avec f(0)=0f(0) = 0. Montrer que la suite de terme général un=∑k=1nf(kn2)u_{n} = \sum_{k=1}^{n} f\Big(\frac{k}{n^{2}}\Big) converge, et déterminer sa limite. On pourra écrire f(x)=x(f′(0)+ε(x))f(x) = x\big(f'(0) + \varepsilon(x)\big), avec lim⁡x→0ε(x)=0\lim\limits_{x \to 0} \varepsilon(x) = 0.

Corrigé

La dérivabilité en 00 avec f(0)=0f(0) = 0 signifie que f(x)x\frac{f(x)}{x} tend vers f′(0)f'(0). On pose donc ε(x)=f(x)x−f′(0)\varepsilon(x) = \frac{f(x)}{x} - f'(0) pour x≠0x \neq 0 et ε(0)=0\varepsilon(0) = 0, de sorte que f(x)=x(f′(0)+ε(x))f(x) = x\big(f'(0) + \varepsilon(x)\big) pour tout xx, avec lim⁡x→0ε(x)=0\lim\limits_{x \to 0} \varepsilon(x) = 0. Alors un=f′(0)∑k=1nkn2+∑k=1nkn2 ε(kn2),avec∑k=1nkn2=n(n+1)2n2=n+12n.u_{n} = f'(0)\sum_{k=1}^{n} \frac{k}{n^{2}} + \sum_{k=1}^{n} \frac{k}{n^{2}}\,\varepsilon\Big(\frac{k}{n^{2}}\Big), \qquad\text{avec}\qquad \sum_{k=1}^{n} \frac{k}{n^{2}} = \frac{n(n + 1)}{2n^{2}} = \frac{n + 1}{2n}. Soit η>0\eta > 0, et δ>0\delta > 0 tel que ∣ε(t)∣⩽η|\varepsilon(t)| \leqslant \eta pour ∣t∣⩽δ|t| \leqslant \delta. Pour n⩾1δn \geqslant \frac{1}{\delta}, tous les points kn2\frac{k}{n^{2}}, avec k⩽nk \leqslant n, sont dans [0 ,1n]⊂[0 ,δ]\big[0\,,\frac{1}{n}\big] \subset [0\,,\delta], et le second terme est majoré en valeur absolue par η n+12n⩽η\eta\,\frac{n + 1}{2n} \leqslant \eta : il tend vers 00. lim⁡n→+∞un=f′(0)2\boxed{\lim\limits_{n \to +\infty} u_{n} = \frac{f'(0)}{2}} Par exemple, pour f=sin⁡f = \sin, on obtient lim⁡n→+∞∑k=1nsin⁡kn2=12\lim\limits_{n \to +\infty} \sum\limits_{k=1}^{n} \sin\frac{k}{n^{2}} = \frac{1}{2} : la somme se comporte comme celle des kn2\frac{k}{n^{2}}, car tous les arguments sont proches de 00.

Piège. Il ne suffit pas de dire que chaque terme kn2ε(kn2)\frac{k}{n^{2}}\varepsilon\big(\frac{k}{n^{2}}\big) est négligeable : le nombre de termes augmente avec nn. Il faut une majoration uniforme de ∣ε∣|\varepsilon| sur [0 ,1n]\big[0\,,\frac{1}{n}\big], que fournit la définition de la limite.

Dans l'édifice

Thèmes

dérivabilité en un point

Notions

dérivable

Ouvrir dans l'atlas interactif →