ATLAS Ouvrir dans l'atlas →

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

Exercice 6

Démonstration

Soit f:ℝ→ℝf : \mathbb{R} \to \mathbb{R} continue et T>0T > 0.

1. On suppose ff TT-périodique. Montrer que ff admet une primitive TT-périodique si et seulement si ∫0Tf=0\displaystyle\int_{0}^{T} f = 0. Une primitive de x↦cos⁡2xx \mapsto \cos^{2} x peut-elle être périodique ?

2. On suppose que la fonction x↦∫xx+Tf(t) dtx \mapsto \displaystyle\int_{x}^{x+T} f(t)\,\mathrm{d} t est constante. Montrer que ff est TT-périodique.

Corrigé

1. Soit F(x)=∫0xfF(x) = \int_{0}^{x} f ; les primitives de ff sont les F+cF + c, et chacune est TT-périodique si et seulement si FF l'est. Or, d'après la proposition 6 (ii), pour tout réel xx : F(x+T)−F(x)=∫xx+Tf=∫0Tf.F(x + T) - F(x) = \int_{x}^{x + T} f = \int_{0}^{T} f.

f admet une primitive T-peˊriodique  ⟺  ∫0Tf=0\boxed{f \text{ admet une primitive } T\text{-périodique} \iff \int_{0}^{T} f = 0} La fonction x↦cos⁡2xx \mapsto \cos^{2} x est π\pi-périodique et ∫0πcos⁡2x dx=π2≠0\int_{0}^{\pi} \cos^{2} x\,\mathrm{d} x = \frac{\pi}{2} \neq 0 ; ses primitives ne sont pas π\pi-périodiques. Elles ne sont pas davantage TT-périodiques pour un autre T>0T > 0 : ce sont les fonctions x↦x2+sin⁡(2x)4+cx \mapsto \frac{x}{2} + \frac{\sin(2x)}{4} + c, qui tendent vers +∞+\infty en +∞+\infty, alors qu'une fonction périodique continue est bornée, puisqu'elle reprend sur ℝ\mathbb{R} les valeurs qu'elle prend sur une période. non : les primitives de cos⁡2 sont x↦x2+sin⁡(2x)4+c\boxed{\text{non : les primitives de } \cos^{2} \text{ sont } x \mapsto \frac{x}{2} + \frac{\sin(2x)}{4} + c} 2. Avec la même primitive FF, la fonction G:x↦F(x+T)−F(x)G : x \mapsto F(x + T) - F(x) est constante, donc sa dérivée est nulle : G′(x)=f(x+T)−f(x)=0,d’ouˋf est T-peˊriodique.G'(x) = f(x + T) - f(x) = 0, \qquad\text{d'où}\qquad \boxed{f \text{ est } T\text{-périodique}}.

Dans l'édifice

Thèmes

primitives, intégrales, primitives trigonométriques

Notions

intégrable au sens de Riemann

Ouvrir dans l'atlas interactif →