लेजेंड्रे परिवर्तन

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

वास्तविक रेखा पर पर्याप्त रूप से सुचारू कार्यों के लिए, लीजेंड्रे रूपांतरित होता है $$f^*$$ एक समारोह का $$f$$ एक योगात्मक स्थिरांक तक निर्दिष्ट किया जा सकता है, इस शर्त के द्वारा कि कार्यों के पहले डेरिवेटिव एक दूसरे के व्युत्क्रम कार्य हैं। इसे अवकलन के लिए संकेतन#Euler.27s संकेतन|यूलर के व्युत्पन्न संकेतन के रूप में अभिव्यक्त किया जा सकता है $$Df(\cdot) = \left( D f^* \right)^{-1}(\cdot)~,$$ कहाँ $$D$$ विभेदन का संचालक है, $$\cdot$$ संबद्ध फ़ंक्शन के तर्क या इनपुट का प्रतिनिधित्व करता है, $$(\phi)^{-1}(\cdot)$$ एक उलटा कार्य है जैसे कि $$(\phi) ^{-1}(\phi(x))=x$$,

या समकक्ष, के रूप में $$f'(f^{*\prime}(x^*)) = x^*$$ और $$f^{*\prime}(f'(x)) = x$$ विभेदीकरण के लिए अंकन में# लैग्रेंज का अंकन| लैग्रेंज का अंकन।

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

परिभाषा
होने देना $$I \sub \R$$ एक अंतराल हो (गणित), और $$f:I \to \R$$ एक उत्तल समारोह; फिर लीजेंड्रे का रूपांतरण $$f$$ कार्य है $$f^*:I^* \to \R$$ द्वारा परिभाषित $$f^*(x^*) = \sup_{x\in I}(x^*x-f(x)),\ \ \ \ x^*\in I^*$$ कहाँ $$\sup$$ निम्नतम और उच्चतम ओवर को दर्शाता है $$x$$ (अर्थात।, $$x$$ ऐसा चुना जाता है $$x^*x - f(x)$$ अधिकतम है), और एक फ़ंक्शन का डोमेन $$I^*$$ है $$I^*= \left \{x^*\in \R:\sup_{x\in I}(x^*x-f(x))<\infty \right \} ~.$$ परिवर्तन हमेशा अच्छी तरह से परिभाषित होता है जब $$f(x)$$ उत्तल कार्य है।

उत्तल कार्यों के लिए सामान्यीकरण $$f:X \to \R$$ उत्तल सेट पर $$X \sub \R^n$$ सीधा है: $$f^*:X^* \to \R$$ डोमेन है $$X^*= \left \{x^* \in \R^n:\sup_{x\in X}(\langle x^*,x\rangle-f(x))<\infty \right \}$$ और द्वारा परिभाषित किया गया है $$f^*(x^*) = \sup_{x\in X}(\langle x^*,x\rangle-f(x)),\quad x^*\in X^* ~,$$ कहाँ $$\langle x^*,x \rangle$$ के डॉट उत्पाद को दर्शाता है $$x^*$$ और $$x$$.

कार्यक्रम $$f^*$$ का उत्तल संयुग्मी फलन कहलाता है $$f$$. ऐतिहासिक कारणों से (विश्लेषणात्मक यांत्रिकी में निहित), संयुग्म चर को अक्सर निरूपित किया जाता है $$p$$, के बजाय $$x^*$$. यदि उत्तल कार्य $$f$$ पूरी रेखा पर परिभाषित किया गया है और हर जगह अलग-अलग कार्य है, फिर $$f^*(p)=\sup_{x\in I}(px - f(x)) = \left( p x - f(x) \right)|_{x = (f')^{-1}(p)} $$ y-अवरोधन के नकारात्मक के रूप में व्याख्या की जा सकती है$$y$$के एक समारोह के ग्राफ के लिए स्पर्शरेखा रेखा का अवरोधन $$f$$ जिसमें ढाल हो $$p$$.

लीजेंड्रे ट्रांसफॉर्मेशन बिंदुओं और रेखाओं के बीच द्वैत (प्रक्षेपी ज्यामिति) संबंध का एक अनुप्रयोग है। द्वारा निर्दिष्ट कार्यात्मक संबंध $$f$$ के एक सेट के रूप में समान रूप से अच्छी तरह से प्रदर्शित किया जा सकता है $$(x,y)$$ बिंदु, या उनके ढलान और अवरोधन मूल्यों द्वारा निर्दिष्ट स्पर्शरेखा रेखाओं के एक सेट के रूप में।

डेरिवेटिव के संदर्भ में लेजेंड्रे ट्रांसफॉर्म को समझना
अवकलनीय उत्तल फलन के लिए $$f$$ पहले व्युत्पन्न के साथ वास्तविक रेखा पर $$f'$$ और इसका उलटा $$(f')^{-1}$$, लीजेंड्रे का रूपांतरण $$f$$, $$ f^*$$, निर्दिष्ट किया जा सकता है, एक योज्य स्थिरांक तक, इस शर्त के द्वारा कि कार्यों के पहले डेरिवेटिव एक दूसरे के व्युत्क्रम कार्य हैं, अर्थात, $$f' = ((f^*)')^{-1}$$ और $$(f^*)' = (f')^{-1}$$.

इसे देखने के लिए पहले ध्यान दें कि अगर $$ f$$ वास्तविक रेखा पर एक उत्तल कार्य के रूप में अवकलनीय है और $$ \overline{x} $$ के कार्य का एक महत्वपूर्ण बिंदु (गणित) है $$ x \mapsto p \cdot x -f(x) $$, तब सर्वोच्चता प्राप्त की जाती है $$ \overline{x}$$ (उत्तलता से, इस विकिपीडिया पृष्ठ में पहला चित्र देखें)। इसलिए, लीजेंड्रे का परिवर्तन $$ f$$ है $$ f^*(p)= p \cdot \overline{x} - f(\overline{x})$$.

फिर, मान लीजिए कि पहला व्युत्पन्न $$f'$$ व्युत्क्रमणीय है और प्रतिलोम होने दें $$ g = (f')^{-1} $$. फिर प्रत्येक के लिए $$ p$$, बिंदु $$ g(p)$$ अद्वितीय महत्वपूर्ण बिंदु है $$ \overline{x}$$ समारोह का $$ x \mapsto px -f(x) $$ (अर्थात।, $$ \overline{x} = g(p)$$) क्योंकि $$ f'(g(p))=p $$ और फ़ंक्शन का पहला डेरिवेटिव के संबंध में $$x$$ पर $$ g(p)$$ है $$ p-f'(g(p))=0 $$. इसलिए हमारे पास है $$ f^*(p) = p \cdot g(p) - f(g(p))$$ प्रत्येक के लिए $$ p$$. के संबंध में विभेद करके $$ p$$, हम देखतें है $$(f^*)'(p) = g(p)+ p \cdot g'(p) - f'(g(p)) \cdot g'(p).$$ तब से $$ f'(g(p))=p$$ यह सरल करता है $$(f^*)'(p) = g(p) = (f')^{-1}(p)$$. दूसरे शब्दों में,$$(f^*)'$$ और $$f'$$ एक दूसरे के विपरीत हैं।

सामान्य तौर पर, अगर $$ h' = (f')^{-1} $$ के विपरीत के रूप में $$ f' $$, तब $$ h' = (f^*)' $$ तो एकीकरण देता है $$ f^* = h +c $$. एक स्थिरांक के साथ $$ c $$.

व्यावहारिक दृष्टि से दिया गया है $$f(x)$$, का पैरामीट्रिक प्लॉट $$xf'(x)-f(x)$$ बनाम $$f'(x)$$ के ग्राफ के बराबर है $$g(p)$$ बनाम $$p$$.

कुछ मामलों में (उदाहरण के लिए थर्मोडायनामिक क्षमता, नीचे), एक गैर-मानक आवश्यकता का उपयोग किया जाता है, जिसकी वैकल्पिक परिभाषा होती है $f *$ ऋण चिह्न के साथ, $$f(x) - f^*(p) = xp.$$

गुण
f^{**}(x) &{} = \left(x\cdot p_s - f^{*}(p_s)\right)|_{\frac{d}{dp}f^{*}(p=p_s) = x} \\[5pt] &{} = g(p_s)\cdot p_s - f^{*}(p_s) \\[5pt] &{} = g(p_s)\cdot p_s-(p_s g(p_s)-f(g(p_s)))\\[5pt] &{} = f(g(p_s)) \\[5pt] &{} = f(x)~. \end{align}$$
 * लीजेंड्रे एक उत्तल फलन का रूपांतरण करता है, जिसके दोहरे अवकलज सभी धनात्मक के रूप में उत्तल होते हैं।आइए इसे एक दोहरे अवकलनीय फलन द्वारा प्रदर्शित करें $$f$$ एक सकारात्मक दोहरे व्युत्पन्न के साथ (यानी, सकारात्मक मूल्यों के रूप में सभी दोहरे व्युत्पन्न मान) और एक विशेषण (उलटा) व्युत्पन्न के साथ। निश्चित के लिए $$p$$, होने देना $$\bar{x}$$ समारोह को अधिकतम करें $$px - f(x)$$ ऊपर $$x$$. फिर लीजेंड्रे का ट्रांसफॉर्मेशन $$f$$ है $$f^*(p) = p\bar{x} - f(\bar{x})$$, नोट किया कि $$\bar{x}$$ पर निर्भर करता है $$p $$ (जो ऊपर इस पृष्ठ के पहले चित्र में दिखाया जा सकता है)। इस प्रकार,$$f'(\bar{x}) = p$$अधिकतम करने की स्थिति से $$\frac{d}{dx}(px - f(x)) = p - f'(x)= 0 $$. इस प्रकार $$\bar{x} = g(p)$$ कहाँ $$g \equiv (f')^{-1}$$, मतलब है कि $$g$$ का विलोम है $$f'$$ जिसका व्युत्पन्न है $$f$$ (इसलिए $$f'(g(p))= p$$). ध्यान दें कि $$g$$ उलटा कार्यों और भेदभाव के साथ भी अलग-अलग है | व्युत्पन्न (उलटा कार्य नियम) के बाद,$$\frac{dg(p)}{dp} = \frac{1}{f(g(p))} ~.$$इस प्रकार लीजेंड्रे परिवर्तन $$f^*(p) = pg(p) - f(g(p))$$ अवकलनीय कार्यों की संरचना है, इसलिए यह अवकलनीय है। उत्पाद नियम और श्रृंखला नियम लागू करने से प्राप्त होता है$$\frac{d(f^{*})}{dp} = g(p) + \left(p - f'(g(p))\right)\cdot \frac{dg(p)}{dp} = g(p), $$दे रही है $$\frac{d^2(f^{*})}{dp^2} = \frac{dg(p)}{dp} = \frac{1}{f(g(p))} > 0,$$इसलिए $$f^*$$ उत्तल है।
 * इससे पता चलता है कि लिजेंड्रे रूपांतरण एक अंतर्वलन (गणित) है, अर्थात, $$f^{**} = f ~$$: के लिए उपरोक्त समानता का उपयोग करके $$g(p)$$, $$f^*(p)$$ और इसका व्युत्पन्न, $$\begin{align}

उदाहरण 1
घातीय कार्य पर विचार करें $$ f(x) = e^x,$$ जिसके पास डोमेन है $$I=\mathbb{R}$$. परिभाषा से, लीजेंड्रे रूपांतरण है $$ f^*(x^*) = \sup_{x\in \mathbb{R}}(x^*x-e^x),\quad x^*\in I^*$$ कहाँ $$I^*$$ तय होना बाकी है। सर्वोच्चता का मूल्यांकन करने के लिए, के व्युत्पन्न की गणना करें $$x^*x-e^x$$ इसके संबंध में $$x$$ और शून्य के बराबर सेट करें: $$ \frac{d}{dx} (x^*x-e^x) = x^*-e^x = 0. $$ व्युत्पन्न_परीक्षण#दूसरा-व्युत्पन्न_परीक्षण_(एकल_चर) $$-e^x$$ हर जगह ऋणात्मक होता है, इसलिए पर अधिकतम मान प्राप्त होता है $$x = \ln(x^*)$$. इस प्रकार, लीजेंड्रे परिवर्तन है $$ f^*(x^*) = x^*\ln(x^*)-e^{\ln(x^*)} = x^*(\ln(x^*) - 1) $$ और डोमेन है $$I^* = (0, \infty).$$ यह दर्शाता है कि किसी फलन के फलन का क्षेत्र और उसका लेजेंड्रे रूपांतरण भिन्न हो सकता है।

ढूँढ़ने के लिए $$ f^{**}(x) = \sup_{x^*\in \mathbb{R}}(xx^*-x^*(\ln(x^*) - 1)),\quad x\in I, $$ हम गणना करते हैं $$ \begin{aligned} 0 &= \frac{d}{dx^*}\big( xx^*-x^*(\ln(x^*) - 1)) \big) = x - \ln(x^*). \end{aligned} $$ इस प्रकार, अधिकतम होता है $$x^* = e^x$$ और $$ \begin{aligned} f^{**}(x) &= xe^x - e^x(\ln(e^x) - 1) = e^x, \end{aligned} $$ जिससे इसकी पुष्टि हो रही है $$f = f^{**},$$ आशा के अनुसार।

उदाहरण 2
होने देना $f(x) = cx^{2}$ पर परिभाषित $R$, कहाँ $c > 0$ एक निश्चित नियतांक है।

के लिए $x*$ निश्चित, का कार्य $x$, $x*x − f(x) = x*x − cx^{2}$ का पहला व्युत्पन्न है $x* − 2cx$ और दूसरा व्युत्पन्न $−2c$; पर एक स्थिर बिंदु है $x = x*/2c$, जो हमेशा अधिकतम होता है।

इस प्रकार, $I* = R$ और $$f^*(x^*)=\frac{ {x^*}^2}{4c} ~.$$ का पहला डेरिवेटिव $f$, 2$cx$, और का $f *$, $x*/(2c)$, एक दूसरे के व्युत्क्रम कार्य हैं। स्पष्ट रूप से, इसके अलावा, $$f^{**}(x)=\frac{1}{4 (1/4c)}x^2=cx^2~,$$ अर्थात् $f ** = f$.

उदाहरण 3
होने देना $f(x) = x^{2}$ के लिए $x ∈ I = [2, 3]$.

के लिए $x*$ हल किया गया, $x*x − f(x)$ लगातार चालू है $I$ कॉम्पैक्ट जगह, इसलिए यह हमेशा उस पर एक सीमित अधिकतम लेता है; यह इस प्रकार है कि $I* = R$.

पर स्थिर बिंदु $x = x*/2$ डोमेन में है $[2, 3]$ अगर और केवल अगर $4 ≤ x* ≤ 6$, अन्यथा अधिकतम या तो पर लिया जाता है $x = 2$, या $x = 3$. यह इस प्रकार है कि $$f^*(x^*)=\begin{cases} 2x^*-4, & x^*<4\\ \frac{{x^*}^2}{4}, & 4\leq x^*\leq 6,\\ 3x^*-9, & x^*>6. \end{cases}$$

उदाहरण 4
कार्यक्रम $f(x) = cx$ उत्तल है, प्रत्येक के लिए $x$ (लीजेंड्रे परिवर्तन को अच्छी तरह से परिभाषित करने के लिए सख्त उत्तलता की आवश्यकता नहीं है)। स्पष्ट रूप से $x*x − f(x) = (x* − c)x$ के कार्य के रूप में ऊपर से कभी भी बाध्य नहीं होता है $x$, जब तक $x* − c = 0$. इस तरह $f*$ पर परिभाषित किया गया है $I* = {c}$ और $f*(c) = 0$.

कोई अनैच्छिकता की जांच कर सकता है: बेशक $x*x − f*(x*)$ हमेशा एक फ़ंक्शन के रूप में घिरा होता है $x* ∈ {c}$, इस तरह $I ** = R$. फिर, सभी के लिए $x$ किसी के पास $$\sup_{x^*\in\{c\}}(xx^*-f^*(x^*))=xc,$$ और इसलिए $f **(x) = cx = f(x)$.

उदाहरण 5: कई चर
होने देना $$f(x)=\langle x,Ax\rangle+c$$ पर परिभाषित किया जाए $X = R^{n}$, कहाँ $A$ एक वास्तविक, सकारात्मक निश्चित मैट्रिक्स है।

तब $f$ उत्तल है, और $$\langle p,x\rangle-f(x)=\langle p,x \rangle-\langle x,Ax\rangle-c,$$ ढाल है $p − 2Ax$ और हेसियन मैट्रिक्स $−2A$, जो ऋणात्मक है; इसलिए स्थिर बिंदु $x = A^{−1}p/2$ अधिकतम है।

अपने पास $X* = R^{n}$, और $$f^*(p)=\frac{1}{4}\langle p,A^{-1}p\rangle-c.$$

लीजेंड्रे ट्रांसफॉर्म के तहत अंतर का व्यवहार
लेजेंड्रे रूपांतरण को भागों द्वारा एकीकरण से जोड़ा गया है, $p&thinsp;dx = d(px) − x&thinsp;dp$.

होने देना $f$ दो स्वतंत्र चरों का एक फलन हो $x$ और $y$, अंतर के साथ $$df = \frac{\partial f}{\partial x}\,dx + \frac{\partial f}{\partial y}\,dy = p\,dx + v\,dy.$$ मान लीजिए कि यह अंदर उत्तल है $x$ सभी के लिए $y$, ताकि कोई लेजेंड्रे ट्रांसफॉर्म इन कर सके $x$, साथ $p$ चर संयुग्मी $x$. चूंकि नया स्वतंत्र चर है $p$, अंतर $dx$ और $dy$ को सौंपना $dp$ और $dy$, यानी, हम नए आधार के संदर्भ में इसके अंतर के साथ एक और फ़ंक्शन बनाते हैं $dp$ और $dy$.

इस प्रकार हम कार्य पर विचार करते हैं $g(p, y) = f − px$ ताकि $$dg = df - p\,dx - x\,dp = -x\,dp + v\,dy$$ $$x = -\frac{\partial g}{\partial p}$$ $$v = \frac{\partial g}{\partial y}.$$ कार्यक्रम $−g(p, y)$ का लेजेंड्रे रूपांतरण है $f(x, y)$, जहां केवल स्वतंत्र चर $x$ द्वारा प्रतिस्थापित किया गया है $p$. यह थर्मोडायनामिक्स में व्यापक रूप से उपयोग किया जाता है, जैसा कि नीचे दिखाया गया है।

विश्लेषणात्मक यांत्रिकी
लैग्रेंजियन यांत्रिकी से हैमिल्टनियन यांत्रिकी को प्राप्त करने के लिए और इसके विपरीत शास्त्रीय यांत्रिकी में एक लीजेंड्रे परिवर्तन का उपयोग किया जाता है। एक विशिष्ट Lagrangian का रूप है

$$L(v,q)=\tfrac{1}2\langle v,Mv\rangle-V(q),$$ कहाँ $$(v,q)$$ पर निर्देशांक हैं $R^{n} × R^{n}$, $M$ एक सकारात्मक वास्तविक मैट्रिक्स है, और $$\langle x,y\rangle = \sum_j x_j y_j.$$ हरएक के लिए $q$ हल किया गया, $$L(v, q)$$ का उत्तल कार्य है $$v$$, जबकि $$V(q)$$ स्थिरांक की भूमिका निभाता है।

इसलिए लीजेंड्रे का रूपांतरण $$L(v, q)$$ के एक समारोह के रूप में $$v$$ हैमिल्टनियन फ़ंक्शन है, $$H(p,q)=\tfrac {1}{2} \langle p,M^{-1}p\rangle+V(q).$$ अधिक सामान्य सेटिंग में, $$(v, q)$$ स्पर्शरेखा बंडल पर स्थानीय निर्देशांक हैं $$T\mathcal M$$ कई गुना $$\mathcal M$$. प्रत्येक के लिए $q$, $$L(v, q)$$ स्पर्शरेखा स्थान का उत्तल कार्य है $V_{q}$. लीजेंड्रे रूपांतरण हैमिल्टनियन देता है $$H(p, q)$$ निर्देशांक के एक समारोह के रूप में $(p, q)$ cotangent बंडल की $$T^*\mathcal M$$; लेजेंड्रे रूपांतरण को परिभाषित करने के लिए उपयोग किया जाने वाला आंतरिक उत्पाद प्रासंगिक कैनोनिकल सहानुभूतिपूर्ण वेक्टर स्थान  से विरासत में मिला है। इस अमूर्त सेटिंग में, लीजेंड्रे ट्रांसफॉर्मेशन टॉटोलॉजिकल वन-फॉर्म से मेल खाता है।

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

उदाहरण के लिए, आंतरिक ऊर्जा व्यापक मात्रा एन्ट्रापी, आयतन और रासायनिक संरचना का एक स्पष्ट कार्य है $$ U = U \left (S,V,\{N_i\} \right ),$$ जिसमें कुल अंतर है $$ dU = T\,dS - P\,dV + \sum \mu_i \,dN _i.$$ आंतरिक ऊर्जा के (गैर-मानक) लीजेंड्रे परिवर्तन का उपयोग करके, कुछ सामान्य संदर्भ स्थिति को निर्धारित करना, $U$, मात्रा के संबंध में, $V$, तापीय धारिता  को लिखकर परिभाषित किया जा सकता है $$ H = U + PV = H (S,P,\{N_i\}),$$ जो अब स्पष्ट रूप से दबाव का कार्य है $P$, तब से $$ dH(S,P,\{N_i\}) = T\,dS + V\,dP + \sum \mu_i \,dN _i.$$ एन्थैल्पी उन प्रक्रियाओं के वर्णन के लिए उपयुक्त है जिनमें दबाव को परिवेश से नियंत्रित किया जाता है।

एंट्रॉपी के व्यापक चर से ऊर्जा की निर्भरता को स्थानांतरित करना भी संभव है, $S$, (अक्सर अधिक सुविधाजनक) गहन चर के लिए $T$, जिसके परिणामस्वरूप हेल्महोल्ट्ज़ ऊर्जा और गिब्स ऊर्जा उष्मागतिक मुक्त ऊर्जा प्राप्त होती है। हेल्महोल्ट्ज़ मुक्त ऊर्जा, $A$, और गिब्स ऊर्जा, $G$, क्रमशः आंतरिक ऊर्जा और एन्थैल्पी के लीजेंड्रे रूपांतरणों को करके प्राप्त किया जाता है, $$ A = U - TS ~,$$ $$ G = H - TS = U + PV - TS ~.$$ हेल्महोल्ट्ज़ मुक्त ऊर्जा अक्सर सबसे उपयोगी थर्मोडायनामिक क्षमता होती है जब तापमान और आयतन को परिवेश से नियंत्रित किया जाता है, जबकि गिब्स ऊर्जा अक्सर सबसे उपयोगी होती है जब तापमान और दबाव को परिवेश से नियंत्रित किया जाता है।

एक उदाहरण - चर संधारित्र
भौतिकी के एक अन्य उदाहरण के रूप में, समानांतर-प्लेट कैपेसिटर पर विचार करें, जिसमें प्लेटें एक दूसरे के सापेक्ष गति कर सकती हैं। ऐसा संधारित्र विद्युत ऊर्जा को स्थानांतरित करने की अनुमति देता है जो प्लेटों पर कार्य करने वाले बल द्वारा किए गए बाहरी यांत्रिक कार्य में संधारित्र में संग्रहीत होता है। कोई विद्युत आवेश को सिलेंडर (इंजन) में गैस के आवेश के समान मान सकता है, जिसके परिणामस्वरूप पिस्टन पर यांत्रिक बल लगाया जाता है।

के कार्य के रूप में प्लेटों पर बल की गणना करें $x$, वह दूरी जो उन्हें अलग करती है। बल खोजने के लिए, संभावित ऊर्जा की गणना करें, और फिर बल की परिभाषा को संभावित ऊर्जा फ़ंक्शन के ढाल के रूप में लागू करें।

समाई के संधारित्र में संग्रहीत ऊर्जा $C(x)$ और चार्ज करें $Q$ है

$$ U (Q, \mathbf{x}) = \frac{1}{2} QV = \frac{1}{2} \frac{Q^2}{C(\mathbf{x})},~$$ जहां प्लेटों के क्षेत्र पर निर्भरता, प्लेटों के बीच सामग्री का ढांकता हुआ स्थिरांक और पृथक्करण $x$ को समाई के रूप में दूर कर दिया जाता है $C(x)$. (एक समानांतर प्लेट संधारित्र के लिए, यह प्लेटों के क्षेत्रफल के समानुपाती और पृथक्करण के व्युत्क्रमानुपाती होता है।)

बल $F$ तब विद्युत क्षेत्र के कारण प्लेटों के बीच होता है $$ \mathbf{F}(\mathbf{x}) = -\frac{dU}{d\mathbf{x}} ~. $$ यदि संधारित्र किसी परिपथ से जुड़ा नहीं है, तो प्लेटों पर विद्युत आवेश चलते समय स्थिर रहता है, और बल इलेक्ट्रोस्टाटिक्स  ऊर्जा का ऋणात्मक ढाल है $$ \mathbf{F}(\mathbf{x}) = \frac{1}{2} \frac{dC}{d\mathbf{x}} \frac{Q^2}{C^2}. $$ हालाँकि, मान लीजिए, इसके बजाय, प्लेटों के बीच वाल्ट ेज $V$ को बैटरी (बिजली) से जोड़कर निरंतर बनाए रखा जाता है, जो निरंतर संभावित अंतर पर चार्ज के लिए जलाशय है; अब चार्ज वोल्टेज के बजाय परिवर्तनशील है, इसका लीजेंड्रे संयुग्म। बल खोजने के लिए, पहले गैर-मानक लीजेंड्रे रूपांतरण की गणना करें,

$$U^* = U - \left.\frac{\partial U}{\partial Q} \right|_\mathbf{x} \cdot Q =U - \frac{1}{2C(\mathbf{x})} \left. \frac{\partial Q^2}{\partial Q} \right|_\mathbf{x} \cdot Q = U - QV = \frac{1}{2} QV - QV = -\frac{1}{2} QV= - \frac{1}{2} V^2 C(\mathbf{x}).$$ बल अब इस लीजेंड्रे परिवर्तन का नकारात्मक ढाल बन गया है, अभी भी उसी दिशा में इशारा कर रहा है, $$ \mathbf{F}(\mathbf{x}) = -\frac{dU^*}{d\mathbf{x}}~.$$ दो संयुग्मित ऊर्जाएं एक दूसरे के विपरीत खड़ी होती हैं, केवल समाई की रैखिकता के कारण - अब को छोड़कर $Q$ अब स्थिर नहीं है। वे संधारित्र में ऊर्जा भंडारण के दो अलग-अलग मार्गों को दर्शाते हैं, जिसके परिणामस्वरूप, उदाहरण के लिए, संधारित्र की प्लेटों के बीच समान खिंचाव होता है।

संभाव्यता सिद्धांत
बड़े विचलन सिद्धांत में, दर फ़ंक्शन को एक यादृच्छिक चर के क्षण उत्पन्न करने वाले फ़ंक्शन के लघुगणक के लीजेंड्रे परिवर्तन के रूप में परिभाषित किया गया है। दर फलन का एक महत्वपूर्ण अनुप्रयोग आई.आई.डी. के योगों की पुच्छ संभावनाओं की गणना में है। यादृच्छिक चर।

सूक्ष्मअर्थशास्त्र
आपूर्ति (अर्थशास्त्र) खोजने की प्रक्रिया में सूक्ष्मअर्थशास्त्र में लेजेंड्रे परिवर्तन स्वाभाविक रूप से उत्पन्न होता है $S(P)$ किसी उत्पाद का एक निश्चित मूल्य दिया जाता है $P$ लागत वक्र जानने के लिए बाजार पर $C(Q)$, यानी निर्माता को बनाने/खनन/आदि की लागत। $Q$ दिए गए उत्पाद की इकाइयां।

एक साधारण सिद्धांत केवल लागत फलन पर आधारित आपूर्ति वक्र के आकार की व्याख्या करता है। मान लीजिए कि हमारे उत्पाद की एक इकाई का बाजार मूल्य है $P$. इस उत्पाद को बेचने वाली कंपनी के लिए, सबसे अच्छी रणनीति उत्पादन को समायोजित करना है $Q$ ताकि इसका लाभ अधिकतम हो। हम लाभ को अधिकतम कर सकते हैं $$\text{profit} = \text{revenue} - \text{costs} = PQ - C(Q)$$ के संबंध में अंतर करके $Q$ और हल करना $$P - C'(Q_\text{opt}) = 0.$$

$Q_{opt}$ इष्टतम मात्रा का प्रतिनिधित्व करता है $Q$ माल की जो निर्माता आपूर्ति करने को तैयार है, जो वास्तव में आपूर्ति ही है: $$S(P) = Q_\text{opt}(P) = (C')^{-1}(P).$$ यदि हम अधिकतम लाभ को कीमत के फलन के रूप में मानते हैं, $$\text{profit}_\text{max}(P)$$, हम देखते हैं कि यह लागत समारोह का लीजेंड्रे रूपांतरण है $$C(Q)$$.

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

ढलान के साथ एक रेखा का समीकरण $$p$$ और वाई-अवरोधन |$$y$$संवाद $$b$$ द्वारा दिया गया है ($$y = p x + b.$$ ) इस रेखा के लिए किसी फ़ंक्शन के ग्राफ़ को स्पर्श करने के लिए $$f$$ बिंदु पर $$\left(x_0, f(x_0)\right)$$ आवश्यक है $$f(x_0) = p x_0 + b$$ और $$p = f'(x_0).$$ कड़ाई से उत्तल फ़ंक्शन के व्युत्पन्न होने के नाते, फ़ंक्शन $$f'$$ सख्ती से मोनोटोन है और इस प्रकार इंजेक्शन समारोह है। के लिए दूसरा समीकरण हल किया जा सकता है $$x_0 = f^{\prime-1}(p),$$ के उन्मूलन की अनुमति देता है $$x_0$$ पहले से, और के लिए हल करना $$y$$संवाद $$b$$ इसकी ढलान के एक समारोह के रूप में स्पर्शरेखा का $$p,$$ $$b = f(x_0) - p x_0 = f\left(f^{\prime-1}(p)\right) - p \cdot f^{\prime-1}(p) = -f^\star(p)$$ कहाँ $$f^{\star}$$ के लीजेंड्रे परिवर्तन को दर्शाता है $$f.$$ के ग्राफ की स्पर्शरेखा रेखाओं का अनुक्रमित परिवार $$f$$ ढलान द्वारा पैरामीटरकृत $$p$$ इसलिए द्वारा दिया गया है $$y = p x - f^{\star}(p),$$ या, परोक्ष रूप से, समीकरण के समाधान द्वारा लिखा गया है $$F(x,y,p) = y + f^{\star}(p) - p x = 0~.$$ मूल फलन के ग्राफ को इस परिवार के लिफाफा (गणित) के रूप में लाइनों के इस परिवार से मांग कर पुनर्निर्माण किया जा सकता है $$\frac{\partial F(x,y,p)}{\partial p} = f^{\star\prime}(p) - x = 0.$$ खत्म करना $$p$$ इन दो समीकरणों से देता है $$y = x \cdot f^{\star\prime-1}(x) - f^{\star}\left(f^{\star\prime-1}(x)\right).$$ पहचान करना $$y$$ साथ $$f(x)$$ और लेजेंड्रे के परिवर्तन के रूप में पूर्ववर्ती समीकरण के दाहिने पक्ष को पहचानना $$f^{\star},$$ पैदावार $$f(x) = f^{\star\star}(x) ~.$$

एक से अधिक आयामों में किंवदंती परिवर्तन
एक खुले सेट उत्तल उपसमुच्चय पर एक भिन्न वास्तविक-मूल्यवान फ़ंक्शन के लिए $U$ का $R^{n}$ जोड़ी के लीजेंड्रे संयुग्म $(U, f)$ को जोड़ी के रूप में परिभाषित किया गया है $(V, g)$, कहाँ $V$ की छवि है $U$ ग्रेडिएंट मैपिंग के तहत $Df$, और $g$ कार्य चालू है $V$ सूत्र द्वारा दिया गया $$g(y) = \left\langle y, x \right\rangle - f(x), \qquad x = \left(Df\right)^{-1}(y)$$ कहाँ $$\left\langle u,v\right\rangle = \sum_{k=1}^n u_k \cdot v_k$$ स्केलर उत्पाद चालू है $R^{n}$. बहुआयामी परिवर्तन को इसके सहायक हाइपरप्लेन के संदर्भ में फ़ंक्शन के एपिग्राफ (गणित) के उत्तल हल के एन्कोडिंग के रूप में व्याख्या किया जा सकता है। वैकल्पिक रूप से, अगर $X$ एक सदिश स्थान है और $Y$ इसकी दोहरी जगह है, फिर प्रत्येक बिंदु के लिए $x$ का $X$ और $y$ का $Y$, कॉटैंजेंट रिक्त स्थान की प्राकृतिक पहचान है $T*X_{x}$ साथ $Y$ और $T*Y_{y}$ साथ $X$. अगर $f$ एक वास्तविक अवकलनीय फलन है $X$, तो इसका बाहरी व्युत्पन्न, $df$, कोटिस्पर्शी बंडल का एक भाग है $T*X$ और इस तरह, हम एक नक्शा बना सकते हैं $X$ को $Y$. इसी प्रकार यदि $g$ एक वास्तविक अवकलनीय फलन है $Y$, तब $dg$ मानचित्र को परिभाषित करता है $Y$ को $X$. यदि दोनों नक्शे एक-दूसरे के व्युत्क्रम होते हैं, तो हम कहते हैं कि हमारे पास एक लेजेंड्रे रूपांतरण है। इस सेटिंग में आमतौर पर टॉटोलॉजिकल वन-फॉर्म की धारणा का उपयोग किया जाता है।

जब फ़ंक्शन अलग-अलग नहीं होता है, तब भी लीजेंड्रे ट्रांसफॉर्मेशन को बढ़ाया जा सकता है, और इसे लीजेंड्रे सौंफ परिवर्तन के रूप में जाना जाता है। इस अधिक सामान्य सेटिंग में, कुछ गुण खो जाते हैं: उदाहरण के लिए, लीजेंड्रे ट्रांसफ़ॉर्म अब अपना व्युत्क्रम नहीं है (जब तक कि कोई अतिरिक्त मान्यताएँ न हों, जैसे उत्तल कार्य)।

कई गुना पर किंवदंती परिवर्तन
होने देना $M$ एक चिकनी कई गुना हो, चलो $$E$$ और $\pi : E\to M$  एक सदिश बंडल चालू हो $$M$$ और इसके संबद्ध बंडल प्रक्षेपण, क्रमशः। होने देना $L : E\to \R$  एक सुचारू कार्य हो। हम सोचते हैं $L$  शास्त्रीय मामले के साथ सादृश्य द्वारा एक Lagrangian यांत्रिकी के रूप में जहां $M = \R$, $E = TM = \Reals \times \Reals $  और $L(x,v) = \frac 1 2 m v^2 - V(x)$  कुछ सकारात्मक संख्या के लिए $m\in \Reals$  और समारोह $V : M \to \Reals$.

हमेशा की तरह, का दोहरा बंडल $E$ द्वारा निरूपित किया जाता है $E^*$. का रेशा $\pi$ ऊपर $x\in M$  निरूपित किया जाता है $E_x$, और का प्रतिबंध $L$  को $E_x$  द्वारा निरूपित किया जाता है $L|_{E_x} : E_x\to \R$. द लीजेंड्रे ट्रांसफॉर्मेशन ऑफ $L$ चिकनी morphism है$$\mathbf F L : E \to E^*$$ द्वारा परिभाषित $\mathbf FL(v) = d(L|_{E_x})(v) \in E_x^*$, कहाँ $x = \pi(v)$. दूसरे शब्दों में, $\mathbf FL(v)\in E_x^*$ कोवेक्टर है जो भेजता है $w\in E_x$  दिशात्मक व्युत्पन्न के लिए $\left.\frac d {dt}\right|_{t=0} L(v + tw)\in \R$.

स्थानीय रूप से लीजेंड्रे परिवर्तन का वर्णन करने के लिए, आइए $U\subseteq M$ जिस पर एक समन्वय चार्ट हो $E$  तुच्छ है। का तुच्छीकरण चुनना $E$  ऊपर $U$, हम चार्ट प्राप्त करते हैं $E_U \cong U \times \R^r$  और $E_U^* \cong U \times \R^r$. इन चार्टों के संदर्भ में, हमारे पास है $\mathbf FL(x; v_1, \dotsc, v_r) = (x; p_1,\dotsc, p_r)$, कहाँ $$p_i = \frac {\partial L}{\partial v_i}(x; v_1, \dotsc, v_r)$$ सभी के लिए $i = 1, \dots, r$.

यदि, जैसा कि शास्त्रीय मामले में, का प्रतिबंध $L : E\to \mathbb R$ प्रत्येक फाइबर के लिए $E_x$  सख्ती से उत्तल है और एक सकारात्मक निश्चित द्विघात रूप से नीचे एक स्थिर है, फिर लिजेंड्रे रूपांतरित होता है $\mathbf FL : E\to E^*$  डिफियोमोर्फिज्म है। लगता है कि $\mathbf FL$  एक भिन्नता है और चलो $H : E^* \to \R$  द्वारा परिभाषित "हैमिल्टनियन मैकेनिक्स" फ़ंक्शन हो $$H(p) = p \cdot v - L(v),$$ कहाँ $v = (\mathbf FL)^{-1}(p)$. प्राकृतिक समरूपता का उपयोग करना $E\cong E^{**}$, हम लीजेंड्रे के परिवर्तन को देख सकते हैं $H$ मानचित्र के रूप में $\mathbf FH : E^* \to E$. तो हमारे पास हैं $$(\mathbf FL)^{-1} = \mathbf FH.$$

स्केलिंग गुण
लीजेंड्रे ट्रांसफॉर्मेशन में निम्नलिखित स्केलिंग गुण हैं: के लिए $a > 0$,

$$f(x) = a \cdot g(x) \Rightarrow f^\star(p) = a \cdot g^\star\left(\frac{p}{a}\right) $$ $$f(x) = g(a \cdot x) \Rightarrow f^\star(p) = g^\star\left(\frac{p}{a}\right).$$ यह इस प्रकार है कि यदि कोई फ़ंक्शन सजातीय कार्य है | डिग्री का सजातीय $r$ तब इसकी छवि लीजेंड्रे परिवर्तन के तहत डिग्री का एक सजातीय कार्य है $s$, कहाँ $1/r + 1/s = 1$. (तब से $f(x) = x^{r}/r$, साथ $r > 1$, तात्पर्य $f*(p) = p^{s}/s$.) इस प्रकार, एकमात्र एकपदी जिसकी डिग्री लीजेंड्रे रूपांतरण के तहत अपरिवर्तनीय है, द्विघात है।

अनुवाद के तहत व्यवहार
$$ f(x) = g(x) + b \Rightarrow f^\star(p) = g^\star(p) - b$$ $$ f(x) = g(x + y) \Rightarrow f^\star(p) = g^\star(p) - p \cdot y $$

उलटा के तहत व्यवहार
$$ f(x) = g^{-1}(x) \Rightarrow f^\star(p) = - p \cdot g^\star\left(\frac{1}{p} \right) $$

रैखिक परिवर्तनों के तहत व्यवहार
होने देना $A : R^{n} → R^{m}$ एक रैखिक परिवर्तन हो। किसी उत्तल समारोह के लिए $f$ पर $R^{n}$, किसी के पास $$ (A f)^\star = f^\star A^\star $$ कहाँ $A*$ का सहायक संचालिका है $A$ द्वारा परिभाषित $$ \left \langle Ax, y^\star \right \rangle = \left \langle x, A^\star y^\star \right \rangle, $$ और $Af$ का पुश-फॉरवर्ड है $f$ साथ में $A$ $$ (A f)(y) = \inf\{ f(x) : x \in X, A x = y \}. $$ एक बंद उत्तल समारोह $f$ दिए गए सेट के संबंध में सममित है $G$ ऑर्थोगोनल मैट्रिक्स की, $$f(A x) = f(x), \; \forall x, \; \forall A \in G $$ अगर और केवल अगर $f*$ के संबंध में सममित है $G$.

अनौपचारिक कनवल्शन
दो कार्यों का अनौपचारिक दृढ़ संकल्प $f$ और $g$ परिभाषित किया जाता है

$$ \left(f \star_\inf g\right)(x) = \inf \left \{ f(x-y) + g(y) \, | \, y \in \mathbf{R}^n \right \}. $$ होने देना $f_{1}, ..., f_{m}$ उचित उत्तल कार्य करें $R^{n}$. तब

$$ \left( f_1 \star_\inf \cdots \star_\inf f_m \right)^\star = f_1^\star + \cdots + f_m^\star. $$

फेनचेल की असमानता
किसी समारोह के लिए $f$ और इसका उत्तल संयुग्म $f *$ फेनशेल की असमानता (जिसे फेनशेल-यंग असमानता के रूप में भी जाना जाता है) प्रत्येक के लिए लागू होती है $x ∈ X$ और $p ∈ X*$, यानी स्वतंत्र $x, p$ जोड़े, $$\left\langle p,x \right\rangle \le f(x) + f^\star(p).$$

यह भी देखें

 * दोहरी वक्र
 * प्रोजेक्टिव द्वंद्व
 * उत्पादों के लिए यंग की असमानता
 * उत्तल संयुग्म
 * मोरो की प्रमेय
 * भागों द्वारा एकीकरण
 * फेनचेल का द्वैत प्रमेय

संदर्भ

 * Fenchel, W. (1949). "On conjugate convex functions", Can. J. Math 1: 73-77.
 * Fenchel, W. (1949). "On conjugate convex functions", Can. J. Math 1: 73-77.
 * Fenchel, W. (1949). "On conjugate convex functions", Can. J. Math 1: 73-77.

बाहरी संबंध

 * Legendre transform with figures at maze5.net
 * Legendre and Legendre-Fenchel transforms in a step-by-step explanation at onmyphd.com