4.6.24 · D1Ordinary Differential Equations

Foundations — Linearization of nonlinear systems

1,971 words9 min readBack to topic

This page assumes nothing. If the parent note Linearization used a symbol, we build it here from the ground up, in the order that lets each idea lean on the one before it.


1. The dot, the plane, and a position

Everything starts with a single point moving on a flat sheet of paper.

Figure — Linearization of nonlinear systems

The whole map — every possible — is called the phase plane (built properly in Phase Plane Analysis). One dot = one complete snapshot of the system.


2. The dot in time and the dot-notation

Now let the dot move. Its address changes as time ticks forward.

Why an overdot instead of ? Pure laziness that pays off: our equations will be littered with rates, and keeps them readable. The dot always means "rate of change with respect to time", nothing else.

Figure — Linearization of nonlinear systems

3. Functions of position: and

Where does the velocity arrow come from? A rule.

So at every point of the map, and jointly paint an arrow. The map covered in arrows is a vector field — the rulebook of the system.

Nonlinear simply means these machines contain products or curves — terms like , , or — so the arrows bend. If were just (straight sums), the system would be linear and already solvable.


4. The resting spot: equilibrium

Some special addresses have a zero arrow.

Figure — Linearization of nonlinear systems

5. Small displacements and

We never look far from a resting spot; we look just beside it.

We will keep tiny. That tininess is the engine of the whole method (next section).


6. Slopes: partial derivatives

To zoom in on the curved arrow-field, we need to measure how steeply each push changes as we nudge or .

Why partial (not ordinary) derivatives? Because depends on two inputs. We must isolate the effect of one nudge at a time — freeze the other, ask "which way does the ground tilt?", then repeat. The full tilt is captured by the two answers together.

Figure — Linearization of nonlinear systems

7. Taylor's approximation: straightening a curve

Here is the single move that powers linearization: replace a curve by its tangent line near a point.

Why is this allowed, and why stop here? Because near the equilibrium the steps are tiny. The dropped terms carry — a tiny number squared is vastly smaller still (). So the straight-line part dominates; the curvature is negligible. This is the built-from-scratch version of "a smooth curve looks straight if you zoom in enough" — the full machinery lives in Taylor Series.

At an equilibrium the first term is zero (that's the definition of !), so the approximation collapses to a pure straight-line rule in :


8. The Jacobian matrix

Do section 7 for both and , and stack the four slopes into a grid.

A matrix is just a machine that turns one arrow into another. is that machine for our zoomed-in world.


9. Eigen-things: and

The linear machine has favourite directions in which it acts by pure stretching.

Full construction lives in Eigenvalues and Eigenvectors. Why do we care here? Because along an eigen-direction the future is dead simple: the displacement follows .

The symbols (trace, the sum of the diagonal) and (determinant) are just quick handles for finding via .


How the foundations feed the topic

state x and y

velocity xdot ydot

rules f and g vector field

equilibrium f equals g equals zero

displacements u and v small

partial slopes fx fy gx gy

Taylor keep linear drop squares

Jacobian J best linear copy

eigenvalues lambda

sign of lambda decides stability

Read it top to bottom: each box is a symbol this page defined, and each arrow is "you needed the box above to understand the box below." Miss one and the topic stalls.


Equipment checklist

Test yourself — cover the right side and answer aloud.

What does the overdot in mean?
The rate of change of with respect to time, .
What do and produce at a point?
The horizontal and vertical parts of the velocity arrow there.
What does "autonomous" mean for ?
They depend only on position , never explicitly on time .
What two equations define an equilibrium ?
and .
What are and ?
Small displacements from the equilibrium, , .
What does the partial derivative measure?
How fast changes as increases with held fixed.
Why may we drop the terms near equilibrium?
The displacements are tiny, so their squares are negligibly smaller than the linear terms.
What is the Jacobian ?
The grid of four partials evaluated at the equilibrium.
What equation defines an eigenvalue and eigenvector ?
scales by without rotating it.
Which sign of means stable?
Negative — the mode decays back to the resting spot.
When does linearization become untrustworthy?
When an eigenvalue has zero real part (pure imaginary or zero).

Once every answer comes easily, you're ready for the full Linearization derivation.