2) Propriétés conservées par passage à la limite
Toute inégalité large et toute égalité faisant intervenir un nombre fixé (indépendant de n) de points est conservée
par limite simple. En particulier :
(1) : une limite simple de fonctions positives ou nulles est positive ou nulle.
(2) : une limite simple de fonctions croissantes est croissante.
(3) : une limite simple de fonctions convexes est convexe.
(4) : une limite simple de fonctions k-lipschitziennes est k-lipschitzienne (kconstant).
(5) : une limite simple de fonctions linéaires est linéaire.
Cas d’une limite simple : (7)
(1) : Une limite uniforme sur tout compact de fonctions continues est continue.
(2) : Si les fonctions fn:I(intervalle) →Esont continues sur Iet convergent uniformément sur tout compact
vers la fonction falors pour tous a, b ∈Ion a Rb
afn−→
n→∞ Rb
af. De plus, pour afixé, les fonctions Fa,n :x7→ Rx
afn
convergent uniformément sur tout compact vers la fonction Fa:x7→ Rx
af.
Cas d’une limite uniforme sur tout compact : (8)
(1) : Une limite localement uniforme de fonctions continues est continue.
(2) : Si les fonctions fnconvergent simplement vers la fonction fet si leurs dérivées f0
nconvergent localement
uniformément vers une fonction galors fest dérivable et f0=g.
Cas d’une limite localement uniforme : (9)
Soit k∈N∗. Supposons que les fonctions fnsoient de classe Cket que :
(1) : pour tout p∈[0, k −1], la suite (f(p)
n)n∈Nconverge simplement ;
(2) : la suite (f(k)
n)n∈Nconverge uniformément sur tout compact de I;
Montrer alors que la limite simple fde la suite (fn)n∈Nest de classe Cket pour tout p∈[0, k]:
∀x∈I, f(p)(x) = lim
n→+∞f(p)
n(x).
Exercice 5 : Généralisation :
Toutes les propriétés de limite simple, de limite uniforme locale ou sur tout compact, c’est à dire :
(1) : Une limite uniforme de fonctions positives ou nulles est positive ou nulle.
(2) : Une limite uniforme de fonctions croissantes est croissante.
(3) : Une limite uniforme de fonctions convexes est convexe.
(4) : Une limite uniforme de fonctions k-lipschitziennes est k-lipschitzienne (kconstant).
(5) : Une limite uniforme de fonctions bornées est bornée.
(6) : Une limite uniforme de fonctions continues est continue.
(7) : Si les fonctions fn:I(intervalle) →Esont continues sur Iet convergent uniformément vers la fonction f
alors pour tous a, b ∈Ion a Zb
a
fn−→
n→∞ Zb
a
f. De plus, pour afixé, les fonctions Fa,n :x7→ Zx
a
fnconvergent
uniformément sur tout compact vers la fonction Fa:x7→ Zx
a
f.
(8) : Si les fonctions fnconvergent simplement vers la fonction fet si leurs dérivées f0
nconvergent uniformément
vers une fonction galors fest dérivable et f0=g.
Cas d’une limite uniforme : (10)
(1) : Ce dernier résultat de passage à la limite sous le signe intégral sur tout compact ne permet pas de passer
à la limite sous une intégrale généralisée, même en cas de convergence uniforme sur I; dans un tel cas utiliser
le théorème de convergence dominée
(2) : La limite uniforme d’une suite de fonctions de classe C1n’est pas forcément de classe C1.
Remarque : (11)
3