Time derivatives of vector expressions
Time derivatives of vector expressions describe how vector-valued functions change as time elapses. The key result: differentiating a vector requires accounting for changes in both its magnitude and its direction — and when expressed in a rotating frame, an extra term appears. Applies throughout kinematics, dynamics, electromagnetism, and orbital mechanics. Formalized by Euler, Coriolis, and Gibbs in the 18th–19th centuries.
A vector changes in two independent ways: it can stretch or shrink (change in magnitude) and it can turn (change in direction). The time derivative captures both. When the basis vectors themselves rotate — as in a non-inertial frame — their derivatives are nonzero and contribute extra terms. The master tool linking the two pictures is the transport theorem: the rate of change measured in a fixed frame equals the rate of change measured in a rotating frame plus .
Formal Statement
Let be a vector-valued function of time . In a fixed orthonormal basis , write . The time derivative is
Derivation hint: Because is constant in a fixed frame, the limit acts on each scalar component separately; linearity of the limit pulls it through the sum. Here are the components (scalars) and are the basis vectors (unit, mutually orthogonal). The result is again a vector.
The product rules generalize directly. For a scalar function and vectors :
Derivation hint: Apply the ordinary product rule to each component and resum.
Derivation hint: Expand the dot product as and apply the scalar product rule term by term.
Derivation hint: Write the cross product with the Levi-Civita symbol ; differentiate the product — order must be preserved since the cross product is non-commutative.
Unlike the dot product, the cross product is anti-commutative, so the two terms in may not be swapped: . Always keep each factor in its original left/right position.
If is constant, then is perpendicular to at every instant:
Derivation hint: Differentiate using ; the left side gives , the right gives .
Let frame rotate with angular velocity relative to a fixed frame . For any vector ,
Derivation hint: Write with rotating basis vectors. Differentiate; the component terms give , while generates the cross-product term.
Why It Holds
Step 1 — Componentwise differentiation. In a fixed frame the basis vectors satisfy . Apply the limit definition to :
Taking and using continuity of the basis yields .
Step 2 — Product rule for the dot product. Write . By the scalar product rule,
which is .
Step 3 — Perpendicularity. Set in :
If is constant, the left side is , forcing . Since neither vector is zero (generically), they are orthogonal. This proves .
∎Step 1. Express in the rotating basis: .
Step 2. Differentiate as seen from the fixed frame , applying the product rule to each term:
Step 3. The first sum is, by definition, the rate of change observed in (where the basis is held fixed): .
Step 4. Each rotating basis vector has constant magnitude, so by Euler's rotation kinematics . Therefore
Combining Steps 3 and 4 gives .
∎A French engineer-mathematician, Coriolis published Du calcul de l'effet des machines (1829) and his decisive 1835 paper on the equations of relative motion in rotating systems. By carefully tracking the time derivatives of position vectors in a rotating frame, he isolated the term that now bears his name. His work made the transport theorem an operational tool for engineering and meteorology, transforming abstract vector calculus into the language of weather systems and rotating machinery.
Building Intuition
Picture a vector as an arrow you are holding. There are exactly two things you can do to change it: stretch it (change its length) or rotate it (change its direction). The derivative is the velocity of the arrow's tip. Decompose that tip-velocity into a part along the arrow (stretching) and a part perpendicular to it (turning). Theorem says: if you forbid stretching (constant length), the tip can only move sideways — so the derivative is purely perpendicular. This is exactly why a planet in a circular orbit, moving at constant speed, still accelerates: its velocity vector keeps the same length but constantly turns, and that turning is the centripetal acceleration pointing inward.
Worked Examples
Given: A particle moves on a circle of radius with constant angular speed . Position vector:
Step 1 — Velocity via :
Speed: (constant).
Step 2 — Check perpendicularity via :
Step 3 — Acceleration:
Magnitude: , directed inward.
Given: A bead's position in a frame rotating about the -axis with is fixed in that frame at (so ). Find its velocity in the fixed frame.
Step 1 — Transport theorem :
Step 2 — Compute the cross product:
using at the instant the frames align.
Step 3 — Interpretation: Although the bead is stationary in the rotating frame, it moves at tangentially in the fixed frame — pure rotational carry-along.
Common Misconceptions
A common error is assuming . This is false: only the length is fixed; the direction may still change, giving a nonzero perpendicular derivative (Theorem ). The classic trap is concluding that uniform circular motion has zero acceleration "because the speed doesn't change."
Take . Its magnitude is for all — perfectly constant. Yet
with and . A vector can have a constant length and a derivative of equal length — perpendicular to it.
In a fixed Cartesian frame, , which justifies componentwise differentiation in . But in curvilinear (polar, cylindrical, spherical) or rotating frames, the basis vectors change direction with the particle's motion, so . Forgetting these extra terms is the single most common source of error in deriving acceleration in polar coordinates.
Connections
Time derivatives of vectors are the computational backbone of Kinematics (velocity and acceleration as derivatives of position) and Newtonian Mechanics (). The perpendicularity theorem explains the Frenet–Serret Formulas, where the derivatives of the unit tangent, normal, and binormal vectors are mutually orthogonal. The transport theorem generalizes into Rotating Reference Frames, producing the Coriolis Effect and centrifugal terms. The product rules – are special cases of differentiation in Vector Calculus, and the perpendicular component of connects to Angular Velocity via for rigid rotation.
Real-World Applications
Historical Development
Subtleties & Limits
The componentwise rule presumes a fixed basis; the deep subtlety is that "the time derivative of a vector" is frame-dependent — the transport theorem shows two observers in relative rotation disagree about even for the same physical vector. In curved spacetime (general relativity) and on curved manifolds, ordinary differentiation fails entirely because there is no canonical way to compare vectors at different points; one must introduce the covariant derivative and parallel transport, with the rate of change depending on the chosen connection. The practical open question for numerical work is how to integrate rotational kinematics () over long times without accumulating drift — addressed by quaternion-based and Lie-group integrators that preserve the constant-magnitude constraint of exactly.
See Also
Kinematics · Angular Velocity · Newtonian Mechanics · Vector Calculus · Frenet–Serret Formulas · Rotating Reference Frames · Coriolis Effect · Rigid Body Dynamics