लेजेंड्रे परिवर्तन: Difference between revisions
(→गुण) |
(→उदाहरण) |
||
Line 43: | Line 43: | ||
== गुण == | == गुण == | ||
*एक उत्तल फलन का लेजेंड्रे रूपांतरण, जिसके दोहरे व्युत्पन्न मान सभी धनात्मक हैं, वह भी एक उत्तल फलन है जिसके दोहरे व्युत्पन्न मान सभी धनात्मक हैं। आइए हम इसे सभी सकारात्मक दोहरे व्युत्पन्न मूल्यों और एक विशेषण (उलटा) व्युत्पन्न के साथ एक दोहरे अवकलनीय फलन <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>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 54: | Line 54: | ||
=== उदाहरण 1 === | === उदाहरण 1 === | ||
[[Image:LegendreExample.svg|right|thumb|200px|e<sup>x</sup> को लाल रंग में प्लॉट किया गया है और इसका लीजेंड्रे धराशायी नीले रंग में बदल गया है। ध्यान दें कि लीजेंड्रे परिवर्तन उत्तल दिखाई देता है।]]घातीय | [[Image:LegendreExample.svg|right|thumb|200px|e<sup>x</sup> को लाल रंग में प्लॉट किया गया है और इसका लीजेंड्रे धराशायी नीले रंग में बदल गया है। ध्यान दें कि लीजेंड्रे परिवर्तन उत्तल दिखाई देता है।]]घातीय फलन <math> f(x) = e^x,</math> पर विचार करें, जिसका प्रांत <math>I=\mathbb{R}</math> है। परिभाषा से, लेजेंड्रे रूपांतरण है | ||
परिभाषा से, लीजेंड्रे रूपांतरण है | |||
परिभाषा से, लीजेंड्रे रूपांतरण है<math display="block"> | |||
f^*(x^*) = \sup_{x\in \mathbb{R}}(x^*x-e^x),\quad x^*\in I^*</math> | f^*(x^*) = \sup_{x\in \mathbb{R}}(x^*x-e^x),\quad x^*\in I^*</math>जहाँ <math>I^*</math> तय होना बाकी है। सर्वोच्चता का मूल्यांकन करने के लिए, के व्युत्पन्न की गणना करें <math>x^*x-e^x</math> इसके संबंध में <math>x</math> और शून्य के बराबर सेट करें:<math display="block"> | ||
<math display="block"> | |||
\frac{d}{dx} (x^*x-e^x) = x^*-e^x = 0. | \frac{d}{dx} (x^*x-e^x) = x^*-e^x = 0. | ||
</math> | </math>दूसरा अवकलज <math>-e^x</math> हर जगह ऋणात्मक है, इसलिए अधिकतम मान <math>x = \ln(x^*)</math>पर प्राप्त किया जाता है। इस प्रकार, लीजेंड्रे परिवर्तन है<math display="block"> | ||
इस प्रकार, लीजेंड्रे परिवर्तन है | |||
<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"> | ||
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>हम गणना करते हैं<math display="block"> | ||
हम गणना करते हैं | |||
<math display="block"> | |||
\begin{aligned} | \begin{aligned} | ||
0 | 0 | ||
Line 81: | Line 73: | ||
\end{aligned} | \end{aligned} | ||
</math> | </math> | ||
इस प्रकार, | |||
इस प्रकार, <math>x^* = e^x</math>अधिकतम होता है, और<math display="block"> | |||
\begin{aligned} | \begin{aligned} | ||
f^{**}(x) | f^{**}(x) | ||
Line 88: | Line 81: | ||
= e^x, | = e^x, | ||
\end{aligned} | \end{aligned} | ||
</math> | </math>इस प्रकार यह पुष्टि करता है कि <math>f = f^{**},</math> अपेक्षा के अनुरूप। | ||
=== उदाहरण 2 === | === उदाहरण 2 === | ||
होने देना {{math|1=''f''(''x'') = ''cx''<sup>2</sup>}} पर परिभाषित {{math|'''R'''}}, | होने देना {{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''}}, जो हमेशा अधिकतम होता है। | ||
Line 125: | Line 117: | ||
होने देना | होने देना | ||
<math display="block">f(x)=\langle x,Ax\rangle+c</math> | <math display="block">f(x)=\langle x,Ax\rangle+c</math> | ||
पर परिभाषित किया जाए {{math|1=''X'' = '''R'''<sup>''n''</sup>}}, | पर परिभाषित किया जाए {{math|1=''X'' = '''R'''<sup>''n''</sup>}}, जहाँ {{mvar|A}} एक वास्तविक, सकारात्मक निश्चित मैट्रिक्स है। | ||
तब {{mvar|f}} उत्तल है, और | तब {{mvar|f}} उत्तल है, और | ||
Line 154: | Line 146: | ||
<math display="block">L(v,q)=\tfrac{1}2\langle v,Mv\rangle-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> | <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> स्थिरांक की भूमिका निभाता है। | हरएक के लिए {{mvar|q}} हल किया गया, <math>L(v, q)</math> का उत्तल कार्य है <math>v</math>, जबकि <math>V(q)</math> स्थिरांक की भूमिका निभाता है। | ||
Line 225: | Line 217: | ||
कड़ाई से उत्तल फ़ंक्शन के व्युत्पन्न होने के नाते, फ़ंक्शन <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>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 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>f</math> ढलान द्वारा पैरामीटरकृत <math>p</math> इसलिए द्वारा दिया गया है | ||
<math display="block">y = p x - f^{\star}(p),</math> | <math display="block">y = p x - f^{\star}(p),</math> | ||
Line 239: | Line 231: | ||
== एक से अधिक आयामों में किंवदंती परिवर्तन == | == एक से अधिक आयामों में किंवदंती परिवर्तन == | ||
एक खुले सेट उत्तल उपसमुच्चय पर एक भिन्न वास्तविक-मूल्यवान फ़ंक्शन के लिए {{mvar|U}} का {{math|'''R'''<sup>''n''</sup>}} जोड़ी के लीजेंड्रे संयुग्म {{math|(''U'', ''f'')}} को जोड़ी के रूप में परिभाषित किया गया है {{math|(''V'', ''g'')}}, | एक खुले सेट उत्तल उपसमुच्चय पर एक भिन्न वास्तविक-मूल्यवान फ़ंक्शन के लिए {{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">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 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> | स्केलर उत्पाद चालू है {{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> | ||
Line 252: | Line 244: | ||
होने देना <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">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">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">\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="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">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">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> | ||
Line 267: | Line 259: | ||
<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) = 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> | <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}}, | यह इस प्रकार है कि यदि कोई फ़ंक्शन सजातीय कार्य है | डिग्री का सजातीय {{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''}}.) इस प्रकार, एकमात्र एकपदी जिसकी डिग्री लीजेंड्रे रूपांतरण के तहत अपरिवर्तनीय है, द्विघात है। | ||
=== अनुवाद के तहत व्यवहार === | === अनुवाद के तहत व्यवहार === | ||
Line 281: | Line 273: | ||
होने देना {{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 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 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|''Af''}} का पुश-फॉरवर्ड है {{mvar|f}} साथ में {{mvar|A}} |
Revision as of 12:14, 27 April 2023
गणित में, एड्रियन मैरी लीजेंड् के नाम पर लेजेंड्रे ट्रांसफॉर्मेशन (या लेजेंड्रे ट्रांसफॉर्मेशन) एक वास्तविक चर के वास्तविक-मूल्यवान उत्तल कार्यों पर एक समावेशी परिवर्तन है। भौतिक समस्याओं में, इसका उपयोग एक मात्रा (जैसे वेग, दबाव, या तापमान) के कार्यों को संयुग्मित मात्रा (संवेग, मात्रा और एन्ट्रापी, क्रमशः) के कार्यों में परिवर्तित करने के लिए किया जाता है। इस तरह, यह आमतौर पर चिरसम्मत यांत्रिकी में प्रयोग किया जाता है ताकि लैग्रेंगियन औपचारिकता (या इसके विपरीत) से हेमिल्टनियन औपचारिकता को प्राप्त किया जा सके और ऊष्मप्रवैगिकी में थर्मोडायनामिक क्षमता प्राप्त करने के साथ-साथ कई चर के अंतर समीकरणों के समाधान में भी किया जा सके।
वास्तविक रेखा पर पर्याप्त रूप से सुचारू कार्यों के लिए, लेजेंड्रे ट्रांसफॉर्म एक फ़ंक्शन को निर्दिष्ट किया जा सकता है, एक योगात्मक स्थिरांक तक, इस शर्त के अनुसार कि फ़ंक्शंस के पहले डेरिवेटिव एक दूसरे के व्युत्क्रम कार्य हैं। इसे यूलर के व्युत्पन्न संकेतन के रूप में व्यक्त किया जा सकता हैthumb|right|कार्यक्रम अंतराल पर परिभाषित किया गया है . किसी प्रदत्त के लिए , के अंतर पर अधिकतम लेता है . इस प्रकार, लीजेंड्रे का परिवर्तन है .|link=|alt={\displaystyle f(x)}
या समकक्ष रूप से और लग्रेंज के अंकन में है।
एफ़िन रिक्त स्थान और गैर-उत्तल कार्यों के लिए लीजेंड्रे परिवर्तन का सामान्यीकरण उत्तल संयुग्म (जिसे लीजेंड्रे-फेनशेल परिवर्तन भी कहा जाता है) के रूप में जाना जाता है, जिसका उपयोग फ़ंक्शन के उत्तल पतवार के निर्माण के लिए किया जा सकता है।
परिभाषा
मान लीजिये अंतराल होने दें, और एक उत्तल फलन; तब का लेजेंड्रे रूपांतरण फलन द्वारा परिभाषित किया गया है।
उत्तल कार्यों के लिए सामान्यीकरण एक उत्तल सेट पर सीधा है: में डोमेन है
फलन को का उत्तल संयुग्मी फलन कहते हैं। ऐतिहासिक कारणों (विश्लेषणात्मक यांत्रिकी में निहित) के लिए, संयुग्म चर को अक्सर के बजाय के रूप में दर्शाया जाता है। यदि उत्तल फलन पूरी रेखा पर परिभाषित हो और हर जगह अवकलनीय हो, तब
लीजेंड्रे ट्रांसफॉर्मेशन बिंदुओं और रेखाओं के बीच के द्वैत संबंध का एक अनुप्रयोग है। द्वारा निर्दिष्ट कार्यात्मक संबंध को समान रूप से बिंदुओं के सेट के रूप में या उनके ढलान और अवरोधन मानों द्वारा निर्दिष्ट स्पर्शरेखा रेखाओं के सेट के रूप में प्रदर्शित किया जा सकता है।
डेरिवेटिव के संदर्भ में लेजेंड्रे ट्रांसफॉर्म को समझना
अवकलनीय उत्तल फलन के लिए पहले व्युत्पन्न के साथ वास्तविक रेखा पर और इसका उलटा , लीजेंड्रे का रूपांतरण , , निर्दिष्ट किया जा सकता है, एक योज्य स्थिरांक तक, इस शर्त के द्वारा कि कार्यों के पहले डेरिवेटिव एक दूसरे के व्युत्क्रम कार्य हैं, अर्थात, और .
इसे देखने के लिए पहले ध्यान दें कि अगर वास्तविक रेखा पर एक उत्तल कार्य के रूप में अवकलनीय है और के कार्य का एक महत्वपूर्ण बिंदु (गणित) है , तब सर्वोच्चता प्राप्त की जाती है (उत्तलता से, इस विकिपीडिया पृष्ठ में पहला चित्र देखें)। इसलिए, लीजेंड्रे का परिवर्तन है .
फिर, मान लीजिए कि पहला अवकलज व्युत्क्रमणीय है और मान लें कि इसका व्युत्क्रम है। फिर प्रत्येक के लिए, बिंदु फलन (अर्थात् का अद्वितीय महत्वपूर्ण बिंदु है क्योंकि और पर के संबंध में फलन का पहला अवकलज है। इसलिए हमारे पास है ) प्रत्येक के लिए के संबंध में अवकलन करने पर, हम पाते हैं
तब से यह सरल करता है . दूसरे शब्दों में, और एक दूसरे के विपरीत हैं।
सामान्यतः, यदि के व्युत्क्रम के रूप में, तो तो समाकलन से प्राप्त होता है। एक स्थिर के साथ।
व्यावहारिक रूप में, दिया हुआ है, बनाम का पैरामीट्रिक प्लॉट बनाम के ग्राफ के बराबर है।
कुछ मामलों में (उदाहरण के लिए थर्मोडायनामिक क्षमता, नीचे), एक गैर-मानक आवश्यकता का उपयोग किया जाता है, जो 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* = R.
पर स्थिर बिंदु 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 ताकि
अनुप्रयोग
विश्लेषणात्मक यांत्रिकी
लैग्रेंजियन यांत्रिकी से हैमिल्टनियन यांत्रिकी को प्राप्त करने के लिए और इसके विपरीत चिरसम्मत यांत्रिकी में एक लीजेंड्रे परिवर्तन का उपयोग किया जाता है। एक विशिष्ट Lagrangian का रूप है
इसलिए लीजेंड्रे का रूपांतरण के एक फलन के रूप में हैमिल्टनियन फ़ंक्शन है,
ऊष्मप्रवैगिकी
थर्मोडायनामिक्स में लीजेंड्रे के उपयोग के पीछे की रणनीति एक ऐसे फ़ंक्शन से स्थानांतरित करना है जो एक चर पर निर्भर करता है जो एक नए (संयुग्मित) फ़ंक्शन पर निर्भर करता है जो एक नए चर पर निर्भर करता है, मूल के संयुग्म। नया चर मूल चर के संबंध में मूल कार्य का आंशिक व्युत्पन्न है। नया कार्य मूल कार्य और पुराने और नए चर के उत्पाद के बीच का अंतर है। आमतौर पर, यह परिवर्तन उपयोगी होता है क्योंकि यह निर्भरता को स्थानांतरित करता है, उदाहरण के लिए, एक गहन और व्यापक गुणों से ऊर्जा को इसके संयुग्मित गहन चर में बदल देता है, जिसे अक्सर भौतिक प्रयोग में अधिक आसानी से नियंत्रित किया जा सकता है।
उदाहरण के लिए, आंतरिक ऊर्जा व्यापक मात्रा एन्ट्रापी, आयतन और रासायनिक संरचना का एक स्पष्ट कार्य है
एंट्रॉपी के व्यापक चर से ऊर्जा की निर्भरता को स्थानांतरित करना भी संभव है, S, (अक्सर अधिक सुविधाजनक) गहन चर के लिए T, जिसके परिणामस्वरूप हेल्महोल्ट्ज़ ऊर्जा और गिब्स ऊर्जा उष्मागतिक मुक्त ऊर्जा प्राप्त होती है। हेल्महोल्ट्ज़ मुक्त ऊर्जा, A, और गिब्स ऊर्जा, G, क्रमशः आंतरिक ऊर्जा और एन्थैल्पी के लीजेंड्रे रूपांतरणों को करके प्राप्त किया जाता है,
एक उदाहरण - चर संधारित्र
भौतिकी के एक अन्य उदाहरण के रूप में, समानांतर-प्लेट कैपेसिटर पर विचार करें, जिसमें प्लेटें एक दूसरे के सापेक्ष गति कर सकती हैं। ऐसा संधारित्र विद्युत ऊर्जा को स्थानांतरित करने की अनुमति देता है जो प्लेटों पर कार्य करने वाले बल द्वारा किए गए बाहरी यांत्रिक कार्य में संधारित्र में संग्रहीत होता है। कोई विद्युत आवेश को सिलेंडर (इंजन) में गैस के आवेश के समान मान सकता है, जिसके परिणामस्वरूप पिस्टन पर यांत्रिक बल लगाया जाता है।
के कार्य के रूप में प्लेटों पर बल की गणना करें x, वह दूरी जो उन्हें अलग करती है। बल खोजने के लिए, संभावित ऊर्जा की गणना करें, और फिर बल की परिभाषा को संभावित ऊर्जा फ़ंक्शन के ढाल के रूप में लागू करें।
समाई के संधारित्र में संग्रहीत ऊर्जा C(x) और चार्ज करें Q है
बल F तब विद्युत क्षेत्र के कारण प्लेटों के बीच होता है
संभाव्यता सिद्धांत
बड़े विचलन सिद्धांत में, दर फ़ंक्शन को एक यादृच्छिक चर के क्षण उत्पन्न करने वाले फ़ंक्शन के लघुगणक के लीजेंड्रे परिवर्तन के रूप में परिभाषित किया गया है। दर फलन का एक महत्वपूर्ण अनुप्रयोग आई.आई.डी. के योगों की पुच्छ संभावनाओं की गणना में है। यादृच्छिक चर।
सूक्ष्मअर्थशास्त्र
आपूर्ति (अर्थशास्त्र) खोजने की प्रक्रिया में सूक्ष्मअर्थशास्त्र में लेजेंड्रे परिवर्तन स्वाभाविक रूप से उत्पन्न होता है S(P) किसी उत्पाद का एक निश्चित मूल्य दिया जाता है P लागत वक्र जानने के लिए बाजार पर C(Q), यानी निर्माता को बनाने/खनन/आदि की लागत। Q दिए गए उत्पाद की इकाइयां।
एक साधारण सिद्धांत केवल लागत फलन पर आधारित आपूर्ति वक्र के आकार की व्याख्या करता है। मान लीजिए कि हमारे उत्पाद की एक इकाई का बाजार मूल्य है P. इस उत्पाद को बेचने वाली कंपनी के लिए, सबसे अच्छी रणनीति उत्पादन को समायोजित करना है Q ताकि इसका लाभ अधिकतम हो। हम लाभ को अधिकतम कर सकते हैं
Qopt इष्टतम मात्रा का प्रतिनिधित्व करता है Q माल की जो निर्माता आपूर्ति करने को तैयार है, जो वास्तव में आपूर्ति ही है:
ज्यामितीय व्याख्या
कड़ाई से उत्तल फ़ंक्शन के लिए, लीजेंड्रे परिवर्तन को फ़ंक्शन के फ़ंक्शन के ग्राफ़ और ग्राफ़ के स्पर्शरेखा के परिवार के बीच मैपिंग के रूप में व्याख्या किया जा सकता है। (एक चर के एक फलन के लिए, स्पर्शरेखा सभी पर अच्छी तरह से परिभाषित होती है, लेकिन अधिकांश गणनीय सेट बिंदुओं पर, क्योंकि एक उत्तल कार्य व्युत्पन्न होता है, लेकिन अधिकांश बिंदुओं पर।)
ढलान के साथ एक रेखा का समीकरण और वाई-अवरोधन |संवाद द्वारा दिया गया है ( ) इस रेखा के लिए किसी फ़ंक्शन के ग्राफ़ को स्पर्श करने के लिए बिंदु पर आवश्यक है
एक से अधिक आयामों में किंवदंती परिवर्तन
एक खुले सेट उत्तल उपसमुच्चय पर एक भिन्न वास्तविक-मूल्यवान फ़ंक्शन के लिए U का Rn जोड़ी के लीजेंड्रे संयुग्म (U, f) को जोड़ी के रूप में परिभाषित किया गया है (V, g), जहाँ V की छवि है U ग्रेडिएंट मैपिंग के तहत Df, और g कार्य चालू है V सूत्र द्वारा दिया गया
जब फ़ंक्शन अलग-अलग नहीं होता है, तब भी लीजेंड्रे ट्रांसफॉर्मेशन को बढ़ाया जा सकता है, और इसे लीजेंड्रे सौंफ परिवर्तन के रूप में जाना जाता है। इस अधिक सामान्य सेटिंग में, कुछ गुण खो जाते हैं: उदाहरण के लिए, लीजेंड्रे ट्रांसफ़ॉर्म अब अपना व्युत्क्रम नहीं है (जब तक कि कोई अतिरिक्त मान्यताएँ न हों, जैसे उत्तल कार्य)।
कई गुना पर किंवदंती परिवर्तन
होने देना एक चिकनी कई गुना हो, चलो और एक सदिश बंडल चालू हो और इसके संबद्ध बंडल प्रक्षेपण, क्रमशः। होने देना एक सुचारू कार्य हो। हम सोचते हैं चिरसम्मत मामले के साथ सादृश्य द्वारा एक Lagrangian यांत्रिकी के रूप में जहां , और कुछ सकारात्मक संख्या के लिए और फलन .
हमेशा की तरह, का दोहरा बंडल द्वारा निरूपित किया जाता है . का रेशा ऊपर निरूपित किया जाता है , और का प्रतिबंध को द्वारा निरूपित किया जाता है . द लीजेंड्रे ट्रांसफॉर्मेशन ऑफ चिकनी morphism है
स्थानीय रूप से लीजेंड्रे परिवर्तन का वर्णन करने के लिए, आइए जिस पर एक समन्वय चार्ट हो तुच्छ है। का तुच्छीकरण चुनना ऊपर , हम चार्ट प्राप्त करते हैं और . इन चार्टों के संदर्भ में, हमारे पास है , जहाँ
यदि, जैसा कि चिरसम्मत मामले में, का प्रतिबंध प्रत्येक फाइबर के लिए सख्ती से उत्तल है और एक सकारात्मक निश्चित द्विघात रूप से नीचे एक स्थिर है, फिर लिजेंड्रे रूपांतरित होता है डिफियोमोर्फिज्म है।[2] लगता है कि एक भिन्नता है और चलो द्वारा परिभाषित "हैमिल्टनियन मैकेनिक्स" फ़ंक्शन हो
और गुण
स्केलिंग गुण
लीजेंड्रे ट्रांसफॉर्मेशन में निम्नलिखित स्केलिंग गुण हैं: के लिए a > 0,
अनुवाद के तहत व्यवहार
उलटा के तहत व्यवहार
रैखिक परिवर्तनों के तहत व्यवहार
होने देना A : Rn → Rm एक रैखिक परिवर्तन हो। किसी उत्तल फलन के लिए f पर Rn, किसी के पास
अनौपचारिक कनवल्शन
दो कार्यों का अनौपचारिक दृढ़ संकल्प f और g परिभाषित किया जाता है
फेनचेल की असमानता
किसी फलन के लिए 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