1. Welt
  2. Theorien
  3. #24
Alexander Fufaev

Kronecker-Delta: 4 Rechenregeln und Du bist Pro!

aus dem Bereich: Theorien
Mehr dazu

Definition

Kronecker-Delta δij - ist ein kleines griechisches Delta, das entweder 1 oder 0 ergibt, je nachdem welche Werte seine zwei Indizes annehmen. Maximaler Wert eines Index entspricht der betrachteten Dimension, also im dreidimensionalen Raum: i,j ∈ {1,2,3}. 1 \[ \delta_{ij} ~=~ \begin{cases} 1 &\mbox{wenn } i=j \\ 0 &\mbox{wenn } i \neq j \end{cases} \]

Beispiel Nach der Definition 1 ist:
  • \( \delta_{11} ~=~ 1 \)
  • \( \delta_{23} ~=~ 0 \)
  • \( \delta_{23} \, \delta_{11} ~=~ 1*0 ~=~ 0 \)

Summenkonvention: für die Kompaktheit

Das Summenzeichen erscheint immer dann, wenn zwei gleiche Indizes (z.B. ii) auftauchen. Zur kompakteren Schreibweise verwendest Du die Einsteinsche Summenkonvention: Über doppelt auftretende Indizes in einem Produkt wird summiert; das Summenzeichen lässt Du einfach weg: 2 \[ \sum \limits_{i=1}^3 \, a_i \, b_i ~\rightarrow~ a_i \, b_i \]

Der Vorteil der Einsteinschen Summenkonvention - neben der Kompaktheit - ist die formale Kommutativität (Vertauschen ist erlaubt). Zum Beispiel darfst Du den Ausdruck \( \varepsilon_{ijk} \, \vec{e}_{i} \, s_j \, \delta_{km} \) nach Deinem Wunsch in einer anderen Reihenfolge aufschreiben \( \varepsilon_{ijk} \, \delta_{km} \, \, s_j \, \vec{e}_{i} \), um beispielsweise besser zu sehen, was gekürzt oder weiter zusammengefasst werden kann.

Es gibt jedoch Außnahmen, zum Beispiel beim Differentialoperator \( \partial_j \), der auf alle Nachfolger wirkt. Du darfst also Ausdrücke, die hinter dem Differentialoperator stehen, nicht davor ziehen und andersherum (Du darfst ja nicht etwas vor die Ableitung ziehen, was abgeleitet werden soll...). Aber - solange die Ausdrücke vor oder hinter dem Differentialoperator bleiben, darfst Du sie natürlich untereinander vertauschen: \( \partial_j \, s_j \, \delta_{km} \, \vec{e}_{i} ~=~ \partial_j \, \delta_{km} \, \vec{e}_{i} \, s_j \)

4 Rechenregeln für Kronecker-Delta

Bei Produkten mit den Indizes über die summiert wird, können Vereinfachungen vorgenommen werden. Diese Vereinfachungen kannst Du unter Beachtung folgender Rechenregeln vornehmen.

Rechenregel #1

Indizes \( ij \) beim Kronecker-Delta, dürfen vertauscht werden. 3 \[ \delta_{ij} ~=~ \delta_{ji} \]

Begründung: Das Vertauschen beider Indizes - ganz egal ob sie gleich \( i = j \) oder ungleich \( i \neq j \) sind - spielt keine Rolle, wenn Du die Definition 1 des Kronecker-Delta benutzt! Denn nach der Definition gilt, wenn die Indizes gleich sind: \( \delta_{ij} = 1 = \delta_{ji} \) oder, wenn sie ungleich sind: \( \delta_{ij} = 0 = \delta_{ji} \). Kronecker-Delta ist symmetrisch!

Rechenregel #2

Enthält das Produkt zweier oder mehrerer Kronecker-Deltas einen Summationsindex \( j \), dann lässt sich das Produkt zusammenfassen, wobei der Index \( j \) verschwindet. 4 \[ \delta_{ij} \, \delta_{jk} ~=~ \delta_{ik} \]

Begründung: Mal annehmen, die Indizes \( i \) und \( j \) sind gleich: \( i = j \) und die Indizes \( j \) und \( k \) sind ungleich: \( j \neq k \). Dann folgt aus dieser Gleichung und Ungleichung, dass auch \( i \) und \( k \) ungleich sein müssen: \( i \neq k \). Nach Definition 1 folgt dann für das Produkt zweier Deltas mit diesen Indizes: \( \delta_{ij} \, \delta_{jk} ~=~ 1 * 0 ~=~ 0 \). Du kannst aber genauso diese Gleichung kompakter schreiben: \( \delta_{ik} ~=~ 0 \), weil sie ja wegen \( i \neq k \) genauso Null ergibt.

Beispiel: WIE Du zusammenfasst - ist egal δjkδksδsi vereinfacht sich zu δjsδsi, wenn Du die ersten beiden Delta's (δjkδks) mithilfe der 2.Regel zusammenfasst (der Summationsindex k fliegt heraus). Du könntest aber genauso δjkδki herausbekommen, wenn Du nicht die ersten beiden, sondern die letzten beiden Delta's (δksδsi) zusammenfasst.

Die beiden gleichwertigen Vereinfachungen lassen sich noch ein mal zusammenfassen, weil bei einem Produkt über j und beim anderen über s summiert wird. Als Vereinfachung bekommst Du in beiden Fällen: δji.
Welchen Weg der Vereinfachung Du also nimmst, ist egal!

Rechenregel #3

Hat ein Faktor \( a_j \) den gleichen Index wie Kronecker-Delta \( \delta_{jk} \), dann verschwindet das Kronecker-Delta und der Faktor bekommt den anderen Index \( a_k \). 5 \[ a_j \, \delta_{jk} ~=~ a_k \]

Begründung: Das Produkt 5 ist nur dann nicht Null, wenn \( j = k \) ist. Eigentlich nichts Neues, denn diese Regel ist wie die Rechenregel #2. Diese Regel sagt Dir nur, dass Du mit Regel #2 nicht nur Kronecker-Deltas untereinander zusammenfassen kannst, sondern auch andere Ausdrücke, die in einem Produkt mit Kronecker-Delta stehen und einen gleichen Index tragen.

Rechenregel #4

Für n ∈ {1,2,3,...,n} gilt: 6 \[ \delta_{jj} ~=~ n \]

Begründung: Nach der Summenkonvention 2 wird hier über j summiert: \( \delta_{jj} ~=~ \delta_{11} ~+~ \delta_{22} ~+~...~+~ \delta_{nn} ~=~ 1 + 1 +...+ 1 = n \)

Alarm! 3 Fehler, die Du nicht machen 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.

Fehler #1 7 \[ v_i ~=~ b_i \, c_i \]

Warum? Auf der rechten Seite der Gleichung 7 wird zwar über \( i \) summiert, auf der anderen Seite steht aber auch der Summationsindex - das ergibt keinen Sinn... Es dürfen in einer Gleichung einzelne Indizes (genannt: freie Indizes, z.B. das \( i \) bei \( v_i \)) einmalig auf jeder Seite der Gleichung auftauchen! Um 7 zu korrigieren, musst Du den Summationsindex z.B. in \( j \) umbenennen.

Fehler #2 8 \[ \delta_{jk} \, v_k ~=~ \delta_{mk} \, r_k \]

Warum? Weil der Summationsindex \( k \) auf beiden Seiten der Gleichung erscheint. Unzulässig!

Fehler #3 9 \[ \delta_{i1} \, \delta_{1k} ~=~ \delta_{ik} \]

Warum? Weil hier kein Summationsindex, sondern eine reine Zahl zusammengefasst wird, als wäre diese Zahl ein Summationsindex. Zahl "1" tritt zwar doppelt auf, ist aber kein variabler Index, über den Du summieren kannst. Deshalb darfst Du nicht nach der Summenkonvention derart zusammenfassen.

So schreibst Du Skalarprodukt mithilfe von Kronecker-Delta

Die Komponenten eines dreidimensionalen Vektors können so dargestellt werden: \[ \vec{v} ~=~ \left( x,y,z \right) ~=~ \vec{e}_x \, x ~+~ \vec{e}_y \, y ~+~ \vec{e}_z \, z \]

In der Indexnotation wirst Du sie von nun an numerieren, was - zusammen mit Summenkonvention - in einer kürzeren Schreibweise resultiert. Über Index j wird summiert. Wie Du hier den Index nennst, ist egal: \[ \vec{v} ~=~ \left( x_1,x_2,x_3 \right) ~=~ \vec{e}_j \, x_j \]

Betrachte das Skalarprodukt zweier dreidimensionaler Vektoren \( \vec{a} \) = (a1,a2,a3) und \( \vec{b} \) = (b1,b2,b3), bei dem Du die beiden Vektoren komponentenweise multiplizierst: \[ \vec{a} ~\cdot~ \vec{b} ~=~ a_1 \, b_1 ~+~ a_2 \, b_2 ~+~ a_3 \, b_3 \]

Diese Summe kannst Du kürzer schreiben, in dem Du über einen frei wählbaren Index, z.B. i, summierst: \[ a_1 \, b_1 ~+~ a_2 \, b_2 ~+~ a_3 \, b_3 ~=~ \sum \limits_{i=1}^3 \, a_i \, b_i \]

Wenn Du noch die Summenkonvention ausnutzt, dann ist das dicke Summenzeichen auch weg: \[ \sum \limits_{i=1}^3 \, a_i \, b_i ~=~ a_i \, b_i \]

So schreibst Du orthonormierte Basisvektoren um

Zwei senkrecht aufeinander stehende Vektoren, \( \vec{e}_{i} \) und \( \vec{e}_{j} \), die den Betrag \( |\vec{e}_{i}| ~=~ |\vec{e}_{j}| ~=~ 1 \) haben, werden orthonormierte Basisvektoren genannt. Ihr Skalarprodukt ergibt entweder \( \vec{e}_{i} ~\cdot~ \vec{e}_{j} ~=~ 1 \), wenn \( i ~=~ j \) oder \( \vec{e}_{i} ~\cdot~ \vec{e}_{j} ~=~ 0 \), wenn \( i ~\ne~ j \).

Das Skalarprodukt von zwei orthonormierten Basisvektoren verhält sich also genau wie die Definition von Kronecker-Delta! Deshalb kannst Du die beiden obigen Fälle in einer Gleichung zusammenfassen: \[ \vec{e}_{i} ~\cdot~ \vec{e}_{j} ~=~ \delta_{ij} \]

Damit lässt sich das Skalarprodukt zweier beliebiger Vektoren mit Summenkonvention auch allgemein schreiben: \[ \vec{a} \cdot \vec{b} ~=~ a_i \, \vec{e}_i ~\cdot~ b_j \, \vec{e}_j ~=~ a_i \, b_j \, \left( \vec{e}_i ~\cdot~ \vec{e}_j \right) ~=~ a_i \, b_j \, \delta_{ij} \]

Jetzt hast Du nur ein normales Produkt, dessen Faktoren - ohne Bedenken - beliebig ausgeklammert und vertauscht werden dürfen. Zusammen mit dem Levi-Civita-Symbol, welches das Kreuzprodukt in ein normales Produkt umwandelt, sind die beiden echt stark!

Summe ausschreiben

Wie Du bereits gelernt hast, wird in \( a_i \, b_j \, \delta_{ij} \) über \( i \) und \( j \) summiert! Schreibe die Doppelsumme des dreidimensionalen Falls aus, d.h.: \( i, j ~\in~ \{ 1,2,3 \} \). Gehe also alle möglichen Kombinationen der Indizes durch und Du bekommst einen etwas langen Ausdruck: \[ a_i \, b_j \, \delta_{ij} ~=~ a_1 \, b_1 \, \delta_{11} ~+~ a_1 \, b_2 \, \delta_{12} ~+~ a_1 \, b_3 \, \delta_{13} ~+~ a_2 \, b_1 \, \delta_{21} ~+~ a_2 \, b_2 \, \delta_{22} ~+~ a_2 \, b_3 \, \delta_{23} ~+~ a_3 \, b_1 \, \delta_{31} ~+~ a_3 \, b_2 \, \delta_{32} ~+~ a_3 \, b_3 \, \delta_{33} \]

Wie Du siehst, - wegen der Definition von Kronecker-Delta - sind nur 3 Komponenten von insgesamt 9 ungleich Null, bei denen i=j ist. Du darfst also alle Summanden mit ungleichen Indizes weglassen. Zusammen mit der obigen 3.Regel hast Du: \[ a_i \, b_i ~=~ a_1 \, b_1 \, \delta_{11} ~+~ a_2 \, b_2 \, \delta_{22} ~+~ a_3 \, b_3 \, \delta_{33} \]

Mit der Definition von Kronecker-Delta, ist \( \delta_{11} ~=~ \delta_{22} ~=~ \delta_{33} ~=~ 1 \) und Du bekommst das Dir bekannte Skalarprodukt heraus: \[ a_i \, b_i ~=~ a_1 \, b_1 ~+~ a_2 \, b_2 ~+~ a_3 \, b_3 \]

Das Kronecker-Delta funktioniert!

Weltkarte
Verwalten
Profil
Die Stimme fragt...
Wie erlange ich den Zugang?

Um das Portal von Ak'tazun betreten zu können, musst Du die rote Pille schlucken. Nachdem Du durch das Portal gegangen bist, gelangst Du in die Matrix, wo Du beispielsweise folgendes tun kannst:

  • Inhalte hinzufügen & verwalten
  • Einige Inhalte kommentieren
  • Mittels Kommunikator RT2000 chatten
  • WhatsApp-Gruppe beitreten
Bist Du dabei?
Ja, bin dabei!
Portale in die anderen Welten

Reise zu den sicheren anderen Welten des Internets, um nach dem Wissen zu suchen. Findest Du eine Welt ("Internetseite" :D) besonders interessant, dann kannst Du in der Universaldenkerwelt ein Portal zu dieser Welt erbauen, um den anderen Besuchern den schnellen Zugang dazu zu gewährleisten.

Portalraum betreten
Kommunikator
ONLINE 3
Gäste online: 3
Denker online: 0
Der Kommunikator RT2000 funktioniert nur innerhalb der Matrix!
Ich will in die Matrix!Mayday! Kontakt aufnehmen.