David Tongs passive Transformation der Felder ist falsch

David Tongs Definition von aktiver Transformation ist klar. Bei aktiver Transformation werden die Koordinaten (Basisvektoren) nicht verändert, sondern das Feld. Ich bezeichne die alten und neuen Felder als ϕ Und ϕ ' . Also durch aktive Transformation

ϕ ' ( X ) = ϕ ( λ 1 X ) .

Beachten Sie, dass ich den Strich auf das Feld gesetzt habe und nicht auf die Koordinate, da das Feld geändert (gedreht) wurde und nicht das Koordinatensystem.

Für passive Transformation schreibt Tong

ϕ ' ( X ) = ϕ ( λ X ) . Das sieht für mich falsch aus. Ich ändere das Koordinatensystem ab X Zu X ' und das Feld im alten Koordinatensystem ist ϕ ( X ) und in der neuen ist es ϕ ' ( X ' ) . Da es sich um ein Skalarfeld handelt, habe ich ϕ ' ( X ' ) = ϕ ( X ) . Jetzt X ' = λ X .

Also bekomme ich

ϕ ( X ) = ϕ ' ( λ X ) . Was eindeutig nicht dasselbe ist wie Tongs. Jetzt denke ich, dass Tongs Gleichung nicht richtig ist, weil ich keinen Fehler in meiner Definition finden kann. Kann das bitte jemand erklären.

Außerdem könnten einige bitte das korrekte Transformationsgesetz für ein Vektorfeld sowohl für die aktive als auch für die passive Rotation (sowohl für ein kovariantes als auch für ein kontravariantes Feld) schreiben, wobei die folgenden Konventionen (die ich von GR nehme) zu beachten sind. Beim Schreiben geben Sie bitte die Matrix mit den Feldänderungen sowie die Matrix an, mit der sich die Koordinaten ändern, wie ich es oben für ein skalares Feld geschrieben habe.

Wenn A ein kontravarianter Vektor ist, transformiert er sich als

A = λ A

Wenn A ein kovarianter Vektor ist, transformiert er sich als

A ' = λ 1 A .

Wenn ich das richtig verstehe, sind die obigen Transformationen passiv.

Bearbeiten:

Ich weiß, dass, wenn sich der Basisvektor als transformiert e ' = λ 1 e Wo e ' sind neue Basisvektoren und e sind alte Basisvektoren, dann Koordinaten transformieren als X ' = λ X . Und in GR wissen wir, dass sich Covektoren als Basisvektor ( mit λ 1 ) während kontravariante wie Koordinaten transformieren (mit λ ). Und das ist eine passive Transformation (wie in Caroll)

( Bitte verwenden Sie diese Konvention durchgehend )

Also in GR haben wir A μ ' = λ μ ' v A v -> (1)

Und A μ ' = ( λ 1 ) μ ' v A v

Jetzt habe ich diese speziellen Fragen-

  1. Bei den obigen Transformationen werden die Komponenten des Vektors (oder Covektors), d. e A v ändern. Aber keines der Bücher (Caroll) erwähnt die Änderung in den Argumenten. Warum ist das so. Warum ändern sie nicht auch die Argumente? Wobei Sie auch die Transformation für Koordinaten geschrieben haben .

So sollte (1) wirklich sein

A μ ' ( X ' ) = λ μ ' v A v ( X )

-> A μ ' ( λ X ) = λ μ ' v A v ( X )

Und A μ ' ( X ' ) = ( λ 1 ) μ ' v A v ( X )

-> A μ ' ( λ X ) = ( λ 1 ) μ ' v A v ( X )

denn in meiner notation ändern sich die koordinaten wie X ' = λ X (also habe ich das gerade ersetzt. Aber Sie erhalten nicht das gleiche Ergebnis wie meins. Liege ich falsch in der Berechnung oder im Verständnis. Sollte eq ( 1) wie oben sein (mit Änderung der Koordinaten auch dargestellt oder ohne, wie GR-Bücher bezeichnen) . All das, was ich geschrieben habe, dient der passiven Transformation, weil sich die Koordinaten geändert haben (und die funktionale Form des Feldes/Vektors). Bitte weisen Sie darauf hin, ob das, was ich geschrieben habe, richtig ist oder nicht. Wenn falsch, weisen Sie bitte darauf hin, was genaue Gleichung oder Verständnis ist falsch.

  1. Basierend auf meinem Wissen über die obige Transformation von Basisvektoren (mit der inversen Matrix) versuche ich nun, die aktive Transformation zu bilden. Hier ändern sich die Felder/Vektoren und nicht die Koordinaten. Also sollte ich wirklich die inverse Matrix verwenden λ 1 ( ist diese Argumentation richtig ), wenn ich die Änderung für kontravariante schreibe ( weil sich ihre Komponenten jetzt nicht geändert haben, sondern gedreht wurden. Und ich sollte die direkte Matrix verwenden ( λ ) für kovariante, weil ihre Transformation umgekehrt zur kontravarianten ist. So

A μ ' ( X ) = ( λ 1 ) μ ' v A v ( X ) ( Keine Änderung der Argumente, da sie nicht geändert werden).

Und A μ ' ( X ) = λ μ ' v A v ( X ) ( Keine Änderung der Argumente, da sie nicht geändert werden).

Bitte weisen Sie noch einmal darauf hin, wenn hier etwas falsch ist, genau die Exat-Gleichung oder Annahme

  1. Schließlich weiß ich für ein Skalarfeld

Da es sich um ein Skalarfeld handelt, habe ich ϕ ' ( X ' ) = ϕ ( X ) . Jetzt X ' = λ X .

Also bekomme ich

ϕ ( X ) = ϕ ' ( λ X ) .

Was genau läuft hier falsch. Ich verstehe Ihre aktive Transformation, aber ich kann nicht herausfinden, was ich bei der passiven Transformation falsch mache. Bitte weisen Sie auf den Fehler hin.

Sie müssen etwas vorsichtiger sein, wie die Transformation funktioniert. Für die passive Transformation sollte es sein X ' = λ 1 X ; Das Endergebnis von passiven und aktiven Transformationen muss das gleiche sein, da es nur ein Unterschied in der Sichtweise ist. Im aktiven Fall können Sie sich vorstellen, dass das Feld "hochskaliert" wird λ . Im passiven Fall denken Sie daran, die Koordinaten zu "schrumpfen". λ 1 .
@Aaron nein warum sollte es sein X ' = λ 1 X . Siehe auch hier physical.stackexchange.com/questions/242756/…

Antworten (1)

Betrachten Sie das folgende Bild.

Geben Sie hier die Bildbeschreibung ein

Wir haben ein Feld, das im roten Rechteck groß und anderswo klein ist. Die Funktion, die uns den Feldwert irgendwann bei Koordinaten mitteilt X Ist ϕ ; das ist, ϕ ( X ) ist der Wert des Feldes an dem Punkt, der durch Koordinaten gekennzeichnet ist X = ( X 1 , X 2 ) .

Nun führen wir eine aktive Transformation durch, die einer Drehung des Feldes um entspricht 60 .

Geben Sie hier die Bildbeschreibung ein

Wir verwenden die gleichen Koordinaten, aber nach der Transformation ϕ ist nicht mehr die Funktion, die uns die Feldwerte liefert. Wir müssen eine neue Funktion in Betracht ziehen ψ die mit der alten via verwandt ist

ψ ( X ) = ϕ ( R 1 X )

Wo R ist der 60 Rotationsmatrix.


Jetzt betrachten wir stattdessen eine passive Transformation.

Geben Sie hier die Bildbeschreibung ein

Dies ist eine Änderung der Koordinaten, wo die neuen Koordinaten j = ( j 1 , j 2 ) sind mit den alten über verwandt

j = R X

Sobald wir das angenommen haben j -Koordinatensystem, ϕ ist mal wieder die falsche funktion. Die Feldwerte an einem Punkt j sind durch die Funktion gegeben σ , was damit zusammenhängt ϕ über

σ ( j ) = ϕ ( R j )

Verwenden Sie die Bilder, um sich davon zu überzeugen, wenn ϕ groß ist, sagen wir, X = ( 1 , 0 ) , Dann σ wird groß sein j = ( 1 2 , 3 2 ) . Mit anderen Worten, σ ( 1 2 , 3 2 ) = ϕ ( 1 , 0 ) , was im Einklang steht σ ( j ) = ϕ ( R j ) .


Um Ihre zweite Frage zu beantworten, unter einer aktiven (linearen) Transformation ein Vektorfeld v verwandelt sich als v v ' Wo

v ' ( X ) = R v ( R 1 X )

In Komponentennotation,

v ' μ ( X ) = R     v μ v v ( R 1 X )

Unter einer passiven (linearen) Transformation, die durch eine Koordinatenänderung definiert ist j = R X ,

v ' ( j ) = R 1 v ( R j )
v ' μ ( j ) = ( R 1 )     v μ v v ( R j )

Beide Transformationsregeln sieht man sofort, wenn man in meinen Zeichnungen die Rechtecke durch Pfeile ersetzt.


Als Antwort auf die Bearbeitung besteht der Fehler, den Sie durchgehend machen, darin, dies zu sagen ϕ ' ( X ' ) = ϕ ( X ) und dann ersetzen X ' = R X . Das ist nicht richtig. Bitte lesen Sie das Beispiel, das ich gegeben habe. Wenn die Koordinaten um gedreht werden 60 , Dann X = ( 1 , 0 ) wird neue neue Koordinaten haben, die von gegeben werden j = ( 1 2 , 3 2 ) . Daher wird das neue Feld an der Stelle ausgewertet ( 1 2 , 3 2 ) wird gleich dem alten Feld sein, das an diesem Punkt ausgewertet wurde ( 1 , 0 ) , dh

ϕ ' ( 1 2 , 3 2 ) = ϕ ( 1 , 0 )

Aber ( 1 2 , 3 2 ) = R ( 1 , 0 ) , nicht R 1 ( 1 , 0 ) . Im Allgemeinen dann ϕ ' ( X ) = ϕ ( R X ) .

Bei den obigen Transformationen werden die Komponenten des Vektors (oder Covektors), d. e Aν ändern. Aber keines der Bücher (Caroll) erwähnt die Änderung in den Argumenten. Warum ist das so. Warum ändern sie nicht auch die Argumente? Wobei Sie auch die Transformation für Koordinaten geschrieben haben.

Vermutlich wollte Carroll der Notation nicht zu viel hinzufügen. Aber wenn Sie ein Vektorfeld transformieren , das an verschiedenen Punkten in der Raumzeit unterschiedliche Werte annimmt, müssen Sie sicherlich jede Komponente als Funktion behandeln und Argumente entsprechend transformieren.

Basierend auf meinem Wissen über die obige Transformation von Basisvektoren (mit der inversen Matrix) versuche ich nun, die aktive Transformation zu bilden. Hier ändern sich die Felder/Vektoren und nicht die Koordinaten. Also sollte ich wirklich die inverse Matrix λ−1 verwenden (ist diese Argumentation richtig)

Nein, es ist nicht richtig. Wenn die Feldkonfiguration um gedreht wird 60 , dann sollte auch die Richtung des Vektors gedreht werden 60 , wie in meinem Diagramm.

Schließlich weiß ich für ein Skalarfeld. Da es sich um ein Skalarfeld handelt, gilt ϕ′(x′)=ϕ(x). Nun ist x′=λx.

Auch dies ist falsch. Vielleicht wäre es einfacher, eine einzige Koordinate zu betrachten X und eine skalierte Koordinate X ' = 2 X .

Geben Sie hier die Bildbeschreibung ein

Wenn wir sagen X ' = 2 X , meinen wir nicht , dass das neue Label eines Punktes das Doppelte des alten Labels ist. Stattdessen meinen wir, dass die X ' "Teilstriche" sind doppelt so weit auseinander wie die X Häkchen sind.

Das bedeutet, dass die X ' Koordinate eines Punktes ist die Hälfte der entsprechenden X Koordinate dieses Punktes. Wie Sie auf dem Diagramm sehen können, X = 3 entspricht X ' = 1.5 , nicht X ' = 6 .

Letztendlich machen Sie den gleichen Fehler, als ob Sie sagten: "1 Meter ist gleich 100 Zentimeter, also ist die Position eines Punktes in Metern 100 × die Position des Punktes in Zentimetern". Sie haben es rückwärts.

Danke für deine Antwort. Ich habe Sie aktiv verstanden, habe aber Zweifel an den anderen. Ich wollte hier mit den Zweifeln kommentieren, aber ich denke, ich kann die Zweifel in der Frage selbst besser erklären. Ich habe der Frage eine ziemlich lange Bearbeitung hinzugefügt. Bitte haben Sie Geduld mit mir und gehen Sie die Bearbeitung durch, da sie Ihnen zeigen wird, worin genau ich verwirrt bin. Diese Verwirrung besteht seit sehr langer Zeit. Es wäre wirklich toll, wenn Sie es jetzt lösen könnten (wahrscheinlich mit einer Bearbeitung Ihrer Antwort). Aber schau dir bitte den ziemlich langen Edit an . Es sollte genau das vermitteln, was mich verwirrt
@Aaron Siehe auch hier physical.stackexchange.com/questions/242756/… Die Antwort macht das, was ich hier getan habe, passive Transformation für Skalarfelder
Und sind Ihre letzten Gleichungen korrekt? x sollte R sein inverse y nicht Ry.. Sind die letzten 4 Gleichungen korrekt
@Shashaank Ich habe meine Antwort bearbeitet, um Ihre zusätzlichen Fragen zu beantworten. Die Antwort, die Sie in Ihrem obigen Kommentar verlinkt haben, ist falsch und macht den gleichen Fehler wie Sie. Meine letzten Gleichungen (vor meiner Bearbeitung) sind korrekt.
@Shashaank Ich fordere Sie dringend auf, die Diagramme zu verwenden, um diese Transformationen zu verstehen.
Ok, vielen Dank. Ich glaube ich habe deinen Punkt jetzt verstanden. Ich habe es akzeptiert. Ich denke, es ist klar. Nur zur Bestätigung -1) Ihre Matrix R (nur R, nicht ihre Umkehrung) ist die Matrix, die die alten Basisvektoren in neue Basisvektoren umwandelt, oder ist es die Matrix, die die Koordinaten eines Vektors in einer neuen Basis angesichts der Koordinaten von angibt alte Basis 2) In der 4. letzten Gleichung haben Sie R invers in den Klammern, während Sie in der 3. letzten R in den Klammern haben.
Vielleicht könnten Sie auch einfach die passive Transformation für einen elektromagnetischen Feldtensor mit der Änderung der Argumente anhängen. Ich habe kein Buch gesehen, wie das Argument Chamgea geschrieben wurde. Bitte für den EM-Feldtensor anhängen, um 2) zu verdeutlichen
@Shashaank Es ist dasselbe wie die Vektortransformationsregel, mit einer zusätzlichen Transformationsmatrix vorne. Für eine lineare Koordinatentransformation X j = R X , du würdest haben F μ v ' ( j ) = ( R 1 )     μ a ( R 1 )     v β F a β ( R j ) .
@Shashaank Allgemeiner für eine nichtlineare Koordinatentransformation j = F ( X ) , du würdest haben F μ v ' ( j ) = X a j μ X β j v F a β ( F ( j ) )