ExerciceMaths Sup – MPSI, chapitre 18 — Intégration · Fonctions en escalier et fonctions continues par morceaux
Exercice 1
1. Soit deux entiers relatifs. Justifier que la restriction de la partie entière à est une fonction en escalier, en donnant une subdivision adaptée, puis calculer .
2. Justifier que est continue par morceaux sur , et calculer .
3. Pour tout réel , calculer , en distinguant selon la position de par rapport à et à .
4. Calculer .
5. Pour , on pose . Calculer lorsque , avec , puis donner un équivalent simple de quand tend vers .
Corrigé
1. Pour , la partie entière vaut sur , donc sur l'intervalle ouvert : la subdivision est adaptée, et la restriction de à est en escalier. La proposition 3 donne alors son intégrale comme une somme d'aires de rectangles de largeur , que l'on calcule comme une somme de termes d'une suite arithmétique (chapitre 3) : Pour et , on trouve ✓. Pour , l'intégrale vaut : les rectangles situés sous l'axe, de hauteurs , …, , ne sont pas compensés par ceux de hauteurs , …, , puisque la partie entière n'est pas impaire.
2. La fonction vaut sur et sur ; elle est continue sur , donc continue par morceaux, avec la subdivision . Pour l'intégrer, on la coupe en par la relation de Chasles (théorème 3) : La fonction étant impaire, la partie située sur compense exactement celle sur , et le résultat est l'intégrale de sur , qui vaut bien ✓.
3. On distingue trois cas, selon que le point de rencontre des deux fonctions et est à gauche de , dedans ou à droite. Si , on a pour tout . Si , on a . Si , on coupe en par la relation de Chasles :
Les expressions se raccordent en et en , où elles valent et ✓ : la fonction est continue, ce que l'on pouvait prévoir, puisque .
4. La différence est négative sur et positive sur . Le minimum vaut donc sur et sur ; c'est une fonction continue, et l'on coupe en :
5. Soit . Sur chaque , avec , l'intégrale de la partie entière vaut , et sur la partie entière est constante égale à . La relation de Chasles donne Pour l'équivalent, plutôt que de manipuler , on encadre la fonction intégrée : pour tout réel (chapitre 7, proposition 4), et la croissance de l'intégrale donne, pour ,
À retenir. La fonction est continue et affine par morceaux, de pente sur , 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.