クロネッカーのデルタ

クロネッカーのデルタ（Kronecker delta）とは、集合 T（多くは自然数の部分集合）の元 i, j に対して テンプレート:Indent という性質を持つ関数 δ_ij : T×T → {0, 1} のことをいう。つまり、T×T の対角成分の特性関数のことである。名称は、19世紀のドイツの数学者レオポルト・クロネッカーに因む。

アイバーソンの記法を用いると テンプレート:Indent

単純な記号だが、色々な場面で有用である。例えば、単位行列は (δ_ij) と書けたり、n 次元直交座標の基底ベクトルの内積は、(e_i, e_j) = δ_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 \dots \mu_p }_{\nu_1 \dots \nu_p} = \begin{cases} +1 & \quad \text{(even)}\\ -1 & \quad \text{(odd) }\\ \;\;0 & \quad \text{(otherwise)} \end{cases} </math> である。 なお、 "even"はν₁ … ν_p が全て異なり、かつ、μ₁ … μ_p の偶置換の場合を指し、 "odd"はν₁ … ν_p が全て異なり、かつ、μ₁ … μ_p の奇置換の場合を指し、 "otherwise"は上記以外のすべての場合を指す。

<math> \mathfrak{S}_p </math> をp 次の対称群とすれば

<math>

\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \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 \dots \mu_p}_{\nu_1 \dots \nu_p} = p! \delta^{\lbrack \mu_1}_{ \nu_1} \dots \delta^{\mu_p \rbrack}_{\nu_p } = p! \delta^{ \mu_1}_{\lbrack \nu_1} \dots \delta^{\mu_p }_{\nu_p \rbrack} </math> となる。また、テンプレート:Nowrap 行列式で表現すると:

<math>

\delta^{\mu_1 \dots \mu_p }_{\nu_1 \dots \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 \dots \mu_p}_{\nu_1 \dots \nu_p} & = \sum_{k=1}^p (-1)^{p+k} \delta^{\mu_p}_{\nu_k} \delta^{\mu_1 \dots \mu_{k} \dots \check\mu_p}_{\nu_1 \dots \check\nu_k \dots \nu_{p}} \end{align}</math> が得られる。ただし、チェックついた項は式から外されるとする。

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

<math>

\delta^{\mu_1 \dots \mu_n}_{\nu_1 \dots \nu_n} = \varepsilon^{\mu_1 \dots \mu_n}\varepsilon_{\nu_1 \dots \nu_n} </math> となる。

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

<math>

\varepsilon^{\mu_1 \dots \mu_n} = \delta^{\mu_1 \dots \mu_n}_{1 \dots n} </math>

<math>

\varepsilon_{\nu_1 \dots \nu_n} = \delta^{1 \dots n}_{\nu_1 \dots \nu_n} </math>

演算規則

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

<math>\begin{align}

\frac{1}{p!}\sum_{\nu_1,\dots,\nu_p=1}^{n}\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} a^{\nu_1 \dots \nu_p} &= a^{\lbrack \mu_1 \dots \mu_p \rbrack} \\ \frac{1}{p!}\sum_{\mu_1,\dots,\mu_p=1}^{n}\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} a_{\mu_1 \dots \mu_p} &= a_{\lbrack \nu_1 \dots \nu_p \rbrack} \end{align}</math> となる。

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

<math>\begin{align}

\sum_{1 \le \nu_1 < \dots < \nu_p \le n}\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} a^{\lbrack \nu_1 \dots \nu_p \rbrack} &= a^{\lbrack \mu_1 \dots \mu_p \rbrack} \\ \sum_{1 \le \mu_1 < \dots < \mu_p \le n}\delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} a_{\lbrack \mu_1 \dots \mu_p \rbrack} &= a_{\lbrack \nu_1 \dots \nu_p \rbrack} \\ \sum_{1 \le \nu_1 < \dots < \nu_p \le n} \delta^{\mu_1 \dots \mu_p}_{\nu_1 \dots \nu_p} \delta^{\nu_1 \dots \nu_p}_{\rho_1 \dots \rho_p} &= \delta^{\mu_1 \dots \mu_p}_{\rho_1 \dots \rho_p} \end{align}</math> これらは#演算規則の節の内容の一般化であり、３番めの式はコーシー・ビネの公式に対応する。

添字のテンプレート:仮リンクについては <math> (0 \le m < k \le n) </math> として、

<math>

\sum_{\rho_{m+1}=1}^{n}
\dots
\sum_{\rho_{k}=1}^{n}
\delta^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_k}_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_k}\, 

= \frac{(n-m)!}{(n-k)!} \delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} </math> あるいは

<math>

\sum_{1 \le \rho_{m+1}< \dots < \rho_k \le n} \delta^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_k}_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_k}\, = \begin{pmatrix}n-m \\ k-m \end{pmatrix}\delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} </math> が成立する。

特に k = n のとき、

<math>\sum_{1 \le \rho_{m+1}< \dots < \rho_n \le n}

\delta^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_n}_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_n}\, = \delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} </math> あるいは

<math>

\sum_{1 \le \rho_{m+1}< \dots < \rho_n \le n} \varepsilon^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_n}~ \varepsilon_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_n}\, = \delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} </math>

<math>

\left( \sum_{\rho_{m+1},\dots,\rho_n=1}^{n} \varepsilon^{\mu_1 \dots \mu_m~\rho_{m+1}\dots \rho_n}~ \varepsilon_{\nu_1 \dots \nu_m~\rho_{m+1}\dots \rho_n}\, = (n-m)! ~ \delta^{\mu_{1} \dots \mu_{m}}_{\nu_{1} \dots \nu_{m}} \right) </math> が成立する。

関連項目

• ディラックのデルタ関数