完全反対称テンソルとクロネッカーのデルタの公式
反対称テンソルはテンソルの添字を入れ替えると符号が変わるテンソルです。
例:
またこの性質をもっており値が 1 or -1 or 0 の反対称テンソルを完全反対称テンソルといいます。
今回はこの完全反対称テンソルをクロネッカーのデルタで展開する方法を紹介します。 公式としては面倒なのでどのように書くか、どのように考えて展開できるかを話していきます。 この記事では3階の完全反対称テンソルである"レヴィ=チヴィタの記号"について紹介します。
レヴィ=チヴィタの記号
レヴィ=チヴィタの記号というのは3階の完全反対称テンソルです。
添字の順番が123に対して偶置換か奇置換で次のように定義されます。
(例 : )
また添字のいずれかが同じ時は0になります。(例 : )
これを例にしてこの和をクロネッカーのデルタで展開します。
レヴィ=チヴィタをデルタで
まずレヴィ=チヴィタの添字が2つだけ和が取られているとき、 それをクロネッカーのデルタで展開した公式は
となります。
考え方(導出)
完全反対称テンソルについて考えるときにはその反対称性を考えることで上の式を導出していきます。
まずというのは4つ足がつくテンソルになるのでクロネッカーのデルタで展開したときに 2つのデルタの積の多項式になることはすぐにわかります。
次に添字の反対称性に注目します。これはと について反対称なテンソルです。なのでクロネッカーのデルタをそのような添字の組になるように組み合わせます。
デルタの数を添字の数から考える
まずについて。クロネッカーのデルタは対称テンソルなのでが同じデルタにはつきません。なのでまず適当に第一項のデルタのそれぞれに足をつけます。
反対称性から添字を付けいていく
つぎに反対称になるように第二項には添字を逆に付け、かつ符号を逆にします。
これでまずはについては反対称(つまり入れ替えるともとの符号が逆になったものになる)になっていることがわかります。
についても同様にすると
となることがわかります。
これでクロネッカーのデルタでとに対して反対称なテンソルを作ることができました。
比例定数を見つける。
いま言えることはは上の式に比例していること
です。なので比例定数を求めます。これはなにか添字に具体的な値を入れてしまえばよいです。 例えばの場合を計算してみます。左辺は
となります。ここで完全反対称テンソルは添字に同じ数字があると0になることをつかって真ん中の式をすぐに出しました。本当はの3パターンを足していることに注意してください。
また(1)式の右辺は
となるので左辺と右辺の計算よりとなるので
を導くことができました。
行列式で書こう
上のように完全反対称テンソルをクロネッカーのデルタで書くには
という手順で計算するのですが、面倒だし、テンソルの階数に対して応用が効きづらいところがあります。なので、新たなより簡単でわかりやすい方法を考えます。
つまり右辺には添字の入れ替えに対して符号が変わるものになれば良いのです。
もうお気づきになったでしょうか(というか上に書かれてしまっていますが)。
そう、行列式で表すことができます。
行列式は列、もしくは行を入れ替えると符号が変わるという性質を持っています。
こちらを参考にしてください。
そうすると先程の式も行列式で書くことができます。
行列式での書き方は
- まず左上に2つののそれぞれから添字をとって作ったデルタを置きます。 ここではがあります。
- その添字を行列の行、列のように扱って行列式の中の行列の要素を埋めていきます。
- まず一番左上の(1,1)成分はになったので、その右の(1,2)成分には添字をとったイプシロンから違う添字をとってきて作ったデルタを配置します。
- このようにして他の部分も埋めていきます。
このようにして行列式で完全反対称テンソルをクロネッカーのデルタを使って表すことができます。
何かと便利なので使えるといいかと思います。
行列式でかけるようになったことで3階の完全反対称テンソルであるレヴィ=チヴィタから拡張して、 4階の完全反対称テンソルでも同様の公式をつくることができます。
これについてはまた次回の記事にしたいと思います。