Soit une fonction de classe . On considère la suite de fonctions définie par la donnée des dérivées successives de , c'est-à-dire :
On suppose que la suite converge uniformément sur vers une fonction .
Déterminer la nature de la fonction et donner sa forme explicite.
Utiliser le théorème de la limite de la dérivée pour une suite de fonctions.
Remarquer que la suite des dérivées est une suite extraite (un décalage) de la suite .
Identifier une équation différentielle satisfaite par .
Théorème de régularité de la limite uniforme : transfert de la dérivabilité.
Relation de récurrence entre les termes de la suite : .
Résolution d'une équation différentielle linéaire du premier ordre.
Résolution.
Posons, pour tout , . Par hypothèse, la suite de fonctions converge uniformément sur vers . Observons la suite des dérivées . Par définition de , nous avons :
D'après le cours sur les suites de fonctions :
On en déduit que la fonction limite est de classe sur et que sa dérivée est la limite de la suite des dérivées. Ainsi :
La fonction est solution de l'équation différentielle linéaire . Les solutions de cette équation sur sont les fonctions de la forme :
Oublier de justifier la dérivabilité de la limite par la convergence uniforme des dérivées.
Si f_n converge uniformément et f_n' = f_{n+1}, alors la limite vérifie phi' = phi.