CCP MP 1

Corrig propos par Pascale de Jonghe .

1 cours.
Soit
{ }
n
IR c b a , ,
tel que
c b
et
c a d a
.
( ) [ ]
2 2 2
2
/ 2
4
1
4
1
2
c a c a b a b a c a b a
c b
a + + +
+

b a
et
c a
colinaires et
c a d a
entranent
c b a
ou
2
c b
a
+

;
Do ,
b a
et
c a
colinaires et
c a d a
2
c b
a
+

;
Si
2
c b
a
+

on a
2
0
c b
a b a
+
>
sinon
c b a
;
Si
2
c b
a
+

daprs lingalit de Cauchy Schwarz et le cas dgalit on a :

( )
2
/ b a c a b a c a b a <
et donc :
b a
c b
a <
+

2
.
2Soit F un ferm non vide de
n
IR
et soit
n
IR x
.
Supposons que F est born :
F est un ferm ,born de
n
IR
donc compact ; lapplication
y x y
est continue de F dans
+
IR
,elle
est donc borne et elle atteint ses bornes :
F u
tel que
( ) ( ) y f u x
F y
inf
.
Concl :
F u

F y

y x u x

Cas gnral :
{ } F y y x :
est une partie non vide et minore de IR , elle a donc une borne infrieure
+
IR m
.
n
m x y m F y IN n
n n
1
+ <

Il existe alors une suite
( )
n
n
y
dlments de F telle que
m y x
n
n

+
lim
;
( )
n n
y
est une suite dlments de F . elle est contenue dans
( ) 1 , 0 + m B
compact de
n
IR
(ev dim finie) .
Donc
( )
n
n
y
a une valeur dadhrence
n
IR u
. F tant ferm
F u
. En utilisant la suite extraite de
( )
n n
y
qui converge vers u on obtient
m u x
.
Concl :
F u

F y

y x u x
3 Soit A un convexe ferm non vide de
n
IR
. Daprs I2 :
A y A u
y x u x
;
supposons lexistence dun autre lment
A v
tel que :
A y y x v x
;
On a
u x v x u x
donc
v x u x
;
Daprs I1 , si
v u
alors
u x
v u
x <
+

2
. Or
A
v u

+
2
( A est convexe) . Il y a contradiction
avec la dfinition de u . Donc
v u
; et par suite :
y x u x A y A u IR x
n
!
4 Soit
n
IR x
et
A
tel que
( ) 0 / y x A y
;
Soit
A y

( )
2 2 2 2 2 2
/ 2 + + x y x y y x x y x
Donc ,
A
et
A y
y x x
; Par suite ,
( ) x P
5 Supposons quil existe
A y
tel que
( ) ( ) ( ) 0 / > x P y x P x
;
Rmq :
( ) x P y
sinon le produit scalaire prcdent serait nul .
Soit
] [ 1 , 0 t

( ) ( ) ( ) ( ) ( ) ( ) ( ) t x P y t x P y x P x t x P y t x P x t S 2 / 2
2
2
2
2
2
<
Le dernier terme de lingalit est un polynme de degr 2 en t dont lune des racines est 0 et lautre est
strictement positive ; donc :
] [ ( ) ( )
2
1 , 0 x P x t S t <
6 Supposons que
( ) x P u
.
Par dfinition
A u
. Sil existe
A y
tel que
( ) 0 / > u y u x
alors daprs I5 il existe
] [ 1 , 0 t
tel que
( ) ( )
2
x P x t S <
. On pose
( ) ( ) A ty u t u y t u z + + 1
car A est convexe . Et alors
2 2
u x z x <
contredit
( ) x P u
.
Donc
( ) 0 / u y u x A y
.
Supposons que :
A u
et
( ) 0 / u y u x A y
. Daprs I4 ,
( ) x P u
.
Concl :
A u
et
( ) 0 / u y u x A y

( ) x P u
.
7Soit
{ }
n
IR y x ,
. Daprs I6 on a :
( ) ( ) ( ) ( ) ( ) 0 / x P y P x P x A x P
et
( ) ( ) ( ) ( ) ( ) 0 / y P x P y P y A y P
. On ajoute les deux ingalits :
( ) ( ) ( ) ( ) ( ) 0 / + x P y P y P y x P x
.
Concl :
( ) ( ) ( ) ( ) ( )
2
/ y P x P x P y P y x
Daprs lingalit de Cauchy Schwarz , lingalit prcdente donne :
( ) ( ) y x y P x P
PR tt
( ) y x,
. Donc P est lipchitzienne donc continue sur
n
IR
.
Par dfinition
( ) A IR P
n

.
( ) ( ) 0 0 / , x y x x IR IR y x
n n
donc
( ) x x P A x
Et
( )
n
IR P A
.
Donc
( ) A IR P
n

8Soit
A x
, supposons que
( )
o
A x P
:
0 > r

( ) ( ) A r x P B
o
,
.
A x
donc
( ) x P x
donc
( ) 0 > x P x
on pose
( ) ( ) x P x r 2 , min
2
1

et
( )
( )
( ) ( ) x P x
x P x
x P y

.
( ) r x P y <
donc
( ) ( ) A r x P B y
o
,
et
( )
( ) x P x
x P x
y x

<

1
( ) x P x <
:
impossible contredit la dfinition de
( ) x P
.
Donc
( )
o
A x P A x
_________________________________________________________________________________________
_
9Soit
B x

( ) 0 x f x
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 1 / 2 1
2 2
2
2
+ + + x x f x x x x f x x x f x x x S x f x x x
On obtient une quation du second degr dinconnue
( ) x
.
( ) ( ) ( ) ( ) 0 1 /
2 2
2
x x f x x f x x
car
0 1
2
x
.
Les deux racines sont :
( ) ( )
( )
2
/
x f x
x f x x

t
. Leur produit est ngatif donc elles sont de signe oppos ;
( ) ( ) ( ) ( ) x f x x x f x x / /
2
donc
( ) ( )
( )
0
/
2

+
x f x
x f x x
.
On remarque que
( ) ( ) ( ) ( ) ( ) x f x x x f x x x f x x
2 2
/ /
Une des racines est nulle si et seulement si
0 1
2
x
, lautre racine est alors
( ) ( ) ( ) ( )
( )
( ) ( )
( )
0
/
2
/ /
2 2

t
x f x
x f x x
x f x
x f x x x f x x
car
( ) ( ) ( ) 0 1 / x f x f x x
(en effet
( ) B B f
) ;
Par suite , pour tout
B x
il existe un unique rel positif
( )
( ) ( ) ( ) ( ) ( ) ( )
( )
2
2 2
2
/ 1 /
x f x
x f x x x f x x x f x x
x

+

vrifiant la proprit demande
On dfinit ainsi une application

de B dans
+
IR
. Elle est obtenue partir dapplications de classe
2
C
donc

est de classe
2
C
sur B.
Daprs le calcul dj fait
( ) 0 x S x
10
( ) S x B x
par dfinition . Donc
( ) ( ) 1
2
2
2
1
+ x x B x
.

et

sont de classe
2
C
sur B car
f
et

le sont . On drive par rapport

1
x
et par rapport
2
x
:

( )
( )
( )
( )
( )
( )
( )
( )
( )

'

0
0
1
2
2
2
1
2
1
2
1
2
1
1
1
x
x
x
x
x
x
x
x
x
x
x
x

Soit g lendomorphisme de
2
IR
canoniquement associ la matrice propose que nous noterons
x
A
. On
munit
2
IR
de sa structure euclidienne canonique .
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
o o o
x vect g g x vect g g x

Im Im Im ker 1

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 2 1 1 1 0 < g rg A rg x vect dim x vect dim x S x
x
o

Donc
x
A
est singulire
Rmq : singulire nest plus utilise dans le programme .
11a On dveloppe le dterminant et on pose :
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) x x x x x x x x B x
1 , 2 2 , 1 2 , 2 1 , 1 1 , 1 2 , 2
+

est
2
C
sur B donc ses drives partielles existent et sont
1
C
sur B donc

et

1
C
sur B ;
{ } ( ) ( )
i i i
x x x i B x 2 , 1
donc
( ) { } ( ) ( )
j i
i
j
j i
x
x
x B x j i
, ,
2
2 , 1 ,

.
Do
B x

( ) ( ) 0 det 1 ,
x
A x
car
x
A
est singulire.
11b Pour tout
[ ] 1 , 0 t ( ) t x x ,
est continue sur B car

et

1
C
sur B et B compact donc
( ) t J
existe .
( ) ( ) B aire J 0
et
( ) 0 1 J
.
11c
( ) ( ) ( )

+
B B B
dx dx x dx dx x dx dx x
2 1 2 , 2 2 1 1 , 1 2 1

. Les applications tant continues sur B on
peut utiliser le thorme de Fubini :
( ) ( ) ( ) ( ) [ ]
1
1
1
2
1 1 2
2
1 1 2 1
1
1
2
1
1
2 1
2
2
2 1 2 , 2
1 , 1 , ,
2
1
2
1
dx x x x x dx dx x x
x
dx dx x
x
x
B

1
]
1

Or
( ) ( ) ( ) { } ( ) 0 2 , 1 0 0 1 ,
2
1 1
t x i x x S x x x
i

. On en dduit que
( ) 0
2 1 2 , 2

B
dx dx x
. Et de manire analogue
( ) 0
2 1 1 , 1

B
dx dx x
.
Donc
( )

B
dx dx x 0
2 1

11d
2
2
1
1
x
g
x
g

est continue sur B car g est

2
C
sur B . On peut appliquer le thorme de Fubini .
( )
( )
( )
2
1
1
1
1
1
2
2
1
1
1
2
2
2
2
dx dx x
x
g
x x
g
g I
x
x

1
]
1

.Effectuons une intgration par partie dans la1 intgrale

[ ] 1 , 1
2
x
fix :
( ) ( )
2 1
2
2
1
, x x
x
g
x u

( ) ( )
2 1
2 1
2
2
1
, x x
x x
g
x u

( ) ( )
2 1 1 1
x x g x v

( ) ( )
2 1
1
1
1
, x x
x
g
x v

u et v sont
1
C
sur
[ ]
2
2
2
2
1 , 1 x x

( ) ( ) ( ) ( ) ( )
2
1
1
1
1
1 2 1
2 1
2
2 1 1 2
1
1
1
1
2 1 2 1
2
2
1
2
2
2
2
2
2
2
2
, , , , dx dx x x
x x
g
x x g dx x x g x x
x
g
g I
x
x
x
x

1
]
1

1
]
1

Donc
( ) ( ) ( ) ( ) ( ) ( ) ( )
2 1
2 1
2
2
1
1
1
2
1
2
2
2 2
1
2
2
2
1
, 1 , 1 , 1 , 1 dx dx x
x x
g
x g ds s s g s s
x
g
s s g s s
x
g
g I

,
_

En intgrant dabord en
2
x
puis en
1
x
on obtient la formule donne pour
( ) g I
2
.
( ) ( ) ( ) ( ) ( ) ( )


B
B
dx dx x x x x dx dx x
2 1 2 , 1 1 , 2 2 , 2 1 , 1 2 1

est de classe
2
C
sur B donc on peut utiliser le calcul prcdent et le thorme de Schwarz :
1 2
2
2
2 1
2
2
x x x x

; On a alors
( ) ( ) ( )
2 1 2 1
I I dx dx x
B

( ) ( ) ( ) ( )

,
_

ds s s
x
s s s s
x
s s
1
1
2
2
2 2
1
2
2
2 2
1
, 1 , 1 , 1 , 1

( ) ( ) ( ) ( )ds s s
x
s s s s
x
s s

,
_

1
1
2
1
2 2
1
2
1
2 2
1
1 , 1 , 1 , 1 ,

Or
( ) ( ) ( ) { } ( ) 0 2 , 1 0 0 1 ,
2
t x i x x S s s x
i

Et
( ) ( ) ( ) { } ( ) 0 2 , 1 0 0 , 1
2
t x i x x S s s x
i

Donc
( ) 0
2 1

B
dx dx x
[ ] 1 , 0 t

( ) ( ) ( ) ( )

+ +
B B B B
J dx dx dx dx x t dx dx x t dx dx t J 0
2 1 2 1
2
2 1 2 1
.
Donc J est constante . Or
( ) 0 1 J
:Impossible . Par suite , lhypothse
( ) x x f B x
est
fausse.
Conclusion : toute application de classe
2
C
de B dans B a au moins un point fixe .
12Soit
( )
2 1
, g g
les fonctions coordonnes de g : chacune est continue sur B car g lest . F est un ferm
born non vide de
2
IR
donc daprs la gnralisation du thorme de Weierstrass , on a :
{ }
( )
( ) ( )
( )
( ) { }
2
: sup 0 2 , 1
2 2

> F t t g t g que telle IR IR C g i
i i i
Soit
0 >
on pose
( ) ( ) ( )
( ) ( )
2 2 2
2 1
, , IR IR C g g g

.
( )
( ) ( )
( )
( ) ( ) ( )
2
2
1
2
2
2
2

,
_

i
i i
x g x g x g x g F x
donc
( )
( ) ( )
( )
( ) { }

> F x x g x g IR IR C g : sup , 0
2 2 2
13Soit
B x
:
( ) 1 x f
donc
( )
( )
( )
( )
( )
( ) ( ) ( )
1
1
1
1 1

+
+

+
+

x f x f x f x f
x h
donc
( )
( ) B x h

.
Do
( )
( ) B B h

Soit
B x

( )
( ) ( )
( )
( )
( )
( )
( ) ( ) ( )

2 1
1 1 1 1
1
1

+
+
+

+
+
+

+
x f x f x f x f
x f
x f x h
Donc
( )
( ) ( ) { }

2 : sup B x x f x h
14 Soit f une application continue de B dans B et

IN n
. Daprs 13 il existe une application
n
h
de classe
2
C
de B dans B vrifiant
( ) ( ) { }
n
B x x f x h
n
2
: sup
. Daprs le thorme de Brouwer particulier
n
h
a au moins un point fixe
n
x
et on a
( )
n
x f x
n n
2

( ) 1
.
( )
n n
x
est une suite dlments de B ferm born de
2
IR
donc compact . Donc
( )
n n
x
a une valeur
dadhrence
B x
: Il existe une suite extraite
( )
( )
n
n
x

convergeant vers x et f tant continue sur B on a

( )
( ) ( ) x f x f
n
n

+

lim
.
( ) 1
entrane

IN n
( ) ( )
( )
( ) n
x f x
n n

2

. Par passage la limite on
obtient
( ) 0 x x f
. Donc
( ) x x f
.
Do : si f est une application continue de B dans B , f a au moins un point fixe dans
B .
15
( ) r B rx B x , 0
. Donc :
( ) ( ) ( ) ( )
2 2 2
, , 0 , , IR B C g r B r B C f
.
( ) ( ) 1
1 1
r
r
rx f
r
x g B x
. Donc
( ) B B g
.
Daprs 14 , g au moins un point fixe
B x
.
( ) ( ) ( ) rx rx f x rx f
r
x x g
1
; De plus
( ) r B rx , 0
.
Do : si f est une application continue de
( ) r B , 0
dans luimme , f a au moins un point fixe dans
( ) r B , 0
.
16
( ) A x f A A x A A A f
o o

,
_

.
16a A born donc
( )
1 1
, 0 0 r B A r >
. A ferm born de
2
IR
donc compact et f continue sur A donc
( ) A f
est born donc
( ) ( )
2 2
, 0 0 r B A f r >
.
Donc , il existe
( ) 0 , max
2 1
> r r r
tel que
( ) r B A , 0
et
( ) ( ) r B A f , 0
.
Ce qui donne
( ) ( ) r B A f A , 0
16b Soit
( ) ( ) A x P r B x , 0
donc
( ) ( ) ( ) ( ) ( ) r B A f x P f x h , 0
. Donc
( ) ( ) ( ) r B r B h , 0 , 0
.
Daprs 7 , P est continue sur
2
IR
et
( ) A IR P
2
de plus f est continue sur A donc h est continue sur
( ) r B , 0
Donc daprs 15 , h a au moins un point fixe
( ) r B x , 0
:
( ) ( ) ( ) x x P f x x h
Supposons que
A x
, daprs 8 ,
( )
o
A x P
donc
( )
o
A A x P
donc
( ) ( ) A A A f x P f x
o

,
_

absurde Donc
A x
et
( ) ( ) ( ) x x P f x f
Concl : f a au moins un point fixe dans A
On a dmontr le thorme de Brouwer dans le cas gnral .
17
( ) ( ) ( )( ) S B f x f B x S B f 1

Supposons que f est continue sur B . f est continue sur B et on a
( )( ) B S B f
. Daprs 14 ,f a au
moins un point fixe
B x
. Et
( ) S x f x
donc
( ) x f x
ce qui entrane
0 x
impossible car
S x
.
Donc , f nest pas continue sur B.
18
( ) ( ) x f y B x B f y
;Donc g est dfinie et continue sur B .
Dautre part
( ) 1 x g B x
donc
( ) B S B g
.
Daprs 4 , g a au moins un point fixe
B x
. Et
( ) ( ) S B g x g x
donc
( ) x x f
.
( ) ( )x x y y x g x + 1
( ) ( ) 0 > x y x y x f y B f y
.
Par suite ,
( ) 1 1 1 > + + x y x x y y
.
Donc
( ) B y B f y
. Et par suite ,
( ) B f B
19
x
x
x
est continue sur
{} 0 B
valeurs dans S ,
x x 1
est continue sur
B
valeurs dans
[ ] 1 , 0
et h est continue sur
[ ] 1 , 0 S
donc f est continue sur
{} 0 B
.
( ) y y
x
x
h x
x
x
h x f
x x x x x x x x

,
_

,
_

0 , 0 0 , 0 0 , 0 0 , 0
lim 1 , lim 1 , lim lim
car
S
x
x

.
Donc f est continue en 0 .
Donc f est continue sur
B
[ ] ( ) ( ) S B f S S h 1 , 0
.
( ) ( ) x x h x f S x 0 ,
. Cela contredit le thorme de non rtractation 17 donc il ne peut pas exister
S y
tel que
( ) y x h S x 1 ,
. Comme h est valeurs dans S, on en dduit que :
( ) 1 , x h x
ne peut pas tre constante .
20a
( ) ( ) ( ) ( ) 0 , 0 , 0 x f y r B x r B f y
; f tant continue sur
2
IR
, on en dduit que
( ) r
g
est continue sur
( ) r B , 0
. De plus ,
( )
( ) ( ) ( ) ( ) r B r S r B g
r
, 0 , 0 , 0
. Daprs 14 ,
( ) r
g
a au moins un
point fixe
( ) r
u
.
( ) ( )
( )
( ) ( )
( )
( )
r u r S u u u g
r r r r r
, 0
( )
( )
( )
( )
( )
( )
( )
( )
( )
( ) r
r
r
r
r
r
u
r
u f y
y u f
u f y
u f y
r u

( )
( )
( )
( )
( )
( )
( )
( )
( )
2
2
/ r
r
u f y
u
r
u f y
u y u f
r
r
r
r r

Do
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
r r r r r
u f y r u y u u f r S u / / , 0
20b Par dfinition de f , on a
( )
2 2
IR IR f
. Supposons qu il existe
2
IR y
tel que
( )
2
IR f y
. Pour
tout
( ) ( ) r B f y r , 0 0 >
. Daprs 20a ,
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
r r r r r
u f y r u y u u f r S u / / , 0
Do
( )
( )
( )
( )
( )
( )
( )
( ) 0 / /
r r r r
u f y r u y u u f
; ce qui entrane
( )
( )
( )
( )
( )
y r u y u y u f y r
r r r
/
. Par suite
( )
( ) y u f y
r

.
On a alors
( )
( ) r S u r
r
, 0 0 >
tel que
( )
( ) y u f y
r

;
Et
( ) ( )
( ) +
+
r
r
r
u f r u lim
. Il y a une contradiction .
Donc
( )
2 2
IR f y IR y
Donc
( )
2 2
IR f IR