Existe-t-il un moyen de lier le théorème de Berge du maximum au théorème de l'enveloppe?

Le théorème de Berge déclare

Soit , une fonction conjointe continue, un continu (les deux correspondance compacte supérieure et inférieure hémicontinue. La fonction de valeur maximisée et le maximiseur sont V (\ theta): = \ max_ {x \ in X} f (x, \ theta) C ^ \ ast (\ theta): = \ {x \ in C (\ theta) \ mid f (x, \ theta) = V (\ theta) \} Alors V: \ Theta \ to \ mathbb R est continu et C ^ \ ast: \ Theta \ rightrightarrows X est hémicontinu supérieur.$X \in \mathbb R^m, \Theta \in \mathbb R^n$$f : X \times \Theta \to \mathbb R$$C : \Theta \rightrightarrows X$

$$V(\theta) := \max_{x \in X}f(x, \theta)$$ $$C^\ast(\theta):=\{x \in C(\theta) \mid f(x, \theta )=V(\theta)\}$$ $V : \Theta \to \mathbb R$$C^\ast :\Theta \rightrightarrows X$

Selon l'analyse microéconomique de Varian (1992), page 490, le théorème de l'enveloppe est simplement:

$$\frac{dM(a)}{da}=\frac{\partial f(x,a)}{\partial a}\mid_{x=x(a)}$$

$x(a)$ est le maximiseur de $f(\cdot, a)$ .

Il me semble que le théorème de l'enveloppe implique le théorème de Berge, mais la dérivation semble beaucoup plus simple. Y a-t-il une relation entre les deux?

Ils sont liés et relèvent généralement de la même discussion, mais comme @Alecos le mentionne dans les commentaires, les deux théorèmes montrent des choses différentes.

Je suppose que la connexion que vous recherchez est le fait que si le dérivé existe, puis parce que la différentiabilité implique la continuité, vous pourriez en tirer une partie du théorème du maximum. Cependant, pour comparer et contraster deux théorèmes, vous ne devez pas simplement regarder les résultats. Vous devez également examiner les hypothèses. Par exemple, le théorème du maximum ne suppose aucune sorte de différentiabilité. Le théorème de l'enveloppe le fait (au moins certaines formes de celui-ci). Dans tous les cas, les hypothèses qui entrent dans chacune sont différentes (certaines plus fortes, d'autres plus faibles).

Il y a aussi ça. Le théorème de l'enveloppe ne vous dit rien de la fonction de contrôle. Par conséquent, vous ne pourrez certainement pas obtenir le résultat que est hémicontinu supérieur.$C^*$

Citant l'OP d'un commentaire

Quelle sorte de conditions sur la fonction d'utilité et la contrainte nous permet d'appliquer le théorème de l'enveloppe seulement après avoir établi la continuité de la fonction de valeur par le théorème de Berge? people.hss.caltech.edu/~pbs/expfinance/Readings/Lucas1978.pdf

Dans le document référencé de Lucas (1978), la proposition 1 établit que

où est la fonction de valeur et est sa définition. Il semble donc que ce soit la continuité de la fonction Price qui soit choisie comme condition ici, mais plus tôt dans l'article, Lucas définit la fonction Utility comme une fonction non négative qui est$v(z,y;p)$$(i)$

continuellement différenciable, borné, croissant et strictement concave

La proposition 2 de l'article établit la différentiabilité de la fonction valeur, sans nécessiter d'autres hypothèses.