वुडबरी आव्यूह समरूपता
गणित में (विशेष रूप से रैखिक बीजगणित), वुडबरी आव्यूह समरूपता, जिसका नाम मैक्स ए। वुडबरी के नाम पर रखा गया है,[1][2] जो यह कहते है कि कुछ आव्यूह (गणित) के पद-k सुधार के व्युत्क्रम की गणना मूल आव्यूह के व्युत्क्रम में पद-k सुधार करके की जा सकती है। इस सूत्र के वैकल्पिक नाम 'आव्यूह व्युत्क्रमता लेम्मा', 'शर्मन-मॉरिसन-वुडबरी सूत्र' या मात्र 'वुडबरी सूत्र' हैं। यद्यपि, वुडबरी रिपोर्ट से पहले यह समरूपता कई लेखों में छपी थी।[3][4]
वुडबरी आव्यूह समरूपता[5]
है, जहां A, U, C और V अनुरूप आव्यूह हैं: A n×n है, C k×k है, U n×k है, और V k×n है। इसे व्युत्क्रमणीय आव्यूह ब्लॉक वार व्युत्क्रम का उपयोग करके प्राप्त किया जा सकता है।
जबकि समरूपता मुख्य रूप से आव्यूह पर उपयोग की जाती है, यह सामान्य वलय (गणित) या Ab-श्रेणी में होती है।
वुडबरी आव्यूह समरूपता व्युत्क्रमों की तुच्छ गणना और रैखिक समीकरणों के हल की अनुमति देती है। यद्यपि, सूत्र की संख्यात्मक स्थिरता के विषय में बहुत कम सूचना है। इसकी त्रुटि सीमा के संबंध में कोई प्रकाशित परिणाम नहीं हैं। उपाख्यानात्मक प्रमाण [6] से पता चलता है कि यह प्रतीत होने वाले सौम्य उदाहरणों के लिए भी भिन्न हो सकता है (जब मूल और संशोधित आव्यूह दोनों ठीक रूप से प्रतिबंधित हैं)।
चर्चा
इस परिणाम को सिद्ध करने के लिए, हम सरल परिणाम को सिद्ध करके प्रारम्भ करेंगे। A और C को समरूपता आव्यूह I के साथ प्रतिस्थापित करने पर, हमें और समरूपता प्राप्त होती है जो थोड़ी सरल है:
इस घटी हुई समरूपता से मूल समीकरण को पुनः प्राप्त करने के लिए, समुच्चय और है।
इस समरूपता को ही दो सरल समरूपताों के संयोजन के रूप में देखा जा सकता है। हम पहली समरूपता
से प्राप्त करते हैं, इस प्रकार,
- ,
और इसी प्रकार
दूसरी समरूपता तथाकथित पुश-थ्रू समरूपता[7]
है जिसे हम दाईं ओर और बाईं ओर
से गुणा करने के बाद
से प्राप्त करते हैं।
सभी को एक साथ रखने पर,
जहां पहली और दूसरी समानता क्रमशः पहली और दूसरी समरूपता से आती है।
विशेष स्थिति
जब सदिश होते हैं, तो समरूपता शर्मन-मॉरिसन सूत्र तक कम हो जाती है।
अदिश स्थिति में, घटा हुआ संस्करण मात्र
- है।
योग का व्युत्क्रम
यदि n = k और U = V = In तो, समरूपता आव्यूह है
उपरोक्त समीकरण के सबसे दाईं ओर के पदों के विलय को जारी रखने से हुआ की समरूपता होती है
इसी समरूपता का और उपयोगी रूप है
जो, उपरोक्त के विपरीत, भले ही मान्य हो एकवचन है, और इसमें पुनरावर्ती संरचना है जो उत्पन्न करती है
यदि की वर्णक्रमीय त्रिज्या से कम है। अर्थात यदि उपरोक्त योग एकत्रित हो जाए तो बराबर हो जाता है ।
इस फॉर्म का उपयोग गड़बड़ी वाले विस्तारों में किया जा सकता है जहां बी ए का गड़बड़ी है।
विविधताएँ
द्विपद व्युत्क्रम प्रमेय
यदि A, B, U, V क्रमशः n×n, k×k, n×k, k×n आकार के आव्यूह हैं, तो
ए और बी + बीवीए प्रदान किया गया−1B एकवचन नहीं हैं। अक्षर की गैर विलक्षणता के लिए आवश्यक है कि बी−1 अस्तित्व में है क्योंकि यह बराबर है B(I + VA−1UB) और बाद वाले का पद बी के पद से अधिक नहीं हो सकता।[7] चूँकि B व्युत्क्रमणीय है, दाहिनी ओर कोष्ठक में व्युत्क्रमित मात्रा को दर्शाने वाले दो B पदों को प्रतिस्थापित किया जा सकता है (B−1)−1, जिसके परिणामस्वरूप मूल वुडबरी समरूपता प्राप्त होती है।
जब B एकवचन हो और संभवतः गैर-वर्ग भी हो, तो इसके लिए भिन्नता:[7]
कुछ मामलों के लिए सूत्र भी मौजूद हैं जिनमें A एकवचन है।[8]
सकारात्मक अर्धनिश्चित आव्यूह के साथ छद्म व्युत्क्रम
सामान्य तौर पर वुडबरी की समरूपता मान्य नहीं है यदि या अधिक व्युत्क्रमों को मूर-पेनरोज़ व्युत्क्रम|(मूर-पेनरोज़) स्यूडो व्युत्क्रम द्वारा प्रतिस्थापित किया जाता है। यद्यपि, यदि और सकारात्मक अर्धनिश्चित आव्यूह हैं, और (इसका तात्पर्य यह है कि स्वयं सकारात्मक अर्धनिश्चित है), तो निम्न सूत्र सामान्यीकरण प्रदान करता है:[9][10]
कहाँ के रूप में लिखा जा सकता है क्योंकि कोई भी सकारात्मक अर्धनिश्चित आव्यूह बराबर है कुछ के लिए ।
व्युत्पत्तियाँ
प्रत्यक्ष प्रमाण
उसकी जांच करके सूत्र को सिद्ध किया जा सकता है कई बार वुडबरी समरूपता के दाईं ओर इसका कथित उलटा समरूपता आव्यूह देता है:
वैकल्पिक प्रमाण
style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " | Algebraic proof
|
---|
पहले इन उपयोगी पहचानों पर विचार करें, अब, |
style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " | Derivation via blockwise elimination
|
---|
वुडबरी मैट्रिक्स पहचान प्राप्त करना निम्नलिखित ब्लॉक मैट्रिक्स व्युत्क्रम समस्या को हल करके आसानी से किया जाता है विस्तार करते हुए, हम देख सकते हैं कि उपरोक्त कम हो जाता है जो के बराबर है . पहले समीकरण को हटाकर, हम उसे पाते हैं , जिसे खोजने के लिए दूसरे में प्रतिस्थापित किया जा सकता है . विस्तार और पुनर्व्यवस्थित करना, हमारे पास है , या . अंत में, हम अपने में स्थानापन्न करते हैं , और हमारे पास है . इस प्रकार, हमने वुडबरी मैट्रिक्स पहचान प्राप्त की है। |
style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " | Derivation from LDU decomposition
|
---|
हम मैट्रिक्स से शुरू करते हैं ए के अंतर्गत प्रविष्टि को हटाने पर (यह देखते हुए कि ए उलटा है) हमें मिलता है इसी तरह, C से ऊपर की प्रविष्टि को हटा देना अब उपरोक्त दोनों को मिलाने पर हमें प्राप्त होता है दायीं ओर जाने से लाभ मिलता है जो ब्लॉक मैट्रिक्स का ऊपरी त्रिकोणीय, विकर्ण और निचले त्रिकोणीय मैट्रिक्स में एलडीयू अपघटन है। अब दोनों पक्षों को उलटने पर प्राप्त होता है हम इसे दूसरे तरीके से भी समान रूप से अच्छी तरह से कर सकते थे (बशर्ते कि C उलटा हो) यानी। अब फिर से दोनों पक्षों को उलटा करके, अब उपरोक्त (1) और (2) के आरएचएस के तत्वों (1, 1) की तुलना करने से वुडबरी फॉर्मूला मिलता है |
अनुप्रयोग
यह समरूपता कुछ संख्यात्मक गणनाओं में उपयोगी है जहां ए−1 की गणना पहले ही की जा चुकी है और (ए+यूसीवी) की गणना करना वांछित है−1। A का व्युत्क्रम उपलब्ध होने पर, केवल C का व्युत्क्रम ज्ञात करना आवश्यक है−1 + वीए−1यू समरूपता के दाईं ओर का उपयोग करके परिणाम प्राप्त करने के लिए। यदि C का आयाम A से बहुत छोटा है, तो यह A + UCV को सीधे उलटने की तुलना में अधिक कुशल है। सामान्य मामला ए के निम्न-पद अपडेट ए + यूसीवी (जहां यू में केवल कुछ कॉलम हैं और वी में केवल कुछ पंक्तियां हैं) का व्युत्क्रम ढूंढना है, या आव्यूह ए + बी के व्युत्क्रम का अनुमान लगाना है जहां आव्यूह बी को निम्न-पद आव्यूह यूसीवी द्वारा अनुमानित किया जा सकता है, उदाहरण के लिए एकवचन मूल्य अपघटन का उपयोग करना।
इसे लागू किया जाता है, उदाहरण के लिए, कलमन फ़िल्टर और पुनरावर्ती न्यूनतम वर्ग विधियों में, पैरामीट्रिक हल को बदलने के लिए, स्थिति समीकरण आधारित हल के साथ, राज्य सदिश आकार आव्यूह के व्युत्क्रम की आवश्यकता होती है। कलमन फ़िल्टर के स्थिति में इस आव्यूह में अवलोकनों के सदिश के आयाम होते हैं, यानी, समय में केवल नया अवलोकन संसाधित होने की स्थिति में 1 जितना छोटा होता है। यह फ़िल्टर की अक्सर वास्तविक समय गणनाओं को महत्वपूर्ण रूप से गति देता है।
उस स्थिति में जब C समरूपता आव्यूह I है, आव्यूह संख्यात्मक रैखिक बीजगणित और संख्यात्मक आंशिक अंतर समीकरणों में कैपेसिटेंस आव्यूह के रूप में जाना जाता है।[4]
यह भी देखें
- शर्मन-मॉरिसन सूत्र
- शूर पूरक
- आव्यूह निर्धारक लेम्मा, निर्धारक के लिए पद-k अद्यतन के लिए सूत्र
- उलटा आव्यूह
- मूर-पेनरोज़ स्यूडोइनवर्स#स्यूडोइनवर्स को अद्यतन कर रहा है
टिप्पणियाँ
- ↑ Max A. Woodbury, Inverting modified matrices, Memorandum Rept. 42, Statistical Research Group, Princeton University, Princeton, NJ, 1950, 4pp MR38136
- ↑ Max A. Woodbury, The Stability of Out-Input Matrices. Chicago, Ill., 1949. 5 pp. MR32564
- ↑ Guttmann, Louis (1946). "Enlargement methods for computing the inverse matrix". Ann. Math. Statist. 17 (3): 336–343. doi:10.1214/aoms/1177730946.
- ↑ 4.0 4.1 Hager, William W. (1989). "Updating the inverse of a matrix". SIAM Review. 31 (2): 221–239. doi:10.1137/1031049. JSTOR 2030425. MR 0997457.
- ↑ Higham, Nicholas (2002). संख्यात्मक एल्गोरिदम की सटीकता और स्थिरता (2nd ed.). SIAM. p. 258. ISBN 978-0-89871-521-7. MR 1927606.
- ↑ "MathOverflow discussion". MathOverflow.
- ↑ 7.0 7.1 7.2 Henderson, H. V.; Searle, S. R. (1981). "आव्यूहों के योग का व्युत्क्रम निकालने पर" (PDF). SIAM Review. 23 (1): 53–60. doi:10.1137/1023004. hdl:1813/32749. JSTOR 2029838.
- ↑ Kurt S. Riedel, "A Sherman–Morrison–Woodbury Identity for Rank Augmenting Matrices with Application to Centering", SIAM Journal on Matrix Analysis and Applications, 13 (1992)659-662, doi:10.1137/0613040 preprint MR1152773
- ↑ Bernstein, Dennis S. (2018). Scalar, Vector, and Matrix Mathematics: Theory, Facts, and Formulas (Revised and expanded ed.). Princeton: Princeton University Press. p. 638. ISBN 9780691151205.
- ↑ Schott, James R. (2017). सांख्यिकी के लिए मैट्रिक्स विश्लेषण (Third ed.). Hoboken, New Jersey: John Wiley & Sons, Inc. p. 219. ISBN 9781119092483.
- Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), "Section 2.7.3. Woodbury Formula", Numerical Recipes: The Art of Scientific Computing (3rd ed.), New York: Cambridge University Press, ISBN 978-0-521-88068-8