4. Montrer que |x|α−2x→vp( 1
x)dans D0(R)quand α&0.
?
Exercice 5. Support et ordre
Soit ul’application linéaire définie, pour φ∈ C∞
c(R), par :
u(φ) = lim
n→∞ n
X
i=1
φ1
i−nφ(0) −log(n)φ0(0)!.
1. Montrer que u(φ)est bien définie, et que uest une distribution d’ordre au plus 2.
2. Quel est le support Sde u?
3. On considère une suite d’élément φkde C∞
c(R)satisfaisant (i) supp(φk)⊆]1
k+1 ,2[,
(ii) 0≤φk≤1
√k, (iii) φk|[1
k,1] =1
√k. Soit p∈N. À l’aide des φk, montrer qu’on ne peut
obtenir aucune majoration du type
|u(φ)| ≤ C
p
X
i=0
sup
x∈S
|φ(i)(x)|.
4. Quel est l’ordre de u?
Indication : On pourra considérer des fonctions du type ψk(x) := ψ(x)Rx
0(Ry
0φ(kt)dt)dy,
où φ∈ C∞
c(]0,1[) d’intégrale 1, et ψ∈ C∞
c(] −1,2[) est telle que ψ(x) = 1 pour x∈[0,1].
?
Exercice 6. D0et Banach-Steinhaus
1. Montrer la version suivante du théorème de Banach-Steinhaus :
Théorème. Soient Xet Ydeux espaces vectoriels topologiques localement convexes sépa-
rés, et {Ti}i∈Iune famille d’opérateurs linéaires continus de Xdans Y. On définit
B={x∈X| {Ti(x), i ∈I}est borné dans Y}.
Si Best non maigre dans E(i.e. non inclus dans une réunion dénombrable de fermés
d’intérieur vide), alors B=Xet {Ti}i∈Iest équicontinue, au sens où pour tout voisinage
Wde 0dans Y, il existe Vvoisinage de 0dans Xtel que ∀i∈I,Ti(V)⊂W.
2.* Soit Xun espace vectoriel topologique localement convexe, et A⊆X. Montrer que
Aest borné si et seulement si pour tout `∈X0,`(A)⊂Cest borné.
Indication : On pourra d’abord traiter le cas où Xest un espace vectoriel normé.
3. Soit Ωun ouvert de Rk. Montrer qu’un ensemble A⊆ C∞
c(Ω) est borné si et seulement
si :
∀T∈ D0(Ω),sup
φ∈A
T(φ)<+∞.
4. Soit (φn)nune suite de C∞
c(Ω) telle que pour tout T∈ D0(Ω),(T(φn))nest une
suite numérique bornée. Montrer qu’il existe une sous-suite de (φn)nqui converge pour la
topologie de C∞
c(Ω).
5. Soit (Tn)nune suite de D0(Ω) telle que pour tout φ∈ C∞
c(Ω),(Tn(φ))nest une
suite numérique bornée. Montrer qu’il existe une sous suite de (Tn)nqui converge pour la
topologie de D0(Ω), et que la convergence est uniforme sur tout sous-ensemble borné de
C∞
c(Ω).
?
Joseph Thirouin 2 DMA 2015/2016