Abstract
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 \([1/4,\infty )\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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 Rosenblum–Kato and Birman–Krein theorems, the absolutely continuous spectrum is stable under trace class perturbations. 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({{\mathbb {R}}})\) coincides with \([0,\infty )\) as long as V is a real-valued potential in \(L^2({{\mathbb {R}}})\) (see also [31, 33, 37, 40] 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 [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 Sect. 2 for further details) that a generalized indefinite string is a triple \((L,\omega ,\upsilon )\) such that \(L\in (0,\infty ]\), \(\omega \) is a real distribution in \(H^{-1}_{{\mathrm {loc}}}[0,L)\) and \(\upsilon \) 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 \(\omega \) is a non-negative Borel measure and \(\upsilon \) 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 \(\omega \), 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 \(\omega \) in (1.3) is a real-valued Borel measure, is significantly more intricate when compared to the case of Krein strings (see [26, 34] 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 Sect. 2 for more details) obtained in [20, Proposition 6.2]. The relevance of the Weyl–Titchmarsh function here stems from the fact that a measure \(\mu \) in a certain integral representation for this function is a spectral measure for (1.2). More precisely, this means that the operator part of a self-adjoint linear relation associated with (1.2) is unitarily equivalent to multiplication with the independent variable in \(L^2({{\mathbb {R}}};\mu )\). In particular, the absolutely continuous spectrum of (1.2) can be identified with the topological support of the absolutely continuous part of the measure \(\mu \).
The second ingredient is a so-called 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, trace formulas 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 \(\upsilon \) vanishes identically and \(\omega \) 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 trace formulas for generalized indefinite strings will require more efforts (see Lemma 5.2 and Lemma 6.1).
In regard to the conservative Camassa–Holm flow, our results concern the absolutely continuous spectrum of the corresponding isospectral problem
on the real line. We will show in Sect. 7 that under the assumption that u is a real-valued function on \({{\mathbb {R}}}\) such that \(u-1\) belongs to \(H^1({{\mathbb {R}}})\) and \(\upsilon \) is a non-negative finite Borel measure on \({{\mathbb {R}}}\), the essential spectrum and the absolutely continuous spectrum of a self-adjoint realization of (1.4) coincide with the interval \([1/4,\infty )\). In the special case when \(\omega -1\) is a measure with strong enough decay and \(\upsilon \) vanishes identically, this result has been established before by Bennewitz, Brown and Weikard [3, 4]. Under these additional restrictions, the essential spectrum is in fact purely absolutely continuous, which will not continue to hold for our set of coefficients. Our assumptions on the coefficients cover a 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 \(\upsilon \) is related to the energy measure \(\mu \) from [8, 27, 29] in a simple way, essentially via
for every Borel set \(B\subseteq {{\mathbb {R}}}\). The function \(\rho \) 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 \(\upsilon \).
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 (Theorems 3.1 and 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 Sects. 5 and 6, respectively, after deriving some useful auxiliary facts in Sect. 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 Sect. 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 \(\delta '\)-interactions.
1.1 Notation
We conclude the introduction by defining several spaces of functions and distributions. For every fixed \(L\in (0,\infty ]\), we denote with \(H^1_{{\mathrm {loc}}}[0,L)\), \(H^1[0,L)\) and \(H^1_{{\mathrm {c}}}[0,L)\) the usual Sobolev spaces. To be precise, this means
The space of distributions \(H^{-1}_{{\mathrm {loc}}}[0,L)\) is the topological dual of \(H^1_{{\mathrm {c}}}[0,L)\). One notes that the mapping \({\mathsf {q}}\mapsto \chi \), defined by
establishes a one-to-one correspondence between \(L^2_{{\mathrm {loc}}}[0,L)\) and \(H^{-1}_{{\mathrm {loc}}}[0,L)\). The unique function \({\mathsf {q}}\in L^2_{{\mathrm {loc}}}[0,L)\) corresponding to some distribution \(\chi \in H^{-1}_{{\mathrm {loc}}}[0,L)\) in this way will be referred to as the normalized anti-derivative of \(\chi \). We say that a distribution in \(H^{-1}_{{\mathrm {loc}}}[0,L)\) is real if its normalized anti-derivative is real-valued almost everywhere on [0, L).
A particular kind of distribution in \(H^{-1}_{{\mathrm {loc}}}[0,L)\) arises from Borel measures on the interval [0, L). In fact, if \(\chi \) is a complex-valued Borel measure on [0, L), then we will identify it with the distribution in \(H^{-1}_{{\mathrm {loc}}}[0,L)\) given by
The normalized anti-derivative \({\mathsf {q}}\) of such a \(\chi \) is simply given by the left-continuous distribution function
for almost all \(x\in [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 \({\dot{H}}^1_0[0,L)\) can be viewed as a completion with respect to the norm induced by (1.14) of the space of all smooth functions which have compact support in (0, L). In particular, the space \({\dot{H}}^1_0[0,L)\) coincides algebraically and topologically with the usual Sobolev space \(H^1_0[0,L)\) when L is finite.
2 Generalized Indefinite Strings
A generalized indefinite string is a triple \((L,\omega ,\upsilon )\) such that \(L\in (0,\infty ]\), \(\omega \) is a real distribution in \(H^{-1}_{{\mathrm {loc}}}[0,L)\) and \(\upsilon \) is a non-negative Borel measure on the interval [0, L). Associated with such a generalized indefinite string is the inhomogeneous differential equation
where \(\chi \) is a distribution in \(H^{-1}_{{\mathrm {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.1) is a function \(f\in H^1_{{\mathrm {loc}}}[0,L)\) such that
for some constant \(\Delta _f\in {\mathbb {C}}\). In this case, the constant \(\Delta _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.1) are available; see [20, Section 3].
The differential equation (2.1) 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\in {\mathcal {H}}\) are hereby always denoted by adding subscripts, that is, with \(f_1\) and \(f_2\). Now the linear relation \(\mathrm {T}\) in the Hilbert space \({\mathcal {H}}\) is defined by saying that some pair \((f,g)\in {\mathcal {H}}\times {\mathcal {H}}\) belongs to \(\mathrm {T}\) if and only if the two equations
hold. In order to be precise, the right-hand side of the first equation in (2.5) has to be understood as the \(H^{-1}_{{\mathrm {loc}}}[0,L)\) distribution given by
Moreover, the second equation in (2.5) holds if and only if \(f_2\) is equal to \(g_1\) almost everywhere on [0, L) with respect to the measure \(\upsilon \). The maximally defined linear relation \(\mathrm {T}\) is self-adjoint in the Hilbert space \({\mathcal {H}}\) according to [20, Theorem 4.1] and indeed closely related to the differential equation (2.1) since for each \(z\in {\mathbb {C}}\), a pair \((f,g)\in {\mathcal {H}}\times {\mathcal {H}}\) belongs to \(\mathrm {T}-z\) if and only if the two equations
hold. This shows that some \(f\in {\mathcal {H}}\) belongs to \(\mathrm {ker}(\mathrm {T}-z)\) if and only if \(f_1\) is a solution of the homogeneous differential equation
and \(\upsilon f_2 = z\, \upsilon f_1\). In other words, some \(z\in {\mathbb {C}}\) is an eigenvalue of \(\mathrm {T}\) if and only if there is a non-trivial solution \(\phi \) of the homogeneous differential equation (2.8) such that \(\phi \) lies in \({\dot{H}}^1_0[0,L)\) and \(z\phi \) lies in \(L^2([0,L);\upsilon )\).
A central object in the spectral theory for the linear relation \(\mathrm {T}\) is the associated Weyl–Titchmarsh function m. This function can be defined on \({\mathbb {C}}\backslash {{\mathbb {R}}}\) by
where \(\psi (z,\cdot \,)\) is the unique (up to constant multiples) non-trivial solution of the homogeneous differential equation (2.8) which lies in \({\dot{H}}^1[0,L)\) and \(L^2([0,L);\upsilon )\), 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 \({\mathbb {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\in {{\mathbb {R}}}\) with \(c_1\ge 0\) and a non-negative Borel measure \(\mu \) on \({{\mathbb {R}}}\) with \(\mu (\lbrace 0\rbrace )=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 \(\mu \) turns out to be a spectral measure for the linear relation \(\mathrm {T}\) in the sense that the operator part of \(\mathrm {T}\) is unitarily equivalent to multiplication with the independent variable in \(L^2({{\mathbb {R}}};\mu )\); see [20, Theorem 5.8]. Of course, this establishes an immediate connection between the spectral properties of the linear relation \(\mathrm {T}\) and the measure \(\mu \). For example, the spectrum of \(\mathrm {T}\) coincides with the topological support of \(\mu \) and thus can be read off the singularities of m (more precisely, the function m admits an analytic continuation away from the spectrum of \(\mathrm {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.
3 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,\omega _0,\upsilon _0)\) such that \(L_0\) is infinite, the distribution \(\omega _0\) is given via its normalized anti-derivative \({\mathsf {w}}_0\) by
and the measure \(\upsilon _0\) vanishes identically. We note that under these assumptions, the corresponding differential equation (2.8) simply reduces to
For every \(z\in {\mathbb {C}}\backslash [0,\infty )\), the function \(\psi _0(z,\cdot \,)\) given byFootnote 1
is a solution of this differential equation which lies in \({\dot{H}}^1[0,\infty )\). 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,\infty )\).
In particular, the essential spectrum of \(S_0\) coincides with the interval \([0,\infty )\) and the absolutely continuous spectrum of \(S_0\) is essentially supported on \([0,\infty )\). The latter means that every subset of \([0,\infty )\) with positive Lebesgue measure has positive measure with respect to the corresponding spectral measure \(\mu _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,\omega ,\upsilon )\) such that L is infinite and
for a real constant c and a positive constant \(\eta \), where \({\mathsf {w}}\) is the normalized anti-derivative of \(\omega \). Then the essential spectrum of S coincides with the interval \([0,\infty )\) and the absolutely continuous spectrum of S is essentially supported on \([0,\infty )\).
A proof for this result will be given in Sect. 5. In view of the applications we have in mind (see Sect. 7), we are furthermore interested in perturbations of another explicitly solvable case involving a positive parameter \(\alpha \).
Example B
Let \(S_\alpha \) be the generalized indefinite string \((L_\alpha ,\omega _\alpha ,\upsilon _\alpha )\) such that \(L_\alpha \) is infinite, the distribution \(\omega _\alpha \) is given via its normalized anti-derivative \({\mathsf {w}}_\alpha \) by
and the measure \(\upsilon _\alpha \) vanishes identically. We note that under these assumptions, the corresponding differential equation (2.8) simply reduces to
For every \(z\in {\mathbb {C}}\backslash [\alpha ,\infty )\), the function \(\psi _\alpha (z,\cdot \,)\) given by
is a solution of this differential equation which lies in \({\dot{H}}^1[0,\infty )\). Consequently, the corresponding Weyl–Titchmarsh function \(m_\alpha \) is given explicitly by
This guarantees that the spectrum of \(S_\alpha \) is purely absolutely continuous and coincides with the interval \([\alpha ,\infty )\).
In particular, the essential spectrum of \(S_\alpha \) coincides with the interval \([\alpha ,\infty )\) and the absolutely continuous spectrum of \(S_\alpha \) is essentially supported on \([\alpha ,\infty )\). These two properties are again preserved under a rather wide class of perturbations.
Theorem 3.2
Let S be a generalized indefinite string \((L,\omega ,\upsilon )\) such that L is infinite and
for a real constant c and positive constants \(\alpha \) and \(\eta \), where \({\mathsf {w}}\) is the normalized anti-derivative of \(\omega \). Then the essential spectrum of S coincides with the interval \([\alpha /\eta ,\infty )\) and the absolutely continuous spectrum of S is essentially supported on \([\alpha /\eta ,\infty )\).
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 Sect. 6 due to differences in details.
Remark 3.3
When the constant \(\eta \) 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 \((-\infty ,0]\) and \((-\infty ,\alpha /\eta ]\), respectively, and the absolutely continuous spectrum of S is essentially supported on \((-\infty ,0]\) and \((-\infty ,\alpha /\eta ]\), 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.
4 Auxiliary Facts About Fundamental Systems
Let the triple \((L,\omega ,\upsilon )\) be an arbitrary generalized indefinite string and denote with \({\mathsf {w}}\) the normalized anti-derivative of \(\omega \). For every \(z\in {\mathbb {C}}\), we introduce the fundamental system of solutions \(\theta (z,\cdot \,)\), \(\phi (z,\cdot \,)\) of the differential equation (2.8) satisfying the initial conditions
As the derivatives of these functions are only locally square integrable in general, we introduce the left-continuous quasi-derivatives \(\theta ^{[1]}(z,\cdot \,)\), \(\phi ^{[1]}(z,\cdot \,)\) on [0, L) by
for \(x\in [0,L)\), such that
for almost all \(x\in [0,L)\); see [20, Equation (4.12)]. It follows from [20, Corollary 3.5] that the functions
are real entire for every fixed \(x\in [0,L)\). At the origin, when z is zero, one readily infers that our fundamental system is given explicitly by
for all \(x\in [0,L)\). We now seek to determine the derivatives of these functions with respect to the spectral parameter at the origin. In order to state the following result, let us note that differentiation with respect to the spectral parameter will be denoted with a dot and is always meant to be done after taking quasi-derivatives.
Proposition 4.1
For every \(x\in [0,L)\), we have
as well as
Proof
We first note that the second equality in (4.7) follows from (4.2) since the first integral there is zero when z is equal to zero. Now consider the matrix function
which is well-defined since the function \(\theta ^{[1]}(\,\cdot \,,x)\) has a root at zero. It is an immediate consequence of (4.2), (4.3) and (4.4) that Y satisfies the integral equation
For fixed \(x\in [0,L)\), differentiating with respect to z gives
Evaluating at zero, we end up with
which yields the first equality in (4.7), the second equality in (4.8) as well as (4.10). Differentiating (4.12) once more and evaluating at zero, we obtain
which yields the first equality in (4.8), (4.9) as well as (4.11) after performing some integrations by parts. \(\square \)
Although one could also compute the second derivative of \(\phi (\,\cdot \,,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.
5 Proof of Theorem 3.1
To begin with, let us consider a particular class of generalized indefinite strings. We assume that \((L,\omega ,\upsilon )\) is a generalized indefinite string such that L is infinite and there is an \(R>0\) such that the normalized anti-derivative \({\mathsf {w}}\) of \(\omega \) satisfies
for almost all x in \([R,\infty )\) and the measure \(\upsilon \) vanishes on \([R,\infty )\). In addition, let us also suppose that \({\mathsf {w}}\) is equal to a piecewise constant function almost everywhere on the interval [0, R] and that the support of the measure \(\upsilon \) is a finite set. The set of generalized indefinite strings with these properties will be denoted by \({\mathcal {F}}_0\). Under these assumptions, for every k in the upper complex half-plane \({\mathbb {C}}_+\), there is a Jost solution \(f(k,\cdot \,)\) of the differential equation (2.8) with \(z=k^2 \in {\mathbb {C}}\backslash [0,\infty )\) such that
We note that since the function \(f(k,\cdot \,)\) clearly lies in \({\dot{H}}^1[0,\infty )\) and \(L^2([0,\infty );\upsilon )\), the corresponding Weyl–Titchmarsh function m is given by
as long as \(k^2\in {\mathbb {C}}\backslash {{\mathbb {R}}}\). Furthermore, we define the function a on \({\mathbb {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
If the generalized indefinite string \((L,\omega ,\upsilon )\) belongs to \({\mathcal {F}}_0\), then the function a has a unique continuation (denoted with a as well for simplicity) to an entire function.
Proof
If \(\theta \), \(\phi \) denotes the fundamental system of solutions of the differential equation (2.8) as in Sect. 4, then we may write
Upon evaluating this function and its derivative at the point R, we get
which we can solve for f(k, 0) and \(f'(k,0-)\) to obtain
Plugging this into the definition of a shows that
In view of the second equality in (4.6), this identity guarantees that the function a has a unique continuation to an entire function. \(\square \)
Even more, the right-hand side of (5.7) is actually a polynomial in k due to our assumptions on the supports of \(\omega \) and \(\upsilon \) 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 \({\mathbb {C}}_+\) via
Similarly as before, we see that b can be continued to an entire function because of the identity
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 \({\mathbb {C}}_+\) necessarily have to lie on the imaginary axis. In fact, if k was a zero of a in \({\mathbb {C}}_+\) that does not lie on the imaginary axis, then \(k^2\in {\mathbb {C}}\backslash {{\mathbb {R}}}\) and (5.4) would imply
By using (5.3), 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 \({\mathbb {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 \(\mathrm {i}\kappa _1,\ldots ,\mathrm {i}\kappa _N\) for some positive constants \(\kappa _1,\ldots ,\kappa _N\). With this notation, let us state the following result.
Lemma 5.2
If the generalized indefinite string \((L,\omega ,\upsilon )\) belongs to \({\mathcal {F}}_0\), then we have the identity
Proof
From the representation (5.7) for a, together with the formulas in Proposition 4.1 for the fundamental system \(\theta \), \(\phi \), we see that
and after a cumbersome but straightforward computation furthermore that
In particular, this yields the Taylor expansion
around zero, which entails that
as \(k\rightarrow 0\) on the real line.
Since the function a is of bounded type in the upper complex half-plane, it admits a Nevanlinna factorization [38, Theorem 6.13] of the form
for some real constant \(\beta \in {{\mathbb {R}}}\) (in fact, it is not difficult to show that \(\beta = - R\)) and a complex constant \(C\in {\mathbb {C}}\) with modulus one. Upon differentiating this, we obtain
for all \(k\in {\mathbb {C}}_+\) close enough to zero (so that a(k) is non-zero). After differentiating two more times, we get
again, as long as \(k\in {\mathbb {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). \(\square \)
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 \({\mathbb {C}}\backslash [0,\infty )\) with only finitely many poles. As a consequence, the negative spectrum of \((L,\omega ,\upsilon )\) consists only of finitely many eigenvalues. Upon enumerating these eigenvalues by \(\lambda _1,\ldots ,\lambda _{K}\) with increasing modulus, we obtain the following Lieb–Thirring-type bound.
Corollary 5.3
If the generalized indefinite string \((L,\omega ,\upsilon )\) belongs to \({\mathcal {F}}_0\), then we have the estimate
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 \(\kappa \) away from the poles \(\sqrt{-\lambda _1},\ldots ,\sqrt{-\lambda _K}\). Because of this, we can find a positive \(\kappa <\sqrt{-\lambda _1}\) such that
Since this means that \(\mathrm {i}\kappa \) is a zero of a, there is an index \(n(1)\in \lbrace 1,\ldots ,N\rbrace \) such that \(\kappa =\kappa _{n(1)}\) and thus \(\kappa _{n(1)}<\sqrt{-\lambda _{1}}\). If \(K>1\) and \(\lambda _{i-1}\), \(\lambda _{i}\) are two consecutive eigenvalues for some \(i\in \{2,\ldots ,K\}\), then we can find a positive \(\kappa \) between \(\sqrt{-\lambda _{i-1}}\) and \(\sqrt{-\lambda _{i}}\) such that (5.18) holds true. As before, we see that \(\mathrm {i}\kappa \) is a zero of a so that there is an index \(n(i)\in \lbrace 1,\ldots ,N\rbrace \) such that \(\kappa =\kappa _{n(i)}\) and thus also \(\kappa _{n(i)}<\sqrt{-\lambda _{i}}\). In conclusion, this shows that
which yields the claim upon invoking Lemma 5.2. \(\square \)
The next ingredient for our proof will be an estimate on the absolutely continuous spectrum of \((L,\omega ,\upsilon )\). To this end, we first note that we have
for all \(k\in {\mathbb {C}}_+\) with \(k^2\in {\mathbb {C}}\backslash {{\mathbb {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,\omega ,\upsilon )\) on the interval \([0,\infty )\) is purely absolutely continuous with the corresponding spectral measure \(\mu \) given by
for every Borel set \(B\subseteq [0,\infty )\), where \(\varrho \) is defined by
We note that the function \(\varrho \) is continuous and positive on \((0,\infty )\).
Corollary 5.4
If the generalized indefinite string \((L,\omega ,\upsilon )\) belongs to \({\mathcal {F}}_0\), then for every compact subset \(\Omega \) of \((0,\infty )\) we have the estimate
where \(C_\Omega = 4\pi (\min \,\Omega )^{-2}\) is a positive constant.
Proof
For every positive k, we first compute that
and on the other side that
In combination, this gives the bound
as long as \(\lambda \in \Omega \), 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. \(\square \)
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,\omega ,\upsilon )\) such that L is infinite and
where \({\mathsf {w}}\) is the normalized anti-derivative of \(\omega \). We are first going to construct a suitable approximating sequence of generalized indefinite strings \((L_n,\omega _n,\upsilon _n)\) from the set \({\mathcal {F}}_0\). For every \(n\in {{\mathbb {N}}}\), let \(L_n\) be infinite and choose \(R_n>n\) such that
We can then find a real-valued function \({\mathsf {w}}_n\) on \([0,\infty )\) which is piecewise constant on the interval \([0,R_n]\) with
and satisfies \({\mathsf {w}}_n(x)=x\) for all \(x>R_n\). The distribution \(\omega _n\) is now defined in such a way that the corresponding normalized anti-derivative coincides with \({\mathsf {w}}_n\) almost everywhere. Apart from this, we are able to find a non-negative Borel measure \(\upsilon _n\) which is supported on a finite set contained in \([0,R_n)\) with
and such that
for almost every \(x\in [0,\infty )\).
Note that by construction, we then have
as \(n\rightarrow \infty \). 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 \(\mu _n\) certainly satisfy
for every continuous function g on \({{\mathbb {R}}}\) with compact support.
In order to prove that the essential spectrum of S is restricted to \([0,\infty )\), let I be a compact interval in \((-\infty ,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,\omega _n,\upsilon _n)\) has at most \(K_I\) eigenvalues in the interval I for every \(n\in {{\mathbb {N}}}\). It now follows from the convergence of the measures \(\mu _n\) in (5.24) that the limit measure \(\mu \) 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,\infty )\).
Now take a compact set \(\Omega \subset (0,\infty )\) of positive Lebesgue measure. Due to the convergence of the measures \(\mu _n\) in (5.24), we have (see [2, Theorem 30.2])
where the functions \(\varrho _n\) are given as in (5.21). An application of Jensen’s inequality [39, Theorem 3.3] then furthermore yields
where \(C_\Omega \), \(D_\Omega \) 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 \(\mu (\Omega )\) is indeed positive with
Since all Borel measures on \({{\mathbb {R}}}\) are regular, this readily implies that \(\mu (\Omega )\) is positive for every Borel set \(\Omega \subseteq [0,\infty )\) of positive Lebesgue measure. With this fact, we have finally verified that the essential spectrum of S coincides with the interval \([0,\infty )\) and the absolutely continuous spectrum of S is essentially supported on \([0,\infty )\).
In order to finish the proof of Theorem 3.1, let us suppose that S is a generalized indefinite string \((L,\omega ,\upsilon )\) such that L is infinite and (3.5) holds for a real constant c and a positive constant \(\eta \). We consider the generalized indefinite string \(({L},{\tilde{\omega }},{\tilde{\upsilon }})\), where \({\tilde{\omega }}\) is defined via its normalized anti-derivative \({\tilde{{\mathsf {w}}}}\) by
and \({\tilde{\upsilon }} = \eta ^{-2} \upsilon \). Since \((L,{\tilde{\omega }},{\tilde{\upsilon }})\) satisfies the assumptions imposed before, we infer that the essential spectrum of \((L,{\tilde{\omega }},{\tilde{\upsilon }})\) coincides with the interval \([0,\infty )\) and its absolutely continuous spectrum is essentially supported on \([0,\infty )\). However, as the corresponding Weyl–Titchmarsh functions m and \({\tilde{m}}\) are related via
the same is true for S. \(\square \)
Remark 5.5
It is natural to ask whether Theorem 3.1 can be deduced from the results of Deift–Killip [14] (or analogous results for one-dimensional Schrödinger operators as in [40]) or Bessonov–Denisov [5], or vice versa. The answer seems to be negative as the distinct forms of the corresponding trace formulas indicate. More precisely, comparing the left-hand side in (5.14) with the corresponding trace formula for one-dimensional Schrödinger operators and the Szegő condition for canonical systems, one can notice that (5.14) requires a rather strong degeneration of the function a near zero, but allows for a weaker decay at infinity.
6 Proof of Theorem 3.2
In order to prepare for the proof of our second main result, let us fix a positive constant \(\alpha \). We assume that \((L,\omega ,\upsilon )\) is a generalized indefinite string such that L is infinite and there is an \(R>0\) such that the normalized anti-derivative \({\mathsf {w}}\) of \(\omega \) satisfies
for almost all x in \([R,\infty )\) and the measure \(\upsilon \) vanishes on \([R,\infty )\). In addition, let us also suppose that \({\mathsf {w}}\) is equal to a piecewise constant function almost everywhere on the interval [0, R] and that the support of the measure \(\upsilon \) is a finite set. For easy reference later on, we will denote the set of generalized indefinite strings defined in this way by \({\mathcal {F}}_\alpha \). Under these assumptions, for every \(k\in {\mathbb {C}}_+\), there is a Jost solution \(f(k,\cdot \,)\) of the differential equation (2.8) with \(z=k^2+\alpha \in {\mathbb {C}}\backslash [\alpha ,\infty )\) such that
We note that since the function \(f(k,\cdot \,)\) clearly lies in \({\dot{H}}^1[0,\infty )\) and \(L^2([0,\infty );\upsilon )\), the corresponding Weyl–Titchmarsh function m is given by
as long as \(k^2+\alpha \in {\mathbb {C}}\backslash {{\mathbb {R}}}\). Furthermore, we define the function a on \({\mathbb {C}}_+\) via
If we denote with \(\theta \), \(\phi \) the fundamental system of solutions of the differential equation (2.8) as in Sect. 4, then we readily compute that
which yields, upon plugging these expressions into the definition of a, that
for all \(k\in {\mathbb {C}}_+\). Due to our assumptions on the supports of \(\omega \) and \(\upsilon \) 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 \({\mathbb {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 \({\mathbb {C}}_+\) next via
One infers from the expressions in (6.5) and (6.6) that b also admits an analytic continuation to all of \({\mathbb {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 \({\mathbb {C}}_+\) necessarily have to lie on the imaginary axis. In fact, if k was a zero of a in \({\mathbb {C}}_+\) that does not lie on the imaginary axis, then \(k^2+\alpha \in {\mathbb {C}}\backslash {{\mathbb {R}}}\) and (6.4) would imply
By using (6.3), 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 \({\mathbb {C}}_+\) indeed lie on the imaginary axis, we may enumerate them, repeated according to multiplicity, by \(\mathrm {i}\kappa _1,\ldots ,\mathrm {i}\kappa _N\) for some positive constants \(\kappa _1,\ldots ,\kappa _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
If the generalized indefinite string \((L,\omega ,\upsilon )\) belongs to \({\mathcal {F}}_\alpha \), then 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 \(\mathrm {i}\sqrt{\alpha }\) and using the expressions from Proposition 4.1, we also see that
where the function \({\mathsf {w}}_\alpha \) 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 [38, Theorem 6.13] of the form
for all \(k\in {\mathbb {C}}_+\), where \(\beta \) and \(\gamma \) 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 \(\gamma \) has to be equal to zero.
After differentiating (6.15), we obtain
for all \(k\in {\mathbb {C}}_+\) close enough to \(\mathrm {i}\sqrt{\alpha }\) (so that a(k) is non-zero). Upon differentiating one more time, we also get
again, as long as \(k\in {\mathbb {C}}_+\) is close enough to \(\mathrm {i}\sqrt{\alpha }\).
Now we evaluate both sides of (6.15) at \(\mathrm {i}\sqrt{\alpha }\) and take absolute values to obtain
This gives the following expression for \(\beta \) in terms of the scattering data:
By evaluating equality (6.16) at \(\mathrm {i}\sqrt{\alpha }\), we next get
Taking imaginary parts and using the expression for \(\beta \) yields (6.13). In a similar manner, the real part of the right-hand side of (6.17) evaluated at \(\mathrm {i}\sqrt{\alpha }\) becomes
and the left-hand side
where we also made use of equality (6.13). After equating these two expressions, we readily end up with (6.14). \(\square \)
We note that the integral term on the left-hand side of the identity (6.14) is non-negative 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 \(\alpha \). 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 right-hand side of (6.3) is a rational function. This implies that the Weyl–Titchmarsh function m has a continuation to a meromorphic function on \({\mathbb {C}}\backslash [\alpha ,\infty )\) with only finitely many poles, none of which is located at zero. Hence, we may enumerate all eigenvalues below \(\alpha \) in the following way:
Corollary 6.2
If the generalized indefinite string \((L,\omega ,\upsilon )\) belongs to \({\mathcal {F}}_\alpha \), then 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 \(\kappa \) away from the poles
Because of this, we can find a positive \(\kappa \) such that
between each pair of consecutive points in the sequence
As \(\mathrm {i}\kappa \) is a zero of the function a for each such \(\kappa \), we conclude that
as well as
for some indices \(n_+(K_+),\ldots ,n_+(1),n_-(1),\ldots ,n_-(K_-)\in \{1,\ldots ,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,\infty )\) since we may compute
Moreover, the function F satisfies the bound
By combining all these facts, we can estimate
for all \(i\in \{1,\ldots ,K_\pm \}\). 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. \(\square \)
We are now going to use the identity (6.14) to estimate the absolutely continuous spectrum of \((L,\omega ,\upsilon )\). To this end, we first note that we have
for all \(k\in {\mathbb {C}}_+\) with \(k^2+\alpha \in {\mathbb {C}}\backslash {{\mathbb {R}}}\). Since the functions a and b are analytic on all of \({\mathbb {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,\omega ,\upsilon )\) on the interval \((\alpha ,\infty )\) is purely absolutely continuous with the corresponding spectral measure \(\mu \) given by
for every Borel set \(B\subseteq (\alpha ,\infty )\), where \(\varrho \) is defined by
We note that the function \(\varrho \) is continuous and positive on \((\alpha ,\infty )\).
Corollary 6.3
If the generalized indefinite string \((L,\omega ,\upsilon )\) belongs to \({\mathcal {F}}_\alpha \), then for every compact subset \(\Omega \) of \((\alpha ,\infty )\) 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 \(\lambda \in \Omega \), which allows us to estimate the integral
Upon employing a substitution, we can further bound this by
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. \(\square \)
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,\omega ,\upsilon )\) such that L is infinite and
where \({\mathsf {w}}\) is the normalized anti-derivative of \(\omega \). We are first going to construct a suitable approximating sequence of generalized indefinite strings \((L_n,\omega _n,\upsilon _n)\) from the set \({\mathcal {F}}_\alpha \). For every \(n\in {{\mathbb {N}}}\), let \(L_n\) be infinite and choose \(R_n>n\) such that
We can then find a real-valued function \({\mathsf {w}}_n\) on \([0,\infty )\) which is piecewise constant on the interval \([0,R_n]\) with
and which is given explicitly by
for all \(x>R_n\). The distribution \(\omega _n\) is now defined in such a way that the corresponding normalized anti-derivative coincides with \({\mathsf {w}}_n\) almost everywhere. Apart from this, we are able to find a non-negative Borel measure \(\upsilon _n\) which is supported on a finite set contained in \([0,R_n)\) with
and such that for almost every \(x\in [0,\infty )\) we have
Note that by construction, there is a positive constant M such that
for all \(n\in {{\mathbb {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 \(\mu _n\) certainly satisfy
for every continuous function g on \({{\mathbb {R}}}\) with compact support.
In order to prove that the essential spectrum of S is restricted to \([\alpha ,\infty )\), let I be a compact interval in \((-\infty ,\alpha )\). 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,\omega _n,\upsilon _n)\) has at most \(K_I\) eigenvalues in the interval I for every \(n\in {{\mathbb {N}}}\). It now follows from the convergence of the measures \(\mu _n\) in (6.26) that the limit measure \(\mu \) 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 \([\alpha ,\infty )\).
Now take a compact set \(\Omega \subset (\alpha ,\infty )\) of positive Lebesgue measure. Due to the convergence of the measures \(\mu _n\) in (6.26), we have (see [2, Theorem 30.2])
where the functions \(\varrho _n\) are given as in (6.23). An application of Jensen’s inequality [39, Theorem 3.3] then furthermore yields
where \(D_\Omega \) 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 \({{\mathbb {R}}}\) are regular, this readily implies that \(\mu (\Omega )\) is positive for every Borel set \(\Omega \subseteq [\alpha ,\infty )\) of positive Lebesgue measure. Thus, we have finally verified that the essential spectrum of S coincides with the interval \([\alpha ,\infty )\) and the absolutely continuous spectrum of S is essentially supported on \([\alpha ,\infty )\).
In order to finish the proof of Theorem 3.2, let us suppose that S is a generalized indefinite string \((L,\omega ,\upsilon )\) such that L is infinite and (3.10) holds for a real constant c and a positive constant \(\eta \). We consider the generalized indefinite string \(({L},{\tilde{\omega }},{\tilde{\upsilon }})\), where \({\tilde{\omega }}\) is defined via its normalized anti-derivative \({\tilde{{\mathsf {w}}}}\) by (5.25) and \({\tilde{\upsilon }} = \eta ^{-2} \upsilon \). Since \((L,{\tilde{\omega }},{\tilde{\upsilon }})\) satisfies the assumptions imposed before, we infer that the essential spectrum of \((L,{\tilde{\omega }},{\tilde{\upsilon }})\) coincides with the interval \([\alpha ,\infty )\) and its absolutely continuous spectrum is essentially supported on \([\alpha ,\infty )\). However, as the corresponding Weyl–Titchmarsh functions m and \({\tilde{m}}\) are related via (5.26), we see that the essential spectrum of S coincides with the interval \([\alpha /\eta ,\infty )\) and its absolutely continuous spectrum is essentially supported on \([\alpha /\eta ,\infty )\). \(\square \)
7 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 real-valued function in \(H^1_{\mathrm {loc}}[0,\infty )\) and \(\upsilon \) be a non-negative Borel measure on \([0,\infty )\). We define the distribution \(\omega \) in \(H^{-1}_{\mathrm {loc}}[0,\infty )\) by
so that \(\omega = 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.2) is a function \(g\in H^1_{{\mathrm {loc}}}[0,\infty )\) such that
for some constant \(\Delta _g\in {\mathbb {C}}\) and every function \(h\in H^1_{\mathrm {c}}[0,\infty )\). For such a solution g, the constant \(\Delta _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 \((\infty ,\omega _\mathrm {s},\upsilon _\mathrm {s})\). To this end, let us introduce the diffeomorphism \(\mathrm {s}:[0,\infty )\rightarrow [0,\infty )\) by
and note that the inverse of \(\mathrm {s}\) is simply given by
Next we define a real-valued measurable function \({\mathsf {w}}_\mathrm {s}\) on \([0,\infty )\) such that
for almost all \(t\in [0,\infty )\), where we note that the right-hand side is well-defined almost everywhere. It follows readily that the function \({\mathsf {w}}_\mathrm {s}\) is locally square integrable, so that we can find a real distribution \(\omega _\mathrm {s}\) in \(H^{-1}_{\mathrm {loc}}[0,\infty )\) which has \({\mathsf {w}}_\mathrm {s}\) as its normalized anti-derivative. Furthermore, the non-negative Borel measure \(\upsilon _\mathrm {s}\) on \([0,\infty )\) is given by setting
for every Borel set \(B\subseteq [0,\infty )\). This defines a generalized indefinite string \((\infty ,\omega _\mathrm {s},\upsilon _\mathrm {s})\) whose relation to the differential equation (7.2) we are going to describe now.
Lemma 7.1
A function g is a solution of the differential equation (7.2) if and only if the function f defined by
is a solution of the differential equation (7.4).
Proof
Let us suppose that two functions f and g on \([0,\infty )\) are related via (7.9). We first note that f belongs to \(H^1_{\mathrm {loc}}[0,\infty )\) if and only if so does g. In this case, for a given function \(h_\mathrm {s}\) in \(H^1_{\mathrm {c}}[0,\infty )\), a substitution yields
where the functions h and \(h_\mathrm {s}\) in \(H^1_{\mathrm {c}}[0,\infty )\) are related by
Furthermore, one computes that
as well as
With the help of these identities, the claim follows readily from the very definition of the respective solutions. \(\square \)
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 \({\mathbb {C}}\backslash {{\mathbb {R}}}\), then there is an (up to scalar multiples) unique non-trivial solution \(\psi \) of the differential equation (7.2) such that \(\psi \) lies in \(H^1[0,\infty )\) and \(L^2([0,\infty );\upsilon )\).
Proof
Let us suppose that two functions f and g in \(H^1_{\mathrm {loc}}[0,\infty )\) are related via (7.9). Then the function f lies in \({\dot{H}}^1[0,\infty )\) if and only if the function g lies in \(H^1[0,\infty )\). In fact, if f lies in \({\dot{H}}^1[0,\infty )\), then a substitution shows that
Now upon noting that for \(R>0\) we have
we see that g lies in \(H^1[0,\infty )\) since it is bounded, which follows because f grows at most like a square root. The converse implication is straightforward. Moreover, we easily see that the function f lies in \(L^2([0,\infty );\upsilon _\mathrm {s})\) if and only if the function g lies in \(L^2([0,\infty );\upsilon )\). Now the claim follows readily from [20, Lemma 4.2]. \(\square \)
This result allows us to define the Weyl–Titchmarsh function m associated with the spectral problem (7.2) by
where \(\psi (z,\cdot \,)\) is a non-trivial solution of the differential equation (7.2) which lies in \(H^1[0,\infty )\) and \(L^2([0,\infty );\upsilon )\). In view of Lemma 7.1, we readily compute that
where \(m_\mathrm {s}\) is the Weyl–Titchmarsh function of the corresponding generalized indefinite string \((\infty ,\omega _\mathrm {s},\upsilon _\mathrm {s})\). In particular, we see that m is a Herglotz–Nevanlinna function and the Borel measure \(\mu \) in the corresponding integral representation differs from the one for the generalized indefinite string only by a point mass at zero. The measure \(\mu \) is a spectral measure for a self-adjoint realization \(\mathrm {T}_0\) of the spectral problem (7.2) in the Hilbert space
equipped with the scalar product
defined by saying that a pair \((f,g)\in {\mathcal {H}}_0\times {\mathcal {H}}_0\) belongs to \(\mathrm {T}_0\) if and only if
and \(g_1\) satisfies the Dirichlet boundary condition \(g_1(0)=0\) at zero; compare [3, 16] and [21, Subsection 4.1] in particular. Since this establishes an immediate connection between the spectral properties of \(\mathrm {T}_0\) and the corresponding generalized indefinite string \((\infty ,\omega _\mathrm {s},\upsilon _\mathrm {s})\), we may now invoke Theorem 3.2.
Theorem 7.3
If the function \(u-1\) belongs to \(H^1[0,\infty )\) and the measure \(\upsilon \) is finite, then the essential spectrum of \(\mathrm {T}_0\) coincides with the interval \([1/4,\infty )\) and the absolutely continuous spectrum of \(\mathrm {T}_0\) is essentially supported on \([1/4,\infty )\).
Proof
Under these assumptions, we readily see that the coefficients of the corresponding generalized indefinite string \((\infty ,\omega _\mathrm {s},\upsilon _\mathrm {s})\) satisfy
upon performing a substitution, as well as
Now the claim follows from Theorem 3.2 with \(c=u(0)-1\), \(\alpha =1/4\) and \(\eta =1\).
\(\square \)
Of course, it is also desirable to consider the spectral problem for (7.2) on the whole real line. In this case, a linear relation \(\mathrm {T}\) in the Hilbert space
equipped with the scalar product
is given by defining that a pair \((f,g)\in {\mathcal {H}}\times {\mathcal {H}}\) belongs to \(\mathrm {T}\) if and only if
This maximally defined linear relation \(\mathrm {T}\) is self-adjoint and, as shown in the proof of [21, Lemma 5.2], it is a finite rank perturbation of two half-line problems, which allows us to use the Weyl and Rosenblum–Kato theorems about stability of the essential and absolutely continuous spectra (see [32, Chapter 10 §4] for example) to obtain the following result.
Theorem 7.4
Let u be a real-valued function on \({{\mathbb {R}}}\) such that \(u-1\) belongs to \(H^1({{\mathbb {R}}})\) and let \(\upsilon \) be a non-negative finite Borel measure on \({{\mathbb {R}}}\). Then the essential spectrum of \(\mathrm {T}\) coincides with \([1/4,\infty )\) and the absolutely continuous spectrum of \(\mathrm {T}\) is of multiplicity two and coincides with \([1/4,\infty )\).
8 Schrödinger Operators with \(\delta '\)-Interactions
Our main theorems also apply to Schrödinger operators with \(\delta '\)-interactions. To this end, let \(\nu \) be a real-valued Borel measure on \([0,\infty )\) which is singular with respect to the Lebesgue measure. For the sake of simplicity, we shall also assume that \(\nu \) does not have a point mass at zero. The Borel measure \(\omega \) on \([0,\infty )\) is then defined as the sum of the measure \(\nu \) and the Lebesgue measure, that is,
for every Borel set \(B\subseteq [0,\infty )\). We consider the operator \(H_\nu \) in the Hilbert space \(L^2[0,\infty )\) associated with the differential expression
and subject to a Neumann boundary condition at zero. The operator \(H_\nu \) can be viewed as a Hamiltonian with \(\delta '\)-interactions. Namely, if \(\nu \) is a discrete measure such that
where X is a discrete subset of \([0,\infty )\), \(\beta \) is a real-valued function on X and \(\delta _s\) is the unit Dirac measure centred at s, then the differential expression \(\tau _\nu \) can be formally written as (see [23, Example 2.2])
which is the Hamiltonian with \(\delta '\)-interactions on X of strength \(\beta \) (see [1, 35, 36]). It is known (see [23] and [24]) that under the above assumption on \(\nu \), the operator \(H_\nu \) is self-adjoint in \(L^2[0,\infty )\). The spectral properties of \(H_\nu \) turn out to be closely connected with those of the generalized indefinite string \(S_\nu = (\infty ,\omega ,0)\).
Lemma 8.1
The operator \(H_\nu \) is unitarily equivalent to \(S_\nu \).
Proof
Since \(\tau _\nu \) is in the limit point case at \(\infty \) (see [23]), for every \(z\in {\mathbb {C}}\backslash {{\mathbb {R}}}\) there is an (up to scalar multiples) unique non-trivial solution \(\psi _\nu (z,\cdot \,)\) to \(\tau _\nu y = zy\) such that \(\psi _\nu (z,\cdot \,)\) lies in \(L^2[0,\infty )\). Recall that the Weyl–Titchmarsh function \(m_\nu \) of \(H_\nu \) is then given by
where the function in the denominator is the quasi-derivative
It is known that \(m_\nu \) is a Herglotz–Nevanlinna function and the Borel measure in the corresponding integral representation is a spectral measure for the operator \(H_\nu \). Now for every function \(h\in H^1_{\mathrm {c}}[0,\infty )\) we compute
where we used the fact that \(\psi _\nu ^{{[1]}\prime } = -z\psi _\nu \) almost everywhere as well as an integration by parts (use [6, Exercise 5.8.112] or [28, Theorem 21.67] for example). This shows that the quasi-derivative is a solution of the differential equation
with \(\psi _\nu ^{{[1]}\prime }(z,0-)=-z\psi _\nu (z,0)\). Since it furthermore lies in \({\dot{H}}^1[0,\infty )\), the Weyl–Titchmarsh function m of the generalized indefinite string \(S_\nu \) is given by
Thus, the corresponding spectral measures coincide and hence the claim follows. \(\square \)
Recall that the normalized anti-derivative \({\mathsf {v}}\) of the measure \(\nu \) is given by
for almost all \(x\in [0,\infty )\). The connection established in Lemma 8.1 now allows us to apply Theorem 3.1.
Theorem 8.2
Suppose that
for a real constant c, where \({\mathsf {v}}\) is the normalized anti-derivative of \(\nu \). Then the essential spectrum of the Hamiltonian \(H_\nu \) coincides with the interval \([0,\infty )\) and the absolutely continuous spectrum of \(H_\nu \) is essentially supported on \([0,\infty )\).
Proof
This is a simple consequence of Lemma 8.1 and Theorem 3.1. \(\square \)
Remark 8.3
In conclusion, let us mention that one can say more about spectral properties of the Hamiltonian \(H_\nu \) and about its negative spectrum in particular. Namely, it is possible to show that the negative spectrum consists of simple eigenvalues which may only accumulating at \(-\infty \). More specifically, they satisfy the following Lieb–Thirring-type bound
However, we postpone the discussion of Lieb–Thirring-type inequalities to a forthcoming publication.
Notes
In the following, we will always take the branch of the square root \(\sqrt{\cdot }\) with cut along the positive semi-axis \([0,\infty )\) defined by \(\sqrt{z}=\sqrt{|z|}\mathrm {e}^{\mathrm {i}\arg (z)/2}\) with \(\arg (z)\in [0,2\pi )\).
References
Albeverio, S., Gesztesy, F., Hoegh-Krohn, R., Holden, H.: Solvable Models in Quantum Mechanics, 2nd edn. AMS Chelsea Publishing, Providence, RI (2005)
Bauer, H.: Measure and Integration Theory, De Gruyter Studies in Mathematics, 26. Walter de Gruyter & Co., Berlin (2001)
Bennewitz, C., Brown, B. M., Weikard, R.: Inverse spectral and scattering theory for the half-line left-definite Sturm–Liouville problem. SIAM J. Math. Anal. 40(5), 2105–2131 (2008/09)
Bennewitz, C., Brown, B.M., Weikard, R.: Scattering and inverse scattering for a left-definite Sturm–Liouville problem. J. Differ. Equ. 253(8), 2380–2419 (2012)
Bessonov, R.V., Denisov, S.A.: A spectral Szegő theorem on the real line. Adv. Math. 359, 106851 (2020)
Bogachev, V.I.: Measure Theory, vol. I. Springer, Berlin (2007)
Buslaev, V.S., Faddeev, L.D.: On formulas for traces of a Sturm–Liouville singular differential operator. Dokl. Akad. Nauk SSSR 132(1), 13–16 (1960)
Bressan, A., Constantin, A.: Global conservative solutions of the Camassa–Holm equation. Arch. Ration. Mech. Anal. 183(2), 215–239 (2007)
Camassa, R., Holm, D.: An integrable shallow water equation with peaked solitons. Phys. Rev. Lett. 71(11), 1661–1664 (1993)
Chen, M., Liu, S., Zhang, Y.: A two-component generalization of the Camassa–Holm equation and its solutions. Lett. Math. Phys. 75(1), 1–15 (2006)
Constantin, A.: On the scattering problem for the Camassa–Holm equation. R. Soc. Lond. Proc. Ser. A Math. Phys. Eng. Sci. 457(2008), 953–970 (2001)
Constantin, A., Ivanov, R.I.: Poisson structure and action-angle variables for the Camassa–Holm equation. Lett. Math. Phys. 76, 93–108 (2006)
Constantin, A., Ivanov, R.I.: On an integrable two-component Camassa–Holm shallow water system. Phys. Lett. A 372(48), 7129–7132 (2008)
Deift, P., Killip, R.: On the absolutely continuous spectrum of one-dimensional Schrödinger operators with square summable potentials. Commun. Math. Phys. 203(2), 341–347 (1999)
Denisov, S.A., Kiselev, A.: Spectral properties of Schrödinger operators with decaying potentials, in: F. Gesztesy et. al., “Spectral Theory and Mathematical Physics: A Festschrift in Honor of Barry Simon’s 60th Birthday. Part 2”, Proc. Symp. Pure Math. 76, pp. 565–589 (2007)
Eckhardt, J.: Direct and inverse spectral theory of singular left-definite Sturm–Liouville operators. J. Differ. Equ. 253(2), 604–634 (2012)
Eckhardt, J.: The inverse spectral transform for the conservative Camassa–Holm flow with decaying initial data. Arch. Ration. Mech. Anal. 224(1), 21–52 (2017)
Eckhardt, J., Grunert, K.: A Lagrangian view on complete integrability of the two-component Camassa–Holm system. J. Integr. Syst. 2(1), xyx002 (2017)
Eckhardt, J., Kostenko, A.: An isospectral problem for global conservative multi-peakon solutions of the Camassa–Holm equation. Commun. Math. Phys. 329(3), 893–918 (2014)
Eckhardt, J., Kostenko, A.: The inverse spectral problem for indefinite strings. Invent. Math. 204(3), 939–977 (2016)
Eckhardt, J., Kostenko, A.: Quadratic operator pencils associated with the conservative Camassa–Holm flow. Bull. Soc. Math. France 145(1), 47–95 (2017)
Eckhardt, J., Kostenko, A.: The classical moment problem and generalized indefinite string. Integr. Equ. Oper. Theory 90, 2–23 (2018)
Eckhardt, J., Kostenko, A., Malamud, M., Teschl, G.: One-dimensional Schrödinger operators with \(\delta ^{\prime }\)-interactions on Cantor-type sets. J. Differ. Equ. 257, 415–449 (2014)
Eckhardt, J., Teschl, G.: Sturm–Liouville operators with measure-valued coefficients. J. Anal. Math. 120(1), 151–224 (2013)
Faddeev, L. D., Zakharov, V. E.: Korteweg–de Vries equation: A completely integrable Hamiltonian system, Funktsional. Anal. i Prilozhen. 5, no. 4 (1971), 18–27; English transl.: Funct. Anal. Appl. 5, no. 4, 280–287 (1971)
Fleige, A.: Spectral theory of indefinite Krein–Feller differential operators, Mathematical Research, 98. Akademie Verlag, Berlin (1996)
Grunert, K., Holden, H., Raynaud, X.: Global solutions for the two-component Camassa–Holm system. Commun. Partial Differ. Equ. 37(12), 2245–2271 (2012)
Hewitt, E., Stromberg, K.: Real and Abstract Analysis. Springer, New York (1965)
Holden, H., Raynaud, X.: Global conservative solutions of the Camassa–Holm equation—a Lagrangian point of view. Comm. Partial Differ. Equ. 32(10–12), 1511–1549 (2007)
Holm, D.D., Ivanov, R.I.: Two-component CH system: inverse scattering, peakons and geometry. Inverse Probl. 27(4), 045013 (2011)
Hughes, D., Schmidt, K.M.: Absolutely continuous spectrum of Dirac operators with square-integrable potentials. Proc. R. Soc. Edinb. Sect. A 144(3), 533–555 (2014)
Kato, T.: Perturbation Theory for Linear Operators. Classics in Mathematics, Springer, Berlin (1995)
Killip, R.: Perturbations of one-dimensional Schrödinger operators preserving the absolutely continuous spectrum. Int. Math. Res. Not. IMRN 2002(38), 2029–2061 (2002)
Kostenko, A.: The similarity problem for indefinite Sturm–Liouville operators and the HELP inequality. Adv. Math. 246, 368–413 (2013)
Kostenko, A., Malamud, M.: 1-D Schrödinger operators with local point interactions: a review. In: H. Holden, et al. (Eds.), Spectral Analysis, Integrable Systems, and Ordinary Differential Equations. Proc. Sympos. Pure Math., 87, Amer. Math. Soc., Providence, pp. 235–262 (2013)
Kostenko, A., Malamud, M.: Spectral theory of semibounded Schrödinger operators with \(\delta ^{\prime }\)-interactions. Ann. Henri Poincaré 15(3), 501–541 (2014)
Molchanov, S., Novitskii, M., Vainberg, B.: First KdV integrals and absolutely continuous spectrum for 1-D Schrödinger operator. Commun. Math. Phys. 216(1), 195–213 (2001)
Rosenblum, M., Rovnyak, J.: Topics in Hardy Classes and Univalent Functions. Birkhäuser Verlag, Basel (1994)
Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill Book Co., New York (1987)
Rybkin, A.: On the spectral \(L_2\) conjecture, \(3/2\)-Lieb–Thirring inequality and distributional potentials. J. Math. Phys. 46(12), 123505 (2005)
Simon, B.: Schrödinger operators in the twenty-first century. In: Fokas, A., Grigor’yan, A., Kibble, T., Zegarlinski, B. (eds.) Mathematical Physics 2000, pp. 283–288. Imperial College Press, London (2001)
Simon, B.: Tosio Kato’s work on non-relativistic quantum mechanics: part 2. Bull. Math. Sci. 9(1), 1950005 (2019)
Acknowledgements
We gratefully acknowledge the kind hospitality at the State Key Laboratory of Scientific and Engineering Computing (LSEC), Academy of Mathematics and Systems Science, Chinese Academy of Sciences in Beijing, China during a stay in July 2018, where a part of this work was done.
Funding
Open access funding provided by University of Vienna.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jan Derezinski.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research supported by the Austrian Science Fund (FWF) under Grants No. P29299 (J.E.) and P28807 (A.K.) as well as by the Slovenian Research Agency (ARRS) under Grant No. J1-9104 (A.K.).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Eckhardt, J., Kostenko, A. On the Absolutely Continuous Spectrum of Generalized Indefinite Strings. Ann. Henri Poincaré 22, 3529–3564 (2021). https://doi.org/10.1007/s00023-021-01072-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-021-01072-x