🌱 Tony's Memex Tony's Intertwingled Memex
Digital Garden | OER Curriculum
Home / Digital Garden / Vector Valued Functions

Vector Valued Functions

Core Definition

A vector-valued function (or vector function) is a mathematical mapping from a single real scalar parameter t∈Rt \in \mathbb{R} (commonly representing time) into a vector space (R2\mathbb{R}^2 or R3\mathbb{R}^3):

r⃗(t)=⟨f(t),g(t),h(t)⟩=f(t)i^+g(t)j^+h(t)k^\vec{r}(t) = \langle f(t), g(t), h(t) \rangle = f(t)\hat{i} + g(t)\hat{j} + h(t)\hat{k}
where f(t),g(t),h(t)f(t), g(t), h(t) are real-valued scalar component functions. As tt varies over its domain, the terminal point of the position vector r⃗(t)\vec{r}(t) traces out a continuous space curve in R3\mathbb{R}^3.

Concept Explanation

Domain of a Vector-Valued Function

The domain of r⃗(t)\vec{r}(t) is the set of all real numbers tt for which all component functions f(t),g(t),f(t), g(t), and h(t)h(t) are simultaneously defined. Mathematically, the domain is the strict set intersection of the individual component domains:

Domain(r⃗)=Domain(f)∩Domain(g)∩Domain(h)\text{Domain}(\vec{r}) = \text{Domain}(f) \cap \text{Domain}(g) \cap \text{Domain}(h)

To compute the domain of a vector-valued function:

  1. Identify Algebraic Restrictions for Each Component:
    • Even Roots (u(t)2n\sqrt[2n]{u(t)}): Radicand must be non-negative: u(t)≥0u(t) \ge 0.
    • Fractions (n(t)d(t)\frac{n(t)}{d(t)}): Denominator cannot equal zero: d(t)≠0d(t) \ne 0.
    • Logarithms (ln⁡(u(t))\ln(u(t))): Argument must be strictly positive: u(t)>0u(t) > 0.
    • Roots in Denominators (1u(t)\frac{1}{\sqrt{u(t)}}): Radicand must be strictly positive: u(t)>0u(t) > 0.
  2. Find the Overlapping Interval:
    • Compare the inequalities on a 1D real number line.
    • The overall domain is the common interval where all conditions hold true.
    • If no values of tt satisfy all component conditions simultaneously, the domain is the empty set (∅\emptyset), meaning the vector curve does not physically exist in real space.

Space Curves and Parameterization

In single-variable calculus, equations like y=f(x)y = f(x) define planar curves that must satisfy the vertical line test. Vector-valued functions parameterize curves in 3D space, allowing curves to twist, self-intersect, and spiral:

  • Circular Helix: r⃗(t)=⟨Rcos⁡(t),Rsin⁡(t),ct⟩\vec{r}(t) = \langle R\cos(t), R\sin(t), ct \rangle wraps around a cylinder of radius RR while ascending at rate cc.
  • Straight Lines in Space: r⃗(t)=r⃗0+tv⃗=⟨x0+at,y0+bt,z0+ct⟩\vec{r}(t) = \vec{r}_0 + t\vec{v} = \langle x_0 + at, y_0 + bt, z_0 + ct \rangle.
         ^ z
         |          ___...---...___  Helix: r(t) = <cos t, sin t, t>
         |      _.-'      .        `-._
         |    .'         / \           `.
         |   /          /   \            \
         |  |          /  r(t)            |
         |  |         /     \             |
         |   \       .-------+           /
         |    `.    /         \        .'
         |      `-.+-----------+..._.-'
         +---------------------------------> y
        /
       /
      v x

Engineering Applications

  • Robotics & Kinematics: Defining end-effector trajectory corridors for automated 6-axis welding and pick-and-place robots.
  • Aerospace Guidance: Modeling ballistic missile paths, satellite orbital transfers, and commercial flight waypoints in GPS-denied environments.
  • Structural Conduit Design: Routing electrical wiring harnesses, hydraulic lines, and structural tendons through complex civil structures and aircraft fuselages.

Example Problems

Example 1: Finding Domain with Multiple Algebraic Constraints

Determine the domain of the vector-valued function:

r⃗(t)=⟨t+2,−9t+3,−7t−5⟩\vec{r}(t) = \left\langle \sqrt{t+2}, \frac{-9}{t+3}, \frac{-7}{\sqrt{t-5}} \right\rangle

Solution
  1. Analyze Component 1 (x(t)=t+2x(t) = \sqrt{t+2}): The radicand must be non-negative:
    t+2≥0  ⟹  t≥−2  ⟹  [−2,∞)t + 2 \ge 0 \implies t \ge -2 \implies [-2, \infty)
  2. Analyze Component 2 (y(t)=−9t+3y(t) = \frac{-9}{t+3}): The denominator cannot equal zero:
    t+3≠0  ⟹  t≠−3  ⟹  (−∞,−3)∪(−3,∞)t + 3 \ne 0 \implies t \ne -3 \implies (-\infty, -3) \cup (-3, \infty)
  3. Analyze Component 3 (z(t)=−7t−5z(t) = \frac{-7}{\sqrt{t-5}}): The radicand is in the denominator, so it must be strictly positive:
    t−5>0  ⟹  t>5  ⟹  (5,∞)t - 5 > 0 \implies t > 5 \implies (5, \infty)
  4. Intersect the Domains:
    Domain=[−2,∞)∩{t≠−3}∩(5,∞)=(5,∞)\text{Domain} = [-2, \infty) \cap \{t \ne -3\} \cap (5, \infty) = (5, \infty)
    Since any t>5t > 5 is automatically greater than −2-2 and never equals −3-3, the domain is (5,∞)(5, \infty).

Example 2: Empty Set Domain Classification

Determine the domain of the vector-valued function:

r⃗(t)=⟨t+2t−1,4−t,3t−6⟩\vec{r}(t) = \left\langle \frac{\sqrt{t+2}}{t-1}, \sqrt{4-t}, \frac{3}{\sqrt{t-6}} \right\rangle

Solution
  1. Component Restrictions:
    • x(t)x(t): t+2≥0  ⟹  t≥−2t + 2 \ge 0 \implies t \ge -2 and t−1≠0  ⟹  t≠1t - 1 \ne 0 \implies t \ne 1.
    • y(t)y(t): 4−t≥0  ⟹  t≤44 - t \ge 0 \implies t \le 4.
    • z(t)z(t): t−6>0  ⟹  t>6t - 6 > 0 \implies t > 6.
  2. Evaluate the Intersection: Comparing the condition t≤4t \le 4 from y(t)y(t) with the condition t>6t > 6 from z(t)z(t): no real number tt can be simultaneously ≤4\le 4 and >6> 6.
  3. Conclusion:
    Domain(r⃗)=∅(Empty Set)\text{Domain}(\vec{r}) = \emptyset \quad (\text{Empty Set})
    The function is nowhere defined in real 3D space.

Connections & References