◀ Back to Note

Tony's Intertwingled Memex • Reference Manual

Linear Approximations

Formulas & Definitions
Core Definition

The linear approximation (or linearization) of a multivariable function z=f(x,y)z = f(x, y)z=f(x,y) at a known base point (x0,y0)(x_0, y_0)(x0​,y0​) is the linear function L(x,y)L(x, y)L(x,y) whose graph is the tangent plane to the surface at (x0,y0,f(x0,y0))(x_0, y_0, f(x_0, y_0))(x0​,y0​,f(x0​,y0​)):

  1. Linearization Function L(x,y)L(x, y)L(x,y):
    L(x,y)=f(x0,y0)+fx(x0,y0)(x−x0)+fy(x0,y0)(y−y0)L(x, y) = f(x_0, y_0) + f_x(x_0, y_0)(x - x_0) + f_y(x_0, y_0)(y - y_0)L(x,y)=f(x0​,y0​)+fx​(x0​,y0​)(x−x0​)+fy​(x0​,y0​)(y−y0​)
  2. Local Approximation Condition:
    f(x,y)≈L(x,y)for (x,y)≈(x0,y0)f(x, y) \approx L(x, y) \quad \text{for } (x, y) \approx (x_0, y_0)f(x,y)≈L(x,y)for (x,y)≈(x0​,y0​)
  3. Incremental Change Form:
    Δz=f(x,y)−f(x0,y0)≈fx(x0,y0)Δx+fy(x0,y0)Δy\Delta z = f(x, y) - f(x_0, y_0) \approx f_x(x_0, y_0)\Delta x + f_y(x_0, y_0)\Delta yΔz=f(x,y)−f(x0​,y0​)≈fx​(x0​,y0​)Δx+fy​(x0​,y0​)Δy
    where Δx=(x−x0)\Delta x = (x - x_0)Δx=(x−x0​) and Δy=(y−y0)\Delta y = (y - y_0)Δy=(y−y0​) represent small input displacements.

Concept Explanation

The Principle of Local Linearity

In single-variable calculus, zooming in very closely to any smooth, differentiable curve causes the curve to look indistinguishable from its tangent line (L(x)=f(x0)+f′(x0)(x−x0)L(x) = f(x_0) + f'(x_0)(x - x_0)L(x)=f(x0​)+f′(x0​)(x−x0​)). In multivariable calculus, this geometric property extends directly to higher dimensions: zooming in on any smooth surface z=f(x,y)z = f(x, y)z=f(x,y) causes the curved topography to appear virtually flat.

In engineering applications, real-world physical equations often involve complex non-linear functions (radicals, logarithms, trigonometric terms, or polynomials of high degree). Evaluating these equations at messy decimal coordinates can be computationally expensive or algebraically intractable. By constructing a flat tangent plane at a nearby "clean" integer base point (x0,y0)(x_0, y_0)(x0​,y0​), engineers can substitute the complex function with its linearization L(x,y)L(x, y)L(x,y), converting non-linear calculations into simple multiplications and additions.

       ^ z
       |                      . True function surface z = f(x, y)
       |                     /
       |       L(x, y)      /  <--- Tangent plane approximation
       |       ------+-----+------------------
       |            /|     |
       |           / |     |  Error = |f(x, y) - L(x, y)|
       |          /  |     |
       |         /   |     . f(x, y)
       |        /    . P_0(x_0, y_0, z_0)
       +-------+------------------------------> y
              /
             v x

Anatomy of the Linearization Formula

The linearization formula consists of three intuitive components:

L(x,y)=f(x0,y0)⏟Baseline Value+fx(x0,y0)Δx⏟Correction along x+fy(x0,y0)Δy⏟Correction along yL(x, y) = \underbrace{f(x_0, y_0)}_{\text{Baseline Value}} + \underbrace{f_x(x_0, y_0)\Delta x}_{\text{Correction along } x} + \underbrace{f_y(x_0, y_0)\Delta y}_{\text{Correction along } y}L(x,y)=Baseline Valuef(x0​,y0​)​​+Correction along xfx​(x0​,y0​)Δx​​+Correction along yfy​(x0​,y0​)Δy​​

  1. Baseline Value (z0=f(x0,y0)z_0 = f(x_0, y_0)z0​=f(x0​,y0​)): The exact, easily computed starting output of the system at the chosen reference coordinate.
  2. First-Order xxx-Correction (fx(x0,y0)Δxf_x(x_0, y_0)\Delta xfx​(x0​,y0​)Δx): The rate of change in the xxx-direction multiplied by the distance traveled away from x0x_0x0​.
  3. First-Order yyy-Correction (fy(x0,y0)Δyf_y(x_0, y_0)\Delta yfy​(x0​,y0​)Δy): The rate of change in the yyy-direction multiplied by the distance traveled away from y0y_0y0​.

Strategic Selection of the Base Point (x0,y0)(x_0, y_0)(x0​,y0​)

To produce an accurate estimate, the base point (x0,y0)(x_0, y_0)(x0​,y0​) must satisfy two criteria:

  1. Clean Evaluation: The function value f(x0,y0)f(x_0, y_0)f(x0​,y0​) and partial derivatives fx(x0,y0),fy(x0,y0)f_x(x_0, y_0), f_y(x_0, y_0)fx​(x0​,y0​),fy​(x0​,y0​) must evaluate to simple integers or clean rational numbers without requiring a calculator.
  2. Proximity: The displacements Δx=x−x0\Delta x = x - x_0Δx=x−x0​ and Δy=y−y0\Delta y = y - y_0Δy=y−y0​ must be small (typically ∣Δx∣,∣Δy∣≪1|\Delta x|, |\Delta y| \ll 1∣Δx∣,∣Δy∣≪1). Because a tangent plane only models first-order derivatives, surface curvature causes the approximation error to grow quadratically as distance from the base point increases.

Extension to Three or More Variables

The principle of linearization extends seamlessly to functions of three or more variables. For a scalar field w=f(x,y,z)w = f(x, y, z)w=f(x,y,z) at base point (x0,y0,z0)(x_0, y_0, z_0)(x0​,y0​,z0​):

L(x,y,z)=f(x0,y0,z0)+fx(x0,y0,z0)(x−x0)+fy(x0,y0,z0)(y−y0)+fz(x0,y0,z0)(z−z0)L(x, y, z) = f(x_0, y_0, z_0) + f_x(x_0, y_0, z_0)(x - x_0) + f_y(x_0, y_0, z_0)(y - y_0) + f_z(x_0, y_0, z_0)(z - z_0)L(x,y,z)=f(x0​,y0​,z0​)+fx​(x0​,y0​,z0​)(x−x0​)+fy​(x0​,y0​,z0​)(y−y0​)+fz​(x0​,y0​,z0​)(z−z0​)


Engineering Applications

  • Embedded Real-Time Control Systems: Microcontrollers in autonomous drones, automotive anti-lock braking systems (ABS), and robotic manipulators use linearized state-space matrices to compute real-time motor commands in microseconds.
  • Finite Element Analysis (FEA): Structural and geotechnical simulation software linearizes non-linear stress-strain relationships across small spatial mesh elements to solve large systems of linear algebraic equations ([K]{u}={F}[K]\{u\} = \{F\}[K]{u}={F}).
  • Aerospace Stability & Control: Aircraft flight dynamics linearize non-linear aerodynamic forces around steady cruise trim conditions to evaluate longitudinal and lateral stability modes.
  • Electrical Circuit Small-Signal Modeling: Modeling non-linear semiconductor diodes and transistors as linear equivalent circuits (transconductance and dynamic resistance) around a fixed DC operating point (Q-point).

Example Problems

Example 1: Radical and Quadratic Linearization

Find the linear approximation L(x,y)L(x, y)L(x,y) of f(x,y)=x2+yf(x, y) = \sqrt{x^2 + y}f(x,y)=x2+y​ at the base point (2,1)(2, 1)(2,1), and use it to estimate f(2.1,0.9)f(2.1, 0.9)f(2.1,0.9).

Solution
  1. Evaluate Baseline Value at Clean Base Point (2,1)(2, 1)(2,1):
    f(2,1)=22+1=4+1=5f(2, 1) = \sqrt{2^2 + 1} = \sqrt{4 + 1} = \sqrt{5}f(2,1)=22+1​=4+1​=5​
  2. Compute General Partial Derivatives:
    fx(x,y)=∂∂x[(x2+y)1/2]=12(x2+y)−1/2(2x)=xx2+yf_x(x, y) = \frac{\partial}{\partial x}[(x^2 + y)^{1/2}] = \frac{1}{2}(x^2 + y)^{-1/2}(2x) = \frac{x}{\sqrt{x^2 + y}}fx​(x,y)=∂x∂​[(x2+y)1/2]=21​(x2+y)−1/2(2x)=x2+y​x​
    fy(x,y)=∂∂y[(x2+y)1/2]=12(x2+y)−1/2(1)=12x2+yf_y(x, y) = \frac{\partial}{\partial y}[(x^2 + y)^{1/2}] = \frac{1}{2}(x^2 + y)^{-1/2}(1) = \frac{1}{2\sqrt{x^2 + y}}fy​(x,y)=∂y∂​[(x2+y)1/2]=21​(x2+y)−1/2(1)=2x2+y​1​
  3. Evaluate Partial Derivatives at (2,1)(2, 1)(2,1):
    fx(2,1)=222+1=25f_x(2, 1) = \frac{2}{\sqrt{2^2 + 1}} = \frac{2}{\sqrt{5}}fx​(2,1)=22+1​2​=5​2​
    fy(2,1)=1222+1=125f_y(2, 1) = \frac{1}{2\sqrt{2^2 + 1}} = \frac{1}{2\sqrt{5}}fy​(2,1)=222+1​1​=25​1​
  4. Formulate Linearization Function L(x,y)L(x, y)L(x,y):
    L(x,y)=f(2,1)+fx(2,1)(x−2)+fy(2,1)(y−1)L(x, y) = f(2, 1) + f_x(2, 1)(x - 2) + f_y(2, 1)(y - 1)L(x,y)=f(2,1)+fx​(2,1)(x−2)+fy​(2,1)(y−1)
    L(x,y)=5+25(x−2)+125(y−1)L(x, y) = \sqrt{5} + \frac{2}{\sqrt{5}}(x - 2) + \frac{1}{2\sqrt{5}}(y - 1)L(x,y)=5​+5​2​(x−2)+25​1​(y−1)
  5. Evaluate at Target Point (2.1,0.9)(2.1, 0.9)(2.1,0.9):
    • Offsets: Δx=2.1−2=0.1\Delta x = 2.1 - 2 = 0.1Δx=2.1−2=0.1, Δy=0.9−1=−0.1\Delta y = 0.9 - 1 = -0.1Δy=0.9−1=−0.1.
      L(2.1,0.9)=5+25(0.1)+125(−0.1)=5+0.25−0.055=5+0.155L(2.1, 0.9) = \sqrt{5} + \frac{2}{\sqrt{5}}(0.1) + \frac{1}{2\sqrt{5}}(-0.1) = \sqrt{5} + \frac{0.2}{\sqrt{5}} - \frac{0.05}{\sqrt{5}} = \sqrt{5} + \frac{0.15}{\sqrt{5}}L(2.1,0.9)=5​+5​2​(0.1)+25​1​(−0.1)=5​+5​0.2​−5​0.05​=5​+5​0.15​
      Using 5≈2.23607\sqrt{5} \approx 2.236075​≈2.23607:
      L(2.1,0.9)≈2.23607+0.152.23607≈2.23607+0.06708=2.30315L(2.1, 0.9) \approx 2.23607 + \frac{0.15}{2.23607} \approx 2.23607 + 0.06708 = 2.30315L(2.1,0.9)≈2.23607+2.236070.15​≈2.23607+0.06708=2.30315
      (Exact value: 2.12+0.9=4.41+0.9=5.31≈2.30434\sqrt{2.1^2 + 0.9} = \sqrt{4.41 + 0.9} = \sqrt{5.31} \approx 2.304342.12+0.9​=4.41+0.9​=5.31​≈2.30434; error is only 0.001190.001190.00119 or 0.05%0.05\%0.05%.)

Example 2: Polynomial Linearization and Curvature Error

Construct the linearization of f(x,y)=x2+y2f(x, y) = x^2 + y^2f(x,y)=x2+y2 at (1,1)(1, 1)(1,1), estimate f(1.1,0.9)f(1.1, 0.9)f(1.1,0.9), and calculate the approximation error.

Solution
  1. Baseline Value:
    f(1,1)=12+12=2f(1, 1) = 1^2 + 1^2 = 2f(1,1)=12+12=2
  2. Partial Derivatives at (1,1)(1, 1)(1,1):
    fx(x,y)=2x  ⟹  fx(1,1)=2(1)=2f_x(x, y) = 2x \implies f_x(1, 1) = 2(1) = 2fx​(x,y)=2x⟹fx​(1,1)=2(1)=2
    fy(x,y)=2y  ⟹  fy(1,1)=2(1)=2f_y(x, y) = 2y \implies f_y(1, 1) = 2(1) = 2fy​(x,y)=2y⟹fy​(1,1)=2(1)=2
  3. Linearization Equation:
    L(x,y)=2+2(x−1)+2(y−1)L(x, y) = 2 + 2(x - 1) + 2(y - 1)L(x,y)=2+2(x−1)+2(y−1)
  4. Estimate at (1.1,0.9)(1.1, 0.9)(1.1,0.9):
    Δx=1.1−1=0.1,Δy=0.9−1=−0.1\Delta x = 1.1 - 1 = 0.1, \quad \Delta y = 0.9 - 1 = -0.1Δx=1.1−1=0.1,Δy=0.9−1=−0.1
    L(1.1,0.9)=2+2(0.1)+2(−0.1)=2+0.2−0.2=2.0L(1.1, 0.9) = 2 + 2(0.1) + 2(-0.1) = 2 + 0.2 - 0.2 = 2.0L(1.1,0.9)=2+2(0.1)+2(−0.1)=2+0.2−0.2=2.0
  5. Compare with Exact Value:
    f(1.1,0.9)=(1.1)2+(0.9)2=1.21+0.81=2.02f(1.1, 0.9) = (1.1)^2 + (0.9)^2 = 1.21 + 0.81 = 2.02f(1.1,0.9)=(1.1)2+(0.9)2=1.21+0.81=2.02
    Approximation Error=∣f(1.1,0.9)−L(1.1,0.9)∣=∣2.02−2.00∣=0.02\text{Approximation Error} = |f(1.1, 0.9) - L(1.1, 0.9)| = |2.02 - 2.00| = 0.02Approximation Error=∣f(1.1,0.9)−L(1.1,0.9)∣=∣2.02−2.00∣=0.02
    Insight: The linear terms exactly canceled (0.2−0.2=00.2 - 0.2 = 00.2−0.2=0), so the remaining discrepancy 0.020.020.02 represents second-order quadratic curvature ((Δx)2+(Δy)2=0.01+0.01=0.02(\Delta x)^2 + (\Delta y)^2 = 0.01 + 0.01 = 0.02(Δx)2+(Δy)2=0.01+0.01=0.02).

Connections & References

  • Parent Concepts: Tangent Planes | Partial Derivatives
  • Related Notes: Differentials and Error Propagation | Equations of Planes in 3D
  • Course Sessions: Calc-3 Session 10