व्युत्पन्न के सामान्यीकरण: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 6: Line 6:
== फ्रेचेट अवकलज ==
== फ्रेचेट अवकलज ==


फ्रेचेट अवकलज सामान्य नॉर्मर्ड वेक्टर स्पेस <math>V, W</math> के लिए अवकलज को परिभाषित करता है। संक्षेप में, फलन <math>f : U \to W</math>, <math>U</math> का एक खुला उपसमुच्चय <math>V</math>, फ्रेचेट अवकलनीय एट कहा जाता है <math>x \in U</math> यदि कोई परिबद्ध रेखीय संचालिका मौजूद है <math>A:V\to W</math> ऐसा है कि
फ्रेचेट अवकलज सामान्य नॉर्मर्ड वेक्टर स्पेस <math>V, W</math> के लिए अवकलज को परिभाषित करता है। संक्षेप में, फलन <math>f : U \to W</math>, <math>U</math>, <math>V</math> का ओपन सबसेट है, जिसे <math>x \in U</math> पर फ्रेचेट अवकलनीय कहा जाता है यदि कोई परिबद्ध रैखिक ऑपरेटर <math>A:V\to W</math> उपस्थित है, जैसे कि
<math display=block>\lim_{\|h\| \to 0} \frac{\| f(x + h) - f(x) - Ah\|_W}{\|h\|_V} = 0.</math>
<math display=block>\lim_{\|h\| \to 0} \frac{\| f(x + h) - f(x) - Ah\|_W}{\|h\|_V} = 0.</math>
कार्यों को कुछ खुले [[पड़ोस (गणित)]] में भिन्न होने के रूप में परिभाषित किया गया है <math>x</math>, अलग-अलग बिंदुओं के बजाय, ऐसा नहीं करने से कई [[पैथोलॉजिकल (गणित)]] प्रति-उदाहरण होते हैं।
फलन को <math>x</math> के ओपन [[पड़ोस (गणित)|नेबरहुड (गणित)]] में भिन्न-भिन्न बिंदुओं के अतिरिक्त, अवकलनीय रूप में परिभाषित किया गया है, क्योंकि ऐसा नहीं करने से कई [[पैथोलॉजिकल (गणित)]] प्रति-उदाहरण होते हैं।


फ्रेचेट व्युत्पन्न प्राथमिक एक-चर कलन में पाए जाने वाले व्युत्पन्न के सूत्र के समान है, <math display=block>\lim_{h \to 0}\frac{f(x+h) - f(x)}{h} = A,</math> और केवल A को बाएँ हाथ की ओर ले जाता है। हालांकि, फ्रेचेट डेरिवेटिव ए फ़ंक्शन को दर्शाता है <math>t \mapsto f'(x) \cdot t</math>.
फ्रेचेट अवकलज प्राथमिक एक-चर कलन में पाए जाने वाले अवकलज के सूत्र के समान है, <math display=block>\lim_{h \to 0}\frac{f(x+h) - f(x)}{h} = A,</math> और केवल A को बाएँ हाथ की ओर ले जाता है। चूँकि, फ्रेचेट अवकलज ''A'' फलन <math>t \mapsto f'(x) \cdot t</math> को दर्शाता है।


[[बहुभिन्नरूपी कैलकुलस]] में, सदिश मान फलन R द्वारा परिभाषित अवकल समीकरणों के संदर्भ में<sup>n</sup> से 'आर'<sup>m</sup>, फ्रेचेट डेरिवेटिव A, 'R' पर एक रेखीय संचालिका है जिसे अपने ऊपर एक सदिश स्थान माना जाता है, और यह किसी फलन के सर्वोत्तम रैखिक सन्निकटन से मेल खाता है। यदि ऐसा कोई ऑपरेटर मौजूद है, तो यह अद्वितीय है, और एन [[मैट्रिक्स (गणित)]] द्वारा एम द्वारा प्रतिनिधित्व किया जा सकता है जिसे जैकोबियन मैट्रिक्स और निर्धारक जे के रूप में जाना जाता है<sub>''x''</sub>(ƒ) मैपिंग का ƒ बिंदु x पर। इस मैट्रिक्स की प्रत्येक प्रविष्टि एक [[आंशिक व्युत्पन्न]] का प्रतिनिधित्व करती है, एक डोमेन समन्वय में परिवर्तन के संबंध में एक श्रेणी समन्वय के परिवर्तन की दर निर्दिष्ट करती है। बेशक, याकूब
[[बहुभिन्नरूपी कैलकुलस|बहुभिन्नरूपी कलन]] में, वेक्टर वैल्यूड फंक्शन R<sup>n</sup> से R<sup>m</sup> तक परिभाषित अवकल समीकरणों के संदर्भ में, फ्रेचेट अवकलज A, 'R' पर रैखिक ऑपरेटर है जिसे स्वयं पर सदिश समष्टि माना जाता है, और फलन के सर्वोत्तम रैखिक सन्निकटन से मेल खाता है। यदि ऐसा कोई ऑपरेटर उपस्थित है, तो यह अद्वितीय है, और एन [[मैट्रिक्स (गणित)]] द्वारा एम द्वारा प्रतिनिधित्व किया जा सकता है जिसे जैकोबियन मैट्रिक्स और निर्धारक जे के रूप में जाना जाता है<sub>''x''</sub>(ƒ) मैपिंग का ƒ बिंदु x पर। इस मैट्रिक्स की प्रत्येक प्रविष्टि एक [[आंशिक व्युत्पन्न]] का प्रतिनिधित्व करती है, एक डोमेन समन्वय में परिवर्तन के संबंध में एक श्रेणी समन्वय के परिवर्तन की दर निर्दिष्ट करती है। बेशक, याकूब
संरचना जी का मैट्रिक्स<sub>°</sub>एफ संबंधित जैकबियन मैट्रिसेस का एक उत्पाद है:
संरचना जी का मैट्रिक्स<sub>°</sub>एफ संबंधित जैकबियन मैट्रिसेस का एक उत्पाद है:
जे<sub>''x''</sub>(जी<sub>°</sub>च) = जे<sub>ƒ(''x'')</sub>(जी) जे<sub>''x''</sub>(ƒ)। यह [[श्रृंखला नियम]] का एक उच्च-आयामी कथन है।
जे<sub>''x''</sub>(जी<sub>°</sub>च) = जे<sub>ƒ(''x'')</sub>(जी) जे<sub>''x''</sub>(ƒ)। यह [[श्रृंखला नियम]] का एक उच्च-आयामी कथन है।
Line 111: Line 111:
== अन्य सामान्यीकरण ==
== अन्य सामान्यीकरण ==


[[कार्यात्मक विश्लेषण]] में, [[कार्यात्मक व्युत्पन्न]] कार्यों के स्थान पर कार्यात्मक के एक फलन के संबंध में व्युत्पन्न को परिभाषित करता है। यह एक अनंत [[आयाम]]ी सदिश स्थान के लिए दिशात्मक व्युत्पन्न का विस्तार है। विविधताओं की कलन में परिवर्तनशील व्युत्पन्न एक महत्वपूर्ण मामला है।
[[कार्यात्मक विश्लेषण]] में, [[कार्यात्मक व्युत्पन्न]] कार्यों के स्थान पर कार्यात्मक के एक फलन के संबंध में व्युत्पन्न को परिभाषित करता है। यह एक अनंत [[आयाम]]ी सदिश समष्टि के लिए दिशात्मक व्युत्पन्न का विस्तार है। विविधताओं की कलन में परिवर्तनशील व्युत्पन्न एक महत्वपूर्ण मामला है।


[[ उप व्युत्पन्न ]] और [[ उपश्रेणी ]] उत्तल विश्लेषण में उपयोग किए जाने वाले उत्तल कार्यों के व्युत्पन्न के सामान्यीकरण हैं।
[[ उप व्युत्पन्न ]] और [[ उपश्रेणी ]] उत्तल विश्लेषण में उपयोग किए जाने वाले उत्तल कार्यों के व्युत्पन्न के सामान्यीकरण हैं।

Revision as of 09:10, 1 May 2023

गणित में, अवकलज अवकलन कलन का मूलभूत निर्माण है और गणितीय विश्लेषण, कॉम्बिनेटरिक्स, बीजगणित, ज्यामिति, आदि के क्षेत्रों में विभिन्न संभावित सामान्यीकरणों को स्वीकार करता है।

फ्रेचेट अवकलज

फ्रेचेट अवकलज सामान्य नॉर्मर्ड वेक्टर स्पेस के लिए अवकलज को परिभाषित करता है। संक्षेप में, फलन , , का ओपन सबसेट है, जिसे पर फ्रेचेट अवकलनीय कहा जाता है यदि कोई परिबद्ध रैखिक ऑपरेटर उपस्थित है, जैसे कि

फलन को के ओपन नेबरहुड (गणित) में भिन्न-भिन्न बिंदुओं के अतिरिक्त, अवकलनीय रूप में परिभाषित किया गया है, क्योंकि ऐसा नहीं करने से कई पैथोलॉजिकल (गणित) प्रति-उदाहरण होते हैं।

फ्रेचेट अवकलज प्राथमिक एक-चर कलन में पाए जाने वाले अवकलज के सूत्र के समान है,

और केवल A को बाएँ हाथ की ओर ले जाता है। चूँकि, फ्रेचेट अवकलज A फलन को दर्शाता है।

बहुभिन्नरूपी कलन में, वेक्टर वैल्यूड फंक्शन Rn से Rm तक परिभाषित अवकल समीकरणों के संदर्भ में, फ्रेचेट अवकलज A, 'R' पर रैखिक ऑपरेटर है जिसे स्वयं पर सदिश समष्टि माना जाता है, और फलन के सर्वोत्तम रैखिक सन्निकटन से मेल खाता है। यदि ऐसा कोई ऑपरेटर उपस्थित है, तो यह अद्वितीय है, और एन मैट्रिक्स (गणित) द्वारा एम द्वारा प्रतिनिधित्व किया जा सकता है जिसे जैकोबियन मैट्रिक्स और निर्धारक जे के रूप में जाना जाता हैx(ƒ) मैपिंग का ƒ बिंदु x पर। इस मैट्रिक्स की प्रत्येक प्रविष्टि एक आंशिक व्युत्पन्न का प्रतिनिधित्व करती है, एक डोमेन समन्वय में परिवर्तन के संबंध में एक श्रेणी समन्वय के परिवर्तन की दर निर्दिष्ट करती है। बेशक, याकूब संरचना जी का मैट्रिक्स°एफ संबंधित जैकबियन मैट्रिसेस का एक उत्पाद है: जेx(जी°च) = जेƒ(x)(जी) जेx(ƒ)। यह श्रृंखला नियम का एक उच्च-आयामी कथन है।

आर से वास्तविक मूल्यवान कार्यों के लिएn से 'R' (अदिश क्षेत्र), फ़्रेचेट डेरिवेटिव एक वेक्टर क्षेत्र से मेल खाता है जिसे टोटल डेरिवेटिव कहा जाता है। इसे ढाल के रूप में व्याख्या किया जा सकता है लेकिन बाहरी व्युत्पन्न का उपयोग करना अधिक स्वाभाविक है।

संवहन व्युत्पन्न एक सदिश क्षेत्र के साथ अंतरिक्ष के माध्यम से समय निर्भरता और गति के कारण परिवर्तनों को ध्यान में रखता है, और कुल व्युत्पन्न का एक विशेष मामला है।

वेक्टर-मूल्यवान कार्यों के लिए 'आर' से 'आर' तकn (यानी, पैरामीट्रिक वक्र), फ्रेचेट व्युत्पन्न प्रत्येक घटक के व्युत्पन्न को अलग से लेने के अनुरूप है। परिणामी व्युत्पन्न को वेक्टर में मैप किया जा सकता है। यह उपयोगी है, उदाहरण के लिए, यदि सदिश-मूल्यवान कार्य समय के माध्यम से एक कण की स्थिति सदिश है, तो व्युत्पन्न समय के माध्यम से कण का वेग सदिश है।

जटिल विश्लेषण में, अध्ययन की केंद्रीय वस्तुएं होलोमॉर्फिक फ़ंक्शन हैं, जो जटिल संख्याओं पर जटिल-मूल्यवान कार्य हैं जहां फ्रेचेट व्युत्पन्न मौजूद है।

ज्यामितीय कैलकुलस मेंज्यामितीय गणना # डिफरेंशिएशन लीबनिज़ (उत्पाद) नियम के एक कमजोर रूप को संतुष्ट करता है। यह ज्यामितीय बीजगणित की वस्तुओं के लिए फ्रेचेट व्युत्पन्न का विशेषज्ञ है। ज्यामितीय कलन एक शक्तिशाली औपचारिकता है जिसे विभेदक रूपों और विभेदक ज्यामिति के समान ढांचे को शामिल करने के लिए दिखाया गया है।[1]


बाहरी व्युत्पन्न और झूठ व्युत्पन्न

एक चिकने मैनिफोल्ड पर विभेदक रूपों के बाहरी बीजगणित पर, बाहरी व्युत्पन्न अद्वितीय रेखीय नक्शा है जो वर्गीकृत लीबनिज नियम और वर्गों को शून्य से संतुष्ट करता है। यह बाहरी बीजगणित पर ग्रेड 1 की व्युत्पत्ति है। आर में3, ग्रेडिएंट, कर्ल (गणित), और विचलन बाहरी डेरिवेटिव के विशेष मामले हैं। ढाल की एक सहज व्याख्या यह है कि यह इंगित करता है : दूसरे शब्दों में, यह फ़ंक्शन की सबसे तेज़ वृद्धि की दिशा में इंगित करता है। इसका उपयोग स्केलर (गणित) कार्यों या सामान्य दिशाओं के दिशात्मक डेरिवेटिव की गणना करने के लिए किया जा सकता है। डायवर्जेंस इस बात का माप देता है कि किसी बिंदु के पास कितना स्रोत या सिंक है। इसका उपयोग विचलन प्रमेय द्वारा फ्लक्स की गणना के लिए किया जा सकता है। कर्ल मापता है कि एक बिंदु के पास वेक्टर फ़ील्ड का कितना घुमाव है।

झूठ व्युत्पन्न एक वेक्टर या टेंसर फ़ील्ड के दूसरे वेक्टर फ़ील्ड के प्रवाह के साथ परिवर्तन की दर है। सदिश क्षेत्रों पर, यह एक लेट ब्रैकेट का एक उदाहरण है (वेक्टर फ़ील्ड कई गुना के डिफोमोर्फिज्म समूह के लाई बीजगणित का निर्माण करते हैं)। यह बीजगणित पर ग्रेड 0 व्युत्पत्ति है।

एक साथ आंतरिक उत्पाद के साथ (एक वेक्टर क्षेत्र के साथ संकुचन द्वारा परिभाषित बाहरी बीजगणित पर एक डिग्री -1 व्युत्पत्ति), बाहरी व्युत्पन्न और लाई व्युत्पन्न एक लव सुपरएलजेब्रा बनाते हैं।

विभेदक टोपोलॉजी

विभेदक टोपोलॉजी में, एक सदिश क्षेत्र को कई गुना पर चिकनी कार्यों की अंगूठी पर व्युत्पत्ति के रूप में परिभाषित किया जा सकता है, और एक स्पर्शरेखा सदिश को एक बिंदु पर व्युत्पत्ति के रूप में परिभाषित किया जा सकता है। यह एक स्केलर फ़ंक्शन के एक दिशात्मक व्युत्पन्न की धारणा को सामान्य कई गुना करने की अनुमति देता है। कई गुना के लिए जो आर के सबसेट हैंn, यह स्पर्शरेखा सदिश दिशात्मक अवकलज से सहमत होगा।

मैनिफोल्ड्स के बीच एक मानचित्र का पुशफॉरवर्ड (अंतर) उन मानचित्रों के स्पर्शरेखा स्थानों के बीच प्रेरित मानचित्र है। यह जैकबियन मैट्रिक्स को सार करता है।

सहपरिवर्ती व्युत्पन्न

अंतर ज्यामिति में, सहसंयोजक व्युत्पन्न वक्र के साथ वेक्टर क्षेत्रों के दिशात्मक डेरिवेटिव लेने के लिए एक विकल्प बनाता है। यह वेक्टर बंडलों या प्रमुख बंडलों के वर्गों के लिए स्केलर कार्यों के दिशात्मक व्युत्पन्न का विस्तार करता है। रिमेंनियन ज्यामिति में, एक मीट्रिक का अस्तित्व लेवी-Civita कनेक्शन के रूप में जाना जाने वाला एक अद्वितीय पसंदीदा मरोड़ टेंसर-मुक्त सहसंयोजक व्युत्पन्न चुनता है। भौतिकी के लिए उन्मुख उपचार के लिए गेज सहपरिवर्ती व्युत्पन्न भी देखें।

बाहरी सहसंयोजक व्युत्पन्न बाहरी व्युत्पन्न को सदिश मूल्यवान रूपों तक विस्तारित करता है।

कमजोर डेरिवेटिव

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

यदि ऐसा कोई कार्य मौजूद है, तो , जो लगभग हर जगह अद्वितीय है। यह परिभाषा कार्यों के शास्त्रीय व्युत्पन्न के साथ मेल खाती है , और वितरण (गणित) नामक सामान्यीकृत कार्यों के एक प्रकार के लिए बढ़ाया जा सकता है, परीक्षण कार्यों की दोहरी जगह। आंशिक अंतर समीकरणों के अध्ययन में और कार्यात्मक विश्लेषण के कुछ हिस्सों में कमजोर डेरिवेटिव विशेष रूप से उपयोगी होते हैं।

उच्च क्रम और आंशिक डेरिवेटिव

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

किसी भी प्राकृतिक संख्या n के n-वें डेरिवेटिव के अलावा, भिन्नात्मक या ऋणात्मक आदेशों के डेरिवेटिव को परिभाषित करने के विभिन्न तरीके हैं, जिनका अध्ययन भिन्नात्मक कलन में किया जाता है। -1 ऑर्डर डेरिवेटिव इंटीग्रल से मेल खाता है, जहां शब्द डिफरेंट इंटीग्रल है।

क्वाटरनियोनिक डेरिवेटिव

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

और एक सही व्युत्पन्न

इन सीमाओं का अस्तित्व बहुत ही प्रतिबंधात्मक स्थिति है। उदाहरण के लिए, यदि एक खुले जुड़े सेट पर हर बिंदु पर बाएं-डेरिवेटिव हैं , तब के लिए .

अंतर ऑपरेटर, क्यू-एनालॉग्स और टाइम स्केल

  • किसी फ़ंक्शन का क्यू-व्युत्पन्न सूत्र द्वारा परिभाषित किया गया है
    एक्स नॉनज़रो के लिए, यदि एफ एक्स का एक अलग-अलग कार्य है तो सीमा में q → 1 हम सामान्य व्युत्पन्न प्राप्त करते हैं, इस प्रकार क्यू-व्युत्पन्न को इसके क्यू-विरूपण के रूप में देखा जा सकता है। द्विपद सूत्र और टेलर विस्तार जैसे साधारण अवकल कलन के परिणामों के एक बड़े निकाय में प्राकृतिक क्यू-एनालॉग हैं जो 19वीं शताब्दी में खोजे गए थे, लेकिन 20वीं शताब्दी के एक बड़े हिस्से के लिए विशेष के सिद्धांत के बाहर अपेक्षाकृत अस्पष्ट बने रहे। कार्य करता है। कॉम्बिनेटरिक्स की प्रगति और क्वांटम समूहों की खोज ने स्थिति को नाटकीय रूप से बदल दिया है, और क्यू-एनालॉग्स की लोकप्रियता बढ़ रही है।
  • अंतर समीकरणों का अंतर ऑपरेटर मानक व्युत्पन्न का एक और असतत एनालॉग है।
  • क्यू-व्युत्पन्न, अंतर ऑपरेटर और मानक व्युत्पन्न सभी को अलग-अलग समय के कैलकुस पर एक ही चीज़ के रूप में देखा जा सकता है। उदाहरण के लिए, लेना , शायद हम
    क्यू-व्युत्पन्न वोल्फगैंग हैन अंतर का एक विशेष मामला है,[2]
    हैन अंतर न केवल क्यू-व्युत्पन्न का सामान्यीकरण है बल्कि आगे के अंतर का विस्तार भी है।
  • यह भी ध्यान दें कि q-व्युत्पन्न और कुछ नहीं बल्कि परिचित व्युत्पन्न का एक विशेष मामला है। लेना . तो हमारे पास हैं,


बीजगणित में डेरिवेटिव

बीजगणित में, व्युत्पत्ति के सामान्यीकरण को उत्पाद नियम को बीजगणितीय संरचना में लागू करके प्राप्त किया जा सकता है, जैसे कि रिंग (गणित) या लाइ बीजगणित।

व्युत्पत्ति

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

उदाहरण के लिए, क्रमविनिमेय वलय R पर एक बहुपद के अवकल बीजगणित को निम्न द्वारा परिभाषित किया जाता है

मानचित्रण फिर बहुपद वलय R[X] पर एक व्युत्पत्ति है। इस परिभाषा को तर्कसंगत कार्यों के लिए भी बढ़ाया जा सकता है।

व्युत्पत्ति की धारणा गैर-अनुक्रमिक के साथ-साथ क्रमविनिमेय वलयों पर भी लागू होती है, और यहां तक ​​कि गैर-सहयोगी बीजगणितीय संरचनाओं पर भी लागू होती है, जैसे ले बीजगणित।

एक प्रकार का व्युत्पन्न

प्रकार सिद्धांत में, कई अमूर्त डेटा प्रकारों को एक रूपांतरण द्वारा उत्पन्न सार्वभौमिक बीजगणित के रूप में वर्णित किया जा सकता है जो प्रकार के आधार पर संरचनाओं को वापस प्रकार में मैप करता है। उदाहरण के लिए, टाइप ए के मान वाले बाइनरी ट्री के टाइप टी को 1+A×T परिवर्तन द्वारा उत्पन्न बीजगणित के रूप में दर्शाया जा सकता है।2→टी. 1 एक खाली पेड़ के निर्माण का प्रतिनिधित्व करता है, और दूसरा शब्द एक पेड़ के निर्माण को एक मूल्य और दो उपप्रकारों से दर्शाता है। + इंगित करता है कि एक पेड़ का निर्माण किसी भी तरह से किया जा सकता है।

इस तरह के एक प्रकार का व्युत्पन्न वह प्रकार है जो किसी विशेष संरचना के संदर्भ में उसके अगले बाहरी युक्त संरचना के संबंध में वर्णन करता है। दूसरा तरीका रखो, यह दोनों के बीच अंतर का प्रतिनिधित्व करने वाला प्रकार है। पेड़ के उदाहरण में, व्युत्पन्न एक प्रकार है जो आवश्यक जानकारी का वर्णन करता है, एक विशेष सबट्री को उसके मूल पेड़ का निर्माण करने के लिए। यह जानकारी एक टपल है जिसमें बाइनरी इंडिकेटर होता है कि बच्चा बाईं ओर है या दाईं ओर, माता-पिता का मान और सिबलिंग सबट्री। इस प्रकार को 2×A×T के रूप में दर्शाया जा सकता है, जो पेड़ के प्रकार को उत्पन्न करने वाले परिवर्तन के व्युत्पन्न की तरह दिखता है।

एक प्रकार के व्युत्पन्न की इस अवधारणा में व्यावहारिक अनुप्रयोग हैं, जैसे कार्यात्मक प्रोग्रामिंग भाषाओं में उपयोग की जाने वाली ज़िपर (डेटा संरचना) तकनीक।

विभेदक ऑपरेटर

एक अवकल संकारक एक बीजगणितीय व्यंजक में संभवतः विभिन्न क्रमों के कई व्युत्पन्नों को जोड़ता है। यह विशेष रूप से स्थिर गुणांक वाले साधारण रैखिक अंतर समीकरणों पर विचार करने में उपयोगी है। उदाहरण के लिए, यदि f(x) एक चर का दो बार अवकलनीय फलन है, तो अवकल समीकरण प्रपत्र में पुनः लिखा जा सकता है , कहाँ

एक्स के कार्यों पर अभिनय करने वाला दूसरा क्रम रैखिक निरंतर गुणांक अंतर ऑपरेटर है। यहाँ मुख्य विचार यह है कि हम एक ही बार में शून्य, प्रथम और द्वितीय क्रम के डेरिवेटिव के एक विशेष रैखिक संयोजन पर विचार करते हैं। यह हमें इस विभेदक समीकरण के समाधानों के समुच्चय को इसके दाहिने हाथ की ओर 4x−1 के सामान्यीकृत प्रतिअवकलन के रूप में सोचने की अनुमति देता है, सामान्य समाकल के साथ सादृश्य द्वारा, और औपचारिक रूप से लिखने के लिए

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

इनमें से कुछ ऑपरेटर इतने महत्वपूर्ण हैं कि उनके अपने नाम हैं:

  • आर पर लाप्लास ऑपरेटर या लाप्लासियन3 एक दूसरे क्रम का आंशिक अंतर ऑपरेटर है Δ तीन वेरिएबल्स के स्केलर फ़ंक्शन के ग्रेडियेंट के विचलन द्वारा दिया गया है, या स्पष्ट रूप से
    अनुरूप ऑपरेटरों को किसी भी चर के कार्यों के लिए परिभाषित किया जा सकता है।
  • डी'अलेम्बर्टियन या वेव ऑपरेटर लाप्लासियन के समान है, लेकिन चार चर के कार्यों पर कार्य करता है। इसकी परिभाषा आर के यूक्लिडियन अंतरिक्ष डॉट उत्पाद के बजाय मिन्कोव्स्की अंतरिक्ष के अनिश्चित मीट्रिक टेंसर का उपयोग करती है।3:
  • श्वार्ज़ियन व्युत्पन्न एक गैर-रैखिक अंतर ऑपरेटर है जो वर्णन करता है कि कैसे एक आंशिक-रैखिक मानचित्र द्वारा एक जटिल फ़ंक्शन का अनुमान लगाया जाता है, उसी तरह एक सामान्य व्युत्पन्न वर्णन करता है कि एक रैखिक मानचित्र द्वारा फ़ंक्शन का अनुमान कैसे लगाया जाता है।
  • विर्टिंगर डेरिवेटिव डिफरेंशियल ऑपरेटर्स का एक सेट है जो जटिल कार्यों के लिए एक डिफरेंशियल कैलकुलस के निर्माण की अनुमति देता है जो वास्तविक चर के कार्यों के लिए सामान्य डिफरेंशियल कैलकुलस के समान है।

अन्य सामान्यीकरण

कार्यात्मक विश्लेषण में, कार्यात्मक व्युत्पन्न कार्यों के स्थान पर कार्यात्मक के एक फलन के संबंध में व्युत्पन्न को परिभाषित करता है। यह एक अनंत आयामी सदिश समष्टि के लिए दिशात्मक व्युत्पन्न का विस्तार है। विविधताओं की कलन में परिवर्तनशील व्युत्पन्न एक महत्वपूर्ण मामला है।

उप व्युत्पन्न और उपश्रेणी उत्तल विश्लेषण में उपयोग किए जाने वाले उत्तल कार्यों के व्युत्पन्न के सामान्यीकरण हैं।

कम्यूटेटिव बीजगणित में, काहलर डिफरेंशियल एक क्रमविनिमेय अंगूठी या मॉड्यूल (बीजगणित) के सार्वभौमिक व्युत्पन्न हैं। उनका उपयोग अंतर ज्यामिति से बाहरी व्युत्पन्न के एक एनालॉग को परिभाषित करने के लिए किया जा सकता है जो केवल चिकनी मैनिफोल्ड्स के बजाय मनमाना बीजगणितीय किस्मों पर लागू होता है।

पी-एडिक विश्लेषण में, डेरिवेटिव की सामान्य परिभाषा काफी मजबूत नहीं है, और इसके बजाय सख्ती से भिन्न होने की आवश्यकता होती है।

व्युत्पन्न केक फ्रेचेट डेरिवेटिव को स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस स्थान तक बढ़ाता है। फ़्रेचेट डिफरेंशियलिटी गैटॉक्स डिफरेंशियलिटी की तुलना में एक सख्त स्थिति है, यहां तक ​​कि परिमित आयामों में भी। दो चरम सीमाओं के बीच अर्ध-व्युत्पन्न है।

माप सिद्धांत में, रैडॉन-निकोडीम डेरिवेटिव जेकोबियन मैट्रिक्स और निर्धारक का सामान्यीकरण करता है, जिसका उपयोग वेरिएबल्स को मापने के लिए किया जाता है। यह एक माप μ को दूसरे माप ν (कुछ शर्तों के तहत) के संदर्भ में व्यक्त करता है।

एच-व्युत्पन्न | एच-व्युत्पन्न सार वीनर रिक्त स्थान और मालियाविन कलन के अध्ययन में व्युत्पन्न की धारणा है। इसका उपयोग स्टोकेस्टिक प्रक्रियाओं के अध्ययन में किया जाता है।

लाप्लासियन का उपयोग करने वाले लाप्लासियन और डिफरेंशियल इक्वेशन का फ्रैक्टल्स पर विश्लेषण किया जा सकता है। प्रथम-क्रम व्युत्पन्न या ढाल का कोई पूरी तरह से संतोषजनक अनुरूप नहीं है।[3]

कार्लिट्ज डेरिवेटिव सामान्य भेदभाव के समान एक ऑपरेशन है, लेकिन वास्तविक या जटिल संख्याओं के सामान्य संदर्भ के साथ औपचारिक लॉरेंट श्रृंखला के रूप में सकारात्मक विशेषता_(बीजगणित) के स्थानीय क्षेत्रों में कुछ परिमित क्षेत्र एफ में गुणांक के साथ बदल दिया गया है।q (यह ज्ञात है कि सकारात्मक विशेषता का कोई भी स्थानीय क्षेत्र लॉरेंट श्रृंखला क्षेत्र के लिए आइसोमॉर्फिक है)। घातीय फलन, लघुगणक और अन्य के लिए उपयुक्त रूप से परिभाषित एनालॉग्स के साथ-साथ व्युत्पन्न का उपयोग चिकनाई, विश्लेषण, एकीकरण, टेलर श्रृंखला के साथ-साथ अंतर समीकरणों के सिद्धांत को विकसित करने के लिए किया जा सकता है।[4] मूल व्युत्पत्ति के विस्तार या अमूर्तता की उपरोक्त विभिन्न धारणाओं में से दो या दो से अधिक को जोड़ना संभव हो सकता है। उदाहरण के लिए, फिन्स्लर ज्यामिति में, एक स्थान का अध्ययन करता है जो स्थानीय रूप से बनच रिक्त स्थान की तरह दिखता है। इस प्रकार कोई कार्यात्मक व्युत्पन्न और सहसंयोजक व्युत्पन्न की कुछ विशेषताओं के साथ एक व्युत्पन्न चाहता है।

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

यह भी देखें

टिप्पणियाँ

  1. David Hestenes, Garrett Sobczyk: Clifford Algebra to Geometric Calculus, a Unified Language for mathematics and Physics (Dordrecht/Boston:G.Reidel Publ.Co., 1984, ISBN 90-277-2561-6
  2. Hahn, Wolfgang (1949). "Über Orthogonalpolynome, die q-Differenzengleichungen genügen". Mathematische Nachrichten. 2 (1–2): 4–34. doi:10.1002/mana.19490020103. ISSN 0025-584X. MR 0030647.
  3. Analysis on Fractals, Robert S. Strichartz - Article in Notices of the AMS
  4. Kochubei, Anatoly N. (2009). सकारात्मक विशेषता में विश्लेषण. New York: Cambridge University Press. ISBN 978-0-521-50977-0.

[Category:Generalizations of the derivative