Macierz Toeplitza

Ten artykuł od 2010-12 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Macierz Toeplitza – macierz mająca te same wartości na poszczególnych przekątnych, tj. macierz postaci

${\displaystyle A={\begin{bmatrix}a_{0}&a_{-1}&a_{-2}&\ldots &\ldots &a_{-n+1}\\a_{1}&a_{0}&a_{-1}&\ddots &&\vdots \\a_{2}&a_{1}&\ddots &\ddots &\ddots &\vdots \\\vdots &\ddots &\ddots &\ddots &a_{-1}&a_{-2}\\\vdots &&\ddots &a_{1}&a_{0}&a_{-1}\\a_{n-1}&\ldots &\ldots &a_{2}&a_{1}&a_{0}\end{bmatrix}}}$

${\displaystyle A={\begin{bmatrix}2&4&7&5\\-6&2&4&7\\0&-6&2&4\\8&0&-6&2\end{bmatrix}}}$

Równanie macierzy w formie ${\displaystyle \mathrm {A} {\text{x}}=b}$ jest nazywane układem Toeplitza jeżeli ${\displaystyle \mathrm {A} }$ jest macierzą Toeplitza. Jeśli ${\displaystyle \mathrm {A} }$ to macierz Toepliza ${\displaystyle n*n}$ to układ ma tylko ${\displaystyle 2n-1}$ stopnie swobody zamiast ${\displaystyle n^{2}.}$ Można więc oczekiwać, że rozwiązanie układu Toeplitza jest łatwiejsze.

Układy Toeplitza można rozwiązać algorytmem Levinsona w czasie ${\displaystyle \Theta (n^{2}).}$ Warianty tego algorytmu są niestabilne (np. wykazują stabilność numeryczną dla dobrze uwarunkowanych systemów linearnych). Algorytm może również zostać wykorzystany do znalezienia wyznacznika macierzy Toeplitza w czasie ${\displaystyle O(n^{2}).}$

Macierz Toeplitza może również być rozłożona w czasie ${\displaystyle O(n^{2})}$ Algorytm Bareissa dla rozkładu LU jest stabilny.

Rozkład LU daje szybki sposób na rozwiązanie układu Toeplitza, jak i obliczenie wskaźnika.

Algorytmy asymptotycznie szybsze niż Bareissa i Levinsona były opisywane, ale ich dokładność nie jest wiarygodna.

Macierz Toeplitza można zdefiniować jako macierz ${\displaystyle \mathrm {A} ,}$ gdzie ${\displaystyle A_{i,j}=c_{i-j},}$ dla stałych ${\displaystyle c_{1-n}...c_{n-1}.}$ Zestaw ${\displaystyle n*n}$ macierzy Toeplitza jest podprzestrzenią przestrzeni wektorowej ${\displaystyle n*n}$ macierzy utworzonej z ciała ${\displaystyle K(V,+,\circ ),}$ gdzie ${\displaystyle V}$ jest przestrzenią wektorową. Dwie macierze Toeplitza można dodać w czasie ${\displaystyle O(n)}$ i pomnożyć w czasie ${\displaystyle O(n^{2}).}$ Macierze Toeplitza są persymetryczne, natomiast symetryczne macierze Toeplitza są zarówno centrosymetryczne, jak i bisymetryczne.

Macierze Toeplitza są też blisko powiązane z szeregami Fouriera, ponieważ operator mnożenia przez wielomian trygonometryczny, skompresowany do przestrzeni o skończonej liczbie wymiarów, może być reprezentowany właśnie przez taką macierz. Podobnie, można przedstawić skręt liniowy jako mnożenie przez macierz Toeplitza.

Macierze Toeplitza komutują asymptotycznie. To oznacza, że diagonalizują one na tej samej bazie gdy wymiar wiersza i kolumny zmierza do nieskończoności.

• macierz Vandermonde’a
• Otto Toeplitz

• Eric W.E.W. Weisstein Eric W.E.W., Toeplitz Matrix, [w:] MathWorld, Wolfram Research [dostęp 2020-12-12]  (ang.).