SESSION 2000

CONCOURS COMMUNS POLYTECHNIQUES

EPREUVE SP

ECIFIQUE-FILI
`
ERE MP
MATH

EMATIQUES I
DUR

EE: 4 heures
Les calculatrices programmables et alphanumeriques sont autorisees, sous reserve des conditions denies
dans la circulaire n

99-018 du 01.02.99.
Le probl`eme propose a pour but la demonstration dun theor`eme relatif aux contractions dun espace
de Banach et letude, grace `a ce theor`eme, dune equation fonctionnelle.
Si X et Y sont des ensembles, Y
X
designe lensemble des applications de X dans Y .
Si X est un ensemble non vide, ^

designe la norme de la convergence uniforme sur lespace vectoriel

des applications bornees de X dans R: ^

(f) = Sup([f(x)[ / x X).

Partie I : Convergence uniforme dans C([0, 1], R)
Soit (f
n
)
nN
une suite de Cauchy, pour ^

, de (([0, 1], R).

1. Montrer que, pour tout x [0, 1], (f
n
(x))
nN
converge. Soit f la limite simple de la suite (f
n
)
nN
.
2. Montrer que f est bornee et que ^

(f
n
f)
n
0.
3. Justier que ((([0, 1], R), ^

) est un espace de Banach.

4. Soit (u
n
)
nN
la suite de (([0, 1], R) denie par: u
n
(x) = e
x
n
pour tout x [0, 1]. Montrer que, pour tout
x [0, 1], (u
n
(x))
nN
converge. La suite (u
n
)
nN
est-elle de Cauchy pour ^

?
5. Soit (v
n
)
nN
la suite de (([0, 1], R) denie par: v
n
(x) =
_
x
0
e
t
n
dt pour tout x [0, 1]. Montrer que
(v
n
)
nN
converge uniformement sur [0, 1] vers un element v de (([0, 1], R).
Partie II : Theor`eme du point xe de Banach
Soit (E, | |) un espace de Banach reel, soit A un sous-ensemble ferme non vide de E et soit T A
A
veriant:
il existe [0, 1[ tel que |T(x) T(y)| |x y| pour tout (x, y) A
2
(on dit que T est contractante ou
encore que T est une contraction).
1. Soit (x, y) A
2
tel que: T(x) = x, T(y) = y. Montrer que x = y.
2. Soit a A, on denit (a
n
)
nN
par: a
0
= a, a
n+1
= T(a
n
)
2.1 Montrer que: |a
n+1
a
n
|
n
|a
1
a
0
|. En deduire que si (n, p) N N

on a:
|a
n+p
a
n
| |a
1
a
0
|
_
p1

i=0

n+i
_
.
2.2 Montrer que (a
n
)
nN
est convergente et que sa limite est element de A.
2.3 Montrer que T poss`ede un unique point xe qui est la limite de (a
n
)
nN
. On etablit ainsi le theor`eme
du point xe de Banach: (( Toute contraction T dun ferme non vide A dun espace de Banach poss`ede un
point xe unique, de plus si a A, la suite (a
n
)
nN
denie par a
0
= a, a
n+1
= T(a
n
), converge vers ce point
xe)).
1
3. On suppose que A = E, soit alors, U E
E
denie par: U(x) = x +T(x).
3.1 Montrer que U est une bijection continue de E sur E.
3.2 Montrer que, pour tout (x, y) E on a:
|U
1
(x) U
1
(y)| < (1 )
1
|x y|
(U est donc un homeomorphisme de E sur E).
4. Soit L(E) = V E / (V lineaire et V continue), on note encore |V | = Sup
_
|V (x)| / |x| 1
_
la
norme subordonnee de V (V L(E)); soit I lidentite de E.
4.1 Soit V L(E) telle que |V | < 1, montrer que V est contractante.
4.2 Soit (V
n
)
nN
une suite de L(E) et soit V L(E) tels que: |V
n
| < 1 pour tout n N, |V | < 1,
|V
n
V |
n
0.
Soit y E alors, dapr`es 3, I + V
n
et I + V sont des isomorphismes de E; on peut donc denir (x
n
)
nN
=
((I+V
n
)
1
(y))
nN
et x = (I+V )
1
(y), montrer que: |x
n
x|
n
0 (on aura interet `a ecrire: V (x)V
n
(x
n
) =
(V (x) V
n
(x)) + (V
n
(x x
n
))).
Partie III : Une transformation de C([0, 1], R)
Soit : [0, 1] [0, 1] R R, on dira que est de type | si: est continue et, il existe r R
+
tel que
lon ait:
[(x, y, z) (x, y, z

) r[z z

[ pour tout (x, y, z, z

) [0, 1] [0, 1] R R.
1. Montrer que sil existe (, M) (
1
(R
3
, R) R, tel que: =
[0,1][0,1]R
et

z
(x, y, z)

M pour
tout (x, y, z) [0, 1] [0, 1] R, alors est de type |.
2. On suppose que est de type |.
2.1 Soit u (([0, 1], R), montrer que pour tout x [0, 1] :
_
y (x, y, u(y))
_
(([0, 1], R).
2.2 Montrer que lon peut denir T

: (([0, 1], R) R
[0,1]
par:
_
T

(u)
_
(x) =
_
1
0
(x, y, u(y)) dy.
Montrer que, pour tout u (([0, 1], R), T

(u) (([0, 1], R).

2.3 Montrer que lon a:
^

_
T

(u
1
) T

(u
2
)
_
r^

(u
1
u
2
)
pour tous (u
1
, u
2
) (([0, 1], R)
2
.
2.4 On denit, pour R, S
(,)
: (([0, 1], R) (([0, 1], R) par: S
(,)
(u) = u + T

(u). On suppose
r > 0, montrer que lon a: ]
1
r
,
1
r
[= S
(,)
est un homeomorphisme de ((([0, 1], R), ^

) sur lui meme.

3. Soit (([0, 1]
2
, R), soit : [0, 1] [0, 1] R R denie par: (x, y, z) = (x, y)z; on supposera
,= 0.
3.1 Montrer que est de type | et que si

_

1
^

()
,
1
^

()
_
,
alors on a: S
(,h)
est un isomorphisme de ((([0, 1], R), ^

) sur lui meme.

3.2 Soit (
n
) une suite de (([0, 1]
2
, R) telle que: ^

(
n
)
n
0. On note | |

la norme subordonnee,
associee `a ^

, denie sur L((([0, 1], R)). Si (

n
)
nN
est la suite de (([0, 1] [0, 1] R, R) denie par

n
(x, y, z) =
n
(x, y)z, montrer que: |T

n
T

|
n
0.
2
Partie IV :

Etude dune application
On consid`ere lequation integrale de Fredholm: (E) w(x) = x +
_
1
0
sin(xy)w(y) dy.
Une solution de (E) (sil en existe) est donc un element w de R
[0,1]
tel que, pour tout x [0, 1], on ait:
w(x) = x +
_
1
0
sin(xy)w(y) dy. On sinteresse `a la resolution de (E) dans (([0, 1], R).
1. Montrer, en utilisant III) que (E) poss`ede une solution unique w (([0, 1], R).
2. Soit (v
n
)
nN
la suite de (([0, 1]
2
, R) denie par: v
n
(x, y) =
n

i=1
(1)
i+1
(2i1)!
(xy)
2i1
. Pour n N

on denit
lequation integrale (E
n
) par: w
n
(x) = x +
_
1
0
v
n
(x, y)w
n
(y) dy.
2.1 Montrer que (E
1
) poss`ede une solution unique w
1
(([0, 1], R) et expliciter w
1
.
2.2 Montrer que, pour tout n 2, la resolution de (E
n
) se ram`ene `a celle dun syst`eme lineaire que lon
explicitera.
2.3 Montrer, en utilisant III.3), que si n 2 alors (E
n
) poss`ede une solution unique w
n
(([0, 1], R) (on
aura interet `a montrer que:
1
_

1
^

(v
n
)
,
1
^

(v
n
)
_
si n 2).
2.4 Montrer que ^

(w
n
w)
n
0.
3