Inverting Functions and Domain Mapping

Concept Explanation

In introductory algebra, students are typically taught a mechanical recipe for finding inverse functions: "Step 1: Swap $x$ and $y$. Step 2: Solve for $y$."

In engineering and multivariable calculus, you must never swap the variables. Each variable carries strict physical units and geometric meaning:

• $t$ represents elapsed time (seconds) or trajectory angle (radians).
• $s$ represents accumulated spatial distance (meters) along a curve.

Swapping the symbols turns distance into time and destroys the physical model. Instead, we invert the relationship in-place: treating the output variable $s$ as the new independent input and solving directly for $t = t(s)$.

   TRADITIONAL HIGH SCHOOL ALGEBRA                ENGINEERING CALCULUS INVERSION
  ┌───────────────────────────────────┐        ┌───────────────────────────────────┐
  │  y = 5x^2                         │        │  s = 5t^2   (t in seconds, s in m)│
  │  Swap: x = 5y^2                   │   VS   │  NO SWAPPING!                     │
  │  Solve: y = ±√(x/5)               │        │  Solve in-place: t = √(s/5)       │
  │  (Physical meaning lost)          │        │  Branch choice: t ≥ 0 -> + root   │
  │                                   │        │  Domain mapped: t∈[0,4] -> s∈[0,80│
  └───────────────────────────────────┘        └───────────────────────────────────┘

The 3 Essential Skills for Applied Inversion

1. The Calculus Guarantee: Monotonicity & Invertibility

A function has a unique, single-valued inverse on an interval if and only if it is strictly monotonic (either strictly increasing or strictly decreasing). In calculus, you do not need to guess whether a function passes the "horizontal line test":

2. Branch Selection & Physical Sign Constraints

When inverting equations involving even powers (such as $s = k t^2$ or $s = c(t - h)^2$), algebra yields two mathematical solutions: $t = \pm\sqrt{s/k}$.

• In applied problems, you must select the branch that matches the physical operating regime.
• If motion begins at $t = 0$ and proceeds forward in time ($t \ge 0$), you must explicitly discard the negative branch:
  $$t(s) = +\sqrt{\frac{s}{k}}$$

3. Domain Interval Mapping (Push-Forward of Boundaries)

An inverse function is incomplete without its valid parameter domain. When inverting a relationship over a closed domain $t \in [a, b]$, you must calculate the new boundary interval for $s$:

Why We Use It in Calculus III: Arc Length Parametrization

The primary application of this skill in Calculus III is reparameterizing space curves by arc length ($\vec{r}(s)$):

1. Solve for distance: You integrate speed over time to find $s(t) = \int_0^t \|\vec{r}'(u)\|\,du$.
2. Invert in-place: You solve $s = s(t)$ for $t = t(s)$ to find the "clock time" at which the vehicle reaches odometer distance $s$.
3. Vector Composition: You substitute $t(s)$ into the 3D position vector:
   $$\vec{r}(s) = \vec{r}(t(s)) = \langle x(t(s)), y(t(s)), z(t(s)) \rangle$$
4. Invariant Check: Differentiating with respect to $s$ must yield unit speed: $\left\|\frac{d\vec{r}}{ds}\right\| = 1$.

Example Problems

Example Problem 1: Inverting a Quadratic Kinematic Distance Function

A robotic welding arm moves along a path where its accumulated arc length distance $s$ (in cm) as a function of time $t$ (in seconds) is given by:

1. Prove that $s(t)$ is strictly invertible on $[0, 3]$.
2. Solve in-place for $t$ as a function of $s$ ($t = t(s)$).
3. Determine the mapped parameter domain for distance $s$.

Example Problem 2: Inverting an Exponential Distance Function

A subsea exploration probe decelerates through viscous sediment such that its distance traveled is modeled by:

1. Solve for $t = t(s)$.
2. Identify the valid physical domain of $s$.

Connections & References

• Parent Concepts: Parametric Functions, Vector Valued Functions
• Related Concepts: Arc Length Parametrization, Arc Length of a Space Curve, Completing the Square
• Course Links: Calc-3 Session 06, Calc-3 Discussion 03