Slides Chap4
Slides Chap4
Slides Chap4
10 septembre 2024
Existence, cas avec contraintes 2
C’est une application immédiate du théorème qui dit que l’image d’un compact par
une application continue dans un espace séparé est un compact.
Existence, cas avec contraintes 3
Théorème 4.2.3
Soit (xk )k∈N une suite minimisante de points de C , c’est-à-dire une suite de point
de C telle que limk→+∞ f (xk ) = Infx ∈C f (x ) = µ < +∞. Montrons que cette suite est
bornée. Sinon il existe une sous-suite (xnk )N telle que ||xnk || tende vers +∞ lorsque nk
tend vers +∞ et donc, comme f est 0-coercive, limnk →+∞ f (xnk ) = +∞, ce qui est
impossible.
Par suite il existe un réel R > 0 tel que la suite (xk )k∈N soit contenue dans C ∩ Bf (0, R)
qui est un fermé borné de Rn ; c’est donc un compact dont on peut extraire une sous-
suite qui converge vers x ∗ . Mais f est continue, et donc f (x ∗ ) = µ et x ∗ est une
solution du problème d’optimisation.
Théorème 4.3.1
Supposons que l’ensemble des solutions ne soit pas vide. Soient x et y deux solutions
alors f (x ) = f (y ) car (f (x ) ≤ f (y ) et f (y ) ≤ f (x )). Par suite, pour tout α ∈]0, 1[,
nous avons
Théorème 4.3.2
Supposons qu’il existe deux solutions x1 et x2 . Pour α ∈]0, 1[, on pose xα = αx1 +
(1 − α)x2 , alors, puisque f est strictement convexe on a
Théorème 4.3.3
Soit x ∗ un minimum local de f sur C . Il existe donc η > 0 tel que pour tout
x ∈ C ∩ B(x ∗ , η), f (x ∗ ) ≤ f (x ). Supposons maintenant qu’il existe dans C un point y
tel que f (y ) < f (x ∗ ). Alors, puisque f est convexe, on a pour tout α ∈]0, 1[