[Paper Review] Derivative of Rotation Matrix Direct Matrix Derivation of Well Known Formula

Fumio Hamano|arXiv (Cornell University)|Nov 23, 2013

Matrix Theory and Algorithms2 references10 citations

TL;DR

This paper presents a direct matrix derivation of the well-known formula for the time derivative of a 3D rotation matrix, showing that it equals a skew-symmetric matrix times the rotation matrix, where the skew-symmetric matrix is a linear function of angular velocity. The derivation leverages the Lie group structure of SO(3), providing a geometrically intuitive and rigorous foundation for a formula widely used in robotics and aerospace engineering.

ABSTRACT

In motion Kinematics, it is well-known that the time derivative of a 3x3rotation matrix equals a skew-symmetric matrix multiplied by the rotation matrix where the skew symmetric matrix is a linear (matrix valued) function of the angular velocity and the rotation matrix represents the rotating motion of a frame with respect to a reference frame. The equation is widely used in engineering, e.g., robotics, control, air/spacecraft modeling, etc. However, the derivations found in the literature are indirect. Motivated by the fact that the set of 3x3rotation matrices, i.e., SO(3), is a Lie group, forming a smooth (differentiable) manifold, we describe the infinitesimal increment of the rotation matrix in terms of rotation matrices and show that the above equation immediately follows.

Motivation & Objective

• To provide a direct, geometrically intuitive derivation of the time derivative of a 3D rotation matrix, avoiding indirect methods found in the literature.
• To establish a rigorous connection between the infinitesimal increment of a rotation matrix and the skew-symmetric matrix representation of angular velocity.
• To demonstrate that the standard formula in motion kinematics naturally emerges from the differential structure of the special orthogonal group SO(3).
• To offer a clearer, more transparent derivation for engineers and researchers working in robotics, control theory, and aerospace systems.
• To unify the understanding of rotation matrix dynamics through the lens of differential geometry and Lie group theory.

Proposed method

• Utilizes the Lie group structure of SO(3), treating rotation matrices as elements of a smooth manifold.
• Analyzes the infinitesimal increment of a rotation matrix using composition of rotations and matrix exponentials.
• Expresses the time derivative as the limit of a difference quotient involving rotation matrices and skew-symmetric generators.
• Derives the standard formula dR/dt = ΩR directly from the group structure, where Ω is the skew-symmetric matrix of angular velocity.
• Applies the Baker-Campbell-Hausdorff (BCH) type expansion to approximate the infinitesimal rotation increment.
• Establishes that the skew-symmetric matrix Ω is the generator of the one-parameter subgroup corresponding to angular velocity.

Experimental results

Research questions

• RQ1 How can the time derivative of a 3D rotation matrix be derived directly from matrix composition and group structure, without relying on indirect methods?
• RQ2 What is the geometric interpretation of the skew-symmetric matrix in the derivative formula dR/dt = ΩR within the SO(3) Lie group?
• RQ3 How does the infinitesimal increment of a rotation matrix relate to the angular velocity vector via matrix operations?
• RQ4 Can the standard kinematic formula for rotation matrix derivatives be derived purely from the differential properties of SO(3)?
• RQ5 What role does the Lie algebra so(3) play in characterizing the time derivative of a rotation matrix?

Key findings

• The time derivative of a 3D rotation matrix R(t) is directly shown to be dR/dt = ΩR, where Ω is a skew-symmetric matrix derived from angular velocity.
• The derivation is grounded in the intrinsic differential geometry of SO(3), providing a more natural and intuitive foundation than traditional approaches.
• The infinitesimal increment of R(t) is expressed as R(t) × exp(Δθ ×) ≈ R(t)(I + Δθ ×), where Δθ × is a skew-symmetric matrix representing angular velocity.
• The result confirms that the angular velocity vector generates the tangent vector to the rotation path on SO(3), consistent with Lie group theory.
• The method avoids coordinate-based or trigonometric derivations, offering a cleaner, more general formulation applicable to all rotation matrices.
• The approach validates the standard formula through a direct matrix derivation rooted in the smooth manifold structure of SO(3).