Kronecker delta
From Free net encyclopedia
In mathematics, the Kronecker delta or Kronecker's delta, named after Leopold Kronecker (1823-1891), is a function of two variables, usually integers, which is 1 if they are equal, and 0 otherwise. So, for example, <math>\delta_{12} = 0</math>, but <math>\delta_{33} = 1</math>. It is written as the symbol δij, and treated as a notational shorthand rather than as a function.
- <math>\delta_{ij} = \left\{\begin{matrix}
1 & \mbox{if } i=j \\ 0 & \mbox{if } i \ne j \end{matrix}\right.</math> or, using the Iverson bracket:
- <math>\delta_{ij} = [i=j]\,</math>
Often, the notation <math>\delta_i</math> is used.
- <math>\delta_{i} = \left\{\begin{matrix}
1 & \mbox{if } i=0 \\ 0 & \mbox{if } i \ne 0 \end{matrix}\right.</math>
Image:Unit impulse.gif
Similarly, in digital signal processing, the same concept is represented as a function on <math>\mathbb{Z}\,</math> (integers):
- <math>
\delta(n) = \begin{cases} 1, & n = 0 \\ 0, & n \ne 0 \end{cases}</math>
The function is referred to as an impulse, or unit impulse. And when it stimulates a signal processing element, the output is called the impulse response of the element.
Properties of the delta function
The Kronecker delta has the so-called sifting property that for <math>j\in\mathbb Z</math>:
- <math>\sum_{i=-\infty}^\infty \delta_{ij} a_i=a_j.</math>
This property is similar to one of the main properties of the Dirac delta function:
- <math>\int_{-\infty}^\infty \delta(x-y)f(x) dx=f(y),</math>
and in fact Dirac's delta was named after the Kronecker delta because of this analogous property. In signal processing it is usually the context (discrete or continuous time) that distinguishes the Kronecker and Dirac "functions". And by convention, <math>\delta(t)\,</math> generally indicates continuous time (Dirac), whereas arguments like i, j, k, l, m, and n are usually reserved for discrete time (Kronecker). Another common practice is to represent discrete sequences with square brackets; thus: <math>\delta[n]\,</math>.
The Kronecker delta is used in many areas of mathematics. For example, in linear algebra, the identity matrix can be written as <math>\delta_{ij}\,</math> while if it is considered as a tensor, the Kronecker tensor, it can be written <math>\delta^j_i</math> with a contravariant index j. This is a more accurate way to notate the identity matrix, considered as a linear mapping.
Extensions of the delta function
In the same fashion, we may define an analogous, multi-dimensional function of many variables
- <math>\delta^{j_1 j_2 ... j_n}_{i_1 i_2 ...i_n}:= \prod_{k=1}^n \delta_{i_k j_k}.</math>
This function takes the value 1 if and only if all the upper indices match the corresponding lower one, and the value zero otherwise.
See also
da:Kroneckers delta de:Kronecker-Delta es:Delta de Kronecker fr:Symbole de Kronecker it:Delta di Kronecker he:הדלתא של קרונקר nl:Kroneckerdelta ja:クロネッカーのデルタ pl:Symbol Kroneckera ru:Символ Кронекера sl:Kroneckerjev delta sr:Кронекер делта функција sv:Deltaföljden