Kronecker delta: Definition from Answers.com

This article is an orphan, as few or no other articles link to it. Please introduce links to this page from other articles related to it. (November 2009)

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,

δ 12 = 0

, but

δ 33 = 1

It is written as the symbol δ_ij, and treated as a notational shorthand rather than as a function.

$\delta_{ij} = \left\{\begin{matrix} 1, & \mbox{if } i=j \\ 0, & \mbox{if } i \ne j \end{matrix}\right.$

1 Alternate notation
2 Digital signal processing
3 Properties of the delta function
- 3.1 Linear algebra
4 Extensions of the delta function
5 Integral representations
6 Algebraic representation
7 See also

Alternate notation

Using the Iverson bracket:

$\delta_{ij} = [i=j ].\,$

Often, the notation $δ i$ is used.

$\delta_{i} = \left\{\begin{matrix} 1, & \mbox{if } i=0 \\ 0, & \mbox{if } i \ne 0 \end{matrix}\right.$

In linear algebra, it can be thought of as a tensor, and is written $\delta^i_j$ .

Digital signal processing

An impulse function

Similarly, in digital signal processing, the same concept is represented as a function on $\mathbb{Z}$ (the integers):

$\delta[n] = \begin{cases} 1, & n = 0 \\ 0, & n \ne 0.\end{cases}$

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 $j\in\mathbb Z$ :

$\sum_{i=-\infty}^\infty a_i \delta_{ij} =a_j.$

and if the integers are viewed as a measure space, endowed with the counting measure, then this property coincides with the defining property of the Dirac delta function

$\int_{-\infty}^\infty \delta(x-y)f(x) dx=f(y),$

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, $\delta(t)\,$ 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: $\delta[n]\,$ . It is important to note that the Kronecker delta is not the result of sampling the Dirac delta function.

The Kronecker delta is used in many areas of mathematics.

Linear algebra

In linear algebra, the identity matrix can be written as $(\delta_{ij})_{i,j=1}^n\,$ .

If it is considered as a tensor, the Kronecker tensor, it can be written $\delta^i_j$ with a covariant index j and contravariant index i.

This (1,1) tensor represents:

the identity matrix, considered as a linear mapping
the trace
the inner product $V^* \otimes V \to K$
the map $K \to V^* \otimes V$ , representing scalar multiplication as a sum of outer products

Extensions of the delta function

In the same fashion, we may define an analogous, multi-dimensional function of many variables

$\delta^{j_1 j_2 \dots j_n}_{i_1 i_2 \dots i_n} = \prod_{k=1}^n \delta_{i_k j_k}.$

This function takes the value 1 if and only if all the upper indices match the corresponding lower ones, and the value zero otherwise.

Integral representations

For any integer n, using a standard residue calculation we can write an integral representation for the Kronecker delta as the integral below, where the contour of the integral goes counterclockwise around zero. This representation is also equivalent to a definite integral by a rotation in the complex plane.

$\delta_{x,n} = \frac1{2\pi i} \oint_{|z|=1} z^{x-n-1} dz=\frac1{2\pi} \int_0^{2\pi} e^{i(x-n)\varphi} d\varphi,$

Algebraic representation

If $i$ and $j$ are integers, the Kronecker delta function can be represented by means of the following algebraic expression:

$\delta_{ij} = \frac{1}{2} \Bigg( 1- \frac{\Big| p \cdot |i-j|-q \Big|}{p \cdot |i-j|-q} \Bigg),$

where $p$ and $q$ are arbitrary integers that satisfy $p > q > 0$ (e.g. $p = 2$ , $q = 1$ : this is the simplest choice). This formula can be very useful for the implementation of the Kronecker delta in spreadsheet software.

	Dirac matrix (quantum mechanics)
	Leopold Kronecker (German mathematician)
	Delta function

	Where do you ground a delta delta transformer? Read answer...
	Differentiate delta to delta connection of the transformer to delta to Y connection? Read answer...
	What is the secret password of Delta Delta Delta? Read answer...

	What does Delta Tau Delta mean?
	What type of delta is the lena delta?
	What is the significance of the pansy flower and delta delta delta sorority?

		Dictionary. The American Heritage® Dictionary of the English Language, Fourth Edition Copyright © 2007, 2000 by Houghton Mifflin Company. Updated in 2009. Published by Houghton Mifflin Company. All rights reserved. Read more
		WordNet. WordNet 1.7.1 Copyright © 2001 by Princeton University. All rights reserved. Read more
		Wikipedia. This article is licensed under the Creative Commons Attribution/Share-Alike License. It uses material from the Wikipedia article "Kronecker delta". Read more

Kronecker delta

Contents