ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 18 — Intégration · Fonctions en escalier et fonctions continues par morceaux

Exercice 1

Calcul

1. Soit m<nm < n deux entiers relatifs. Justifier que la restriction de la partie entière à [m ,n][m\,,n] est une fonction en escalier, en donnant une subdivision adaptée, puis calculer ∫mn⌊x⌋ dx\displaystyle\int_{m}^{n} \lfloor x \rfloor\,\mathrm{d} x.

2. Justifier que x↦x∣x∣x \mapsto x|x| est continue par morceaux sur [−1 ,2][-1\,,2], et calculer ∫−12x∣x∣ dx\displaystyle\int_{-1}^{2} x|x|\,\mathrm{d} x.

3. Pour tout réel aa, calculer I(a)=∫01min⁡(x,a) dx\displaystyle I(a) = \int_{0}^{1} \min(x, a)\,\mathrm{d} x, en distinguant selon la position de aa par rapport à 00 et à 11.

4. Calculer ∫02min⁡(x2+1, x2+3x−2) dx\displaystyle\int_{0}^{2} \min\big(x^{2} + 1,\ x^{2} + 3x - 2\big)\,\mathrm{d} x.

5. Pour x⩾0x \geqslant 0, on pose F(x)=∫0x⌊t⌋ dt\displaystyle F(x) = \int_{0}^{x} \lfloor t \rfloor\,\mathrm{d} t. Calculer F(x)F(x) lorsque x∈[N ,N+1[x \in [N\,,N + 1[, avec N∈ℕN \in \mathbb{N}, puis donner un équivalent simple de F(x)F(x) quand xx tend vers +∞+\infty.

Corrigé

1. Pour k∈[ ⁣[m ;n−1] ⁣]k \in [\![m\,;n - 1]\!], la partie entière vaut kk sur [k ,k+1[[k\,,k + 1[, donc sur l'intervalle ouvert ]k ,k+1[]k\,,k + 1[ : la subdivision (m,m+1,…,n)(m, m + 1, \dots, n) est adaptée, et la restriction de ⌊⋅⌋\lfloor \cdot \rfloor à [m ,n][m\,,n] est en escalier. La proposition 3 donne alors son intégrale comme une somme d'aires de rectangles de largeur 11, que l'on calcule comme une somme de termes d'une suite arithmétique (chapitre 3) : ∫mn⌊x⌋ dx=∑k=mn−1k=(n−m)(n+m−1)2\boxed{\int_{m}^{n} \lfloor x \rfloor\,\mathrm{d} x = \sum_{k = m}^{n - 1} k = \frac{(n - m)(n + m - 1)}{2}} Pour m=2m = 2 et n=5n = 5, on trouve 2+3+4=9=3×622 + 3 + 4 = 9 = \frac{3 \times 6}{2} ✓. Pour m=−nm = -n, l'intégrale vaut −n-n : les rectangles situés sous l'axe, de hauteurs −n-n, …, −1-1, ne sont pas compensés par ceux de hauteurs 11, …, n−1n - 1, puisque la partie entière n'est pas impaire.

2. La fonction x↦x∣x∣x \mapsto x|x| vaut −x2-x^{2} sur [−1 ,0][-1\,,0] et x2x^{2} sur [0 ,2][0\,,2] ; elle est continue sur [−1 ,2][-1\,,2], donc continue par morceaux, avec la subdivision (−1,2)(-1, 2). Pour l'intégrer, on la coupe en 00 par la relation de Chasles (théorème 3) : ∫−12x∣x∣ dx=∫−10(−x2) dx+∫02x2 dx=−13+83=73\boxed{\int_{-1}^{2} x|x|\,\mathrm{d} x = \int_{-1}^{0} (-x^{2})\,\mathrm{d} x + \int_{0}^{2} x^{2}\,\mathrm{d} x = -\frac{1}{3} + \frac{8}{3} = \frac{7}{3}} La fonction étant impaire, la partie située sur [−1 ,0][-1\,,0] compense exactement celle sur [0 ,1][0\,,1], et le résultat est l'intégrale de x2x^{2} sur [1 ,2][1\,,2], qui vaut bien 73\frac{7}{3} ✓.

3. On distingue trois cas, selon que le point de rencontre x=ax = a des deux fonctions x↦xx \mapsto x et x↦ax \mapsto a est à gauche de [0 ,1][0\,,1], dedans ou à droite. Si a⩽0a \leqslant 0, on a min⁡(x,a)=a\min(x, a) = a pour tout x∈[0 ,1]x \in [0\,,1]. Si a⩾1a \geqslant 1, on a min⁡(x,a)=x\min(x, a) = x. Si 0⩽a⩽10 \leqslant a \leqslant 1, on coupe en aa par la relation de Chasles : ∫01min⁡(x,a) dx=∫0ax dx+∫a1a dx=a22+a(1−a).\int_{0}^{1} \min(x, a)\,\mathrm{d} x = \int_{0}^{a} x\,\mathrm{d} x + \int_{a}^{1} a\,\mathrm{d} x = \frac{a^{2}}{2} + a(1 - a).

I(a)=a  si a⩽0,I(a)=a−a22  si 0⩽a⩽1,I(a)=12  si a⩾1\boxed{I(a) = a \ \text{ si } a \leqslant 0, \qquad I(a) = a - \frac{a^{2}}{2} \ \text{ si } 0 \leqslant a \leqslant 1, \qquad I(a) = \frac{1}{2} \ \text{ si } a \geqslant 1} Les expressions se raccordent en a=0a = 0 et en a=1a = 1, où elles valent 00 et 12\frac{1}{2} ✓ : la fonction II est continue, ce que l'on pouvait prévoir, puisque ∣min⁡(x,a)−min⁡(x,a′)∣⩽∣a−a′∣|\min(x, a) - \min(x, a')| \leqslant |a - a'|.

4. La différence (x2+3x−2)−(x2+1)=3(x−1)(x^{2} + 3x - 2) - (x^{2} + 1) = 3(x - 1) est négative sur [0 ,1][0\,,1] et positive sur [1 ,2][1\,,2]. Le minimum vaut donc x2+3x−2x^{2} + 3x - 2 sur [0 ,1][0\,,1] et x2+1x^{2} + 1 sur [1 ,2][1\,,2] ; c'est une fonction continue, et l'on coupe en 11 : ∫02min⁡(x2+1, x2+3x−2) dx=(13+32−2)+(73+1)=−16+103=196\boxed{\int_{0}^{2} \min\big(x^{2} + 1,\ x^{2} + 3x - 2\big)\,\mathrm{d} x = \Big(\frac{1}{3} + \frac{3}{2} - 2\Big) + \Big(\frac{7}{3} + 1\Big) = -\frac{1}{6} + \frac{10}{3} = \frac{19}{6}}

5. Soit x∈[N ,N+1[x \in [N\,,N + 1[. Sur chaque [k ,k+1][k\,,k + 1], avec k⩽N−1k \leqslant N - 1, l'intégrale de la partie entière vaut kk, et sur [N ,x][N\,,x] la partie entière est constante égale à NN. La relation de Chasles donne F(x)=∑k=0N−1k+N(x−N)=N(N−1)2+N(x−N)(N⩽x<N+1)\boxed{F(x) = \sum_{k = 0}^{N - 1} k + N(x - N) = \frac{N(N - 1)}{2} + N(x - N) \qquad (N \leqslant x < N + 1)} Pour l'équivalent, plutôt que de manipuler N=⌊x⌋N = \lfloor x \rfloor, on encadre la fonction intégrée : t−1<⌊t⌋⩽tt - 1 < \lfloor t \rfloor \leqslant t pour tout réel tt (chapitre 7, proposition 4), et la croissance de l'intégrale donne, pour x⩾0x \geqslant 0, x22−x⩽F(x)⩽x22,donc1−2x⩽F(x)x2/2⩽1(x>0).\frac{x^{2}}{2} - x \leqslant F(x) \leqslant \frac{x^{2}}{2}, \qquad\text{donc}\qquad 1 - \frac{2}{x} \leqslant \frac{F(x)}{x^{2}/2} \leqslant 1 \quad (x > 0).

F(x)∼x→+∞x22\boxed{F(x) \underset{x \to +\infty}{\sim} \frac{x^{2}}{2}} À retenir. La fonction FF est continue et affine par morceaux, de pente NN sur [N ,N+1][N\,,N + 1], mais elle n'est pas dérivable aux entiers : c'est la figure du cours qui suit le théorème 6. Encadrer la fonction intégrée est souvent plus rapide que calculer l'intégrale exactement, dès qu'on ne demande qu'un ordre de grandeur.

Dans l'édifice

Thèmes

fonctions continues par morceaux, fonctions en escalier, intégrales, fonctions définies par une intégrale, suites d'intégrales

Notions

fonction en escalier, continue par morceaux

Ouvrir dans l'atlas interactif →