Können wir die aristotelische Physik quantisieren?

Die aristotelische Physik , ohne alles, was der historische Aristoteles tatsächlich glaubte, ist der Newtonschen Physik ziemlich ähnlich. Anstelle von „Ein Objekt in Bewegung bleibt in Bewegung, es sei denn, es wirkt eine unausgeglichene Kraft auf“ haben wir „Ein Objekt in Ruhe bleibt in Ruhe, es sei denn, es wirkt ein unausgeglichener Impuls“. Newtons

F   =   m a ,
was eine Differentialgleichung zweiter Ordnung ist, wird
p   =   m v ,
was eine Differentialgleichung erster Ordnung ist. Ansonsten haben wir business as usual.

Meine Frage ist: Können wir diese Theorie quantifizieren? Anstatt Hilbert-Raum-Operatoren unter Verwendung der Darstellungstheorie der vollständigen Galilei-Gruppe zu konstruieren, verwenden wir einfach die Darstellungstheorie der Galilei-Gruppe ohne Galilei-Transformationen, dh nur bestehend aus räumlichen Translationen, räumlichen Rotationen und Zeit-Translationen. Wie würde eine solche Quantentheorie aussehen? Ich kann auf Anhieb sagen, dass es wahrscheinlich weniger konservierte Mengen geben wird, aber nicht viel mehr.

Jede Hilfe wäre sehr willkommen.

Meinten Sie nicht F = m v ?

Antworten (3)

Ich schreibe diese Antwort nach einer angenehmen Diskussion im Chat mit user23660 neu. Folgendes habe ich aus unserer Diskussion mitgenommen und stellt nicht unbedingt die Interpretation von user23660 dar. Die tl;dr-Antwort lautet, dass es meines Erachtens keine Möglichkeit gibt, dieses System zu quantifizieren, das nicht triviale Ergebnisse liefert und gleichzeitig die Standard-QM beibehält - wir landen entweder mit Verletzungen der grundlegenden Axiome der QM oder mit einem trivialen System ohne Dynamik und keine Messprozesse.

Ich werde nur den eindimensionalen Fall analysieren. Ich denke, die wichtige Erkenntnis wird durch die Betrachtung der Nullstellen der Funktion gewonnen p , dh die Punkte x 0 wo p ( x 0 ) = 0 . Dies sind die Orte, an denen Teilchen im Gleichgewicht existieren können. Sie sind auch mögliche Orte für Kollisionen, wenn p dort von positiv nach negativ kreuzt.

Wir haben zwei logische Möglichkeiten: (1) Die Funktion p ( x ) ist immer darauf beschränkt, eine glatte Funktion zu sein, und wenn sie Null kreuzt, hat sie niemals eine verschwindende Ableitung. (2) Eine solche Beschränkung gilt nicht p .

(1) In diesem Fall haben wir p a ( x x 0 ) zum x nah genug dran x 0 , mit a 0 . Der interessante Fall, wo p Kreuze von positiv nach negativ, ist a < 0 . Die klassische Bewegung ist ein asymptotischer Ansatz x 0 von beiden Seiten. Das bedeutet, dass das Universum in zwei Teile geteilt wird, die jeweils von der anderen Seite nicht beobachtbar sind. Eine Annäherung von Partikeln ist nicht möglich x 0 von beiden Seiten miteinander kollidieren, da sie unendlich lange brauchen würden, um den Kollisionspunkt zu erreichen. Da Kollisionen unmöglich sind, sind auch Messvorgänge unmöglich – Sie können Ihr Messgerät nicht dazu bringen, das Objekt zu berühren, das Sie zu beobachten versuchen. Es gibt auch keinen messbaren Zeitbegriff, da das Nichtvorhandensein einer periodischen Bewegung es unmöglich macht, eine Uhr zu bauen. Da Uhren und Lineale unmöglich sind, können wir die Koordinaten beliebig neu skalieren. Da Kollisionen unmöglich sind, gibt es überhaupt keine Dynamik.

Um das System zu vereinfachen, bedenken Sie, dass wir jede reibungslose Eins-zu-Eins-Änderung der Koordinaten vornehmen können x u ( x ) , p p = ( d u / d x ) p . Da es keine Uhren und keine Observablen gibt, ist diese Änderung der Koordinaten nur eine Umbenennung, und es gibt keine Möglichkeit zu sagen, ob x oder u war das natürlichere Koordinatensystem. Im Allgemeinen, wenn wir eine stetige Funktion haben p , wir können jede Region wohin bringen p 0 und definieren Sie eine "spezielle" Koordinate u = d x / p . Das Problem wird in ein Problem umgewandelt, bei dem sich Teilchen immer mit der Geschwindigkeit 1 nach rechts bewegen.

Die Antwort von User23660 analysiert, wie dieses System quantisiert wird. Das quantisierte System hat keine Möglichkeit der Streuung, Absorption oder Emission, also gibt es keinen Begriff der Messung. Obwohl ich die Analyse von user23660 für richtig halte, scheint mir eine Theorie der Quantenmechanik ohne Zeit, Observablen oder Dynamik nicht sehr interessant zu sein. Als Abkürzung zur Quantisierung dieses Systems können wir zu den speziellen Koordinaten wechseln. Da in diesen Koordinaten die einzig mögliche Geschwindigkeit 1 ist, müssen die Lösungen der Wellengleichung einfach sein Ψ u = f ( u t ) , wo f ist eine beliebige Funktion. Wenn wir zurück in die transformieren x Koordinaten, dann Ψ u Ψ x muss einen zusätzlichen zeitabhängigen Normierungsfaktor aufnehmen, wenn die Wahrscheinlichkeitserhaltung erhalten bleiben soll.

Ich habe es ursprünglich zu sehr vereinfacht, indem ich gesagt habe, dass die Bewegung im Fall Nr. 1 im Sinne des Satzes von Liouville dissipativ ist. Das ist nicht ganz richtig, da wir diese Begriffe nur in einem Raum ausdrücken können, in dem wir Messungen haben. Da die Zeit- und Raumkoordinaten nicht messbar sind, können wir die Wahrscheinlichkeitserhaltung immer verbessern, indem wir einfach willkürliche zeitabhängige Normalisierungsfaktoren hinzufügen.

(2) Wenn es keine Einschränkung gibt p , dann ist es im klassischen System möglich, Gleichgewichtspunkte zu haben, die von Teilchen in endlicher Zeit erreicht werden können. Es ist denkbar, dass wir Kollisionen und nichttriviale Dynamiken haben. Die Bewegung kann in dem Sinne dissipativ sein, dass, wenn ein Teilchen einen Gleichgewichtspunkt erreicht, alle Informationen über seine vergangene Bewegung verloren gehen. Auch akausale Lösungen a la Norton's Dome sollen möglich sein . Ausdrücklich, wenn wir es zulassen p = | x | 3 / 4 , dann ist die Lösung entweder x = 0 oder irgendetwas in der Form x = ± ( 4 4 ) ( t t 0 ) 4 , so könnte zum Beispiel ein Teilchen von links einfallen, dann eine Weile am Ursprung sitzen bleiben und dann zu einem unbestimmten Zeitpunkt wieder nach rechts abheben. Im Allgemeinen können Partikel also kollidieren, für eine unvorhersehbare Zeit miteinander verbunden bleiben und dann aus der Kollision wieder auftauchen.

Bei der Quantisierung erwarten wir, dass sich diese Nichterhaltung von Informationen als Verletzung der Einheitlichkeit zeigt. Dies scheint sich in der Analyse von user23660 zu zeigen, in der das quantisierte System reellwertige Wellenfunktionen hat. Wenn die Wellenfunktionen reellwertig sind und wir Kollisionen haben können, dann müssen wir mindestens eines der folgenden aufgeben: Unitarität, Linearität oder die Born-Regel. Andernfalls würde sich ein positiver Impuls, der mit einem negativen Impuls kollidiert, überlagern und destruktive Interferenz erleiden, was die Einheitlichkeit verletzt. Aber es ist sowieso nicht klar, dass die Analyse von user23660 uns wirklich etwas über Fall #2 aussagt, da die Analyse Annahmen über das Verhalten von trifft p .

Können Sie erläutern, was „Informationsverlust“ bedeutet und warum dies Nichteinheitlichkeit impliziert?
Leider helfen diese Links nicht wirklich weiter. Hier ist meine grundlegende Verwirrung: Wenn in der gewöhnlichen Quantenmechanik ein Teilchen in einen Bereich eintritt, in dem keine Kraft auf es einwirkt, hat sein Quantenzustand keine Informationen über seine vorherige Beschleunigung. Wie unterscheidet sich das vom Quantenzustand eines Teilchens, das keine Informationen über seine vorherige Geschwindigkeit hat, wenn es in einen Bereich eintritt, in dem kein Impuls auf es einwirkt?
@KeshavSrinivasan: Was hier vor sich geht, ist im Grunde das Theorem von Liouville. Wenn ein Teilchen in einen Bereich eintritt, in dem keine Kraft auf es einwirkt, enthält sein Quantenzustand keine Informationen über seine vorherige Beschleunigung. Das ist wirklich klassisch, nicht Quanten, und Ihre Aussage ist nicht wahr. Angesichts des Barwerts von x und x ˙ Für jedes Teilchen können Sie die Bewegung zurück in die Vergangenheit extrapolieren, um es zu finden x ( t ) für jedes Teilchen. Dann erhalten Sie durch zweimaliges Differenzieren die Beschleunigung jedes Teilchens zu allen Zeiten in der Vergangenheit.
@BenCrowell: Die Quantisierung dissipativer Systeme wird durchgeführt. Siehe zum Beispiel hier: arxiv:quant-ph/0311159 , oder wenden Sie sich einfach an Google Scholar
@ user23660: Aus dem Artikel: "Dies würde die Theorie dissipativer und nicht-hamiltonischer Systeme zu einer grundlegenden Verallgemeinerung der Quantenmechanik machen." Ich denke, das unterstützt meinen Standpunkt.
@BenCrowell: Dass wir eine Verallgemeinerung des gewöhnlichen QM brauchen würden, war von Anfang an offensichtlich.
@BenCrowell: Zusätzlicher Punkt, der Ihr Argument ungültig machen würde. Sie sagen "Jedes Mal, wenn ein Objekt ... aufhört, Informationen zu bewegen ... verloren geht". Aber für, sagen wir, p ( x ) = a x , die Zeit, die das Objekt benötigt, um den Ursprung zu erreichen, ist unendlich, also würde dieses „jederzeit“ tatsächlich nie passieren.
@BenCrowell In der Newtonschen Mechanik haben wir eine Differentialgleichung zweiter Ordnung, daher reichen die aktuelle Position und Geschwindigkeit aus, um es Ihnen zu sagen x ( t ) für alle vergangenen Zeiten t . In der aristotelischen Mechanik würden wir es mit einer Differentialgleichung erster Ordnung zu tun haben, also reicht die aktuelle Position aus, um es Ihnen zu sagen x ( t ) für alle vergangenen Zeiten t . Was ist also der Unterschied?
@KeshavSrinivasan: Der eigentliche Punkt ist, dass die Bewegung im Sinne des Satzes von Liouville dissipativ ist. Dies ist mit Standard-QM nicht vereinbar.
@user23660: Dass wir eine Verallgemeinerung des gewöhnlichen QM brauchen würden, war von Anfang an offensichtlich. Dann sind wir uns einig.
@BenCrowell Ich habe mir den Wikipedia-Artikel über Liouvilles Theorem angesehen und es war ziemlich schwer zu verstehen. Kennen Sie bessere Darstellungen des Satzes oder können Sie das Problem auf andere Weise erklären?
In höhere Dimensionen/mehrere Teilchen zu gehen entlastet etwas von dieser Trivialität. Nehmen Sie zum Beispiel H = ω ( p 1 q 2 p 2 q 1 ) . Dies erzeugt eine einfache harmonische Bewegung z q 1 , 2 klassisch. Quantenmechanisch, Einführung von Polarkoordinaten r 2 = q 1 2 + q 2 2 , bräunen ( ϕ ) = q 2 / q 1 , ist die allgemeine Lösung der Schrödinger-Gleichung ψ ( r , ϕ , t ) = f ( r ) g ( ϕ + ω t ) was offensichtlich zeitlich periodisch ist. Offensichtlich nehme ich nur das übliche Hamiltonsche System und interpretiere es neu p ist wie q s, was ein bisschen ein Cheat ist. Ein Kritikpunkt kann sein, dass die Kraft in der nichtlokal ist q s.

Wir können die aristotelische Mechanik quantifizieren, und nach Diskussion scheint auch Ben Crowell in diesem Punkt einer Meinung zu sein.

Kurze Zusammenfassung: Um das von der aristotelischen Mechanik beherrschte System zu quantisieren, erweitern wir seinen Konfigurationsraum mit kanonisch konjugierten Impulsen und führen dann eine gewöhnliche kanonische Quantisierung durch. Das resultierende Quantensystem zeigt ein etwas langweiliges Verhalten und könnte je nach Wahl des Kraftfelds einige ernsthafte Probleme haben.


Ein Beispiel der aristotelischen Mechanik ist die Bewegung eines Objekts in einer sehr viskosen Flüssigkeit, bei der wir Trägheitskräfte vernachlässigen können: Stokes (oder kriechende) Strömung . Da die viskose Widerstandskraft F ziehen ist proportional zur Geschwindigkeit eines Objekts, die Anwendung einer äußeren Kraft F ext würde schnell (auf einer durch Trägheitskräfte bestimmten Zeitskala: je kleiner sie sind, desto schneller geschieht es) zu einer Bewegung führen, bei der F ext = F ziehen . Das bedeutet, dass die resultierende Bewegungsgleichung ist

(1) d x d t = a F ext ( x , t ) ,
das ist eine Differentialgleichung erster Ordnung mit einer positiven Konstante a .

Dieses Modell belegt übrigens auch die Relevanz der aristotelischen Mechanik für Bereiche wie Mikro- und Nanofluidik.

Die Quantisierung der aristotelischen Mechanik könnte also im Rahmen der Quantisierung dissipativer Systeme erfolgen, was eine gut etablierte Theorie ist.

Zum Beispiel dieses Papier

Tarasov, Vasily E. "Quantisierung nicht-hamiltonischer und dissipativer Systeme." Phys. Lette. A 288.3 (2001): 173-182. (arxiv:quant-ph/0311159)

gibt die folgende Zusammenfassung von Lösungsansätzen für das Problem:

Wir können die häufigsten Methoden zur Quantisierung von dissipativen und nicht-Hamiltonschen Systemen in zwei Gruppen einteilen. Das erste Verfahren verwendet ein Verfahren zum Verdoppeln der Phasenraumdimension [6]–[8]. Die zweite Methode besteht in der Verwendung eines explizit zeitabhängigen Hamiltonoperators [9]-[16].

Bateman hat gezeigt [6], dass zur Verwendung der üblichen kanonischen Quantisierungsmethoden ein Verfahren zur Verdopplung der Phasenraumdimension erforderlich ist. Um das übliche kanonische Quantisierungsschema auf dissipative und nicht-hamiltonsche Systeme anzuwenden, kann man die Anzahl der Freiheitsgrade verdoppeln, um mit einem effektiv isolierten System umzugehen. Es kann angenommen werden, dass die neuen Freiheitsgrade durch kollektive Freiheitsgrade des Bades repräsentiert werden, das die durch das dissipative System dissipierte Energie absorbiert [7, 8].

Der zitierte Artikel von Bateman aus dem Jahr 1931

Bateman, Harry. "Über dissipative Systeme und verwandte Variationsprinzipien." Physical Review 38.4 (1931): 815. (doi:10.1103/PhysRev.38.815)

sagt auch:

In einer kürzlich erschienenen Arbeit stellte PS Bauer fest, dass ein linear dissipativer Satz von Differentialgleichungen mit konstanten Koeffizienten nicht aus einem Variationsprinzip abgeleitet werden kann. Dies gilt nur, wenn das Variationsprinzip keine zusätzlichen Gleichungen liefern soll. Nun ist ein dissipatives System physikalisch unvollständig, und daher sind zusätzliche Gleichungen zu erwarten, wenn versucht wird, die definierenden Gleichungen aus einem Variationsprinzip abzuleiten. Wir müssen also nach einem komplementären Satz von Gleichungen suchen.

Da die Gleichung (1) von erster Ordnung ist, könnten wir versuchen, mit einem Satz von Impulsvariablen nach einer minimalen Erweiterung des Konfigurationsraums zu suchen. Mit Blick auf die kanonische Quantisierung versuchen wir, einen Hamiltonoperator zu finden, der die Gleichung (1) als eine der kanonischen Gleichungen erzeugen würde.

Es ist überraschend einfach: Der benötigte Hamiltonoperator ist:

(2) H ( p , x ) = a p F ext ( x ) ,
was Gleichung (1) zusammen mit einem zusätzlichen Satz kanonischer Gleichungen für Impulse ergeben würde.

Wir könnten also den Hamilton-Operator (2) einfach als der aristotelischen Mechanik entsprechend betrachten und eine kanonische Quantisierung verwenden, die uns in der Koordinatendarstellung die Schrödinger-Gleichung liefert:

ich t Ψ = S j m [ H ( ich , x ) ] Ψ ,
Wo S j m bedeutet, dass wir eine geeignete Symmetrisierung bereitstellen müssen, um sicherzustellen, dass Hamiltonian hermitesch ist. Beachten Sie, dass die Schrödinger-Gleichung nicht mehr als 1. Ableitungen in enthält x und t es könnte durch die Methode der Merkmale integriert werden . Zusätzlich konnte die Schrödinger-Gleichung vollständig real gemacht werden, also eine reale Funktion im Anfangsmoment Ψ ( x , 0 ) wird immer real bleiben. Somit wäre die Dynamik jedes Systems viel einfacher als bei gewöhnlichen QM-Systemen. Sobald wir Lösungen für die Schrödinger-Gleichung haben, können wir verschiedene Matrixelemente für Observablen berechnen, wobei zu berücksichtigen ist, dass Impulse hier eigentlich Hilfsvariablen sind.

Betrachten wir zur Veranschaulichung einige Spezialfälle von Kraftfeldern für 1D-Systeme:

  1. Konstante Kraft F = b . Das gibt uns Ψ = f ( x a b t ) , das heißt, Impulsausbreitung mit konstanter Geschwindigkeit in der x -Richtung. Beachten Sie das Fehlen von Dispersion.

  2. Elastische Feder F = x . Hier wäre allgemeine Lösung Ψ = f ( j + a t ) exp ( a t 2 ) , wo j = ln x .

Schon aus diesen beiden einfachen Beispielen könnten wir schließen, dass die Dynamik dieser quantisierten Systeme weniger interessant ist als gewöhnliche QM. Insbesondere sehen wir, dass es keine Quanteninterferenz gibt: Das Doppelspaltexperiment in der aristotelischen Quantenmechanik wäre sehr langweilig. Dies wird natürlich durch das zugrunde liegende klassische System bestimmt: Da wir dort einen einfachen Fluss auf dem Konfigurationsraum haben, wird die Quantisierung nicht viel hinzufügen.


Zusatz . Kürzlich hat die Frage „Ein „hermitischer“ Operator mit imaginären Eigenwerten“ (und die Antwort von Emilio Pisanty) die Art von Problemen hervorgehoben, denen wir in der aristotelischen Quantenmechanik begegnen könnten. Insbesondere ist der "Problem"-Hamiltonian dort von dem Typ, der durch Gleichung (2) definiert ist. Die Probleme wurden auch in Ben Crowells Antwort auf diese Frage erwähnt, von denen die schwerwiegendste die nicht konservierte Wahrscheinlichkeit ist. Tatsächlich konnten wir für einige ziemlich einfache Kraftfelder keinen selbstadjungierten Hamilton-Operator konstruieren. Aber wie das Papier

Klassische Symptome von Quantenkrankheiten. Chengjun Zhu und John R. Klauder. Bin. J. Phys. 61 nr. 7, 605 (1993) doi:10.1119/1.17221 .

gezeigt, haben diese Probleme ihre Wurzeln in der klassischen Dynamik. Um also ein vernünftiges Quantensystem zu erhalten, müssen wir ein gutes Verhalten des zugrunde liegenden klassischen Systems sicherstellen. Insbesondere könnten wir fordern, dass klassische Lösungen für alle Zeitwerte existieren und keine Singularitäten zu endlichen Zeiten auftreten. Dies kann zulässige Felder einschränken, führt jedoch zu einer korrekten Quantenversion.

In deinem Beispiel der elastischen Feder gibst du die Lösung an Ψ = f ( j + a t ) exp ( a t / 2 ) . Da die meisten Auswahlmöglichkeiten von f und a geben ( d / d t ) Ψ 2 0 , dies ist mit der Born-Regel und der Wahrscheinlichkeitserhaltung nicht vereinbar. Sie haben die Einheitlichkeit verloren. Sie schrieben in einem Kommentar: Dass wir eine Verallgemeinerung des gewöhnlichen QM brauchen würden, war von Anfang an klar. Also ich denke, wir sind uns hier eigentlich einig. Sie müssen QM auf irgendeine Weise verallgemeinern, damit die Uneinheitlichkeit nicht mehr gilt.
@BenCrowell: Falsch. Wir müssen uns integrieren x nicht j (welches ist ln x ). So Ψ 2 d x = konst zu allen Zeiten, was so sein sollte, da es eine Lösung der Schrödinger-Gleichung mit dem hermiteschen Hamilton-Operator ist H = 1 2 ( x p + p x ) .
Angenommen, ich nehme f zu definieren als f ( u ) = 1 zum 0 u 1 , f ( u ) = 0 überall sonst. Lassen a = 1 . Dann bekomme ich Ψ 2 d x = e t ( e 1 / t 1 ) , was nicht konstant ist.
@BenCrowell: In deiner Beispielfunktion Ψ im Intervall ungleich Null ist x [ exp ( t ) , exp ( t + 1 ) ] da hast du also einen fehler
Ich verstehe deinen letzten Kommentar nicht. Ist nicht f soll eine beliebige Funktion sein? Ich habe gerade eine Auswahl getroffen f . Tatsächlich gibt es einen viel einfacheren Weg, um zu sehen, dass Sie keine Wahrscheinlichkeitserhaltung haben. Sie haben reellwertige Wellenfunktionen und können daher nicht sowohl Linearität als auch Einheitlichkeit haben. Wenn Sie einen positiven Impuls mit einem negativen Impuls kollidieren, sinkt die Gesamtwahrscheinlichkeit, wenn sie sich überlagern.
@BenCrowell: AGGHH! Es ist Ihre Wahl f Ich sprach über! Dein f führt zu Ψ = θ ( x exp ( t ) ) θ ( x + exp ( t + 1 ) ) exp ( t / 2 ) , das ist eine Funktion ungleich Null nur in einem Intervall, mit θ eine Heaviside-Funktion. Seine Integration mit quadratisch gibt uns unabhängig auf t Konstante.

Eugene Wigner diskutierte die Quantisierung der aristotelischen Physik in dem sehr kurzen Artikel Conservation Laws in Classical and Quantum Physics . Sie können die Theorie quantisieren, aber es gibt keinen offensichtlichen Weg, auf dem sich die quantisierte Version physisch von der klassischen Version unterscheidet.