Pour tout entier naturel , on définit la fonction sur par la relation suivante :
Pour la limite simple, utiliser la continuité de la fonction exponentielle en 0.
Pour la convergence uniforme sur , examiner le comportement de la différence pour des valeurs de bien choisies, par exemple .
Pour les segments, utiliser l'inégalité des accroissements finis ou un développement limité pour majorer sur un intervalle borné.
Convergence simple par passage à la limite dans l'exponentielle.
Utilisation de points tests pour infirmer la convergence uniforme.
Majoration uniforme sur les compacts via le caractère borné du segment.
1. Étude de la convergence simple.
Soit un réel fixé. Lorsque tend vers l'infini, la quantité tend vers . Par continuité de la fonction exponentielle en , on en déduit que :
Ainsi, pour tout , on a le résultat suivant :
La suite de fonctions converge donc simplement sur vers la fonction définie par :
2. Étude de la convergence uniforme sur .}
Considérons l'écart entre et sa limite sur . On a, pour tout :
Évaluons cet écart en une suite de points judicieusement choisie. Posons pour . On a et . En injectant dans l'expression précédente :
Effectuons un développement asymptotique pour au voisinage de :
On obtient ainsi l'équivalent suivant :
Puisque , on en déduit que la suite de normes infinies ne tend pas vers 0 :
La convergence n'est donc pas uniforme sur .
3. Étude de la convergence uniforme sur tout segment.
Soit et considérons l'intervalle . Pour tout , on a , donc :
Utilisons l'inégalité des accroissements finis pour la fonction entre et . Pour , on a . Comme la dérivée de l'exponentielle est majorée par sur cet intervalle :
Il en résulte la majoration suivante pour tout :
On en déduit alors la majoration de la norme uniforme sur le segment :
Comme cette borne supérieure tend vers quand , on conclut : La suite de fonctions converge uniformément vers sur tout segment de .
Confondre convergence uniforme sur tout segment et convergence uniforme sur R.
Utiliser des points tests x_n pour infirmer la convergence uniforme sur un domaine non borné.