克羅內克δ函數

提示：此條目的主題不是狄拉克δ函數，也不是克羅內克符號。

在數學中，克羅內克函數（又稱克羅內克δ函數、克羅內克δ）${\displaystyle \delta _{ij}\,\!}$ 是一個二元函數，得名於德國數學家利奧波德·克羅內克。克羅內克函數的自變量（輸入值）一般是兩個整數，如果兩者相等，則其輸出值為1，否則為0。

${\displaystyle \delta _{ij}=\left\{{\begin{matrix}1&(i=j)\\0&(i\neq j)\end{matrix}}\right.\,\!}$ 。

克羅內克函數的值一般簡寫為 ${\displaystyle \delta _{ij}\,\!}$ 。

克羅內克函數和狄拉克δ函數都使用δ作為符號，但是克羅內克δ用的時候帶兩個下標，而狄拉克δ函數則只有一個變量。

其它記法

另一種標記方法是使用艾佛森括號（得名於肯尼斯·艾佛森）：

${\displaystyle \delta _{ij}=[i=j]\,\!}$ 。

同時，當一個變量為0時，常常會被略去，記號變為 ${\displaystyle \delta _{i}\,\!}$ ：

${\displaystyle \delta _{i}=\left\{{\begin{matrix}1,&{\mbox{if }}i=0\\0,&{\mbox{if }}i\neq 0\end{matrix}}\right.\,\!}$ 。

在線性代數中，克羅內克函數可以被看做一個張量，寫作 ${\displaystyle \delta _{j}^{i}\,\!}$ 。

數字信號處理

衝激函數

類似的，在數字信號處理中，與克羅內克函數等價的概念是變量為 ${\displaystyle \mathbb {Z} \,\!}$ (整數)的函數：

${\displaystyle \delta [n]={\begin{cases}1,&n=0\\0,&n\neq 0\end{cases}}\,\!}$ 。

這個函數代表着一個衝激或單位衝激。當一個數字處理單元的輸入為單位衝激時，輸出的函數被稱為此單元的衝激響應。

性質

克羅內克函數有篩選性：對任意 ${\displaystyle j\in \mathbb {Z} \,\!}$ ：

${\displaystyle \sum _{i=-\infty }^{\infty }\delta _{ij}a_{i}=a_{j}\,\!}$ 。

如果將整數看做一個裝備了計數測度的測度空間，那麼這個性質和狄拉克δ函數的定義是一樣的：

${\displaystyle \int _{-\infty }^{\infty }\delta (x-y)f(x)dx=f(y)\,\!}$ 。

實際上，狄拉克δ函數是根據克羅內克函數而得名的。在信號處理中，兩者是同一個概念在不同的上下文中的表現。一般設定 ${\displaystyle \delta (t)\,\,\!}$ 為連續的情況（狄拉克函數） ，而使用i, j, k, l, m, and n 等變量一般是在 離散的情況下（克羅內克函數）。

線性代數中的應用

在線性代數中，單位矩陣可以寫作 ${\displaystyle (\delta _{ij})_{i,j=1}^{n}\,\!}$ 。

在看做是張量時（克羅內克張量），可以寫作 ${\displaystyle \delta _{j}^{i}\,\!}$ 。

這個(1,1)向量表示:

• 作為線性映射的單位矩陣。
• 跡數。
• 內積 ${\displaystyle V^{*}\otimes V\to K\,\!}$ 。
• 映射 ${\displaystyle K\to V^{*}\otimes V\,\!}$ ，將數量乘積表示為外積的形式。

廣義克羅內克函數

定義廣義克羅內克函數為 ${\displaystyle n\times n\,\!}$ 矩陣的行列式，以方程式表達為^[1]

${\displaystyle \delta _{i_{1}i_{2}\dots i_{n}}^{j_{1}j_{2}\dots j_{n}}={\begin{bmatrix}\delta _{i_{1}}^{j_{1}}\delta _{i_{2}}^{j_{1}}&\cdots &\delta _{i_{n}}^{j_{1}}\\\delta _{i_{1}}^{j_{2}}\delta _{i_{2}}^{j_{2}}&\cdots &\delta _{i_{n}}^{j_{2}}\\\vdots &\ddots &\vdots \\\delta _{i_{1}}^{j_{n}}\delta _{i_{2}}^{j_{n}}&\cdots &\delta _{i_{n}}^{j_{n}}\\\end{bmatrix}}\,\!}$ ；

其中，${\displaystyle \delta _{j}^{i}\,\!}$ 是個張量函數，定義為 ${\displaystyle \delta _{j}^{i}\ {\stackrel {def}{=}}\ \delta _{ij}\,\!}$ 。

以下列出涉及廣義克羅內克函數的一些恆等式：

• ${\displaystyle \delta _{imn}^{ijk}=\delta _{mn}^{jk}=\delta _{m}^{j}\delta _{n}^{k}-\delta _{n}^{j}\delta _{m}^{k}\,\!}$ 。
• ${\displaystyle \delta _{ijm}^{ijk}=2\delta _{m}^{k}\,\!}$ 。
• ${\displaystyle \delta _{ijk}^{ijk}=6\,\!}$ 。
• ${\displaystyle \delta _{lmn}^{ijk}=\epsilon ^{ijk}\epsilon _{lmn}\,\!}$ ；

其中，${\displaystyle \epsilon ^{ijk}\,\!}$ 和 ${\displaystyle \epsilon _{lmn}\,\!}$ 是列維-奇維塔符號。

• ${\displaystyle \delta _{i_{1}i_{2}\dots i_{n}}^{j_{1}j_{2}\dots j_{n}}=\epsilon ^{j_{1}j_{2}\dots j_{n}}\epsilon _{i_{1}i_{2}\dots i_{n}}\,\!}$ 。
• ${\displaystyle \delta _{i_{1}i_{2}\dots i_{n}}^{12\dots n}=\epsilon _{i_{1}i_{2}\dots i_{n}}\,\!}$ 。
• ${\displaystyle \delta _{i_{1}i_{2}\dots i_{n}}^{j_{1}j_{2}\dots j_{n}}T_{j_{1}j_{2}\dots j_{n}}=n!\ T_{i_{1}i_{2}\dots i_{n}}\,\!}$ ；

其中，${\displaystyle T_{j_{1}j_{2}\dots j_{n}}\,\!}$ 是 ${\displaystyle n\,\!}$ 階張量。

積分表示

對任意的整數 ${\displaystyle n\,\!}$ ，運用標準的留數計算，可以將克羅內克函數表示成積分的形式：

${\displaystyle \delta _{x,n}={\frac {1}{2\pi i}}\oint z^{x-n-1}dz\,\!}$ ；

其中積分的路徑是圍繞零點逆時針進行。

這個表示方式與下面的另一形式等價：

${\displaystyle \delta _{x,n}={\frac {1}{2\pi }}\int _{0}^{2\pi }e^{i(x-n)\varphi }d\varphi \,\!}$ 。

參見

• 列維-奇維塔符號
• 狄拉克測度
• 同或門

參考文獻

1. Heinbockel, J. H., Introduction to Tensor Calculus and Continum Mechanics, Victoria, B.C. Canada: Trafford Publishing: pp. 14, 31, 2001 [2010-04-25], ISBN 1-55369-133-4, （原始內容存檔於2020-01-06） 引文格式1維護：冗餘文本 (link)