La rupture des conditions de régularité (qualifications de contraintes) nécessaires aux conditions d'optimalité standard — telles que les conditions de Karush–Kuhn–Tucker (KKT) — et à l'existence ou l'unicité des multiplicateurs de Lagrange en optimisation contrainte.

Principe

Les qualifications de contraintes (par ex. qualification d'indépendance linéaire, Mangasarian–Fromovitz) garantissent que les gradients des contraintes actives sont bien comportés afin que les conditions de premier ordre basées sur des multiplicateurs soient valides ; leur échec signifie que ces garanties théoriques ne s'appliquent plus.

Démonstration

Scénario illustratif : un programme non linéaire où deux contraintes d'inégalité actives ont des gradients colinéaires en un point candidat ; la qualification d'indépendance linéaire échoue et les multiplicateurs KKT peuvent ne pas exister ou ne pas caractériser l'optimalité.

Mauvaise application

Appliquer aveuglément les conditions KKT ou interpréter les multiplicateurs de Lagrange comme fiables sans vérifier les qualifications, conduisant à des conclusions de stationnarité erronées ou à des analyses de sensibilité trompeuses.

Conséquence

Lorsque la qualification échoue, il faut recourir à des concepts d'optimalité alternatifs (par ex. sous-différentiels de Clarke, conditions du second ordre), régulariser le problème, perturber les contraintes ou justifier l'existence de multiplicateurs par la structure du problème ; les solveurs peuvent rendre les conditions non concluantes.

Inversion

Qualification des contraintes satisfaite : les gradients des contraintes actives vérifient la condition de régularité choisie, permettant l'application des conditions d'optimalité standard basées sur des multiplicateurs de premier ordre.

Limite

S'applique aux problèmes d'optimisation contraints différentiables ; exclut l'optimisation discrète, les contraintes purement combinatoires ou les cadres non lisses qui exigent d'autres notions de qualification.

Tension sémantique

Tension avec la « dégénérescence » — l'échec de qualification est lié mais distinct de la dégénérescence ou de la multiplicité de binding ; il concerne spécifiquement la régularité requise pour les théorèmes, pas seulement la multiplicité de solutions.

Synthèse

Un échec de qualification des contraintes indique que la théorie classique des multiplicateurs et d'optimalité fondée sur eux n'est plus applicable ; il se détecte en examinant les relations entre gradients des contraintes et se traite par raffinements (régularisation, notions d'optimalité alternatives) adaptés à la lissité et à la structure du problème.