Time derivatives of vector expressions

⚡ Key Takeaways

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 ω×r\boldsymbol{\omega}\times\mathbf{r} appears. Applies throughout kinematics, dynamics, electromagnetism, and orbital mechanics. Formalized by Euler, Coriolis, and Gibbs in the 18th–19th centuries.

💡 The Core Insight

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 ω×(the vector)\boldsymbol{\omega}\times(\text{the vector}).

Formal Statement

DefinitionTime derivative of a vector function

Let v:R→R3\mathbf{v}:\mathbb{R}\to\mathbb{R}^3 be a vector-valued function of time tt. In a fixed orthonormal basis {e^1,e^2,e^3}\{\hat{\mathbf{e}}_1,\hat{\mathbf{e}}_2,\hat{\mathbf{e}}_3\}, write v(t)=∑ivi(t) e^i\mathbf{v}(t)=\sum_i v_i(t)\,\hat{\mathbf{e}}_i. The time derivative is

1
dvdt=lim⁡Δt→0v(t+Δt)−v(t)Δt=∑i=13dvidt e^i.\quad \frac{d\mathbf{v}}{dt} = \lim_{\Delta t\to 0}\frac{\mathbf{v}(t+\Delta t)-\mathbf{v}(t)}{\Delta t} = \sum_{i=1}^{3}\frac{dv_i}{dt}\,\hat{\mathbf{e}}_i.

Derivation hint: Because e^i\hat{\mathbf{e}}_i is constant in a fixed frame, the limit acts on each scalar component separately; linearity of the limit pulls it through the sum. Here vi(t)v_i(t) are the components (scalars) and e^i\hat{\mathbf{e}}_i are the basis vectors (unit, mutually orthogonal). The result dv/dtd\mathbf{v}/dt is again a vector.

The product rules generalize directly. For a scalar function f(t)f(t) and vectors u(t),v(t)\mathbf{u}(t),\mathbf{v}(t):

2
ddt(f u)=dfdt u+f dudt.\quad \frac{d}{dt}(f\,\mathbf{u}) = \frac{df}{dt}\,\mathbf{u} + f\,\frac{d\mathbf{u}}{dt}.

Derivation hint: Apply the ordinary product rule to each component f uif\,u_i and resum.

3
ddt(u⋅v)=dudt⋅v+u⋅dvdt.\quad \frac{d}{dt}(\mathbf{u}\cdot\mathbf{v}) = \frac{d\mathbf{u}}{dt}\cdot\mathbf{v} + \mathbf{u}\cdot\frac{d\mathbf{v}}{dt}.

Derivation hint: Expand the dot product as ∑iuivi\sum_i u_i v_i and apply the scalar product rule term by term.

4
ddt(u×v)=dudt×v+u×dvdt.\quad \frac{d}{dt}(\mathbf{u}\times\mathbf{v}) = \frac{d\mathbf{u}}{dt}\times\mathbf{v} + \mathbf{u}\times\frac{d\mathbf{v}}{dt}.

Derivation hint: Write the cross product with the Levi-Civita symbol (u×v)k=ϵijkuivj(\mathbf{u}\times\mathbf{v})_k=\epsilon_{ijk}u_i v_j; differentiate the product uivju_i v_j — order must be preserved since the cross product is non-commutative.

⚠️ Order matters in the cross-product rule

Unlike the dot product, the cross product is anti-commutative, so the two terms in [4][4] may not be swapped: dudt×v≠v×dudt\dfrac{d\mathbf{u}}{dt}\times\mathbf{v}\neq\mathbf{v}\times\dfrac{d\mathbf{u}}{dt}. Always keep each factor in its original left/right position.

TheoremDerivative of a unit vector / constant-magnitude vector

If ∣v(t)∣|\mathbf{v}(t)| is constant, then dv/dtd\mathbf{v}/dt is perpendicular to v\mathbf{v} at every instant:

5
∣v∣=const  ⟹  v⋅dvdt=0.\quad |\mathbf{v}|=\text{const}\;\Longrightarrow\;\mathbf{v}\cdot\frac{d\mathbf{v}}{dt}=0.

Derivation hint: Differentiate v⋅v=∣v∣2=const\mathbf{v}\cdot\mathbf{v}=|\mathbf{v}|^2=\text{const} using [3][3]; the left side gives 2 v⋅dv/dt2\,\mathbf{v}\cdot d\mathbf{v}/dt, the right gives 00.

TheoremTransport theorem / rotating-frame rule

Let frame S′S' rotate with angular velocity ω(t)\boldsymbol{\omega}(t) relative to a fixed frame SS. For any vector A\mathbf{A},

6
(dAdt)S=(dAdt)S′+ω×A.\quad \left(\frac{d\mathbf{A}}{dt}\right)_{S} = \left(\frac{d\mathbf{A}}{dt}\right)_{S'} + \boldsymbol{\omega}\times\mathbf{A}.

Derivation hint: Write A=∑iAi e^i′\mathbf{A}=\sum_i A_i\,\hat{\mathbf{e}}_i' with rotating basis vectors. Differentiate; the component terms give (dA/dt)S′(d\mathbf{A}/dt)_{S'}, while de^i′/dt=ω×e^i′d\hat{\mathbf{e}}_i'/dt=\boldsymbol{\omega}\times\hat{\mathbf{e}}_i' generates the cross-product term.

Why It Holds

ProofComponentwise rule and the perpendicularity theorem

Step 1 — Componentwise differentiation. In a fixed frame the basis vectors satisfy de^i/dt=0d\hat{\mathbf{e}}_i/dt=\mathbf{0}. Apply the limit definition to v=∑ivie^i\mathbf{v}=\sum_i v_i\hat{\mathbf{e}}_i:

v(t+Δt)−v(t)Δt=∑ivi(t+Δt)−vi(t)Δt e^i.\frac{\mathbf{v}(t+\Delta t)-\mathbf{v}(t)}{\Delta t}=\sum_i \frac{v_i(t+\Delta t)-v_i(t)}{\Delta t}\,\hat{\mathbf{e}}_i.

Taking Δt→0\Delta t\to 0 and using continuity of the basis yields [1][1].

Step 2 — Product rule for the dot product. Write u⋅v=∑iuivi\mathbf{u}\cdot\mathbf{v}=\sum_i u_i v_i. By the scalar product rule,

ddt∑iuivi=∑i(u˙ivi+uiv˙i)=u˙⋅v+u⋅v˙,\frac{d}{dt}\sum_i u_i v_i = \sum_i\left(\dot u_i v_i + u_i\dot v_i\right) = \dot{\mathbf{u}}\cdot\mathbf{v}+\mathbf{u}\cdot\dot{\mathbf{v}},

which is [3][3].

Step 3 — Perpendicularity. Set u=v\mathbf{u}=\mathbf{v} in [3][3]:

ddt(v⋅v)=2 v⋅v˙.\frac{d}{dt}(\mathbf{v}\cdot\mathbf{v}) = 2\,\mathbf{v}\cdot\dot{\mathbf{v}}.

If ∣v∣|\mathbf{v}| is constant, the left side is ddt∣v∣2=0\frac{d}{dt}|\mathbf{v}|^2=0, forcing v⋅v˙=0\mathbf{v}\cdot\dot{\mathbf{v}}=0. Since neither vector is zero (generically), they are orthogonal. This proves [5][5]. ■\blacksquare

∎
ProofTransport theorem

Step 1. Express A\mathbf{A} in the rotating basis: A=∑iAi e^i′\mathbf{A}=\sum_i A_i\,\hat{\mathbf{e}}_i'.

Step 2. Differentiate as seen from the fixed frame SS, applying the product rule [2][2] to each term:

(dAdt)S=∑idAidt e^i′+∑iAi de^i′dt.\left(\frac{d\mathbf{A}}{dt}\right)_S = \sum_i \frac{dA_i}{dt}\,\hat{\mathbf{e}}_i' + \sum_i A_i\,\frac{d\hat{\mathbf{e}}_i'}{dt}.

Step 3. The first sum is, by definition, the rate of change observed in S′S' (where the basis is held fixed): (dA/dt)S′=∑iA˙i e^i′(d\mathbf{A}/dt)_{S'}=\sum_i \dot A_i\,\hat{\mathbf{e}}_i'.

Step 4. Each rotating basis vector has constant magnitude, so by Euler's rotation kinematics de^i′/dt=ω×e^i′d\hat{\mathbf{e}}_i'/dt=\boldsymbol{\omega}\times\hat{\mathbf{e}}_i'. Therefore

∑iAi de^i′dt=ω×∑iAie^i′=ω×A.\sum_i A_i\,\frac{d\hat{\mathbf{e}}_i'}{dt} = \boldsymbol{\omega}\times\sum_i A_i\hat{\mathbf{e}}_i' = \boldsymbol{\omega}\times\mathbf{A}.

Combining Steps 3 and 4 gives [6][6]. ■\blacksquare

∎
GD
Gaspard-Gustave de Coriolis
1792–1843

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 2 ω×vrel2\,\boldsymbol{\omega}\times\mathbf{v}_{\text{rel}} that now bears his name. His work made the transport theorem [6][6] an operational tool for engineering and meteorology, transforming abstract vector calculus into the language of weather systems and rotating machinery.

Building Intuition

🧠 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 dv/dtd\mathbf{v}/dt 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 [5][5] 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.

Figure
A constant-magnitude vector and its perpendicular derivative
v dv/dt ● |v| = const ⇒ dv/dt ⊥ v tip traces a circle of radius |v|

Worked Examples

ExampleVelocity and acceleration in uniform circular motion

Given: A particle moves on a circle of radius R=2.0 mR=2.0\ \text{m} with constant angular speed ω=3.0 rad/s\omega=3.0\ \text{rad/s}. Position vector:

r(t)=Rcos⁡(ωt) e^x+Rsin⁡(ωt) e^y.\mathbf{r}(t)=R\cos(\omega t)\,\hat{\mathbf{e}}_x + R\sin(\omega t)\,\hat{\mathbf{e}}_y.

Step 1 — Velocity via [1][1]:

v=drdt=−Rωsin⁡(ωt) e^x+Rωcos⁡(ωt) e^y.\mathbf{v}=\frac{d\mathbf{r}}{dt}=-R\omega\sin(\omega t)\,\hat{\mathbf{e}}_x + R\omega\cos(\omega t)\,\hat{\mathbf{e}}_y.

Speed: ∣v∣=Rω=2.0×3.0=6.0 m/s|\mathbf{v}|=R\omega=2.0\times3.0=6.0\ \text{m/s} (constant).

Step 2 — Check perpendicularity via [5][5]:

r⋅v=−R2ωcos⁡sin⁡+R2ωsin⁡cos⁡=0.  ✓\mathbf{r}\cdot\mathbf{v}=-R^2\omega\cos\sin + R^2\omega\sin\cos = 0.\;\checkmark

Step 3 — Acceleration:

a=dvdt=−Rω2cos⁡(ωt) e^x−Rω2sin⁡(ωt) e^y=−ω2 r.\mathbf{a}=\frac{d\mathbf{v}}{dt}=-R\omega^2\cos(\omega t)\,\hat{\mathbf{e}}_x - R\omega^2\sin(\omega t)\,\hat{\mathbf{e}}_y = -\omega^2\,\mathbf{r}.

Magnitude: ∣a∣=Rω2=2.0×(3.0)2=18 m/s2|\mathbf{a}|=R\omega^2 = 2.0\times(3.0)^2 = 18\ \text{m/s}^2, directed inward.

∣v∣=6.0 m/s,∣a∣=18 m/s2 (centripetal)\boxed{|\mathbf{v}|=6.0\ \text{m/s},\qquad |\mathbf{a}|=18\ \text{m/s}^2\ \text{(centripetal)}}
ExampleApplying the transport theorem

Given: A bead's position in a frame rotating about the zz-axis with ω=2.0 e^z rad/s\boldsymbol{\omega}=2.0\,\hat{\mathbf{e}}_z\ \text{rad/s} is fixed in that frame at A=3.0 e^x′ m\mathbf{A}=3.0\,\hat{\mathbf{e}}_x'\ \text{m} (so (dA/dt)S′=0(d\mathbf{A}/dt)_{S'}=\mathbf{0}). Find its velocity in the fixed frame.

Step 1 — Transport theorem [6][6]:

(dAdt)S=0+ω×A.\left(\frac{d\mathbf{A}}{dt}\right)_S = \mathbf{0} + \boldsymbol{\omega}\times\mathbf{A}.

Step 2 — Compute the cross product:

ω×A=(2.0 e^z)×(3.0 e^x′)=6.0 e^y′ m/s,\boldsymbol{\omega}\times\mathbf{A} = (2.0\,\hat{\mathbf{e}}_z)\times(3.0\,\hat{\mathbf{e}}_x') = 6.0\,\hat{\mathbf{e}}_y'\ \text{m/s},

using e^z×e^x′=e^y′\hat{\mathbf{e}}_z\times\hat{\mathbf{e}}_x'=\hat{\mathbf{e}}_y' at the instant the frames align.

Step 3 — Interpretation: Although the bead is stationary in the rotating frame, it moves at 6.0 m/s6.0\ \text{m/s} tangentially in the fixed frame — pure rotational carry-along.

(dAdt)S=6.0 e^y′ m/s\boxed{\left(\tfrac{d\mathbf{A}}{dt}\right)_S = 6.0\,\hat{\mathbf{e}}_y'\ \text{m/s}}

Common Misconceptions

⚠️ Constant magnitude ≠ constant vector

A common error is assuming ∣v∣=const⇒dv/dt=0|\mathbf{v}|=\text{const}\Rightarrow d\mathbf{v}/dt=\mathbf{0}. This is false: only the length is fixed; the direction may still change, giving a nonzero perpendicular derivative (Theorem [5][5]). The classic trap is concluding that uniform circular motion has zero acceleration "because the speed doesn't change."

CounterexampleA unit vector with nonzero derivative

Take u^(t)=cos⁡t e^x+sin⁡t e^y\hat{\mathbf{u}}(t)=\cos t\,\hat{\mathbf{e}}_x+\sin t\,\hat{\mathbf{e}}_y. Its magnitude is ∣u^∣=cos⁡2t+sin⁡2t=1|\hat{\mathbf{u}}|=\sqrt{\cos^2 t+\sin^2 t}=1 for all tt — perfectly constant. Yet

du^dt=−sin⁡t e^x+cos⁡t e^y≠0,\frac{d\hat{\mathbf{u}}}{dt}=-\sin t\,\hat{\mathbf{e}}_x+\cos t\,\hat{\mathbf{e}}_y\neq\mathbf{0},

with ∣du^/dt∣=1|d\hat{\mathbf{u}}/dt|=1 and u^⋅du^/dt=−cos⁡tsin⁡t+sin⁡tcos⁡t=0\hat{\mathbf{u}}\cdot d\hat{\mathbf{u}}/dt=-\cos t\sin t+\sin t\cos t=0. A vector can have a constant length and a derivative of equal length — perpendicular to it.

⚠️ The derivative of a basis vector is not always zero

In a fixed Cartesian frame, de^i/dt=0d\hat{\mathbf{e}}_i/dt=\mathbf{0}, which justifies componentwise differentiation in [1][1]. But in curvilinear (polar, cylindrical, spherical) or rotating frames, the basis vectors change direction with the particle's motion, so de^r/dt≠0d\hat{\mathbf{e}}_r/dt\neq\mathbf{0}. Forgetting these extra terms is the single most common source of error in deriving acceleration in polar coordinates.

Connections

connection

Time derivatives of vectors are the computational backbone of Kinematics (velocity and acceleration as derivatives of position) and Newtonian Mechanics (F=dp/dt\mathbf{F}=d\mathbf{p}/dt). The perpendicularity theorem [5][5] explains the Frenet–Serret Formulas, where the derivatives of the unit tangent, normal, and binormal vectors are mutually orthogonal. The transport theorem [6][6] generalizes into Rotating Reference Frames, producing the Coriolis Effect and centrifugal terms. The product rules [2][2]–[4][4] are special cases of differentiation in Vector Calculus, and the perpendicular component of dv/dtd\mathbf{v}/dt connects to Angular Velocity via v˙=ω×v\dot{\mathbf{v}}=\boldsymbol{\omega}\times\mathbf{v} for rigid rotation.

Real-World Applications

🔬 Where this appears

Historical Development

⏳ History
- 1687 — Isaac Newton formulates the laws of motion in Principia, implicitly treating force as the time rate of change of momentum, though using geometric rather than vector language.
- 1749–1765 — Leonhard Euler develops rigid-body rotation kinematics, establishing de^/dt=ω×e^d\hat{\mathbf{e}}/dt=\boldsymbol{\omega}\times\hat{\mathbf{e}}, the seed of the transport theorem.
- 1788 — Joseph-Louis Lagrange's Mécanique analytique recasts dynamics analytically, foregrounding derivatives of coordinate functions.
- 1835 — Gaspard-Gustave de Coriolis publishes his analysis of relative motion in rotating frames, isolating the Coriolis term from differentiating position vectors.
- 1843 — William Rowan Hamilton invents quaternions, providing the first algebra that handles vector rotation and its derivatives natively.
- 1880s — Josiah Willard Gibbs and Oliver Heaviside develop modern vector analysis, formalizing the dot- and cross-product derivative rules [3][3]–[4][4].
- 1901 — Gibbs and E. B. Wilson's textbook Vector Analysis standardizes the notation dv/dtd\mathbf{v}/dt used today.
- 1910s–1920s — Vector and tensor time-derivative methods become standard in dynamics texts and feed into relativity and continuum mechanics.

Subtleties & Limits

open-problem

The componentwise rule [1][1] presumes a fixed basis; the deep subtlety is that "the time derivative of a vector" is frame-dependent — the transport theorem [6][6] shows two observers in relative rotation disagree about dA/dtd\mathbf{A}/dt 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 ([6][6]) over long times without accumulating drift — addressed by quaternion-based and Lie-group integrators that preserve the constant-magnitude constraint of [5][5] exactly.

See Also

Kinematics · Angular Velocity · Newtonian Mechanics · Vector Calculus · Frenet–Serret Formulas · Rotating Reference Frames · Coriolis Effect · Rigid Body Dynamics