एनवेलप प्रमेय

गणित और अर्थशास्त्र में, एनवेलप प्रमेय एक पैरामिट्रीकृत अनुकूलन समस्या के मान फलन के अवकलनीयता गुणों के बारे में प्रमुख परिणाम है। जैसा कि हम उद्देश्य के मापदंडों को बदलते हैं, एनवेलप प्रमेय से पता चलता है कि, निश्चित अर्थ में, उद्देश्य के अनुकूलक में परिवर्तन उद्देश्य फलन में परिवर्तन के लिए योगदान नहीं करते हैं। लिफ़ाफ़ा प्रमेय अनुकूलन मॉडल के तुलनात्मक सांख्यिकी के लिए महत्वपूर्ण उपकरण है।

एनवेलप शब्द मान फलन के रेखांकन का वर्णन करने से प्राप्त होता है, जो फलन के मापदण्डयुक्त परिवार के रेखांकन के ऊपरी लिफाफे के रूप में होता है $$\left\{ f\left( x,\cdot \right) \right\} _{x\in X}$$ जो अनुकूलित हैं।

कथन
आज्ञा से $$f(x,\alpha)$$ और $$g_{j}(x,\alpha), j = 1,2, \ldots, m$$ वास्तविक-मूल्यवान निरंतर भिन्न-भिन्न कार्यों पर $$\mathbb{R}^{n+l}$$, जहाँ $$x \in \mathbb{R}^{n}$$ विकल्प चर हैं और $$\alpha \in \mathbb{R}^{l}$$ मापदण्ड हैं, और चुनने की समस्या पर विचार करें $$x$$, किसी प्रदत्त के लिए $$\alpha$$, इतनी रूप में:
 * $$ \max_{x} f(x, \alpha)$$ का विषय है $$g_{j}(x,\alpha) \geq 0, j = 1,2, \ldots, m$$ और $$x \geq 0$$.

इस समस्या की लैग्रेंजियन अभिव्यक्ति द्वारा दिया गया है
 * $$\mathcal{L} (x, \lambda, \alpha) = f(x, \alpha) + \lambda \cdot g(x, \alpha)$$

जहाँ $$\lambda \in \mathbb{R}^{m}$$ लैग्रेंज गुणक हैं। अब चलो $$x^{\ast}(\alpha)$$ और $$\lambda^{\ast}(\alpha)$$ एक साथ ऐसा समाधान हो जो बाधाओं के अधीन उद्देश्य फलन f को अधिकतम करता है (और इसलिए लैग्रेंजियन के काठी बिंदु हैं),
 * $$\mathcal{L}^{\ast} (\alpha) \equiv f(x^{\ast}(\alpha), \alpha) + \lambda^{\ast}(\alpha) \cdot g(x^{\ast}(\alpha), \alpha),$$

और मूल्य फलन को परिभाषित करें
 * $$V(\alpha) \equiv f(x^{\ast}(\alpha), \alpha).$$

तब हमारे पास निम्नलिखित प्रमेय है।

प्रमेय: मान लीजिए $$V$$ और $$\mathcal{L}$$ निरन्तर अवकलनीय हैं। तब
 * $$ \frac{\partial V(\alpha)}{\partial \alpha_{k}} = \frac{\partial \mathcal{L}^{\ast} (\alpha)}{\partial \alpha_{k}} = \frac{\partial \mathcal{L} (x^{\ast} (\alpha), \lambda^{\ast} (\alpha), \alpha)}{\partial \alpha_{k}}, k = 1, 2, \ldots, l$$

जहाँ $$\partial \mathcal{L} / \partial \alpha_{k} = \partial f / \partial \alpha_{k} + \lambda \cdot \partial g / \partial \alpha_{k}$$.

एकपक्षीय विकल्प के लिए समुच्चय
होने देना $$X$$ विकल्प समुच्चय को निरूपित करें और प्रासंगिक मापदण्ड होने दें $$t\in \lbrack 0,1]$$. दे $$f:X\times \lbrack 0,1]\rightarrow R$$ पैरामिट्रीकृत उद्देश्य फलन, मान फलन को निरूपित करें $$V$$ और इष्टतम विकल्प पत्राचार (समुच्चय-वैल्यू फलन) $$X^{\ast }$$ द्वारा दिया गया है:

एनवेलप प्रमेय मान फलन के लिए पर्याप्त स्थितियों का वर्णन करता है $$V$$ मापदण्ड में अलग-अलग होने के लिए $$t$$ और इसके व्युत्पन्न का वर्णन करें

जहाँ $$f_{t}$$ के आंशिक व्युत्पन्न को दर्शाता है $$f$$ इसके संबंध में $$t$$. अर्थात्, मापदण्ड के संबंध में मूल्य फलन का व्युत्पन्न उद्देश्य फलन के आंशिक व्युत्पन्न के संबंध में बराबर होता है $$t$$ अधिकतम स्तर को अपने इष्टतम स्तर पर स्थिर रखना।

पारंपरिक एनवेलप प्रमेय व्युत्पत्ति के लिए प्रथम-क्रम की स्थिति का उपयोग करते हैं ($$), जिसके लिए आवश्यक है कि चुनाव समुच्चय हो $$X$$ उत्तल और सामयिक संरचना, और उद्देश्य फलन है $$f$$ चर में अवकलनीय हो $$x$$. (तर्क यह है कि मैक्सिमाइज़र में परिवर्तनों का इष्टतम पर केवल दूसरा क्रम प्रभाव होता है और इसलिए इसे अनदेखा किया जा सकता है।) चूंकि, कई अनुप्रयोगों में जैसे कि अनुबंध सिद्धांत और खेल सिद्धांत में प्रोत्साहन बाधाओं का विश्लेषण, गैर-उत्तल उत्पादन समस्याएं,और मोनोटोन या शक्तिशाली तुलनात्मक सांख्यिकी, विकल्प समुच्चय और उद्देश्य कार्यों में सामान्यतः पारंपरिक एनवेलप प्रमेयों द्वारा आवश्यक संस्थानिक और उत्तल गुणों की कमी होती है।

पॉल मिलग्रोम और सेगल (2002) ने निरीक्षण किया कि पारंपरिक एनवेलप सूत्र मूल्य फलन के किसी भी भिन्नता बिंदु पर मनमाना विकल्प समुच्चय के साथ अनुकूलन समस्याओं के लिए है, परंतु कि उद्देश्य फलन मापदण्ड में अलग-अलग हो:

प्रमेय 1: चलो $$t\in \left( 0,1\right) $$ और $$x\in X^{\ast }\left(t\right) $$. यदि दोनों $$V^{\prime }\left( t\right) $$ और $$f_{t}\left(x,t\right) $$ उपस्थितहै, एनवेलप सूत्र ($$) रखता है।

सबूत: समीकरण ($$) का अर्थ है कि के लिए $$x\in X^{\ast }\left( t\right) $$,


 * $$ \max_{s\in \left[ 0,1\right] }\left[ f\left( x,s\right) -V\left( s\right)\right] =f\left( x,t\right) -V\left( t\right) =0. $$

मान्यताओं के अनुसार, प्रदर्शित अधिकतमकरण समस्या का उद्देश्य कार्य भिन्न होता है $$s=t$$, और इस अधिकतमकरण के लिए प्रथम-क्रम की स्थिति बिल्कुल समीकरण है ($$). क्यू.इ.डी.

जबकि सामान्य रूप से मूल्य फलन की भिन्नता के लिए शक्तिशाली धारणाओं की आवश्यकता होती है, कई अनुप्रयोगों में कमजोर स्थितियां जैसे पूर्ण निरंतरता, भिन्नता लगभग हर जगह, या बाएं और दाएं-भिन्नता, पर्याप्त होती है। विशेष रूप से, मिलग्रोम और सहगल (2002) प्रमेय 2 के लिए पर्याप्त स्थिति प्रदान करता है $$V$$ बिल्कुल निरंतर होना, जिसका अर्थ है कि यह लगभग हर जगह अलग-अलग है और इसके व्युत्पन्न के अभिन्न अंग के रूप में प्रदर्शित किया जा सकता है:

प्रमेय 2: मान लीजिए कि $$f(x,\cdot )$$ सभी के लिए नित्य है $$x\in X$$. यह भी मान लीजिए कि एक पूर्णांकीय फलन उपस्थित है $$b:[0,1]$$ $$\rightarrow $$ $$\mathbb{R}_{+}$$ ऐसा है कि $$|f_{t}(x,t)|\leq b(t)$$ सभी के लिए $$x\in X$$ और लगभग सभी $$t\in \lbrack 0,1]$$. तब $$V$$ नितांत सतत है। मान लीजिए, इसके अतिरिक्त $$f(x,\cdot )$$ सभी के लिए अलग-अलग है $$x\in X$$, ओर वो $$X^{\ast }(t)\neq \varnothing $$ लगभग हर जगह $$[0,1]$$. फिर किसी भी चयन के लिए $$x^{\ast }(t)\in X^{\ast }(t)$$,

प्रमाण: प्रयोग करना ($$)(1), किसी भी के लिए निरीक्षण करें $$t^{\prime},t^{\prime \prime }\in \lbrack 0,1]$$ साथ $$t^{\prime }<t^{\prime \prime }$$,


 * $$ |V(t^{\prime \prime })-V(t^{\prime })| \leq \sup_{x\in X}|f(x,t^{\prime\prime })-f(x,t^{\prime })| =\sup_{x\in X}\left\vert \int_{t^{\prime }}^{t^{\prime \prime }}f_{t}(x,t)dt\right\vert \leq \int_{t^{\prime }}^{t^{\prime \prime

}}\sup_{x\in X}|f_{t}(x,t)|dt\leq \int_{t^{\prime }}^{t^{\prime \prime }}b(t)dt.$$ इसका अर्थ यह है कि $$V$$ नितांत सतत है। इसलिए, $$V$$ लगभग हर जगह अलग-अलग है, और उपयोग कर रहा है ($$) उत्पन्नवार ($$). क्यू.इ.डी.

यह परिणाम आम गलत धारणा को दूर करता है कि मूल्य फलन के अच्छे व्यवहार के लिए अधिकतम अच्छे व्यवहार की आवश्यकता होती है। प्रमेय 2 मान फलन की पूर्ण निरंतरता सुनिश्चित करता है तथापि अधिकतमक असंतत हो। इसी तरह, मिल्ग्रोम और सेगल (2002) प्रमेय 3 का अर्थ है कि मूल्य फलन अलग-अलग होना चाहिए $$t=t_{0}$$ और इसलिए एनवेलप सूत्र को संतुष्ट करें ($$) जब परिवार $$\left\{ f\left( x,\cdot \right) \right\} _{x\in X}$$ पर समान अवकलनीय है $$t_{0}\in \left( 0,1\right) $$ और $$f_{t}\left(X^{\ast }\left( t\right) ,t_{0}\right) $$ एकल-मूल्यवान और निरंतर है $$t=t_{0}$$, तथापि अधिकतमकर्ता अवकलनीय न हो $$t_{0}$$ (उदाहरण के लिए, यदि $$X $$ असमानता बाधाओं के समुच्चय द्वारा वर्णित है और बाध्यकारी बाधाओं के समुच्चय में परिवर्तन होता है $$t_{0}$$).

निर्माता सिद्धांत के लिए आवेदन
प्रमेय 1 का तात्पर्य लाभ फलन के किसी भी अवकलनीयता बिंदु पर होटलिंग लेम्मा से है, और प्रमेय 2 का तात्पर्य उत्पादक अधिशेष सूत्र से है। औपचारिक रूप से, चलो $$\pi \left( p\right) $$ उत्पादन समुच्चय के साथ मूल्य-स्वीकारक फर्म के लाभ कार्य को निरूपित करें $$X\subseteq \mathbb{R}^{L}$$ मूल्यों का सामना करना पड़ रहा है $$p\in \mathbb{R}^{L}$$, और जाने $$x^{\ast }\left( p\right) $$ फर्म के आपूर्ति कार्य को निरूपित करें, अर्थात,


 * $$ \pi (p)=\max_{x\in X}p\cdot x=p\cdot x^{\ast }\left( p\right) \text{.} $$

होने देना $$t=p_{i}$$ (अच्छे की मूल्य $$i$$) और अन्य वस्तुओं की मूल्यें निर्धारित करें $$p_{-i}\in \mathbb{R}^{L-1}$$. प्रमेय 1 को प्रयुक्त करना $$f(x,t)=tx_{i}+p_{-i}\cdot x_{-i}$$ उत्पन्नवार $$\frac{\partial \pi (p)}{\partial p_{i}}=x_{i}^{\ast }(p)$$ (फर्म की अच्छे की इष्टतम आपूर्ति $$i$$). प्रमेय 2 प्रयुक्त करना (जिसकी मान्यताओं को सत्यापित किया जाता है $$p_{i}$$ सीमित अंतराल तक सीमित है) उपज


 * $$\pi (t,p_{-i})-\pi (0,p_{-i})=\int_{0}^{p_{i}}x_{i}^{\ast }(s,p_{-i})ds, $$

अर्थात निर्माता अधिशेष $$\pi (t,p_{-i})-\pi (0,p_{-i})$$ अच्छे के लिए फर्म के आपूर्ति वक्र के अनुसार एकीकृत करके प्राप्त किया जा सकता है $$i$$.

तंत्र डिजाइन और नीलामी सिद्धांत के लिए आवेदन
ऐसे एजेंट पर विचार करें जिसकी उपयोगिता कार्य करती है $$f(x,t)$$ परिणामों से अधिक $$x\in \bar{X}$$ उसके प्रकार पर निर्भर करता है $$t\in \lbrack 0,1]$$. होने देना $$X\subseteq \bar{X}$$ विभिन्न संदेशों को भेजकर तंत्र में एजेंट द्वारा प्राप्त किए जा सकने वाले संभावित परिणामों के मेनू का प्रतिनिधित्व करता है। एजेंट की संतुलन उपयोगिता $$V(t)$$ तंत्र में तब (1), और समुच्चय द्वारा दिया जाता है $$X^{\ast }(t)$$ तंत्र के संतुलन के परिणाम (2) द्वारा दिए गए हैं। कोई चयन $$x^{\ast }(t)\in X^{\ast }(t)$$ तंत्र द्वारा कार्यान्वित विकल्प नियम है। मान लीजिए कि एजेंट की उपयोगिता कार्य करती है $$f(x,t)$$ अवकलनीय है और बिल्कुल सतत है $$t$$ सभी के लिए $$x\in Y$$, ओर वो $$\sup_{x\in \bar{X}}|f_{t}(x,t)|$$ पर समाकलनीय है $$[0,1]$$. तब प्रमेय 2 का अर्थ है कि एजेंट की संतुलन उपयोगिता $$V$$ किसी दिए गए विकल्प नियम को प्रयुक्त करने वाले किसी भी तंत्र में $$x^{\ast }$$ अभिन्न स्थिति (4) को पूरा करना चाहिए।

निरंतर प्रकार के रिक्त स्थान के साथ तंत्र डिजाइन समस्याओं के विश्लेषण में अभिन्न स्थिति (4) महत्वपूर्ण कदम है। विशेष रूप से, मायर्सन (1981) के एकल-आइटम नीलामियों के विश्लेषण में, बोली लगाने वाले के दृष्टिकोण से परिणाम को इस रूप में वर्णित किया जा सकता है: $$x=\left( y,z\right) $$, जहाँ $$y$$ वस्तु प्राप्त करने की बोलीदाता की संभावना है और $$z$$ उसका अपेक्षित भुगतान है, और बोली लगाने वाले की अपेक्षित उपयोगिता रूप लेती है $$f\left( \left( y,z\right) ,t\right) =ty-z$$. इस स्थितियों में दे रहे हैं $$\underline{t}$$ बोली लगाने वाले के न्यूनतम संभव प्रकार को दर्शाता है, बोली लगाने वाले की संतुलन अपेक्षित उपयोगिता के लिए अभिन्न स्थिति (4)। $$V$$ रूप धारण कर लेता है


 * $$ V(t)-V(\underline{t})=\int_{0}^{t}y^{\ast }(s)ds. $$

(इस समीकरण की व्याख्या उस फर्म के लिए निर्माता अधिशेष सूत्र के रूप में की जा सकती है, जिसकी उत्पादन विधि संख्या को परिवर्तित करने के लिए है $$z$$ संभावना में $$y$$ वस्तु को जीतने की नीलामी द्वारा परिभाषित किया जाता है और जो निश्चित मूल्य t पर पुनर्विक्रय करती है). बदले में यह स्थिति मायर्सन (1981) द्वारा मनाई गई राजस्व समानता को प्राप्त करती है: नीलामी में अपेक्षित राजस्व उत्पन्न होता है जिसमें बोलीदाताओं के पास स्वतंत्र निजी मूल्य होते हैं जो पूरी तरह से बोली लगाने वालों की संभावनाओं द्वारा निर्धारित होते हैं। $$y^{\ast }\left( t\right) $$ सभी प्रकार के लिए वस्तु प्राप्त करने का $$t$$ साथ ही अपेक्षित अदायगी के द्वारा $$V(\underline{t})$$ बोलीदाताओं के निम्नतम प्रकारों में से। अंत में, यह स्थिति मायर्सन (1981) की इष्टतम नीलामियों में महत्वपूर्ण कदम है।

एनवेलप प्रमेय के तंत्र डिजाइन के अन्य अनुप्रयोगों के लिए मिर्लीस (1971) देखें, होल्मस्ट्रॉम (1979), लॉफॉन्ट और मास्किन (1980), रिले और सैमुएलसन (1981), फडेनबर्ग और टिरोल (1991), और विलियम्स (1999)। जबकि इन लेखकों ने एनवेलप प्रमेय को (टुकड़े के अनुसार) लगातार अलग-अलग विकल्प के नियमों या यहां तक ​​​​कि संकीर्ण वर्गों पर ध्यान देने के द्वारा व्युत्पन्न और शोषण किया, यह कभी-कभी विकल्प नियम को प्रयुक्त करने के लिए इष्टतम हो सकता है जो टुकड़े-टुकड़े लगातार अलग-अलग नहीं होता है। ( उदाहरण मायर्सन (1991) के अध्याय 6.5 में वर्णित रैखिक उपयोगिता वाली व्यापारिक समस्याओं का वर्ग है। ) ध्यान दें कि अभिन्न स्थिति (3) अभी भी इस समुच्चयिंग में बनी हुई है और होल्मस्ट्रॉम के लेम्मा (होल्मस्ट्रॉम, 1979) जैसे महत्वपूर्ण परिणामों को दर्शाती है। मायर्सन लेम्मा (मायर्सन, 1981), राजस्व तुल्यता प्रमेय (नीलामी के लिए), ग्रीन-लॉफोंट-होल्मस्ट्रॉम प्रमेय (ग्रीन और लॉफोंट, 1979; होल्मस्ट्रॉम, 1979), मायर्सन-सैटरथवेट अक्षमता प्रमेय (मायर्सन और सैटरथवेट, 1983), जेहील-मोल्दोवानु असंभवता प्रमेय (जेहिल और मोल्दोवु, 2001), मैकेफी-मैकमिलन कमजोर-कार्टेल्स प्रमेय (मैकएफी और मैकमिलन, 1992), और वेबर मार्टिंगेल प्रमेय (वेबर, 1983), आदि। इन अनुप्रयोगों का विवरण मिलग्रोम (2004) के अध्याय 3 में प्रदान किया गया है, जो मुख्य रूप से एनवेलप प्रमेय और मांग सिद्धांत में अन्य परिचित विधि और अवधारणाओं के आधार पर नीलामी और तंत्र डिजाइन विश्लेषण में सुरुचिपूर्ण और एकीकृत ढांचा प्रदान करता है।

बहुआयामी मापदण्ड रिक्त स्थान के लिए अनुप्रयोग
बहुआयामी मापदण्ड स्थान के लिए $$T\subseteq \mathbb{R}^{K}$$, प्रमेय 1 को मूल्य के आंशिक और दिशात्मक डेरिवेटिव पर प्रयुक्त किया जा सकता है फलन। यदि दोनों उद्देश्य कार्य करते हैं $$f$$ और मूल्य फलन $$V$$ में (पूरी तरह से) अलग-अलग हैं $$t$$, प्रमेय 1 का तात्पर्य उनके प्रवणता्स के लिए एनवेलप सूत्र से है: $$\nabla V\left( t\right) =\nabla _{t}f\left( x,t\right) $$ प्रत्येक के लिए $$x\in X^{\ast }\left( t\right) $$. जबकि मान फलन की कुल अवकलनीयता सुनिश्चित करना आसान नहीं हो सकता है, प्रमेय 2 को अभी भी दो मापदण्ड मानों को जोड़ने वाले किसी भी सुगम पथ के साथ प्रयुक्त किया जा सकता है $$t_{0}$$ और $$t$$. अर्थात्, मान लीजिए कि कार्य करता है $$f(x,\cdot )$$ सभी के लिए अलग-अलग हैं $$x\in X$$ साथ $$|\nabla _{t}f(x,t)|\leq B$$ सभी के लिए $$x\in X,$$ $$t\in T$$. से सुगम मार्ग $$t_{0}$$ को $$t$$ अवकलनीय मानचित्रण द्वारा वर्णित है $$\gamma :\left[ 0,1\right] \rightarrow T$$ परिबद्ध व्युत्पन्न के साथ, जैसे कि $$\gamma \left( 0\right) =t_{0}$$ और $$\gamma \left( 1\right) =t$$. प्रमेय 2 का अर्थ है कि ऐसे किसी भी सुगम पथ के लिए, मान फलन के परिवर्तन को आंशिक प्रवणता के रेखा अभिन्न के रूप में व्यक्त किया जा सकता है $$\nabla _{t}f(x^{\ast }(t),t)$$ पथ के साथ उद्देश्य फलन का:
 * $$ V(t)-V(t_{0})=\int_{\gamma }\nabla _{t}f(x^{\ast }(s),s)\cdot ds. $$

विशेष रूप से, के लिए $$t=t_{0}$$, यह स्थापित करता है कि चक्रीय पथ किसी भी सुगम पथ के साथ एकीकृत होता है $$\gamma $$ शून्य होना चाहिए:
 * $$\int \nabla _{t}f(x^{\ast }(s),s)\cdot ds=0. $$

यह अभिन्नता की स्थिति बहुआयामी प्रकारों के साथ तंत्र डिजाइन में महत्वपूर्ण भूमिका निभाती है, किस प्रकार के चयन नियमों को बाधित करती है $$x^{\ast }$$ तंत्र-प्रेरित मेनू द्वारा बनाए रखा जा सकता है $$X\subseteq \bar{X}$$. निर्माता सिद्धांत के आवेदन में, के साथ $$x\in X\subseteq \mathbb{R}^{L}$$ फर्म के उत्पादन वेक्टर होने के नाते और $$t\in \mathbb{R}^{L}$$ मूल्य वेक्टर होने के नाते, $$f\left( x,t\right) =t\cdot x$$, और पूर्णता की स्थिति कहती है कि कोई भी तर्कसंगत आपूर्ति कार्य $$x^{\ast }$$ संतुष्ट करना चाहिए


 * $$ \int x^{\ast }(s)\cdot ds=0. $$

जब $$x^{\ast }$$ निरंतर अवकलनीय है, यह समाकलनीयता स्थिति प्रतिस्थापन मैट्रिक्स की समरूपता के समतुल्य है $$\left(\partial x_{i}^{\ast }\left( t\right) /\partial t_{j}\right) _{i,j=1}^{L}$$. (उपभोक्ता सिद्धांत में, व्यय न्यूनीकरण समस्या पर प्रयुक्त एक ही तर्क स्लटस्की मैट्रिक्स की समरूपता उत्पन्न करता है।)

मापदण्डीकृत बाधाओं के लिए आवेदन
अब मान लीजिए कि संभव समुच्चय $$X\left( t\right) $$ मापदण्ड पर निर्भर करता है, अर्थात,


 * $$ V(t) =\sup_{x\in X\left( t\right) }f(x,t) $$
 * $$ X^{\ast }(t) =\{x\in X\left( t\right) :f(x,t)=V(t)\}\text{, } $$

जहाँ $$ X\left( t\right) =\left\{ x\in X:g\left( x,t\right) \geq 0\right\}$$ कुछ के लिए $$ g:X\times \left[ 0,1\right] \rightarrow \mathbb{R}^{K}. $$

लगता है कि $$X$$ उत्तल समुच्चय है, $$f$$ और $$g$$ अवतल हैं $$x$$, और वहाँ उपस्थितहै $$\hat{x}\in X$$ ऐसा है कि $$g\left( \hat{x},t\right) >0$$ सभी के लिए $$t\in \left[ 0,1\right] $$. इन धारणाओं के अनुसार, यह सर्वविदित है कि उपरोक्त विवश अनुकूलन कार्यक्रम को सैडल पॉइंट के रूप में प्रस्तुत किया जा सकता है। लैग्रैंगियन के लिए सैडल-पॉइंट समस्या $$L\left( x,\lambda,t\right) =f(x,t)+\lambda\cdot g\left( x,t\right) $$, जहाँ $$\lambda \in \mathbb{R}_{+}^{K}$$ लैग्रेंजियन को कम करने के लिए विरोधी द्वारा चुने गए लैग्रेंज मल्टीप्लायरों का वेक्टर है। यह सैडल-पॉइंट समस्याओं के लिए मिल्ग्रोम और सेगल (2002, प्रमेय 4) एनवेलप प्रमेय के अनुप्रयोग की अनुमति देता है, अतिरिक्त मान्यताओं के अनुसार $$X$$ मानक रैखिक स्थान में कॉम्पैक्ट समुच्चय है, $$f$$ और $$g$$ में निरंतर हैं $$x$$, और $$f_{t}$$ और $$g_{t}$$ में निरंतर हैं $$\left( x,t\right) $$. विशेष रूप से, देना $$\left( x^{\ast}(t),\lambda^{\ast }\left( t\right) \right) $$ मापदण्ड मान के लिए लैग्रेंजियन के काठी बिंदु को निरूपित करें $$t$$, प्रमेय का तात्पर्य है $$V$$ पूर्णतया निरंतर है और संतुष्ट करता है


 * $$ V(t)=V(0)+\int_{0}^{t}L_{t}(x^{\ast }(s),\lambda^{\ast }\left( s\right) ,s)ds. $$

विशेष स्थितियों के लिए जिसमें $$f\left( x,t\right) $$ से स्वतंत्र है $$t$$, $$K=1$$, और $$g\left( x,t\right) =h\left( x\right) +t$$, सूत्र का तात्पर्य है $$V^{\prime }(t)=L_{t}(x^{\ast }(t),\lambda^{\ast }\left( t\right) ,t)=\lambda^{\ast}\left( t\right) $$ ए.ई. के लिए $$t$$. अर्थात लैग्रेंज गुणक $$\lambda^{\ast}\left( t\right) $$ बाधा अनुकूलन कार्यक्रम में इसकी प्रतिबिंब मूल्य है।

अन्य अनुप्रयोग
मिलग्रोम और सेगल (2002) प्रदर्शित करते हैं कि एनवेलप प्रमेय का सामान्यीकृत संस्करण उत्तल कार्यरचना, निरंतर अनुकूलन समस्याओं, सैडल-पॉइंट समस्याओं और इष्टतम अवरोधन समस्याओं पर भी प्रयुक्त किया जा सकता है।

यह भी देखें

 * उच्चतम प्रमेय
 * डांस्किन प्रमेय
 * होटलिंग की लेम्मा
 * ले चेटेलियर का सिद्धांत
 * रॉय की पहचान
 * मूल्य फलन