ग्रेडियेंट प्रमेय: Difference between revisions
(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| | {{Calculus|संवाहक }} | ||
ग्रेडिएंट प्रमेय, जिसे [[लाइन इंटीग्रल]] | ग्रेडिएंट प्रमेय, जिसे [[लाइन इंटीग्रल|रेखा संपूर्ण]] के लिए गणना के मौलिक प्रमेय के रूप में भी जाना जाता है, ग्रेडिएंट प्रमेय का कहना है कि [[रूढ़िवादी वेक्टर क्षेत्र|अनुपात संवाहक क्षेत्र]] के माध्यम से एक संपूर्ण रेखा का मूल्यांकन वक्र के अंतिम बिंदुओं पर मूल अदिश क्षेत्र का मूल्यांकन करके किया जा सकता है। प्रमेय मात्र वास्तविक रेखा के बजाय किसी समतल या अंतराल (आम तौर पर ''एन''-आयामी) में किसी भी वक्र के लिए कलन के मौलिक प्रमेय का सामान्यीकरण है। | ||
{{math|''φ'' : ''U'' ⊆ '''R'''<sup>''n''</sup> → '''R'''}} को एक अवकलनीय फलन के रूप में और {{mvar|γ}} को {{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|∇''φ''}} एवं {{math|''φ''}} के ग्रेडिएंट संवाहक क्षेत्र को दिखाता है | |||
ग्रेडिएंट प्रमेय का तात्पर्य है कि ग्रेडिएंट क्षेत्र के माध्यम से रेखा संपूर्ण पथ स्वतंत्र हैं। भौतिकी में यह प्रमेय एक अनुपात बल को परिभाषित करने के तरीकों में से एक है। {{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] पर भिन्न होता है: | |||
<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}} के लिए यहां [[डॉट उत्पाद|सामान्य आंतरिक परिणाम]] को दर्शाया गया है। | |||
अब मान लीजिए | अब मान लीजिए कि {{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>{{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 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 | |||
<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|''γ'' ⊂ '''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}} है तो अधिकांश मामलों में यह समानता अभी भी स्थिर रहेगी, लेकिन यदि γ मूल बिंदु से होकर गुजरता है या परिवृत्त करता है तो सावधानी बरतनी चाहिए, क्योंकि एकीकृत संवाहक क्षेत्र {{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|{{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 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'''}} कुछ अदिश-मूल्यवान फ़ंक्शन का ग्रेडिएंट है। | ||
=== व्युत्क्रम का प्रमाण === | === व्युत्क्रम का प्रमाण === | ||
कल्पना करना {{mvar|U}} एक ओपन सेट है, कनेक्टेड स्पेस#पाथ कनेक्टिविटी|पाथ-कनेक्टेड सबसेट {{math|'''R'''<sup>''n''</sup>}}, और {{math|'''F''' : ''U'' → '''R'''<sup>''n''</sup>}} एक सतत फ़ंक्शन और पथ-स्वतंत्र | कल्पना करना {{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>अंतिम सीमा के भीतर अभिन्न की गणना करने के लिए, हमें | \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>}} | इसलिए, उपरोक्त प्रमेय का तात्पर्य है कि विद्युत [[बल क्षेत्र (भौतिकी)]] {{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|''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|ω}} कुछ ओरिएंटेशन ( | इस कथन और सामान्यीकृत स्टोक्स प्रमेय के बीच हड़ताली समानता पर ध्यान दें। सामान्यीकृत स्टोक्स प्रमेय, जो कहता है कि किसी भी [[कॉम्पैक्ट समर्थन]] अंतर रूप का अभिन्न अंग {{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''ψ''}}. इस प्रकार, एक अनुबंध योग्य कार्यक्षेत्र पर, प्रत्येक विवृत और सटीक अंतर रूप फॉर्म विवृत और सटीक अंतर रूप होता है। इस परिणाम को विवृत और सटीक अंतर रूपों#पोंकारे लेम्मा|पोंकारे लेम्मा के माध्यम से संक्षेपित किया गया है। | ||
==यह भी देखें== | ==यह भी देखें== |
Revision as of 19:27, 9 July 2023
के बारे में लेखों की एक श्रृंखला का हिस्सा |
पथरी |
---|
ग्रेडिएंट प्रमेय, जिसे रेखा संपूर्ण के लिए गणना के मौलिक प्रमेय के रूप में भी जाना जाता है, ग्रेडिएंट प्रमेय का कहना है कि अनुपात संवाहक क्षेत्र के माध्यम से एक संपूर्ण रेखा का मूल्यांकन वक्र के अंतिम बिंदुओं पर मूल अदिश क्षेत्र का मूल्यांकन करके किया जा सकता है। प्रमेय मात्र वास्तविक रेखा के बजाय किसी समतल या अंतराल (आम तौर पर एन-आयामी) में किसी भी वक्र के लिए कलन के मौलिक प्रमेय का सामान्यीकरण है।
φ : U ⊆ Rn → R को एक अवकलनीय फलन के रूप में और γ को U में किसी सतत वक्र के रूप में, जो एक बिंदु p से शुरू होता है और एक बिंदु q पर समाप्त होता है, तब
ग्रेडिएंट प्रमेय का तात्पर्य है कि ग्रेडिएंट क्षेत्र के माध्यम से रेखा संपूर्ण पथ स्वतंत्र हैं। भौतिकी में यह प्रमेय एक अनुपात बल को परिभाषित करने के तरीकों में से एक है। φ को संभावित के रूप में रखने से ∇φ एक अनुपात क्षेत्र है। अनुपात बलों के माध्यम से किया गया कार्य (भौतिकी) उद्देश्य के माध्यम से अपनाए गए पथ पर निर्भर नहीं करता है, बल्कि केवल अंतिम बिंदुओं पर निर्भर करता है, जैसा कि उपरोक्त समीकरण से पता चलता है।
ग्रेडिएंट प्रमेय का एक दिलचस्प विपरीत भी है: किसी भी पथ-स्वतंत्र संवाहक क्षेत्र को अदिश क्षेत्र के ग्रेडिएंट के रूप में व्यक्त किया जा सकता है। ग्रेडिएंट प्रमेय की तरह ही इस परिवर्तन के स्पष्ट और व्यावहारिक गणित दोनों में अनेक आश्चर्यजनक परिणाम और अनुप्रयोग हैं।
प्रमाण
यदि φ पूर्णतया संवृत उपसमुच्चय U ⊆ Rn से R तक एक भिन्न कार्य है, और r अल्प विवृत अंतराल (गणित) [a, b] से U तक एक भिन्न कार्य है (ध्यान दें कि r अंतराल समापन बिंदु a और b पर भिन्न है। ऐसा करने के लिए, r को एक ऐसे अंतराल पर परिभाषित किया जाता है, जो इससे बृहत्तर होता है और इसमें [a, b] शामिल होता है।), ततपश्चात् बहुभिन्न रूपी श्रृंखला नियम के माध्यम से समग्र फ़ंक्शन φ ∘ r [a, b] पर भिन्न होता है:
अब मान लीजिए कि φ के कार्यक्षेत्र U में अंतिम बिंदु p और q के साथ अवकलनीय वक्र γ शामिल है। (यह p को q की दिशा में उन्मुख है)। यदि r [a, b] में t के लिए γ को प्राचलीकरण (ज्यामिति) करता है (यानी, r, t के एक फलन के रूप में γ को दर्शाता है), तब
यद्यपि ग्रेडिएंट प्रमेय (जिसे रेखा संपूर्ण के लिए गणना का मौलिक प्रमेय भी कहा जाता है) को अब तक एक विभेदक (इसलिए सहज दिखता है) वक्र के लिए सिद्ध किया गया है, प्रमेय एक खंड अनुसार सहज वक्र के लिए भी सिद्ध किया गया है क्योंकि यह वक्र जुड़कर बना है एकाधिक अवकलनीय वक्र इसलिए इस वक्र का प्रमाण प्रति अवकलनीय वक्र घटक के प्रमाण के माध्यम से बनाया जाता है।[2]
उदाहरण
उदाहरण 1
मान लीजिए γ ⊂ R2 (5, 0) से (−4, 3) तक वामावर्त दिशा में उन्मुख गोलाकार चाप है। एक रेखा समाकलन की परिभाषा का उपयोग करते हुए
उदाहरण 2
अधिक सारगर्भित उदाहरण के लिए, मान लीजिए कि γ ⊂ Rn में अंतिम बिंदु p, q, है, जिसका अभिविन्यास p को q की ओर है। Rn में आपके लिए, |u| u के यूक्लिडियन मानदंड को निरूपित करें। यदि α ≥ 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 होगा
होने देना γ ⊂ R3 − {p1, ..., pn} से एक मनमाना अवकलनीय वक्र बनें a को b. तब कण पर किया गया कार्य है
ग्रेडिएंट प्रमेय का व्युत्क्रम
ग्रेडिएंट प्रमेय बताता है कि यदि संवाहक क्षेत्र 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 : U → Rn एक सतत फ़ंक्शन और पथ-स्वतंत्र संवाहक क्षेत्र है। कुछ तत्व ठीक करें a का U, और परिभाषित करें f : U → R के माध्यम से
होने देना v कोई भी अशून्य सदिश हो Rn. दिशात्मक व्युत्पन्न की परिभाषा के अनुसार,
विपरीत सिद्धांत का उदाहरण
इस विपरीत सिद्धांत की शक्ति को स्पष्ट करने के लिए, हम एक उदाहरण देते हैं जिसके महत्वपूर्ण भौतिकी परिणाम हैं। शास्त्रीय विद्युत चुंबकत्व में, विद्युत बल एक पथ-स्वतंत्र बल है; यानी, एक कण पर किया गया कार्य (भौतिकी) जो विद्युत क्षेत्र के भीतर अपनी मूल स्थिति में लौट आया है, शून्य है (यह मानते हुए कि कोई बदलता चुंबकीय क्षेत्र मौजूद नहीं है)।
इसलिए, उपरोक्त प्रमेय का तात्पर्य है कि विद्युत बल क्षेत्र (भौतिकी) Fe : S → R3 अनुपात है (यहाँ)। S कुछ ओपन सेट है, कनेक्टेड स्पेस#पाथ कनेक्टिविटी|पाथ-कनेक्टेड सबसेट R3 जिसमें विद्युत आवेश वितरण शामिल है)। उपरोक्त प्रमाण के विचारों का अनुसरण करते हुए, हम कुछ संदर्भ बिंदु निर्धारित कर सकते हैं a में S, और एक फ़ंक्शन परिभाषित करें Ue: S → R के माध्यम से
सामान्यीकरण
संवाहक गणना के अनेक महत्वपूर्ण प्रमेय डिफरेंशियल फॉर्म#इंटीग्रेशन ऑन विभेदक अनेक गुना के बारे में बयानों को सुरुचिपूर्ण ढंग से सामान्यीकृत करते हैं। विभेदक रूपों और बाह्य व्युत्पन्नों की भाषा में, ग्रेडिएंट प्रमेय यह बताता है
इस कथन और सामान्यीकृत स्टोक्स प्रमेय के बीच हड़ताली समानता पर ध्यान दें। सामान्यीकृत स्टोक्स प्रमेय, जो कहता है कि किसी भी कॉम्पैक्ट समर्थन अंतर रूप का अभिन्न अंग ω कुछ ओरिएंटेशन (संवाहक स्पेस) की सीमा (टोपोलॉजी) पर अनेक गुना Ω इसके बाहरी व्युत्पन्न के अभिन्न अंग के बराबर है dω संपूर्ण के ऊपर Ω, अर्थात।,
ग्रेडिएंट प्रमेय के विपरीत कथन में अनेक गुना अंतर रूपों के संदर्भ में एक शक्तिशाली सामान्यीकरण भी है। विशेष रूप से, मान लीजिए ω एक संविदात्मक स्थान पर परिभाषित एक रूप है, और का अभिन्न अंग है ω किसी भी विवृत मैनिफोल्ड पर शून्य है। ततपश्चात् एक रूप मौजूद है ψ ऐसा है कि ω = dψ. इस प्रकार, एक अनुबंध योग्य कार्यक्षेत्र पर, प्रत्येक विवृत और सटीक अंतर रूप फॉर्म विवृत और सटीक अंतर रूप होता है। इस परिणाम को विवृत और सटीक अंतर रूपों#पोंकारे लेम्मा|पोंकारे लेम्मा के माध्यम से संक्षेपित किया गया है।
यह भी देखें
- राज्य समारोह
- अदिश विभव
- जॉर्डन वक्र प्रमेय
- किसी फ़ंक्शन का विभेदक
- शास्त्रीय यांत्रिकी
- Line integral § Path independence
- Conservative vector field § Path independence
संदर्भ
- ↑ Williamson, Richard and Trotter, Hale. (2004). Multivariable Mathematics, Fourth Edition, p. 374. Pearson Education, Inc.
- ↑ 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.0 3.1 "Williamson, Richard and Trotter, Hale. (2004). Multivariable Mathematics, Fourth Edition, p. 410. Pearson Education, Inc."