3.5.30Guidance, Navigation & Control (GNC)

Eigenvalues of A — system modes, stability

1,849 words8 min readdifficulty · medium1 backlinks

WHY do we care about eigenvalues at all?

WHAT we have: a state vector x(t)Rn\mathbf{x}(t)\in\mathbb{R}^n (e.g. spacecraft attitude error & its rate) obeying x˙=Ax\dot{\mathbf{x}} = A\mathbf{x}.

WHY it's hard: the equations are coupledx˙1\dot{x}_1 depends on x2x_2, x˙2\dot{x}_2 on x1x_1, etc. You can't solve them one at a time.

HOW eigenvalues rescue us: find directions where AA acts like pure scaling. Along those directions the whole tangle collapses into nn separate scalar ODEs, each trivially solvable.


Derivation from scratch: guess the solution

Step 1 — Ansatz. Try a solution that keeps a fixed shape v\mathbf{v} and only changes size in time: x(t)=eλtv\mathbf{x}(t) = e^{\lambda t}\,\mathbf{v}. Why this step? If any solution stays pointed in one direction, the vector ODE becomes scalar — the simplest thing that could possibly work, so we test it.

Step 2 — Substitute. Differentiate: x˙=λeλtv\dot{\mathbf{x}} = \lambda e^{\lambda t}\mathbf{v}. Put into x˙=Ax\dot{\mathbf{x}}=A\mathbf{x}: λeλtv=Aeλtv.\lambda e^{\lambda t}\mathbf{v} = A e^{\lambda t}\mathbf{v}. Why this step? We force the ansatz to actually obey the physics.

Step 3 — Cancel eλte^{\lambda t} (never zero): Av=λv(AλI)v=0.A\mathbf{v}=\lambda\mathbf{v}\quad\Rightarrow\quad (A-\lambda I)\mathbf{v}=\mathbf{0}. Why this step? We discover the ansatz works only if (λ,v)(\lambda,\mathbf{v}) is an eigenpair. The exponentials are baked into AA.

Step 4 — Non-trivial solution condition. (AλI)v=0(A-\lambda I)\mathbf{v}=0 has a nonzero v\mathbf{v} iff the matrix is singular: det(AλI)=0\boxed{\det(A-\lambda I)=0} This polynomial in λ\lambda is the characteristic equation; its roots are the eigenvalues. Why this step? An invertible matrix would force v=0\mathbf{v}=0, which we banned.


What each eigenvalue does — reading the complex plane

Write a complex eigenvalue as λ=σ+jω\lambda=\sigma+j\omega. Then, using Euler, eλt=eσt(cosωt+jsinωt).e^{\lambda t}=e^{\sigma t}\big(\cos\omega t + j\sin\omega t\big).

  • σ=Re(λ)\sigma=\text{Re}(\lambda)growth/decay rate of the envelope eσte^{\sigma t}.
  • ω=Im(λ)\omega=\text{Im}(\lambda)oscillation frequency of that mode.
Figure — Eigenvalues of A — system modes, stability

WHY only the real part matters: eλt=eσt|e^{\lambda t}| = e^{\sigma t}. The oscillation cos+jsin=1|{\cos+j\sin}|=1 never grows; only the real-part exponential decides whether magnitude blows up or shrinks.

For a physical 2nd-order mode λ=ζωn±jωn1ζ2\lambda=-\zeta\omega_n\pm j\omega_n\sqrt{1-\zeta^2}: σ=ζωn\sigma=-\zeta\omega_n gives damping, ωd=ωn1ζ2\omega_d=\omega_n\sqrt{1-\zeta^2} the damped frequency.


Worked Example 1 — a stable oscillator (spring–damper as state space)

mq¨+cq˙+kq=0m\ddot q + c\dot q + kq=0. Let x1=q, x2=q˙x_1=q,\ x_2=\dot q. Then A=(01k/mc/m).A=\begin{pmatrix}0&1\\-k/m&-c/m\end{pmatrix}. Take k/m=4, c/m=2k/m=4,\ c/m=2.

Step 1 — characteristic eqn: det(AλI)=λ2+cmλ+km=λ2+2λ+4=0.\det(A-\lambda I)=\lambda^2 + \tfrac{c}{m}\lambda + \tfrac{k}{m} = \lambda^2+2\lambda+4=0. Why? For the companion form of a scalar 2nd-order ODE, det(AλI)\det(A-\lambda I) reproduces the ODE's own characteristic polynomial — a great sanity check.

Step 2 — roots: λ=2±4162=1±j3.\lambda=\dfrac{-2\pm\sqrt{4-16}}{2}=-1\pm j\sqrt3. Why? Quadratic formula.

Step 3 — read it: σ=1<0\sigma=-1<0stable; ωd=3\omega_d=\sqrt3 → it oscillates while decaying. ωn=k/m=2\omega_n=\sqrt{k/m}=2, ζ=σ/(ωn)=0.5\zeta=\sigma/(-\omega_n)=0.5 (underdamped). Response: etcos(3t+ϕ)e^{-t}\cos(\sqrt3\,t+\phi).

Worked Example 2 — decoupled by eigenvectors

A=(3102).A=\begin{pmatrix}-3&1\\0&-2\end{pmatrix}. Step 1 — triangular ⇒ eigenvalues on diagonal: λ1=3, λ2=2\lambda_1=-3,\ \lambda_2=-2. Why? det(AλI)=(3λ)(2λ)\det(A-\lambda I)=(-3-\lambda)(-2-\lambda) for triangular matrices.

Step 2 — eigenvectors. For λ1=3\lambda_1=-3: (A+3I)v=0(0101)v=0v1=(1,0)T.(A+3I)\mathbf v=0\Rightarrow\begin{pmatrix}0&1\\0&1\end{pmatrix}\mathbf v=0\Rightarrow \mathbf v_1=(1,0)^T. For λ2=2\lambda_2=-2: (A+2I)v=0(1100)v=0v2=(1,1)T.(A+2I)\mathbf v=0\Rightarrow\begin{pmatrix}-1&1\\0&0\end{pmatrix}\mathbf v=0\Rightarrow \mathbf v_2=(1,1)^T.

Step 3 — solution x(t)=c1e3t(1,0)T+c2e2t(1,1)T\mathbf x(t)=c_1 e^{-3t}(1,0)^T+c_2 e^{-2t}(1,1)^T. The 3-3 mode dies faster; long-term behaviour dominated by the slowest (least-negative) eigenvalue 2-2. Why this matters: the eigenvalue closest to the imaginary axis sets the settling time.

Worked Example 3 — Forecast-then-Verify

A=(0121).A=\begin{pmatrix}0&1\\2&-1\end{pmatrix}. Forecast: the +2+2 off-diagonal looks like positive feedback → probably unstable. Verify: det(AλI)=λ2+λ2=(λ+2)(λ1)\det(A-\lambda I)=\lambda^2+\lambda-2=(\lambda+2)(\lambda-1)λ=2, +1\lambda=-2,\ +1. Since +1>0+1>0unstable. Forecast confirmed; the growing mode is e+tve^{+t}\mathbf v.



Recall Feynman: explain to a 12-year-old

Imagine a trampoline with several kids bouncing and pushing each other — messy and coupled. But there are special ways of bouncing (patterns) where everyone stays in step and the pattern just grows or shrinks smoothly without changing shape. Those special patterns are the eigenvectors, and how fast each pattern grows or shrinks is its eigenvalue. If every pattern shrinks over time, the trampoline settles down (stable). If even one pattern grows, the whole thing eventually goes wild (unstable). We just need to check each pattern's shrink/grow number.


Flashcards

What condition on eigenvalues makes x˙=Ax\dot{\mathbf x}=A\mathbf x asymptotically stable?
Every eigenvalue has strictly negative real part, Re(λi)<0\text{Re}(\lambda_i)<0 (all in open left half-plane).
What equation gives the eigenvalues of AA?
The characteristic equation det(AλI)=0\det(A-\lambda I)=0.
Why does the ansatz x=eλtv\mathbf x=e^{\lambda t}\mathbf v turn a coupled system into a scalar one?
Along an eigenvector AA only scales, so Av=λvA\mathbf v=\lambda\mathbf v reduces the vector ODE to s˙=λs\dot s=\lambda s.
In λ=σ+jω\lambda=\sigma+j\omega, what does σ\sigma control? What does ω\omega control?
σ\sigma = growth/decay rate of the envelope eσte^{\sigma t}; ω\omega = oscillation frequency.
Why does only the real part of λ\lambda decide stability?
Because eλt=eσt|e^{\lambda t}|=e^{\sigma t}; the oscillatory factor has magnitude 1, so only σ\sigma makes magnitude grow or shrink.
For a 2×2 AA, what two conditions guarantee stability?
tr(A)<0\text{tr}(A)<0 and det(A)>0\det(A)>0.
Which eigenvalue dominates long-term response?
The one with real part closest to the imaginary axis (slowest-decaying / least-negative mode).
True/False: complex eigenvalues always mean instability.
False — oscillation ≠ instability; check the real part.
For 2nd-order mode λ=ζωn±jωn1ζ2\lambda=-\zeta\omega_n\pm j\omega_n\sqrt{1-\zeta^2}, what is the damped frequency?
ωd=ωn1ζ2\omega_d=\omega_n\sqrt{1-\zeta^2}.
Why can a repeated eigenvalue on the imaginary axis be unstable?
It can produce a teλtt\,e^{\lambda t} term that grows without bound (defective/non-simple case).

Connections

  • State-Space Representation — where x˙=Ax+Bu\dot{\mathbf x}=A\mathbf x+B\mathbf u comes from.
  • Characteristic Polynomial & Determinants — how det(AλI)\det(A-\lambda I) is computed.
  • Diagonalization and Modal DecompositionA=VΛV1A=V\Lambda V^{-1} makes modes explicit.
  • Routh–Hurwitz Criterion — stability without finding roots for n>2n>2.
  • Pole Placement & LQR — GNC control design moves eigenvalues into the left half-plane.
  • Damping Ratio and Natural Frequency — physical reading of complex eigenvalues.
  • Transfer Functions and Poles — poles = eigenvalues of AA (of a minimal realization).

Concept Map

states coupled

seek scaling directions

ansatz e^lt v

cancel e^lt

nonzero v requires singular

roots are

paired with

decouple into

superposition

write lambda equals sigma plus j omega

sigma sets rate, omega sets frequency

LTI system x-dot equals A x

Coupled ODEs hard to solve

Eigenvalue problem

Substitute into system

A v equals lambda v

det of A minus lambda I equals 0

Eigenvalues lambda

Eigenvectors v

Independent modes e^lt v

General solution sum c_i e^lt v_i

Complex plane location

Stability decision

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, jab tumhare paas ek system hota hai jaise x˙=Ax\dot{\mathbf{x}}=A\mathbf{x} (maan lo spacecraft ka attitude error aur uska rate), tab saari equations aapas mein coupled hoti hain — ek state doosri ko affect karti hai. Isko seedha solve karna tough hai. Trick yeh hai ki matrix AA ki kuch special directions hoti hain, jinhe eigenvectors kehte hain, jinme AA sirf stretch karta hai, ghumata nahi. Un directions mein poora tangle simple eλte^{\lambda t} ban jaata hai. Yeh λ\lambda hi eigenvalues hain, aur inhe nikalne ke liye hum solve karte hain det(AλI)=0\det(A-\lambda I)=0.

Har eigenvalue ka matlab hai ek mode — ek independent bouncing pattern. Agar λ=σ+jω\lambda=\sigma+j\omega likho, to σ\sigma (real part) batata hai ki mode grow karega ya decay — kyunki eλt=eσt|e^{\lambda t}|=e^{\sigma t}. ω\omega (imaginary part) batata hai ki oscillation kitni fast hai. Yaad rakhna: sirf real part stability decide karta hai, oscillation se ghabrana mat.

Stability ka rule simple hai — "LEFT is RIGHT". Agar saare eigenvalues complex plane ke left half mein hain (matlab Re(λ)<0\text{Re}(\lambda)<0), to har mode decay ho jaayega aur system settle ho jaayega — stable! Agar ek bhi eigenvalue right side chala gaya (Re(λ)>0\text{Re}(\lambda)>0), to woh mode exponentially badhega aur system unstable ho jaayega. GNC mein control design ka poora kaam yahi hai — controller lagakar in eigenvalues ko left half-plane mein "push" karna, taaki rocket ya satellite stable rahe. Common galti: log trace ya determinant ka sign dekh ke stability bol dete hain — poora sahi tareeka hai eigenvalues ke real parts check karna (ya Routh-Hurwitz use karna).

Go deeper — visual, from zero

Test yourself — Guidance, Navigation & Control (GNC)

Connections