| Part of a series on |
| Classical mechanics |
|---|
Core topics |
Inclassical mechanics,Euler's rotation equations are a vectorial quasilinearfirst-order ordinary differential equation describing the rotation of arigid body, using arotating reference frame withangular velocity ω whose axes are fixed to the body. They are named in honour ofLeonhard Euler.
In the absence of appliedtorques, one obtains theEuler top. When the torques are due togravity, there are special cases when the motion of the top isintegrable.
Their general vector form is
whereM is the appliedtorques andI is theinertia matrix.The vector is theangular acceleration. Again, note that all quantities are defined in the rotating reference frame.
Inorthogonal principal axes of inertia coordinates the equations become
whereMk are the components of the applied torques,Ik are theprincipal moments of inertia and ωk are the components of the angular velocity.
In aninertial frame of reference (subscripted "in"),Euler's second law states that thetime derivative of theangular momentumL equals the appliedtorque:
For point particles such that the internal forces arecentral forces, this may be derived usingNewton's second law.For a rigid body, one has the relation between angular momentum and themoment of inertiaIin given as
In the inertial frame, the differential equation is not always helpful in solving for the motion of a general rotating rigid body, as bothIin andω can change during the motion. One may instead change to a coordinate frame fixed in the rotating body, in which the moment of inertia tensor is constant. Using a reference frame such as that at the center of mass, the frame's position drops out of the equations.In any rotating reference frame, the time derivative must be replaced so that the equation becomes
and so the cross product arises, seetime derivative in rotating reference frame.The vector components of the torque in the inertial and the rotating frames are related bywhere is the rotation tensor (notrotation matrix), anorthogonal tensor related to the angular velocity vector byfor any vectoru.Now is substituted and the time derivatives are taken in the rotating frame, while realizing that the particle positions and the inertia tensor does not depend on time. This leads to the general vector form of Euler's equations which are valid in such a frame
The equations are also derived from Newton's laws in the discussion of theresultant torque.
More generally, by the tensor transform rules, any rank-2 tensor has a time-derivative such that for any vector, one has. This yields the Euler's equations by plugging in
When choosing a frame so that its axes are aligned with the principal axes of the inertia tensor, its component matrix is diagonal, which further simplifies calculations. As described in themoment of inertia article, the angular momentumL can then be written
Also in some frames not tied to the body can it be possible to obtain such simple (diagonal tensor) equations for the rate of change of the angular momentum. Thenω must be the angular velocity for rotation of that frames axes instead of the rotation of the body. It is however still required that the chosen axes are still principal axes of inertia. The resulting form of the Euler rotation equations is useful for rotation-symmetric objects that allow some of the principal axes of rotation to be chosen freely.
Torque-freeprecessions are non-trivial solution for the situation where the torque on theright hand side is zero. WhenI is not constant in the external reference frame (i.e. the body is moving and its inertia tensor is not constantly diagonal) thenI cannot be pulled through thederivative operator acting onL. In this caseI(t) andω(t) do change together in such a way that the derivative of their product is still zero. This motion can be visualized byPoinsot's construction.
The Euler equations can be generalized to anysimple Lie algebra.[1] The original Euler equations come from fixing the Lie algebra to be, with generators satisfying the relation. Then if (where is a time coordinate, not to be confused with basis vectors) is an-valued function of time, and (with respect to the Lie algebra basis), then the (untorqued) original Euler equations can be written[2]To define in a basis-independent way, it must be a self-adjoint map on the Lie algebra with respect to theinvariant bilinear form on. This expression generalizes readily to an arbitrary simple Lie algebra, say in the standard classification of simple Lie algebras.
This can also be viewed as aLax pair formulation of the generalized Euler equations, suggesting their integrability.