Aller au contenu

Calcul différentiel/Théorèmes utiles

Leçons de niveau 15
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
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.

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.



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 | modifier le wikicode]
Début d’un théorème
Fin du théorème



Théorème des fonctions implicites

[modifier | modifier le wikicode]
Début d’un théorème
Fin du théorème


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


  • 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 | modifier le wikicode]
Début d’un théorème
Fin du théorème
Remarque
Panneau d’avertissement Contrairement au cas des fonctions à valeurs réelles, il n'y a pas ici d'égalité des accroissements finis.

Soient et deux espaces vectoriels normés.

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


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 | modifier le wikicode]

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 | modifier le wikicode]
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 | modifier le wikicode]
Début d’un théorème
Fin du théorème


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

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.