Πίνακας Χίλμπερτ

Στη γραμμική άλγεβρα, ένας πίνακας Χίλμπερτ, που εισήχθη από τον Χίλμπερτ (Πρότυπο:Harvs), είναι ένας τετραγωνικός πίνακας με καταχωρήσεις τα μοναδιαία κλάσματα

$H_{ij}=\frac{1}{i+j-1}.$

Παραδείγματος χάριν, αυτός είναι ο πίνακας Χίλμπερτ 5 × 5:

$H=\left[\begin{array}{ccccc}1& \frac{1}{2}& \frac{1}{3}& \frac{1}{4}& \frac{1}{5}\\ \frac{1}{2}& \frac{1}{3}& \frac{1}{4}& \frac{1}{5}& \frac{1}{6}\\ \frac{1}{3}& \frac{1}{4}& \frac{1}{5}& \frac{1}{6}& \frac{1}{7}\\ \frac{1}{4}& \frac{1}{5}& \frac{1}{6}& \frac{1}{7}& \frac{1}{8}\\ \frac{1}{5}& \frac{1}{6}& \frac{1}{7}& \frac{1}{8}& \frac{1}{9}\end{array}\right].$

Οι καταχωρήσεις μπορούν επίσης να οριστούν από το ολοκλήρωμα

$H_{ij}=\underset{0}{\overset{1}{\int }}{x}^{i+j-2}dx,$

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

Οι πίνακες Χίλμπερτ είναι τα κανονικά παραδείγματα κακώς εξαρτημένων πινάκων, οι οποίοι είναι γνωστό ότι είναι δύσκολο να χρησιμοποιηθούν στην Αριθμητική ανάλυση. Παραδείγματος χάριν, ο αριθμός συνθήκης 2-norm του παραπάνω πίνακα είναι περίπου 4.8Πρότυπο:E.

Ιστορική σημείωση

Ο Πρότυπο:Harvtxt εισήγαγε τον πίνακα Χίλμπερτ για να μελετήσει το ακόλουθο ερώτημα στη θεωρία προσέγγισης: "Έστω ότι Πρότυπο:Nowrap, είναι ένα πραγματικό διάστημα. Είναι τότε δυνατόν να βρεθεί ένα μη μηδενικό πολυώνυμο P με ακέραιους συντελεστές, τέτοιο ώστε το ολοκλήρωμα

$\underset{a}{\overset{b}{\int }}P(x{)}^{2}dx$

είναι μικρότερη από οποιοδήποτε δεδομένο όριο ε > 0, που λαμβάνεται αυθαίρετα μικρό;" Για να απαντηθεί αυτό το ερώτημα, ο Χίλμπερτ εξάγει έναν ακριβή τύπο για την ορίζουσα των πινάκων Χίλμπερτ και διερευνά την ασυμπτωτική τους. Καταλήγει στο συμπέρασμα ότι η απάντηση στο ερώτημά του είναι θετική αν το μήκος Πρότυπο:Nowrap του διαστήματος είναι μικρότερο από 4.

Ιδιότητες

Ο πίνακας Χίλμπερτ είναι συμμετρικός και θετικά ορισμένος. Ο πίνακας Χίλμπερτ είναι επίσης ολικά θετικός (που σημαίνει ότι η ορίζουσα κάθε υποπίνακα είναι θετική).

Ο πίνακας Χίλμπερτ αποτελεί παράδειγμα πίνακα Χάνκελ. Είναι επίσης ένα ειδικό παράδειγμα ενός πίνακα Κωσύ (Cauchy).

Η ορίζουσα μπορεί να εκφραστεί σε κλειστή μορφή, ως ειδική περίπτωση της ορίζουσας Κωσύ (Cauchy). Η ορίζουσα δύναμη του πίνακα Χίλμπερτ n × n είναι

$\det (H)=\frac{c_n^4}{c_{2n}},$

όπου

$c_n=\prod _{i=1}^{n-1}{i}^{n-i}=\prod _{i=1}^{n-1}i!.$

Ο Χίλμπερτ είχε ήδη αναφέρει το παράξενο γεγονός ότι η ορίζουσα του πίνακα Χίλμπερτ είναι το αντίστροφο ενός ακέραιου αριθμού (βλ. ακολουθία Πρότυπο:OEIS2C στο OEIS), το οποίο προκύπτει επίσης από την ταυτότητα

$\frac{1}{\det (H)}=\frac{c_{2n}}{c_n^4}=n!\cdot \prod _{i=1}^{2n-1}(\genfrac{}{}{0ex}{}{i}{[i/2]}).$

Χρησιμοποιώντας την προσέγγιση του Στίρλινγκ του παραγοντικού, μπορεί κανείς να καθορίσει το ακόλουθο ασυμπτωτικό αποτέλεσμα:

$\det (H)\sim a_n{n}^{-1/4}(2\pi {)}^n{4}^{-n^2},$

όπου a_n συγκλίνει στη σταθερά $e^{1/4}{2}^{1/12}{A}^{-3}\approx 0.6450$ καθώς $n\to \mathrm{\infty }$, όπου A είναι η σταθερά Γκλάισερ-Κίνκελιν.

Ο αντίστροφος του πίνακα Χίλμπερτ μπορεί να εκφραστεί σε κλειστή μορφή χρησιμοποιώντας διωνυμικούς συντελεστές- οι καταχωρήσεις του είναι

$(H^{-1}{)}_{ij}=(-1{)}^{i+j}(i+j-1)(\genfrac{}{}{0ex}{}{n+i-1}{n-j})(\genfrac{}{}{0ex}{}{n+j-1}{n-i}){(\genfrac{}{}{0ex}{}{i+j-2}{i-1})}^2,$

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

${\left[\begin{array}{ccccc}1& \frac{1}{2}& \frac{1}{3}& \frac{1}{4}& \frac{1}{5}\\ \frac{1}{2}& \frac{1}{3}& \frac{1}{4}& \frac{1}{5}& \frac{1}{6}\\ \frac{1}{3}& \frac{1}{4}& \frac{1}{5}& \frac{1}{6}& \frac{1}{7}\\ \frac{1}{4}& \frac{1}{5}& \frac{1}{6}& \frac{1}{7}& \frac{1}{8}\\ \frac{1}{5}& \frac{1}{6}& \frac{1}{7}& \frac{1}{8}& \frac{1}{9}\end{array}\right]}^{-1}=\left[\begin{array}{ccccc}25& -300& 1050& -1400& 630\\ -300& 4800& -18900& 26880& -12600\\ 1050& -18900& 79380& -117600& 56700\\ -1400& 26880& -117600& 179200& -88200\\ 630& -12600& 56700& -88200& 44100\end{array}\right].$

Ο αριθμός κατάστασης του n × n πίνακα Χίλμπερτ αυξάνεται ως $O({(1+\sqrt{2})}^{4n}/\sqrt{n})$.

Εφαρμογές

Η μέθοδος των ροπών εφαρμοσμένη σε πολυωνυμικές κατανομές οδηγεί σε έναν πίνακα Χάνκελ, που στην ειδική περίπτωση της προσέγγισης μιας κατανομής πιθανότητας στο διάστημα [0, 1] οδηγεί σε έναν πίνακα Χίλμπερτ. Αυτός ο πίνακας πρέπει να αντιστραφεί για να ληφθούν οι παράμετροι βάρους της προσέγγισης της πολυωνυμικής κατανομής.

Δείτε επίσης

• Field Arithmetic
• Πραγματικό προβολικό επίπεδο
• Εσωτερικό γινόμενο
• Αντιερμιτιανός πίνακας
• Πίνακας (μαθηματικά)
• Τριγωνικός πίνακας
• Πραγματικός αριθμός
• Προβολή (γραμμική άλγεβρα)
• Ωγκυστέν-Λουί Κωσύ
• Ντάβιντ Χίλμπερτ
• Διωνυμικός συντελεστής
• High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form
• Algorithm overview

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

• English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
• Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
• Matrix calculator
• Matrix Analysis
• Complex-Valued Matrix Derivatives: With Applications in Signal Processing ...
• Integral Matrices
• An Introduction to Computational Physics
• Elements of Hilbert Spaces and Operator Theory
• Applications of Computational Algebraic Geometry
• A Hilbert Space Problem Book
• Iterated Function Systems, Moments, and Transformations of Infinite Matrices

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

• Πρότυπο:Cite journal
• Πρότυπο:Cite book
• Πρότυπο:Citation
• Πρότυπο:Cite journal
• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:Citation. Reprinted in Πρότυπο:Cite book
• Πρότυπο:Cite journal
• Πρότυπο:Cite journal
• Πρότυπο:Cite journal
• Πρότυπο:Cite book

Παραπομπές

• Jean van Heijenoort, 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press.
• Πρότυπο:Cite book - an accessible set of lectures originally for the citizens of Göttingen.
• Πρότυπο:Cite book