उत्तल संयुग्म

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

परिभाषा
मान लीजिये $$X$$ एक वास्तविक संख्या सांस्थितिक सदिश समष्टि है और मान लीजिये $$X^{*}$$ करने के लिए $$X$$ द्वैतसमष्‍टि हो। जिसे विहित द्वैध युग्मन रूप में दर्शाया जा सकता है


 * $$\langle \cdot, \cdot \rangle : X^{*} \times X \to \mathbb{R}$$

जिसे $$\left( x^*, x \right) \mapsto x^* (x)$$ द्वारा परिभाषित किया गया है

एक फलन $$f : X \to \mathbb{R} \cup \{ - \infty, + \infty \}$$ के लिए विस्तारित वास्तविक संख्या रेखा पर मान लेते हुए, इसका  निम्न फलन है


 * $$f^{*} : X^{*} \to \mathbb{R} \cup \{ - \infty, + \infty \}$$

जिसका मूल्य $$x^* \in X^{*}$$ पर सर्वोच्च के रूप में परिभाषित किया गया है:


 * $$f^{*} \left( x^{*} \right) := \sup \left\{ \left\langle x^{*}, x \right\rangle - f (x) ~\colon~ x \in X \right\},$$

या, समकक्ष, न्यूनतम के संदर्भ में:


 * $$f^{*} \left( x^{*} \right) := - \inf \left\{ f (x) - \left\langle x^{*}, x \right\rangle ~\colon~ x \in X \right\}.$$

इस परिभाषा की व्याख्या इसके सहायक अधिसमतल के संदर्भ में फलन के अभिलेख (गणित) के अवमुख समावरक के संकेतन के रूप में की जा सकती है।

उदाहरण
अधिक उदाहरणों के लिए देखें. = \begin{cases} b,     & x^{*}   =  a             \\ +\infty, & x^{*}  \ne a.  \end{cases} $$ f^{*}\left(x^{*} \right) = \frac{1}{q}|x^{*}|^q, 1  1. \end{cases} $$ f^{*}\left(x^{*} \right) = \begin{cases} x^{*} \ln x^{*} - x^{*}    , & x^{*}  > 0 \\ 0                          , & x^{*}  = 0 \\ \infty                     , & x^{*}  < 0. \end{cases} $$ घातीय फलन के उत्तल संयुग्म और लीजेंड्रे रूपांतर सहमत हैं, सिवाय इसके कि उत्तल संयुग्म के फलन का कार्यछेत्र अनुशासनपूर्वक से बड़ा है क्योंकि लीजेंड्रे रूपांतर केवल सकारात्मक वास्तविक संख्याओं के लिए परिभाषित किया गया है।
 * एक सजातीय फलन का उत्तल संयुग्म $$ f(x) = \left\langle a, x \right\rangle - b$$ है $$ f^{*}\left(x^{*} \right)
 * किसी घातांक फलन का उत्तल संयुग्म $$ f(x) = \frac{1}{p}|x|^p, 1 < p < \infty $$ है $$
 * निरपेक्ष मान फलन का उत्तल संयुग्म $$f(x) = \left| x \right|$$ है $$
 * घातीय फलन का उत्तल संयुग्म $$f(x)= e^x$$ है $$

अपेक्षित कमी के साथ संबंध (जोखिम पर औसत मूल्य)
उदाहरण के लिए यह लेख देखें।

मान लीजिए F एक यादृच्छिक चर X के संचयी वितरण फलन को दर्शाता है। फिर (भागों द्वारा एकीकृत), $$f(x):= \int_{-\infty}^x F(u) \, du = \operatorname{E}\left[\max(0,x-X)\right] = x-\operatorname{E} \left[\min(x,X)\right]$$ उत्तल संयुग्म है $$f^{*}(p)= \int_0^p F^{-1}(q) \, dq = (p-1)F^{-1}(p)+\operatorname{E}\left[\min(F^{-1}(p),X)\right] = p F^{-1}(p)-\operatorname{E}\left[\max(0,F^{-1}(p)-X)\right].$$

क्रमण
एक विशेष व्याख्या में रूपांतरण होता है $$f^\text{inc}(x):= \arg \sup_t t\cdot x-\int_0^1 \max\{t-f(u),0\} \, du,$$ चूँकि यह प्रारंभिक फलन f की गैर-घटती पुनर्व्यवस्था है; विशेष रूप से, $$f^\text{inc}= f$$ एफ गैर-घटने के लिए होता है।

गुण
एक सीमित उत्तल फलन का उत्तल संयुग्म फिर से एक सीमित उत्तल फलन है। एक बहुफलकीय उत्तल कार्य का उत्तल संयुग्म ( बहुतल अभिलेख (गणित) के साथ एक उत्तल फलन) फिर से एक बहुफलकीय उत्तल फलन है।

क्रम उत्क्रम
घोषित करें कि $$f \le g$$ यदि और केवल यदि सभी $$x$$ के लिए $$f(x) \le g(x)$$ है। तब उत्तल-संयुग्मन क्रम-विपरीत होता है, जिसका परिभाषा के अनुसार अर्थ यह है कि यदि $$f \le g$$ तो $$f^* \ge g^*$$


 * फलन के एक परिवार $$\left(f_\alpha\right)_\alpha$$ के लिए यह इस तथ्य से निकलता है कि उच्चकों को आपस में बदला जा सकता है
 * $$\left(\inf_\alpha f_\alpha\right)^*(x^*) = \sup_\alpha f_\alpha^*(x^*),$$
 * $$\left(\inf_\alpha f_\alpha\right)^*(x^*) = \sup_\alpha f_\alpha^*(x^*),$$

और अधिकतम-न्यूनतम असमानता से


 * $$\left(\sup_\alpha f_\alpha\right)^*(x^*) \le \inf_\alpha f_\alpha^*(x^*).$$

द्विसंयुग्मी
किसी फलन का उत्तल संयुग्म हमेशा निचला अर्ध-निरंतर होता है। द्विसंयुग्मी $$f^{**}$$ (उत्तल संयुग्म का उत्तल संयुग्म) सीमित अवमुख समावरक भी है, यानी सबसे बड़ा निचला अर्ध-निरंतर उत्तल कार्य $$f^{**} \le f$$ है। उचित उत्तल कार्य $$f,$$ के लिए :$$f = f^{**}$$ यदि और केवल यदि $$f$$ फ़ेंशेल-मोरो प्रमेय द्वारा उत्तल और निचला अर्ध-निरंतर है।

फ़ेंशेल की असमानता
किसी भी फलन $f$ और इसका उत्तल संयुग्म $f *$ के लिए, फ़ेंचेल की असमानता (जिसे फ़ेंचेल-यंग असमानता के रूप में भी जाना जाता है) प्रत्येक $$x \in X$$ और $p \in X^{*}$ के लिए लागू होती है:


 * $$\left\langle p,x \right\rangle \le f(x) + f^*(p).$$

इसके अतिरिक्त, समानता तभी कायम रहती है जब $$p \in \partial f(x)$$ है।

प्रमाण उत्तल संयुग्म की परिभाषा $$f^*(p) = \sup_{\tilde x} \left\{ \langle p,\tilde x \rangle - f(\tilde x) \right\} \ge \langle p,x \rangle - f(x)$$ से मिलता है।

उत्तलता
दो कार्यों $$f_0$$ और $$f_1$$ और एक संख्या $$0 \le \lambda \le 1$$ उत्तलता संबंध के लिए


 * $$\left((1-\lambda) f_0 + \lambda f_1\right)^{*} \le (1-\lambda) f_0^{*} + \lambda f_1^{*}$$

धारण करता है। $${*}$$ संचालन स्वयं उत्तल मानचित्रण है।

अनंत संवलन
दो कार्यों का अनंत संवलन (या एपि-सम) $$f$$ और $$g$$ निम्न रूप में परिभाषित किया जाता है


 * $$\left( f \operatorname{\Box} g \right)(x) = \inf \left\{ f(x-y) + g(y) \mid y \in \mathbb{R}^n \right\}.$$

मान लीजिये $$f_1, \ldots, f_{m}$$ उचित उत्तल कार्य, उत्तल और अर्ध-निरंतरता $$\mathbb{R}^{n}$$ पर कार्य करता है, फिर अनंत संवलन उत्तल और निचला अर्धविराम है (लेकिन जरूरी नहीं कि उचित हो), और निम्न को संतुष्ट करता है


 * $$\left( f_1 \operatorname{\Box} \cdots \operatorname{\Box} f_m \right)^{*} = f_1^{*} + \cdots + f_m^{*}.$$

दो कार्यों के अनंत संवलन की एक ज्यामितीय व्याख्या होती है: दो कार्यों के अनंत संवलन का (निश्चित) अभिलेख (गणित) उन कार्यों के (निश्चित) अभिलेख का मिन्कोव्स्की योग है।

तर्क अधिकतमीकरण
यदि फलन $$f$$ अवकलनीय है, तो इसका व्युत्पन्न उत्तल संयुग्म की गणना में अधिकतम तर्क है:
 * $$f^\prime(x) = x^*(x):= \arg\sup_{x^{*}} {\langle x, x^{*}\rangle} -f^{*}\left( x^{*} \right)$$ और
 * $$f^{{*}\prime}\left( x^{*} \right) = x\left( x^{*} \right):= \arg\sup_x {\langle x, x^{*}\rangle} - f(x);$$

इस तरह
 * $$x = \nabla f^*\left( \nabla f(x) \right),$$
 * $$x^{*} = \nabla f\left( \nabla f^*\left( x^{*} \right)\right),$$

और इसके अतिरिक्त
 * $$f^{\prime\prime}(x) \cdot f^{{*}\prime\prime}\left( x^{*}(x) \right) = 1,$$
 * $$f^{{*}\prime\prime}\left( x^{*} \right) \cdot f^{\prime\prime}\left( x(x^{*}) \right) = 1.$$

प्रवर्धन गुण
यदि कुछ $$\gamma>0$$ के लिए $$g(x) = \alpha + \beta x + \gamma \cdot f\left( \lambda x + \delta \right)$$ है, तब
 * $$g^{*}\left( x^{*} \right)= - \alpha - \delta\frac{x^{*}-\beta} \lambda + \gamma \cdot f^{*}\left(\frac {x^{*}-\beta}{\lambda \gamma}\right).$$

रैखिक परिवर्तनों के अंतर्गत व्यवहार
मान लीजिये $$A : X \to Y$$ एक परिबद्ध रैखिक संचालिका है। किसी भी उत्तल फलन $$f$$ के लिए $$X$$ पर :$$\left(A f\right)^{*} = f^{*} A^{*}$$है

जहाँ


 * $$(A f)(y) = \inf\{ f(x) : x \in X, A x = y \}$$

$$f$$ की पूर्व छवि है इसके संबंध में $$A$$ और $$A^{*}$$ का सहायक संचालक $$A$$ है। $$G$$

एक बंद उत्तल फलन $$f$$ आयतीय रैखिक परिवर्तनों के दिए गए सम्मुच्चय G के संबंध में सममित है,
 * $$f(A x) = f(x)$$ सभी $$x$$ और सभी $$A \in G$$ के लिए

यदि और केवल यदि यह उत्तल संयुग्म $$f^{*}$$ $$G$$ के संबंध में सममित है

चयनित उत्तल संयुग्मों की तालिका
निम्न तालिका कई सामान्य कार्यों के साथ-साथ कुछ उपयोगी गुणों के लिए लीजेंड्रे रूपांतरण प्रदान करती है।

यह भी देखें

 * द्वैध समस्या
 * फ़ेंशेल का द्वैत प्रमेय
 * पौराणिक रूपांतरण
 * उत्पादों के लिए यंग की असमानता

अग्रिम पठन







 * (271 pages)


 * (24 pages)