Faddeev-Jackiw Approach to Classical Constrained Systems

Technische Zusammenfassung: Der Faddeev-Jackiw-Ansatz für klassische gebundene Systeme

Problemstellung
Die Arbeit befasst sich mit der Quantisierung klassischer mechanischer Systeme, die durch singuläre Lagrangen charakterisiert sind, welche zu Nebenbedingungen (Constraints) führen. Während die Dirac-Bergmann-Methode der Standardansatz für solche Systeme ist, stellt die Autoren fest, dass diese komplexe logische Schritte beinhaltet und besonders bei Systemen mit mehreren Nebenbedingungen mühsam sein kann. Die Arbeit zielt darauf ab, das Faddeev-Jackiw (FJ)-Formalismus anzuwenden – eine geometrisch motivierte Alternative bas sich auf symplektischen Strukturen – um spezifische klassische gebundene Systeme zu analysieren. Das primäre Ziel besteht darin, die Basisklammern dieser Systeme mittels der FJ-Methode abzuleiten und die Äquivalenz dieser Ergebnisse mit den über die Dirac-Methode erzielten Ergebnissen zu verifizieren, wie sie zuvor in der Literatur [16] etabliert wurden.

Methodik
Die Autoren verwenden den modifizierten Faddeev-Jackiw-Formalismus, der die symplektische Struktur des Phasenraums nutzt, um die Analyse der Nebenbedingungen zu optimieren. Das Verfahren umfasst die folgenden Schritte:

1. First-Order-Formulierung: Der Lagrang wird in eine First-Order-Form umgeschrieben, $L^{(0)} = a_i^{(0)}\dot{\zeta}_i^{(0)} - V^{(0)}(\zeta)$, wobei $\zeta$ die symplektischen Variablen darstellt.
2. Konstruktion der symplektischen Matrix: Eine symplektische Zwei-Form-Matrix, $f_{ij}^{(0)}$, wird aus dem kinetischen Teil des Lagrangen konstruiert.
3. Identifizierung von Nebenbedingungen: Falls die Matrix singulär ist, werden ihre Nullmodi verwendet, um Nebenbedingungen zu identifizieren. Konsistenzbedingungen werden iterativ angewendet, um neue Nebenbedingungen abzuleiten.
4. Iterative Modifikation: Nebenbedingungen werden mittels Lagrange-Multiplikatoren in den Lagrang integriert, wodurch der Satz der symplektischen Variablen und die symplektische Matrix modifiziert werden. Diese Iteration setzt sich fort, bis die Matrix nicht-singulär (invertierbar) wird.
5. Quantisierung und Eichsymmetrie:
   • Wenn die Matrix nicht-singulär wird, liefert ihre Inverse die Basisklammern der Theorie.
   • Bleibt die Matrix nach dem Ausbleiben neuer Nebenbedingungen singulär, deutet dies auf die Anwesenheit einer Eichsymmetrie hin. In diesem Fall wird eine Eichfixierung eingeführt, um die Matrix invertierbar zu machen.
   • Die Nullmodi der singulären Matrix im Stadium der Eichsymmetrie werden als Generatoren der Eichtransformationen identifiziert.
6. Implementierung: Die Autoren skizzieren zudem einen MATLAB-Algorithmus für die symplektische Formulierung und bieten in Anhang A eine physikalische Interpretation der Lagrange-Multiplikatoren.

Fallstudien und Ergebnisse
Der Formalismus wird auf drei verschiedene klassische mechanische Systeme angewendet:

1. Massen, Stäbe und Federn:

   • System: Vier Massen, die in den Mittelpunkten masseloser, dehnbarer Stäbe fixiert sind, welche durch Federn mit einer Decke verbunden sind.
   • Prozess: Das System besitzt eine einzige Nebenbedingung ($\phi \equiv p_1 - p_2 + p_3 - p_4 = 0$). Die erste iterierte symplektische Matrix ist singulär und offenbart eine Eichsymmetrie.
   • Lösung: Eine Eichbedingung ($y_2 - y_1 = 0$) wird auferlegt. Die resultierende zweite iterierte symplektische Matrix ist nicht-singulär.
   • Ergebnis: Die Basisklammern werden aus der Inversen der zweiten iterierten Matrix abgeleitet. Die Eichtransformationen werden aus den Nullmodi der ersten iterierten Matrix abgeleitet. Die Ergebnisse sind konsistent mit den Dirac-Klammern.

2. Massen, Federn und ein Ring:

   • System: Drei identische Massen, die reibungsfrei auf einem Ring gleiten, verbunden durch Federn.
   • Prozess: Primäre Nebenbedingungen entstehen durch das Verschwinden der Impulse der generalisierten Koordinaten $x$ und $y$. Die modifizierte FJ-Methode wird verwendet, um sekundäre Nebenbedingungen ($\tilde{\Omega}_1, \tilde{\Omega}_2$) via Nullmod-Kontraktion abzuleiten.
   • Lösung: Diese Nebenbedingungen werden in den Lagrang integriert. Die resultierende erste iterierte symplektische Matrix ist nicht-singulär.
   • Ergebnis: Basisklammern werden direkt aus der Inversen der ersten iterierten Matrix gewonnen. Die Autoren bestätigen, dass diese mit den in [16] gefundenen Dirac-Klammern übereinstimmen.

3. Paar von Flaschenzügen:

   • System: Drei Paare von masselosen Flaschenzügen, bei denen ein kontinuierliches Seil eine geschlossene Schleife bildet.
   • Prozess: Eine einzelne Nebenbedingung ($\phi' \equiv p_1 + p_2 + p_3 = 0$) wird identifiziert. Die erste iterierte symplektische Matrix ist singulär, was auf eine Eichsymmetrie hindeutet.
   • Lösung: Eine Eichbedingung ($\chi \equiv \alpha_1 + \alpha_2 + \alpha_3 = 0$) wird eingeführt. Die zweite iterierte Matrix wird nicht-singulär.
   • Ergebnis: Basisklammern und Eichtransformationen werden abgeleitet. Die Ergebnisse entsprechen den Dirac-Klammern.

Zentrale Beiträge und Bedeutung

• Validierung der Äquivalenz: Die Arbeit zeigt, dass die mittels des Faddeev-Jackiw-Formalismus erhaltenen Basisklammern für alle drei analysierten Systeme konsistent mit den Dirac-Klammern sind.
• Umgang mit Eichsymmetrien: Die Arbeit erläutert detailliert, wie der FJ-Formalismus Eichsymmetrien durch das Fortbestehen der Singularität der symplektischen Matrix identifiziert und wie die Eichfixierung zur Quantisierung des Systems führt.
• Interpretation von Lagrange-Multiplikatoren: Ein wesentlicher Beitrag ist die Bereitstellung einer „physikalischen“ Interpretation für Lagrange-Multiplikatoren. Im Gegensatz zur Dirac-Methode liefert der FJ-Ansatz zusätzliche Klammern unter Einbeziehung dieser Multiplikatoren, was eine Interpretation in Bezug auf die physikalischen Koordinaten des Systems ermöglicht.
• Algorithmische Implementierung: Die Arbeit bietet einen Entwurf für eine MATLAB-Implementierung der symplektischen Formulierung und stellt somit ein Rechenwerkzeug zur Analyse solcher Systeme bereit.

Fazit
Die Autoren kommen zu dem Schluss, dass der Faddeev-Jackiw-Formalismus eine zuverlässige und effiziente Alternative zur Dirac-Methode für die Quantisierung gebundener klassischer Systeme darstellt. Durch die Nutzung der symplektischen Struktur vereinfacht die Methode die Behandlung von Nebenbedingungen und Eichsymmetrien, während sie Ergebnisse liefert, die mit etablierten Methoden konsistent sind. Die Arbeit unterstreicht die Nützlichkeit geometrischer Ansätze in der klassischen Mechanik und bietet einen klaren Rahmen für die Erweiterung dieser Techniken auf andere gebundene Systeme.