Présentation
EnglishRÉSUMÉ
Les problèmes d’optimisation différenciable se posent lorsque l’on cherche à déterminer la valeur optimale d’un nombre fini de paramètres, l’optimalité signifiant la minimalité d’un critère donné. Cet article décrit les principaux algorithmes de résolution de ces problèmes, en précisant leur motivation. Ces problèmes de résolution se présentent dans de nombreux domaines de l’ingénieur, mais aussi en science et en économie. Ils se posent parfois en dimension infinie, on cherche alors à déterminer une fonction optimale. Les méthodes numériques actuelles de l’optimisation sont la résultante d‘avancées qui ne cessent de se multiplier et de s’enrichir mutuellement.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleAuteur(s)
-
Jean Charles GILBERT : Directeur de recherche à l'INRIA (Institut national de recherche en informatique et en automatique)
INTRODUCTION
Cette synthèse raisonnée décrit les principaux algorithmes de résolution des problèmes d'optimisation différentiable et en donne leur motivation. Ces problèmes se posent lorsque l'on cherche à déterminer la valeur optimale d'un nombre fini de paramètres. L'optimalité signifie ici la minimalité d'un critère donné. La différentiabilité supposée des fonctions qui définissent le problème écarte d'emblée de notre propos l'optimisation combinatoire (les paramètres à optimiser ne prennent que des valeurs entières ou discrètes, voir le dossier « Optimisation en nombres entiers » [AF 1 251]) et l'optimisation non lisse (les fonctions ont des irrégularités, voir le dossier « Optimisation et convexité » [AF 1 253]).
Les problèmes d'optimisation se présentent dans de nombreux domaines de l'ingénieur, ainsi qu'en science et en économie, souvent après avoir conduit à leur terme les étapes de simulation. Il arrive souvent que ces problèmes se posent en dimension infinie, c'est-à-dire que l'on cherche une fonction optimale plutôt qu'un nombre fini de paramètres optimaux. Il faut alors passer par une phase de discrétisation (en espace, en temps) pour retrouver le cadre qui est le nôtre et se ramener ainsi à un problème qui peut être résolu sur ordinateur. La transcription directe des problèmes de commande optimale suit une telle procédure de discrétisation. D'autres exemples sont décrits dans le dossier « Optimisation continue » [S 7 210].
Les méthodes numériques de l'optimisation ont principalement été développées après la seconde guerre mondiale, en parallèle avec l'amélioration des ordinateurs, et n'ont cessé depuis de s'enrichir. En optimisation non linéaire, on peut ainsi distinguer plusieurs vagues : méthodes de pénalisation, méthode du lagrangien augmenté (1958), méthodes de quasi-Newton (1959), méthodes newtoniennes ou SQP (1976), algorithmes de points intérieurs (1984). Une vague n'efface pas la précédente mais permet d'apporter de meilleures réponses à certaines classes de problèmes, comme ce fut le cas pour les méthodes de points intérieurs en optimisation semi-définie positive (SDP). Une attention particulière est portée aux algorithmes pouvant traiter les problèmes de grande taille, ceux qui se présentent dans les applications.
La norme euclidienne (ou ) est notée || · ||2 .
L'inégalité (resp. u < v ) entre deux vecteurs v et w signifie que (resp. vi < wi ) pour tout indice i.
On note et l'image et le noyau d'une matrice M.
Pour indiquer qu'une matrice carrée M est symétrique semi-définie positive (resp. définie positive), on note (resp. ).
L'ensemble des matrices symétriques d'ordre n est noté et .
Une fonction f est dite de classe C m,α si elle est m fois différentiable et si sa dérivée m-ième vérifie pour une constante C et pour tout x et y :
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Mathématiques
(167 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
1. Outils théoriques, concepts algorithmiques
1.1 Problème à résoudre
De manière assez formelle, un problème d'optimisation se pose lorsque l'on cherche un point d'un ensemble X en lequel une fonction f définie sur cet ensemble prend une valeur minimale. Nous l'écrirons de la manière suivante :
La fonction f est appelée critère ou fonction-coût du problème. L'ensemble X est appelé l'ensemble admissible du problème (surtout s'il fait partie d'un ensemble plus grand) et un point de X est dit admissible. Une solution de (PX ) est un point tel que pour tout x ∊ X. On parle aussi de minimum global, par opposition à un minimum local qui ne vérifie que pour des x ∊ X voisins de ...?xml>?xml>?xml>?xml>?xml>
Cet article fait partie de l’offre
Mathématiques
(167 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Outils théoriques, concepts algorithmiques
BIBLIOGRAPHIE
-
(1) - MINOUX (M.) - Optimisation en nombres entiers. - [AF 1 251], Mathématiques pour l'ingénieur, avr. 2008.
-
(2) - LEMARÉCHAL (C.) - Optimisation et convexité. - [AF 1 253], Mathématiques pour l'ingénieur, avr. 2008.
-
(3) - LEMARÉCHAL (C.) - Optimisation continue. - [S 7 210], Informatique industrielle, mars 2002.
-
(4) - CESSENAT (M.) - Vocabulaire des mathématiques. - [A 1 205], Mathématiques pour l'ingénieur, fév. 1992.
-
(5) - MEURANT (G.) - Méthodes de Krylov pour la résolution des systèmes linéaires. - [AF 488], Mathématiques pour l'ingénieur, avr. 2007.
-
(6) - BREZINSKI (C.) - Méthodes numériques de base. Algèbre numérique. - [AF 1 221],...
ANNEXES
(liste non exhaustive)
Codes de différentiation et d'optimisationADIC (C) http://www-new.mcs.anl.gov/adic/
ADIFOR (Fortran 77) http://www-unix.mcs.anl.gov/autodiff/ADIFOR/
ADOL-C (C++) http://www.math.tu-dresden.de/~adol-c/
AXIOM http://www.axiom-developer.org/index.html
DONLP2 (SQP) ftp://ftp.mathematik.tu-darmstadt.de/pub/department/ software/opti/DONLP2
FAIPA (PI)
FSQP (SQP admissible) http://www.aemdesign.com/
IPOPT (PI) https://projects.coin-or.org/Ipopt
KNITRO (PI) http://www.ziena.com/
LANCELOT (lagrangien augmenté) http://www.numerical.rl.ac.uk/lancelot/blurb.html
LBFGSB ( -BFGS) http://www.ece.northwestern.edu/~nocedal/lbfgsb.html
LBFGS ( -BFGS) http://www.ece.northwestern.edu/~nocedal/lbfgs.html
LOQO (PI) http://www.princeton.edu/~rvdb/loqo/LOQO.html
MACSYMA...
Cet article fait partie de l’offre
Mathématiques
(167 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive