Adloun

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.