寫在前面:

1.使用教材是黃克智等老師編寫的《張量分析》。

2.由於書中有些地方沒有證明,所以在我的筆記中添加了部分證明和說明,如有錯誤還望指出,謝謝!

第二章目錄

2.1 二階張量的矩陣(本次筆記結束之處)

2.2 正則與退化的二階張量

2.3 二階張量的不變性

2.4 二階張量的標準型

2.5 幾種特殊的二階張量

2.6 二階張量的分解

2.7 正交相似張量


2.1 二階張量的矩陣

2.1.1 二階張量的四種分量所對應的矩陣

任意二階張量 m{T} 總可以寫成下列並矢展開式,這是對於坐標具有不變性的形式:

m{T}=T_{ij}vec{g}^{i}vec{g}^{j}=T_{i}^{cdot j}vec{g}^{i}vec{g}_{j}=T_{cdot j}^{i}vec{g}_{i}vec{g}^{j}=T^{ij}vec{g}_{i}vec{g}_{j}

此外,在任意給定坐標系中的張量也可以用其分量來表示,即:協變分量 T_{ij} ,逆變分量 T^{ij} ,或混變分量 T_{i}^{cdot j},T_{cdot j}^{i} 。四種分量均隨坐標系的變換而發生改變;但是,只要在一個特定坐標系中給定四種分量的任意一種,在該坐標系下的其他三種分量都可以通過指標升降關係求出,且其他任意坐標系中的四種張量分量也都可以通過坐標變換關係由它確定。可見,任一給定坐標系中的任意形式的全部張量分量包含有該張量的全部信息。

這段話很重要,高度概括了第一章所學的知識。

n 維空間中的認何一種形式的二階張量分量均含有 n	imes n 個分量。可以按通常表示矩陣的方式列出,一般以第一個指標符號對應於行號,第二個指標符號對應於列號,成為一個方陣。在三維空間中,可以列為 3	imes3 的方陣,一個張量在同一坐標系中四種形式的分量分別對應了四個不同的矩陣,記作: m{	au }_{1},m{	au }_{2},m{	au }_{3},m{	au }_{4}

m{	au }_{1}=egin{pmatrix} T_{11} & T_{12} &T_{13} \  T_{21} & T_{22} &T_{23} \  T_{31} &T_{32} & T_{33} end{pmatrix}=left( T_{ij} 
ight)

m{	au }_{2}=egin{pmatrix} T_{1}^{cdot 1} & T_{1}^{cdot 2} &T_{1}^{cdot 3} \  T_{2}^{cdot 1} & T_{2}^{cdot 2} &T_{2}^{cdot 3} \  T_{3}^{cdot 1} &T_{3}^{cdot 2} & T_{3}^{cdot 3} end{pmatrix}=left( T_{i}^{cdot j} 
ight)

m{	au }_{3}=egin{pmatrix} T_{cdot 1}^{1} &T_{cdot 2}^{1} &T_{cdot 3}^{1} \  T_{cdot 1}^{2} &T_{cdot 2}^{2} &T_{cdot 3}^{2} \  T_{cdot 1}^{3} &T_{cdot 2}^{3} &T_{cdot 3}^{3} end{pmatrix}=left( T_{cdot j}^{i} 
ight)

 m{	au }_{4}=egin{pmatrix} T^{11} & T^{12} &T^{13} \  T^{21} & T^{22} &T^{23} \  T^{31} &T^{32} & T^{33} end{pmatrix}=left( T^{ij} 
ight)

由張量分量的指標升降關係有:

T_{ij}=T_{i}^{cdot l}g_{lj}=g_{il}T_{cdot j}^{l}=g_{il}T^{lm}g_{mj}

因此,二階張量的上述四個矩陣之間滿足以下關係:

m{	au }_{1}=m{	au }_{2}m{g }_{*}=m{g }_{*}m{	au }_{3}=m{g }_{*}m{	au }_{4}m{g }_{*}

其中 m{g }_{*} 是度量張量的協變分量 g_{ij} 構成的矩陣:

m{g }_{*}=egin{pmatrix} g_{11} &g_{12}  &g_{13} \  g_{21} &g_{22}  &g_{23} \  g_{31} &g_{32}  &g_{33}  end{pmatrix}=left( g_{ij} 
ight)

一般來講,二階張量的四個矩陣各不相等。應特別指出,切不可將 m{	au }_{2},m{	au }_{3} 混為一談:

m{	au }_{2}=m{g }_{*}m{	au }_{3}m{g }^{-1}_{*}

如不加特別說明,則默認 m{	au }_{3} 的矩陣是:

m{	au }_{3}=left( T_{cdot j}^{i} 
ight)

只有在笛卡爾坐標系中,上述四個矩陣才相等。

二階張量與矩陣雖然有上述關係,但他們並非全能一一對應。例如:首先,矩陣並非只包括方陣,而二階張量只能對應方陣;齊次,在一般坐標系中,轉置張量與轉置矩陣,對稱(或反對稱)張量與對稱(或反對稱)矩陣不能一一對應;第三,二階張量的某些運算不能全用矩陣的運算與之對應。

2.1.2 二階張量的轉置,對稱、反對稱張量及其所對應的矩陣

按照1.7.7節中對於任意階轉置張量的定義,一個二階張量 m{T} 的轉置張量 m{T}^{mathrm{T}} 為:

m{T}^{mathrm{T}}=left( T^{mathrm{T}} 
ight)_{ij}vec{g}^{i}vec{g}^{j}=left( T^{mathrm{T}} 
ight)_{i}^{cdot j}vec{g}^{i}vec{g}_{j}=left( T^{mathrm{T}} 
ight)_{cdot j}^{i}vec{g}_{i}vec{g}^{j}=left( T^{mathrm{T}} 
ight)^{ij}vec{g}_{i}vec{g}_{j}

=T_{ji}vec{g}^{i}vec{g}^{j}=T_{cdot i}^{ j}vec{g}^{i}vec{g}_{j}=T_{j}^{cdot i}vec{g}_{i}vec{g}^{j}=T^{ji}vec{g}_{i}vec{g}_{j}

注意到 m{T}^{mathrm{T}}m{T} 的分量之間的關係為:若基張量不變,分量的第一第二指標互換,但指標的協變、逆變性質不變,上面的實體表示法也可以寫成下面的分量表示法,兩種寫法是等價的:

left( T^{mathrm{T}} 
ight)_{ij}=T_{ji},     left( T^{mathrm{T}} 
ight)_{i}^{cdot j}=T_{cdot i}^{j},     left( T^{mathrm{T}} 
ight)_{cdot j}^{i}=T_{j}^{cdot i},     left( T^{mathrm{T}} 
ight)^{ij}=T^{ji}

即其對應的矩陣行列互換。

當然,也可以寫為矩陣形式:

m{	au}_{i}^{T^{mathrm{T}}}=left( m{	au}_{i}^{T} 
ight)^{mathrm{T}},     left(i = 1,2,3,4 
ight)

其中 m{	au}_1,m{	au}_4 的矩陣分別互為轉置,而轉置張量 m{T}^{mathrm{T}}m{	au}_{2} 矩陣和 m{T}m{	au}_{3} 矩陣互為轉置;

轉置張量 m{T}^{mathrm{T}}m{	au}_{3} 矩陣和 m{T}m{	au}_{2} 矩陣互為轉置。

同樣,如果不更變分量的指標我們也可以更變基矢量的順序,這樣同樣便是將一個張量進行轉置:

m{T}^{mathrm{T}}=T_{ij}vec{g}^{j}vec{g}^{i}=T_{i}^{cdot j}vec{g}_{j}vec{g}^{i}=T_{cdot j}^{i}vec{g}^{j}vec{g}_{i}=T^{ij}vec{g}_{j}vec{g}_{i}

當然還有:

left( m{T}^{mathrm{T}}
ight)^{mathrm{T}}=m{T}

若一個二階張量是對稱張量 m{N} ,則按照之前對對稱張量的定義有:

N_{ij}=N_{ji},     N_{i}^{cdot j}=N_{cdot i}^{ j},     N_{cdot j}^{i}=N_{ j}^{cdot i},      N^{ij}=N^{ji}

其矩陣具有以下性質:

m{	au}_{1}^{N}=m{	au}_{1}^{N^{mathrm{T}}}=left( m{	au}_{1}^{N} 
ight)^{mathrm{T}},     m{	au}_{2}^{N}=left( m{	au}_{2}^{N} 
ight)^{mathrm{T}},     m{	au}_{3}^{N}=left( m{	au}_{3}^{N} 
ight)^{mathrm{T}},     m{	au}_{4}^{N}=m{	au}_{4}^{N^{mathrm{T}}}=left( m{	au}_{4}^{N} 
ight)^{mathrm{T}}

由上式可見:對稱張量所對應的 m{	au}_{1},m{	au}_{4} 矩陣是對稱矩陣,而 m{	au}_{2},m{	au}_{3} 一般不是對稱矩陣, m{	au}_{2}^{N}m{	au}_{2}^{N^{mathrm{T}}} , m{	au}_{3}^{N} m{	au}_{3}^{N^{mathrm{T}}} 一般還是不同的矩陣。

同理,若張量為反對稱的二階張量 m{Omega} ,則:

m{Omega}=-m{Omega}^{mathrm{T}}

Omega_{ij}=-Omega_{ji},     Omega_{i}^{cdot j}=-Omega_{cdot i}^{ j},     Omega_{cdot j}^{i}=-Omega_{ j}^{cdot i},      Omega^{ij}=-Omega^{ji}

m{	au}_{1}^{Omega}=-m{	au}_{1}^{Omega^{mathrm{T}}}=-left( m{	au}_{1}^{Omega} 
ight)^{mathrm{T}},     m{	au}_{2}^{Omega}=-left( m{	au}_{2}^{Omega} 
ight)^{mathrm{T}},     m{	au}_{3}^{Omega}=-left( m{	au}_{3}^{Omega} 
ight)^{mathrm{T}},     m{	au}_{4}^{Omega}=-m{	au}_{4}^{Omega^{mathrm{T}}}=-left( m{	au}_{4}^{Omega} 
ight)^{mathrm{T}}

反對稱張量所對應的矩陣 m{	au}_1, m{	au}_4 矩陣是反對稱矩陣,而 m{	au}_2,m{	au}_3 一般不是反對稱矩陣。

只有在笛卡爾坐標系中,指標不在區分上下,張量的四種分量沒有區別,對稱(或反對稱)張量所對應的四種矩陣均無區別地對稱(反對稱)。

2.1.3 二階張量的行列式

二階張量所對應的四種不同的矩陣分別具有不同的行列式值。由之前四個矩陣之間的關係可知:

detleft ( m{	au}_{1} 
ight )=gdetleft ( m{	au}_{2} 
ight )=gdetleft ( m{	au}_{3} 
ight )=g^{2}detleft ( m{	au}_{4} 
ight )

通常,定義 m{	au}_{3}^{mathrm{T}} 的行列式為張量 m{T} 的行列式:

det(m{	au}_{3}^{mathrm{T}})=det(m{T})

由於兩個互為轉置的矩陣的行列式的值相等,所以:

det(m{	au}_{1}^{T^{mathrm{T}}})=det(m{	au}_{1}^{T}),     det(m{	au}_{4}^{T^{mathrm{T}}})=det(m{	au}_{4}^{T})

det(m{	au}_{3}^{T^{mathrm{T}}})=det(m{	au}_{2}^{T})=det(m{	au}_{2}^{T^{mathrm{T}}})=det(m{	au}_{3}^{T})

Proof

由: m{	au}_1,m{	au}_4 的矩陣分別互為轉置,而轉置張量 m{T}^{mathrm{T}}m{	au}_{2} 矩陣和 m{T}m{	au}_{3} 矩陣互為轉置;轉置張量 m{T}^{mathrm{T}}m{	au}_{3} 矩陣和 m{T}m{	au}_{2} 矩陣互為轉置。 Q.E.D

故兩個互為轉置的張量的行列式相等:

detm{T}=detm{T}^{mathrm{T}}

轉置張量所對應的矩陣的行列式值相等,則說明轉置張量的行列式值相等。

2.1.4 二階張量的代數運算與矩陣的代數運算

left( 1 
ight) 張量的相等、相加、標量與張量相乘等代數運算均與矩陣運算一一對應。

left( 2 
ight) 求二階張量的跡 mathrm{tr}m{T} :即對二階張量進行縮並運算,對應於求 m{	au}_{3} (或 m{	au}_{2} )矩陣的對角線元素之和。

mathrm{tr}m{T}=T_{cdot i}^{i}=T_{cdot 1}^{1}+T_{cdot 2}^{2}+T_{cdot 3}^{3}=T_{ i}^{cdot i}

left( 3
ight) 二階張量與矢量的點積——線性變換:二階張量 m{T} 在右邊點乘矢量 vec{u} 得到另一個矢量 vec{w}

vec{w}=m{T}cdotvec{u}

上式的分量形式為:

w^{i}=T_{cdot j}^{i}u^{j}

上式相當於 m{T}m{	au_{3}} 矩陣乘以列陣 left[ u^j 
ight] 得到列陣 left[ w^i 
ight] 的矩陣運算。上式表示的運算具有以下線性性質:

m{T}cdot(alphavec{u}+etavec{v})=alpham{T}cdotvec{u}+etam{T}cdotvec{v}

其中 alpha,eta 為任意實數, vec{u},vec{v} 為任意矢量。所以,與矩陣相同,二階張量也對應於一個線性變換,稱為映射。每一個二階張量都定義了一個將矢量空間的任意矢量 vec{u} 映射為另一個矢量 vec{v} 的線性變換。

與此類似的,二階張量 m{T} 的左邊點乘矢量 vec{u} 得到另一個矢量 vec{t} 為:

vec{t}=vec{u}cdotm{T}

{t^i}={u^j}cdot{T_{j}^{cdot i}}

上式相當於行陣 left[ u^j 
ight] 乘以 m{T}m{	au_{2}} 矩陣得到行陣 left[ t^i 
ight] 的矩陣運算。應當指出,對應於同一個 vec{u},vec{v}vec{w} 一般並不相等,但實際上左點乘相當於將 m{T} 的轉置張量 m{T}^{mathrm{T}} 進行右乘,即:

m{T}cdotvec{u}=vec{u}cdotm{T}^{mathrm{T}}

通常採用 m{	au_{3}} 為二階張量 m{T} 的矩陣,故一般採用線性變換:

vec{w}=m{T}cdotvec{u}

w^{i}=T_{cdot j}^{i}u^{j}

對於對稱張量和反對稱張量有:

m{N}cdotvec{u}=vec{u}cdotm{N}

m{Omega}cdotvec{u}=-vec{u}cdotm{Omega}

一個矩陣對應於一個雙線性函數,而一個二階張量分別左、右點乘任意兩個矢量也對應於一個雙線性函數:

fleft( x^i,y^j 
ight)=T_{ij}x^iy^j=vec{x}cdotm{T}cdot vec{y}=m{T}:vec{x}vec{y}

同時,如對稱矩陣一樣,一個對稱的二階張量也對應於一個二次型:

fleft( x^i,x^j 
ight)=N_{ij}x^ix^j=vec{x}cdotm{N}cdot vec{x}=m{N}:vec{x}vec{x}

left( 4 
ight) 二階張量與二階張量的點積:二階張量 m{A} 與二階張量 m{B} 的點積仍為一個二階張量,設為 m{C} ,即:

m{C}=m{A}cdotm{B}

分量形式為:

C_{cdot j}^{i}=A_{cdot k}^{i}B_{cdot j}^{k},      C^{cdot j}_{i}=A_{i}^{cdot k}B_{k}^{cdot j}

矩陣形式為:

m{	au}_{3}^{C}=m{	au}_{3}^{A}m{	au}_{3}^{B},     m{	au}_{2}^{C}=m{	au}_{2}^{A}m{	au}_{2}^{B}

矩陣乘法與張量的點積的對應關係僅對 m{	au}_{2},m{	au}_{3} 矩陣成立,對於 m{	au}_{1},m{	au}_{4} 矩陣則沒有這樣的對應關係。由於:

C_{ij}=A_{ik}B_{cdot j}^{k},     C^{ij}=A^{ik}B^{cdot j}_{k}

所以:

m{	au}_{1}^{C}=m{	au}_{1}^{A}m{	au}_{3}^{B},     m{	au}_{4}^{C}=m{	au}_{4}^{A}m{	au}_{2}^{B}

與矩陣相乘的次序不能更換一樣,二階張量的點積順序也不能交換。

left( 5 
ight) 二階張量的有些運算沒有對應的矩陣運算,例如並乘運算。

總之,二階張量和矩陣屬於兩種不同的概念(請務必拋棄二階張量就是矩陣這個想法!!!),但一個二階張量總可以在一定的坐標系下將其某種分量用矩陣進行表示。於是二階張量的一些運算就可以表示成為對應的矩陣運算,許多(不是全部)關於矩陣代數學的結論可以推廣應用到二階張量。


還沒關注專欄《數學及自然科學》的朋友們請趕快關注吧!您的支持是我最大動力!

本專欄既有乾貨又有科普,一定會有您想看的文章~

也順便關注一下作者好啦~聽說長得好看的人都點了關注吶!

看完記得點贊哦~


推薦閱讀:
相关文章