CONVERGENCE SIMPLE, UNIFORME, UNIFORME SUR TOUT COMPACT D'UNE SUITE
D'APPLICATIONS
Contexte :
Soit X une partie non vide d'un -ev.
Soit (E, || . ||) un evn de dimension finie.
Soit (¦n)n Î une suite d'applications de X dans E.
Définitions :
1. On dit que la suite d'applications (¦n)n Î converge simplement sur X vers une application ¦ si :
"x Î X, "e Î *+ , $N(x, e) Î , "n Î , (n N(x, e) Þ ||¦n(x) - ¦(x)|| e)
Ce qui revient à dire :
Pour chaque x Î X fixé, la suite (¦n(x))n Î converge vers ¦(x) (pour la norme || . || de E)
On note alors : ¦n ¾¾
CS
¾
¾® ¦ sur X
2. On dit que la suite d'applications (¦n)n Î converge uniformément sur X vers une application ¦ si :
"e Î *+ , $N(e) Î , "n Î , (n N(e) Þ "x Î X, ||¦n(x) - ¦(x)|| e)
¦n ¾¾ ¾
¾® ¦ sur X
CU
On note alors :
3. On dit que la suite d'applications (¦n)n Î converge uniformément sur tout compact de X vers une application
¦ si :
Pour tout compact C de X, ¦n ¾¾ ¾
¾® ¦ sur C.
CU
¦n ¾¾ ¾
¾® ¦ sur X
CC
On note alors :
Comparaison de ces différents modes de convergence :
1. Supposons ¦n ¾¾
CU
¾
¾® ¦ sur X.
Soient x Î X et e Î *+ . Par hypothèse, on a :
$N(e), "n Î , (n N Þ ||¦n(x) - ¦(x)|| e)
Ce qui prouve : ¦n ¾¾ ¾
¾® ¦ sur X
CS
Donc : la convergence uniforme entraîne la convergence simple
2. Supposons ¦n ¾¾
CU
¾
¾® ¦ sur X.
Soit C un compact de X. Alors : ¦n ¾¾
CU
¾
¾® ¦ sur C.
Ce qui prouve : ¦n ¾¾
CC
¾
¾® ¦ sur X
Donc : la convergence uniforme entraîne la convergence uniforme sur tout compact
On verra plus loin des les réciproques de ces deux implications sont fausses.
Auparavant, nous devons approfondir la notion de convergence uniforme.
Convergence d'une suite d'applications Page 1 G. COSTANTINI [Link]
Notion de "norme infinie" d'une fonction bornée :
Soit ¦ une fonction bornée sur X. Alors ¦ admet une borne inférieure et une borne supérieure.
Définissons alors :
" ¦ Î B(X, E) ||¦||¥ = sup ||¦(x)||
xÎ X
On vérifiera (à titre d'exercice) que l'application || . ||¥ : B(X, E) ® + ainsi définie est une norme.
Proposition :
Une suite d'applications (¦n)n Î converge uniformément sur X vers une application ¦ ssi :
ì i) $N1 Î , "n Î , (n N1 Þ ¦n - ¦ bornée sur X)
ï
í
ï ii) La suite numérique (||¦n - ¦ ||¥) converge vers 0.
î
Démonstration :
Supposons que (¦n)n Î converge uniformément sur X vers une application ¦.
En particularisant la définition de la convergence uniforme avec e = 1, on obtient :
$N1 Î , "n Î , (n N1 Þ "x Î X, ||¦n(x) - ¦(x)|| 1)
Ce qui prouve : $N1 Î , "n Î , (n N1 Þ ¦n - ¦ bornée sur X)
Les fonctions ¦n - ¦ sont bornées sur X pour tout n N1, donc dans ce cas, ||¦n - ¦ ||¥ existe bien.
Soit e Î *+ .
On a d'une part : (d'après la convergence uniforme de (¦n)n Î vers ¦ sur X)
$N(e) Î , "n Î , (n N Þ "x Î X, ||¦n(x) - ¦(x)|| e)
Posons N = max(N(e), N1). Pour tout n N, on a alors :
¦n - ¦ bornée sur X et "x Î X, ||¦n(x) - ¦(x)|| e
Par passage à la borne supérieure sur x Î X, on en déduit :
||¦n - ¦||¥ e
Ce qui prouve bien : La suite numérique (||¦n - ¦ ||¥)n N converge vers 0.
Réciproquement supposons vérifiées les assertions i) et ii).
On a pour n N1 :
"x Î X, ||¦n(x) - ¦(x)|| ||¦n - ¦||¥
Soit e Î *+ . Comme la suite numérique (||¦n - ¦ ||¥) converge vers 0 :
$N Î , "n Î , (n N Þ ||¦n - ¦||¥ e)
Pour n max(N1, N), la transitivité des inégalités donne :
"x Î X, ||¦n(x) - ¦(x)|| e
Ce qui prouve bien : (¦n)n Î converge uniformément sur X vers ¦
Convergence d'une suite d'applications Page 2 G. COSTANTINI [Link]
Corollaire :
Soit une suite d'applications (¦n)n Î bornées convergeant uniformément vers ¦ sur X.
Alors ¦ est bornée.
Démonstration :
Il suffit d'écrire : ¦ = (¦ - ¦n) + ¦n
D'après la proposition précédente :
$N1 Î , "n Î , (n N1 Þ ¦n - ¦ bornée sur X)
Comme ¦n est également bornée, on en déduit que ¦ est bornée.
Donnons maintenant un des critères les plus utilisés pour montrer qu'une convergence est uniforme :
Proposition :
Soit une suite d'applications (¦n)n Î bornées et ¦ une application bornée.
(¦n)n Î converge uniformément vers ¦ Û la suite numérique (||¦n - ¦ ||¥) converge vers 0.
Démonstration :
Conséquence immédiate de la proposition précédente.
Important : par contraposition, on obtient :
(¦n)n Î ne converge pas uniformément vers ¦ Û la suite numérique (||¦n - ¦ ||¥) ne converge pas vers 0.
Et a fortiori, s'il existe une suite (xn) d'éléments de X convergente dans X pour laquelle la suite (||¦n(xn) -
¦(xn)||) ne converge pas vers 0 alors (¦n)n Î ne converge pas uniformément vers ¦.
Exemples :
1) ¦n(x) = e - nx sin x sur X = +. Montrer que la suite (¦n)n Î converge uniformément vers 0 sur +.
On a : "x Î +, |¦n(x)| x e - nx
Posons gn(x) = x e - nx . On a : g n¢ (x ) = (1 - nx) e - nx
1
On a : g n¢ (x ) 0 Û 1 - nx 0 Û x
n
1 1
D'où gn croissante sur [0 ; ] et décroissante sur [ ; +¥[
n n
1
Donc gn est bornée sur + et admet son maximum en et :
n
1
||gn||¥ =
ne
La suite (||gn||¥) tendant vers 0, on en déduit alors :
Convergence d'une suite d'applications Page 3 G. COSTANTINI [Link]
gn ¾¾
CU
¾® 0 sur +
¾
D'où, par comparaison : ¦n ¾¾
CU
¾® 0 sur +
¾
nx
2) ¦n(x) = . Montrer que la suite (¦n)n Î ne converge pas uniformément sur .
1 + n2 x 2
Étudions déjà la convergence simple.
Soit x Î fixé. On a alors : lim ¦n(x) = 0
n ® +¥
Donc : ¦n ¾¾
CS
¾® 0 sur
¾
Montrons maintenant que (¦n)n Î ne converge pas uniformément vers 0 sur .
Il suffit de remarquer : ¦n æçè 1 ö÷ø = 1
n 2
Comme la suite ci-dessus non converge pas vers 0, (¦n)n Î ne converge pas uniformément vers 0 sur .
Comparaison des différents modes de convergence (suite) :
Définissons la suite (¦n)n Î par : ¦n : [0, 1[ ®
x a xn
Étude de la convergence simple :
Pour tout x Î [0, 1[ fixé, on a : lim x n = 0
n ® +¥
Donc (¦n)n Î converge simplement sur [0, 1[ vers ¦ = 0.
Étude de la convergence sur tout compact :
Soit C un compact de [0, 1[. Donc il existe un réel a de [0, 1[ tel que : C Ì [0, a].
Or : sup x n = a n
xÎ [ 0 , a ]
Et comme a Î [0, 1[ : lim a n = 0
n ® +¥
Donc (¦n)n Î converge uniformément sur le segment [0, a] donc sur le compact C.
Donc (¦n)n Î converge uniformément sur tout compact de [0, 1[.
Étude de la convergence uniforme :
On a : mn = sup x n = 1
xÎ [0, 1[
La suite (mn) ne tendant pas vers 0, (¦n)n Î ne converge pas uniformément vers 0 sur [0, 1[.
Retenir :
la convergence uniforme sur tout compact n'entraîne pas la convergence uniforme en général
Définissons la suite (¦n)n Î par : ¦n : [0, 1] ®
x a xn
Convergence d'une suite d'applications Page 4 G. COSTANTINI [Link]
Étude de la convergence simple :
Pour tout x Î [0, 1[ fixé, on a : lim x n = 0
n ® +¥
Et si x = 1 : lim x n = 1
n ® +¥
ì0 si x Î [0, 1[
Donc (¦n)n Î converge simplement sur [0, 1] vers ¦ : x a í
î1 si x = 1
Étude de la convergence uniforme :
ìx n si x Î [0, 1[
On a : ¦n(x) - ¦(x) = í
î0 si x = 1
Donc : mn = sup |¦n(x) - ¦(x)| = sup |¦n(x) - ¦(x)| = sup x n = 1
xÎ [0, 1] xÎ [0, 1[ xÎ [0, 1[
La suite (mn) ne tendant pas vers 0, (¦n)n Î ne converge pas uniformément vers 0 sur [0, 1[.
Retenir :
la convergence simple n'entraîne pas le convergence uniforme en général
Remarque : On peut prouver autrement, à l'aide de la continuité (voir ci-dessous), qu'une suite d'applications ne
converge pas uniformément.
Théorème
On considère une suite d'applications (¦n)n Î continues définies sur un intervalle I de .
1) Si la suite (¦n)n Î converge uniformément sur I vers une application ¦, alors ¦ est continue.
2) Si la suite (¦n)n Î converge uniformément sur tout compact de I vers ¦, alors ¦ est continue.
Démonstration :
Soit (¦n)n Î une suite d'applications continues définies sur un intervalle I de .
1) On suppose que la suite (¦n)n Î converge uniformément sur I vers une certaine application ¦.
Soit a Î I. Montrons que ¦ est continue en a :
Soit e Î *+ .
On sait que ¦n converge uniformément sur I vers ¦ :
$N Î , "n Î , (n N Þ "x Î X, ||¦n(x) - ¦(x)|| e)
On sait que ¦N est continue en a :
$h Î *+ , "x Î I, (|x - a| < h Þ ||¦N(x) - ¦N(a)|| < e)
Pour un tel h, on a alors :
|x - a| < h Þ ||¦(x) - ¦(a)|| ||¦(x) - ¦N(x)|| + ||¦N(x) - ¦N(a)|| + ||¦N(a) - ¦(a)|| e + e + e 3e
On en déduit : ¦ continue en a
D'où : ¦ continue sur I
2) On suppose que la suite (¦n)n Î converge uniformément sur tout compact de I vers ¦.
Soit a Î I.
Convergence d'une suite d'applications Page 5 G. COSTANTINI [Link]
Soit C un compact contenant a.
D'après 1), ¦ est continue sur C donc en a.
Donc ¦ est continue sur I.
Corollaire :
Si une suite d'applications continues (¦n)n Î converge vers une application ¦ non continue, alors la
convergence n'est pas uniforme.
Démonstration :
Si la convergence était uniforme, ¦ serait nécéssairement continue. (Théorème précédent)
Comme ce n'est pas le cas, la convergence ne peut pas être uniforme.
Applications :
On retrouve ainsi le fait que la suite (¦n)n Î définie par :
¦n : [0, 1] ®
x a xn
ne peut converger uniformément sur [0, 1]. (Puisque sa limite simple ¦ n'est pas continue)
Convergence d'une suite d'applications Page 6 G. COSTANTINI [Link]
