Extremum local et global

API-I

Analyse 2

Session de printemps

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 1 / 18

Sommaire

1 Extremum local et global

2 Hessien

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 2 / 18

 Extremum local et global

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 3 / 18

Définition
Définition
Soient f : Rn −→ R et a ∈ Df . On dit que
i f admet un maximum local (resp. global) en a s’il existe V
voisinage de a tel que

f (x ) ≤ f (a), ∀ x ∈ V ∩ Df (resp. f (x ) ≤ f (a), ∀ x ∈ Df )

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 4 / 18

Définition
Définition
Soient f : Rn −→ R et a ∈ Df . On dit que
i f admet un maximum local (resp. global) en a s’il existe V
voisinage de a tel que

f (x ) ≤ f (a), ∀ x ∈ V ∩ Df (resp. f (x ) ≤ f (a), ∀ x ∈ Df )

ii f admet un minimum local (resp. global) en a s’il existe V voisinage

de a tel que

f (x ) ≥ f (a), ∀ x ∈ V ∩ Df (resp. f (x ) ≥ f (a), ∀ x ∈ Df )

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 4 / 18

Définition
Définition
Soient f : Rn −→ R et a ∈ Df . On dit que
i f admet un maximum local (resp. global) en a s’il existe V
voisinage de a tel que

f (x ) ≤ f (a), ∀ x ∈ V ∩ Df (resp. f (x ) ≤ f (a), ∀ x ∈ Df )

ii f admet un minimum local (resp. global) en a s’il existe V voisinage

de a tel que

f (x ) ≥ f (a), ∀ x ∈ V ∩ Df (resp. f (x ) ≥ f (a), ∀ x ∈ Df )

iii a est un extremum local (resp. global) de f si f admet un minimum

ou un maximum local (resp. global) en a.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 4 / 18

Condition nécessaire

omment déterminer un extremum local ? Une réponse partielle est donnée

par la proposition suivante :

Proposition (Condition nécessaire)

Soit f : Rn −→ R de classe C 1 sur un voisinage de a. Si a est un
extremum de f alors
∂f
(a) = 0, ∀ i = 1, · · · , n.
∂xi

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 5 / 18

Condition nécessaire

omment déterminer un extremum local ? Une réponse partielle est donnée

par la proposition suivante :

Proposition (Condition nécessaire)

Soit f : Rn −→ R de classe C 1 sur un voisinage de a. Si a est un
extremum de f alors
∂f
(a) = 0, ∀ i = 1, · · · , n.
∂xi

Remarque
La réciproque de cette proposition est en général fausse. Voir par
exemple f (x ) = x 3 , on a f 0 (0) = 0 et 0 n’est pas un extremum de f .

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 5 / 18

Point critique

Définition (Point critique)

Un point qui annule les dérivées partielle de f est appelé point critique ou
stationnaire ou encore admissible de f .

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 6 / 18

Exemple

Exemple.
Soit f (x , y ) = x 2 + y 2 . Le seul point critique de f est (0, 0). En effet, soit (x , y )
un point critique de f alors
 0  
fx (x , y ) = 0 2x = 0 x =0
=⇒ =⇒
fy0 (x , y ) = 0 2y = 0 y =0

On a f (x , y ) ≥ 0 = f (0, 0), ∀ (x , y ) ∈ R2 . Donc f admet un minimum global en

(0, 0).

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 7 / 18

Exemple

Exemple.
Soit f (x , y ) = x 2 − y 2 . On montre facilement que (0, 0) est un point critique de
f . Mais on sait pas est ce que f (x , y ) ≤ f (0, 0) ou f (x , y ) ≥ f (0, 0) c’est-à-dire
est ce que f admet un maximum ou un minimum local en (0, 0) ?
suivant la direction y = 0, on a f (x , 0) = x 2 ≥ 0 = f (0, 0)
suivant la direction x = 0, on a f (0, y ) = −y 2 ≤ 0 = f (0, 0).
Par suite (0, 0) n’est pas un extremum de f .

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 8 / 18

Soit f : Rn −→ R de classe C 2 sur un voisinage de a ∈ Rn . On appelle
hessien de f en a la matrice :
∂2f ∂2f ∂2f
 
(a) (a) ··· (a)
 ∂x12 ∂x1 ∂x2 ∂x1 ∂xn 
 
 ∂2f ∂2f ∂2f
 
···

(a) (a) (a) 
∂x22

 ∂x2 ∂x1 ∂x2 ∂xn
 
2
 ∂2f
Hf (a) = D f (a) = 
 = (a)
.. .. ..  ∂xi ∂xj 1≤i,j≤n
···
 
 . . . 
 
 
 ∂2f ∂2f ∂2f

(a) (a) ··· (a)
∂xn ∂x1 ∂xn ∂x2 ∂xn2

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 9 / 18

Soit f : Rn −→ R de classe C 2 sur un voisinage de a ∈ Rn . On appelle
hessien de f en a la matrice :
∂2f ∂2f ∂2f
 
(a) (a) ··· (a)
 ∂x12 ∂x1 ∂x2 ∂x1 ∂xn 
 
 ∂2f ∂2f ∂2f
 
···

(a) (a) (a) 
∂x22

 ∂x2 ∂x1 ∂x2 ∂xn
 
2
 ∂2f
Hf (a) = D f (a) = 
 = (a)
.. .. ..  ∂xi ∂xj 1≤i,j≤n
···
 
 . . . 
 
 
 ∂2f ∂2f ∂2f

(a) (a) ··· (a)
∂xn ∂x1 ∂xn ∂x2 ∂xn2

Remarque
D’après le théorème de Schwarz si f est de classe C 2 alors
∂2f ∂2f
∂xi ∂xj (a) = ∂xj ∂xi (a). Par conséquent Hf (a) est symétrique.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 9 / 18

Exemple

∂2f ∂2f
Soient f (x , y ) = x 2 + y 2 et (x , y ) ∈ R2 . On a ∂x 2
(x , y ) = ∂y 2
(x , y ) =2
∂2f
et ∂x ∂y (x , y ) = 0. D’où
!
2 0
Hf (x , y ) = , ∀ (x , y ) ∈ R2 .
0 2

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 10 / 18

Exemple
Soient f (x , y , z) = x cos y + y sin z. Calculons le hessien de f au point
(1, π/2, π).

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 11 / 18

Exemple
Soient f (x , y , z) = x cos y + y sin z. Calculons le hessien de f au point
(1, π/2, π).
On a
00 (x , y , z) = 0, f 00 (x , y , z) = − sin(y )
fx0 (x , y , z) = cos y
( (
fxx xy
fy0 (x , y , z) = −x sin(y ) + sin z =⇒ fxz0 (x , y , z) = 0, fyy
00 (x , y , z) = −x cos y

fz0 (x , y , z) = y cos z 00
fyz (x , y , z) = cos z, fzz00 (x , y , z) = −y sin z.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 11 / 18

Exemple
Soient f (x , y , z) = x cos y + y sin z. Calculons le hessien de f au point
(1, π/2, π).
On a
00 (x , y , z) = 0, f 00 (x , y , z) = − sin(y )
fx0 (x , y , z) = cos y
( (
fxx xy
fy0 (x , y , z) = −x sin(y ) + sin z =⇒ fxz0 (x , y , z) = 0, fyy
00 (x , y , z) = −x cos y

fz0 (x , y , z) = y cos z 00
fyz (x , y , z) = cos z, fzz00 (x , y , z) = −y sin z.

D’où
 
0 − sin y 0
Hf (x , y , z) =  − sin y −x cos y cos z  , ∀ (x , y , z) ∈ R3 .
 
0 cos z −y sin z

En particulier, au point (1, π/2, π) :

 
0 −1 0
Hf (1, π/2, π) =  −1 0 −1  .
 
0 −1 0

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 11 / 18

Spectre d’une matrice

L’ensemble des valeurs propres.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 12 / 18

Condition suffisante

Proposition (Condition suffisante)

Soit a un point critique de f de classe C 2 sur un voisinage de a. On
note Sp(Hf (a)) le spectre de Hf (a). Alors
1 si Sp(Hf (a)) ⊂ R∗+ , f admet au point a un minimum local.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 13 / 18

Condition suffisante

Proposition (Condition suffisante)

Soit a un point critique de f de classe C 2 sur un voisinage de a. On
note Sp(Hf (a)) le spectre de Hf (a). Alors
1 si Sp(Hf (a)) ⊂ R∗+ , f admet au point a un minimum local.
2 si Sp(Hf (a)) ⊂ R∗− , f admet au point a un maximum local.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 13 / 18

Condition suffisante

Proposition (Condition suffisante)

Soit a un point critique de f de classe C 2 sur un voisinage de a. On
note Sp(Hf (a)) le spectre de Hf (a). Alors
1 si Sp(Hf (a)) ⊂ R∗+ , f admet au point a un minimum local.
2 si Sp(Hf (a)) ⊂ R∗− , f admet au point a un maximum local.
3 si Sp(Hf (a)) ⊂ R∗ et contient au moins deux valeurs propres de
signe diffèrent, f n’admet pas d’extremum au point a. Dans ce cas,
on dit que a est un point col ou un point selle.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 13 / 18

Condition suffisante

Proposition (Condition suffisante)

Soit a un point critique de f de classe C 2 sur un voisinage de a. On
note Sp(Hf (a)) le spectre de Hf (a). Alors
1 si Sp(Hf (a)) ⊂ R∗+ , f admet au point a un minimum local.
2 si Sp(Hf (a)) ⊂ R∗− , f admet au point a un maximum local.
3 si Sp(Hf (a)) ⊂ R∗ et contient au moins deux valeurs propres de
signe diffèrent, f n’admet pas d’extremum au point a. Dans ce cas,
on dit que a est un point col ou un point selle.
4 si 0 ∈ Sp(Hf (a))(c’est-à-dire det(Hf (a)) = 0), on ne peut pas
conclure directement.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 13 / 18

Exemple 1
f (x , y ) = x 2 − y 2 . (0, 0) est un point critique de f . Si on calcule le hessien
de f en ce point, on obtient
!
2 0
A = Hf (0, 0) = .
0 −2
D’où Sp(A) = {−2, 2}. Donc d’après la dernière proposition (0, 0) n’est
pas un extremum de f , c’est un point col.

Figure – Graphe de la fonction

API-I (ENSAM – CASABLANCA) f (x
Extremum local = x 2 − y 2 sur [−1,
, yet) global de×
Session1] [−1, 1]
printemps 14 / 18
Exemple 2
Soit f (x , y ) = xy (1 − x − y ). Déterminons les extremums de f .

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 15 / 18

Exemple 2
Soit f (x , y ) = xy (1 − x − y ). Déterminons les extremums de f .
(x , y ) est un extremum de f si et seulement si
 
0
 fx (x , y ) = y (1 − 2x − y ) = 0
  y = 0 ou 1 − 2x − y = 0

et =⇒ et
 f 0 (x , y ) = x (1 − 2y − x ) = 0
  x = 0 ou 1 − 2y − x = 0

y

 (y = 0 et x = 0) ou (y = 0 et 1 − 2y − x = 0)

=⇒ ou
 (1 − 2x − y = 0 et x = 0) ou (1 − 2x − y = 0 et 1 − 2y − x = 0)


 (x = 0 et y = 0) ou (x = 1 et y = 0)

=⇒ ou

 (x = 0 et y = 1) ou (x = 1/3 et y = 1/3)

Donc les points critiques de f sont (0, 0), (1, 0), (0, 1) et (1/3, 1/3).

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 15 / 18

Exemple 2

Déterminons la nature de ces extremums.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 16 / 18

Exemple 2

Déterminons la nature de ces extremums.

Le hessien de f en tout point (x , y ) ∈ R2 est
!
−2y 1 − 2x − 2y
Hf (x , y ) =
1 − 2x − 2y −2x

!
0 1
nature du point (0, 0). Soit A = Hf (0, 0) = . On montre
1 0
facilement que Sp(A) = {−1, 1}. Donc (0, 0) est un point col de f

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 16 / 18

Exemple 2

Déterminons la nature de ces extremums.

Le hessien de f en tout point (x , y ) ∈ R2 est
!
−2y 1 − 2x − 2y
Hf (x , y ) =
1 − 2x − 2y −2x

!
0 1
nature du point (0, 0). Soit A = Hf (0, 0) = . On montre
1 0
facilement que Sp(A) = {−1, 1}. Donc (0, 0) est un point col de f
!
0 −1
nature du point (1, 0). Soit B = Hf (1, 0) = . On
−1 −2
√ √
montre facilement que Sp(B) = {1 − 2, 1 + 2}. Donc (1, 0) est un
point col de f

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 16 / 18

Exemple 2

!
−2 −1
nature du point (0, 1). Soit C = Hf (0, 1) = . On
−1 0
√ √
montre facilement que Sp(C ) = {1 − 2, 1 + 2}. Donc (0, 1) est un
point col de f

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 17 / 18

Exemple 2

!
−2 −1
nature du point (0, 1). Soit C = Hf (0, 1) = . On
−1 0
√ √
montre facilement que Sp(C ) = {1 − 2, 1 + 2}. Donc (0, 1) est un
point col de f
nature du point (1/3, 1/3). Soit !
−2/3 −1/3
D = Hf (1/3, 1/3) = . Le polynôme caractéristique
−1/3 −2/3
de D est donné par :
−2/3 − X −1/3 2 2
P(X ) = det(D − X I2 ) = = (−2/3 − X ) − (1/3) = (X + 1)(X + 1/3).
−1/3 −2/3 − X

D’où Sp(D) = {−1, −1/3} ⊂ R∗− . Donc f admet au point (1/3, 1/3)
un maximum local.

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 17 / 18

 Merci pour votre attention

API-I (ENSAM – CASABLANCA) Extremum local et global Session de printemps 18 / 18