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

From Vigyanwiki
(Created page with "{{short description|Evaluates a line integral through a gradient field using the original scalar field}} {{Calculus|Vector}} ग्रेडिएंट प्रमेय,...")
 
No edit summary
Line 1: Line 1:
{{short description|Evaluates a line integral through a gradient field using the original scalar field}}
{{short description|Evaluates a line integral through a gradient field using the original scalar field}}
{{Calculus|Vector}}
{{Calculus|संवाहक }}


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


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


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


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


अब मान लीजिए डोमेन {{mvar|U}} का {{mvar|φ}} में अवकलनीय वक्र शामिल है {{mvar|γ}} समापन बिंदुओं के साथ {{math|'''p'''}} और {{math|'''q'''}}. (यह से दिशा में [[अभिविन्यास (वेक्टर स्थान)]] है {{math|'''p'''}} को {{math|'''q'''}}). अगर {{math|'''r'''}} [[पैरामीट्रिज़ेशन (ज्यामिति)]] {{mvar|γ}} के लिए {{mvar|t}} में {{math|[''a'', ''b'']}} (अर्थात।, {{math|'''r'''}} प्रतिनिधित्व करता है {{mvar|γ}} के एक कार्य के रूप में {{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}
 
<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>
\end{align} </math>जहाँ एक रेखा समाकलन की परिभाषा का उपयोग प्रथम  समानता में किया जाता है, उपरोक्त समीकरण का उपयोग द्वितीय समानता में किया जाता है, और गणना के द्वितीय मौलिक प्रमेय के भाग का उपयोग तृतीय समानता में किया जाता है।<ref>Williamson, Richard and Trotter, Hale. (2004). ''Multivariable Mathematics, Fourth Edition,'' p. 374. Pearson Education, Inc.</ref>
जहां पहली समानता में एक सदिश क्षेत्र की लाइन इंटीग्रल#लाइन इंटीग्रल का उपयोग किया जाता है, दूसरी समानता में उपरोक्त समीकरण का उपयोग किया जाता है, और कैलकुलस के मौलिक प्रमेय#दूसरे भाग का उपयोग तीसरी समानता में किया जाता है।<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>




यद्यपि ग्रेडिएंट प्रमेय (जिसे रेखा  संपूर्ण के लिए गणना का मौलिक प्रमेय भी कहा जाता है) को अब तक एक विभेदक (इसलिए सहज दिखता है) वक्र के लिए सिद्ध किया गया है, प्रमेय एक खंड अनुसार सहज वक्र के लिए भी सिद्ध किया गया है क्योंकि यह वक्र जुड़कर बना है एकाधिक अवकलनीय वक्र इसलिए इस वक्र का प्रमाण प्रति अवकलनीय वक्र घटक के प्रमाण के माध्यम से  बनाया जाता है।<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 42: Line 37:
     &= -\tfrac{25}{2}\sin\left(2\tan^{-1}\!\!\left(\tfrac{3}{4}\right)\right) \ =\ -\frac{25(3/4)}{(3/4)^2 + 1} = -12.  
     &= -\tfrac{25}{2}\sin\left(2\tan^{-1}\!\!\left(\tfrac{3}{4}\right)\right) \ =\ -\frac{25(3/4)}{(3/4)^2 + 1} = -12.  
\end{align}</math>
\end{align}</math>
इस परिणाम को फ़ंक्शन पर ध्यान देकर और अधिक सरलता से प्राप्त किया जा सकता है <math>f(x,y)=xy</math> ढाल है <math>\nabla f(x,y)=(y,x)</math>, तो ग्रेडियेंट प्रमेय द्वारा:
इस परिणाम को फ़ंक्शन पर ध्यान देकर और अधिक सरलता से प्राप्त किया जा सकता है <math>f(x,y)=xy</math> ढाल है <math>\nabla f(x,y)=(y,x)</math>, तो ग्रेडियेंट प्रमेय के माध्यम से : इस परिणाम को और अधिक सरलता से यह देखकर प्राप्त किया जा सकता है कि फ़ंक्शन  <math>f(x,y)=xy</math> में प्रवणता  <math>\nabla f(x,y)=(y,x)</math> है, इसलिए ग्रेडिएंट प्रमेय के माध्यम से:
 
<math display="block">\int_{\gamma} y \,\mathrm{d}x+x \,\mathrm{d}y=\int_{\gamma}\nabla(xy) \cdot (\mathrm{d}x,\mathrm{d}y)\ =\ xy\,|_{(5,0)}^{(-4,3)}=-4 \cdot 3-5 \cdot 0=-12 .</math>
 


<math display="block">\int_{\gamma} y \,\mathrm{d}x+x \,\mathrm{d}y=\int_{\gamma}\nabla(xy) \cdot (\mathrm{d}x,\mathrm{d}y)\ =\ xy\,|_{(5,0)}^{(-4,3)}=-4 \cdot 3-5 \cdot 0=-12 .</math><br />
===उदाहरण 2===
===उदाहरण 2===
अधिक सारगर्भित उदाहरण के लिए, मान लीजिए {{math|''γ'' ⊂ '''R'''<sup>''n''</sup>}} के अंतिमबिंदु हैं {{math|'''p'''}}, {{math|'''q'''}}, से अभिविन्यास के साथ {{math|'''p'''}} को {{math|'''q'''}}. के लिए {{math|'''u'''}} में {{math|'''R'''<sup>''n''</sup>}}, होने देना {{math|{{abs|'''u'''}}}} के [[यूक्लिडियन मानदंड]] को निरूपित करें {{math|'''u'''}}. अगर {{math|''α'' ≥ 1}तो, } एक वास्तविक संख्या है
अधिक सारगर्भित उदाहरण के लिए, मान लीजिए कि {{math|''γ'' ⊂ '''R'''<sup>''n''</sup>}} में अंतिम बिंदु  {{math|'''p'''}}, {{math|'''q'''}}, है, जिसका अभिविन्यास {{math|'''p'''}} को {{math|'''q'''}} की ओर है।  {{math|'''R'''<sup>''n''</sup>}} में आपके लिए, {{math|{{abs|'''u'''}}}} {{math|'''u'''}} के  [[यूक्लिडियन मानदंड]] को निरूपित करें। यदि ''α'' ≥ 1 एक वास्तविक संख्या है, तो


<math display="block">\begin{align}
<math display="block">\begin{align}
Line 55: Line 48:
     &= \frac{1}{\alpha + 1} \int_{\gamma} \nabla |\mathbf{x}|^{\alpha + 1} \cdot \mathrm{d}\mathbf{x}= \frac{|\mathbf{q}|^{\alpha + 1} - |\mathbf{p}|^{\alpha + 1}}{\alpha + 1}  
     &= \frac{1}{\alpha + 1} \int_{\gamma} \nabla |\mathbf{x}|^{\alpha + 1} \cdot \mathrm{d}\mathbf{x}= \frac{|\mathbf{q}|^{\alpha + 1} - |\mathbf{p}|^{\alpha + 1}}{\alpha + 1}  
\end{align}</math>
\end{align}</math>
यहां अंतिम समानता फ़ंक्शन के बाद से ग्रेडिएंट प्रमेय द्वारा अनुसरण की जाती है {{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 65: Line 58:


<math display="block"> \mathbf{F}(\mathbf{r}) = kq\sum_{i=1}^n \frac{Q_i(\mathbf{r} - \mathbf{p}_i)}{\left|\mathbf{r} - \mathbf{p}_i\right|^3} </math>
<math display="block"> \mathbf{F}(\mathbf{r}) = kq\sum_{i=1}^n \frac{Q_i(\mathbf{r} - \mathbf{p}_i)}{\left|\mathbf{r} - \mathbf{p}_i\right|^3} </math>
यहाँ {{math|{{abs|'''u'''}}}} वेक्टर के यूक्लिडियन मानदंड को दर्शाता है {{math|'''u'''}} में {{math|'''R'''<sup>3</sup>}}, और {{math|1=''k'' = 1/(4''πε''<sub>0</sub>)}}, कहाँ {{math|''ε''<sub>0</sub>}} [[निर्वात पारगम्यता]] है।
यहाँ {{math|{{abs|'''u'''}}}} संवाहक  के यूक्लिडियन मानदंड को दिखाता है {{math|'''u'''}} में {{math|'''R'''<sup>3</sup>}}, और {{math|1=''k'' = 1/(4''πε''<sub>0</sub>)}}, कहाँ {{math|''ε''<sub>0</sub>}} [[निर्वात पारगम्यता]] है।


होने देना {{math|''γ'' ⊂ '''R'''<sup>3</sup> − {'''p'''<sub>1</sub>, ..., '''p'''<sub>''n''</sub>}{{null}}}} से एक मनमाना अवकलनीय वक्र बनें {{math|'''a'''}} को {{math|'''b'''}}. तब कण पर किया गया कार्य है
होने देना {{math|''γ'' ⊂ '''R'''<sup>3</sup> − {'''p'''<sub>1</sub>, ..., '''p'''<sub>''n''</sub>}{{null}}}} से एक मनमाना अवकलनीय वक्र बनें {{math|'''a'''}} को {{math|'''b'''}}. तब कण पर किया गया कार्य है
Line 83: Line 76:
     =  kq \sum_{i=1}^n Q_i \left( \frac{1}{\left|\mathbf{a} - \mathbf{p}_i\right|} - \frac{1}{\left|\mathbf{b} - \mathbf{p}_i\right|} \right)
     =  kq \sum_{i=1}^n Q_i \left( \frac{1}{\left|\mathbf{a} - \mathbf{p}_i\right|} - \frac{1}{\left|\mathbf{b} - \mathbf{p}_i\right|} \right)
</math>
</math>
हमारा काम तमाम हो गया है। निःसंदेह, हम विद्युत विभव या विद्युत विभव ऊर्जा की शक्तिशाली भाषा (परिचित सूत्रों के साथ) का उपयोग करके इस गणना को आसानी से पूरा कर सकते थे {{math|1=''W'' = −Δ''U'' = −''q''Δ''V''}}). हालाँकि, हमने अभी तक संभावित या स्थितिज ऊर्जा को परिभाषित नहीं किया है, क्योंकि ग्रेडिएंट प्रमेय के व्युत्क्रम को यह साबित करने की आवश्यकता है कि ये अच्छी तरह से परिभाषित, भिन्न कार्य हैं और ये सूत्र धारण करते हैं (ग्रेडिएंट प्रमेय#विपरीत सिद्धांत का उदाहरण)। इस प्रकार, हमने केवल कूलम्ब के नियम, कार्य की परिभाषा और ग्रेडिएंट प्रमेय का उपयोग करके इस समस्या को हल किया है।
हमारा काम तमाम हो गया है। निःसंदेह, हम विद्युत विभव या विद्युत विभव ऊर्जा की शक्तिशाली भाषा (परिचित सूत्रों के साथ) का उपयोग करके इस गणना को आसानी से पूरा कर सकते थे {{math|1=''W'' = −Δ''U'' = −''q''Δ''V''}}). हालाँकि, हमने अभी तक संभावित या स्थितिज ऊर्जा को परिभाषित नहीं किया है, क्योंकि ग्रेडिएंट प्रमेय के व्युत्क्रम को यह साबित करने की आवश्यकता है कि ये अच्छी तरह से परिभाषित, भिन्न कार्य हैं और ये सूत्र धारण करते हैं (ग्रेडिएंट प्रमेय#विपरीत सिद्धांत का उदाहरण)। इस प्रकार, हमने मात्र  कूलम्ब के नियम, कार्य की परिभाषा और ग्रेडिएंट प्रमेय का उपयोग करके इस समस्या को हल किया है।


==ग्रेडिएंट प्रमेय का व्युत्क्रम==
==ग्रेडिएंट प्रमेय का व्युत्क्रम==
ग्रेडिएंट प्रमेय बताता है कि यदि वेक्टर फ़ील्ड {{math|'''F'''}} कुछ स्केलर-वैल्यू फ़ंक्शन का ग्रेडिएंट है (यानी, यदि {{math|'''F'''}} कंजर्वेटिव वेक्टर फ़ील्ड है), तो {{math|'''F'''}} एक पथ-स्वतंत्र वेक्टर क्षेत्र है (यानी, का अभिन्न अंग)। {{math|'''F'''}} कुछ टुकड़े-टुकड़े-अलग-अलग वक्र केवल अंतिम बिंदुओं पर निर्भर होते हैं)। इस प्रमेय का एक शक्तिशाली व्युत्क्रम है:
ग्रेडिएंट प्रमेय बताता है कि यदि संवाहक  क्षेत्र {{math|'''F'''}} कुछ अदिश -वैल्यू फ़ंक्शन का ग्रेडिएंट है (यानी, यदि {{math|'''F'''}} कंजर्वेटिव संवाहक  क्षेत्र है), तो {{math|'''F'''}} एक पथ-स्वतंत्र संवाहक  क्षेत्र है (यानी, का अभिन्न अंग)। {{math|'''F'''}} कुछ टुकड़े-टुकड़े-प्रथक -प्रथक  वक्र मात्र  अंतिम बिंदुओं पर निर्भर होते हैं)। इस प्रमेय का एक शक्तिशाली व्युत्क्रम है:
{{math theorem| If {{math|'''F'''}} is a path-independent vector field, then {{math|'''F'''}} is the gradient of some scalar-valued function.<ref name="wt">"Williamson, Richard and Trotter, Hale. (2004). ''Multivariable Mathematics, Fourth Edition'', p. 410. Pearson Education, Inc."</ref>}}
{{math theorem| If {{math|'''F'''}} is a path-independent vector field, then {{math|'''F'''}} is the gradient of some scalar-valued function.<ref name="wt">"Williamson, Richard and Trotter, Hale. (2004). ''Multivariable Mathematics, Fourth Edition'', p. 410. Pearson Education, Inc."</ref>}}
यह दिखाना सीधा है कि एक वेक्टर फ़ील्ड पथ-स्वतंत्र है यदि और केवल तभी जब उसके डोमेन में प्रत्येक बंद लूप पर वेक्टर फ़ील्ड का अभिन्न अंग शून्य हो। इस प्रकार व्युत्क्रम को वैकल्पिक रूप से इस प्रकार कहा जा सकता है: यदि का अभिन्न अंग {{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>}} एक सतत फ़ंक्शन और पथ-स्वतंत्र वेक्टर फ़ील्ड है। कुछ तत्व ठीक करें {{math|'''a'''}} का {{mvar|U}}, और परिभाषित करें {{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'''}} पथ-स्वतंत्र है.
कल्पना करना {{mvar|U}} एक ओपन सेट है, कनेक्टेड स्पेस#पाथ कनेक्टिविटी|पाथ-कनेक्टेड सबसेट {{math|'''R'''<sup>''n''</sup>}}, और {{math|'''F''' : ''U'' → '''R'''<sup>''n''</sup>}} एक सतत फ़ंक्शन और पथ-स्वतंत्र संवाहक  क्षेत्र है। कुछ तत्व ठीक करें {{math|'''a'''}} का {{mvar|U}}, और परिभाषित करें {{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|'''v'''}} कोई भी अशून्य सदिश हो {{math|'''R'''<sup>''n''</sup>}}. [[दिशात्मक व्युत्पन्न]] की परिभाषा के अनुसार,<math display="block"> \begin{align}  
होने देना {{math|'''v'''}} कोई भी अशून्य सदिश हो {{math|'''R'''<sup>''n''</sup>}}. [[दिशात्मक व्युत्पन्न]] की परिभाषा के अनुसार,<math display="block"> \begin{align}  
Line 97: Line 90:
&= \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''']}}. तब से {{math|'''F'''}} पथ-स्वतंत्र है, {{mvar|U}} खुला है, और {{mvar|t}} शून्य के करीब पहुंच रहा है, हम मान सकते हैं कि यह पथ एक सीधी रेखा है, और इसे इस रूप में पैरामीट्रिज करें {{math|1='''u'''(''s'') = '''x''' + ''s'''''v'''}} के लिए {{math|0 < ''s'' < ''t''}}. अब, चूँकि {{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>जहां पहली समानता व्युत्पन्न#परिभाषा से है, इस तथ्य के साथ कि अभिन्न 0 के बराबर है {{mvar|t}} = 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>जहां पहली दो समानताएं दिशात्मक व्युत्पन्न के अलग-अलग प्रतिनिधित्व दिखाती हैं। एक अदिश फलन की Gradient#Definition के अनुसार {{math|''f''}}, <math> \nabla f(\mathbf{x}) = \mathbf{F}(\mathbf{x})</math>, इस प्रकार हमें एक अदिश-मूल्यवान फलन मिला है {{mvar|f}} जिसका ग्रेडिएंट पथ-स्वतंत्र वेक्टर क्षेत्र है {{math|'''F'''}} (अर्थात।, {{math|'''F'''}} एक रूढ़िवादी वेक्टर क्षेत्र है।), जैसा वांछित।<ref name="wt" />
\end{align}</math>अंतिम सीमा के भीतर अभिन्न की गणना करने के लिए, हमें प्राचलीकरण ेशन (ज्यामिति) करना होगा {{math|''γ''['''x''', '''x''' + ''t'''''v''']}}. तब से {{math|'''F'''}} पथ-स्वतंत्र है, {{mvar|U}} संवृता है, और {{mvar|t}} शून्य के करीब पहुंच रहा है, हम मान सकते हैं कि यह पथ एक सीधी रेखा है, और इसे इस रूप में प्राचलीकरण  करें {{math|1='''u'''(''s'') = '''x''' + ''s'''''v'''}} के लिए {{math|0 < ''s'' < ''t''}}. अब, चूँकि {{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>जहां प्रथम  समानता व्युत्पन्न#परिभाषा से है, इस तथ्य के साथ कि अभिन्न 0 के बराबर है {{mvar|t}} = 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>जहां प्रथम  दो समानताएं दिशात्मक व्युत्पन्न के प्रथक -प्रथक  प्रतिनिधित्व दिखाती हैं। एक अदिश फलन की Gradient#Definition के अनुसार {{math|''f''}}, <math> \nabla f(\mathbf{x}) = \mathbf{F}(\mathbf{x})</math>, इस प्रकार हमें एक अदिश-मूल्यवान फलन मिला है {{mvar|f}} जिसका ग्रेडिएंट पथ-स्वतंत्र संवाहक  क्षेत्र है {{math|'''F'''}} (अर्थात।, {{math|'''F'''}} एक अनुपात  संवाहक  क्षेत्र है।), जैसा वांछित।<ref name="wt" />




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


इसलिए, उपरोक्त प्रमेय का तात्पर्य है कि विद्युत [[बल क्षेत्र (भौतिकी)]] {{math|'''F'''<sub>''e''</sub> : ''S'' → '''R'''<sup>3</sup>}} रूढ़िवादी है (यहाँ)। {{mvar|S}} कुछ ओपन सेट है, कनेक्टेड स्पेस#पाथ कनेक्टिविटी|पाथ-कनेक्टेड सबसेट {{math|'''R'''<sup>3</sup>}} जिसमें विद्युत आवेश वितरण शामिल है)। उपरोक्त प्रमाण के विचारों का अनुसरण करते हुए, हम कुछ संदर्भ बिंदु निर्धारित कर सकते हैं {{math|'''a'''}} में {{mvar|S}}, और एक फ़ंक्शन परिभाषित करें {{math|''U<sub>e</sub>'': ''S'' → '''R'''}} द्वारा
इसलिए, उपरोक्त प्रमेय का तात्पर्य है कि विद्युत [[बल क्षेत्र (भौतिकी)]] {{math|'''F'''<sub>''e''</sub> : ''S'' → '''R'''<sup>3</sup>}} अनुपात  है (यहाँ)। {{mvar|S}} कुछ ओपन सेट है, कनेक्टेड स्पेस#पाथ कनेक्टिविटी|पाथ-कनेक्टेड सबसेट {{math|'''R'''<sup>3</sup>}} जिसमें विद्युत आवेश वितरण शामिल है)। उपरोक्त प्रमाण के विचारों का अनुसरण करते हुए, हम कुछ संदर्भ बिंदु निर्धारित कर सकते हैं {{math|'''a'''}} में {{mvar|S}}, और एक फ़ंक्शन परिभाषित करें {{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>}} अच्छी तरह से परिभाषित और भिन्न है, और {{math|1='''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'''}} को अनंत माना जाता है, जिसे सीमित तकनीकों का उपयोग करके Rigour#Mathematical कठोरता बनाया जा सकता है। यह फ़ंक्शन {{math|''U''<sub>''e''</sub>}} कई भौतिक प्रणालियों के विश्लेषण में उपयोग किया जाने वाला एक अनिवार्य उपकरण है।
उपरोक्त प्रमाण का उपयोग करते हुए, हम जानते हैं {{math|''U''<sub>''e''</sub>}} अच्छी तरह से परिभाषित और भिन्न है, और {{math|1='''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'''}} को अनंत माना जाता है, जिसे सीमित तकनीकों का उपयोग करके Rigour#Mathematical कठोरता बनाया जा सकता है। यह फ़ंक्शन {{math|''U''<sub>''e''</sub>}} अनेक  भौतिक प्रणालियों के विश्लेषण में उपयोग किया जाने वाला एक अनिवार्य उपकरण है।


==सामान्यीकरण==
==सामान्यीकरण==
{{main|Stokes' theorem|Closed and exact differential forms}}
{{main|Stokes' theorem|Closed and exact differential forms}}


वेक्टर कैलकुलस के कई महत्वपूर्ण प्रमेय डिफरेंशियल फॉर्म#इंटीग्रेशन ऑन [[विभेदक अनेक गुना]] के बारे में बयानों को सुरुचिपूर्ण ढंग से सामान्यीकृत करते हैं। [[विभेदक रूप]]ों और बाह्य व्युत्पन्नों की भाषा में, ग्रेडिएंट प्रमेय यह बताता है
संवाहक  गणना के अनेक  महत्वपूर्ण प्रमेय डिफरेंशियल फॉर्म#इंटीग्रेशन ऑन [[विभेदक अनेक गुना]] के बारे में बयानों को सुरुचिपूर्ण ढंग से सामान्यीकृत करते हैं। [[विभेदक रूप]]ों और बाह्य व्युत्पन्नों की भाषा में, ग्रेडिएंट प्रमेय यह बताता है


<math display="block"> \int_{\partial \gamma} \phi = \int_{\gamma} \mathrm{d}\phi</math>
<math display="block"> \int_{\partial \gamma} \phi = \int_{\gamma} \mathrm{d}\phi</math>
किसी भी विभेदक रूप के लिए|0-रूप, {{mvar|ϕ}}, कुछ भिन्न वक्र पर परिभाषित {{math|''γ'' ⊂ '''R'''<sup>''n''</sup>}} (यहाँ का अभिन्न अंग है {{math|''ϕ''}} की सीमा के पार {{mvar|γ}} का मूल्यांकन समझा जाता है {{math|''ϕ''}} γ के अंतिम बिंदु पर)।
किसी भी विभेदक रूप के लिए|0-रूप, {{mvar|ϕ}}, कुछ भिन्न वक्र पर परिभाषित {{math|''γ'' ⊂ '''R'''<sup>''n''</sup>}} (यहाँ का अभिन्न अंग है {{math|''ϕ''}} की सीमा के पार {{mvar|γ}} का मूल्यांकन समझा जाता है {{math|''ϕ''}} γ के अंतिम बिंदु पर)।


इस कथन और सामान्यीकृत स्टोक्स प्रमेय के बीच हड़ताली समानता पर ध्यान दें। सामान्यीकृत स्टोक्स प्रमेय, जो कहता है कि किसी भी [[कॉम्पैक्ट समर्थन]] अंतर रूप का अभिन्न अंग {{mvar|ω}} कुछ ओरिएंटेशन (वेक्टर स्पेस) की [[सीमा (टोपोलॉजी)]] पर कई गुना {{math|Ω}} इसके बाहरी व्युत्पन्न के अभिन्न अंग के बराबर है {{math|d''ω''}} संपूर्ण के ऊपर {{math|Ω}}, अर्थात।,
इस कथन और सामान्यीकृत स्टोक्स प्रमेय के बीच हड़ताली समानता पर ध्यान दें। सामान्यीकृत स्टोक्स प्रमेय, जो कहता है कि किसी भी [[कॉम्पैक्ट समर्थन]] अंतर रूप का अभिन्न अंग {{mvar|ω}} कुछ ओरिएंटेशन (संवाहक  स्पेस) की [[सीमा (टोपोलॉजी)]] पर अनेक  गुना {{math|Ω}} इसके बाहरी व्युत्पन्न के अभिन्न अंग के बराबर है {{math|d''ω''}} संपूर्ण के ऊपर {{math|Ω}}, अर्थात।,


<math display="block">\int_{\partial \Omega}\omega=\int_{\Omega}\mathrm{d}\omega</math>
<math display="block">\int_{\partial \Omega}\omega=\int_{\Omega}\mathrm{d}\omega</math>
यह शक्तिशाली कथन एक-आयामी मैनिफोल्ड्स पर परिभाषित 1-रूपों से लेकर मनमाने आयामों के मैनिफोल्ड्स पर परिभाषित विभेदक रूपों तक ग्रेडिएंट प्रमेय का सामान्यीकरण है।
यह शक्तिशाली कथन एक-आयामी मैनिफोल्ड्स पर परिभाषित 1-रूपों से लेकर मनमाने आयामों के मैनिफोल्ड्स पर परिभाषित विभेदक रूपों तक ग्रेडिएंट प्रमेय का सामान्यीकरण है।


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


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

Revision as of 19:27, 9 July 2023

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

φ : 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 और स्थिति पर स्थित है pi में R3. हम आवेश के एक कण पर किए गए कार्य (भौतिकी) की गणना करना चाहेंगे q क्योंकि यह एक बिंदु से यात्रा करता है a एक स्तर तक b में R3. कूलम्ब के नियम का उपयोग करके, हम आसानी से यह निर्धारित कर सकते हैं कि कण की स्थिति पर कितना बल है r होगा

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

होने देना γR3 − {p1, ..., pn} से एक मनमाना अवकलनीय वक्र बनें a को b. तब कण पर किया गया कार्य है

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

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

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

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

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

Theorem —  If F is a path-independent vector field, then F is the gradient of some scalar-valued function.[3]

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

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

कल्पना करना U एक ओपन सेट है, कनेक्टेड स्पेस#पाथ कनेक्टिविटी|पाथ-कनेक्टेड सबसेट Rn, और F : URn एक सतत फ़ंक्शन और पथ-स्वतंत्र संवाहक क्षेत्र है। कुछ तत्व ठीक करें a का U, और परिभाषित करें f : UR के माध्यम से

यहाँ γ[a, x] में कोई (विभेद्य) वक्र है U की उत्पत्ति a और पर समाप्त हो रहा है x. हम वह जानते हैं f अच्छी तरह से परिभाषित है क्योंकि F पथ-स्वतंत्र है.

होने देना v कोई भी अशून्य सदिश हो Rn. दिशात्मक व्युत्पन्न की परिभाषा के अनुसार,

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


विपरीत सिद्धांत का उदाहरण

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

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

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

सामान्यीकरण

संवाहक गणना के अनेक महत्वपूर्ण प्रमेय डिफरेंशियल फॉर्म#इंटीग्रेशन ऑन विभेदक अनेक गुना के बारे में बयानों को सुरुचिपूर्ण ढंग से सामान्यीकृत करते हैं। विभेदक रूपों और बाह्य व्युत्पन्नों की भाषा में, ग्रेडिएंट प्रमेय यह बताता है

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

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

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

ग्रेडिएंट प्रमेय के विपरीत कथन में अनेक गुना अंतर रूपों के संदर्भ में एक शक्तिशाली सामान्यीकरण भी है। विशेष रूप से, मान लीजिए ω एक संविदात्मक स्थान पर परिभाषित एक रूप है, और का अभिन्न अंग है ω किसी भी विवृत मैनिफोल्ड पर शून्य है। ततपश्चात् एक रूप मौजूद है ψ ऐसा है कि ω = 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. 3.0 3.1 "Williamson, Richard and Trotter, Hale. (2004). Multivariable Mathematics, Fourth Edition, p. 410. Pearson Education, Inc."