Linear Algebra
13.310 min read

Local Linear Approximation for Vector-Valued Functions

Just as scalar functions are locally approximated by affine functions, vector-valued functions are locally approximated by affine maps (linear map plus constant). The LLA of f\mathbf{f} at a\mathbf{a} is:

f(a+h)f(a)+Jf(a)h\mathbf{f}(\mathbf{a}+\mathbf{h}) \approx \mathbf{f}(\mathbf{a}) + J\mathbf{f}(\mathbf{a})\,\mathbf{h}

This means: near the point a\mathbf{a}, the vector-valued function f\mathbf{f} behaves like the linear (actually affine) function yf(a)+Jf(a)(ya)\mathbf{y} \mapsto \mathbf{f}(\mathbf{a}) + J\mathbf{f}(\mathbf{a})(\mathbf{y}-\mathbf{a}). Geometrically, the Jacobian matrix Jf(a)J\mathbf{f}(\mathbf{a}) is the best linear approximation to f\mathbf{f} near a\mathbf{a} — it captures how infinitesimal input changes map to infinitesimal output changes.

The approximation error E(h)=f(a+h)f(a)Jf(a)h\mathbf{E}(\mathbf{h}) = \mathbf{f}(\mathbf{a}+\mathbf{h}) - \mathbf{f}(\mathbf{a}) - J\mathbf{f}(\mathbf{a})\mathbf{h} satisfies E(h)/h0\|\mathbf{E}(\mathbf{h})\|/\|\mathbf{h}\| \to 0 when f\mathbf{f} is differentiable at a\mathbf{a}.

Formal View

Definition 13.3 — LLA for Vector-Valued Functions
The local linear approximation of f:DRnRm\mathbf{f}: D \subseteq \mathbb{R}^n \to \mathbb{R}^m at a\mathbf{a} is the affine map
La(x)=f(a)+Jf(a)(xa)L_\mathbf{a}(\mathbf{x}) = \mathbf{f}(\mathbf{a}) + J\mathbf{f}(\mathbf{a})(\mathbf{x}-\mathbf{a})
f\mathbf{f} is differentiable at a\mathbf{a} if limh0f(a+h)La(a+h)h=0\lim_{\mathbf{h}\to\mathbf{0}}\frac{\|\mathbf{f}(\mathbf{a}+\mathbf{h})-L_\mathbf{a}(\mathbf{a}+\mathbf{h})\|}{\|\mathbf{h}\|}=0.

Why This Matters

The LLA for vector-valued functions is the engine of the multivariable chain rule and automatic differentiation.

  • Forward-mode automatic differentiation propagates perturbations through function compositions using the LLA
  • Newton's method for nonlinear systems uses the Jacobian to linearize the system
  • Sensitivity analysis: how does a vector output change when a vector input changes slightly?

Quiz

Question 1

The LLA of f\mathbf{f} at a\mathbf{a} is La(x)=f(a)+Jf(a)(xa)L_\mathbf{a}(\mathbf{x}) = \mathbf{f}(\mathbf{a}) + J\mathbf{f}(\mathbf{a})(\mathbf{x}-\mathbf{a}). For x=a\mathbf{x} = \mathbf{a}, this gives:

Question 2

The Jacobian Jf(a)J\mathbf{f}(\mathbf{a}) is the unique matrix such that f(a+h)f(a)Jf(a)h=o(h)\mathbf{f}(\mathbf{a}+\mathbf{h}) - \mathbf{f}(\mathbf{a}) - J\mathbf{f}(\mathbf{a})\mathbf{h} = o(\|\mathbf{h}\|).

Common Mistakes

  • Forgetting the constant term f(a)\mathbf{f}(\mathbf{a}) — the LLA is affine, not linear.
  • Using the LLA far from a\mathbf{a} where the approximation breaks down.
  • Confusing the LLA (vector-valued) with the tangent plane (the graph of the scalar LLA).