La domination décide, en trois situations
Exercice de TD · niveau 3 (difficile) · mathématiques (MP/MPI), chapitre 8 — Intégration sur un intervalle quelconque · C. Convergence dominée et intégration terme à terme
Énoncé
a) Montrer que , et contrôler le résultat par un calcul exact.
b) Soit sur . Montrer que simplement, calculer , et démontrer qu'aucune domination intégrable n'existe.
c) Montrer, sans invoquer aucun théorème du cours, que .
Corrigé
a) L'intervalle qui dépend de . Premier réflexe : le théorème de convergence dominée porte sur des fonctions définies sur un intervalle fixe. On prolonge donc par : posons, sur ,
Convergence simple. Fixons . Pour , , et . Donc , et ceci pour tout fixé.
Domination. La concavité du logarithme donne pour , d'où et étant intégrable sur et indépendante de — les deux conditions qui font la domination.
Conclusion. Par convergence dominée, .
Contrôle exact. Ici le calcul direct est possible : avec , , Le théorème est vérifié sur pièce, et l'on voit même la vitesse : l'écart vaut .
b) Quand aucune dominante n'existe.
Convergence simple. À fixé, . Donc simplement sur .
Les intégrales. .
La conclusion du théorème est donc fausse ici : les fonctions tendent vers mais leurs intégrales tendent vers . Une hypothèse manque nécessairement, et ce ne peut être que la domination.
Démontrons qu'aucune dominante n'existe. Supposons intégrable sur avec pour tout . Fixons et choisissons , qui est un entier vérifiant , donc et . Alors Or en , et n'est pas intégrable en (Riemann, ). Par comparaison de fonctions positives, n'est pas intégrable : contradiction. Aucune domination n'existe.
La lecture. La masse de — d'aire environ — se concentre dans une bosse de hauteur et de largeur , qui glisse vers . C'est la « bosse glissante », version intégrale de la fonction de l'exercice 2 : la limite simple ne voit rien passer, alors que l'aire, elle, ne disparaît jamais. La domination est exactement ce qui interdit à la masse de fuir.
c) Quand la domination est inutile. L'inégalité élémentaire pour , appliquée à , donne pour tout Donc, par l'inégalité triangulaire intégrale, (L'intégrale converge bien : en l'intégrande se prolonge par continuité puisque , et en il est dominé par .)
Le réflexe. On n'a invoqué aucun théorème : une majoration uniforme explicite suffisait, et elle donne en prime la vitesse, en . Convoquer la convergence dominée ici serait plus long, plus fragile, et n'apprendrait rien de plus. On ne sort le théorème que lorsque la limite ne se majore pas à la main.
Ce que l'exercice installe. Trois situations, trois conduites. Domaine variable : prolonger par et travailler sur un intervalle fixe. Domination impossible : ce n'est pas un échec de recherche, cela se démontre — on évalue au point où elle est maximale, ici , et l'on obtient une minoration non intégrable de toute dominante. Majoration directe disponible : on l'utilise, et l'on garde le théorème pour les cas où il est vraiment nécessaire. Retenir enfin la bosse glissante : elle est le contre-exemple universel du chapitre.
Les autres exercices de ce chapitre Le cours du chapitre
Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.