Basisfunktionen in der Gruppentheorie und Wellenfunktionen

Ich habe gerade angefangen, mich mit der Gruppentheorie zu beschäftigen, indem ich das Buch Gruppentheorie: Anwendungen in der Physik der kondensierten Materie von MS Dresselhaus gelesen habe . In Kapitel 4 wurde erwähnt:

Angenommen, wir haben eine Gruppe G mit Symmetrieelementen R und Symmetrieoperatoren P ^ R . Wir bezeichnen die irreduziblen Darstellungen mit Γ N , Wo N beschriftet die Darstellung. Wir können dann einen Satz von Basisvektoren definieren, die mit bezeichnet werden | Γ N J .

...

Diese Basisvektoren beziehen sich auf den Symmetrieoperator P ^ R mit seiner Matrixdarstellung D ( Γ N ) ( R ) durch die Relation

P ^ R | Γ N a = J D ( Γ N ) ( R ) J a | Γ N J
Die Basisvektoren können abstrakte Vektoren sein; Eine sehr wichtige Art von Basisvektoren ist eine Basisfunktion, die wir hier als explizit im Koordinatenraum ausgedrückten Basisvektor definieren. Ein besonderes, aber wichtiges Beispiel für solche Basisfunktionen sind Wellenfunktionen in der Quantenmechanik, die Basisfunktionen für Symmetrieoperatoren sind.

Ich verstehe die Definition hier nicht. Sind Basisfunktionen durch die obige Gleichung definiert? Woher weiß ich, ob eine Funktion eine geeignet gewählte Basisfunktion ist, die einen Irrep erzeugt oder nicht? Unter welcher Situation werden Wellenfunktionen zu Basisfunktionen, die hier definiert sind (ich vermute, wenn der Hamilton-Operator die mit der Gruppe verbundene Symmetrie besitzt), und warum?

Ich habe versucht, im Buch und auch im Internet nach Antworten zu suchen, aber nichts Nützliches gefunden. Es wäre toll, wenn jemand Hilfestellung geben könnte. Danke schön.

Mein Versuch zur Frage

Mir ist aufgefallen, dass wir jeden Basissatz haben und beweisen können, dass die Koeffizienten in der obigen Gleichung tatsächlich die Darstellung der Gruppe sind. Daher glaube ich, dass die Basisvektoren wirklich jede Menge von Basis in einem Vektorraum sein können. Allerdings würde mich interessieren, ob diese Aussage stimmt. Außerdem gibt es noch einige Probleme, wie unten aufgeführt.

Nehmen wir an, wir haben einen Satz von Basisvektoren | Γ N ich in einem Vektorraum, und wir haben Gruppenelemente a , β , γ mit γ = β a , und die entsprechenden Symmetrieoperatoren P ^ a , P ^ β , P ^ γ . Wir lassen P ^ a auf einem Basisvektor wirken, und das Ergebnis sollte im Allgemeinen um denselben Basissatz erweitert werden können:

P ^ a | Γ N ich = J C J ich a | Γ N J
Weiter lassen wir auch P ^ B e T A handle danach:
P ^ β P ^ a | Γ N ich = P ^ β J C J ich a | Γ N J = J , k C k J β C J ich a | Γ N k
Aber zur selben Zeit, P ^ γ = P ^ β P ^ a , So
P ^ γ | Γ N ich = k C k ich γ | Γ N k
Wir sehen das C k ich γ = J C k J β C J ich a , was das zeigt C ist ein Satz von Matrizen, der denselben Multiplikationsregeln wie die Gruppe folgt, was darauf hinweist, dass es sich um eine Darstellung der Gruppe handeln muss.

Hier ergeben sich nun mehrere Probleme:

  1. Welche Bedingungen sind erforderlich, um sicherzustellen, dass die Darstellung hier irreduzibel ist?
  2. Wenn mein Beweis richtig ist, müssen die Basisvektoren anscheinend nicht einmal orthogonal sein, solange sie linear unabhängig sind. Ist das wahr?
  3. Der Vektorraum kann hier ein beliebiger Vektorraum sein, solange er ein wohldefiniertes inneres Produkt hat. Aber die in den Charaktertabellen aufgeführten Basisfunktionen können quadratisch sein, was ist also die Definition des inneren Produkts hier?
Fragen Sie nach Basisfunktionen oder Basisvektoren? Können Sie das nicht durch Drehimpulsbasen veranschaulichen? Verstehst du, dass die Basisfunktionen dieser Vektoren sphärische Harmonische sind?
Wohl verbunden .
@CosmasZachos Ich glaube, dass die Basisfunktionen nur Basisvektoren sind, die in der Koordinatenbasis geschrieben sind (laut Buch). Ich habe versucht, den Fall mit dem Drehimpulsfall zu veranschaulichen, und ich habe auf Wikipedia gelesen, dass dies die Basisfunktion von SO (3) ist. Ich verstehe jedoch nicht, was es zu einer Basisfunktion macht ? Ich habe einige Gedanken zu der obigen Frage hinzugefügt. Danke für Ihre Antwort.
Ich bin mit der Gruppentheorie nicht vertraut, daher verstehe ich, dass ich mich konzeptionell schrecklich irren kann. Weisen Sie daher bitte darauf hin, wo die Fehler liegen, und geben Sie so viele Details wie möglich an. Danke schön.

Antworten (1)

Die Basisfunktionen sind, was Sie wollen. Es gibt keine Einschränkungen für sie, außer dass sie tatsächlich eine Basis für die Darstellung bilden (ein linear unabhängiger Satz von Vektoren, der alle Vektoren umfasst, die unter der Darstellung transformiert werden). Wenn Sie zwei Basen haben | Γ N J , | Γ N ' J Für dieselbe Darstellung können Sie jeden Vektor in einem als Linearkombination der Vektoren in dem anderen schreiben und die Koeffizienten in einer Matrix anordnen B das hilft bei der Transformation zwischen den beiden:

| Γ N ' a = J B J a | Γ N J .

Die in Ihrem Buch angegebene Gleichung definiert die Matrix D ( Γ N ) ( R ) das den Operator darstellt P ^ R , nicht die Grundlage: die a 'te Spalte der Matrixdarstellung bildet die Koeffizienten auf der Γ N Basisvektoren, wenn Sie den Symmetrieoperator auf die anwenden a 'ten Element in dieser Basis. Wenn Sie diese Matrix haben D ( Γ N ) ( R ) für die | Γ N J Basis, Sie können es in jede andere Basis umwandeln, sobald Sie die Matrix haben B durch die Ähnlichkeitstransformation

D ( Γ N ' ) ( R ) = B D ( Γ N ) ( R ) B 1 .

Lesen B 1 als Umstellung von der neuen Basis zurück auf die alte, D ( Γ N ) ( R ) wie die Durchführung der Operation in der alten Basis, und B als Rückwandlung auf die neue Basis. D ( Γ N ' ) ( R ) erfüllt die von Ihnen angegebene Gleichung, aber für die neue Basis:

P ^ R | Γ N ' a = J D ( Γ N ' ) ( R ) J a | Γ N ' J .

Dies sagt Ihnen auch, wie Sie reduzierbare Darstellungen finden: Überlegen Sie, was passiert, wenn Sie eine einzige Ähnlichkeitstransformation wie finden können B das macht D ( Γ N ) ( R ) (richtiger) Block dreieckig (mit den gleichen Blockgrößen) für alle R :

D ( Γ N ' ) ( R ) = B D ( Γ N ) ( R ) B 1 = [ D ( Γ N ' , 11 ) ( R ) D ( Γ N ' , 12 ) ( R ) 0 D ( Γ N ' , 22 ) ( R ) ]

Wo D ( Γ N , 11 ) ( R ) ist eine quadratische Matrix mit reduzierter (aber nicht null) Dimension im Vergleich zu D ( Γ N ) ( R ) . Sagen Sie, es ist ein M × M Matrix. Dies bedeutet, dass die erste M Spalten von B nur in lineare Kombinationen voneinander umwandeln D ( Γ N ) ( R ) für alle Symmetrieelemente R . Äquivalent werden die Vektoren gebildet, indem jeder der ersten genommen wird M Spalten von B und sie als Koeffizienten für die zu verwenden | Γ N J nur in lineare Kombinationen voneinander umwandeln P ^ R . Die Spanne dieser Vektoren bildet zusammen mit dieser Aktion der Gruppe auf sie eine Unterdarstellung von Γ N (und Sie können diese Vektoren als Grundlage für diese Darstellung verwenden). Γ N ist irreduzibel genau dann, wenn es keine Ähnlichkeitstransformation (dh Basiswechsel) gibt, die gleichzeitig die Matrixdarstellungen aller Symmetrieoperatoren blocktriangularisiert.

Hier ist ein Beispiel , wo wir eine Darstellung von allen finden C 3 v in den s-Valenzorbitalen von N H 3 . Aufgrund der gewählten Basis wird die Matrixdarstellung aller Symmetrieoperatoren sofort als Blockdreieck gesehen, was auf Reduzierbarkeit hinweist. Wenn eine andere Basis gewählt wurde, erhalten Sie diese möglicherweise nicht. Der mathematisch wichtige Teil ist, ob es eine Basis gibt, bei der die Matrixdarstellungen aller Symmetrieoperatoren blockdreieckig sind.

Zu Ihrem Problem (3): innere Produkte? Wo? Nichts in Ihrer Frage oder meiner Antwort erfordert innere Produkte. Sie müssen Vektoren als Linearkombinationen von Basiselementen zerlegen. Das ist alles.

Zu Ihrer Frage zu "Wellenfunktionen": Wellenfunktionen erscheinen als Basisvektoren einer Darstellung, wenn Sie Wellenfunktionen studieren. Nochmal, das ist es wirklich. Sie beginnen mit einem Hilbert-Raum von Wellenfunktionen H und ein Hamiltonian H . Sie suchen eine Gruppe G und eine einheitliche Vertretung U ^ R G : H H . "Physikalisch relevante" Darstellungen sind diejenigen, die mit dem Hamilton-Operator pendeln. Möglicherweise finden Sie auch Unterdarstellungen davon. Für jede Darstellung möchten Sie vielleicht einige Basisvektoren dafür auswählen.

TL;DR: Basisvektoren sind nicht wichtig! Die physikalisch relevanten Dinge sind die Repräsentationen, die aus einem Unterraum eines Vektorraums und einer Gruppenaktion auf diesem Unterraum bestehen. Die Basisvektoren ermöglichen lediglich eine Berechnung auf diesen Objekten (der Unterraum ist die Spannweite einer beliebigen Basis dafür, und die auf einer Basis definierte Gruppenaktion erstreckt sich auf den gesamten (Unter-)Raum). Sie wählen die Basis, wie auch immer Sie die Berechnung/Interpretation vereinfachen möchten.