Algorithme de Levenberg-Marquardt

L’algorithme de Levenberg-Marquardt, ou algorithme LM, permet d'obtenir une solution numérique au problème de minimisation d'une fonction, souvent non linéaire et dépendant de plusieurs variables. L'algorithme repose sur les méthodes derrière l'algorithme de Gauss-Newton et l'algorithme du gradient. Plus stable que celui de Gauss-Newton, il trouve une solution même s'il est démarré très loin d'un minimum. Cependant, pour certaines fonctions très régulières, il peut converger légèrement moins vite. L'algorithme fut développé par Kenneth Levenberg, puis publié par Donald Marquardt.

C'est un problème qui se présente souvent en régression linéaire et non linéaire.

Application à la méthode des moindres carrés

Énoncé

Son application principale est la régression au travers de la méthode des moindres carrés : étant donné un certain nombre de paires de données $(x i, y i)$ , on cherche le paramètre $a$ de la fonction $f (x | a)$ de sorte que la somme des carrés des déviations

S({\boldsymbol {a}})=\sum _{i=1}^{m}[y_{i}-f(x_{i}|{\boldsymbol {a}})]^{2}\,

soit minimale.

Solution

La procédure de l'algorithme est itérative. On part d'un paramètre initial, que l'on suppose « assez proche » d'un minimum, et qui constituera le vecteur $p$ de départ. Dans beaucoup de cas, un paramètre de départ « standard », tel que $p T =(1,1,\dots,1)$ fonctionnera sans problème. Dans certains cas, il n'y a convergence que si le vecteur de départ n'est pas trop éloigné de la solution.

À chaque itération, on remplace $p$ par une nouvelle estimation $p + q$ . Afin de déterminer $q$ , les fonctions $f i (p + q)$ sont approchées en étant linéarisées :

f(\mathbf {p} +\mathbf {q} )\approx f(\mathbf {p} )+\mathbf {Jq} ,

où on a noté $J$ la jacobienne de $f$ en $p$ .

À un minimum de la somme des carrés $S$ , on a $\nabla q S = 0$ . En dérivant le carré de l'expression de droite, qui s'annule donc, et en posant $y = f (p + q)$ , on obtient :

(\mathbf {J} ^{T}\mathbf {J} )\mathbf {q} \approx \mathbf {J} ^{T}(\mathbf {y} -f(\mathbf {p} )),

d'où l'on tire aisément $q$ en inversant $J T J$ .

Dans l'inversion matricielle, tout va dépendre du rapport entre la valeur propre la plus grande en norme, et la valeur propre la plus petite ; ce rapport, appelé conditionnement de matrice, va concrètement refléter la robustesse de l'algorithme face au bruit.

Le point essentiel de l'algorithme de Levenberg-Marquardt est d'approcher cette équation, en l'« amortissant » un peu. On parle alors de « chargement de la diagonale » afin de contourner le mauvais conditionnement le cas échéant, problème que l'on retrouve avec l'algorithme de Capon et que l'on peut résoudre par une décomposition en valeurs singulières :

\left(\mathbf {J} ^{T}\mathbf {J} +\lambda \,{\textrm {diag}}(\mathbf {J} ^{T}\mathbf {J} )\right)\mathbf {q} \approx \mathbf {J} ^{T}(\mathbf {y} -f(\mathbf {p} )),

Le facteur d'amortissement positif λ est ajusté à chaque nouvelle itération. Si la diminution de $S$ est rapide, on peut utiliser une valeur plus faible – ce qui rapproche l'algorithme de celui de Gauss-Newton. Si en revanche une itération est peu efficace, on peut augmenter λ, ce qui rapproche cette fois l'algorithme de celui du gradient. Un tel facteur d'amortissement est utilisé par exemple dans la régularisation de Tikhonov, utilisée pour résoudre certains problèmes linéaires.

Si on a effectué plus d'un certain nombre d'itérations, ou bien que l'on s'est approché suffisamment d'un minimum, la procédure se termine et renvoie le paramètre $p$ comme estimation de la solution.

Choix du paramètre d'amortissement

De nombreux arguments, plus ou moins heuristiques, ont été proposés afin de déterminer le meilleur facteur d'amortissement $λ$ . Des démonstrations théoriques montrent que certains choix garantissent une convergence locale – mais peuvent afficher une convergence faible près de l'optimum.

La valeur absolue de tout choix dépend de l'échelle du problème. Marquardt recommandait de commencer à partir de $λ 0$ et avec un facteur $ν > 1$ . On pose alors au départ $λ = λ 0$ et on calcule la somme des carrés des déviations $S (p)$ après une itération, en utilisant le facteur d'amortissement $λ = λ 0$ , puis en utilisant $λ/ ν$ . Si les deux derniers renvoient un point moins bon (somme plus élevée) que le point de départ, alors on augmente $λ$ en le multipliant par $ν$ , jusqu'à atteindre un point meilleur avec un nouveau facteur $λ ν k$ pour un certain $k$ .

Si l'utilisation du facteur $λ/ ν$ donne une somme plus faible, alors il est pris comme nouvelle valeur de $λ$ et l'algorithme continue. Si l'utilisation de $λ/ ν$ donne une somme plus importante, mais que l'utilisation de $λ$ donne une somme plus faible, alors $λ$ est conservé.

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Levenberg-Marquardt algorithm » (voir la liste des auteurs).
(en) K. Levenberg, « A Method for the Solution of Certain Problems in Least Squares », dans Quart. Appl. Math. 2, 1944, p. 164-168
(en) D. Marquardt, « An Algorithm for Least-Squares Estimation of Nonlinear Parameters », dans SIAM J. Appl. Math. 11, 1963, p. 431-441
(en) P. E. Gill et W. Murray, « Algorithms for the solution of the nonlinear least-squares problem », SIAM J. Numer. Anal., vol. 15, n^o 5,‎ 1978, p. 977-992

Liens externes

Descriptions de l'algorithme

(en) Numerical Recipes in C, Chapter 15.5: Nonlinear models (avec une description de l'algorithme)
(en) Levenberg-Marquart Methods and Nonlinear Estimation (histoire de cet algorithme)
(en) The Levenberg-Marquardt Algorithm (didacticiel écrit par Ananth Ranganathan)

Mises en œuvre

(en) lmdif, implémentation classique en Fortran, domaine public.
(en) lmfit, bibliothèque pour une utilisation dans des programmes en C ou C++, licence : domaine public.
(en) La GNU Scientific Library (GSL) fait partie du projet GNU, il s'agit d'une bibliothèque écrite en C, licence: GPL.
(en) levmar, implémentation GPL en C++, Perl et Python.
(en) idiom.com et users.utu.fi : mises en œuvre Java.
(en) gnuplot en possède une implémentation.
(en) ALGLIB, implémentations en C#, C++, Delphi, Visual Basic.
FitOO, implémentation sous forme de modèle et de macros pour OpenOffice.org.
IMSL, implémentation pour Fortran, C/C++, Java et C#.
(en) The MathWorks: LMFsolve.m/LMFnlsq.m, implémentation pour Matlab.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.