Professional Documents
Culture Documents
MP005
PREUVE SPCIFIQUE-FILIRE
MP
MATHMATIQUES
DURE : 4 heures
Les calculatrices programmables et alphanumriques sont autorises, sous rserve des conditions dfinies duns la circulaire n o 99-018 du 01.02.99.
Le problme propos a pour but la dmonstration dun thorme relatif aux contractions dun espace de Banach et ltude, grce ce thorme, dune quation fonctionnelle. Si X et Y sont des ensembles, Y dsigne lensemble des applications de X dans Y. Si X est un ensemble non vide, N w dsigne la norme de la convergence uniforme sur lespace vectoriel des applications bornes de X dans W :
(f ) = sup(
{If
(x)l: x E
X}) .
),,,
une suite de Cauchy, pour Nw, de C([O,l], R ) . converge. Soit f la limite simple de la suite
~~
LE
) -+
Il++-
O.
4. Soit
(U,~)
II
5. Soit ( v , ~I l)
Fd
V , ~ ( X )= I,eidt
pour tout
XE
[0,1].
Montrer que ( v , ~ ) , ~converge ~ uniformment sur [OJ] vers un Clment v de C([O,l],R). Tournez la page S.V.P.
J. 0987
1)
vrifiant : il existe a E [O,( tel que ((T(x) - T ( y ) l l I a ( ( x- y(( pour tout (x, y ) E A* (on dit que Test contractante ou encore que Test une contraction).
IZE N
par : a0 = ( 1 ,
a,,+] =T(aIl).
dduire que si ( n ,p ) E WX W y on a :
~ 1 ~ 1 1 En .
2.2 2.3
Montrer que ( a n ) M E est convergente et que sa limite est lment de A. Montrer que T possde un unique point fixe qui est la limite de (a,,)nEN. On tablit ainsi le thorme du point fixe de Banach << Toute contraction T dun ferm non vide A dun espace de Banach possde un point fixe unique, de plus si a E A , la suite = T ( a I l ), converge vers ce point fixe D. (a17)IlE dfinie par au = a ,
dfinie par : U ( x )= x + T ( x ) .
Montrer que U est une bijection continue de E sur E. Montrer que, pour tout (x,y ) E E on a : 1IU-l (x)- U- (y)ll< (1- a)-lIIx- y 1 1 (U est donc un homomorphisme de E sur E ) .
4. Soit S(E ) = {V
MI 5 1))
la norme subordonne de V (V
nC( E ) ) ; soit Z
lidentit de E.
4.1 4.2
Soit V
nC( E )
et soit V
y1
E W,
Soit y
donc dfinir
et
Ri
x = (1 + V ) - ' ( y ) , montrer
que :
- X,
)) 1.
Icp(x,y , z>- cp(x, y , zt)l 5 r ~ z z ' ~ pour tout ( x , y , z , z t ) E [0,1]x [OJ] x R x R. 1. Montrer que s'il existe
(Y, M ) E Cl (R3,R)xR,
tel
que :
et cp = YI ~ o , l ~ x ~ o , l ~ x
l$(x,y,z)l5
a.
a.
2.2
C([O,l], W).
2.4
(q.4
:C([O,l].R)
On suppose r > O , montrer que l'on a : h E de (C([O,l],R), Mw) sur lui mme.
][::
- -,-
+ S ( q , h ) est un homomorphisme
3. Soit p E C([O,l]*,R), soit cp : [OJ] x [OJ] x W + R dfinie par : cp(x, y , z ) = p(x,y ) z ; on supposera p # O .
3.1
et que si h
1- 1/-,/Vm
3.2
Soit (p,l),tM une suite de C([O,l]*,R), telle que : N w ( p n -p) n++ + 0 . On note la norme subordonne, associe JI<, dfinie sur . = f ( c ( [ 0 7 1 ] ,
11
W ) ) . s i (Vn),E
est la
montrer que
JO
sin(xy) w(y)dy .
x E [O,l], on
(E> (sil en existe) est donc un lment w de R. tel que, pour tout
C([O,l], R ) .
2. Soit, (v,
Pour
y1
(- l)i+l
2.1 2.2
Montrer que ( E ,) possde une solution unique w1E C([O,l], W) et expliciter w1 . Montrer que, pour tout y1 2 2 , la rsolution de ( E , l )se ramne celle dun systme linaire que lon explicitera. Montrer, en utilisant 111.3) que, si
w,,
E
y1
2.3
?
T
c([o,I], RI.(on
1- 1/xW ( v ,1, ~I / N ~ ( v , )[
Fin de ICnoncC
.
2
si IZ 2 2) .
2.4
O.
n++