Register to reply 
Help with Rotationsby Oxymoron
Tags: rotations 
Share this thread: 
#1
Mar1406, 07:00 AM

P: 867

DISCLAIMER: I would like to post a few things about what I am studying. Hopefully by writing all this I will get a better idea of it. There will probably be a few mistakes. Please feel free to comment on anything I said or add your own point of view, I'd love to hear it!
I have three vector fields in [itex]\mathbb{R}^3[/itex] given by [tex]U=y\partial_z  z\partial_y[/tex] [tex]V=z\partial_x  x\partial_z[/tex] [tex]W=x\partial_y  y\partial_x[/tex] I wish to find the local oneparameter group generated (or flow if you prefer) by [itex]U,V,W[/itex]. Now I thought that you could do this by solving an ODE for each vector field. For example, for U, we should have a coupled ODE... [tex]\frac{dy}{dt} = z[/tex] [tex]\frac{dz}{dt} = y[/tex] Similarly for V, we have [tex]\frac{dz}{dt} = x[/tex] [tex]\frac{dx}{dt} = z[/tex] and for W we have [tex]\frac{dx}{dt} = y[/tex] [tex]\frac{dy}{dt} = x[/tex] So we have three coupled first order linear differential equations. Assuming we have the following initial conditions, [tex]x(0) = A, y(0) = B, and z(0) = C[/tex] the general solutions are (for U) [tex]z(t) = C\cos t  B\sin t[/tex] [tex]y(t) = C\sin t + B\cos t[/tex] and it is easy to see what they are for V and W. Now this is all easy stuff to do (assuming I got it right! :) ), it is basic ODE stuff. But I want to relate all this to the rotation group... 


#2
Mar1406, 07:19 AM

P: 867

I believe that I have found what are known as the maximal integral curve for each vector field U,V, and W.
Arbitrary points in [itex]\mathbb{R}^3[/itex] can be written as column vectors: [tex]\left(\begin{array}{c} x\\y\\z\end{array}\right)[/tex] Lets take the vector field U for the moment. The maximal integral curve is given by the solution to the couple ODE, which is [tex]z(t) = C\cos t  B\sin t[/tex] [tex]y(t) = C\sin t + B\cos t[/tex] Now this is a parametrization of a circle in the yz axis in [itex]\mathbb{R}^3[/itex]. In other words the integral curve of the flow generated by the vector field U is a rotation in the yz axis. So the curve rotates the y and z points but leaves the x coordinate alone. In other words, this is a transformation and can be written as a 3x3 rotation matrix, denoted by [itex]\bold{R}_U[/itex], [tex][\bold{R}_U] = \left(\begin{array}{ccc} \cos t & \sin t & 0 \\ \sin t & \cos t & 0 \\ 0 & 0 & 1 \\ \end{array}\right)[/tex] 


#3
Mar1406, 07:28 AM

P: 867

Now, for V and W we have similar rotation matrices
[tex][\bold{R}_V] = \left(\begin{array}{ccc} \cos t & 0 & \sin t \\ 0 & 1 & 0 \\ \sin t & 0 & \cos t \end{array}\right)[/tex] [tex][\bold{R}_W] = \left(\begin{array}{ccc} 1 & 0 & 0 \\ 0 & \cos t & \sin t \\ 0 & \sin t & \cos t \end{array}\right)[/tex] 


#4
Mar1406, 07:39 AM

P: 867

Help with Rotations
What I want to investigate now is the link between the commutator (or Lie bracket) of two vector fields and the commutator of their respective flows.
I was taught that a flow is a map [tex]\sigma\,:\,\mathbb{R}\times M\rightarrow M[/tex] generated by [itex]X\in\mathcal{X}(M)[/itex], which satisfies [tex]\sigma(t,\sigma^{\mu}(s,x_0)) = \sigma(t+s,x_0)[/itex] which I imagine emphasizes the fact that if a particle is observed in a fluid (such as a flowing river) at a point x at t=0, then it will be found at [itex]\sigma(t,x)[/itex] at a late time t. Now, given my vector field [tex]U = z\partial_y  y\partial_z[/tex] it is easy to see that [tex]\sigma(t,(x,y)) = (x\cos t  y \sin t, x \sin t + y \cos t)[/tex] is a flow generated by U (obviously not written as a column vector). The flow through some point [itex](x,y)[/itex] is a circle with center at the origin. Exactly the same can be said about V and W. 


#5
Mar1406, 07:54 AM

P: 867

If we fix [itex]t\in\mathbb{R}[/itex] then a flow [itex]\sigma[/itex] is actually a diffeomorphism from M to M. But most importantly, the flow can be made into a commutative group by enforcing the following rules
[tex]\sigma_t(\sigma_s(x)) = \sigma_{t+s}(x)[/tex] [tex]\sigma_0[/tex] is the identity map [tex]\sigma_{t} = (\sigma_t)^{1}[/tex] This commutative group is called the oneparameter group of transformations. It is isomorphic to [itex]\mathfrak{SO}_2[/itex], which is the multiplicative group of 2x2 real matrices of the form [tex]\left(\begin{array}{cc} \cos\theta & \sin\theta \\ \sin\theta & \cos\theta \end{array}\right)[/tex] Now lets consider two vector fields at the same time, say U and V. U and V are vector fields on a differentiable manifold M, and they generate flows [itex]\psi_{\sqrt{t}}[/itex] and [itex]\phi_{\sqrt{t}}[/itex]. Let [itex]C_t[/itex] be the curve through [itex]p\in M[/itex] defined by [tex]C_t = \psi_{\sqrt{t}} \circ\phi_{\sqrt{t}} \circ \psi_{\sqrt{t}} \circ \phi_{\sqrt{t}}[/tex] which I take to mean travelling along the four sides of a parallelogram via two pushforward maps and two pullback maps. However, it can easily happen that by traversing such curves you dont always end up exactly where you started! That is, the parallelogram may not close by taking such a curve. My question here is, why then is [itex]\sigma[/itex] a curve whose initial tangent is the commutator? I.e. [tex]\dot{C}_0(p) = [U,V]_p[/tex] 


Register to reply 
Related Discussions  
Prove B(x,y) = (x,y) for all x,y in R^2 (Rotations in R^2)  Calculus & Beyond Homework  4  
Group of rotations of S^n  Calculus & Beyond Homework  3  
Rotations help  General Math  2  
Rotations in R3  Linear & Abstract Algebra  0 