Hostname: page-component-76c49bb84f-6sxsx Total loading time: 0 Render date: 2025-07-13T12:24:54.242Z Has data issue: false hasContentIssue false

log-Hölder continuity of the rotation number

Published online by Cambridge University Press:  08 July 2025

ANTON GORODETSKI*
Affiliation:
Department of Mathematics, https://ror.org/04gyf1771University of California, Irvine, CA 92697, USA
VICTOR KLEPTSYN
Affiliation:
CNRS, https://ror.org/05y76vp22Institute of Mathematical Research of Rennes, IRMAR, UMR 6625 du CNRS, Rennes, France (e-mail: victor.kleptsyn@univ-rennes1.fr)
*
Rights & Permissions [Opens in a new window]

Abstract

We consider one-parameter families of smooth circle cocycles over an ergodic transformation in the base, and show that their rotation numbers must be log-Hölder regular with respect to the parameter. As an immediate application, we get a dynamical proof of the one-dimensional version of the Craig–Simon theorem that establishes that the integrated density of states of an ergodic Schrödinger operator must be log-Hölder.

Information

Type
Original Article
Creative Commons
Creative Common License - CCCreative Common License - BYCreative Common License - NCCreative Common License - ND
This is an Open Access article, distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives licence (https://creativecommons.org/licenses/by-nc-nd/4.0), which permits non-commercial re-use, distribution, and reproduction in any medium, provided that no alterations are made and the original article is properly cited. The written permission of Cambridge University Press must be obtained prior to any commercial use and/or adaptation of the article.
Copyright
© The Author(s), 2025. Published by Cambridge University Press

1 Introduction

The rotation number of a homeomorphism or diffeomorphism of the circle was introduced by Poincaré [Reference PoincaréPo] in 1885. Since then, this notion was extensively studied, e.g., see [Reference Katok and HasselblattKH, §§11 and 12] for a modern exposition of the main results. In particular, in the case when the circle diffeomorphism depends on a parameter $a\in \mathbb {R}^1$ , properties of the rotation number $\rho $ as a function of the parameter, $\rho =\rho (a)$ , is a classical topic in dynamical systems.

In many cases, the graph of the function $\rho (a)$ turns out to be a ‘devil’s staircase’, with many fascinating properties. It was shown that, under suitable conditions, the function $\rho (a)$ must be continuous, but in general, not Lipschitz [Reference ArnoldArn, Reference HermanHer1], generically of bounded variation [Reference BrunovskyBru], and Hölder continuous [Reference GraczykGr]. Hölder continuity of $\rho (a)$ for families of diffeomorphisms with a critical point was established in [Reference Graczyk and SwiatekGrS], see also [Reference KhaninKh]. Increasingly refined results on the properties of $\rho (a)$ appear up to this day [Reference MatsumotoMat].

Here, we consider the rotation number as a function of a parameter not for one circle map, but for a cocycle over an ergodic transformation in a base, with smooth circle maps on the fibers; we provide the formal setting in §2. It turns out that in this case, the rotation number does not have to be a Hölder continuous function of the parameter, but must be log-Hölder, see Theorem 2.5 below for the formal statement.

Our initial motivation for writing this paper came from an attempt to understand a dynamical meaning of the famous Craig–Simon theorem from spectral theory [Reference Craig and SimonCS1, Reference Craig and SimonCS2], and Theorem 2.5 can be interpreted as its nonlinear version. The Craig–Simon theorem claims that the integrated density of states of an ergodic family of discrete Schödinger operators must be log-Hölder continuous, and can be reformulated as a statement about the rotation number of a projectivization of the Schrödinger cocycle that depends on energy as a parameter. In this way, Theorem 2.5 provides a one-dimensional (1D) version of the Craig–Simon theorem as an immediate corollary. The original proof of the Craig–Simon theorem in [Reference Craig and SimonCS1, Reference Craig and SimonCS2] used very different arguments, and was based on the so-called Thouless formula. A beautiful dynamical version of the Thouless formula was derived recently in [Reference Bezerra, Cai, Duarte, Freijo and KleinBCDFK]. In particular, under suitable technical conditions, it implies log-Hölder continuity of the rotation number for general affine one-parameter families of projective cocycles, not just Schrödinder cocycles, see [Reference Bezerra, Cai, Duarte, Freijo and KleinBCDFK, Proposition 5.1], which is also a partial case of Theorem 2.5.

In §2, we provide the setting and formulate and prove the main result, Theorem 2.5. In §3, we give the background from spectral theory needed to formulate the Craig–Simon theorem, and explain its relation to Theorem 2.5. Also, referring to known results in spectral theory, we notice that Theorem 2.5 is essentially optimal.

2 Preliminaries and main result

2.1 Preliminaries

Suppose that $\mathfrak {M}$ is a compact metric space, $\sigma :\mathfrak {M}\to \mathfrak {M}$ is a homeomorphism, and $\mu $ is an ergodic invariant Borel probability measure supported on $\mathfrak {M}$ . Assume also that we are given a continuous map $g_{\cdot }:\mathfrak {M}\to {\operatorname {\mathrm {Homeo}}}^+(S^1)$ , where by $\operatorname {\mathrm {Homeo}}^+(S^1)$ , we denote the space of orientation-preserving homeomorphisms of the circle, where $S^1=\mathbb {R}/\mathbb {Z}$ denotes the circle. Then, one can consider an associated skew product

$$ \begin{align*} F:(\omega, x)\mapsto (\sigma \omega, g_{\omega} (x)). \end{align*} $$

Next, let us choose for every $\omega \in \mathfrak {M}$ a lift $\tilde g_{\omega }:\mathbb {R}\to \mathbb {R}$ of the map $g_{\omega }\in Homeo^+(S^1)$ ,

$$ \begin{align*} g_{\omega}(\pi(x))=\pi(\tilde g_{\omega}(x)), \end{align*} $$

where $\pi :\mathbb {R}^1\to S^1$ is a natural covering map, in such a way that $\{\tilde g_{\omega }(0)\}$ is a bounded measurable (in $\omega $ ) function (e.g. one can require $g_{\omega }(0)\in [0,1)$ for all $\omega \in \mathfrak {M}$ ). We then can consider the associated lift of the skew product:

(1) $$ \begin{align} \tilde F:(\omega, x)\mapsto (\sigma \omega, \tilde g_{\omega} (x)). \end{align} $$

Finally, let $G_{m,\omega }$ and $\tilde G_{m,\omega }$ be the length m fiberwise compositions associated to these skew products:

$$ \begin{align*} F^m (\omega,x)=(\sigma^m \omega, G_{m,\omega}(x)), \quad \tilde F^m (\omega,x)=(\sigma^m \omega, \tilde G_{m,\omega}(x)), \end{align*} $$

so that for $m>0$ , we have

$$ \begin{align*} \tilde G_{m,\omega}=\tilde g_{\sigma^{m-1}\omega}\circ \cdots \circ \tilde g_{\sigma\omega}\circ\tilde g_{\omega}. \end{align*} $$

The following statement is well known (e.g. see [Reference HermanHer, §5], [Reference RuelleR], or [Reference Gorodetski and KleptsynGK, Appendix A]).

Proposition 2.1. There exists a number $\rho \in \mathbb {R}$ such that for $\mu $ -almost every (a.e.) $\omega \in \mathfrak {M}$ and every $x\in \mathbb {R}$ , the limit

(2) $$ \begin{align} \lim_{n\to \infty}\frac{1}{n} (\tilde G_{n,\omega} (x)-x) \end{align} $$

exists and is equal to $\rho $ .

The number $\rho $ from Proposition 2.1 is called the rotation number. Notice that the rotation number $\rho $ depends on the choice of lifts $\tilde g_{\omega }$ .

Remark 2.2. It can happen that the lifts $\{\tilde g_{\omega }\}$ cannot be taken continuous in $\omega $ . At the same time, in the case when $\{g_{\omega }\}$ are projectivizations of the transfer matrices of a Schrödinger cocycle defined by a continuous potential, the lifts $\{\tilde g_{\omega }\}$ can always be chosen continuously in $\omega $ (since any Schrödinger cocycle is homotopic to a constant one).

Remark 2.3. Some of the assumptions in Proposition 2.1 can be essentially relaxed. For example, one can start with a probability space $(\mathfrak {M}, \mu )$ and a measure-preserving transformation $\sigma $ instead on a measure-preserving homeomorphism of a compact metric space. To keep the presentation more transparent, we are not trying to give the statements in the most general form.

Let us now consider the dependence of the rotation number on a parameter. Namely, assume now that we are given a continuous family $g_{\cdot ,\cdot }: J\times \mathfrak {M} \to \operatorname {\mathrm {Homeo}}_+(S^1)$ of maps as above; here, $J\subseteq \mathbb {R}^1$ is a closed interval of parameters. Then, we can consider their lifts $\tilde {g}_{a,\omega }:{\mathbb R}\to {\mathbb R}$ to be chosen continuously in parameter $a\in J$ . The corresponding skew products $F_a$ and $\tilde F_a$ as well as the fiberwise compositions $G_{n,a,\omega }$ and $\tilde G_{n,a,\omega }$ then can be defined in the same way as before.

An important note is that the increments of the images ${\tilde {G}}_{n,a',\omega }(x)-{\tilde {G}}_{n,a,\omega }(x)$ do not depend on a particular choice of lifts $\tilde {g}_{a,\omega }$ . Moreover, this increment is continuous in $\omega $ and x (and in fact is a well-defined function of the point x on the circle, not only on the real line). Also, dividing by n and passing to the limit, one gets that the difference of the corresponding rotation numbers $\rho (a')-\rho (a)$ does not depend on the choice of lifts $\tilde {g}_{a,\omega }$ , thus getting the following important note.

Remark 2.4. Even though the rotation number $\rho $ depends on a particular choice of the lifts $\tilde {g}_{a,\omega }$ , the differences of rotation numbers $\rho (a')-\rho (a)$ do not. In particular, different choice of lifts $\tilde g_{a, \omega }$ leads to a shift of the rotation number $\rho (a)$ by a constant, and intervals in the space of parameters where $\rho $ is constant are independent of the choice of the lifts.

2.2 Main result

Here is the main result of this paper.

Theorem 2.5. Assume that the cocycle in equation (1) smoothly depends on the parameter $a\in J$ and satisfies the following:

  1. (1) the range of parameters is a closed interval $J\subset \mathbb {R}$ , and for some uniform (in $x\in \mathbb {R}$ , $\omega \in \mathfrak {M}, a\in J$ ) constant $C>0$ , one has

    $$ \begin{align*} \bigg|\frac{\partial \tilde{g}_{a, \omega}(x)}{\partial a}\bigg|\le C; \end{align*} $$
  2. (2) if we set $M_{\omega }=\max \{2, \max _{x\in \mathbb {R}, \, a\in J}|{\partial \tilde {g}_{a,\omega }(x)}/{\partial x}|\}$ , then

    $$ \begin{align*} \int_{\mathfrak{M}}\log M_{\omega}\, d\mu(\omega)<\infty. \end{align*} $$
    Then, the rotation number as a function of the parameter is $\mathrm {log}$ -Hölder continuous, that is, there exists $R>0$ such that for any $a, a'\in J$ with $|a-a'|\le 1/2$ , we have
    (3) $$ \begin{align} |\rho(a')-\rho(a)|\le R (\log|a'-a|^{-1})^{-1}. \end{align} $$

Remark 2.6. The restriction on the modulus of continuity given by equation (3) is optimal, and cannot be improved without restriction of the class of cocycles under consideration. See the last paragraph of §3 for details. At the same time, for some specific classes of cocycles, one can expect a better modulus of continuity of the fibered rotation number. For example, for random linear cocycles under some natural assumptions, the rotation number is known to be Hölder continuous, e.g. see [Reference Bezerra, Cai, Duarte, Freijo and KleinBCDFK, Remark 1.3]. For the random Schrödinger operators, this corresponds to Hölder continuity of the integrated density of states [Reference Le PageL]. Also, it is interesting to notice that log-Holder modulus of continuity naturally appears in other contexts related to random linear cocycles, see [Reference MonakovMon].

Remark 2.7. Instead of assuming smoothness of the maps $\tilde {g}_{a,\omega }(x)$ , one can assume that they are Lipschitz, and replace $|{d\tilde {g}_{a,\omega }(x)}/{dx}|$ by the Lipschitz constant in the definition of $M_{\omega }$ .

2.3 Proof of the main result

Proof. Fix $a', a\in J$ , and set $\delta =C|a'-a|$ . It suffices to show that equation (3) holds for all $a, a'\in J$ that are sufficiently close to each other. Therefore, without loss of generality, we can assume

(4) $$ \begin{align} \delta<0.1\quad \text{and}\quad |a'-a|<C. \end{align} $$

Take any initial point $x_0=x_0'\in {\mathbb R}$ , for instance, $x_0=x_0'=0$ . Consider the sequences of its iterates associated to some $\omega \in \Omega $ and two different parameter values $a,a'\in J$ , for $n\ge 1$ ,

$$ \begin{align*} x_{n}&={\tilde{G}}_{n, a, \omega}(x_0)=\tilde{g}_{a, \sigma^{n-1}(\omega)}(x_{n-1}),\\ x^{\prime}_{n}&={\tilde{G}}_{n, a', \omega}(x_0)=\tilde{g}_{a', \sigma^{n-1}(\omega)}(x^{\prime}_{n-1}) \end{align*} $$

(to simplify the notation, we do not indicate the dependence on $\omega $ explicitly).

Then, for $\mu $ -a.e. $\omega \in \mathfrak {M}$ , we have

(5) $$ \begin{align} \rho(a')-\rho(a)=\lim_{n\to \infty}\frac{1}{n}(x^{\prime}_n - x_n). \end{align} $$

To prove equation (3), we can assume without loss of generality that $\rho (a')>\rho (a)$ , as the other case differs only by interchanging a and $a'$ . The following lemma compares the evolution of distances between the two orbits (considered for the same $\omega $ ).

Lemma 2.8. For any $n=1,2,\ldots $ and any integer j, the following holds:

(6) $$ \begin{align} x^{\prime}_n-x_n - j \le \delta + M_{\sigma^{n-1}\omega} \cdot \max (0,x^{\prime}_{n-1}-x_{n-1} - j). \end{align} $$

Proof. Consider the point $y:=\tilde {g}_{a, \sigma ^{n-1}(\omega )}(x^{\prime }_{n-1})$ . Applying the Lagrange theorem, due to the choice of C, we then have

$$ \begin{align*} |x^{\prime}_n-y| = | \tilde{g}_{a', \sigma^{n-1}(\omega)}(x^{\prime}_{n-1}) - \tilde{g}_{a, \sigma^{n-1}(\omega)}(x^{\prime}_{n-1})| \le C \cdot |a'-a| =\delta. \end{align*} $$

Thus, to establish equation (6), it suffices to show that

(7) $$ \begin{align} y-x_n - j \le M_{\sigma^{n-1}\omega} \cdot \max (0,x^{\prime}_{n-1}-x_{n-1} - j). \end{align} $$

However, we have

$$ \begin{align*} y-x_n - j&= \tilde{g}_{a, \sigma^{n-1}(\omega)}(x^{\prime}_{n-1}) - \tilde{g}_{a, \sigma^{n-1}(\omega)}(x_{n-1}) - j \\ &= \tilde{g}_{a, \sigma^{n-1}(\omega)}(x^{\prime}_{n-1}-j) - \tilde{g}_{a, \sigma^{n-1}(\omega)}(x_{n-1}), \end{align*} $$

where the second equality uses the fact that $\tilde {g}_{a, \sigma ^{n-1}(\omega )}$ commutes with integer shifts (see Figure 1).

Figure 1 Action of maps $\tilde {g}_{a, \sigma ^{n-1}(\omega )}$ and $\tilde {g}_{a', \sigma ^{n-1}(\omega )}$ .

If $x^{\prime }_{n-1}-x_{n-1} - j\le 0$ , then due to the monotonicity of $\tilde {g}_{a, \sigma ^{n-1}(\omega )}$ ,

$$ \begin{align*} y-j = \tilde{g}_{a, \sigma^{n-1}(\omega)}(x^{\prime}_{n-1}-j) \le \tilde{g}_{a, \sigma^{n-1}(\omega)}(x_{n-1}) = x_n, \end{align*} $$

and equation (7) holds. Otherwise, we again apply the Lagrange theorem:

$$ \begin{align*} y-x_n - j = \frac{d\tilde{g}_{a, \sigma^{n-1}(\omega)}}{dx} \bigg|_{\xi} \cdot ((x_{n-1}'-j) - x_{n-1}) \le M_{\sigma^{n-1}\omega} \cdot \max (0,x^{\prime}_{n-1}-x_{n-1} - j), \end{align*} $$

where $\xi \in \mathbb {R}$ is a point between $x_{n-1}'-j$ and $x_{n-1}$ . This completes the proof of Lemma 2.8.

The conclusion of this lemma immediately implies the following corollary.

Corollary 2.9. Denote $d_{n,j}:= \delta + \max (0,x^{\prime }_n-x_n-j)$ . Then,

$$ \begin{align*} d_{n,j} \le M_{\sigma^{n-1}\omega} \cdot d_{n-1,j}. \end{align*} $$

Consider now the sequence of the first moments $n_j$ when the orbit associated to $a'$ goes j full turns ahead of the one associated to a:

$$ \begin{align*} n_j=\min\{n \ge 0 \mid \ x^{\prime}_{n}\ge x_{n}+j\}. \end{align*} $$

This sequence is well defined for $\mu $ -a.e. $\omega \in \mathfrak {M}$ due to equation (5) and the assumption $\rho (a')>\rho (a)$ . We have the following lemma.

Lemma 2.10. For every $j\ge 0$ ,

$$ \begin{align*} \log \frac{1}{2\delta} \le \sum_{l=n_{j}+1}^{n_{j+1}}\log M_{\sigma^{l-1}(\omega)}. \end{align*} $$

Proof. Applying Corollary 2.9, we get

$$ \begin{align*} d_{n_{j+1},j} \le \bigg(\prod_{l=n_{j}+1}^{n_{j+1}} M_{\sigma^{l-1}(\omega)} \bigg) d_{n_j,j}. \end{align*} $$

However, $d_{n_{j+1},j}\ge 1$ by definition, while $d_{n_j,j}\le 2\delta $ due to Lemma 2.8. Taking the logarithm concludes the proof.

We are now ready to complete the proof of Theorem 2.5. Namely, for every $\mu $ -regular point $\omega \in \mathfrak {M}$ , we have

$$ \begin{align*} \frac{1}{n}\sum_{l=1}^n \log M_{\sigma^{l-1}(\omega)}\to \int_{\mathfrak{M}}\log M_{\omega'}\,d\mu(\omega') \end{align*} $$

as $n\to \infty $ . In particular, for all sufficiently large values of $n\in \mathbb {N}$ , we have

$$ \begin{align*} \frac{1}{n}\sum_{l=1}^n \log M_{\sigma^{l-1}(\omega)} < 2 \int_{\mathfrak{M}}\log M_{\omega'}\,d\mu(\omega'). \end{align*} $$

Hence, for all large enough $j\in \mathbb {N}$ ,

$$ \begin{align*} &\frac{j}{n_j}\log \frac{1}{2\delta} \\ &\quad \le \frac{1}{n_j}\bigg(\sum_{l=1}^{n_1} \log M_{\sigma^{l-1}(\omega)}+\sum_{l=n_1+1}^{n_2} \log M_{\sigma^{l-1}(\omega)}+\cdots+ \sum_{l=n_{j-1}+1}^{n_j} \log M_{\sigma^{l-1}(\omega)}\bigg)\\ &\quad =\frac{1}{n_j}\sum_{l=1}^{n_j} \log M_{\sigma^{l-1}(\omega)}<2\int_{\mathfrak{M}}\log M_{\omega'}\,d\mu(\omega'). \end{align*} $$

By definition of $\{n_j\}$ , we have $ j\le |x^{\prime }_{n_j}- x_{n_j}|\le j+1, $ and hence

$$ \begin{align*} \frac{1}{n_j}|x_{n_j}'- x_{n_j}|\le \frac{2j}{n_j}\le \bigg(4\int_{\mathfrak{M}}\log M_{\omega'}\,d\mu(\omega')\bigg)\bigg(\log \frac{1}{2\delta}\bigg )^{-1}. \end{align*} $$

Taking into account equation (5), this implies that

(8) $$ \begin{align} |\rho(a')-\rho(a)|\le \bigg(4\int_{\mathfrak{M}}\log M_{\omega'}\,d\mu(\omega')\bigg)\bigg(\log \frac{1}{2\delta} \bigg)^{-1}. \end{align} $$

Finally,

$$ \begin{align*} \log \frac{1}{2\delta} = \log |a-a'|^{-1} - \log 2C> \frac{1}{2} \log |a-a'|^{-1} \end{align*} $$

once $|a-a'|<e^{-4C}$ ; hence, for such $a,a'$ , the estimatein equation (8) implies

$$ \begin{align*} |\rho(a')-\rho(a)| \le R \, (\log|a'-a|^{-1})^{-1}, \end{align*} $$

where $R=8\int _{\mathfrak {M}}\log M_{\omega '}\,d\mu (\omega ')$ .

Due to compactness of J, the same inequality holds also if we remove the assumption of $a,a'$ being sufficiently close, possibly with a larger value of constant R. This completes the proof of Theorem 2.5.

3 The Craig–Simon theorem on log-Hölder regularity of the IDS

In this section, we explain that an application of Theorem 2.5 to the Schrödinger cocycle of the corresponding 1D ergodic Schrödinger operator immediately implies that the integrated density of states must be log-Hölder regular; therefore, providing a purely dynamical proof of the classical Craig–Simon result in spectral theory [Reference Craig and SimonCS2, Theorem 5.2]. For the modern presentation of all the necessary background in the theory of ergodic Schrödinger operators, see [Reference Damanik and FillmanDF1, Reference Damanik and FillmanDF2].

To define an ergodic family of discrete Schrödinger operators, let us consider a homeomorphism $\sigma $ of a compact metric space $\mathfrak {M}$ , an ergodic invariant Borel probability measure $\mu $ on $\mathfrak {M}$ , and a measurable function $f : \mathfrak {M} \to {\mathbb R}$ . One associates a family of discrete Schrödinger operators on the line as follows. For $\omega \in \mathfrak {M}$ , the potential ${V_{\omega } : {\mathbb Z} \to {\mathbb R}}$ is given by $V_{\omega }(n) = f(\sigma ^n \omega )$ and the operator $H_{\omega }$ in $\ell ^2({\mathbb Z})$ acts as

(9) $$ \begin{align} [H_{\omega} \phi](n) = \phi(n+1) + \phi(n-1) + V_{\omega}(n) \phi(n). \end{align} $$

Since $\sigma :{(\mathfrak {M}, \mu )}\to (\mathfrak {M}, \mu )$ is ergodic, one should expect any $\sigma $ -invariant measurable spectral characteristic to be almost surely constant. In particular, there is a well-defined almost sure spectrum [Reference PasturPa], etc. An important quantity associated with such a family of operators, $\{H_{\omega }\}_{\omega \in \mathfrak {M}}$ , is given by the integrated density of states, which is defined as follows; compare [Reference Avron and SimonAS, Reference Cycon, Froese, Kirsch and SimonCFKS] or [Reference Damanik and FillmanDF1, §4.3]. Define the measure $dN$ by

(10) $$ \begin{align} \int g(\unicode{x3bb})\,dN(\unicode{x3bb}) = \int \langle \delta_0 , g(H_{\omega}) \delta_0 \rangle \, d\mu(\omega). \end{align} $$

The integrated density of states (IDS), N, is then given by

(11) $$ \begin{align} N(E) = \int \chi_{(- \infty, E]} (\unicode{x3bb}) \, dN(\unicode{x3bb}). \end{align} $$

The terminology is explained by the fact that

(12) $$ \begin{align} N(E) = \lim_{n \to \infty} \frac{\# \{ \text{eigenvalues of } H_{\omega,[1,n]} \le E \}}{n} \quad \text{ for } \mu\text{-a.e.} \ \omega \in \Omega, \end{align} $$

where $H_{\omega ,[1,n]}$ denotes the restriction of $H_{\omega }$ to the interval $[1,n]$ with Dirichlet boundary conditions. It is a basic result that the IDS is always continuous [Reference Avron and SimonAS, Reference PasturPa], [Reference Damanik and FillmanDF1, Theorem 4.3.6]; see [Reference Delyon and SouillardDS2] for a very short proof that also works in higher dimensions. For specific models, explicit moduli of continuity can be established. For example, for the free Laplacian, we have

$$ \begin{equation*}N(E) = \left\{\begin{array}{@{}l@{\quad}l} 0, & E \le -2, \\ \displaystyle\frac{1}{\pi} \mbox{ arccos } \bigg(\displaystyle - \frac{E}{2} \bigg), & -2 < E < 2, \\ 1, & E \ge 2, \end{array}\right.\end{equation*} $$

which is Hölder continuous. For the Anderson model (that is, for Schrödinger operators with (independent and identically distributed (iid) random potentials), it is known that the IDS must be Hölder continuous [Reference Le PageL], and under additional assumptions of regularity of the distribution that defines the potential, stronger results are available [Reference KirschKi, Reference Klein and SpeisKS, Reference Simon and TaylorST]. In particular, in the case of compactly supported distribution with polynomially decaying Fourier transform, one can show that the IDS must be $C^\infty $ , see [Reference Campanino and KleinCK]. For the Fibonacci Hamiltonian, the IDS must be Hölder continuous [Reference Damanik and GorodetskiDG1], while it is not always the case for operators with Sturmian potentials, see [Reference MungerMun] for details. Hölder continuity of the IDS in the case of quasiperiodic potentials was established in [Reference Goldstein and SchlagGS].

Many spectral properties of the operator in equation (9), including the integrated density of states, can be expressed in terms of the corresponding Schrödinger cocycle. To define it, for each $\omega \in \mathfrak {M}$ and $E\in \mathbb {R}$ , introduce the transfer matrix

$$ \begin{align*} A_E(\omega)=\begin{pmatrix} E-f(\omega) & -1, \\ 1 & 0, \\ \end{pmatrix}, \end{align*} $$

and consider the $SL(2, \mathbb {R})$ cocycle

$$ \begin{align*} (\sigma, A_E):\mathfrak{M}\times \mathbb{R}^2\to \mathfrak{M}\times\mathbb{R}^2, (\omega, \bar v)\mapsto (\sigma(\omega), A_E(\omega)\bar v), \end{align*} $$

usually called a Schrödinger cocycle corresponding to the family in equation (9). Each linear map $A_E(\omega )$ induces a projective map that we will denote by $g_{E, \omega }:\mathbb {RP}^1\to \mathbb {RP}^1$ . It is not hard to see that in the case of bounded function f, if $|E|\gg 1$ , then the cocycle in equation (1) is uniformly hyperbolic. In this case, one can choose the lifts $\tilde {g}_{E, \omega }$ in such a way that the rotation number $\rho (E)$ of the corresponding cocycle is equal to 0 for $E\gg 1$ and to $1/2$ for $E\ll -1$ . For a measurable function f, one can choose lifts in such a way that $\rho (E)\to 0$ as $E\to +\infty $ and $\rho (E)\to 1/2$ as $E\to -\infty $ . In either case, the integrated density of states $N(E)$ can be expressed via the rotation number [Reference Delyon and SouillardDS1]:

$$ \begin{align*} N(E)=1-2\rho(E). \end{align*} $$

Together with Theorem 2.5, this immediately gives a purely dynamical proof of the following statement.

Theorem 3.1. (Theorem 5.2 from [Reference Craig and SimonCS2])

In the setting above, if the function ${f:\mathfrak {M}\to \mathbb {R}^1}$ is such that

$$ \begin{align*} \int_{\mathfrak{M}}\log(1+ |f(\omega)|)\,d\mu <\infty, \end{align*} $$

then the integrated density of states $N(E)$ is $\mathrm {log}$ -Hölder continuous, that is, for any compact $J\subset \mathbb {R}$ , for some $C>0$ , and any $E_1, E_2\in J$ with $|E_1-E_2|\le 1/2$ , one has

$$ \begin{align*} | N(E_1) - N(E_2) | \le C ( \log |E_1 - E_2|^{-1} )^{-1}. \end{align*} $$

A multidimensional version of this statement was provided in [Reference Craig and SimonCS1]. In both [Reference Craig and SimonCS1] and [Reference Craig and SimonCS2], the Thouless formula is used as the main tool. The Thouless formula relates the integrated density of states of an ergodic family of Schrödiger operators and the Lyapunov exponent of the corresponding Schrödinger cocycle; in the nonlinear setting of Theorem 2.5, one of the parts of this formula, the Lyapunov exponent, is just not defined. Notice that the original results [Reference Craig and SimonCS1, Reference Craig and SimonCS2] deal with bounded potentials only, but in [Reference Craig and SimonCS1], the authors make a remark that their method can be adapted to the case when the function $\log (1+|f|)$ belongs to the space $L^1$ .

An analog of Theorem 3.1 for CMV matrices was provided in [Reference Fillman and OngFO]. Also, in many models, the regularity of Lyapunov exponent of the corresponding linear cocycle is related to the regularity of the integrated density of states, and the former was heavily studied, e.g. see [Reference Bourgain and JitomirskayaBJ, Reference Duarte and KleinDK, Reference Duarte, Klein and PolettiDKP], just to give a few examples.

The question whether Theorem 3.1 is optimal was heavily discussed in spectral theory of ergodic Schrödinger operators. It turned out that the modulus of continuity of the integrated density of states in general cannot be improved. It was shown that even for the Anderson model, the integrated density of states does not have to be Hölder continuous with a given power [Reference HalperinHal]. Also, [Reference CraigCr, Theorem 5] essentially claims that for any continuous increasing function $N(E)$ on $[0,1]$ with $N(0)=0, N(1)=1$ that is $\alpha $ -log-Hölder continuous with any $\alpha>1$ , that is, just slightly more regular than allowed by Theorem 3.1, there exists a family of almost periodic Schrödinger operators with an integrated density of states given by the function $N(E)$ . Finally, in [Reference Krüger and GanKG], the limit periodic potentials were used to show that Theorem 3.1 is sharp, and an estimate in Theorem 3.1 cannot be replaced by any better modulus of continuity. Later examples in other special classes of ergodic Schrödinger operators were constructed as well. So, in [Reference Duarte, Klein and SantosDKS], an example in the class of random Schrödinger cocycles was constructed, and in [Reference Avila, Last, Shamis and ZhouALSZ]—in the class of quasiperiodic operators. In particular, these results imply that the modulus of continuity in Theorem 2.5 is also optimal.

Acknowledgements

We are grateful to Jake Fillman for multiple relevant references he provided, as well as for numerous corrections, and Grigorii Monakov for useful comments on the first draft of the paper. The first author is grateful to the American Institute of Mathematics and its support through the SQuaRE program. A.G. was supported in part by NSF grant DMS–2247966. V.K. was supported in part by ANR Gromeov (ANR-19-CE40-0007) and by Centre Henri Lebesgue (ANR-11-LABX-0020-01).

References

Avila, A., Last, Y., Shamis, M. and Zhou, Q.. On the abominable properties of the almost Mathieu operator with well-approximated frequencies, Duke Math. J. 173 (2024), 603672.10.1215/00127094-2023-0022CrossRefGoogle Scholar
Arnold, V. I.. Small denominators I: On the mapping of a circle into itself. Izv. Akad. Nauk. Math. Serie 25 (1961), 2186; transl. Am. Math. Soc. (2) 46 (1965).Google Scholar
Avron, J. and Simon, B.. Almost periodic Schrödinger operators. II. The integrated density of states, Duke Math. J. 50 (1983), 369391.10.1215/S0012-7094-83-05016-0CrossRefGoogle Scholar
Bezerra, J., Cai, A., Duarte, P., Freijo, C. and Klein, S.. A dynamical Thouless formula. Adv. Math. 438 (2024), 109446.10.1016/j.aim.2023.109446CrossRefGoogle Scholar
Bourgain, J. and Jitomirskaya, S.. Continuity of the Lyapunov exponent for quasiperiodic operators with analytic potential. J. Stat. Phys. 108 (2002), 12031218.10.1023/A:1019751801035CrossRefGoogle Scholar
Brunovsky, P.. Generic properties of the rotation number of one-parameter diffeomorphisms of the circle. Czechoslovak Math. J. 24 (1974), 7490.10.21136/CMJ.1974.101218CrossRefGoogle Scholar
Cycon, H. L., Froese, R. G., Kirsch, W. and Simon, B.. Schrödinger Operators with Application to Quantum Mechanics and Global Geometry (Texts and Monographs in Physics). Springer-Verlag, Berlin, 1987.Google Scholar
Campanino, M. and Klein, A.. A supersymmetric transfer matrix and differentiability of the density of states in the one-dimensional Anderson model. Comm. Math. Phys. 104 (1986), 227241.10.1007/BF01211591CrossRefGoogle Scholar
Craig, W.. Pure point spectrum for discrete almost periodic Schrödinger operators. Comm. Math. Phys. 88 (1983), 113131.10.1007/BF01206883CrossRefGoogle Scholar
Craig, W. and Simon, B.. Log Hölder continuity of the integrated density of states for stochastic Jacobi matrices. Comm. Math. Phys. 90 (1983), 207218.10.1007/BF01205503CrossRefGoogle Scholar
Craig, W. and Simon, B.. Subharmonicity of the Lyaponov index. Duke Math. J. 50 (1983), 551560.10.1215/S0012-7094-83-05025-1CrossRefGoogle Scholar
Damanik, D. and Fillman, J.. One-Dimensional Ergodic Schrödinger Operators: I. General Theory (Graduate Studies in Mathematics, 221). American Mathematical Society, Providence, RI, 2022.10.1090/gsm/221CrossRefGoogle Scholar
Damanik, D. and Fillman, J.. One-Dimensional Ergodic Schrödinger Operators: II. Specific Classes (Graduate Studies in Mathematics, 249). American Mathematical Society, Providence, RI, 2024.10.1090/gsm/249CrossRefGoogle Scholar
Damanik, D. and Gorodetski, A.. Hölder continuity of the integrated density of states for the Fibonacci Hamiltonian. Comm. Math. Phys. 323 (2013), 497515.10.1007/s00220-013-1753-7CrossRefGoogle Scholar
Duarte, P. and Klein, S.. Lyapunov Exponents of Linear Cocycles. Continuity Via Large Deviations (Atlantis Studies in Dynamical Systems, 3). Atlantis Press, Paris, 2016.10.2991/978-94-6239-124-6CrossRefGoogle Scholar
Duarte, P., Klein, S. and Poletti, M.. Hölder continuity of the Lyapunov exponents of linear cocycles over hyperbolic maps, it. Math. Z. 302 (2022), 22852325.10.1007/s00209-022-03147-9CrossRefGoogle Scholar
Duarte, P., Klein, S. and Santos, M.. A random cocycle with non Hölder Lyapunov exponent. Discrete Contin. Dyn. Syst. 39 (2019), 48414861.10.3934/dcds.2019197CrossRefGoogle Scholar
Delyon, F. and Souillard, B.. The rotation number for finite difference operators and its properties. Comm. Math. Phys. 89 (1983), 415426.10.1007/BF01214663CrossRefGoogle Scholar
Delyon, F. and Souillard, B.. Remark on the continuity of the density of states of ergodic finite difference operators. Comm. Math. Phys. 94 (1984), 289291.10.1007/BF01209306CrossRefGoogle Scholar
Fillman, J. and Ong, D.. Purely singular continuous spectrum for limit-periodic CMV operators with applications to quantum walks. J. Funct. Anal. 272 (2017), 51075143.10.1016/j.jfa.2017.01.021CrossRefGoogle Scholar
Gorodetski, A. and Kleptsyn, V.. Parametric Furstenberg theorem on random products of $SL(2,\mathbb{R})$ matrices. Adv. Math. 378 (2021), 107522.10.1016/j.aim.2020.107522CrossRefGoogle Scholar
Graczyk, J.. Harmonic scaling for smooth families of diffeomorphisms of the circle. Nonlinearity 4 (1991), 935959.10.1088/0951-7715/4/3/017CrossRefGoogle Scholar
Graczyk, J. and Swiatek, G.. Critical circle maps near bifurcation. Comm. Math. Phys. 176 (1996), 227260.10.1007/BF02099548CrossRefGoogle Scholar
Goldstein, M. and Schlag, W.. Hölder continuity of the integrated density of states for quasi-periodic Schrödinger equations and averages of shifts of subharmonic functions. Ann. of Math. (2) 154 (2001), 155203.10.2307/3062114CrossRefGoogle Scholar
Halperin, B.. Properties of a particle in a one-dimensional random potential. Adv. Chem. Phys. 31 (1967), 123177.10.1002/9780470140154.ch6CrossRefGoogle Scholar
Herman, M.. Une methode pour minorer les exposants de Lyapounov et quelques exemples montrant le caractere local d’un theoreme d’Arnold et de Moser sur le tore de dimension 2. Comment. Math. Helv. 58 (1983), 453502.10.1007/BF02564647CrossRefGoogle Scholar
Herman, M.. Sur la conjugaison differentiable des difféomorphismes du cercle a des rotations. Publ. Math. Inst. Hautes Études Sci. 49 (1979), 5234.10.1007/BF02684798CrossRefGoogle Scholar
Krüger, H. and Gan, Z.. Optimality of log-Hölder continuity of the integrated density of states. Math. Nachr. 284 (2011), 19191923.10.1002/mana.200910139CrossRefGoogle Scholar
Katok, A. and Hasselblatt, B.. Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press, Cambridge, 1995.10.1017/CBO9780511809187CrossRefGoogle Scholar
Khanin, K.. Universal estimates for critical circle mappings. Chaos 1 (1991), 181186.10.1063/1.165826CrossRefGoogle ScholarPubMed
Kirsch, W.. An Invitation to Random Schrödinger Operators (Panoramas & Synthèses, 25). Société Mathématique de France, Paris, 2008.Google Scholar
Klein, A. and Speis, A.. Regularity of the invariant measure and of the density of states in the one-dimensional Anderson model. J. Funct. Anal. 88 (1990), 211227.10.1016/0022-1236(90)90126-6CrossRefGoogle Scholar
Le Page, E.. State distribution of a random Schrödinger operator. Empirical distribution of the eigenvalues of a Jacobi matrix. Probability Measures on Groups, VII (Oberwolfach, 1983) (Lecture Notes in Mathematics, 1064). Ed. H. Heyer. Springer-Verlag, Berlin, 1984, pp. 309367.10.1007/BFb0073650CrossRefGoogle Scholar
Matsumoto, S.. Derivatives of rotation number of one parameter families of circle diffeomorphisms. Kodai Math. J. 35 (2012), 115125.10.2996/kmj/1333027257CrossRefGoogle Scholar
Monakov, G.. Log-Hölder regularity of stationary measures. Preprint, 2024, arXiv:2407.00344.Google Scholar
Munger, P.. Frequency dependence of Hölder continuity for quasiperiodic Schrödinger operators. J. Fractal Geom. 6 (2019), 5365.10.4171/jfg/68CrossRefGoogle Scholar
Pastur, L. A.. Spectral properties of disordered systems in the one-body approximation. Comm. Math. Phys. 75 (1980), 179196.10.1007/BF01222516CrossRefGoogle Scholar
Poincaré, H.. Sur les courbes définies par les équations différentielles (III). J. Math. Pures Appl. (4) 1 (1885), 167244.Google Scholar
Ruelle, D.. Rotation numbers for diffeomorphisms and flows. Ann. Inst. Henri Poincaré Phys. Theor. 42 (1985), 109115.Google Scholar
Simon, B. and Taylor, M.. Harmonic analysis on $SL(2,\mathbb{R})$ and smoothness of the density of states in the one-dimensional Anderson model. Comm. Math. Phys. 101 (1985), 119.10.1007/BF01212354CrossRefGoogle Scholar
Figure 0

Figure 1 Action of maps $\tilde {g}_{a, \sigma ^{n-1}(\omega )}$ and $\tilde {g}_{a', \sigma ^{n-1}(\omega )}$.