Allgemeine Koordinatentransformationen?

Angenommen, ich habe ein Vektorfeld, das in kartesischen Koordinaten ausgedrückt wird:

A = ich A ich e ^ ich
bei dem die e ^ ich sind die Verallgemeinerung der Einheitsvektoren ich ^ , J ^ , k ^ aus 3 Dimensionen.

Ich möchte wissen, wie man die Komponenten bestimmt A ich ' des gleichen Vektorfeldes A ausgedrückt in einem anderen orthonormalen Koordinatensystem:

A = ich A ich ' e ^ ich ' .
Natürlich seit e ^ ich ' e ^ J ' = δ ich J , können wir diese Komponenten wie folgt bestimmen:
A J ' = A e ^ J ' = ich A ich e ^ ich e ^ J ' .
Jetzt denke ich rechnen e ^ ich e ^ J ' im Allgemeinen ist langweilig. Ich habe jedoch an verschiedenen Stellen geschrieben gesehen (wie in dem Buch von Arfken, Weber und Harris ), dass für lineare Koordinatentransformationen die neuen Komponenten berechnet werden können
A J ' = ich A ich X J ' X ich
Wo X ich sind die kartesischen Koordinaten und X J ' sind die neuen Koordinaten. Für lineare Koordinatentransformationen ist dies sinnvoll, aber ich habe auch gesehen, dass es für allgemeine Koordinatentransformationen verwendet wird, z. B. von kartesischen zu krummlinigen Koordinaten.

Ist dies tatsächlich korrekt für Transformationen in krummlinige Koordinaten, dh tut es e ^ ich e ^ J ' = X J ' / X ich ? Und wenn ja, warum?

Antworten (1)

Sie sind versehentlich auf die ganze Idee der krummlinigen Koordinaten und ihre tiefe Verbindung mit der Differentialgeometrie gestoßen. Das ist die Grundidee, in der Basis { e ich } ich Sie können den Positionsvektor eines Punktes schreiben als

X = ich X ich e ich

Stellen Sie sich nun eine glatte Transformation der Koordinaten der Form vor X ich = F ich ( Q ) , und seine Umkehrung Q ich = G ich ( X ) . Beispiele sind Kugelkoordinaten ( Q 1 , Q 2 , Q 3 ) = ( R , θ , ϕ ) , Zylinderkoordinaten ( Q 1 , Q 2 , Q 3 ) = ( R , ϕ , z ) , ... und natürlich lineare Transformationen.

Nun der Zustand Q ich = F ich ( X ) = C Ö N S T definiert eine Fläche. Zum Beispiel im sphärischen Fall Q 1 = C Ö N S T definiert eine Kugel, Q 2 = C Ö N S T definiert einen Kegel und Q 3 = C Ö N S T ein Flugzeug. Sie können sich einen Punkt als Schnittpunkt dieser Flächen vorstellen. Und die Einheitsvektoren, die diesen neuen Koordinaten als Tangenten zu dieser Oberfläche entlang jeder Koordinate zugeordnet sind.

Der Begriff des Basisvektors ist also jetzt ortsabhängig, sie zeigen in verschiedene Richtungen, je nachdem, wo Sie stehen, aber es ist wichtig, sich daran zu erinnern, dass sie tangential zu den Oberflächen sind F ich ( Q ) = C Ö N S T . Mit diesen Informationen können Sie sie jetzt erstellen

e ich ' X Q ich

Wo ich das Zeichen weggelassen habe " = ", um zu betonen, dass Sie das Ergebnis normalisieren müssten, um dies sicherzustellen | e ich ' | = 1 . Kommen wir nun zu Ihrer Frage zurück, vorausgesetzt, die Basis { e ich } ich ist koordinatenunabhängig, zB das kartesische Koordinatensystem

e ich e J ' = e ich Q J k X k ( Q ) e k = X ich ( Q ) Q J

Das ist großartig, danke! Ich habe nur eine Frage. Wenn Sie die Normalisierung einbeziehen, e ^ ich ' = X / Q ich | X / Q ich | , und so ist das Endergebnis keine Gleichheit, sondern eine Verhältnismäßigkeit. Gibt es eine Möglichkeit, dies zu umgehen?
@Jean-Jacq Nicht wirklich, aber eigentlich willst du nicht. Die Normalisierung spielt bei der Transformation eine große Rolle. Es definiert die Metrik, was sich als sehr grundlegendes Konzept herausstellt
@caverac: Hallo, deine Antwort hat mir sehr geholfen. Ich wollte Ihre Antwort in Bezug auf Tangens-/Kotangensräume verstehen und habe hier eine Folgefrage (zu Ihrer Antwort) gestellt: math.stackexchange.com/questions/3490345/… Ich wäre sehr dankbar, wenn Sie eine haben könnten schau und hilf mir dabei!
@ShirishKulhari Großartig! Schön, dass es dir weitergeholfen hat. Werde es heute Abend mal anschauen