Ταυτοτικός πίνακας Γούντμπερι

Στα μαθηματικά (συγκεκριμένα στη γραμμική άλγεβρα), ο ταυτοτικός πίνακας Γούντμπερι, που πήρε το όνομά της από τον Μαξ Α. Γούντμπερι,Max A. Woodbury, Inverting modified matrices, Memorandum Rept. 42, Statistical Research Group, Princeton University, Princeton, NJ, 1950, 4pp Max A. Woodbury, The Stability of Out-Input Matrices. Chicago, Ill., 1949. 5 pp.  λέει ότι ο αντίστροφος μιας rank-k διόρθωσης κάποιου πίνακα μπορεί να υπολογιστεί κάνοντας μια rank-k διόρθωση στον αντίστροφο του αρχικού πίνακα. Εναλλακτικά ονόματα για τον τύπο αυτό είναι το λήμμα αντιστροφής πινάκων, ο τύπος Σέρμαν-Μόρισον-Γούντμπερι ή απλά ο τύπος Γούντμπερι. Ωστόσο, η ταυτότητα εμφανίστηκε σε αρκετές εργασίες πριν από την έκθεση Γούντμπερι.

Ο Ταυτοτικός πίνακας Γούντμπερι είναι 

όπου A, U, C και V είναι συμμορφώσιμοι πίνακες: Ο A είναι n×n, ο C είναι k×k, ο U είναι n×k,και ο V είναι k×n. Αυτό μπορεί να προκύψει χρησιμοποιώντας την αντιστροφή πινάκων.

Ενώ η ταυτότητα χρησιμοποιείται κυρίως σε πίνακες, ισχύει σε ένα γενικό δακτύλιο ή σε μια κατηγορία Ab.

Ο Ταυτοτικός πίνακας Γούντμπερι επιτρέπει τον απλό υπολογισμό των αντιστρόφων και των λύσεων των γραμμικών εξισώσεων. Ωστόσο, λίγα είναι γνωστά για την αριθμητική σταθερότητα του τύπου. Δεν υπάρχουν δημοσιευμένα αποτελέσματα σχετικά με τα όρια σφάλματός της. Ανέκδοτα στοιχεία  υποδηλώνει ότι μπορεί να αποκλίνει ακόμη και για φαινομενικά καλά παραδείγματα (όταν τόσο ο αρχικός όσο και ο τροποποιημένος πίνακας είναι καλά προετοιμασμένοι).

 Συζήτηση 
Για να αποδείξουμε αυτό το αποτέλεσμα, θα ξεκινήσουμε με την απόδειξη ενός απλούστερου. Αντικαθιστώντας τους A και C με τον ταυτοτικό πίνακα I, παίρνουμε μια άλλη ταυτότητα που είναι λίγο πιο απλή:

Για να ανακτήσουμε την αρχική εξίσωση από αυτή την μειωμένη ταυτότητα, αντικαθιστούμε το  με το
 και το  με το .

Η ίδια αυτή η ταυτότητα μπορεί να θεωρηθεί ως ο συνδυασμός δύο απλούστερων ταυτοτήτων. Η πρώτη ταυτότητα προκύπτει από

συνεπώς,

και αντίστοιχα

Η δεύτερη ταυτότητα είναι η λεγόμενη push-through identity

την οποία λαμβάνουμε από

αφού πολλαπλασιάσουμε με  στα δεξιά και με  στα αριστερά.

Συνδυάζοντας τα όλα μαζί,

όπου η πρώτη και η δεύτερη ισότητα προέρχονται από την πρώτη και τη δεύτερη ταυτότητα, αντίστοιχα.

 Ειδικές περιπτώσεις 

Όταν  είναι διανύσματα, η ταυτότητα ανάγεται στον τύπο Σέρμαν-Μόρισον.

Στην περίπτωση των κλιμάκων, η μειωμένη εκδοχή είναι απλά

 Αντίστροφο ενός αθροίσματος 

Αν n = k και U = V = In είναι ο ταυτοτικός πίνακας, τότε

Προχωρώντας με τη συγχώνευση των όρων της ακροδεξιάς πλευράς της παραπάνω εξίσωσης προκύπτει η ταυτότητα της Χούα

Μια άλλη χρήσιμη μορφή της ίδιας ταυτότητας είναι

η οποία, σε αντίθεση με τις παραπάνω, είναι έγκυρη ακόμα και αν το  είναι ιδιάζουσα, και έχει μια αναδρομική δομή που δίνει

αν η φασματική ακτίνα του  είναι μικρότερη από ένα. Δηλαδή, αν το παραπάνω άθροισμα συγκλίνει τότε είναι ίσο με .

Αυτή η μορφή μπορεί να χρησιμοποιηθεί σε διαταρακτικές αναπτύξεις όπου το B είναι μια διαταραχή του A.

 Παραλλαγές 

 Διωνυμικό αντίστροφο θεώρημα 

Αν A, B, U, V είναι πίνακες μεγέθους n×n, k×k, n×k, k×n, αντίστοιχα, τότε

υπό την προϋπόθεση ότι τα A και B + BVA−1UB είναι μη-ιδιάζοντες. Η μη-ιδιάζουσα ιδιότητα του τελευταίου απαιτεί την ύπαρξη του B−1, αφού ισούται με  και η τάξη του τελευταίου δεν μπορεί να υπερβαίνει την τάξη του B..

Εφόσον το Β είναι αντιστρέψιμο, οι δύο όροι Β που πλαισιώνουν την παρενθετική αντίστροφη ποσότητα στη δεξιά πλευρά μπορούν να αντικατασταθούν με  γεγονός που οδηγεί στην αρχική ταυτότητα του Γούντμπερι.

Μια παραλλαγή για την περίπτωση που το B είναι μοναδικό και πιθανώς ακόμη και μη τετραγωνικό:

Υπάρχουν επίσης τύποι για ορισμένες περιπτώσεις στις οποίες το Α είναι ιδιάζων. 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,  preprint 

 Ψευδοαντίστροφο με θετικούς ημιπεριορισμένους πίνακες 

Γενικά, η ταυτότητα του Γούντμπερι δεν είναι έγκυρη εάν μία ή περισσότερες αντιστροφές αντικατασταθούν από ψευδοαντιστροφές (Μουρ-Πένροουζ). Ωστόσο, εάν οι  and  είναι θετικά ημιπεπεριορισμένοι και  (υπονοώντας ότι το  είναι το ίδιο θετικά ημιτελές), τότε ο ακόλουθος τύπος παρέχει μια γενίκευση:

όπου  μπορεί να γραφεί ως  επειδή κάθε θετικά ημιτελής πίνακας είναι ίσος με  για κάποιο .

 Παράγωγα 

 Άμεση απόδειξη 
Ο τύπος μπορεί να αποδειχθεί ελέγχοντας ότι  επί το υποτιθέμενο αντίστροφό του στη δεξιά πλευρά της ταυτότητας του Γούντμπερι δίνει τον ταυτοτικό πίνακα:

 Εναλλακτικές αποδείξεις 

Ας εξετάσουμε πρώτα αυτές τις χρήσιμες ταυτότητες,

Τώρα,

Η εξαγωγή της ταυτοτικής ταυτότητας του πίνακα του Γούντμπερι γίνεται εύκολα με την επίλυση του ακόλουθου προβλήματος αντιστροφής του πίνακα

Με την ανάπτυξη, μπορούμε να δούμε ότι τα παραπάνω ανάγονται σε

που ισοδυναμεί με . Εξαλείφοντας την πρώτη εξίσωση, διαπιστώνουμε ότι , το οποίο μπορεί να αντικατασταθεί στο δεύτερο για να βρεθεί . Αναπτύσσοντας και αναδιατάσσοντας, έχουμε , or . Τέλος, αντικαθιστούμε στο , και έχουμε . Συνεπώς,

Παραγάγαμε την ταυτότητα του πίνακα Γούντμπερι.

Αρχίζουμε με τον πίνακα

Εξαλείφοντας την καταχώρηση κάτω από το A (δεδομένου ότι το A είναι αντιστρέψιμο) έχουμε

Ομοίως, η εξάλειψη της καταχώρησης πάνω από το C δίνει

Τώρα συνδυάζοντας τα δύο παραπάνω, έχουμε

Η μετακίνηση προς τη δεξιά πλευρά δίνει

η οποία είναι η αποσύνθεση LDU του σύνθετου πίνακα σε έναν άνω τριγωνικό, διαγώνιο και κάτω τριγωνικό πίνακα.

Τώρα αντιστρέφοντας και τις δύο πλευρές προκύπτει

Θα μπορούσαμε εξίσου καλά να το είχαμε κάνει με τον άλλο τρόπο (υπό την προϋπόθεση ότι το C είναι αντιστρέψιμο), δηλ.

Τώρα και πάλι αντιστρέφοντας και τις δύο πλευρές,

Συγκρίνοντας τώρα τα στοιχεία (1, 1) του RHS των (1) και (2) παραπάνω, προκύπτει ο τύπος Γούντμπερι

 Εφαρμογές 

Η ταυτότητα αυτή είναι χρήσιμη σε ορισμένους αριθμητικούς υπολογισμούς όπου το A−1 έχει ήδη υπολογιστεί και είναι επιθυμητό να υπολογιστεί το (A + UCV)−1. Με το αντίστροφο του A διαθέσιμο, είναι απαραίτητο να βρεθεί μόνο το αντίστροφο του C−1 + VA−1U για να προκύψει το αποτέλεσμα χρησιμοποιώντας το δεξί μέρος της ταυτότητας. Εάν το C έχει πολύ μικρότερη διάσταση από το A, αυτό είναι πιο αποτελεσματικό από την απευθείας αντιστροφή του A + UCV. Μια συνηθισμένη περίπτωση είναι η εύρεση του αντίστροφου μιας χαμηλής τάξης ενημέρωσης A + UCV του A(όπου το U έχει μόνο λίγες στήλες και το V μόνο λίγες γραμμές), ή η εύρεση μιας προσέγγισης του αντίστροφου του πίνακα A + B όπου ο πίνακας B μπορεί να προσεγγιστεί από έναν χαμηλής τάξης πίνακα UCV, για παράδειγμα χρησιμοποιώντας την Ανάλυση πίνακα σε ιδιάζουσες τιμές.

Αυτό εφαρμόζεται, π.χ. στο φίλτρο Κάλμαν και στις αναδρομικές μεθόδους ελαχίστων τετραγώνων, για την αντικατάσταση της παραμετρικής λύσης, που απαιτεί αντιστροφή ενός πίνακα μεγέθους διανύσματος κατάστασης, με μια λύση βασισμένη σε εξισώσεις κατάστασης. Στην περίπτωση του φίλτρου Κάλμαν, ο πίνακας αυτός έχει τις διαστάσεις του διανύσματος των παρατηρήσεων, δηλαδή είναι τόσο μικρός όσο το 1 στην περίπτωση που επεξεργάζεται κάθε φορά μόνο μία νέα παρατήρηση. Αυτό επιταχύνει σημαντικά τους συχνά σε πραγματικό χρόνο υπολογισμούς του φίλτρου.

Στην περίπτωση που ο C είναι ο ταυτοτικός πίνακας I, ο πίνακας  είναι γνωστός στην αριθμητική γραμμική άλγεβρα και στις αριθμητικές μερικές διαφορικές εξισώσεις ως πίνακας χωρητικότητας'''.

 Δημοσιεύσεις 






 Golub G. H., van Loan C. F. (1996), Matrix Computations (Johns Hopkins University Press) §4.7—Toeplitz and Related Systems
 Gray R. M., Toeplitz and Circulant Matrices: A Review'' (Now Publishers) 




 Δείτε επίσης 

 Field Arithmetic
 Πραγματικό προβολικό επίπεδο
 Πραγματικός αριθμός
 Αντιερμιτιανός πίνακας
 Μέγιστος κοινός διαιρέτης
 Ταυτοτικός πίνακας
 Ελάσσων (γραμμική άλγεβρα)
 Προβολή (γραμμική άλγεβρα)
 Διανυσματικός χώρος
 Παραμετρικές εξισώσεις
 Πολλαπλασιασμός πινάκων
 Τριγωνικός πίνακας
 Ανάλυση πίνακα σε ιδιάζουσες τιμές
 Αντιστρέψιμος πίνακας
 High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form

 Εξωτερικοί σύνδεσμοι 

 English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
 Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Matrix calculator
 Matrix Analysis
 Complex-Valued Matrix Derivatives: With Applications in Signal Processing ...
 Exercises of Matrices and Linear Algebra
 Fourier Transforms: Approach to Scientific Principles
 Sampling Theory: Beyond Bandlimited Systems.
 Physics and Combinatorics 2000: Proceedings of the Nagoya 2000 International ...
 Optimal and Robust State Estimation: Finite Impulse Response (FIR) and ...
 The Gaussian Approximation Potential: An Interatomic Potential Derived from ...
 Toeplitz and Circulant Matrices: A Review

 Παραπομπές 

 .
 .
 .
 .
 .

Κατηγορία:Αριθμητική γραμμική άλγεβρα
Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Θεωρήματα της γραμμικής άλγεβρας
Κατηγορία:Πίνακες (μαθηματικά)
Κατηγορία:Θεωρία πινάκων
Κατηγορία:Συνδυαστική