Appendjx 3 2階テンソルのいろいろ
f-denshi.com  最終更新日:03/08/02

書き直し

1. 2階テンソルのいろいろ

[1] 2階テンソルは Appendjx 2 で見たように双線形関数を用いて定義するのがもっとも基本的ですが,応用でよく使われる2階テンソルは必ずしもそのような形で明示されているとは限りません。座標変換(基底変換)に対して成分がテンソル変換と同じように変換される重要な写像[=2階テンソル]としては他に次のようなものがあります。

写像:V ⇒ R (双線形性) (1)写像:VV (線形写像) (2)テンソル積 VV 変換側
ベクトルxy
⇒ スカラーT(x,y
ベクトルx
⇒ ベクトルT(x
ベクトルx
⇒ ベクトルT(x
T(x,y )=Tjkxjyk
Tjk≡T(ej,ek
T(x )=Ty
T(ek)=Σ Tjkej
T(x)=abx
Tjkej・T(ek)=ajbk
Tjk=ΣΣpjspktT'st
T'jk=ΣΣpsjptkTst
2重線形性
T(ax+bz, )=aT(x, )+bT(z,
線形性 
T(ax+b )=aT(x )+bT(
線形性 
T(ax+b )=aT(x )+bT(

(1)線形写像(行列)の座標変換

[2] ベクトル空間 V から V への線形写像 T : [ベクトルx ∈V  ⇒  ベクトルy  ∈ V ] :

y =T(x ) 

も2階テンソルとなります。これは,V の正規直交基底{e1e2e3 }に対して,

T(e1)=T11e1+T21e2 +T31e3
T(e2)=T12e1+T22e2 +T32e3
T(e3)=T13e1+T23e2 +T33e3

のようにテンソル成分を Tjk を定義すれば,写像,

T: x = x11+x22+x33 x1    ⇒   y = y11+y22+y33 y1
x2 y2
x3 y3

は行列の演算規則を使って,

y = T(x
   =T(x11+x22+x33
   =x1T(e1)+ x2T(e2)+x3 T(e3
  = x1(T11e1+T21e2 +T31e3 )+x2(T12e1+T22e2 +T32e3)+x3(T13e1+T23e2 +T33e3
  = x1 T11 +x2 T12 +xn T1n
T21 T22 T2n
T31 T32 T3n
  = 1T11+x2T12+x3T13
1T21+x2T22+x3T23
1T31+x2T32+x3T33
  = T11 T12 T13 1  = Tx      [座標変換前
T21 T22 T23 2
T31 T32 T33 3

と書けます。 ただし,T は Tjk を j 行 k 列成分とする正方行列。 

さて,新しい正規直交基底への座標変換によって, y → y ', x →x ' , T → T', ただし,

y'= T'x '  [座標変換後]

と表せるとします。いま,座標変換を,xPx' (つまり,x' =P-1xy' =P-1y )とすれば,これを[座標変換後]に代入し,左からPをかければ,

P-1yT'P-1x  ⇒ y =PT'P-1x  

となります。これを座標変換前と比較すれば,

行列の座標変換式:

      TPT'P-1  または, T' = P-1TP     ( xPx' )

でなければならないことがわかります。これを成分で書く[#]と,  

Tjk =pjsT'st tptk =pjspktT'st     ; tptk =pkt

となり,Tjkはテンソル変換[#]を受けることがわかります。

(2)テンソル積の座標変換

[3] テンソル積の定義

2階テンソルは次に述べるテンソル積によってもつくられます。テンソル積とは,ベクトルab ∈V が与えられたとき,
写像 T: x →  を,

y = T(x )=abx

と定義するとき,この写像 T(x ) を

a bx

と書いて,「 ベクトルabテンソル積 」と定義します。これは行列,ベクトルの演算で具体的に表すと,

T(x ) =abx )= a1 (b1x1+b2x2+b3x3)= a1 (b1,b2,b3 x1
a2 a2 x2
a3 a3 x3
         = a1b1  a1b2  a1b3 x1 Tx
a2b1  a2b2  a2b3 x2
a3b1  a3b2  a3b3 x3

と書くことができます。これは,

Tjk≡ajbk

を成分とする行列 T による線形写像であることを意味しています。これがテンソル変換を受けることはベクトルの座標変換が,

ajΣpjsa's および, bk Σ pktb't 

で与えられるとき,

Tjk = ajbkΣ pjsa'sΣpktb't = ΣΣpjspkta'sb't = pjspktT'st

に従って座標変換されることからわかります[#]

なお,V の正規直交基底{e1e2e3 }に対して,

ej・T(ek)=ejabek)=(eja )(bek)=ajbk

 テンソル不変量

テンソル成分から計算される量の中で座標に依存しないものをテンソル不変量と言います。

(1)トレース積:  → T はユニタリ行列で三角行列に変換される → すべての固有値の積=トレース積
    

(2)行列式:
 座標変換式  T' = P-1TP より,

T' |=|P-1||T||P|=|P-1||P||T|=|T

ここで,P-1P= E の行列式を考えれば,|P-1||P|=|E|=1 であることを使っています。

成分の2乗和

[目次へ]


CopyRight フジエダ電子出版