Rotation Number for Almost Periodic Sturm-Liouville Ops

• The rotation number is a quantitative invariant that generalizes the asymptotic phase advance per unit length in Sturm-Liouville operators with almost periodic coefficients and singularities.
• It is defined via Prüfer transformations and skew-product dynamics, ensuring existence, uniqueness, and continuity with respect to the spectral parameter.
• Rotation numbers enable gap labelling by connecting Fourier exponents of the coefficients with dynamical invariants, revealing deep ergodic and spectral properties.

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 (Teschl et al., 26 Jan 2026, Damanik et al., 2021).

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 [(Teschl et al., 26 Jan 2026), 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 [(Damanik et al., 2021), 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 (Teschl et al., 26 Jan 2026) 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$ [(Teschl et al., 26 Jan 2026), 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 [(Damanik et al., 2021), 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 [(Damanik et al., 2021), 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$ [(Teschl et al., 26 Jan 2026), 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 [(Damanik et al., 2021), 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 [(Teschl et al., 26 Jan 2026), Lemma 4.14; (Damanik et al., 2021), 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$ [(Teschl et al., 26 Jan 2026), 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 (Damanik et al., 2021). 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 [(Teschl et al., 26 Jan 2026), 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 [(Teschl et al., 26 Jan 2026), 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 (Damanik et al., 2021, Teschl et al., 26 Jan 2026). 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 (Teschl et al., 26 Jan 2026) or (Damanik et al., 2021), 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.