On the Absolutely Continuous Spectrum of Generalized Indefinite Strings

We investigate absolutely continuous spectrum of generalized indefinite strings. By following an approach of Deift and Killip, we establish stability of the absolutely continuous spectra of two model examples of generalized indefinite strings under rather wide perturbations. In particular, one of these results allows us to prove that the absolutely continuous spectrum of the isospectral problem associated with the conservative Camassa–Holm flow in the dispersive regime is essentially supported on the interval \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$[1/4,\infty )$$\end{document}[1/4,∞).


Introduction
It is well known that the study of spectral types of self-adjoint operators in Hilbert spaces is crucial for understanding the corresponding quantum dynamics.For this reason, even a huge amount of effort has been put in understanding only one of the most basic models -one-body Schrödinger operators with (in a certain sense) decaying potentials.The standard framework to investigate such Schrödinger operators is perturbation theory, where one considers a given operator as an additive (or maybe singular, that is, in the sense of resolvents) perturbation of another operator (for example, the free Hamiltonian) whose spectral properties are rather well understood.According to the Aronszajn-Donoghue theory, the absolutely continuous spectrum of a self-adjoint operator is the most stable part and theorems by Rosenblum-Kato and Birman-Krein provide stability of the absolutely continuous spectrum under trace class perturbations.It turns out that these results are sharp since by the Weyl-von Neumann-Kuroda theorem, absolutely continuous spectrum may be turned into pure point spectrum by a perturbation of any Schatten class weaker than trace class.
On the other hand, by restricting to particular classes of perturbations (for Schrödinger operators, the considered perturbations are usually multiplication operators) one can hope for better results.For example, in their seminal work [14], Deift and Killip proved that the absolutely continuous spectrum of a one-dimensional Schrödinger operator acting in L 2 (R) coincides with [0, ∞) as long as V is a real-valued potential in L 2 (R) (see also [31,32,36,39] for further results and references).A similar statement for multi-dimensional operators is known as Simon's conjecture [42,Conjecture 20.2] and still open, although this area has seen significant progress in the 1990s and 2000s.We are not attempting to give an overview of this topic (which would be a rather difficult task) but only point to the review articles [15] and [40,41,42], where further references can be found.
Our aim here is to investigate spectral types, or more precisely, the absolutely continuous part of the spectrum of generalized indefinite strings, introduced recently in [20].We recall briefly (see Section 2 for further details) that a generalized indefinite string is a triple (L, ω, υ) such that L ∈ (0, ∞], ω is a real-valued distribution in H −1 loc [0, L) and υ is a non-negative Borel measure on [0, L).Associated with such a triple is the ordinary differential equation of the form on [0, L), where z is a complex spectral parameter.Spectral problems of this type are of interest for at least two reasons.Firstly, they constitute a canonical model for operators with simple spectrum; see [20,22].Secondly, they are of relevance in connection with certain completely integrable nonlinear wave equations (most prominently, the Camassa-Holm equation [9]), for which these kinds of spectral problems arise as isospectral problems.
Results on spectral types, even for the special case of a Krein string that is, when ω is a non-negative Borel measure and υ vanishes identically, are rather scarce (however, let us mention the recent paper by Bessonov and Denisov [5]).The main reason for this lies in the fact that the spectral parameter appears in the wrong place, which does not allow to view (1.3) as an additive perturbation immediately.One of the standard approaches here is to transform the differential equation (1.3) into Schrödinger form by means of a Liouville transformation and then apply the well-developed spectral theory for one-dimensional Schrödinger operators.However, this immediately requires strictly positive and sufficiently smooth weights ω, assumptions which are too restrictive for our applications.In this context, let us also mention that spectral theory of indefinite strings, that is, when the coefficient ω in (1.3) is a real-valued Borel measure, is significantly more intricate when compared to the case of Krein strings (see [26,33] for example).
Our approach to the absolutely continuous spectrum of generalized indefinite strings follows the elegant ideas of Deift and Killip [14].In order to implement their approach, we need two main ingredients.The first ingredient is a continuity property for the correspondence between generalized indefinite strings and their associated Weyl-Titchmarsh functions (see Section 2 for more details) obtained in [20,Proposition 6.2].The second ingredient is a so-called dispersion relation or trace formula, which provides a relation between the spectral/scattering data and the coefficients in the differential equation, and hence allows to control the spectral measure by means of the coefficients.For Schrödinger operators (1.1), such relations have been discovered by Faddeev and Zakharov [25] (see also [7]) in connection with the Korteweg-de Vries equation, where they give rise to conserved quantities.Generalized indefinite strings on the other side are of the same importance for the conservative Camassa-Holm flow [10,13,17,18,19,30] as the one-dimensional Schrödinger operator (1.1) for the Korteweg-de Vries equation.In particular, dispersion relations for (1.2) are of special interest in this connection because they give rise to conserved quantities of the flow.Under the rather restrictive assumptions that υ vanishes identically and ω is a sufficiently smooth and positive function, such relations have been established before (see, for example, [12]).Removing the positivity assumption however immediately creates an (in general) infinite number of negative eigenvalues for (1.2) and drastically complicates the situation.For this reason, the derivation of corresponding dispersion relations for generalized indefinite strings will require more efforts (see Lemma 5.2 and Lemma 6.1).
Our main result in regards to the conservative Camassa-Holm flow can be deduced readily from Theorem 7.3 by standard arguments: Theorem 1.1.Let u be a real-valued function on R such that u − 1 belongs to H 1 (R) and let υ be a non-negative finite Borel measure on R. Then the essential spectrum of the spectral problem coincides with the interval [1/4, ∞) and the absolutely continuous spectrum is of multiplicity two and essentially supported on [1/4, ∞).
In the special case when ω − 1 is a measure with strong enough decay and υ vanishes identically, this result has been established before by Bennewitz, Brown and Weikard [3,4].Under these additional assumptions the essential spectrum is in fact purely absolutely continuous, which will not continue to hold for our set of coefficients.Theorem 1.1 is relevant because it covers the entire natural phase space for the conservative Camassa-Holm flow in the dispersive regime (see [8,27,29]), which comprises the Camassa-Holm equation [11] as well as the two-component Camassa-Holm system [10,13,30].Note here that the additional coefficient υ is related to the energy measure µ from [8,27,29] in a simply way, essentially via for every Borel set B ⊆ R. The function ρ that appears in the formulation of the two-component Camassa-Holm system is simply the square root of the Radon-Nikodym derivative of the absolutely continuous part of the measure υ.
In conclusion, let us sketch the content of the article.Section 2 is of preliminary character and collects necessary notions and facts from the spectral theory of generalized indefinite strings.Section 3 contains the statements of our main results (Theorem 3.1 and Theorem 3.2) about the absolutely continuous spectrum for certain classes of generalized indefinite strings, which are rather strong perturbations of explicitly solvable models (Example A and Example B).Although we will not present the necessary details here, these perturbations can indeed be interpreted in a certain way as additive perturbations, which are only of Hilbert-Schmidt class in general however.Our main theorems seem to be new even for the special case of Krein strings and will be proved in Sections 5 and 6 respectively, after deriving some useful auxiliary facts in Section 4.Even though we will generally follow the simple method by Deift and Killip from [14], the necessary ingredients are not as readily available for our spectral problem and need to be established first.In Section 7, we will then show how corresponding results for the spectral problem (1.4) can be derived readily from Theorem 3.2.The final section provides another application of our results to one-dimensional Hamiltonians with δ ′ -interactions.

Generalized indefinite strings
We will first introduce several spaces of functions and distributions.For every fixed L ∈ (0, ∞], we denote with H 1 loc [0, L), H 1 [0, L) and H 1 c [0, L) the usual Sobolev spaces.To be precise, this means One notes that the mapping q → χ, defined by in this way will be referred to as the normalized anti-derivative of χ.We say that a distribution in H −1 loc [0, L) is real-valued if its normalized anti-derivative is realvalued almost everywhere on [0, L).
A particular kind of distribution in H −1 loc [0, L) arises from Borel measures on the interval [0, L).In fact, if χ is a complex-valued Borel measure on [0, L), then we will identify it with the distribution in The normalized anti-derivative q of such a χ is simply given by the left-continuous distribution function for almost all x ∈ [0, L), as an integration by parts (use, for example, [6, Exercise 5.8.112], [28,Theorem 21.67]) shows.
In order to obtain a self-adjoint realization of the differential equation (1.2) in a suitable Hilbert space later, we also introduce the function space as well as the linear subspace which turns into a Hilbert space when endowed with the scalar product Here and henceforth, we will use a star to denote complex conjugation.The space Ḣ1 0 [0, L) can be viewed as a completion with respect to the norm induced by (2.9) of the space of all smooth functions which have compact support in (0, L).In particular, the space Ḣ1 0 [0, L) coincides algebraically and topologically with the usual Sobolev space H 1 0 [0, L) when L is finite.
A generalized indefinite string is a triple (L, ω, υ) such that L ∈ (0, ∞], ω is a real-valued distribution in H −1 loc [0, L) and υ is a non-negative Borel measure on the interval [0, L).Associated with such a generalized indefinite string is the inhomogeneous differential equation where χ is a distribution in H −1 loc [0, L) and z is a complex spectral parameter.Of course, this differential equation has to be understood in a weak sense: A solution of (2.10) is a function for some constant ∆ f ∈ C. In this case, the constant ∆ f is uniquely determined and will always be denoted with f ′ (0−) for apparent reasons.With this notion of solution, common basic existence and uniqueness results for the inhomogeneous differential equation (2.10) are available; see [20,Section 3].
The differential equation (2.10) gives rise to a self-adjoint linear relation in a suitable Hilbert space.In order to introduce this object, we consider the space which turns into a Hilbert space when endowed with the scalar product The respective components of some vector f ∈ H are hereby always denoted by adding subscripts, that is, with f 1 and f 2 .Now the linear relation T in the Hilbert space H is defined by saying that some pair (f, g) ∈ H × H belongs to T if and only if the two equations hold.In order to be precise, the right-hand side of the first equation in (2.14) has to be understood as the H −1 loc [0, L) distribution given by Moreover, the second equation in (2.14) holds if and only if f 2 is equal to g 1 almost everywhere on [0, L) with respect to the measure υ.The linear relation T turns out to be self-adjoint in the Hilbert space H; see [20,Theorem 4.1].
A central object in the spectral theory for the linear relation T is the associated Weyl-Titchmarsh function m.This function can be defined on C\R by where ψ(z, • ) is the unique (up to a constant multiples) non-trivial solution of the homogeneous differential equation which lies in Ḣ1 [0, L) and L 2 ([0, L); υ), guaranteed to exist by [20,Lemma 4.2].It has been shown in [20,Lemma 5.1] that the Weyl-Titchmarsh function m is a Herglotz-Nevanlinna function, that is, it is analytic, maps the upper complex half-plane C + into the closure of the upper complex half-plane and satisfies the symmetry relation For this reason, the Weyl-Titchmarsh function m admits an integral representation, which takes the form for some constants c 1 , c 2 ∈ R with c 1 ≥ 0 and a non-negative Borel measure µ on R with µ({0}) = 0 for which the integral is finite.Here we employ the convention that whenever an L appears in a denominator, the corresponding fraction has to be interpreted as zero if L is infinite.
The measure µ turns out to be a spectral measure for the linear relation T in the sense that the operator part of T is unitarily equivalent to multiplication with the independent variable in L 2 (R; µ); see [20,Theorem 5.8].Of course, this establishes an immediate connection between the spectral properties of the linear relation T and the measure µ.For example, the spectrum of T coincides with the topological support of µ and thus can be read off the singularities of m (more precisely, the function m admits an analytic continuation away from the spectrum of T).
For the sake of simplicity, we shall always mean the spectrum of the corresponding linear relation when we speak of the spectrum of a generalized indefinite string in the following.The same convention applies to the various spectral types.

Absolutely continuous spectrum
In general, any kind of (simple) spectrum can arise from a generalized indefinite string; see [20,Theorem 6.1].Here, we are interested in the absolutely continuous spectrum of a particular class of generalized indefinite strings, which are suitable perturbations of the following explicitly solvable case.
Example A. Let S 0 be the generalized indefinite string (L 0 , ω 0 , υ 0 ) such that L 0 is infinite, the distribution ω 0 is given via its normalized anti-derivative w 0 by and the measure υ 0 vanishes identically.We note that under these assumptions, the corresponding differential equation (2.17) simply reduces to is a solution of this differential equation which lies in Ḣ1 [0, ∞).Consequently, the corresponding Weyl-Titchmarsh function m 0 is given explicitly by This guarantees that the spectrum of S 0 is purely absolutely continuous and coincides with the interval [0, ∞).
In particular, the essential spectrum of S 0 coincides with the interval [0, ∞) and the absolutely continuous spectrum of S 0 is essentially supported on [0, ∞).The latter means that every subset of [0, ∞) with positive Lebesgue measure has positive measure with respect to the corresponding spectral measure µ 0 .It turns out that these two properties continue to hold under a rather wide class of perturbations.
Theorem 3.1.Let S be a generalized indefinite string (L, ω, υ) such that L is infinite and for a real constant c and a positive constant η, where w is the normalized antiderivative of ω.Then the essential spectrum of S coincides with the interval [0, ∞) and the absolutely continuous spectrum of S is essentially supported on [0, ∞).
A proof for this result will be given in Section 5.In view of the applications we have in mind (see Section 7), we are furthermore interested in perturbations of another explicitly solvable case involving a positive parameter α.
Example B. Let S α be the generalized indefinite string (L α , ω α , υ α ) such that L α is infinite, the distribution ω α is given via its normalized anti-derivative w α by and the measure υ α vanishes identically.We note that under these assumptions, the corresponding differential equation (2.17) simply reduces to is a solution of this differential equation which lies in Ḣ1 [0, ∞).Consequently, the corresponding Weyl-Titchmarsh function m α is given explicitly by This guarantees that the spectrum of S α is purely absolutely continuous and coincides with the interval [α, ∞).
In particular, the essential spectrum of S α coincides with the interval [α, ∞) and the absolutely continuous spectrum of S α is essentially supported on [α, ∞).These two properties are again preserved under a rather wide class of perturbations.Theorem 3.2.Let S be a generalized indefinite string (L, ω, υ) such that L is infinite and for a real constant c and positive constants α and η, where w is the normalized anti-derivative of ω.Then the essential spectrum of S coincides with the interval [α/η, ∞) and the absolutely continuous spectrum of S is essentially supported on [α/η, ∞).
Although the proof of this result is quite similar to the one for Theorem 3.1 in principle, it will be carried out separately in Section 6 due to differences in details.
Remark 3.3.When the constant η in the assumptions of Theorem 3.1 and Theorem 3.2 is negative, then the resulting spectral picture is simply reflected across the imaginary axis.In this case, the essential spectrum of S coincides with the interval (−∞, 0] and (−∞, α/η], respectively, and the absolutely continuous spectrum of S is essentially supported on (−∞, 0] and (−∞, α/η], respectively.
As a conclusion to this section, let us mention that although we restricted to generalized indefinite strings on infinite intervals here, one can also consider perturbations of similar explicitly solvable cases on finite intervals.
Although one could also compute the second derivative of φ( • , x) at zero, we omitted to include it because the expression is somewhat lengthy and will not be needed in what follows.In fact, to this end one just needs to note that and plug in the expressions from Proposition 4.1 upon evaluating at zero.

Proof of Theorem 3.1
To begin with, let us consider a particular class of generalized indefinite strings.We assume that (L, ω, υ) is a generalized indefinite string such that L is infinite, there is an R > 0 such that the normalized anti-derivative w of ω satisfies for almost all x in [R, ∞) and the measure υ vanishes on [R, ∞).In addition, let us also suppose that w is equal to a piecewise constant function almost everywhere on the interval [0, R] and that the support of the measure υ is a finite set.The set of generalized indefinite strings with these properties will be denoted by F 0 .Under our assumptions, for every k in the upper complex half-plane C + , there is a Jost solution f (k, • ) of the differential equation (2.17 We note that since the function f (k, • ) clearly lies in Ḣ1 [0, ∞) and L 2 ([0, ∞); υ), the corresponding Weyl-Titchmarsh function m is given by as long as k 2 ∈ C\R.Furthermore, we define the function a on C + via which can be viewed as the reciprocal transmission coefficient when the differential equation is suitably extended to the full line.
Lemma 5.1.The function a has a unique continuation (denoted with a as well for simplicity) to an entire function.
Proof.If θ, φ denotes the fundamental system of solutions of the differential equation (2.17) as in Section 4, then we may write Upon evaluating this function and its derivative at the point R, we get Plugging this into the definition of a shows that (5.7) In view of the second equality in (4.6), this identity guarantees that the function a has a unique continuation to an entire function.
Even more, the right-hand side of (5.7) is actually a polynomial in k due to our assumptions on the supports of ω and υ on [0, R].This entails that the function a has only a finite number of zeros, none of which lie on the real axis.In fact, in order to verify this, we first define the function b on Similarly as before, we see that b can be continued to an entire function because of the identity θ [1] (k 2 , R) (5.9) Now it is a straightforward computation to verify that for real k, we have as well as which guarantees that a has no zeros on the real axis.Furthermore, all zeros in the upper complex half-plane C + necessarily have to lie on the imaginary axis.In fact, if k was a zero in C + that does not lie on the imaginary axis, then k 2 ∈ C\R and This would allow us to compute the imaginary part which is a contradiction to the fact that m is a Herglotz-Nevanlinna function.As this proves that all zeros in C + indeed lie on the imaginary axis, we may enumerate them, repeated according to multiplicity (it can be shown that they are simple but we do not need this here), by iκ 1 , . . ., iκ N for some positive constants κ 1 , . . ., κ N .With this notation, let us state the following result.Lemma 5.2.We have the identity Proof.From the representation (5.7) for a, together with the formulas in Proposition 4.1 for the fundamental system θ, φ, we see that and after a cumbersome but straightforward computation furthermore that In particular, this yields the Taylor expansion Since the function a is of bounded type in the upper complex half-plane, it admits a Nevanlinna factorization [37,Theorem 6.13] of the form for some real constant β ∈ R (in fact, it is not difficult to show that β = −R) and a complex constant C ∈ C with modulus one.Upon differentiating this, we obtain for all k ∈ C + close enough to zero (so that a(k) is non-zero).After differentiating two more times, we get , again, as long as k ∈ C + is close enough to zero.Now we obtain identity (5.14) upon letting k tend to zero, employing (5.15) and noting that the limit of the integral on the right-hand side exists because of the asymptotics (5.16).
Note that both terms on the left-hand side of the identity (5.14) are non-negative in view of (5.11).In particular, this observation will allow us to obtain an estimate on the negative eigenvalues of the corresponding self-adjoint realization.To this end, we first point out that there are only finitely many such eigenvalues.More precisely, we see from (5.5) and (5.6) that the right-hand side of (5.3) is a rational function.This implies that the Weyl-Titchmarsh function m has a continuation to a meromorphic function on C\[0, ∞) with only finitely many poles.As a consequence, the negative spectrum of (L, ω, υ) consists only of finitely many eigenvalues.Upon enumerating these eigenvalues by λ 1 , . . ., λ K with increasing modulus, we obtain the following Lieb-Thirring-type bound.
Corollary 5.3.We have the estimate (5.17) Proof.We may assume that there are negative eigenvalues.Since the function m is a Herglotz-Nevanlinna function, we see from (5.3) that the function is real-valued, continuous and strictly decreasing for positive κ away from the poles √ −λ 1 , . . ., √ −λ K .Because of this, we can find a positive κ < √ −λ 1 such that Since this means that iκ is a zero of a, there is an index n(1) ∈ {1, . . ., N } such that κ = κ n(1) and thus κ n(1) < √ −λ 1 .If K > 1 and λ i−1 , λ i are two consecutive eigenvalues for some i ∈ {2, . . ., K}, then we can find a positive κ between −λ i−1 and √ −λ i such that (5.18) holds true.As before, we see that iκ is a zero of a so that there is an index n(i) ∈ {1, . . ., N } such that κ = κ n(i) and thus also κ n(i) < √ −λ i .In conclusion, this shows that which yields the claim upon invoking Lemma 5.2.
The next ingredient for our proof will be an estimate on the absolutely continuous spectrum of (L, ω, υ).To this end, we first note that we have for all k ∈ C + with k 2 ∈ C\R.Since the functions a and b are entire and satisfy the properties (5.10) and (5.11) on the real line, one can conclude that the spectrum of (L, ω, υ) on the interval [0, ∞) is purely absolutely continuous with the corresponding spectral measure µ given by µ(B) = B ̺(λ)dλ (5.20) for every Borel set B ⊆ [0, ∞), where ̺ is defined by We note that the function ̺ is continuous and positive on (0, ∞).
Proof.For every positive k, we first compute that and on the other side that In combination, this gives the bound 1 as long as λ ∈ Ω, which allows us to estimate the integral Upon employing a substitution, we can further bound this by which yields the claim in view of Lemma 5.2.
With these auxiliary facts, we are now in position to prove our first theorem.
Proof of Theorem 3.1.Let us assume for now that S is a generalized indefinite string (L, ω, υ) such that L is infinite and where w is the normalized anti-derivative of ω.We are first going to construct a suitable approximating sequence of generalized indefinite strings (L n , ω n , υ n ) from the set F 0 .For every n ∈ N, let L n be infinite and choose We can then find a real-valued function and satisfies w n (x) = x for all x > R n .The distribution ω n is now defined in such a way that the corresponding normalized anti-derivative coincides with w n almost everywhere.Apart from this, we are able to find a non-negative Borel measure υ n which is supported on a finite set contained in [0, R n ) with for almost every x ∈ [0, ∞).Note that by construction, we then have as n → ∞.Furthermore, it follows readily from [20, Proposition 6.2] that the corresponding Weyl-Titchmarsh functions m n converge locally uniformly to m.Thus the associated spectral measures µ n certainly satisfy for every continuous function g on R with compact support.
In order to prove that the essential spectrum of S is restricted to [0, ∞), let I be a compact interval in (−∞, 0).Because of the estimate in Corollary 5.3 and the convergence in (5.23), we see that there is an integer K I such that (L n , ω n , υ n ) has at most K I eigenvalues in the interval I for every n ∈ N. It now follows from the convergence of the measures µ n in (5.24) that the limit measure µ is supported on a finite set on I, which implies that S has at most finitely many eigenvalues in I. Since the interval I was arbitrary, we conclude that the essential spectrum of S is necessarily contained in [0, ∞).Now take a compact set Ω ⊂ (0, ∞) of positive Lebesgue measure.Due to the convergence of the measures µ n in (5.24) we have (see [2,Theorem 30.2]) where the functions ̺ n are given as in (5.21).An application of Jensen's inequality [38,Theorem 3.3] then furthermore yields where C Ω , D Ω are positive constants defined as in Corollary 5.4 and by In view of the estimate in Corollary 5.4 and the convergence in (5.23), we can conclude that µ(Ω) is indeed positive with dυ .
Since all Borel measures on R are regular, this readily implies that µ(Ω) is positive for every Borel set Ω ⊆ [0, ∞) of positive Lebesgue measure.With this fact, we have finally verified that the essential spectrum of S coincides with the interval [0, ∞) and the absolutely continuous spectrum of S is essentially supported on [0, ∞).
In order to finish the proof of Theorem 3.1, let us suppose that S is a generalized indefinite string (L, ω, υ) such that L is infinite and (3.5) holds for a real constant c and a positive constant η.We consider the generalized indefinite string (L, ω, υ), where ω is defined via its normalized anti-derivative w by w = w − c η (5.25) and υ = η −2 υ.Since (L, ω, υ) satisfies the assumptions imposed before, we infer that the essential spectrum of (L, ω, υ) coincides with the interval [0, ∞) and its absolutely continuous spectrum is essentially supported on [0, ∞).However, since the corresponding Weyl-Titchmarsh functions m and m are related via the same is true for S.

Proof of Theorem 3.2
In order to prepare for the proof of our second main result, let us fix a positive constant α.We assume that (L, ω, υ) is a generalized indefinite string such that L is infinite, there is an R > 0 such that the normalized anti-derivative w of ω satisfies for almost all x in [R, ∞) and the measure υ vanishes on [R, ∞).In addition, let us also suppose that w is equal to a piecewise constant function almost everywhere on the interval [0, R] and that the support of the measure υ is a finite set.For easy reference later on, we will denote the set of generalized indefinite strings defined in this way by F α .Under our assumptions, for every k ∈ C + , there is a Jost solution f (k, • ) of the differential equation (2.17) We note that since the function f (k, • ) clearly lies in Ḣ1 [0, ∞) and L 2 ([0, ∞); υ), the corresponding Weyl-Titchmarsh function m is given by as long as k 2 + α ∈ C\R.Furthermore, we define the function a on C + via If we denote with θ, φ the fundamental system of solutions of the differential equation (2.17) as in Section 4, then we readily compute that which yields, upon plugging these expressions into the definition of a, that 2ik for all k ∈ C + .Due to our assumptions on the supports of ω and υ on [0, R], the right-hand side of this equation turns out to be a polynomial in k.This guarantees that the function a admits an analytic continuation (denoted with a as well for simplicity) to all of C except for zero, where a has at most a simple pole.It furthermore entails that a has only finitely many zeros, none of which lie on the real axis.In order to prove this, we introduce the function b on One infers from the expressions in (6.5) and (6.6) that b also admits an analytic continuation to all of C except for zero.Now after a straightforward computation, we see that for all non-zero real k, we have as well as which guarantees that a has no zeros on the real axis.Moreover, all zeros in C + necessarily have to lie on the imaginary axis.In fact, if k was a zero in C + that does not lie on the imaginary axis, then k 2 + α ∈ C\R and ). (6.11)This would allow us to compute the imaginary part which is a contradiction to the fact that m is a Herglotz-Nevanlinna function.As this proves that all zeros in C + indeed lie on the imaginary axis, we may enumerate them, repeated according to multiplicity, by iκ 1 , . . ., iκ N for some positive constants κ 1 , . . ., κ N .The next result collects two trace formulas which are going to play a key role in the proof of Theorem 3.2.
Lemma 6.1.We have the identities and Proof.It follows readily from (6.7) and (4.6) that By differentiating both sides in (6.7), evaluating at i √ α and using the expressions from Proposition 4.1, we also see that where the function w α is simply given by as in Example B. After similar but longer computations, we furthermore get Since the function a is of bounded type in the upper complex half-plane, it admits a Nevanlinna factorization [37,Theorem 6.13] of the form for all k ∈ C + , where β and γ are real constants and C is a complex constant with modulus one.However, as zero is at most a simple pole of a, we infer that the constant γ has to be equal to zero.After differentiating (6.15), we obtain Upon differentiating one more time, we also get 3 log |a(t)|dt, (6.17) again, as long as k ∈ C + is close enough to i √ α.Now we evaluate both sides of (6.15) at i √ α and take absolute values to obtain This gives the following expression for β in terms of the scattering data: By evaluating equality (6.16 Taking imaginary parts and using the expression for β yields In a similar manner, the real part of the right-hand side of (6.17) evaluated at i √ α becomes where we also made use of equality (6.13).After equating these two expressions, we readily end up with (6.14).
We note that the integral term on the left-hand side of the identity (6.14) is nonnegative in view of (6.10).In particular, this observation will allow us to obtain a Lieb-Thirring-type estimate on the eigenvalues of the corresponding self-adjoint realization below α.To this end, we first point out that there are only finitely many such eigenvalues.More precisely, we see from (6.5) and (6.6) that the righthand side of (6.3) is a rational function.This implies that the Weyl-Titchmarsh function m has a continuation to a meromorphic function on C\[α, ∞) with only finitely many poles, none of which is located at zero.Hence, we may enumerate all eigenvalues below α in the following way: Corollary 6.2.We have the estimate Proof.Since the function m is a Herglotz-Nevanlinna function, we see from (6.3) that the function is real-valued, continuous and strictly decreasing for positive κ away from the poles As iκ is a zero of the function a for each such κ, we conclude that for some indices n + (K + ), . . ., n + (1), n − (1), . . ., n − (K − ) ∈ {1, . . ., N }.

Now let us consider the function F defined by
and first notice that It is also straightforward to see that F is strictly increasing on (0, 1) and strictly decreasing on (1, ∞) since we may compute Moreover, the function F satisfies the bound By combining all these facts, we can estimate for all i ∈ {1, . . ., K ± }.This allows us to bound the left-hand side of (6.19) by It is readily seen that this sum coincides with the first two terms in (6.14), which yields the claim as the integral term on the left-hand side there is non-negative.
We are now going to use the identity (6.14) to estimate the absolutely continuous spectrum of (L, ω, υ).To this end, we first note that we have for all k ∈ C + with k 2 + α ∈ C\R.Since the functions a and b are analytic on all of C except for zero and satisfy the properties (6.9) and (6.10) on the real line, one can conclude that the spectrum of (L, ω, υ) on the interval (α, ∞) is purely absolutely continuous with the corresponding spectral measure µ given by µ(B) = B ̺(λ)dλ, (6.22) for every Borel set B ⊆ (α, ∞), where ̺ is defined by We note that the function ̺ is continuous and positive on (α, ∞).Corollary 6.3.For every compact subset Ω of (α, ∞), we have the estimate Proof.For every positive k, we first compute that and on the other side that In combination, this gives the bound as long as λ ∈ Ω, which allows us to estimate the integral Upon employing a substitution, we can further bound this by 2 π Now it remains to notice that the sum of the first two terms in (6.14) is non-negative since the function F defined in (6.20) takes positive values.
We are now ready to prove our second main result.
Proof of Theorem 3.2.Let us assume for now that S is a generalized indefinite string (L, ω, υ) such that L is infinite and where w is the normalized anti-derivative of ω.We are first going to construct a suitable approximating sequence of generalized indefinite strings (L n , ω n , υ n ) from the set F α .For every n ∈ N, let L n be infinite and choose R n > n such that We can then find a real-valued function w n on [0, ∞) which is piecewise constant on the interval [0, R n ] with and which is given explicitly by for all x > R n .The distribution ω n is now defined in such a way that the corresponding normalized anti-derivative coincides with w n almost everywhere.Apart from this, we are able to find a non-negative Borel measure υ n which is supported on a finite set contained in [0, R n ) with x dυ(x) and such that for almost every x ∈ [0, ∞) we have Note that by construction, there is a positive constant M such that for all n ∈ N. Furthermore, it follows readily from [20, Proposition 6.2] that the corresponding Weyl-Titchmarsh functions m n converge locally uniformly to m.Thus the associated spectral measures µ n certainly satisfy n → ∞, (6.26) for every continuous function g on R with compact support.
In order to prove that the essential spectrum of S is restricted to [α, ∞), let I be a compact interval in (−∞, α).Because of the estimate in Corollary 6.2 and the bound in (6.25), we see that there is an integer K I such that (L n , ω n , υ n ) has at most K I eigenvalues in the interval I for every n ∈ N. It now follows from the convergence of the measures µ n in (6.26) that the limit measure µ is supported on a finite set on I, which implies that S has at most finitely many eigenvalues in I. Since the interval I was arbitrary, we conclude that the essential spectrum of S is necessarily contained in [α, ∞).Now take a compact set Ω ⊂ (α, ∞) of positive Lebesgue measure.Due to the convergence of the measures µ n in (6.26) we have (see [2,Theorem 30.2]) where the functions ̺ n are given as in (6.23).An application of Jensen's inequality [38,Theorem 3.3] then furthermore yields where D Ω is a positive constant defined by In view of the estimate in Corollary 6.3 and the bound in (6.25), we conclude that Since all Borel measures on R are regular, this readily implies that µ(Ω) is positive for every Borel set Ω ⊆ [α, ∞) of positive Lebesgue measure.Thus, we have finally verified that the essential spectrum of S coincides with the interval [α, ∞) and the absolutely continuous spectrum of S is essentially supported on [α, ∞).
In order to finish the proof of Theorem 3.2, let us suppose that S is a generalized indefinite string (L, ω, υ) such that L is infinite and (3.10) holds for a real constant c and a positive constant η.We consider the generalized indefinite string (L, ω, υ), where ω is defined via its normalized anti-derivative w by (5.25) and υ = η −2 υ.Since (L, ω, υ) satisfies the assumptions imposed before, we infer that the essential spectrum of (L, ω, υ) coincides with the interval [α, ∞) and its absolutely continuous spectrum is essentially supported on [α, ∞).However, since the corresponding Weyl-Titchmarsh functions m and m are related via (5.26), we see that the essential spectrum of S coincides with the interval [α/η, ∞) and its absolutely continuous spectrum is essentially supported on [α/η, ∞).

The conservative Camassa-Holm flow
In this section, we are going to demonstrate how our results apply to the isospectral problem of the conservative Camassa-Holm flow.To this end, let u be a realvalued function in H 1 loc [0, ∞) and υ be a non-negative Borel measure on [0, ∞).We define the distribution ω in so that ω = u − u ′′ in a distributional sense.Now the isospectral problem of the conservative Camassa-Holm flow is associated with the differential equation where z is a spectral parameter.Just like for generalized indefinite strings, this differential equation has to be understood in a weak sense in general: A solution of ( 7 For such a solution g, the constant ∆ g is uniquely determined and will be denoted with g ′ (0−).
We are first going to show that it is always possible to transform the differential equation (7.2) into the differential equation for some corresponding generalized indefinite string (∞, ω s , υ s ).To this end, let us introduce the diffeomorphism s : [0, ∞) → [0, ∞) by s(t) = log(1 + t), t ∈ [0, ∞), (7.5) and note that the inverse of s is simply given by s Next we define a real-valued measurable function w s on [0, ∞) such that for almost all t ∈ [0, ∞), where we note that the right-hand side is well-defined almost everywhere.It follows readily that the function w s is locally square integrable, so that we can find a real-valued distribution ω s in H −1 loc [0, ∞) which has w s as its normalized anti-derivative.Furthermore, the non-negative Borel measure υ s on [0, ∞) is given by setting e −x dυ(x) (7.8) for every Borel set B ⊆ [0, ∞).This defines a generalized indefinite string (∞, ω s , υ s ) whose relation to the differential equation (7.2) we are going to describe now.
is a solution of the differential equation (7.4).
Proof.Let us suppose that two functions f and g on [0, ∞) are related via (7.9).We first note that f belongs to H 1 loc [0, ∞) if and only if so does g.In this case, for a given function where the functions h and h s in With the help of these identities, the claim follows readily from the very definition of the respective solutions.
In conjunction with [20, Lemma 4.2] and a simple substitution, this relation readily provides the following result.Corollary 7.2.If z belongs to C\R, then there is an (up to scalar multiples) unique non-trivial solution ψ of the differential equation (7.2) such that ψ lies in H 1 [0, ∞) and L 2 ([0, ∞); υ).
Proof.Let us suppose that two functions f and g in H 1 loc [0, ∞) are related via (7.9).Then the function f lies in Ḣ1 [0, ∞) if and only if the function g lies in Now upon noting that for R > 0 we have where m s is the Weyl-Titchmarsh function of the corresponding generalized indefinite string (∞, ω s , υ s ).In particular, we see that m is a Herglotz-Nevanlinna function and the Borel measure µ in the corresponding integral representation differs from the one for the generalized indefinite string only by a point mass at zero.The measure µ is a spectral measure for a suitable self-adjoint realization T of the spectral problem (7.2); compare [3,16,21].Since this establishes an immediate connection between the spectral properties of T and the corresponding generalized indefinite string (∞, ω s , υ s ), we may now invoke Theorem 3.2.Proof.Under these assumptions, we readily see that the coefficients of the corresponding generalized indefinite string (∞, ω s , υ s ) satisfy Of course, it is also desirable to consider the spectral problem for (7.2) on the whole real line.In this case, one can show, using a standard argument based on stability of the absolutely continuous spectrum under finite rank perturbations, that the essential spectrum coincides with the interval [1/4, ∞) and the absolutely continuous spectrum is of multiplicity two and essentially supported on [1/4, ∞) if u is a real-valued function on R such that u − 1 belongs to H 1 (R) and υ is a non-negative finite Borel measure on R; see Theorem 1.1.

Schrödinger operators with δ ′ -interactions
Our main theorems also apply to Schrödinger operators with δ ′ -interactions.To this end, let ν be a real-valued Borel measure on [0, ∞) which is singular with respect to the Lebesgue measure.For the sake of simplicity, we shall also assume that ν does not have a point mass at zero.The Borel measure ω on [0, ∞) is then defined as the sum of the measure ν and the Lebesgue measure, that is, where X is a discrete subset of [0, ∞), β is a real-valued function on X and δ s is the unit Dirac measure centred at s, then the differential expression τ ν can be formally written as (see [23,Example 2.2]) which is the Hamiltonian with δ ′ -interactions on X of strength β (see [1,34,35]).It is known (see [23] and [24]) that under the above assumption on ν, the operator H ν is self-adjoint in L 2 [0, ∞).The spectral properties of H ν turn out to be closely connected with those of the generalized indefinite string S ν = (∞, ω, 0).Lemma 8.1.The operator H ν is unitarily equivalent to S ν .
It is known that m ν is a Herglotz-Nevanlinna function and the Borel measure in the corresponding integral representation is a spectral measure for the operator H ν .Now for every function h ∈ H 1 c [0, ∞) we compute ∞ 0 ψ [1]′ ν (z, x)h ′ (x)dx = zψ ν (z, 0)h(0) + z ∞ 0 ψ [1]  ν (z, x)h(x)dω(x), where we used the fact that ψ [1]′ ν = −zψ ν as well as an integration by parts.This shows that the quasi-derivative is a solution of the differential equation around zero, which entails that log |a(k)| = O(k 4 ) (5.16) as k → 0 on the real line.

Lemma 7 . 1 .
A function g is a solution of the differential equation (7.2) if and only if the function f defined by

Theorem 7 . 3 .
If the function u − 1 belongs to H 1 [0, ∞) and the measure υ is finite, then the essential spectrum of T coincides with the interval [1/4, ∞) and the absolutely continuous spectrum of T is essentially supported on [1/4, ∞).
set B ⊆ [0, ∞).We consider the operator H ν in the Hilbert space L 2 [0, ∞) associated with the differential expressionτ ν = − d dx d dω(x) (8.2)and subject to Neumann boundary conditions at zero.The operator H ν can be viewed as a Hamiltonian with δ ′ -interactions.Namely, if ν is a discrete measure such that ν = s∈X β(s)δ s ,(8.3)