- Dérivation logarithmique
-
En mathématiques et plus particulièrement en analyse et en analyse complexe, la dérivée logarithmique d'une fonction f dérivable ne s'annulant pas est la fonction :
où f' est la dérivée de f.
Lorsque la fonction f est une fonction à valeurs strictement positives, la dérivée logarithmique coïncide avec la dérivée de la composée de la fonction f par la fonction logarithme, c'est-à-dire de , comme le montre la formule de la dérivée d'une composée de fonctions.
Sommaire
Formules
Donnons quelques relations qui découlent de la définition
cela exprime que la « dérivée logarithme d'un produit est égale à la somme des dérivées logarithmiques des facteurs ».
Une conséquence est la formule classique de Leibniz :
- (uv)' = u'v + uv'
obtenue en simplifiant les dénominateurs.
Une autre conséquence est la formule de dérivée d'un quotient :
Facteurs intégrants
L'idée de la dérivée logarithmique est assez proche de celle de la méthode des facteurs intégrants, pour les équations différentielles du premier ordre. En termes d'opérateur écrivons
et soit M l'opérateur de multiplication par une fonction G donnée. Alors
- M − 1DM
peut être écrit (d'après la règle de dérivation d'un produit) sous la forme
- D + M *
où M * désigne l'opérateur de multiplication par la dérivée logarithmique de G, c'est-à-dire par
Souvent, nous nous donnons un opérateur tel que
- D + F = L
et nous désirons résoudre l'équation
- L(h) = f
d'inconnue h, f étant donnée. Cela nous amène à résoudre
qui a pour solution
où est une primitive quelconque de F.
Analyse complexe
La définition peut être étendue à d'autres fonctions et par exemple si f est une fonction méromorphe, alors la définition a un sens en tous les nombres complexes qui ne sont ni des zéros de f, ni des pôles de f. De plus en un zéro ou un pôle, la dérivée logarithmique se comporte d'une manière qui puisse être rapprochée du cas particulier de où n est un entier non nul. La dérivée logarithmique est alors égale à .
Et on peut en déduire que de façon générale pour une fonction méromorphe f, toutes les singularités de la dérivée logarithmique de f sont toutes des pôles simples, de résidu n d'un zéro d'ordre n, de résidu − n d'un pôle d'ordre n. Ce fait est souvent exploité en intégration sur un contour.
Le groupe multiplicatif
Derrière l'utilisation des dérivées logarithmiques se cachent deux faits importants concernant Gl1, le groupe multiplicatif des nombres réels ou sur un corps commutatif quelconque. L'opérateur différentiel
est invariant par translation (ne change pas lorsqu'on remplace X par aX, a étant une constante). Et la forme différentielle
est de même invariante. Pour des fonctions F de Gl1, la fonction
est ainsi une réciproque d'une forme invariante.
Wikimedia Foundation. 2010.