Angenommen, wir haben den folgenden Hamilton-Operator:
Offensichtlich besteht die relevante Basis aus den Eigenzuständen des Spinprojektionsoperators. Ich habe die Matrixelemente von berechnet auf dieser Basis und bekam folgendes Matrix:
Es kann gezeigt werden, dass die Eigenwerte sind , was in der Tat richtig ist. Die Berechnung war jedoch etwas mühsam.
Nun stellt sich heraus, dass es eine einfachere Matrixdarstellung von gibt auf gleicher Grundlage . Das hat mit der speziellen Struktur des Hamilton-Operators zu tun, der sowohl steigende als auch fallende Operatoren im Quadrat hat. Dies teilt die Basis natürlich in zwei Gruppen: Und die unter den Aktionen von geschlossen sind . Wir können also die Basis neu ordnen und erhalten die folgende Blockdiagonalform
was sehr bequem ist, weil wir jetzt, um die Eigenwerte zu finden, zwei kleinere Matrizen analysieren können. Zum Glück sind die Eigenwerte gleich.
Frage : Das wissen wir allgemein aus der linearen Algebra, das Vertauschen/Ändern der Reihenfolge von Zeilen/Spalten (was hier genau passiert ist) ändert die Eigenwerte. Allerdings blieben in diesem Fall die Eigenwerte gleich. Ich verstehe den physikalischen Grund dahinter, aber wie lässt sich das mathematisch begründen? Angenommen, wir wüssten nichts über die Struktur des Hamiltonoperators (oder wären alternativ nicht schlau genug zu erkennen, dass die Basis bequem in zwei „spezielle“ Untergruppen aufgeteilt werden kann). Gibt es einen mathematischen Weg, um die "beste" Anordnung von Basisvektoren zu finden, sodass die Matrixdarstellung eines bestimmten Operators eine blockdiagonale Form annimmt? Und gibt es eine mathematische Begründung dafür, warum die Eigenwerte gleich bleiben, nachdem wir die Reihenfolge der Zeilen/Spalten geändert haben? Vielleicht hat es damit zu tun, dass die Matrix (Operator) symmetrisch (hermitesch) ist?
Ihre 2 Matrizen unterscheiden sich nur durch die gleiche Neuanordnung von Zeilen und Spalten, die die Eigenwerte nicht ändert. Um genau zu sein, lass sei die Permutation, die dauert Zu .
kann konstruiert werden, indem man zum Beispiel betrachtet
(NB: Ich hoffe, ich habe meine Und an der richtigen Stelle, aber das Argument ist stichhaltig.)
QMechaniker
grjj3