Talk:Kronecker delta

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated C-class, High-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
C Class
High Importance
 Field: Basics

Earlier comments[edit]

To claim as the article does that the Kronecker delta is a discrete analogue of the Dirac delta is very funny. The Dirac delta came afterwards, was named delta by analogy with Kronecker's and is not even an integral kernel, while the Kronecker delta is a bona fide matrix. — Miguel 22:12, 2004 Nov 21 (UTC)

There's another definition of the generalized Kronecker delta that is defined by the sign of the permutation that maps the contravariant indices to the covariant ones. It's equal to and sometimes defined by a determinant of regular Kronecker deltas. Do a search on Planetmath for more info. Jason Quinn 19:57, 11 Mar 2005 (UTC)

I don't get why it references an OR gate in the end. That doesn't make sense to me. Peter (talk) 08:10, 28 August 2008 (UTC)

Kronecker Delta as a sampling of the Dirac Delta[edit]

The article states, "It is important to note that the Kronecker delta is not the result of sampling the Dirac delta function." Isn't this incorrect? If we use the ideal lowpass to limit the bandwidth for sampling, then we will be sampling a sinc function at the middle peak and then zero-crossings. I won't change anything until I cook up a proof or find a ref to add here, or until someone (myself included) shows I'm wrong. Any thoughts? Herr Lip (talk) 19:50, 31 March 2011 (UTC)

I went ahead and put something in, albeit without a proof or ref, for now. I also changed "It is important to note that the Kronecker delta is not the result of sampling the Dirac delta function." to "It is important to note that the Kronecker delta is not the result of directly sampling the Dirac delta function." Adding the "directly" to clarify (what I assume is) the point of the original statement, and help compare to my addition. Herr Lip (talk) 01:16, 30 April 2011 (UTC)

I think what this statement means is that sampling a Dirac delta function at x=0 (for a sufficiently short sample "time" around x=0) must yield a value greater than 1, the expected discrete Kronecker delta value for [0,0]. The reason is that the value of a Dirac delta at exactly x=0 (with infinitely small sample time) must be infinite for the total integral over the number line to be 1. Does anyone agree? David Spector (talk) 22:01, 23 July 2013 (UTC)

Unit Impulse Function[edit]

The unit impulse function is defined as a combination of two formulas. One defining where the function is zero:

\delta(x-y)=0, x \ne y

And one stating that the entire integral must be equal to one:

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

Maybe it should be pointed out that the unit impulse is the same one as the Dirac delta. Anyway I would move the whole treatment of the unit impulse function to the appropriate article (instead of giving overhere two definitions of this other mathematical object). Andy 22:36, 20 September 2006 (UTC)

\int_{-\infty}^\infty \delta(x-y)f(x) dx=f(y),
--Bob K 13:51, 21 September 2006 (UTC)

TeX cases[edit]

I don't like the ", if" in the definition, just \begin{cases} 1 & x = 0 \\ ... usually seems sufficient. --136.152.170.83 (talk) 04:16, 15 August 2008 (UTC)

Regarding the section "algebraic expression"[edit]

I agree that it may look like original research, but it is nonetheless a true algebraic representation, as long as it is used only on integers. I have my doubts about how useful it is, though, as all practical programming languages interprets boolean truth as 1 if converted to integer, which means that the Kronecker delta function can simply be represented as something like: int(i==j) —Preceding unsigned comment added by 77.40.128.194 (talk) 14:27, 6 December 2009 (UTC)

I've removed it because it is original research, is a horribly clunky fragile definition, and I'm not sure it lends any insight. To whoever is using IP addresses to revert this, please stop until you've discussed. Oli Filth(talk|contribs) 13:29, 22 April 2010 (UTC)
Agree with removal. Mathematics must be rigorous. Most programming languages are explicitly non-rigorous. David Spector (talk) 22:05, 23 July 2013 (UTC)

Punctuation[edit]

In the article, there is first a comma between the indices, and later there is no comma. Are both forms of punctuation equally correct? Ezekiel 33:32 (talk) 08:35, 6 June 2010 (UTC)

I have seen both used. Without comma is more usual but can occasionally cause confusion. (Eg if i=222 and j=2 without comma one would write \delta_{2222} which also might mean i=22 and j=22.) MathHisSci (talk) 09:50, 9 August 2010 (UTC)

New symbol[edit]

I am wondering if a symbol which behaves as the opposite of Kronecker delta would be useful. I need it for my research. I want to propose !\delta_{nk} to that end. So !\delta_{nk} = 0 when n=k and !\delta_{nk} = 1 when n\ne k

Wilkn (talk) 01:22, 31 October 2010 (UTC)

You might want to try 1-\delta_{nk}. Tkuvho (talk) 05:22, 31 October 2010 (UTC)

Thanks !

Wilkn (talk) 22:55, 8 November 2010 (UTC)

Unit Impulse[edit]

Isn't the section on the unit Impusle Misleading? Shouldn't the value at 0 for the impulse be '+inf', not '1'? (I know thats not actually correct either, but I'm saying its not right as is) --143.107.106.100 (talk) 22:50, 14 April 2011 (UTC)

There is no value for the Dirac delta at x=0, and it is not a well-behaved function. See my comment above under "Kronecker Delta as a sampling of the Dirac Delta". The proper delta is used in the proper context. David Spector (talk) 22:11, 23 July 2013 (UTC)

Clarification: is the Kronecker delta a function, or "notational shorthand"?[edit]

The statement that the Kronecker delta "is treated as a notational shorthand rather than as a function" has been in the lead section of this article since its inception in 2003. I've tagged this as needing clarification because the lead also states that "the Kronecker delta... is a function." Which is it then? Or is it both? Either way, we need to clarify. --TSchwenn (talk) 19:24, 18 May 2012 (UTC)

Good points. As far as I know its the identity tensor (which amounts to the shorthand for 0 or 1) in descrete contexts, or the delta function in the continuous case (descrete indices are replaced by continuous variables). It might help to define both at the beginning and keep the descrete and continuous versions seperate through the article, preferably the dscrete case first since its easier to understand, then the continuous. Anyone can resection things, but I'm no expert on distribution theory though... F = q(E+v×B) ⇄ ∑ici 17:40, 21 May 2012 (UTC)
By delta function, I guess you mean Dirac delta function, which could be used to define the Kronecker delta like this:
\delta_{ij} = \int_j^j \delta(i)di
Does that work? --TSchwenn (talk) 21:56, 21 May 2012 (UTC)
Not quite. If you are integrating w.r.t. j then it cannot appear as a free variable on the left hand side. You need something like
\delta_{ij} = \int_j^j \delta(x-i) \, dx
Gandalf61 (talk) 07:46, 22 May 2012 (UTC)
The Kronecker delta is a function (of discrete variables). The Dirac delta function, which acts on continuous variables, is not a function, but it is a generalized function. --Trovatore (talk) 21:41, 21 May 2012 (UTC)
I will delete the "notational shorthand" bit in the article then. Thanks for clarifying! --TSchwenn (talk) 22:02, 21 May 2012 (UTC)

Generalized version[edit]

I'm not a mathematician, but it seems to me the generalized Kronecker delta should be -1 for odd index permutations, unless there is more than one kind of generalized version? Reference: http://books.google.com/books?id=Gu3-ciFTbQgC&pg=PA277#v=onepage&q&f=false — Preceding unsigned comment added by 70.95.65.244 (talk) 11:34, 7 June 2012 (UTC)

For the record, that's Tensor Calculus and Riemannian Geometry 22nd edition (2007) by D. C. Agarwal, published by Krishna Prakashan Media. No ISBN to be found. --TSchwenn (talk) 06:07, 8 June 2012 (UTC)

Theodore Frankel (2012) The Geometry of Physics: An Introduction 3rd edition, published by Cambridge University Press, ISBN 9781107602601 has the same definition as is suggested here. In fact, doing a google book search on "generalized kronecker delta" appears to find only this definition. Thus, this seems to be more useful and certainly more notable than what appears to be shorthand for a repeated product of Kronecker deltas, so I'll replace the generalization presently in the article. — Quondum 13:27, 12 June 2012 (UTC)

Conflicting relationship of the generalized Kronecker delta and Levi-Civita symbol in Gamma matrices[edit]

I notice that in this article, the relationship with the Levi-Civita symbol differs by a factor of n!. Here it is given as

 \delta^{\mu_1 \dots \mu_n}_{\nu_1 \dots \nu_n} = \varepsilon^{\mu_1 \dots \mu_n}\varepsilon_{\nu_1 \dots \nu_n}

whereas in Gamma matrices#The fifth gamma matrix, γ5 (open the "Proof" box to see it) it is given as

 \delta^{\alpha\beta\gamma\delta}_{\mu\nu\varrho \sigma} = \frac{1}{4!} \varepsilon^{\alpha\beta\gamma\delta} \varepsilon_{\mu\nu\varrho\sigma} .

This discrepancy is possibly a matter of definition of the generalized Kronecker delta, and should be clarified. — Quondum 04:52, 29 October 2012 (UTC)

Are you sure that the formula in the Gamma matrices article is based on a reliable source rather than derived from an earlier, internally inconsistent, version of this article? JRSpriggs (talk) 07:36, 29 October 2012 (UTC)
No, I am not suggesting that this article is at fault; I was simply pointing out a discrepancy between the two articles that I'd noticed, and hoping someone with more familiarity with it would know. The relevance to this article is that if there is a another accepted definition, this is where it should be noted. The only sources that I've found (and there are not many that I've gone through) support this article's version. The other article's version is "better" in a useful sense (it seems that it represents a projection (being antisymmetrization, an idempotent operation), and unlike this article's version, would mostly eliminate the factorial factors that abound). However, the criterion to be used is notability, not utility. — Quondum 09:14, 29 October 2012 (UTC)
Christopher Pope (Geometry and Group Theory, 2008, http://people.physics.tamu.edu/pope/geom-group.pdf) uses a version of the generalized Kronecker δ that differs with a factor of n! from the one in this article. See his equations (1.239) and (1.240). It seems my supervisor uses the same convention as Pope, and if it is a common definition it should be noted in this article. Would have saved me some trouble... — Preceding unsigned comment added by 129.16.200.109 (talk) 13:11, 21 August 2013 (UTC)

Error in recursive definition of generalized Kronecker delta[edit]

くま兄やん (talk · contribs) noticed that my recursive definition of the generalized Kronecker delta was wrong and gave a correction for it. Due to over-confidence in my own work, repeating the same error, and disliking the format of his alternative, I reverted to my version. Quondum‎ (talk · contribs) gave another corrected version; and simultaneously, I saw the error of my version. However, I still do not like the format of the offered alternatives. How about this:

\delta^{\mu \rho_1 \cdots \rho_n}_{\nu \sigma_1 \cdots \sigma_n} = \delta^{\mu}_{\nu} \delta^{\rho_1 \cdots \rho_n}_{\sigma_1 \cdots \sigma_n} - \sum^n_{k=1} \delta^{\mu}_{\sigma_k} \delta^{\rho_1 \cdots \rho_n}_{\sigma_1 \cdots \sigma_{k-1} \; \nu \; \sigma_{k+1} \cdots \sigma_n} \,

version? JRSpriggs (talk) 13:37, 2 November 2012 (UTC)

This expression suggests something special about the first term, whereas all terms are actually interchangeable by symmetry. Some simple pattern is preferable. Your suggestion has an unswapped index, then that index in turn swapped with another for the remaining terms. I haven't checked the signs. My two patterns were first a cyclic shift, and second a list with one index removed and placed on the first delta. I find the pattern of one index being treated specially the least intuitive (the most difficult to infer a pattern from). The one source (Lovelock & Rund) gives the following formula (and there is some merit in using a sourced formula):
\delta^{j_1\cdots j_r}_{h_1\cdots h_r}={\delta^{j_r}_{h_r}\delta^{j_1\cdots j_{r-1}}_{h_1\cdots h_{r-1}}-\delta^{j_{r-1}}_{h_r}\delta^{j_1\cdots j_{r-2}j_r}_{h_1\cdots h_{r-1}}+\delta^{j_{r-2}}_{h_r}\delta^{j_1\cdots j_{r-3}j_{r-1}j_r}_{h_1\cdots h_{r-1}}\cdots+(-1)^{r+1}\delta^{j_1}_{h_r}\delta^{j_2\cdots j_r}_{h_1\cdots h_{r-1}}}
Quondum 21:46, 2 November 2012 (UTC)
Either the permutation leaves the first index where it was (\mu = \nu \,) or it moves it to another location (\mu = \sigma_k \,). In the first case, one can simply apply the previous generalized Kronecker delta to handle the rest of the permutation. In the second case, do a single transposition (getting a factor of −1) to reduce this to the first case. JRSpriggs (talk) 07:29, 3 November 2012 (UTC)
I prefer that the expression on the left dictates the index naming and that we use the variable p, as for the other expressions. This would suggest one of the following expressions.
Yours, with indices renamed accordingly would be:
\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} = \delta^{\mu_p}_{\nu_p} \delta^{\mu_1 \cdots \mu_{p-1}}_{\nu_1 \cdots \nu_{p-1}} - \sum_{k=1}^{p-1} \delta^{\mu_p}_{\nu_k} \delta^{\mu_1 \cdots \mu_{p-1}}_{\nu_1 \cdots \nu_{k-1} \; \nu_p \; \nu_{k+1} \cdots \nu_{p-1}} .
An expression derived from that which I gave above would be (with the hat indicating an omitted index):
\delta^{\mu_1 \cdots \mu_p}_{\nu_1 \cdots \nu_p} = \sum_{k=1}^p (-1)^{p-k} \delta^{\mu_p}_{\nu_k} \delta^{\mu_1 \cdots \mu_{p-1}}_{\nu_1 \cdots \hat\nu_k \cdots \nu_{p}} .
These are compact enough that we could include both; they each have their merits. — Quondum 13:02, 3 November 2012 (UTC)
OK. JRSpriggs (talk) 09:41, 4 November 2012 (UTC)
Cool. I've replaced the list expressions with these general expressions. — Quondum 10:21, 4 November 2012 (UTC)