主题
Search

克罗内克Delta


克罗内克delta 最简单的解释是作为 delta 函数的离散版本,定义为

 delta_(ij)={0   for i!=j; 1   for i=j.
(1)

克罗内克delta 在 Wolfram 语言中实现为KroneckerDelta[i, j],以及广义形式KroneckerDelta[i, j, ...],当且仅当所有参数相等时返回 1,否则返回 0。

它具有 轮廓积分表示

 delta_(mn)=1/(2pii)∮_gammaz^(m-n-1)dz,
(2)

其中 gamma 是对应于 单位圆轮廓,而 mn整数

在三维空间中,克罗内克delta 满足恒等式

delta_(ii)=3
(3)
delta_(ij)epsilon_(ijk)=0
(4)
epsilon_(ipq)epsilon_(jpq)=2delta_(ij)
(5)
epsilon_(ijk)epsilon_(pqk)=delta_(ip)delta_(jq)-delta_(iq)delta_(jp),
(6)

其中隐式地假定了 爱因斯坦求和约定i,j=1, 2, 3,以及 epsilon_(ijk)置换符号

从技术上讲,克罗内克delta 是由关系式定义的 张量

 delta_l^k(partialx_i^')/(partialx_k)(partialx_l)/(partialx_j^')=(partialx_i^')/(partialx_k)(partialx_k)/(partialx_j^')=(partialx_i^')/(partialx_j^').
(7)

因为,根据定义,坐标 x_ix_j 对于 i!=j 是独立的,

 (partialx_i^')/(partialx_j^')=delta^'_j^i,
(8)

所以

 delta^'_j^i=(partialx_i^')/(partialx_k)(partialx_l)/(partialx_j^')delta_l^k,
(9)

并且 delta_j^i 实际上是一个混合二阶 张量。它满足

delta_(ab)^(jk)=epsilon_(abi)epsilon^(jki)
(10)
=delta_a^jdelta_b^k-delta_a^kdelta_b^j
(11)
delta_(abjk)=g_(aj)g_(bk)-g_(ak)g_(bj)
(12)
epsilon_(aij)epsilon^(bij)=delta_(ai)^(bi)
(13)
=2delta_a^b.
(14)

参见

Delta 函数, 置换符号, 置换张量

相关 Wolfram 站点

http://functions.wolfram.com/IntegerFunctions/KroneckerDelta/

使用 Wolfram|Alpha 探索

请引用为

Weisstein, Eric W. “克罗内克 Delta。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/KroneckerDelta.html

主题分类