• Aucun résultat trouvé

((E, k.k) est un evn dans chaque exercice. Si E est un ensemble de Hilbert, on identifie E ` a son dual. Sauf pr´ ecision f est une fonction de E dans R ∪ {+∞}.

N/A
N/A
Protected

Academic year: 2022

Partager "((E, k.k) est un evn dans chaque exercice. Si E est un ensemble de Hilbert, on identifie E ` a son dual. Sauf pr´ ecision f est une fonction de E dans R ∪ {+∞}."

Copied!
1
0
0

Texte intégral

(1)

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

Analyse convexe

Feuille d’exercices 9 : KKT et dualit´ e de Fenchel-Rockafellar.

((E, k.k) est un evn dans chaque exercice. Si E est un ensemble de Hilbert, on identifie E ` a son dual. Sauf pr´ ecision f est une fonction de E dans R ∪ {+∞}.

1. KKT

Minimiser (x − 2) 2 + 2(y − 1) 2 sous les contraintes y ≤ x et x + 4y ≤ 3.

2. Soit E = R n , A une matrice carr´ ee de taille n, f et g deux fonctions convexes sur E. On suppose de plus g diff´ erentiable sur E . On s’int´ eresse au probl` eme

P = inf

x∈E f (Ax) + g(x).

et on suppose que P > −∞.

1. Montrer que P = D, o` u

D = sup

y∈E

−f (y) − g (−A T y).

2. On suppose que les deux probl` emes ont des solutions, respectivement ¯ x et ¯ y. Montrer que f (A x) + ¯ f (¯ y) ≥ hA¯ x|¯ yi et g(¯ x) + g (−A T y) ¯ ≥ − hA¯ x|¯ yi. En d´ eduire que ces in´ egalit´ es sont en fait des ´ egalit´ es.

3. Montrer que ∇g(¯ x) = −A T y. ¯

4. On suppose que g(x) = 1/2kx − x 0 k 2 2 . Donner ¯ x en fonction de ¯ y.

3. On se place dans le cadre de l’exercice pr´ ec´ edent, avec g(x) = 1/2kx − x 0 k 2 2 et f(x) = kyk 1 . Calculer f et g . En d´ eduire que

D = 1

2 kx 0 k 2 2 − min

y∈[−1,1]

n

1

2 kA T y − x 0 k 2 2 .

R´ esoudre explicitement les probl` emes primaux et duaux dans le cas n = 2 et A = Id (on pourra faire un dessin).

1

Références

Documents relatifs

Acla maJh~mat~ca.. I t will be apparent by inspection of the above formulm, and it becomes still more evident i n working systematically with the twelve func-

In this section we shall prove that each point x0Eo has a local base consisting o f compact sets which have the convolution property... In the next lemma we

This question leads to diffcult realization problems over Q: I f the answer is negative then there exists an extension K/Q with Galoisgroup GI (2, q) unramified over

[r]

La m´ ethode de Gauss est un algorithme qui permet de d´ ecomposer toute forme quadratique q ∈ Q( K n ) en com- binaison lin´ eaire de carr´ es... Enfin, en appliquant le Lemme 3.33,

Dans la suite nous appliquerons les r´ esultats qu’on a montr´ e, principalement le fait que E admet une base orthogonale pour q, pour ´ ecrire q sous une forme simple. Th´ eor`

L’exemple pr´ ec´ edent est en fait un cas plus simple que le cas g´ en´ eral qu’on a pr´ esent´ e, car on interdit en Caml aux variables d’apparaˆıtre plusieurs fois dans

* Si _C1=-1/4 et _C2=0 alors la solution correspondante tend vers 0 en +infini et en -infini (croissances comparées). En effet Sol_bornee semble admettre un minimum local