Generator einer Rotationsmatrix

T ( ϕ ) = [ cos ( θ ) Sünde ( θ ) 0 Sünde ( θ ) cos ( ϕ ) cos ( θ ) cos ( ϕ ) Sünde ( ϕ ) Sünde ( θ ) Sünde ( ϕ ) cos ( θ ) Sünde ( ϕ ) cos ( ϕ ) ]

Hier die Matrix T wird parametrisiert durch ϕ Und θ = irgendein konstanter Winkel. Kann ich die Generatoren dieser durch den Winkel parametrisierten orthogonalen Transformation herausfinden? ϕ ? Wenn mein Ansatz falsch ist, wie finde ich die Generatoren dieser Matrix und potenziere sie?

Ich habe eine infinitesimale Transformation abgeleitet, die zu führt

T ( δ ϕ ) = [ ICH + T δ ϕ ]
Wo T Ist,
T = [ 0 0 0 0 0 1 Sünde ( θ ) cos ( θ ) 0 ] .

Hier θ ist ein fester Winkel, sagen wir 120 Grad bzw 69 Grad oder irgendetwas, aber es bleibt konstant. Kann ich diese Matrix potenzieren, um zu erhalten

e T ^ ϕ
Ist es richtig? Wo mache ich einen Fehler, wenn ich komplett falsch liege?

Bearbeiten: Wenn θ eine feste Konstante ist, gibt es keine Möglichkeit, das Identitätselement zu bekommen, also was wäre wenn T wird von beiden parametrisiert θ Und ϕ ? Ich werde sicherlich das Identitätselement bekommen. Wie gehe ich jetzt hier vor?

Dies ist falsch, beginnend mit dem Term nullter Ordnung. Wenn Sie einstellen ϕ = 0 Sie erhalten die Identität nicht, im Gegensatz zu der Identität, die Sie geschrieben haben.
[Formatierungshinweis] Verwenden Sie \sinund \cosin mathematischen Ausdrücken. Es sieht besser aus, besonders wenn die Dinge die trigonometrischen Funktionen multiplizieren. A S ich N ( ω T ) vs. A Sünde ( ω T ) .
@EmilioPisanty Ich habe die Frage bearbeitet, da mich ein einzelner Parameter nicht zum Identitätselement bringt, und ich nehme an T zwei Parameter haben
Dies ist nicht die allgemeinste Parametrisierung einer Drehung - Sie können keine Drehungen mit nur zwei Winkeln parametrisieren.
Umparametrieren durch Φ π ϕ . Der Ursprung (Identität) liegt dann bei θ = Φ = 0 . Fahren Sie mit Ihrer verbesserten Parametrierung fort.
@Cosmas Sagst du das, wenn ich setze S ( θ , φ ) = T ( θ , π φ ) , Und J θ = ich S / θ , J φ = ich S / φ , Dann S ( θ , φ ) = exp ( ich ( J θ θ + J φ φ ) ) ? Es scheint, dass dies der Bereich ist, in dem OP denkt, und das Ergebnis sieht für mich falsch aus.
@CosmasZachos Das Ergebnis sieht für mich falsch aus. Ich stimme zu, dass bei deiner Parametrisierung die Ableitungen mitgehen θ Und φ sind in der Tat L X Und L z , aber die Matrix scheint nicht mit dem Vollen übereinzustimmen exp ( ich ( L X θ + L z φ ) ) exponentiell. Es sieht für mich so aus, als ob die beiden Parametrisierungen am Ursprung entlang dieser beiden Richtungen tangential sind, aber der Ausdruck von OP ist nicht auf die richtige Weise "geradlinig" genug, um mit einem Exponential zusammenzufallen.
Nicht zuletzt, wenn man das auf den ersten Blick betrachtet, würde die Exponentialform implizieren, dass die Rotationsachse entlang der liegt X , z Ebene. Diese Rotationsachse kann jedoch explizit als erhalten werden ( Kinderbett ( θ / 2 ) bräunen ( φ / 2 ) , bräunen ( φ / 2 ) , 1 ) (nicht normalisiert) über Mathematicas symbolisches Eigensystem. Dies weist wiederum darauf hin, dass die Matrix nicht in exponentieller Form vorliegt.
@Emilio Bis zu Zeichen und Konventionen, exp ( Φ L X ) exp ( θ L z ) sieht gut aus, und natürlich komponiert es von BCH zu ...
... ein ganz anderer Ausdruck, involvierend L j im Exponenten natürlich. Ich stimme zu, dass die Exponentialkette korrekt und nützlich ist, aber ich bin völlig anderer Meinung, dass es angemessen ist, hier von der Matrix als „erzeugt“ zu sprechen L X Und L z .
@Emilio, tatsächlich habe ich große Winkel ignoriert, also erzeugen die endlichen Drehungen a L j Komponente, wenn Sie das gestört hat - meine erste Antwort auf Ihre erste Frage war oberflächlich. Aber es ist relativ einfach, zwei endliche Drehungen um senkrechte Achsen zu bilden, wenn das OP tatsächlich danach gefragt hat ...

Antworten (2)

Ihre orthogonale Matrix

R ( ϕ , θ ) = [ cos ( θ ) Sünde ( θ ) 0 Sünde ( θ ) cos ( ϕ ) cos ( θ ) cos ( ϕ ) Sünde ( ϕ ) Sünde ( θ ) Sünde ( ϕ ) cos ( θ ) Sünde ( ϕ ) cos ( ϕ ) ]
müssen antisymmetrische Generatoren haben.

Um sie zu finden, müssen Sie um den Ursprung expandieren, ϕ = π , θ = 0 . Um Verwirrung zu vermeiden, definieren Sie Φ ≡= π ϕ , der Ursprung liegt also bei Φ = θ = 0 .

R ( Φ , θ ) = [ cos ( θ ) Sünde ( θ ) 0 Sünde ( θ ) cos ( Φ ) cos ( θ ) cos ( Φ ) Sünde ( Φ ) Sünde ( θ ) Sünde ( Φ ) cos ( θ ) Sünde ( Φ ) cos ( Φ ) ]

Auswerten R ( δ Φ , 0 ) = [ ICH + T δ Φ ] , So

T = [ 0 0 0 0 0 1 0 1 0 ] .

Kannst du auch auswerten R ( 0 , δ θ ) ?


Hinweis gemäß Kommentar hinzugefügt.

Die obige Rotationsmatrix R ist dann in den Konventionen von WP aber

e Φ L X e θ L z ,
die Sie vielleicht von BCH komponieren möchten ,
exp ( Φ L X θ L z + Φ θ [ L X , L z ] / 2 + . . . ) ,
oder die endliche Rotationsformel von Gibbs usw., wenn Sie so geneigt waren. Für orthogonale Achsen wie Ihre bricht die Gibbs-Formel fast zusammen: Die effektive Rotationsachse ist nur parallel zu z ^ bräunen ( θ / 2 ) + X ^ bräunen ( Φ / 2 ) + j ^ bräunen ( θ / 2 ) bräunen ( Φ / 2 ) ! (Können Sie sehen, dass dies genau der invariante Vektor von R ist?)

In jedem Fall hat die Begrenzungsprozedur am Ursprung, die die Generatoren aus Ihrer endlichen Rotationsmatrix ergibt, Informationen geopfert: Überzeugen Sie sich selbst, dass mehrere verschiedene Rotationsmatrizen dieses identische Verhalten am Ursprung aufweisen können, natürlich – denken Sie daran, die Reihenfolge der beiden umzukehren Faktoren oben; Sie sollten also im Allgemeinen nicht erwarten, diese spezifische Rotationsmatrix aus dem Tangentialraumverhalten am Ursprung wiederherzustellen. (Hier haben Sie Ihre endlichen Drehungen bereits im Voraus berücksichtigt. Was der dritte Satz von Lie garantiert, ist im Wesentlichen der Satz von Euler: Die beiden Teildrehungen werden zu einer einzigen Drehung um eine neue Achse kombiniert.)

Vielen Dank. Nachdem ich Ihre Kommentare gesehen hatte, fand ich eine Sache, die dies war T Matrix scheint ein Produkt von zu sein R X ( π ϕ ) R z ( θ ) .
@CosmasZachos Die Produktexponenten der Drehimpulse sind jedoch nicht die Exponentiale der Summe der Generatoren. Zu sagen "diese Matrix hat antisymmetrische Generatoren" impliziert nicht nur, dass die Ableitungen antisymmetrisch sind, sondern dass die Matrix gleich dem Exponential der Ableitungen ist, was nicht stimmt.
@Emilio Die BCH-Zusammensetzungsformel ergibt einen Ausdruck in der Lie-Algebra spurloser antisymmetrischer Matrizen, der für kleine Winkel der führende Begriff in der BCH-Erweiterung sein wird. Ich bin mir nicht sicher, ob nach der Rotationsachse gefragt wurde ... aber das SO (3) -Zusammensetzungsgesetz kann sie leicht für senkrechte Komponentenachsen erzeugen.
@Cosmas Es liegt letztendlich an OP, Prioritäten zu setzen, da das ursprünglich gewünschte Ergebnis unmöglich ist, aber hier finde ich es wichtig, dass wir glasklar sind, was gilt und was nicht.
@Emilio ... Ich habe das OP nie verstanden und gefragt, ob der Logarithmus dieser Rotationsmatrix in 𝜃 und Φ linear ist. Wir sind uns einig, dass es das nicht ist! Wenn er eine Ableitung der effektiven Rotationsachse wünscht, ist dies einfach, aber auch trivial, indem er nach dem Identitätsvektor dieser Matrix sucht.
@Cosmas Ich weiß nicht, wie ich lesen soll: "Wie finde ich die Generatoren dieser Matrix und potenziere sie?" außer nach dem Logarithmus dieser Matrix zu fragen, aber ich stimme zu, es ist nicht besonders klar.

Die Parametrisierung, die Sie angegeben haben, hat einfach nicht die Exponentialform, nach der Sie suchen.

Die Matrix, die Sie aufgeschrieben haben, wird durch die Position von parametrisiert X Achse nach der Drehung, die Polarwinkel hat θ und Azimutwinkel ϕ in polaren Kugelkoordinaten um das Alte gezogen X Achse. Es ist keine Drehung um den Winkel ϕ um eine Achse im Winkel θ , noch ist es eine Drehung um den Winkel θ um eine saubere Achse, noch ist es eine Kombination von Drehungen um Winkel θ Und ϕ . Es kann natürlich als Drehung um einen bestimmten Winkel um eine bestimmte Achse ausgedrückt werden, aber dieser Winkel ist keines von beiden θ noch ϕ .

Als solches gibt es keinen nützlichen Weg, um eine Entwicklung niedriger Ordnung in Bezug auf zu finden θ oder ϕ gibt Ihnen einen nützlichen Generator, der Ihre Matrix bei der Potenzierung neu erstellt.