Académique Documents
Professionnel Documents
Culture Documents
n
!2 n
! n
!
X X X
(|a1 | + |a2 | + . . . + |an |)2 = 12 |ai |2 = n a21 + a22 + . . . + a2n
|ai | ≤
i=1 i=1 i=1
1
1. On a pour tout x ∈ l2 (N) :
∞
X ∞
X
kT xk22 = 2
|λn xn | ≤ sup |λn | 2
|xn |2 = sup |λn |2 kxk22
n=0 n∈N n=0 n∈N
ce qui montre que kT xk2 ≤ supn∈N |λn |kxk2 pour tout x ∈ l2 (N), donc que
T est continue.
Par ailleurs, comme K est continue, il est borné sur [0, 1] × [0, 1] par une
constante M > 0. Ainsi, pour tout x ∈ [0, 1], on a :
Z 1
|K(x, y)|2 dy ≤ M 2
0
On a donc :
kSf k22 ≤ M 2 kf k22
ce qui montre que S est continue.
2) Pour montrer que S est linéaire, il suffit de vérifier que S(αf + βg) =
αS(f ) + βS(g) pour tout α, β ∈ C et f, g ∈ L2 ([0, 1], C). En effet,
Z 1
S(αf + βg)(x) = K(x, y)(αf (y) + βg(y))dy
0
Z 1 Z 1
=α K(x, y)f (y)dy + β K(x, y)g(y)dy
0 0
= αS(f )(x) + βS(g)(x).
1
Il reste à montrer que S est continue. On a
Z 1 2
|Sf (x)|2 = K(x, y)f (y)dy
0
Z 1 Z 1
2
≤ |K(x, y)| dy · |f (y)|2 dy (Inégalité de Cauchy-Schwarz)
0 0
≤ kKk2∞ kf k2L2 ([0,1],C) (borne supérieure de K).
Ainsi,
Z 1
kSf k2L2 ([0,1],C) = |Sf (x)|2 dx
0
Z 1
2
≤ kKk∞ kf k2L2 ([0,1],C) dx
0
= kKk∞ kf k2L2 ([0,1],C) .
2
Ainsi, kSf kL2 ([0,1],C) ≤ kKk∞ kf kL2 ([0,1],C) , ce qui montre que S est continue.