Proving the Contracted Epsilon Identity

[BOAS]

Hi,

I am confused about how I arrive at the contracted epsilon identity. \epsilon_{ijk} \epsilon_{imn} = \delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}

1. Homework Statement

Show that \epsilon_{ijk} \epsilon_{imn} = \delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}

Homework Equations

The Attempt at a Solution

[/B]
From the relation between the Levi-civita symbol and the Kronecker delta, I compute \epsilon_{ijk} \epsilon_{imn} by finding the determinant of the following matrix.

\epsilon_{ijk} \epsilon_{imn} = det \left[ \begin{array}{cccc} \delta_{ii} & \delta_{im} & \delta_{in} \\ \delta_{ji} & \delta_{jm} & \delta_{jn} \\ \delta_{ki} & \delta_{km} & \delta_{kn} \end{array} \right] which yields

\epsilon_{ijk} \epsilon_{imn} = \delta_{ii} (\delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}) - \delta_{im} (\delta_{ji} \delta_{kn} - \delta_{jn} \delta_{ki}) + \delta_{in} (\delta_{ji} \delta_{km} - \delta_{jm} \delta_{ki})I am confused about how to progress.

Thanks for any help you can give.

 

[Geofleur]

For starters, what does $\delta_{ii}$ equal? Note that you need to sum over repeated indices.

 

[BOAS]

For starters, what does $\delta_{ii}$ equal? Note that you need to sum over repeated indices.

\delta_{ii} = 3

This seems to be the only repeated indice.

 

[RUber]

Hi,

I am confused about how I arrive at the contracted epsilon identity. \epsilon_{ijk} \epsilon_{imn} = \delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}

1. Homework Statement

Show that \epsilon_{ijk} \epsilon_{imn} = \delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}

3. The Attempt at a Solution

\epsilon_{ijk} \epsilon_{imn} = \delta_{ii} (\delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}) - \delta_{im} (\delta_{ji} \delta_{kn} - \delta_{jn} \delta_{ki}) + \delta_{in} (\delta_{ji} \delta_{km} - \delta_{jm} \delta_{ki})I am confused about how to progress.

Thanks for any help you can give.

Note that your first term in the expansion: $\delta_{ii} (\delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km})$ looks a lot like the final result you are looking for.
Then, the challenge should be to show that $- \delta_{im} (\delta_{ji} \delta_{kn} - \delta_{jn} \delta_{ki}) + \delta_{in} (\delta_{ji} \delta_{km} - \delta_{jm} \delta_{ki}) = 0$ in all cases. To do this, think about what must be true for any term to not be zero, and show that it implies another opposite term must also not be zero.

 

[RUber]

\delta_{ii} = 3

This seems to be the only repeated indice.

You seem to be using a different definition of the Kronecker delta? Usually the only possible outcomes are 0 or 1.

 

[BOAS]

You seem to be using a different definition of the Kronecker delta? Usually the only possible outcomes are 0 or 1.

I thought the idea was that \delta_{ii} implied the summation of \delta_{11}, \delta_{22}, and \delta_{33}, which are each respectively equal to 1.

 

[Geofleur]

That's right, $\delta_{ii} = \delta_{11} + \delta_{22} + \delta_{33} = 3$. Now eliminate the $\delta$'s in front of the other two terms and see what happens.

 

[RUber]

I see. I was thinking one term at a time, rather than the sum over the terms.
In that case, I get the same result as Geofleur.

 

[BOAS]

That's right, $\delta_{ii} = \delta_{11} + \delta_{22} + \delta_{33} = 3$. Now eliminate the $\delta$'s in front of the other two terms and see what happens.

I am unsure of how to evaluate these deltas.

\delta_{im} = 0 unless i = m so do they both just vanish?

 

[Geofleur]

They do vanish unless $i = m$. In that case, the $\delta$'s in front become ones, and the $i$'s inside the parenthesized terms become $m$'s.

 

[Geofleur]

Note that the $i$'s are repeated and thus being summed over.

 

[BOAS]

They do vanish unless $i = m$. In that case, the $\delta$'s in front become ones, and the $i$'s inside the parenthesized terms become $m$'s.

ahh, I see.

so I have that \epsilon_{ijk} \epsilon_{imn} = 3 \delta_{jm} \delta_{kn} - 3 \delta_{jn} \delta_{km} - \delta_{jm} \delta_{kn} + \delta_{jn} \delta_{km} + \delta_{jn} \delta_{km} - \delta_{jm} \delta_{kn} = \delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}

Thank you very much for your help!

 

[Ray Vickson]

Hi,

I am confused about how I arrive at the contracted epsilon identity. \epsilon_{ijk} \epsilon_{imn} = \delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}

1. Homework Statement

Show that \epsilon_{ijk} \epsilon_{imn} = \delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}

Homework Equations

The Attempt at a Solution

[/B]

Thanks for any help you can give.

The factor $\epsilon_{ijk}$ vanishes unless $ijk$ is a permutation of $123$, so for any pair $j \neq k$ the required $i$ is uniquely determined. Then, for that $i$, $\epsilon_{imn}$ vanishes unless $mn$ is a permutation of $jk$. Thus, for a nonzero term on the left, we need either $j = m$ and $k = n$ (in which case the left-hand-side is $(\pm1 )^2 = +1$, or $j = n$ and $k = m$ (in which case the left-hand-side is $(-1)(+1) = -1$). That is, the nonzero values of the left-hand-side are the same as the nonzero values of $\delta_{jm} \delta_{kn} - \delta_{jn} \delta_{km}$. The same is true of the zero values, so the two sides must be equal.