Macierzowa reprezentacja tensorów

Szablon:Dopracować Macierzowa reprezentacja tensorów – forma reprezentacji tensorów z wykorzystaniem macierzy. Podstawowa zasada macierzowej reprezentacji tensorów brzmi: każdy indeks górny tensora musi być związany z jakąś kolumną, każdy indeks dolny musi być związany z jakimś wierszem.

Tensor I rzędu

Tensor I rzędu, czyli wektor $\overrightarrow{v},$ standardowo jest wyrażony z wykorzystaniem współrzędnych kowariantnych (jako wektor wierszowy, z dolnymi indeksami)

$\overrightarrow{v}=[v_i]=\left[\begin{array}{cccc}{v}_1& v_2& \dots & v_n\end{array}\right]$

lub kontrawariantnych (jako wektor kolumnowy, z górnymi indeksem)

$\overrightarrow{v}=[v^i]=\left[\begin{array}{c}{v}^1\\ v^2\\ ⋮\\ v^n\end{array}\right]$

Dla ortogonalnych układów współrzędnych zachodzi równość współrzędnych ko- i kontrawairantnych, tj. $v_i=v^j$ i w związku z tym w takich układach zwykle stosuje się tylko dolne indeksy.

Tensor II rzędu

Układ ortogonalny

Ponieważ w układzie ortogonalnym mamy równość współrzędnych ko- i kontrawariantnych, zatem tensor II rzędu zapisujemy, korzystając tylko z dolnych indeksów, a jego postać macierzowa może być następująca

$T=[T_{ij}]=\left[\begin{array}{cccc}{T}_{11}& T_{12}& \dots & T_{1n}\\ T_{21}& T_{22}& \dots & T_{2n}\\ ⋮\\ T_{n1}& T_{n2}& \dots & T_{nn}\end{array}\right]$

Układ nieortogonalny

Wprowadzenie

Jeżeli układ współrzędnych nie jest ortogonalny, to nie można zastosować formy macierzowej dla układów ortogonalnych, ponieważ taka forma zapisu tensora „gubi” informację dotyczącą wariancji – co obrazuje poniższy przykład:

Weźmy tensor metryczny (występujący w teorii względności) $\eta =[{\eta }_{ij}]$ i wykonajmy iloczyn wewnętrzny z wektorem kontrawariantny $\overrightarrow{v}=[v^j].$ Z własności tensora metrycznego wynika, że powinniśmy otrzymać wektor wierszowy (kowariantny – czyli z indeksem dolnym $[v_i]$). Korzystając z notacji sumacyjnej i definicji iloczynu wewnętrznego tensorów, w zapisie wskaźnikowym mamy

${\eta }_{ij}\cdot v^j=v_i,$

zatem po prawej stronie równości dostajemy oczekiwany wektor kowariantny (wierszowy, czyli z dolnym indeksem). Natomiast zobaczmy, co się stanie, gdy użyjemy zapisu macierzowego używanego w układach ortogonalnych

$\eta \cdot \overrightarrow{v}=[{\eta }_{ij}]\cdot [v^j]\left[\begin{array}{cccc}-1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 1\end{array}\right]\cdot \left[\begin{array}{c}t\\ x\\ y\\ z\end{array}\right]=\left[\begin{array}{c}-t\\ x\\ y\\ z\end{array}\right]$

Dostaliśmy wektor kolumnowy jako rezultat, a powinien wyjść wierszowy. Zatem powyższy zapis macierzowy wraz z działaniem mnożenia macierzy nie odwzorował prawidłowo działania iloczynu wewnętrznego tensorów, gdyż „zagubił” informacje o wariancji wektora wynikowego. Zatem taka forma macierzowa tensora $\eta$ nie jest prawidłowa.

Notacja

W literaturze często nie uwzględnia się wyżej opisanego problemu i stosuje dla układów nieortogonalnych błędną reprezentację tensora II rzędu w formie macierzy. Niemniej jednak w nieortogonalnych układach można przedstawić ów tensor prawidłowo, używając notacji macierzowej w taki sposób, aby mnożenie macierzy z wektorem prawidłowo odwzorowywało iloczyn wewnętrzny tensorów. Mianowicie:

• tensor z dwoma indeksami kowariantnymi (dolnymi) zapiszmy jako jednowierszową macierz której elementami są wektory wierszowe

$[T_{ij}]=[[T_{1j}][T_{2j}]\dots [T_{nj}]]=[[T_{11}{T}_{12}\dots T_{1n}][T_{21}{T}_{22}\dots T_{2n}]\dots [T_{n1}{T}_{n2}\dots T_{nn}]]$

nie należy mylić takiego indeksowania ze standardowym indeksowaniem macierzowym, bo choć mamy tutaj dwa indeksy dolne, to jednak lewy dolny indeks nie dotyczy numeru wiersza (gdyż macierz jest jednowierszowa).

Detale

Iloczyn wewnętrzny $T_{ij}\cdot v^i=P_j$ zwracający wektor kowariantny (wierszowy) zgadza się z wynikiem mnożenia macierzowego dla tak przyjętej postaci tensora (czyli wektor wierszowy którego elementem są wektory wierszowe) $T\cdot v=[T_{ij}]\cdot [v^i]=[T_{1j}]v^1+[T_{2j}]v^2+\dots +[T_{nj}]v^n$ $=\left[\begin{array}{cccc}(v^1{T}_{11}+v^2{T}_{21}+\dots +v^n{T}_{n1})& (v^1{T}_{12}+v^2{T}_{22}+\dots +v^n{T}_{n2})& \dots & (v^1{T}_{1n}+v^2{T}_{2n}+\dots +v^n{T}_{nn})\end{array}\right]=[P_j]$

• tensor mieszany zapiszmy jako macierz, w której wiersze odpowiadają indeksowi kowariantnemu (dolnemu), a kolumny odpowiadają indeksowi kontrawariantemu (górnemu)

$[T_i^j]=\left[\begin{array}{cccc}{T}_1^1& T_2^1& \dots & T_n^1\\ T_1^2& T_2^2& \dots & T_n^2\\ ⋮\\ T_1^n& T_2^n& \dots & T_n^n\end{array}\right]$

nie należy tego indeksowania mylić z konwencjonalnym indeksowaniem macierzy, w którym lewy dolny indeks oznacza wiersz, a prawy dolny kolumnę – gdyż tutaj dolny oznacza kolumnę, górny oznacza wiersz, a prawy dolny w ogóle nie istnieje.

Detale

Tensor mieszany można przedstawić również na inne sposoby wektor kolumnowy którego elementy to wektory wierszowe $[T_i^j]=\left[\begin{array}{c}[T_i^1]\\ [T_i^2]\\ ⋮\\ [T_i^n]\end{array}\right]=\left[\begin{array}{c}[T_1^1{T}_2^1\dots T_n^1]\\ [T_1^2{T}_2^2\dots T_n^2]\\ ⋮\\ [T_1^n{T}_2^n\dots T_n^n]\end{array}\right]$ wektor wierszowy którego elementy to wektory kolumnowe $[T_i^j]=[[T_1^j][T_2^j]\dots [T_n^j]]=\left[\begin{array}{cccc}\left[\begin{array}{c}{T}_1^1\\ T_1^2\\ ⋮\\ T_1^n\end{array}\right]& \left[\begin{array}{c}{T}_2^1\\ T_2^2\\ ⋮\\ T_2^n\end{array}\right]& \dots & \left[\begin{array}{c}{T}_n^1\\ T_n^2\\ ⋮\\ T_n^n\end{array}\right]\end{array}\right]$ Jednak zwykle nie są one używane, gdyż zawierają nadmiarową informację (dotyczącej wierszowej/kolumnowej struktury elementów)

• tensor z dwoma indeksami kontrawariantnymi (górnymi) zapiszmy jako jednokolumnową macierz, której elementami są wektory kolumnowe

$[T^{ij}]=\left[\begin{array}{c}\left[\begin{array}{c}{T}^{11}\\ T^{12}\\ ⋮\\ T^{1n}\end{array}\right]\\ \left[\begin{array}{c}{T}^{21}\\ T^{22}\\ ⋮\\ T^{2n}\end{array}\right]\\ ⋮\\ \left[\begin{array}{c}{T}^{n1}\\ T^{n2}\\ ⋮\\ T^{nn}\end{array}\right]\end{array}\right]$

Detale

Iloczyn wewnętrzny $T^{ij}\cdot v_i=v_i\cdot T^{ij}=P^j$ zwracający wektor kontrawariantny (kolumnowy) zgadza się z wynikiem mnożenia macierzowego (zauważmy, że aby je wykonać, musimy mnożyć przez wektor wierszowy z lewej strony) $v\cdot T=[v_i]\cdot [T^{ij}]=v_1\cdot [T^{1j}]+v_2\cdot [T^{2j}]+\dots +v_n\cdot [T^{nj}]$ $=\left[\begin{array}{c}{v}_1{T}^{11}+v_2{T}^{21}+\dots +v_n{T}^{n1}\\ v_1{T}^{12}+v_2{T}^{22}+\dots +v_n{T}^{n2}\\ ⋮\\ v_1{T}^{1n}+v_2{T}^{2n}+\dots +v_n{T}^{nn}\end{array}\right]=[P^j]$

W podobny sposób można reprezentować tensory wyższych rzędów. Zwróćmy też uwagę, że iloczyn wewnętrzny tensorów zawiera w sobie operację kontrakcji, która zezwala na sumowanie tylko po indeksach o przeciwnej wariancji (co współgra z działaniem mnożenia macierzy, tj. macierz może być wymnożona tylko lewostronnie przez wektor wierszowy, a tylko prawostronnie przez wektor kolumnowy).

Przykłady

Tensor 2 rzędu

Dla wspomnianego wcześniej tensora metrycznego $\eta =[{\eta }_{ij}]$ i zastosowaniu powyższej notacji dostajemy

$\eta \cdot \overrightarrow{v}=\left[\begin{array}{cccc}\left[\begin{array}{cccc}-1& 0& 0& 0\end{array}\right]& \left[\begin{array}{cccc}0& 1& 0& 0\end{array}\right]& \left[\begin{array}{cccc}0& 0& 1& 0\end{array}\right]& \left[\begin{array}{cccc}0& 0& 0& 1\end{array}\right]\end{array}\right]\cdot \left[\begin{array}{c}t\\ x\\ y\\ z\end{array}\right]$

$=t\left[\begin{array}{cccc}-1& 0& 0& 0\end{array}\right]+x\left[\begin{array}{cccc}0& 1& 0& 0\end{array}\right]+y\left[\begin{array}{cccc}0& 0& 1& 0\end{array}\right]+z\left[\begin{array}{cccc}0& 0& 0& 1\end{array}\right]=\left[\begin{array}{cccc}-t& x& y& z\end{array}\right]$

jak widać teraz dostaliśmy oczekiwany wektor wierszowy.

Tensory wyższych rzędów

W ten sposób możemy zapisać tensory wyższych rzędów, zachowując informację o wariancji ich indeksów, np.

• dla symbol Christoffela drugiego rodzaju ${\mathrm{\Gamma }}_{ij}^k$ postacią będzie macierz której elementami są wektory wierszowe

$\left[\begin{array}{cccc}[{\mathrm{\Gamma }}_{00}^0{\mathrm{\Gamma }}_{01}^0{\mathrm{\Gamma }}_{02}^0{\mathrm{\Gamma }}_{03}^0]& [{\mathrm{\Gamma }}_{10}^0{\mathrm{\Gamma }}_{11}^0{\mathrm{\Gamma }}_{12}^0{\mathrm{\Gamma }}_{13}^0]& [{\mathrm{\Gamma }}_{20}^0{\mathrm{\Gamma }}_{21}^0{\mathrm{\Gamma }}_{22}^0{\mathrm{\Gamma }}_{23}^0]& [{\mathrm{\Gamma }}_{30}^0{\mathrm{\Gamma }}_{31}^0{\mathrm{\Gamma }}_{32}^0{\mathrm{\Gamma }}_{33}^0]\\ [][{\mathrm{\Gamma }}_{00}^1{\mathrm{\Gamma }}_{01}^1{\mathrm{\Gamma }}_{02}^1{\mathrm{\Gamma }}_{03}^1]& [{\mathrm{\Gamma }}_{10}^1{\mathrm{\Gamma }}_{11}^1{\mathrm{\Gamma }}_{12}^1{\mathrm{\Gamma }}_{13}^1]& [{\mathrm{\Gamma }}_{20}^1{\mathrm{\Gamma }}_{21}^1{\mathrm{\Gamma }}_{22}^1{\mathrm{\Gamma }}_{23}^1]& [{\mathrm{\Gamma }}_{30}^1{\mathrm{\Gamma }}_{31}^1{\mathrm{\Gamma }}_{32}^1{\mathrm{\Gamma }}_{33}^1]\\ [][{\mathrm{\Gamma }}_{00}^2{\mathrm{\Gamma }}_{01}^2{\mathrm{\Gamma }}_{02}^2{\mathrm{\Gamma }}_{03}^2]& [{\mathrm{\Gamma }}_{10}^2{\mathrm{\Gamma }}_{11}^2{\mathrm{\Gamma }}_{12}^2{\mathrm{\Gamma }}_{13}^2]& [{\mathrm{\Gamma }}_{20}^2{\mathrm{\Gamma }}_{21}^2{\mathrm{\Gamma }}_{22}^2{\mathrm{\Gamma }}_{23}^2]& [{\mathrm{\Gamma }}_{30}^2{\mathrm{\Gamma }}_{31}^2{\mathrm{\Gamma }}_{32}^2{\mathrm{\Gamma }}_{33}^2]\\ [][{\mathrm{\Gamma }}_{00}^3{\mathrm{\Gamma }}_{01}^3{\mathrm{\Gamma }}_{02}^3{\mathrm{\Gamma }}_{03}^3]& [{\mathrm{\Gamma }}_{10}^3{\mathrm{\Gamma }}_{11}^3{\mathrm{\Gamma }}_{12}^3{\mathrm{\Gamma }}_{13}^3]& [{\mathrm{\Gamma }}_{20}^3{\mathrm{\Gamma }}_{21}^3{\mathrm{\Gamma }}_{22}^3{\mathrm{\Gamma }}_{23}^3]& [{\mathrm{\Gamma }}_{30}^3{\mathrm{\Gamma }}_{31}^3{\mathrm{\Gamma }}_{32}^3{\mathrm{\Gamma }}_{33}^3]\end{array}\right]$

• dla symbolu Leviego-Civity ${ϵ}_{ijk}$ postacią będzie wektor wierszowy, którego elementy to wektory wierszowe, których elementami są wektory wierszowe

${ϵ}_{ijk}=[[[0,0,0],[0,0,1],[0,-1,0]],[[0,0,-1],[0,0,0],[1,0,0]],[[0,1,0],[-1,0,0],[0,0,0]]]$