Kronecker Delta
📂Mathematical PhysicsKronecker Delta
Definition
We define δij as the Kronecker delta.
δij:={1,0,i=ji=j
Explanation
The Kronecker delta is used in many places, primarily to highlight the desired components (elements, possibilities, etc.) among all possible options. Physics students often encounter it in the context of dot products. If this concept isn’t immediately clear, consider the following example:
Example
Suppose we are given two vectors A=(A1,A2,A3) and B=(B1,B2,B3). The dot product of these vectors is given as follows:
A⋅B=A1B1+A2B2+A3B3
Expressing this using the summation symbol ∑ results in:
A⋅B=A1B1+A2B2+A3B3=i=1∑3AiBi
We can then see that the above expression is equivalent to i=1∑3j=1∑3δijAiBj as illustrated below:
i=1∑3j=1∑3δijAiBj=δ11A1B1+δ12A1B2+δ13A1B3+δ21A2B1+δ22A2B2+δ23A2B3+δ31A3B1+δ32A3B2+δ33A3B3=1⋅A1B1+0⋅A1B2+0⋅A1B3+0⋅A2B1+1⋅A2B2+0⋅A2B3+0⋅A3B1+0⋅A3B2+1⋅A3B3=A1B1+A2B2+A3B3=i=1∑3AiBi=A⋅B
Applying the Einstein notation, which omits ∑ when an index appears more than twice in a single term, results in:
δijAiBj=A⋅B
While it might not be immediately clear why such expressions are useful when looking at this simple example, their utility becomes apparent in fields like electromagnetism. In these areas, calculating numerous dot products, cross products, gradients, divergences, curls, Laplacians, and others demonstrates its convenience. As a second-year undergraduate, you’ll likely come to appreciate its usefulness naturally, so there’s no need to force understanding right now.
Additionally, a value exists only when both subscripts are identical, so if more than one Kronecker delta is multiplied, a non-zero value occurs only when all subscripts are identical:
δijδjk
In such cases, a non-zero value exists only when i=j=k, not when 0. The Kronecker delta is also an example of a 2-dimensional tensor.
It is also possible to understand this by representing it as a matrix.
The following formulas hold for i,j∈{1,2,3}.
(a) δii=3
(b) δijδjl=δil
(c) δiiδjj=9
(d) δiiδjj=6(i=j)
Remember that ∑ is omitted for expressions where any index appears more than twice.
Proof
(a)
According to Einstein notation, the following holds:
δii=i=1∑3δii=δ11+δ22+δ33=3
■
(b)
According to Einstein notation, the following holds:
δijδjl=j=1∑3δijδjl=δi1δ1l+δi2δ2l+δi3δ3l
Now, consider the cases where the value is not 0. The following three cases exist:
i=l=1andi=l=2andi=l=3
In the first case, the following holds:
δi1δ1l=1andδi2δ2l=δi3δ3l=0⟹δijδjl=δi1δ1l+δi2δ2l+δi3δ3l=1
In the second case, the following holds:
δi2δ2l=1andδi1δ1l=δi3δ3l=0⟹δijδjl=δi1δ1l+δi2δ2l+δi3δ3l=1
In the third case, the following holds:
δi3δ3l=1andδi1δ1l=δi2δ2l=0⟹δijδjl=δi1δ1l+δi2δ2l+δi3δ3l=1
Therefore, δijδjl results in 1 only when i=l, and in all other cases, the value is 0, leading to the following outcome:
δijδjl=δil
■
(c)
Because ∑ is omitted according to Einstein notation, we have the following:
δiiδjj=i=1∑3j=1∑3δiiδjj=i=1∑3δiij=1∑3δjj=3⋅3=9
The third equality holds due to (a).
■
(d)
Because ∑ is omitted according to Einstein notation, we have the following:
δiiδjj=i=1∑3j=1j=i∑3δiiδjj=δ11δ22+δ11δ33+δ22δ11+δ22δ33+δ33δ11+δ33δ22=6
■