Relativistische Lagrangedichte für massive Teilchen

In der Stackexchange-Post

Was ist die relativistische Wirkung eines massiven Teilchens?

Eine Antwort legt nahe, dass die Aktion (negativ) der Ruheenergie multipliziert mit der Änderung in der Eigenzeit wäre.

ICH = M 0 C 2 D τ = E 0 D τ

Warum ist das so?

Es ist dimensional sinnvoll, aber klassischerweise stellen wir uns Aktion als die Lagrange-Funktion vor, die über den Zeitparameter integriert ist. Nehmen wir nur an v = 0 im Lagrange, da sich das Potential in der Krümmung der Raumzeit verwirklicht?

Wie in, wo kommt die M 0 C 2 komme aus?

Ihnen fehlt das Integrationssymbol. Die Aktion ist ICH = M C 2 D τ = M C 2 Δ τ .

Antworten (2)

Beginnen wir mit dem freien Teilchen. Für ein freies Teilchen ist es natürlich anzunehmen, dass die Aktion proportional zu seiner Eigenzeit ist,

L D T = a ( M , X , X ˙ ) D τ
Wo a ist eine Funktion, die sich darum kümmern sollte, wie die Lagrange-Funktion des freien Teilchens von Position und Geschwindigkeit abhängt. Aber eine kleine Reflexion zeigt Ihnen das a (eine universelle Funktion) sollte weder vom Ort (sonst wäre das Teilchen nicht frei) noch von seiner rahmenabhängigen Geschwindigkeit (sonst wäre das Relativitätsprinzip nicht erfüllt) abhängen. Also bleibt dir übrig,
L D T = a ( M ) D τ
Warum τ , richtige Zeit? Denn das ist im Wesentlichen die einzige relativistische Invariante, die proportional zur Koordinatenzeit ist. Es ist die Version der verstrichenen Zeit, auf die sich alle Trägheitsbeobachter einigen. Sie können jetzt eine Taylor-Reihenentwicklung in Potenzen von durchführen v / C , unter Beibehaltung a dort, und überprüfen Sie, ob es sein muss M C 2 (mit dem Zeichen enthalten), wenn Sie möchten, dass die Aktion passt L = KE (nicht-relativistische kinetische Energie) für das freie Teilchen. Stattdessen setze ich einfach diesen Wert ein:
L = M C 2 1 v 2 / C 2
v C M C 2 1 v 2 / C 2 M C 2 ( 1 v 2 2 C 2 + ) =
= M C 2 + 1 2 M v 2 + =
Der einzige Unterschied zur klassischen nicht-relativistischen Aktion ist dieser Ruhemassenterm, aber das beeinflusst die Bewegungsgleichungen nicht. Der andere Teil der Lagrange-Funktion (der Wechselwirkungsterm) wird nur so vermutet, wie es normalerweise angenommen wird, da die natürliche Extrapolation auf wechselwirkende Teilchen lautet:
M 1 C 2 D τ 1 M 2 C 2 D τ 2 + L int D T
Den Wechselwirkungsterm schreiben Sie in Koordinatenzeit, weil er der einzige ist, den beide Teilchen "teilen". Aber es ist keine relativistische Invariante. Das ist der heikelste Punkt der ganzen Geschichte. Das müsstest du also prüfen L int D T ist insgesamt eine Invariante. Die ganze Diskussion wird an dieser Stelle kompliziert, also nehmen wir an, dass Teilsystem 2 als Feldquelle für Teilsystem 1 fungiert, so dass es davon unbeeinflusst bleibt. Dann können Sie die Bewegung von 2 ignorieren und annehmen, dass der Wechselwirkungsterm wie folgt lautet:
L int = F ( X 1 X 2 , v 1 v 2 )
Und das nennen wir (minus) die potentielle Energie. Die Tatsache, dass es nur auf Koordinatendifferenzen (und deren Ableitungen, aber in sehr eingeschränktem Maße) ankommen muss, liegt daran, dass der Raum symmetrisch ist und es unmöglich sein sollte, zu erkennen, wo ich das Ganze hinlege. Ich hoffe, das war klar, und Sie können gerne um weitere Erläuterungen bitten.

Im Moment bin ich beschäftigt, aber ich habe etwas ausgelassen, das mit @Andrew Steanes Verwendung des Wortes „Einfachheit“ und mit OPs Sorge um GR zusammenhängt. Ich möchte nicht den Eindruck erwecken, dass das Obige die einzige Möglichkeit ist, ein Wirkungsprinzip für relativistische Teilchen zu definieren. Natürlich ist es nicht. Es ist nur eine Reihe von sachlichen Mainstream-Annahmen, die zu einer relativistischen Verallgemeinerung des AP für nicht-relativistische Teilchen führen. Aber ich habe GR und Diffeomorphismus-Invarianz sowie andere mögliche Formulierungen des Aktionsprinzips bewusst weggelassen (ich denke an die Jacobi-Maupertuis-AP). Vielleicht später.

Nach einer Aktion zu fragen, bedeutet, nach einem Lagrange zu fragen. Und nach einem Lagrangian zu fragen, heißt zumindest in der Teilchenphysik, zu den Grundprämissen des Themas vorzudringen. Es gibt keinen tieferen Grund zu erklären, warum diese oder jene Lagrange-Funktion die richtige ist, außer unter Berufung auf Fragen der Einfachheit und Symmetrie. Im vorliegenden Beispiel möchte man einen Lagrange-Operator, der so einfach wie möglich ist, aber dennoch zu einem interessanten Verhalten führt, und der auch invariant bezüglich Translation in Raum und Zeit ist (wenn man ein isoliertes Teilchen betrachtet) und, falls man es tut die Eigenzeit in das Wirkungsintegral einnimmt, dann will man einen Lorentz-Skalar. So hält man das für verblüffend einfach L = M C 2 . Man entdeckt, dass man den richtigen Schwung braucht L = M C 2 . Und schwupps! da ist es: aus nichts als Einfachheit, Symmetrie und Kovarianz heraufbeschworen. Der "Beweis", dass es richtig ist, ist, dass es zu einer Dynamik führt, die mit dem Experiment übereinstimmt. Um die Dynamik vollständiger zu diskutieren, benötigt man andere Begriffe im Lagrange, wie zum Beispiel Wechselwirkungsterme, aber selbst mit diesem einfachen Lagrange kann man die Energie- und Impulserhaltung behandeln und so einen Einblick in Teilchenkollisionen erhalten.

Bemerkung hinzugefügt

Nach einem hilfreichen Kommentaraustausch mit my2cts wurde mir klar, dass das obige vielleicht etwas zu kurz ist, um wirklich hilfreich zu sein. Die vollständigere Aussage des Lagrange-Operators in einem offensichtlich kovarianten Ansatz ist

L = M C ( u μ u μ ) 1 / 2
was ich vorher abgekürzt habe M C 2 denn das ist tatsächlich sein Wert entlang der Weltlinie, der das Teilchen tatsächlich folgt. Wenn Sie dies jedoch in der Euler-Lagrange-Methode verwenden, müssen Sie seine Abhängigkeit von der 4-Geschwindigkeit für andere Pfade kennen, und deshalb wird die vollständige Aussage (gerade gegeben) benötigt. Die Aktion ist dann S = L D τ und die Euler-Lagrange-Gleichung ist
D D τ ( L u A ) = L X A ,
Wo u A = D X A / D τ .

Für jeden, der das Thema zum ersten Mal lernt, gibt es meiner Meinung nach jedoch gute Argumente, die Behandlung zunächst in Bezug auf die koordinierte Zeit einzuführen. Eine solche Behandlung übernimmt

L ~ = M C 2 / γ
Und S = L ~ D T , was zur Euler-Lagrange-Gleichung führt
D D T ( L ~ X ˙ A ) = L ~ X A ,
Wo T ist die Koordinatenzeit in einem gegebenen Inertialsystem, und der Punkt bezeichnet D / D T .

Diese Antwort ist mir nicht klar. Ist m die relativistische Masse? Dies ist ein veraltetes Konzept, und wenn dies tatsächlich der Fall ist, ist dies nicht die korrekte Lagrange-Funktion.
@my2cts aargh NIEMALS verwenden M für alles andere als Ruhemasse. So ist es in jeder modernen Behandlung der Relativitätstheorie oder der Teilchenphysik. Das ist es. So soll es immer sein. Sie brauchen also nie die tiefgestellte Null.
Ich stimme zu, aber dann ein Faktor 1 v 2 wird vermisst.
@my2cts Es gibt zwei Möglichkeiten, die Lagrange-Methode in der Relativitätstheorie zu formulieren. Wenn Sie ein Aktionsintegral in Bezug auf die Koordinatenzeit nehmen, benötigen Sie die γ Faktor im Lagrange. Dies ist eine vollkommen gute Methode, aber ich denke, der Fragesteller wollte eine Aktion durchführen, die in Bezug auf die richtige Zeit integral ist. Wenn Sie diesen Ansatz wählen, muss der Lagrange-Operator ein Lorentz-Skalar sein und hat kein a γ . Die beiden Ansätze können durch Verwendung in Beziehung gesetzt werden D T / D τ = γ .
Ich bin verloren. Was ist die Euler-Lagrange-Gleichung in Bezug auf die Eigenzeit?
Bei einer offensichtlich kovarianten Behandlung ist die Lagrangedichte für ein freies Teilchen L = M C ( u μ u μ ) 1 / 2 (Annahme der metrischen Signatur ( 1 , 1 , 1 , 1 ) ) , und die Aktion ist S = L D τ . Man integriert diese Aktion zwischen gegebenen Ereignissen. Vorsicht ist geboten, wenn Sie eine Variationsbehandlung durchführen möchten, weil τ Die Werte sind bei den Ereignissen nicht festgelegt, und Sie würden die Integrationsvariable normalerweise ändern, um die Zeit zu koordinieren. In diesem Verfahren sollte man auch nicht vermuten u μ u μ = C 2 für jeden Pfad, aber es gilt für den Lösungspfad (stationäre Aktion).
... Die daraus resultierende Euler-Lagrange-Gleichung ist ( D / D τ ) ( L / u A ) = L / X A , Wo u A = D X A / D τ .
@my2cts Ich habe meiner Antwort gerade etwas Material hinzugefügt. Ich gebe zu, es war vorher etwas zu knapp, also danke für diesen Austausch, der zu der verbesserten Version führte.
Beide Seiten dieses EL scheinen Null zu sein.
@my2cts Das ist richtig für ein freies Partikel. Null 4-Kraft (die rechte Seite) führt zu einem konstanten 4-Impuls (die linke Seite). Für Interaktionen benötigen Sie weitere Begriffe.
Ich verstehe das, aber normalerweise bekommst du es M γ v = 0 . Hier bekomme ich 0 = 0 .
@my2cts ( / u A ) ( G μ v u μ u v ) = G μ v ( δ A μ u v + u μ δ A v ) = 2 u A Deshalb L / u A = M u A .
Jetzt erinnere ich mich. Das kam mir immer seltsam vor ( / u A ) ( 0 ) = 2 u A .