Calcul différentiel/Théorèmes utiles

Début de la boite de navigation du chapitre

Dans ce chapitre, nous rappelons quelques théorèmes importants qui serviront l'étude ultérieure des recherches d'extrema et des équations aux dérivées partielles.

Théorèmes utiles
Icône de la faculté
Chapitre no 4
Leçon : Calcul différentiel
Chap. préc. :Jacobien
Chap. suiv. :Recherches d'extrema

Exercices :

Inversion locale, fonctions implicites
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Calcul différentiel : Théorèmes utiles
Calcul différentiel/Théorèmes utiles
 », n'a pu être restituée correctement ci-dessus.

Définitions

modifier



L'espace   usuel est un espace de Banach.

Entre espaces de dimension finie, toute application linéaire est continue. Entre espaces de Banach, d'après le théorème de Banach-Schauder, la réciproque d'une bijection linéaire continue est toujours continue.


Théorème d'inversion locale

modifier
Début d’un théorème
Fin du théorème



Théorème des fonctions implicites

modifier

Énoncé

modifier
Début d’un théorème
Fin du théorème


Début de l'exemple
Fin de l'exemple


Remarques

modifier
  • L'intérêt de ce théorème est qu'on dispose de nombreux outils pour étudier les nappes paramétrées (en dimension 3), notamment ceux permettant la recherche d'extrema, sujet abordé au chapitre suivant.
  • En différentiant l'équation  , on obtient :
     ,
    Si  , en différentiant deux fois  , on obtient :
     ,
    expression dans laquelle on peut remplacer   à l'aide de l'équation précédente. En continuant (jusqu'à l'ordre  ), on peut ainsi exprimer les différentielles successives de   en fonction de celles de  .
  • Sur toute partie connexe C de V contenant  ,   est alors la seule application continue vérifiant
     .
    (C'est un exercice sur la connexité.)

Inégalité des accroissements finis

modifier
Début d’un théorème
Fin du théorème
Remarque
  Contrairement au cas des fonctions à valeurs réelles, il n'y a pas ici d'égalité des accroissements finis.

Théorème de Schwarz

modifier

Énoncé

modifier

Soient   et   deux espaces vectoriels normés.

Début d’un théorème
Fin du théorème


Remarques

modifier

La version plus souvent énoncée dans les ouvrages suppose   définie seulement au voisinage du point  , mais elle résulte du théorème ci-dessus, en étendant de façon arbitraire une telle fonction à l'espace entier.

En mathématiques, l’intérêt de ce théorème est multiple. D'une part, à l'affirmative, il permet de réaliser les calculs de dérivée partielle, donc simplifie l'étude des équations aux dérivées partielles. D'autre part, sa contraposée permet par l'absurde de montrer que certaines fonctions ne sont pas deux fois différentiables, comme dans l'exemple ci-dessous.

En physique et en chimie, les hypothèses de ce théorème sont souvent vérifiées et son utilisation est presque systématiquement implicite. On montre ainsi des égalités en thermodynamique classique, des formules fondamentales d'analyse vectorielle, ou dans l'étude des ondes (par exemple dans l'équation des télégraphistes).

Contre-exemple

modifier

Le contre-exemple suivant, proposé par Peano en 1884, montre qu'une fonction peut, en un point, posséder une matrice hessienne non symétrique (donc ne pas être deux fois différentiable, d'après le théorème de Schwarz).

Il s'agit de la fonction :

 

Ses dérivées partielles premières sont :

 

et

 ,

de sorte que

 .

Développement limité

modifier
Début d’un théorème
Fin du théorème


Exemple : formule de Taylor-Young à l’ordre 2

Si   est deux fois dérivable au point  , alors

 ,

ce qui, si  , s'écrit :

 .

La formule de Taylor-Young vectorielle ci-dessus se démontre de la même façon que son homologue réelle, à l'aide du lemme suivant :

Début d'un lemme
Fin du lemme


Théorème de différentiation terme à terme

modifier

Énoncé

modifier
Début d’un théorème
Fin du théorème


(Si les   sont continues,   le sera donc également.)

Remarques

modifier

Ce théorème généralise le théorème de dérivation terme à terme valable pour les suites de fonctions d'une variable réelle ou, plus généralement, le théorème de dérivation d'une intégrale paramétrique. Il intervient notamment dans le cas de fonctions « limites », qu'on ne sait pas exprimer autrement que comme limite d'une suite, ou dans le cadre des séries de fonctions.