What is the identity for a product of 2 LC Tensors in 4D with 3 summed indicies?

  • Context: Graduate 
  • Thread starter Thread starter div curl F= 0
  • Start date Start date
  • Tags Tags
    4d Tensor
Click For Summary
SUMMARY

The identity for the product of two Levi-Civita tensors in four dimensions, when summing over three indices, is established as follows: ε^{μβγδ} ε_{νβγδ} = 3! δ^{μ}_{ν}. This conclusion arises from the properties of the Levi-Civita symbol, which is non-zero only when all indices are distinct. The derivation involves recognizing that there are exactly three non-vanishing terms, leading to the proportionality constant of 3! for the Kronecker delta.

PREREQUISITES
  • Understanding of Levi-Civita symbols
  • Familiarity with tensor notation
  • Knowledge of Kronecker delta properties
  • Basic concepts of linear algebra, particularly determinants
NEXT STEPS
  • Study the properties of Levi-Civita symbols in higher dimensions
  • Learn about tensor calculus and its applications in physics
  • Explore the implications of Kronecker delta in tensor equations
  • Investigate the role of symmetry in tensor products
USEFUL FOR

Mathematicians, physicists, and engineers working with tensor analysis, particularly those involved in theoretical physics and general relativity.

div curl F= 0
Messages
18
Reaction score
0
Is there an identity for a product of 2 LC Tensors in 4D if one sums over 3 of the indicies?

i.e.

[tex]\epsilon^{\mu \beta \gamma \delta} \epsilon_{\nu \beta \gamma \delta} = ?[/tex]


What if gamma is constrained to be 0? Does this reduce things?


Best Regards
 
Physics news on Phys.org
There is a general formula for the product of multidimensional Levi-Civita symbols:

[tex]\epsilon_{i_1 i_2 i_3 \ldots i_n}\epsilon_{j_1 j_2 j_3 \ldots j_n}= \det A[/tex]
where A is the matrix with elements
[tex](A)_{mn}=\delta_{i_m j_n}[/tex].

Using this you could push out an identity with a bit of work.

A more direct way is to look at symmetry consider expressions of the form:
[tex]\epsilon^{\mu i_1 \ldots i_n} \epsilon_{\nu i_1 \ldots i_n}[/tex]. (In your case n=3).

The Levi-Civita symbol is zero unless all the terms are different, and there are only n+1 different choices for the indicies; thus for any given choice of [tex]i_1,\ldots,i_n[/tex] there is only one choice of mu such that the first term doesn't vanish, and only one choice of nu such that the second term doesn't vanish. Consequently the whole expression is proportional to [tex]\delta^{\mu}_{\nu}[/tex].

Now to find the constant of proportionality just work with any case: to get a non-vanishing term we require all the indicies to be different. If we choose mu=nu, then we have n ways of choosing i_1, (n-1) ways of choosing i_2, ..., 1 way of choosing i_n; and so we get exactly n! non-vanishing terms.
Now clearly each term is either 0 or 1, and so we conclude
[tex]\epsilon^{\mu i_1 \ldots i_n} \epsilon_{\nu i_1 \ldots i_n}=n! \delta^{\mu}_{\nu}[/tex].

So
[tex] \epsilon^{\mu \beta \gamma \delta} \epsilon_{\nu \beta \gamma \delta} = 3! \delta^{\mu}_{\nu}[/tex]

Hope I convinced you!
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 38 ·
2
Replies
38
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 17 ·
Replies
17
Views
4K