KFC said:
Assume an object is rotating around some axis with constant angular velocity \vec{\omega}. We setup a body frame with the z axis aligned with the rotating axis. Since the body frame is rotating along the body, \left(\frac{d\vec{L}}{dt}\right)_{body} = 0, ...
Whoa! You have a significant misunderstanding here. Time to go back to the start. In the general equation cited earlier, the "transport equation",
\left(\frac{d\boldsymbol q}{dt}\right)_A<br />
= \left(\frac{d\boldsymbol q}{dt}\right)_B +<br />
\boldsymbol{\omega}_{A \to B}\times \boldsymbol q
The vector
q in the derivatives (and the cross product) is (*must be*) the same vector on the left and right hand sides. It is the derivatives that are substantially different vectors.
What I mean by "the same vector": Suppose an external force
F acts on some body and suppose there are two inertial frames of interest,
A and
A', one rotated (not rotating) with respect to the other (i.e., there is a constant, non-identity transformation matrix from frame
A to frame
A'). While the
representation of the force vector will be different in the two frames, both representations are describing the same vector. Similarly, consider a displacement vector from point 1 to point 2. That vector is the same vector in all frames (in classical mechanics); it just has different representations.
When you said "Since the body frame is rotating along the body, \left(\frac{d\vec{L}}{dt}\right)_{body} = 0," you fell into the trap of applying the transport equation to two different vectors. Doing so will lead to erroneous results. In particular, when applying the transport equation to the angular momentum, you must use the angular momentum of the body with respect to inertial space.
... what I have to do is to find out the angular momentum \vec{L}_{body}defined in body frame, so the total external torque with respect with space frame would be
\vec{\tau}_{ext} = \frac{d\vec{L}}{dt}_{space} = \vec{\omega}\times\vec{L}_{body}
Is this correct?
No. The angular momentum of a body with respect to inertial space expressed in body coordinates is
\boldsymbol L = \mathbf I \boldsymbol{\omega}
where \boldsymbol{\omega} is the angular velocity of the body with respect to inertial space. Typically, the inertia tensor and the angular velocity are expressed in body frame coordinates. That the inertia tensor is expressed in body frame coordinates makes sense. The inertia tensor of a rigid, constant-mass object is constant in the body frame. If the object is rotating, the inertia tensor expressed in inertial coordinates is in general time-varying. That the angular velocity is expressed in body frame coordinates is a bit counterintuitive. One reason for doing so is because the inertia tensor is constant in the body frame. Another reason is that rotation sensors (e.g., rate gyros) measure angular velocity with respect to inertial expressed in body frame coordinates. (More precisely, they measure angular velocity with respect to inertial expressed in the sensor housing frame (case frame). Since the sensor housing is fixed with respect to the body, transforming those "case frame" coordinates to body frame is a trivial matter.)
By the way, if I choose the so called principal axes as the coordinate and use Euler equation to find the torque, that equation can only tell me the torque with respect to the principal axes, right? How can I change that torque back to that defined in space frame?
Don't do that! The Euler equations are a special case of the equation I derived in the my post. From post #5,
\mathbf I \frac {d \boldsymbol \omega}{dt}\right =<br />
\boldsymbol{\tau}_{\text{ext}} -<br />
\boldsymbol{\omega}\times (\mathbf I \boldsymbol \omega)
Rearranging,
\mathbf I \frac {d \boldsymbol \omega}{dt}\right +<br />
\boldsymbol{\omega}\times (\mathbf I \boldsymbol \omega) =<br />
\boldsymbol{\tau}_{\text{ext}}
This is Euler's equations, written in a more general form. Suppose the inertia tensor is diagonal (i.e., principal axes):
I=\bmatrix I_1 & 0 & 0 \\ 0 & I_2 & 0 \\ 0 & 0 & I_3\endbmatrix
Denoting the angular velocity as \boldsymbol{\omega} = [\omega_1 \,\, \omega_2 \,\, \omega_3]^T, the
ith component of the angular momentum will be I_i \omega_i and the cross product \boldsymbol{\omega}\times (\mathbf I \boldsymbol \omega) will be
<br />
\boldsymbol{\omega}\times (\mathbf I \boldsymbol \omega) =<br />
\bmatrix \omega_1 \\ \omega_2 \\ \omega_3 \endbmatrix<br />
\times<br />
\bmatrix I_1\omega_1 \\ I_2\omega_2 \\ I_3\omega_3 \endbmatrix<br />
=<br />
\bmatrix<br />
(I_3-I_2)\omega_2\omega_3 \\<br />
(I_1-I_3)\omega_3\omega_1 \\<br />
(I_2-I_1)\omega_1\omega_2<br />
\endbmatrix<br />
Applying this to the equation in question,
\aligned<br />
I_1 \frac{d\boldsymbol{\omega}_1}{dt}\right + (I_3-I_2)\omega_2\omega_3 &= \tau_1 \\<br />
I_2 \frac{d\boldsymbol{\omega}_2}{dt}\right + (I_1-I_3)\omega_3\omega_1 &= \tau_2 \\<br />
I_3 \frac{d\boldsymbol{\omega}_3}{dt}\right + (I_2-I_1)\omega_1\omega_2 &= \tau_3<br />
\endaligned
Ta da! Euler's equations!