Anti-Unitary-Operator und Hamiltonian

Für eine durch einen unitären Operator dargestellte Symmetrie U um eine dynamische Symmetrie zu sein, benötigen wir die Bedingung dass U e ( ich H T / ) = e ( ich H T / ) U was impliziert U H U = H .

Wenn stattdessen U ein anti-unitärer Operator ist, zeigen Sie, dass die obige Gleichung dies implizieren würde U H U = H .

Ich bin mir nicht sicher, wie ich diese Frage beantworten soll. Ich verstehe nicht wirklich, wie die erste Implikation aus der Bedingung abgeleitet wird, und zweitens sehe ich nicht, wie sich dies für einen anti-unitären Operator ändert. H ist der Hamilton-Operator, und die Definitionen von unitären Operatoren und anti-unitären Operatoren lauten wie folgt:

Ein einheitlicher Operator U auf einem Hilbert-Raum ist eine lineare Abbildung U : H H das gehorcht U U = U U = 1 H ( U der Adjonnt ist).

Ein anti-unitärer Operator auf einem Hilbert-Raum ist eine surjektive lineare Abbildung A : H H gehorchen A ϕ | A ψ = ϕ | ψ ¯ = ψ | ϕ

Sie haben die Definition des adjungierten Operators für antilineare Operatoren verpasst. Normalerweise ist es eine Quelle von Katastrophen. Ein viel besseres Paar von Aussagen (entspricht Ihrem Paar) wäre U H U 1 = H Ist U ist einheitlich und U H U 1 = H Wenn U ist antieinheitlich.
@ValterMoretti Ich bin mir nicht sicher, was du meinst, Entschuldigung
Ich habe eine erweiterte Antwort hinzugefügt.

Antworten (2)

Ein unitärer Operator ist ein linearer surjektiver Operator U : H H das die Norm bewahrt. Es ist äquivalent zu U = U 1 , nämlich U U = U U = ICH , Wo U bezeichnet fortan den Adjunkten von U .

Ein anti- unitärer Operator ist ein anti- linearer surjektiver Operator U : H H das die Norm bewahrt. Es ist äquivalent zu U bijektiv so dass

U ψ | ϕ = ψ | U ϕ ¯ , ψ , ϕ H .
Nehmen wir nun an, dass dies in beiden Fällen für alle gilt T R
U e ich T H = e ich T H U .
Durch Auftragen U 1 rechts erhalten wir die äquivalente Bedingung
(1) U e ich T H U 1 = e ich T H .
Aus der Spektralrechnung oder anderen elementareren Verfahren, z. B. dem Expandieren der Exponentialfunktion als Reihe if H ist begrenzt und achtet darauf U ich H = ich U H im Hinblick auf Antilinearität von U wenn dies der Fall ist, folgt (1).
e ich T U H U 1 = e ich T H .
Berechnung der Ableitung bei T = 0 (Theorem von Stone) beider Seiten (auf dem relevanten dichten Bereich von H was sich als invariant unter herausstellt U 1 , bilden direkt den Eindeutigkeitsteil von Stones Theorem):
± U H U 1 = H ,
das ist
(2) U H U 1 = ± H ,
wo das Zeichen ist dem antiunitären Fall vorbehalten. Im Falle eines einheitlichen Operators haben wir das auch gefunden
U H U = H
Weil U = U 1 . Im Falle einer Antiunitary U , mit einer passenden Definition ( ) des adjungierten Operators für antilineare Operatoren können wir (2) äquivalent umschreiben als
U H U = H .

Die Definition des Adjungierten eines antiunitären Operators ist jedoch normalerweise heikel und meiner persönlichen Erfahrung nach eine Quelle von Fehlern. Der Umgang mit Symmetrien ist viel besser zu verwenden U 1 in beiden Fällen anstelle von U .


( ) ψ | A ϕ = A ψ | ϕ ¯ für alle ψ , ϕ H vorausgesetzt A überall definiert und antilinear.

Vielen Dank für die ausführliche Antwort!

Es gibt ein paar verwirrende (oder sogar falsche?) Punkte in dem Beitrag. Erstens nehme ich an U bedeutet U , der Adjunkt von U . Eine einheitliche Symmetrie bedeutet U H U = H .

Ein anti-unitärer Operator ist zunächst einmal ein anti-linearer statt eines linearen Operators. Wenn U antieinheitliche Symmetrie ist, dann hat man noch U H U = H , sollte kein zusätzliches Minuszeichen vorhanden sein. Die Definition von adjungiert für antilineare Operatoren unterscheidet sich jedoch von der eines linearen Operators.

Bearbeiten: Die andere Antwort ist richtig. Normalerweise nehmen wir auch für eine Zeitumkehrsymmetrie (was der häufigste Weg ist, eine anti-unitäre Symmetrie zu erhalten). T Zu T So U H U = H . Aber falls U ist nur anti-unitary ohne T gehen zu T , dann weil U ich = ich U wir haben das zusätzliche Minuszeichen.

Kann jemand, der dies ablehnt, den Grund kommentieren?