• Aucun résultat trouvé

La calculatrice et les documents de cours ne sont pas autoris´ es. Toutes les r´ eponses doivent ˆ

N/A
N/A
Protected

Academic year: 2022

Partager "La calculatrice et les documents de cours ne sont pas autoris´ es. Toutes les r´ eponses doivent ˆ"

Copied!
2
0
0

Texte intégral

(1)

Universit´ e Paris Dauphine, M1, Ann´ ee 2016-2017

Partiel d’Analyse Convexe approfondie

Instructions :

La calculatrice et les documents de cours ne sont pas autoris´ es. Toutes les r´ eponses doivent ˆ

etre soigneusement justifi´ ees ; la correction r´ ecompensera la rigueur, pr´ ecision et clart´ e des d´ emonstrations.

Question de cours.

1. Donner la d´ efinition ´ epigraphique d’une fonction convexe, d´ efinir ´ egalement son domaine.

2. Montrer que si f est convexe alors a) son domaine est convexe et

b) f (tx + (1 − t)y) ≤ tf (x) + (1 − t)f (y) pour tout t ∈ [0, 1] et (x, y) ∈ dom(f )

2

.

Exercice 1. Dans tout l’exercice E = R

n

muni de la norme euclidienne. Soit A une matrice sym´ etrique r´ eelle de taille n, et b et c deux vecteurs de E. On d´ efinit f(x)=hAx|xi + hb|xi + c.

1. Soit x dans E ; montrer que f est Fr´ echet-diff´ erentiable en x et calculer u tel que D

x

f (v) = hu|vi.

2. En d´ eduire que f est convexe si et seulement si A est positive, c’est ` a dire si hAx|xi ≥ 0 pour tout x dans E.

3. Dans cette question A est suppos´ ee d´ efinie positive : hAx|xi > 0 pour tout x non nul.

Montrer qu’il existe r > 0 tel que hAx|xi ≥ r sur la boule unit´ e. En d´ eduire que f (x) → +∞

quand kxk → +∞, puis que f atteint son minimum sur E.

4. Toujours sous l’hypoth` ese A d´ efinie positive, montrer que f (

x+y2

) <

f(x)+f2 (y)

pour tout x 6= y (c’est ` a dire que f est strictement convexe) et en d´ eduire que le minimum de f sur E est atteint en un unique point.

Exercice 2. Le but de l’exercice est de d´ emontrer le th´ eor` eme de Krein-Millman : tout convexe compact non vide K de dimension finie est l’enveloppe convexe de ses points extr´ emaux. On rappelle que x ∈ K est extr´ emal s’il n’existe pas de couple (y, z) ∈ K

2

et de r´ eel t ∈]0, 1[ tels que y 6= z et x = ty + (1 − t)z.

Pour tout convexe ferm´ e C et c ∈ C on dit que l’hyperplan H = {x, hv|xi = r} est un hyperplan d’appui en c ` a C dans la direction v si hv|ci = r, hv|c

0

i ≤ r pour tout c

0

∈ C, et hv|c

0

i < r pour au moins un c

0

∈ C. Soit donc K un convexe compact non vide et A l’ensemble de ses points extr´ emaux.

1. Pr´ eliminaires : les questions suivantes sont ind´ ependantes les unes des autres et serviront dans la suite.

(a) Montrer que conv(A) ⊂ K.

1

(2)

(b) On rappelle qu’un r´ esultat du cours indique que si C est convexe ferm´ e d’int´ erieur non vide et c ∈ C \ int(C), alors C admet un hyperplan d’appui en c. Expliquer bri` evement comment d´ eduire de ce r´ esultat, sans supposer K d’int´ erieur non vide, que K admet un hyperplan d’appui en tout c ∈ K \ ri(K).

(c) Soit H un hyperplan d’appui ` a K, montrer que dim(Aff(K ∩ H)) < dim(Aff(K )).

(d) Soit H un hyperplan d’appui ` a K. Montrer que K ∩ H est un convexe ferm´ e non vide et que tout point extrˆ eme de K ∩ H est un point extrˆ eme de K .

2. On cherche dans cette partie ` a montrer que K ⊂ conv(A) en raisonnant par r´ ecurrence sur n = dim(Aff(K)).

(a) R´ esoudre le cas n = 0. On suppose dans la suite que n > 0 est fix´ e et le r´ esultat connu pour m < n.

(b) Soit x ∈ K \ ri(K). En utilisant l’hypoth` ese de r´ ecurrence montrer que x ∈ conv(A).

(c) A partir de maintenant on suppose x ∈ ri(K). Montrer qu’il existe v 6= 0 tel que x + v et x − v sont dans K.

(d) En d´ eduire l’existence de y = x + tv et z = x − t

0

v avec t, t

0

> 0 tels que y et z soient dans K \ ri(K).

(e) Montrer que x ∈ conv(A).

3. Conclure.

Exercice 3. Soit E = R

n

et f

1

, · · · , f

m

des fonctions affines de E dans R . Pour tout i il existe donc a

i

∈ E et b

i

∈ R tels que f

i

(x) = ha

i

|xi + b

i

. Le but de l’exercice est de d´ emontrer le lemme de Farkas qui affirme qu’une et une seule des deux assertions suivantes est vraie :

(i) Le syst` eme d’in´ egalit´ es f

i

(x) ≥ 0 admet une solution dans E . (ii) Il existe c

1

, · · · , c

m

≥ 0 tels que c

1

f

1

+ · · · + c

m

f

m

≡ −1.

On d´ efinit C ⊂ R

m

l’ensemble {(f

1

(x), · · · , f

m

(x)), x ∈ E}, D = ( R

+

)

m

et b le vecteur (b

1

, · · · , b

m

). Pour tout 1 ≤ k ≤ m on notera e

k

le vecteur dont la k−i` eme coordonn´ ee est 1 et toutes les autres 0. On note enfin s le vecteur dont toutes les coordonn´ ees valent 0.

1. Montrer que si (i) est vraie, alors (ii) est fausse.

2. A partir de maintenant on suppose que (i) est fausse. Montrer que C et D sont convexes non vides, que D est ouvert, et qu’ils sont disjoints.

3. En d´ eduire l’existence d’un vecteur v ∈ R

m

tel que pour tout y dans C et z dans D on ait hv|yi < hv|zi.

4. Montrer que v

k

≥ 0 pour tout k, et que v

1

+ · · · + v

m

> 0. On pourra, pour tout k et pour tout M > 0, s’int´ eresser au vecteur M e

k

+

M1

s ∈ D.

5. Montrer que hv|yi ≤ 0 pour tout y ∈ C.

6. Montrer que si y ∈ C alors pour tout λ ∈ R on a ´ egalement λy + (1 − λ)b ∈ C. En d´ eduire qu’il existe une constante µ ≤ 0 telle que hv|yi = µ pour tout y ∈ C.

7. Conclure dans le cas µ < 0.

8. Plus difficile : conclure dans le cas µ = 0. On pourra raisonner par r´ ecurrence sur n.

2

Références

Documents relatifs

On pourra commencer par trouver une formule explicite pour a n en ´ ecrivant f comme un produit de Cauchy de deux s´ eries

Les seules questions possibles durant l’examen s’adressent au professeur responsable du cours et concernent d’´ eventuelles coquilles dans le sujet. Il n’y a pas d’exception, et

L’objectif de l’exercice est de caract´ eriser le point du plan minimisant la somme des distances aux trois points A, B , C, appel´ e point de Fermat du triangle ABC2. Montrer que

[r]

(b) Enoncer le Th´ eor` eme de Bolzano-Weierstrass et citer un r´ esultat du cours utili- sant ce th´ eor` eme dans sa d´ emonstration. (c) Rappeler la d´ efinition de base et

On s’int´ eresse souvent ` a la cat´ egorie Add(A; K ) des foncteurs additifs de A vers les K -espaces vectoriels, notamment en th´ eorie des repr´ esentations, depuis les

Notons qu’` a ce jour, on ne connaˆıt pas de nombres de Fermat premiers en dehors des

[r]