ग्रेडियेंट प्रमेय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:
{{Calculus|संवाहक }}
{{Calculus|संवाहक }}


ग्रेडिएंट प्रमेय, जिसे [[लाइन इंटीग्रल|रेखा संपूर्ण]] के लिए गणना के मौलिक प्रमेय के रूप में भी जाना जाता है। ग्रेडिएंट प्रमेय का कहना है, कि [[रूढ़िवादी वेक्टर क्षेत्र|अनुपात सदिश क्षेत्र]] के माध्यम से   संपूर्ण रेखा का मूल्यांकन वक्र के अंतिम बिंदुओं पर मूल अदिश क्षेत्र का मूल्यांकन करके प्राप्त किया जा सकता है। प्रमेय मात्र वास्तविक रेखा के अतिरिक्त किसी समतल या अंतराल (सामान्यतः ''n''-आयामी) में किसी भी वक्र के लिए कलन के मौलिक प्रमेय का सामान्यीकरण है।
ग्रेडिएंट प्रमेय, जिसे [[लाइन इंटीग्रल|रेखा संपूर्ण]] के लिए गणना के मौलिक प्रमेय के रूप में भी जाना जाता है। ग्रेडिएंट प्रमेय का कहना है, कि [[रूढ़िवादी वेक्टर क्षेत्र|अनुपात सदिश क्षेत्र]] के माध्यम से संपूर्ण रेखा का मूल्यांकन वक्र के अंतिम बिंदुओं पर मूल अदिश क्षेत्र का मूल्यांकन करके प्राप्त किया जा सकता है। प्रमेय मात्र वास्तविक रेखा के अतिरिक्त किसी समतल या अंतराल (सामान्यतः ''n''-आयामी) में किसी भी वक्र के लिए कलन के मौलिक प्रमेय का सामान्यीकरण है।


{{math|''φ'' : ''U'' ⊆ '''R'''<sup>''n''</sup> → '''R'''}} को एक अवकलनीय फलन के रूप में और  {{mvar|&gamma;}} को  {{math|''U''}}  में किसी सतत वक्र के रूप में, जो एक बिंदु  {{math|'''p'''}} से प्रारंभ होता है और एक बिंदु {{math|'''q'''}} पर समाप्त होता है, तब<math display="block"> \int_{\gamma} \nabla\varphi(\mathbf{r})\cdot \mathrm{d}\mathbf{r} = \varphi\left(\mathbf{q}\right) - \varphi\left(\mathbf{p}\right)</math>
{{math|''φ'' : ''U'' ⊆ '''R'''<sup>''n''</sup> → '''R'''}} को एक अवकलनीय फलन के रूप में और  {{mvar|&gamma;}} को  {{math|''U''}}  में किसी सतत वक्र के रूप में, जो एक बिंदु  {{math|'''p'''}} से प्रारंभ होता है और एक बिंदु {{math|'''q'''}} पर समाप्त होता है, तब<math display="block"> \int_{\gamma} \nabla\varphi(\mathbf{r})\cdot \mathrm{d}\mathbf{r} = \varphi\left(\mathbf{q}\right) - \varphi\left(\mathbf{p}\right)</math>
जिस स्थान पर {{math|&nabla;''φ''}} एवं {{math|''φ''}} के ग्रेडिएंट सदिश क्षेत्र को दिखाता है  
जिस स्थान पर {{math|&nabla;''φ''}} एवं {{math|''φ''}} के ग्रेडिएंट सदिश क्षेत्र को दिखाता है  


ग्रेडिएंट प्रमेय का तात्पर्य है, कि ग्रेडिएंट क्षेत्र के माध्यम से रेखा संपूर्ण पथ स्वतंत्र हैं। भौतिकी में यह प्रमेय अनुपात प्रभाव को परिभाषित करने के विधियों में से एक है। {{mvar|φ}} को संभावित के रूप में रखने से ∇φ   [[रूढ़िवादी क्षेत्र|अनुपात क्षेत्र]] है। अनुपात प्रभावों के माध्यम से किया गया [[कार्य (भौतिकी)]] उद्देश्य के माध्यम से अपनाए गए पथ पर निर्भर नहीं करता है, प्रभाव मात्र अंतिम बिंदुओं पर निर्भर करता है, जैसा कि उपरोक्त समीकरण से पता चलता है।
ग्रेडिएंट प्रमेय का तात्पर्य है, कि ग्रेडिएंट क्षेत्र के माध्यम से रेखा संपूर्ण पथ स्वतंत्र हैं। भौतिकी में यह प्रमेय अनुपात प्रभाव को परिभाषित करने के विधियों में से एक है। {{mvar|φ}} को संभावित के रूप में रखने से ∇φ [[रूढ़िवादी क्षेत्र|अनुपात क्षेत्र]] है। अनुपात प्रभावों के माध्यम से किया गया [[कार्य (भौतिकी)]] उद्देश्य के माध्यम से अपनाए गए पथ पर निर्भर नहीं करता है, प्रभाव मात्र अंतिम बिंदुओं पर निर्भर करता है, जैसा कि उपरोक्त समीकरण से पता चलता है।


ग्रेडिएंट प्रमेय का रोचक व्युत्क्रम भी है: किसी भी पथ-स्वतंत्र सदिश क्षेत्र को [[अदिश क्षेत्र]] के ग्रेडिएंट के रूप में व्यक्त किया जा सकता है। ग्रेडिएंट प्रमेय की समरूप ही इस परिवर्तन के स्पष्ट और व्यावहारिक गणित दोनों में अनेक आश्चर्यजनक परिणाम और अनुप्रयोग हैं।
ग्रेडिएंट प्रमेय का रोचक व्युत्क्रम भी है: किसी भी पथ-स्वतंत्र सदिश क्षेत्र को [[अदिश क्षेत्र]] के ग्रेडिएंट के रूप में व्यक्त किया जा सकता है। ग्रेडिएंट प्रमेय की समरूप ही इस परिवर्तन के स्पष्ट और व्यावहारिक गणित दोनों में अनेक आश्चर्यजनक परिणाम और अनुप्रयोग हैं।


==प्रमाण==
==प्रमाण==
यदि {{mvar|φ}} पूर्णतया [[ खुला सेट |संवृत]] [[ खुला सेट |उपसमुच्चय]] {{math|''U'' ⊆ '''R'''<sup>''n''</sup>}} से {{math|'''R'''}} तक भिन्न कार्य है, और {{math|'''r'''}} अल्प विवृत [[अंतराल (गणित)]] {{math|[''a'', ''b'']}} से {{mvar|U}} तक   भिन्न कार्य है (ध्यान दें कि {{math|'''r'''}} अंतराल समापन बिंदु {{math|''a''}} और {{math|''b''}} पर भिन्न है। ऐसा करने के लिए, r को   ऐसे अंतराल पर परिभाषित किया जाता है, जो इससे बृहत्तर होता है और इसमें [a, b] सम्मिलित होता है।), ततपश्चात् बहुभिन्न रूपी श्रृंखला नियम के माध्यम से समग्र फलन φ ∘ r [a, b] पर भिन्न होता है:-
यदि {{mvar|φ}} पूर्णतया [[ खुला सेट |संवृत]] [[ खुला सेट |उपसमुच्चय]] {{math|''U'' ⊆ '''R'''<sup>''n''</sup>}} से {{math|'''R'''}} तक भिन्न कार्य है, और {{math|'''r'''}} अल्प विवृत [[अंतराल (गणित)]] {{math|[''a'', ''b'']}} से {{mvar|U}} तक भिन्न कार्य है (ध्यान दें कि {{math|'''r'''}} अंतराल समापन बिंदु {{math|''a''}} और {{math|''b''}} पर भिन्न है। ऐसा करने के लिए, r को ऐसे अंतराल पर परिभाषित किया जाता है, जो इससे बृहत्तर होता है और इसमें [a, b] सम्मिलित होता है।), ततपश्चात् बहुभिन्न रूपी श्रृंखला नियम के माध्यम से समग्र फलन φ ∘ r [a, b] पर भिन्न होता है:-


<math display="block">\frac{\mathrm{d}}{\mathrm{d}t}(\varphi \circ \mathbf{r})(t)=\nabla \varphi(\mathbf{r}(t)) \cdot \mathbf{r}'(t)</math>
<math display="block">\frac{\mathrm{d}}{\mathrm{d}t}(\varphi \circ \mathbf{r})(t)=\nabla \varphi(\mathbf{r}(t)) \cdot \mathbf{r}'(t)</math>
{{math|[''a'', ''b'']}} में समस्त {{mvar|t}} के लिए यहां [[डॉट उत्पाद|सामान्य आंतरिक परिणाम]] को दर्शाया गया है।
{{math|[''a'', ''b'']}} में समस्त {{mvar|t}} के लिए यहां [[डॉट उत्पाद|सामान्य आंतरिक परिणाम]] को दर्शाया गया है।


अब मान लीजिए कि {{mvar|φ}} के कार्यक्षेत्र {{mvar|U}} में अंतिम बिंदु {{math|'''p'''}} और {{math|'''q'''}} के प्रति अवकलनीय वक्र {{mvar|γ}} सम्मिलित है। (यह {{math|'''p'''}} को {{math|'''q'''}} की दिशा में उन्मुख है)। यदि {{math|'''r'''}} {{math|[''a'', ''b'']}} में {{mvar|t}} के लिए {{mvar|γ}} को [[पैरामीट्रिज़ेशन (ज्यामिति)|प्राचलीकरण (ज्यामिति)]] करता है (अर्थात, {{math|'''r'''}}, {{mvar|t}} के   फलन के रूप में {{mvar|γ}} को दर्शाता है), तब:-<math display="block">\begin{align}
अब मान लीजिए कि {{mvar|φ}} के कार्यक्षेत्र {{mvar|U}} में अंतिम बिंदु {{math|'''p'''}} और {{math|'''q'''}} के प्रति अवकलनीय वक्र {{mvar|γ}} सम्मिलित है। (यह {{math|'''p'''}} को {{math|'''q'''}} की दिशा में उन्मुख है)। यदि {{math|'''r'''}} {{math|[''a'', ''b'']}} में {{mvar|t}} के लिए {{mvar|γ}} को [[पैरामीट्रिज़ेशन (ज्यामिति)|प्राचलीकरण (ज्यामिति)]] करता है (अर्थात, {{math|'''r'''}}, {{mvar|t}} के फलन के रूप में {{mvar|γ}} को दर्शाता है), तब:-<math display="block">\begin{align}
\int_{\gamma} \nabla\varphi(\mathbf{r})  \cdot  \mathrm{d}\mathbf{r} &=\int_a^b \nabla\varphi(\mathbf{r}(t))  \cdot  \mathbf{r}'(t)\mathrm{d}t \\
\int_{\gamma} \nabla\varphi(\mathbf{r})  \cdot  \mathrm{d}\mathbf{r} &=\int_a^b \nabla\varphi(\mathbf{r}(t))  \cdot  \mathbf{r}'(t)\mathrm{d}t \\
&=\int_a^b \frac{d}{dt}\varphi(\mathbf{r}(t))\mathrm{d}t =\varphi(\mathbf{r}(b))-\varphi(\mathbf{r}(a))=\varphi\left(\mathbf{q}\right)-\varphi\left(\mathbf{p}\right) ,
&=\int_a^b \frac{d}{dt}\varphi(\mathbf{r}(t))\mathrm{d}t =\varphi(\mathbf{r}(b))-\varphi(\mathbf{r}(a))=\varphi\left(\mathbf{q}\right)-\varphi\left(\mathbf{p}\right) ,
\end{align} </math>जिस स्थान पर एक रेखा समाकलन की परिभाषा का उपयोग प्रथम समानता में किया जाता है, उपरोक्त समीकरण का उपयोग द्वितीय समानता में किया जाता है, और गणना के द्वितीय मौलिक प्रमेय के भाग का उपयोग तृतीय समानता में किया जाता है।<ref>Williamson, Richard and Trotter, Hale. (2004). ''Multivariable Mathematics, Fourth Edition,'' p. 374. Pearson Education, Inc.</ref> यद्यपि ग्रेडिएंट प्रमेय (जिसे रेखा संपूर्ण के लिए गणना का मौलिक प्रमेय भी कहा जाता है) को अब तक   विभेदक (इसलिए सहज दिखता है) वक्र के लिए सिद्ध किया गया है। प्रमेय एक खंड अनुसार सहज वक्र के लिए भी सिद्ध किया गया है, क्योंकि यह वक्र जुड़कर बना है। एकाधिक अवकलनीय वक्र इसलिए इस वक्र का प्रमाण प्रति अवकलनीय वक्र घटक के प्रमाण के माध्यम से बनाया जाता है।<ref>{{Cite book |last=Stewart |first=James |title=गणना|publisher=Cengage Learning |year=2015 |isbn=978-1-285-74062-1 |edition=8th |pages=1127–1128 |language=English |chapter=16.3 The Fundamental Theorem for Line Integrals}}</ref>
\end{align} </math>जिस स्थान पर एक रेखा समाकलन की परिभाषा का उपयोग प्रथम समानता में किया जाता है, उपरोक्त समीकरण का उपयोग द्वितीय समानता में किया जाता है, और गणना के द्वितीय मौलिक प्रमेय के भाग का उपयोग तृतीय समानता में किया जाता है।<ref>Williamson, Richard and Trotter, Hale. (2004). ''Multivariable Mathematics, Fourth Edition,'' p. 374. Pearson Education, Inc.</ref> यद्यपि ग्रेडिएंट प्रमेय (जिसे रेखा संपूर्ण के लिए गणना का मौलिक प्रमेय भी कहा जाता है) को अब तक विभेदक (इसलिए सहज दिखता है) वक्र के लिए सिद्ध किया गया है। प्रमेय एक खंड अनुसार सहज वक्र के लिए भी सिद्ध किया गया है, क्योंकि यह वक्र जुड़कर बना है। एकाधिक अवकलनीय वक्र इसलिए इस वक्र का प्रमाण प्रति अवकलनीय वक्र घटक के प्रमाण के माध्यम से बनाया जाता है।<ref>{{Cite book |last=Stewart |first=James |title=गणना|publisher=Cengage Learning |year=2015 |isbn=978-1-285-74062-1 |edition=8th |pages=1127–1128 |language=English |chapter=16.3 The Fundamental Theorem for Line Integrals}}</ref>
==उदाहरण==
==उदाहरण==


===उदाहरण 1===
===उदाहरण 1===
मान लीजिए {{math|''γ'' ⊂ '''R'''<sup>2</sup>}} {{math|(5, 0)}} से {{math|(−4, 3)}} तक वामावर्त दिशा में उन्मुख गोलाकार वृत्तांश है।   रेखा समाकलन की परिभाषा का उपयोग करते हुए:-
मान लीजिए {{math|''γ'' ⊂ '''R'''<sup>2</sup>}} {{math|(5, 0)}} से {{math|(−4, 3)}} तक वामावर्त दिशा में उन्मुख गोलाकार वृत्तांश है। रेखा समाकलन की परिभाषा का उपयोग करते हुए:-


<math display="block">\begin{align}
<math display="block">\begin{align}
Line 47: Line 47:
यहां अंतिम समानता ग्रेडिएंट प्रमेय के के माध्यम से होती है, क्योंकि फलन {{math|1=''f''('''x''') = {{abs|'''x'''}}<sup>''α''+1</sup>}} एवं {{math|'''R'''<sup>''n''</sup>}} पर अवकलनीय है, यदि {{math|''α'' ≥ 1}} है।
यहां अंतिम समानता ग्रेडिएंट प्रमेय के के माध्यम से होती है, क्योंकि फलन {{math|1=''f''('''x''') = {{abs|'''x'''}}<sup>''α''+1</sup>}} एवं {{math|'''R'''<sup>''n''</sup>}} पर अवकलनीय है, यदि {{math|''α'' ≥ 1}} है।


यदि {{math|''α'' < 1}} है, तब अधिकांश स्थितियों में यह समानता अभी भी स्थिर रहेगी, किन्तु यदि γ मूल बिंदु से होकर निकलता है या परिवृत्त करता है तब सावधानी पूर्वक करना चाहिए, क्योंकि एकीकृत सदिश क्षेत्र {{math|{{abs|'''x'''}}<sup>''α'' − 1</sup>'''x'''}} उस स्थान पर परिभाषित होने में विफल रहेगा। चूंकि, स्थितियाँ {{math|1=''α'' = −1}} कुछ प्रथक है, इन स्थितियों में एकीकृत   {{math|1={{abs|'''x'''}}<sup>−2</sup>'''x''' = ∇(log {{abs|'''x'''}})}} बन जाता है। जिससे कि अंतिम समानता {{math|log {{abs|'''q'''}} − log {{abs|'''p'''}}}} बन जाती है।  
यदि {{math|''α'' < 1}} है, तब अधिकांश स्थितियों में यह समानता अभी भी स्थिर रहेगी, किन्तु यदि γ मूल बिंदु से होकर निकलता है या परिवृत्त करता है तब सावधानी पूर्वक करना चाहिए, क्योंकि एकीकृत सदिश क्षेत्र {{math|{{abs|'''x'''}}<sup>''α'' − 1</sup>'''x'''}} उस स्थान पर परिभाषित होने में विफल रहेगा। चूंकि, स्थितियाँ {{math|1=''α'' = −1}} कुछ प्रथक है, इन स्थितियों में एकीकृत {{math|1={{abs|'''x'''}}<sup>−2</sup>'''x''' = ∇(log {{abs|'''x'''}})}} बन जाता है। जिससे कि अंतिम समानता {{math|log {{abs|'''q'''}} − log {{abs|'''p'''}}}} बन जाती है।  


ध्यान दें कि यदि {{math|1=''n'' = 1}} है, तब यह उदाहरण एकल-चर गणना से परिचित [[शक्ति नियम|घात नियम]] का   अल्प सा संस्करण है।
ध्यान दें कि यदि {{math|1=''n'' = 1}} है, तब यह उदाहरण एकल-चर गणना से परिचित [[शक्ति नियम|घात नियम]] का अल्प सा संस्करण है।


===उदाहरण 3===
===उदाहरण 3===
Line 57: Line 57:
इस स्थान पर {{math|{{abs|'''u'''}}}} {{math|'''R'''<sup>3</sup>}} और {{math|1=''k'' = 1/(4''πε''<sub>0</sub>)}} में सदिश {{math|'''u'''}} के यूक्लिडियन मानदंड को दर्शाता है, जिस स्थान पर {{math|''ε''<sub>0</sub>}} [[निर्वात पारगम्यता]] है।
इस स्थान पर {{math|{{abs|'''u'''}}}} {{math|'''R'''<sup>3</sup>}} और {{math|1=''k'' = 1/(4''πε''<sub>0</sub>)}} में सदिश {{math|'''u'''}} के यूक्लिडियन मानदंड को दर्शाता है, जिस स्थान पर {{math|''ε''<sub>0</sub>}} [[निर्वात पारगम्यता]] है।


मान लीजिए {{math|''γ'' ⊂ '''R'''<sup>3</sup> − {'''p'''<sub>1</sub>, ..., '''p'''<sub>''n''}}, {{math|'''a'''}} से {{math|'''b'''}} तक   इच्छानुसार अवकलनीय वक्र है। तब कण पर किया गया कार्य है:-
मान लीजिए {{math|''γ'' ⊂ '''R'''<sup>3</sup> − {'''p'''<sub>1</sub>, ..., '''p'''<sub>''n''}}, {{math|'''a'''}} से {{math|'''b'''}} तक इच्छानुसार अवकलनीय वक्र है। तब कण पर किया गया कार्य है:-


<math display="block">
<math display="block">
Line 76: Line 76:


==ग्रेडिएंट प्रमेय का व्युत्क्रम==
==ग्रेडिएंट प्रमेय का व्युत्क्रम==
ग्रेडिएंट प्रमेय बताता है कि यदि सदिश क्षेत्र {{math|'''F'''}} कुछ अदिश -मान फलन का ग्रेडिएंट है (अर्थात, यदि {{math|'''F'''}} अपरिवर्तनवादी सदिश क्षेत्र है), तब {{math|'''F'''}}   पथ-स्वतंत्र सदिश क्षेत्र है (अर्थात, विभेदक वक्र पर F का अभिन्न अंग का अभिन्न अंग) मात्र अंतिम बिंदुओं पर निर्भर होते हैं)। इस प्रमेय का शक्तिशाली व्युत्क्रम है:
ग्रेडिएंट प्रमेय बताता है कि यदि सदिश क्षेत्र {{math|'''F'''}} कुछ अदिश -मान फलन का ग्रेडिएंट है (अर्थात, यदि {{math|'''F'''}} अपरिवर्तनवादी सदिश क्षेत्र है), तब {{math|'''F'''}} पथ-स्वतंत्र सदिश क्षेत्र है (अर्थात, विभेदक वक्र पर F का अभिन्न अंग का अभिन्न अंग) मात्र अंतिम बिंदुओं पर निर्भर होते हैं)। इस प्रमेय का शक्तिशाली व्युत्क्रम है:


{{math theorem|प्रमेय - यदि F एक पथ-स्वतंत्र संवाहक क्षेत्र है, तो F कुछ आदिश-मान वाले फलन का प्रवणता है।}}
{{math theorem|प्रमेय - यदि F एक पथ-स्वतंत्र संवाहक क्षेत्र है, तो F कुछ आदिश-मान वाले फलन का प्रवणता है।}}


यह दिखाना सहज है कि   सदिश क्षेत्र पथ-स्वतंत्र है यदि और मात्र उस अवधि मे जब उसके कार्यक्षेत्र में प्रत्येक विवृत परिपथ पर सदिश क्षेत्र का अभिन्न अंग शून्य होना चाहिए। इस प्रकार व्युत्क्रम को वैकल्पिक रूप से इस प्रकार कहा जा सकता है:- यदि {{math|'''F'''}} के अधिकार क्षेत्र में प्रत्येक विवृत परिपथ पर {{math|'''F'''}} का अभिन्न अंग शून्य है, तब {{math|'''F'''}} कुछ अदिश-मान वाले फलन का प्रवणता है।     
यह दिखाना सहज है कि सदिश क्षेत्र पथ-स्वतंत्र है यदि और मात्र उस अवधि मे जब उसके कार्यक्षेत्र में प्रत्येक विवृत परिपथ पर सदिश क्षेत्र का अभिन्न अंग शून्य होना चाहिए। इस प्रकार व्युत्क्रम को वैकल्पिक रूप से इस प्रकार कहा जा सकता है:- यदि {{math|'''F'''}} के अधिकार क्षेत्र में प्रत्येक विवृत परिपथ पर {{math|'''F'''}} का अभिन्न अंग शून्य है, तब {{math|'''F'''}} कुछ अदिश-मान वाले फलन का प्रवणता है।     


=== व्युत्क्रम का प्रमाण ===
=== व्युत्क्रम का प्रमाण ===
मान लीजिए {{mvar|U}} , {{math|'''R'''<sup>''n''</sup>}} का   संवृत पथ-सम्बद्ध हुआ उपसमुच्चय है, और {{math|'''F''' : ''U'' → '''R'''<sup>''n''</sup>}} एक सतत और पथ-स्वतंत्र सदिश क्षेत्र है। {{mvar|U}} के कुछ अवयव {{math|'''a'''}} को ठीक करें और {{math|''f'' : ''U'' → '''R'''}} को परिभाषित करें<math display="block"> f(\mathbf{x}) := \int_{\gamma[\mathbf{a}, \mathbf{x}]} \mathbf{F}(\mathbf{u}) \cdot \mathrm{d}\mathbf{u} </math>इस स्थान पर {{math|''γ''['''a''', '''x''']}} एवं {{mvar|U}} में कोई (विभेदनीय) वक्र है, जो {{math|'''a'''}} से आरम्भ होता है और {{math|'''x'''}}.पर समाप्त होता है। हम जानते हैं कि {{math|'''F'''}} [[अच्छी तरह से परिभाषित|स्पष्ट परिभाषित]] है, क्योंकि {{math|'''F'''}} पथ-स्वतंत्र है। मान लीजिए कि {{math|'''R'''<sup>''n''</sup>}} में {{math|'''v'''}} कोई शून्येतर सदिश नहीं है। [[दिशात्मक व्युत्पन्न]] की परिभाषा के अनुसार:-<math display="block"> \begin{align}  
मान लीजिए {{mvar|U}} , {{math|'''R'''<sup>''n''</sup>}} का संवृत पथ-सम्बद्ध हुआ उपसमुच्चय है, और {{math|'''F''' : ''U'' → '''R'''<sup>''n''</sup>}} एक सतत और पथ-स्वतंत्र सदिश क्षेत्र है। {{mvar|U}} के कुछ अवयव {{math|'''a'''}} को ठीक करें और {{math|''f'' : ''U'' → '''R'''}} को परिभाषित करें<math display="block"> f(\mathbf{x}) := \int_{\gamma[\mathbf{a}, \mathbf{x}]} \mathbf{F}(\mathbf{u}) \cdot \mathrm{d}\mathbf{u} </math>इस स्थान पर {{math|''γ''['''a''', '''x''']}} एवं {{mvar|U}} में कोई (विभेदनीय) वक्र है, जो {{math|'''a'''}} से आरम्भ होता है और {{math|'''x'''}}.पर समाप्त होता है। हम जानते हैं कि {{math|'''F'''}} [[अच्छी तरह से परिभाषित|स्पष्ट परिभाषित]] है, क्योंकि {{math|'''F'''}} पथ-स्वतंत्र है। मान लीजिए कि {{math|'''R'''<sup>''n''</sup>}} में {{math|'''v'''}} कोई शून्येतर सदिश नहीं है। [[दिशात्मक व्युत्पन्न]] की परिभाषा के अनुसार:-<math display="block"> \begin{align}  
\frac{\partial f(\mathbf{x})}{\partial \mathbf{v}} &= \lim_{t \to 0} \frac{f(\mathbf{x} + t\mathbf{v}) - f(\mathbf{x})}{t} \\
\frac{\partial f(\mathbf{x})}{\partial \mathbf{v}} &= \lim_{t \to 0} \frac{f(\mathbf{x} + t\mathbf{v}) - f(\mathbf{x})}{t} \\
&= \lim_{t \to 0} \frac{\int_{\gamma[\mathbf{a}, \mathbf{x} + t\mathbf{v}]} \mathbf{F}(\mathbf{u}) \cdot \mathrm{d}\mathbf{u} - \int_{\gamma[\mathbf{a}, \mathbf{x}]} \mathbf{F}(\mathbf{u}) \cdot d\mathbf{u}}{t} \\
&= \lim_{t \to 0} \frac{\int_{\gamma[\mathbf{a}, \mathbf{x} + t\mathbf{v}]} \mathbf{F}(\mathbf{u}) \cdot \mathrm{d}\mathbf{u} - \int_{\gamma[\mathbf{a}, \mathbf{x}]} \mathbf{F}(\mathbf{u}) \cdot d\mathbf{u}}{t} \\
&= \lim_{t \to 0} \frac{1}{t} \int_{\gamma[\mathbf{x}, \mathbf{x} + t\mathbf{v}]} \mathbf{F}(\mathbf{u}) \cdot \mathrm{d}\mathbf{u}
&= \lim_{t \to 0} \frac{1}{t} \int_{\gamma[\mathbf{x}, \mathbf{x} + t\mathbf{v}]} \mathbf{F}(\mathbf{u}) \cdot \mathrm{d}\mathbf{u}
\end{align}</math>अंतिम सीमा के अन्दर अभिन्न की गणना करने के लिए, हमें {{math|''γ''['''x''', '''x''' + ''t'''''v''']}} को प्राचलीकरण (ज्यामिति) करना होगा। चूँकि F पथ-स्वतंत्र है एवं {{mvar|U}} संवृत है, और {{mvar|t}} शून्य के समीप हो रहा है, हम मान सकते हैं कि यह पथ   सीधी रेखा है, और इसे {{math|0 < ''s'' < ''t''}}. के लिए {{math|1='''u'''(''s'') = '''x''' + ''s'''''v'''}} के रूप में प्राचलीकरण करें। अब, चूँकि {{math|1='''u''''(''s'') = '''v'''}} सीमा बन जाती है:-<math display="block"> \lim_{t \to 0} \frac{1}{t} \int_0^t \mathbf{F}(\mathbf{u}(s)) \cdot \mathbf{u}'(s)\, \mathrm{d}s =  \frac{\mathrm{d}}{\mathrm{d}t} \int_0^t \mathbf{F}(\mathbf{x} + s\mathbf{v}) \cdot \mathbf{v}\, \mathrm{d}s \bigg|_{t=0} = \mathbf{F}(\mathbf{x}) \cdot \mathbf{v} </math>जिस स्थान पर प्रथम समानता इस तथ्य के प्रति व्युत्पन्न की परिभाषा से है, कि अभिन्न {{mvar|t}} = 0 पर 0 के सामान है, और दूसरी समानता कलन के पहले मौलिक प्रमेय से है। इस प्रकार हमारे पास {{math|∂<sub>'''v'''</sub>''f''}}, के लिए सूत्र है, (दिशात्मक व्युत्पन्न का प्रतिनिधित्व करने के विधियोंों में से एक) जहां {{math|'''v'''}} इच्छानुसारा है;  
\end{align}</math>अंतिम सीमा के अन्दर अभिन्न की गणना करने के लिए, हमें {{math|''γ''['''x''', '''x''' + ''t'''''v''']}} को प्राचलीकरण (ज्यामिति) करना होगा। चूँकि F पथ-स्वतंत्र है एवं {{mvar|U}} संवृत है, और {{mvar|t}} शून्य के समीप हो रहा है, हम मान सकते हैं कि यह पथ सीधी रेखा है, और इसे {{math|0 < ''s'' < ''t''}}. के लिए {{math|1='''u'''(''s'') = '''x''' + ''s'''''v'''}} के रूप में प्राचलीकरण करें। अब, चूँकि {{math|1='''u''''(''s'') = '''v'''}} सीमा बन जाती है:-<math display="block"> \lim_{t \to 0} \frac{1}{t} \int_0^t \mathbf{F}(\mathbf{u}(s)) \cdot \mathbf{u}'(s)\, \mathrm{d}s =  \frac{\mathrm{d}}{\mathrm{d}t} \int_0^t \mathbf{F}(\mathbf{x} + s\mathbf{v}) \cdot \mathbf{v}\, \mathrm{d}s \bigg|_{t=0} = \mathbf{F}(\mathbf{x}) \cdot \mathbf{v} </math>जिस स्थान पर प्रथम समानता इस तथ्य के प्रति व्युत्पन्न की परिभाषा से है, कि अभिन्न {{mvar|t}} = 0 पर 0 के सामान है, और दूसरी समानता कलन के पहले मौलिक प्रमेय से है। इस प्रकार हमारे पास {{math|∂<sub>'''v'''</sub>''f''}}, के लिए सूत्र है, (दिशात्मक व्युत्पन्न का प्रतिनिधित्व करने के विधियोंों में से एक) जहां {{math|'''v'''}} इच्छानुसारा है;  


<math> f(\mathbf{x}) := \int_{\gamma[\mathbf{a}, \mathbf{x}]} \mathbf{F}(\mathbf{u}) \cdot \mathrm{d}\mathbf{u} </math> के लिए (ऊपर इसकी पूरी परिभाषा देखें), {{math|'''v'''}} के संबंध में इसका दिशात्मक व्युत्पन्न है:-<math display="block"> \frac{\partial f(\mathbf{x})}{\partial \mathbf{v}} = \partial _ \mathbf{v} f(\mathbf{x}) = D_{\mathbf{v}}f(\mathbf{x}) = \mathbf{F}(\mathbf{x}) \cdot \mathbf{v} </math>एक अदिश फलन {{mvar|f}} के ग्रेडिएंट की परिभाषा के अनुसार, {{math|''f''}}, <math> \nabla f(\mathbf{x}) = \mathbf{F}(\mathbf{x})</math>, इस प्रकार हमें अदिश-मान फलन {{mvar|f}} प्राप्त हुआ है, जिसका ग्रेडिएंट पथ-स्वतंत्र सदिश क्षेत्र {{math|'''F'''}} है (अर्थात, {{math|'''F'''}} अनुपात सदिश क्षेत्र है।), जैसा कि वांछित है।<ref name="wt" />
<math> f(\mathbf{x}) := \int_{\gamma[\mathbf{a}, \mathbf{x}]} \mathbf{F}(\mathbf{u}) \cdot \mathrm{d}\mathbf{u} </math> के लिए (ऊपर इसकी पूरी परिभाषा देखें), {{math|'''v'''}} के संबंध में इसका दिशात्मक व्युत्पन्न है:-<math display="block"> \frac{\partial f(\mathbf{x})}{\partial \mathbf{v}} = \partial _ \mathbf{v} f(\mathbf{x}) = D_{\mathbf{v}}f(\mathbf{x}) = \mathbf{F}(\mathbf{x}) \cdot \mathbf{v} </math>एक अदिश फलन {{mvar|f}} के ग्रेडिएंट की परिभाषा के अनुसार, {{math|''f''}}, <math> \nabla f(\mathbf{x}) = \mathbf{F}(\mathbf{x})</math>, इस प्रकार हमें अदिश-मान फलन {{mvar|f}} प्राप्त हुआ है, जिसका ग्रेडिएंट पथ-स्वतंत्र सदिश क्षेत्र {{math|'''F'''}} है (अर्थात, {{math|'''F'''}} अनुपात सदिश क्षेत्र है।), जैसा कि वांछित है।<ref name="wt" />
===व्युत्क्रम सिद्धांत का उदाहरण===
===व्युत्क्रम सिद्धांत का उदाहरण===
{{main|विद्युत स्थितिज ऊर्जा}}
{{main|विद्युत स्थितिज ऊर्जा}}


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


इसलिए, उपरोक्त प्रमेय का तात्पर्य है, कि विद्युत [[बल क्षेत्र (भौतिकी)|प्रभाव क्षेत्र (भौतिकी)]] {{math|'''F'''<sub>''e''</sub> : ''S'' → '''R'''<sup>3</sup>}} अनुपात है (इस स्थान पर {{mvar|S}} एवं {{math|'''R'''<sup>3</sup>}} का अल्प संवृत, पथ-संबंध उपसमुच्चय है जिसमें प्रभार वितरण सम्मिलित है)। उपरोक्त प्रमाण के विचारों का पालन करते हुए, हम {{mvar|S}} में कुछ संदर्भ बिंदु {{math|'''a'''}} समुच्चय कर सकते हैं, और   फलन {{math|''U<sub>e</sub>'': ''S'' → '''R'''}} को परिभाषित कर सकते हैं:-   
इसलिए, उपरोक्त प्रमेय का तात्पर्य है, कि विद्युत [[बल क्षेत्र (भौतिकी)|प्रभाव क्षेत्र (भौतिकी)]] {{math|'''F'''<sub>''e''</sub> : ''S'' → '''R'''<sup>3</sup>}} अनुपात है (इस स्थान पर {{mvar|S}} एवं {{math|'''R'''<sup>3</sup>}} का अल्प संवृत, पथ-संबंध उपसमुच्चय है जिसमें प्रभार वितरण सम्मिलित है)। उपरोक्त प्रमाण के विचारों का पालन करते हुए, हम {{mvar|S}} में कुछ संदर्भ बिंदु {{math|'''a'''}} समुच्चय कर सकते हैं, और फलन {{math|''U<sub>e</sub>'': ''S'' → '''R'''}} को परिभाषित कर सकते हैं:-   


<math display="block"> U_e(\mathbf{r}) :=  -\int_{\gamma[\mathbf{a},\mathbf{r}]} \mathbf{F}_e(\mathbf{u}) \cdot \mathrm{d}\mathbf{u} </math>
<math display="block"> U_e(\mathbf{r}) :=  -\int_{\gamma[\mathbf{a},\mathbf{r}]} \mathbf{F}_e(\mathbf{u}) \cdot \mathrm{d}\mathbf{u} </math>
उपरोक्त प्रमाण का उपयोग करते हुए, हम जानते हैं कि {{math|''U''<sub>''e''</sub>}} स्पष्ट रूप से परिभाषित और भिन्न है, और '''F'''<sub>''e''</sub> = −∇''U<sub>e</sub>'' (इस सूत्र से हम अनुपात प्रभावों {{math|1=''W'' = −Δ''U''}}) के माध्यम से किए गए कार्य की गणना के लिए प्रसिद्ध सूत्र को सहजता से प्राप्त करने के लिए ग्रेडिएंट प्रमेय का उपयोग कर सकते हैं। इस फलन {{math|''U''<sub>''e''</sub>}} को अधिकांशतः {{mvar|S}} में प्रभारों की प्रणाली की विद्युत संभावित ऊर्जा के रूप में जाना जाता है (शून्य-क्षमता {{math|'''a'''}} के संदर्भ में)। अनेक स्थितियों में, कार्यक्षेत्र {{mvar|S}} को को [[बंधा हुआ सेट|असीमित समुच्चय]] माना जाता है, और संदर्भ बिंदु {{math|'''a'''}} को "अनंत" माना जाता है, जिसे सीमित विधि का उपयोग करके दृढ़ बनाया जा सकता है। यह फलन {{math|''U''<sub>''e''</sub>}} अनेक भौतिक प्रणालियों के विश्लेषण में उपयोग किया जाने वाला   अनिवार्य उपकरण है।
उपरोक्त प्रमाण का उपयोग करते हुए, हम जानते हैं कि {{math|''U''<sub>''e''</sub>}} स्पष्ट रूप से परिभाषित और भिन्न है, और '''F'''<sub>''e''</sub> = −∇''U<sub>e</sub>'' (इस सूत्र से हम अनुपात प्रभावों {{math|1=''W'' = −Δ''U''}}) के माध्यम से किए गए कार्य की गणना के लिए प्रसिद्ध सूत्र को सहजता से प्राप्त करने के लिए ग्रेडिएंट प्रमेय का उपयोग कर सकते हैं। इस फलन {{math|''U''<sub>''e''</sub>}} को अधिकांशतः {{mvar|S}} में प्रभारों की प्रणाली की विद्युत संभावित ऊर्जा के रूप में जाना जाता है (शून्य-क्षमता {{math|'''a'''}} के संदर्भ में)। अनेक स्थितियों में, कार्यक्षेत्र {{mvar|S}} को को [[बंधा हुआ सेट|असीमित समुच्चय]] माना जाता है, और संदर्भ बिंदु {{math|'''a'''}} को "अनंत" माना जाता है, जिसे सीमित विधि का उपयोग करके दृढ़ बनाया जा सकता है। यह फलन {{math|''U''<sub>''e''</sub>}} अनेक भौतिक प्रणालियों के विश्लेषण में उपयोग किया जाने वाला अनिवार्य उपकरण है।


==सामान्यीकरण==
==सामान्यीकरण==
Line 113: Line 113:
यह शक्तिशाली कथन एक-आयामी अनेक गुना पर परिभाषित एक-रूपों से लेकर इच्छानुसार आयामों के अनेक गुना पर परिभाषित विभेदक रूपों तक ग्रेडिएंट प्रमेय का सामान्यीकरण है।
यह शक्तिशाली कथन एक-आयामी अनेक गुना पर परिभाषित एक-रूपों से लेकर इच्छानुसार आयामों के अनेक गुना पर परिभाषित विभेदक रूपों तक ग्रेडिएंट प्रमेय का सामान्यीकरण है।


ग्रेडिएंट प्रमेय के व्युत्क्रम कथन में अनेक गुना अंतर रूपों के संदर्भ में   शक्तिशाली सामान्यीकरण भी है। विशेष रूप से, मान लीजिए कि {{mvar|ω}} एक अनुबंध योग्य कार्यक्षेत्र पर परिभाषित रूप है, और किसी भी विवृत एकीकरण पर {{mvar|ω}} का अभिन्न अंग शून्य है। ततपश्चात् {{mvar|ψ}} का एक रूप उपस्थित होता है जैसे कि {{math|1=''ω'' = d''ψ''}} है। इस प्रकार,   अनुबंध योग्य कार्यक्षेत्र पर, प्रत्येक विवृत रूप त्रुटिहीन होता है। इस परिणाम को पोंकारे लेम्मा के माध्यम से संक्षेपित किया गया है।
ग्रेडिएंट प्रमेय के व्युत्क्रम कथन में अनेक गुना अंतर रूपों के संदर्भ में शक्तिशाली सामान्यीकरण भी है। विशेष रूप से, मान लीजिए कि {{mvar|ω}} एक अनुबंध योग्य कार्यक्षेत्र पर परिभाषित रूप है, और किसी भी विवृत एकीकरण पर {{mvar|ω}} का अभिन्न अंग शून्य है। ततपश्चात् {{mvar|ψ}} का एक रूप उपस्थित होता है जैसे कि {{math|1=''ω'' = d''ψ''}} है। इस प्रकार, अनुबंध योग्य कार्यक्षेत्र पर, प्रत्येक विवृत रूप त्रुटिहीन होता है। इस परिणाम को पोंकारे लेम्मा के माध्यम से संक्षेपित किया गया है।


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

Revision as of 02:15, 10 July 2023

ग्रेडिएंट प्रमेय, जिसे रेखा संपूर्ण के लिए गणना के मौलिक प्रमेय के रूप में भी जाना जाता है। ग्रेडिएंट प्रमेय का कहना है, कि अनुपात सदिश क्षेत्र के माध्यम से संपूर्ण रेखा का मूल्यांकन वक्र के अंतिम बिंदुओं पर मूल अदिश क्षेत्र का मूल्यांकन करके प्राप्त किया जा सकता है। प्रमेय मात्र वास्तविक रेखा के अतिरिक्त किसी समतल या अंतराल (सामान्यतः n-आयामी) में किसी भी वक्र के लिए कलन के मौलिक प्रमेय का सामान्यीकरण है।

φ : URnR को एक अवकलनीय फलन के रूप में और γ को U में किसी सतत वक्र के रूप में, जो एक बिंदु p से प्रारंभ होता है और एक बिंदु q पर समाप्त होता है, तब

जिस स्थान पर φ एवं φ के ग्रेडिएंट सदिश क्षेत्र को दिखाता है

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

ग्रेडिएंट प्रमेय का रोचक व्युत्क्रम भी है: किसी भी पथ-स्वतंत्र सदिश क्षेत्र को अदिश क्षेत्र के ग्रेडिएंट के रूप में व्यक्त किया जा सकता है। ग्रेडिएंट प्रमेय की समरूप ही इस परिवर्तन के स्पष्ट और व्यावहारिक गणित दोनों में अनेक आश्चर्यजनक परिणाम और अनुप्रयोग हैं।

प्रमाण

यदि φ पूर्णतया संवृत उपसमुच्चय URn से R तक भिन्न कार्य है, और r अल्प विवृत अंतराल (गणित) [a, b] से U तक भिन्न कार्य है (ध्यान दें कि r अंतराल समापन बिंदु a और b पर भिन्न है। ऐसा करने के लिए, r को ऐसे अंतराल पर परिभाषित किया जाता है, जो इससे बृहत्तर होता है और इसमें [a, b] सम्मिलित होता है।), ततपश्चात् बहुभिन्न रूपी श्रृंखला नियम के माध्यम से समग्र फलन φ ∘ r [a, b] पर भिन्न होता है:-

[a, b] में समस्त t के लिए यहां सामान्य आंतरिक परिणाम को दर्शाया गया है।

अब मान लीजिए कि φ के कार्यक्षेत्र U में अंतिम बिंदु p और q के प्रति अवकलनीय वक्र γ सम्मिलित है। (यह p को q की दिशा में उन्मुख है)। यदि r [a, b] में t के लिए γ को प्राचलीकरण (ज्यामिति) करता है (अर्थात, r, t के फलन के रूप में γ को दर्शाता है), तब:-

जिस स्थान पर एक रेखा समाकलन की परिभाषा का उपयोग प्रथम समानता में किया जाता है, उपरोक्त समीकरण का उपयोग द्वितीय समानता में किया जाता है, और गणना के द्वितीय मौलिक प्रमेय के भाग का उपयोग तृतीय समानता में किया जाता है।[1] यद्यपि ग्रेडिएंट प्रमेय (जिसे रेखा संपूर्ण के लिए गणना का मौलिक प्रमेय भी कहा जाता है) को अब तक विभेदक (इसलिए सहज दिखता है) वक्र के लिए सिद्ध किया गया है। प्रमेय एक खंड अनुसार सहज वक्र के लिए भी सिद्ध किया गया है, क्योंकि यह वक्र जुड़कर बना है। एकाधिक अवकलनीय वक्र इसलिए इस वक्र का प्रमाण प्रति अवकलनीय वक्र घटक के प्रमाण के माध्यम से बनाया जाता है।[2]

उदाहरण

उदाहरण 1

मान लीजिए γR2 (5, 0) से (−4, 3) तक वामावर्त दिशा में उन्मुख गोलाकार वृत्तांश है। रेखा समाकलन की परिभाषा का उपयोग करते हुए:-

इस परिणाम को फलन पर ध्यान देकर और अधिक सरलता से प्राप्त किया जा सकता है ढाल है , तब ग्रेडियेंट प्रमेय के माध्यम से : इस परिणाम को और अधिक सरलता से यह देखकर प्राप्त किया जा सकता है कि फलन में प्रवणता है, इसलिए ग्रेडिएंट प्रमेय के माध्यम से:-

उदाहरण 2

अधिक सारगर्भित उदाहरण के लिए, मान लीजिए कि γRn में अंतिम बिंदु p, q, है, जिसका अभिविन्यास p को q की ओर है। Rn में आपके लिए, |u| u के यूक्लिडियन मानदंड को निरूपित करें। यदि α ≥ 1 एक वास्तविक संख्या है, तब:-

यहां अंतिम समानता ग्रेडिएंट प्रमेय के के माध्यम से होती है, क्योंकि फलन f(x) = |x|α+1 एवं Rn पर अवकलनीय है, यदि α ≥ 1 है।

यदि α < 1 है, तब अधिकांश स्थितियों में यह समानता अभी भी स्थिर रहेगी, किन्तु यदि γ मूल बिंदु से होकर निकलता है या परिवृत्त करता है तब सावधानी पूर्वक करना चाहिए, क्योंकि एकीकृत सदिश क्षेत्र |x|α − 1x उस स्थान पर परिभाषित होने में विफल रहेगा। चूंकि, स्थितियाँ α = −1 कुछ प्रथक है, इन स्थितियों में एकीकृत |x|−2x = ∇(log |x|) बन जाता है। जिससे कि अंतिम समानता log |q| − log |p| बन जाती है।

ध्यान दें कि यदि n = 1 है, तब यह उदाहरण एकल-चर गणना से परिचित घात नियम का अल्प सा संस्करण है।

उदाहरण 3

मान लीजिए कि त्रि-आयामी अंतराल में n बिंदु प्रभार व्यवस्थित हैं, और i बिंदु प्रभार में Qi प्रभार है और R3 में स्थिति pi पर स्थित है। हम R3 में बिंदु a से बिंदु b तक संचारण करते समय प्रभार q के एक कण पर किए गए कार्य (भौतिकी) की गणना करना चाहेंगे। कूलम्ब के नियम का उपयोग करके हम सहजता से यह निर्धारित कर सकते हैं कि स्थिति r पर कण पर प्रभाव कितना होगा:-

इस स्थान पर |u| R3 और k = 1/(4πε0) में सदिश u के यूक्लिडियन मानदंड को दर्शाता है, जिस स्थान पर ε0 निर्वात पारगम्यता है।

मान लीजिए γR3 − {p1, ..., pn, a से b तक इच्छानुसार अवकलनीय वक्र है। तब कण पर किया गया कार्य है:-

अब प्रत्येक i के लिए प्रत्यक्ष गणना यह दर्शाती है:-

इस प्रकार, उपर्युक्त से निरंतर रखते हुए और ग्रेडिएंट प्रमेय का उपयोग करते हुए:-

यह संपूर्ण हो गया है। निःसंदेह, हम विद्युत क्षमता या विद्युत संभावित ऊर्जा (परिचित सूत्रों W = −ΔU = −qΔV के साथ) की शक्तिशाली भाषा (परिचित सूत्रों के साथ) का उपयोग करके इस गणना को सहजता से संपूर्ण कर सकते थे। चूंकि, हमने अभी तक संभावित या स्थितिज ऊर्जा को परिभाषित नहीं किया है, क्योंकि ग्रेडिएंट प्रमेय के व्युत्क्रम को यह सिद्ध करने की आवश्यकता है, कि ये कुशलता पूर्वक से परिभाषित, भिन्न कार्य हैं और ये सूत्र मान्य हैं ( उदाहरण के लिए नीचे देखें)। इस प्रकार, हमने मात्र कूलम्ब के नियम, कार्य की परिभाषा और ग्रेडिएंट प्रमेय का उपयोग करके इस समस्या को हल किया है।

ग्रेडिएंट प्रमेय का व्युत्क्रम

ग्रेडिएंट प्रमेय बताता है कि यदि सदिश क्षेत्र F कुछ अदिश -मान फलन का ग्रेडिएंट है (अर्थात, यदि F अपरिवर्तनवादी सदिश क्षेत्र है), तब F पथ-स्वतंत्र सदिश क्षेत्र है (अर्थात, विभेदक वक्र पर F का अभिन्न अंग का अभिन्न अंग) मात्र अंतिम बिंदुओं पर निर्भर होते हैं)। इस प्रमेय का शक्तिशाली व्युत्क्रम है:

Theorem — प्रमेय - यदि F एक पथ-स्वतंत्र संवाहक क्षेत्र है, तो F कुछ आदिश-मान वाले फलन का प्रवणता है।

यह दिखाना सहज है कि सदिश क्षेत्र पथ-स्वतंत्र है यदि और मात्र उस अवधि मे जब उसके कार्यक्षेत्र में प्रत्येक विवृत परिपथ पर सदिश क्षेत्र का अभिन्न अंग शून्य होना चाहिए। इस प्रकार व्युत्क्रम को वैकल्पिक रूप से इस प्रकार कहा जा सकता है:- यदि F के अधिकार क्षेत्र में प्रत्येक विवृत परिपथ पर F का अभिन्न अंग शून्य है, तब F कुछ अदिश-मान वाले फलन का प्रवणता है।

व्युत्क्रम का प्रमाण

मान लीजिए U , Rn का संवृत पथ-सम्बद्ध हुआ उपसमुच्चय है, और F : URn एक सतत और पथ-स्वतंत्र सदिश क्षेत्र है। U के कुछ अवयव a को ठीक करें और f : UR को परिभाषित करें

इस स्थान पर γ[a, x] एवं U में कोई (विभेदनीय) वक्र है, जो a से आरम्भ होता है और x.पर समाप्त होता है। हम जानते हैं कि F स्पष्ट परिभाषित है, क्योंकि F पथ-स्वतंत्र है। मान लीजिए कि Rn में v कोई शून्येतर सदिश नहीं है। दिशात्मक व्युत्पन्न की परिभाषा के अनुसार:-
अंतिम सीमा के अन्दर अभिन्न की गणना करने के लिए, हमें γ[x, x + tv] को प्राचलीकरण (ज्यामिति) करना होगा। चूँकि F पथ-स्वतंत्र है एवं U संवृत है, और t शून्य के समीप हो रहा है, हम मान सकते हैं कि यह पथ सीधी रेखा है, और इसे 0 < s < t. के लिए u(s) = x + sv के रूप में प्राचलीकरण करें। अब, चूँकि u'(s) = v सीमा बन जाती है:-
जिस स्थान पर प्रथम समानता इस तथ्य के प्रति व्युत्पन्न की परिभाषा से है, कि अभिन्न t = 0 पर 0 के सामान है, और दूसरी समानता कलन के पहले मौलिक प्रमेय से है। इस प्रकार हमारे पास vf, के लिए सूत्र है, (दिशात्मक व्युत्पन्न का प्रतिनिधित्व करने के विधियोंों में से एक) जहां v इच्छानुसारा है;

के लिए (ऊपर इसकी पूरी परिभाषा देखें), v के संबंध में इसका दिशात्मक व्युत्पन्न है:-

एक अदिश फलन f के ग्रेडिएंट की परिभाषा के अनुसार, f, , इस प्रकार हमें अदिश-मान फलन f प्राप्त हुआ है, जिसका ग्रेडिएंट पथ-स्वतंत्र सदिश क्षेत्र F है (अर्थात, F अनुपात सदिश क्षेत्र है।), जैसा कि वांछित है।[3]

व्युत्क्रम सिद्धांत का उदाहरण

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

इसलिए, उपरोक्त प्रमेय का तात्पर्य है, कि विद्युत प्रभाव क्षेत्र (भौतिकी) Fe : SR3 अनुपात है (इस स्थान पर S एवं R3 का अल्प संवृत, पथ-संबंध उपसमुच्चय है जिसमें प्रभार वितरण सम्मिलित है)। उपरोक्त प्रमाण के विचारों का पालन करते हुए, हम S में कुछ संदर्भ बिंदु a समुच्चय कर सकते हैं, और फलन Ue: SR को परिभाषित कर सकते हैं:-

उपरोक्त प्रमाण का उपयोग करते हुए, हम जानते हैं कि Ue स्पष्ट रूप से परिभाषित और भिन्न है, और Fe = −∇Ue (इस सूत्र से हम अनुपात प्रभावों W = −ΔU) के माध्यम से किए गए कार्य की गणना के लिए प्रसिद्ध सूत्र को सहजता से प्राप्त करने के लिए ग्रेडिएंट प्रमेय का उपयोग कर सकते हैं। इस फलन Ue को अधिकांशतः S में प्रभारों की प्रणाली की विद्युत संभावित ऊर्जा के रूप में जाना जाता है (शून्य-क्षमता a के संदर्भ में)। अनेक स्थितियों में, कार्यक्षेत्र S को को असीमित समुच्चय माना जाता है, और संदर्भ बिंदु a को "अनंत" माना जाता है, जिसे सीमित विधि का उपयोग करके दृढ़ बनाया जा सकता है। यह फलन Ue अनेक भौतिक प्रणालियों के विश्लेषण में उपयोग किया जाने वाला अनिवार्य उपकरण है।

सामान्यीकरण

सदिश गणना के अनेक महत्वपूर्ण प्रमेय विभेदक रूप एकीकरण पर अंतर रूपों के एकीकरण के बारे में कथनों को सुरुचिपूर्ण रूप से सामान्यीकृत करते हैं। विभेदक रूप और बाह्य व्युत्पन्नों की भाषा में, ग्रेडिएंट प्रमेय यह बताता है, कि:-

किसी भी 0-रूप के लिए, ϕ कुछ भिन्न वक्र γRn पर परिभाषित किया गया है (इस स्थान पर γ की सीमा पर ϕ के अभिन्न अंग को γ के अंतिम बिंदुओं पर ϕ के मूल्यांकन के रूप में समझा जाता है)।

कृपया इस कथन और सामान्यीकृत स्टोक्स प्रमेय के मध्य विचित्र समानता पर ध्यान दें। सामान्यीकृत स्टोक्स प्रमेय, जो कहता है कि कुछ उन्मुख विविध की सीमा (टोपोलॉजी) पर किसी भी सुगठित रूप से समर्थित अंतर रूप ω का अभिन्न अंग संपूर्ण Ω पर इसके बाह्य व्युत्पन्न dω के अभिन्न अंग के समरूप है, अर्थात:-

यह शक्तिशाली कथन एक-आयामी अनेक गुना पर परिभाषित एक-रूपों से लेकर इच्छानुसार आयामों के अनेक गुना पर परिभाषित विभेदक रूपों तक ग्रेडिएंट प्रमेय का सामान्यीकरण है।

ग्रेडिएंट प्रमेय के व्युत्क्रम कथन में अनेक गुना अंतर रूपों के संदर्भ में शक्तिशाली सामान्यीकरण भी है। विशेष रूप से, मान लीजिए कि ω एक अनुबंध योग्य कार्यक्षेत्र पर परिभाषित रूप है, और किसी भी विवृत एकीकरण पर ω का अभिन्न अंग शून्य है। ततपश्चात् ψ का एक रूप उपस्थित होता है जैसे कि ω = dψ है। इस प्रकार, अनुबंध योग्य कार्यक्षेत्र पर, प्रत्येक विवृत रूप त्रुटिहीन होता है। इस परिणाम को पोंकारे लेम्मा के माध्यम से संक्षेपित किया गया है।

यह भी देखें

संदर्भ

  1. Williamson, Richard and Trotter, Hale. (2004). Multivariable Mathematics, Fourth Edition, p. 374. Pearson Education, Inc.
  2. Stewart, James (2015). "16.3 The Fundamental Theorem for Line Integrals". गणना (in English) (8th ed.). Cengage Learning. pp. 1127–1128. ISBN 978-1-285-74062-1.
  3. Cite error: Invalid <ref> tag; no text was provided for refs named wt