ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 6 — Primitives et équations différentielles linéaires · Primitives et intégrales

Exercice 4

DémonstrationCalcul

Soit f:ℝ→ℝf : \mathbb{R} \to \mathbb{R} continue. Justifier que les fonctions suivantes sont dérivables, et calculer leur dérivée.

(a) G1:x↦∫0x2f(t) dtG_{1} : x \mapsto \displaystyle\int_{0}^{x^{2}} f(t)\,\mathrm{d} t

(b) G2:x↦∫x2xf(t) dtG_{2} : x \mapsto \displaystyle\int_{x}^{2x} f(t)\,\mathrm{d} t

(c) G3:x↦∫0xf(t+x) dtG_{3} : x \mapsto \displaystyle\int_{0}^{x} f(t + x)\,\mathrm{d} t

(d) G4:x↦∫0x(x−t) f(t) dtG_{4} : x \mapsto \displaystyle\int_{0}^{x} (x - t)\,f(t)\,\mathrm{d} t

Indication : pour G3G_{3}, effectuer d'abord un changement de variable ; pour G4G_{4}, développer.

Corrigé

Soit FF une primitive de ff sur ℝ\mathbb{R}, qui existe d'après le théorème 1 ; elle est dérivable, de dérivée ff. Toutes les intégrales s'expriment à l'aide de FF, et l'on dérive des composées.

(a) On a G1(x)=F(x2)−F(0)G_{1}(x) = F(x^{2}) - F(0), composée de fonctions dérivables, d'où : G1′(x)=2x f(x2)\boxed{G_{1}'(x) = 2x\,f(x^{2})} (b) On a G2(x)=F(2x)−F(x)G_{2}(x) = F(2x) - F(x), d'où : G2′(x)=2f(2x)−f(x)\boxed{G_{2}'(x) = 2f(2x) - f(x)} (c) À xx fixé, le changement de variable u=t+xu = t + x donne G3(x)=∫x2xf(u) du=G2(x)G_{3}(x) = \displaystyle\int_{x}^{2x} f(u)\,\mathrm{d} u = G_{2}(x), d'où : G3′(x)=2f(2x)−f(x)\boxed{G_{3}'(x) = 2f(2x) - f(x)} (d) La variable d'intégration est tt : le facteur xx sort de l'intégrale, ce qui donne G4(x)=x∫0xf(t) dt−∫0xt f(t) dt.G_{4}(x) = x\int_{0}^{x} f(t)\,\mathrm{d} t - \int_{0}^{x} t\,f(t)\,\mathrm{d} t. Les deux intégrales sont des primitives de ff et de t↦t f(t)t \mapsto t\,f(t), qui s'annulent en 00 (proposition 2 (i)). Par la dérivée d'un produit : G4′(x)=∫0xf(t) dt+x f(x)−x f(x),soitG4′(x)=∫0xf(t) dt.G_{4}'(x) = \int_{0}^{x} f(t)\,\mathrm{d} t + x\,f(x) - x\,f(x), \qquad\text{soit}\qquad \boxed{G_{4}'(x) = \int_{0}^{x} f(t)\,\mathrm{d} t}. Ainsi G4G_{4} est la primitive nulle en 00 de la primitive nulle en 00 de ff : c'est une « primitive seconde » de ff.

Piège : on ne peut pas dériver directement ∫0x(x−t) f(t) dt\int_{0}^{x} (x - t)\,f(t)\,\mathrm{d} t en remplaçant tt par xx dans l'intégrande, ce qui donnerait 00 : la variable xx figure aussi dans l'intégrande, et il faut d'abord l'en faire sortir.

Dans l'édifice

Thèmes

primitives, intégrales, changement de variable

Notions

intégrable au sens de Riemann

Ouvrir dans l'atlas interactif →