Linear Algebra, Interactive EditionXYZ Homework Edition

⇩ Download ▾

5.3 Complex Eigenvalues and the Spiral

Some matrices turn every direction. The cleanest examples are the rotation–scaling matrices: rotate the plane by an angle bb, then scale it by a factor a>0a > 0. Written out, this map sends (x,y)(x, y) to (acosbxasinby,asinbx+acosby)(a\cos b \; x - a\sin b \; y, \;\; a\sin b \; x + a\cos b \; y). If sinb0\sin b \ne 0, every nonzero vector is rotated by the full angle bb — no line is invariant, no real eigenvector exists, and the hunts of the last two sections come home empty. The misalignment function never touches zero.

Yet the matrix still has structure, and the way to see it is to iterate. Start at the point (2,0)(2, 0) and apply the matrix over and over. Each application multiplies the distance from the origin by aa and advances the angle by bb, so after kk steps the point sits at 2ak(coskb,sinkb)2a^k(\cos kb, \; \sin kb). Letting the step count run continuously traces the curve 2at(cosbt,sinbt)2a^t(\cos bt, \; \sin bt) — the violet spiral in the figure, with the iteration's start marked at (2,0,0)(2, 0, 0).

A smooth violet spiral in the horizontal plane, starting at a marked point and winding around the origin. A slider named a sets whether the spiral tightens inward (a below 1), stays a circle (a equal to 1), or unwinds outward (a above 1), while a slider named b sets how fast it wraps around.Explore in 3D (opens in a new tab)
The trajectory 2at(cosbt,sinbt)2a^t(\cos bt, \; \sin bt) for tt from 00 to 4040, starting at the marked point (2,0,0)(2, 0, 0). The slider aa is the growth factor per unit time and bb is the rotation rate in radians per unit time; the defaults a=0.96a = 0.96, b=0.6b = 0.6 spiral gently inward.

Explore the figure

  1. At the defaults, follow the curve from the marked start point. With b=0.6b = 0.6 it wraps around the origin about 3.83.8 times over the run, and with a=0.96a = 0.96 each unit of time shaves four percent off the radius, ending near radius 0.40.4. Rotation and decay, superimposed.
  2. Set a=1a = 1. The spiral closes into a perfect circle of radius 22: pure rotation, nothing gained or lost. This is the knife-edge between decay and growth.
  3. Push aa to 1.041.04. The same curve now unwinds outward, finishing near radius 9.69.6. A four-percent difference per step, compounded forty times, is the whole difference between collapse and explosion.
  4. Return aa to 0.960.96 and sweep bb across its range. At b=0.2b = 0.2 the path barely completes one lap; at b=1.2b = 1.2 it wraps nearly eight times. Notice what bb never changes: the radius at each time depends on aa alone.

Every direction, tested at once

The spiral follows one starting point. To see that no direction survives, test them all together: hand the whole unit circle to the matrix and watch where it goes.

Interactive figureA rotation-scaling turns every directionDrag the growth factor a and rotation angle b sliders.
A dashed unit circle centered at the origin and its image, a second circle of very slightly smaller radius, turned. The first matrix column is a red arrow and the second a blue arrow, both swung away from the axes by the same angle, because a rotation-scaling turns every direction equally. No dashed invariant lines are drawn anywhere in the figure, and that absence is the point: the eigenvalues of this matrix are a complex pair, so no real direction is left unturned and there is no eigenline to draw. Compare the previous section's figure, which has two. The readout gives the determinant and states that no real direction is invariant. Two sliders set the growth factor and the rotation angle; at zero rotation the arrows snap back onto the axes and every direction becomes invariant at once. Adjustable parameters: growth factor a (a) = 0.96, rotation angle b (b) = 0.6. Viewing window: x from -2.92 to 2.92, y from -1.77 to 1.77.
XYZ Graph · viewer build 5edf91b
The unit circle (dashed) and its image under the rotation-scaling with growth aa and rotation bb — the same two numbers that drive the spiral above. The image is another circle, of radius aa, turned by bb. No invariant line is drawn, because there is none.
  1. At the defaults the image circle is barely smaller than the dashed one: a=0.96a = 0.96 takes four percent off every radius, in every direction equally. Compare with the spiral, which spends forty steps making that same four percent visible.
  2. Watch the two colored arrows. They are the images of (1,0)(1, 0) and (0,1)(0, 1), and both have swung off their axes by the same angle bb. A rotation-scaling plays no favorites among directions.
  3. Notice what is missing. In the previous section's figure two dashed lines marked the directions the matrix could not turn. Here there are none — not hidden, not faint: absent, because with sinb0\sin b \ne 0 no real direction is left invariant.
  4. Now drag bb to 00. The rotation stops and the arrows snap back onto the axes: AA is aa times the identity, so every direction is invariant. Nothing new is drawn — and that is worth pausing on, because the figure looks the same as it did a moment ago while meaning the opposite. Two dashed lines are absent at b=0.6b = 0.6 because no direction survives, and absent at b=0b = 0 because every direction does; a picture cannot draw infinitely many lines any more than it can draw none meaningfully. The readout is what separates them, and it changes as you cross b=0b = 0.

Eigenvalues without eigenvectors

The eigenvalue machinery does not break here — it reports complex numbers. The characteristic polynomial of the rotation–scaling matrix is

λ 2 2 a cos b λ + a 2 = 0 \lambda^2 - 2a\cos b \,\lambda + a^2 = 0

and its discriminant is 4a2cos2b4a2=4a2sin2b4a^2\cos^2 b - 4a^2 = -4a^2\sin^2 b, which is negative whenever sinb0\sin b \ne 0: no real roots, confirming what the pictures showed. The roots are the complex pair λ=acosb±iasinb\lambda = a\cos b \pm i\,a\sin b, better read in polar form as λ=ae±ib\lambda = a e^{\pm i b}. The two sliders of the figure are literally the two coordinates of the eigenvalue: aa is its modulus and bb is its argument. A complex eigenvalue does not mark an invariant line; it prescribes a motion — turn by the argument, scale by the modulus, once per application — and the spiral is that prescription traced out in time. The trichotomy you explored is the modulus test: |λ|<1|\lambda| < 1 spirals in, |λ|=1|\lambda| = 1 circles, |λ|>1|\lambda| > 1 spirals out.

An original work of XYZ Homework, built around interactive XYZ 3D figures. Its chapter sequence is aligned to Interactive Linear Algebra (Margalit & Rabinoff, Georgia Tech, GNU FDL); this work is original, copies nothing from it, and is not affiliated with or endorsed by its authors. License: CC-BY-NC-SA-4.0.

These eBooks are a prerelease and are not yet certified conformant with WCAG 2.1 AA or ADA Title II. Every page is built against an automated accessibility gate, and the published editions will meet ADA Title II requirements when they release in late September 2026. If something is unusable, please tell us.