Macierz Toeplitza

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

$A=\left[\begin{array}{cccccc}{a}_0& a_{-1}& a_{-2}& \dots & \dots & a_{-n+1}\\ a_1& a_0& a_{-1}& \ddots & & ⋮\\ a_2& a_1& \ddots & \ddots & \ddots & ⋮\\ ⋮& \ddots & \ddots & \ddots & a_{-1}& a_{-2}\\ ⋮& & \ddots & a_1& a_0& a_{-1}\\ a_{n-1}& \dots & \dots & a_2& a_1& a_0\end{array}\right]$

Przykład

$A=\left[\begin{array}{cccc}2& 4& 7& 5\\ -6& 2& 4& 7\\ 0& -6& 2& 4\\ 8& 0& -6& 2\end{array}\right]$

Rozwiązywanie

Równanie macierzy w formie $\mathrm{A}\text{x}=b$ jest nazywane układem Toeplitza jeżeli $\mathrm{A}$ jest macierzą Toeplitza. Jeśli $\mathrm{A}$ to macierz Toepliza $n*n$ to układ ma tylko $2n-1$ stopnie swobody zamiast $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 $\mathrm{\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 $O(n^2).$

Macierz Toeplitza może również być rozłożona w czasie $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.

Właściwości

Macierz Toeplitza można zdefiniować jako macierz $\mathrm{A},$ gdzie $A_{i,j}=c_{i-j},$ dla stałych $c_{1-n}...c_{n-1}.$ Zestaw $n*n$ macierzy Toeplitza jest podprzestrzenią przestrzeni wektorowej $n*n$ macierzy utworzonej z ciała $K(V,+,\circ ),$ gdzie $V$ jest przestrzenią wektorową. Dwie macierze Toeplitza można dodać w czasie $O(n)$ i pomnożyć w czasie $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.

Zobacz też

• macierz Vandermonde’a
• Otto Toeplitz

Linki zewnętrzne

• Szablon:MathWorld