Vector-Valued Functions

⚡ Key Takeaways

Vector-valued functions map a scalar parameter (usually time $t$ ) to a vector in $\mathbb{R}^n$ , written $\mathbf{r}(t) = \langle x(t), y(t), z(t)\rangle$ . They trace curves in space; their calculus (limits, derivatives, integrals) is performed component-wise, yielding velocity, acceleration, arc length, and curvature. They are the foundational language of kinematics, differential geometry of curves, and parametric modeling. Developed through the 19th-century work of Hamilton, Grassmann, and Gibbs.

💡 The Core Insight

A vector-valued function is one curve carried by several scalar functions. Every analytic operation — limit, derivative, integral, Taylor expansion — passes through the vector and acts on each component separately, because the standard basis vectors $\mathbf{i}, \mathbf{j}, \mathbf{k}$ are constant. The geometry (tangent, normal, curvature) then emerges by reparametrizing and renormalizing these derivatives.

DefinitionVector-Valued Function

A vector-valued function of a real variable is a map

1

\quad \mathbf{r}(t) = \langle f(t),\, g(t),\, h(t)\rangle = f(t)\,\mathbf{i} + g(t)\,\mathbf{j} + h(t)\,\mathbf{k},

Derivation hint: a vector in $\mathbb{R}^3$ is a linear combination of the constant orthonormal basis $\mathbf{i},\mathbf{j},\mathbf{k}$ ; allowing the coefficients to be functions of $t$ produces the vector function. where $t$ ranges over an interval $I \subseteq \mathbb{R}$ (the parameter domain), and $f, g, h: I \to \mathbb{R}$ are the component (coordinate) functions. The domain of $\mathbf{r}$ is the intersection of the domains of $f$ , $g$ , $h$ . The image $\{\mathbf{r}(t) : t \in I\}$ is a space curve $C$ , and the equations $x = f(t),\, y = g(t),\, z = h(t)$ are its parametric equations.

DefinitionLimit of a Vector Function

The limit is taken component-wise:

2

\quad \lim_{t\to a}\mathbf{r}(t) = \Big\langle \lim_{t\to a} f(t),\ \lim_{t\to a} g(t),\ \lim_{t\to a} h(t)\Big\rangle,

Derivation hint: convergence in $\mathbb{R}^n$ under the Euclidean norm is equivalent to convergence in each coordinate, since $|x_i - L_i| \le \|\mathbf{x}-\mathbf{L}\| \le \sum_j |x_j - L_j|$ . provided each component limit exists. $\mathbf{r}$ is continuous at $a$ iff $\lim_{t\to a}\mathbf{r}(t) = \mathbf{r}(a)$ , equivalently iff each component function is continuous at $a$ .

DefinitionDerivative and Integral

The derivative is the component-wise (and limit) definition

3

\quad \mathbf{r}'(t) = \lim_{h\to 0}\frac{\mathbf{r}(t+h)-\mathbf{r}(t)}{h} = \langle f'(t),\, g'(t),\, h'(t)\rangle,

Derivation hint: substitute the components into the difference quotient; the limit distributes across the three coordinates by equation [2]. and the definite integral is likewise

4

\quad \int_a^b \mathbf{r}(t)\,dt = \Big\langle \int_a^b f(t)\,dt,\ \int_a^b g(t)\,dt,\ \int_a^b h(t)\,dt\Big\rangle.

Derivation hint: a Riemann sum of vectors is the vector of component Riemann sums because vector addition and scalar multiplication act coordinate-wise. The vector $\mathbf{r}'(t)$ , when nonzero, is tangent to the curve and points in the direction of increasing $t$ .

TheoremDifferentiation Rules

Let $\mathbf{u},\mathbf{v}$ be differentiable vector functions, $c$ a scalar, $\phi(t)$ a differentiable scalar function. Then:

5

\quad \frac{d}{dt}[\mathbf{u}\cdot\mathbf{v}] = \mathbf{u}'\cdot\mathbf{v} + \mathbf{u}\cdot\mathbf{v}', \qquad \frac{d}{dt}[\mathbf{u}\times\mathbf{v}] = \mathbf{u}'\times\mathbf{v} + \mathbf{u}\times\mathbf{v}'.

Derivation hint: write the dot/cross product in components, apply the ordinary scalar product rule term by term, and regroup; for the cross product the factor order must be preserved since it is non-commutative.

6

\quad \frac{d}{dt}\,\mathbf{u}(\phi(t)) = \phi'(t)\,\mathbf{u}'(\phi(t)) \quad\text{(Chain Rule)}.

Derivation hint: apply the scalar chain rule to each component of $\mathbf{u}\circ\phi$ .

TheoremConstant-Length Orthogonality

If $\|\mathbf{r}(t)\|$ is constant on an interval, then $\mathbf{r}'(t) \perp \mathbf{r}(t)$ for all $t$ :

7

\quad \|\mathbf{r}(t)\| = c \;\Longrightarrow\; \mathbf{r}(t)\cdot\mathbf{r}'(t) = 0.

Derivation hint: differentiate $\mathbf{r}\cdot\mathbf{r} = c^2$ using the dot-product rule [5] to get $2\,\mathbf{r}\cdot\mathbf{r}' = 0$ .

ProofComponent-Wise Derivative

Goal: show equation [3], that the limit-definition derivative equals the vector of component derivatives. 1. Write $\mathbf{r}(t) = \langle f(t), g(t), h(t)\rangle$ and form the difference quotient

\frac{\mathbf{r}(t+h)-\mathbf{r}(t)}{h} = \left\langle \frac{f(t+h)-f(t)}{h},\ \frac{g(t+h)-g(t)}{h},\ \frac{h(t+h)-h(t)}{h}\right\rangle.

2. This is valid because vector subtraction and scalar division (by $h$ ) are performed coordinate-by-coordinate. 3. Take the limit $h \to 0$ . By the limit theorem [2], the limit of the vector equals the vector of the component limits. 4. Each component limit is, by definition, the ordinary derivative of that scalar function: $f'(t)$ , $g'(t)$ , $h'(t)$ . 5. Therefore $\mathbf{r}'(t) = \langle f'(t), g'(t), h'(t)\rangle$ , proving the components differentiate independently. $\blacksquare$

∎

ProofArc Length Formula

Goal: establish that the length of a smooth curve $\mathbf{r}(t)$ , $t\in[a,b]$ , is

8

\quad L = \int_a^b \|\mathbf{r}'(t)\|\,dt = \int_a^b \sqrt{f'(t)^2 + g'(t)^2 + h'(t)^2}\;dt.

Derivation hint: approximate the curve by inscribed polygonal chords and pass to the limit using the Mean Value Theorem on each component. 1. Partition $[a,b]$ into $a = t_0 < t_1 < \dots < t_n = b$ . The polygonal approximation has length $\sum_i \|\mathbf{r}(t_i) - \mathbf{r}(t_{i-1})\|$ . 2. By the Mean Value Theorem applied to each component on $[t_{i-1},t_i]$ , there exist $t_i^*$ with $f(t_i)-f(t_{i-1}) = f'(t_i^*)\,\Delta t_i$ , and similarly for $g,h$ . 3. Hence $\|\mathbf{r}(t_i)-\mathbf{r}(t_{i-1})\| \approx \sqrt{f'^2+g'^2+h'^2}\,\Delta t_i$ (the MVT sample points may differ per component, but they coincide in the limit by continuity). 4. The sum is a Riemann sum for $\int_a^b \|\mathbf{r}'(t)\|\,dt$ ; refining the partition ( $\max\Delta t_i \to 0$ ) gives the integral. 5. This limit is independent of the parametrization (an orientation-preserving change of parameter leaves $L$ invariant by the substitution rule). $\blacksquare$

∎

WR

William Rowan Hamilton

1805–1865

The Irish mathematician Hamilton invented quaternions in 1843 (famously carving the multiplication rule into Brougham Bridge), creating the first algebra in which vectors could be added, multiplied, and differentiated as objects in their own right. He coined the words "scalar" and "vector" and developed the differential operator $\nabla$ (nabla). Although modern vector calculus stripped quaternions down to their 3-dimensional vector part, Hamilton's insistence that a directed quantity could be a single mathematical entity — and that one could take $d\mathbf{r}/dt$ — is the direct ancestor of the vector-valued function.

🧠 Intuition

Picture a particle flying through space. At each instant $t$ its location is a single point, captured by the arrow $\mathbf{r}(t)$ from the origin. Run the clock forward and the arrowhead draws a curve. Now zoom in on a tiny time step: the displacement $\mathbf{r}(t+h) - \mathbf{r}(t)$ is a short chord. Divide by $h$ and shrink $h$ — the chord swings into the tangent line, and its length scales to the speed. That is why $\mathbf{r}'(t)$ is simultaneously the velocity (physics) and the tangent vector (geometry). The orthogonality theorem [7] has a vivid picture: if a point is confined to a sphere of fixed radius (constant $\|\mathbf{r}\|$ ), it can only move along the surface, never radially — so its velocity must be tangent to the sphere, i.e. perpendicular to the radius. This single idea generates the entire moving frame: the unit tangent $\mathbf{T}$ has constant length 1, so $\mathbf{T}'$ is perpendicular to it, defining the normal direction $\mathbf{N}$ .

Figure

A space curve

\mathbf{r}(t)

with position, velocity (tangent), and the secant chord that becomes the tangent in the limit.

ExampleVelocity, Speed, and Arc Length of a Helix

Given: $\mathbf{r}(t) = \langle 3\cos t,\ 3\sin t,\ 4t\rangle$ , $t\in[0,\,2\pi]$ (units: meters; $t$ in seconds for the kinematic reading).

Step 1 — Velocity. Differentiate component-wise (eq. [3]):

\mathbf{r}'(t) = \langle -3\sin t,\ 3\cos t,\ 4\rangle.

Step 2 — Speed. Take the magnitude:

\|\mathbf{r}'(t)\| = \sqrt{9\sin^2 t + 9\cos^2 t + 16} = \sqrt{9+16} = \sqrt{25} = 5.

The speed is constant: $5$ m/s.

Step 3 — Arc length over one full turn (eq. [8]):

L = \int_0^{2\pi} 5\,dt = 5(2\pi) = 10\pi.

Step 4 — Acceleration (second derivative):

\mathbf{r}''(t) = \langle -3\cos t,\ -3\sin t,\ 0\rangle, \quad \|\mathbf{r}''\| = 3.

\boxed{\ \|\mathbf{r}'\| = 5\ \text{m/s}, \qquad L = 10\pi \approx 31.42\ \text{m}, \qquad \|\mathbf{r}''\| = 3\ \text{m/s}^2\ }

Notice that although the speed is constant, the acceleration is nonzero — it changes direction, not magnitude (cf. theorem [7]).

ExampleProjectile as a Vector Function

Given: A ball launched from the origin with initial velocity $\mathbf{v}_0 = \langle 20,\ 0,\ 15\rangle$ m/s under gravity $\mathbf{a} = \langle 0,\ 0,\ -9.8\rangle$ m/s². Find $\mathbf{r}(t)$ , the time of flight, and range.

Step 1 — Integrate acceleration (eq. [4]) to get velocity, using $\mathbf{v}(0)=\mathbf{v}_0$ :

\mathbf{v}(t) = \int \mathbf{a}\,dt = \langle 20,\ 0,\ 15 - 9.8t\rangle.

Step 2 — Integrate velocity to get position, with $\mathbf{r}(0)=\mathbf{0}$ :

\mathbf{r}(t) = \big\langle 20t,\ 0,\ 15t - 4.9t^2\big\rangle.

Step 3 — Time of flight. Set $z = 0$ (other than $t=0$ ):

15t - 4.9t^2 = 0 \ \Rightarrow\ t = \frac{15}{4.9} \approx 3.06\ \text{s}.

Step 4 — Horizontal range. The $x$ -coordinate at landing:

x = 20 \times 3.06 \approx 61.2\ \text{m}.

\boxed{\ \mathbf{r}(t) = \langle 20t,\ 0,\ 15t-4.9t^2\rangle, \qquad t_{\text{flight}}\approx 3.06\ \text{s}, \qquad \text{range}\approx 61.2\ \text{m}\ }

⚠️ Common mistake

The derivative of the magnitude is NOT the magnitude of the derivative. In general

\frac{d}{dt}\|\mathbf{r}(t)\| \ne \|\mathbf{r}'(t)\|.

The correct rule (from differentiating $\sqrt{\mathbf{r}\cdot\mathbf{r}}$ ) is $\dfrac{d}{dt}\|\mathbf{r}\| = \dfrac{\mathbf{r}\cdot\mathbf{r}'}{\|\mathbf{r}\|}$ . The left side measures how the distance from the origin changes (radial speed); the right side measures the total speed. They agree only when motion is purely radial.

Other frequent errors:

Forgetting that the cross-product rule [5] is order-sensitive: $\mathbf{u}'\times\mathbf{v} + \mathbf{u}\times\mathbf{v}'$ , never $\mathbf{v}\times\mathbf{u}'+\dots$ .
Treating the constant of integration as a scalar; in eq. [4] the antiderivative constant is a vector $\mathbf{C}$ .
Confusing the curve (the image set) with the parametrization (the function). Many functions trace the same curve.

Counterexample

Consider $\mathbf{r}(t) = \langle \cos t,\ \sin t\rangle$ on the unit circle. Here $\|\mathbf{r}(t)\| = 1$ is constant, so

\frac{d}{dt}\|\mathbf{r}(t)\| = 0,

yet

\mathbf{r}'(t) = \langle -\sin t,\ \cos t\rangle, \qquad \|\mathbf{r}'(t)\| = 1 \ne 0.

The magnitude of the position never changes, but the velocity is decidedly nonzero — a concrete demonstration that $\frac{d}{dt}\|\mathbf{r}\| \ne \|\mathbf{r}'\|$ , and a direct illustration of theorem [7]: $\mathbf{r}\cdot\mathbf{r}' = -\cos t\sin t + \sin t\cos t = 0$ .

connection

Vector-valued functions sit at a crossroads of several theories.

They are the single-variable special case of Parametric Surfaces and of general maps $\mathbb{R}^m \to \mathbb{R}^n$ studied in Multivariable Calculus.
Their derivatives generate the Frenet–Serret frame $(\mathbf{T},\mathbf{N},\mathbf{B})$ studied in Curvature and Torsion and the broader Differential Geometry of Curves.
As models of motion they feed directly into Newtonian Mechanics and Kinematics, where $\mathbf{r},\mathbf{v},\mathbf{a}$ are position, velocity, acceleration.
Integrating a vector field along such a curve is the subject of Line Integrals and the Fundamental Theorem of Line Integrals.
The component-wise limit structure is justified rigorously by Convergence in Normed Spaces.

🔬 Where this appears

⏳ History

- 1799–1828 — Caspar Wessel, Jean-Robert Argand, and Carl Friedrich Gauss represent complex numbers as directed plane segments, seeding the idea of an arrow as a computable object.

- 1843 — William Rowan Hamilton invents quaternions, defining "vector," "scalar," and the operator

\nabla

; vectors gain an algebra.

- 1844 — Hermann Grassmann publishes Die lineale Ausdehnungslehre, an abstract theory of

n

-dimensional vector spaces and the exterior product — far ahead of its time.

- 1860s — James Clerk Maxwell uses quaternion notation in his electromagnetic work, exposing physicists to vector methods.

- 1881–1884 — J. Willard Gibbs distributes Elements of Vector Analysis to students at Yale, extracting the modern dot and cross products from quaternions.

- 1893 — Oliver Heaviside independently develops streamlined vector calculus for circuit and field theory; he and Gibbs win the "quaternion vs. vector" debate against Tait.

- 1901 — Edwin Bidwell Wilson, based on Gibbs's lectures, publishes Vector Analysis, the textbook that standardized

\mathbf{i},\mathbf{j},\mathbf{k}

notation and the calculus of

\mathbf{r}(t)

for generations.

- 1900s–1920s — The Frenet–Serret apparatus (Frenet 1847, Serret 1851) is fully absorbed into differential geometry, formalizing the moving frame of a space curve.

- 1960s–present — Pierre Bézier and Paul de Casteljau (at Renault and Citroën) develop parametric vector curves for automobile body design, launching computer-aided geometric design.

open-problem

Several subtleties separate "a vector function" from "a nice curve," and some questions reach into active research:

Smoothness vs. cusps. A function can be infinitely differentiable yet its image have corners where $\mathbf{r}'(t)=\mathbf{0}$ (e.g. the cusp of $\mathbf{r}(t)=\langle t^3, t^2\rangle$ ). A curve is called smooth only where $\mathbf{r}'\ne\mathbf{0}$ ; characterizing geometric smoothness from analytic data is genuinely delicate.
Reparametrization invariance. Curvature and arc length are geometric (parametrization-independent), but proving this rigorously for all admissible reparametrizations requires care; the arc-length parametrization exists but is rarely expressible in closed form.
Rectifiability. Not every continuous vector function has finite length; fractal curves (e.g. the Koch curve, the path of Brownian motion) are continuous but nowhere differentiable and have infinite length on every interval — the boundary between rectifiable and non-rectifiable curves is studied in geometric measure theory.
Frame existence. The Frenet frame fails where curvature vanishes; the Bishop (rotation-minimizing) frame repairs this, but optimal frame transport along arbitrary curves remains a topic in computational geometry and graphics research.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also