§2. Orateurs Compacts
Opérateurs linéaires compacts
Soit Aun opérateur linéaire d’un espace normé Edans un espace normé
F; on dit que Aest un opérateur compact s’il envoie tout ensemble borné G
dans Eà un ensemble relativement compact A(G)dans F: Autrement dit,
la ferméture A(G)est compacte.
Ensembles relativement compacts
Un ensemble GEest relativement compact si pour toute suite fung
de G; il existe une sous suite fun(k)gqui converge dans F:
Théorème 1 (critère de compacité)
Un opérateur linéaire A:E!Fest compact si et seulement si pour
toute suite bornée 'nde E; la suite A'ncontient une sous suite convergente
de F:
monstration
Il su¢ t d’appliquer les dé…nitions appropriés d’un ensemble borné et un
ensemble relativement compact.
Théoréme 2
Une combinaison linéaire A=A1+A2des opérateurs compacts est un
opérateur compact.
monstration
Soit f'ngune suite borné de Eet soit fA'ngune suite de F; alors
A'n(x) = A1'n(x) + A2'n(x);avec 'n2E; n 2N:
A1et A2étant compacts, on peut extraire de fA1'nget de fA2'ngdeux
sous suites convergentes qui donne par leur somme une sous suite convergente
de fA'ng;donc Aest compact.
Théorème 3
Le produit AB de deux opérateurs bornés Aet Best compact si l’un des
opérateurs Aou Best compact.
1
monstration
Soit f'ngun suite bornée de E; alors si Best un opérateur borné la suite
B'n(x)est aussi bornée, et de la compacité de l’opérateur Ail existe une
sous suite de A(B'n(x)) qui converge, ce qui implique que AB est compact.
D’autres part si Best compact, on peut extraire de la suite B'n(x)une
sous suite convergente B'n(k)(x);et de la continuité de lopérateur Acar il est
borné la suite A(B'n(k)(x)) converge, ce qui implique que AB est compact.
Théorème 4
Soit Eun espace normé et Fun espace de Banach, et soit fAngune suite
d’opérateurs compacts de Edans F; convergente en norme vers lopérateur
linéaire Ade Edans F
lim
n!1 kAnAk= 0:
Alors Aet compact.
monstration
Soit f'ngune suite bornée de E; l’opérateur A1étant compact, on peut
extraire de la suite fA1'ngune sous suite convergente; soit f'1
ngune sous
suite de f'ngtelle que, fA1'1
ngsoit convergente.
De la même façon, on peut extraire de la suite fA2'1
ngune sous suite
convergente, car A2est compact; soit f'2
ngune sous suite de f'1
ngtelle que,
la suite fA2'2
ngsoit convergente.
Remarquons que, la suite fA1'2
ngest une sous suite de la suite conver-
gente fA1'1
ngqui à son tour convergente.
En raisonnant de la même façon, pour les opérateurs A1; A2; :::; Ap; :::, on
détermine les suites f'1
ng;f'2
ng; :::; f'p
ng; :::. Il est à remarquer que la suite
f'p
ngest une sous suite de toutes les suites qui lui précèdent et que les suites
fAk'p
ngsont convergentes pour (k= 1;2; :::; p):
Comme lespace Yest complet, pour la compacité de lopérateur Ail
su¢ t de montrer que la suite fA'p
ngest une suite Cauchy, alors
kA'p
nA'q
nkk A'p
nAn'p
nk+kAn'p
nAn'q
nk+kAn'q
nA'q
nk
Soit k'nk M;choisissons nde sorte que l’on a kAAnk<"
3M;
ensuite choisissons Ntel que, pour tous les p>Net q > N; on a la relation
kAn'p
nAn'q
nk<"
3car la suite fAn'p
ngest convergente.
2
Dans ces conditions, on aura pour tout pet qs samment grands.
kA'p
nA'q
nk< ":
Théorème 5
Soit Aun opérateur borné de Edans F; à image A(E)de dimension
nie. Alors Aest compact.
monstration
En e¤et, car lopérateur Atransforme tout ensemble borné Gde Eà un
ensemble borné A(G)dans un espace de dimension …nie A(E)ce qui implique
que A(G)est précompact.
Lemme 1
Soit Gun sous espace fermé dun espace normé Etel que, G6=E; alors
il existe un élément '2E; avec k'k= 1 tel que, pour tout 2G; on a
k'k ; avec 0<  < 1
monstration
En e¤et, soit fun élément de Etel que f =2Galors, on a
inf
2Ekfk= > 0;
choisissons un élément 2Gtel que,
 kf k
;
soit 'le vecteur donné par
'=f
kf k;
alors le vecteur 'est de norme égale à l’unité (k'k= 1):
De plus, on a
k'k=1
kf kkf f + (kf k)g k
kf k:
3
Théorème 6
L’opérateur identique Ide Edans Eest compact si et seulement si E
est de dimension …nie.
monstration
Soit '1un élément de E; tel que k'1k= 1;alors G1=spanf'1gest un
sous espace fermé de Ecar G1est de dimension …nie. D’après le lemme1,
il existe un élément '22E; tel que k'2k= 1 et k'1'2k>1
2:Prenons
une deuxième fois le sous espace fermé G2=spanf'1; '2g;il existe alors un
élément '32Eavec k'3k= 1 ;k'1'3k>1
2et k'2'3k>1
2:On répète
la même procédure jusqu’à l’obtention d’un suite f'ngvéri…ant k'nk= 1
et k'n'mk>1
2;pour tout m6=n:
Il est à remarquer que cette suite f'ngest bornée mais elle ne contient
aucune sous suite convergente. C.Q.F.D.
Corollaire 1
La boule unité B(0;1) dans un espace de dimension innie nest pas com-
pact.
En e¤et, il su¢ t d’appliquer le théorème6, car la boule unité B(0;1) est sa
propre image dans lespace Xde dimension in…nie par l’opérateur identique
Théorème 7
Un opérateur compact est un opérateur borné. La réciproque est fausse.
monstration
En e¤et, si on désigne par
B(0;1) = fx2X; kxk 1g;
la boule fermé de rayon l’unité, alors l’ensemble A(B(0;1)) est compact, donc
borné, cest à dire
kAxk<1et par conséquent, sup
kxk1
kAxk<1,
ce qui signie que l’opérateur Aest borné.
ciproquement, l’opérateur identique Ide Edans Eest borné mais il
n’est pas compact.
4
Théorème 8
L’opérateur ingral Ade C(G)dans C(G)à noyau continu est un opéra-
teur compact.
monstration
Soit Eun ensemble borné de C(G)alors, on a
k'k Mpour tout '2E:
De plus,
jA'(x)j MjGjmax
x;y2GjK(x; y)j;8x2Get 8'2E;
cela veut dire que A(E)est borné.
L’opérateur Kest uniformément continu sur le compact GG; d’
8" > 0;9 > 0;8x; y; z 2G; jxyj<  )j K(x; z)K(y; z)j<"
MjGj
d’
jA'(x)A'(y)j< " pour tout '2Eet x; y 2G; avec jxyj< :
Ceci exprime que l’ensemble A(E)est équicontinu, d’A(E)est rela-
tivement compact daprès le théorème dArzelà-Ascoli. Alors Aest compact.
Noyau faiblement singulier
On appelle noyau faiblement singulier la fonction Kcontinue sur GG
RnRnsauf peut être aux points x=yet telle que,
8x; y 2G; x 6=y; 9M > 0;jK(x; y)j<M
jxyjn;0<  n
Théorème 9
L’opérateur ingral Ade C(G)dans C(G)à noyau faiblement singulier
est un opérateur compact.
monstration
Il est à remarquer que l’opérateur
A'(x) = ZG
k(x; y)'(y)dy; x; y 2G
5
1 / 8 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !