Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose that $\gamma:[0,1]\to \operatorname{SO}(3)$ is a path in the space of orientation preserving rotations of $\mathbb R^3$. It is classical that we can find a corresponding $\omega:[0,1]\to \mathbb R^3$, the angular velocity, such that if $r(t)=\gamma(t)r(0)$, then $r'(t)=\omega(t)\times r(t)$ (where $\times$ is the cross product). Phrased differently, $\frac{d}{dt}\left(\gamma(t)\right)\gamma^{-1}(t)$ is skew-symmetric with respect to an orthonormal basis. The correspondence between these two statements comes from the formula

$$\omega\times v =\pmatrix{0 & -\omega_3 & \omega_2 \\ \omega_3 & 0 & -\omega_1 \\ -\omega_2 & \omega_1 & 0 }v.$$

It is worth pointing out that this formula underlies an isomorphism of Lie algebras $(\mathbb R^3,\times)\cong \mathfrak{so}_3$, given by $x\mapsto ad_x$

Assuming whatever niceness we need (likely just continuity), given $\omega(t)$, there is a unique solution to the differential equation $$\gamma'(t)=\omega(t)\gamma(t);\quad \gamma(0)=I.$$

My question: Is there any nice expression for $\gamma$ in terms of $\omega$, the way there is when solving first order linear differential equations?

What I have tried so far:

This is a first order linear system of differential equations, and so there should be some well established theory regarding the solution of such systems. However, I have only seen the constant coefficient case before, and my initial attempts to generalize the solution have met with some resistance. In particular, the formula $\frac{d}{dt}e^{A(t)}=A'(t)e^{A(t)}$ doesn't hold for matrices unless $[A(t),A'(t)]=0$, being replaced by the more complicated formula $\frac{d}{dt}e^{A(t)}=e^{\operatorname{Ad}_{A(t)}}(A'(t))e^{A(t)}$. As such, a solution of the form $e^{A(t)}$ would have to satisfy

$$\omega(t)=e^{\operatorname{Ad}_{A(t)}}(A'(t)).$$

The problem can be simplified somewhat since $A(t)$ must be skew-symmetric. By using the realization of the bracket as coming from the cross product and combining that with properties of the cross product, $e^{\operatorname{Ad}_X}Y$ can be rewritten in more explicit, if not simpler, terms. However, it does not seem to make the problem any more solvable.

share|improve this question

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.