Regarding Orthogonal Transformations

[johndoe3344]

Find an orthogonal transformation T from R3 to R3 such that

T of the column vector [2/3 2/3 1/3] is equal to the column vector [0 0 1]

So I tried to construct out the 3x3 matrix

[a b c]
[d e f]
[g h i]

and applied the properties of an orthogonal matrix and basic algebra. I ended up with a giant mess of equations without any way to solve them... for example..

(2/3)a + (2/3)b + (1/3)c = 0
...
a^2 + d^2 + g^2 = 1
...
ab + de + gh = 0
...
and so on.

Could anyone shed some light on how to approach these types of problems?

 

[smallphi]

These are both unit length vectors. You need a rotation matrix T that rotates the first vector into the other. Draw the vectors and think of what simple rotations of the initial vector you need to do in sequence to obtain the final vector.

I would rotate [2/3 2/3 1/3] around the Z axis till it falls into YZ plane and then rotate around X axis so I get [0 0 1]. The matrices that rotate a certain angle around certain coordinate axis are standard. Your final matrix will be the product of the two rotation matrices.

 

[daniel_i_l]

Since both of the vector are unit length then you can easily make two orthonormal bases of R^3: (u)={u_1,u_2,u_3} and (v)={v_1,v_2,v_3} where
u_1=(2/3, 2/3, 1/3) and
v_1=(0,0,1)
Now define T so that Tu_1 = v_1, Tu_2 = v_2, Tu_3 = v_3.
Since this transformation transforms one orthonormal base into another one it's an orthogonal transformation. And since Tu_1 = v_1 it satisfies your equation. The 3x3 matrix in the base (u) is
([v_1]_(u) | ([v_2]_(u) | ([v_3]_(u) ) where [v]_(u) is the coordnate vector of v in the base (u) which is a colomn vector.

 

[johndoe3344]

I follow up to this part:

"where [v]_(u) is the coordinate vector of v in the base (u) which is a column vector."

What do you mean specifically? What would be the basis of u?

Is it [1,0,0] [0,1,0] [0,0,1]? If so, how would I go about constructing [v]_(u)?

 

[daniel_i_l]

First of all, as I said in the beginning, (u)={u_1,u_2,u_3} (v)={v_1,v_2,v_3}
And I mixed up the last part with the 3x3 matrix so I'll explain again:
If we have some transformation T:V->V then using some basis of V B={x_1,...,x_n} you can define a matrix of T - [T] - where the columns of the matrix [T] are the coordinates of T(x_i) according to the basis B.
When I say coordinates of T(x_i) according to B I mean the column vector
[T(x_i)]_B = (a_1,...,a_n)^t where T(x_i) = a_1*x_1 + ... + a_n*x_n
You can find this vector by solving a linear system. So when I write [v]_(u) I mean the column vector (a_1,a_2,a_3)^t where
T(v) = a_1*u_1 + a_2*u_2 + a_3*x_3
In this case I wrote ([v_1]_(u) | ([v_2]_(u) | ([v_3]_(u) ) instead of ([T(u_1)]_(u) | ([T(u_2)]_(u) | ([T(u_3)]_(u) ) since T(u_i) = v_i.

 

[smallphi]

I don't think he needs T in the basis u. The problem asks for T in the initial basis in which the two vectors are given. The basis v can be chosen to coincide with the initial basis.

 

[D H]

Why are you trying to solve for nine quantities when you already know three of them? Suppose you have three orthonormal column vectors in R3, \hat e_1, \hat e_2, and \hat e_3 in some frame F1. These orthonormal vectors form the basis for some other reference frame F2. The transformation matrix from frame F1 to frame F2 is just
T_{F_1\to F_2} = \bmatrix \hat e_1^{,T} \\ \hat e_2^{,T} \\ \hat e_3^{,T} \endbmatrix
You already have one unit vector, e_3. So you know the matrix must be of the form
T = \bmatrix & \hat e_1^{,T} & \\ & \hat e_2^{,T} & \\ \frac 2 3 & \frac 2 3 & \frac 1 3 \endbmatrix

What you need to do is find some vector normal to \bmatrix 2/3 & 2/3 & 1/3\endbmatrix. The solution is not unique.

 

[smallphi]

The physical rotation that rotates one unit vector into another not coinciding with it is unique because the two vectors fix the axis and angle of rotation - the axis would be the normal to the plane spanned by the two vectors, the angle would be the one that rotates the first vector into the second remaining in that plane. Each physical rotation is represented by exactly one rotation matrix so the solution must be unique.

 

[johndoe3344]

Thanks for all the help. But wait, so is the solution unique or not unique?

 

[D H]

There are an infinite number of solutions to this problem. Suppose you find one such solution. Designate the transformation matrix as

T=\bmatrix<br /> &amp;&amp; \hat e_1^{;T} &amp;&amp; \\<br /> &amp;&amp; \hat e_2^{;T} &amp;&amp; \\<br /> &amp;&amp; \hat e_3^{;T} &amp;&amp; \endbmatrix

where each of the \hat e_j are orthogonal unit vectors and \hat e_3 = \bmatrix 2/3 &amp; 2/3 &amp; 1/3 \endbmatrix ^T. This obviously transforms \hat e_3 to \hat z. Simply swapping e_1 and e_2 (with sign change to keep the system right-handed) will also transform \hat e_3 to \hat z. In fact, any matrix of the form

T_\phi = \bmatrix<br /> &amp;&amp; \cos \phi \hat e_1^{;T} - \sin \phi \hat e_2^{;T} &amp;&amp; \\<br /> &amp;&amp; \sin\phi \hat e_1^{;T} + \cos\phi \hat e_2^{;T} &amp;&amp; \\<br /> &amp;&amp; \hat e_3^{;T} &amp;&amp; \endbmatrix

also transforms \hat e_3 to \hat z.

 

[smallphi]

I think DH is right. I was thinking that physical rotation can be uniquely fixed by rotating only one vector but it turns out you need to specify how a basis of three vectors is rotated. There are many axis-angle combinations that will rotate a fixed initial vector into a fixed final vector.

What I can't understand is the fact that a 3x3 orthogonal matrix has 3 free parameters and specifying a vector that rotates into another vector gives 3 equations that should fix the free parameters uniquely but it doesn't ...

 

[D H]

Three equations in three unknowns do not yield a unique solution if the three equations are not linearly independent, which is exactly what is happening here.