Master Maths Fonda. et Appliqu´
ees Orsay 2008–09
1`
ere ann´
ee - 2 `
eme semestre - Analyse
Feuille d’exercices no3
Espaces compacts
1 - Minimisation d’une fonctionnelle d’action.
On travaille dans R2euclidien. Pour m1= (x1, y1), m2= (x2, y2) et Ld(m1, m2), on consid`ere
C={γ: [0, L]R2|γ(0) = m1, γ(L) = m2et γest 1lipschitzienne}.
On d´efinit E:C Rpar E(γ) = RL
0y(t)dt o`u γ(t) = (x(t), y(t)).
Montrer que Eest minor´e sur Cet qu’il existe une fonction γ0∈ C telle que E(γ0) = inf
CE.
2 - Cube de Hilbert.
1. Soit (an)nNune suite de r´eels positifs telle que an0 quand n→ ∞. Montrer que
Ca={(un)nNtelle que |un| ≤ anpour tout n}
est un sous-ensemble compact de l(N).
2. Montrer que
C={(un)nNtelle que un0 quand n→ ∞}
n’est pas un sous-ensemble compact de l(N).
3 - Espace de Sobolev discret.
On consid`ere l’espace (`2(N),k.k2) des suites r´eelles a= (an)nNde carr´e sommable, muni de la
norme kak2= (X
nN
|an|2)1/2. On note
B:= (a`2(N)|X
nN
(1 + n2)|an|21).
Montrer que Best une partie compacte de `2(N).
Indication. ´
Etant donn´ee une suite (ak)kNd’´el´ements de B, on pourra commencer par montrer
que (ak)kNadmet une sous-suite (aφ(k))kNqui converge simplement, montrer que la limite ade
cette sous-suite est dans B, puis montrer que (aφ(k))kNconverge en fait vers aau sens de la norme
k.k2.
4 - Familles de fonction relativement compactes ou non.
1. Dans E=C([0,1],R) muni de la norme du sup, on consid`ere pour k0, l’espace Fdes fonctions
C1avec kf0kket f(0) = 0. Fest-il relativement compact dans E? compact?
2. Soit fune fonction continue de R+dans R. Pour nN, on note fnla fonction d´efinie sur [0,1]
par fn(t) = f(nt). Montrer que la famille de fonctions {fn|nN}est relativement compacte dans
E=C([0,1],R) muni de la norme du sup si et seulement si fest constante. Qu’en est-il avec la
famille {gnE|nN}o`u gn(t) = f(t/n)?
3. Pour nN, on d´efinit fnsur Rpar fn(x) = 1
1+(xn)2. Montrer que la famille de fonctions
F={fn|nN}est ´equicontinue sur R. Est-elle relativement compacte (pour la norme du sup)?
5 - Distance de Hausdorff.
Soit (X, d) un espace etrique compact non vide. On note F={parties ferm´ees non vides de X}.
Pour A∈ F, on pose φ(A) : XRla fonction d´efinie par
φ(A)(x) = d(x, A) = inf
aAd(x, a).
Pour A, B ∈ F, on note δ(A, B) = kφ(A)φ(B)k= sup
xX
|φ(A)(x)φ(B)(x)|.
1. V´erifier que δest une distance sur F(appel´ee distance de Hausdorff).
2. On suppose que (An)n0est une suite de Ftelle que φ(An)funiform´ement sur X, quand
n+, pour une fonction f:XRcontinue. On note A=f1({0}).
a) Soit xX. Montrer qu’il existe anAnavec φ(An)(x) = d(x, an). En d´eduire qu’il existe
aAtel que d(x, a) = f(x).
b) Montrer que fest 1-lipschitzienne, et en d´eduire que fφ(A).
c) Conclure que f=φ(A).
3. En d´eduire, `a l’aide du th´eor`eme d’Ascoli, que (F, δ) est compact.
6 - Op´erateurs `a noyaux continus.
On note E=C([0,1],C) que l’on munit de la norme du sup. Pour k: [0,1] ×[0,1] Ccontinue
et fE, on pose
K(f)(x) = Z1
0
k(x, y)f(y)dy
(ks’appelle le noyau de K).
1. V´erifier que Kd´efinit une application lin´eaire continue de Edans E.
2. Montrer, `a l’aide du th´eor`eme d’Ascoli, que l’image par Kde BE(0,1), la boule unit´e ferm´ee de
E, est relativement compacte dans E. (On dit que Kest un op´erateur compact.)
3. Pour λC, on pose Eλ= ker(KλId). Montrer, `a l’aide du th´eor`eme de Riesz, que Eλest de
dimension finie si λ6= 0.
7 - Fonctions presques p´eriodiques.
Soit E=Cb(R,R) l’espace des fonctions continues born´ees de Rdans Rmuni de la norme du sup.
Pour fEet aR, on pose τaf(x) = f(x+a). On dit que fEest presque p´eriodique si la
famille de fonctions Af={τaf|aR}est relativement compacte dans E.
1. Montrer que les fonctions p´eriodiques sont presque p´eriodiques. Indication. Consid´erer l’application
τ:aτafet remarquer que Af=τ([0, T ]) si fest T-p´eriodique.
2. Montrer que l’espace des fonctions presque p´eriodiques est un sous-espace vectoriel ferm´e de E.
Est-il r´eduit aux fonctions p´eriodiques?
3. Soit fEd´efinie par f(x) = 1
1+x2. Montrer en consid´erant les (τnf)nN, que fn’est pas presque
p´eriodique, bien que la famille Afsoit ´equicontinue.
4. Montrer que fest presque p´eriodique ssi ε > 0, lε>0, tel que tout intervalle de longueur lε
contienne un ptel que kτpffkε(ps’appelle une presque p´eriode). (Utiliser la pr´ecompacit´e
de (Tnf)nZ.)
8 - Applications propres
Soit f: (X, d)(Y, δ). On dit que fest propre si f1(K) est compact pour tout compact KY.
1. a) Montrer que si fest continue et Xest compact, elle est automatiquement propre. Donner un
exemple d’application continue non propre avec X=Y=R.
b) Montrer que si fest continue et propre, alors elle est ferm´ee (l’image d’un ferm´e est un ferm´e).
c) Montrer que si fest continue injective et propre, alors elle induit un hom´eomorphisme de X
sur f(X).
2. Applications :
a) Soit f:RR2d´efinie par f(t) = (t+ cos(2t),sin(2t)). Montrer que la courbe f(R) est un
ferm´e de R2(et en donner son allure)(`a comparer avec l’ex 2 2c).
b) Soit f:U= (R+)3Rd´efinie par f(x, y, z) = xyz +1
x+1
y+1
z.
Montrer que inf
Ufexiste et est atteint. Le d´eterminer (`a l’aide d’un cours de calcul diff´erentiel).
9 - Ensemble de Cantor
On consid`ere l’ensemble de Cantor “abstrait” X={0,1}N(= QnN{0,1}) des suites de 0 et de 1.
On munit X, de sa topologie produit.
1) Montrer que Xest compact.
2) Montrer que Xest hom´eomorphe `a l’ensemble de Cantor triadique
K=nX
n1
an
3n|an∈ {0,2}o[0,1] .
(on pourra utiliser l’exercice pr´ec´edent).
10 - Une caract´erisation des parties relativement compactes
Soit (E, k k) un espace vectoriel norm´e et Kune partie non vide de E.
1. On suppose que Kest relativement compacte. Montrer, en utilisant la pr´ecompacit´e qu’il existe
une suite de compacts non vides (Kn)nNtelle que
• ∀nN,KnK,
• ∀nN, Vect(Kn) est de dimension finie,
la suite de fonctions (d(., Kn))nNconverge uniform´ement vers 0 sur K.
2. On suppose dans cette question que Eest complet, et qu’il existe une suite de compacts non
vides (Kn)nNsatisfaisant les conditions pr´ec´edentes. Montrer que Kest relativement compacte.
3. Application. Soit (an)nNune suite de r´eels positifs telle que an0 quand n→ ∞. En utilisant
la question 2, montrer que
Ca={(un)nNtelle que |un| ≤ anpour tout n}
est un sous-ensemble compact de l(N).
1 / 4 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 !