लेजेंड्रे परिवर्तन: Difference between revisions
(→उदाहरण) |
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'(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>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>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</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> \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> 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|''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^{**} = 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> | ||
और इसका डोमेन <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|''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|''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 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|''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> | |||
तब {{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|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 dx'' = ''d''(''px'') − ''x dp''}} | ||
मान लीजिए {{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|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 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 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> | |||
जो अब स्पष्ट रूप से दबाव | |||
<math display="block"> dH(S,P,\{N_i\}) = T\,dS + V\,dP + \sum \mu_i \,dN _i.</math> | |||
एन्थैल्पी उन प्रक्रियाओं | |||
एंट्रॉपी के व्यापक चर से ऊर्जा की निर्भरता को स्थानांतरित करना भी संभव है, {{mvar|S}}, ( | एंट्रॉपी के व्यापक चर से ऊर्जा की निर्भरता को स्थानांतरित करना भी संभव है, {{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|''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|'''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|'''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 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|''S''(''P'')}} को खोजने की प्रक्रिया में उत्पन्न होता है, जिसे बाजार में एक निश्चित मूल्य {{math|''P''}} दिया जाता है, [[लागत वक्र|लागत]] फलन {{math|''C''(''Q'')}}, यानी निर्माता को बनाने/खनन/आदि की लागत जानने पर। दिए गए उत्पाद की {{math|''Q''}} इकाइयाँ। | |||
{{math|''Q''<sub>opt</sub>}} इष्टतम मात्रा | एक सरल सिद्धांत पूरी तरह से लागत फलन पर आधारित आपूर्ति वक्र के आकार की व्याख्या करता है। मान लें कि हमारे उत्पाद की एक इकाई का बाजार मूल्य {{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>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 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 display="block">y = x \cdot f^{\star\prime-1}(x) - f^{\star}\left(f^{\star\prime-1}(x)\right).</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 | 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|''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> के बारे में सोचते हैं जहां <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">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 display=" | स्थानीय रूप से लीजेंड्रे परिवर्तन का वर्णन करने के लिए, आइए <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=" | |||
= | यदि, जैसा कि चिरसम्मत मामले में, का प्रतिबंध <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=" | |||
<math display=" | |||
== और गुण == | |||
=== | === स्केलिंग गुण === | ||
<math display="block"> f(x) = g^{ | लीजेंड्रे ट्रांसफॉर्मेशन में निम्नलिखित स्केलिंग गुण हैं: के लिए {{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 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''}} | |||
<math display="block"> (A f)(y) = \inf\{ f(x) : x \in X , A x = y \}. </math> | |||
<math display="block">f(A x) = f(x), \; \forall x, \; \forall A \in G </math> | |||
=== | |||
दो | |||
<math display="block"> \left(f \star_\inf g\right)(x) = \inf \left \{ f(x-y) + g(y) \, | \, y \in \mathbf{R}^n \right \} | |||
मान लीजिये {{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''}} जोड़े, के लिए लागू होती है।<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 | ||
}} | }} | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
*[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: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
घातीय फलन पर विचार करें, जिसका प्रांत है। परिभाषा से, लेजेंड्रे रूपांतरण है
परिभाषा से, लीजेंड्रे रूपांतरण है
और इसका डोमेन है यह दिखाता है कि किसी फलन के डोमेन और उसके लेजेंड्रे परिवर्तन भिन्न हो सकते हैं। ढूँढ़ने के लिए
इस प्रकार, अधिकतम होता है, और
उदाहरण 2
मान लीजिए कि f(x) = cx2 R पर परिभाषित है, जहाँ c > 0 एक निश्चित स्थिरांक है।
x* अचल के लिए, x, x*x − f(x) = x*x − cx2 के फलन का पहला अवकलज x* − 2cx और दूसरा अवकलज −2c है; x = x*/2c पर एक स्थिर बिंदु होता है, जो हमेशा अधिकतम होता है।
इस प्रकार, I* = R और
उदाहरण 3
मान लीजिए f(x) = x2 के लिए x ∈ I = [2, 3].
x* निश्चित के लिए, x*x − f(x) कॉम्पैक्ट I पर निरंतर है, इसलिए यह हमेशा उस पर एक अधिकतम सीमा लेता है; यह इस प्रकार है कि I* = RI
x = x*/2 पर स्थिर बिंदु डोमेन [2, 3] में है अगर और केवल अगर 4 ≤ x* ≤ 6 अन्यथा अधिकतम या तो x = 2, या x = 3 पर लिया जाता है। यह इस प्रकार है
उदाहरण 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 के लिए एक है
उदाहरण 5: कई चर
मान लीजिये
तब f उत्तल है, और
हमारे पास X* = Rn और है
लीजेंड्रे ट्रांसफॉर्म के तहत अंतर का व्यवहार
लेजेंड्रे रूपांतरण को भागों द्वारा एकीकरण से प्राप्त किया गया है, p dx = d(px) − x dp
मान लीजिए f दो स्वतंत्र चरों x और y का फलन है, जिसमें अवकल है
अतः हम फलन g(p, y) = f − px पर विचार करते हैं ताकि
अनुप्रयोग
विश्लेषणात्मक यांत्रिकी
चिरसम्मत यांत्रिकी में लैग्रैंगियन फॉर्मूलेशन से हैमिल्टनियन फॉर्मूलेशन प्राप्त करने के लिए और इसके विपरीत एक लीजेंड्रे ट्रांसफ़ॉर्म का उपयोग किया जाता है। एक विशिष्ट लैग्रैंगियन का रूप है
इसलिए लीजेंड्रे का रूपांतरण के एक फलन के रूप में हैमिल्टनियन फलन है,
ऊष्मप्रवैगिकी
ऊष्मप्रवैगिकी में लीजेंड्रे परिवर्तन के उपयोग के पीछे की रणनीति एक ऐसे फलन से स्थानांतरित करना है जो चर पर निर्भर करता है जो नए (संयुग्मित) फलन पर निर्भर करता है जो नए चर पर निर्भर करता है, मूल के संयुग्म है। नया चर मूल चर के संबंध में मूल फलन का आंशिक अवकलज है। नया फलन मूल फलन और पुराने और नए चरों के गुणनफल के बीच का अंतर है। सामान्यतः, यह परिवर्तन उपयोगी होता है क्योंकि यह निर्भरता को स्थानांतरित करता है, उदाहरण के लिए, व्यापक चर से ऊर्जा को इसके संयुग्म-गहन चर में, जिसे प्रायः एक भौतिक प्रयोग में अधिक आसानी से नियंत्रित किया जा सकता है।
उदाहरण के लिए, आंतरिक ऊर्जा व्यापक मात्रा एन्ट्रापी, आयतन और रासायनिक संरचना का स्पष्ट कार्य है
एंट्रॉपी के व्यापक चर से ऊर्जा की निर्भरता को स्थानांतरित करना भी संभव है, S, (प्रायः अधिक सुविधाजनक) गहन चर के लिए T, जिसके परिणामस्वरूप हेल्महोल्ट्ज़ ऊर्जा और गिब्स ऊर्जा उष्मागतिक मुक्त ऊर्जा प्राप्त होती है। हेल्महोल्ट्ज़ मुक्त ऊर्जा, A, और गिब्स ऊर्जा, G, क्रमशः आंतरिक ऊर्जा और एन्थैल्पी के लीजेंड्रे रूपांतरणों को करके प्राप्त किया जाता है,
एक उदाहरण - चर संधारित्र
भौतिकी के एक अन्य उदाहरण के रूप में, समानांतर-प्लेट संधारित्र पर विचार करें, जिसमें प्लेटें एक दूसरे के सापेक्ष गति कर सकती हैं। इस तरह के संधारित्र विद्युत ऊर्जा के हस्तांतरण की अनुमति देगा जो प्लेटों पर कार्य करने वाले बल द्वारा किए गए बाहरी यांत्रिक कार्य में संधारित्र में संग्रहीत होता है। एक विद्युत आवेश को सिलेंडर में गैस के "चार्ज" के अनुरूप माना जा सकता है, जिसके परिणामस्वरूप पिस्टन पर यांत्रिक बल लगाया जाता है।
प्लेटों पर बल की गणना x के फलन के रूप में करें, वह दूरी जो उन्हें अलग करती है। बल खोजने के लिए, स्थितिज ऊर्जा की गणना करें, और फिर बल की परिभाषा को स्थितिज ऊर्जा फलन के ग्रेडिएंट के रूप में लागू करें।
धारिता C(x) तथा आवेश Q के संधारित्र में संचित ऊर्जा है
विद्युत क्षेत्र के कारण प्लेटों के बीच बल F तब होता है
संभाव्यता सिद्धांत
बड़े विचलन सिद्धांत में, दर फलन को यादृच्छिक चर के क्षण-उत्पन्न करने वाले फलन के लघुगणक के लीजेंड्रे परिवर्तन के रूप में परिभाषित किया गया है। दर फलन का एक महत्वपूर्ण अनुप्रयोग आई.आई.डी. यादृच्छिक चरों के योगों की पूँछ संभावनाओं की गणना में है।
सूक्ष्मअर्थशास्त्र
माइक्रोइकोनॉमिक्स (सूक्ष्मअर्थशास्त्र) में लेजेंड्रे परिवर्तन स्वाभाविक रूप से किसी उत्पाद की आपूर्ति S(P) को खोजने की प्रक्रिया में उत्पन्न होता है, जिसे बाजार में एक निश्चित मूल्य P दिया जाता है, लागत फलन C(Q), यानी निर्माता को बनाने/खनन/आदि की लागत जानने पर। दिए गए उत्पाद की Q इकाइयाँ।
एक सरल सिद्धांत पूरी तरह से लागत फलन पर आधारित आपूर्ति वक्र के आकार की व्याख्या करता है। मान लें कि हमारे उत्पाद की एक इकाई का बाजार मूल्य P है। इस वस्तु को बेचने वाली कंपनी के लिए, सबसे अच्छी रणनीति उत्पादन Q को समायोजित करना है ताकि इसका लाभ अधिकतम हो सके। हम अधिकतम लाभ प्राप्त कर सकते हैं
ज्यामितीय व्याख्या
कड़ाई से उत्तल फलन के लिए, लीजेंड्रे परिवर्तन को फलन के ग्राफ़ और ग्राफ़ के स्पर्शरेखा के परिवार के बीच मानचित्रण के रूप में व्याख्या किया जा सकता है। (एक चर के एक फलन के लिए, स्पर्शरेखा को सभी बिंदुओं पर अच्छी तरह से परिभाषित किया गया है, क्योंकि एक उत्तल फलन सभी बिंदुओं पर अलग-अलग है।)
ढलान और -अवरोधन के साथ एक लाइन का समीकरण द्वारा दिया गया है, इस लाइन के लिए बिंदु पर फलन के ग्राफ को स्पर्शरेखा बनाने की आवश्यकता है।
लीजेंड्रे परिवर्तन एक से अधिक आयामों में
Rn के एक खुले उत्तल उपसमुच्चय U पर एक अलग-अलग वास्तविक-मूल्यवान फलन के लिए जोड़ी (U, f) के लेजेंड्रे संयुग्म को जोड़ी (V, g) के रूप में परिभाषित किया गया है, जहां V ग्रेडिएंट मैपिंग Df के तहत U की छवि है , और g सूत्र द्वारा दिया गया V पर फलन है
वैकल्पिक रूप से, यदि 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] लगता है कि एक भिन्नता है और चलो द्वारा परिभाषित "हैमिल्टनियन मैकेनिक्स" फलन हो
और गुण
स्केलिंग गुण
लीजेंड्रे ट्रांसफॉर्मेशन में निम्नलिखित स्केलिंग गुण हैं: के लिए a > 0,
अनुवाद के अंतर्गत व्यवहार
व्युत्क्रम के अंतर्गत व्यवहार
रैखिक परिवर्तनों के तहत व्यवहार
मान लीजिये A : Rn → Rm एक रैखिक परिवर्तन हो। किसी उत्तल फलन के लिए f पर Rn, किसी के पास
इनफिनिमल कनवल्शन
दो फलनों f और g के इनफिनिमल दृढ़ संकल्प के रूप में परिभाषित किया गया है
मान लीजिये f1, ..., fm उचित उत्तल कार्य करें तब Rn
फेनचेल की असमानता
किसी भी फलन f और इसके उत्तल संयुग्म f * के लिए फेनचेल की असमानता (जिसे फेनशेल-यंग असमानता के रूप में भी जाना जाता है) प्रत्येक x ∈ X और p ∈ X* यानी स्वतंत्र x, p जोड़े, के लिए लागू होती है।
यह भी देखें
- द्वैत वक्र
- प्रक्षेप्य द्वैत
- उत्पादों में यंग की असमानता
- उत्तल संयुग्म
- मोरो की प्रमेय
- भागों द्वारा एकीकरण
- फेनचेल का द्वैत प्रमेय
संदर्भ
- ↑ "Legendre Transform | Nick Alger // Maps, art, etc". Archived from the original on 2015-03-12. Retrieved 2011-01-26.
- ↑ 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.
- Courant, Richard; Hilbert, David (2008). Methods of Mathematical Physics. Vol. 2. John Wiley & Sons. ISBN 978-0471504399.
- Arnol'd, Vladimir Igorevich (1989). Mathematical Methods of Classical Mechanics (2nd ed.). Springer. ISBN 0-387-96890-3.
- Fenchel, W. (1949). "On conjugate convex functions", Can. J. Math 1: 73-77.
- Rockafellar, R. Tyrrell (1996) [1970]. Convex Analysis. Princeton University Press. ISBN 0-691-01586-4.
- Zia, R. K. P.; Redish, E. F.; McKay, S. R. (2009). "Making sense of the Legendre transform". American Journal of Physics. 77 (7): 614. arXiv:0806.1147. Bibcode:2009AmJPh..77..614Z. doi:10.1119/1.3119512. S2CID 37549350.
अग्रिम पठन
- Nielsen, Frank (2010-09-01). "Legendre transformation and information geometry" (PDF). Retrieved 2016-01-24.
- Touchette, Hugo (2005-07-27). "Legendre-Fenchel transforms in a nutshell" (PDF). Retrieved 2016-01-24.
- Touchette, Hugo (2006-11-21). "Elements of convex analysis" (PDF). Archived from the original (PDF) on 2016-02-01. Retrieved 2016-01-24.
बाहरी संबंध
- Legendre transform with figures at maze5.net
- Legendre and Legendre-Fenchel transforms in a step-by-step explanation at onmyphd.com