Soit une suite de fonctions continues de dans qui converge uniformément vers une fonction sur tout segment de .
On suppose que pour chaque , la fonction est périodique de période . On suppose également que la suite des périodes est majorée.
Montrer que la fonction limite admet une période .
Utiliser le théorème de Bolzano-Weierstrass sur la suite des périodes .
Distinguer le cas où la limite d'une sous-suite de périodes est strictement positive du cas où elle est nulle.
Pour le cas où la limite des périodes est nulle, montrer que la fonction est nécessairement constante en utilisant la caractérisation séquentielle de la continuité.
Compacité : Extraction d'une sous-suite convergente de périodes.
Conservation de la continuité par convergence uniforme locale.
Cas limite des petites périodes : Une fonction "infiniment" périodique et continue est constante.
Résolution.
La suite est une suite réelle bornée. D'après le théorème de Bolzano-Weierstrass, il existe une sous-suite qui converge vers un réel . Comme pour tout , , on a par passage à la limite :
Comme converge uniformément vers sur tout segment, la fonction est continue sur .
Premier cas : .
Soit . Pour tout , on a par -périodicité de :
Étudions la limite de chaque membre. Par convergence simple de la suite de fonctions, on a :
Pour le terme de gauche, utilisons la continuité de et la convergence uniforme locale. On écrit :
Le premier terme tend vers par continuité de car . Le second terme tend vers car converge uniformément vers sur un segment contenant et les pour assez grand.
Ainsi, par passage à la limite dans l'égalité de périodicité, on obtient :
La fonction est donc périodique de période .
Second cas : .
Supposons que la seule valeur d'adhérence de la suite soit , ce qui implique (ou que l'on ait extrait une sous-suite tendant vers ).
Soit et . Montrons que . Pour chaque , posons . On a alors :
Puisque , il vient . Par -périodicité, on a . En utilisant un raisonnement identique au premier cas (convergence uniforme sur un segment et continuité de ), on montre que :
On en déduit que :
La fonction est donc constante sur . Une fonction constante admet n'importe quel réel comme période (par exemple ).
Conclusion.
Dans tous les cas, admet une période strictement positive :
Oublier le cas où la limite des périodes est nulle (fonction constante).
La limite uniforme de fonctions périodiques à périodes bornées est périodique.