title: Saut de dualité
text: # Saut de dualité
  
  En théorie de l'optimisation, le saut de dualité est la différence entre les solutions primale et duale.
  
  ## Définitions
  
  On considère un problème d'optimisation
  
      $\inf f(\mathrm {x} ),\mathrm {x} \in X\subseteq \mathbb {R} ^{n}$
  
  Si d* est la valeur optimale duale et p* la valeur optimale primale alors le saut de dualité vaut p* - d*. Cette valeur est toujours positive (pour les problèmes de minimisation) et s'annule si et seulement si la dualité forte est vérifiée, sinon on parle de dualité faible.
  
  En général, pour deux paires d'espaces localement convexes séparés $\left(X,X^{*}\right)$ et $\left(Y,Y^{*}\right)$, en posant $f:X\to \mathbb {R} \cup \{+\infty \}$, on peut écrire le problème primal comme
  
      $\inf _{\mathrm {x} \in X}f(x).\,$
  
  Pour un problème sous contraintes, on peut corriger f par f + $I_{contraintes}$ avec I est la fonction indicatrice de l'espace des contraintes. Soit alors $F:X\times Y\to \mathbb {R} \cup \{+\infty \}$ une fonction de perturbation telle que $F(\mathrm {x} ,0)=f(\mathrm {x} )$. Le saut de dualité est alors donné par
  
      $\inf _{\mathrm {x} \in X}[F(\mathrm {x} ,0)]-\sup _{\mathrm {y} ^{*}\in Y^{*}}[-F^{*}(0,\mathrm {y} ^{*})]$
  
  avec F* la fonction conjuguée selon les deux $variables^,^,.$
  
  En optimisation calculatoire, un autre "saut de dualité" est souvent évoqué, qui est la différence de valeurs entre toute solution duale et la valeur d'un itéré réalisable mais sous-optimal du problème primal. Ce "saut de dualité" quantifie la discrépance entre la valeur d'un itéré courant réalisable mais sous-optimal du problème primal et la valeur du problème dual ; cette dernière est, sous des conditions de régularité, égale à la valeur de la relaxation convexe du problème primal : la relaxation convexe est le problème apparaissant en remplaçant un ensemble non convexe réalisable avec son enveloppe convexe fermée et une fonction non convexe par sa fermeture convexe, soit la fonction dont l'épigraphe est l'enveloppe convexe fermée de la fonction objectif primale $originale^,^,^,^,^,^,^,^,.$
  
  ## Exemples
  
  ### Programmation linéaire sur espace non convexe
  
  On considère le problème de minimisation
  
      $\min _{(x,y,z)\in X}f(x,y,z)=10-3x-2y-z,\ X=\{(x,y,z)\in \{0;1\}^{3},2x+3y+4z\leq 4\}.$
  
  Le maximum est atteint en p* =f(1,0,0) = 7. Par la méthode de la relaxation lagrangienne, on définit le lagrangien
  
      $L(x,y,z,\mu )=f(x,y,z)+\mu (2x+3y+4z-4)=10-4\mu +(-3+2\mu )x+(-2+3\mu )y+(-1+4\mu )z.$
  
  à partir duquel on construit le problème dual
  
      $\inf \left(10-4\mu +(-3+2\mu )x+(-2+3\mu )y+(-1+4\mu )z\right).$
  