Verwechselt mit 4-Vektor-Notation und 4-Ableitung

Ich habe große Probleme herauszufinden, was die Regeln für Algebra und Analysis mit 4-Vektoren sind. Dieses Beispiel soll eines meiner Probleme verdeutlichen:

Die Lagrangedichte für ein reelles Skalarfeld ist

L = 1 2 η μ v μ ϕ v ϕ 1 2 M 2 ϕ 2 .
Beim Versuch, die Euler-Lagrange-Gleichung zu lösen, weiß ich nicht, wie ich sie auswerten soll ( L ( μ ϕ ) ) . Das sind die Ideen, die ich habe:

1.

( L ( μ ϕ ) ) = 1 2 η μ v v ϕ = 1 2 μ ϕ .

2. Der Lagrangian kann geschrieben werden als L = 1 2 η μ v μ ϕ v ϕ 1 2 M 2 ϕ 2 = 1 2 μ ϕ μ ϕ 1 2 M 2 ϕ 2 , So

( L ( μ ϕ ) ) = 1 2 μ ϕ .

3. Aber der Lagrangian kann auch geschrieben werden als L = 1 2 v ϕ v ϕ 1 2 M 2 ϕ 2 , also wie bewerte ich es in diesem Fall? Verändere ich mich ( L ( μ ϕ ) ) Zu ( L ( v ϕ ) ) ?

4. Wir können die Lagrange-Funktion schreiben als L = 1 2 μ ϕ μ ϕ 1 2 M 2 ϕ 2 = 1 2 ( μ ϕ ) 2 1 2 M 2 ϕ 2 , also haben wir in diesem Fall

( L ( μ ϕ ) ) = 1 2 2 ( μ ϕ ) = μ ϕ .

Nichts davon ist richtig ( μ ϕ ) ! Wie bekomme ich die richtige Antwort? Was mache ich falsch? Gibt es Ressourcen, wo sie mir speziell bei solchen Problemen helfen können?

Antworten (1)

Sie scheinen einige Probleme mit der Indexnotation und der Einstein-Summierungskonvention zu haben, daher empfehle ich, diese aufzufrischen.

Erstens die μ In L ist ein Dummy-Index, während die μ In / ( μ ϕ ) ist ein Live-Index. Sie können nicht beide als schreiben μ oder Sie werden auf Probleme stoßen. Zum Beispiel, wenn Sie verwenden werden μ In / ( μ ϕ ) , sollten Sie die Dummy-Indizes ändern L zu etwas wie

L = 1 2 η ρ λ ρ ϕ λ ϕ 1 2 M 2 ϕ 2

Zweitens, μ ϕ ist nicht unabhängig von μ ϕ , also können Sie es in Ihrem zweiten Punkt nicht als Konstante behandeln. Darüber hinaus können Sie in Ihrem vierten Punkt unmöglich haben μ ϕ μ ϕ = ( μ ϕ ) 2 da Sie links einen Dummy-Index haben, aber rechts einen Live-Index.

Schließlich ist die Ableitung einer Komponente in Bezug auf eine andere Komponente desselben Objekts eine Delta-Funktion. Zum Beispiel,

v 1 v μ = δ μ 1
da Komponenten linear unabhängig sind. Dann können Sie dies auf den erweiterten Ausdruck anwenden μ ϕ μ ϕ = 0 ϕ 0 ϕ + 1 ϕ 1 ϕ + 2 ϕ 2 ϕ + 3 ϕ 3 ϕ . Alternativ können Sie, wenn Sie sich sicher genug sind, die Produktregel auch direkt anwenden η ρ λ ρ ϕ λ ϕ .

Ich hoffe, dies klärt (zumindest einen Teil) Ihrer Verwirrung auf.

Explizit durch die Produktregel
( μ ϕ ) ( 1 2 η ρ λ ρ ϕ λ ϕ ) = 1 2 η ρ λ ( δ ρ μ λ ϕ + ρ ϕ δ λ μ ) = 1 2 ( η μ λ λ ϕ + η ρ μ ρ ϕ ) = μ ϕ .
Ihre Antwort und der Kommentar von JG haben sehr geholfen. Ich kann jetzt sehen, wie ich die richtige Antwort bekomme. Allerdings habe ich noch eine Frage. ich weiß was μ X μ ist, wie Sie sagten μ Hier ist ein Dummy-Index, also muss ich ihn erweitern. Aber was ist μ ϕ ? Ist es der 4-Vektor ( T ϕ , X ϕ , j ϕ , ϕ ) oder nur eine Darstellung für die 4 möglichen partiellen Ableitungen? Mein Lehrbuch definiert μ als Betreiber ( T , X , j , z ) .
@ColourfulSpacetime Es ist eine Darstellung für die 4 möglichen partiellen Ableitungen, eine in jeder Koordinatenrichtung. Die Sammlung partieller Ableitungen bilden die Komponenten des Covektorfeldes (oder Einform) D ϕ = μ ϕ D X μ . Beachten Sie, dass dies nur für Skalare funktioniert; für Tensoren müssen Sie die kovariante Ableitung verwenden.