Wie konstruiert man den elektromagnetischen Tensor in gekrümmter Raumzeit richtig?

Wie konstruiere ich den elektromagnetischen Tensor in gekrümmter Raumzeit richtig ? Ich habe meine gekrümmte Raumzeitmetrik ( + , , , ) und mein magnetisches Vektorpotential A . Ich habe zwei Möglichkeiten ausprobiert, bin mir aber nicht sicher, welche richtig ist (falls es eine gibt).

Erster Weg:

  1. Berechnen Sie das Magnetfeld B aus der Kräuselung des magnetischen Vektorpotentials A :

    B = × A .

  2. Platzieren Sie die resultierenden Komponenten direkt in der Definition des kontravarianten elektromagnetischen Tensors in Zylinderkoordinaten:

    F μ v = ( 0 0 0 0 0 0 0 B z 0 0 0 B R 0 B z B R 0 ) .

Zweiter Weg:

  1. Definieren Sie das elektromagnetische Vierpotential ( ϕ ist in meinem Problem null):

    A a = ( ϕ , A ) .

  2. Verringern Sie den Vier-Potenzial-Index, indem Sie ihn mit meinem kovarianten metrischen Tensor kontrahieren.

  3. Berechnen Sie die elektromagnetischen Feldkomponenten mit der Formel

    F μ v = μ A v v A μ .
    Ich habe die gewöhnlichen Ableitungen durch kovariante Ableitungen ersetzt.

  4. Erhöhen Sie die Indizes dieses kovarianten elektromagnetischen Feldtensors, um ihn mit dem ersten Weg zu vergleichen.

Das Problem ist, dass ich anscheinend nicht mit beiden Methoden die gleichen Ergebnisse erzielen kann, was ziemlich klar sagt, dass ich etwas falsch mache. Ist etwas grundsätzlich falsch daran, diese Schritte zu unternehmen?

Antworten (1)

Deine zweite Methode ist richtig.

Um beispielsweise das Magnetfeld mit dem zu vergleichen, was Sie in Jackson finden, müssen Sie wirklich erkennen, dass es eine Annahme gibt, dass Sie dort Einheitsbasisvektoren haben und dass das Kreuzprodukt tatsächlich ein Hodge Dual ist (was Faktoren des Quadrats hervorruft). Wurzel der Determinante der Metrik). Dadurch werden direkte Vergleiche etwas schwierig, wenn Sie von einer Notation zur anderen wechseln.

Letztendlich funktionieren natürlich beide Methoden. Die zweite Methode ist weitaus fehlersicherer und auch koordinativ (und der einzige metrische abhängige Schritt ist das Absenken des Index von A μ ) unabhängig.

(Beachten Sie, dass ich oben sage, dass es keine Rolle spielt, ob Sie die gewöhnlichen Ableitungen durch kovariante Ableitungen ersetzen, da:

A v B = A v B Γ A B C v C
,

was bedeutet, dass

A v B B v A = A v B B v A Γ A B C v C + Γ B A C v C = A v B B v A
,

also sind sie wirklich dasselbe.)

Selbst wenn ich Zylinderkoordinaten verwende (meine Metrik ist Weyl), kann ich diese partiellen Ableitungen der zweiten Methode direkt anwenden und mit den Berechnungen fortfahren? Muss ich etwas tun, wenn ich nicht mit kartesischen Koordinaten arbeite?
@Giovanni Ja, so geht das. Aber seien Sie vorsichtig mit dem Anheben und Absenken, wenn Sie zB die Quelle des Feldes finden - das ist der Teil, in den das zusätzliche metrische Zeug eintritt.
@Giovanni: Ja, aber siehe oben über das Hodge Dual. Das Kreuzprodukt lässt sich nicht trivial auf gekrümmten Raum verallgemeinern, wie es das Skalarprodukt tut. Es kommt darauf an, wie Sie die Komponenten präsentieren möchten. Ich würde vorschlagen, mit dem gewöhnlichen kartesischen Raum in drei Koordinaten zu beginnen und zu sehen, was notwendig ist, um die vorgefertigten Formeln in Griifiths/Jackson zu reproduzieren.
Ich bin noch nicht mit dem Hodge-Dual vertraut, aber ich habe irgendwo gelesen, dass ich den Curl auch mit einer vierdimensionalen Levi-Civita-Tensordichte anwenden könnte.