Abstract
In this paper we develop tools to study within a family of non-selfadjoint operators \(L(\varphi )\) depending on a parameter \(\varphi \) in a real Hilbert space, those with (partially) simple spectrum. As a case study we consider the Zakharov–Shabat operators \(L(\varphi )\) appearing in the Lax pair of the focusing NLS on the circle. In particular, the main result implies that the set of potentials \(\varphi \) of Sobolev class \(H^N\), \(N\ge 0\), so that all non real eigenvalues of \(L(\varphi )\) are simple, is path connected and dense.
Similar content being viewed by others
Notes
A function \(F : V\rightarrow \mathbb C\), \(V\subseteq i L^2_r\), is called analytic if it is the restriction to \(V=V_c\cap i L^2_r\) of an analytic function \(\tilde{F} : V_c\rightarrow \mathbb C\) where \(V_c\) is an open set in \(L^2_c\).
The periodic eigenvalues are counted with their algebraic multiplicities.
References
Ablowitz, M., Ma, Y.: The periodic cubic Schrödinger equation. Stud. Appl. Math. 65, 113–158 (1981)
Arnold, V.: On matrices depending on parameters. Russ. Math. Surv. 26, 29–44 (1968)
Arnold, V.: Modes and quasimodes. Funct. Anal. Appl. 6, 94–101 (1972)
Burghelea, D., Kappeler, T.: Multiplicities of the eigenvalues of the discrete Schrödinger equation in any dimension. Proc. Am. Math. Soc. 102(2), 255–260 (1988)
Deift, P.: Some open problems in random matrix theory and the theory of integrable systems. In: Baik, J. et al. (eds.) Integrable systems and random matrices: in Honor of Percy Deift, contemporary mathematics, American Math. Soc., Providence, vol. 458, pp. 419–420 (2008)
Friedland, S., Robin, J., Sylvester, J.: On the crossing rule. Commun. Pure Appl. Math. 37, 19–37 (1984)
Grébert, B., Kappeler, T.: Symmetries of the nonlinear Schrödinger equation. Bull. Soc. Math. France 130(4), 603–618 (2002)
Grébert, B., Kappeler, T.: The defocusing NLS equation and its normal form. In: Preprint series of the Institute of Mathematics, University of Zürich, no. 7 (2013). To appear in Lectures in Mathematics, EMS
Kato, T.: Perturbation theory for linear operators, reprint of the 1980 Edition. Springer (1966)
Kappeler, T., Lohrmann, P., Topalov, P., Zung, N.: Birkhoff coordinates for the focusing NLS-equation. Commun. Math. Phys. 285, 1087–1107 (2009)
Kendig, K.: Elementary algebraic geometry. Springer (1977)
Lax, P.: The multiplicities of eigenvalues. Bull. Am. Math. Soc. 6, 213–215 (1982)
Li, Y., McLaughlin, D.: Morse and Melnikov functions for NLS Pde’s. Commun. Math. Phys. 162, 175–214
Mityagin, B.: Spectral expansions of one-dimensional periodic Dirac operators. Dyn PDE 1(2), 125–191 (2004)
von Neumann, J., Wigner, E.: Über das Verhalten von Eigenwerten bei adiabatischen Prozessen. Phys. Zeitschrift 30, 467–479 (1929)
Nirenberg, L.: An extended interpolation inequality. Ann. Sci. Norm. Sup. di Pisa. Ser. 6. 20, 733–737 (1966)
Acknowledgments
We would like to thank the referee for his many thoughtful suggestions leading to significant improvements of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
T. Kappeler was supported in part by the Swiss National Science Foundation.
P. Lohrmann was supported in part by the Swiss National Science Foundation and the European Research Council under FP7 “New connections between dynamical systems and Hamiltonian PDE with small divisor phenomena”.
P. Topalov was supported in part by NSF Grant DMS-0901443.
Appendices
Appendix A: \(L^2\)-gradients of averaging functions
In this appendix, in a quite general set-up, we state and prove a theorem on multiple roots of characteristic functions applied in the proofs of Theorem 3.1 and Theorem 3.2.
Theorem 5.1
Let \(F, \chi : {\mathbb C} \times L^2_c \rightarrow {\mathbb C}\) be analytic maps and \(\psi \) an arbitrary but fixed element in \(L^2_c\). Assume that at \(z_\psi \in {\mathbb C}, \ \chi (\cdot , \psi )\) has a zero of order \(m \ge 1\). Then the following statements hold:
-
(i)
For any \(\varepsilon > 0\) sufficiently small there exists an open neighborhood \(V \subseteq L^2_c\) of \(\psi \) such that for any \(\varphi \in V\), \(\chi (\cdot ,\varphi )\) has exactly \(m\) roots \(z_1(\varphi ), \ldots , z_m(\varphi )\), listed with their multiplicities, in the open disk \(D^\varepsilon \equiv D ^\varepsilon (z_\psi ):= \{ \lambda \in {\mathbb C}\,|\,|\lambda - z_\psi |< \varepsilon \}\) and no roots on the boundary \(\partial D^\varepsilon \) of \(D^\varepsilon \).
-
(ii)
The functional \(F_\chi : V \rightarrow {\mathbb C}\), defined by
$$\begin{aligned} F_\chi (\varphi ):= \sum ^m_{j=1} F(z_j(\varphi ), \varphi ), \end{aligned}$$is analytic and at \(\varphi = \psi \)
$$\begin{aligned} \partial F_\chi =\Big ( m\,\partial F + \sum ^m_{j=0} a_j \partial ^{m-j}_\lambda \partial \chi \Big )\Big \arrowvert _{\lambda = z_\psi } \end{aligned}$$where \(a_j \in {\mathbb C}, \ 0 \le j \le m\), \(\partial \) denotes the \(L^2\)-gradient with respect to \(\varphi \), and \(\partial _\lambda \) denotes the derivative with respect to \(\lambda \). If \(F(\cdot , \psi )\) has a zero of order \(k \ge 1\) at \(z_\psi \), then \(a_0 = \cdots = a_{k-1} = 0\); if \(k = m\), then
$$\begin{aligned} a_m = - \frac{1}{m!}\,\partial ^m_\lambda \Big (F(\lambda , \psi ) \frac{(\lambda - z_\psi )^{m+1} \partial _\lambda \chi (\lambda , \psi )}{\chi (\lambda , \psi )^2}\Big ) \Big \arrowvert _{\lambda = z_\psi } \not = 0 . \end{aligned}$$
Proof
-
(i)
By the analyticity of \(\chi (\cdot , \psi )\) there exists \(\varepsilon > 0\) so that \(\chi (\cdot , \psi )\) does not vanish on \(\overline{D^\varepsilon }{\setminus }\{z_\psi \}\). By the analyticity of \(\chi \) it then follows that there exists a neighborhood \(V\) of \(\psi \) in \(L^2_c\) so that for any \(\varphi \in V\), \(\chi (\cdot ,\varphi )\) does not vanish in a small tubular neighborhood of \(\partial D^\varepsilon \) in \(\mathbb C\). One then concludes by the argument principle that for any \(\varphi \in V\), \(\chi (\cdot ,\varphi )\) has precisely \(m\) zeros in \(D^\varepsilon \), when counted with their multiplicities.
-
(ii)
Again by the argument principle, for any \(\varphi \in V\) one has
$$\begin{aligned} F_\chi (\varphi ) = \frac{1}{2\pi i} \int \limits _{\partial D^\varepsilon } F(\lambda , \varphi )\,\frac{\dot{\chi }(\lambda , \varphi )}{\chi (\lambda , \varphi )}\,d\lambda \end{aligned}$$(5.1)where \(\dot{\chi }= \partial _{\lambda }\chi \). Note that the integrand in (5.1) is analytic on \(\partial D^\varepsilon \times V\), whence \(F_\chi \) is analytic on \(V\). Recall from Sect. 2 that for \(g = (g_1, g_2)\), \(h= (h_1, h_2) \in L^2_c\), we defined
$$\begin{aligned} \langle g, h \rangle _r = \int \limits ^1_0 (g_1 h_1 + g_2 h_2) dx . \end{aligned}$$Then, by the definition of the \(L^2\)-gradient, one has at \(\varphi = \psi \),
$$\begin{aligned} \langle \partial F_\chi , h \rangle _r&= \frac{d}{ds} \Big \arrowvert _{s=0} F_\chi (\psi + sh) \\&= \frac{1}{2\pi i} \int _{\partial D^\varepsilon }\frac{d}{ds}\Big |_{s=0} \left( F(\lambda , \psi + sh) \frac{\dot{\chi }(\lambda , \psi + sh)}{\chi (\lambda , \psi + sh)} \right) d\lambda . \end{aligned}$$
By the product rule one gets at \(\varphi = \psi \)
Hence \(\partial F_\chi \) is given by
Here we used that \(\partial \dot{\chi }=(\partial \chi )^\cdot \) and that \(\partial F, \partial \chi : {\mathbb C} \rightarrow L^2_c\) are analytic and hence in particular, the maps \(\partial F, \partial \chi , (\partial \chi )^\cdot : {\mathbb C} \rightarrow L^2_c\) are continuous. Furthermore, as by assumption, \(\chi (\cdot , \psi )\) has a zero of order \(m\) at \(\lambda = z_\psi \), the argument principle implies that, at \(\varphi = \psi \),
Moreover, \(\frac{(\lambda - z_\psi )^mF}{\chi }(\partial \chi )^\cdot \) and \(\frac{(\lambda - z_\psi )^{m+1} F\dot{\chi }}{\chi ^2}\partial \chi \) are both analytic functions on \(\overline{D^\varepsilon }\) with values in \(L^2_c\). Hence by Cauchy’s integral formula,
and
Thus \(\partial F_\chi \) at \(\varphi = \psi \) is given by
The claimed formula for \(\partial F_\chi \) at \(\varphi = \psi \) then follows from the Leibniz rule. If \(F(\cdot , \psi )\) has a zero of order \(k \ge 1\) at \(\lambda = z_\psi \), then at \(\varphi = \psi \)
i.e., \(a_j = 0\) for \(0 \le j \le k - 1\). If \(k = m\), then
where in this case
\(\square \)
Finally we record a few simple facts from linear algebra, needed in Sect. 3. Consider \(f = (f_1, f_2)\) in \(L^2_c\) and denote by \(\ell _f\) the \({\mathbb R}\)-linear functional on the \({\mathbb R}\)-vector space \(iL^2_r\) induced by \(f\),
where
Write \(\ell _f (h)\) as \(\ell _{f,R}(h) + i \ell _{f,I}(h)\) where \(\ell _{f,R}\) and \(\ell _{f,I}\) are the elements in the dual \({\mathcal L}(iL^2_r, {\mathbb R})\) of \(iL^2_r\) given by
They can be expressed in terms of \(f\) and \(\hat{f} = - (\overline{f}_2, \overline{f}_1)\) as follows
As the subspace \(iL^2_r\subseteq L^2_c\) is the subset of all elements \(\varphi \in L^2_c\) satisfying \(\varphi = \hat{\varphi }\) it follows that \(\frac{f + \hat{f}}{2}\) and \(\frac{f - \hat{f}}{2i}\) are in \(iL^2_r\). Using that \(f \mapsto \hat{f}\) is an involution and that for any \(c\) in \({\mathbb C}\), \(\widehat{(c f)} = \overline{c} \hat{f}\), the following lemma can be proved in a straightforward way.
Lemma 5.1
-
(i)
\(\ell _{f,R}\), \(\ell _{f,I}\) are \({\mathbb R}\)-linearly independent iff \(\frac{f + \hat{f}}{2}, \frac{f - \hat{f}}{2i}\) are \({\mathbb R}\)-linearly independent.
-
(ii)
\(\ell _{f,R}\), \(\ell _{f,I}\) are \({\mathbb R}\)-linearly independent iff \(\frac{f + \hat{f}}{2}\), \(\frac{f - \hat{f}}{2i}\) are \({\mathbb C}\)-linearly independent.
-
(iii)
For any \(\lambda \in {\mathbb C}{\setminus }\{ 0\}\), \(\ell _{f,R}\), \(\ell _{f,I}\) are \({\mathbb R}\)-linearly independent iff \(\ell _{\lambda f,R}\), \(\ell _{\lambda f,I}\) are \(\mathbb R\)-linearly independent.
-
(iv)
\(\ell _{f,R}, \ell _{f,I}\) are \({\mathbb R}\)-linearly dependent iff there exists \(\lambda \in {\mathbb C} \backslash \{ 0 \} \) so that
$$\begin{aligned} \frac{\lambda f + \widehat{(\lambda f)}}{2} = 0 . \end{aligned}$$
Appendix B: Examples
In this appendix we consider potentials in \(iL^2_r\) of the form \((a \in \mathbb C, k \in \mathbb Z\))
Most of the results presented in this section can be found in [13]. We include them for the convenience of the reader. First we show that we can easily relate various spectra of \(L(\varphi _{a,k})\) with the corresponding ones for \(k=0\). More generally, for an arbitrary potential \(\varphi \in L^2_c\), various spectra of \(L(\varphi _1 e^{2\pi i k x}, \varphi _2e^{-2\pi i k x})\) are related to the corresponding spectra of \(L(\varphi _1, \varphi _2)\) by the following lemma which can be verified in a straightforward way.
Lemma 6.1
Assume that \(f=(f_1,f_2)\) is a solution of \(L(\varphi )f= \lambda f\) where \(\varphi \in L^2_c\) is arbitrary. Then \((f_1 e^{i \pi k x}, f_2e^{- i \pi k x} )\) is a solution of
Corollary 6.1
For any \(\varphi \in L^2_c\) and \(k \in \mathbb Z\), the fundamental solution
of \(L(\varphi _1 e^{2\pi i k x}, \varphi _2e^{-2\pi i k x})\) is related to the fundamental solution \(M(x, \lambda )\) of \(L(\varphi _1, \varphi _2)\) by
Corollary 6.1 yields the following application.
Proposition 6.2
For any \(\varphi =(\varphi _1, \varphi _2) \in L^2_c\) and any \(k \in \mathbb Z\),
and
(with multiplicities).
Proof
Recall that the characteristic functions \(\chi _{p}\) and \(\chi _{D}\) are given by
By Corollary 6.1,
and
As \({\mathop {\mathrm{spec}}\nolimits _{p}} (L(\varphi _1 e^{2\pi i k x}, \varphi _2e^{-2\pi i k x}))\) and \({\mathop {\mathrm{spec}}\nolimits _{D}} (L(\varphi _1 e^{2\pi i k x}, \varphi _2e^{-2\pi i k x}))\) are the zero sets (with multiplicities) of \(\chi _{p}(\lambda , (\varphi _1 e^{2\pi i k x}, \varphi _2e^{-2\pi i k x}))\) respectively \(\chi _{D}(\lambda , (\varphi _1 e^{2\pi i k x}, \varphi _2e^{-2\pi i k x}))\), the claimed identities follow. \(\square \)
In view of Proposition 6.2, instead of the potentials \(\varphi _{a,k}\) defined by (6.1), it suffices to consider the case \(k=0\),
In a straightforward way one verifies the following
Lemma 6.2
For any \(a \in \mathbb C\),
where
Remark 6.3
Note that \(\kappa \) depends only on the modulus \(|a|\) of \(a\) and that the right hand side of (6.2) does not depend on the choice of the sign of the root \(\sqrt{\lambda ^2+|a|^2}\) as cosine is an even function whereas sine is odd. Furthermore, the right hand side of (6.2) is well defined at \(\kappa =0\) as \(\frac{\sin (\kappa x)}{ \kappa }=x+O(\kappa ^2)\) .
Periodic spectrum of \(L(\varphi _a)\): By Lemma 6.2 one has \(\Delta (\lambda , \varphi _a)=2\cos \kappa (\lambda )\) and hence the characteristic function \(\chi _p(\lambda ,\varphi _a)\) of \(L(\varphi _a)\) is given by
The periodic eigenvalues of \(L(\varphi _a)\) are thus given by the \(\lambda \)’s satisfying \(\kappa (\lambda )=n \pi \) for some \(n \in \mathbb Z\), or
The monodromy matrix \(\grave{M}\) for such a \(\lambda \) is given by
when \(n\ne 0\) and by
when \(n=0\). It is convenient to list the periodic eigenvalues not in lexicographic ordering, but rather use the integer \(n \in \mathbb Z\) in (6.5) as an index. When listed in this way, we denote the periodic eigenvalues by \(\hat{\lambda }_n ^\pm \), \(n \in \mathbb Z\), which are defined as follows. For any \(n \in \mathbb Z\) with \(|n \pi | > |a|\) denote
where here and in the sequel \(\sqrt{x}\) denotes the branch of the square root on \(\mathbb {C}{\setminus }\mathbb {R}_{\le 0}\) determined by \(\sqrt{1}=1\). In view of (6.6), \(\hat{\lambda }_n^+\) defined above is a periodic eigenvalue of \(L(\varphi _a)\) of geometric multiplicity two. Using (6.3) and (6.4) one easily sees that \(\hat{\lambda }^+_n\) has algebraic multiplicity two. Further, for any \(n \in \mathbb Z\) with \(0<|n \pi | < |a|\) let
Again, in view of (6.6), for \(n \in {\mathbb Z}\) with \(0 < |n\pi | < |a|\), \(\hat{\lambda }_n^+\) is a periodic eigenvalue of \(L(\varphi _a)\) of geometric multiplicity two and, by (6.3) and (6.4), its algebraic multiplicity is two. Next note that for \(n = 0\), one has \(\hat{\lambda }^\pm _0 = \pm i|a|\). In view of (6.7), for \(a \not = 0\) the geometric multiplicity of \(\hat{\lambda }_0^+\) as well as of \(\hat{\lambda }_0^-\) equals one. In view of (6.3) and (6.4) the algebraic multiplicity of \(\hat{\lambda }_0^+\) and the one of \(\hat{\lambda }_0^-\) is one. For \(a \not = 0\), the eigenfunctions corresponding to \(\hat{\lambda }_0^+\) and \(\hat{\lambda }_0^-\) are the constant vectors \(\left( a, i|a| \right) \) resp. \(\left( a, -i|a| \right) \). We then obtain the following result, used in the proof of Theorem 3.1.
Lemma 6.3
For any \(k \in {\mathbb Z}\), consider the potential \(\varphi _{a,-k} = (ae^{-2 i\pi k x}, -\overline{a}e^{2i \pi k x})\). Then \(\hat{\lambda }^\pm _0 = k \pi \pm i|a|\) are periodic eigenvalues of \(L(\varphi _{a,-k})\) of algebraic multiplicity one.
In the special case where \(|a|=n_a \pi \) for some \(n_a \in \mathbb Z_{>0}\) set \(\hat{\lambda }^{\pm }_{\pm n_a}=0\). The above computations yield
Corollary 6.4
-
(i)
For \(a \in \mathbb C\), \(\varphi _a\) is a standard potential iff \(|a|< \pi \).
-
(ii)
For \(a\in \mathbb C\), any multiple periodic eigenvalue \(\lambda \) of \(L(\varphi _a)\) satisfies \(m_p(\lambda )=2\) and \(m_g(\lambda )=2\) iff \(|a|>\pi \) and \(|a|\ne \pi \mathbb Z\).
-
(iii)
If \(a \in \mathbb C {\setminus } \left\{ 0 \right\} \) satisfies \(|a| \in \pi \mathbb Z\), then \(0\) is a periodic eigenvalue of \(L(\varphi _a)\) of algebraic multiplicity four.
Isospectral set \(\text {Iso}_0(\varphi _a)\): Denote by \(\text {Iso}_0(\varphi _a)\) the connected component containing \(\varphi _a\) of the set \(\text {Iso}(\varphi _a)\) of all potentials \(\varphi \in iL^2_r\) with \({\mathop {\mathrm{spec}}\nolimits _{p}}L(\varphi )={\mathop {\mathrm{spec}}\nolimits _{p}}L(\varphi _a)\). By the computations above one sees that
For \(|a|\) sufficiently small, \(\varphi _a\) is in the domain of the Birkhoff map introduced in Theorem 1.1 in [10]. As the \(L_2\)-norm is a spectral invariant it then follows that, for \(|a|\) sufficiently small, all of \(\text {Iso}(\varphi _a)\) is contained in this domain. According to the computations of \({\mathop {\mathrm{spec}}\nolimits _{p}} L(\varphi _a)\) it then follows from Theorem 1.1 in [10] and its proof that \(\text {Iso}(\varphi _a)\) is homeomorphic to a circle. As a consequence
Most likely the latter identities remain true for any \(|a|< \pi \), but we have not verified this. For \(|a|>\pi \), Li and McLaughlin observed in [13] that \(\text {Iso}_0(\varphi _a)\) is larger than \(\{|a| e^{i \alpha } \, |\, \alpha \in \mathbb R \}\). Indeed, let \(\pi < |a| < 2 \pi \). Then \(\hat{\lambda }^+_{\pm 1}= \pm i \sqrt{|a|^2-\pi ^2}\) are periodic eigenvalues of geometric multiplicity two. In subsection 4.3 of [13], using Bäcklund transformation techniques, formulas of solutions of fNLS are presented which evolve on \(\text {Iso}_0(\varphi _a)\) and depend explicitly on \(x\). They are parametrized by the punctured complex plane \(\mathbb C^*:=\left\{ e^{\rho }e^{i\beta }\right\} \) with coordinates \((\rho , \beta ) \in \mathbb R \times \mathbb R / 2 \pi \mathbb Z\), whereas the angle variable \(\alpha \) in \(\{|a| e^{i \alpha } \, |\, \alpha \in \mathbb R \}\) is proportional to the time \(t\). As \(t\rightarrow \pm \infty \) these solutions approach the \(x\) independent solutions evolving on \(\{|a| e^{i \alpha } \, |\, \alpha \in \mathbb R \}\). Due to the trace formulas ([13], Sect. 2.4), on the orbits of these solutions, the periodic eigenvalues \(\hat{\lambda }^+_{\pm 1}\) have geometric multiplicity one.
Dirichlet spectrum of \(L(\varphi _a)\): By Lemma 6.2, the characteristic function of the Dirichlet spectrum of \(L(\varphi _a)\) is given by
The Dirichlet eigenvalues of \(L(\varphi _a)\) are thus given by the \(\lambda \)’s satisfying
for some \(n \in \mathbb Z{\setminus } \left\{ 0\right\} \) or
Note that by the definition of the Dirichlet boundary conditions, any Dirichlet eigenvalue is of geometric multiplicity one. It is convenient to list the Dirichlet eigenvalues not in lexicographic ordering, but rather use as in the case of periodic eigenvalues the integer \(n\) in (6.9) as an index. When listed in this way, we denote the Dirichlet eigenvalues by \(\hat{\mu }_n\), \(n \in \mathbb Z\), which are defined as follows. For all \(n \in \mathbb Z\) with \(|n\pi |>|a|\) denote
From (6.8) it follows that \(\hat{\mu }_n\) has algebraic multiplicity one. For all \(n \in \mathbb Z\) with \(0<|n \pi | < |a|\) let
By the same arguments as in the case \(|n\pi |> |a|\), the algebraic multiplicity of \(\hat{\mu }_n\) is equal to one iff \(\hat{\mu }_n+ \frac{\bar{a} - a}{2} \not = 0\) and two otherwise. For \(n=0\) denote
Again, by the same arguments, \(\hat{\mu }_0\) has algebraic multiplicity equal to one if
or two if
or three if
In the special case where \(|a|= n_a\pi \) for some \(n_a \in \mathbb Z_{>0}\) one has \(\hat{\mu }_{n_a}=\hat{\mu }_{-n_a}=0\). The algebraic multiplicity of \(\hat{\mu }_{n_a}\) is two (\(\mathrm{Im} \,(a) \not = 0\)) or three (\(\mathrm{Im} \,(a) =0\)). These computations lead to the following
Corollary 6.5
Let \(a \in \mathbb C\). Then the following statements hold:
-
(i)
If \(|a|< \pi \), then the Dirichlet spectrum of \(L(\varphi _a)\) is simple.
-
(ii)
If \(|a| \not \in \pi \mathbb Z_{>0}\), then the only possible multiple Dirichlet eigenvalue is \(i \mathrm{Im} \,(a)\). It is at most of algebraic multiplicity two.
-
(iii)
If \(|a| \in \pi \mathbb Z_{>0}\), then \(0\) is a Dirichlet eigenvalue of algebraic multiplicity two or three.
-
(iv)
For any \(0 < n \pi < |a| \) or \(n \pi > |a|\), \(\hat{\mu }_n\) is a periodic eigenvalue of geometric and algebraic multiplicity two whereas for \(|a|= n \pi \in \pi \mathbb Z_{> 0}\), \(\hat{\mu }_n=0\) is a periodic eigenvalue of algebraic multiplicity \(4\).
Appendix C: Algebraic multiplicities
In this Appendix we prove that the algebraic multiplicity \(m_p(\lambda )\equiv m_p(\lambda ,\varphi )\) of a periodic eigenvalue \(\lambda \) of the ZS operator \(L(\varphi )\) with \(\varphi \in L^2_c\) equals its multiplicity \(m_r(\lambda )\equiv m_r(\lambda ,\varphi )\) as a root of the characteristic function \(\chi _p(\cdot ,\varphi )\). Throughout the appendix we use the notation introduced in Sect. 2. First we note that by functional calculus, the algebraic multiplicity \(m_p(\lambda )\) is equal to the dimension of the subspace of \({\mathop {\mathrm{dom}}\nolimits _{p}} L(\varphi )\), given by the image of the Riesz projector \(\Pi _\lambda (\varphi )\),
where \(L_p(\varphi )\) denotes the operator \(L(\varphi )\) with domain \({\mathop {\mathrm{dom}}\nolimits _{p}} L(\varphi )\), \(B(\lambda )\) denotes the open disk centered at \(\lambda \) with sufficiently small radius so that \(\overline{B(\lambda )}\cap {\mathop {\mathrm{spec}}\nolimits _{p}} L(\varphi )=\{\lambda \}\), and the circle \(\partial B(\lambda )\) is counterclockwise oriented. By Proposition 2.1, \(\lambda \) is a root of \(\chi _p(\cdot ,\varphi )\).
Lemma 7.1
For any periodic eigenvalue \(\lambda \) of \(L(\varphi )\) with \(\varphi \in L^2_c\), \(m_r(\lambda )=m_p(\lambda )\).
Proof
First, note that a direct computation shows that the statement of the Lemma holds for the zero potential \(\varphi =0\). A simple perturbation argument involving Proposition 2.1, Lemma 2.3, the argument principle, and the properties of the Riesz projector (see the arguments below), then shows that the Lemma continues to hold in an open neighborhood of zero in \(L^2_c\).
Now, consider the general case. Take \(\varphi \in L^2_c\). As \([0,\varphi ]:=\{s\varphi \,|\, 0\le s \le 1 \}\) is compact in \(L^2_c\) there exists a connected open neighborhood \(W\) of \([0, \varphi ]\) in \(L^2_c\) so that the integer \(R \ge 1\) of Lemma 2.3 can be chosen independently of \(\psi \in W\). First consider the periodic eigenvalues in \(B_R\). For \(\psi \in W\) denote by \(\Pi _R(\psi )\) the Riesz projector
Note that by functional calculus
where \(\mathcal {R}_\lambda (\varphi )\) is the root space corresponding to \(\lambda \). Moreover, standard arguments show that \(W\rightarrow {\mathcal L}(L^2_c,L^2_c)\), \(\psi \mapsto \Pi _R(\psi )\), is analytic. In particular, by the general properties of the projection operators the dimension of \(\mathrm{Image}\,\Pi _R(\psi )\) is independent on \(\psi \in W\) (see [9], Chapter III, §3). Consider the operator,
One easily sees that \(W\rightarrow {\mathcal L}(L^2_c,L^2_c)\), \(\psi \mapsto A(\psi )\), is analytic. By functional calculus
and hence
Hence the polynomial
is well defined, analytic in \(\mathbb C \times W\), and has leading coefficient one. By (7.1), the roots of \(Q(\cdot ,\psi )\) are precisely the periodic eigenvalues of \(L(\psi )\) in \(B_R\) counted with their multiplicities. On the other hand, define
Note that \(P(\lambda , \psi )\) is a polynomial in \(\lambda \) of degree \(4R+2\) with leading coefficient \(1\). By the argument principle and the last statement of Proposition 2.1, \(P(\lambda ,\psi )\) is analytic in \(\mathbb C \times W\). Hence, the coefficients of \(Q(\cdot ,\psi )\) and \(P(\cdot ,\psi )\) are analytic on \(W\). As \(Q(\cdot ,\psi )=P(\cdot ,\psi )\) in an open neighborhood of zero in \(L^2_c\) we get by analyticity that
for any \(\psi \in W\). In particular, the Lemma holds also for any \(\lambda \in B_R\cap {\mathop {\mathrm{spec}}\nolimits _{p}} L(\psi )\). The same argument shows that the statement of the Lemma holds also for any \(\lambda \in D_n\cap {\mathop {\mathrm{spec}}\nolimits _{p}} L(\psi )\), \(|n|>R\). \(\square \)
Note that Lemma 1.1, stated in the introduction, is an immediate consequence of Lemma 2.3 and Lemma 7.1. Indeed, by Lemma 7.1, for any \(\varphi \in L^2_c\), the roots of \(\chi _p(\cdot ,\varphi )\) coincide with the eigenvalues of \(L_p(\varphi )\), together with the corresponding multiplicities. Lemma 1.1 thus follows from Lemma 2.3.
Rights and permissions
About this article
Cite this article
Kappeler, T., Lohrmann, P. & Topalov, P. Generic non-selfadjoint Zakharov–Shabat operators. Math. Ann. 359, 427–470 (2014). https://doi.org/10.1007/s00208-013-1004-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-013-1004-4