Kronecker-Delta: 4 Rechenregeln & Skalarprodukt in Indexnotation

Definition und Beispiele

Kronecker-Delta \(\delta_{ \class{blue}{i} \class{red}{j} }\) ist ein kleines griechisches Delta, das entweder 1 oder 0 ist, je nach dem, welchen Wert die beiden Indizes \(\class{blue}{i} \) und \(\class{red}{j}\) haben. Der maximale Wert, den ein Index annehmen kann, entspricht der betrachteten Dimension. Zum Beispiel im dreidimensionalen Raum nehmen die Indizes \(\class{blue}{i}\) und \(\class{red}{j}\) die Werte von 1 bis 3 an.

Kronecker-Delta ist gleich 1, wenn \( \class{blue}{i} \) und \(\class{red}{j}\) gleich sind. Und Kronecker-Delta ist gleich 0, wenn \(\class{blue}{i} \) und \(\class{red}{j}\) ungleich sind.

Einstein-Summenkonvention

Damit wir einen Ausdruck wie2 \[ \underset{\class{red}{j}~=~1}{\overset{3}{\boxed{+}}} ~ \delta_{\class{blue}{i}\class{red}{j}} \, \delta_{\class{red}{j}\class{green}{k}} ~=~ \delta_{\class{blue}{i}\class{red}{1}} \, \delta_{\class{red}{1}\class{green}{k}} ~+~ \delta_{\class{blue}{i}\class{red}{2}} \, \delta_{\class{red}{2}\class{green}{k}} ~+~ \delta_{\class{blue}{i}\class{red}{3}} \, \delta_{\class{red}{3}\class{green}{k}} \]oder einen Ausdruck wie2.1 \[ \underset{\class{blue}{i}~=~1}{\overset{3}{\boxed{+}}} \, a_{\class{blue}{i}} \, b_{\class{blue}{i}} ~=~ a_{\class{blue}{1}}\,b_{\class{blue}{1}} ~+~ a_{\class{blue}{2}}\,b_{\class{blue}{2}} ~+~ a_{\class{blue}{3}}\,b_{\class{blue}{3}} \]kompakt darstellen können, vereinbaren wir folgende Regel:

Ein weiterer Vorteil der Summenkonvention (neben Kompaktheit) ist die formale Kommutativität. Zum Beispiel darfst du den Ausdruck \( \varepsilon_{\class{blue}{i}\class{red}{j}\class{green}{k}} \, \boldsymbol{\hat{e}}_{\class{blue}{i}} \, s_{\class{red}{j}} \, \delta_{\class{green}{k}\class{violet}{m}} \) nach deinem Wunsch in einer anderen Reihenfolge aufschreiben, zum Beispiel so: \( \varepsilon_{\class{blue}{i}\class{red}{j}\class{green}{k}} \, \delta_{\class{green}{k}\class{violet}{m}} \, \, s_{\class{red}{j}} \, \boldsymbol{\hat{e}}_{\class{blue}{i}} \). Dadurch könntest du besser sehen, was gekürzt oder weiter zusammengefasst werden kann.

Aber Achtung! Es gibt jedoch Ausnahmen. Zum Beispiel beim Differentialoperator \( \partial_{\class{red}{j}} \). Du darfst nicht \(f_{\class{red}{j}}\) vor \(\partial_{\class{red}{j}}\) ziehen, weil \(\partial_{\class{red}{j}}\) auf \(f_{\class{red}{j}}\) wirkt:\[ f_{\class{red}{j}} \, \partial_{\class{red}{j}} ~\neq~ \partial_{\class{red}{j}} \, f_{\class{red}{j}} \]Du darfst nicht einfach etwas vor die Ableitung ziehen, was abgeleitet werden soll. Bei Operatoren in Indexnotation solltest du also aufpassen.

4 Rechenregeln für Kronecker-Delta

Lass uns vier nützliche Rechenregeln mit Kronecker-Delta anschauen, die du immer dann einsetzen kannst, wenn über doppelte Indizes summiert wird.

Begründung: Nach der Definition des Kronecker-Delta, wenn die beiden Indizes \(\class{blue}{i}\) and \(\class{red}{j}\) gleich sind, ist sowohl \( \delta_{\class{blue}{i}\class{red}{j}} = 1 \) als auch \(\delta_{\class{red}{j}\class{blue}{i}} = 1 \), unabhängig davon, wie die Indizes angeordnet sind. Das gilt auch für den Fall, wenn die Indizes ungleich sind. Dann tragen sowohl \( \delta_{\class{blue}{i}\class{red}{j}} \) als auch \(\delta_{\class{red}{j}\class{blue}{i}} \) den Wert 0. Kronecker-Delta ist also symmetrisch!

Begründung: Schauen wir uns beispielhaft einen möglichen Fall an. Nehmen wir mal an, die Indizes \( \class{blue}{i} \) und \( \class{red}{j} \) sind gleich: \( \class{blue}{i} = \class{red}{j} \) und die Indizes \( \class{red}{j} \) und \( \class{green}{k} \) sind ungleich: \( \class{red}{j} \neq \class{green}{k} \). Dann folgt aus dieser Gleichung und Ungleichung, dass auch \( \class{blue}{i} \) und \( \class{green}{k} \) ungleich sein müssen: \( \class{blue}{i} \neq \class{green}{k} \). Nach Definition 1 folgt dann für das Produkt zweier Deltas mit diesen Indizes: \( \delta_{\class{blue}{i}\class{red}{j}} \, \delta_{\class{red}{j}\class{green}{k}} ~=~ 1 * 0 ~=~ 0 \). Du kannst aber genauso diese Gleichung kompakter schreiben: \( \delta_{\class{blue}{i}\class{green}{k}} ~=~ 0 \), weil sie ja wegen \( \class{blue}{i} \neq \class{green}{k} \) genauso Null ergibt. Wir sagen: Der Index \(\class{red}{j}\) wird kontrahiert.

Begründung: Das Produkt 5 ist nur dann nicht Null, wenn \( \class{red}{j} = \class{green}{k} \) ist. Diese Regel ist im Grunde ein weiterer Fall der Index-Kontraktion. Diese Regel sagt dir nur, dass du Summationsindizes kontrahieren kannst, die nicht unbedingt von einem Kronecker-Delta getragen werden müssen. Du kannst also auch Summationsindizes kontrahieren, die in beliebigen Ausdrücken vorkommen.

Begründung: Hier tritt der Index \(\class{red}{j}\) doppelt auf, das heißt, es wird nach der Summenkonvention über \(\class{red}{j}\) summiert. \(\delta_{\class{red}{11}}\) + \(\delta_{\class{red}{22}}\) + \(\delta_{\class{red}{33}}\) und so weiter, bis \(\delta_{\class{red}{nn}}\). Da in jedem Kronecker-Delta die Indizes-Werte gleich sind, ergibt jedes Kronecker-Delta nach seiner Definition eine Eins: 6.1\begin{align} \delta_{\class{red}{j}\class{red}{j}} &~=~ \delta_{\class{red}{11}} ~+~ \delta_{\class{red}{22}} ~+~...~+~ \delta_{\class{red}{nn}} \\\\ &~=~ 1 ~+~ 1 ~+~...~+~ 1 \\\\ & ~=~ n \end{align}

Die 3 häufigsten Fehler, die du vermeiden solltest

Wenn Du Summenkonvention und die obigen Rechenregeln benutzt, musst Du außerdem auf die richtige Notation achten: Summiert wird dann, wenn ein Index genau doppelt auftritt und zwar auf einer Seite der Gleichung.

1. Fehler #1 7\[ v_{\class{blue}{i}} ~=~ b_{\class{blue}{i}} \, c_{\class{blue}{i}} \]Warum? Auf der rechten Seite der Gleichung 7 wird zwar über \( \class{blue}{i} \) summiert, auf der linken Seite steht aber auch der Summationsindex \(\class{blue}{i}\) - das ergibt keinen Sinn... Ein Summationsindex \(\class{blue}{i}\) darf nur auf einer Seite der Gleichung auftauchen! Um 7 zu korrigieren, kannst du den Summationsindex zu \( \class{red}{j} \) umbenennen.

   Der nachfolgende Fehler ist zwar nicht falsch, aber sehr fehleranfällig:

2. Fehler #2 8\[ \delta_{\class{red}{j}\class{green}{k}} \, v_{\class{green}{k}} ~=~ \delta_{\class{violet}{m}\class{green}{k}} \, r_{\class{green}{k}} \]Warum? Weil der Summationsindex \( \class{green}{k} \) auf beiden Seiten der Gleichung erscheint. Es wird also auf beiden Seiten über \(\class{green}{k}\) summiert. Etwas sauberer wäre es einen Summationsindex auf einer Seite der Gleichung umzubennen.
3. Fehler #39\[ \delta_{\class{blue}{i}1} \, \delta_{1\class{green}{k}} ~=~ \delta_{\class{blue}{i}\class{green}{k}} \]Warum? Weil hier nicht über einen Index summiert wird, sondern es wird versucht über eine gewöhnliche Zahl zu summieren, als wäre diese Zahl ein Summationsindex. Zahl "1" tritt zwar doppelt auf, ist aber kein variabler Index, über den du summieren kannst. Deshalb gilt hier die Summenkonvention nicht.

Skalarprodukt in Indexnotation

Lass uns jetzt das Skalarprodukt in Indexnotation mit dem Kronecker-Delta ausdrücken. Diese Darstellung wird dir in Zukunft helfen, komplizierte Vektorgleichungen leichter umzuformen und zu vereinfachen.

Betrachten wir einen dreidimensionalen Vektor mit den Komponenten \(x\), \(y\) und \(z\): 10 \[ \boldsymbol{v} ~=~ \begin{bmatrix}x \\ y \\ z \end{bmatrix} \]

Illustration bekommen

Du kannst diesen Vektor \( \boldsymbol{v} \) in einer Orthonormalbasis folgendermaßen darstellen: 11 \[ \boldsymbol{v} ~=~ x \, \boldsymbol{\hat{e}}_x ~+~ y \, \boldsymbol{\hat{e}}_y ~+~ z \, \boldsymbol{\hat{e}}_z \] hierbei sind \(\boldsymbol{\hat{e}}_x\), \(\boldsymbol{\hat{e}}_y\) und \(\boldsymbol{\hat{e}}_z\) drei Basisvektoren, die orthogonal zueinander sind und normiert sind. In diesem Fall spannen sie ein orthogonales dreidimensionales Koordinatensystem auf.

Das Kronecker-Delta braucht Vektoren, die in Indexnotation geschrieben sind. Deshalb schreiben wir den Vektor \( \boldsymbol{v} \) in Indexnotation auf. Hierbei bezeichnen wir die Vektorkomponenten nicht mit unterschiedlichen Buchstaben \(x,y,z\), sondern wir wählen einen Buchstaben aus (hier eignet sich der Buchstabe \( v \)) und nummerieren dann die Vektorkomponenten und die Basisvektoren durch. Der Vektor sieht dann folgendermaßen aus: 12 \[ \begin{align} \boldsymbol{v} &~=~ \left( v_1,v_2,v_3\right) \\\\ &~=~ v_1 \, \boldsymbol{\hat{e}}_1 ~+~ v_2 \, \boldsymbol{\hat{e}}_2 ~+~ v_3 \, \boldsymbol{\hat{e}}_3 \end{align} \]

Einer der Vorteile dieser Durchnummerierung ist, dass dir auf diese Weise die Buchstaben für die Vektorkomponenten niemals ausgehen werden. Stell dir einfach einen fünfzigdimensionalen Vektor vor. So viele Buchstaben gibt es nicht mal, um jeder Vektorkomponente einen einzigartigen Buchstaben zuzuweisen.

Ein weiterer Vorteil ist, dass du das Summenzeichen einsetzen kannst, um die Basisdarstellung 12 kompakter darzustellen. Noch kompakter wird es, wenn wir nach der Summenkonvention das dicke Summanzeichen weglassen. Schau mal, wie kompakt der Vektor \(\boldsymbol{v}\) in einer Basis dargestellt werden kann, wenn wir die Komponenten durchnummerieren und Summenkonvention benutzen:

Da du nun jetzt weißt, wie ein Vektor in Indexnotation dargestellt wird, können wir auf analoge Weise das Skalarprodukt \( \boldsymbol{a} ~\cdot~ \boldsymbol{b} \) zweier Vektoren \( \boldsymbol{a} = (a_1, a_2, a_3) \) und \( \boldsymbol{b} = (b_1, b_2, b_3)\) in Indexnotation schreiben. Dazu benutzen wir die eben kennengelernte Indexnotation 13 eines Vektors: 14 \[ \boldsymbol{a} ~\cdot~ \boldsymbol{b} ~=~ a_{\class{blue}{i}} \, \boldsymbol{\hat{e}}_{\class{blue}{i}} ~\cdot~ b_{\class{red}{j}} \, \boldsymbol{\hat{e}}_{\class{red}{j}} \]

Wie du bereits weißt, darfst du die Faktoren in 14 wie du möchtest sortieren. In Indexnotation treten nur Multiplikationen auf, deshalb gilt das Kommutativgesetz. Das nutzen wir mal aus und setzen Klammern um die Basisvektoren herum, um ihre Wichtigkeit bei der Einführung des Kronecker-Deltas zu betonen: 15 \[ \boldsymbol{a} ~\cdot~ \boldsymbol{b} ~=~ a_{\class{blue}{i}} \, b_{\class{red}{j}} \, \left( \boldsymbol{\hat{e}}_{\class{blue}{i}} ~\cdot~ \boldsymbol{\hat{e}}_{\class{red}{j}} \right) \]

Die Basisvektoren \(\boldsymbol{\hat{e}}_{\class{blue}{i}}\) und \(\boldsymbol{\hat{e}}_{\class{red}{j}}\) sind orthonormal (also paarweise orthogonal und normiert). Erinnere dich mal daran, was die Eigenschaft orthonormiert zu sein, für zwei Vektoren bedeutet. Ihr Skalarprodukt \( \boldsymbol{\hat{e}}_{\class{blue}{i}} ~\cdot~ \boldsymbol{\hat{e}}_{\class{red}{j}} \) ergibt 1, wenn \(\class{blue}{i}\) und \(\class{red}{j}\) gleich sind. In diesem Fall handelt es sich um denselben Vektor. Oder das Skalarprodukt ergibt 0, wenn \(\class{blue}{i}\) und \(\class{red}{j}\) ungleich sind. In diesem Fall sind es zwei verschiedene Basisvektoren und sie liegen orthogonal zueinander:15.1\[ \boldsymbol{\hat{e}}_{\class{blue}{i}} ~\cdot~ \boldsymbol{\hat{e}}_{\class{red}{j}} ~=~ \begin{cases} 1 &\mbox{wenn } \class{blue}{i}=\class{red}{j} \\ 0 &\mbox{wenn } \class{blue}{i} \neq \class{red}{j} \end{cases} \]

Kommt dir diese Eigenschaft nicht bekannt vor? Das Skalarprodukt von zwei orthonormierten Vektoren verhält sich genau wie die Definition von Kronecker-Delta! 15.1\[ \delta_{\class{blue}{i}\class{red}{j}} ~=~ \begin{cases} 1 &\mbox{wenn } \class{blue}{i}=\class{red}{j} \\ 0 &\mbox{wenn } \class{blue}{i} \neq \class{red}{j} \end{cases} \]Deshalb darfst du das Skalarprodukt zwischen zwei Basisvektoren mit dem Kronecker-Delta ersetzen:

Damit können wir das Skalarprodukt 15 mittels Kronecker-Delta schreiben:

Wenn du dich an die dritte Kontraktionsregel 5 erinnerst, kannst du hier einen der der Summationsindizes \(\class{blue}{i}\) oder \(\class{red}{j}\) eliminieren. Lass uns zum Beispiel das \(j\) eliminieren:18\[ \boldsymbol{a} ~\cdot~ \boldsymbol{b} ~=~ a_{\class{blue}{i}} \, b_{\class{blue}{i}} \]

Und das ist genau die Definition des Skalarprodukts, bei dem die Vektorkomponenten komponentenweise summiert werden:18\[ \boldsymbol{a} ~\cdot~ \boldsymbol{b} ~=~ a_{\class{blue}{1}} \, b_{\class{blue}{1}} ~+~ a_{\class{blue}{2}} \, b_{\class{blue}{2}} ~+~ a_{\class{blue}{3}} \, b_{\class{blue}{3}} \]