Théorème de Banach-Steinhaus et application
Pierron Théo
8 juin 2014
Théorème 1 Baire Soit (E, d)un espace métrique complet et (Ωn)une suite d’ouverts denses
de E. Alors
\
n=0
nest un ouvert dense.
Théorème 2 Banach-Steinhaus Soit Eun Banach, Fun evn. Soit HLc(E, F ). Alors
soit (kfk)fHest bornée, soit il existe xEtel que supfHkf(x)k=.
Démonstration. Soit Ωk={xE, fH, kf(x)k> k}. Alors
k=[
fH
{xE, kf(x)k> k}
kest donc ouvert en tant qu’union dimages réciproques des ouverts ]k, [ par x7→ kf(x)k.
Si pour tout k, Ωkest dense, l’intersection des Ωkest dense donc non vide. Il existe donc
xEtel que sup
fH
kf(x)k=.
Sinon, il existe ktel que Ωkne soit pas dense. Il existe donc x0Eet r > 0 tel que
B(x0, r)k=.
Donc pour tout xrifiant kxk< r, on a pour fH,kf(x)k6kf(x+x0)k+kf(x0)k62k.
Par continuité de f, cette égali reste vraie si kxk6r. Donc pour tout xB(0,1) et fH,
on a
kf(x)k=1
rkf(rx)k62k
r
Ainsi, kfk62k
r.
Théorème 3 Soit C2πl’ensemble des fonctions RCcontinues 2π-périodiques, muni de la
norme sup[π,π]|f|.
Il existe fC2πdifférente de sa série de Fourier.
Démonstration. Pour tout pZ, on définit cp(f) = 1
2πRπ
πf(t)eipt dt.
ln:
C2πC
f7→
n
X
p=n
cp(f)
lnest linéaire et on a
ln(f) = 1
2πZπ
π
f(t)
n
X
p=n
eipt dt=1
2πZπ
π
f(t)sin(2n+1
2t)
sin( t
2)
| {z }
Dn(t)
dt
On a |ln(f)|61
2πkfkRπ
π|Dn(t)|dt. Soit ε > 0 et
fε:
RC
t7→ Dn(t)
|Dn(t)|+ε
1
Alors kfεk61, Dnfεconverge simplement vers |Dn(t)|quand ε0 et
|Dn(t)fε(t)|6|Dn(t)|
qui est intégrable sur [π, π] (continue en 0). Ainsi,
|ln(fε)| → 1
2πZπ
π
|Dn(t)|dt
Donc
klnk=1
2πZπ
π
|Dn(t)|dt>1
πZπ
0
sin(2n+1
2t)
t
2
dt=2
πZ2n+1
2π
0
sin u
udu→ ∞
C2πest fermé dans B(R,C) qui est complet donc par Banach-Steinhaus, il existe fC2πtel
que supn|ln(f)|=.
Donc X
nZ
cn(f)einx diverge en x= 0 donc fest différente de sa série de Fourier.
X
p=1
1
p2sin 2p3+ 1
2x!
2
1 / 2 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 !