लेजेंड्रे परिवर्तन: Difference between revisions

From Vigyanwiki
No edit summary
 
(12 intermediate revisions by 4 users not shown)
Line 2: Line 2:
{{about|चिरसम्मत यांत्रिकी और ऊष्मप्रवैगिकी में आमतौर पर उपयोग किया जाने वाला एक समावेशन परिवर्तन|लीजेंड्रे बहुपदों को कर्नेल के रूप में उपयोग करते हुए अभिन्न परिवर्तन|लीजेंड्रे परिवर्तन (अभिन्न परिवर्तन)}}
{{about|चिरसम्मत यांत्रिकी और ऊष्मप्रवैगिकी में आमतौर पर उपयोग किया जाने वाला एक समावेशन परिवर्तन|लीजेंड्रे बहुपदों को कर्नेल के रूप में उपयोग करते हुए अभिन्न परिवर्तन|लीजेंड्रे परिवर्तन (अभिन्न परिवर्तन)}}


गणित में, [[एड्रियन मैरी लीजेंड्रे|एड्रियन मैरी लीजेंड्]] के नाम पर लेजेंड्रे ट्रांसफॉर्मेशन (या लेजेंड्रे ट्रांसफॉर्मेशन) एक वास्तविक चर के [[वास्तविक संख्या|वास्तविक]]-मूल्यवान उत्तल कार्यों पर एक समावेशी परिवर्तन है। भौतिक समस्याओं में, इसका उपयोग एक मात्रा (जैसे वेग, दबाव, या तापमान) के कार्यों को संयुग्मित मात्रा (संवेग, मात्रा और एन्ट्रापी, क्रमशः) के कार्यों में परिवर्तित करने के लिए किया जाता है। इस तरह, यह आमतौर पर [[शास्त्रीय यांत्रिकी|चिरसम्मत यांत्रिकी]] में प्रयोग किया जाता है ताकि लैग्रेंगियन औपचारिकता (या इसके विपरीत) से हेमिल्टनियन औपचारिकता को प्राप्त किया जा सके और ऊष्मप्रवैगिकी में थर्मोडायनामिक क्षमता प्राप्त करने के साथ-साथ कई चर के अंतर समीकरणों के समाधान में भी किया जा सके।
गणित में, [[एड्रियन मैरी लीजेंड्रे|एड्रियन मैरी लीजेंड्]] के नाम पर लेजेंड्रे ट्रांसफॉर्मेशन (या लेजेंड्रे ट्रांसफॉर्मेशन) एक वास्तविक चर के [[वास्तविक संख्या|वास्तविक]]-मूल्यवान उत्तल कार्यों पर एक समावेशी परिवर्तन है। भौतिक समस्याओं में, इसका उपयोग एक मात्रा (जैसे वेग, दबाव, या तापमान) के कार्यों को संयुग्मित मात्रा (संवेग, मात्रा और एन्ट्रापी, क्रमशः) के कार्यों में परिवर्तित करने के लिए किया जाता है। इस तरह, यह सामान्यतः [[शास्त्रीय यांत्रिकी|चिरसम्मत यांत्रिकी]] में प्रयोग किया जाता है ताकि लैग्रेंगियन औपचारिकता (या इसके विपरीत) से हेमिल्टनियन औपचारिकता को प्राप्त किया जा सके और ऊष्मप्रवैगिकी में थर्मोडायनामिक क्षमता प्राप्त करने के साथ-साथ कई चर के अंतर समीकरणों के समाधान में भी किया जा सके।
 
वास्तविक रेखा पर पर्याप्त रूप से सुचारू कार्यों के लिए, फलन <math>f</math> के लेजेंड्रे ट्रांसफ़ॉर्म <math>f^*</math>को एक योगात्मक स्थिरांक तक निर्दिष्ट किया जा सकता है, इस परिस्थिति के अनुसार कि फ़ंक्शंस के पहले डेरिवेटिव एक दूसरे के व्युत्क्रम फलन हैं। इसे यूलर के डेरिवेटिव नोटेशन के रूप में व्यक्त किया जा सकता है<math display="block">Df(\cdot) = \left( D f^* \right)^{-1}(\cdot)~,</math>जहाँ <math>D</math> अवकलन का संचालिका है, <math>\cdot</math> संबद्ध फलन के लिए तर्क या इनपुट का प्रतिनिधित्व करता है, <math>(\phi)^{-1}(\cdot)</math> व्युत्क्रम फलन है जैसे <math>(\phi) ^{-1}(\phi(x))=x</math>


वास्तविक रेखा पर पर्याप्त रूप से सुचारू कार्यों के लिए, लेजेंड्रे ट्रांसफॉर्म <math>f^*</math>एक फ़ंक्शन <math>f</math> को निर्दिष्ट किया जा सकता है, एक योगात्मक स्थिरांक तक, इस शर्त के अनुसार कि फ़ंक्शंस के पहले डेरिवेटिव एक दूसरे के व्युत्क्रम कार्य हैं। इसे यूलर के व्युत्पन्न संकेतन के रूप में व्यक्त किया जा सकता है[[/index.php?title=Special:MathShowImage&hash=50bbd36e1fd2333108437a2ca378be62&mode=mathml|thumb|right|कार्यक्रम <math>f(x)</math> अंतराल पर परिभाषित किया गया है <math>[a,b]</math>. किसी प्रदत्त के लिए <math>p</math>, के अंतर <math>px - f(x)</math> पर अधिकतम लेता है <math>x'</math>. इस प्रकार, लीजेंड्रे का परिवर्तन <math>f(x)</math> है <math>f^*(p) =p x'-f(x')</math>.|link=|alt={\displaystyle f(x)}]]<math display="block">Df(\cdot) = \left( D f^* \right)^{-1}(\cdot)~,</math>जहाँ <math>D</math> अवकलन का संचालिका है, <math>\cdot</math> संबद्ध फलन के लिए एक तर्क या इनपुट का प्रतिनिधित्व करता है, <math>(\phi)^{-1}(\cdot)</math> एक व्युत्क्रम फलन है जैसे <math>(\phi) ^{-1}(\phi(x))=x</math>




या समकक्ष रूप से <math>f'(f^{*\prime}(x^*)) = x^*</math> और <math>f^{*\prime}(f'(x)) = x</math> लग्रेंज के अंकन में है।
या समकक्ष रूप से <math>f'(f^{*\prime}(x^*)) = x^*</math> और <math>f^{*\prime}(f'(x)) = x</math> लग्रेंज के अंकन में है।


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


== परिभाषा ==
== परिभाषा ==


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




Line 19: Line 20:




फलन <math>f^*</math>को <math>f</math> का उत्तल संयुग्मी फलन कहते हैं। ऐतिहासिक कारणों (विश्लेषणात्मक यांत्रिकी में निहित) के लिए, संयुग्म चर को अक्सर <math>x^*</math>के बजाय <math>p</math> के रूप में दर्शाया जाता है। यदि उत्तल फलन <math>f</math> पूरी रेखा पर परिभाषित हो और हर जगह अवकलनीय हो, तब<math display="block">f^*(p)=\sup_{x\in I}(px - f(x)) = \left( p x - f(x) \right)|_{x = (f')^{-1}(p)} </math>प्रवणता <math>p</math> वाले <math>f</math> के ग्राफ़ की स्पर्शरेखा रेखा के <math>y</math>-प्रतिच्छेद के ऋणात्मक के रूप में व्याख्या की जा सकती है।
फलन <math>f^*</math>को <math>f</math> का उत्तल संयुग्मी फलन कहते हैं। ऐतिहासिक कारणों (विश्लेषणात्मक यांत्रिकी में निहित) के लिए, संयुग्म चर को प्रायः <math>x^*</math>के बजाय <math>p</math> के रूप में दर्शाया जाता है। यदि उत्तल फलन <math>f</math> पूरी रेखा पर परिभाषित हो और हर जगह अवकलनीय हो, तब<math display="block">f^*(p)=\sup_{x\in I}(px - f(x)) = \left( p x - f(x) \right)|_{x = (f')^{-1}(p)} </math>प्रवणता <math>p</math> वाले <math>f</math> के ग्राफ़ की स्पर्शरेखा रेखा के <math>y</math>-प्रतिच्छेद के ऋणात्मक के रूप में व्याख्या की जा सकती है।




Line 26: Line 27:
=== डेरिवेटिव के संदर्भ में लेजेंड्रे ट्रांसफॉर्म को समझना ===
=== डेरिवेटिव के संदर्भ में लेजेंड्रे ट्रांसफॉर्म को समझना ===


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


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


फिर, मान लीजिए कि पहला अवकलज <math>f'</math>व्युत्क्रमणीय है और मान लें कि इसका व्युत्क्रम <math> g = (f')^{-1} </math> है। फिर प्रत्येक <math> p</math> के लिए, बिंदु <math> g(p)</math> फलन <math> x \mapsto px -f(x) </math>(अर्थात् <math> \overline{x} = g(p)</math> का अद्वितीय महत्वपूर्ण बिंदु <math> \overline{x}</math> है क्योंकि <math> f'(g(p))=p </math> और <math> g(p)</math> पर <math>x</math> के संबंध में फलन का पहला अवकलज <math> p-f'(g(p))=0 </math> है। इसलिए हमारे पास <math> f^*(p) = p \cdot g(p) - f(g(p))</math> है ) प्रत्येक <math> p</math> के लिए <math> p</math> के संबंध में अवकलन करने पर, हम पाते हैं<math display="block">(f^*)'(p) = g(p)+ p \cdot g'(p) - f'(g(p)) \cdot g'(p).</math>
फिर, मान लीजिए कि पहला अवकलज <math>f'</math>व्युत्क्रमणीय है और मान लें कि इसका व्युत्क्रम <math> g = (f')^{-1} </math> है। फिर प्रत्येक <math> p</math> के लिए, बिंदु <math> g(p)</math> फलन <math> x \mapsto px -f(x) </math>(अर्थात् <math> \overline{x} = g(p)</math> का अद्वितीय महत्वपूर्ण बिंदु <math> \overline{x}</math> है क्योंकि <math> f'(g(p))=p </math> और <math> g(p)</math> पर <math>x</math> के संबंध में फलन का पहला अवकलज <math> p-f'(g(p))=0 </math> है। इसलिए हमारे पास <math> f^*(p) = p \cdot g(p) - f(g(p))</math> है ) प्रत्येक <math> p</math> के लिए <math> p</math> के संबंध में अवकलन करने पर, हम पाते हैं<math display="block">(f^*)'(p) = g(p)+ p \cdot g'(p) - f'(g(p)) \cdot g'(p).</math>
Line 35: Line 36:
तब से <math> f'(g(p))=p</math> यह सरल करता है <math>(f^*)'(p) = g(p) = (f')^{-1}(p)</math>. दूसरे शब्दों में,<math>(f^*)'</math> और <math>f'</math> एक दूसरे के विपरीत हैं।
तब से <math> f'(g(p))=p</math> यह सरल करता है <math>(f^*)'(p) = g(p) = (f')^{-1}(p)</math>. दूसरे शब्दों में,<math>(f^*)'</math> और <math>f'</math> एक दूसरे के विपरीत हैं।


सामान्यतः, यदि <math> h' = (f')^{-1} </math> <math> f' </math> के व्युत्क्रम के रूप में, तो <math> h' = (f^*)' </math> तो समाकलन से <math> f^* = h +c </math> प्राप्त होता है। एक स्थिर <math> c </math> के साथ।
सामान्यतः, यदि <math> h' = (f')^{-1} </math> <math> f' </math> के व्युत्क्रम के रूप में, तो <math> h' = (f^*)' </math> तो समाकलन से <math> f^* = h +c </math> प्राप्त होता है। स्थिर <math> c </math> के साथ।


व्यावहारिक रूप में, <math>f(x)</math> दिया हुआ है, <math>xf'(x)-f(x)</math>बनाम <math>f'(x)</math>का पैरामीट्रिक प्लॉट <math>g(p)</math> बनाम <math>p</math> के ग्राफ के बराबर है।
व्यावहारिक रूप में, <math>f(x)</math> दिया हुआ है, <math>xf'(x)-f(x)</math>बनाम <math>f'(x)</math>का पैरामीट्रिक प्लॉट <math>g(p)</math> बनाम <math>p</math> के ग्राफ के बराबर है।


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




और इसका डोमेन <math>I^* = (0, \infty).</math> है यह दिखाता है कि किसी फलन  के डोमेन और उसके लेजेंड्रे परिवर्तन भिन्न हो सकते हैं।
ढूँढ़ने के लिए<math display="block">
ढूँढ़ने के लिए<math display="block">
f^{**}(x) = \sup_{x^*\in \mathbb{R}}(xx^*-x^*(\ln(x^*) - 1)),\quad x\in I,
f^{**}(x) = \sup_{x^*\in \mathbb{R}}(xx^*-x^*(\ln(x^*) - 1)),\quad x\in I,
</math>हम गणना करते हैं<math display="block">
</math>हम गणना करते हैं
<math display="block">
\begin{aligned}
\begin{aligned}
0  
0  
Line 84: Line 86:


=== उदाहरण 2 ===
=== उदाहरण 2 ===
होने देना {{math|1=''f''(''x'') = ''cx''<sup>2</sup>}} पर परिभाषित {{math|'''R'''}}, जहाँ {{math|''c'' > 0}} एक निश्चित नियतांक है।
मान लीजिए कि {{math|1=''f''(''x'') = ''cx''<sup>2</sup>}} {{math|'''R'''}} पर परिभाषित है, जहाँ {{math|''c'' > 0}} एक निश्चित स्थिरांक है।


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


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


=== उदाहरण 3 ===
=== उदाहरण 3 ===
होने देना {{math|1=''f''(''x'') = ''x''<sup>2</sup>}} के लिए {{math|1=''x'' ∈ ''I'' = [2, 3]}}.
मान लीजिए  {{math|1=''f''(''x'') = ''x''<sup>2</sup>}} के लिए {{math|1=''x'' ∈ ''I'' = [2, 3]}}.


के लिए {{math|''x''*}} हल किया गया, {{math|''x''*''x'' − ''f''(''x'')}} लगातार चालू है {{mvar|I}} [[ कॉम्पैक्ट जगह ]], इसलिए यह हमेशा उस पर एक सीमित अधिकतम लेता है; यह इस प्रकार है कि {{math|1=''I''* = '''R'''}}.
{{math|''x''*}} निश्चित के लिए, {{math|''x''*''x'' − ''f''(''x'')}} कॉम्पैक्ट {{mvar|I}} पर निरंतर है, इसलिए यह हमेशा उस पर एक अधिकतम सीमा लेता है; यह इस प्रकार है कि {{math|1=''I''* = '''R'''}}I


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


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


कोई अनैच्छिकता की जांच कर सकता है: बेशक {{math|''x''*''x'' − ''f''*(''x''*)}} हमेशा एक फ़ंक्शन के रूप में घिरा होता है {{math|''x''* ∈ {''c''}<nowiki/>}}, इस तरह {{math|1=''I'' ** = '''R'''}}. फिर, सभी के लिए {{mvar|x}} किसी के पास
कोई समावेशन की जांच कर सकता है: बेशक, {{math|''x''*''x'' − ''f''*(''x''*)}} हमेशा {{math|''x''* ∈ {''c''}<nowiki/>}} के फलन के रूप में परिबद्ध होता है, इसलिए {{math|1=''I'' ** = '''R'''}} फिर, सभी {{mvar|x}} के लिए एक है<math display="block">\sup_{x^*\in\{c\}}(xx^*-f^*(x^*))=xc,</math>और इसलिए {{math|1=''f'' **(''x'') = ''cx'' = ''f''(''x'')}}.
<math display="block">\sup_{x^*\in\{c\}}(xx^*-f^*(x^*))=xc,</math>
और इसलिए {{math|1=''f'' **(''x'') = ''cx'' = ''f''(''x'')}}.


=== उदाहरण 5: कई चर ===
=== उदाहरण 5: कई चर ===
होने देना
मान लीजिये<math display="block">f(x)=\langle x,Ax\rangle+c</math>{{math|1=''X'' = '''R'''<sup>''n''</sup>}} पर परिभाषित किया जा सकता है, जहाँ {{mvar|A}} एक वास्तविक, धनात्मक निश्चित मैट्रिक्स है।
<math display="block">f(x)=\langle x,Ax\rangle+c</math>
 
पर परिभाषित किया जाए {{math|1=''X'' = '''R'''<sup>''n''</sup>}}, जहाँ {{mvar|A}} एक वास्तविक, सकारात्मक निश्चित मैट्रिक्स है।


तब {{mvar|f}} उत्तल है, और
तब {{mvar|f}} उत्तल है, और<math display="block">\langle p,x\rangle-f(x)=\langle p,x \rangle-\langle x,Ax\rangle-c,</math>ग्रेडिएंट {{math|''p'' − 2''Ax''}} और [[हेसियन मैट्रिक्स|हेसियन]] {{math|−2''A''}} है, जो ऋणात्मक है; इसलिए स्थिर बिंदु {{math|1=''x'' = ''A''<sup>−1</sup>''p''/2}} अधिकतम है।
<math display="block">\langle p,x\rangle-f(x)=\langle p,x \rangle-\langle x,Ax\rangle-c,</math>
ढाल है {{math|''p'' − 2''Ax''}} और [[हेसियन मैट्रिक्स]] {{math|−2''A''}}, जो ऋणात्मक है; इसलिए स्थिर बिंदु {{math|1=''x'' = ''A''<sup>−1</sup>''p''/2}} अधिकतम है।


अपने पास {{math|1=''X''* = '''R'''<sup>''n''</sup>}}, और
<math display="block">f^*(p)=\frac{1}{4}\langle p,A^{-1}p\rangle-c.</math>


हमारे पास {{math|1=''X''* = '''R'''<sup>''n''</sup>}} और है<math display="block">f^*(p)=\frac{1}{4}\langle p,A^{-1}p\rangle-c.</math>


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


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


इस प्रकार हम कार्य पर विचार करते हैं {{math|1=''g''(''p'', ''y'') = ''f'' − ''px''}} ताकि
<math display="block">df = \frac{\partial f}{\partial x}\,dx + \frac{\partial f}{\partial y}\,dy = p\,dx + v\,dy.</math>मान लें कि यह सभी {{mvar|y}} के लिए {{mvar|x}} में उत्तल है, ताकि कोई {{mvar|x}} में लिजेंड्रे ट्रांसफ़ॉर्म कर सके, {{mvar|p}} के साथ {{mvar|x}} के लिए चर संयुग्मित हो। चूँकि नया स्वतंत्र चर {{mvar|p}} है, अवकल {{math|''dx''}} और {{math|''dy''}}, {{math|''dp''}} और {{math|''dy''}} में न्यागत होते हैं, अर्थात्, हम नए आधार {{math|''dp''}} और {{math|''dy''}} के रूप में व्यक्त अंतर के साथ एक अन्य फलन का निर्माण करते हैं।
<math display="block">dg = df - p\,dx - x\,dp = -x\,dp + v\,dy</math>
 
<math display="block">x = -\frac{\partial g}{\partial p}</math>
अतः हम फलन {{math|1=''g''(''p'', ''y'') = ''f'' − ''px''}} पर विचार करते हैं ताकि<math display="block">dg = df - p\,dx - x\,dp = -x\,dp + v\,dy</math><math display="block">x = -\frac{\partial g}{\partial p}</math><math display="block">v = \frac{\partial g}{\partial y}.</math>फलन {{math|−''g''(''p'', ''y'')}} {{math|''f''(''x'', ''y'')}} का लेजेन्ड्रे रूपांतरण है, जहाँ केवल स्वतंत्र चर {{mvar|x}} को {{mvar|p}} द्वारा विस्थापित किया गया है। यह उष्मागतिकी में व्यापक रूप से प्रयोग किया जाता है, जैसा कि नीचे दिखाया गया है।
<math display="block">v = \frac{\partial g}{\partial y}.</math>
कार्यक्रम {{math|−''g''(''p'', ''y'')}} का लेजेंड्रे रूपांतरण है {{math|''f''(''x'', ''y'')}}, जहां केवल स्वतंत्र चर {{mvar|x}} द्वारा प्रतिस्थापित किया गया है {{mvar|p}}. यह थर्मोडायनामिक्स में व्यापक रूप से उपयोग किया जाता है, जैसा कि नीचे दिखाया गया है।


== अनुप्रयोग ==
== अनुप्रयोग ==


=== विश्लेषणात्मक यांत्रिकी ===
=== विश्लेषणात्मक यांत्रिकी ===
लैग्रेंजियन यांत्रिकी से हैमिल्टनियन यांत्रिकी को प्राप्त करने के लिए और इसके विपरीत चिरसम्मत यांत्रिकी में एक लीजेंड्रे परिवर्तन का उपयोग किया जाता है। एक विशिष्ट Lagrangian का रूप है
चिरसम्मत यांत्रिकी में लैग्रैंगियन फॉर्मूलेशन से हैमिल्टनियन फॉर्मूलेशन प्राप्त करने के लिए और इसके विपरीत एक लीजेंड्रे ट्रांसफ़ॉर्म का उपयोग किया जाता है। एक विशिष्ट लैग्रैंगियन का रूप है<math display="block">L(v,q)=\tfrac{1}2\langle v,Mv\rangle-V(q),</math>जहाँ <math>(v,q)</math> पर निर्देशांक हैं {{math|'''R'''<sup>''n''</sup> × '''R'''<sup>''n''</sup>}}, {{mvar|M}}  धनात्मक वास्तविक मैट्रिक्स है, और<math display="block">\langle x,y\rangle = \sum_j x_j y_j.</math>हर एक के लिए {{mvar|q}} हल किया गया, <math>L(v, q)</math> का उत्तल कार्य है <math>v</math>, जबकि <math>V(q)</math> स्थिरांक की भूमिका निभाता है।


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


इसलिए लीजेंड्रे का रूपांतरण <math>L(v, q)</math> के एक फलन के रूप में <math>v</math> हैमिल्टनियन फ़ंक्शन है,
इसलिए लीजेंड्रे का रूपांतरण <math>L(v, q)</math> के एक फलन के रूप में <math>v</math> हैमिल्टनियन फलन है,<math display="block">H(p,q)=\tfrac {1}{2} \langle p,M^{-1}p\rangle+V(q).</math>अधिक सामान्य सेटिंग में, <math>(v, q)</math> कई गुना <math>\mathcal M</math> के [[स्पर्शरेखा बंडल]] <math>T\mathcal M</math> पर स्थानीय निर्देशांक हैं। प्रत्येक {{mvar|q}} के लिए, <math>L(v, q)</math> स्पर्शरेखा स्थान {{math|''V<sub>q</sub>''}} का उत्तल कार्य है। लेजेंड्रे ट्रांस्फ़ॉर्म हैमिल्टनियन <math>H(p, q)</math> को कॉटैंजेंट बंडल <math>T^*\mathcal M</math> के निर्देशांक {{math|(''p'', ''q'')}} के फलन के रूप में देता है; लेजेंड्रे रूपांतरण को परिभाषित करने के लिए उपयोग किए जाने वाले आंतरिक उत्पाद को संबंधित विहित सहानुभूतिपूर्ण संरचना से विरासत में मिला है। इस सार विन्यास में, लीजेंड्रे ट्रांसफॉर्मेशन [[टॉटोलॉजिकल वन-फॉर्म]] से मेल खाता है।
<math display="block">H(p,q)=\tfrac {1}{2} \langle p,M^{-1}p\rangle+V(q).</math>
अधिक सामान्य सेटिंग में, <math>(v, q)</math> [[स्पर्शरेखा बंडल]] पर स्थानीय निर्देशांक हैं <math>T\mathcal M</math> कई गुना <math>\mathcal M</math>. प्रत्येक के लिए {{mvar|q}}, <math>L(v, q)</math> स्पर्शरेखा स्थान का उत्तल कार्य है {{math|''V<sub>q</sub>''}}. लीजेंड्रे रूपांतरण हैमिल्टनियन देता है <math>H(p, q)</math> निर्देशांक के एक फलन के रूप में {{math|(''p'', ''q'')}} cotangent बंडल की <math>T^*\mathcal M</math>; लेजेंड्रे रूपांतरण को परिभाषित करने के लिए उपयोग किया जाने वाला आंतरिक उत्पाद प्रासंगिक कैनोनिकल [[ सहानुभूतिपूर्ण वेक्टर स्थान ]] से विरासत में मिला है। इस अमूर्त सेटिंग में, लीजेंड्रे ट्रांसफॉर्मेशन [[टॉटोलॉजिकल वन-फॉर्म]] से मेल खाता है।{{Explain|date=April 2023}}


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


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


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


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


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


[[समाई]] के संधारित्र में संग्रहीत ऊर्जा {{math|''C''('''x''')}} और चार्ज करें {{math|''Q''}} है
धारिता {{math|''C''('''x''')}} तथा आवेश {{math|''Q''}} के संधारित्र में संचित ऊर्जा है<math display="block"> U (Q, \mathbf{x}) = \frac{1}{2} QV = \frac{1}{2} \frac{Q^2}{C(\mathbf{x})},~</math>जहां प्लेटों के क्षेत्र पर निर्भरता, प्लेटों के बीच सामग्री के ढांकता हुआ स्थिरांक, और पृथक्करण {{math|'''x'''}} को समाई {{math|''C''('''x''')}} के रूप में अलग कर दिया जाता है। (एक समानांतर प्लेट संधारित्र के लिए, यह प्लेटों के क्षेत्र के समानुपाती होता है और पृथक्करण के व्युत्क्रमानुपाती होता है।)


<math display="block"> U (Q, \mathbf{x}) = \frac{1}{2} QV = \frac{1}{2} \frac{Q^2}{C(\mathbf{x})},~</math>
विद्युत क्षेत्र के कारण प्लेटों के बीच बल {{math|'''F'''}} तब होता है<math display="block"> \mathbf{F}(\mathbf{x}) = -\frac{dU}{d\mathbf{x}} ~. </math>यदि संधारित्र किसी परिपथ से जुड़ा नहीं है, तो प्लेटों पर आवेश चलते समय स्थिर रहते हैं, और बल विद्युतस्थैतिक ऊर्जा का ऋणात्मक प्रवणता है<math display="block"> \mathbf{F}(\mathbf{x}) = \frac{1}{2} \frac{dC}{d\mathbf{x}} \frac{Q^2}{C^2}. </math>हालाँकि, मान लीजिए, इसके बजाय, प्लेटों {{math|''V''}} के बीच वोल्टेज को [[बैटरी (बिजली)|बैटरी]] से जोड़कर स्थिर बनाए रखा जाता है, जो कि निरंतर संभावित अंतर पर आवेश के लिए एक जलाशय है; अब आवेश वोल्टेज के बजाय परिवर्तनशील है, इसका लीजेंड्रे कंजुगेट है। बल खोजने के लिए, पहले, गैर-मानक लेजेंड्रे परिवर्तन की गणना करें,<math display="block">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}).</math>बल अब इस लीजेंड्रे रूपांतरण का ऋणात्मक ढलान बन जाता है, जो अभी भी उसी दिशा में संकेत करता है,<math display="block"> \mathbf{F}(\mathbf{x}) = -\frac{dU^*}{d\mathbf{x}}~.</math>दो संयुग्मित ऊर्जाएं एक-दूसरे के विपरीत खड़ी होती हैं, केवल धारिता की रैखिकता के कारण—सिवाय इसके कि अब {{math|''Q''}} एक स्थिरांक नहीं है। वे संधारित्र में ऊर्जा भंडारण के दो अलग-अलग मार्गों को प्रतिबिंबित करते हैं, जिसके परिणामस्वरूप, उदाहरण के लिए, संधारित्र की प्लेटों के बीच समान "खिंचाव" होता है।
जहां प्लेटों के क्षेत्र पर निर्भरता, प्लेटों के बीच सामग्री का ढांकता हुआ स्थिरांक और पृथक्करण {{math|'''x'''}} को समाई के रूप में दूर कर दिया जाता है {{math|''C''('''x''')}}. (एक समानांतर प्लेट संधारित्र के लिए, यह प्लेटों के क्षेत्रफल के समानुपाती और पृथक्करण के व्युत्क्रमानुपाती होता है।)
 
बल {{math|'''F'''}} तब विद्युत क्षेत्र के कारण प्लेटों के बीच होता है
<math display="block"> \mathbf{F}(\mathbf{x}) = -\frac{dU}{d\mathbf{x}} ~. </math>
यदि संधारित्र किसी परिपथ से जुड़ा नहीं है, तो प्लेटों पर विद्युत आवेश चलते समय स्थिर रहता है, और बल [[ इलेक्ट्रोस्टाटिक्स ]] ऊर्जा का ऋणात्मक ढाल है
<math display="block"> \mathbf{F}(\mathbf{x}) = \frac{1}{2} \frac{dC}{d\mathbf{x}} \frac{Q^2}{C^2}. </math>
हालाँकि, मान लीजिए, इसके बजाय, प्लेटों के बीच [[ वाल्ट ]]ेज {{math|''V''}} को [[बैटरी (बिजली)]] से जोड़कर निरंतर बनाए रखा जाता है, जो निरंतर संभावित अंतर पर चार्ज के लिए जलाशय है; अब चार्ज वोल्टेज के बजाय परिवर्तनशील है, इसका लीजेंड्रे संयुग्म। बल खोजने के लिए, पहले गैर-मानक लीजेंड्रे रूपांतरण की गणना करें,
 
<math display="block">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}).</math>
बल अब इस लीजेंड्रे परिवर्तन का नकारात्मक ढाल बन गया है, अभी भी उसी दिशा में इशारा कर रहा है,
<math display="block"> \mathbf{F}(\mathbf{x}) = -\frac{dU^*}{d\mathbf{x}}~.</math>
दो संयुग्मित ऊर्जाएं एक दूसरे के विपरीत खड़ी होती हैं, केवल समाई की रैखिकता के कारण - अब को छोड़कर {{math|''Q''}} अब स्थिर नहीं है। वे संधारित्र में ऊर्जा भंडारण के दो अलग-अलग मार्गों को दर्शाते हैं, जिसके परिणामस्वरूप, उदाहरण के लिए, संधारित्र की प्लेटों के बीच समान खिंचाव होता है।


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


=== सूक्ष्मअर्थशास्त्र ===
=== सूक्ष्मअर्थशास्त्र ===
[[आपूर्ति (अर्थशास्त्र)]] खोजने की प्रक्रिया में सूक्ष्मअर्थशास्त्र में लेजेंड्रे परिवर्तन स्वाभाविक रूप से उत्पन्न होता है {{math|''S''(''P'')}} किसी उत्पाद का एक निश्चित मूल्य दिया जाता है {{math|''P''}} [[लागत वक्र]] जानने के लिए बाजार पर {{math|''C''(''Q'')}}, यानी निर्माता को बनाने/खनन/आदि की लागत। {{math|''Q''}} दिए गए उत्पाद की इकाइयां।
माइक्रोइकोनॉमिक्स (सूक्ष्मअर्थशास्त्र) में लेजेंड्रे परिवर्तन स्वाभाविक रूप से किसी उत्पाद की आपूर्ति {{math|''S''(''P'')}} को खोजने की प्रक्रिया में उत्पन्न होता है, जिसे बाजार में एक निश्चित मूल्य {{math|''P''}} दिया जाता है, [[लागत वक्र|लागत]] फलन {{math|''C''(''Q'')}}, यानी निर्माता को बनाने/खनन/आदि की लागत जानने पर। दिए गए उत्पाद की {{math|''Q''}} इकाइयाँ।
 
एक साधारण सिद्धांत केवल लागत फलन पर आधारित आपूर्ति वक्र के आकार की व्याख्या करता है। मान लीजिए कि हमारे उत्पाद की एक इकाई का बाजार मूल्य है {{math|''P''}}. इस उत्पाद को बेचने वाली कंपनी के लिए, सबसे अच्छी रणनीति उत्पादन को समायोजित करना है {{math|''Q''}} ताकि इसका लाभ अधिकतम हो। हम लाभ को अधिकतम कर सकते हैं
<math display="block">\text{profit} = \text{revenue} - \text{costs} = PQ - C(Q)</math>
के संबंध में अंतर करके {{math|''Q''}} और हल करना
<math display="block">P - C'(Q_\text{opt}) = 0.</math>


{{math|''Q''<sub>opt</sub>}} इष्टतम मात्रा का प्रतिनिधित्व करता है {{math|''Q''}} माल की जो निर्माता आपूर्ति करने को तैयार है, जो वास्तव में आपूर्ति ही है:
एक सरल सिद्धांत पूरी तरह से लागत फलन पर आधारित आपूर्ति वक्र के आकार की व्याख्या करता है। मान लें कि हमारे उत्पाद की एक इकाई का बाजार मूल्य {{math|''P''}} है। इस वस्तु को बेचने वाली कंपनी के लिए, सबसे अच्छी रणनीति उत्पादन {{math|''Q''}} को समायोजित करना है ताकि इसका लाभ अधिकतम हो सके। हम अधिकतम लाभ प्राप्त कर सकते हैं<math display="block">\text{profit} = \text{revenue} - \text{costs} = PQ - C(Q)</math>{{math|''Q''}} के सापेक्ष अवकलन करके और हल करके<math display="block">P - C'(Q_\text{opt}) = 0.</math>{{math|''Q''<sub>opt</sub>}} माल की इष्टतम मात्रा {{math|''Q''}} का प्रतिनिधित्व करता है जिसे निर्माता आपूर्ति करने के लिए तैयार है, जो वास्तव में स्वयं आपूर्ति है:<math display="block">S(P) = Q_\text{opt}(P) = (C')^{-1}(P).</math>यदि हम अधिकतम लाभ को मूल्य, लाभ अधिकतम <math>\text{profit}_\text{max}(P)</math> के फलन के रूप में मानते हैं, तो हम देखते हैं कि यह लागत फलन <math>C(Q)</math> का लेजेंड्रे परिवर्तन है।
<math display="block">S(P) = Q_\text{opt}(P) = (C')^{-1}(P).</math>
यदि हम अधिकतम लाभ को कीमत के फलन के रूप में मानते हैं, <math>\text{profit}_\text{max}(P)</math>, हम देखते हैं कि यह लागत फलन का लीजेंड्रे रूपांतरण है <math>C(Q)</math>.


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


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


== लीजेंड्रे परिवर्तन एक से अधिक आयामों में ==
{{math|'''R'''<sup>''n''</sup>}} के एक खुले उत्तल उपसमुच्चय {{mvar|U}} पर एक अलग-अलग वास्तविक-मूल्यवान फलन के लिए जोड़ी {{math|(''U'', ''f'')}} के लेजेंड्रे संयुग्म को जोड़ी {{math|(''V'', ''g'')}} के रूप में परिभाषित किया गया है, जहां {{mvar|V}} ग्रेडिएंट मैपिंग {{math|''Df''}} के तहत {{mvar|U}} की छवि है , और {{mvar|g}} सूत्र द्वारा दिया गया {{mvar|V}} पर फलन है<math display="block">g(y) = \left\langle y, x \right\rangle - f(x), \qquad x = \left(Df\right)^{-1}(y)</math>जहाँ<math display="block">\left\langle u,v\right\rangle = \sum_{k=1}^n u_k \cdot v_k</math>{{math|'''R'''<sup>''n''</sup>}} पर अदिश गुणनफल है। बहुआयामी परिवर्तन को इसके सहायक हाइपरप्लेन के संदर्भ में फलन के एपिग्राफ के उत्तल पतवार के एक एन्कोडिंग के रूप में व्याख्या किया जा सकता है।<ref>{{Cite web |url=http://maze5.net/?page_id=733 |title=Legendre Transform &#124; Nick Alger // Maps, art, etc |access-date=2011-01-26 |archive-url=https://web.archive.org/web/20150312152731/http://maze5.net/?page_id=733 |archive-date=2015-03-12 |url-status=dead }}</ref>


== एक से अधिक आयामों में किंवदंती परिवर्तन ==
एक खुले सेट उत्तल उपसमुच्चय पर एक भिन्न वास्तविक-मूल्यवान फ़ंक्शन के लिए {{mvar|U}} का {{math|'''R'''<sup>''n''</sup>}} जोड़ी के लीजेंड्रे संयुग्म {{math|(''U'', ''f'')}} को जोड़ी के रूप में परिभाषित किया गया है {{math|(''V'', ''g'')}}, जहाँ {{mvar|V}} की छवि है {{mvar|U}} ग्रेडिएंट मैपिंग के तहत {{math|''Df''}}, और {{mvar|g}} कार्य चालू है {{mvar|V}} सूत्र द्वारा दिया गया
<math display="block">g(y) = \left\langle y, x \right\rangle - f(x), \qquad x = \left(Df\right)^{-1}(y)</math>
जहाँ
<math display="block">\left\langle u,v\right\rangle = \sum_{k=1}^n u_k \cdot v_k</math>
स्केलर उत्पाद चालू है {{math|'''R'''<sup>''n''</sup>}}. बहुआयामी परिवर्तन को इसके सहायक हाइपरप्लेन के संदर्भ में फ़ंक्शन के एपिग्राफ (गणित) के उत्तल हल के एन्कोडिंग के रूप में व्याख्या किया जा सकता है।<ref>{{Cite web |url=http://maze5.net/?page_id=733 |title=Legendre Transform &#124; Nick Alger // Maps, art, etc |access-date=2011-01-26 |archive-url=https://web.archive.org/web/20150312152731/http://maze5.net/?page_id=733 |archive-date=2015-03-12 |url-status=dead }}</ref>
वैकल्पिक रूप से, अगर {{mvar|X}} एक सदिश स्थान है और {{math|''Y''}} इसकी [[दोहरी जगह]] है, फिर प्रत्येक बिंदु के लिए {{mvar|x}} का {{math|''X''}} और {{math|''y''}} का {{math|''Y''}}, कॉटैंजेंट रिक्त स्थान की प्राकृतिक पहचान है {{math|T*''X<sub>x</sub>''}} साथ {{math|''Y''}} और {{math|T*''Y<sub>y</sub>''}} साथ {{math|''X''}}. अगर {{mvar|f}} एक वास्तविक अवकलनीय फलन है {{math|''X''}}, तो इसका [[बाहरी व्युत्पन्न]], {{math|''df''}}, कोटिस्पर्शी बंडल का एक भाग है {{math|T*''X''}} और इस तरह, हम एक नक्शा बना सकते हैं {{math|''X''}} को {{math|''Y''}}. इसी प्रकार यदि {{mvar|g}} एक वास्तविक अवकलनीय फलन है {{math|''Y''}}, तब {{math|''dg''}} मानचित्र को परिभाषित करता है {{math|''Y''}} को {{math|''X''}}. यदि दोनों नक्शे एक-दूसरे के व्युत्क्रम होते हैं, तो हम कहते हैं कि हमारे पास एक लेजेंड्रे रूपांतरण है। इस सेटिंग में आमतौर पर टॉटोलॉजिकल वन-फॉर्म की धारणा का उपयोग किया जाता है।


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


== कई गुना पर किंवदंती परिवर्तन ==
वैकल्पिक रूप से, यदि {{mvar|X}} एक सदिश समष्टि है और {{math|''Y''}}  इसकी दोहरी सदिश समष्टि है, तो {{mvar|x}} के प्रत्येक बिंदु {{math|''X''}} और {{math|''y''}} के {{math|''Y''}} के लिए, {{math|''Y''}} के साथ कोटिस्पर्शी रिक्त स्थान {{math|T*''X<sub>x</sub>''}} और {{math|''X''}} के साथ {{math|T*''Y<sub>y</sub>''}} की प्राकृतिक पहचान है। यदि {{mvar|f}}, {{math|''X''}} के ऊपर एक वास्तविक अवकलनीय फलन है, तो इसका बाह्य अवकलज, {{math|''df''}} कोटिस्पर्शी बंडल {{math|T*''X''}} का एक भाग है और इस तरह, हम {{math|''X''}}  से {{math|''Y''}} तक एक मानचित्र बना सकते हैं। इसी प्रकार, यदि {{mvar|g}}, {{math|''Y''}} के ऊपर एक वास्तविक अवकलनीय फलन है, तो {{math|''dg''}}, {{math|''Y''}} से {{math|''X''}} तक के मानचित्र को परिभाषित करता है। यदि दोनों मानचित्र एक दूसरे के व्युत्क्रम होते हैं, तो हम कहते हैं कि हमारे पास एक लेजेंड्रे रूपांतरण है। इस सेटिंग में टॉटोलॉजिकल वन-फॉर्म की धारणा का सामान्यतः उपयोग किया जाता है।


होने देना <math display="inline">M</math> एक चिकनी कई गुना हो, चलो <math>E</math> और <math display="inline">\pi : E\to M</math> एक सदिश बंडल चालू हो <math>M</math> और इसके संबद्ध [[बंडल प्रक्षेपण]], क्रमशः। होने देना <math display="inline">L : E\to \R</math> एक सुचारू कार्य हो। हम सोचते हैं <math display="inline">L</math> चिरसम्मत मामले के साथ सादृश्य द्वारा एक Lagrangian यांत्रिकी के रूप में जहां <math display="inline">M = \R</math>, <math display="inline">E = TM = \Reals \times \Reals </math> और <math display="inline">L(x,v) = \frac 1 2 m v^2 - V(x)</math> कुछ सकारात्मक संख्या के लिए <math display="inline">m\in \Reals</math> और फलन <math display="inline">V : M \to \Reals</math>.
जब फलन अलग-अलग नहीं होता है, तब भी लीजेंड्रे ट्रांसफॉर्मेशन को बढ़ाया जा सकता है और इसे लेजेंड्रे-फेंशेल ट्रांसफॉर्मेशन के रूप में जाना जाता है। इस अधिक सामान्य सेटिंग में, कुछ गुण खो जाते हैं: उदाहरण के लिए, लेजेंड्रे रूपांतरण अब अपना व्युत्क्रम नहीं है (जब तक कि उत्तलता जैसी अतिरिक्त मान्यताएं नहीं हैं)


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


स्थानीय रूप से लीजेंड्रे परिवर्तन का वर्णन करने के लिए, आइए <math display="inline">U\subseteq M</math> जिस पर एक समन्वय चार्ट हो <math display="inline">E</math> तुच्छ है। का तुच्छीकरण चुनना <math display="inline">E</math> ऊपर <math display="inline">U</math>, हम चार्ट प्राप्त करते हैं <math display="inline">E_U \cong U \times \R^r</math> और <math display="inline">E_U^* \cong U \times \R^r</math>. इन चार्टों के संदर्भ में, हमारे पास है <math display="inline">\mathbf FL(x; v_1, \dotsc, v_r) = (x; p_1,\dotsc, p_r)</math>, जहाँ <math display="block">p_i = \frac {\partial L}{\partial v_i}(x; v_1, \dotsc, v_r)</math> सभी के लिए <math display="inline">i = 1, \dots, r</math>.
<math display="inline">M</math> को एक स्मूथ मैनिफोल्ड होने दें, और <math>E</math> और <math display="inline">\pi : E\to M</math> को क्रमशः <math>M</math> और उससे जुड़े बंडल प्रोजेक्शन पर एक वेक्टर बंडल होने दें। मान लीजिये <math display="inline">L : E\to \R</math> मसृण फलन हो। हम चिरसम्मत अवस्था के साथ सादृश्य द्वारा <math display="inline">L</math> के बारे में सोचते हैं जहां <math display="inline">M = \R</math>,<math display="inline">E = TM = \Reals \times \Reals </math>और <math display="inline">L(x,v) = \frac 1 2 m v^2 - V(x)</math> कुछ धनात्मक संख्या <math display="inline">m\in \Reals</math> के लिए और फलन <math display="inline">V : M \to \Reals</math>


यदि, जैसा कि चिरसम्मत मामले में, का प्रतिबंध <math display="inline">L : E\to \mathbb R</math> प्रत्येक फाइबर के लिए <math display="inline">E_x</math> सख्ती से उत्तल है और एक सकारात्मक निश्चित द्विघात रूप से नीचे एक स्थिर है, फिर लिजेंड्रे रूपांतरित होता है <math display="inline">\mathbf FL : E\to E^*</math> डिफियोमोर्फिज्म है।<ref name="CdS2008">Ana Cannas da Silva. ''Lectures on Symplectic Geometry'', Corrected 2nd printing. Springer-Verlag, 2008. pp. 147-148. {{ISBN|978-3-540-42195-5}}.</ref> लगता है कि <math display="inline">\mathbf FL</math> एक भिन्नता है और चलो <math display="inline">H : E^* \to \R</math> द्वारा परिभाषित "हैमिल्टनियन मैकेनिक्स" फ़ंक्शन हो <math display="block">H(p) = p \cdot v - L(v),</math> जहाँ <math display="inline">v = (\mathbf FL)^{-1}(p)</math>. प्राकृतिक समरूपता का उपयोग करना <math display="inline">E\cong E^{**}</math>, हम लीजेंड्रे के परिवर्तन को देख सकते हैं <math display="inline">H</math> मानचित्र के रूप में <math display="inline">\mathbf FH : E^* \to E</math>. तो हमारे पास हैं<ref name="CdS2008"/> <math display="block">(\mathbf FL)^{-1} = \mathbf FH.</math>
हमेशा की तरह, <math display="inline">E</math> के द्वैत को <math display="inline">E^*</math> द्वारा दर्शाया जाता है। <math display="inline">x\in M</math> के ऊपर <math display="inline">\pi</math> के फाइबर को <math display="inline">E_x</math> द्वारा निरूपित किया जाता है, और <math display="inline">L</math> से <math display="inline">E_x</math>तक के प्रतिबंध को <math display="inline">L|_{E_x} : E_x\to \R</math> <math display="inline">L</math> का लेजेंड्रे ट्रांसफॉर्मेशन स्मूथ मॉर्फिज़्म है<math display="block">\mathbf F L : E \to E^*</math>




== और गुण ==
द्वारा परिभाषित <math display="inline">\mathbf FL(v) = d(L|_{E_x})(v) \in E_x^*</math>, जहाँ <math display="inline">x = \pi(v)</math>.
 
दूसरे शब्दों में, <math display="inline">\mathbf FL(v)\in E_x^*</math> कोवेक्टर है जो भेजता है <math display="inline">w\in E_x</math> दिशात्मक व्युत्पन्न के लिए <math display="inline">\left.\frac d {dt}\right|_{t=0} L(v + tw)\in \R</math>.
=== स्केलिंग गुण ===
लीजेंड्रे ट्रांसफॉर्मेशन में निम्नलिखित स्केलिंग गुण हैं: के लिए {{math|''a'' > 0}},


<math display="block">f(x) = a \cdot g(x) \Rightarrow f^\star(p) = a \cdot g^\star\left(\frac{p}{a}\right) </math>
स्थानीय रूप से लीजेंड्रे परिवर्तन का वर्णन करने के लिए, आइए <math display="inline">U\subseteq M</math> जिस पर एक समन्वय चार्ट हो <math display="inline">E</math> तुच्छ है। का तुच्छीकरण चुनना <math display="inline">E</math> ऊपर <math display="inline">U</math>, हम चार्ट प्राप्त करते हैं <math display="inline">E_U \cong U \times \R^r</math> और <math display="inline">E_U^* \cong U \times \R^r</math>. इन चार्टों के संदर्भ में, हमारे पास है <math display="inline">\mathbf FL(x; v_1, \dotsc, v_r) = (x; p_1,\dotsc, p_r)</math>, जहाँ<math display="block">p_i = \frac {\partial L}{\partial v_i}(x; v_1, \dotsc, v_r)</math>सभी के लिए <math display="inline">i = 1, \dots, r</math>.
<math display="block">f(x) = g(a \cdot x) \Rightarrow f^\star(p) = g^\star\left(\frac{p}{a}\right).</math>
यह इस प्रकार है कि यदि कोई फ़ंक्शन सजातीय कार्य है | डिग्री का सजातीय {{mvar|r}} तब इसकी छवि लीजेंड्रे परिवर्तन के तहत डिग्री का एक सजातीय कार्य है {{mvar|s}}, जहाँ {{math|1=1/''r'' + 1/''s'' = 1}}. (तब से {{math|1=''f''(''x'') = ''x<sup>r</sup>''/''r''}}, साथ {{math|''r'' > 1}}, तात्पर्य {{math|1=''f''*(''p'') = ''p<sup>s</sup>''/''s''}}.) इस प्रकार, एकमात्र एकपदी जिसकी डिग्री लीजेंड्रे रूपांतरण के तहत अपरिवर्तनीय है, द्विघात है।


=== अनुवाद के तहत व्यवहार ===
यदि, जैसा कि चिरसम्मत मामले में, का प्रतिबंध <math display="inline">L : E\to \mathbb R</math> प्रत्येक फाइबर के लिए <math display="inline">E_x</math> सख्ती से उत्तल है और एक धनात्मक निश्चित द्विघात रूप से नीचे एक स्थिर है, फिर लिजेंड्रे रूपांतरित होता है <math display="inline">\mathbf FL : E\to E^*</math> डिफियोमोर्फिज्म है।<ref name="CdS2008">Ana Cannas da Silva. ''Lectures on Symplectic Geometry'', Corrected 2nd printing. Springer-Verlag, 2008. pp. 147-148. {{ISBN|978-3-540-42195-5}}.</ref> लगता है कि <math display="inline">\mathbf FL</math> एक भिन्नता है और चलो <math display="inline">H : E^* \to \R</math> द्वारा परिभाषित "हैमिल्टनियन मैकेनिक्स" फलन हो<math display="block">H(p) = p \cdot v - L(v),</math>जहाँ <math display="inline">v = (\mathbf FL)^{-1}(p)</math>. प्राकृतिक समरूपता का उपयोग करना <math display="inline">E\cong E^{**}</math>, हम लीजेंड्रे के परिवर्तन को देख सकते हैं <math display="inline">H</math> मानचित्र के रूप में <math display="inline">\mathbf FH : E^* \to E</math>. तो हमारे पास हैं<ref name="CdS2008" /><math display="block">(\mathbf FL)^{-1} = \mathbf FH.</math>  
<math display="block"> f(x) = g(x) + b \Rightarrow f^\star(p) = g^\star(p) - b</math>
<math display="block"> f(x) = g(x + y) \Rightarrow f^\star(p) = g^\star(p) - p \cdot y </math>


== और गुण ==


=== उलटा के तहत व्यवहार ===
=== स्केलिंग गुण ===
<math display="block"> f(x) = g^{-1}(x) \Rightarrow f^\star(p) = - p \cdot g^\star\left(\frac{1}{p} \right) </math>
लीजेंड्रे ट्रांसफॉर्मेशन में निम्नलिखित स्केलिंग गुण हैं: के लिए {{math|''a'' > 0}},<math display="block">f(x) = a \cdot g(x) \Rightarrow f^\star(p) = a \cdot g^\star\left(\frac{p}{a}\right) </math><math display="block">f(x) = g(a \cdot x) \Rightarrow f^\star(p) = g^\star\left(\frac{p}{a}\right).</math>यह इस प्रकार है कि यदि कोई फलन सजातीय कार्य है | डिग्री का सजातीय {{mvar|r}} तब इसकी छवि लीजेंड्रे परिवर्तन के तहत डिग्री का एक सजातीय कार्य है {{mvar|s}}, जहाँ {{math|1=1/''r'' + 1/''s'' = 1}}. (तब से {{math|1=''f''(''x'') = ''x<sup>r</sup>''/''r''}}, साथ {{math|''r'' > 1}}, तात्पर्य {{math|1=''f''*(''p'') = ''p<sup>s</sup>''/''s''}}.) इस प्रकार, एकमात्र एकपदी जिसकी डिग्री लीजेंड्रे रूपांतरण के तहत अपरिवर्तनीय है, द्विघात है।
 


=== अनुवाद के अंतर्गत व्यवहार<math display="block"> f(x) = g(x) + b \Rightarrow f^\star(p) = g^\star(p) - b</math><math display="block"> f(x) = g(x + y) \Rightarrow f^\star(p) = g^\star(p) - p \cdot y </math> ===
=== व्युत्क्रम के अंतर्गत व्यवहार<math display="block"> f(x) = g^{-1}(x) \Rightarrow f^\star(p) = - p \cdot g^\star\left(\frac{1}{p} \right) </math> ===
=== रैखिक परिवर्तनों के तहत व्यवहार ===
=== रैखिक परिवर्तनों के तहत व्यवहार ===
होने देना {{math|''A'' : '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>}} एक [[रैखिक परिवर्तन]] हो। किसी उत्तल फलन के लिए {{mvar|f}} पर {{math|'''R'''<sup>''n''</sup>}}, किसी के पास
मान लीजिये {{math|''A'' : '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>}} एक [[रैखिक परिवर्तन]] हो। किसी उत्तल फलन के लिए {{mvar|f}} पर {{math|'''R'''<sup>''n''</sup>}}, किसी के पास<math display="block"> (A f)^\star = f^\star A^\star </math>जहाँ {{math|''A''*}} का [[सहायक संचालिका]] है {{mvar|A}} द्वारा परिभाषित<math display="block"> \left \langle Ax, y^\star \right \rangle = \left \langle x, A^\star y^\star \right \rangle, </math>और {{math|''Af''}}, {{mvar|A}} के साथ {{mvar|f}} का पुश-फॉरवर्ड है<math display="block"> (A f)(y) = \inf\{ f(x) : x \in X , A x = y \}. </math>बंद उत्तल फलन {{mvar|f}} दिए गए सेट के संबंध में सममित है {{mvar|G}} [[ऑर्थोगोनल मैट्रिक्स]] की,<math display="block">f(A x) = f(x), \; \forall x, \; \forall A \in G </math>यदि और केवल यदि {{math|''f''*}} {{mvar|G}} के संबंध में सममित है
<math display="block"> (A f)^\star = f^\star A^\star </math>
=== इनफिनिमल कनवल्शन ===
जहाँ {{math|''A''*}} का [[सहायक संचालिका]] है {{mvar|A}} द्वारा परिभाषित
दो फलनों {{mvar|f}} और {{mvar|g}} के इनफिनिमल दृढ़ संकल्प के रूप में परिभाषित किया गया है<math display="block"> \left(f \star_\inf g\right)(x) = \inf \left \{ f(x-y) + g(y) \, | \, y \in \mathbf{R}^n \right \}. </math>
<math display="block"> \left \langle Ax, y^\star \right \rangle = \left \langle x, A^\star y^\star \right \rangle, </math>
और {{math|''Af''}} का पुश-फॉरवर्ड है {{mvar|f}} साथ में {{mvar|A}}
<math display="block"> (A f)(y) = \inf\{ f(x) : x \in X , A x = y \}. </math>
एक बंद उत्तल फलन {{mvar|f}} दिए गए सेट के संबंध में सममित है {{mvar|G}} [[ऑर्थोगोनल मैट्रिक्स]] की,
<math display="block">f(A x) = f(x), \; \forall x, \; \forall A \in G </math>
[[अगर और केवल अगर]] {{math|''f''*}} के संबंध में सममित है {{mvar|G}}.
 
=== अनौपचारिक कनवल्शन ===
दो कार्यों का अनौपचारिक दृढ़ संकल्प {{mvar|f}} और {{mvar|g}} परिभाषित किया जाता है
 
<math display="block"> \left(f \star_\inf g\right)(x) = \inf \left \{ f(x-y) + g(y) \, | \, y \in \mathbf{R}^n \right \}. </math>
होने देना {{math|''f''<sub>1</sub>, ..., ''f<sub>m</sub>''}} उचित उत्तल कार्य करें {{math|'''R'''<sup>''n''</sup>}}. तब
 
<math display="block"> \left( f_1 \star_\inf \cdots \star_\inf f_m \right)^\star = f_1^\star + \cdots + f_m^\star. </math>




मान लीजिये {{math|''f''<sub>1</sub>, ..., ''f<sub>m</sub>''}} उचित उत्तल कार्य करें तब {{math|'''R'''<sup>''n''</sup>}}<math display="block"> \left( f_1 \star_\inf \cdots \star_\inf f_m \right)^\star = f_1^\star + \cdots + f_m^\star. </math>
=== फेनचेल की असमानता ===
=== फेनचेल की असमानता ===
किसी फलन के लिए {{mvar|f}} और इसका उत्तल संयुग्म {{math|''f'' *}} फेनशेल की असमानता (जिसे फेनशेल-यंग असमानता के रूप में भी जाना जाता है) प्रत्येक के लिए लागू होती है {{math|''x'' ∈ ''X''}} और {{math|''p'' ∈ ''X''*}}, यानी स्वतंत्र {{math|''x'', ''p''}} जोड़े,
किसी भी फलन {{mvar|f}} और इसके उत्तल संयुग्म {{math|''f'' *}} के लिए फेनचेल की असमानता (जिसे फेनशेल-यंग असमानता के रूप में भी जाना जाता है) प्रत्येक {{math|''x'' ∈ ''X''}} और {{math|''p'' ∈ ''X''*}} यानी स्वतंत्र {{math|''x'', ''p''}} जोड़े, के लिए लागू होती है।<math display="block">\left\langle p,x \right\rangle \le f(x) + f^\star(p).</math>
<math display="block">\left\langle p,x \right\rangle \le f(x) + f^\star(p).</math>


== यह भी देखें ==


== यह भी देखें ==
* [[दोहरी वक्र|द्वैत वक्र]]
* [[दोहरी वक्र]]
* प्रक्षेप्य द्वैत
* [[प्रोजेक्टिव द्वंद्व]]
* उत्पादों में यंग की असमानता
* उत्पादों के लिए यंग की असमानता
* उत्तल संयुग्म
* उत्तल संयुग्म
* मोरो की प्रमेय
* मोरो की प्रमेय
Line 311: Line 221:
* {{cite book | last=Rockafellar |first=R. Tyrrell | author-link=R. Tyrrell Rockafellar |title=Convex Analysis |publisher=Princeton University Press |year=1996 |orig-year=1970 |isbn=0-691-01586-4}}
* {{cite book | last=Rockafellar |first=R. Tyrrell | author-link=R. Tyrrell Rockafellar |title=Convex Analysis |publisher=Princeton University Press |year=1996 |orig-year=1970 |isbn=0-691-01586-4}}
* {{Cite journal| last1 = Zia | first1 = R. K. P.| last2 = Redish | first2 = E. F.| last3 = McKay | first3 = S. R.| doi = 10.1119/1.3119512 | title = Making sense of the Legendre transform| journal = American Journal of Physics| volume = 77| issue = 7 | pages = 614| year = 2009| arxiv = 0806.1147| bibcode= 2009AmJPh..77..614Z| s2cid = 37549350}}
* {{Cite journal| last1 = Zia | first1 = R. K. P.| last2 = Redish | first2 = E. F.| last3 = McKay | first3 = S. R.| doi = 10.1119/1.3119512 | title = Making sense of the Legendre transform| journal = American Journal of Physics| volume = 77| issue = 7 | pages = 614| year = 2009| arxiv = 0806.1147| bibcode= 2009AmJPh..77..614Z| s2cid = 37549350}}
==अग्रिम पठन==
==अग्रिम पठन==
*{{cite web
*{{cite web
Line 341: Line 249:
|date = 2006-11-21
|date = 2006-11-21
}}
}}
==बाहरी संबंध==
==बाहरी संबंध==
{{Commons category|Legendre transformation}}
*[https://web.archive.org/web/20150312152731/http://maze5.net/?page_id=733 Legendre transform with figures] at maze5.net
*[https://web.archive.org/web/20150312152731/http://maze5.net/?page_id=733 Legendre transform with figures] at maze5.net
*[http://www.onmyphd.com/?p=legendre.fenchel.transform Legendre and Legendre-Fenchel transforms in a step-by-step explanation] at onmyphd.com
*[http://www.onmyphd.com/?p=legendre.fenchel.transform Legendre and Legendre-Fenchel transforms in a step-by-step explanation] at onmyphd.com
[[Category: बदल देती है]] [[Category: द्वैत सिद्धांत]] [[Category: भौतिकी में अवधारणाएँ]] [[Category: उत्तल विश्लेषण]] [[Category: गणितीय भौतिकी]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 19/04/2023]]
[[Category:Created On 19/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:उत्तल विश्लेषण]]
[[Category:गणितीय भौतिकी]]
[[Category:द्वैत सिद्धांत]]
[[Category:बदल देती है]]
[[Category:भौतिकी में अवधारणाएँ]]

Latest revision as of 18:05, 3 May 2023

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

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

जहाँ अवकलन का संचालिका है, संबद्ध फलन के लिए तर्क या इनपुट का प्रतिनिधित्व करता है, व्युत्क्रम फलन है जैसे


या समकक्ष रूप से और लग्रेंज के अंकन में है।

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

परिभाषा

मान लीजिये अंतराल होने दें, और उत्तल फलन; तब का लेजेंड्रे रूपांतरण फलन द्वारा परिभाषित किया गया है।

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


उत्तल कार्यों के लिए सामान्यीकरण एक उत्तल सेट पर सीधा है: में डोमेन है

द्वारा परिभाषित किया गया है
जहाँ के डॉट उत्पाद को और दर्शाता है


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

प्रवणता वाले के ग्राफ़ की स्पर्शरेखा रेखा के -प्रतिच्छेद के ऋणात्मक के रूप में व्याख्या की जा सकती है।


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

डेरिवेटिव के संदर्भ में लेजेंड्रे ट्रांसफॉर्म को समझना

अवकलनीय उत्तल फलन के लिए पहले व्युत्पन्न के साथ वास्तविक रेखा पर और इसका उलटा , लीजेंड्रे का रूपांतरण , , निर्दिष्ट किया जा सकता है, एक योज्य स्थिरांक तक, इस परिस्थिति के द्वारा कि कार्यों के पहले डेरिवेटिव एक दूसरे के व्युत्क्रम कार्य हैं, अर्थात, और .

इसे देखने के लिए पहले ध्यान दें कि अगर वास्तविक रेखा पर उत्तल कार्य के रूप में अवकलनीय है और के कार्य का एक महत्वपूर्ण बिंदु (गणित) है , तब सर्वोच्चता प्राप्त की जाती है (उत्तलता से, इस विकिपीडिया पृष्ठ में पहला चित्र देखें)। इसलिए, लीजेंड्रे का परिवर्तन है .

फिर, मान लीजिए कि पहला अवकलज व्युत्क्रमणीय है और मान लें कि इसका व्युत्क्रम है। फिर प्रत्येक के लिए, बिंदु फलन (अर्थात् का अद्वितीय महत्वपूर्ण बिंदु है क्योंकि और पर के संबंध में फलन का पहला अवकलज है। इसलिए हमारे पास है ) प्रत्येक के लिए के संबंध में अवकलन करने पर, हम पाते हैं


तब से यह सरल करता है . दूसरे शब्दों में, और एक दूसरे के विपरीत हैं।

सामान्यतः, यदि के व्युत्क्रम के रूप में, तो तो समाकलन से प्राप्त होता है। स्थिर के साथ।

व्यावहारिक रूप में, दिया हुआ है, बनाम का पैरामीट्रिक प्लॉट बनाम के ग्राफ के बराबर है।

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

गुण

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

उदाहरण

उदाहरण 1

ex को लाल रंग में प्लॉट किया गया है और इसका लीजेंड्रे धराशायी नीले रंग में बदल गया है। ध्यान दें कि लीजेंड्रे परिवर्तन उत्तल दिखाई देता है।

घातीय फलन पर विचार करें, जिसका प्रांत है। परिभाषा से, लेजेंड्रे रूपांतरण है

परिभाषा से, लीजेंड्रे रूपांतरण है

जहाँ तय होना बाकी है। सर्वोच्चता का मूल्यांकन करने के लिए, के व्युत्पन्न की गणना करें इसके संबंध में और शून्य के बराबर सेट करें:
दूसरा अवकलज हर जगह ऋणात्मक है, इसलिए अधिकतम मान पर प्राप्त किया जाता है। इस प्रकार, लीजेंड्रे परिवर्तन है


और इसका डोमेन है यह दिखाता है कि किसी फलन  के डोमेन और उसके लेजेंड्रे परिवर्तन भिन्न हो सकते हैं। ढूँढ़ने के लिए

हम गणना करते हैं


इस प्रकार, अधिकतम होता है, और

इस प्रकार यह पुष्टि करता है कि अपेक्षा के अनुरूप।

उदाहरण 2

मान लीजिए कि f(x) = cx2 R पर परिभाषित है, जहाँ c > 0 एक निश्चित स्थिरांक है।

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

इस प्रकार, I* = R और

का पहला डेरिवेटिव f, 2cx, और का f *, x*/(2c), एक दूसरे के व्युत्क्रम फलन हैं। स्पष्ट रूप से, इसके अतिरिक्त,
अर्थात् f ** = f.

उदाहरण 3

मान लीजिए f(x) = x2 के लिए xI = [2, 3].

x* निश्चित के लिए, x*xf(x) कॉम्पैक्ट I पर निरंतर है, इसलिए यह हमेशा उस पर एक अधिकतम सीमा लेता है; यह इस प्रकार है कि I* = RI

x = x*/2 पर स्थिर बिंदु डोमेन [2, 3] में है अगर और केवल अगर 4 ≤ x* ≤ 6 अन्यथा अधिकतम या तो x = 2, या x = 3 पर लिया जाता है। यह इस प्रकार है

उदाहरण 4

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

कोई समावेशन की जांच कर सकता है: बेशक, x*xf*(x*) हमेशा x* ∈ {c} के फलन के रूप में परिबद्ध होता है, इसलिए I ** = R फिर, सभी x के लिए एक है

और इसलिए f **(x) = cx = f(x).

उदाहरण 5: कई चर

मान लीजिये

X = Rn पर परिभाषित किया जा सकता है, जहाँ A एक वास्तविक, धनात्मक निश्चित मैट्रिक्स है।


तब f उत्तल है, और

ग्रेडिएंट p − 2Ax और हेसियन −2A है, जो ऋणात्मक है; इसलिए स्थिर बिंदु x = A−1p/2 अधिकतम है।


हमारे पास X* = Rn और है

लीजेंड्रे ट्रांसफॉर्म के तहत अंतर का व्यवहार

लेजेंड्रे रूपांतरण को भागों द्वारा एकीकरण से प्राप्त किया गया है, p dx = d(px) − x dp

मान लीजिए f दो स्वतंत्र चरों x और y का फलन है, जिसमें अवकल है

मान लें कि यह सभी y के लिए x में उत्तल है, ताकि कोई x में लिजेंड्रे ट्रांसफ़ॉर्म कर सके, p के साथ x के लिए चर संयुग्मित हो। चूँकि नया स्वतंत्र चर p है, अवकल dx और dy, dp और dy में न्यागत होते हैं, अर्थात्, हम नए आधार dp और dy के रूप में व्यक्त अंतर के साथ एक अन्य फलन का निर्माण करते हैं।

अतः हम फलन g(p, y) = fpx पर विचार करते हैं ताकि

फलन g(p, y) f(x, y) का लेजेन्ड्रे रूपांतरण है, जहाँ केवल स्वतंत्र चर x को p द्वारा विस्थापित किया गया है। यह उष्मागतिकी में व्यापक रूप से प्रयोग किया जाता है, जैसा कि नीचे दिखाया गया है।

अनुप्रयोग

विश्लेषणात्मक यांत्रिकी

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

जहाँ पर निर्देशांक हैं Rn × Rn, M धनात्मक वास्तविक मैट्रिक्स है, और
हर एक के लिए q हल किया गया, का उत्तल कार्य है , जबकि स्थिरांक की भूमिका निभाता है।


इसलिए लीजेंड्रे का रूपांतरण के एक फलन के रूप में हैमिल्टनियन फलन है,

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

ऊष्मप्रवैगिकी

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

उदाहरण के लिए, आंतरिक ऊर्जा व्यापक मात्रा एन्ट्रापी, आयतन और रासायनिक संरचना का स्पष्ट कार्य है

जिसमें कुल अंतर है
आंतरिक ऊर्जा के (गैर-मानक) लीजेंड्रे परिवर्तन का उपयोग करके, कुछ सामान्य संदर्भ स्थिति को निर्धारित करना, U, मात्रा के संबंध में, V, तापीय धारिता को लिखकर परिभाषित किया जा सकता है
जो अब स्पष्ट रूप से दबाव P का कार्य है , तब से
एन्थैल्पी उन प्रक्रियाओं का वर्णन करने के लिए उपयुक्त है जिनमें परिवेश से दबाव को नियंत्रित किया जाता है।

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

हेल्महोल्ट्ज़ मुक्त ऊर्जा प्रायः सबसे उपयोगी ऊष्मप्रवैगिकी क्षमता होती है जब तापमान और आयतन को परिवेश से नियंत्रित किया जाता है, जबकि गिब्स ऊर्जा प्रायः सबसे उपयोगी होती है जब तापमान और दबाव को परिवेश से नियंत्रित किया जाता है।

एक उदाहरण - चर संधारित्र

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

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

धारिता C(x) तथा आवेश Q के संधारित्र में संचित ऊर्जा है

जहां प्लेटों के क्षेत्र पर निर्भरता, प्लेटों के बीच सामग्री के ढांकता हुआ स्थिरांक, और पृथक्करण x को समाई C(x) के रूप में अलग कर दिया जाता है। (एक समानांतर प्लेट संधारित्र के लिए, यह प्लेटों के क्षेत्र के समानुपाती होता है और पृथक्करण के व्युत्क्रमानुपाती होता है।)

विद्युत क्षेत्र के कारण प्लेटों के बीच बल F तब होता है

यदि संधारित्र किसी परिपथ से जुड़ा नहीं है, तो प्लेटों पर आवेश चलते समय स्थिर रहते हैं, और बल विद्युतस्थैतिक ऊर्जा का ऋणात्मक प्रवणता है
हालाँकि, मान लीजिए, इसके बजाय, प्लेटों V के बीच वोल्टेज को बैटरी से जोड़कर स्थिर बनाए रखा जाता है, जो कि निरंतर संभावित अंतर पर आवेश के लिए एक जलाशय है; अब आवेश वोल्टेज के बजाय परिवर्तनशील है, इसका लीजेंड्रे कंजुगेट है। बल खोजने के लिए, पहले, गैर-मानक लेजेंड्रे परिवर्तन की गणना करें,
बल अब इस लीजेंड्रे रूपांतरण का ऋणात्मक ढलान बन जाता है, जो अभी भी उसी दिशा में संकेत करता है,
दो संयुग्मित ऊर्जाएं एक-दूसरे के विपरीत खड़ी होती हैं, केवल धारिता की रैखिकता के कारण—सिवाय इसके कि अब Q एक स्थिरांक नहीं है। वे संधारित्र में ऊर्जा भंडारण के दो अलग-अलग मार्गों को प्रतिबिंबित करते हैं, जिसके परिणामस्वरूप, उदाहरण के लिए, संधारित्र की प्लेटों के बीच समान "खिंचाव" होता है।

संभाव्यता सिद्धांत

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

सूक्ष्मअर्थशास्त्र

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

एक सरल सिद्धांत पूरी तरह से लागत फलन पर आधारित आपूर्ति वक्र के आकार की व्याख्या करता है। मान लें कि हमारे उत्पाद की एक इकाई का बाजार मूल्य P है। इस वस्तु को बेचने वाली कंपनी के लिए, सबसे अच्छी रणनीति उत्पादन Q को समायोजित करना है ताकि इसका लाभ अधिकतम हो सके। हम अधिकतम लाभ प्राप्त कर सकते हैं

Q के सापेक्ष अवकलन करके और हल करके
Qopt माल की इष्टतम मात्रा Q का प्रतिनिधित्व करता है जिसे निर्माता आपूर्ति करने के लिए तैयार है, जो वास्तव में स्वयं आपूर्ति है:
यदि हम अधिकतम लाभ को मूल्य, लाभ अधिकतम के फलन के रूप में मानते हैं, तो हम देखते हैं कि यह लागत फलन का लेजेंड्रे परिवर्तन है।

ज्यामितीय व्याख्या

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

ढलान और -अवरोधन के साथ एक लाइन का समीकरण द्वारा दिया गया है, इस लाइन के लिए बिंदु पर फलन के ग्राफ को स्पर्शरेखा बनाने की आवश्यकता है।

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

लीजेंड्रे परिवर्तन एक से अधिक आयामों में

Rn के एक खुले उत्तल उपसमुच्चय U पर एक अलग-अलग वास्तविक-मूल्यवान फलन के लिए जोड़ी (U, f) के लेजेंड्रे संयुग्म को जोड़ी (V, g) के रूप में परिभाषित किया गया है, जहां V ग्रेडिएंट मैपिंग Df के तहत U की छवि है , और g सूत्र द्वारा दिया गया V पर फलन है

जहाँ
Rn पर अदिश गुणनफल है। बहुआयामी परिवर्तन को इसके सहायक हाइपरप्लेन के संदर्भ में फलन के एपिग्राफ के उत्तल पतवार के एक एन्कोडिंग के रूप में व्याख्या किया जा सकता है।[1]


वैकल्पिक रूप से, यदि X एक सदिश समष्टि है और Y इसकी दोहरी सदिश समष्टि है, तो x के प्रत्येक बिंदु X और y के Y के लिए, Y के साथ कोटिस्पर्शी रिक्त स्थान T*Xx और X के साथ T*Yy की प्राकृतिक पहचान है। यदि f, X के ऊपर एक वास्तविक अवकलनीय फलन है, तो इसका बाह्य अवकलज, df कोटिस्पर्शी बंडल T*X का एक भाग है और इस तरह, हम X से Y तक एक मानचित्र बना सकते हैं। इसी प्रकार, यदि g, Y के ऊपर एक वास्तविक अवकलनीय फलन है, तो dg, Y से X तक के मानचित्र को परिभाषित करता है। यदि दोनों मानचित्र एक दूसरे के व्युत्क्रम होते हैं, तो हम कहते हैं कि हमारे पास एक लेजेंड्रे रूपांतरण है। इस सेटिंग में टॉटोलॉजिकल वन-फॉर्म की धारणा का सामान्यतः उपयोग किया जाता है।

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

कई गुना पर लेजेंड्रे परिवर्तन

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

हमेशा की तरह, के द्वैत को द्वारा दर्शाया जाता है। के ऊपर के फाइबर को द्वारा निरूपित किया जाता है, और से तक के प्रतिबंध को का लेजेंड्रे ट्रांसफॉर्मेशन स्मूथ मॉर्फिज़्म है


द्वारा परिभाषित , जहाँ . दूसरे शब्दों में, कोवेक्टर है जो भेजता है दिशात्मक व्युत्पन्न के लिए .

स्थानीय रूप से लीजेंड्रे परिवर्तन का वर्णन करने के लिए, आइए जिस पर एक समन्वय चार्ट हो तुच्छ है। का तुच्छीकरण चुनना ऊपर , हम चार्ट प्राप्त करते हैं और . इन चार्टों के संदर्भ में, हमारे पास है , जहाँ

सभी के लिए .

यदि, जैसा कि चिरसम्मत मामले में, का प्रतिबंध प्रत्येक फाइबर के लिए सख्ती से उत्तल है और एक धनात्मक निश्चित द्विघात रूप से नीचे एक स्थिर है, फिर लिजेंड्रे रूपांतरित होता है डिफियोमोर्फिज्म है।[2] लगता है कि एक भिन्नता है और चलो द्वारा परिभाषित "हैमिल्टनियन मैकेनिक्स" फलन हो

जहाँ . प्राकृतिक समरूपता का उपयोग करना , हम लीजेंड्रे के परिवर्तन को देख सकते हैं मानचित्र के रूप में . तो हमारे पास हैं[2]

और गुण

स्केलिंग गुण

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

यह इस प्रकार है कि यदि कोई फलन सजातीय कार्य है | डिग्री का सजातीय r तब इसकी छवि लीजेंड्रे परिवर्तन के तहत डिग्री का एक सजातीय कार्य है s, जहाँ 1/r + 1/s = 1. (तब से f(x) = xr/r, साथ r > 1, तात्पर्य f*(p) = ps/s.) इस प्रकार, एकमात्र एकपदी जिसकी डिग्री लीजेंड्रे रूपांतरण के तहत अपरिवर्तनीय है, द्विघात है।

अनुवाद के अंतर्गत व्यवहार

व्युत्क्रम के अंतर्गत व्यवहार

रैखिक परिवर्तनों के तहत व्यवहार

मान लीजिये A : RnRm एक रैखिक परिवर्तन हो। किसी उत्तल फलन के लिए f पर Rn, किसी के पास

जहाँ A* का सहायक संचालिका है A द्वारा परिभाषित
और Af, A के साथ f का पुश-फॉरवर्ड है
बंद उत्तल फलन f दिए गए सेट के संबंध में सममित है G ऑर्थोगोनल मैट्रिक्स की,
यदि और केवल यदि f* G के संबंध में सममित है

इनफिनिमल कनवल्शन

दो फलनों f और g के इनफिनिमल दृढ़ संकल्प के रूप में परिभाषित किया गया है


मान लीजिये f1, ..., fm उचित उत्तल कार्य करें तब Rn

फेनचेल की असमानता

किसी भी फलन f और इसके उत्तल संयुग्म f * के लिए फेनचेल की असमानता (जिसे फेनशेल-यंग असमानता के रूप में भी जाना जाता है) प्रत्येक xX और pX* यानी स्वतंत्र x, p जोड़े, के लिए लागू होती है।

यह भी देखें

  • द्वैत वक्र
  • प्रक्षेप्य द्वैत
  • उत्पादों में यंग की असमानता
  • उत्तल संयुग्म
  • मोरो की प्रमेय
  • भागों द्वारा एकीकरण
  • फेनचेल का द्वैत प्रमेय

संदर्भ

  1. "Legendre Transform | Nick Alger // Maps, art, etc". Archived from the original on 2015-03-12. Retrieved 2011-01-26.
  2. 2.0 2.1 Ana Cannas da Silva. Lectures on Symplectic Geometry, Corrected 2nd printing. Springer-Verlag, 2008. pp. 147-148. ISBN 978-3-540-42195-5.

अग्रिम पठन

बाहरी संबंध