ग्रेडियेंट प्रमेय
के बारे में लेखों की एक श्रृंखला का हिस्सा |
पथरी |
---|
ग्रेडिएंट प्रमेय, जिसे लाइन इंटीग्रल्स के लिए कैलकुलस के मौलिक प्रमेय के रूप में भी जाना जाता है, कहता है कि रूढ़िवादी वेक्टर क्षेत्र के माध्यम से एक लाइन इंटीग्रल का मूल्यांकन वक्र के अंतिम बिंदुओं पर मूल स्केलर फ़ील्ड का मूल्यांकन करके किया जा सकता है। प्रमेय केवल वास्तविक रेखा के बजाय किसी समतल या स्थान (आम तौर पर एन-आयामी) में किसी भी वक्र के लिए कलन के मौलिक प्रमेय का सामान्यीकरण है।
के लिए φ : 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 पैरामीट्रिज़ेशन (ज्यामिति) γ के लिए t में [a, b] (अर्थात।, r प्रतिनिधित्व करता है γ के एक कार्य के रूप में t), तब
उदाहरण
उदाहरण 1
कल्पना करना γ ⊂ R2 से वामावर्त उन्मुख गोलाकार चाप है (5, 0) को (−4, 3). किसी सदिश क्षेत्र की रेखा इंटीग्रल#लाइन इंटीग्रल का उपयोग करते हुए,
उदाहरण 2
अधिक सारगर्भित उदाहरण के लिए, मान लीजिए γ ⊂ Rn के अंतिमबिंदु हैं p, q, से अभिविन्यास के साथ p को q. के लिए u में Rn, होने देना |u| के यूक्लिडियन मानदंड को निरूपित करें u. अगर {{math|α ≥ 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."