Measure Theory Lesson 38: Spectral Theory of Dynamical Systems

Introduction

In the previous lesson, we transformed a dynamical system:

$$T:X\to X$$

into a linear operator:

$$U_Tf=f\circ T$$

called the Koopman operator.

This was a profound shift.

Instead of studying:

$$x,T(x),T^2(x),\ldots$$

we study:

$$U_T,U_T^2,U_T^3,\ldots$$

acting on:

$$L^2(X,\mu)$$

Now a new question arises:

Can we understand a dynamical system by studying the spectrum of its Koopman operator?

This question launched an entire field known as Spectral Ergodic Theory.

It is one of the most important steps on the road from measure theory to operator algebras.


A Reminder from Linear Algebra

Suppose:

$$A:\mathbb R^n\to\mathbb R^n$$

is a matrix.

One of the most important problems is finding:

$$Av=\lambda v$$

The numbers:

$$\lambda$$

are eigenvalues.

The vectors:

$$v$$

are eigenvectors.

These objects reveal the hidden structure of:

$$A$$

Spectral theory generalizes this idea to infinite-dimensional spaces.


From Matrices to Operators

Instead of a matrix:

$$A$$

we now have:

$$U_T:L^2(X,\mu)\to L^2(X,\mu)$$

The eigenvalue equation becomes:

$$U_Tf=\lambda f$$

or equivalently:

$$f(T(x))=\lambda f(x)$$

The function:

$$f$$

is an eigenfunction.


Why Eigenfunctions Matter

Eigenfunctions behave in a perfectly predictable way under dynamics.

Applying:

$$T$$

changes only the phase:

$$f(T(x))=\lambda f(x)$$

Nothing else changes.

These functions reveal hidden order inside the system.


Example: Circle Rotation

Consider:

$$T(x)=x+\alpha \pmod1$$

Define:

$$f_n(x)=e^{2\pi i n x}$$

Then:

$$U_Tf_n=e^{2\pi i n\alpha}f_n$$

Thus:

$$f_n$$

is an eigenfunction.

The eigenvalue is:

$$\lambda_n=e^{2\pi i n\alpha}$$

The entire dynamics can be understood through these frequencies.


The Spectrum

The collection of all eigenvalues is called the spectrum.

More generally:

The spectrum of an operator:

$$U$$

is the set:

$$\sigma(U)={\lambda:U-\lambda I \text{ is not invertible}}$$

This definition extends eigenvalues to infinite-dimensional settings.


Why Spectra Matter

Think about music.

A musical note can be decomposed into frequencies.

Similarly:

A dynamical system can often be decomposed into spectral components.

The spectrum acts like the “frequency content” of the dynamics.


Unitary Operators

Recall:

For measure-preserving transformations:

$$U_T$$

is unitary.

Therefore:

$$|U_Tf|_2=|f|_2$$

for every:

$$f\in L^2(X,\mu)$$

A fundamental theorem states:

All spectral values satisfy:

$$|\lambda|=1$$

Thus the spectrum lies on the unit circle.


Pure Point Spectrum

A system has pure point spectrum if:

$$L^2(X,\mu)$$

can be generated entirely from eigenfunctions.

This is the closest analogue to diagonalizing a matrix.


Example

Irrational circle rotations have pure point spectrum.

Their behavior is highly structured and predictable.


Continuous Spectrum

Some systems possess few or no eigenfunctions.

Instead of discrete eigenvalues, the spectrum spreads continuously around the unit circle.

This is called continuous spectrum.


Example: The Doubling Map

Consider:

$$T(x)=2x \pmod1$$

This system is chaotic.

Its spectral behavior is dramatically different from circle rotations.

Much of its spectrum is continuous.


Physical Interpretation

Pure point spectrum corresponds to:

  • periodicity
  • quasiperiodicity
  • regular motion

Continuous spectrum corresponds to:

  • mixing
  • chaos
  • randomness

Thus spectral theory detects qualitative behavior.


Spectral Decomposition

A fundamental theorem for unitary operators states that:

$$L^2(X,\mu)$$

can be decomposed spectrally.

This is analogous to diagonalizing a matrix.

Instead of finitely many eigenvalues, we may obtain:

  • discrete parts
  • continuous parts
  • mixed parts

The Spectral Theorem

One of the greatest results in functional analysis states:

Every unitary operator can be represented as multiplication by a complex phase.

Very roughly:

$$U \sim M_z$$

where:

$$M_zf(z)=zf(z)$$

This theorem turns operator theory into measure theory.


Why This Is Deep

The spectral theorem says:

Understanding a unitary operator reduces to understanding a measure.

We have come full circle.

Measure theory reappears at a deeper level.


Spectral Measures

Associated with:

$$U_T$$

and:

$$f$$

is a measure:

$$\mu_f$$

called the spectral measure.

The dynamics of:

$$f$$

can be completely encoded by:

$$\mu_f$$

This is one of the first examples of the deep relationship between:

  • operators
  • measures
  • geometry

Ergodicity and Spectrum

Ergodicity can be detected spectrally.

A measure-preserving system is ergodic if and only if:

the only eigenfunctions with eigenvalue:

$$1$$

are constant functions.

Thus a geometric property becomes a spectral property.


Mixing and Spectrum

Mixing corresponds to an even stronger spectral condition.

Roughly speaking:

Pure point spectra prevent mixing.

Continuous spectra promote mixing.

This reveals a deep relationship between randomness and spectral behavior.


Example Comparison

Irrational Rotation

  • Pure point spectrum
  • Not mixing
  • Highly structured

Doubling Map

  • Continuous spectrum
  • Mixing
  • Chaotic behavior

Spectral theory distinguishes these systems immediately.


The Spectral View of Dynamics

Classical dynamics asks:

Where do points go?

Spectral dynamics asks:

What frequencies are present?

This change in viewpoint is one of the defining ideas of twentieth-century mathematics.


Why von Neumann Was Interested

John von Neumann realized that operators arising from dynamical systems naturally generate algebras.

Instead of studying:

$$U_T$$

alone,

study all operators generated by:

$$U_T$$

This idea led directly to:

  • Operator algebras
  • von Neumann algebras

From Dynamics to Algebras

Starting with:

$$T$$

we obtain:

$$U_T$$

From:

$$U_T$$

we construct an algebra of operators.

The resulting algebra often contains more information than the original dynamical system.

This observation became one of the foundations of modern operator theory.


Why This Matters for Connes

Connes’ early work focused heavily on von Neumann algebras arising from dynamical systems.

A recurring theme is:

Replace geometric objects by operator algebras.

Spectral theory is one of the key mechanisms that makes this replacement possible.

Instead of studying:

  • points
  • trajectories
  • coordinates

we study:

  • operators
  • spectra
  • algebras

This is precisely the philosophical transition that eventually leads to noncommutative geometry.


The Big Picture So Far

We have now traveled:

Measure Spaces

$$\longrightarrow$$

Ergodic Theory

$$\longrightarrow$$

Koopman Operators

$$\longrightarrow$$

Spectral Theory

The next major step is:

Spectral Theory

$$\longrightarrow$$

Operator Algebras

At this point we are entering territory that directly overlaps with the early work of Connes.


Key Concepts Learned

By the end of this lesson you should understand:

  • The Koopman operator satisfies:

$$U_Tf=f\circ T$$

  • Eigenfunctions satisfy:

$$f(T(x))=\lambda f(x)$$

  • The spectrum generalizes eigenvalues to infinite-dimensional operators.
  • Pure point spectrum corresponds to highly structured dynamics.
  • Continuous spectrum is associated with chaotic behavior.
  • The Spectral Theorem converts operator problems into measure-theoretic problems.
  • Ergodicity and mixing can be characterized spectrally.
  • Spectral theory provides the bridge from dynamical systems to operator algebras.

Looking Ahead

Measure Theory Lesson 39: Operator Algebras — The Birth of a New Geometry

In the next lesson, we leave classical measure theory behind and begin the subject that eventually made Alain Connes famous. We will introduce operator algebras, explain why mathematicians started studying algebras of operators rather than spaces themselves, and see how geometry gradually transforms into algebra. This is the doorway into von Neumann algebras and the beginning of genuinely modern mathematics.

Leave a Reply

Discover more from nerd-ish

Subscribe now to keep reading and get access to the full archive.

Continue reading