主題
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/

使用 探索

請引用為

Weisstein, Eric W. “克羅內克 Delta。” 來自 Web 資源。 https://mathworld.tw/KroneckerDelta.html

主題分類