Vote utilisateur: 3 / 5

Etoiles activesEtoiles activesEtoiles activesEtoiles inactivesEtoiles inactives
 

Extremums des fonctions numériques de plusieurs variables réelles.


Approche historique.

L'étude des extremum de fonctions de plusieurs variables commence en fait avec l'étude des formes quadratiques.

Les formes quadratique : pour plus de précision sur ce sujet ⇒ voir la page formes quadratiques.

Jean DIEUDONNE ([Dieudo]p64) considère qu'il n'y a pas véritablement de théorie algébrique des formes quadratiques au 18ème siècle (pas vraiment d'algèbre linéaire non plus).

En analyse, LAGRANGE Joseph Louis (1736-1813) étudie les extremums relatifs de fonctions à plusieurs variable.
Il construit une forme quadratique en réunissant les termes de dégré 2 dans le développement de TAYLOR de la fonction au voisinage du point.

En dehors de cela, on ne rencontre au 18ème siècle que des formes quadratiques de 2 ou 3 variables. Avec les coniques et notamment la poursuite des travaux effectué par FERMAT Pierre de (1601-1665) , avec les quadriques étudiées par EULER(1707 - 1783) et avec les équations diophantiennes du second degré).

Etude des surfaces.

Le mathématicien français MONGE Gaspard (1746-1818). étudie les surface et dans son Application de l'analyse à la géométrie (avec Jean-Nicolas Hachette, 1807) il introduit la notion de ligne de courbure et les termes ellipsoïde, hyperboloïde et paraboloïde.
Dès 1801, il est le premier à utiliser systématiquement les équations aux dérivées partielles pour étudier les surfaces. [HaSu] p 245

La notion d'extremum[Dieudo]p353

On arrive, vers la fin du 19ème siècle, à distinguer les notions d'extremum fort, correspondant à la notion de voisinage, et d'extremum faible. C'est avec le mathématicien français FRÉCHET Maurice (1878-1973) que ces notions reçoivent une formulation plus précise. Il publie à ce sujet, en 1906, son traité Sur quelques points du calcul fonctionnel.


Cours sur : Les extremums des fonctions numériques de plusieurs variables réelles. (Version PDF)

 On considère une fonction f définie sur une partie U ⊂ IRp , à valeur dans IR.

 

1 – Définitions.

  • La fonction f admet un maximum local en a ssi :
    a 
  • La fonction f admet un minimum local en a ssi :
    a
  • La fonction f admet un maximum ou minimum local strict en a : idem avec des  inégalités strictes.
  • La fonction f admet un extremum local ou local strict en a si f admet un min, resp max…
  • La fonction f admet un extremum global en a ssi :
    a 
  • a est un point critique de f ssi les dérivées partielles de f en a existent et sont nulles.

 


2 – Conditions nécessaires.


Théorème.
a

 


3 – Conditions suffisantes.

U ouvert de IRp et f C²(U).

3.a : Taylor Young ordre 2.
b

3.b : Théorème général : Cas des fonction de p variables réelles.

Soit a un point critique de f. On définit la forme quadratique définit sur b par :

b

La matrice hessienne H de Q dans la base canonique de IRp est :

hessienne

  • Si Q est positive et non dégénérée ( soit si le spectre Sp(H) ⊂ IR+\{0} ), alors f admet un minimum local strict en a.
  • Si Q est négative et non dégénérée ( soit si le spectre Sp(H) ⊂ IR-\{0}), alors f admet un maximum local strict en a.
  • Si Q n’est ni positive, ni négative : alors pas d’extremum local en a.
3.b : Théorème pour les fonctions de 2 variables.
On utilise les notations de MONGE, du nom du mathématicien français MONGE Gaspard (1746-1818).


a

  • Si 
    alors f admet un minimum strict en a.
  • Si 
    alors f admet un maximum strict en a.
  • Si (s² - rt > 0) alors f n’admet pas d’extremum local en a.
    On dit alors que f admet un point-selle (ou un point col en a)

 


4 - Exemples :           

Exemple 1  :    ,                 f admet deux minimums locaux en A(1 ;-1) et B(-1 ;1)

f(x,y) = x^4 + y^4 - (x-y)²

Exemple 2  :              a                f admet un point selle en A(-2/3 ; 0) 
Point selle


5 – Extremums globaux.


Proposition :

limite

On a l'implication suivante