---
title: Rotation Number for Almost Periodic Sturm-Liouville Ops
url: https://www.emergentmind.com/topics/rotation-number-for-almost-periodic-sturm-liouville-operators
type: topic
---

# Rotation Number for Almost Periodic Sturm-Liouville Ops

A rotation number for almost periodic Sturm-Liouville operators is a quantitative invariant generalizing the asymptotic phase advance per unit length of solutions to one-dimensional eigenvalue equations with almost periodic coefficients. It extends the Johnson–Moser theory to Sturm-Liouville operators with highly non-periodic but almost recurring structure, including settings with jump discontinuities and $\delta$-interactions. The rotation number crucially enables gap-labelling in the spectrum and encodes deep ergodic properties of the underlying operator, establishing connections between spectral theory, dynamical systems, and almost periodic analysis [2601.18312], [2112.00372].

## 1. Classes of Operators, Almost Periodicity, and Ergodic Structure

Almost periodic Sturm-Liouville operators are defined on $L^2(\mathbb{R},w(x)\,dx)$ by the formal differential expression
\[
\tau_{1/p,q,w} f(x) = \frac{1}{w(x)} \left[ -\frac{d}{dx}(p(x) f'(x)) + q(x)f(x) \right]
\]
where $p, w \in \mathrm{AP}_+(\mathbb{R}, \mathbb{R})$ are Bohr almost-periodic, strictly positive coefficient functions, and $q \in \mathrm{AP}(\mathbb{R}, \mathbb{R})$ is Bohr almost-periodic. The hull E($v$) of the coefficients $v = (1/p, q, w)$, under the shift $v \cdot t = (1/p(\cdot + t), q(\cdot + t), w(\cdot + t))$, forms a compact abelian group with a unique Haar measure $\mu_{E(v)}$ due to unique ergodicity [2601.18312, Lemma 2.7].

Singular almost periodic operators, such as those with jump discontinuities and $\delta$-interactions,
\[
H_{q,V,I}\psi(x) = -\psi''(x) + \left( q(x) + \sum_{i \in \mathbb{Z}} v_i \delta(x - x_i) \right) \psi(x)
\]
where $q \in PC_u(\mathbb{R})$ (almost periodic, piecewise continuous), $\{v_i\} \in \ell^\infty(\mathbb{Z})$ almost periodic, and $I = \{x_i\}$ is an almost periodic set, extend this framework. Their hulls (in a suitable uniform topology on the triple $(q, V, I)$) are also compact, complete, and uniquely ergodic [2112.00372, Lemmas 3.13–3.15].

## 2. Rotation Number: Definition and Dynamical Realizations

For a fixed spectral parameter $\lambda \in \mathbb{R}$, consider any nontrivial real-valued solution $\varphi(x)$ of $\tau_{1/p,q,w}\varphi = \lambda \varphi$. The associated Prüfer transformation introduces polar variables via
\[
p(x)\varphi'(x) + i\varphi(x) = r(x) e^{i\theta(x)}
\]
yielding the angle evolution equation
\[
\theta'(x) = p(x)^{-1}\cos^2\theta(x) + [\lambda w(x) - q(x)]\sin^2\theta(x)
\]
The rotation number is defined by
\[
\rho(\lambda, v) = \lim_{x \to +\infty} \frac{\theta(x) - \theta(0)}{x}
\]
Theorem 4.1 in [2601.18312] guarantees that this limit exists, is independent of the solution and initial phase, and depends only on $(\lambda, v)$.

An equivalent, dynamically natural formulation uses the skew-product flow $\Psi^t_\lambda$ on $Z = S_{2\pi} \times E(v)$:
\[
\Psi^t_\lambda(\bar{\theta}, \tilde{v}) = (\theta(t; \bar{\theta}, \tilde{v}) \bmod 2\pi, \tilde{v} \cdot t)
\]
with the observable
\[
f_\lambda(\bar{\theta}, \tilde{v}) = p(0)^{-1}\cos^2\bar{\theta} + [\lambda w(0) - q(0)]\sin^2\bar{\theta}
\]
so that
\[
\rho(\lambda, v) = \int_Z f_\lambda \, d\nu
\]
for any invariant measure $\nu$ under $\Psi^t_\lambda$ [2601.18312, Remark 4.2].

For operators with singularities, the Prüfer angle process is modified: between jumps, angle evolution is continuous as above, but at jump locations $x_i \in I$,
\[
\theta(x_i^+) - \theta(x_i^-) = J(v_i, \theta(x_i^-))
\]
where $J(c, \phi)$ is a $2\pi$-periodic, continuous function specified by a symplectic homotopy [2112.00372, Eq. 4.3]. The rotation number takes the form
\[
\rho(E) = \lim_{x \to +\infty} \frac{\theta(x) - \theta(0)}{\pi x}
\]
which exists and is independent of all choices [2112.00372, Theorem 5.3].

## 3. Existence, Uniqueness, and Analytic Properties

Existence and independence of the rotation number are guaranteed for almost periodic Sturm-Liouville operators in the limit-point case at $\pm \infty$ [2601.18312, Lemmas 3.4–3.5, Theorem 4.1]. For singular models with jumps and $\delta$-interactions, an analogous result holds via reduction to skew-product dynamics on the compact hull and unique ergodicity [2112.00372, Theorem 5.3].

Key analytic features are:
- **Continuity**: $\rho(\lambda, v)$ is continuous in $\lambda$, relying on weak-* continuity of invariant measures and uniform Lipschitz dependence [2601.18312, Lemma 4.14; 2112.00372, Theorem 5.4].
- **Monotonicity**: The rotation number is non-decreasing in $\lambda$, by the Sturm comparison principle.
- **Independence**: The limit is independent of the solution, initial phase, and (for jump operators) the chosen symplectic homotopy.

A plausible implication is that in the spectral regime where the Lyapunov exponent vanishes, the rotation number increases on the interior of the spectrum, in the sense of the Johnson–Moser correspondence.

## 4. Gap Labelling and Spectral Consequences

Gap labelling via rotation numbers connects dynamical invariants to spectral theory. For each open gap $J \subset \mathbb{R} \setminus \sigma(L_v)$, the rotation number is constant, denoted $\rho_J$, and
\[
2\rho_J \in M_v
\]
where $M_v$ is the additive frequency module generated by the Fourier exponents of $p, q, w$ [2601.18312, Theorem 1.2]. Thus, gap labels modulo $1$ are drawn from
\[
\{ \rho_J \bmod 1 : J \text{ gap} \} = \frac{1}{2}M_v / \mathbb{Z} \subset [0,1)
\]
This extends directly to the singular case, where the spectrum often exhibits Cantor-like structure and the set of possible gap labels is determined by both the jump and $\delta$-interaction frequencies [2112.00372]. For periodic coefficients, the module is $\mathbb{Z}$, so $\rho_J \in \frac{1}{2}\mathbb{Z}$, yielding the classical Floquet picture.

Almost periodicity of the Green's function, proved rigorously for these operators, ensures that the mean zero density of appropriate Weyl-Titchmarsh solutions lies in $M_v$, completing the dynamical-spectral identification [2601.18312, Lemma 3.10].

## 5. Illustrative Examples

| Setting                | Coefficients                                                                              | Rotation Number/Gaps    |
|------------------------|-------------------------------------------------------------------------------------------|-------------------------|
| Periodic               | $p(x)=1/(2+\sin x)$, $q(x)=2\cos x$, $w(x)=2-\cos x$ (period $2\pi$)                     | $\rho_J \in \frac{1}{2}\mathbb{Z}$         |
| Almost periodic        | $q(x) = 2\cos(\sqrt{2} x)$, others periodic                                              | $\rho_J \bmod 1$ dense in $[0,1)$          |
| Pure jump only         | $q(x)=0$, $I=$ almost periodic set, $v_i\equiv 1$                                        | Explicit via jump angle                    |
| Ambarzumian type       | $q(x)=u_i$ piecewise constant, $u_i$ almost periodic, no $\delta$-terms                  | Explicit closed-form in each interval      |

In the almost periodic case, the gap-label set forms a dense subgroup of $[0,1)$, observable as a devil’s staircase in the integrated density of states [2601.18312, Figure 1.2].

## 6. Extensions, Generalizations, and the Johnson–Moser Paradigm

The Johnson–Moser rotation number framework originally covered continuous, periodic, or Bohr almost periodic potentials. The extension to almost periodic Sturm-Liouville operators with jump discontinuities and $\delta$-interactions requires:
- Compact, uniquely ergodic hulls for triples $(q, V, I)$ in a uniform topology.
- Well-posedness of Prüfer angle evolution with discrete jumps defined via continuous symplectic homotopies.
- Skew-product dynamical systems formulations amenable to ergodic averages.

These generalizations ensure that key results—existence and continuity of the rotation number, gap-labelling, and dynamical-spectral connections—hold in these more singular contexts [2112.00372, 2601.18312]. This suggests that the rotation number remains a robust invariant for broad classes of ergodic one-dimensional operators, even when pathologies such as jump discontinuities or arrays of point interactions are present.

## 7. Connections to Density of States and Further Directions

Although not fully developed in [2601.18312] or [2112.00372], the rotation number coincides (up to normalization) with the integrated density of states (IDS) for these operators. Gap labels via rotation numbers thus provide a topological invariant for spectral bands, linking to $K$-theoretic viewpoints and Schwarzman asymptotic cycles, and establishing a deep correspondence between the dynamical hull structure and detailed spectral data of the operator. 

A plausible implication is that future work may extend these results to broader singular settings and multidimensional analogues, further elucidating the universality and algebraic structure of rotation numbers and their role in spectral theory.

Source: https://www.emergentmind.com/topics/rotation-number-for-almost-periodic-sturm-liouville-operators