クロネッカーのデルタ

提供: miniwiki
2016/11/14/ (月) 18:39時点におけるja>Ktnsによる版 (Category:エポニムを追加 (HotCat使用))
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

クロネッカーのデルタ: Kronecker delta)とは、集合 T(多くは自然数部分集合)の元 i, j に対して

[math]\delta_{ij} = \begin{cases} 1 & (i=j)\\ 0 & (i \ne j)\end{cases}[/math]

によって定義される二変数関数 δij: T×T → {0, 1} のことをいう。つまり、T×T の対角成分の特性関数のことである。名称は、19世紀のドイツの数学者レオポルト・クロネッカーに因む。

アイバーソンの記法を用いると

[math]\delta_{ij} = [i=j ]\,[/math]

と書ける。

単純な記号だが、色々な場面で有用である。例えば、単位行列は (δij) と書けたり、n 次元直交座標の基底ベクトル内積は、(ei, ej) = δij と書ける。

性質

[math]\begin{align} \sum_{j} \delta_{ij} a_{j} &= a_{i}\\ \sum_{i} a_{i}\delta_{ij} &= a_{j} \end{align}[/math]

が成り立つ。これはベクトルに単位行列を作用させても不変であることに対応する。

[math] \sum_{k} \delta_{ik} \delta_{kj} = \delta_{ij} [/math]

が成り立つ。これは単位行列に単位行列を掛けたものは単位行列であることに対応する。

一般化されたクロネッカーのデルタ

この節では、添字は 1 から n の間の値をとるものとする。

2階(1,1)型テンソルとしてのクロネッカーのデルタは

[math] \delta^{\mu}_{\nu} = \begin{cases} 1 & \quad (\mu=\nu)\\ 0 & \quad (\mu\ne\nu) \end{cases} [/math]

である。

これを高階に拡張したものとして、n次元、 2p階の一般化されたクロネッカーのデルタがある。これは(p,p) 型テンソルで、上下それぞれの添字に対して反対称である。

定義

一般化されたクロネッカーのデルタの定義は

[math] \delta^{\mu_1 \cdots \mu_p }_{\nu_1 \cdots \nu_p} = \begin{cases} +1 & \quad \text{(even)}\\ -1 & \quad \text{(odd) }\\ \;\;0 & \quad \text{(otherwise)} \end{cases} [/math]

である[1][2]。 なお、 "even" はν1, …, νp が全て異なり、かつ、μ1, …, μp偶置換の場合を指し、"odd" はν1, …, νp が全て異なり、かつ、μ1, …, μp奇置換の場合を指し、"otherwise" は上記以外のすべての場合を指す。


[math] \mathfrak{S}_p [/math]p 次の対称群とすれば

[math] \delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} = \sum_{\sigma \in \mathfrak{S}_p} \sgn(\sigma)\, \delta^{\mu_{\sigma(1)}}_{\nu_1}\cdots\delta^{\mu_{\sigma(p)}}_{\nu_p} = \sum_{\sigma \in \mathfrak{S}_p} \sgn(\sigma)\, \delta^{\mu_1}_{\nu_{\sigma(1)}}\cdots\delta^{\mu_p}_{\nu_{\sigma(p)}} [/math]

と表現でき、反対称化の記号を用いると:

[math] \delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} = p! \delta^{\lbrack \mu_1}_{ \nu_1} \cdots \delta^{\mu_p \rbrack}_{\nu_p } = p! \delta^{ \mu_1}_{\lbrack \nu_1} \cdots \delta^{\mu_p }_{\nu_p \rbrack} [/math]

となる。また、p × p 行列式で表現すると[3]:

[math] \delta^{\mu_1 \cdots \mu_p }_{\nu_1 \cdots \nu_p} = \begin{vmatrix} \delta^{\mu_1}_{\nu_1} & \cdots & \delta^{\mu_1}_{\nu_p} \\ \vdots & \ddots & \vdots \\ \delta^{\mu_p}_{\nu_1} & \cdots & \delta^{\mu_p}_{\nu_p} \end{vmatrix} [/math]

となる。

行列式の余因子展開を用いると再帰的な定義:

[math]\begin{align} \delta^{\mu_1 \cdots \mu_p}_{\nu_1 \dots \nu_p} & = \sum_{k=1}^p (-1)^{p+k} \delta^{\mu_p}_{\nu_k} \delta^{\mu_1 \cdots \mu_{k} \cdots \check\mu_p}_{\nu_1 \cdots \check\nu_k \cdots \nu_{p}} \end{align}[/math]

が得られる。ただし、チェックが付いた項は式から外されるとする。

n = p の場合、(高階に拡張された)エディントンのイプシロンを使えば:

[math] \delta^{\mu_1 \cdots \mu_n}_{\nu_1 \cdots \nu_n} = \varepsilon^{\mu_1 \cdots \mu_n}\varepsilon_{\nu_1 \cdots \nu_n} [/math]

となる。

逆にエディントンのイプシロンの定義と考えることもできる。

[math] \varepsilon^{\mu_1 \cdots \mu_n} = \delta^{\mu_1 \cdots \mu_n}_{1 \cdots n} [/math]
[math] \varepsilon_{\nu_1 \cdots \nu_n} = \delta^{1 \cdots n}_{\nu_1 \cdots \nu_n} [/math]

演算規則

反対称化を一般化されたクロネッカーのデルタを使って定義すると

[math]\begin{align} \frac{1}{p!}\sum_{\nu_1,\dots,\nu_p=1}^{n}\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} a^{\nu_1 \cdots \nu_p} &= a^{\lbrack \mu_1 \cdots \mu_p \rbrack} \\ \frac{1}{p!}\sum_{\mu_1,\dots,\mu_p=1}^{n}\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} a_{\mu_1 \cdots \mu_p} &= a_{\lbrack \nu_1 \cdots \nu_p \rbrack} \end{align}[/math]

となる。

これより、以下の演算規則が導かれる。

[math]\begin{align} \sum_{1 \le \nu_1 \lt \dots \lt \nu_p \le n}\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} a^{\lbrack \nu_1 \cdots \nu_p \rbrack} &= a^{\lbrack \mu_1 \cdots \mu_p \rbrack} \\ \sum_{1 \le \mu_1 \lt \dots \lt \mu_p \le n}\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} a_{\lbrack \mu_1 \cdots \mu_p \rbrack} &= a_{\lbrack \nu_1 \cdots \nu_p \rbrack} \\ \sum_{1 \le \nu_1 \lt \dots \lt \nu_p \le n} \delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} \delta^{\nu_1 \cdots \nu_p}_{\rho_1 \cdots \rho_p} &= \delta^{\mu_1 \cdots \mu_p}_{\rho_1 \cdots \rho_p} \end{align}[/math]

これらは#性質の節の内容の一般化であり、3番めの式はコーシー・ビネの公式に対応する。


添字の縮約については 0 ≤ m < kn として[4]

[math] \sum_{\rho_{m+1}=1}^{n} \cdots \sum_{\rho_{k}=1}^{n} \delta^{\mu_1 \cdots \mu_m~\rho_{m+1}\cdots \rho_k}_{\nu_1 \cdots \nu_m~\rho_{m+1}\cdots \rho_k}\, = \frac{(n-m)!}{(n-k)!} \delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}} [/math]

あるいは

[math] \sum_{1 \le \rho_{m+1}\lt \dots \lt \rho_k \le n} \delta^{\mu_1 \cdots \mu_m~\rho_{m+1}\cdots \rho_k}_{\nu_1 \cdots \nu_m~\rho_{m+1}\cdots \rho_k}\, = \begin{pmatrix}n-m \\ k-m \end{pmatrix}\delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}} [/math]

が成立する。

特に k = n のとき、

[math]\sum_{1 \le \rho_{m+1}\lt \cdots \lt \rho_n \le n} \delta^{\mu_1 \cdots \mu_m~\rho_{m+1}\cdots \rho_n}_{\nu_1 \cdots \nu_m~\rho_{m+1}\cdots \rho_n}\, = \delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}} [/math]

あるいは

[math] \sum_{1 \le \rho_{m+1}\lt \cdots \lt \rho_n \le n} \varepsilon^{\mu_1 \cdots \mu_m~\rho_{m+1}\cdots \rho_n}~ \varepsilon_{\nu_1 \cdots \nu_m~\rho_{m+1}\cdots \rho_n}\, = \delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}} [/math]
[math] \sum_{\rho_{m+1},\dots,\rho_n=1}^{n} \varepsilon^{\mu_1 \cdots \mu_m~\rho_{m+1}\cdots \rho_n}~ \varepsilon_{\nu_1 \cdots \nu_m~\rho_{m+1}\cdots \rho_n}\, = (n-m)! ~ \delta^{\mu_{1} \cdots \mu_{m}}_{\nu_{1} \cdots \nu_{m}} [/math]

が成立する。

出典

  1. Theodore Frankel, The Geometry of Physics: An Introduction 3rd edition (2012), published by Cambridge University Press, ISBN 9781107602601
  2. D. C. Agarwal, Tensor Calculus and Riemannian Geometry 22nd edition (2007), published by Krishna Prakashan Media
  3. David Lovelock, Hanno Rund, Tensors, Differential Forms, and Variational Principles, Dover Publications
  4. Sadri Hassani,Mathematical Methods: For Students of Physics and Related Fields 2nd edition (2008), published by Springer-Verlag, ISBN 978-0387095035

関連項目