मैट्रिक्स कैलकुलस: Difference between revisions

From Vigyanwiki
Line 1: Line 1:
{{short description|Specialized notation for multivariable calculus}}
{{short description|Specialized notation for multivariable calculus}}गणित में, '''आव्यूह कैलकुलस''' में विशेष रूप से [[मैट्रिक्स (गणित)|आव्यूह (गणित)]] के रिक्त स्थान पर [[बहुभिन्नरूपी कैलकुलस]] की गणना करने के लिए विशेष संकेतन के रूप में उपयोग किया जाता है। यह कई [[चर (गणित)|वैरियेबल्स (गणित)]] के संबंध में एकल फ़ंक्शन (गणित) के विभिन्न आंशिक डेरिवेटिव, और एकल चरों के संबंध में बहुभिन्नरूपी फ़ंक्शन को [[वेक्टर (गणित और भौतिकी)]] और आव्यूह में एकत्रित करता है जिसे एकल रूप में माना जा सकता है। यह संचालन को बहुत सरल कर देता है जैसे कि बहुभिन्नरूपी फ़ंक्शन का अधिकतम या न्यूनतम पता लगाने और [[अंतर समीकरण]] की प्रणाली को हल करने में सहायक हैं। यहाँ प्रयुक्त अंकन सामान्यतः सांख्यिकी और [[ अभियांत्रिकी |अभियांत्रिकी]] में उपयोग किया जाता है, जबकि भौतिकी में टेन्सर इंडेक्स संकेतन को प्राथमिकता दी जाती है।
{{distinguish|ज्यामितीय गणना|वेक्टर कैलकुलस}}
{{Calculus |Multivariable}}


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


== सीमा ==
== सीमा ==
Line 66: Line 62:
== नोटेशन ==
== नोटेशन ==


बड़ी संख्या में चर का प्रतिनिधित्व करने के लिए एकल चर का उपयोग करते हुए, आव्यूह संकेतन का पूरा लाभ उठाने के लिए अनुभागों में प्रस्तुत वेक्टर और आव्यूह डेरिवेटिव का उपयोग होता हैं। इसके पश्चात हम स्केलर, वैक्टर और आव्यूह को उनके टाइपफेस द्वारा अलग करते हैं। हम m (n, m) को n पंक्तियों और m कॉलम के साथ [[वास्तविक संख्या]] n × m [[मैट्रिक्स अंकन|आव्यूह अंकन]] स्थान को इंगित करते हैं। इस प्रकार के आव्यूह को बोल्ड कैपिटल लेटर्स: 'A', 'X', 'Y', आदि का उपयोग करके दर्शाया जाता हैं। इस प्रकार m (n, 1) के तत्व, जो [[कॉलम वेक्टर]] है, को बोल्डफेस लोअरकेस लेटर के साथ दर्शाया गया है: ' a', 'X', 'Y', आदि। इस प्रकार m (1,1) का तत्व स्केलर है, जिसे लोअरकेस इटैलिक टाइपफेस के साथ दर्शाया गया है: a, t, X, आदि। इसी तरह 'x'<sup>T</sup> आव्यूह [[खिसकाना]] को दर्शाता है, जो tr(X) रूप में [[ट्रेस (रैखिक बीजगणित)]] किया जाता है, और det(X) या X का फंक्शन है। जिसके लिए सभी फंक्शन्स को अवकलनीयता वर्ग में ''C''<sup>1</sup> के रूप में माना जाता है जब तक अन्यथा नोट न किया गया हो। सामान्यतः वर्णमाला के पहले भाग (ए, बी, सी, ...) के अक्षरों का उपयोग स्थिरांक को दर्शाने के लिए किया जाएगा, और दूसरी छमाही (टी, X, Y, ...) से चर को दर्शाने के लिए आवश्यक हैं।
बड़ी संख्या में चर का प्रतिनिधित्व करने के लिए एकल चर का उपयोग करते हुए, आव्यूह संकेतन का पूरा लाभ उठाने के लिए अनुभागों में प्रस्तुत वेक्टर और आव्यूह डेरिवेटिव का उपयोग होता हैं। इसके पश्चात हम स्केलर, वैक्टर और आव्यूह को उनके टाइपफेस द्वारा अलग करते हैं। हम m (n, m) को n पंक्तियों और m कॉलम के साथ [[वास्तविक संख्या]] n × m [[मैट्रिक्स अंकन|आव्यूह अंकन]] स्थान को इंगित करते हैं। इस प्रकार के आव्यूह को बोल्ड कैपिटल लेटर्स: 'A', 'X', 'Y', आदि का उपयोग करके दर्शाया जाता हैं। इस प्रकार m (n, 1) के तत्व, जो [[कॉलम वेक्टर]] है, को बोल्डफेस लोअरकेस लेटर के साथ दर्शाया गया है: ' a', 'X', 'Y', आदि। इस प्रकार m (1,1) का तत्व स्केलर है, जिसे लोअरकेस इटैलिक टाइपफेस के साथ दर्शाया गया है: a, t, X, आदि। इसी तरह 'x'<sup>T</sup> आव्यूह [[खिसकाना]] को दर्शाता है, जो tr(X) रूप में [[ट्रेस (रैखिक बीजगणित)]] किया जाता है, और det(X) या X का फंक्शन है। जिसके लिए सभी फंक्शन्स को अवकलनीयता वर्ग में ''C''<sup>1</sup> के रूप में माना जाता है जब तक अन्यथा नोट न किया गया हो। सामान्यतः वर्णमाला के पहले भाग (ए, बी, सी, ...) के अक्षरों का उपयोग स्थिरांक को दर्शाने के लिए किया जाएगा, और दूसरी छमाही (टी, X, Y, ...) से चर को दर्शाने के लिए आवश्यक हैं।


नोट: जैसा कि ऊपर उल्लेख किया गया है, वेक्टर और आव्यूह में आंशिक डेरिवेटिव की प्रणालियों को निर्धारित करने के लिए प्रतिस्पर्धी अंकन हैं, और अभी तक कोई मानक उभरता हुआ प्रतीत नहीं होता है। चर्चा को अत्यधिक जटिल बनाने से बचने के लिए, अगले दो परिचयात्मक खंड केवल सुविधा के प्रयोजनों के लिए लेआउट सम्मेलनों का उपयोग करते हैं। उनके बाद का खंड लेआउट सम्मेलनों पर अधिक विस्तार से चर्चा करता है। निम्नलिखित को समझना महत्वपूर्ण है:
नोट: जैसा कि ऊपर उल्लेख किया गया है, वेक्टर और आव्यूह में आंशिक डेरिवेटिव की प्रणालियों को निर्धारित करने के लिए प्रतिस्पर्धी अंकन हैं, और अभी तक कोई मानक उभरता हुआ प्रतीत नहीं होता है। चर्चा को अत्यधिक जटिल बनाने से बचने के लिए, अगले दो परिचयात्मक खंड केवल सुविधा के प्रयोजनों के लिए लेआउट फलनों का उपयोग करते हैं। उनके बाद का खंड लेआउट फलनों पर अधिक विस्तार से चर्चा करता है। निम्नलिखित को समझना महत्वपूर्ण है:
#गणक लेआउट और भाजक लेआउट शब्दों के उपयोग के अतिरिक्त, वास्तव में दो से अधिक संभावित नोटेशनल विकल्प सम्मिलित हैं। इसका कारण यह है कि अदिश-दर-सदिश, सदिश-दर-अदिश, सदिश-दर-सदिश, और अदिश-दर-सदिश के लिए अंश बनाम भाजक (या कुछ स्थितियों में, अंश बनाम मिश्रित) का चुनाव स्वतंत्र रूप से किया जा सकता है। आव्यूह डेरिवेटिव, और कई लेखक विभिन्न विधियों से अपने लेआउट विकल्पों को मिलाते हैं और मेल खाते हैं।
#गणक लेआउट और भाजक लेआउट शब्दों के उपयोग के अतिरिक्त, वास्तव में दो से अधिक संभावित नोटेशनल विकल्प सम्मिलित हैं। इसका कारण यह है कि अदिश-दर-सदिश, सदिश-दर-अदिश, सदिश-दर-सदिश, और अदिश-दर-सदिश के लिए अंश बनाम भाजक (या कुछ स्थितियों में, अंश बनाम मिश्रित) का चुनाव स्वतंत्र रूप से किया जा सकता है। आव्यूह डेरिवेटिव, और कई लेखक विभिन्न विधियों से अपने लेआउट विकल्पों को मिलाते हैं और मेल खाते हैं।
# नीचे दिए गए परिचयात्मक खंडों में अंश लेआउट का विकल्प यह नहीं दर्शाता है कि यह दाये या इसका उत्तम विकल्प है। विभिन्न लेआउट प्रकारों के लाभ और हानि दोनों रहते हैं। इस प्रकार अलग-अलग लेआउट में लिखे गए फ़ार्मुलों को संयोजित करने से गंभीर गलतियाँ हो सकती हैं, और त्रुटियों से बचने के लिए लेआउट से दूसरे में परिवर्तित करने के लिए देखभाल की आवश्यकता होती है। जिसके परिणामस्वरूप, सूत्रों के साथ कार्य करते समय सबसे अच्छी नीति यह है कि सभी स्थितियों में समान लेआउट का उपयोग करने का प्रयास करने के अतिरिक्त किसी भी लेआउट का उपयोग किया जाए और उसके साथ निरंतरता बनाए रखी जाती हैं।
# नीचे दिए गए परिचयात्मक खंडों में अंश लेआउट का विकल्प यह नहीं दर्शाता है कि यह दाये या इसका उत्तम विकल्प है। विभिन्न लेआउट प्रकारों के लाभ और हानि दोनों रहते हैं। इस प्रकार अलग-अलग लेआउट में लिखे गए फ़ार्मुलों को संयोजित करने से गंभीर गलतियाँ हो सकती हैं, और त्रुटियों से बचने के लिए लेआउट से दूसरे में परिवर्तित करने के लिए देखभाल की आवश्यकता होती है। जिसके परिणामस्वरूप, सूत्रों के साथ कार्य करते समय सबसे अच्छी नीति यह है कि सभी स्थितियों में समान लेआउट का उपयोग करने का प्रयास करने के अतिरिक्त किसी भी लेआउट का उपयोग किया जाए और उसके साथ निरंतरता बनाए रखी जाती हैं।
Line 74: Line 70:
=== विकल्प ===
=== विकल्प ===


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


== वैक्टर के साथ डेरिवेटिव्स ==
== वैक्टर के साथ डेरिवेटिव्स ==
Line 83: Line 79:
यहां विकसित अंकन [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन समतल]] 'R' के साथ n-वैक्टरों के समतल M<sup>n</sup> (n, 1) की पहचान करके वेक्टर कैलकुस के सामान्य संचालन को समायोजित कर सकते हैं और अदिश M(1,1) की पहचान 'R' से की जाती है। सदिश कलन से संबंधित अवधारणा प्रत्येक उपधारा के अंत में इंगित की गई है।
यहां विकसित अंकन [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन समतल]] 'R' के साथ n-वैक्टरों के समतल M<sup>n</sup> (n, 1) की पहचान करके वेक्टर कैलकुस के सामान्य संचालन को समायोजित कर सकते हैं और अदिश M(1,1) की पहचान 'R' से की जाती है। सदिश कलन से संबंधित अवधारणा प्रत्येक उपधारा के अंत में इंगित की गई है।


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


=== वेक्टर-बाय-स्केलर ===
=== वेक्टर-बाय-स्केलर ===
Line 117: Line 113:
     x_n
     x_n
   \end{bmatrix}^\mathsf{T}
   \end{bmatrix}^\mathsf{T}
</math>, लिखा है (लेआउट सम्मेलनों में) के रूप में
</math>, लिखा है (लेआउट फलनों में) के रूप में


:<math>\frac{\partial y}{\partial \mathbf{x}} =
:<math>\frac{\partial y}{\partial \mathbf{x}} =
Line 158: Line 154:
     x_n
     x_n
   \end{bmatrix}^\mathsf{T}
   \end{bmatrix}^\mathsf{T}
</math>, लिखा है (लेआउट सम्मेलनों में) के रूप में
</math>, लिखा है (लेआउट फलनों में) के रूप में


:<math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}} =
:<math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}} =
Line 178: Line 174:
आव्यूह के साथ दो प्रकार के डेरिवेटिव हैं जिन्हें समान आकार के आव्यूह में व्यवस्थित किया जा सकता है। ये अदिश द्वारा आव्यूह के व्युत्पन्न और आव्यूह द्वारा अदिश के व्युत्पन्न हैं। ये लागू गणित के कई क्षेत्रों में पाई जाने वाली न्यूनीकरण समस्याओं में उपयोगी हो सकते हैं और सदिशों के लिए उनके अनुरूपों के बाद क्रमशः स्पर्शरेखा आव्यूह और ढाल आव्यूह नामों को अपनाया जाता हैं।
आव्यूह के साथ दो प्रकार के डेरिवेटिव हैं जिन्हें समान आकार के आव्यूह में व्यवस्थित किया जा सकता है। ये अदिश द्वारा आव्यूह के व्युत्पन्न और आव्यूह द्वारा अदिश के व्युत्पन्न हैं। ये लागू गणित के कई क्षेत्रों में पाई जाने वाली न्यूनीकरण समस्याओं में उपयोगी हो सकते हैं और सदिशों के लिए उनके अनुरूपों के बाद क्रमशः स्पर्शरेखा आव्यूह और ढाल आव्यूह नामों को अपनाया जाता हैं।


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


=== आव्यूह-बाय-स्केलर ===
=== आव्यूह-बाय-स्केलर ===


एक अदिश ''x'' द्वारा आव्यूह फ़ंक्शन Y के व्युत्पन्न को स्पर्शरेखा आव्यूह के रूप में जाना जाता है और इसे लेआउट सम्मेलनों द्वारा दिया जाता है
एक अदिश ''x'' द्वारा आव्यूह फ़ंक्शन Y के व्युत्पन्न को स्पर्शरेखा आव्यूह के रूप में जाना जाता है और इसे लेआउट फलनों द्वारा दिया जाता है


:<math>
:<math>
Line 195: Line 191:
=== अदिश-दर-आव्यूह ===
=== अदिश-दर-आव्यूह ===


आव्यूह 'X' के संबंध में स्वतंत्र वैरियेबल के P×Q आव्यूह 'X' के स्केलर Y फ़ंक्शन का व्युत्पन्न (लेआउट सम्मेलनों में) द्वारा दिया जाता है
आव्यूह 'X' के संबंध में स्वतंत्र वैरियेबल के P×Q आव्यूह 'X' के स्केलर Y फ़ंक्शन का व्युत्पन्न (लेआउट फलनों में) द्वारा दिया जाता है


:<math>
:<math>
Line 221: Line 217:
== लेआउट कन्वेंशन ==
== लेआउट कन्वेंशन ==


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


मूलभूत मुद्दा यह है कि वेक्टर के संबंध में वेक्टर का व्युत्पन्न, अर्ताथ <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}}</math>, अधिकांशतः दो प्रतिस्पर्धी तरीकों से लिखा जाता है। यदि अंश y का आकार ''m'' और भाजक x का आकार ''n'' है, तो परिणाम को ''m×n'' आव्यूह या ''n×m'' के रूप में रखा जा सकता है। आव्यूह, अर्ताथ y के तत्व स्तंभों में रखे गए हैं और x के तत्व पंक्तियों में रखे गए हैं, या इसके विपरीत। यह निम्नलिखित संभावनाओं की ओर जाता है:
मूलभूत मुद्दा यह है कि वेक्टर के संबंध में वेक्टर का व्युत्पन्न, अर्ताथ <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}}</math>, अधिकांशतः दो प्रतिस्पर्धी तरीकों से लिखा जाता है। यदि अंश y का आकार ''m'' और भाजक x का आकार ''n'' है, तो परिणाम को ''m×n'' आव्यूह या ''n×m'' के रूप में रखा जा सकता है। आव्यूह, अर्ताथ y के तत्व स्तंभों में रखे गए हैं और x के तत्व पंक्तियों में रखे गए हैं, या इसके विपरीत। यह निम्नलिखित संभावनाओं की ओर जाता है:
#''न्यूमरेटर लेआउट'', अर्ताथ y और x के हिसाब से लेआउट<sup>टी</sup> (अर्थात् x के विपरीत)। इसे कभी-कभी 'जैकोबियन सूत्रीकरण' के रूप में जाना जाता है। यह पिछले उदाहरण में ''m×n'' लेआउट से संबंधित है।
#''न्यूमरेटर लेआउट'', अर्ताथ y और x के हिसाब से लेआउट<sup>टी</sup> (अर्थात् x के विपरीत)। इसे कभी-कभी 'जैकोबियन सूत्रीकरण' के रूप में जाना जाता है। यह पिछले उदाहरण में ''m×n'' लेआउट से संबंधित है।
#''डीनॉमिनेटर लेआउट'', अर्ताथ Y के हिसाब से लेआउट<sup>T</sup> और x (अर्ताथ y के विपरीत)। इसे कभी-कभी 'हेस्सियन सूत्रीकरण' के रूप में जाना जाता है। कुछ लेखक इस लेआउट को ''जैकोबियन'' (अंकीय लेआउट) के भेद में ''प्रवणता'' कहते हैं, जो इसका स्थानान्तरण है। (चूंकि, ''ढाल'' का अर्थ सामान्यतः व्युत्पन्न होता है <math>\frac{\partial y}{\partial \mathbf{x}},</math> लेआउट की परवाह किए बिना।) यह पिछले उदाहरण में n×m लेआउट से संबंधित है।
#''डीनॉमिनेटर लेआउट'', अर्ताथ Y के हिसाब से लेआउट<sup>T</sup> और x (अर्ताथ y के विपरीत)। इसे कभी-कभी 'हेस्सियन सूत्रीकरण' के रूप में जाना जाता है। कुछ लेखक इस लेआउट को ''जैकोबियन'' (अंकीय लेआउट) के भेद में ''प्रवणता'' कहते हैं, जो इसका स्थानान्तरण है। (चूंकि, ''ढाल'' का अर्थ सामान्यतः व्युत्पन्न होता है <math>\frac{\partial y}{\partial \mathbf{x}},</math> लेआउट की परवाह किए बिना।) यह पिछले उदाहरण में n×m लेआउट से संबंधित है।
# कभी-कभी दिखाई देने वाली तीसरी संभावना यह है कि डेरिवेटिव को इस रूप में लिखने पर जोर दिया जाता हैं जिसे <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}'},</math> द्वारा प्रद्रर्शित करते हैं (अर्थात व्युत्पन्न x के स्थानान्तरण के संबंध में लिया गया है) और अंश लेआउट का पालन करते हैं। इससे यह प्रमाण करना संभव हो जाता है कि आव्यूह को अंश और भाजक दोनों के अनुसार रखा गया है। व्यवहार में यह अंश लेआउट के समान परिणाम उत्पन्न करता है।
# कभी-कभी दिखाई देने वाली तीसरी संभावना यह है कि डेरिवेटिव को इस रूप में लिखने पर जोर दिया जाता हैं जिसे <math>\frac{\partial \mathbf{y}}{\partial \mathbf{x}'},</math> द्वारा प्रद्रर्शित करते हैं (अर्थात व्युत्पन्न x के स्थानान्तरण के संबंध में लिया गया है) और अंश लेआउट का पालन करते हैं। इससे यह प्रमाण करना संभव हो जाता है कि आव्यूह को अंश और भाजक दोनों के अनुसार रखा गया है। व्यवहार में यह अंश लेआउट के समान परिणाम उत्पन्न करता है।


ढाल को संभालते समय <math>\frac{\partial y}{\partial \mathbf{x}}</math> और विपरीत मामला <math>\frac{\partial \mathbf{y}}{\partial x},</math> हमारे पास समान मुद्दे हैं। सुसंगत होने के लिए, हमें निम्नलिखित में से करना चाहिए:
ढाल को संभालते समय <math>\frac{\partial y}{\partial \mathbf{x}}</math> और विपरीत मामला <math>\frac{\partial \mathbf{y}}{\partial x},</math> हमारे पास समान मुद्दे हैं। सुसंगत होने के लिए, हमें निम्नलिखित में से करना चाहिए:
Line 240: Line 236:
# नोटेशन का प्रयोग करें <math>\frac{\partial y}{\partial \mathbf{X}'},</math> परिणामों के साथ संगत अंश लेआउट के समान होता हैं।
# नोटेशन का प्रयोग करें <math>\frac{\partial y}{\partial \mathbf{X}'},</math> परिणामों के साथ संगत अंश लेआउट के समान होता हैं।


निम्नलिखित सूत्रों में, हम पाँच संभावित संयोजनों <math>\frac{\partial y}{\partial \mathbf{x}}, \frac{\partial \mathbf{y}}{\partial x}, \frac{\partial \mathbf{y}}{\partial \mathbf{x}}, \frac{\partial y}{\partial \mathbf{X}}</math> और <math>\frac{\partial \mathbf{Y}}{\partial x}</math> को अलग से संभालते हैं। हम स्केलर-बाय-स्केलर डेरिवेटिव के स्थितियों को भी संभालते हैं जिसमें मध्यवर्ती वेक्टर या आव्यूह सम्मिलित होता है। (यह उत्पन्न हो सकता है, उदाहरण के लिए, यदि बहु-आयामी [[पैरामीट्रिक वक्र]] को स्केलर चर के संदर्भ में परिभाषित किया गया है, और फिर वक्र के स्केलर फ़ंक्शन का व्युत्पन्न उस स्केलर के संबंध में लिया जाता है जो वक्र को पैरामीटर करता है।) प्रत्येक के लिए विभिन्न संयोजनों में, हम अंश-लेआउट और हर-लेआउट परिणाम देते हैं, ऊपर दिए गए स्थितियों को छोड़कर जहां डिनोमिनेटर लेआउट संभवतः ही कभी होता है। आव्यूह से जुड़े स्थितियों में जहां यह समझ में आता है, हम अंश-लेआउट और मिश्रित-लेआउट परिणाम देते हैं। जैसा कि ऊपर उल्लेख किया गया है, ऐसे स्थिति जहां वेक्टर और आव्यूह डिनॉमिनेटर ट्रांसपोज़ नोटेशन में लिखे गए हैं, वे न्यूमरेटर लेआउट के बराबर हैं, जिसमें ट्रांसपोज़ के बिना लिखे गए डिनोमिनेटर रहते हैं।
निम्नलिखित सूत्रों में, हम पाँच संभावित संयोजनों <math>\frac{\partial y}{\partial \mathbf{x}}, \frac{\partial \mathbf{y}}{\partial x}, \frac{\partial \mathbf{y}}{\partial \mathbf{x}}, \frac{\partial y}{\partial \mathbf{X}}</math> और <math>\frac{\partial \mathbf{Y}}{\partial x}</math> को अलग से संभालते हैं। हम स्केलर-बाय-स्केलर डेरिवेटिव के स्थितियों को भी संभालते हैं जिसमें मध्यवर्ती वेक्टर या आव्यूह सम्मिलित होता है। (यह उत्पन्न हो सकता है, उदाहरण के लिए, यदि बहु-आयामी [[पैरामीट्रिक वक्र]] को स्केलर चर के संदर्भ में परिभाषित किया गया है, और फिर वक्र के स्केलर फ़ंक्शन का व्युत्पन्न उस स्केलर के संबंध में लिया जाता है जो वक्र को पैरामीटर करता है।) प्रत्येक के लिए विभिन्न संयोजनों में, हम अंश-लेआउट और हर-लेआउट परिणाम देते हैं, ऊपर दिए गए स्थितियों को छोड़कर जहां डिनोमिनेटर लेआउट संभवतः ही कभी होता है। आव्यूह से जुड़े स्थितियों में जहां यह समझ में आता है, हम अंश-लेआउट और मिश्रित-लेआउट परिणाम देते हैं। जैसा कि ऊपर उल्लेख किया गया है, ऐसे स्थिति जहां वेक्टर और आव्यूह डिनॉमिनेटर ट्रांसपोज़ नोटेशन में लिखे गए हैं, वे न्यूमरेटर लेआउट के बराबर हैं, जिसमें ट्रांसपोज़ के बिना लिखे गए डिनोमिनेटर रहते हैं।


ध्यान रखें कि विभिन्न लेखक विभिन्न प्रकार के डेरिवेटिव के लिए अंश और भाजक लेआउट के विभिन्न संयोजनों का उपयोग करते हैं, और इस बात की कोई गारंटी नहीं है कि लेखक सभी प्रकार के लिए अंश या भाजक लेआउट का क्रमशः उपयोग करता हैं। इस विशेष प्रकार के डेरिवेटिव के लिए उपयोग किए गए लेआउट को निर्धारित करने के लिए स्रोत में उद्धृत सूत्रों के साथ नीचे दिए गए सूत्रों का संयोजन करते हैं, किन्तु सावधान रहें कि यह न मानें कि अन्य प्रकार के डेरिवेटिव आवश्यक रूप से उसी प्रकार के लेआउट का पालन करते हैं।
ध्यान रखें कि विभिन्न लेखक विभिन्न प्रकार के डेरिवेटिव के लिए अंश और भाजक लेआउट के विभिन्न संयोजनों का उपयोग करते हैं, और इस बात की कोई गारंटी नहीं है कि लेखक सभी प्रकार के लिए अंश या भाजक लेआउट का क्रमशः उपयोग करता हैं। इस विशेष प्रकार के डेरिवेटिव के लिए उपयोग किए गए लेआउट को निर्धारित करने के लिए स्रोत में उद्धृत सूत्रों के साथ नीचे दिए गए सूत्रों का संयोजन करते हैं, किन्तु सावधान रहें कि यह न मानें कि अन्य प्रकार के डेरिवेटिव आवश्यक रूप से उसी प्रकार के लेआउट का पालन करते हैं।
Line 376: Line 372:
जैसा कि ऊपर उल्लेख किया गया है, सामान्यतः अंश-लेआउट और भाजक-लेआउट नोटेशन के बीच स्विच करने पर संचालन के परिणाम स्थानांतरित हो जाएंगे।
जैसा कि ऊपर उल्लेख किया गया है, सामान्यतः अंश-लेआउट और भाजक-लेआउट नोटेशन के बीच स्विच करने पर संचालन के परिणाम स्थानांतरित हो जाएंगे।


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


निम्नलिखित पहचान निम्नलिखित सम्मेलनों को अपनाती हैं:
निम्नलिखित पहचान निम्नलिखित फलनों को अपनाती हैं:
* स्केलर, ए, बी, सी, डी, और ई के संबंध में स्थिर हैं, और स्केलर, यू, और वी X, 'X', या 'X' में से किसी के कार्य हैं;
* स्केलर, ए, बी, सी, डी, और ई के संबंध में स्थिर हैं, और स्केलर, यू, और वी X, 'X', या 'X' में से किसी के कार्य हैं;
* वैक्टर, 'ए', 'बी', 'सी', 'डी', और 'ई' के संबंध में स्थिर हैं, और वैक्टर, 'यू', और 'वी' X में से के कार्य हैं, ' X', या 'X';
* वैक्टर, 'ए', 'बी', 'सी', 'डी', और 'ई' के संबंध में स्थिर हैं, और वैक्टर, 'यू', और 'वी' X में से के कार्य हैं, ' X', या 'X';
Line 463: Line 459:
| <math>\frac{\partial^2 f}{\partial\mathbf{x} \partial\mathbf{x}^\top} =</math>
| <math>\frac{\partial^2 f}{\partial\mathbf{x} \partial\mathbf{x}^\top} =</math>
| <math>\mathbf{H}^\top</math>
| <math>\mathbf{H}^\top</math>
| <math>\mathbf{H}</math>, [[Hessian matrix|हैसियन आव्यूह]]<ref name="matrix-cookbook"/>
| <math>\mathbf{H}</math>, [[Hessian matrix|हैसियन आव्यूह]]<ref name="matrix-cookbook"/>
|- style="border-top: 3px solid;"
|- style="border-top: 3px solid;"
| '''a''' का कार्य नहीं है '''x''' || <math>\frac{\partial (\mathbf{a}\cdot\mathbf{x})}{\partial \mathbf{x}} = \frac{\partial (\mathbf{x}\cdot\mathbf{a})}{\partial \mathbf{x}} =</math> <br /> <br /> <math>\frac{\partial \mathbf{a}^\top\mathbf{x}}{\partial \mathbf{x}} = \frac{\partial \mathbf{x}^\top\mathbf{a}}{\partial \mathbf{x}} =</math> || <math>\mathbf{a}^\top</math> || <math>\mathbf{a}</math>  
| '''a''' का कार्य नहीं है '''x''' || <math>\frac{\partial (\mathbf{a}\cdot\mathbf{x})}{\partial \mathbf{x}} = \frac{\partial (\mathbf{x}\cdot\mathbf{a})}{\partial \mathbf{x}} =</math> <br /> <br /> <math>\frac{\partial \mathbf{a}^\top\mathbf{x}}{\partial \mathbf{x}} = \frac{\partial \mathbf{x}^\top\mathbf{a}}{\partial \mathbf{x}} =</math> || <math>\mathbf{a}^\top</math> || <math>\mathbf{a}</math>  
Line 657: Line 653:
|| <math>\mathbf{X}^{-1}</math> ||<math>\left(\mathbf{X}^{-1}\right)^\top</math>
|| <math>\mathbf{X}^{-1}</math> ||<math>\left(\mathbf{X}^{-1}\right)^\top</math>
|-
|-
| A, B, X || के फलन नहीं हैं <ref name="matrix-cookbook"/>     <math>\frac{\partial |\mathbf{AXB}|}{\partial \mathbf{X}} =</math> || <math>|\mathbf{AXB}|\mathbf{X}^{-1}</math> ||<math>|\mathbf{AXB}|\left(\mathbf{X}^{-1}\right)^\top</math>
| A, B, X || के फलन नहीं हैं <ref name="matrix-cookbook"/> <math>\frac{\partial |\mathbf{AXB}|}{\partial \mathbf{X}} =</math> || <math>|\mathbf{AXB}|\mathbf{X}^{-1}</math> ||<math>|\mathbf{AXB}|\left(\mathbf{X}^{-1}\right)^\top</math>
|-
|-
| n धनात्मक पूर्णांक है || <ref name="matrix-cookbook"/>    <math>\frac{\partial \left|\mathbf{X}^n\right|}{\partial \mathbf{X}} =</math> || <math>n\left|\mathbf{X}^n\right|\mathbf{X}^{-1}</math> ||<math>n\left|\mathbf{X}^n\right|\left(\mathbf{X}^{-1}\right)^\top</math>
| n धनात्मक पूर्णांक है || <ref name="matrix-cookbook"/> <math>\frac{\partial \left|\mathbf{X}^n\right|}{\partial \mathbf{X}} =</math> || <math>n\left|\mathbf{X}^n\right|\mathbf{X}^{-1}</math> ||<math>n\left|\mathbf{X}^n\right|\left(\mathbf{X}^{-1}\right)^\top</math>
|-
|-
| (छद्म उलटा देखें) || <ref name="matrix-cookbook"/>     <math>\frac{\partial \ln \left|\mathbf{X}^\top\mathbf{X}\right|}{\partial \mathbf{X}} =</math> || <math>2\mathbf{X}^{+}</math> ||<math>2\left(\mathbf{X}^{+}\right)^\top</math>
| (छद्म उलटा देखें) || <ref name="matrix-cookbook"/> <math>\frac{\partial \ln \left|\mathbf{X}^\top\mathbf{X}\right|}{\partial \mathbf{X}} =</math> || <math>2\mathbf{X}^{+}</math> ||<math>2\left(\mathbf{X}^{+}\right)^\top</math>
|-
|-
| (छद्म उलटा देखें) || <ref name="matrix-cookbook"/>     <math>\frac{\partial \ln \left|\mathbf{X}^\top\mathbf{X}\right|}{\partial \mathbf{X}^{+}} =</math> || <math>-2\mathbf{X}</math> || <math>-2\mathbf{X}^\top</math>
| (छद्म उलटा देखें) || <ref name="matrix-cookbook"/> <math>\frac{\partial \ln \left|\mathbf{X}^\top\mathbf{X}\right|}{\partial \mathbf{X}^{+}} =</math> || <math>-2\mathbf{X}</math> || <math>-2\mathbf{X}^\top</math>
|-
|-
| A, X का फलन नहीं है,<br />X वर्गाकार और उलटा है || <math>\frac{\partial \left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|}{\partial \mathbf{X}} =</math> || <math>2\left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|\mathbf{X}^{-1} = 2\left|\mathbf{X^\top}\right||\mathbf{A}||\mathbf{X}|\mathbf{X}^{-1}</math> || <math>2\left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|\left(\mathbf{X}^{-1}\right)^\top</math>
| A, X का फलन नहीं है,<br />X वर्गाकार और उलटा है || <math>\frac{\partial \left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|}{\partial \mathbf{X}} =</math> || <math>2\left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|\mathbf{X}^{-1} = 2\left|\mathbf{X^\top}\right||\mathbf{A}||\mathbf{X}|\mathbf{X}^{-1}</math> || <math>2\left|\mathbf{X^\top}\mathbf{A}\mathbf{X}\right|\left(\mathbf{X}^{-1}\right)^\top</math>
Line 739: Line 735:


:{|class="wikitable" style="text-align: center;"
:{|class="wikitable" style="text-align: center;"
|+Identities: scalar-by-scalar, with matrices involved<ref name="matrix-cookbook">{{cite book|last1=Petersen |first1=Kaare Brandt |first2=Michael Syskind |last2=Pedersen |title=The Matrix Cookbook |url=http://matrixcookbook.com|archive-url=https://web.archive.org/web/20100302210536/http://www.imm.dtu.dk/pubdb/views/edoc_download.php/3274/pdf/imm3274.pdf|archive-date=2 March 2010 |access-date=5 February 2016}} This book uses a mixed layout, i.e. by '''Y''' in <math>\frac{\partial \mathbf{Y}}{\partial x},</math> by '''X''' in <math>\frac{\partial y}{\partial \mathbf{X}}.</math></ref>
|+पहचान: स्केलर-बाय-स्केलर, सम्मिलित मैट्रिसेस के साथ<ref name="matrix-cookbook">{{cite book|last1=Petersen |first1=Kaare Brandt |first2=Michael Syskind |last2=Pedersen |title=The Matrix Cookbook |url=http://matrixcookbook.com|archive-url=https://web.archive.org/web/20100302210536/http://www.imm.dtu.dk/pubdb/views/edoc_download.php/3274/pdf/imm3274.pdf|archive-date=2 March 2010 |access-date=5 February 2016}} This book uses a mixed layout, i.e. by '''Y''' in <math>\frac{\partial \mathbf{Y}}{\partial x},</math> by '''X''' in <math>\frac{\partial y}{\partial \mathbf{X}}.</math></ref>
! scope="col" width="175" | Condition
! scope="col" width="175" | स्थिति
! scope="col" width="100" | Expression
! scope="col" width="100" | अभिव्यक्ति
! scope="col" width="100" | Consistent numerator layout,<br />i.e. by '''Y''' and '''X'''<sup>T</sup>  
! scope="col" width="100" | संगत अंश लेआउट,<br />i.e. by '''Y''' and '''X'''<sup>T</sup>  
! scope="col" width="100" | Mixed layout,<br />i.e. by '''Y''' and '''X'''
! scope="col" width="100" | मिश्रित लेआउट,<br />i.e. by '''Y''' and '''X'''
|-
|-
| '''U''' = '''U'''(''x'') || <math>\frac{\partial |\mathbf{U}|}{\partial x} =</math> || colspan=2|<math>|\mathbf{U}|\operatorname{tr}\left(\mathbf{U}^{-1}\frac{\partial \mathbf{U}}{\partial x}\right)</math>
| '''U''' = '''U'''(''x'') || <math>\frac{\partial |\mathbf{U}|}{\partial x} =</math> || colspan=2|<math>|\mathbf{U}|\operatorname{tr}\left(\mathbf{U}^{-1}\frac{\partial \mathbf{U}}{\partial x}\right)</math>
Line 759: Line 755:
|| <math>\operatorname{tr}\left( \left(\frac{\partial g(\mathbf{U})}{\partial \mathbf{U}}\right)^\top \frac{\partial \mathbf{U}}{\partial x}\right)</math>
|| <math>\operatorname{tr}\left( \left(\frac{\partial g(\mathbf{U})}{\partial \mathbf{U}}\right)^\top \frac{\partial \mathbf{U}}{\partial x}\right)</math>
|-
|-
| '''A''' is not a function of ''x'', '''g'''('''X''') is any polynomial with scalar coefficients, or any matrix function defined by an infinite polynomial series (e.g. e<sup>'''X'''</sup>, sin('''X'''), cos('''X'''), ln('''X'''), etc.); ''g''(''x'') is the equivalent scalar function, ''g''<big>&prime;</big>(''x'') is its derivative, and '''g'''<big>&prime;</big>('''X''') is the corresponding matrix function. || <math>\frac{\partial \operatorname{tr}(\mathbf{g}(x\mathbf{A}))}{\partial x} =</math> || colspan=2|<math>\operatorname{tr}\left(\mathbf{A}\mathbf{g}'(x\mathbf{A})\right)</math>
| A, x का फलन नहीं है, g(X) अदिश गुणांकों वाला कोई बहुपद है, या अनंत बहुपद श्रृंखला द्वारा परिभाषित कोई मैट्रिक्स फलन है (जैसे eX, sin(X), cos(X), ln(X), आदि। ); g(x) समतुल्य स्केलर फ़ंक्शन है, g′(x) इसका व्युत्पन्न है, और g′(X) संबंधित मैट्रिक्स फ़ंक्शन है। || <math>\frac{\partial \operatorname{tr}(\mathbf{g}(x\mathbf{A}))}{\partial x} =</math> || colspan=2|<math>\operatorname{tr}\left(\mathbf{A}\mathbf{g}'(x\mathbf{A})\right)</math>
|-
|-
| '''A''' is not a function of ''x'' || <math>\frac{\partial \operatorname{tr}\left(e^{x\mathbf{A}}\right)}{\partial x} =</math> || colspan=2|<math>\operatorname{tr}\left(\mathbf{A}e^{x\mathbf{A}}\right)</math>
| A, x का फलन नहीं है || <math>\frac{\partial \operatorname{tr}\left(e^{x\mathbf{A}}\right)}{\partial x} =</math> || colspan=2|<math>\operatorname{tr}\left(\mathbf{A}e^{x\mathbf{A}}\right)</math>
|}
|}



Revision as of 16:21, 22 March 2023

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

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

सीमा

आव्यूह गणना कई अलग-अलग नोटेशन को संदर्भित करता है जो स्वतंत्र चर के प्रत्येक घटक के संबंध में निर्भर चर के प्रत्येक घटक के व्युत्पन्न एकत्र करने के लिए आव्यूह और वैक्टर का उपयोग करता है। सामान्यतः स्वतंत्र वैरियेबल अदिश, सदिश या आव्यूह किसी भी प्रकार का हो सकता है जबकि आश्रित चर इनमें से कोई भी हो सकता है। इस प्रकार शब्द के व्यापक अर्थ का उपयोग करते हुए, प्रत्येक को अलग स्थितियों के नियमों के अलग समुच्चयों या अलग कलन की ओर ले जाती हैं। आव्यूह संकेतन संगठित विधियों से कई डेरिवेटिव को एकत्रित करने की सुविधाजनक विधि है।

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

,

जहाँ में इकाई वेक्टर का प्रतिनिधित्व करता है, इस प्रकार के लिए सीमा . इस प्रकार के सामान्यीकृत व्युत्पन्न को वेक्टर के संबंध में स्केलर, f के व्युत्पन्न के रूप में देखा जा सकता है, , और इसका परिणाम वेक्टर रूप में सरलता से एकत्र किया जा सकता है।

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

स्केलर, वैक्टर और आव्यूह का उपयोग करने की कुल नौ संभावनाएँ हैं। ध्यान दें कि जैसा कि हम प्रत्येक स्वतंत्र और आश्रित चर में घटकों की उच्च संख्या पर विचार करते हैं, हम बहुत बड़ी संख्या में संभावनाओं के साथ रह सकते हैं। छह प्रकार के डेरिवेटिव जिन्हें आव्यूह रूप में सबसे अच्छी तरह से व्यवस्थित किया जा सकता है, उन्हें निम्न तालिका में एकत्र किया गया है।[1]

आव्यूह व्युत्पन्न के प्रकार
प्रकार स्केलर वैक्टर आव्यूह
स्केलर
वैक्टर
आव्यूह

यहां हमने आव्यूह शब्द का उपयोग इसके सबसे सामान्य अर्थ में किया है, यह पहचानते हुए कि वैक्टर और स्केलर क्रमशः कॉलम और पंक्ति के साथ आव्यूह का उपयोग होता हैं। इसके अतिरिक्त हमने आव्यूह के लिए बोल्ड अक्षरों और बोल्ड कैपिटल अक्षरों को इंगित करने के लिए बोल्ड अक्षरों का उपयोग किया है। इस संकेतन का प्रयोग सर्वत्र किया जाता है।

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

अन्य अवकलज से संबंध

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

उपयोग

इष्टतम स्टोचैस्टिक अनुमानक प्राप्त करने के लिए आव्यूह कैलकुलस का उपयोग किया जाता है, जिसमें अधिकांशतः लैग्रेंज गुणक का उपयोग सम्मिलित होता है। इसमें निम्न की व्युत्पत्ति सम्मिलित है:

नोटेशन

बड़ी संख्या में चर का प्रतिनिधित्व करने के लिए एकल चर का उपयोग करते हुए, आव्यूह संकेतन का पूरा लाभ उठाने के लिए अनुभागों में प्रस्तुत वेक्टर और आव्यूह डेरिवेटिव का उपयोग होता हैं। इसके पश्चात हम स्केलर, वैक्टर और आव्यूह को उनके टाइपफेस द्वारा अलग करते हैं। हम m (n, m) को n पंक्तियों और m कॉलम के साथ वास्तविक संख्या n × m आव्यूह अंकन स्थान को इंगित करते हैं। इस प्रकार के आव्यूह को बोल्ड कैपिटल लेटर्स: 'A', 'X', 'Y', आदि का उपयोग करके दर्शाया जाता हैं। इस प्रकार m (n, 1) के तत्व, जो कॉलम वेक्टर है, को बोल्डफेस लोअरकेस लेटर के साथ दर्शाया गया है: ' a', 'X', 'Y', आदि। इस प्रकार m (1,1) का तत्व स्केलर है, जिसे लोअरकेस इटैलिक टाइपफेस के साथ दर्शाया गया है: a, t, X, आदि। इसी तरह 'x'T आव्यूह खिसकाना को दर्शाता है, जो tr(X) रूप में ट्रेस (रैखिक बीजगणित) किया जाता है, और det(X) या X का फंक्शन है। जिसके लिए सभी फंक्शन्स को अवकलनीयता वर्ग में C1 के रूप में माना जाता है जब तक अन्यथा नोट न किया गया हो। सामान्यतः वर्णमाला के पहले भाग (ए, बी, सी, ...) के अक्षरों का उपयोग स्थिरांक को दर्शाने के लिए किया जाएगा, और दूसरी छमाही (टी, X, Y, ...) से चर को दर्शाने के लिए आवश्यक हैं।

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

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

विकल्प

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

वैक्टर के साथ डेरिवेटिव्स

क्योंकि सदिश आव्यूह केवल स्तंभ आव्यूह होते हैं, जो सामान्यतः सरलतम आव्यूह के व्युत्पन्न सदिश अवकलज होते हैं।

यहां विकसित अंकन यूक्लिडियन समतल 'R' के साथ n-वैक्टरों के समतल Mn (n, 1) की पहचान करके वेक्टर कैलकुस के सामान्य संचालन को समायोजित कर सकते हैं और अदिश M(1,1) की पहचान 'R' से की जाती है। सदिश कलन से संबंधित अवधारणा प्रत्येक उपधारा के अंत में इंगित की गई है।

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

वेक्टर-बाय-स्केलर

एक यूक्लिडियन वेक्टर का व्युत्पन्न , अदिश (गणित) द्वारा x को (लेआउट परिपाटियों में) के रूप में लिखा जाता है

सदिश कलन में अदिश x के संबंध में सदिश y के व्युत्पन्न को सदिश y के स्पर्शरेखा सदिश के रूप में जाना जाता है, . यहाँ ध्यान दें कि y: R1 → RI

'उदाहरण' के लिए इसके सरल उदाहरणों में यूक्लिडियन समतल में वेग वेक्टर सम्मिलित है, जो स्थिति (वेक्टर) वेक्टर (समय के फंक्शन के रूप में माना जाता है) का स्पर्शरेखा वेक्टर है। साथ ही, त्वरण वेग का स्पर्शरेखा सदिश है।

स्केलर-बाय-वेक्टर

सदिश द्वारा अदिश (गणित) y का व्युत्पन्न , लिखा है (लेआउट फलनों में) के रूप में

सदिश कलन में, समतल 'R' में अदिश क्षेत्र fn की प्रवणता (जिसके स्वतंत्र निर्देशांक 'x' के घटक हैं) सदिश द्वारा अदिश के व्युत्पन्न का स्थानान्तरण है।

उदाहरण के लिए, भौतिकी में, विद्युत क्षेत्र विद्युत क्षमता का ऋणात्मक सदिश प्रवणता है।

स्पेस वेक्टर 'x' के स्केलर फंक्शन f('x') का दिशात्मक व्युत्पन्न यूनिट वेक्टर 'u' (इस स्थिति में कॉलम वेक्टर के रूप में दर्शाया गया है) की दिशा में प्रवणता का उपयोग करके परिभाषित किया गया है।

एक वेक्टर के संबंध में स्केलर के व्युत्पन्न के लिए परिभाषित नोटेशन का उपयोग करके हम दिशात्मक व्युत्पन्न को पुनः लिख सकते हैं।

उत्पाद नियमों और श्रृंखला नियमों को प्रमाणित करते समय इस प्रकार का अंकन अच्छा होगा जो स्केलर डेरिवेटिव के लिए हम परिचित हैं।

वेक्टर-दर-वेक्टर

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

सदिश फलन का व्युत्पन्न (एक सदिश जिसके घटक फलन हैं) , इनपुट वेक्टर के संबंध में, , लिखा है (लेआउट फलनों में) के रूप में

सदिश कैलकुलस में, सदिश x के संबंध में सदिश फलन y का व्युत्पन्न, जिसके घटक स्थान का प्रतिनिधित्व करते हैं, पुशफॉरवर्ड (डिफरेंशियल) या पुशफॉरवर्ड (या डिफरेंशियल) या जैकबियन आव्यूह के रूप में जाना जाता है।

R में वेक्टर v के संबंध में वेक्टर फ़ंक्शन f के साथ पुशफ़ॉरवर्डn द्वारा दिया गया है।

आव्यूह के साथ डेरिवेटिव्स

आव्यूह के साथ दो प्रकार के डेरिवेटिव हैं जिन्हें समान आकार के आव्यूह में व्यवस्थित किया जा सकता है। ये अदिश द्वारा आव्यूह के व्युत्पन्न और आव्यूह द्वारा अदिश के व्युत्पन्न हैं। ये लागू गणित के कई क्षेत्रों में पाई जाने वाली न्यूनीकरण समस्याओं में उपयोगी हो सकते हैं और सदिशों के लिए उनके अनुरूपों के बाद क्रमशः स्पर्शरेखा आव्यूह और ढाल आव्यूह नामों को अपनाया जाता हैं।

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

आव्यूह-बाय-स्केलर

एक अदिश x द्वारा आव्यूह फ़ंक्शन Y के व्युत्पन्न को स्पर्शरेखा आव्यूह के रूप में जाना जाता है और इसे लेआउट फलनों द्वारा दिया जाता है

अदिश-दर-आव्यूह

आव्यूह 'X' के संबंध में स्वतंत्र वैरियेबल के P×Q आव्यूह 'X' के स्केलर Y फ़ंक्शन का व्युत्पन्न (लेआउट फलनों में) द्वारा दिया जाता है

आव्यूह के स्केलर फ़ंक्शंस के महत्वपूर्ण उदाहरणों में आव्यूह का ट्रेस (रैखिक बीजगणित) और निर्धारक सम्मिलित हैं।

वेक्टर कलन के अनुरूप इस व्युत्पन्न को अधिकांशतः निम्नलिखित के रूप में लिखा जाता है।

सदिश कलन के अनुरूप भी, आव्यूह Y की दिशा में आव्यूह X के अदिश f(X) का दिशात्मक व्युत्पन्न द्वारा दिया जाता है।

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

अन्य आव्यूह डेरिवेटिव

जिन तीन प्रकार के डेरिवेटिव पर विचार नहीं किया गया है, वे वे हैं जिनमें वैक्टर-बाय-आव्यूह, आव्यूह-बाय-वैक्टर और आव्यूह-बाय-आव्यूह सम्मिलित हैं। इन्हें व्यापक रूप से नहीं माना जाता है और संकेतन पर व्यापक रूप से सहमति नहीं है।

लेआउट कन्वेंशन

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

मूलभूत मुद्दा यह है कि वेक्टर के संबंध में वेक्टर का व्युत्पन्न, अर्ताथ , अधिकांशतः दो प्रतिस्पर्धी तरीकों से लिखा जाता है। यदि अंश y का आकार m और भाजक x का आकार n है, तो परिणाम को m×n आव्यूह या n×m के रूप में रखा जा सकता है। आव्यूह, अर्ताथ y के तत्व स्तंभों में रखे गए हैं और x के तत्व पंक्तियों में रखे गए हैं, या इसके विपरीत। यह निम्नलिखित संभावनाओं की ओर जाता है:

  1. न्यूमरेटर लेआउट, अर्ताथ y और x के हिसाब से लेआउटटी (अर्थात् x के विपरीत)। इसे कभी-कभी 'जैकोबियन सूत्रीकरण' के रूप में जाना जाता है। यह पिछले उदाहरण में m×n लेआउट से संबंधित है।
  2. डीनॉमिनेटर लेआउट, अर्ताथ Y के हिसाब से लेआउटT और x (अर्ताथ y के विपरीत)। इसे कभी-कभी 'हेस्सियन सूत्रीकरण' के रूप में जाना जाता है। कुछ लेखक इस लेआउट को जैकोबियन (अंकीय लेआउट) के भेद में प्रवणता कहते हैं, जो इसका स्थानान्तरण है। (चूंकि, ढाल का अर्थ सामान्यतः व्युत्पन्न होता है लेआउट की परवाह किए बिना।) यह पिछले उदाहरण में n×m लेआउट से संबंधित है।
  3. कभी-कभी दिखाई देने वाली तीसरी संभावना यह है कि डेरिवेटिव को इस रूप में लिखने पर जोर दिया जाता हैं जिसे द्वारा प्रद्रर्शित करते हैं (अर्थात व्युत्पन्न x के स्थानान्तरण के संबंध में लिया गया है) और अंश लेआउट का पालन करते हैं। इससे यह प्रमाण करना संभव हो जाता है कि आव्यूह को अंश और भाजक दोनों के अनुसार रखा गया है। व्यवहार में यह अंश लेआउट के समान परिणाम उत्पन्न करता है।

ढाल को संभालते समय और विपरीत मामला हमारे पास समान मुद्दे हैं। सुसंगत होने के लिए, हमें निम्नलिखित में से करना चाहिए:

  1. अगर हम न्यूमरेटर लेआउट चुनते हैं हमें प्रवणता रखना चाहिए पंक्ति वेक्टर के रूप में, और स्तंभ वेक्टर के रूप में करते हैं।
  2. अगर हम डिनॉमिनेटर लेआउट चुनते हैं हमें प्रवणता रखना चाहिए स्तंभ वेक्टर के रूप में, और पंक्ति वेक्टर के रूप में करते हैं।
  3. ऊपर तीसरी संभावना में हम लिखते हैं और और न्यूमरेटर लेआउट का उपयोग करते हैं।

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

इसी प्रकार, जब स्केलर-बाय-आव्यूह डेरिवेटिव की बात आती है और आव्यूह-बाय-स्केलर डेरिवेटिव फिर Y और XT के अनुसार क्रमशः न्यूमरेटर लेआउट देता है, जबकि सुसंगत भाजक लेआउट YT के अनुसार निर्धारित होता है और X. के लिए व्यवहारिक रूप से भाजक लेआउट का पालन करना और Yt के अनुसार परिणाम देना, संभवतः ही कभी देखा जाता है क्योंकि यह सूत्रों के लिए बनाता है जो स्केलर सूत्रों के अनुरूप नहीं होते हैं। परिणामस्वरूप, निम्नलिखित लेआउट अधिकांशतः पाए जा सकते हैं:

  1. कंसिसटेंट अंश लेआउट, जो बताता है Y और के अनुसार XT के अनुसार
  2. मिश्रित लेआउट, जो बताता है Y और के अनुसार X के अनुसार
  3. नोटेशन का प्रयोग करें परिणामों के साथ संगत अंश लेआउट के समान होता हैं।

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

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

योग का अधिकतम या न्यूनतम पता लगाने के लिए समुच्चय (वेक्टर या आव्यूह) भाजक के साथ डेरिवेटिव लेते समय, यह ध्यान में रखा जाना चाहिए कि अंश लेआउट का उपयोग करने से ऐसे परिणाम प्राप्त होंगे जो समुच्चय के संबंध में स्थानांतरित किए गए हैं। उदाहरण के लिए, आव्यूह कैलकुलस का उपयोग करके बहुभिन्नरूपी सामान्य वितरण की अधिकतम संभावना का अनुमान लगाने के प्रयास में उपयोगी हैं, यदि डोमेन k×1 कॉलम वेक्टर है, तो अंश लेआउट का उपयोग करने वाला परिणाम 1×k पंक्ति वेक्टर के रूप में होगा। इस प्रकार परिणामों को अंत में स्थानांतरित किया जाना चाहिए या भाजक लेआउट (या मिश्रित लेआउट) का उपयोग किया जाना चाहिए।

विभिन्न प्रकार के समुच्चय को अन्य प्रकार के समुच्चय के साथ विभेदित करने का परिणाम
अदिश Y स्तंभ सदिश y (आकार m×1) आव्यूह Y (आकार m×n)
नोटेशन टाईप नोटेशन टाईप नोटेशन टाईप
अदिश X अंश अदिश आकार-m कॉलम वेक्टर m×n आव्यूह
हर आकार-m पंक्ति वेक्टर
कॉलम वेक्टर X

(आकार n×1)

अंश आकार-n पंक्ति वेक्टर m×n आव्यूह
हर आकार-n स्तंभ वेक्टर n×m आव्यूह
आव्यूह X

(आकार p × q)

अंश q×p आव्यूह
हर p×q आव्यूह

अंश-लेआउट और हर-लेआउट नोटेशन के बीच स्विच करने पर संचालन के परिणाम स्थानांतरित हो जाएंगे।

न्यूमरेटर-लेआउट नोटेशन

अंश-लेआउट संकेतन का उपयोग करते हुए, हमारे पास:[1]

निम्नलिखित परिभाषाएँ केवल अंश-लेआउट संकेतन में प्रदान की जाती हैं:

भाजक-लेआउट संकेतन

भाजक-लेआउट संकेतन का उपयोग करते हुए, हमारे पास:[2]