Verwirrung Einstein-Notation Polarkoordinaten

Ich habe Probleme mit der Einstein-Notation in Polarkoordinaten im flachen Raum, mir muss etwas Grundlegendes fehlen.

Betrachten Sie das folgende Beispiel. Nehmen Sie die folgende Metrik für eine 2 + 1-Raumzeit; D S 2 = D T 2 + D R 2 + R 2 D θ 2 . Definieren Sie das Vier-Vektor-Feld A μ = ( 0 , 0 , F ( R ) ) und Skalarfeld ϕ = G ( θ ) .

Der Gradient in Polarkoordinaten ist R R + ϕ 1 R ϕ .

Es gibt zwei Möglichkeiten der Berechnung A μ μ ϕ die mir unterschiedliche Ergebnisse liefern:

A μ μ ϕ = A ich ich ϕ = A ϕ = F G ' ( θ ) / R
oder
A μ μ ϕ = A ich ich ϕ = A θ θ ϕ = F G ' ( θ )

Und ich werde anders R -Abhängigkeit ... (die Sie aus dem Gradienten erhalten). Ich weiß, dass die erste Antwort richtig ist, also was mache ich bei der Komponentennotation falsch?

Bearbeiten Das erste ist falsch. Dies funktioniert nur auf orthonormaler Basis.

Woher wissen Sie, dass die erste Antwort richtig ist?
@knzhou heh, denn wenn ich letzteres verwende, werden alle meine Gleichungen extrem hässlich. Beweis durch Ästhetik :-).
Was ich vermute, ist, dass Sie die Definition von haben A falsch, es ist tatsächlich A μ Sie gaben die Komponenten von. Sie wollen also rechnen A μ μ ϕ und abholen 1 / R durch Erhöhen des Index auf der partiellen Ableitung.
@knzhou Ich habe darüber nachgedacht, aber wenn Sie einen Vektor erhalten A , du fügst es in deinen 4-Vektor ein A μ weil Sie möchten, dass Vektoren wie Koordinaten transformiert werden, richtig?
Ich habe keine Ahnung was das heißt. Wenn Sie einen 3-Vektor erhalten, bedeutet dies nur, dass er sich unter Drehungen wie ein 3-Vektor transformiert. Es könnte der räumliche Teil eines 4er-Vektors sein, aber auch der räumliche Teil einer Eins-Form (das klassische Beispiel ist A selbst), und es könnte auch Teil einer antisymmetrischen Zweierform sein (ein Beispiel wäre B ), usw.
@knzhou Ok, also wenn ich dir sage, den Ansatz zu verwenden A 0 = 0 , \vec{A} = \nabla f$, wie sieht dein Vierervektor aus? Wollen Sie damit sagen, dass dies mehrdeutig ist?
Dies ist eindeutig. In Standardschreibweise bedeutet es A ist natürlich eine Einsform, also das Gegenteil von dem, was Sie verwendet haben. Sie könnten es zu einem Vektor erheben, aber dann wären seine Komponenten komplizierter.

Antworten (1)

Die Metrik

D S 2 = D R 2 + R 2 D θ 2

ist singulär und daher nicht angemessen. Betrachten wir das stattdessen im Minkowski-Raum

D S 2 = D T 2 + D R 2 + R 2 D θ 2 ,

was sich nicht auf das Problem auswirkt, auf das Sie stoßen.

Für die obige Metrik hat man G μ v = ( 1 , 1 , R 2 ) , was seine Umkehrung impliziert G μ v = ( 1 , 1 , 1 / R 2 ) .

Nun, für die Kontraktion bemerken wir das

A μ B μ = G μ v A μ B v = G μ v A μ B v .

Betrachten Sie den Fall,

A μ = ( 0 , 0 , F ( R ) ) ,
B v = ( T ϕ , R ϕ , θ ϕ ) ,

Wo

μ ϕ ϕ X μ
mit X μ = ( T , R , θ ) .

Indem man alle Teile zusammenfügt, findet man

A μ B μ = G μ v A μ B v = G μ v A μ B v = F ( R ) θ ϕ .

Der entscheidende Punkt ist, dass die Menge ϕ Sie schrieben oben, ist etwas anderes. Es ist weder eine Konvariante noch ein kontravarianter Tensor, genauer gesagt, daran ist nichts falsch ϕ ein Vektor ist, der sowohl koordinatenunabhängig als auch basisunabhängig ist, aber seine Komponenten in der oben angegebenen Form, nämlich

ϕ = R ^ ϕ R + θ ^ 1 R ϕ θ ϕ = ? ( R ϕ , 1 R θ ϕ ) ,
sind nicht die eines kovarianten oder kontravarianten Tensors. Die anschließend durchgeführte "Kontraktion" in Bezug auf diese Komponenten des Tensors ist daher nicht sinnvoll.

Dies liegt daran, dass seine Basen gemäß der Konvention, in der er eingeführt wird (in der Analysis), Einheitsvektoren sind. Diese Basisvektoren ( R ^ , θ ^ ) sind sowohl unitär als auch orthonormal, aber nichtkoordiniert ! Damit alle Tensormanipulationen sinnvoll sind, muss man mit Koordinatenbasen arbeiten, und letztere sind normalerweise keine Einheitsvektoren. Siehe zum Beispiel die Diskussionen von Abschnitt 5.5 nichtkoordinierte Basen des Lehrbuchs A first course in general relativity von Schutz.

Dies ist in der Tat ein verwirrender Punkt, wenn man sich des Unterschieds nicht bewusst ist. Wenn Ihnen die obige Erklärung nicht klar ist, werfen Sie einen Blick auf das oben erwähnte Lehrbuch und vielleicht auf den Anfang von Kapitel 5, wo die kovariante Ableitung auf generische Weise eingeführt wird. Für mich ist das Lehrbuch in Bezug auf diese grundlegenden Konzepte mit einem minimalen Anteil an Mathematik recht gut geschrieben.

Die Metrik ist in der 2+1-Raumzeit singulär, aber für den reinen 2-dimensionalen Raum in Ordnung. Aber die Frage wurde irgendwie in der Minkowski-Raumzeit gestellt, während ϕ wurde nur als räumlicher Gradient verstanden. Dies trägt weiter zur Mehrdeutigkeit bei.