Robotica e automazione/Matrici di rotazione

Una rotazione antioraria di un vettore attraverso l'angolo $\theta$, dove il vettore è inizialmente allineato con l'asse $x$.

Una matrice di rotazione è una matrice di trasformazione che esegue una rotazione nello spazio euclideo. Per esempio, utilizzando la seguente convenzione, la matrice

$R(\theta )=\left[\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right]$

ruota i punti nel piano $xy$ in senso antiorario di un angolo $\theta$ rispetto all'origine di un sistema di coordinate cartesiane bidimensionale.

Per eseguire la rotazione su un punto del piano con coordinate standard $𝗏=\left[\begin{array}{c}x\\ y\end{array}\right]$, è necessario moltiplicare la matrice $R$ per il vettore stesso, ottenendo:

$R𝐯=\left[\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right]=\left[\begin{array}{c}x\cos \theta -y\sin \theta \\ x\sin \theta +y\cos \theta \end{array}\right].$

Se $x$ e $y$ rappresentano le coordinate finali di un vettore, dove $x$ è il coseno e $y$ è il seno, le equazioni precedenti diventano l'identità trigonometrica. Infatti, una matrice di rotazione può essere letta come le formule trigonometriche della somma degli angoli in forma matriciale. Un modo per capirlo è supporre di avere un vettore con un angolo di 30° rispetto all'asse $x$ e volerlo ruotare di altri 45°. È sufficiente calcolare le coordinate del punto finale del vettore a 75°.

Le matrici di rotazione sono matrici quadrate con elementi reali. Più specificatamente, possono essere caratterizzate come matrici ortogonali con determinante pari a 1; pertanto, una matrice quadrata $R$ è una matrice di rotazione se e solo se $R^{𝖳}=R^{-1}$ e $detR=1$. L'insieme di tutte le matrici ortogonali di dimensione $n$ con determinante +1 è una rappresentazione di un gruppo noto come gruppo ortogonale speciale $\text{SO}(n)$. Un esempio è il gruppo di rotazione in tre dimensioni $\text{SO}(3)$.

Singola rotazione bidimensionale

Come premesso, nelle due dimensioni, la matrice di rotazione standard assume la seguente forma:

$R(\theta )=\left[\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right].$

La rotazione dei vettori avviene mediante la seguente moltiplicazione di matrici,

$\left[\begin{array}{c}{x}^{\prime }\\ y^{\prime }\end{array}\right]=\left[\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right].$

Pertanto, le nuove coordinate $(x^{\prime },y^{\prime })$ di un punto $(x,y)$ dopo la rotazione sono:

$\begin{array}{cc}{x}^{\prime }& =x\cos \theta -y\sin \theta \\ y^{\prime }& =x\sin \theta +y\cos \theta \end{array}.$

La direzione di rotazione del vettore è antioraria se $\theta$ è positivo (per esempio 90°), e oraria se $\theta$ è negativo (ad esempio −90°) per $R(\theta )$. Pertanto, la matrice di rotazione in senso orario si determina con

$R(-\theta )=\left[\begin{array}{cc}\cos \theta & \sin \theta \\ -\sin \theta & \cos \theta \end{array}\right].$

Tipiche rotazioni bidimensionali

Particolarmente utili risultano essere le matrici

$\left[\begin{array}{cc}0& -1\\ 1& 0\end{array}\right],\left[\begin{array}{cc}-1& 0\\ 0& -1\end{array}\right],\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]$

equivalenti alle rotazioni in senso antiorario di 90°, 180° e 270°. Naturalmente, la rotazione di un angolo giro è data dalla matrice identità.

Singola rotazione tridimensionale

Per ottenere una rotazione tridimensionale di base (nota anche rotazione elementare) si procede con una rotazione attorno a uno degli assi di un sistema di coordinate. Pertanto, si hanno tre matrici di rotazione di base che ruotano i vettori di un angolo $\theta$ attorno agli assi $x$, $y$ o

$\begin{array}{cc}{R}_x(\theta )& =\left[\begin{array}{ccc}1& 0& 0\\ 0& \cos \theta & -\sin \theta \\ 0& \sin \theta & \cos \theta \end{array}\right]\\ R_y(\theta )& =\left[\begin{array}{ccc}\cos \theta & 0& \sin \theta \\ 0& 1& 0\\ -\sin \theta & 0& \cos \theta \end{array}\right]\\ R_z(\theta )& =\left[\begin{array}{ccc}\cos \theta & -\sin \theta & 0\\ \sin \theta & \cos \theta & 0\\ 0& 0& 1\end{array}\right]\end{array}$

Per i vettori, ciascuna di queste rotazioni di base appare in senso antiorario quando l'asse, attorno al quale si verificano, punta verso l'osservatore, il sistema di coordinate è destrorso e l'angolo $\theta$ è positivo. $R_z$, per esempio, ruoterebbe verso l'asse $y$ un vettore allineato con l'asse $x$, come si può facilmente verificare operando con $R_z$ sul vettore $(1,0,0)$:

$R_z(90^{\circ })\left[\begin{array}{c}1\\ 0\\ 0\end{array}\right]=\left[\begin{array}{ccc}\cos 90^{\circ }& -\sin 90^{\circ }& 0\\ \sin 90^{\circ }& \cos 90^{\circ }& 0\\ 0& 0& 1\end{array}\right]\left[\begin{array}{c}1\\ 0\\ 0\end{array}\right]=\left[\begin{array}{ccc}0& -1& 0\\ 1& 0& 0\\ 0& 0& 1\end{array}\right]\left[\begin{array}{c}1\\ 0\\ 0\end{array}\right]=\left[\begin{array}{c}0\\ 1\\ 0\end{array}\right]$

Ciò è simile alla rotazione prodotta dalla matrice di rotazione bidimensionale menzionata precedentemente.

Rotazioni tridimensionali generalizzate

Combinando queste tre matrici si possono ottenere altre matrici di rotazione tridimensionali utilizzando il prodotto matriciale. Per esempio, il prodotto

$\begin{array}{cc}R=R_z(\alpha )R_y(\beta )R_x(\gamma )& =\stackrel{\text{imbardata}}{\left[\begin{array}{ccc}\cos \alpha & -\sin \alpha & 0\\ \sin \alpha & \cos \alpha & 0\\ 0& 0& 1\end{array}\right]}\stackrel{\text{beccheggio}}{\left[\begin{array}{ccc}\cos \beta & 0& \sin \beta \\ 0& 1& 0\\ -\sin \beta & 0& \cos \beta \end{array}\right]}\stackrel{\text{rollio}}{\left[\begin{array}{ccc}1& 0& 0\\ 0& \cos \gamma & -\sin \gamma \\ 0& \sin \gamma & \cos \gamma \end{array}\right]}\\ & =\left[\begin{array}{ccc}\cos \alpha \cos \beta & \cos \alpha \sin \beta \sin \gamma -\sin \alpha \cos \gamma & \cos \alpha \sin \beta \cos \gamma +\sin \alpha \sin \gamma \\ \sin \alpha \cos \beta & \sin \alpha \sin \beta \sin \gamma +\cos \alpha \cos \gamma & \sin \alpha \sin \beta \cos \gamma -\cos \alpha \sin \gamma \\ -\sin \beta & \cos \beta \sin \gamma & \cos \beta \cos \gamma \end{array}\right]\end{array}$

rappresenta una rotazione i cui angoli di imbardata, beccheggio e rollio sono rispettivamente $\alpha$, $\beta$ e $\gamma$. Più formalmente, si tratta di una rotazione i cui angoli di Eulero sono $\alpha$, $\beta$ e $\gamma$, rispetto agli assi $x$, $y$ e $z$.