Gewöhnliche vs. partielle Ableitungen von Kets und Observablen im Dirac-Formalismus

Ich bin etwas verwirrt darüber, wann gewöhnliche und partielle Ableitungen im Dirac-Formalismus verwendet werden.

In der Schrödinger-Gleichung verwendet beispielsweise Griffiths [3.85] gewöhnliche Ableitungen:

ich D D T | S = H | S ,

ebenso Schumacher und Westmoreland [5.23]:

H | ψ ( T ) = ich D D T | ψ ( T ) ,

und sie bezeichnen sogar die explizite Zeitabhängigkeit des Ket. Shankar (Abschnitt 4.1) macht dasselbe. Das macht für mich Sinn, da das Ket keine Funktion von zB Raum ist. Obwohl ich Sakurai nicht genau studiert habe, scheint er anderer Meinung zu sein und schreibt [2.1.27]:

ich T | a , T 0 ; T = H | a , T 0 ; T .

Ähnliches findet sich zB in diesen Vorlesungsunterlagen des MIT (PDF). Gibt es einen guten Grund für die Verwendung verschiedener Arten von Derivaten, die ich nicht sehe? Oder eine andere Rechtfertigung für unterschiedliche Notationen?

Ich hatte auch eine zweite Verwirrung, in diesem Fall bezüglich der Operatoren. Sakurai definiert eine Observable im Heisenberg-Bild (tiefgestellt H ) in Bezug auf dieselbe Observable im Schrödinger-Bild (tiefgestellt S ) [2.2.10]:

A H U ( T ) A S U ( T ) ,

Wo U ist der Zeitentwicklungsoperator. Um die Heisenbergsche Bewegungsgleichung herzuleiten, würde ich selbst einfach die totale Ableitung nach der Zeit nehmen:

D A H D T = D U D T A S U + U D A S D T U + U A S D U D T .

Jetzt hat Sakurai stattdessen partielle Ableitungen auf der rechten Seite [2.2.15]. Aber warum ist das so, wenn wir doch die totale Ableitung nehmen ? Er behauptet (implizit), dass sich die Mittelfrist für Observables aufhebt A S die nicht explizit von der Zeit abhängen, was ich sehen kann, wenn er die partielle Ableitung nimmt (und nicht a priori für totale Ableitungen), aber ich verstehe nicht, warum wir das tun.

Die zweite Teilfrage (v2) ist ein Duplikat dieses Phys.SE-Beitrags.

Antworten (2)

Die Verwendung von totalen und partiellen Ableitungen in der Physik ist nicht immer sehr streng oder konsequent. Manchmal schreiben Autoren nur D D T wenn sie betonen wollen, dass es eine implizite Zeitabhängigkeit gibt, die in die Ableitung einzubeziehen ist, und darauf verzichten T ansonsten. Manchmal schreiben Autoren nur T wenn sie betonen wollen, dass es eine implizite Zeitabhängigkeit gibt, die in der Ableitung ignoriert werden soll, und standardmäßig darauf verzichten D D T ansonsten. Manchmal schreiben Autoren einfach T denn es ist weniger Aufwand als D D T . Manchmal ist es den Autoren egal und sie gehen einfach nach Bauchgefühl.

Ich gehe mal auf deine konkreten Fragen ein:

  • In der Schrödinger-Gleichung H | ψ ( T ) = ich T | ψ ( T ) = ich D D T | ψ ( T ) weil die funktion | ψ ( T ) hängt ohnehin nicht von anderen Parametern ab. (Aus meiner Erfahrung schreiben die meisten Leute hier eine partielle Ableitung, aber beide Wege sind richtig.)

  • In Ihrem Beispiel von Sakurai möchten sie das vielleicht betonen a Und T 0 nicht von der Zeit abhängen.

  • Zu den Operatoren: In meiner (zweiten) Ausgabe von Sakurai steht auf der linken Seite eine totale Ableitung. Und das sollte es geben, weil wir die implizite Zeitabhängigkeit, die von den Propagatoren kommt, und die mögliche explizite Zeitabhängigkeit von unterscheiden wollen A S . Dies wird manchmal geschrieben als

    D A H D T = ich [ H , A H ] + A H T .
    Bearbeitet, um hinzuzufügen: Die Leute schreiben es gerne so, weil es die Analogie zur kanonischen Mechanik zeigt . Dort ist die Unterscheidung zwischen totalen und partiellen Ableitungen ziemlich klar.

  • Beachten Sie das schließlich für den Bediener A S im Schrödinger-Bild gibt es keine implizite Zeitabhängigkeit. Es spielt also keine Rolle, ob Sie eine totale oder partielle Ableitung schreiben.

Hoppla! Ich wollte schreiben, dass Sakurai partielle Ableitungen auf der rechten Seite hat. Aber dein letzter Punkt hat meine Frage trotzdem beantwortet. Eigentlich noch eine Sache. In Heisenbergs Bewegungsgleichung habe ich den letzten Term, die explizite Zeitabhängigkeit des Operators, etwas anders geschrieben gesehen (PDF, Seite 21): ( A S / T ) H . Also die Zeitableitung in S umgewandelt in H . Ich habe Probleme zu sehen, wie das mit dem übereinstimmt, was Sie geschrieben haben.
Beide Begriffe sollen bedeuten U A S T U . Die Art und Weise, wie Sie es schreiben, macht es etwas klarer, aber so, wie ich es ausdrücke, ist es auch eine übliche Notation. Bei diesen Dingen muss man oft aus dem Kontext auf Bedeutung schließen -- in der Gleichung, die ich geschrieben habe, bedeutet die partielle Ableitung "nur die intrinsische Zeitabhängigkeit des Beobachtbaren berücksichtigen, nicht die durch das Heisenberg-Bild hinzugefügte Zeitabhängigkeit".

Die Frage wurde positiv bewertet, da es sich um eine physikalische Frage handelt, die sich sehr gut für eine rein mathematische Antwort eignet. Welches ist:

Die richtige Notation für die in der generischen/abstrakten Schrödinger-Gleichung zu verwendende Zeitableitung ist die vollständige Ableitung, d. h D D T , unabhängig davon, ob man die (mathematisch anspruchsvolle) Bra/Ket-Notation verwendet, oder ob man die traditionelle Physiker-Notation von Schrödinger-Wellenfunktionen verwendet. Die partielle Ableitung kann jedoch unter bestimmten mathematischen Annahmen, die unten verlinkt sind, verwendet werden.

Erläuterung : Der Hamiltonoperator im sogenannten Schrödinger-Bild ist eine echte Operatorwertabbildung des Hilbert-Raums R T H ( T ) H L ( H ) , T , H = H . Die Schrödinger-Zustände (Zustandsrepräsentanten) sind echte Hilbert-Raumvektor-wertige Abbildungen (sogenannte Quantentrajektorien ). R T ψ ( T ) H , stark stetig im reellen Parameter T Zeit genannt . Daher ist es eine Annahme (Axiom von QM), dass die Abbildung

R T schlank H 0 1 H [ ψ ( T + H ) ψ ( T ) ] existiert
und ist mit bezeichnet D ψ ( T ) D T . Diese Grenze, die unter der Schrödinger-Gleichung als Einschränkung angesehen wird, definiert die Menge der zulässigen Quantentrajektorien richtig als Teilmenge der maximalen Domäne (Domäne der Selbstadjungiertheit) des Hamilton-Operators.

Man könnte nun durch eine Projektion in den Hilbertraum fragen, ob der Hamiltonoperator eine Funktion der Fundamentaloperatoren x,p (in einer Dimension) ist L 2 ( R ) , könnte also als eine komplexe Funktion mit mehreren Variablen angesehen werden H = H ( X , P , T ) , kann man die Schrödinger-Gleichung mit partiellen Ableitungen in der Form aufschreiben:

ψ ( X , P , T ) T = 1 ich H ( X , P ) ψ ( X , P , T ) ,

mit anderen Worten, was wäre der Zusammenhang mit der obigen strengen Formulierung? Valter Moretti zeigte hier die zeitliche Ableitung des Zustandsvektors, ausgedrückt im abstrakten Hilbertraum vs. als Wellenfunktion , unter welchen genauen mathematischen Annahmen die D D T oben durch die starke Grenze definiert, kann in transformiert werden T .