Théorème de l'enveloppe

Le théorème de l'enveloppe est un résultat de la différentiabilité de la fonction objective d'un problème d'optimisation paramétré. Quand les paramètres de la fonction objective changent, le théorème de l'enveloppe montre que les changements dans l'optimiseur de l'objectif ne contribuent pas au changement dans la fonction objective. Le théorème de l'enveloppe est un outil important pour la comparaison des modèles d'optimisation.

Théorème

Notons $f(x,\alpha )$ et $g_j(x,\alpha ),j=1,2,\dots ,m$ valeurs réelles sur ${ℝ}^{n+l}$ et $x\in {ℝ}^n$ sont des variables et $\alpha \in {ℝ}^l$ sont des paramètres. On considère le problème de trouver $x$ pour une certaine valeur de $\alpha$ :

$\underset{x}{\max }f(x,\alpha )$ sachant que $g_j(x,\alpha )\ge 0,j=1,2,\dots ,m$ et $x\ge 0$.

L'expression du Lagrangien de ce problème est

$ℒ(x,\lambda ,\alpha )=f(x,\alpha )+\lambda \cdot g(x,\alpha )$

où $\lambda \in {ℝ}^m$ sont les multiplicateurs de Lagrange. Soit $x^{\ast }(\alpha )$ et ${\lambda }^{\ast }(\alpha )$ la solution qui maximise la fonction objective f sous réserve des contraintes (et donc sont des points col du Lagrangien),

${ℒ}^{\ast }(\alpha )\equiv f(x^{\ast }(\alpha ),\alpha )+{\lambda }^{\ast }(\alpha )\cdot g(x^{\ast }(\alpha ),\alpha ),$

et on définit la valeur de la fonction

$V(\alpha )\equiv f(x^{\ast }(\alpha ),\alpha ).$

Ensuite, nous avons le théorème suivantModèle:,.

Théorème: Supposons que $V$ et $ℒ$ sont des fonctions continûment dérivables. Alors :

$\frac{\partial V(\alpha )}{\partial {\alpha }_k}=\frac{\partial {ℒ}^{\ast }(\alpha )}{\partial {\alpha }_k}=\frac{\partial ℒ(x^{\ast }(\alpha ),{\lambda }^{\ast }(\alpha ),\alpha )}{\partial {\alpha }_k},k=1,2,\dots ,l$

où $\partial ℒ/\partial {\alpha }_k=\partial f/\partial {\alpha }_k+\lambda \cdot \partial g/\partial {\alpha }_k$

Voir aussi

• Lemme de Hotelling
• Identité de Roy