Symmetrie des dielektrischen Tensors

In dem Buch Prinzipien der Optik von Max Born, in Kapitel XIV, die Änderungsrate der elektrischen Energiedichte w e verallgemeinert wird

(1) D w e D T = 1 4 π k l E k ϵ k l E ˙ l

um anisotrope Medien zu berücksichtigen. Es wird jedoch gesagt, dass die rechte Seite der obigen Gleichung nicht als Änderungsrate der elektrischen Energiedichte interpretiert werden kann, es sei denn

(2) D w e D T = 1 4 π k l E k ϵ k l E ˙ l = 1 8 π k l ϵ k l ( E k E ˙ l + E ˙ k E l )

das heißt, es sei denn

(3) k l ϵ k l ( E k E ˙ l E ˙ k E l ) = 0

was impliziert ϵ k l = ϵ l k , da k Und l sind Dummy-Indizes.

Jetzt für isotrope Medien ϵ k l = ϵ δ k l und Gleichung (1) ist wie erwartet. Ich verstehe aber nicht, warum dieser Ausdruck nur dann mit der Änderung der elektrischen Energiedichte identifiziert werden kann, wenn die Forderung von Gleichung (2) erfüllt ist. Mir erscheint das alles wie ein Zirkelschluss, weil man die Gleichung (2) nur schreiben kann, wenn der Tensor von vornherein symmetrisch ist. Können Sie mir helfen, diese Argumentation zu verstehen?

Antworten (1)

Das Erfordernis der Permutationssymmetrie in Kopplungen dieser Form ist ein ziemlich universelles Merkmal, und der Hauptgrund dafür ist, dass die Energie, damit sie eine wohldefinierte Funktion der Zustandsvariablen ist, pfadunabhängig sein muss.

Dies ist am einfachsten anhand eines konkreten Beispiels zu sehen, betrachten Sie also einen 2D-Fall, in dem der Suszeptibilitätstensor lautet

ϵ = ( ϵ X X ϵ j X ϵ X j ϵ j j ) = ( 0 0 ϵ X j 0 ) ,
und betrachten Sie zwei Prozesse, die dauern ( E X , E j ) aus ( 0 , 0 ) Zu ( E 0 , E 0 ) ,

  1. über das Bein ( E X , E j ) : ( 0 , 0 ) ( 0 , E 0 ) ( E 0 , E 0 ) , gegen
  2. über das Bein ( E X , E j ) : ( 0 , 0 ) ( E 0 , 0 ) ( E 0 , E 0 ) ,

wobei jede Seite des Quadrats gleichmäßig über eine Zeit durchquert wird T .

Im ersten Prozess haben Sie

D w e D T = 1 4 π k l E k ϵ k l E ˙ l = 1 4 π E X ϵ X j E ˙ j = 0
auf dem Hinspiel, weil E X = 0 , und auf dem zweiten Bein haben Sie E ˙ j = 0 , also bekommst du auch
D w e D T = 1 4 π k l E k ϵ k l E ˙ l = 1 4 π E X ϵ X j E ˙ j = 0 ,
und das schließt du Δ w e = 0 .

Andererseits haben Sie im zweiten Prozess auch E ˙ j = 0 , also hast du auch D w e D T = 0 , aber die schließende Seite des Quadrats ist anders, da

D w e D T = 1 4 π k l E k ϵ k l E ˙ l = 1 4 π E X ϵ X j E ˙ j = 1 4 π E 0 ϵ X j E 0 T = 1 4 π 1 T ϵ X j E 0 2 = 0 ,
und das schließt du Δ w e = 1 4 π ϵ X j E 0 2 0 .


Wie Sie sehen können, ist der Kopplungstensor, mit dem ich begonnen habe, inkonsistent w e eine Funktion der Zustandsvariablen ist. Eine etwas formalisiertere Version desselben Arguments reicht aus, um zu zeigen, dass diese Eigenschaft genau dann zulässig ist, wenn der Kopplungstensor in jedem Indexpaar symmetrisch ist.