Wie kann Geschwindigkeit ein Tensor sein?

Ich habe gerade mit dem Studium der Allgemeinen Relativitätstheorie begonnen und habe eine Frage.

Ich weiß, dass, wenn ein Tensor in einem Koordinatensystem Null ist, er in allen Koordinatensystemen Null ist.

Wie kann die μ 'te Komponente der Geschwindigkeit D X μ / D τ ein Tensor sein? Irgendwas muss ich falsch verstanden haben.

Die vier Geschwindigkeiten können in keinem Koordinatensystem Null sein: Im Ruhesystem ist sie es ( 1 , 0 , 0 , 0 ) .
Können Sie klarstellen, was Sie fragen? Sie scheinen zu fragen, ob die einzelnen Komponenten der vier Geschwindigkeiten Tensoren sind, und das sind sie natürlich nicht. Aber die vier Geschwindigkeiten als Ganzes sind ein Tensor.

Antworten (3)

Die Dreier-Geschwindigkeit ist kein Tensor – das heißt die Vierer-Geschwindigkeit : Dies ist ein Vierer-Vektor, dessen räumliche Komponenten die Dreier-Geschwindigkeit des Teilchens sind (mit Zeiten, die in der Eigenzeit des Teilchens gemessen werden), aber welche hat auch eine nullte (zeitliche) Komponente

D X 0 D τ = D T D τ ,
was im Grunde die Zeitdilatationsrate zwischen dem von Ihnen gewählten Referenzrahmen und dem Ruherahmen des Partikels misst. Keine Lorentz-Transformation kann einen Vierer-Vektor mit einer von Null verschiedenen Zeitkomponente in einen mit einer verschwindenden Zeitkomponente transformieren (und außerdem kann keine orthochrone Lorentz-Transformation das Vorzeichen der Zeitkomponente eines Vierer-Vektors ändern, so allgemein D X 0 D τ > 0 ).

Dies bedeutet, dass die Vierergeschwindigkeit jedes Partikels immer ungleich Null ist: Sie können die räumlichen Komponenten immer auf Null setzen, indem Sie in das Ruhesystem des Partikels transformieren, aber wenn Sie dies tun, ist dies die zeitliche Komponente

D X 0 D τ = D T D τ = D τ D τ = 1 ,
und der Vierervektor wird nicht verschwinden.

Basierend auf der Aussage von OP "Wie kann die μ 'te Komponente der Geschwindigkeit D X μ / D τ ein Tensor sein?", Ich glaube, er hat möglicherweise auch einige Missverständnisse über die Notation eines Tensors im Vergleich zu Komponenten eines Tensors und ob einzelne Komponenten einer Geschwindigkeit ein Tensor sind oder nicht. Vielleicht könnten Sie ein wenig Erklärung hinzufügen, um dies zu verdeutlichen Punkt?
@enumaris Ich würde lieber eine Bestätigung von Christine erhalten, dass die Frage tatsächlich darum ging. Sie können natürlich gerne eine ergänzende / alternative / umfassende Antwort hinzufügen.
Danke für Ihre Antwort. Ich glaube, das Problem ist das Verständnis der Notation.
Fair genug, aber "Ich verstehe die Notation nicht" ist sehr wenig, um es zu erklären. Was verstehst du an der Notation nicht?
Entschuldigung - ich werde versuchen, es besser zu erklären; So wie ich es verstehe, ist uµ = dxµ/dτ nur die µ-te Komponente des vier Geschwindigkeitsvektors. Wenn ich versuche, das mit einer Koordinatentransformation x -> y(x) zu transformieren, bekomme ich: ûµ=dyµ/dτ=dyµ/dxν * dxν/dτ = dyµ/dxν * uµ Und dies transformiert sich als Tensor. Das verwirrt mich also, weil die Geschwindigkeit kein Tensor sein sollte. Ich denke, das Missverständnis betrifft die Notation oder die Bedeutung von dxµ/dτ.
@Christine Sie sollten genauer erklären, warum Sie der Meinung sind, dass die Vierergeschwindigkeit kein Tensor sein sollte.
Ich bin mir nicht sicher, ob Sie Ihre Argumentation verstehen. Soweit ich sehen kann, wäre es in SR richtig. Aber in GR können Koordinaten alles sein (sie sind nur Etiketten). Sie können also – allgemein gesprochen – t0 nicht als Zeit interpretieren und so weiter.

Geschwindigkeit sollte kein Tensor sein

Warum nicht? 4-Geschwindigkeit ist ein Tensor: a ( 1 0 ) Tensor. Es ist der Tangentenvektor an die Weltlinie eines materiellen Teilchens, parametrisiert durch die Eigenzeit. Seine Komponenten gehorchen einer Identität:

G μ v u μ u v = 1
( G μ v der metrische Tensor).

(Ich bitte um Verzeihung: Hier gibt es zwei Zeichenkonventionen. Ich habe die verwendet, die mir besser gefällt, bin mir aber nicht sicher, ob es die ist, an die Sie gewöhnt sind.)

Beachten Sie auch, dass Sie in GR weitgehend frei in der Wahl der Koordinaten sind (vorbehaltlich einiger Einschränkungen, auf die ich nicht näher eingehen werde). Im Allgemeinen sollten Sie nicht erwarten, dass sich Koordinaten selbst als Komponenten eines 4-Vektors verhalten. So seltsam es auch scheinen mag, es ist (im Allgemeinen) nicht erlaubt, einer der Koordinaten den Charakter einer Zeit und den anderen drei den einer Raumkoordinate zuzuordnen.

Mit anderen Worten, eine Koordinatenlinie (z X 1 = C Ö N S T . , X 2 = C Ö N S T . , X 3 = C Ö N S T . ) muss nicht zwangsläufig einen zeitartigen Tangentenvektor haben und die anderen drei raumartigen. Alles, was erforderlich ist, ist, dass die vier Vektoren unabhängig sind .

Mit orthogonalen Koordinaten ist es einfacher : dann hat der metrische Tensor 0 nur die diagonalen Komponenten, und in diesem Fall ist zwar eine der Koordinatenlinien zeitartig und die restlichen drei raumartig. In vielen wichtigen Fällen ist eine solche Koordinatenwahl möglich, aber nicht immer. Ein Gegenbeispiel ist Kerr (rotierendes, ungeladenes) Schwarzes Loch.

Wurde explizit bewiesen, dass es keinen orthogonalen Koordinatensatz für das Kerr-Schwarze Loch gibt? Oder wurde ein solches Set einfach nicht gefunden? (das sind zwei sehr unterschiedliche Dinge)
@N. Steinle Nein, mir ist kein Beweis bekannt. Aber ich wäre sehr überrascht, wenn orthogonale Koordinaten gefunden würden, da Kerr-Koordinaten seit über 50 Jahren existieren.
Ty. Es ist eine interessante Frage: Ich könnte sie hier tatsächlich in eine neue Frage verwandeln!
Dies ist eine interessante Unterhaltung
@N. Steinle Ich habe die von Ihnen verlinkte Frage und die Antworten gelesen. Ich finde sie wenig überzeugend. Abgesehen von einigen, die einfach falsch sind, scheint mir, dass niemand verstanden hat, dass das Problem ein äußerst mathematisches ist. Ob orthogonale Koordinaten existieren oder nicht, kann nicht aus physikalischen Gründen bewiesen oder widerlegt werden. Ein physikalisches Argument kann bestenfalls einen heuristischen Hinweis darauf geben. Darüber hinaus ist es einfach, ein Gegenbeispiel zu geben: eines, das die gleichen Bedingungen erfüllt, die für Boyer-Lindquist-Koordinaten angegeben wurden, und dennoch trivial diagonalisierbar ist. Vielleicht würde das Thema es verdienen, eine Frage zu eröffnen.

In deiner Frage fragst du "wie kann die μ -te Komponente von D X μ D τ ein Tensor sein?"

Einfach gesagt, es ist kein Tensor. Das Ding, das eigentlich der Tensor ist, ist die Vierergeschwindigkeit v . Die Zahlen D v μ D τ sind die Komponenten dieses Tensors in einem bestimmten Koordinatensystem X μ . Dies kann kartesisch, sphärisch usw. sein.

Sie haben Recht, wenn Sie eine Gleichung haben, die die Komponenten eines Tensors gleich Null setzt, dh

A μ v = 0 ,  für einen Rang (2,0) Tensor, oder  B μ = 0  für einen Rang (1,0) Tensor,

dann sind diese Komponenten in jedem Koordinatensystem Null. Für die Vierergeschwindigkeit gibt es jedoch keine solche wahre Gleichung. Du kannst nicht schreiben D X μ / D τ = 0 , denn selbst wenn das Objekt in Ruhe ist (dh es hat null 3-Geschwindigkeit v ), werden die vier Geschwindigkeiten sein

v μ = { C μ = 0 0 μ = 1 0 μ = 2 0 μ = 3

(Dies ist keine typische Notation, normalerweise sagen die Leute würde v μ = ( C , 0 , 0 , 0 ) , aber der Übersichtlichkeit halber schreibe ich es als Aussage für jeden Wert von μ ). Dies liegt daran, dass die vier Geschwindigkeiten in kartesischen Koordinaten im Allgemeinen so aussehen:

v μ = { γ C μ = 0 γ v X μ = 1 γ v j μ = 2 γ v z μ = 3 ,

mit γ = ( 1 | v | 2 / C 2 ) 1 der Lorentzfaktor und v X , v j , v z die üblichen Komponenten der 3-Geschwindigkeit in kartesischen Koordinaten.

Daher kann die Vierergeschwindigkeit niemals ganz Null sein.