Was bedeutet ein komplexer Impuls in der klassischen Mechanik?

Ich schaue mir einen Abschnitt von Griffiths und Schroeters Introduction to Quantum Mechanics , S. 355 an. Er enthält einen einfachen Satz von Gleichungen, der mich zum Nachdenken darüber brachte, wie sich komplexe Zahlen in der klassischen Mechanik manifestieren.

Konkret hier ein Auszug:

Die Schrödinger-Gleichung

2 2 M D 2 ψ D X 2 + v ( X ) ψ = E ψ
kann folgendermaßen geschrieben werden:
D 2 ψ D X 2 = P 2 2 ψ ,
Wo
P = 2 M [ E v ( X ) ]
ist die klassische Formel für den (Betrag des) Impulses eines Teilchens mit Gesamtenergie E und potentielle Energie v ( X ) .


Mich interessiert die klassische Interpretation dieses Ausdrucks für Momentum. Meine Frage bezieht sich auf die klassische Mechanik. Ich habe den Auszug nur erwähnt, um Hintergrundinformationen darüber zu liefern, was meine Verwirrung motiviert hat.

In der klassischen Mechanik bin ich versucht zu sagen, dass das Teilchen niemals eine Position haben kann X so dass v ( X ) > E (dh das ist die klassisch verbotene Region), weil an diesen Stellen die obige Gleichung dies impliziert P ist imaginär, was verboten ist. Ich würde es begrüßen, wenn jemand diese Behauptung erläutern könnte ("der Zustand ist verboten, weil er impliziert, dass eine Observable imaginär ist").

Hier sind Beispiele, die mich darüber verwirren, warum die Behauptung streng ist:

  • Wir modellieren oft Oszillatoren mit komplexen Exponentialen und ignorieren einfach die imaginäre Komponente, wenn wir das tatsächlich erwartete Momentum oder die Position melden.
  • Wir haben oft komplexe Wellenzahlen und Frequenzen, die wir als gedämpfte Bewegung interpretieren.
  • Anstatt mit kartesischen Vektoren zu arbeiten, verwenden wir manchmal komplexe Zahlen für Positionen. Dann gibt der komplexe Teil an, dass die Größe eine Komponente entlang einer orthogonalen Achse ist.

Natürlich ist die klassische Mechanik mit Vorkehrungen aufgebaut, die komplexe Zahlen unter bestimmten Umständen akzeptabel machen. Woher wissen wir, dass das hier gefundene imaginäre Momentum wirklich bedeutungslos ist? Eine mögliche Bedeutung kann ich mir nicht vorstellen. Aber gibt es ein Argument dafür, warum es keine physikalische Bedeutung geben sollte? Gibt es darüber hinaus in der klassischen Mechanik eine rigorose Möglichkeit zu sagen, wann die komplexe Natur berechneter Observablen darauf hindeutet, dass diese Berechnungen einen physikalisch nicht realisierbaren Zustand vorhersagen?


Meine Vermutung einer Antwort: In der klassischen Mechanik sind komplexe Observablen immer eine rote Fahne (dh wenn Sie komplexe Zahlen verwenden müssen, dann liegen Sie falsch, wie impliziert von Can one do the maths of physics without using 1 ? ), und dieser Vorschlag stimmt mit den Aufzählungsbeispielen in der Frage überein. Zum Beispiel ist der Fall, dass Oszillatoren als Zeiger geschrieben werden, verwirrend, weil es sich um eine Kurzschreibweise handelt. In Wirklichkeit ist ein harmonischer Oszillator das nicht X ( T ) = X 0 e ich ω T . Es ist tatsächlich X ( T ) = R e ( X 0 e ich ω T ) . Andererseits sind komplexe Wellenzahlen und Frequenzen nicht wirklich beobachtbar: Die reellen Teile können als momentane reelle Frequenzen gemessen werden, indem die Ableitungen der Exponentiale ausgewertet werden, und die komplexen Teile können direkt als reelle Zahlen beobachtet werden, indem Maximal- und Minimalpunkte von angepasst werden beobachtete gedämpfte Oszillationskurven im realen Raum zu realwertigen exponentiellen Abnahmehüllkurven.

Ist das richtig?

Antworten (4)

Wenn Sie eine Differentialgleichung lösen, erhalten Sie keine einzelne Lösung, sondern eine Familie von Lösungen. Die Auswahl der Lösung, die Ihr System beschreibt, erfolgt durch Vorgabe der Randbedingungen, z. B. Anfangsposition und Geschwindigkeit.

Sie geben das Beispiel eines harmonischen Oszillators, bei dem eine Lösung lautet:

X ( T ) = X 0 e ich ω T

Aber:

X ( T ) = X 0 e ich ω T

ist auch eine Lösung, und da die Gleichung linear ist, ist eine Summe (oder Differenz) der beiden auch eine Lösung. Angenommen, wir finden die Position unter T = 0 Ist X 0 und die Geschwindigkeit bei T = 0 Null ist, dann können wir diese Anfangsbedingungen verwenden, um die Gleichung für unser System zu finden, und wir erhalten:

X ( T ) = X 0 2 ( e ich ω T + e ich ω T )

Und das ist natürlich nur:

X ( T ) = X 0 cos ( ω T )

Das heißt, unsere realen Anfangsbedingungen haben eine reale Bewegungsgleichung bestimmt, obwohl wir komplexe Funktionen als unsere Lösungen verwendet haben. Und ich denke, so sollte man die Situation betrachten. Wenn wir komplexe Werte als Anfangsbedingungen hätten, müssten wir erwarten, dass die Bewegungsgleichung komplexe Observable liefert. Das Experiment legt jedoch nahe, dass wir niemals Anfangsbedingungen erhalten, die komplexe Werte sind, sodass wir niemals erwarten würden, dass die Bewegungsgleichung komplexe Observablen vorhersagt.

Wenn wir es so betrachten, reduziert sich Ihre Frage darauf, ob komplexe Anfangsbedingungen unphysikalisch sind. Darauf gibt es keine Antwort, außer zu sagen, dass wir in den Tausenden von Jahren, in denen Physiker Messungen durchgeführt haben, noch nie eine komplexwertige Anfangsbedingung beobachtet haben. Das beweist nicht, dass komplexwertige Observablen unphysikalisch sind, aber die meisten von uns würden es als vernünftige Arbeitshypothese ansehen.

-1: Angesichts der Tatsache, dass es komplexe Zahlen erst seit ein paar hundert Jahren gibt, ist es nicht verwunderlich, dass Physiker vor „Tausenden“ von Jahren sie nicht verwendet haben. Natürlich hätten wir sie nicht Physiker genannt, sondern Geometer, Naturphilosophen und Astronomen. Haben Sie außerdem ein Argand-Diagramm gesehen? Dies ergibt eine natürliche geometrische Interpretation komplexer Zahlen, und daher hat die Position in Polarkoordinaten, die seit Tausenden von Jahren bekannt ist und eine physikalische Beobachtungsgröße ist, eine natürliche Interpretation in komplexen Zahlen.

Wir modellieren oft Oszillatoren mit komplexen Exponentialen und ignorieren einfach die imaginäre Komponente

Zu sagen, dass wir Oszillatoren auf eine bestimmte Weise modellieren, bedeutet, dass wir behaupten, dass sie so sind. Das passiert hier überhaupt nicht. In der klassischen Mechanik sind die Phasenraumkoordinaten des Oszillators reellwertige Funktionen der Zeit, die Differentialgleichungen erfüllen, deren komplexe Lösungen leicht gefunden werden können, und deren reellwertige Funktionen am einfachsten gefunden werden, wenn man die komplexen kennt und feststellt, dass diese Gleichungen linear sind.

Wir haben oft komplexe Wellenzahlen und Frequenzen, die wir als gedämpfte Bewegung interpretieren.

Wellenzahlen, Frequenzen etc. können beliebig definiert werden. Wie definieren wir sie gerne ? In gewisser Weise ist das nützlich. Es ist nützlich zu definieren e ich k X als mit Wellenzahl k , selbst wenn k C R . Aber körperlich, die Auswirkungen von k R , k ich R , k C ( R ich R ) sind entscheidend verschieden.

Woher wissen wir, dass das hier gefundene imaginäre Momentum wirklich bedeutungslos ist?

Denn wenn Sie das Momentum messen, ist es real. Das ist die Entscheidung der Natur.

Gibt es einen rigorosen Weg zu sagen, wann die komplexe Natur berechneter Observablen darauf hinweist, dass diese Berechnungen einen physikalisch nicht realisierbaren Zustand vorhersagen?

Wenn Sie mit "rigoros" meinen, "das sagt die Theorie", ist das offen für den Einwand "warum ist das unsere Theorie?" Unter dem Strich wird immer erklärt, was beobachtet wird, was eine Kompatibilität mit demselben impliziert.

Wenn Sie komplexe Zahlen verwenden müssen , dann liegen Sie falsch, wie in Can one do the maths of physics without using angedeutet wird 1 ?

Das scheint keine Antwort dort zu sagen. Die Physik setzt nicht voraus, dass einige mathematische Objekte tabu sind; es kümmert sich nur darum, ob Vorhersagen empirisch richtig sind.

Einführende Lehrbücher haben die Aufgabe, dem Anfänger in relativ kurzer Zeit viel Wissen zu vermitteln. Dabei müssen sie sich allerlei Metaphern bedienen, um die Fakten einprägsam zu machen. Nur ein kleiner Bruchteil der Studenten würde bei einem Buch bleiben, das alles auf Axiomen aufbaut und alle Vorannahmen in langweiligen Details auflistet wie ein Mathematikbuch (eigentlich wünschen sich die Mathe-Jungs das oft, weil sie anders sozialisiert wurden, und sie sind verwirrt von all den unscharfen Annahmen, von denen sie noch nie gehört haben).

Das Problem beginnt, wenn eine der Mnemoniken zu ernst genommen wird. Dann wird der Lernende stecken bleiben, weil er denkt, dass es einen Sinn haben muss, was diese oder jene Autorität behauptet, wahr zu sein.

Zwei Dinge in Ihrer Frage fallen in Bezug auf das, was ich oben gesagt habe, ins Auge:

  1. die Behauptung, imaginäre Größen seien "unphysikalisch"
  2. der Ausdruck P = was angeblich die "klassische Formel für Impuls" ist

Zu 1) , die imaginäre Einheit ist nichts Besonderes, wenn es um Physik geht. Die Mathematiker können mit komplexen Zahlen alle möglichen interessanten und sinnvollen Sachen machen. Für einen Physiker zählt aber, ob die mathematischen Größen in der Lage sind, Messungen (zumindest indirekt, zB über die Wahrscheinlichkeitsamplitude in der QM) so darzustellen, dass Vorhersagen oder zumindest Korrelationen möglich sind. Sie können die imaginäre Einheit einfach als reelle Matrix darstellen

ich = ( 0 1 1 0 )
Wie Sie leicht überprüfen können, ich 2 = 1 Wo 1 bezeichnet die Einheitsmatrix in 2D. Würden Sie sagen, dass Matrizen auf etwas „physisch Illegales“ hinweisen? Sicherlich nicht. Und wie sich herausstellt, ist die obige Matrix der infinitesimale Generator (sozusagen die Tangente) von Rotationen, und daher können Sie zweidimensionale Rotationen am natürlichsten durch Einheitskomplexzahlen beschreiben (Sie können sogar 3D-Rotationen durch eine Verallgemeinerung beschreiben von komplexen Zahlen, Quaternionen genannt!). Der harmonische Oszillator ist eine solche Rotation: Energie „rotiert“ gewissermaßen zwischen kinetischer und potentieller Energie, oder genauer gesagt, das System rotiert zwischen maximaler Geschwindigkeit und maximaler Auslenkung. Die Tatsache, dass Sie für eine solche Drehung zwei Freiheitsgrade haben, spiegelt die Tatsache wider, dass der Oszillator zweiter Ordnung ist.

Das ist nur ein Beispiel dafür, wie die imaginäre Einheit eine physikalische Größe darstellen kann. Wenn Sie dagegen mit der Annahme realer Koordinaten und der Lösung Ihrer Differentialgleichung oder was auch immer komplexe oder imaginäre Koordinaten ergibt, beginnen, haben Sie die Mühe zu erklären, was das messtechnisch bedeutet. Normalerweise ist man nicht geneigt anzunehmen, dass eine komplexe Position die Existenz einer Art Extra-Dimension bedeutet. Ockhams Rasiermesser verlangt, dass wir zuerst die einfachste Erklärung prüfen. Und im Fall des harmonischen Oszillators können wir einfach immer reelle Lösungen wählen und überlagern, warum also willkürlich komplexe Lösungen wählen? In diesem Sinne sind komplexe Lösungen des harmonischen Oszillators unphysikalisch: Wir brauchen sie nicht, um die Realität zu erklären, aber wir können sie verwenden, wenn wir erklären, was ihre Verwendung bedeutet (nämlich Superposition zweier orthogonaler Lösungen in einem sehr praktischen komplexen Exponentialausdruck). Bei der Quantenmechanik ist das ganz anders: Wir können die „Quantenrealität“ nicht durch eine einwertige reelle Wellenfunktion erklären. Wir müssen verwenden ich (oder eine äquivalente Matrix), damit alles zusammenpasst. Die imaginäre Einheit ist also in der Quantenmechanik nicht unphysikalisch, zumindest nicht im gleichen Sinne wie in der klassischen Mechanik. Sie ist jedoch teilweise redundant, da sie mit der Eichsymmetrie des elektromagnetischen Feldes zusammenhängt. Wenn wir die elektromagnetischen Potentiale anders messen, können wir teilweise die Phase der Wellenfunktion ändern (was ihre komplexe Natur bestimmt), aber das ist nur bis zu 2 π Drehungen.

Zu 2) gibt es viele Beziehungen in der Quantenmechanik, die verdächtig "klassisch" aussehen, und es gibt auch viele Beziehungen in der Quantenmechanik, die in krassem Widerspruch zur klassischen Mechanik stehen. Nur weil eine beliebige Formel wie eine klassische aussieht, wenn Sie die richtigen Buchstaben des Alphabets verwenden, heißt das nicht, dass die Größen, die sie darstellen, die gleichen sind, die Sie in einem Experiment messen können. Schließlich sind es nur Buchstaben. Ersetzen P von R und es sieht nicht mehr so ​​faszinierend aus. Der Grund, warum die Autoren sich entschieden haben, das Zeug auf diese Weise zu präsentieren, war, den Leser aufzuwecken und ihm zu sagen: „Hey Mann, in dieser Quantenmechanik liegt ein Goldschatz, und wenn Sie das ausgraben, werden Sie es sein reich".

Eigentlich gibt es in der Quantenmechanik keinen "klassischen Impuls", und insbesondere ein imaginärer Impuls ist in der Quantenmechanik bedeutungslos. Vielleicht können Sie diesen imaginären klassischen Impuls verwenden, um andere Dinge schön zu beschreiben (z. B. den Tunneleffekt, wenn "klassischer Impuls" imaginär wird), aber diese Beschreibungen sind nur in einem begrenzten Kontext nützlich (sonst bräuchten wir QM überhaupt nicht) . Daher repräsentiert die von Ihnen angegebene Formel kein Momentum. In der QM kann der Impuls eines bestimmten Zustands des Systems nur als eine Menge von Wahrscheinlichkeitsamplituden definiert werden P | ψ (die Fourier-Komponenten der Wellenfunktion, dargestellt durch die Eigenzustände | P des Impulsoperators) für die möglichen Impulsmessungen. Wenn Sie das System messen, ist die Wahrscheinlichkeit, einen bestimmten Impulswert zu erhalten, das Quadrat der Wahrscheinlichkeitsamplitude. Der Satz von Ehrenfest verbindet das mit der klassischen Mechanik, indem er sich mit den Erwartungswerten befasst, aber das gilt nur für eine große Anzahl wiederholter Messungen am selben System (oder das Messen eines Ensembles äquivalenter Systeme). Der Impuls einer einzelnen Messung ist unbestimmt (es sei denn, das System befindet sich in einem Impuls-Eigenzustand, den Sie durch Bezugnahme auf die zeitunabhängige Schrödinger-Gleichung mit einem Potential ausgeschlossen haben).

Also, zusammenfassend das Obige und kurze Antwort auf Ihre Frage: Die imaginäre Einheit hat in der klassischen Mechanik keine vordefinierte Bedeutung. Es kann alles sein, was Sie wollen und was es mathematisch darstellen kann (wie Rotationen im Phasenraum, Rotationen im physikalischen Raum usw.). Daher ist es per se überhaupt nicht unphysisch, es sei denn, Sie haben die "Unphysizität" darin konstruiert, indem Sie einen bloßen mathematischen Formalismus verwenden.

Ich glaube nicht, dass komplexe Größen in der Physik ein Warnsignal sind. Mathematik ist eine Reihe von Werkzeugen, und wir müssen ihnen kein ontologisches Gewicht zuweisen, die Frage sollte sein, ob sie die Physik vereinfachen und/oder klären.

Außerdem lässt sich nicht alle Mathematik auf reelle Zahlen reduzieren. Beispielsweise verwendet die Kategorientheorie oder die Mengenlehre Zahlen nicht in wesentlicher Weise.

Ich denke, das ist eine ausweichende Antwort. Ich erwarte nicht, dass alle Mathematik auf reelle Zahlen reduziert wird. Ich weiß nicht, ob es noch einen Konsens gibt, aber die laufende Physikforschung legt nahe, dass Formalismen für reelle Zahlen von QM experimentell als ungenau befunden werden ( physics.stackexchange.com/q/691623 ). Ich habe versucht, die Tatsache zu betonen, dass diese Frage nur klassische Fälle berücksichtigt. Es wird ziemlich meinungsbasiert und spekulativ, wenn diese Beschränkung nicht auferlegt wird.
Ich habe die Frage bearbeitet, um weiter zu betonen, dass ich nur über klassische Mechanik spreche. Nicht die ganze Physik und schon gar nicht die ganze Mathematik.
@Stack: Nein. Komplexe Zahlen können durch reelle Zahlen modelliert werden, daher könnte QM reell umformuliert werden. Die Leute tun es nicht, weil der resultierende Formalismus chaotisch ist. Das Papier, auf das im Link verwiesen wird, versucht einen anderen realen Formalismus als den, den Sie durch einfaches Übersetzen der Schrödinger-Gleichung in real gekoppelte PDEs erhalten würden.