- Règle du produit
-
Pour les articles homonymes, voir Règle de Leibniz.
En analyse, la règle du produit (aussi appelée règle de Leibniz, voir dérivation) est une formule utilisée afin de trouver les dérivées de produits de fonctions. On peut l'énoncer ainsi :
Soit f et g des fonctions différentiables en x alors leur produit est aussi différentiable en x et
En notation de Leibniz cela revient à écrire :
Une application importante de la règle du produit est la règle d'intégration par parties.
Sommaire
Exemple
Soit h une fonction définie par :
Pour trouver la dérivée h' de h avec la règle du produit, on pose f(x) = x + 1 et g(x) = (x2 + 1). Il est clair que h, f et g sont partout dérivables.
On a alors :
Par ailleurs, ici, on peut développer l'expression de h :
Expression que l'on dérive alors aisément pour retrouver :
Démonstration de la règle du produit
Démonstration Analytique
Une preuve rigoureuse de la règle du produit peut être donnée en utilisant les propriétés des limites et de la définition de la dérivée comme d'une limite du quotient de Newton.
Reprenons f et g des fonctions différentiables en x, on a alors :
En ajoutant et retranchant f(x)g(x + h) on obtient alors :
Comme f et g sont différentiables (et donc continues) en x, on peut réécrire ce dernier terme comme :
Ce qui clôt la démonstration.
Démonstration Géométrique
Soit f et g des fonctions différentiables en x, soit encore u = f(x) et v = g(x) de telle sorte que l'aire uv du rectangle (cf. Figure 1) représente f(x)g(x).
Si x varie d'une quantité Δx, les variations correspondantes en u et v sont respectivement Δu et Δv.
La variation de l'aire du rectangle est alors :
C'est-à-dire la somme des trois zones ombrées sur la Figure 1 ci-contre.
En divisant par Δx et en prenant la limite avec , on obtient :
Etant donné que :
Cela clôt la démonstration.
Généralisations
Produit de plusieurs fonctions
Soit un ensemble de fonctions dérivables en x, on a alors :
Cette relation peut être démontrée par induction (voir raisonnement par récurrence).
Démonstration par inductionPour n = 1, la relation est trivialement vraie.
Nous devons maintenant montrer que si la formule est vraie pour , alors elle est aussi vraie pour n = k + 1.
Soit une fonction h définie par :
Avec des fonctions quelconques dérivables en x.
Soit encore une fonction fk + 1, elle-même dérivable en x, la dérivée de est alors donnée par la règle du produit :
Cela revient à écrire avec l'hypothèse de la récurrence :
En simplifiant cette dernière expression on obtient finalement :
Exemple
Avec trois fonctions f,g et h, dérivables en x on a :
Soit par exemple pour trouver la dérivée de :
Dérivées d'ordre supérieur (règle de Leibniz)
La règle du produit peut aussi être généralisée à la règle de Leibniz pour la dérivation d'ordre supérieur d'un produit de deux fonctions. Soit f et g deux fonctions n fois dérivables en x l'expression de la nème dérivée est
Expression dans laquelle on retrouve le coefficient binomial. Cette relation peut être démontrée par induction (voir raisonnement par récurrence). On remarque que cette expression peut être reliée à la formule du binôme de Newton (la démonstration est par ailleurs analogue).
Démonstration par inductionPar souci de lisibilité, les (x) sont omis dans la démonstration.
Pour n = 1, la relation donne :
C'est-à-dire la règle du produit qui a déjà été démontrée.
Nous devons maintenant montrer que si la formule est vraie pour , alors elle est aussi vraie pour n = k + 1.
Soit donc pour :
Si l'on dérive cette expression, on obtient par la règle du produit:
En développant ce dernier terme (pour une raison qui deviendra claire par la suite), on peut réécrire ce dernier terme comme :
Cette dernière expression correspond au développement de la règle de Leibniz pour n = k + 1, en effet :
Avec
Exemple
Avec n = 2 on a :
Soit pour trouver la dérivée seconde de :
Dimensions supérieures
On peut généraliser la règle du produit à des fonctions de dimensions supérieures : soit un ensemble ouvert, des fonctions différentiables et un vecteur quelconque de .
La règle du produit s'écrit alors :
Fonctions holomorphes
Par analogie, la règle est applicable pour un produit de fonctions holomorphes : soit et des fonctions holomorphes, alors est holomorphe et
- .
Règle du produit dans des espaces de Banach
Soit X, Y, et Z des espaces de Banach (ce qui inclut les espaces euclidiens) et un opérateur bilinéaire continu. Alors, B est différentiable et sa dérivée au point (x,y) dans est l'application linéaire définie par :
Fonctions vectorielles
La règle du produit pour les fonctions vectorielles dont le produit est encore un vecteur doit tenir compte des propriétés anticommutatives d'un produit de vecteurs.
Soit , un ensemble ouvert, des fonctions vectorielles différentiables et un vecteur de alors :
et pas
même si cette dernière expression est correcte dans le cas de fonctions scalaires.
Voir aussi
Références
- Robert A. ADAMS; Calculus, A Complete Course, 6th Edition, Pearson Education, 2007, ISBN 0-321-27000-2
Wikimedia Foundation. 2010.