arxiv:math-ph/ v2 16 Aug 2004

Transcription

1 HÖLDER EQUICONTINUITY OF THE INTEGRATED DENSITY OF STATES AT WEAK DISORDER arxiv:math-ph/ v2 6 Aug 2004 JEFFREY H SCHENKER Abstract. Hölder continuity, N λ (E) N λ (E ) C E E α, with a constant C independent of the disorder strength λ is proved for the integrated density of states N λ (E) associated to a discrete random operator H = H o + λv consisting of a translation invariant hopping matrix H o and i.i.d. single site potentials V with an absolutely continuous distribution, under a regularity assumption for the hopping term.. Introduction Random operators on l 2 (Z d ) of the general form H ω = H o + λv ω, () play a central role in the theory of disordered materials, where: () V ω ψ(x) = ω(x)ψ(x) with ω(x), x Z d, independent identically distributed random variables whose common distribution is ρ(ω)dω with ρ a bounded function. The coupling λ R is called the disorder strength. (2) H o is a bounded translation invariant operator, i.e., [S ξ, H o ] = 0 for each translation S ξ ψ(x) = ψ(x ξ), ξ Z d. The density of states measure for an operator H ω of the form eq. () is the (unique) Borel measure dn λ (E) on the real line defined by f(e)dn λ (E) = lim δ L # {x Z d x, f(h ω )δ x, : x < L} and the integrated density of states N λ (E) is N λ (E) := dn λ (ε). (,E) x: x <L Date: 3 March 2004, revised 4 July Mathematics Subject Classification. 82D30,46N55,47N55. Key words and phrases. Density of States, Random Schrödinger operators, Wegner estimate.

2 2 JEFFREY H SCHENKER It is a well known consequence, e.g., ref [6], of the translation invariance of the distribution of H ω that the density of states exists and equals N λ (E) = δ0, P (,E) (H ω )δ 0 dp(ω), every E R; for P almost every ω, where P is the joint probability distribution for ω and = R Zd is the probability space. The density of states measure is an object of fundamental physical interest. For example, the free energy f per unit volume of a system of non-interacting identical Fermions, each governed by a Hamiltonian H ω of the form eq. (), is f(µ, β) = β ln( + e β(e µ) )dn λ (E), where β is the inverse temperature and µ is the chemical potential. Certain other thermodynamic quantities (density, heat capacity, etc.) of the system can also be expressed in terms of N λ. Our main result is equicontinuity of the family {N λ ( ), λ > 0} within a class of Hölder continuous functions, that is N λ (E + δ) N λ (E δ) C α δ α, for all λ > 0, (2) under appropriate hypotheses on H o. The exponent α < depends on H o as well as the probability density, with α = at generic E for a 2 large class of hopping terms if ρ is compactly supported. A bound of the form eq. (2) for the integrated density of states associated to a continuum random Schrödinger operator is implicit in Theorem. of ref. [], although uniformity in λ is not explicitly noted there. The tools of ref. [] carry over easily to the discrete context to give an alternative proof of eq. (2). However the methods employed herein are in fact quite different from those of ref. [], and may be interesting in and of themselves. The main point of eq. (2) is the uniformity of the bound as λ 0, since the well known Wegner estimate [9], see also [7, Theorem 8.2], dn λ (E) ρ, (3) de λ implies that N λ (E) is in fact Lipschitz continuous, N λ (E + δ) N λ (E δ) ρ 2δ. (4) λ However, the Lipschitz constant ρ /λ in eq. (4) diverges as λ 0. Such a singularity is inevitable for a bound which makes no reference to the hopping term, since dn λ (E) = λ ρ(e/λ)de for H o = 0, as may easily be verified. However if the background itself has an absolutely

3 DENSITY OF STATES AT WEAK DISORDER 3 continuous density of states, the Wegner estimate is far from optimal at weak disorder. The translation invariant operator H o may be written as a superposition of translations, H o = ξ ˇε(ξ)S ξ, where ˇε(ξ) = ε(q)e iξ q dq T (2π), d d is the inverse Fourier transform of a bounded real function ε on the torus = [0, 2π) d, called the symbol of H o. For any bounded measurable function f, f(h o ) = ξ Z d [ f(ε(q))e iξ q dq ] S (2π) d ξ, from which it follows that the density of states N o (E) for H o obeys dq f(e)dn o (E) = f(ε(q)) T (2π). d d In particular, dq N o (E) = {ε(q)<e} (2π). d We define a regular point for ε to be a point E R at which N o (E + δ) N o (E δ) Γ(E) δ, (5) for some Γ(E) <. In particular if ε is C and ε is non-zero on the level set {ε(q) = E}, then E is a regular point. For example, with H o the discrete Laplacian on l 2 (Z), H o ψ(x) = ψ(x + ) + ψ(x ), we have the symbol ε(q) = 2 cos(q) and every E ( 2, 2) is a regular point. However at the band edges, E = ±2, the difference on the right hand side of eq. (5) is only O(δ 2), and these points are not regular points. We consider the behavior of N λ (E) at such points of order α, here α = /2, in Theorem 3 below. Our main result involves the density of states of H λ at a regular point: Theorem. Suppose ω q ρ(ω)dω < for some 2 < q < or that ρ is compactly supported, in which case set q =. If E is a regular point for ε, then there is C q = C q (ρ, Γ(E)) < such that N λ (E + δ) N λ (E δ) Γ(E) δ + C q λ 3 (+2 q ) δ 3 ( 2 q ) (6)

4 4 JEFFREY H SCHENKER for all λ, δ 0. For very small δ, namely δ λ λ 3 (+ 2 q ) δ 3 ( 2 q ), the Wegner bound eq. (3) is stronger than eq. (6). Thus Theorem is useful only for δ λ 2q+ q+. Combining the Wegner estimate and Theorem for these separate regions yields the following: Corollary 2. Under the hypotheses of Theorem, there is C q <, with C q = C q (ρ, Γ(E)), such that for all λ, δ 0. N λ (E + δ) N λ (E δ) C q δ 2 ( 2q+ ) (7) Thus, the integrated density of states is Hölder equi-continuous of order as λ 0 (if ρ is compactly supported). 2 The starting point for our analysis of the density of states is a well known formula relating dn λ to the resolvent of H ω, dn λ (E) de = lim η 0 π Im δ 0, (H ω E iη) δ 0 dp(ω). The general idea of the proof is to express Im δ 0, (H ω E iη) δ 0 using a finite resolvent expansion to second order (H ω E iη) = (H o E iη) λ(h o E iη) V ω (H o E iη) + λ 2 (H o E iη) V ω (H ω E iη) V ω (H o E iη), (8) and to use the Wegner bound eq. (3) to estimate the last term, with the resulting factor of /λ controlled by the factor λ 2. Here is a simplified version of the argument which works if E falls outside the spectrum of H o and ψ E = (H o E) δ 0 l (Z d ). The first We thank M. Disertori for this observation.

5 DENSITY OF STATES AT WEAK DISORDER 5 two terms of eq. (8) are bounded and self-adjoint when η = 0, so lim Im δ 0, (H ω E iη) δ 0 dp(ω) η 0 π = λ 2 lim Im ψ E, V ω (H ω E iη) V ω ψ E dp(ω) η 0 π λ 2 lim η 0 η π x,y ψ E (x) ψ E (y) ω(x)ω(y) δ x, ( (H ω E) 2 + η 2) dp(ω) δy. If ρ is, say, compactly supported, then η lim ω(x)ω(y) δ x, ( (H ω E) 2 + η 2) dp(ω) δy η 0 π η lim δ x, ( (H ω E) 2 + η 2) δy dp(ω) η 0 π λ, by the Wegner bound, and therefore dn λ (E) λ ψ E 2 de, for E σ(h o). (9) We have used second order perturbation theory to boot-strap the Wegner estimate and obtain an estimate of lower order in λ. Unfortunately, as ρ was assumed compactly supported, E is not in the spectrum of H λ for sufficiently small λ, and thus dn λ (E)/dE = 0. So, in practice, eq. (9) is not a useful bound. Nonetheless, in the cases covered by Theorem, H λ can have spectrum in a neighborhood of E, even for small λ, since E may be in the interior of the spectrum of H o. Although, the above argument does not go through, we shall exploit the translation invariance of the distribution of H ω by introducing a Fourier transform on the Hilbert space of random wave functions, complex valued functions Ψ(x, ω) of (x, ω) l 2 (Z d ) with Ψ(x, ω) 2 dp(ω) <. x Under this Fourier transform an integral of a matrix element of f(h ω ) is replaced by an integral over the d-torus of a matrix element of f(ĥk), with Ĥk a certain family of operators on L 2 () (see eq. (6)). Off the set S ε := {k ε(k) E > ǫ} with ǫ >> δ, we are able to carry out an argument similar to that which led to eq. (9). To prove

6 6 JEFFREY H SCHENKER Theorem, we shall directly estimate N(E + δ) N(E δ) = δ 0, P δ (H ω )δ 0 dp(ω), with P δ the characteristic function of the interval [E δ, E+δ], because the integrand on the r.h.s. is bounded by. Since E is a regular point, the error in restricting to S ε will be bounded by Γ(E)ε. Choosing ε optimally will lead to Theorem. More generally, we say that E is a point of order α for ε, if there exists Γ(E; α) such that N o (E + δ) N o (E δ) Γ(E; α)δ α. If E σ(h o ), we say that E is a point of order and set Γ(E; ) = 0. For points of order α we have the following extension of Theorem. Theorem 3. Suppose ω q ρ(ω)dω < for some 2 < q < or that ρ is compactly supported, in which case set q =. If E is a point of order α for ε, then there is C q,α = C q,α (ρ, Γ(E; α)) < such that ] N λ (E + δ) N λ (E δ) Γ(E; α)δ α + C q,α [λ +2 q δ 2 + q α 2 (0) for all λ, δ 0. When α = and q =, so E σ(h o ) and ρ is compactly supported, the result is technically true but uninteresting since E σ(h λ ) for small λ, as discussed above. However for q <, we need not have that ρ is compactly supported, and E σ(h o ) may still be in the spectrum of H λ for arbitrarily small λ. In this case, eq. (0) signifies that N λ (E + δ) N λ (E δ) C q, λ +2 q δ 2 q, which in fact improves on the Wegner bound for appropriate λ, δ. As above, we may use the Wegner bound for δ very small to improve on eq. (0): Corollary 4. Under the hypotheses of Theorem 3, there is C q,α = C q,α (ρ, Γ(E; α)) < such that for all λ, δ 0. N λ (E + δ) N λ (E δ) C q;α δ ( α α+ α+ α q+ The inspiration for these results is the (non-rigorous) renormalized perturbation theory for dn λ which has appeared in the physics literature, e.g., ref. [8] and references therein. If ωρ(ω)dω = 0 and )

7 DENSITY OF STATES AT WEAK DISORDER 7 ω 2 ρ(ω)dω =, as can always be achieved by shifting the origin of energy and re-scaling λ, then the central result of that analysis is that dn λ (E) de π Im δ 0, ( H o E λ 2 Γ λ (E) ) δ0 where Γ λ (E), the so-called self energy, satisfies Im Γ λ (E) > 0 with lim Im Γ λ(e) lim Im δ 0, (H o E iη) dn 0 (E) δ 0 = π λ 0 η 0 de. Up to a point, the self-energy analysis may be followed rigorously. Specifically, one can show (see 2): Proposition.. If ωρ(ω)dω = 0 and ω 2 ρ(ω)dω =, then for each λ > 0 there is a map Γ λ from {Imz > 0} to the translation invariant operators with non-negative imaginary part on l 2 (Z 2 ) such that (H ω z) dp(ω) = ( H o z λ 2 Γ λ (z) ), () and for fixed z {Imz > 0} lim λ 0 δ x, Γ λ (z)δ y = δ 0, (H o z) δ 0 δx,y. (2) However there is a priori no uniformity in z for the convergence in eq. (2), so for fixed λ we may conclude nothing about ( lim Ho E iη λ 2 Γ λ (E + iη) ). η 0 Still, one is left feeling that Theorem and Corollary 2 are notoptimal, and the standard wisdom is that something like the following is true. Conjecture 5. Let ρ have moments of all orders, i.e., ω q ρ(ω) < for all q. Given E o R, if there is δ > 0 such that on the set {q : ε(q) E o < δ} the symbol ε is C with ε(q) 0, then there is C δ < such that dn λ (E) C δ de for all λ R and E [E o δ, E 2 o + δ]. 2 Remark: The requirement that ρ have moments of all orders is simply the minimal requirement for the infinite perturbation series for (H o z λv ω ) to have finite expectation at each order (for Imz > 0). In fact, this may be superfluous, as suggested by the example of Cauchy,

8 8 JEFFREY H SCHENKER randomness, for which the density of states can be explicitly computed, see ref. [7]: dn λ (E) = λ dq π (ε(q) E) 2 + λ 2 (2π), for ρ(ω) = d π + ω, 2 although ρ(ω) ω q = for every q. 2. Translation invariance, augmented space, and a Fourier transform The joint probability measure P(ω) for the random function ω : Z d R is dp(ω) := x Z d ρ(ω(x))dω(x) on the probability space = R Zd. Clearly, P(ω) is invariant under the translations τ ξ : defined by In particular, since τ ξ ω(x) = ω(x ξ). S ξ H ω S ξ = H o + V τξ ω = H τξ ω, (3) H ω and S ξ H ω S ξ are identically distributed for any ξ Zd, To express this invariance in operator theoretic terms, we introduce the fibred action of H ω on the Hilbert space L 2 (; l 2 (Z d )) the space of random wave functions namely, Ψ(ω) H ω Ψ(ω). We identify L 2 (; l 2 (Z d )) with L 2 ( Z d ) and denote the action of H ω on the latter space by H, so [HΨ](ω, x) = ξ ˇε(ξ)Ψ(ω, x ξ) + λω(x)ψ(ω, x). The following elementary identity relates f(h ω)dp(ω) to f(h), for any bounded measurable function f, dp(ω) δ x, f(h ω )δ y = E δ x, f(h)e δ y, (4) where E is the adjoint of the linear expectation map E : L 2 ( Z d ) l 2 (Z d ) defined by [EΨ](x) = Ψ(ω, x)dp(ω). Note that E is an isometry from l 2 (Z d ) onto the subspace of functions independent of ω non-random functions.

9 DENSITY OF STATES AT WEAK DISORDER 9 The general fact that averages of certain quantities depending on H ω can be represented as matrix elements of H is known, and is sometimes called the augmented space representation (e.g., ref. [4, 5, 3]) where augmented space refers to the Hilbert space L 2 ( Z d ). There are augmented space formulae other than eq. (4), such as dp(ω)ω(x)ω(y) δ x, f(h ω )δ y = E δ x,vf(h)ve δ y, (5) and dp(ω) δ x, f(h ω )δ 0 δ 0, g(h ω )δ y = E δ x, f(h)p 0 g(h)e δ y, where P 0 denotes the projection P 0 Ψ(ω, x) = Ψ(ω, 0) if x = 0 and 0 otherwise. The first of these (eq. (5)) will play a roll in the proof of Theorem. There are two natural groups of unitary translations on L 2 ( Z d ): and S ξ Ψ(ω, x) = Ψ(ω, x ξ), T ξ Ψ(ω, x) = Ψ(τ ξ ω, x). Note that these groups commute: [S ξ, T ξ ] = 0 for every ξ, ξ Z d. A key observation is that the distributional invariance of H ω, eq. (3), results in the invariance of H under the combined translations T ξ S ξ = S ξ T ξ : In fact, let us define S ξ T ξ HT ξ S ξ = H. H o = ξ ˇε(ξ)S ξ, VΨ(ω, x) = ω(x)ψ(ω, x). Then H = H o + λv where H o commutes with S ξ and T ξ while for V we have VS ξ = T ξ V. To exploit this translation invariance of H, we define a Fourier transform which diagonalizes the translations S ξ T ξ (and therefore partially diagonalizes H). The result is a unitary map F : L 2 ( Z d ) L 2 ( ), with the d-torus [0, 2π) d. Let us define F first on functions having finite support in Z d by FΨ(ω,k) = ξ e ik ξ Ψ( ξ, τ ξ ω).

10 0 JEFFREY H SCHENKER It is easy to verify, using well known properties of the usual Fourier series mapping l 2 (Z d ) L 2 ( ), that F extends to a unitary isomorphism L 2 ( Z d ) L 2 ( ), i.e. that FF = and F F = where F is the adjoint map F Ψ(ω, x) = e ik x Ψ(τ x ω,k) dk T (2π). d d Another way of looking at F is to define for each k an operator F k : L 2 ( Z d ) L 2 () by F k Ψ = lim e ik ξ J S ξ T ξ Ψ, L ξ <L where J is the evaluation map J Ψ(ω) = Ψ(ω, 0). The maps F k are not bounded, but are densely defined with F k Ψ L 2 () for almost every k, and FΨ(ω,k) = F k Ψ(ω) a.e. ω, k. If we look at L 2 ( ) as the direct integral dkl 2 (), then F = dkf k. This Fourier transform diagonalizes the combined translation S ξ T ξ, F k S ξ T ξ = e ik ξ F k, as follows from the following identities for S and T, F k T ξ = T ξ F k, F k S ξ = e ik ξ T ξ F k, where, on the right hand sides, T ξ denotes the operator T ξ ψ(ω) = ψ(τ ξ ω) on L 2 (). Furthermore, explicit computation shows that F k V = ω(0)f k, where ω(0) denotes the operator of multiplication by the random variable ω(0), ψ(ω) ω(0)ψ(ω). Putting this all together yields Proposition 2.. Under the natural identification of L 2 (, ) with the direct integral dkl 2 (), the operator Ĥ = FHF is partially diagonalized, Ĥ = Ĥ k, with Ĥk operators on L 2 () given by the following formula Ĥ k = ξ e ik ξˇε( ξ)t ξ + λω(0).

11 DENSITY OF STATES AT WEAK DISORDER Let us introduce for each k, Ĥk o := e ik ξˇε( ξ)t ξ = ξ ξ [ ε(q + k)e iξ q ] dq T (2π) d ξ, so Ĥk = Ĥo k + λω(0). Note that Ĥ o kχ = ε(k)χ, where χ (ω) = for every ω. That is, χ is an eigenvector for Hk o.2 Applying the Fourier transform F to the right hand side of the augmented space formula eq. (4) we obtain the following beautiful identity, central to this work: dk dp(ω) δ x, f(h ω )δ y = deik (x y) χ, f(ĥk)χ. (6) (2π) Similarly, we obtain dp(ω)ω(x)ω(y) δ x, f(h ω )δ y dk = deik (x y) ω(0)χ, f(ĥk)ω(0)χ (2π) (7) from eq. (5). Related formulae have been used, for example, to derive the Aubry duality between strong and weak disorder for the almost Mathieu equation, see ref. [2] and references therein. As a first application of eq. (6), let us prove the existence of the self energy (Prop..) starting from the identity dp(ω) δ 0, (H ω z) δ 0 = dk (2π) d χ, (Ĥk z Proof of Prop... Since χ is an eigenvector of Ĥo k and χ, ω(0)χ = ωρ(ω)dω = 0, ) χ the Feschbach mapping implies ) χ, (Ĥk z χ = ( ε(k) z λ 2 Γ λ (z;k) ), (8) 2 In fact, if ε is almost everywhere non-constant (so H o has no eigenvalues) then ε(k) is the unique eigenvalue for Ĥo k and the remaining spectrum of Ĥo k is infinitely degenerate absolutely continuous spectrum. One way to see this is to let φ n (v) be the orthonormal polynomials with respect the weight ρ(v), and look at the action of Ĥo k on the basis for L2 () consisting of products of the form x Z φ n(x)(ω(x)) d with only finitely many n(x) 0..

12 2 JEFFREY H SCHENKER with Γ λ (z;k) = ( ) ω(0)χ, P Ĥ k P z ω(0)χ, where P denotes the projection onto the orthogonal complement of χ in L 2 (). Let the self energy Γ λ (z) be the translation invariant operator with symbol Γ λ (z;k), i.e., δ x, Γ λ (z)δ y = e ik (x y) Γ λ (z;k) dk (2π) d. Clearly Γ λ (z) is bounded with non-negative imaginary part. Furthermore by eq. (6) and eq. (8), the identity eq. () holds, namely (H ω z) dp(ω) = ( H o z λ 2 Γ λ (z) ). It is clear that lim Γ λ(z;k) = λ 0 from which eq. (2) follows easily. ) ω(0)χ, (Ĥo k z ω(0)χ 3. Proofs We first prove Theorem and then describe modifications of the proof which imply Theorem Proof of Theorem. Fix a regular point E for ε, and for each δ > 0 let f δ (t) = 2 ( χ(e δ,e+δ) (t) + χ [E δ,e+δ] (t) ) =, t, (E δ, E + δ), t = E ± δ, 2 0 t [E δ, E + δ]. Since N λ (E) is continuous (see eq. (4)), N λ (E + δ) N λ (E δ) = δ 0, f δ (H ω )δ 0 dp(ω). Thus, in light of eq. (6), our task is to show that dk χ, f δ (Ĥk)χ Γ(E) δ + C (2π) d q λ 3 (+ 2 q ) δ 3 ( 2 q ), (9),

13 DENSITY OF STATES AT WEAK DISORDER 3 with a constant C q independent of δ and λ. Note that for each k χ, f δ (Ĥk)χ, so we can afford to neglect a set of Lebesgue measure λ 3 (+2 q ) δ 3 ( 2 q ) on the l.h.s. of eq. (9). Consider k with ε(k) E > δ. Then Thus χ, f δ (Ĥk)χ E+δ = lim Im η 0 π E δ E+δ η 0 f δ (Ĥo k )χ = f δ (ε(k))χ = 0. = χ, (f δ (Ĥk) f δ (Ĥok )χ ) ( χ, Ĥ k t iη χ, = λ lim Im π E δ t + iη ε(k) = λ χ, Ĥ k ε(k) f δ(ĥk)ω(0)χ, Ĥ o k t iη ) χ Ĥ k t iη ω(0)χ dt dt (20) since (t ε(k)) is continuous for t [E δ, E + δ]. Using again that f δ (Ĥo k )χ = 0, we find that the final term of eq. (20) equals [ ] = Ĥ k ε(k) f δ(ĥk) Ĥk o ε(k)f δ(ĥo k) χ, ω(0)χ E+δ = λ lim η 0 π E δ t ε(k) Im t + iη ε(k) (2) Ĥ k t iη ω(0)χ, ω(0)χ dt f δ (Ĥk) = λ ω(0)χ, (Ĥk ε(k)) 2ω(0)χ. Putting eqs. (20) and (2) together yields χ, f δ (Ĥk)χ = λ ω(0)χ 2 f δ (Ĥk), (Ĥk ε(k)) 2ω(0)χ λ 2 ( ε(k) E δ) 2 ω(0)χ, f δ (Ĥk)ω(0)χ.

14 4 JEFFREY H SCHENKER Thus, for any ǫ > δ, χ, f δ (Ĥk)χ { ε(k) E >ǫ} λ 2 (ǫ δ) 2 = λ 2 (ǫ δ) 2 ω(0)χ, f δ (Ĥk)ω(0)χ ω(0) 2 δ 0, f δ (H ω )δ 0 dp(ω), where in the last equality we have inverted the Fourier transform, using eq. (7). We may estimate the right hand side with Hölder s inequality and the Wegner estimate: ω(0) 2 δ 0, f δ (H ω )δ 0 dp(ω) { ε(k) E ǫ} ω(0) 2 q ( ω(0) 2 q ( ρ λ ) 2 q δ 0, f δ (H ω )δ 0 dp(ω) ) 2 2δ q since δ 0, f δ (H ω )δ 0 p δ 0, f δ (H ω )δ 0 for p > (because δ 0, f δ (H ω )δ 0 ). Here ω(0) q q = ω(0) q dp(ω) for q < and ω(0) = ess-sup ω ω(0). Therefore ( ) 2 χ, f δ (Ĥk)χ Γ(E)ǫ + λ 2 ρ T (ǫ δ) d 2 ω(0) 2 q λ 2δ q, (22) where the first term on the right hand side is an upper bound for dk dk χ, f δ (Ĥk)χ (2π) d (2π). d, { ε(k) E ǫ} Upon optimizing over ǫ (δ, ), this implies δ 0, f δ (H ω )δ o Γ(E)δ + C ρ,q,γ λ 3 (+2 q ) δ 3 ( 2 q ), which completes the proof of Theorem Proof of Theorem 3. If instead of being a regular point, E is a point of order α then the proof goes through up to eq. (22), in place of which we have ( ) 2 χ, f δ (Ĥk)χ Γ(E; α)ǫ α +λ 2 ρ (ǫ δ) 2 ω(0) 2 q λ δ q.

15 DENSITY OF STATES AT WEAK DISORDER 5 Setting ε = δ + λ γ δ β and choosing γ, β such that the two terms are of the same order yields ( γ = + 2 ) (, β = 2 ), 2 + α q 2 + α q which implies δ 0, f δ (H ω )δ o Γ(E; α)δ α + C q λ2+α(+ α 2 α q) δ 2+α( 2 q), completing the proof. Acknowledgements. I thank G.M. Graf and M. Disertori for stimulating discussions related to this work. References [] Combes, J-M., Hislop, P. D., and Klopp, F.: Hölder continuity of the integrated density of states for some random operators at all energies, Int. Math. Res. Not., 2003(2003), [2] Gordon, A. Y., Jitomirskaya, S., Last, Y., and Simon, B.: Duality and singular continuous spectrum in the almost Mathieu equation, Acta Math., 78(997), [3] Kaplan, T. and Gray, L. J.: Elementary excitations in disordered systems with short range order, Phys. Rev. B, 5(977), [4] Mookerjee, A.: Averaged density of states in disordered systems. J. Phys. C, 6(973), [5] Mookerjee, A.: A new formalism for the study of configuration-averaged properties of disordered systems, J. Phys. C, 6(973), L205 L208. [6] Pastur, L. and Figotin, A.: Spectra of random and almost-periodic operators, Springer-Verlag, Berlin, 992. [7] Spencer, T. C.: The Schrödinger equation with a random potential a mathematical review, In: Phénomènes critiques, systèmes aléatoires, théories de jauge, Part II (Les Houches, 984), Elsevier, Amsterdam, 986, pp [8] Thouless, D. J.: Introduction to disordered systems, In: Phénomènes critiques, systèmes aléatoires, théories de jauge, Part II (Les Houches, 984), Elsevier, Amsterdam, 986, pp [9] Wegner, F.: Bounds on the density of states in disordered systems, Z. Phys. B, 44(98), 9 5. Institut für Theoretische Physik, ETH, Zürich, CH-8093 Zürich address: jschenker@itp.phys.ethz.ch