Was ist ein „Bild“ in der Quantenmechanik?

Einer der Grundbestandteile der Quantenmechanik ist die Möglichkeit, in verschiedenen „Bildern“ zu arbeiten. Während wir also normalerweise im Schrödinger-Bild arbeiten , in dem sich Zustände nach der Schrödinger-Gleichung entwickeln

ich T | ψ ( T ) = H | ψ ( T ) ,
Es ist manchmal praktisch, im Heisenberg-Bild zu arbeiten , in dem Sie den Zustand des Systems als fest festlegen und die Operatoren selbst durch die Heisenberg-Gleichung entwickeln.
ich D D T A ( T ) = [ H , A ( T ) ] + ich A T ,
oder sogar in einer seltsamen Mischung aus diesen beiden, die als Interaktionsbild bezeichnet wird .

Im Allgemeinen leisten Lehrbücher gute Arbeit, wenn es darum geht, die Gemeinsamkeiten und Unterschiede zwischen diesen dreien zu erklären, ihre Äquivalenz zu zeigen und zu zeigen, wie man von einem Bild zum anderen wechseln kann. Es gibt jedoch eine Frage, die oft unbeantwortet bleibt und die dann über dem gesamten Verfahren in der Luft hängt und ihnen in den Augen eines Anfängers einen ungerechtfertigten Hauch von Mysterium verleiht:

  • was ist abstrakt ein "bild" in diesem sinne?

Dies ist ein Teil dessen, was den Formalismus für einen Neuling etwas beunruhigend macht, da die Verwendung des Ausdrucks „Schrödinger-Bild“ impliziert, dass „Schrödinger“ ein Adjektiv oder Modifikator des allgemeinen Begriffs „Bild“ ist, dieser allgemeine Begriff jedoch niemals ist erklärt. Darüber hinaus werden die Heisenberg- und Schrödinger-Bilder normalerweise als sehr unterschiedliche Formalismen präsentiert, und es ist für einen Anfänger schwer zu erkennen, wie sie als zwei Versionen derselben Sache verstanden werden können; Wenn Sie das haben könnten, dann wäre ein "Bild" eine Möglichkeit, den allgemeinen Formalismus zu spezialisieren - aber das wird wiederum selten in einführenden Texten erklärt.

Wie ist das Interaktionsbild "ein seltsamer Hybrid" der beiden? Wie Sie in Ihrer Antwort richtig skizzieren, sind das Schrödinger- und das Heisenberg-Bild Grenz- / Sonderfälle des Interaktionsbildes.
@Numrok Ich würde vorschlagen, dieses Thema Studenten ein paar Mal vorzustellen und sie zu fragen, wie sie dazu stehen. Der springende Punkt ist, dass von oben nach unten alles sehr organisiert ist, aber von unten nach oben kann es wie ein ziemliches Durcheinander aussehen.
Ich bin Student...

Antworten (3)

Um dies zu beantworten, braucht man ein bisschen Sprache. Die grundlegenden Observablen der Quantenmechanik sind weder Zustände noch Operatoren; Stattdessen sind die grundlegenden Observablen Matrixelemente der Form

φ | A | ψ .
Im allgemeinsten Fall haben Sie möglicherweise eine zeitliche Abhängigkeit in den Zuständen des Formulars
ich T | ψ ( T ) = H S | ψ ( T ) ,
sowie Zeitabhängigkeit in den Operatoren, des Formulars
ich D D T A ( T ) = [ H H , A ( T ) ] + ich A T .
Wenn Sie diese beiden kombinieren, hat die zeitliche Entwicklung der fundamentalen Observablen die Form
( ) ich D D T φ ( T ) | A ( T ) | ψ ( T ) = φ ( T ) | [ H S + H H , A ( T ) ] + ich A T | ψ ( T ) .
Dies ist die grundlegende Zeitentwicklungsgleichung der Quantenmechanik, wo H = H S + H H muss der vollständige Hamiltonian des Systems sein, und jede Konstruktion, die mit dieser Form konsistent ist, ist in Bezug auf ihre experimentellen Vorhersagen äquivalent.

In dieser Sprache also

ein Bild ist eine Wahl, wie es partitioniert werden soll H hinein H S Und H H .

Damit entspricht das Schrödinger-Bild der Wahl H H = 0 Und H S = H , das Heisenberg-Bild ist das Gegenteil, und Sie neigen dazu, "Interaktionsbild" als eine Reihe von Zwischenentscheidungen zu bezeichnen - obwohl klar sein sollte, dass es kein einzigartiges solches Bild gibt.

Ich glaube nicht, dass Sie etwas beantwortet haben, das nicht in der Frage des Autors der Frage enthalten war, der ausdrücklich sagte, dass die Lehrbücher die Äquivalenz und andere Dinge, die Sie in Ihrer Antwort beschrieben haben, gut erklären. Außerdem bin ich überrascht, warum Ihr Name genau derselbe ist wie er. ;-)
@LubošMotl Vielleicht hast du dann eine bessere Antwort auf die gestellte spezifische Frage. Oder denkst du vielleicht, dass es nur ein Wort ohne Bedeutung ist?
Etwas weniger umstritten ist der Punkt, dass, obwohl die Bilder von Schrödinger und Heisenberg sehr unterschiedlich aussehen (hier machst du diese Sache, dort machst du diese andere ganz andere Sache), sie tatsächlich in einen größeren Rahmen eingeschlossen sind, wo sie anders sind Versionen des gleichen Formalismus (im Gegensatz zu völlig unterschiedlichen, aber formal gleichwertigen Frameworks).
Lieber Emilio, bitte nimm es nicht persönlich. Ich war nur amüsiert darüber, dass Sie sowohl Frage als auch Antwort gepostet haben - es kann oft eine gute Idee sein, Weisheit zu verbreiten, verstehen Sie mich nicht falsch. Die Frage und die Antwort waren ähnlicher als nur durch den Namen des Autors. Sie haben im Grunde nach etwas in der Frage gefragt, das Sie nicht erfüllt haben. Aber ansonsten: Das "Bild" ist nur die englische Übersetzung von "Bild" - Heisenberg Bild war wohl der erste Ausdruck dieser Art - und wurde als poetisches Synonym für eine "Darstellung" verwendet.
Also zeichnet Picasso ein verrücktes kubistisches Gemälde und sagt, dass es eine Reiterin oder was auch immer darstellt. Das Gemälde ist also eine "Darstellung" von ihr und ihrem Pferd. Gleichzeitig ist das Gemälde ein „Bild“. Dies ist ein ideales informelles Wort für eine "Darstellung" der Theorie - es gibt einige Operationen, die die Zeitentwicklung darstellen (entweder Transformationen der Zustände oder der Operatoren). "Bild" klingt weniger streng als "Darstellung", da dies möglicherweise zulässt, dass die Bilder keine exakten Darstellungen im mathematischen Sinne sind und nicht ganz gleichwertig sind.
Ich persönlich würde die Antwort wählen, dass die Bilder genau gleichwertig sind . Sie unterscheiden sich nur durch eine zeitabhängige Wahl der Basis auf dem Hilbert-Raum - es ist wie rotierende Koordinaten in der klassischen Mechanik, die zur Ableitung von fiktiven Kräften etc. verwendet werden.
@Luboš Wie ich an anderer Stelle sagte, glaube ich nicht, dass Sie die eigentlich gestellte Frage verstanden haben. Es ist nicht "wie unterscheiden sich diese beiden?", sondern eher "was sind diese zwei verschiedenen Versionen von ?". Es ist in Ordnung, Fragen nicht zu verstehen, aber Sie müssen nicht mit aggressiven/bevormundenden Herabsetzungen antworten, wenn Sie dies nicht tun.
Ich habe genau die Frage beantwortet, die Sie geklärt haben, Ihre Antwort jedoch nicht. Ihre Kennzeichnung Ihrer Antwort als "eine, die die Frage beantwortet" ist ungültig und stellt einen Missbrauch Ihrer Position als Verfasser der Frage dar. Bitte mach es nicht noch einmal.
@EmilioPisanty, könnten Sie zeigen, wie die endgültige Gleichung aus den obigen 2 abgeleitet wird?
@EmilioPisanty, auch im Schrödinger-Bild, wenn ich Hh mit 0 gleichsetze, wie sagt mir das, dass das A zeitunabhängig sein wird? Die zweite Gleichung reduziert sich auf „Gesamtableitung von A = Teilableitung von A“, aber das sagt mir nicht, dass die Gesamtableitung 0 ist, richtig?
@EmilioPisanty, danke auch für diese wunderbare, klare Erklärung.

Die Bilder von Heisenberg und Schrödinger sind in einer abstrakten Umgebung eigentlich nicht gleichwertig.

Das Schrödinger-Bild entspricht dem Studium der Evolution von Quantenzuständen, das Heisenberg-Bild der Evolution von Quantenobservablen. Quantenobservable bilden eine Topologie -Algebra und Quantenzustände sind Elemente ihrer dualen. Beschränken wir uns der Einfachheit halber auf beschränkte Observablen, die also einen Banachraum bilden (ein C -Algebra), sowie die Zustände.

Nun muss die Evolution eine Gruppe kontinuierlicher linearer Abbildungen in einem der beiden Banachräume sein (Zustände für Schr, Observable für Heis). Bei Observablen muss es sich tatsächlich um eine Gruppe von Automorphismen der Algebra handeln. Trotzdem definieren wir in beiden Bildern eine Landkarte T U ( T ) , bei dem die U ( T ) sind stetige lineare Operatoren im jeweiligen Banachraum. Es ist dann natürlich, die Kontinuitätseigenschaften der oben genannten Abbildung in Bezug auf die verschiedenen Topologien zu fragen, die auf dem Raum stetiger linearer Operatoren auf einem Banachraum verfügbar sind. Die Gruppe heißt dann z. B. schwach, stark oder gleichmäßig stetig. Solche Kontinuitätseigenschaften sind sehr wichtig, um die Struktur der Gruppe zu bestimmen. Wenn wir beispielsweise wollen, dass Zustände der Schrödinger-Gleichung gehorchen, müssen wir die Gruppe stark stetig sein.

Die Dualität zwischen den Schrödinger- und Heisenberg-Bildern ist angeblich dadurch gegeben, dass die Evolutionsgruppe der Observablen eine Evolutionsgruppe der Zustände durch die Dualität der topologischen Räume induziert. Eine Evolutionsgruppe auf Zuständen wiederum induziert eine Evolutionsgruppe auf dem Doppeldual von Observablen (das normalerweise größer ist als der Raum von Observablen). Das Problem ist, dass die Kontinuitätseigenschaften der Gruppe durch die Dualität nicht erhalten bleiben. Die einheitliche Stetigkeit ist die einzige, die erhalten bleibt, aber der Erzeuger einer gleichmäßig kontinuierlichen Gruppe ist begrenzt (und wir wissen, dass dies physikalisch relevante Hamiltonoperatoren nicht sind). Eine starke Kontinuität wird nicht bewahrt, und selbst wenn wir im Heisenberg-Bild eine stark kontinuierliche Gruppe haben, kann dies im Allgemeinen für die duale Gruppe im Schrödinger-Bild nicht der Fall sein. und so kann die Schrödinger-Gleichung möglicherweise nicht gelten. Andererseits ist es nicht garantiert, dass die duale Gruppe von Observablen Observablen auf Observablen abbildet, da sie auf Objekte des doppelten Duals abgebildet werden kann, die keine Observablen sind.

Das Wort "Bild" ist die englische Übersetzung des Begriffs in der ersten Sprache, in der dieses Konzept diskutiert wurde, nämlich das deutsche Wort "Bild" (genau wie das deutsche Magazin). Das „Heisenberg Bild“ war das erste Bild, das bekannt wurde.

Und dieser Begriff soll nichts anderes sein als ein informelles Synonym für das Wort „Repräsentation“. Wenn ein Künstler ein Gemälde malt, ist es eine Darstellung des Objekts, das er gemalt hat. Das Bild ist also auch eine Repräsentation unter Künstlern. Die Verwendung dieses Künstlerjargons erlaubt gewisse "Ungenauigkeiten". Das Bild muss keine "Repräsentation" in einem bestimmten strengen Sinne sein, der von Mathematikern definiert wird. Und die unterschiedlichen Bilder müssen nicht wirklich exakt und zuverlässig und universell äquivalent sein – auch wenn ich die Antwort wählen würde, dass die Bilder exakt äquivalent sind .

Aber die Heisenberg-, Schrödinger- und Wechselwirkungsdarstellungen sind Darstellungen in dem Sinne, dass bestimmte Operationen, die wir „phänomenologisch“ kennen, wie die Evolution durch die Zeit Δ T (warte einige Zeit) werden durch verschiedene tatsächliche Transformationen auf die mathematischen Objekte in der Theorie repräsentiert – entweder durch eine Transformation des Zustandsvektors oder der Operatoren oder beides.

In diesem Sinne bedeutet das Wort „Bild“ nur „eine Übersetzung der Konzepte, die wir experimentell kennen, unabhängig von Theorien, in einige bestimmte mathematische Operationen und Symbole“. Die Übersetzung in die Sprache der Mathematik ist analog zur Schaffung eines Gemäldes durch den Künstler. Wenn Sie also eine solche Übersetzung in ein mathematisches Symbol vollständig angeben, haben Sie ein Bild, eine Darstellung der Welt um Sie herum gemalt.

Die Bilder entstanden zuerst in der Quantenmechanik. Klassische Physiker haben nie wirklich von „Bildern“ gesprochen. Das liegt daran, dass alle klassischen Theorien der Physik „Bilder“ für sich waren. Es wurde angenommen, dass sie direkt das widerspiegeln, was da draußen ist, und die oben erwähnte "Übersetzung" war daher einzigartig und trivial. Nur die Quantenmechanik hat erkannt, dass die Übersetzung zwischen mathematischen Objekten in unserer Theorie und den Beobachtungen etwas subtiler sein kann, weshalb es wünschenswert ist, darüber zu sprechen, alle möglichen Übersetzungen zuzulassen und ihre Äquivalenzen zu untersuchen, falls vorhanden.

Entschuldigung, aber dies beantwortet die gestellte Frage nicht wirklich.