Math 2.0

Operator theory Ordinary and partial differential operators Example

Almost Mathieu operator

Example

Let λ,α,θ\lambda, \alpha, \theta be real numbers. The almost Mathieu operator Hλ,α,θH_{\lambda,\alpha,\theta} acts on the Hilbert space ℓ2(ℤ)\ell^2(\Z) of square-summable sequences u=(u(n))n∈ℤu = (u(n))_{n \in \Z} by (Hλ,α,θu)(n)=u(n+1)+u(n−1)+2λcos⁡(2π(nα+θ))u(n).(H_{\lambda,\alpha,\theta}u)(n) = u(n + 1) + u(n - 1) + 2\lambda\cos\big(2\pi(n\alpha + \theta)\big)u(n). It is a bounded self-adjoint operator. Check: each of the three terms has norm at most 11, 11 and 2∣λ∣2\abs{\lambda}, so ∥Hλ,α,θ∥≤2+2∣λ∣\norm{H_{\lambda,\alpha,\theta}} \le 2 + 2\abs{\lambda}. The shifts u(n)↦u(n+1)u(n) \mapsto u(n + 1) and u(n)↦u(n−1)u(n) \mapsto u(n - 1) are adjoint to each other, so their sum is self-adjoint, and multiplication by a real sequence is self-adjoint.

Remarks

The operator is a discrete Schrödinger operator with a quasi-periodic potential when α\alpha is irrational. For irrational α\alpha, its spectrum does not depend on θ\theta. Aubry duality relates the operators with coupling λ\lambda and 1/λ1/\lambda, and λ=1\lambda = 1 is the critical coupling. For irrational α\alpha, the Lebesgue measure of the spectrum is ∣4−4∣λ∣∣\abs{4 - 4\abs{\lambda}}; in particular it is zero at λ=1\lambda = 1. The ten martini problem asked whether the spectrum is a Cantor set for all irrational α\alpha and all λ≠0\lambda \ne 0; Avila and Jitomirskaya proved that it is. Plotting the spectrum against α\alpha for λ=1\lambda = 1 gives Hofstadter's butterfly.

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Almost_Mathieu_operator
About this page
TagD08SKTH2T2
URIm2://D08SKTH2T2
Kindexample
WritingW0 stub
MSC47B36, 81Q10, 47A10
Instance ofSelf-adjoint operator
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Results about this

Used by