Exercices corrigs Banach-Hilbert

30 septembre 2011

Exercices
Pour une suite

u = (uk )kZ RZ ,

et

p ]0, +[, |uk |p

kZ

on dnit
1 p

|u|p =
et on pose

|u| = sup |uk |.

kZ
On pose pour

p ]0, +]

Exercice 1 (Autour des espaces de Hilbert) 2.1 p = 2 u, v

Pour , et

= u = (uk )kZ RZ ,

|u|p < + .

, on pose

(u, v) =
kZ
Montrer que de

uk vk .
2
. En dduire que

(u, v)

est bien dni et est un produit scalaire sur

muni

1.2 1.3

(, )

est un Hilbert.

Rappeler le thorme de Riesz, et retrouver que

( 2) =
On pose pour

(u) =
kZ
Montrer que

|uk |2 . 1 + k2

F = u
est un sous-ensemble convexe ferm de

, (u) 1
en

1.4

Que peut-on dire si on change la dnition de

(u) =
kZ

(1 + k 2 )|uk |2
1

Exercice 2 (Autour des espaces de Banach)

Soit

a = (ak )kZ u

vriant

|a|1 < 1.
Pour , on dnit

(a u)k =

am ukm .
mZ

2.1 2.2

Montrer que a u . Soit f . On pose pour

T u = a u + f.

3.3 Exercice 3 (L'espace C (R))

0
On pose pour

Montrer que

est une contraction sur

En dduire qu'il existe une unique solution

de l'quation

T u = u.

u : R R,

|u| = sup |u(x)|

xR
et

4.1 4.2

L (R) = {u : R R,
Montrer que Soit

|u| < +} . R
dans

L (R)

est un Banach.

C(R)

l'ensemble des fonctions continues de

R,

et

C0 (R) =
Montrer que

u C(R),

|x|+

lim u(x) = 0 .

C0 (R)

est un Banach pour la norme

| | .

Exercice 4 (Autour des espaces ; questions plus diciles notes *) 4.1 p ]0, +] 4.2 p ]0, 1[ | | 4.3 p = 1, + | | 4.4 p, q ]1, +[ 1/p+1/q = 1 a, b [0, +[
p
Montrer que pour tout Montrer que pour , est un espace vectoriel. p . p n'est pas une norme sur ,

Montrer que pour

p est une norme.

Montrer l'ingalit de Young : pour

tels que

et

4.5 4.6

ap b q + . ab p q
En dduire que pour

u, v RZ

|uk vk |
kZ
En dduire l'ingalit de Hlder : pour

|u|p |v|q p q + p q
:

u, v RZ

|uk vk | |u|p |v|q

kZ
. Montrer que l'galit dans l'ingalit n'a lieu que si

u = 0,

ou sil existe

tel que (1.1)

|vk | = p |uk |p1

pour tout

k Z.

p = 1 et q = +, et qu' nouveau l'galit dans l'ingalit n'a lieu que s'il existe 0, tel que |vk | = si uk = 0 et |vk | si uk = 0. Remarquez (de faon symtrique) que l'ingalit reste vraie pour p = + et q = 1, et qu' nouveau l'galit dans l'ingalit n'a lieu que s'il existe 0, tel que |uk | = si vk = 0 et |uk | si vk = 0. Z Montrer que pour w R et p, q ]1, +[ tels que 1/p + 1/q = 1, on a
Remarquez que l'ingalit reste vraie pour

4.7

p1 |wp1 |q = |w|p .
En deduire l'ingalit de Minkowski : pour tout

(1.2)

u, v RZ

|u + v|p |u|p + |v|p .

4.8* 4.9
o

Montrer que pour

p [1, +], X.

, muni de la norme

| |p ,

est un Banach.

On rappelle que le dual topologique

X
q

d'un espace de Banach

est l'ensemble des

formes linaires continues sur

Montrer que pour

p [1, +],

on a

( p) , 1/p + 1/q = 1. uk = 0 |k| > K} . C > 0, tel que pour

(1.3)

4.10*

est l'unique lment de Pour

[1, +]
p

tel que

p [1, +[,

on pose tel que

p c

= {u = (uk )kZ

K N

tel que

pour

Montrer pour tout p tout u c , on a

L ( p ) , il existe v = (vk )kZ RZ L(u) =

kZ

et une constante

uk vk

et

4.11* 4.12* 4.13*

Soit sur

|vk | C.
Montrer que Soit

avec

1/p + 1/q = 1.

En dduire que

( p) =

u = (uk )kZ

|k|+

lim |uk | = 0 .

On admet que 0 muni de la norme | | est un Banach. Utiliser cet espace pour montrer 1 1 que ( 0 ) . En dduire que ( 0 ) = . On admet le rsultat suivant (corollaire du thorme de Hahn-Banach).

Y Y.

un sous-espace vectoriel d'un espace de Banach Alors il existe une forme

linaire continue

X . Soit une forme linaire continue sur X qui est une extension de , i.e.

=
En utilisant ce rsultat, montrer que

sur

Y.

) =

Corrig 1 1.1 1.2 1.3

que

Corrigs
p = q = 2.
Il est

Le produit scalaire est bien dni grace l'ingalit de Young pour

facile de vrier que c'est un produit scalaire. Voir le cours. La fonction 1

est convexe (comme somme (innie) de fonctions convexes). On en dduit F = ((, 1]) est convexe. Soit une suite (un )nN d'lments de F tels que |un u |2 0

Alors on a pour tout

KN

|k|K
et en passant la limite

|un |2 k 1 1 + k2

n +,

on tire

|k|K
puis dans la limite

|u |2 k 1 1 + k2

K +,

on obtient :

(u ) 1
Cela prouve que la limite tains lments de

1.4

u F

et donc que

est ferm.

Tout marche pareillement, except que 2 .

prend maintenant des valeurs innies sur cer-

Corrig 2 2.1 2.2

Pour

On a (ingalit de Hlder)

|a u| |a|1 |u|

, on a avec

u, v

w =uv

|T u T v| = |a w| |a|1 |w|
La contraction rsulte de

2.3 Corrig 3 3.1 (u )

Soit

|a|1 < 1.

Appliquer le thorme de point xe de Picard dans le Banach

nN un suite de Cauchy d'lments de

L (R),

i.e. pour tout

> 0,

il existe un

N N

tel que pour tout

n N

et tout

m 0,

on a

|un+m un |
Ainsi pour tout

x R,

on a

|un+m (x) un (x)|

et donc convergente vers

(2.1)

et la suite la limite

(un (x))nN est de Cauchy dans R, m + dans (2.1), on tire

u (x).

En passant

|u (x) un (x)|
4

et donc

|u un |
ceci implique que u L (R) et que un converge vers u dans L (R). n Soit (u )nN un suite de Cauchy d'lments de C0 (R). D'aprs l'tape prcdente, il existe un lment u L (R) limite de un dans L (R). Reste montrer que u C0 (R). Montrons que u est uniformment continu, i.e., pour tout > 0, il existe un > 0 tel que

3.2

|u (x) u (y)|
Par convergence de

ds que

|x y|

(2.2)

un ,

il existe un

N R

tel que (2.3) continu, il existe

|u un | /3
pour un

n N . Choisissons un tel un C0 (R). Puisque un est uniformment > 0, tel que |un (x) un (y)| /3 ds que |x y| |x y| ,
on a

Ainsi, ds que

|u (x) u (y)| |u (x) un (x)| + |un (x) un (y)| + |un (y) u (y)| /3 + /3 + /3 =
ce qui prouve (2.2). Par ailleurs, puisque

un C0 (R),
pour

il existe

A > 0,

tel que

|un (x)| 2/3

Utilisant (2.3), cela implique que pour tout

|x| A A = A() > 0

tel que

> 0,
pour

il existe un

|u (x)|
Cela prouve nallement que

|x| A

u C0 (R).

Corrig 4 4.1 u
Si et donc

, on a videmment

. Pour vrier que

u+v

si

u, v

, il sut de

remarquer que

|uk + vk | 2 max(|uk |, |vk |) |uk + vk |p 2p

Choisissons Alors

4.2 4.3 4.4

max(|uk |, |vk |)p 2p (|u|p + |v|p ) < + p p u0 = 1

1

u, v

de sorte que

et

uk = 0

pour

k = 0, v1 = 1

et

vk = 0

pour

k = 1.

|u + v|p = 2 p > |u|p + |v|p = 2

ce qui prouve que En posant

| |p

n'est pas une norme pour

p ]0, 1[.

C'est immdiat.

c = b/ap1 ,

on voit qu'il sut de prouver que

c 1/p + cq /q
Soit

(c) = 1/p + cq /q c
5

On a

(c) = cq1 1. Ainsi est minimale pour c = 1 prouve que (c) 0. Cela prouve l'ingalite de Young.

et

(1) = 1/p + 1/q 1 = 0,

ce qui

qui prcde que

4.5 4.6

C'est immdiat en appliquant le rsultat prcdent. Si

|u|p = 0

ou

|v|q = 0, on a videmment pour tout > 0

galit. Dans le cas contraire, on dduit de ce

p |u|p q |v|q q p + = () |uk vk | p q kZ

On calcule

() = p1 |u|p q1 |v|q p q
qui s'annule pour la valeur

p |u|p = q |v|q = (0 ) = |u|p |v|q . Pour avoir 0 0 q p p1 1 l'galit dans l'ingalit, on doit avoir 1 = ck = bk /ak avec ak = |uk | et bk = |vk |. Cela 0
telle que L'galit (1.2) est immdiate.

implique ce qui est annonc.

4.7

Par ailleurs

|u + v|p p

|uk ||uk + vk |p1 + |vk ||uk + vk |p1

|u|p ||u + v|p1 |q + |v|p ||u + v|p1 |q

p1 p1 |u|p |u + v|p + |v|p ||u + v|p
o on a apliqu l'ingalit de Hlder la deuxime ligne et l'galit (1.2) pour obtenir la troisime ligne. Ce calcul implique l'ingalit de Minkowski.

4.8

suites

On a vri que | |p est une norme pour p [1, +]. Soit maintenant une suite de un = (un )kZ qui est de Cauchy dans p . Cela signie que pour tout > 0, il existe un k tel que pour tout

N N,

mN

et tout

n N

: (2.4)

|un+m un |p
Cela montre en particulier que pour chaque entier dans

Cas p <
Pour

R,

donc convergente (car

est un Banach).

k Z, la suite (un )nN est de Cauchy k Notons uk la limite de cette suite.

p < +,

on peut crire (2.4) comme suit :

n+m |uk un |p p k kZ
qui implique en particulier que pour tout

K N,

on a

|un+m un |p p k k
|k|K
En passant la limite

m +,

on tire

|u un |p p k k
|k|K
et en passant la limite

K +,

on obtient :

|u un |p
6

(2.5)

Cas p =

On voit que (2.4) signie que pour chaque

kZ

|un+m un | k k
En passant la limite

m +,

on tire

|u un | k k

Pour tout p [1, +], on voit que (2.5) implique que u p (car p est un espace vectoriel n p n p et u ). Il reste montrer que u est la limite de u dans , i.e.

Conclusion

i.e. (2.5) dans le cas

p = .

|u un |p 0

quand

n +

Or cela rsulte exactement de la quantication de (2.5), qui est

> 0,

N N,

n N ,

|u un |p p [1, +]
et

4.9

Il sut de remarquer que d'aprs l'ingalit de Hlder, on a pour tout :

1/p + 1/q = 1

|uk vk | |u|p |v|q

k
Cela prouve que pour tout

, l'application

Lv :

dnie par

Lv (u) =
k

uk vk Lv ( p ) , ce qui permet d'identier

est bien dnie et est linaire continue. Cela implique que q p comme un sous-espace de ( ) , i.e.

( p)

4.10

Pour tout

K N,

et

, notons :

uK = k
Remarquons que pour

uk 0

si si

|k| K |k| > K

p [1, +[,

on a lorsque

|uK u|p 0
ce qui prouve que

K +
denissons

(2.6)

p c est dense dans

. Pour tout

j Z, k=j k=j

ej

par

ej k

1 0

si si

Ainsi

L(uK ) = L
|k|K

uk ek =
|k|K

uk vk

avec

vk = L(ek )
Cela prouve en particulier (1.3). Par ailleurs puisque que

L ( p) ,

il existe une constante telle

|L(u)| C|u|p
En l'appliquant

u = ek ,

on tire

4.11
Ainsi

|vk | C
Posons

LK (u) =
kZ

K uk vk

Cas p ]1, +[

LK (uK ) = L(uK ) p ]1, +[,

on a

(2.7)

D'aprs l'tape 4.6 pour

|LK (uK )| = |uK |p |v K |q

si et seulement si il existe

= 1

et

> 0,

tel que

K vk = p |uK |p1 sign(uK ) k k

En choisissant

= 1 = ,

et donc

K K uK = |vk | p1 sign(vk ) k
on a

LK (uK ) =
|k|K
i.e.

p1 |vk |q C|uK |p = C||v K | p1 |p = C|v K |q

Cas p = 1
Pour

|v K |q C
on choisit un indice

(2.8)

p = 1,

k0 {K, ..., K},

tel que

K |vk0 | = |v K |
et on choisit

uK = k
On a alors

K sign(vk )
0

si si

k = k0 k = k0

K LK (uK ) = |vk0 | = |v K | C|uK |1 = C

Conclusion

ce qui implique nouveau (2.8) avec

q = +.

En passant la limite

K +

dans (2.8), on tire

|v|q C
ce qui prouve que

. On crit alors

|L(u) L(uK )| C|u uK |p

Utilisant (2.6), on tire alors que pour tout

, on a

L(u) =
kZ

uk vk

4.12

Et donc

. L'tape 4.9 implique alors l'galit des espaces. p remplac par Remarquons que c est dense dans 0 . Ainsi le 4.10 s'applique avec 0 . On considre alors le 4.11 dans le cas p = +. On choisit pour k {K, ..., K}

( p)

K uK = sign(vk ) k
Ainsi

LK (uK ) =
|k|K
Cela prouve que

K |vk | C|uK | = C

|v K |1 C
et en passant la limite

K +, |v|1 C
0 par

Par approximation de

uK

dans

0 , on conclut de mme qu' l'tape 4.11 que

L(u) =
kZ
pour tout

uk vk

0 . Cela prouve que

0 )

Par ailleurs l'tape 4.9, on peut obtenir aussi que

(
0 )

0 )

Donc

(
ce qui est le rsultat demand. On dnit U , par

4.13

Uk = 1
et on pose

pour tout

kZ

Y =

0
9

RU

Pour tout

yY

qui s'crit de faon unique

y = u + aU

avec

0 ,

a R,

on dnit

(y) = a
Alors d'aprs le rsultat indiqu, il existe

),

tel que

=
En particulier

sur

(U ) = 1
et

| = 0 0
Cela montre que linaire nulle sur 1 . que ( 0 ) =

est une forme linaire non triviale sur qui se rduit en une forme . Cela prouve que ( ) = ( ) . Ainsi ( ) est strictement plus grand 0 0

10