Frage:
Was ist der Sinn der Hamiltonschen Mechanik?
Javier
2013-12-05 08:12:58 UTC
view on stackexchange narkive permalink

Ich habe gerade einen Kurs für klassische Mechanik abgeschlossen und im Rückblick sind einige Dinge nicht ganz klar. In der ersten Hälfte haben wir uns mit dem Lagrange-Formalismus befasst, den ich ziemlich cool fand. Ich habe besonders die Freiheit geschätzt, die Sie bei der Auswahl der Koordinaten haben, und die Tatsache, dass Sie die Zwangskräfte grundsätzlich ignorieren können. Natürlich können die meisten einfachen Situationen mit dem guten alten $ F = ma $ gelöst werden, aber für kompliziertere Dinge ist der gesamte Formalismus ziemlich praktisch.

Dann wechselten wir in der zweiten Hälfte zur Hamilton-Mechanik und Dort begann ich aus den Augen zu verlieren, warum wir die Dinge so machten, wie wir waren. Ich habe kein Problem damit, die Hamiltonschen oder Hamiltonschen Gleichungen oder die Hamilton-Jacobi-Gleichung zu verstehen, oder was haben Sie. Mein Problem ist, dass ich nicht verstehe, warum sich jemand die Mühe machen sollte, all dies zu entwickeln, um die gleichen Dinge zu tun, die Sie zuvor getan haben, aber auf eine andere Art und Weise. Tatsächlich müssen Sie in den meisten Fällen mit einem Lagrange beginnen und die Impulse aus $ p = \ frac {\ partiell L} {\ partiell \ Punkt {q}} $ und den Hamilton-Operator aus $ H = \ sum \ dot erhalten {q_i} p_i - L $. Aber wenn Sie bereits den Lagrange haben, warum nicht einfach die Euler-Lagrange-Gleichungen lösen?

Ich denke, es gibt interessante Verwendungen des Hamiltion-Formalismus, und wir haben einfach nicht viele Beispiele gemacht (es war der harmonische Oszillator den ganzen Weg, so ziemlich). Ich habe auch gehört, dass es einen etwas reibungslosen Übergang in die Quantenmechanik ermöglicht. Wir haben einen Weg gefunden, um Schrödingers Gleichung dazu zu bringen, Dinge mit der Aktion zu tun. Aber immer noch klickt etwas nicht.

Meine Fragen lauten wie folgt: Warum verwenden die Leute den Hamilton-Formalismus? Ist es besser für theoretische Arbeit? Gibt es Probleme, die mit Hamiltons Mechanik leichter zu lösen sind als mit Lagranges? Was sind einige Beispiele dafür?

Fünfzehn antworten:
user1504
2013-12-05 08:20:20 UTC
view on stackexchange narkive permalink

Es gibt mehrere Gründe für die Verwendung des Hamilton-Formalismus:

  1. Statistische Physik. Das Standardgewicht der thermischen Zustände reiner Zustände wird gemäß

    $$ \ text {Prob} (\ text {state}) \ propto e ^ {- H angegeben (\ text {state}) / k_BT} $$ span>

    Sie müssen also die Hamiltonianer verstehen, um stat mech wirklich real ausführen zu können.

  2. Geometrische Schönheit. Hamiltons Gleichungen besagen, dass das Fließen in der Zeit dem Fließen entlang eines Vektorfeldes im Phasenraum entspricht. Dies gibt ein schönes geometrisches Bild davon, wie die Zeitentwicklung in solchen Systemen funktioniert. Menschen verwenden dieses Framework häufig in dynamischen Systemen, in denen sie Fragen wie "Ist die Zeitentwicklung chaotisch?" Studieren.

  3. Die Verallgemeinerung auf die Quantenphysik. Der grundlegende Formalismus der Quantenmechanik (Zustände und Observablen) ist eine offensichtliche Verallgemeinerung des Hamiltonschen Formalismus. Es ist weniger offensichtlich, wie es mit dem Lagrange-Formalismus verbunden ist, und viel weniger offensichtlich, wie es mit dem Newtonschen Formalismus verbunden ist.

  4. ol>

    [Bearbeiten als Antwort auf einen Kommentar: ]

    Dies mag zu kurz sein, aber die grundlegende Geschichte lautet wie folgt:

    In der Hamilton-Mechanik sind Observablen Elemente einer kommutativen Algebra, die eine Poisson-Klammer $ \ {\ cdot, \ cdot \} $ span>. Die Algebra der Observablen hat ein unterschiedliches Element, den Hamilton-Operator, der die zeitliche Entwicklung über $ d \ mathcal {O} / dt = \ {\ mathcal {O}, H \} $ definiert span>. Thermische Zustände sind in dieser Algebra einfach lineare Funktionen. (Die Observablen werden als Funktionen im Phasenraum realisiert, und die Klammer stammt aus der dortigen symplektischen Struktur. Entscheidend ist jedoch die Algebra der Observablen: Sie können den Phasenraum aus der Algebra der Funktionen wiederherstellen.)

    Andererseits haben wir in der Quantenphysik eine Algebra von Observablen, die nicht kommutativ ist. Aber es hat immer noch eine Klammer $ \ {\ cdot, \ cdot \} = - \ frac {i} {\ hbar} [\ cdot, \ cdot] $ span> ( der Kommutator), und es erhält immer noch seine zeitliche Entwicklung von einem bestimmten Element $ H $ span> über $ d \ mathcal {O. } / dt = \ {\ mathcal {O}, H \} $ span>. Ebenso sind thermische Zustände in der Algebra immer noch lineare Funktionale.

joshphysics
2013-12-05 09:27:12 UTC
view on stackexchange narkive permalink

Weitere Kommentare zur Antwort von user1504:

  1. Für ein System mit einem Konfigurationsraum der Dimension $ n $ sind die Hamilton-Gleichungen eine Menge von $ 2n $, gekoppelte ODEs erster Ordnung , während die Euler-Lagrange-Gleichungen eine Menge von $ n $ ODEs zweiter Ordnung sind. In einem bestimmten Problem ist es möglicherweise einfacher, die Hamilton-Gleichungen erster Ordnung zu lösen (obwohl ich mir im Moment leider kein gutes Beispiel vorstellen kann).

  2. Das stimmt Die Quantenmechanik wird normalerweise im Hamilton-Formalismus dargestellt, aber wie in der Antwort von user1504 impliziert, ist es möglich, einen Lagrange zur Quantisierung klassischer Systeme zu verwenden. Der Hamilton-Ansatz wird üblicherweise als "kanonische Quantisierung" bezeichnet, während der Lagrange-Ansatz als "Pfadintegralquantisierung" bezeichnet wird.

  3. ol>

    Edit. Wie Benutzer Qmechanic betont, ist mein Punkt 2 nicht genau richtig. Die Pfadintegralquantisierung kann auch mit dem Hamilton-Operator durchgeführt werden. Siehe zum Beispiel diesen Beitrag zu Physik. SE:

    In Pfadintegralen sind Lagrange oder Hamilton grundlegend?

Sollte das zweite $ 2n $ nur $ n $ sein? Ich würde hoffen, dass die Lagrange-Methode nicht doppelt so viele ICs erfordert.
Kommentar zum letzten Satz der Antwort (v2): Es sollte betont werden, dass es auch eine Hamilton-Formulierung des Pfadintegrals gibt, vgl. z.B. [this] (http://physics.stackexchange.com/q/81277/2451) Phys.SE-Beitrag.
Ich habe ein Beispiel für dich. ODEs erster Ordnung sind numerisch viel einfacher zu lösen: Sie können einen Vektor $ x $ mit 2n verallgemeinerten Koordinaten und Impulsen schreiben und $ \ dot {x} = F (x) $ schreiben. Dann wissen Sie an jedem Punkt $ x $ im Phasenraum, in welche Richtung Sie "treten" müssen. Sie können sogar die Stabilität analysieren, indem Sie $ F $ linearisieren und das Vorzeichen der Realteile der Eigenwerte des Jacobi betrachten.
Eine Bemerkung zu (1): Es ist immer trivial, ein System von Gleichungen zweiter Ordnung in Gleichungen erster oder erster Ordnung zu übersetzen: Ersetzen Sie einfach $ \ ddot x $ durch $ \ dot y $ (Einführung der Funktion $ y $) und fügen Sie die Gleichung $ hinzuy = \ dot x $.Sie brauchen nicht Hamiltons Formulierung, um das zu erreichen.Hamiltons Gleichungen sind jedoch viel symmetrischer als die, die ich gerade vorgeschlagen habe.
Leichter Nitpick: Die $ n $ verschiedenen ODEs zweiter Ordnung, die die Euler-Lagrange-Gleichungen bilden, sind im Allgemeinen gekoppelt.Wie @ZachMcDargh hervorhebt, sind ODEs erster Ordnung * viel * numerisch leichter zu lösen.(Wenn man eine ODE zweiter Ordnung numerisch löst, wandelt man sie fast immer sofort nach dem von Friedrich erklärten Verfahren in ein System gekoppelter ODEs erster Ordnung um.) In beiden Fällen muss man in der Praxis also zuerst $ 2n $ lösenODEs bestellen.Aber wie Friedrich sagt, sind Hamiltons Gleichungen symmetrischer.
@tparker In der Tat - die Aussage zu EL-Gl.Ich habe seit Beginn dieses Beitrags deutlich mehr über numerische ODEs gelernt - gute Punkte.
maynak
2013-12-05 09:53:00 UTC
view on stackexchange narkive permalink

    Erstens ist Lagrangian eine mathematische Größe, die keine physikalische Bedeutung hat, aber Hamiltonian ist physikalisch (zum Beispiel ist es die Gesamtenergie von in einigen Fällen das System) und alle Größen in der Hamiltonschen Mechanik haben physikalische Bedeutungen, was die physikalische Intuition erleichtert.

  1. In der Hamilton-Mechanik haben Sie kanonische Transformationen, mit denen Sie Koordinaten ändern und einfachere kanonische Koordinaten und Momente finden können, in denen es einfacher ist, Probleme zu lösen.

  2. Das Beste ist, Lagrange ist eine leistungsfähige mathematische Methode zur Lösung von Problemen in der klassischen Mechanik, aber Hamiltonian ist eine leistungsstarke Methode zur Lösung von Problemen in der klassischen Mechanik, Quantenmechanik, statistischen Mechanik und Thermodynamik ... usw. eigentlich fast die gesamte Physik ...

  3. ol>

    Zum Beispiel: In der Thermodynamik: Gibbs freie Energie, Helmholtz freie Energie ... sind alles kanonische Transformationen von Hamiltonian ..

Hamiltonian ist nicht immer Gesamtenergie, obwohl es in vielen Systemen typisch für einen klassischen Mechanikkurs ist.
Ja, es ist nicht immer Gesamtenergie, aber mein Punkt ist "es ist immer physisch".
Nicht alle Hamiltonschen Größen haben eine direkte physikalische Bedeutung. Verallgemeinerte Impulse und Koordinaten können gemischte Funktionen der kartesischen Koordinaten und ihrer entsprechenden Impulse sein, ohne dass garantiert wird, dass das Ergebnis eine einfache physikalische Interpretation aufweist. Auch in der Thermodynamik sind Gibbs- und Helmholtz-Funktionen keine Legendre-Transformationen des Hamilton-Operators, sondern der inneren Energie. Für ein homogenes System ist dies die Funktion $ U (S, V, N) $, die mit Hamiltonian aus der Mechanik verwandt ist, aber immer noch eine ganz andere Sache ist.
Lagrange hat eine klare physikalische Bedeutung.Das ist der Unterschied zwischen der kinetischen und der potentiellen Energie.
Lagrange hat keine physikalische Bedeutung?Woher?
Ist der Lagrange nicht mit der geringsten Aktion verbunden?S == Definitiv-Integral (L dt)
@maynak Was bedeutet es, "physisch" zu sein?Soweit ich weiß, ist Energie auch nicht physikalisch, sofern man sie nicht direkt messen kann, sondern nur ein mathematischer Wert, der zufällig erhalten bleibt.
bkocsis
2014-01-20 04:42:27 UTC
view on stackexchange narkive permalink

Ein zusätzlicher Punkt, der in den vorherigen Antworten nicht ausreichend hervorgehoben wurde, ist, dass der Hamilton-Formalismus es Ihnen ermöglicht, kanonische Transformationen durchzuführen, um zum bestmöglichen Koordinatensystem im Phasenraum zu wechseln und das System zu beschreiben. Dies ist viel besser als in der Lagrange-Mechanik, wo Sie nur Koordinatentransformationen im Konfigurationsraum durchführen können. (Der Phasenraum hat die doppelte Anzahl von Dimensionen, sodass Sie eine größere Freiheit haben.) Ich finde Poisson-Klammern in der Hamilton-Mechanik sehr nützlich, um die Bewegungsgleichungen einer beliebigen Funktion von Phasenraumvariablen zu schreiben: $ \ dot {Q} = \ {Q, H \} $. Es ist möglich, konservierte Größen ($ \ dot {Q} = 0 $) in der Hamilton-Mechanik zu finden, die in der Lagrange-Mechanik nicht offensichtlich sind.

Beispiele:

  1. ​​Normalmodus-Oszillationen. Wenn sich herausstellt, dass der Hamilton-Operator eine quadratische Funktion von Koordinaten und Impulsen für ein System von $ N $ -Objekten ist, z. $ H = \ sum_ {ij} M_ {ij} q_i q_j + \ sum_ {ij} M_ {ij} p_i p_j $ Dann können Sie einfach eine kanonische Transformation entlang der Eigenvektoren von $ M_ {ij} $ durchführen, um $ M_ {zu diagonalisieren ij} $, und Ihr System wird in unabhängige harmonische Oszillatoren aufgeteilt.
  2. Störungstheorie. Sie können einfach die Schwingungen um den Gleichgewichtszustand untersuchen, indem Sie den Hamilton-Operator in den Phasenraumvariablen auf die zweite Ordnung erweitern.

  3. In der Planetendynamik gibt es eine große Skalentrennung zwischen der Wechselwirkung von Planeten mit dem Zentralstern und ihren gegenseitigen Wechselwirkungen. "Säkulare Theorie" beschreibt die sehr langfristige Entwicklung des Systems unter Verwendung der Hamiltonschen Mechanik. Sie können eine kanonische Transformation (Von-Zeipel-Transformation) entlang der Aktionswinkelvariablen der kurzfristigen Interaktionen anwenden. Sie können dann die langfristige Entwicklung ableiten (zum Beispiel die der Exzentrizitäten und Neigungen) und untersuchen, ob sich die langfristigen Störungseffekte von Planeten resonant summieren oder nicht, ob das System chaotisch ist usw.

  4. ol>
Fantastisch.Dies passt sehr gut zu den informationstheoretischen Überlegungen (die mich letztendlich zu dieser Seite geführt haben, während ich über ML und Unabhängigkeit nachgedacht habe).
@jhegedus Können Sie einen Hinweis darauf geben, über welche informationstheoretischen Überlegungen Sie nachgedacht haben?Ich bin nicht mit der Verbindung vertraut
pppqqq
2013-12-07 18:41:29 UTC
view on stackexchange narkive permalink

Dies ist eine Tatsache über den Hamiltonianer im Vergleich zum Lagrange, die ich nicht trivial finde (und die es wert ist, beachtet zu werden).

Angenommen, der Lagrange $ L $ span> und Hamilton $ H $ span> sind in Bezug auf eine Koordinate $ q_1 $ span> zyklisch. Dann haben wir einen Satz (vgl. [1]):

Die Entwicklung der anderen Koordinaten $ q_2, ..., q_n $ span> ist das eines Systems mit $ n-1 $ span> unabhängiger Koordinate $ q_2, ..., q_n $ mit Hamiltonian $$ H (p_2, ..., p_n, q_2, ..., q_n, t, c), $$ span> abhängig vom Parameter $ c = p_1 $ span>.

Beachten Sie, dass dies falsch ist, wenn anstelle von $ H $ span> geben wir den Satz für den Lagrange $ L $ span> an.

Um genau zu sehen, was ich meine, betrachten Sie den vereinfachten Lagrange des Zweikörperproblems: $$ L = \ frac {\ mu} {2} (\ dot r ^ 2 + r ^ 2 \ dot \ varphi ^ 2) -U (r). $$ span> Wir haben $$ p_ \ varphi = \ mu r ^ 2 \ dot \ varphi = \ ell \ quad (\ text {Konstante}). $$ span> Versuchen Sie nun, $$ \ dot \ varphi = \ frac {\ ell} {zu stecken \ mu r ^ 2} $$ span> innerhalb des Lagrange und vergleichen Sie die so erhaltenen Bewegungsgleichungen mit denen, die Sie direkt in die Bewegungsgleichungen einfügen $ \ frac {\ partielles L} {\ partielles r} = \ frac {d} {dt} \ frac {\ partielles L} {\ partielles \ dot r} $ span>.

[1] “ Mathematische Methoden der klassischen Mechanik „VI Arnold, §15 Kor.2.

FWIW, das gleiche Lagrange-Problem im letzten Beispiel von pppqqq wird genau gefragt, z.[hier] (https://physics.stackexchange.com/q/262183/2451) & [hier] (https://physics.stackexchange.com/q/83190/2451).
tparker
2017-06-17 03:56:39 UTC
view on stackexchange narkive permalink

Zusätzlich zu den vielen großartigen Antworten, die bereits veröffentlicht wurden:

1) Die Hamiltonsche Mechanik eignet sich für eine allgemeine und systematische Form der Störungstheorie, die als "kanonische Störungstheorie" bezeichnet wird.Die Störungstheorie in der Lagrange-Mechanik ist tendenziell etwas ad hoc und von Fall zu Fall.Ich vermute, dass Hamilton und Jacobi aus diesem Grund die Theorie ursprünglich entwickelt haben, da sie natürlich nichts über ihre zukünftigen statistischen Mechanismen und Quantenanwendungen wussten.

2) Die Hamilton-Mechanik führt zur Hamilton-Jacobi-Gleichung, die nützlich ist, um nicht offensichtliche konservierte Größen für komplizierte Systeme zu finden.

3) Die Hamilton-Jacobi-Gleichung führt wiederum zu Aktionswinkelvariablen, die besonders in der Astronomie nützlich sind (was den frühen Physikern sehr am Herzen lag).

Irgendwelche Beispiele für diese nicht offensichtlichen Mengen in 2)?
@lalala: Das kann ich jetzt beantworten.Die Hamilton-Jacobi-Gleichung führt zu einer "verborgenen" Bewegungskonstante für Partikel, die sich um ein Kerr-Schwarzes Loch bewegen. Dadurch können Sie alle Gleichungen auf die erste Ordnung reduzieren und beispielsweise die Form des Schattens berechnen.
Tobias Diez
2013-12-06 15:58:38 UTC
view on stackexchange narkive permalink

Eine Möglichkeit, die Beziehung zwischen der klassischen Mechanik von Hamilotian und der Quantenmechanik zu erkennen, besteht nicht darin, nach einer direkten Übersetzung von Hamiltionian -> Quantum Hamiltionian (die existiert: Geometrische Quantisierung) zu suchen, sondern die umgekehrte Beziehung zu betrachten. Wenn ein Hamiltion-Operator gegeben und auf Wellenfunktionen der Form $ e ^ {\ frac {i} {\ hbar} \ phi} $ ausgewertet wird (was als hoch gelegenes Wellenpaket angesehen werden kann), vereinfacht sich das Limit $ \ hbar \ bis 0 $ zur Hamiltion-Jacobi-Gleichung mit dem klassischen Hamiltionian. Dies ist als WKB-Näherung bekannt und gilt auch für die Optik (d. H. Lichtstrahlen folgen in erster Näherung den Integralkurven des zugehörigen Hamiltionschen Bildes).

Könnten Sie bitte angeben, was Phi hier ist?
In diesem Zusammenhang handelt es sich um eine beliebige reelle Funktion, die die Phase des Wellenpakets beschreibt.Die WKB-Näherung liefert normalerweise eine Art Gleichung dafür (für die Schrödinger-Gleichung ist es die Hamilton-Jacobi-Gleichung).
Physicist137
2015-10-31 07:08:18 UTC
view on stackexchange narkive permalink

Sie können auch Hamiltons Bewegungsgleichungen in sympletischer Form schreiben: $$ \ dot \ xi_i = \ omega_ {ij} \ frac {\ partielles H} {\ partielles \ xi_j} $$

Wobei $ \ xi_i $ die Koordinaten im Phasenraum sind, dh $ \ xi = (\ mathbf q, \ mathbf p) $. Und $ \ omega $ ist die sympletische Matrix: $$ \ omega = \ begin {bmatrix} 0 && -I_ {n \ times n} \\ I_ {n \ times n} && 0 \\\ end {bmatrix} $ $

Dabei ist $ I_ {n \ times n} $ die Identitätsmatrix mit einem System von $ n $ Raumkoordinaten (und damit $ n $ Geschwindigkeiten und diesen $ 2n $ Phasenbeträgen Raumkoordinaten). Für ein beobachtbares $ G $ haben wir außerdem: $ \ dot G = \ {G, H \} $, wie Sie wissen. Sie können also leicht die Dynamik eines bestimmten beobachtbaren $ G $ haben. Alles sehr nett und ordentlich und allgemein, aber ...

Aber ... hier ist das, was ich für den erstaunlichsten Teil der Hamilton-Mechanik halte: $$ X = x ^ i \ partielle_i = \ {\ xi ^ i, H \} \ teilweise_i $$

Wobei $ X $ ein Hamilton-Vektorfeld ist. Stattdessen können wir nun für ein beobachtbares $ G $ sein Vektorfeld verallgemeinern: $$ X_G = x ^ i_G \ Partial_i, \ Quadx ^ i_G = \ {\ xi ^ i, G \} = \ frac {d \ xi ^ i} {d \ epsilon} $$

Für jeden gegebenen Parameter $ \ epsilon $ für beobachtbares $ G $ wird ein Operator $ X_G $ generiert. Taylor-Erweiterung erster Ordnung: $$ \ xi ^ i (\ epsilon) - \ xi ^ i (\ epsilon_0) = (\ epsilon - \ epsilon_0) X_G \ xi ^ i $$

Wobei Operator $ X_G $ wirkt auf $ \ xi ^ i $. Wir können die Differentialgleichung in aufeinanderfolgenden infinitesimalen Transformationen lösen, die an der fundamentalen Exponentialgrenze ankommen, und so die vollständige allgemeine Lösung von jedem Hamilton-System für jedes beobachtbare $ G $: $$ \ xi ^ i (\ haben epsilon) = \ exp \ left (\ Delta \ epsilon X_G \ right) \ xi ^ i_0 $$

Verstehst du die Kraft davon? Auch hier ist es die Lösung eines jeden Hamilton-Systems für jedes beobachtbare $ G $ mit dem vom Operator $ X_G $ generierten Parameter $ \ epsilon $. Wenn Sie die Dynamik analysieren möchten, ist $ \ epsilon $ die Zeit und $ G $ der Hamilton-Wert, wobei $ X_H $ den Hamilton-Vektorraum definiert. Alle Hamilton-Systeme haben die gleiche Lösung. Die gleiche Lösung !! Lösen wir also nach der Dynamik (dh wo $ \ epsilon $ die Zeit ist): $$ \ xi ^ i (t) = \ exp \ left (\ Delta t \ frac {d} {dt} \ right) \ xi ^ i_0 $$

Also, wie Sie sehen können, ziemlich nett. Die Lagrange-Mechanik liefert schöne, einheitliche Bewegungsgleichungen. Die Hamiltonsche Mechanik liefert schöne einheitliche Lösungen für den Phasenraum für die Bewegungsgleichungen. Außerdem haben Sie die Möglichkeit, einen zugehörigen Operator und eine koordinatenunabhängige sympletisch-geometrische Interpretation zu erhalten. Ersteres ist in der Quantenmechanik von entscheidender Bedeutung, letzteres in dynamischen Systemen.

Hm .. das ist lustig ... ich denke das hängt mit meinen und anderen Antworten zusammen, extrem interessanter Winkel, danke!
Warte eine Sekunde, der beste Teil dieser Antwort ist der Name der Person, die diese Antwort geschrieben hat :) LOOOOL :) :)
Wie war der Ausdruck $ X = x ^ i \ partielle_i = \ {\ xi ^ i, H \} \ partielle_i $ erhalten?
Adam Getchell
2013-12-05 12:38:31 UTC
view on stackexchange narkive permalink

Der kanonische (Hamiltonsche) Formalismus bietet einen der Hauptpfade zur Quantisierung der Schwerkraft. Die allgemeine Relativitätstheorie kann als ADM 3 + 1-Zerlegung der Raumzeit ausgedrückt werden:

http://en.wikipedia.org/wiki/ADM_formalism

Und Hamiltonians zugrunde liegende Quantenmechanik:

http://en.wikipedia.org/wiki/Hamiltonian_(quantum_mechanics)

Dies bietet nicht nur eine schwer fassbare Verbindung zwischen ansonsten grundlegend inkompatiblen Theorien (Quantenfeldtheorie und allgemeine Relativitätstheorie), aber im Hamiltonschen Formalismus von GR ist es möglich, Probleme numerisch zu lösen, die ansonsten über die Standard-Einstein-Feldgleichungen äußerst schwierig oder unmöglich sind.

Übrigens ist die Lagrange- (und Lagrange-Dichte) in der allgemeinen Relativitätstheorie physikalisch, da man die Einstein-Feldgleichungen direkt aus der Einstein-Hilbert-Aktion ableiten kann. Diese Minimierung der Wirkung ist auch die Grundlage des pfadintegralen Ansatzes zur Quantenfeldtheorie:

http://en.wikipedia.org/wiki/Path_integral_formulation

Die in QFT so nützlichen Feynman-Diagramme leiten sich direkt daraus ab, und natürlich ist die Stringtheorie eine höherdimensionale Verallgemeinerung des Pfadintegralansatzes.

http://www.staff.science. uu.nl/~hooft101/lectures/stringnotes.pdf

Cal Abel
2013-12-16 23:25:17 UTC
view on stackexchange narkive permalink

Der Hamilton-Operator kann verwendet werden, um eine Entwicklung der "Phasendichte" eines Systems von N Körpern zu beschreiben. Die Dichte in der Phase ist eine konservierte Größe für ein System im Gleichgewicht nach dem Liouville-Theorem. Die Position und die Impulse können jeden allgemeinen intensiven Parameter beschreiben. Gibbs verwendete diesen Ansatz, um statistische Mechanik abzuleiten.

Dieser Ansatz des Konzepts der Entwicklung einer Wahrscheinlichkeitsdichtefunktion kann in vielen anderen Anwendungen verwendet werden. Meine aktuelle Forschung wendet dies auf die Theorie der Zustandsraumkontrolle, die wirtschaftliche Analyse und die Bewertung von Strahlenschäden in Zellen an. Es ist zwar etwas verworren, aber äußerst nützlich. Dies geht Hand in Hand mit der Entropiemaximierung.

Entschuldigung, bitte korrigieren Sie diese Antwort, ich möchte sie nicht ablehnen, sondern "Die Dichte in der Phase ist eine konservierte Größe für ein System im Gleichgewicht nach Liouvilles Theorem."ist bedeutungslos. Es gibt keine "Dichte", zumindest nicht in einem diskreten System.Jeder Staat ist entweder besetzt oder nicht.Der Satz von Liouville besagt, dass das VOLUMEN konstant ist.Das heißt, die Anzahl der besetzten Punkte.Dies ist nur für ein Ensemble von Systemen (in stat phys) von Bedeutung - bei denen das Volumen mehr als "eins" beträgt."Informationen gehen nicht verloren."Das bedeutet es.
"Es geht Hand in Hand mit Entropiemaximierung" => Ich würde äußerst vorsichtig sein, wenn ich solche Dinge sage."Boltzmanns Grund für den Selbstmord waren intellektuell motivierte Frustrationen."Es ist immer noch ein Rätsel.http://claesjohnson.blogspot.com/2019/02/boltzmann-175.html Die Antwort sieht sehr wackelig aus.
Paul T.
2018-10-05 17:20:48 UTC
view on stackexchange narkive permalink

Ein Vorteil des Hamilton-Operators ist der direkte Ausdruck des Satzes von Noether. Der Satz von Noether besagt, dass Symmetrie zu konservierten Größen führt.

Eine Möglichkeit, den Satz von Noether zu verstehen, besteht darin, dass einem System mit einer Symmetrie im Lagrange eine ignorierbare Koordinate zugeordnet ist. Zum Beispiel kann ein System mit Rotationssymmetrie in Koordinaten ausgedrückt werden, bei denen der Drehwinkel $ \ phi $ span> im Lagrange nicht erscheint.

$$ \ frac {\ partielles L} {\ partielles \ phi} = 0 \ impliziert \ frac {d} {dt} \ left (\ frac {\ partielles L} {\ teilweise \ Punkt {\ phi}} \ rechts) = \ frac {d p_ \ phi} {dt} = 0 $$ span>

Die $ \ phi $ span> -Komponente des Impulses bleibt also erhalten.

Der Hamilton-Ansatz ist besonders bei numerischen Methoden nützlich. Beachten Sie, wie eine der Hamilton-Evolutionsgleichungen über Impulsänderungen informiert.

$$ \ frac {d p_i} {dt} = - \ frac {\ partielles H} {\ partielles q ^ i}, \ quad \ frac {dq ^ i} {dt} = \ frac {\ partielles H} {\ partielles p_i} $$ span>

In einem System mit konservierten kanonischen Impulsen fordern Hamiltons Gleichungen explizit eine Konservierung. In vielen Fällen ist der Hamilton-Operator selbst eine konservierte Größe (wie Energie). Das Finden numerischer Lösungen für Hamilton-Gleichungen anstelle von Newtons zweitem Gesetz führt zu einer größeren Stabilität der numerischen Lösungen. Es gibt eine ganze Klasse von Methoden zur Lösung von Differentialgleichungen, symplektische Integratoren, die diese Funktion verwenden.

Wenn Sie ein Orbitalproblem direkt aus $ \ vec {F} = m \ ddot {\ vec {x}} $ span> numerisch entwickeln, entsteht ein numerischer Fehler schnell und die Umlaufbahn wird von der wahren Lösung abweichen. Eine Möglichkeit, dies zu sehen, besteht darin, die Energie und den Drehimpuls als Funktionen der Zeit zu berechnen ( $ E (t) $ span>, $ \ ell (t) $ span>) aus Positionslösungen $ r (t) $ span>, $ \ theta (t ) $ span>, $ \ phi (t) $ span>. Sie werden feststellen, dass $ E (t) $ span> und $ \ ell (t) $ span> sich erheblich unterscheiden von den Startwerten und immer schlechter werden.

Wenn Sie mit Hamilton-Gleichungen arbeiten, wirkt sich ein numerischer Fehler auf Ihre Berechnungen aus, aber $ \ ell () $ span> ist bei jedem Schritt und $ E (t) $ span> ist stabiler, da es eine Funktion der stabilen $ p $ span> ist $ q $ span>. Die Positionskoordinaten weisen weiterhin einen numerischen Fehler auf. Da jedoch $ E $ span> und $ \ ell $ span> stabil sind, wackeln die Koordinaten eher um die wahren Werte als divergierend.

QuantumBrick
2018-10-05 03:43:37 UTC
view on stackexchange narkive permalink

Extrem kurze und nicht erwähnte Antwort: Impuls und Position in der Quantenmechanik (QM) bilden eine Darstellung der Heisenberg-Algebra in Form von Einheitsoperatoren.In der Newtonschen Mechanik (NM) gibt es keine sichtbare zugrunde liegende algebraische Struktur, aber in der Hamiltonschen Mechanik (HM) bilden Impuls und Position auch eine Darstellung der Heisenberg-Algebra, diesmal in Bezug auf reale Funktionen.Unter diesem gruppentheoretischen Gesichtspunkt sind HM und QM kaum zu unterscheiden, während QM im Vergleich zu NM wie Magie aussieht.

Einheitliche Operatoren: Wahrung der Wellenfunktionsnorm.Omg, Darstellung.Meine Gruppentheorie endet bei: Repräsentation ist eine "Matrix".Sagen wir, eine Rotationsmatrix für eine Rotationsgruppe.Position und Impuls sind keine Darstellungen.Die Betreiber selbst sind.Wenn ich die Matrixanalogie nehme.Position und Impuls sind einfach die "Räume", in denen die Operatoren / Matrizen arbeiten.Meine Gruppentheorie ist 18 Jahre alt, daher könnte ich mich hier etwas irren.
Interessant, heute bin ich mir gerade das Konzept der Irreduzibilität in den Sinn gekommen.Ich denke, es bezieht sich auf die Umwandlung einer Matrix in eine Blockdiagonalform.Sehr lustig führt dies auch zum Konzept der Unabhängigkeit wie beim Entkoppeln (meine Gruppentheorie ist sehr alt ... aber diese blockdiagonale Sache gibt mir einen Vorsprung).
Uuuups, ja ... https://en.wikipedia.org/wiki/Irreducible_representation ... die Hauptbedeutung der Gruppentheorie ist genau dies ... um Systeme in Form von entkoppelten Gruppen zu beschreiben ...
user3072048
2019-05-02 18:05:05 UTC
view on stackexchange narkive permalink

Das klassische Problem der Mechanik besteht darin, die Bewegungsgleichungen für ein gegebenes Lagrange- oder Hamilton-System zu lösen. In diesem Fall ist es nur eine Frage der Wahl, ob der Hamilton- oder Lagrange-Formalismus verwendet wird, um dies zu tun. Sobald die Lösung gefunden ist, ist alles, was Sie über dieses spezifische System wissen müssen, darin enthalten.

Aber wie wäre es, wenn man grundlegendere Fragen stellen möchte, ob es Eigenschaften physikalischer Systeme gibt, die nicht spezifisch für die bestimmte Form eines Hamiltonian / Lagrangian sind, sondern allen Systemen inhärent sind. Um dies zu beantworten, muss man die mathematische Struktur entschlüsseln, die für alle physikalischen Systeme generisch ist. Genau dann unterscheidet sich die Hamilton-Formulierung von der Lagrange-Formulierung: Die generische Struktur, die den Hamilton-Systemen zugrunde liegt, trägt den Namen „symplektische Mannigfaltigkeiten“ und es stellt sich heraus, dass ihre Mathematik so reichhaltig ist, dass sie für die Mathematik bis dahin von großem Interesse ist Dieses Datum.

Das bekannteste Beispiel für eine generische Eigenschaft von Hamilton-Systemen, die nicht mit der spezifischen Form eines Hamilton-Systems zusammenhängt, ist das Liouville-Theorem, das besagt, dass der Phasenraum mit der Zeit erhalten bleibt. Intuitiv bedeutet dies, dass Informationen während der Lebensdauer des Systems niemals verloren gehen.

Das Studium der Hamiltonschen Dynamik / symplektischen Mannigfaltigkeiten ist besonders nützlich, wenn die Raumzeit nicht euklidisch ist. Zum Beispiel existieren symplektische Mannigfaltigkeiten und damit Hamilton-Dynamik auf einer Kugel $ S ^ {2n} $ span> für n> 1 nicht. Es sind also diese Arten von Fragen, die ganz natürlich in der symplektischen Mannigfaltigkeit / Hamiltonschen Umgebung und nicht im Lagrange-Formalismus untersucht werden können.

Ich finde es gut, dass Sie auch den Informationswinkel ansprechen.Die Geschichte geht viel tiefer.Betrachten Sie die Unabhängigkeit.Unabhängige Systeme.Entkopplung.Die Entropie ist additiv.Die Energie ist additiv.Energie ist einfach ein Maß für die Entropie.Die Bewegungsgleichung ist unabhängig.IMHO geht das in beide Richtungen.Ich vermute auch, dass dies "Dimensionen" Bedeutung verleiht.Verallgemeinerte Koordinaten.Welche Einschränkungen berücksichtigen.Sie können die Energieabhängigkeit entkoppeln.So wird es möglich, H (x, y) = H (x) + H (y) zu schreiben.Aufgrund des "Konzepts", dass die Gesamtenergie die Summe der Komponentenenergien ist.
Ich bin zu diesem Schluss gekommen, nachdem ich viele Stunden, 3 Jahre + 2 oder so "ML" gelernt hatte ... und habe auch einen Doktortitel in Physik mit Schwerpunkt auf theoretischer Physik der kondensierten Materie.Lustigerweise passen ML und Cond Mat Phys hervorragend zusammen.Wie Spingläser für DNNs und so.Ich habe mich gefragt, warum es so extrem wichtig ist, dass "Zeug" in "ML" unabhängig sein muss (siehe grafische Modelle und ihre Freunde), dennoch ist das Konzept der Unabhängigkeit in ML von zentraler Bedeutung.Unabhängiges "Koordinatensystem" finden.Es macht es möglich, die Entropie als Summe zu schreiben.Dann dachte ich an stat phys, Entropie
freie Energie und wie die Thermodynamik aus einfachen Prinzipien, Ergodizität, Phasenraum, Entropie und so weiter abgeleitet wird ... Ich kam zu der Erkenntnis, dass die Existenz des Hamiltonschen Formalismus und der Unabhängigkeit in "ML" denselben Grund hat, nämlich die Reduzierung des KolmogorovKomplexität des Algorithmus, der die "Theorie" in der Physik oder das "Modell" in ML beschreibt.Auch der Prior (in beiden Disziplinen) wird mit der Anzahl unabhängiger Freiheitsgrade exponentiell sparsamer.Sobald die Unabhängigkeit maximiert ist, wird es auch einfacher, unbeaufsichtigt zu lernen (ich habe vergessen warum ... :)).
jhegedus
2019-05-05 06:54:34 UTC
view on stackexchange narkive permalink

Die folgende Antwort ist ein bisschen "intuitiv", aber hoffentlich immer noch meistens richtig oder zumindest zum Nachdenken anregend. Entschuldigung für die mangelnde Genauigkeit. Ich habe vor, diese Gedanken eines Tages in einen schönen Blog-Beitrag zu schreiben. Dies ist nur eine grobe Skizze.

Ich bin nicht sicher, aber der größte Punkt im Konzept von "Hamiltonian" ist, dass zwei unabhängige Systeme Energie additiv sind.

Nicht wechselwirkende Systeme können durch H1 + H2 beschrieben werden.

Ich habe diese Seite durchsucht und dies wurde nicht beschrieben.

Warum ist diese Additivität so wichtig?

Nehmen wir einen harmonischen Oszillator.

Der Phasenraum ist der Umfang eines Kreises.

Energie ist proportional zum Radius des Kreises.

Also der Umfang.

Also die Anzahl der Mikrozustände.

Also S = -log (E) * c.

Warum ist das eine große Sache?

Denn wenn wir zwei harmonische Oszillatoren nehmen, wird die Entropie additiv (umfangreich).

Warum ist das so eine große Sache?

Wahrscheinlichkeit. Unabhängige Systemprotokollwahrscheinlichkeiten sind additiv.

Die physische Unabhängigkeit und die probabilistische Unabhängigkeit sind in diesem Fall also gleich.

So wird statistische Physik möglich.

Dies ist eine andere Sichtweise auf die Aussage der akzeptierten Antwort. Aus informationstheoretischer Sicht.

Warum ist Unabhängigkeit so wichtig?

Die Kolmogorov-Komplexität der Algorithmen, die den Phasenraum oder sogar die Bewegung beschreiben, ist additiv. Es ist also optimal. Im Sinne von Occams Rasiermesser.

Daher ist der Hamiltonsche Formalismus der optimalste Weg, um Theorien zu erstellen, die unabhängige Systeme beschreiben.

Unter diesem Gesichtspunkt ist es intuitiv zu sehen, dass die Störungstheorie "funktioniert".

Wenn die Energieänderung eines Subsystems gering ist (schwache Störung), wird der Phasenraum nicht viel größer, so dass die zur Beschreibung des gestörten Systems zu speichernden Informationen nicht viel größer sind, da die Größe des Phasenraums dies tut nicht viel ändern.

Dieser informationstheoretische Ansatz liefert also eine intuitive Erklärung, warum die Störungstheorie "funktioniert".

Daraus folgt auch E = mc ^ 2 (bis zu einer Konstanten). E = mc ^ 2 drückt einfach aus, dass, wenn ein Oszillator verschwindet, auch sein Phasenraum verschwindet und die Energie auf den anderen Oszillator übertragen wird, so dass die Informationen erhalten bleiben. Bei E = mc ^ 2 geht es "einfach" um die Erhaltung von Informationen. Ohne das Konzept von Hamilton würde diese Gleichung und die entsprechende Erhaltung von Informationen nicht existieren.

Die Hamilton-Gleichung ist daher wichtig, weil sie es ermöglicht, unabhängige Systeme unabhängig in den informationstheoretischen (aus denen probabilistischen) Rahmenbedingungen zu behandeln, wie dies am ersten Punkt der ersten Antwort angedeutet wurde. Darauf basiert die statistische Mechanik. Auch würde Thermodynamik mit dem Konzept der Energie nicht existieren. Da unabhängige Systeme durch ihre Energie beschrieben werden, die umfangreich und additiv ist.

Interessanterweise beziehen sich alle umfangreichen Variablen in der Thermodynamik auf Änderungen des Phasenraums. Das Volumen wächst, der volumenbezogene Phasenraum ändert sich, die kinetische Energie nimmt ab (der impulsbezogene Phasenraum nimmt ab) in adiabatischen Systemen, so dass der Gesamtinformationsgehalt konstant bleibt (und folglich die Entropie).

Ohne Energie gibt es also keine Entropie, keine Information, keinen Phasenraum, kein E = mc ^ 2.

Warum? Ohne Energie gibt es keine Unabhängigkeit zwischen isolierten Systemen.

Warum ist das falsch? Theorien (Algorithmen), die unabhängige Systeme beschreiben, haben eine additive Kolmogorov-Komplexität. Ohne das Konzept der Energie hätten Theorien diese Eigenschaft nicht, würden also Occams Rasiermesser nicht gehorchen und wären daher unnötig komplexer als nötig. Wäre weniger richtig.

Im Rahmen von Solomonoffs Theorie kann diese Aussage gerechtfertigt werden.

Sie machen gute Punkte, aber sind die Lagrange unabhängiger Systeme nicht auch additiv?
Warum sollten sie es sein?Sie können sie addieren, aber das hat keine Beziehung zu Phasenraum / Entropie / Informationstheorie / Thermodynamik / Erhaltungsgesetzen / nichts. JEDOCH ! Der Lagrange-Ansatz hat eine weitere Stärke: das Variationsprinzip. https://www.youtube.com/watch?v=KdFo6eoW9x4 Das ist auch fantastisch.
und als zusätzliche Berührung: Virialer Satz. https://en.wikipedia.org/wiki/Virial_theorem https://physics.stackexchange.com/questions/32896/ist-some-connection-between-the-virial-theorem-and-a-least-action-principle Der Virialsatz folgt aus dem Prinzip der geringsten Wirkung.Dies kann also etwas Inspiration geben - worüber ich mir Gedanken machen muss!
Ich würde sogar darüber nachdenken, dass dies eine Art Dualismus ist.Lagrangian ist zeitunabhängig, während Hamiltonian ein raumunabhängiger Ansatz ist.Mit anderen Worten, Lagrange basiert auf räumlicher Variation, aber nicht auf zeitlicher Variation.Hamiltonian basiert auf Zeitvariation (Zeitentwicklung), aber nicht auf Raumvariation (muss nicht durch Raum abgeleitet werden).
https://discourse.mc-stan.org/t/real-world-hamiltonian-vs-artificial-hamiltonian-for-modelling-the-corresponding-real-world-problem/8852 wird hoffentlich auch hier besprochen :)
Cristian Dumitrescu
2019-05-05 12:27:15 UTC
view on stackexchange narkive permalink

In der algorithmischen Informationstheorie (Leibniz, Kolmogorov, Chaitin) gibt es ein Konzept, "elegante Programme".Dies sind minimale Programme, die eine bestimmte Binärsequenz erzeugen können.Wir können eine Analogie zur Physik oder zu jeder anderen axiomatischen Theorie machen (diese Analogie wurde von Chaitin untersucht).Der Lagrange-Hamilton-Formalismus (mit dem Min-Action-Prinzip) stellt einen minimalen mathematischen Rahmen dar, der viele experimentelle Daten aus allen Bereichen der Physik von QFT bis GR erklären kann.Leider ist es in der algorithmischen Informationstheorie kein triviales Problem, zu beweisen, dass ein Programm "elegant" ist.Nach dieser Analogie ist dies kein triviales Problem, ob der Lagrange / Hamilton-Formalismus der bestmögliche ist.Um Ihre Frage zu beantworten, geht es um "Eleganz" oder Minimalität (in mathematischen Axiomen / Prinzipien, die benötigt werden).

Genau ... mein Punkt war dies.
Aber ... es gibt kein kostenloses Mittagessen ... also ... das ist dein Punkt, denke ich.
AFAIK das gibt eine schöne def.Für Eleganz: https://en.wikipedia.org/wiki/Solomonoff%27s_theory_of_inductive_inference


Diese Fragen und Antworten wurden automatisch aus der englischen Sprache übersetzt.Der ursprüngliche Inhalt ist auf stackexchange verfügbar. Wir danken ihm für die cc by-sa 3.0-Lizenz, unter der er vertrieben wird.
Loading...