Arxiv:1502.05857V1 [Math.AP] 20 Feb 2015 on the Circle T = R/Z Is Well Known to Be a Hamiltonian PDE

Zurich Open Repository and Archive University of Zurich Main Library Strickhofstrasse 39 CH-8057 Zurich www.zora.uzh.ch

Year: 2016

On the Convexity of the KdV Hamiltonian

Kappeler, Thomas ; Maspero, Alberto ; Molnar, Jan ; Topalov, Peter J

∗ Abstract: Motivated by perturbation theory, we prove that the nonlinear part H of the KdV Hamiltonian k H dv, when expressed in action variables I = (In)n⩾1, extends to a real analytic function on the positive 2 2 ∗ quadrant ℓ+(N) of ℓ (N) and is strictly concave near 0. As a consequence, the differential of H defines 2 s,p a local diffeomorphism near 0 of ℓC(N). Furthermore, we prove that the Fourier-Lebesgue spaces FL with −1/2 ⩽ s ⩽ 0 and 2 ⩽ p < ∞, admit global KdV-Birkhoff coordinates. In particular, it means that 2 −1/2,4 ℓ+(N) is the space of action variables of the underlying phase space FL and that the KdV equation − is globally in time C 0-well-posed on FL 1/2,4.

DOI: https://doi.org/10.1007/s00220-015-2563-x

Posted at the Zurich Open Repository and Archive, University of Zurich ZORA URL: https://doi.org/10.5167/uzh-124932 Journal Article Accepted Version

Originally published at: Kappeler, Thomas; Maspero, Alberto; Molnar, Jan; Topalov, Peter J (2016). On the Convexity of the KdV Hamiltonian. Communications in Mathematical Physics, 346(1):191-236. DOI: https://doi.org/10.1007/s00220-015-2563-x On the convexity of the KdV Hamiltonian

T. Kappeler ,∗ A. Maspero ,† J.C. Molnar ,‡ P. Topalov §

February 23, 2015

Abstract

We prove that the nonlinear part H∗ of the KdV Hamiltonian Hkdv,

when expressed in action variables I = (In)n>1, extends to a real analytic 2 2 function on the positive quadrant ℓ+(N) of ℓ (N) and is strictly concave near 0. As a consequence, the differential of H∗ defines a local diffeomor- 2 phism near 0 of ℓC(N). Furthermore we prove that the Fourier-Lebesgue spaces Ls,p with −1/2 6 s 6 0 and 2 6 p < ∞, admit global KdV-Birkhoff coordinates. 2 In particular, it means that ℓ+(N) is the space of action variables of the underlying phase space L−1/2,4 and that the KdV equation is globally in time C0-well-posed on L−1/2,4.

Keywords. convexity, KdV Hamiltonian, Korteweg-de Vries equation, integrable PDEs

AMS Subject classiﬁcation. 37K10 (primary) 35Q53, 34B24 (sec- ondary)

1 Introduction

The Korteweg-de Vries (KdV) equation

∂ u = ∂3u + 6u∂ u (1.1) t − x x arXiv:1502.05857v1 [math.AP] 20 Feb 2015 on the circle T = R/Z is well known to be a Hamiltonian PDE. When considered on the Sobolev spaces Hs Hs(T, R), s > 1, it can be written in the form ≡ ∂ u = ∂ ∂ kdv, t x uH ∗Supported in part by the Swiss National Science Foundation †Supported in part by the Swiss National Science Foundation ‡Supported in part by the Swiss National Science Foundation §Supported in part by NSF DMS-0901443.

1 where ∂ kdv denotes the L2-gradient of the KdV-Hamiltonian uH 1 1 kdv(u) := (∂ u)2 + u3 dx H 2 x Z0 and ∂ ∂ kdv is the Hamiltonian vector field defined by the Poisson bracket x uH 1 F,G := ∂ F ∂ ∂ G dx. (1.2) { } u x u Z0 The main purpose of this paper is to study convexity properties of the KdV 1 Hamiltonian. Note that the mean u0 := 0 u(x) dx is a Casimir of the bracket (1.2) and that the level sets R Hs := u Hs : u = c , c R, c { ∈ 0 } ∈ s are symplectic leaves. We concentrate on the leaf H0 only as our results can be easily extended to any other leaf. To state them we first need to describe in some detail the property of the KdV equation of being an integrable PDE. For any s R and 1 6 p < , let ∈ ∞ s,p ℓ C := z = (zn)n Z C : z0 = 0, z < , 0, { ∈ ⊂ k ks,p ∞} where

1/p z := n ps z p , n := 1 + n , (1.3) k ks,p h i | n| h i | | n Z ! X∈ s,p s,p and denote by ℓ0 the real subspace (zn)n Z ℓ C : z n = zn n > 1 of ∈ 0, − s,p s,p s,p { s,p ∈ s,p ∀ } ℓ0,C. The spaces ℓ (N) = ℓ (N, R) and ℓC (N) = ℓ (N, C) are deﬁned in an s analogous way. Note that the Sobolev spaces H0 can then be described by

s s,2 H0 = u C′ :(un)n Z ℓ0 , { ∈ S ∈ ∈ } i2nπx 2 where un = u, e , n Z, and , denotes the L -inner product on 2 h i1I ∈ h· ·iI L (T, C), f, g = 0 f(x)g(x) dx extended by duality to a pairing of the h iI Schwartz space C = Rf C∞(R, C): f(x+1) = f(x) x R and its dual C′ . S { ∈ 1 ∀ ∈s } S It is shown in [12, 11] that on H− and by restriction, on H , s > 1, the KdV 0 0 − equation admits canonical real analytic coordinates xn, yn, n > 1, so that the initial value problem of the KdV equation, when expressed in these coordinates, can be solved by quadrature (cf. [15]). The coordinates xn, yn are canonical in the sense that x , y = 1 ∂ x ∂ ∂ y dx = 1 for any n > 1 whereas { n n} 0 u n x u n all other brackets between coordinateR functions vanish. For our purposes it is convenient to introduce the complex coordinates

xn iyn xn + iyn zn = − , z n = , n > 1, z0 = 0, √2 − √2 ∀ referred to as (complex) Birkhoﬀ coordinates.

February 23, 2015 2 In more detail, the above result says the following: there exists a complex W 1 1 neighborhood of H0− in H0− (T, C) so that Φ(u) := (zn(u))n Z is an analytic W 1/2,2 ∈ map from to ℓ0−,C with Φ(0) = 0 satisfying the property that for any s s > 1, the restriction of Φ to H0 is a canonical real analytic diﬀeomorphism −s+1/2,2 onto ℓ0 . The actions I = (In)n>1 deﬁned by In = znz n > 0, n > 1, then − 2s+1,1 2s+1,1 take values on the positive quadrant ℓ+ (N) of ℓ (N, R),

2s+1,1 2s+1,1 ℓ (N) = (r ) > ℓ (N, R): r > 0 n > 1 . + { n n 1 ∈ n ∀ } In addition, Φ has the property that the KdV Hamiltonian kdv : H1 R, when H 0 → expressed in the coordinates (zn)n Z, is a function of the actions (In)n>1 alone. ∈ By [12] this function, denoted by Hkdv, is a real analytic map, Hkdv : ℓ3,1(N) + → R and according to [12, Corollary 15.2] admits an expansion at I = 0 of the form

8n3π3I 3 I2 + (1.4) n − n ··· > > nX1 nX1 where the dots stand for higher order terms in I. In particular, at I = 0

∂ Hkdv = 8π3n3, ∂ ∂ Hkdv = 6δ , n, m > 1. (1.5) In I=0 In Im I=0 − nm ∀

See Section 2 for further details on these results. The main aim of this paper is to prove a conjecture of Korotyaev and Kuksin [17], motivated by the perturbation theory of the KdV equation. It says that the nonlinear part of the KdV Hamiltonian

kdv 3 3 H∗(I) := H (I) 8π n I (1.6) − n > nX1 2 0,2 extends analytically to a function on ℓ+(N) ℓ+ (N) and that it is strictly ≡ kdv kdv concave near 0. Note that the KdV frequencies, deﬁned as ωn = ∂In H , diﬀer from ωn∗ := ∂In H∗ by a constant,

kdv 3 3 3,1 ω (I) = 8π n + ω∗ (I) n > 1, I ℓ (N). n n ∀ ∀ ∈ + Furthermore, we recall that in [15] it was shown that the KdV frequencies kdv 1,1 1,1 (ωn )n>1 analytically extend to a neighborhood V0 of ℓ+− (N) in ℓC− (N) so that

ωkdv 8n3π3 = O(1) as n locally uniformly on V . (1.7) n − → ∞ 0

Theorem 1.1 The nonlinear part H∗ of the KdV Hamiltonian admits a real 2 analytic extension to a complex neighborhood V ℓC(N) of the positive quadrant 2 2 ⊂ ℓ+(N) of ℓ (N). The map of the renormalized frequencies ω∗ = ∂I H∗, restricted to V V equals 0 ∩ 2 kdv 3 3 V V ℓC(N) ,I ω (I) 8n π . ∩ 0 → 7→ n − n>1 February 23, 2015 3 2 N It vanishes at I = 0 and its differential d0ω∗ at I = 0 is given by 6 IdℓC( ). 2 − In particular near I = 0 in ℓC(N), ω∗ defines a local diffeomorphism and H∗ is strictly concave in the sense that for I in a (sufficiently small) neighborhood of 2 0 in ℓ+(N)

2 2 2 d H∗(J, J) 6 J J = (J ) ℓ (N). (1.8) I − n ∀ n n>1 ∈ > nX1 Remark 1.1. Due to a mismatch of norms, it is diﬃcult to put identity (1.5) in 3,1 the setup with the space ℓ+ (N) to use for studying perturbations of the KdV 2 equation. The space ℓ+(N) is the appropriate one to express the strict concavity of H∗ – see [8]. In combination with results from [17] Theorem 1.1 implies that 2 2 dI H∗ 6 0 on all of ℓ+(N).

The second main result of this paper says that the Birkhoﬀ coordinates can be analytically extended to a class of Fourier-Lebesgue spaces. To state our s,p result precisely, denote for s R and 1 6 p < by L C′ the Fourier- ∈ ∞ 0,C ⊂ S Lebesgue space of distributions on T given by

s,p s,p L C := u C′ :(un)n Z ℓ C 0, { ∈ S ∈ ∈ 0, } Ls,p Ls,p Ls,p Ls,p and by 0 C the real subspace 0 = u C : u n = un n > 1 . 0, 0, − s,⊂2 s { ∈ s,p ∀ 1,2 } Note that L = H and by the Sobolev embedding theorem, L ֒ L− for 0 0 0,C → 0,C any 1/2 6 s 6 0 and 1 6 p < . − ∞ Theorem 1.2 For any 1/2 6 s 6 0 and 2 6 p < , the restriction of Ls,p − s+1/2,p Ls,p s+1/∞2,p Φ to 0 takes values in ℓ0 and Φ: 0 ℓ0 is a real analytic → Ls,p diﬀeomorphism, and therefore provides global Birkhoﬀ coordinates on 0 .

L 1/2,4 0,4 Remark 1.2. Note that for any u 0− , Φ(u) = (zn)n Z ℓ0 and hence ∈ ∈ ∈ 2 the corresponding sequence of action variables (In = znz n)n>1 is in ℓ+(N). − 2 Thus the space of action variables ℓ+(N) considered in Theorem 1.1 stems from L 1/2,4 the underlying phase space 0− which admits global Birkhoﬀ coordinates. L 1/2,4 Although our principal interest lies in the space 0− , Theorem 1.2 is stated for the family of spaces Ls,p with 1/2 6 s 6 0, 2 6 p < since the 0 − ∞ proof of the more general result does not require any additional eﬀort. With some more work, Theorem 1.2 can be proved to hold for a larger family of spaces Ls,p 0 . For any complex Borel measure µ on T, the distribution µ µ(T) is an Ls,p − example of an element of 0,C for any pair 1/2 6 s < 0, 2 6 p < satisfying 1/2,4 − ∞ s p > 1. In particular, µ µ(T) L− . | | − ∈ 0,C Theorem 1.2 has an immediate application to the initial value problem of the KdV equation. As already mentioned above it was shown in [15] that the kdv KdV frequencies (ωn (I))n>1 analytically extend to a complex neighborhood

February 23, 2015 4 1,1 of the positive quadrant ℓ+− (N), satisfying (1.7). In Birkhoﬀ coordinates on 1 H0− , the KdV equation (1.1) takes the form

kdv kdv z˙n = iωn zn , z˙ n = iωn z n n > 1. − − − ∀ We refer to [15] for a discussion of the notion of solutions of the initial value 1 0 problem of KdV in spaces of distributions such as H0− and the one of C - well-posedness. Theorem 1.2 leads to the following extension of the results of [15]:

Theorem 1.3 The initial value problem of the Korteweg-de Vries equation (1.1) is globally in time C0-well-posed on the Fourier-Lebesgue spaces Ls,p with 1/2 6 0 − s 6 0 and 2 6 p < . ∞ 1 Other applications concern the characterization of potentials in H0− which are in Ls,p for 1/2 6 s 6 0, 2 6 p < , in terms of the decay of the sequence 0 − ∞ of gap lengths of the spectrum as well as a spectral description of isospectral Ls,p sets in 0 – see Corollary 5.6 and Corollary 5.7.

Method of proof: Inspired from the work in [17] we derive a formula for the nonlinear part of the KdV Hamiltonian kdv(u) for finite gap potentials, using H 2 the asymptotics of the discriminant ∆(λ, u) of the operator ∂x + u at λ = kdv − 3 3 ∞ and the residue calculus. It leads to a formula for (u) ∞ 8π n I for H − n=1 n smooth potentials in terms of the weighted sum (8nπ) of functionals n>1 PRn , each of which is an expression involving only the discriminant ∆(λ, u)– n P R 2 or equivalently the periodic spectrum of ∂x + u. Using that by [11], ∆(λ, u) 1 − can be analytically extended to H0− one shows that the same holds true for each functional . The asymptotics of the periodic eigenvalues of ∂2 + u, Rn − x related to Theorem 1.2, then imply that (8nπ) converges absolutely n>1 Rn L 1/2,4 for u in a complex neighborhood of 0− P, yielding the claimed statement for H∗. The starting point of the proof of Theorem 1.2 are the Birkhoff coordinates 1 constructed in [11] on H0− . The main ingredients are asymptotic estimates of the periodic and Dirichlet eigenvalues in the case where u is in Ls,p , 1/2 6 0,C − s 6 0, 2 6 p < . ∞ Related works: Using the conformal mapping theory together with the heights 2 associated with the periodic eigenvalues of ∂x + u, Korotyaev and Kuksin − 2 proved in [17] that H∗ can be continuously extended to ℓ+(N), leaving open the question if the KdV frequencies, which are the dynamically relevant quantities, 2 can be extended to ℓ+(N) as well. Using different techniques, we succeed in answering this question. Actually we prove much more. Theorem 1.1 and

Theorem 1.2 together show that H∗ and hence the KdV frequencies can be 2 2 indeed extended analytically to ℓ+(N) and that ℓ+(N) is the space of action L 1/2,4 variables with underlying phase space −0 .

February 23, 2015 5 Using results on the KdV frequencies established in [2], it was also shown 2 in [17] that H∗ is concave on all of ℓ+(N) and hence Theorem 1.1 implies that 2 2 dI H∗ 6 0 on ℓ+(N) as well. The problem whether H∗ is strictly concave on all 2 of ℓ+(N) is still open – see [2, 3, 12, 18] as well as the paper [7], concerned with the study of the frequencies of the Toda lattice. Finally, we note that the initial value problem of the KdV equation has been intensively studied – see [1] for a comprehensive account.

Organization of the paper: In Section 2 we introduce additional notation and review known results used throughout the paper. In Section 3 we prove asymptotic estimates for the periodic and Dirichlet eigenvalues of ∂2 +u for u Ls,p − x ∈ 0,C with 1/2 6 s 6 0 and 2 6 p < . They are used in the proofs of Theorem − ∞ 1.1 and Theorem 1.2 provided in Section 4 and Section 5 respectively.

2 Preliminaries

In [11] it is shown that the Birkhoff map of the KdV equation on T = R/Z, defined and studied in detail in [12], can be analytically extended to a real analytic diffeomorphism

1 1/2,2 Φ: H− ℓ− . 0 → A key ingredient of the construction of the Birkhoff map and its extension to 1 H0− are spectral quantities of the differential operator L(q) = ∂2 + q, (2.1) − x which appears in the Lax pair formulation of the KdV equation. In this section we review properties of Φ as well as spectral properties of L(q) used throughout the paper. 1 1 Let q be a complex potential in H0−,C := H0− (R/Z, C). In order to treat periodic and antiperiodic boundary conditions at the same time, we consider 2 1 the differential operator L(q) = ∂ + q, on H− (R/2Z, C) with domain of − x definition H1(R/2Z, C). See Appendix B for a more detailed discussion. The 2 spectral theory of L(q), while classical for q L0,C, has been only fairly recently 1 ∈ extended to the case q H− – see e.g. [5, 10, 14, 16, 21] and the references ∈ 0,C therein. The spectrum of L(q), called the periodic spectrum of q and denoted by spec L(q), is discrete and the eigenvalues, when counted with their multiplicities and ordered lexicographically – first by their real part and second by their imaginary part – satisfy

+ + 2 2 2 λ (q) 4 λ−(q) 4 λ (q) 4 , λ±(q) = n π + nℓ . (2.2) 0 1 1 ··· n n

Furthermore, we deﬁne the gap lengths γn(q) and the mid points τn(q) by + + λn (q) + λn−(q) γ (q) := λ (q) λ−(q), τ (q) := , n > 1. n n − n n 2

February 23, 2015 6 1 2 For q H0−,C we also consider the operator Ldir(q) defined as the operator ∂x+q ∈1 1 − on Hdir− ([0, 1], C) with domain of definition Hdir([0, 1], C). See Appendix B as well as [5, 10, 14, 16, 21] for a more detailed discussion. The spectrum of Ldir(q) is called the Dirichelt spectrum of q. It is also discrete and given by a sequence of eigenvalues (µn)n>1, counted with multiplicities, which when ordered lexicographically satisfies

µ 4 µ 4 µ 4 , µ = n2π2 + nℓ2 . (2.3) 1 2 2 ··· n n s,p s,p Finally, deﬁne ℓC (N) ℓ (N, C) to be the space of sequences z = (zn)n>1 C ≡ 1/p ⊂ sp p s,p s,p with z s,p := n>1 n zn and denote by ℓ (N) ℓ (N, R) the real k k h i | | s,p ≡ subspace of real sequences z = (zn)n>1 R in ℓC (N). P ⊂ In [11] the following asymptotic estimates are proved: W 1 1 Theorem 2.1 ([11]) There exists a complex neighborhood of H0− in H0−,C so that the following holds:

1,2 (i) For any q W, the sequence (γn(q))n>1 is in ℓC− (N) and the map W 1,2 ∈ → ℓ− (N), q (γ (q)) > is locally bounded. C 7→ n n 1 (ii) The mappings

2 2 2 2 q (n π τ (q)) > and q (n π µ (q)) > 7→ − n n 1 7→ − n n 1 1,2 are analytic from W into ℓC− (N).

By [11] the discriminant ∆(λ, q) of L(q) admits an analytic extension to C W and we have the product representation × + (λ λ)(λ− λ) ∆2(λ, q) 4 = 4(λ λ+) m − m − . (2.4) − − − 0 m4π4 > mY1 The λ-derivative ∆• of the discriminant ∆ is analytic on C W, too, and admits × the product representation λ• λ ∆•(λ) = m − (2.5) − m2π2 > mY1 • where (λ ) > C are ordered lexicographically m m 1 ⊂ λ• 4 λ• 4 , λ• = n2π2 + nℓ2 . 1 2 ··· n n 1 W For each potential q H0− there exists a complex neighborhood q of q in 1 ∈ H0−,C such that the closed intervals + + G = λ + t : < t 6 0 ,G = [λ−, λ ], n > 1, 0 { 0 −∞ } n n n are disjoint from each other for every p W . By [11] there exist mutually ∈ q disjoint neighborhoods Un ( C, n > 0, called isolating neighborhoods, which satisfy:

February 23, 2015 7 (i) G , λ• , and µ are contained in the interior of U for every p W , n n n n ∈ q (ii) there exists a constant c > 1 such that for m = n, 6

1 2 2 2 2 c− m n 6 dist(U ,U ) 6 c m n , | − | n m | − | (iii) U = λ C : λ n2π2 6 n/2 for n suﬃciently large. n { ∈ | − | } In the sequel, for any q W, W denotes a neighborhood of q such that a ∈ q common set of isolating neighborhoods for all p Wq exists. We shrink W, if ∈ 1 necessary, such that W is contained in the union of all W with q H− . q ∈ 0 Following [11], for q W, one can deﬁne action variables for the KdV ∈ equation by

1 λ∆•(λ) In = dλ, n > 1. (2.6) c 2 π Γ ∆ (λ) 4 Z n −

Here Γn denotes anyp sufficiently close counter clockwise oriented circuit around c 2 Gn, and the canonical root ∆ (λ) 4 is defined on C n>0 Gn with γ0 = , − \ γn6=0 ∞ where, for q real, the sign of the root is determined by p S c 2 + i ∆ (λ) 4 > 0, λ < λ < λ− , − 0 1 and forpq W it is defined by continuous extension. ∈ The Dirichlet eigenvalues and the discriminant can be used to construct the angles θk(q), k > 1, which are conjugated to the actions In(q), n > 1, (cf. [11,

§ 3.4]). For any given k > 1 the action Ik is a real analytic function on W (cf. [11, Proposition 3.3]), whereas the angle θ is deﬁned modulo 2π on W Z and k \ k is a real analytic function on W Z when considered modulo π. Here \ k Z := q W : γ (q) = 0 , k > 1. (2.7) k { ∈ k } 1 It was shown in [11, Proposition 4.3] that Zk H0− is a real analytic submanifold 1 ∩ of H0− of codimension two. By [11, § 6] the following commutator relations hold for any m, n > 1

I ,I = 0, on W, { m n} (2.8) I , θ = δ , on W Z , (2.9) { m n} nm \ n θ , θ = 0, on W (Z Z ). (2.10) { m n} \ m ∪ n 1 For any q H− Z with k > 1 deﬁne ∈ 0 \ k

+ iθk(q) + iθk(q) zk(q) := Ik(q)e− , z k(q) := Ik(q)e . (2.11) − p p

February 23, 2015 8 1 It is shown in [11, § 5] that the mappings H0− Zk C, q z k(q), analytically \ → 7→ ± W 1 1 extend to a common neighborhood of H0− in H0−,C. The Birkhoﬀ map is then deﬁned as follows

W 1/2,2 Φ: ℓ0−,C , q Φ(q) := (zk(q))k Z (2.12) → 7→ ∈ with z0(q) = 0.

1/2,2 Theorem 2.2 ([11]) The mapping Φ: W ℓ− is analytic and satisﬁes → 0,C the following properties:

1 (i) Φ is canonical in the sense that zn,z n = ∂uzn∂x∂uz n dx = i for { − } 0 − > all n 1, whereas all other brackets between coordinateR functions vanish. s s+1/2,2 (ii) For any s > 1, the restriction Φs Φ Hs is a map Φ Hs : H ℓ − ≡ | 0 | 0 0 → 0 which is a bianalytic diﬀeomorphism.

kdv 1 (iii) The KdV Hamiltonian, when expressed in the new variables Φ− , 3/2,2 H ◦ is deﬁned on ℓ0 and depends on the action variables alone. In fact, it 3,1 is a real analytic function of the actions on the positive quadrant ℓ+ (N), introduced in the introduction.

We will also need the following result (cf. [11, § 3]).

Theorem 2.3 ([11]) After shrinking, if necessary, the complex neighborhood W 1 1 of H0− in H0−,C constructed above satisﬁes:

2 1 (i) The quotient I /γ , deﬁned on H− Z , extends analytically to W for n n 0 \ n any n. Moreover, for any ε > 0 and any q W there exists n > 1 and ∈ 0 an open neighborhood Wq of q in W so that I 8nπ n 1 6 ε, n > n p W . (2.13) γ2 − ∀ 0 ∀ ∈ q n

(ii) The Birkhoﬀ coordinates (zn)n Z are analytic as maps from W into C and ∈ fulﬁll locally uniformly in W and uniformly for n > 1, the estimate

γn + µn τn z n = O | | | − | . | ± | √n (iii) For any q W and n > 1 one has I (q) = 0 if and only if γ (q) = 0. In ∈ n n particular, Φ(0) = 0.

3 Asymptotic estimates for the periodic and Dirichlet eigenvalues

In this section we prove asymptotic estimates of the quantities γ and µ τ | n| | n − n| appearing in the estimates of the Birkhoﬀ coordinates of Theorem 2.3 (i) - (ii)

February 23, 2015 9 in the case where q Ls,p with 1/2 6 s 6 0 and 2 6 p < . They are needed ∈ 0,C − ∞ in the proofs of Theorem 1.1 and Theorem 1.2. 1 Recall from (2.2) that for q H0−,C, the sequence of gap lengths (γn(q))n>1 1,2 s,p ∈ is in ℓ− (N). For q L , this sequence has the following stronger decay: C ∈ 0,C Ls,p Theorem 3.1 For any q 0,C with 1/2 6 s 6 0 and 2 6 p < , one has s,p ∈ − ∞ (γ (q)) > ℓ (N) and the map n n 1 ∈ C s,p s,p L ℓ (N), q (γ (q)) > , 0,C → C 7→ n n 1 is locally bounded. ⋊

1 1,2 Recall from (2.2)–(2.3) that for any q H0−,C, (τn(q) µn(q))n>1 is in ℓC− (N). Ls,p ∈ − For q in 0,C, the decay of this sequence is again stronger: Ls,p Theorem 3.2 For any q 0,C with 1/2 6 s 6 0 and 2 6 p < , one has s,p ∈ − ∞ (τ µ (q)) > ℓ (N) and the map n − n n 1 ∈ C s,p s,p L ℓ (N), q (τ (q) µ (q)) > , 0,C → C 7→ n − n n 1 is locally bounded. ⋊

In the remainder of this section we prove Theorem 3.1 and Theorem 3.2. For this purpose we adapt the methods developed in [9, 20, 4] for potentials q L2 ∈ to singular potentials, using results from [10] and [11].

3.1 Setup

As in the introduction we extend the L2-inner product of L2(R/2Z) by duality s,p to C′ (R/2Z) C(R/2Z). For s R and 1 6 p < denote by L the space S × S ∈ ∞ ⋆,C of periodic, complex valued distributions f C′ (R/2Z) so that the sequence of ∈ S s,p their Fourier coefficients fn = f, en is in the space ℓC = z = (zn)n Z C : h i { ∈ ⊂ z < . We write k ks,p ∞} 1/p sp p f := (fn)n Z = n fn . k ks,p k ∈ ks,p h i | | n Z ! X∈ Ls,p In the sequel we will identify a potential q 0,C with the corresponding Ls,p ∈ element n Z qnen in ⋆,C where qn is the nth Fourier coefficient of the poten- ∈ tial obtained from q by viewing it as a distribution on R/2Z instead of R/Z, P i.e., q2n = q, e2n , whereas q2n+1 = q, e2n+1 = 0 and q0 = q, 1 = 0. We h i h i h 1 i denote by V the operator of multiplication by q with domain HC(R/2Z). See Appendix B for a detailed discussion of this operator as well as the operator L(q) introduced in (2.1). When expressed in its Fourier series, the image V f of f = 1 Z fnen HC(R/2Z) is the distribution V f = Z Z qn mfm en n n m − 1∈ ∈ ∈ ∈ ∈ H− (R/2Z). To prove the asymptotic estimates of the gap lengths stated in The- PC P P orem 3.1 we need to study the eigenvalue equation L(q)f = λf for sufficiently

February 23, 2015 10 1 1 large periodic eigenvalues λ. For q H− , the domain of L(q) is HC(R/2Z) and ∈ 0,C hence the eigenfunction f is an element of this space. It is shown in Appendix B Ls,p Ls+2,p 2 Ls,p that for q 0,C one has f ⋆,C and ∂xf, V f ⋆,C. Note that for q = 0 ∈ + ∈ 2 2 ∈ and any n > 1, λn (0) = λn−(0) = n π , and the eigenspace corresponding to + the double eigenvalue λn (0) = λn−(0) is spanned by en and e n. Viewing for n − large L(q) λ±(q) as a perturbation of L(0) λ±(0), we are led to decompose − n − n Ls,p into the direct sum Ls,p = , ⋆,C ⋆,C Pn ⊕ Qn

n = span en, e n , n = span ek : k = n . P { − } Q { 6 ± } The projections onto and are denoted by P and Q , respectively. It is Pn Qn n n convenient to write the eigenvalue equation Lf = λf in the form Aλf = V f, 2 where Aλf = ∂xf + λf and V denotes the operator of multiplication with q. Since Aλ is a Fourier multiplier, we write f = u + v, where u = Pnf and v = Qnf, and decompose the equation Aλf = V f into the two equations

Aλu = PnV (u + v),Aλv = QnV (u + v), (3.1)

2 2 2 referred to as P - and Q-equation. As λn±(q) = n π + nℓn, we conclude that for n sufficiently large, λ±(q) S where S denotes the closed vertical strip n ∈ n n S := λ C : Rλ n2π2 6 12n , n > 1. n { ∈ | − | } Note that λ C : Rλ > 0 S . Given any n > 1, u , and { ∈ } ⊂ n>1 n ∈ Pn λ S , we derive in a first step from the Q-equation an equation for w := V v ∈ n S which for n sufficiently large can be solved as a function of u and λ. In a second step, for λ a periodic eigenvalue in Sn, we solve the P equation for u after having substituted in it the expression of V v. The solution of the Q-equation is then easily determined. Towards the first step note that for any λ S , ∈ n A : Ls+2,p is boundedly invertible as for any k = n, λ Qn ∩ ⋆,C → Qn 6 min λ k2π2 > min Rλ k2π2 > n2 k2 > 1. λ Sn| − | λ Sn| − | | − | ∈ ∈ In order to derive from the Q-equation an equation for V v, we apply to it the 1 operator VAλ− to get

1 V v = VA−λ QnV (u + v) = TnV (u + v), where

1 s,p s,p T T (λ) := VA− Q : L L . n ≡ n λ n ⋆,C → ⋆,C It leads to the following equation for w := V v

(Id T (λ))w = T (λ)V u. (3.2) − n n

February 23, 2015 11 To show that Id T (λ) is invertible, we introduce for any l Z the shifted − n ∈ norm of f Ls,p , ∈ ⋆,C 1/p f := fe = n + l p f p , k ks,p;l k lks,p h i | n| n Z ! X∈ and denote by T the corresponding operator norm. Furthermore, we k nks,p;l denote by R f, N > 1 the tail of the Fourier series of f Ls,p , N ∈ ⋆,C

RN f = fnen. n >N | X| Lemma 3.1 Let 1/2 6 s 6 0, 2 6 p < , and n > 1 be given. For any − ∞ q Ls,p and λ S , ∈ 0,C ∈ n T (λ): Ls,p Ls,p n ⋆,C → ⋆,C is a bounded linear operator satisfying the estimate

Tn(λ) s,p; n 6 cs,p εs,p(n) q s,p + Rn/2q s,p , k k ± k k k k where cs,p is a constant depending only on s and p and εs,p is deﬁned here as 1 6 1 n1−|s| , 2 p < s , 1 1 | | (log n ) − /p 1 ε (n) := h i ⋊ s,p  n1−|s| , p = s ,  | |  1 1 n1−2|s|+1/p , s < p < . | | ∞  1 Ls,p Ls+2,p Proof. Note thatAλ− : ⋆,C ⋆,C is bounded for any λ Sn and hence s,p s,p → ∈ 1 for any f L , q L , and λ S , the multiplication of A− Q f with q, ∈ ⋆,C ∈ 0,C ∈ n λ n deﬁned by

1 qm kfk T (λ)f = VA− Q f = − e n λ n  λ k2π2  m m Z k =n X∈ |X|6 −   is a distribution in C′ (R/2Z). The norm T f satisﬁes S k n ks,p;n p p s qm k fk T f 6 m + n | − || | . k n ks,p;n h i n2 k2  m Z k =n X∈ |X|6 | − | We write the latter expression in the form  p s s k + n | | m k | | qm k fk p h i h − i | − | | | 6 2 (I + II),  s s s  m Z k =n n + k n k m + n | | m k | | k + n | | X∈ |X|6 | || − |h i h − i h i   where I and II are deﬁned by splitting the sum k =n into a sum over k = | |6 {| | 6 n : m k > n/2 and one over k = n : m k < n/2 . Using that | − | } {| | 6 P| − | } m k 6 m + n n + k we conclude h − i h ih i p 2 s k + n | | 1 qm k fk I 6 1 m k >n/2 h i | − | | | .  {| − | } n + k n k s s  m Z k =n m k | | k + n | | X∈ |X|6 | | | − | h − i h i  

February 23, 2015 12 2 s As 1/2 6 s 6 0 and k + n | |/ n + k 6 (1 + n + k )/ n + k 6 2, one then − h i | | | | | | gets by Hölder’s inequality applied to the sum k =n | |6 p/p′ ′ P 2p I 6 R q p f p .  p′  k n/2 ks,pk ks,p;n k =n n k |X|6 | − | To estimate II, we show that m k h − i 1 m k n/2, this is obvious as m k < n/2. In case n k 6 n/2 | − | | − | | − | one has that n + k > 2n n k > 3n/2 and hence | | − | − | m + n > n + k m k > n, | | || | − | − || which implies (3.3). With (3.3) and Hölder’s inequality it then follows that p s s 2| | 2| | qm k fk II 6 1 m k

1/p′ 1 ′ 6 Cs,pεs,p(n),  2 2 (1 s )p  k =n n k −| | |X|6 | − |   for some constant Cs,p > 0 which only depends on s and p. Altogether we have shown that for some constant cs,p > Cs,p,

T f 6 c ε (n) q + R q f . k n ks,p;n s,p s,p k ks,p k n/2 ks,p k ks,p;n Going through the arguments of the proof one sees that the same kind of esti- ✈ mates also lead to the claimed bound for Tnf s,p; n. k k − Lemma 3.1 can be used to solve, for n suﬃciently large, the equation (3.2) as well as the Q-equation (3.1) in terms of any given u and λ S . ∈ Pn ∈ n Corollary 3.2 For any q Ls,p with 1/2 6 s 6 0 and 2 6 p < , there ∈ 0,C − ∞ exists ns,p = ns,p(q) > 1 so that for any n > ns,p and λ Sn, Tn(λ) is a 1/2 con- Ls,p ∈ traction on ⋆,C with respect to the norms shifted by n, Tn(λ) s,p; n 6 1/2. ± k k ± The threshold ns,p(q) can be chosen locally uniformly in q. As a consequence, equation (3.2) and (3.1) can be uniquely solved for any given u , λ S , ∈ Pn ∈ n s,p 1 w = K (λ)T (λ)V u L ,K K (λ) := (Id T (λ))− , (3.4) u,λ n n ∈ ⋆,C n ≡ n − n 1 1 1 s+2,p v = A− Q V u + A− Q w = A− Q K V u L . (3.5) u,λ λ n λ n u,λ λ n n ∈ ⋆,C ∩ Qn

February 23, 2015 13 In particular, one has wu,λ = V vu,λ. We increase ns,p, if necessary, so that in addition

2 2 λ± 6 (n 1) π + n /2, n < n , | n | s,p − s,p ∀ s,p 2 2 λ± n π 6 n/2, n > n , (3.6) | n − | ∀ s,p λ± are 1-periodic [1-antiperiodic] if n even [odd] n > n . ⋊ n ∀ s,p Remark 3.3. By the same approach, one can study the inhomogeneous equation

(L λ)f = g, g Ls,p , − ∈ ⋆,C for λ S and n > n . Writing f = u + v and g = P g + Q g, the Q-equation ∈ n s,p n n becomes

A v = Q V (u + v) Q g = Q V v + Q (V u g) λ n − n n n − leading for any given u to the unique solution w of the equation corre- ∈ Pn sponding to (3.2)

w = V v = K T (V u g) Ls,p , n n − ∈ ⋆,C and, in turn, to the unique solution v Ls+2,p of the Q-equation ∈ ⋆,C ∩ Qn 1 1 1 v = A− Q (V u g) + A− Q K T (V u g) = A− Q K (V u g). λ n − λ n n n − λ n n −

3.2 Reduction

In a next step we study the P -equation Aλu = PnV (u + v) of (3.1). For n > n (q), u , and λ S , substitute in it the solution w of (3.2), s,p ∈ Pn ∈ n u,λ obtained in (3.4),

Aλu = PnV u + Pnwu,λ = Pn(Id +KnTn)V u.

Using that Id +KnTn = Kn one then obtains Aλu = PnKnV u or Bnu = 0, where

B B (λ): , u (A P K (λ)V )u. (3.7) n ≡ n Pn → Pn 7→ λ − n n Lemma 3.4 Assume that q Ls,p with 1/2 6 s 6 0 and 2 6 p < . Then ∈ 0,C − ∞ for any n > n with n given by Corollary 3.2, λ S is an eigenvalue of s,p s,p ∈ n L(q) if and only if det(Bn(λ)) = 0. ⋊

Proof. Assume that λ S is an eigenvalue of L = L(q). By Lemma B.3 there ∈ n exists 0 = f Ls+2,p so that Lf = λf. Decomposing f = u + v 6 ∈ ⋆,C ∈ Pn ⊕ Qn it follows by the considerations above and the assumption n > n that u = 0 s,p 6 and B (λ)u = 0. Conversely, assume that det(B (λ)) = 0 for some λ S . n n ∈ n Then there exists 0 = u so that B (λ)u = 0. Since n > n , there exists 6 ∈ Pn n s,p w and v as in (3.4) and (3.5), respectively. Then v v Ls+2,w,p u,λ u,λ ≡ u,λ ∈ ⋆,C ∩ Qn

February 23, 2015 14 solves the Q-equation by Corollary 3.2. To see that u solves the P -equation note that Bn(λ)u = 0 implies that

Aλu = PnKnV u = Pn(Id +KnTn)V u.

As by (3.4), wu,λ = KnTnV u, and as wu,λ = V v, one sees that indeed

Aλu = PnV u + PnV v. ✈

Remark 3.5. Solutions of the inhomogeneous equation (L λ)f = g for g Ls,p , − ∈ ⋆,C λ S , and n > n can be obtained by substituting into the P -equation ∈ n s,p A u = P V u + P V v P g λ n n − n the expression for V v obtained in Remark 3.3, V v = K T (V u g), to get n n − A u = P V u + P K T V u P g P K T g λ n n n n − n − n n n = P (Id +K T )V u P (Id +K T )g. n n n − n n n

Using that Id +KnTn = Kn one concludes that

B (λ)u = P K (λ)g. (3.8) n − n n Conversely, for any solution u of (3.8), f = u + v, with v being the element in Ls+2,p given in Remark 3.3, satisﬁes (L λ)f = g and f Ls+2,p. ⋆,C − ∈ ⋆,C We denote the matrix representation of a linear operator F : with Pn → Pn respect to the orthonormal basis en, e n of n also by F , − P F en, en F e n, en F = h i h − i . F en, e n F e n, e n h − i h − − i In particular,

2 2 λ n π 0 an bn Aλ = − 2 2 ,PnKnV = , 0 λ n π b n a n − − − where for any λ S and n > n the coeﬃcients of P K V are given by ∈ n s,p n n

an an(λ) := KnV en, en , a n a n(λ) := KnV e n, e n , ≡ h i − ≡ − h − − i bn bn(λ) := KnV e n, en , b n b n(λ) := KnV en, e n . ≡ h − i − ≡ − h − i

By a straightforward veriﬁcation it follows from the expression of an in terms of the representation of Kn and V in Fourier space that for any n > ns,p

an = KnV e n, e n = a n. h − − i −

Hence the diagonal of Bn is a complex multiple of the identity and

2 2 λ n π an bn, Bn = − − −2 2 . (3.9) b n λ n π an − − − −

February 23, 2015 15 Lemma 3.6 Suppose q Ls,p with 1/2 6 s 6 0 and 2 6 p < . Then for ∈ 0,C − ∞ any n > ns,p, with ns,p as in Corollary 3.2, the coeﬃcients an(λ) and b n(λ) ± are analytic functions on the strip S and for any λ S n ∈ n

Proof. Since Tn(λ) s,p; n 6 1/2 for n > ns,p and λ Sn, the series expan- k k ± ∈ sions of an(λ) and b n(λ) converge uniformly on Sn to functions analytic in λ. ± Moreover, we obtain from the identity Kn = Id +TnKn

bn = V e n, en + TnKnV e n, en = q2n + TnKnV e n, en . h − i h − i h − i Furthermore, for any f Ls,p we compute ∈ ⋆,C n s f, e = n s fe , e 6 f . h i |h ni| h i |h n 2ni| k ks,p;n Consequently, using that T 6 1/2 and hence K 6 2, one gets k nks,p;n k nks,p;n s n bn q2n 6 TnKnV e n 6 2 Tn V e n h i | − | k − ks,p;n k ks,p;nk − ks,p;n = 2 T q . k nks,p;nk ks,p

The estimates for b n q 2n and an are obtained in a similar fashion. ✈ | − − − | | | 2 2 The preceding lemma implies that for any n > ns,p, det Bn(λ) = (λ n π 2 −2 2 2 − an) bnb n is an analytic function of λ Sn which is close to (λ n π ) for − − ∈ − n > ns,p suﬃciently large.

Lemma 3.7 Suppose q Ls,p with 1/2 6 s 6 0 and 2 6 p < . Choose ∈ 0,C − ∞ ns,p = ns,p(q) > 1 as in Corollary 3.2 and increase it if necessary so that

q 6 √ns,p/8. (3.10) k ks,p

Then for any n > ns,p, det(Bn(λ)) has exactly two roots ξn,1 and ξn,2 in Sn counted with multiplicity. They are contained in

D := λ : λ n2π2 < 4n1/2 q S n { | − | k ks,p} ⊂ n and satisfy

1/2 ξn,1 ξn,2 6 √6 sup bn(λ)b n(λ) . ⋊ (3.11) | − | λ S | − | ∈ n

Proof. Since for any n > ns,p and λ Sn, Tn(λ) s,p; n 6 1/2, one concludes ∈ k k ± from the preceding lemma that an(λ) 6 q and, with b n(λ) 6 q 2n + | | k ks,p | ± | | ± | b n(λ) q 2n , that | ± − ± | s b n(λ) 6 2 n | | q . | ± | h i k ks,p

February 23, 2015 16 Therefore, for any λ, µ S , ∈ n 1/2 s an(µ) + bn(λ)b n(λ) 6 1 + 2 n | | q s,p | | | − | h i k k (3.12) 1/2 2 2 < 4n q s,p = inf λ n π . k k λ ∂Dn| − | ∈ It then follows that det Bn(λ) has no root in Sn Dn. Indeed, assume that 2 2 \ 1/2 ξ Sn is a root, then ξ n π an(ξ) = bn(ξ)b n(ξ) and hence ∈ | − − | | − | 2 2 1/2 1/2 ξ n π 6 an(ξ) + bn(ξ)b n(ξ) < 4n q | − | | | | − | k ks,p implying that ξ D . In addition, (3.12) implies that by Rouché’s theorem ∈ n the two analytic functions λ n2π2 and λ n2π2 a (λ), deﬁned on the strip − − − n Sn have the same number of roots in Dn counted with multiplicities. As a consequence (λ n2π2 a (λ))2 has a double root in D . Finally, (3.12) also − − n n implies that

1/2 2 2 sup bn(λ)b n(λ) < inf λ n π sup an(λ) λ S | − | λ ∂Dn| − | − λ S | | ∈ n ∈ ∈ n 2 2 6 inf λ n π an(λ) λ ∂Dn| − − | ∈ 2 2 2 and hence again by Rouché’s theorem, the analytic functions (λ n π an(λ)) 2 2 2 − − and (λ n π an(λ)) bn(λ)b n(λ) have the same number of roots in Dn. − − − − Altogether we thus have established that det(B (λ)) = (λ n2π2 a (λ))2 n − − n − bn(λ)b n(λ) has precisely two roots ξn,1, ξn,2 in Dn. − To estimate the distance of the roots, write det Bn(λ) as a product g+(λ)g (λ) − 2 2 where g (λ) = λ n π an(λ) ϕn(λ) and ϕn(λ) = bn(λ)b n(λ) with an ± − − ∓ − arbitrary choice of the sign of the root for any λ. Eachp root ξ of det(Bn) is either a root of g+ or g and thus satisﬁes − ξ n2π2 + a (ξ) ϕ (ξ) . ∈ { n ± n } As a consequence, ξ ξ 6 a (ξ ) a (ξ ) + max ϕ (ξ ) ϕ (ξ ) | n,1 − n,2| | n n,1 − n n,2 | | n n,1 ± n n,2 | ± (3.13) 6 sup ∂λan(λ) ξn,1 ξn,2 + 2 sup ϕn(λ) . λ D | || − | λ D | | ∈ n ∈ n 1/2 1/2 Since q 6 ns,p /8 6 n /8 and hence k ks,p dist(D , ∂S ) > 12n n/2 > 6n n n − one concludes from Cauchy’s estimate q supλ Sn an(λ) s,p 1 sup ∂λan(λ) 6 ∈ | | 6 k k 6 . λ D | | dist(Dn, ∂Sn) 6n 6 ∈ n Therefore, by (3.13), 2 ξn,1 ξn,2 6 6 sup bn(λ)b n(λ) | − | λ D | − | ∈ n as claimed. ✈

February 23, 2015 17 3.3 Proof of Theorem 3.1

Let q Ls,p with 1/2 6 s 6 0 and 2 6 p < . The eigenvalues of L(q), when ∈ 0,C − ∞ listed with lexicographic ordering, satisfy

+ + 2 2 2 λ 4 λ− 4 λ 4 , and λ± = n π + nℓ . 0 1 1 ··· n n

Hence for n > ns,p with ns,p as in (3.6), λn± Sn and λn± / Sk for any k = n. It ∈ ∈ 6+ then follows from Lemma 3.4 and Lemma 3.7 that ξ , ξ = λ−, λ and { n,1, n,2} { n n } hence

+ γ = λ λ− = ξ ξ , n > n . | n| | n − n | | n,1 − n,2| ∀ s,p In view of estimate (3.11) of Lemma 3.7, we will need the following estimates on bn(λ) q2n and b n(λ) q 2n for the proof of Theorem 3.1. − − − − Lemma 3.8 Let q Ls,p with 1/2 6 s 6 0 and 2 6 p < . Then the ∈ 0,C − ∞ following holds:

(i) For any f Ls,p and λ S with n > n and n = n (q) as in ∈ ⋆,C ∈ n s,p s,p s,p Lemma 3.7

s n Tnf, e n 6 Cs,pεs,p(n) q s,p f s,p; n h i |h ± i| k k k k ±

where Cs,p is independent of q, n, and λ, and here

1 6 2 n , 2 p < s , 1−|s| | | ε (n) = (log n ) 2 s,p  h ni , p = s ,  | |  1 2 n1−|s|+2/p , s < p < . | | ∞  (ii) For any N > ns,p with ns,p = ns,p(q) as in Lemma 3.7

2p sp p p q s,p n sup bn(λ) q2n + sup b n(λ) q 2n 6 Cs,p k k ∗ , h i | − | | − − − | N p > λ Sn λ Sn nXN ∈ ∈ + where p∗ > 1 is given by p∗ = p 1 if 2 6 p < 2/ s , p∗ = (p 1) 0 − | | − − if p = 2/ s and p∗ = p/2 + 1 if 2/ s < p < , and the constant C is | | | | ∞ s,p independent of q and N. ⋊

Proof. (i) As the estimates of Tnf, en and Tnf, e n can be proved in a similar − h i h i 1 way we concentrate on T f, e . Since by deﬁnition T = VA− Q , h n ni n λ n qn mfm T f, e = − . h n ni λ m2π2 m =n | X|6 − Using that n + m / n + m , n m / n m 6 2 for m = n one gets h i | | h − i | − | | | 6 n s T f, e 6 I (λ), where h i |h n ni| n 1 1 qn m fm In(λ) = | − | | | 2 2 1 s s s s m =n n m −| | n | | n m | | n + m | | | X|6 | − | h i h − i h i

February 23, 2015 18 In the case p = 2, use that 1/ m2 n2 6 1/n for all m = n to conclude by | − | | | 6 Cauchy–Schwarz that 1 I (λ) 6 q f . n nk ks,2k ks,2;n In the case 2 < p < , apply Hölder’s inequality for p/2 > 1 to get with ∞ p′′ = p/(p 2) > 1, − 1/p′′ 1 1 In(λ) 6 ′′ n s  2 2 (1 s )p  · | | m =n m n −| | | X|6 | − |  p/2 p/2 2/p qn m fm | − | | | . ·  s s  m =n n m | | ! n + m | | ! | X|6 h − i h i   By applying Cauchy–Schwarz to the latter sum one gets

1/p′′ 1 1 In(λ) 6 ′′ q f . n s  2 2 (1 s )p  k ks,pk ks,p;n | | m =n m n −| | | X|6 | − |   Using Lemma A.1 one sees that for some constant Cs,p′ > 0,

1/p′′ 1 1 ′′ 6 Cs,p′ εs,p(n), n s  2 2 (1 s )p  | | m =n m n −| | | X|6 | − |   yielding the claimed statement. (ii) Recall that for any n > n and λ S s,p ∈ n (n) (n) (n) bn q2n = Tnu , en , u u (λ) = Kn(λ)V e n. − h i ≡ − Using that

(n) u 6 Kn V e n 6 2 q , k ks,p;n k ks,p;nk − ks,;n k ks,p it follows from item (i) that for any λ S ∈ n n s b q 6 2C ε (n) q 2 . h i | n − 2n| s,p s,p k ks,p

Hence for any N > ns,p and after increasing Cs,p, if necessary,

n sp sup b (λ) q p 6 C q 2p (ε (n))p. h i | n − 2n| s,pk ks,p s,p > λ Sn > nXN ∈ nXN Taking into account that 2 6 p < and 1/2 6 s 6 0 one veriﬁes that p p∗ ∞ − n>N εs,p(n) = O(1/N ). In the same way, one shows that

P sp p 2p p n sup b n(λ) q 2n 6 Cs,p q (εs,p(n)) . ✈ h i | − − − | k ks,p > λ Sn > nXN ∈ nXN

February 23, 2015 19 Proof of Theorem 3.1. By Lemma 3.7,

p p p/2 γn = ξn,1 ξn,2 6 sup 6bn(λ)b n(λ) | | | − | λ S | − | ∈ n p 3 p p 6 sup bn(λ) + sup b n(λ) . 2 λ S | | λ S | − | ∈ n ∈ n

It then follows from Lemma 3.8 that with N := ns,p

p sp p 6 sp p p n γn 6 n q2n + q 2n h i | | 2 h i | | | − | > > nXN nXN p p + sup bn(λ) q2n + sup b n(λ) q 2n λ S | − | λ S | − − − | ∈ n ∈ n 6p 6p 1 6 R p + C q 2p . 2 k 2N ks,p 2 s,p N k ks,p s,p In particular, (γn(q))n>1 ℓC (N). As ns,p can be chosen locally uniformly in s,p s,p ∈ s,p q L , the map L ℓ (N), q (γ (q)) > is locally bounded. ✈ ∈ 0,C 0,C → C 7→ n n 1

3.4 Jordan blocks of L(q)

To treat the Dirichlet problem we need to analyze L(q) further. We again consider potentials in the space Ls,p with 1/2 6 s 6 0 and 2 6 p < . In case 0,C − ∞ q Ls,p is not real valued, the operator L(q) might have complex eigenvalues ∈ 0,C and it might happen that the geometric multiplicity of an eigenvalue is less than its algebraic multiplicity. For n > ns,p with ns,p as in Lemma 3.7, let

+ + Null(L λn ) Null(L λn−), λn = λn−, En = − ⊕ − 6  + 2 + Null(L λ ) , λ = λ−.  − n n n We need to estimate the coeﬃcients of L(q) when represented with respect  En + to an appropriate orthonormal basis of En . In the case where λn = λn− the matrix representation will be in Jordan normal form. By Lemma B.3, Ls+2,p 2 2 + 2 En ⋆,C ֒ L := L ([0, 2], C). Denote by fn En an L -normalized ⊂ → + 2 ∈ eigenfunction corresponding to λn and by ϕn an L -normalized element in En so that f +, ϕ forms an L2-orthonormal basis of E . Then the following { n n} n lemma holds.

Lemma 3.9 Let q Ls,p with 1/2 6 s 6 0 and 2 6 p < . Then there ∈ 0,C − ∞ exists ns,p′ > ns,p so that for any n > ns,p′ , (L λ+)ϕ = γ ϕ + η f +, − n n − n n n n where η C satisﬁes the estimate n ∈ + + ηn 6 16( γn + bn(λn ) + b n(λn ) ). | | | | | | | − | s,p The threshold n′ can be chosen locally uniformly in q L . ⋊ s,p ∈ 0,C

February 23, 2015 20 + Proof. We begin by verifying the claimed formula for (L λn )ϕn in the case + 2 − where λn = λn−. Let fn− be an L -normalized eigenfunction corresponding to 6 2 2 λ−. As f − E there exist a, b C with a + b = 1 and b = 0 so that n n ∈ n ∈ | | | | 6 + 1 a + f − = af + bϕ or ϕ = f − f . n n n n b n − b n Hence

1 a + + Lϕ = λ−f − λ f . n b n n − b n n

Substituting the expression for fn− into the latter identity then leads to + + a + + + (L λ )ϕ = (λ− λ )ϕ + (λ− λ )f = γ ϕ + η f − n n n − n n b n − n n − n n n n where η = γ a/b. In the case λ+ is a double eigenvalue of geometric multi- n − n n plicity two, ϕn is an eigenfunction of L and one has ηn = 0. Finally, in the case λ+ is a double eigenvalue of geometric multiplicity one, (L λ+)ϕ is in the n − n n eigenspace E+ E as claimed. n ⊂ n To prove the claimed estimate for η , we view (L λ+)ϕ = γ ϕ +η f + as n − n n − n n n n a linear equation with inhomogeneous term g = γ ϕ +η f +. By identity (3.8) − n n n n one has

B P ϕ = γ P K ϕ η P K f +, n n n n n n n − n n n n + + 2 where Kn Kn(λn ) and Bn Bn(λn ). To estimate ηn, take the L -inner ≡ ≡ + product of the latter identity with Pnfn to get η P K f +,P f + = γ I II, (3.14) nh n n n n n i n − where

I = P K ϕ ,P f + ,II = B P ϕ ,P f + . h n n n n n i h n n n n n i We begin by estimating P K f +,P f + . Using that K = Id +T K one h n n n n n i n n n gets

+ + + 2 + + P K f ,P f = P f 2 + T K f ,P f , h n n n n n i k n n kL h n n n n n i and by Cauchy-Schwarz 1/2 + + + 2 + T K f ,P f 6 T K f , e P f 2 . |h n n n n n i| |h n n n mi| k n n kL m n ∈{±X } + + Note that P f 2 6 f 2 = 1 and further by Lemma 3.8 (i) k n n kL k n kL + s + TnKnfn , e n 6 n | |Cs,pεs,p(n) q s,p Knfn s,p; n. |h ± i| h i k k k k ± 2 Ls,p + + = By Corollary 3.2, Kn s,p;n 6 2 and as LC[0, 2] ֒ ⋆,C, fn s,p; n 6 fn 0,2; n k k → k s k ± k k 1/p± 1, whereas by the deﬁnition of εs,p(n) in Lemma 3.8 (i), n| |εs,p(n) 6 Cs,p/n .

Hence there exists ns,p′ > ns,p so that 1 T K f +,P f + 6 . |h n n n n n i| 8

February 23, 2015 21 + By increasing n′ if necessary, Lemma 3.10 below assures that P f 2 > 1/2. s,p k n n kL Thus the left hand side of (3.14) can be estimated as follows

+ + 1 1 1 η P K f ,P f > η = η , n > n′ . (3.15) nh n n n n n i | n| 4 − 8 8| n| ∀ s,p

Next let us estimate the term I = P K ϕ ,P f + in (3.14). Using again h n n n n n i Kn = Id +TnKn one sees that

I = P ϕ ,P f + + T K ϕ ,P f + . h n n n n i h n n n n n i + + Clearly, P ϕ ,P f 6 ϕ 2 f 2 6 1 and arguing as above for the |h n n n n i| k nkL k n kL second term, one then concludes that

I 6 1 + 1/8, n > n′ . (3.16) | | ∀ s,p + Finally it remains to estimate II = BnPnϕn,Pnfn . Using again ϕn L2 = + h i k k f 2 = 1, we conclude from the matrix representation (3.9) of B that k n kL n + + + 2 2 BnPnϕn,Pnfn 6 Bn ϕn 2 fn 2 6 λn n π an + bn + b n . |h i| k kk kL k kL | − − | | | | − | + Since det Bn(λn ) = 0, one has

+ 2 2 1/2 1 λn n π an = bnb n 6 ( bn + b n ), | − − | | − | 2 | | | − | and hence it follows that for all n > ns,p′ that

II 6 2( bn + b n ). (3.17) | | | | | − |

Combining (3.15)-(3.17) leads to the claimed estimate for ηn. ✈

It remains to prove the estimate of Pn used in the proof of Lemma 3.9. To this end, we introduce the Riesz projector P : L2 E given by (see also n,q → n Appendix B)

1 1 Pn,q = (λ L(q))− dλ. 2πi λ n2π2 =n − Z| − | Lemma 3.10 Let q Ls,p with 1/2 6 s 6 0 and 2 6 p < . Then there ∈ 0,C − ∞ exists n˜ > n so that for any eigenfunction f Ls+2,p of L(q) corresponding s,p s,p ∈ ⋆,C to an eigenvalue λ S with n > n˜ , ∈ n s,p 1 P f 2 > f 2 . ⋊ k n kL 2k kL Proof. In Lemma B.4 we show that

Pn,q Pn L2 L∞ = o(1), k − k → locally uniformly in q Ls,p and uniformly as n . Clearly, P f = f, ∈ 0,C → ∞ n,q hence

P f 2 > P f 2 (P P )f 2 > 1 + o(1) f 2 . ✈ k n kL k n,q kL − k n,q − n kL k kL February 23, 2015 22 3.5 Proof of Theorem 3.2 Ls,p We begin with a brief outline of the proof of Theorem 3.2. Let q 0,C with 1 ∈ 1/2 6 s 6 0 and 2 6 p < . Since for any q H− the Dirichlet eigenvalues, − ∞ ∈ 0,C when listed in lexicographical ordering and with their algebraic multiplicities, 2 2 2 µ1 4 µ2 4 , satisfy the asymptotics µn = n π + nℓn, they are simple for ··· 1 n > ndir, where ndir > 1 can be chosen locally uniformly for q H0−,C. For any 2 ∈ n > ndir let gn be an L -normalized eigenfunction corresponding to µn. Then

1 1 g H C := g H ([0, 1], C): g(0) = g(1) = 0 . n ∈ dir, { ∈ } s,p Now let q L with 1/2 6 s 6 0 and 2 6 p < . Increase n′ of ∈ 0,C − ∞ s,p Lemma 3.9, if necessary, so that ns,p′ > ndir and denote by En the two dimensional subspace introduced in Section 3.4. We will choose an L2-normalized func- ˜ 1 tion Gn in En so that its restriction Gn to = [0, 1] is in Hdir,C and close to gn. + I + We then show that µn λn can be estimated in terms of (Ldir λn )Gn,Gn . − h − iI As by Lemma 3.9

+ ˜ + + (L λn )Gn = O( γn + bn(λn ) + b n(λn ) ), − | | | | | − | the claimed estimates for µ τ = µ λ++γ /2 then follow from the estimates n− n n− n n of γn of Theorem 3.1 and the ones of bn q2n, b n q 2n of Lemma 3.8 (ii). − − − − ˜ + 2 The function Gn is deﬁned as follows. Let fn , ϕn be the L -orthonormal 1 basis of En chosen in Section 3.4. As En HC(R/2Z), its elements are con- ⊂ + tinuous functions by the Sobolev embedding theorem. If fn (0) = 0, then + + fn (1) = 0 as fn is an eigenfunction of the 1-periodic/antiperiodic eigenvalue λ+ of L(q) and we set G˜ = f +. If f +(0) = 0, then we deﬁne G˜ (x) = n n n n 6 n r ϕ (0)f +(x) f +(0)ϕ (x) , where r > 0 is chosen in such a way that n n n − n n n 1 G˜ (x) 2 dx = 1. Then G˜ (0) = G˜ (1) = 0 and since G˜ is an element of E 0 | n | n n n n : ˜ 1 itsR restriction Gn = Gn is in Hdir,C. I Denote by Πn,q the Riesz projection, introduced in Appendix B,

1 1 Πn,q := (λ Ldir(q))− dλ. 2πi λ n2π2 =n − Z| − | It has span(g ) as its range and hence Π G = ν g for some ν C. n n,q n n n n ∈ Lemma 3.11 Let q Ls,p with 1/2 6 s 6 0 and 2 6 p < . Then there ∈ 0,C − ∞ exists ns,p′′ > ns,p′ with ns,p′ as in Lemma 3.9 so that for any n > ns,p′′

(i) the following identity holds

+ + νn(µn λn )gn = βn ηnΠn,q(fn ) γnΠn,q(ϕn ) , (3.18) − I − I where βn C with βn 6 1 and ηn is the oﬀ-diagonal coeﬃcient in the ∈ | | + + matrix representation of (L λn ) with respect to the basis fn , ϕn , − En { } introduced in Lemma 3.9, and

February 23, 2015 23 (ii) 1/2 6 ν 6 3/2. | n| s,p n′′ can be chosen locally uniformly for q L . ⋊ s,p ∈ 0,C Proof. (i) Write G = ν g + h , where h = (Id Π )G . Then n n n n n − n,q n (L λ+)G = ν (µ λ+)g + (L λ+)h . dir − n n n n − n n dir − n n ˜ ˜ ˜ + On the other hand, Gn = Gn , where Gn En is given by Gn = αnfn + βnϕn I 2 2∈ 1 with αn, βn C satisfying αn + βn = 1 and Gn Hdir,C. Hence by ∈ | | | | ∈ Lemma B.1 and Lemma 3.9, for n > ns,p′ , + + ˜ + (Ldir λn )Gn = (L λn )Gn = βn(ηnfn γnϕn) . − − I − I Combining the two identities and using that Π h = 0 and that Π commutes n,q n n,q with (L λ+), one obtains, after projecting onto span(g ), identity (3.18). dir − n n (ii) Taking the inner product of Πn,qGn = νngn with gn one gets

νn = νn gn, gn = Πn,qGn, gn . h iI h iI Let sn(x) = √2 sin(nπx) and denote by Πn = Πn,0 the orthogonal projection onto span s . Recall that P : L2 E is the Riesz projection onto E . In { n} n,q → n n Lemma B.4 we show that

Πn,q Πn L2( ) L∞( ), Pn,q Pn L2 L∞ = o(1), (3.19) k − k I → I k − k → Ls,p locally uniformly in q 0,C and uniformly as n . Thus using ΠnGn = ˜ ∈ 2 2→ ∞ Πn(PnGn) and recalling that Gn L2( ) = gn L2( ) = 1 we obtain I k k I k k I vn = ΠnGn, gn + (Πn,q Πn)Gn, gn = PnG˜n, Πngn + o(1). h iI h − iI h iI Moreover, it follows from (3.19) that uniformly in 0 6 x 6 1

Π g (x)=eiφn s (x) + o(1), n , n n n → ∞ with some real φn. Similarly, again by (3.19), uniformly in 0 6 x 6 2

PnGñ(x) = anen(x) + bne n(x) + o(1), n , − → ∞ where, since G 2 = 1 and G (0) = 0, the coefficients a and b can be k nkL n n n chosen so that a 2 + b 2 = 1, a + b = 0. | n| | n| n n iψn That is PnGñ(x)=e sn(x) + o(1) with some real ψn and hence

iψn iφn iψn iφn PnG˜n, Πngn =e − sn, sn + o(1) = e − + o(1), n . h iI h iI → ∞ From this we conclude ν = 1 + o(1), n . | n| → ∞ Therefore, 1/2 6 ν 6 3/2 for all n > n′′ provided n′′ > n′ is suﬃciently | n| s,p s,p s,p large.

Going through the arguments of the proof one veriﬁes that ns,p′′ can be chosen locally uniformly in q. ✈

February 23, 2015 24 Lemma 3.11 allows to complete the proof of Theorem 3.2.

Proof of Theorem 3.2. Take the inner product of (3.18) with gn and use that ν > 1/2 by Lemma 3.11 to conclude that | n|

1 + + µn λn 6 βn ηn Πn,q(fn ), gn + γn Πn,q(ϕn ) , gn . (3.20) 2| − | | | | |h I iI | ||h I iI | 2 Recall that β 6 1 and note that for any f, g LC( ) | n| ∈ I

Πn,qf, g 6 Πnf, g + (Πn,q Πn)f, g 6 (1 + o(1)) f L2( ) g L2( ). |h iI | |h iI | |h − iI | k k I k k I + Since fn L2( ) = ϕn L2( ) = 1 and gn L2( ) = 1, (3.20) implies that k k I k k I k k I µ λ+ 6 (2 + o(1))( η + γ ) | n − n | | n| | n| yielding with Lemma 3.9 the estimate

+ + µn τn 6 (3 + o(1)) γn + (32 + o(1))( γn + bn(λn ) + b n(λn ) ). | − | | | | | | | | − | s,p By Theorem 3.1 and Lemma 3.8 (ii) it then follows that (τn µn)n>1 ℓC (N). − ∈ Ls,p Going through the arguments of the proof one veriﬁes that the map 0,C s,p → ℓ (N), q (τ µ ) > is locally bounded. ✈ C 7→ n − n n 1

4 Proof of Theorem 1.1

The proof of Theorem 1.1 relies on a formula for the nonlinear part of the KdV Hamiltonian which we derive in Subsection 4.2. The formula is based on the integral

λ ∆• F (λ) = dλ, c 2 λ+ √∆ 4 Z 0 − whose properties are studied in Subsection 4.1. The proof of Theorem 1.1 is then completed in Subsection 4.3. In the sequel we use without further reference the notation introduced in Section 1 and Section 2.

4.1 Properties of F

Let q be in W. It is convenient to deﬁne the standard root

s + ς (λ) = (λn λ)(λn− λ), λ C G , n > 1, n − − ∈ \ n q by the condition

+ 2 2 + ς (λ) = (τ λ) 1 γ /4(τ λ) , τ = (λ− + λ )/2. (4.1) n n − − n n − n n n p Here √+ denotes the principal branch of the square root on the complex plane minus the ray ( , 0]. The standard root is analytic in λ on C G and in (λ, p) −∞ \ n

February 23, 2015 25 on (C U ) W . The canonical root c ∆2(λ) 4, introduced in Section 2, can \ n × q − then be written in terms of standard rootsp as follows ς (λ) c ∆2(λ) 4 := 2i + λ λ+ m (4.2) − − − 0 m2π2 m>1 p q Y W and is analytic in λ on C γ =0 Gn and in (λ, p) on (C n>0 Un) q. \ n6 \ × A path in the complex plane is said to be admissible for q if, except possibly S S at its endpoints, it does not intersect any non collapsed gap Gn(q).

Lemma 4.1 For each q W the following holds: ∈ ∆•(λ) (i) is analytic in (λ, p) on (C Un) Wq and analytic in λ √c ∆2(λ) 4 n>0 − \ × on C γn6=0 Gn. (We recall that γ0 =S .) \ n>0 ∞

S λ+ • > + n ∆ (λ) (ii) For any n 1 and any admissible path from λn− to λn in Un, − c dλ = λn √∆2(λ) 4 − ∆•(λ) 0. As a consequence, for any closed circuit Γn in Un around GRn, dλ = Γn √c ∆2(λ) 4 − 0. R

∆•(λ) 1 (iii) For q = 0, = + . ⋊ √c ∆2(λ) 4 2i √λ − Proof. Standard – see e.g. [19, Lemma 1]. ✈

W Next we deﬁne for any q and λ C γn6=0 Gn the improper integral ∈ ∈ \ n>0 S λ ∆•(z) ∆•(λ) 1 1 λ• λ F (λ) := dz, = m − , + c 2 c 2 λ ∆ (z) 4 ∆ (λ) 4 2i + + ςm(λ) Z 0 λ λ m>1 − − − 0 Y p p q (4.3) computed along an arbitrary admissible path. The improper integral F (λ) exists as in the product representation (4.3) the factor 1/ + λ λ+ is integrable on − 0 C G . Furthermore, by Lemma 4.1 it is independentq of the chosen admissible \ 0 path and hence well deﬁned. Moreover, F (λ) continuously extends to Gn± for + any n > 0, where Gn [Gn−] is the left [right] hand side of Gn.

Lemma 4.2 For any q W the following holds: ∈ (i) F is analytic in (λ, p) on (C U ) W and F (λ) F (λ, q) is \ n>0 n × q ≡ analytic in λ on C γn6=0 Gn. (We recall that γ0 = .) \ n>0 S ∞ + +S (ii) F (λ ) = 0 and F (λ ) = F (λ−) = inπ for any n > 1. 0 n n −

(iii) Locally uniformly on Wq

sup F (λ) + inπ = O(γn/n), n . λ G+ G−| | → ∞ ∈ n ∪ n

February 23, 2015 26 (iv) For q = 0, F (λ) is analytic on C ( , 0] and given by F (λ) = i √+ λ. \ −∞ − Proof. Items (i), (ii), and (iv) are well known. See e.g. [19, Lemma 2] for a proof. λ ∆•(λ) (iii) To obtain the claimed estimate for F (λ) + inπ = − dλ on λn √c ∆2(λ) 4 + W − G G− it suﬃces to consider p q with γn(p) = 0. ParameterizingR G± by n ∪ n ∈ 6 n λ± = τ + (s i0)γ /2, 1 6 s 6 1, one gets for 1 6 t 6 1 s n ± n − − ± λt • t • ∆ λn τn sγn/2 F (λ±) + inπ = dz = − − χn(λs) ds, t c 2 + 2 λ− √∆ 4 ∓ 1 i √1 s Z n − Z− − where • 1 1 λm λ χn(λ) := − (4.4) 2i + + ςm(λ) λ λ 16m=n − 0 Y6 q The map χ is analytic on U W and nχ = O(1) as n locally n n × q n|Gn → ∞ uniformly on Wq – see [11, Lemma 9.7]. Moreover, by [11, Proposition 2.18] one can choose n > 1 locally uniformly on W such that λ• τ 6 γ for 0 q | n − n| | n| n > n0. Altogether this shows

sup F (λ) + inπ = O( γn /n) λ G±| | | | ∈ n locally uniformly on Wq. ✈

Occasionally we write for n > 0 λ ∆• Fn(λ) := F (λ) + inπ = dz (4.5) c 2 λ+ √∆ 4 Z n − ∆• + to denote the primitive of c normalized by the condition F (λ ) = 0. √∆2 4 n n − Lemma 4.3 For any q W and any n > 0, F 2 is analytic on U and hence ∈ n n on C n6=m>0 Gm. \ γm6=0 Proof. SLet q W and n > 0 be arbitrary. It remains to show that F 2 admits ∈ n an analytic extension from U G to all of U . In view of (4.3) we can write n \ n n ∆•(λ) 1 1 λ• λ = χ (λ), χ (λ) = m − , c 0 0 2 + + 2i ςm(λ) ∆ (λ) 4 λ λ m>1 − − 0 Y and forp any k > 1, q ∆•(λ) λ• λ 1 1 λ• λ = k − χ (λ), χ (λ) = m − . c k k 2 ςk(λ) 2i + + ςm(λ) ∆ (λ) 4 λ λ 16m=k − − 0 Y6 p q For any k > 0, χ is analytic on U . Moreover, the root + λ λ+ [ς ] admits k k − 0 k opposite signs on opposite sides of G [G ]. For any givenqλ G denote by 0 k ∈ n λ± the corresponding elements on G±. Thus for all λ G n ∈ n + F (λ ) = F (λ−). n − n

February 23, 2015 27 2 Consequently, Fn is continuous on all of Un. Since it is already analytic on U G , it is analytic on U . ✈ n \ n n

4.2 Asymptotics of F

1 Assume that q is a real valued ﬁnite gap potential with 0 q(x) dx = 0. Then q is real analytic and there exists A N ﬁnite so that γn >R 0 if and only if n A. ⊂+ + 2 2 ∈ Hence there exists n0 > 1 so that λn = λn− and λn π n 6 1 for any n > n0 + 2 2 | − | and λ , λ± 6 n π + 1 for any n 6 n . By Lemma 4.3 it then follows that | 0 | | n | 0 0 F 2(λ) and hence F 4(λ) are analytic functions in the domain λ > n2π2 + 1. In | | 0 particular, F 2(λ) admits a Laurent expansion,

F 2(λ) = a λk , λ > n2π2 + 1. (4.6) k | | 0 k Z X∈ From the product representation (4.3) one sees that F 2(λ) = O(λ) and hence ak = 0 for any k > 2. It is well known that the coefficients ak can be explicitly computed – see e.g. [19] for a self-contained proof. 1 Lemma 4.4 For any real valued finite gap potential q with 0 q(x) dx = 0, kdv 1 1 1 1 R F 4(λ) = λ2 H + O , = q(x)2 dx. ⋊ (4.7) − H0 − 4 λ λ2 H0 2 Z0 As an application of the asymptotics (4.7) of F 4(λ) we derive a formula for the KdV Hamiltonian kdv for finite gap potentials. To this end we introduce H for any q W and n > 1 ∈ 1 (q) = F 3 dλ, F (λ) = F (λ) + inπ. (4.8) Rn ≡ Rn π n n ZΓn

According to Lemma 4.2 (i), Fn(λ) is analytic on C γm6=0 Gm, hence n \ m>0 R vanishes if γ = 0. n S Proposition 4.5 For any real ﬁnite gap potential q,

kdv(q) = 8n3π3I + 8nπ , (4.9) H n Rn n A n A X∈ X∈ where A A = n > 1 : γ = 0 is ﬁnite. ⋊ ≡ q { n 6 } 4 Proof. By Lemma 4.3, F (λ) is analytic on C n A Gn, hence in view of \ ∈ Lemma 4.4 and Cauchy’s integral formula S 1 kdv F 4(λ) dλ = H , (4.10) 2πi − 4 ZCr where Cr denotes a counter clockwise oriented circle around the origin enclosing all open gaps. By contour deformation we thus obtain 1 1 kdv = 4 F 4(λ) dλ = 4 F 4(λ) dλ. (4.11) H − 2πi − 2πi Cr n A Γn Z X∈ Z

February 23, 2015 28 2 Moreover, since Fn is analytic on Un, one concludes that in the expression F 4(λ) = (F (λ) inπ)4, the even powers of F will not contribute to the n − n integral F 4(λ) dλ. As a consequence Γn 1R 1 F 4(λ) dλ = 4(inπ)F 3(λ) + 4(inπ)3F (λ) dλ. 2πi −2πi n n ZΓn ZΓn After integration by parts, formula (2.6) of the action In becomes 1 1 I = F (λ) dλ = F (λ) dλ. n −π −π n ZΓn ZΓn One then concludes with (4.8) that 1 4 F 4(λ) dλ = (8n3π3)I + (8nπ) (4.12) − 2πi n Rn ZΓn yielding in view of (4.11) the claimed formula. ✈

4.3 Nonlinear part of Hkdv

Recall that , n > 1, has been defined in (4.8) as follows Rn 1 = F 3 dλ, F (λ) = F (λ) + inπ. Rn π n n ZΓn When expressed in Birkhoff coordinates, we denote by R . The following Rn n lemma describes the properties of and R used in the sequel. Rn n Lemma 4.6 (i) For any n > 1, is analytic on W and satisfies = Rn Rn O(γ4/n3) locally uniformly on W. Furthermore, if γ = 0, then = 0, n n Rn and for q W real valued, 6 0. In particular, for q = 0, = 0 for ∈ Rn Rn all n > 1.

(ii) For any n > 1, Rn is an analytic function of the actions alone on a neigh- V 1,1 1,1 borhood (independent of n) of the positive cone ℓ−+ (N) in ℓC− (N). If 1,1 In = 0, then Rn = 0, and on ℓ+− (N) we have Rn 6 0. ⋊

Proof. (i) By Lemma 4.2 (i), is analytic on W, and by Lemma 4.2 (iii), Rn F = O(γ /n), n ± n Gn locally uniformly in q, hence = O(γ4/n3) locally uniformly on W. If γ = 0, Rn n n then F (λ) is analytic on Un by Lemma 4.2 (i) hence n = 0. If q is real valued, + R then one has for λn− < λ < λn λ ∆• λ ( 1)n∆• ( 1)n∆(λ) Fn(λ) = dλ = − dλ = arccosh − , c 2 + 2 ± λ+ √∆ 4 ± ± λ+ √∆ 4 ± 2 Gn Z n Gn Z n − − and consequently by shrinking the contour Γ in the deﬁnition of to G n Rn n + 3 2 λn ( 1)n∆(λ) n(q) = arccosh − dλ 6 0. R −π − 2 Zλn

February 23, 2015 29 (ii) Since F and hence is deﬁned in terms of the discriminant, n Rn Rn depends only on the periodic spectrum of q. Therefore, when expressed as a function of the Birkhoﬀ coordinates, it is a function of the actions alone. Arguing as in the proof of [6, Theorem 20.3] it follows that each Rn, n > 1, is an analytic V 1,1 function on a neighborhood (independent of n) of the positive cone ℓ+− (N) 1,1 1,1 in ℓC− (N). Since every sequence (In)n>1 ℓ+− (N) is the sequence of actions 1 ∈ 1,1 for some real valued potential q H− , we conclude that R 6 0 on ℓ− . ✈ ∈ 0 n + Lemma 4.6 can be applied to prove the following result which is the key ingredient in the proof of Theorem 1.1.

Proposition 4.7 (i) The series n>1 8nπ n converges absolutely locally 1/2,4 R uniformly on W L− and hence is analytic. ∩ 0,C P (ii) The series

H∗ := 8nπRn > nX1 is an analytic function of the action variables deﬁned on a complex neigh- 2 2 2 borhood of the positive quadrant ℓ+(N) in ℓC(N). On ℓ+(N) it is non- positive. ⋊

Proof. (i) By Lemma 4.6 (i), every n with n > 1 is analytic on W. As 1/2,4 1 R 1/2,4 ,L− ֒ H− , its restriction to W L− is analytic as well. In addition 0,C → 0,C ∩ 0,C also by Lemma 4.6, 8nπ = O(γ4/n2) locally uniformly on W, and by The- Rn n 1/2 4 W L 1/2,4 orem 3.1, γn = n ℓn locally uniformly on 0−,C . It then follows that 1/2,4 ∩ 8nπ is analytic on W L− – cf. [6, Theorem A.4]. n>1 Rn ∩ 0,C (ii) By Lemma 4.6 (ii), each R , n > 1, is analytic on V. According to (2.13) P n the action variable In is related to the gap length γn as γ2 n = O(I ) n n V 2 V locally uniformly on . Thus, 8nπRn = O(In) locally uniformly on . Clearly, 2 the restriction of each R , n > 1, to V = V ℓC is analytic, too. Therefore, n 2 ∩ n>1 8nπRn converges absolutely and locally uniformly to an analytic function on V , which we denote by H . On ℓ2 (N) the function H is real valued with P 2 ∗ + ∗ values in ( , 0]. ✈ −∞ 1 3 1 From the property that for q W H C, I = n ℓ , Proposition 4.7 leads ∈ ∩ 0, n n to the following

1 Corollary 4.8 On W H C ∩ 0, kdv = 8n3π3I + 8nπ (4.13) H n Rn > > nX1 nX1

February 23, 2015 30 W 1 where both sums converge absolutely locally uniformly on H0,C. In addition, kdv ∩ 3 3 3,1 expressing (4.13) in Birkhoﬀ coordinates gives ωn = ∂In H∗+8n π on ℓ+ (N). ⋊

Proof. Let us first consider the case where the potential is real valued. Recall 1 1 that real valued finite gap potentials are dense in H0 and that for any q H0 and + ∈ n > 1 with λ = λ− one has I = 0 and = 0. The claimed formula (4.13) for n n n Rn q H1 then follows from (4.9) by approximating q by a sequence of finite gap ∈ 0 W 1 potentials. As both sums in (4.13) are real analytic on H0,C, the identity 1 ∩ holds on W H C. ✈ ∩ 0, The proof of Theorem 1.1 now easily follows from Proposition 4.7.

Proof of Theorem 1.1. By Proposition 4.7, H∗ is an analytic function on a com- V 2 2 plex neighborhood ℓC(N) of the positive quadrant ℓ+(N). Its diﬀerential ⊂ 2 ω∗ := dI H∗ is an analytic map with values in ℓC(N),

2 ω∗ : V ℓC(N),I = (I ) > (ω∗ = ∂ H∗) > . → n n 1 7→ n In n 1 kdv 3 3 V In view of Corollary 4.8 and (1.7) one has ωn∗ = ωn 8n π on V0 for kdv 3,1 − ∩ any n > 1. The expansion (1.4) of H : ℓ+ (N) R at I = 0 implies that 2 → 2 H∗ : ℓ (N) R has an expansion at I = 0 of the form 3 I + where + → − n>1 n ··· the dots stand for higher order terms in I. In particular, ω∗(I) = ( 6I + P − n ) > vanishes at I = 0 and its differential at I = 0 is given by ··· n 1 d0ω∗ = 6 Id 2 N . − ℓC( ) It implies that ω∗ defines a local diffeomorphism near I = 0 and that the Hessian 2 ✈ dI H∗ satisfies the estimate (1.8).

5 Proof of Theorem 1.2

In [11] and [13], the restrictions of the Birkhoﬀ map

1 1/2,2 Φ: H0− ℓ0− , q (zn(q))n Z, z0(q) = 0, → 7→ ∈ to the Sobolev spaces Hs, 1 6 s 6 0, are studied. It turns out that the argu- 0 − ments developed in these two papers can also be adapted to prove Theorem 1.2. As a ﬁrst step we prove the following version of [11, Theorem 5.3]. Lemma 5.1 For any 1/2 6 s 6 0 and 2 6 p < − ∞ Ls,p s+1/2,p Φs,p Φ : 0 ℓ0 , q (zn(q))n Z, ≡ Ls,p → 7→ ∈ 0

W Ls,p is real analytic and extends analytically to an open neighborhood s,p of 0 Ls,p in 0,C. Its Jacobian d0Φs,p at q = 0 is the weighted Fourier transform

Ls,p s+1/2,p 1 d0Φs,p : 0 ℓ0 , f f, e2n → 7→ 2π max( n , 1)h iI !n Z | | ∈ p February 23, 2015 31 with inverse given by

1 s+1/2,p Ls,p (d0Φs,p)− : ℓ0 0 , (wn)n Z 2π n wne2n. → ∈ 7→ | | n Z X∈ p In particular, Φs,p is a local diﬀeomorphism at q = 0. ⋊

Ls,p 1 -Proof. Since 0,C ֒ H0−,C, the coordinate functions zn deﬁned in (2.11) are ana → 1 1 lytic functions on the complex neighborhood W H− of H− of Theorem 2.3. ⊂ 0,C 0 Furthermore,

γn(q) + µn(q) τn(q) z n(q) = O | | | − | ± √n locally uniformly on W and uniformly in n > 1. By the asymptotics of the periodic and Dirichlet eigenvalues of Theorems 3.1- 3.2,Φs,p maps the complex neighborhood W := W Ls,p of Ls,p into the space ℓs+1/2,p and is locally s,p ∩ 0,C 0 0,C bounded. Arguing as in the proof of [12, Theorem 8.5] one sees that Φs,p is analytic. The formulas for d0Φs,p and its inverse follow from [12, Theorem 9.7] by continuity. ✈

As a next step we show that Φs,p is a local diﬀeomorphism.

Lemma 5.2 For any q Ls,p with 1/2 6 s 6 0 and 2 6 p < , ∈ 0 − ∞ d Φ : Ls,p ℓs+1/2,p q s,p 0 → 0 is a linear isomorphism.

Proof. We follow the line of arguments used in [11, Proposition 7.1]. By The- 1 1/2,2 1 orem 2.3, dqΦ: H0− ℓ0− is a linear isomorphism for any q H0− . Fur- → Ls,p s+1/2,p ∈ thermore, by Lemma 5.1, d0Φs,p : 0 ℓ0 is a linear isomorphism. → 1 1 1 It is convenient to introduce the maps Ω := (d Φ)− Φ: H− H− and 0 ◦ 0 → 0 1 Ls,p Ls,p Ls,p Ωs,p := (d0Φs,p)− Φs,p : 0 0 . It is to prove that, for any q 0 , ◦ → 1 1 ∈ d Ω is a linear isomorphism. By Theorem 2.2, d Ω: H− H− is a linear q s,p q 0 → 0 isomorphism and as dqΩs,p = dqΩ Ls,p it then follows that dqΩs,p is one-to-one. 0 To show that dqΩs,p is onto, we prove that dqΩs,p is a Fredholm operator of 2 index zero. To this end, denote by ∂qzn the L -gradient of zn : W C. Then ′ 1 s ,p s,p → ∂ z H C and hence ∂ z L| | = (L )′ where p′ is conjugate to p, q n ∈ 0, q n ∈ 0,C ∼ 0,C 1 + 1 = 1. By Lemma 5.1, for any q Ls,p, d Ω has the form p p′ ∈ 0 q s,p Ls,p dqΩs,p(f) = f, dn(q) e2n, f 0 , h iI ∀ ∈ n=0 X6 Ls,p where dn(q) = 2 n π∂qz n. We claim that for any q 0 , T (q) = (dqΩs,p) | | − ∈ − Id is a compact operator on Ls,p. Since q T (q) is analytic and by [12, p 0 7→ 0 Ls,p Theorem B.16] the finite gap potentials are dense in H0 and hence in 0 , it suffices to show that T (q) is compact for any finite gap potential. Recall that

February 23, 2015 32 1 q H0− is a finite gap potential if Aq = n > 1 : γn(q) = 0 is finite. Using ∈ Ls,p { 6 } that for any f 0 , f = n=0 f, e2n e2n, one gets ∈ 6 h iI P T f = f, dn e2n e2n. h − iI n=0 X6 For any N > 1 define the operator T : Ls,p Ls,p given by N 0 → 0

TN f = f, dn e2n e2n. h − iI 0= n 6N 6 X| |

Then TN is a linear operator of ﬁnite rank and thus compact. We now show that T T 0 in the operator norm as N . For any f Ls,p, k − N ks,p → → ∞ ∈ 0 f, dn e2n 6 f s,p dn e2n s ,p′ and hence |h − iI | k k k − k| | 1/p p f, dn e2n (T T )f = |h − iI | k − N ks,p  s p  n >N n | | | X| | | 1/p  p dn e2n s ,p′ 6 f k − k| | . k ks,p s p  n >N n | | | X| | |   p 1/p dn e2n Since by Lemma 5.3 below k − k|s|,p′ 0 as N , it then n >N n |s|p → → ∞ | | | | follows that T TN P0 in the operator norm as N . Hence T (q) is k − ks,p → → ∞ compact for any ﬁnite gap potential which proves the claim. ✈

The following lemma, used to prove Lemma 5.2, extends Lemma 7.3 in [11].

Lemma 5.3 For any real valued finite gap potential q with q0 = 0, p dn(q) e2n s ,p′ k − k| | < s p ∞ n =0 n | | |X|6 | | for any 1/2 6 s 6 0 and any 2 6 p < . − ∞ Proof. The case (s, p) = (0, 2) is contained in [12, Lemma 11.12] so it remains to consider the case (s, p) = (0, 2). We adapt the proof of [11, Lemma 7.3] to 6 the case at hand. Let q be a finite gap potential with q0 = 0 and introduce = n > 1 : γ = 0; λ+ = 0 . Then N is finite and it suffices to show N { n n 6 } \N that p dn e2n s ,p′ k − k| | < s p ∞ n n | | | X|∈N | | where d = d (q). By [12, Theorem 9.7] one has for n , n n ∈ N + dn = 2 n π∂qz n = cn∂qzn , d n = 2 n π∂qzn = cn∂qzn−. | | − − | | p p

February 23, 2015 33 Here cn is a complex number independent of x and

2 2 ∂ z± = h g 2ig h , q n n − n ± n n where gn denotes the real valued eigenfunction of the Dirichlet eigenvalue µn = + 2 1 2 λn of ∂x + q, normalized by 0 gn dx = 1, gn′ (0) > 0, and hn denotes the real − + 2 valued eigenfunction of the periodicR eigenvalue λn = λn− which is L -orthogonal 1 2 to gn and satisfies 0 hn dx = 1 and hn(0) > 0. Following the arguments of 1 3 the proof of Lemma 7.3 in [11] consider the operator Q = ∂ + 2q∂ + q′. R − 2 x x One verifies that the product Y = yiyj of any two solutions of y′′ + qy = λy 1 − is smooth and satisfies QY = 2λ∂xY . Since 0 ∂qzn dx = 0 for any n +∈ N and ∂ z is a linear combination of products of solutions of y′′ + qy = λ y it q n R − n follows that for any n ∈ N 1 1 d n = + D0− Qd n. ± 2λn ± + 1 Recall that λn = 0 for n . Here D0− denotes the inverse of the restriction s,p s 6 1,p ∈ Ns,p 2+s,p D : L L − of ∂ to L . For f L one has for any n 0 0 → 0 x 0 ∈ 0 ∈ N 1 1 1 1 1 d n, f = + D0− Qd n, f = + d n, QD0− f = + d n, f ∗ h ± iI 2λn h ± iI 2λn h ± iI −4λn h ± iI 1 s,p where f ∗ := f ′′ 4qf 2q′D− f L . This yields − − 0 ∈ 0

d n, f ′′ = d n, f ∗ d n, f ∗ f ′′ h ± iI h ± iI − h ± − iI + 1 = 4λn d n, f d n, 4qf 2q′D0− f . − h ± iI − h ± − − iI 2 2 Combining this with e 2n, f ′′ = 4n π e 2n, f one obtains for n h ± iI − h ± iI ∈ N 2 2 + + d n e 2n, f ′′ = 4(n π λn ) e 2n, f 4λn d n e 2n, f h ± − ± iI − h ± iI − h ± − ± iI 1 + e 2n, 4qf + 2q′D0− f h ± iI 1 + d n e 2n, 4qf + 2q′D0− f . h ± − ± iI (5.1) We now estimate the terms on the right hand side of the latter identity sepa- rately. By standard estimates one has for f L2+s,p ֒ H1 ∈ 0 → 0 1 e 2n, f = O f H1 , h ± i nk k 0 I 1 λ+ = n2π2 + O , n n 1 1 e 2n, 4qf + 2q′D0− f = O f H1 . h ± i nk k 0 I 1 1 1 For the latter one we used that qf and q′D0− f are in H0 since H0 is an algebra. Finally, by [12, Lemma 11.12] one has for any n ∈ N log n d n e 2n, f = O f H1 , h ± − ± i n5/2 k k 0 I

February 23, 2015 34 1 1 and, using again that qf and q′D0− f are in H0 ,

1 log n d n e 2n, 4qf + 2q′D0− f = O f H1 . h ± − ± i n5/2 k k 0 I Ls,p 2 2 Note that any element in 0 is of the form f ′′ = n=0 4n π f2ne2n where L2+s,p 6 f = n=0 f2ne2n is in 0 and 6 P 2 2 p p Pp (4π n ) f2n 2p (2 s )p p 2p p s,p 6 6 −| | 6 f ′′ L s|p | (2π) n f2n (2π) f L2−|s| k k 0 h i | | k k 0 ,p n=0 n | | n=0 X6 h i X6 Hence, combining the above estimates we conclude from (5.1) that log n 6 6 d n e 2n s ,p′ sup d n e 2n, f ′′ C 1h/2i k ± − ± k| | f 61|h ± − ± iI | n k k2+s,p and, in turn,

p p dn e2n s ,p′ (log n ) k − k| | 6 C h i < s p ( s +1/2)p ∞ n n | | n n | | | X|∈N | | | X|∈N | | as ( s + 1/2)p > 1 for any 1/2 6 s 6 0 and 2 6 p < with (s, p) = (0, 2). | | − ∞ 6 ✈

In a third step, following arguments used in [13], we prove that Φs,p is onto.

Lemma 5.4 For any 1/2 6 s 6 0 and 2 6 p < , Φ : Ls,p ℓs+1/2,p is − ∞ s,p 0 → 0 onto.

(0) (0) s+1/2,p Proof. Fix 1/2 6 s 6 0, 2 6 p < , and z = (zn )n=0 ℓ0 . Since 6 1 − 1/2,2 ∞ (0) 1 ∈ (0) (0) Φ: H− ℓ− is onto, there exits q H− such that z = Φ(q ). 0 → 0 ∈ 0 Assume that

(0) 1 s,p q H− L . (5.2) ∈ 0 \ 0

We show that (5.2) leads to a contradiction. As Φs,p(0) = 0 and by Lemma 5.2 the diﬀerential of Φs,p at 0 is a linear isomorphism, by the inverse function theo- Ls,p rem, there exists an open neighborhood U of 0 in 0 and an open neighborhood s+1/2,p V of 0 in ℓ0 so that Φ : U V s,p U → is a diﬀeomorphism. Without loss of generality we can assume that V is a ball of radius 2ε, centered at 0,

V = B (0) ℓs+1/2,p. (5.3) 2ε ⊂ 0 To obtain the desired contradiction we construct a ﬁnite sequence q(1), . . . , q(N) (N) (k) (k 1) 0 with the property that q U and q q − H for any 1 6 k 6 N. To ∈ − ∈ 0 this end consider the action angle variables (Ik, θk), k > 1, constructed in [11].

February 23, 2015 35 1 2 For any k > 1, Ik is defined on H0− and satisfies Ik = zk whereas the angle 1 | | variable θ is defined on H− Z with values in R/2πZ and is real analytic k 0 \ k when considered mod π. Here Zk denotes the set Zk = q W : γk(q) = 0 , 2 { ∈ 1 } introduced in (2.7). The L -gradient ∂qθk is a real analytic map from H0− Zk 1 \ with values in H0 whereas the corresponding Hamiltonian vector field, 1 0 Y = ∂ ∂ θ : H− Z H k x q k 0 \ k → 0 0 is a real analytic map with values in H0 . It defines a dynamical systemq ˙ = Yk(q) 1 on H− Z . We now use the flows of these vector fields to construct the 0 \ k sequence q(1), . . . , q(N) recursively as follows. The potential q(0) is given by (n 1) (5.2). For any n > 1 assume that q − has already been constructed. If 2s+1 (n 1) 2 2n/p (n) (n 1) 2s+1 (n 1) n In(q − ) < ε /2 , then set q q − . If n In(q − ) > h2 i 2n/p (n 1) 1 ≡ h i ε /2 , then q − H0− Zn and hence the vector field Yn is well defined ∈(n 1) \ (n) in a neighborhood of q − . The element q is then chosen to be an element (n 1) on the solution curve of the vector field Yn passing through q − so that n 2s+1I (q(n)) < ε2/22n/p. The existence of such a potential q(n) follows from h i n Lemma 5.5 (i) below. Moreover, by the commutator relations (cf. section 2)

Y (I ) = I , θ = δ , n k { k n} nk the vector ﬁeld Y preserves the value of the action variable I with k = n. In n k 6 particular, we have 1 k 2s+1I (q(n)) < ε2 , 1 6 k 6 n, h i k 22k/p and

(n) (0) Ik(q ) = Ik(q ), k > n. One then obtains p/2 Φ(q(n)) p = k (s+1/2)p z (q(n)) p = 2 k 2s+1I (q(n)) k ks+1/2,p h i | k | h i k k=0 k>1 X6 X 1 p/2 6 2εp + 2 k 2s+1I (q(0)) . 2k h i k 6 6 1 Xk n k>nX Since Φ(q(0)) ℓs+1/2,p, one has ( k 2k+1I (q(0)))p/2 < . Choose N > 1 ∈ 0 k>1 h i k ∞ so that P p/2 k 2s+1I (q(0)) < εp. h i k k>NX > (N) p p 6 p As a consequence, since p 2, Φ(q ) s+1/2,p < 4ε (2ε) . Since Φ U : U k k(N) → V = B2ε(0) is a diﬀeomorphism and Φ(q ) V it then follows that ∈ q(N) U Ls,p. (5.4) ∈ ⊂ 0 (0) 1 Ls,p On the other hand, it follows from the assumption (5.2) that q H0− 0 (N) 1 s,p ∈ \ and from Lemma 5.5 (ii) that q H− L contradicting (5.4). ✈ ∈ 0 \ 0

February 23, 2015 36 In the proof of Lemma 5.4 we have used [13, Lemma 1]. We state it for the convenience of the reader.

1 Lemma 5.5 For any q H0− Zk with k > 1 the initial value problem q˙ = ∈ \ 1 1 Y (q), q(0) = q has a unique solution t q(t) in C (( I (q ), ),H− ). The k 0 7→ − k 0 ∞ 0 solution has the following additional properties

(i) lim Ik(q(t)) = 0, t I (q0) ց− k (ii) q(t) q H0 for any I (q ) < t < . ⋊ − 0 ∈ 0 − k 0 ∞ Proof of Theorem 1.2. The claimed results follow from Lemma 5.1, Lemma 5.2, and Lemma 5.4. ✈

A ﬁrst application of Theorem 1.2 is in inverse spectral theory.

1 Corollary 5.6 Let q be in H0− and 1/2 6 s 6 0, 2 6 p < . If its sequence s,p − s,p ∞ of gap lengths (γ (q)) > is in ℓ (N), then q L . ⋊ n n 1 ∈ 0

Proof. Let z = (zn)n Z = Φ(q). By Theorem 2.3 there exists n0 > 1 depending ∈ 2 2 on q such that for any n > n0, γn/2 6 8nπIn(q) 6 2γn, where In(q) denotes the nth action variable of q. Since I = z 2 it then follows that n | n| s+1/2,p s,p (zn)n Z ℓ0 (γn)n>1 ℓ (N). ∈ ∈ ⇔ ∈ The claim then follows from Theorem 1.2 saying that

s+1/2,p Ls,p ✈ (zn)n Z ℓ0 q 0 . ∈ ∈ ⇔ ∈ A second application of Theorem 1.2 concerns the isospectral sets deﬁned as 1 follows: For any q H− let ∈ 0 1 Iso(q) := q˜ H− : spec(L(˜q)) = spec(L(q)) . { ∈ 0 } 1/2,2 For z ℓ− let ∈ 0 1/2,2 2 2 = w ℓ− : w = z k Z . Tz { ∈ 0 | k| | k| ∀ ∈ } Note that for any z ℓs+1/2,p, ℓs+1/2,p. ∈ 0 Tz ⊂ 0 Corollary 5.7 For any q Ls,p with 1/2 6 s 6 0 and 2 6 p < , Iso(q) ∈ 0 − ∞ ⊂ Ls,p and Φ(Iso(q)) = . In particular, Iso(q) is a compact subset of Ls,p. 0 TΦ(q) 0 1 Proof. By [11, Theorem 1.2] one has Φ(Iso(q)) = Φ(q) for any q H0− . By def- Ls,p T s+1/2,p ∈ inition, for any q 0 , Φ(q) is a compact subset of ℓ0 . As a consequence, 1 ∈ s,pT s,p Iso(q) = Φ− ( ) L and Iso(q) is compact in L . ✈ TΦ(q) ⊂ 0 0

February 23, 2015 37 A Auxiliary estimates

In this appendix we collect auxiliary estimates needed in Section 3.

Lemma A.1 For any 1/2 < σ < there exists a constant C > 0 so that for ∞ σ > 1 2σ 1 log n any n 1, m =n m2 n2 σ is bounded by Cσ/n − if 1/2 < σ < 1, Cσ nh i | |6 | − | if σ = 1, and C /nσ if σ > 1. ⋊ P σ Proof. Note that for n > 1,

n 1 1 1 − 1 ∞ 1 = + 2 + 2 . m2 n2 σ n2σ (n2 m2)σ (m2 n2)σ m =n m=1 m=n+1 | X|6 | − | X − X − As n2 (n k)2 > 1 ((n + k)2 n2) for any 0 6 k 6 n it follows that − − 3 − 1 ∞ 1 6 5 3σ . m2 n2 σ · (m2 n2)σ m =n m=n+1 | X|6 | − | X − Furthermore,

2n ∞ 1 1 1 1 ∞ 1 6 + + (m2 n2)σ nσ nσ (m n)σ (m n)2σ m=n+1 m=n+2 m=2n+1 X − X − X − 2n 1 1 1 ∞ 1 6 + dx + dx. nσ nσ (x n)σ (x n)2σ Zn+1 − Z2n − One computes,

∞ 1 1 1 dx = . (x n)2σ 2σ 1 n2σ 1 Z2n − − − whereas for σ > 1/2 with σ = 1 6 2n 1 1 1 dx 6 + 1 (x n)σ σ 1 nσ 1 Zn+1 − | − | − 2n 1 ✈ and n+1 x n dx = log n. Combining these estimates yields the stated ones. − R The next result concerns estimates for the convolution of sequences.

t,2 Lemma A.2 (i) Let 1 6 t < 1/2. For a = (am)m Z ℓC and b = 1,2 − − ∈ ∈ (bm)m Z ℓC , the convolution a b = ( m Z an mbm)n Z is well deﬁned ∈ ∈ ∗ ∈ − ∈ and P

a b 6 C a b . k ∗ kt,2 tk kt,2k k1,2 (ii) Let 1/2 6 s 6 0, 2 6 p < , and s 3/2 < t < 0. For any − s,p ∞ t+2−,p − a = (am)m Z ℓC and b = (bm)m Z ℓC , ∈ ∈ ∈ ∈ a b 6 C a b . ⋊ k ∗ ks,p s,tk ks,pk kt+2,p

February 23, 2015 38 Proof. (i) First note that for any a ℓt,2, b ℓ1,2 ∈ C ∈ C 2 1 2 2 an m bm 6 2 I + 2 II, 2 t | − || | n Z n | | m Z ! X∈ h i X∈ where 2 1 I = 1 n m 62 m an m bm 2 t {| − | | |}| − || | n Z n | | m Z ! X∈ h i X∈ and 2 1 II = 1 n m >2 m an m bm . 2 t {| − | | |}| − || | n Z n | | m Z ! X∈ h i X∈ t To estimate I, use that ( n m | |/ m )1 n m 62 m 6 2 to conclude by the h − i h i {| − | | |} Cauchy-Schwarz inequality that 4 I 6 a 2 b 2 . 2 t k kt,2k k1,2 n Z n | | X∈ h i Towards II, note that for n m > 2 m , n > n m m > m , and hence | − | | | | | | − | − | | | | n m 6 n + m 6 2 n yielding the estimate | − | | | | | | | t n m | | 6 h − t i 1 n m >2 m 2. n | | {| − | | |} h i Hence by the Cauchy-Schwarz inequality 2 4 an m 4 2 2 II 6 | − | m b 6 a b . 2 t h i| m| 2 k kt,2k k1,2 n Z m Z m ! m Z n m | | ! m Z m X∈ X∈ h i X∈ h − i X∈ h i This proves item (i). Towards (ii), write

s p p n m | | an m s a b 6 h − i | − | m | | b . k ∗ ks,p s s s h i | m| n Z m Z n | | m | | n m | | ! X∈ X∈ h i h i h − i Use that n m 6 n m and Young’s inequality to conclude h − i h ih i

s a b 6 m | | b a . k ∗ ks,p h i | m| k ks,p m Z ! X∈ By the Cauchy-Schwarz inequality we get 1/2 1/2 s 2(2 t ) 2 1 m | | b 6 m −| | b . h i | m| h i | m| (2 t s )2 m Z m ! m m −| |−| | ! X∈ X X h i Since 3/2 s < t 6 0, it follows that 2 t s > 1/2 and therefore − − − | | − | | 1/2 1 C := < s,t (2 t s )2 ∞ m Z m −| |−| | ! X∈ h i implying the claimed result. ✈

February 23, 2015 39 Finally, we prove the following result on embeddings of sequence spaces.

s,p t,2 Lemma A.3 Suppose 1/2 6 s 6 0 and 2 6 p < , then ℓC ֒ ℓC for any − s,p 1+1/2p,2 ∞ → ⋉ .t ~~1/2 1/p > 0. Let (am)m Z ℓC . By Hölder’s inequality | | − | | − ∈ ∈ with p/2, p′′/2 where 1/p + 1/p′′ = 1/2~~

2/p 2/p′′ a 2 a 2 1 a p 1 n 6 n 6 n | 2| t | 2|s 2( t s ) | s| p ( t s )p′′ . n Z n | | n Z n | | n | |−| | n Z n | | ! n Z n | |−| | ! X∈ h i X∈ h i h i X∈ h i X∈ h i 1 Since ( t s )p′′ > (1/2 1/p)(1/2 1/p)− = 1, one has a 6 C a | | − | | − − k kt,2 k ks,p with C = C < . ✈ t,s,p ∞

~~B Schrödinger Operators~~

In this appendix we review deﬁnitions and properties of Schrödinger operators 2 ∂x + q with a singular potential q used in Section 3 – see e.g. [10]. − 1 1 Boundary conditions. Denote by HC[0, 1] = H ([0, 1], C) the Sobolev space of functions f : [0, 1] C which together with their distributional derivative ∂xf 2 →1 are in LC[0, 1]. On HC[0, 1] we deﬁne the following three boundary conditions (bc),

~~(per+) f(1) = f(0); (per ) f(1) = f(0); (dir) f(1) = f(0) = 0. − − 1 The corresponding subspaces of HC[0, 1] are deﬁned by~~

1 1 H = f HC[0, 1] : f satisfies (bc) , bc { ∈ } 1 1 1 and their duals are denoted by Hbc− := (Hbc)′. Note that Hper+ can be canonically identified with the Sobolev space H1(R/Z, C) of 1-periodic functions 2 f : R C which together with their distributional derivative are in Lloc(R, C). → 1 1 Analogously, Hper can be identified with the subspace of H (R/2Z, C) consist- − ing of functions f : R C with f, ∂ f L2 (R, C) satisfying f(x + 1) = f(x) → x ∈ loc − for all x R. In the sequel we will not distinguish these pairs of spaces. Fur- ∈ 1 1 1 thermore, note that Hdir is a subspace of Hper+ as well as of Hper . Denote by 2 1 − , bc the extension of the L -inner product f, g = 0 fg dx to a sesquilinear h· ·i 1 1 h iI pairing of Hbc− and Hbc. Finally, we record that the multiplicationR H1 H1 H1 , (f, g) fg, (B.1) bc × bc → per+ 7→ and the complex conjugation H1 H1 , f f are bounded operators. bc → bc 7→

February 23, 2015 40 1 Multiplication operators. For q Hper+− deﬁne the operator Vbc of multipli- 1 1 ∈ 1 cation by q, Vbc : Hbc Hbc− as follows: for any f Hbc, Vbcf is the element 1 → ∈ in Hbc− given by

~~V f, g := q, fg , g H1 . h bc ibc h iper+ ∈ bc~~

~~In view of (B.1), Vbc is a well deﬁned bounded linear operator.~~

~~1 1 Lemma B.1 Assume that q H− . Then for any g H ∈ per+ ∈ dir~~

~~(Vper g) 1 = Vdirg. ⋊ ± Hdir~~

~~Proof. Since any h H1 is also in H1 , the deﬁnitions of V and V ∈ dir per+ per+ dir imply~~

~~V g, h = q, gh = V g, h , h per+ iper+ h iper+ h dir idir ✈ which gives (Vper+g) 1 = Vdirg. Similarly, one sees that Vper g 1 = Vdirg. Hdir − Hdir~~

~~1 1 It is convenient to introduce also the space Hper+ Hper and deﬁne the ⊕ − multiplication operator V of multiplication by q~~

1 1 1 1 V : Hper+ Hper Hper+− Hper− , (f, g) (Vper+f, Vper g). ⊕ − → ⊕ − 7→ − 1 1 1 We note that Hper+ Hper can be canonically identiﬁed with H (R/2Z, C), ⊕ − 1 1 1 + H (R/2Z, C) Hper+ Hper , f (f , f −), → ⊕ − 7→ + 1 1 where f (x) = 2 (f(x) + f(x + 1)) and f −(x) = 2 (f(x) f(x + 1)). Its dual is 1 − denoted by H− (R/2Z, C). 1 1 1 Fourier basis. The spaces Hper , H (R/2Z, C) and Hdir and their duals ± admit the following standard Fourier basis. 1 1 1 1 Basis for H , H− . Any element f H [H− ] can be represented per+ per+ ∈ per+ per+ 1,2 1,2 as f = m Z fmem where (fm)m Z ℓC [ℓC− ] and ∈ ∈ ∈ f P = f, e , f = 0, m Z. 2m h 2miper+ 2m+1 ∀ ∈ 1 Furthermore, for any q = m Z qmem Hper+− , ∈ ∈ P 1 Vper+f = qn mfm en Hper+− . − ∈ n Z m Z ! X∈ X∈ 1,2 Note that by Lemma A.2,( Z qn mfm)n Z is in ℓC− . m − ∈ 1 1 ∈ 1 1 Basis for Hper , Hper− . Any element f Hper [Hper− ] can be represented − − P ∈ − − 1,2 1,2 as f = m Z fmem where (fm)m Z ℓC [ℓC− ] and ∈ ∈ ∈ P f2m+1 = f, e2m+1 per , f2m = 0, m Z. h i − ∀ ∈

February 23, 2015 41 1 Similarly, for any q = m Z qmem Hper+− , ∈ ∈ P 1 Vper f = qn mfm en Hper− . − − ∈ − n Z m Z ! X∈ X∈ 1 1 1 1 Basis for H (R/2Z, C), H− (R/2Z, C). Any element f H (R/2Z, C)[H− (R/2Z, C)] ∈ can be represented as f = m Z fmem where fm = f, em . Here , denotes ∈ h i h· ·i the normalized L2-inner product on [0, 2] extended to a sesquilinear pairing P between H1(R/2Z, R) and its dual. In particular, for f H1(R/2Z, C), and ∈ m Z, ∈ 2 1 i2mπx f, e = f(x)e− dx. h mi 2 Z0 1 1 (For any q = m Z qmem Hper+− ֒ H (R/2Z, C ∈ ∈ → P 1 V f = qn mfm en H− (R/2Z, C). − ∈ n Z m Z ! X∈ X∈ 1 1 1 Basis for H , H− : Any element f H can be represented as dir dir ∈ dir sin f(x) = f, √2sm √2sm(x) = fm sm(x), sm(x) = sin(mπx), h iI m>1 m Z X X∈ sin 1 1 where f = f(x)s (x) dx. For any element g H− one gets by duality m 0 m ∈ dir g = Rgsins , gsin = g, s . m m m h midir m Z X∈ sin sin 2 sin 2 One veriﬁes that g m = gm for all m Z and m Z m − gm < . For 1 − − ∈ ∈ h i | | ∞ any q H− with q < and 1 < t < 1/2, we need to expand for a 0,C t,2 P ∈ 1 k k 1∞ − − sin given f Hdir, Vdirf Hdir− in its sine series m Z(Vdirf)m sm where by the ∈ ∈ ∈ deﬁnition of V dir P (V f)sin = V f, s = q, fs = f sin q, s s . dir m h dir midir h miper+ n h n miper+ n Z X∈ sin sin Using that f n = fn for any n Z and that − − ∈ 1 s (x)s (x) = (cos((m n)πx) cos((m + n)πx)) m n 2 − − it follows that

f sin q, s s = f sin q, cos((m n)πx) . n h n miper+ n h − iper+ m n even m n even −X −X Note that q, cos((m n)πx) is well deﬁned as cos((m n)πx) H1 if h − iper+ − ∈ per+ m n is even. If m n is odd, we decompose the diﬀerence of the cosines in 1− − Hper+ as follows

~~cos((m n)πx) cos((m + n)πx) − − = (cos((m n)πx) cos(πx)) (cos((m + n)πx) cos(πx)) − − − −~~

February 23, 2015 42 sin sin and then obtain, using again that f n = fn for all n Z, − − ∈ f sin q, s s = f sin q, cos((m n)πx) cos(πx) . n h n miper+ n h − − iper+ m n odd m n odd −X −X Altogether we have shown that

~~cos sin Vdirf = qm nfn sm, − m Z n Z ! X∈ X∈ where~~

cos q, cos(kπx) per+, if k Z even, qk = h i ∈ (B.2)  q, cos(kπx) cos(πx) , if k Z odd. h − iper+ ∈ Taking into account that q < with 1 < t < 1/2, one argues as in [10, k kt,2 ∞ − − Proposition 3.4], using duality and interpolation, that

1/2 m 2t qcos 2 6 C q . (B.3) h i | m | tk kt,2 m Z ! X∈ 1 Schrödinger operators with singular potentials. For any q H0−,C denote by 2 1 ∈ L(q) the unbounded operator ∂x + V acting on H− (R/2Z, C) with domain 1 1 − 1 1 H (R/2Z, C). As H (R/2Z, C) = Hper+ Hper and V = Vper+ Vper the − 1 ⊕ − ⊕ operator L(q) leaves the spaces Hper invariant and L(q) = Lper+(q) Lper (q) − 2 ± ⊕ with Lper (q) = ∂x + Vper . Hence the spectrum spec(L(q)) of L(q), also ± − ± referred to as spectrum of q, is the union spec(Lper+(q)) spec(Lper (q)) of the ∪ − spectra spec(Lper (q)) of Lper (q). It is known to be discrete and to consist ± ± of complex eigenvalues which, when counted with multiplicities and ordered lexicographically, satisfy

+ + 2 2 2 λ 4 λ− 4 λ 4 , λ± = n π + nℓ , 0 1 1 ··· n n 1 – see e.g. [14]. For any q H− there exists N > 1 so that ∈ 0,C λ n2π2 6 n/2, n > N, λ+ 6 (N 1)2π2 + N/2, n < N, | − | | n | − where N can be chosen locally uniformly in q. Since for q = 0 and n > 0, + + + ∆(λ2n(0), 0) = 2 and ∆(λ2n+1(0), 0) = 2, all λ2n(0) are 1-periodic and all + − λ2n+1(0) are 1-antiperiodic eigenvalues of q = 0. By considering the compact 1 interval [0, q] = tq : 0 6 t 6 1 H− it then follows after increasing N, if { } ⊂ 0,C necessary, that for any n > N

~~+ λn (q), λn−(q) spec(Lper+(q)), [spec(Lper (q))] if n even [odd]. (B.4) ∈ − 1 For any q H0−,C and n > N the following Riesz projectors are thus well ∈1 deﬁned on H− (R/2Z, C)~~

~~1 1 Pn,q := (λ L(q))− dλ. 2πi λ n2π2 =n − Z| − |~~

February 23, 2015 43 1 1 For n > N even [odd], the range of Pn,q is contained in Hper+ [Hper ]. If q = 0, − we write Pn for Pn,0. 1 2 Similarly, for any q H0−,C denote by Ldir(q) the unbounded operator ∂x + 1 ∈ 1 − Vdir acting on Hdir− with domain Hdir. Its spectrum spec(Ldir(q)) is known to be discrete and to consist of complex eigenvalues which, when counted with multiplicities and ordered lexicographically, satisfy

~~µ 4 µ 4 , µ = n2π2 + nℓ2 , 1 2 ··· n n – see e.g. [14]. By increasing N as chosen above, if necessary, we can thus assume that~~

~~µ n2π2 < n/2, n > N, µ 6 (N 1)2π2 + N/2, n 6 N. | n − | | n| −~~

~~In particular, for any n > N, µn is simple and the corresponding Riesz projector~~

1 1 Πn,q := (λ Ldir(q))− dλ 2πi λ n2π2 =n − Z| − | 1 is well deﬁned on Hdir− . If q = 0, we write Πn for Πn,0. Regularity of solutions. In Section 3 we consider solutions f of the equation (L(q) λ)f = g in Ls,p and need to know their regularity. − ⋆,C Lemma B.2 For any q Ls,p with 1/2 6 s 6 0 and 2 6 p < the following ∈ 0,C − ∞ holds: For any g Ls,p and any λ C, a solution f H1(R/2Z, C) of the ∈ ⋆,C ∈ ∈ inhomogeneous equation (L(q) λ)f = g is an element in Ls+2,p. ⋊ − ⋆,C Proof. Write (L λ)f = g as A f = V f g where A = ∂2 +λ. Since q Ls,p , − λ − λ x ∈ 0,C Lemma A.3 implies that q and g are in Lr,2 with r = s 1/2 + 1/2p. By ⋆,C − Lemma A.2 (i), V f Lr,2 and hence A f = V f g Lr,2 implying that ∈ ⋆,C λ − ∈ ⋆,C f Lr+2,2. Since s 3/2 6 1 < r 6 0, Lemma A.2 (ii) applies. Therefore, ∈ ⋆,C − − − V f Ls,p and using the equation A f = V f g once more one gets f Ls+2,p ∈ ⋆,C λ − ∈ ⋆,C as claimed. ✈

~~For any q Ls,p with 1/2 6 s 6 0, 2 6 p < , and n > n as in ∈ 0,C − ∞ s,p Lemma 3.7, introduce~~

+ + Null(L(q) λn ) Null(L(q) λn−), λn = λn−, En En(q) := − ⊕ − 6  + 2 + ≡ Null(L(q) λ ) , λ = λ−.  − n n n 1 1 Then En is a two-dimensional subspace of Hper+ [Hper ] if n is even [odd]. The − following result shows that elements in En are more regular.

~~Lemma B.3 For any q Ls,p with 1/2 6 s 6 0, 2 6 p < and for any ∈ 0,C − ∞ Ls+2,p 1 Ls+2,p 1 n > ns,p En(q) ⋆,C Hper+ [ ⋆,C Hper ] if n is even [odd]. ⋊ ⊂ ∩ ∩ −~~

February 23, 2015 44 Proof. By Lemma B.2 with g = 0, any eigenfunction f of an eigenvalue λ of L(q) s+2,p + + is in L . Hence if λ = λ− or if λ = λ− and has geometric multiplicity ⋆,C n 6 n n n Ls+2,p + two, then En ⋆,C . Finally, if λn = λn− is a double eigenvalue of geometric ⊂ + multiplicity 1 and g is an eigenfunction corresponding to λn , there exists an element f H1(R/2Z, C) so that (L λ+)f = g. As g is an eigenfunction ∈ − n it is in Ls+2,p and by applying Lemma B.2 once more, it follows that f ⋆,C ∈ Ls+2,p. Clearly, E = span(g, f) and hence E Ls+2,p also in this case. ⋆,C n n ⊂ ⋆,C By the consideration above one knows that λn± are 1-periodic [1-antiperiodic] Ls+2,p 1 Ls+2,p 1 eigenvalues of q if n is even [odd]. Hence En ⋆,C Hper+ [ ⋆,C Hper ] ⊂ ∩ ∩ − if n is even [odd] as claimed. ✈

Estimates for projectors. The projectors Pn,q [Πn,q] with n > N are deﬁned 1 1 1 1 on H− (R/2Z, C)[Hdir− ] and have range in H (R/2Z, C)[Hdir]. The following 2 2 result concerns estimates for the restriction of Pn,q [Πn,q] to L = L ([0, 2], C) [L2( ) = L2([0, 1], C)] needed in Section 3 for getting the asymptotics of µ τ . I n − n 1 Lemma B.4 Assume that q H− with q < and 1 < t < 1/2. ∈ 0,C k kt,2 ∞ − − Then there exist constants Ct > 0 (only depending on t) and N ′ > N (with N as above) so that (log n)2 6 (i) Pn,q Pn L2 L∞ Ct 1 t q t,2 k − k → n −| | k k (log n)2 6 (ii) Πn,q Πn L2( ) L∞( ) Ct 1 t q t,2 k − k I → I n −| | k k The constant N ′ can be chosen locally uniformly in q. ⋊

Remark B.5. We will apply Lemma B.4 for potentials q Ls,p with 1/2 6 ∈ 0,C − s 6 0 and 2 6 p < using the fact that by the Sobolev embedding theorem ∞ . there exists 1 < t < 1/2 so that Ls,p ֒ Lt,2 − − 0,C → 0,C Proof. The proof follows the line of arguments of [10]. Let us ﬁrst prove (i). Suppose λ m2π2 > m for a given m > 0. Then we may write with L L(q) | − | h i ≡ λ L = D1/2(I S )D1/2, − λ λ − λ λ 2 where the operators Dλ, Iλ and Sλ are deﬁned with respect to the L -orthonormal 2 basis (em)m Z of L ([0, 2], C) by (l, m Z) ∈ ∈ λ l2π2 D1/2(l, m) = λ l2π2 1/2δ ,I (l, m) = − δ , λ | − | lm λ λ l2π2 lm | − | ql m Sλ(l, m) = − . λ l2π2 1/2 λ m2π2 1/2 | − | | − | 2 2 Then there exists N ′ with N ′ > N so that any λ C with λ n π = ∈ | − 1/2 | n and n > N ′ is in the resolvent set of L. Hence Iλ Sλ = Dλ− (λ 1/2 − − L)D− : L2([0, 2], C) L2([0, 2], C) is a boundedly invertible operator and λ → 1 1/2 1 1 1/2 Pn,q Pn = Dλ− (Iλ Sλ)− SλIλ− Dλ− dλ. − 2πi λ n2π2 =n − Z| − |

~~February 23, 2015 45 2 2 2 For any f L ([0, 2], C) and λ C with λ n π = n, n > N ′, one gets by ∈ ∈ | − | Cauchy-Schwarz and Lemma A.1,~~

~~1/2 1/2 fm 2 1 D− f ∞ 6 | | 6 + f 2 k λ kL 2 2 1/2 n n2 m2  k kL m Z λ m π m =n X∈ | − | | X|6 | − | (log n)1/2  6 4 f 2 . n1/2 k kL Similarly, one has~~

2 1/2 1/2 fm 1 D− f 2 6 | | 6 f 2 , k λ kL λ m2π2 n1/2 k kL m Z ! X∈ | − | and by [10, Lemma 1.2] using that q < with 1 < t < 1/2, λ n2π2 = k kt,2 ∞ − − | − | n and n > N ′, log n 6 Sλ L2 L2 C 1 t q t,2. (B.5) k k → n −| | k k

By increasing N ′, if necessary, it follows that Sλ L2 L2 6 1/2 and hence k k → 1/2 Pn,q Pn L2 L∞ 6 Ct sup (log n) Sλ L2 L2 , n > N ′. k − k → λ n2π2 =n k k → ∀ | − | Combined with (B.5), this yields the estimate of (i). (ii) The estimate for the Dirichlet projectors are proved in a similar way: Suppose that λ m2π2 > m for a given m > 0. Then with L L (q) | − | h i dir ≡ dir λ L = D˜ 1/2(I˜ S˜ )D˜ 1/2 − dir λ λ − λ λ where the operators D˜ λ, I˜λ, S˜λ are deﬁned in terms of their coeﬃcients with respect to the sine basis s , n > 1. For any l, m Z, n ∈ λ l2π2 D˜ 1/2(l, m) = λ l2π2 1/2δ , I˜ (l, m) = − δ , λ | − | lm λ λ l2π2 lm cos | − | ql m S˜λ(l, m) = − , λ l2π2 1/2 λ m2π2 1/2 | − | | − | cos with ql m given by (B.2). By increasing N ′, if necessary, we can assure that − 2 2 any λ C with λ n π = n and n > N ′ is in the resolvent set of L . Hence ∈ | − | dir 1/2 1/2 2 2 (I˜ S˜ ) = D˜ − (λ L )D˜ − : L ([0, 1], C) L ([0, 1], C) λ − λ λ − dir λ → is a boundedly invertible operator and

1 ˜ 1/2 ˜ ˜ 1 ˜ ˜ 1 ˜ 1/2 Πn,q Πn = Dλ− (Iλ Sλ)− SλIλ− Dλ− dλ. − 2πi λ n2π2 =n − Z| − | Using the same arguments as in the proof of (i) together with (B.3), the estimate (ii) then follows.

~~Going through the arguments of the proofs of (i) and (ii) one sees that N ′ can be chosen locally uniformly in q and Ct independently of q. ✈~~

~~February 23, 2015 46 References~~

~~[1] Dispersive Wiki. http://wiki.math.toronto.edu/DispersiveWiki/~~

~~[2] Bikbaev, R.F., Kuksin, S.B.: On the parametrization of ﬁnite-gap solutions by frequency and wavenumber vectors and a theorem of I. Krichever. Lett. Math. Phys. 28(2), 115–122, 1993.~~

~~[3] Bobenko, A.I., Kuksin, S.B.: Finite-gap periodic solutions of the KdV equation are nondegenerate. Phys. Lett. A 161(3), 274–276, 1991.~~

~~[4] Djakov, P., Mityagin, B.: Instability zones of periodic 1-dimensional Schrödinger and Dirac operators. Russian Math. Surveys 61, 663–766, 2006.~~

~~[5] Djakov, P., Mityagin, B.: Spectral gaps of Schrödinger operators with periodic singular potentials. Dyn. Partial Diﬀer. Equ. 6(2), 95–165, 2009.~~

~~[6] Grébert, B., Kappeler, T.: The defocusing NLS equation and its normal form. European Mathematical Society (EMS), Zürich, 2014.~~

~~[7] Henrici, A., Kappeler, T.: Nekhoroshev theorem for the periodic Toda lattice. Chaos 19(3), 033,120–033,113, 2009.~~

~~[8] Huang, G., Kuksin, S.B.: The KdV equation under periodic boundary conditions and its perturbations. Nonlinearity 27(9), R61–R88, 2014.~~

~~[9] Kappeler, T., Mityagin, B.: Estimates for periodic and Dirichlet eigenvalues of the Schrödinger operator. SIAM J. Math. Anal. 33(1), 113–152, 2001.~~

~~[10] Kappeler, T., Möhr, C.: Estimates for periodic and Dirichlet eigenvalues of the Schrödinger operator with singular potentials. J. Funct. Anal. 186(1), 62–91, 2001.~~

~~[11] Kappeler, T., Möhr, C., Topalov, P.: Birkhoﬀ coordinates for KdV on phase spaces of distributions. Selecta Math. (N.S.) 11(1), 37–98, 2005.~~

~~[12] Kappeler, T., Pöschel, J.: KdV & KAM. Springer, Berlin, 2003.~~

~~[13] Kappeler, T., Serier, F., Topalov, P.: On the symplectic phase space of KdV. Proc. Amer. Math. Soc. 136(5), 1691–1698, 2008.~~

~~[14] Kappeler, T., Topalov, P.: Riccati representation for elements in H−1(T) and its applications. Pliska Stud. Math. Bulgar. 15, 171–188, 2003.~~

~~[15] Kappeler, T., Topalov, P.: Global wellposedness of KdV in H−1(T, R). Duke Math. J. 135(2), 327–360, 2006.~~

~~[16] Korotyaev, E.: Characterization of the spectrum of Schrödinger operators with periodic distributions. Int. Math. Res. Not. 2003(37), 2019–2031, 2003.~~

~~[17] Korotyaev, E., Kuksin, S.B.: KdV Hamiltonian as function of actions. arXiv , 2011.~~

~~February 23, 2015 47 [18] Krichever, I.M.: Perturbation Theory in Periodic Problems for Two-Dimensional Integrable Systems. Sov. Sci. Rev. C. Math. Phys. 9, 1–103, 1992.~~

~~[19] Molnar, J.C.: On Two-Sided Estimates for the Nonlinear Fourier Transform of KdV. arXiv:1502.04550 , 2015.~~

~~[20] Pöschel, J.: Hill’s potentials in weighted Sobolev spaces and their spectral gaps. Math. Ann. 349(2), 433–458, 2011.~~

~~[21] Savchuk, A.M., Shkalikov, A.A.: Sturm-Liouville operators with distribution potentials. Tr. Mosk. Math. Obs. 64, 159–212, 2003.~~

~~February 23, 2015 48~~