Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Cours 4: Existence de solution Condition n´ ecessaire, condition suffisante
Algorithmes
Joseph Gergaud
3 janvier 2006
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
1 D´ eriv´ ee seconde et convexit´ e
2 Existence de solution
Probl` eme avec contraintes Probl` eme sans contraintes
3 Condition n´ ecessaire, condition suffisante Condition n´ ecessaire
Probl` eme convexe
4 Algorithmes
algorithme de Newton
Probl` eme de datation du Carbone 14
Algorithme de Gauss-Newton
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
D´ eriv´ ee seconde et convexit´ e: th´ eor` eme
D´ efinition (Forme quadratique d´ efinie positive)
La forme quadratique q(x) = (Ax /x) est semi-d´ efinie positive si et seulement si:
∀x ∈ R n q(x) ≥ 0
La forme quadratique q(x) = (Ax /x) est d´ efinie positive si et seulement si elle est semi-d´ efinie positive et:
∀x ∈ R n x 6= ~ 0 ⇒ q (x) > 0 Th´ eor` eme
La forme quadratique q(x) = (Ax /x), o` u A est sym´ etrique est
semi-positive (resp. d´ efinie positive), si et seulement si toutes ses
valeurs propres sont positives ou nulles (resp. strictement positive).
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
D´ eriv´ ee seconde et convexit´ e: exemple
Th´ eor` eme
Soit f une fonctionnelle deux fois d´ erivable sur R n . f est convexe si et seulement si ∇ 2 f (x) est semi-d´ efinie positive pour tout x . Exemple
Prenons le cas du probl` eme aux moindres carr´ ees lin´ eaire. Alors
∇ 2 f (β) = t XX . Posons A = t XX . A est alors sym´ etrique. La forme quadratique q(β) = (Aβ/β) est alors ´ egale a
q(β) = (X β/X β) = kX βk 2 ≥ 0.
Par suite f (β) = 1 2 ||y − X β|| 2 est convexe.
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Probl`eme avec contraintes Probl`eme sans contraintes
Existence: probl` eme avec contraintes
Th´ eor` eme
Soit (P ) un probl` eme d’optimisation avec contraintes C ⊂ R n . Si
la fonctionnelle f est continue et C est un compact (i.e. un ferm´ e
born´ e), alors le probl` eme (P ) admet une solution.
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Probl`eme avec contraintes Probl`eme sans contraintes
Exemples
(P)
Min f (x) x ∈ [0,1]
o` u f est la fonction suivante:
f : [0,1] −→ R 0 7−→ 1
x 7−→ x
0 0.2 0.4 0.6 0.8 10 0.2 0.4 0.6 0.8 1
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Probl`eme avec contraintes Probl`eme sans contraintes
Exemples
Exemple
(P)
Min f (x) = 1 x x ∈ [1,5]
f est continue;
[1,5] est un ferm´ e et born´ e, donc un compact de R.
Par suite ce probl` eme admet une solution.
Exemple
(P)
Min f (x) = 1 x x ∈]1,5]
Ce probl` eme a une solution, mais les hypoth` ese du th´ eor` eme ne
sont pas v´ erifi´ ees.
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Probl`eme avec contraintes Probl`eme sans contraintes
Exemples
Exemple
Consid´ erons le probl` eme suivant:
(P)
Min f (x) = 1 x x ∈ [1,5[
Ce probl` eme n’admet pas de solution, C = [1,5[ n’est pas ferm´ e.
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Probl`eme avec contraintes Probl`eme sans contraintes
Existence: probl` eme sans contraintes
Th´ eor` eme
Soit (P ) un probl` eme d’optimisation sans contraine. Si f , continue, poss` ede la propri´ et´ e suivante
f (x ) −→ +∞ quand kxk −→ +∞ (1)
Alors le probl` eme admet une solution
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Condition n´ecessaire Probl`eme convexe
Minimum local
D´ efinition (Optimum global, optimum local)
Soit (P ) un probl` eme d’optimisation sans contraintes.
1
x ∗ est un minimum global ⇐⇒ x ∗ est la solution de (P )
2
x ∗ est un minimum local ⇐⇒ il existe ε > 0 tel que x ∗ est la solution de (P 0 ) o` u
(P 0 )
Min f (x)
kx − x ∗ k < ε
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Condition n´ecessaire Probl`eme convexe
Minimum local
Dans le cas o` u n = 1 kx − x ∗ k devient |x − x ∗ | et par suite nous avons
kx − x ∗ k < ε ⇐⇒ |x − x ∗ | < ε ⇐⇒ x ∗ − ε < x < x ∗ + ε .
x2−eps x2 x2+eps x1
−6
−5
−4
−3
−2
−1 0
Fig. : x
2est un minimum local, x
1est un minimum global
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Condition n´ecessaire Probl`eme convexe
Remarques
Remarque
On dit que x ∗ est un minimum alors que c’est f (x ∗ ) qui est un minimum. Il s’agit d’un abus de langage que nous emploierons syst´ ematiquement.
Un probl` eme de maximisation se ram` ene tr` es facilement ` a un probl` eme de minimisation:
Max f (x ) ⇐⇒ Min(−f (x))
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Condition n´ecessaire Probl`eme convexe
Condition n´ ecessaire du 1er ordre
Th´ eor` eme (Condition n´ ecessaire du premier ordre)
Soit f : IR n −→ IR d´ erivable. Si x est est un minimum local du ¯ probl` eme d’optimisation suivant:
(P )
Minf (x) x ∈ R n alors x v´ ¯ erifie l’´ equation d’Euler f 0 (x) = 0.
Remarque
f 0 (x) = 0 dans le th´ eor` eme pr´ ec´ edent est un syst` eme d’´ equations ` a
n inconnues et ` a n ´ equations.
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Condition n´ecessaire Probl`eme convexe
Condition du deuxi` eme ordre
Th´ eor` eme (Condition n´ ecessaire du deuxi` eme ordre)
On suppose f deux fois d´ erivables en ¯ x . Si x est un minimum local ¯ alors f 0 (¯ x) = 0 et f 00 (¯ x) est semi-d´ efinie positive.
Th´ eor` eme (Condition suffisante du deuxi` eme ordre)
Si f 0 (¯ x) = 0 et si f 00 (¯ x) est d´ efinie positive alors ¯ x est un minimum
local.
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Condition n´ecessaire Probl`eme convexe
Probl` eme convexe
On rappelle qu’un probl` eme d’optimisation sans contraintes est convexe si et seulement si la fonctionnelle f est convexe.
Th´ eor` eme
Soit (P ) un probl` eme d’optimisation convexe. x ∗ est un minimum global si et seulement si x ∗ est un minimum local.
Th´ eor` eme
Soit (P ) un probl` eme d’optimisation convexe o` u f est d´ erivable en x ∗ . x ∗ est un minimum global si et seulement si
∇f (x ∗ ) = 0
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
Condition n´ecessaire Probl`eme convexe
Probl` eme aux moindres carr´ es lin´ eaires
Consid´ erons le probl` eme aux moindres carr´ es lin´ eaires (P )
Min f (β) = 1 2 ||y − X β|| 2 β ∈ R p
Nous avons
∇f (β) = t XX β − t Xy et ∇ 2 f (β) = t XX
Par suite f est convexe (∇ 2 f (β) est semi-d´ efinie positive pour tout β). Donc r´ esoudre (P ) est ´ equivalent ` a r´ esoudre le syst` eme lin´ eaire
t t
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
Newton
−1 −0.5 0 0.5 1 1.5 2
−1 0 1 2 3 4 0 2 4 6 8 10 12 14
x1 x2
f(x)
−1 −0.5 0 0.5 1 1.5 2
−1
−0.5 0 0.5 1 1.5 2 2.5 3 3.5 4
x1 x2
Fig. : f (x ) = 0.5((x
12− x
2)
2+ (1 − x
1)
2)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
Algorithme de Newton
−1 −0.5 0 0.5 1 1.5 2
−1
−0.5 0 0.5 1 1.5 2 2.5 3 3.5 4
x1 x2
o point de départ o
−(∇ 2f(x0))−1∇ f(x0)
o
o o
o oo
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
Donn´ ees et mod` ele
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
Mod` ele
A(t) = A 0 e −λt
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
Fonction ` a minimiser
8 10 12 14 16 18 20
0 1 2 3 4
x 10−4 0 50 100 150 200 250 300
A0 λ
f(A0,λ
Min f (β) = 1 ||r (β)|| 2 = 1 P n
(A − A e −λt ) 2
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
It´ eration 1
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
9 10 11 12 13 14 15 16 17 18 19 20
0 1 2 x 10−4
A0
λ
o point de départ
Fig. : Algorithme de Newton pour le carbone 14 β
0= (10,0.0001)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
It´ eration 2
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
9 10 11 12 13 14 15 16 17 18 19 20
0 1 2 x 10−4
A0
λ
o point de départ
o
Fig. : Algorithme de Newton pour le carbone 14 β
0= (10,0.0001)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
It´ eration 3
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
9 10 11 12 13 14 15 16 17 18 19 20
0 1 2 x 10−4
A0
λ
o point de départ
o
o
Fig. : Algorithme de Newton pour le carbone 14 β
0= (10,0.0001)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
It´ eration 4
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
9 10 11 12 13 14 15 16 17 18 19 20
0 1 2 x 10−4
A0
λ
o point de départ
o o o
Fig. : Algorithme de Newton pour le carbone 14 β
0= (10,0.0001)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
It´ erations
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
Fig. : Algorithme de Newton pour le carbone 14 β
0= (10,0.0005)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
It´ eration 1
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
9 10 11 12 13 14 15 16 17 18 19 20
0 1 2
x 10−4
A0
λ
o point de départ o
Fig. : Algorithme de Gauss-Newton pour le carbone 14 β
0= (10,0.0001)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
It´ eration 2
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
9 10 11 12 13 14 15 16 17 18 19 20
0 1 2
x 10−4
A0
λ
o point de départ oo
Fig. : Algorithme de Gauss-Newton pour le carbone 14 β
0= (10,0.0001)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
It´ eration 3
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
9 10 11 12 13 14 15 16 17 18 19 20
0 1 2
x 10−4
A0
λ
o point de départ ooo
Fig. : Algorithme de Gauss-Newton pour le carbone 14 β
0= (10,0.0001)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
It´ eration 4
0 1000 2000 3000 4000 5000 6000 7000
0 2 4 6 8 10 12 14 16
9 10 11 12 13 14 15 16 17 18 19 20
0 1 2
x 10−4
A0
λ
o point de départ oooo
Fig. : Algorithme de Gauss-Newton pour le carbone 14 β
0= (10,0.0001)
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
Mod` ele ` a compartiments
Sang y 1 (t) Organe y 2 (t )
-
?
k 1
k 3
k 2
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
Donn´ ees
Les concentrations dans le sang sont mesur´ ees ` a diff´ erents instants:
t i y i1 t i y i1
0.25 215.6 3.00 101.2
0.50 189.2 4.00 88.0
0.75 176.0 6.00 61.6
1.00 162.8 12.00 22.0
1.50 138.6 24.00 4.4
2.00 121.0 48.00 0.0
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
Mod` ele Math´ ematique
Le syst` eme d’´ equations diff´ erentielles d´ ecrivant le mod` ele est le suivant:
(EDO)
dy 1
dt = ˙ y 1 (t) = −(k 1 + k 2 )y 1 (t) + k 3 y 2 (t ) dy 2
dt = ˙ y 2 (t) = k 1 y 1 (t) − k 3 y 2 (t) y 1 (0) = c 0
y 2 (0) = 0
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
Probl` eme aux moindres carr´ ees
0 5 10 15 20 25 30 35 40 45 50
0 50 100 150 200 250
t y1(t)
← r1
← r2
← r3
← r4
← r← r← r56← r78← r9
← r10 ← r11 ← r12
0 5 10 15 20 25 30 35 40 45 50
0 20 40 60 80
t y2(t)
Fig. : Donn´ ees, courbe pour β = (0.5,0.55,0.5,240) et r´ esidus
(P )
Min f (β) = 1 2 P n
i=1 (y i1 − y 1 (t i ; β )) 2 = 1 2 ||r (β)|| 2
β = t (c 0 ,k 1 ,k 2 ,k 3 ) ∈ R 4
Plan D´eriv´ee seconde et convexit´e Existence de solution Condition n´ecessaire, condition suffisante Algorithmes
algorithme de Newton
Probl`eme de datation du Carbone 14 Algorithme de Gauss-Newton Mod`ele de Kaplan
Solution
0 5 10 15 20 25 30 35 40 45 50
0 50 100 150 200 250
t y1(t)
← r1
← r2
← r← r34
← r5
← r← r6← r78
← r9
← r10 ← r11 ← r12
0 5 10 15 20 25 30 35 40 45 50
0 20 40 60 80
t y2(t)