Ich habe gerade einen Kurs in klassischer Mechanik abgeschlossen, und rückblickend sind einige Dinge nicht ganz klar. In der ersten Hälfte haben wir den Lagrange-Formalismus behandelt, was ich ziemlich cool fand. Ich habe besonders die Freiheit geschätzt, die Sie bei der Wahl der Koordinaten haben, und die Tatsache, dass Sie Zwangskräfte im Grunde ignorieren können. Natürlich können Sie die meisten einfachen Situationen mit dem guten alten lösen , aber für kompliziertere Sachen ist der ganze Formalismus ziemlich praktisch.
In der zweiten Hälfte wechselten wir dann zur Hamiltonschen Mechanik, und da begann ich aus den Augen zu verlieren, warum wir die Dinge so machten, wie wir es taten. Ich habe kein Problem damit, den Hamiltonian oder die Hamilton-Gleichungen oder die Hamilton-Jacobi-Gleichung oder was auch immer zu verstehen. 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 einer Lagrange-Funktion beginnen und die Impulse erhalten , und der Hamiltonoperator aus . Aber wenn Sie bereits die Lagrange-Funktion haben, warum lösen Sie nicht einfach die Euler-Lagrange-Gleichungen?
Ich denke, es gibt vielleicht interessante Anwendungen des Hamilton-Formalismus, und wir haben einfach nicht viele Beispiele gemacht (es war so ziemlich der harmonische Oszillator). Ich habe auch gehört, dass es einen einigermaßen reibungslosen Übergang in die Quantenmechanik ermöglicht. Wir haben einen Weg ausgearbeitet, um Schrödingers Gleichung dazu zu bringen, Dinge mit der Aktion zu tun. Aber irgendetwas klickt immer noch nicht.
Meine Fragen sind die folgenden: Warum verwenden Menschen den Hamiltonschen Formalismus? Ist es besser für die theoretische Arbeit? Gibt es Probleme, die leichter mit der Mechanik von Hamilton als mit der von Lagrange gelöst werden können? Was sind einige Beispiele dafür?
Es gibt mehrere Gründe für die Verwendung des Hamiltonschen Formalismus:
Statistische Physik. Das Standardgewicht der thermischen Zustände der reinen Zustände wird gemäß angegeben
Sie müssen also Hamiltonianer verstehen, um Stat-Mech in wirklicher Allgemeinheit zu machen.
Geometrische Schönheit. Hamiltons Gleichungen besagen, dass das Fließen in der Zeit dem Fließen entlang eines Vektorfelds 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, wo sie Fragen wie „Ist die Zeitentwicklung chaotisch?“ untersuchen.
Die Verallgemeinerung zur Quantenphysik. Der grundlegende Formalismus der Quantenmechanik (Zustände und Observable) ist eine offensichtliche Verallgemeinerung des Hamiltonschen Formalismus. Es ist weniger offensichtlich, wie es mit dem Lagrangeschen Formalismus verbunden ist, und noch viel weniger offensichtlich, wie es mit dem Newtonschen Formalismus verbunden ist.
[Bearbeiten als Antwort auf einen Kommentar:]
Dies könnte zu kurz sein, aber die grundlegende Geschichte lautet wie folgt:
In der Hamiltonschen Mechanik sind Observablen Elemente einer kommutativen Algebra, die eine Poisson-Klammer trägt . Die Algebra der Observablen hat ein herausragendes Element, den Hamiltonoperator, der die Zeitentwicklung über definiert . Thermische Zustände sind einfach lineare Funktionen dieser Algebra. (Die Observablen werden als Funktionen auf dem Phasenraum realisiert, und die Klammer kommt von der dortigen symplektischen Struktur. Aber die Algebra der Observablen ist das, was zählt: Sie können den Phasenraum aus der Algebra der Funktionen zurückgewinnen.)
Andererseits haben wir in der Quantenphysik eine Algebra von Observablen, die nicht kommutativ ist. Aber es hat immer noch eine Halterung (der Kommutator), und es erhält seine Zeitentwicklung immer noch von einem ausgezeichneten Element , über . Ebenso sind thermische Zustände in der Algebra immer noch lineare Funktionale.
Einige weitere Kommentare zur Antwort von user1504:
Für ein System mit Konfigurationsraum der Dimension , Hamilton-Gleichungen sind ein Satz von , gekoppelte , ODEs erster Ordnung , während die Euler-Lagrange-Gleichungen ein Satz von sind , ODEs zweiter Ordnung . Bei einem bestimmten Problem könnte es einfacher sein, die Hamilton-Gleichungen erster Ordnung zu lösen (obwohl mir im Moment leider kein gutes Beispiel einfällt).
Es stimmt, dass die Quantenmechanik normalerweise im Hamilton-Formalismus dargestellt wird, aber wie in der Antwort von user1504 implizit angegeben ist, ist es möglich, einen Lagrange zu verwenden, um klassische Systeme zu quantisieren. Der Hamilton-Ansatz wird allgemein als "kanonische Quantisierung" bezeichnet, während der Lagrange-Ansatz als "Pfad-Integral-Quantisierung" bezeichnet wird.
Bearbeiten. Wie Benutzer Qmechanic betont, ist mein Punkt 2 nicht ganz richtig; Pfadintegralquantisierung kann auch mit dem Hamiltonoperator durchgeführt werden. Siehe zum Beispiel diesen Post in Physics.SE:
In Pfadintegralen sind Lagrangian oder Hamiltonian grundlegend?
Zunächst einmal ist Lagrange eine mathematische Größe, die keine physikalische Bedeutung hat, aber Hamilton ist physikalisch (z. B. ist es in einigen Fällen die Gesamtenergie des Systems), und alle Größen in der Hamilton-Mechanik haben physikalische Bedeutungen, was die physikalische Intuition erleichtert .
In der Hamilton-Mechanik gibt es kanonische Transformationen, mit denen Sie Koordinaten ändern und einfachere kanonische Koordinaten und Impulse finden können, in denen es einfacher ist, Probleme zu lösen.
Das Beste von allem ist, dass Lagrange eine leistungsstarke mathematische Methode ist, um Probleme in der klassischen Mechanik zu lösen, aber Hamiltonian ist eine leistungsstarke Methode, um Probleme in der klassischen Mechanik, Quantenmechanik, statistischen Mechanik, Thermodynamik usw. zu lösen, eigentlich fast die gesamte Physik ...
Zum Beispiel: In der Thermodynamik: Freie Gibbs-Energie, Freie Helmholtz-Energie ... sind alles kanonische Transformationen der Hamilton-Funktion.
Ein zusätzlicher Punkt, der von den vorherigen Antworten nicht genug betont wurde, ist, dass der Hamiltonsche Formalismus es Ihnen ermöglicht, kanonische Transformationen durchzuführen, um zum bestmöglichen Koordinatensystem im Phasenraum zu wechseln, um das System zu beschreiben. Das ist viel besser als in der Lagrange-Mechanik, wo man nur Koordinatentransformationen im Konfigurationsraum durchführen kann. (Der Phasenraum hat die doppelte Anzahl an Dimensionen, man hat also eine größere Freiheit.) Ich finde Poisson-Klammern in der Hamiltonschen Mechanik sehr nützlich, um die Bewegungsgleichungen einer beliebigen Funktion von Phasenraumvariablen zu schreiben: . Es ist möglich, Erhaltungsgrößen zu finden ( ) in der Hamiltonschen Mechanik, die in der Lagrangeschen Mechanik nicht offensichtlich sind.
Beispiele:
Normalmodus-Oszillationen. Wenn sich herausstellt, dass der Hamiltonoperator eine quadratische Funktion von Koordinaten und Impulsen für ein System von ist Gegenstände, z dann können Sie einfach eine kanonische Transformation entlang der Eigenvektoren von durchführen zu diagonalisieren , und Ihr System zerfällt in unabhängige harmonische Oszillatoren.
Störungstheorie. Sie können die Oszillationen um den Gleichgewichtszustand einfach untersuchen, indem Sie den Hamilton-Operator in den Phasenraumvariablen auf die zweite Ordnung erweitern.
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 Wechselwirkungen anwenden. Daraus kann man dann die Langzeitentwicklung ableiten (zum Beispiel die der Exzentrizitäten und Neigungen), untersuchen, ob sich die langfristigen Störeffekte von Planeten resonant addieren oder nicht, ob das System chaotisch ist usw.
Sie können Hamiltons Bewegungsgleichungen auch in sympletischer Form schreiben:
Wo sind die Koordinaten im Phasenraum, also . Und, ist die sympletische Matrix:
Wo ist die Identitätsmatrix, mit einem System von Raumkoordinaten (und damit Geschwindigkeiten, und diese, Mengen an Phasenraumkoordinaten). Auch für ein Observable , wir haben: wie du weißt. So können Sie leicht die Dynamik einer gegebenen Observable haben . Alles sehr schön und ordentlich und allgemein, aber....
Aber ... hier ist, was ich für den erstaunlichsten Teil der Hamilton-Mechanik halte:
Wo ist ein hamiltonsches Vektorfeld. Nun können wir stattdessen für eine Observable verallgemeinern , sein Vektorfeld:
Für jeden gegebenen Parameter für beobachtbar , Generieren eines Operators . Seine Taylor-Entwicklung erster Ordnung:
Wo Betreiber wirkt auf . Wir können die Differentialgleichung in aufeinanderfolgenden infinitesimalen Transformationen lösen und erreichen die grundlegende Exponentialgrenze, wodurch wir die vollständige allgemeine Lösung jedes Hamilton-Systems für jede Observable haben :
Verstehst du die Macht davon?? Um noch einmal darauf hinzuweisen, dass es sich hier um die Lösung jedes Hamiltonschen Systems für jede Observable handelt mit Parameter vom Betreiber generiert . Wenn Sie Dynamik analysieren wollen, dann ist die Zeit, und ist der Hamiltonian, wo definiert den Hamiltonschen Vektorraum. Alle Hamiltonschen Systeme haben die gleiche Lösung. Die gleiche Lösung!! Lassen Sie uns also nach der Dynamik auflösen (dh wo ist an der Zeit):
Also, wie Sie sehen können, ziemlich nett. Die Lagrange-Mechanik gibt Ihnen schöne vereinheitlichte Bewegungsgleichungen. Die Hamiltonsche Mechanik liefert schöne einheitliche Phasenraumlösungen für die Bewegungsgleichungen. Und bietet Ihnen auch die Möglichkeit, einen zugehörigen Operator und eine koordinatenunabhängige sympletisch-geometrische Interpretation zu erhalten. Ersteres ist entscheidend in der Quantenmechanik, letzteres ist entscheidend in dynamischen Systemen.
Dies ist eine Tatsache über den Hamiltonian im Vergleich zum Lagrangeian, die ich nicht trivial finde (und es wert ist, im Gedächtnis zu bleiben).
Angenommen, der Lagrangian und Hamiltonian sind bezüglich einiger Koordinaten zyklisch . Dann haben wir einen Satz (vgl. [1]):
Die Entwicklung der anderen Koordinaten ist die eines Systems mit unabhängige Koordinate mit Hamiltonian
abhängig vom Parameter .
Beachten Sie, dass dies falsch ist, wenn statt wir geben den Satz für den Lagrangian an .
Um genau zu sehen, was ich meine, betrachten Sie die vereinfachte Lagrange-Funktion des Zwei-Körper-Problems:
[1] „Mathematische Methoden der klassischen Mechanik“ VI Arnold, §15 Cor.2.
Zusätzlich zu den vielen großartigen Antworten, die bereits gepostet 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 eher ad hoc und fallweise. Ich vermute, dass Hamilton und Jacobi die Theorie ursprünglich aus diesem Grund entwickelt haben, da sie natürlich nichts über ihre zukünftigen Stat-Mech- und Quantenanwendungen wussten.
2) Die Hamilton-Mechanik führt zur Hamilton-Jacobi-Gleichung, die nützlich ist, um nicht offensichtliche Erhaltungsgrößen für komplizierte Systeme zu finden.
3) Die Hamilton-Jacobi-Gleichung wiederum führt zu Aktionswinkelvariablen , die besonders nützlich in der Astronomie sind (um die sich die frühen Physiker sehr gekümmert haben).
Eine Möglichkeit, die Beziehung zwischen der klassischen Hamilotschen Mechanik und der Quantenmechanik zu sehen, besteht darin, nicht nach einer direkten Übersetzung von Hamiltionian -> Quantum Hamiltionian (was existiert: Geometrische Quantisierung) zu suchen, sondern die umgekehrte Beziehung zu betrachten. Gegeben ist ein Hamilton-Operator und seine Auswertung an Wellenfunktionen der Form (was als hochgelegenes Wellenpaket gedacht werden kann) vereinfacht sich im Limit zur Hamilton-Jacobi-Gleichung mit dem klassischen Hamiltonian. Dies ist als WKB-Näherung bekannt und gilt auch für die Optik (dh Lichtstrahlen folgen in erster Näherung den Integralkurven des zugehörigen Hamilton-Bildes).
Der kanonische (Hamiltonsche) Formalismus bietet einen der Hauptwege zur Quantisierung der Gravitation. Die Allgemeine Relativitätstheorie kann in Form der ADM 3+1-Zerlegung der Raumzeit ausgedrückt werden:
http://en.wikipedia.org/wiki/ADM_formalism
Und Hamiltonian liegt der Quantenmechanik zugrunde:
http://en.wikipedia.org/wiki/Hamiltonian_(Quantenmechanik)
Dies stellt nicht nur eine schwer fassbare Verbindung zwischen ansonsten grundlegend inkompatiblen Theorien (Quantenfeldtheorie und allgemeine Relativitätstheorie) her, sondern im Hamiltonschen Formalismus von GR ist es auch möglich, Probleme numerisch zu lösen, die ansonsten extrem schwierig oder unmöglich sind, über die Standard-Einstein-Feldgleichungen.
Übrigens ist die Lagrangedichte (und die Lagrange-Dichte) in der allgemeinen Relativitätstheorie physikalisch, da man die Einstein-Feldgleichungen direkt aus der Einstein-Hilbert-Wirkung ableiten kann. Diese Wirkungsminimierung ist auch die Grundlage des pfadintegralen Ansatzes der Quantenfeldtheorie:
http://en.wikipedia.org/wiki/Path_integral_formulation
Die in der QFT so nützlichen Feynman-Diagramme leiten sich direkt davon ab, und natürlich ist die Stringtheorie eine höherdimensionale Verallgemeinerung des Pfadintegralansatzes.
http://www.staff.science.uu.nl/~hooft101/lectures/stringnotes.pdf
Ein Vorteil des Hamilton-Operators ist der direkte Ausdruck des Satzes von Noether . Der Satz von Noether besagt, dass Symmetrie zu Erhaltungsgrößen führt.
Eine Möglichkeit, den Satz von Noether zu verstehen, besteht darin, dass ein System mit einer Symmetrie eine zugehörige, vernachlässigbare Koordinate in der Lagrange-Funktion hat. Beispielsweise kann ein System mit Rotationssymmetrie in Koordinaten ausgedrückt werden, wobei der Rotationswinkel ist kommt im Lagrange nicht vor.
Also die Impulsanteil bleibt erhalten.
Der Hamilton-Ansatz ist besonders nützlich bei numerischen Verfahren. Beachten Sie, wie uns eine der Hamilton-Evolutionsgleichungen etwas über Impulsänderungen sagt.
In einem System mit erhaltenen kanonischen Impulsen fordern Hamiltons Gleichungen explizit die Erhaltung. In vielen Fällen ist der Hamiltonoperator selbst eine Erhaltungsgröße (wie Energie). Das Auffinden numerischer Lösungen für die Hamilton-Gleichungen anstelle des zweiten Newton-Gesetzes führt zu einer größeren Stabilität der numerischen Lösungen. Es gibt eine ganze Klasse von Methoden zum Lösen von Differentialgleichungen, symplektische Integratoren , die diese Funktion verwenden.
Wenn Sie ein Orbitalproblem direkt numerisch entwickeln , baut sich ein numerischer Fehler schnell auf und die Umlaufbahn weicht von der wahren Lösung ab. Eine Möglichkeit, dies zu sehen, besteht darin, die Energie und den Drehimpuls als Funktionen der Zeit zu berechnen ( , ) aus Positionslösungen , , . Das wirst du finden und deutlich von den Ausgangswerten abweichen und sich immer weiter verschlechtern.
Beim Arbeiten mit Hamilton-Gleichungen wirken sich numerische Fehler auf Ihre Berechnungen aus, aber wird bei jedem Schritt genau gleich sein und wird stabiler sein, da es eine Funktion des Stalls ist ist zusätzlich zu 's. Die Positionskoordinaten weisen weiterhin numerische Fehler auf. Aber weil und stabil sind, schwanken die Koordinaten um die wahren Werte herum, anstatt zu divergieren.
Der Hamilton-Operator kann verwendet werden, um eine Entwicklung der "Dichte in Phase" eines Systems von N Körpern zu beschreiben. Die Dichte in Phase ist eine Erhaltungsgröße für ein System im Gleichgewicht nach dem Satz von Liouville. Der Ort und die Impulse können jeden allgemeinen intensiven Parameter beschreiben. Gibbs verwendete diesen Ansatz, um statistische Mechanismen abzuleiten.
Dieser Ansatz des Konzepts der Entwicklung einer Wahrscheinlichkeitsdichtefunktion kann in vielen anderen Anwendungen verwendet werden. Meine aktuelle Forschung wendet dies auf die State-Space-Control-Theorie, ökonomische Analysen und die Bewertung von Strahlenschäden in Zellen an. Obwohl es ein wenig kompliziert ist, ist es äußerst nützlich. Es geht Hand in Hand mit der Entropiemaximierung.
Extrem kurze und unerwähnte Antwort: Impuls und Ort in der Quantenmechanik (QM) bilden eine Darstellung der Heisenberg-Algebra in Form von einheitlichen Operatoren. In der Newtonschen Mechanik (NM) gibt es keine sichtbare zugrunde liegende algebraische Struktur, aber in der Hamiltonschen Mechanik (HM) bilden Impuls und Ort auch eine Darstellung der Heisenberg-Algebra, diesmal in Bezug auf reelle Funktionen. Aus dieser gruppentheoretischen Sicht sind HM und QM kaum zu unterscheiden, während QM im Vergleich zu NM wie Magie wirkt.
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 man dafür den Hamilton- oder den Lagrange-Formalismus verwendet. Sobald die Lösung gefunden ist, ist alles, was es über dieses spezifische System zu wissen gibt, 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 spezielle Form eines Hamilton-/Lagrange-Operators sind, sondern vielmehr allen Systemen innewohnen. Um dies zu beantworten, muss man die mathematische Struktur enträtseln, die allen physikalischen Systemen gemeinsam ist. Genau dann unterscheidet sich die Hamilton-Formulierung von der Lagrange-Formulierung: Die generische Struktur, die Hamiltonschen Systemen zugrunde liegt, trägt den Namen „symplektische Mannigfaltigkeiten“, und es stellt sich heraus, dass ihre Mathematik so reich ist, dass sie für die Mathematik bis zu von großem Interesse ist Dieses Datum.
Das prominenteste Beispiel für eine generische Eigenschaft von Hamilton-Systemen, die nicht mit der spezifischen Form eines Hamilton-Operators 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 wird besonders nützlich, wenn die Raumzeit nicht euklidisch ist. Beispielsweise gibt es auf einer Kugel keine symplektischen Mannigfaltigkeiten und damit keine Hamilton-Dynamik für n>1. Es sind also diese Arten von Fragen, die sehr natürlich in der symplektischen Mannigfaltigkeit/Hamiltonschen Umgebung untersucht werden können, anstatt im Lagrangeschen Formalismus.
Die folgende Antwort ist ein bisschen "intuitiv", aber hoffentlich immer noch größtenteils richtig oder zumindest zum Nachdenken anregend. Entschuldigung für die mangelnde Strenge. Ich habe vor, diese Gedanken eines Tages in einem netten Blogbeitrag niederzuschreiben, dies ist nur eine grobe Skizze.
Ich bin mir nicht sicher, aber der wichtigste Punkt im Konzept von "Hamiltonian" ist, dass zwei unabhängige Systeme Energie addieren.
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 eine große Sache?
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 also eine große Sache?
Denn wenn wir zwei harmonische Oszillatoren nehmen, dann wird die Entropie additiv (extensiv).
Warum ist das so eine große Sache?
Wahrscheinlichkeit. Logwahrscheinlichkeiten unabhängiger Systeme sind additiv.
Die physikalische Unabhängigkeit und die probabilistische Unabhängigkeit sind in diesem Fall also gleich.
So wird statistische Physik möglich, "bewerkstelligt" zu werden.
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, sind additiv. Es ist also optimal. Im Sinne von Occams Rasiermesser.
Daher ist der Hamiltonsche Formalismus der optimale Weg, um Theorien zu erstellen, die unabhängige Systeme beschreiben.
Aus dieser Sicht ist es intuitiv zu sehen, dass die Störungstheorie "funktioniert".
Wenn die Energieänderung eines Subsystems klein ist (schwache Störung), dann wird der Phasenraum nicht viel größer, sodass die zu speichernde Information zur Beschreibung des gestörten Systems nicht viel mehr ist, weil sich die Größe des Phasenraums nicht viel ändert .
Dieser informationstheoretische Ansatz liefert also eine intuitive Erklärung, warum die Störungstheorie "funktioniert".
Auch hieraus folgt E=mc^2 (bis auf eine Konstante). 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, sodass die Information erhalten bleibt. Bei E=mc^2 geht es "einfach" um die Aufbewahrung von Informationen. Ohne das Konzept des Hamiltonian würde diese Gleichung und die entsprechende Erhaltung der Information nicht existieren.
Die Hamilton-Gleichung ist also wichtig, weil sie es ermöglicht, unabhängige Systeme im Rahmen der Informationstheorie (woraus die Wahrscheinlichkeitstheorie folgt) unabhängig zu behandeln, wie dies am ersten Punkt in der ersten Antwort angedeutet wurde. Darauf baut die statistische Mechanik auf. Auch die Thermodynamik würde mit dem Konzept der Energie nicht existieren. Da unabhängige Systeme durch ihre Energie beschrieben werden, ist diese extensiv, additiv.
Interessanterweise hängen alle umfangreichen Variablen in der Thermodynamik mit Änderungen des Phasenraums zusammen. Volumen wächst, volumenbedingter Phasenraum ändert sich, kinetische Energie nimmt ab (impulsbedingter Phasenraum verkleinert), in adiabatischen Systemen, damit der Gesamtinformationsgehalt konstant bleibt (und damit die Entropie).
Ohne Energie gibt es also keine Entropie, keine Information, keinen Phasenraum, kein E=mc^2.
Wieso den ? 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 und würden daher Occams Rasiermesser nicht gehorchen, daher wären sie unnötig komplexer als nötig. Wäre weniger richtig.
Im Rahmen der Solomonoffschen Theorie lässt sich diese Aussage begründen.
In der algorithmischen Informationstheorie (Leibniz, Kolmogorov, Chaitin) gibt es ein Konzept, „elegante Programme“. Dies sind minimale Programme, die eine bestimmte binäre Sequenz erzeugen können. Wir können eine Analogie mit der Physik oder jeder anderen axiomatischen Theorie herstellen (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 in der algorithmischen Informationstheorie der Beweis, dass ein Programm „elegant“ ist, kein triviales Problem. Ob der Lagrange-/Hamilton-Formalismus der bestmögliche ist, ist nach dieser Analogie kein triviales Problem. Um Ihre Frage zu beantworten, der Punkt ist "Eleganz",
Michael
Rui Liu