1991 Mathematics Subject Classification. Primary 47B36, 39A70; Secondary 34L25. The work was partially supported by INTAS grant no. 03-51-6637.
<ph f="cmti"> </ph><ph f="cmbx">The discrete spectrum for complex perturbations of periodic Jacobi matrices</ph>

### Leonid Golinskii

Institute for Low Temperature Physics and Engineering, 47, Lenin Ave, Kharkiv, Ukraine E-mail address : egorova@ilt.kharkov.ua Institute for Low Temperature Physics and Engineering, 47, Lenin Ave, Kharkiv, Ukraine E-mail address : golinskii@ilt.kharkov.ua
• Abstract. We study spectrum inclusion regions for complex Jacobi matrices which are compact perturbations of real periodic Jacobi matrix. The condition sufficient for the lack of discrete spectrum for such matrices is given.

1 Introduction

The main object under investigation is an infinite complex Jacobi matrix $J$  , which is a compact perturbation of a real symmetric periodic matrix ${J}_{0}$  of period $N$  (background). The spectrum of the background as an operator in ${\ell }^{2}\left(\mathbb{N}\right)$  is known to be a union of at most $N$  bands divided by gaps, each of which may carry at most one eigenvalue. Since compact perturbations preserve the continuous spectrum we are primarily interested in the location of the discrete spectrum of $J$  . According to the general results of operator theory for small in norm perturbations the spectrum of perturbed operator is settled in a small vicinity of the spectrum of the background.
A specific feature of the given situation is that the spectrum is accumulated near the edges of bands and near the discrete spectrum of the background. Whereas a qualitative picture holds for any value of $N$  , we find certain quantitative bounds for the size of domain where the discrete spectrum lives only for $N=2$  . In this case we also show that the discrete spectrum of $J$  is empty provided the spectrum of the background is pure continuous and the first moment of perturbation is small enough.
We proceed as follows. In Section 2 we present some basic facts from the spectral theory of periodic Jacobi matrices. The key tool of our investigation the discrete integral equation for the Jost solution of the Jacobi difference equation (three term recurrence relation) for the perturbed matrix $J$  is introduced in Section 3. In Section 4 we describe the algorithm of reconstruction of a 2-periodic matrix from its Borg sequence (lemma 4.1 ) and obtain a new representation for the Floquet solution (lemma 4.3 ). Finally, in the last Section 5 we prove the main results of the paper.
Let $J=\left(\begin{array}{ccccc}{b}_{1}& {c}_{1}& & & \\ {a}_{1}& {b}_{2}& {c}_{2}& & \\ & {a}_{2}& {b}_{3}& {c}_{3}& \\ & & ...& ...& ...\\ \end{array}\right),{J}_{0}=\left(\begin{array}{ccccc}{b}_{1}^{0}& {a}_{1}^{0}& & & \\ {a}_{1}^{0}& {b}_{2}^{0}& {a}_{2}^{0}& & \\ & {a}_{2}^{0}& {b}_{3}^{0}& {a}_{3}^{0}& \\ & & ...& ...& ...\\ \end{array}\right),$  be Jacobi matrices with the entries ${a}_{n},{b}_{n},{c}_{n}\in \mathbb{C},{a}_{n}{c}_{n}\ne 0;{a}_{n+2}^{0}={a}_{n}^{0}>0,{b}_{n+2}^{0}={b}_{n}^{0}\in \mathbb{R},$  and
 $\begin{array}{ccc}\left(Jy{\right)}_{n}& =& {a}_{n-1}{y}_{n-1}+{b}_{n}{y}_{n}+{c}_{n}{y}_{n+1}=\lambda {y}_{n},\lambda \in \mathbb{C}\end{array}$
 $\begin{array}{ccc}\left({J}_{0}y{\right)}_{n}& =& {a}_{n-1}^{0}{y}_{n-1}+{b}_{n}^{0}{y}_{n}+{a}_{n}^{0}{y}_{n+1}=\lambda {y}_{n},\end{array}$
be the Jacobi difference equations, which correspond to the matrices $J$  and ${J}_{0}$  , respectively. We assume that either the zero moment ${\sum }_{m}{d}_{m}$  or the first moment ${\sum }_{m}m{d}_{m}$  of the perturbation is finite, where
 $\begin{array}{c}{d}_{m}:=|{b}_{m}^{0}-{b}_{m}|+|{a}_{m-1}^{0}-\frac{{a}_{m-1}{c}_{m-1}}{{a}_{m-1}^{0}}|.\end{array}$ (1.1)
With no loss of generality we may suppose that the continuous spectrum of the background ${J}_{0}$  is a set of the form ${\sigma }_{c}\left({J}_{0}\right)=\left[-d,-s\right]\bigcup \left[s,d\right],0  Put $\varepsilon =1$  when ${J}_{0}$  has an eigenvalue $\nu$  , $-s<\nu   , and $\varepsilon =-1$  otherwise (this is actually the case when $\nu$  is an eigenvalue of the Jacobi matrix with shifted entries ${\stackrel{^}{a}}_{n}^{0}={a}_{n+1}^{0}$  , ${\stackrel{^}{b}}_{n}^{0}={b}_{n+1}^{0}$  or $\nu =±s$  )1 . Let ${w}^{2}\left(\lambda \right)$  , $|w\left(\lambda \right)|\le 1$  , be the Floquet multiplier (see (2.9 )) of ${J}_{0}$  . The following result holds.
Theorem 1.1. Let ${\sum }_{m=1}^{\infty }{d}_{m}<\infty$  , where the value ${d}_{m}$  is given in $\left(1.1\right)$  .
Then in the domain of variable $\lambda$  , defined by the relation
 $\begin{array}{c}\frac{{K}_{2}\left(s,d\right)|w\left(\lambda \right)|}{|{w}^{2}\left(\lambda \right)-{w}^{2\varepsilon }\left(\nu \right)||1-{w}^{4}\left(\lambda \right)|}{\sum }_{m=1}^{\infty }{d}_{m} (1.2)
with $t\simeq 0.567..$  being a unique positive root of the equation $xexp\left(x\right)=1$  and ${K}_{2}\left(s,d\right)=\frac{1024\sqrt{2}{d}^{5}}{\left(d-s{\right)}^{5}{\left({d}^{2}-{s}^{2}\right)}^{1/2}},$  the operator $J$  has no discrete spectrum at all.
It can be seen from (1.2 ), that if perturbation $\sum {d}_{m}$  is small enough, the discrete spectrum of $J$  is concentrated near the edges of bands (which are exactly the points satisfying equation ${w}^{4}=1$  ) and in a vicinity of the point $\nu$  , as long as it is an eigenvalue of ${J}_{0}$  (i.e., $\varepsilon =1$  ), or $\nu =±s$  . We can also observe that even if $\nu$  is not an eigenvalue of ${J}_{0}$  , its position relative to the edge of the gap exerts certain influence on the size of the domain where the discrete spectrum of $J$  is contained.
In the case when the first moment is small enough we have
Theorem 1.2. Let the background ${J}_{0}$  has pure continuous spectrum and ${a}_{n}^{0}\ne {a}_{n+1}^{0}$  . Let ${K}_{2}\left(s,d\right)$  and $t$  be taken from theorem 1.1. Then under assumption $\frac{{K}_{2}\left(s,d\right)}{1-|w\left(\nu \right){|}^{2}}{\sum }_{m=1}^{\infty }m{d}_{m}  the complex Jacobi matrix $J$  has no discrete spectrum.
Our work was obviously very strongly influenced by Geronimo and Van Assche [7, wherein the behavior of the Jost solutions for real perturbations of a periodic Jacobi matrix was investigated (see also [1,Section7). More detailed analysis of such solutions in the case $N=2$  is based upon the reconstruction algorithm for a periodic Jacobi matrix from its Borg sequence, suggested in [5.
In conclusion let us point out that the similar problems for the case of constant background ( ${a}_{n}^{0}=1$  , ${b}_{n}^{0}=0$  ) are discussed in [4(see also [6).

2 Preliminaries on periodic spectral problem

Let ${J}_{0}=\left(\begin{array}{ccccc}{b}_{1}^{0}& {a}_{1}^{0}& & & \\ {a}_{1}^{0}& {b}_{2}^{0}& {a}_{2}^{0}& & \\ & {a}_{2}^{0}& {b}_{3}^{0}& {a}_{3}^{0}& \\ & & ...& ...& ...\\ \end{array}\right),{a}_{j}^{0}>0,{b}_{j}^{0}=\overline{{b}_{j}^{0}}$  be an infinite Jacobi matrix with $N$  periodic entries, $N\ge 2$  , ${a}_{j+N}^{0}={a}_{j}^{0};{b}_{j+N}^{0}={b}_{j}^{0};j\in \mathbb{N}=\left\{1,2,\dots \right\}.$  Put ${a}_{0}^{0}={a}_{N}^{0}$  and consider the three term equation
 $\begin{array}{c}{a}_{n-1}^{0}{y}_{n-1}+{b}_{n}^{0}{y}_{n}+{a}_{n}^{0}{y}_{n+1}=\lambda {y}_{n};n\in \mathbb{N},\lambda \in \mathbb{C}.\end{array}$ (2.1)
The solutions ${s}_{n}$  and ${c}_{n}$  of ` $sin$  ' and ` $cos$  ' type, defined by the initial data ${s}_{0}={c}_{1}=0$  , ${c}_{1}={s}_{0}=1$  , are polynomials with real coefficients of degree $n-1$  and $n-2$  respectively, and also ${s}_{n}\left(\lambda \right)=\frac{{\lambda }^{n-1}}{{a}_{1}^{0}\dots {a}_{n-1}^{0}}+\dots .$  The Wronskian $〈s,c〉\left(n\right)={a}_{n-1}^{0}\left({s}_{n-1}{c}_{n}-{s}_{n}{c}_{n-1}\right)$  of these two solutions does not depend on $n$  and by periodicity of ${a}_{n}^{0}$  $〈s,c〉\left(N+1\right)={a}_{N}^{0}\left({s}_{N}{c}_{N+1}-{s}_{N+1}{c}_{N}\right)=〈s,c〉\left(1\right)=-{a}_{N}^{0}$  or
 $\begin{array}{c}{s}_{N+1}\left(\lambda \right){c}_{N}\left(\lambda \right)-{s}_{N}\left(\lambda \right){c}_{N+1}\left(\lambda \right)=1,\lambda \in \mathbb{C}.\end{array}$ (2.2)
The following two polynomials with real coefficients
 $\begin{array}{c}u\left(\lambda \right)=\frac{1}{2}\left({s}_{N+1}\left(\lambda \right)+{c}_{N}\left(\lambda \right)\right)=\frac{{\lambda }^{N}}{2{a}_{1}^{0}\dots {a}_{N}^{0}}+\dots \end{array}$ (2.3)
 $\begin{array}{c}v\left(\lambda \right)=\frac{1}{2}\left({s}_{N+1}\left(\lambda \right)-{c}_{N}\left(\lambda \right)\right)\end{array}$ (2.4)
are of particular interest. The first one, $u$  , known as the Hill discriminant, characterizes the continuous spectrum of the operator ${J}_{0}$  in the space ${\ell }^{2}\left(\mathbb{N}\right)$  . Indeed, as is known by [2,Chapter4, the spectrum $\sigma \left({J}_{0}\right)={\sigma }_{c}\left({J}_{0}\right)\cup {\sigma }_{d}\left({J}_{0}\right)$  is a union of at most $N$  disjoint closed intervals (bands) which constitute the continuous spectrum ${\sigma }_{c}\left({J}_{0}\right)$  ${\sigma }_{c}\left({J}_{0}\right)=\left[{\mu }_{0},{\mu }_{N}\right]{\}^{M-1}{\bigcup }_{k=1}{\Gamma }_{k},{\Gamma }_{k}=\left({\mu }_{k}^{-},{\mu }_{k}^{+}\right),M\le N,$  with at most one eigenvalue inside each gap ${\Gamma }_{k}$  (they form the discrete spectrum ${\sigma }_{d}\left({J}_{0}\right)$  ). The continuous spectrum is related to the Hill discriminant by ${\sigma }_{c}\left({J}_{0}\right)=\left\{\lambda :-1\le u\left(\lambda \right)\le 1\right\}$  (see [2,Section7.1). Throughout the paper we assume that $M=N$  , i.e., an equation ${u}^{2}=1$  has no multiple zeros. Hence ${\mu }_{k}^{-}<{\mu }_{k}^{+}$  and $\left\{\lambda :u\left(\lambda \right)=±1\right\}=\left\{{\mu }_{0},{\mu }_{1}^{-},{\mu }_{1}^{+},...,{\mu }_{N-1}^{+},{\mu }_{N}\right\}.$  By (2.3 ) $u\left({\mu }_{N}\right)=1$  and $u\to +\infty$  as $\lambda \to +\infty$  . The behavior of $u$  for $\lambda \to -\infty$  is determined by the parity of $N$  .
Consider the function ${\left({u}^{2}\left(\lambda \right)-1\right)}^{1/2}=\frac{1}{2{a}_{1}^{0}\dots {a}_{n}^{0}}{\left(\left(\lambda -{\mu }_{0}\right)\left(\lambda -{\mu }_{N}{\right)}^{N-1}{\prod }_{k=1}\left(\lambda -{\mu }_{k}^{-}\right)\left(\lambda -{\mu }_{k}^{+}\right)\right)}^{1/2},$  where the branch of the square root is taken positive for $\lambda >{\mu }_{N}$  . This function is real-valued inside the gaps ${\Gamma }_{k}$  in such a way that $\text{sign}{\left({u}^{2}-1\right)}^{1/2}=\left(-1{\right)}^{N-k+1},$  $\lambda \in {\Gamma }_{k}$  . On the set ${\sigma }_{c}\left({J}_{0}\right)$  it takes pure imaginary values.
The Weyl function $m$  for periodic Jacobi matrices ${J}_{0}$  is known to be of the form (see [3,formula(21.3.20)) $m\left(\lambda \right)=〈\left({J}_{0}-\lambda I{\right)}^{-1}{e}_{1},{e}_{1}〉=\frac{v\left(\lambda \right)-{\left({u}^{2}\left(\lambda \right)-1\right)}^{1/2}}{{s}_{N}\left(\lambda \right)}.$  Denote by ${\Lambda }_{r}$  the set of all poles of $m$  , which is clearly a subset of the set $\Lambda =\left\{{\lambda }_{k}{\right\}}_{k=1}^{N-1}$  of all roots of the polynomials ${s}_{N}$  (they all are real and simple and ${\lambda }_{k}\in \left[{\mu }_{k}^{-},{\mu }_{k}^{+}\right]\right).$  We assume that all ${\lambda }_{k}$  stay strictly inside the gaps, that is
 $\begin{array}{c}\Lambda {\subset }^{N-1}{\bigcup }_{k=1}{\Gamma }_{k}.\end{array}$ (2.5)
The Weyl solution ${\psi }_{n}$  of (2.1 ) is defined in a standard way ${\psi }_{n}\left(\lambda \right)={c}_{n}\left(\lambda \right)+m\left(\lambda \right){s}_{n}\left(\lambda \right);{\psi }_{0}=1,{\psi }_{1}=m,$  $\left\{{\psi }_{n}\right\}\in {\ell }^{2}\left(\mathbb{N}\right)$  for $\lambda /\in {\sigma }_{c}\left({J}_{0}\right)\cup {\Lambda }_{r}.$  Along with the function $m$  consider the function 2 $\stackrel{^}{m}\left(\lambda \right):=\frac{v\left(\lambda \right)+{\left({u}^{2}\left(\lambda \right)-1\right)}^{1/2}}{{s}_{N}\left(\lambda \right)}.$  It is easy to see from (2.2 )-(2.4 ) that
 $\begin{array}{c}{v}^{2}\left({\lambda }_{k}\right)={u}^{2}\left({\lambda }_{k}\right)-1,\end{array}$ (2.6)
and so one of the functions $m,\stackrel{^}{m}$  has a pole at each point ${\lambda }_{k}$  and the other a removable singularity .
Let us introduce the second solution of (2.1 ) ${\stackrel{^}{\psi }}_{n}\left(\lambda \right)={c}_{n}\left(\lambda \right)+\stackrel{^}{m}\left(\lambda \right){s}_{n}\left(\lambda \right),\lambda /\in \Lambda \{\Lambda }_{r}.$  As the Wronskian $〈\psi ,\stackrel{^}{\psi }〉={a}_{N}^{0}\left({\psi }_{0}{\stackrel{^}{\psi }}_{1}-{\psi }_{1}{\stackrel{^}{\psi }}_{0}\right)=2{a}_{N}^{0}\frac{{\left({u}^{2}\left(\lambda \right)-1\right)}^{1/2}}{{s}_{N}}\ne 0,$  the solutions $\psi$  and $\stackrel{^}{\psi }$  are linearly independent off the endpoints of ${\Gamma }_{k}$  . Note also that ${\stackrel{^}{\psi }}_{n}\left(\lambda +i0\right)=\overline{{\psi }_{n}\left(\lambda +i0\right)}={\psi }_{n}\left(\lambda -i0\right)$  for $\lambda \in {\sigma }_{c}\left({J}_{0}\right)$  , and both solutions take real values for $\lambda \in \mathbb{R}\\sigma \left({J}_{0}\right)$  . It follows from the properties of the Weyl functions $m,\stackrel{^}{m}$  that for $n\ne kN,$  $k\in {\mathbb{Z}}_{+}=\left\{0,1,\dots \right\}$  the only one of ${\psi }_{n},{\stackrel{^}{\psi }}_{n}$  may have a pole at ${\lambda }_{k}$  . For $n=kN$  they both are continuous at ${\lambda }_{k}$  .
The typical feature of the periodic Jacobi difference equation is the existence of a special solution of (2.1 ) known as the Floquet solution ${\phi }_{n}\left(\lambda \right)$  , which satisfies
 $\begin{array}{c}{\phi }_{n+N}\left(\lambda \right)=\rho \left(\lambda \right){\phi }_{n}\left(\lambda \right),n\in {\mathbb{Z}}_{+}.\end{array}$ (2.7)
Here $\rho \left(\lambda \right)=u\left(\lambda \right)-{\left({u}^{2}\left(\lambda \right)-1\right)}^{1/2}$  is the Floquet multiplier (see [1), with $|\rho \left(\lambda \right)|=1$  for $\lambda \in {\sigma }_{c}\left({J}_{0}\right)$  and $|\rho \left(\lambda \right)|<1$  for $\lambda \in {\sigma }_{c}\left({J}_{0}\right)$  . It is clear that $\left\{{\phi }_{n}\right\}\in {\ell }^{2}\left({\mathbb{Z}}_{+}\right)$  for $\lambda \in \mathbb{C}\\sigma \left({J}_{0}\right)$  , and so it agrees up to a constant multiplier with the Weyl solution. We can put ${\phi }_{n}\left(\lambda \right)\equiv {\psi }_{n}\left(\lambda \right)$  . In addition by ([1,formula(7.19)) for the second solution
 $\begin{array}{c}{\stackrel{^}{\psi }}_{n+N}\left(\lambda \right)={\rho }^{-1}\left(\lambda \right){\stackrel{^}{\psi }}_{n}\left(\lambda \right)\end{array}$ (2.8)
holds. Following [7we introduce the function $w$  :
 $\begin{array}{c}{w}^{N}\left(\lambda \right)=\rho \left(\lambda \right).\end{array}$ (2.9)
It defines a conformal mapping of the upper ${\mathbb{C}}_{+}$  and lower ${\mathbb{C}}_{-}$  half-planes onto the lower ${\mathbb{W}}_{-}$  and upper ${\mathbb{W}}_{+}$  half-disks with cuts
 $\begin{array}{c}{\mathbb{W}}_{±}=\left\{w:|w|<1;±\text{Im}w>0\right\}{\}^{N-1}{\bigcup }_{k=1}{\beta }_{k}^{±},\end{array}$ (2.10)
where ${\beta }_{k}^{±}=\left[exp\left(±i\pi \left(N-k\right){N}^{-1}\right),exp\left(±i\pi \left(N-k\right){N}^{-1}\right)|w\left({\gamma }_{k}\right)|\right],$  and $\left\{{\gamma }_{k}{\right\}}_{k=1}^{N-1}$  are the points of local extremum of the Hill discriminant $u$  , ${\gamma }_{k}\in \left({\mu }_{k}^{-},{\mu }_{k}^{+}\right)$  (see [5,p.110). Moreover, the upper side of the interval $\left[{\mu }_{k}^{+},{\mu }_{k+1}^{-}\right]$  goes to the circular arc with endpoints $exp\frac{i\pi \left(k-N\right)}{N}$  and $exp\frac{i\pi \left(k+1-N\right)}{N},$  the lower side goes to the symmetric arc on the upper semicircle. The gap $\overline{{\Gamma }_{k}}$  viewed as a part of the boundary of ${\mathbb{C}}_{+}$  is mapped on both sides of the cut ${\beta }_{k}^{-}$  , in such a way that ${\gamma }_{k}$  corresponds to the vertex of the cut and ${\mu }_{k}^{-}$  , ${\mu }_{k}^{+}$  to $exp\left(i\pi \left(k-N\right){N}^{-1}\mp i0\right)$  , respectively. As a part of the boundary of ${\mathbb{C}}_{+}$  the gap $\overline{{\Gamma }_{k}}$  goes to the symmetric cut ${\beta }_{k}^{+}$  . The infinite gaps $\left(-\infty ,{\mu }_{0}\right)$  and $\left({\mu }_{N},+\infty \right)$  are mapped onto $\left(-1,0\right)$  and $\left(0,1\right)$  , respectively; $w\left(\lambda \right)\to 0$  for $\lambda \to \infty$  . Hence the points ${\mu }_{0},{\mu }_{1}^{-},...,{\mu }_{N}$  correspond to ${w}^{2N}=1$  and each point from $\Lambda$  has two symmetric images on symmetric sides of the cuts.
Consider the functions ${\psi }_{n}\left(\lambda \right)$  and ${\stackrel{^}{\psi }}_{n}\left(\lambda \right)$  as functions of variable $w$  for $w\in {\mathbb{W}}_{+}\cup {\mathbb{W}}_{-}\cup \left(-1,0\right)\cup \left(0,1\right)$  . Then they have continuous boundary values with
 $\begin{array}{c}{\psi }_{n}\left(\overline{w}\right)=\overline{{\psi }_{n}\left(w\right)},{\stackrel{^}{\psi }}_{n}\left(\overline{w}\right)=\overline{\stackrel{n}{\stackrel{^}{\psi }}\left(w\right)},|w|=1,\end{array}$ (2.11)
${\psi }_{n}\left(\overline{w}\right)={\psi }_{n}\left(w\right)\in \mathbb{R}\stackrel{^}{\psi }\left(\overline{w}\right)=\overline{\stackrel{n}{\stackrel{^}{\psi }}\left(w\right)}\in \mathbb{R},w\in {\beta }_{k}^{±}.$  Note that by (2.7 ),(2.8 ) and (2.9 ) the equalities
 $\begin{array}{c}{\psi }_{n}\left(w\right)={w}^{n}{\chi }_{n}\left(w\right),{\stackrel{^}{\psi }}_{n}\left(w\right)={w}^{-n}\stackrel{^}{\chi }\left(w\right)\end{array}$ (2.12)
hold, where ${\chi }_{n}\left(w\right)={\chi }_{N+n}\left(w\right)$  , ${\stackrel{^}{\chi }}_{n}\left(w\right)={\stackrel{^}{\chi }}_{N+n}\left(w\right)$  are $N$  periodic functions.

2 The function $\stackrel{^}{m}$  appears to be the Weyl function of the operator ${\stackrel{^}{J}}_{0}:{\ell }^{2}\left({\mathbb{Z}}_{-}\right)\to {\ell }^{2}\left({\mathbb{Z}}_{-}\right)$  with periodically extended entries ${a}_{i}$  , ${b}_{i}$  .

3 Integral equation

Take an infinite Jacobi matrix $J=\left(\begin{array}{ccccc}{b}_{1}& {c}_{1}& & & \\ {a}_{1}& {b}_{2}& {c}_{2}& & \\ & {a}_{2}& {b}_{3}& {c}_{3}& \\ & & ...& ...& ...\\ \end{array}\right),{a}_{j},{b}_{j},{c}_{j}\in \mathbb{C},{a}_{j}{c}_{j}\ne 0,$  and the related three term recurrence relation
 $\begin{array}{c}{a}_{n-1}{y}_{n-1}+{b}_{n}{y}_{n}+{c}_{n}{y}_{n+1}=\lambda {y}_{n};\lambda \in \mathbb{C},n\in \mathbb{N}.\end{array}$ (3.1)
We assume that the matrix entries $\left\{{a}_{n}\right\}$  , $\left\{{b}_{n}\right\}$  and $\left\{{c}_{n}\right\}$  are close to $N$  periodic sequences $\left\{{a}_{n}^{0}\right\}$  $\left\{{b}_{n}^{0}\right\}$  in the following sense
 $\begin{array}{c}{\sum }_{n=1}^{\infty }\left\{|{a}_{n}-{a}_{n}^{0}|+|{b}_{n}-{b}_{n}^{0}|+|{c}_{n}-{a}_{n}^{0}|\right\}<\infty .\end{array}$ (3.2)
It is convenient to modify (3.1 ) by changing the variables ${v}_{m}={{y}_{m}}^{\infty }{\prod }_{j=m}\frac{{a}_{j}}{{a}_{j}^{0}},m=1,2,\dots$  (the infinite product converges due to (3.2 )). For ${v}_{n}$  we have
 $\begin{array}{c}{a}_{n-1}^{0}{v}_{n-1}+{b}_{n}{v}_{n}+\frac{{c}_{n}{a}_{n}}{{a}_{n}^{0}}{v}_{n+1}=\lambda {v}_{n}.\end{array}$ (3.3)
Under the Green function (for the unperturbed problem) we mean
 $\begin{array}{c}G\left(\lambda ;n,m\right):=\left\{\begin{array}{ccc}\frac{{\psi }_{n}\left(\lambda \right){\stackrel{^}{\psi }}_{m}\left(\lambda \right)-{\psi }_{m}\left(\lambda \right){\stackrel{^}{\psi }}_{n}\left(\lambda \right)}{〈\psi ,\stackrel{^}{\psi }〉}& ;& m>n\\ 0& ;& m\le n\end{array},m,n\ge 0,\end{array}$ (3.4)
where the Weyl solutions ${\psi }_{n}$  , ${\stackrel{^}{\psi }}_{n}$  are defined in Section 2. It is easy to check that ${a}_{n-1}^{0}G\left(\lambda ;n-1,m\right)+\left({b}_{n}^{0}-\lambda \right)G\left(\lambda ;n,m\right)+{a}_{n}^{0}G\left(\lambda ;n+1,m\right)={\delta }_{n,m},$  where ${\delta }_{n,m}$  is the Kronecker symbol.
The key role throughout the rest of the paper is played by the discrete integral equation (cf. [1,formulae(7.87)-(7.88)
 $\begin{array}{c}{v}_{n}\left(\lambda \right)={\psi }_{n}\left(\lambda \right)+{\sum }_{m=n+1}^{\infty }A\left(\lambda ;n,m\right){v}_{n}\left(\lambda \right),\lambda /\in {\Lambda }_{r}.\end{array}$ (3.5)
with the kernel
 $\begin{array}{c}A\left(\lambda ;n,m\right)=\left({b}_{m}^{0}-{b}_{m}\right)G\left(\lambda ;n,m\right)+\left({a}_{m-1}^{0}-\frac{{a}_{m-1}{c}_{m-1}}{{a}_{m-1}^{0}}\right)G\left(\lambda ;n,m-1\right).\end{array}$ (3.6)
Let us show that each solution of (3.5 ) satisfies (3.3 ) and has the following asymptotic behavior for $n\to \infty$  :
${v}_{n}-{\psi }_{n}\to 0.$  Indeed, by the definition
 $\begin{array}{ccc}A\left(\lambda ;n-1,m\right)& =& \frac{{b}_{n}^{0}-{b}_{n}}{{a}_{n-1}^{0}},\end{array}$
 $\begin{array}{ccc}A\left(\lambda ;n-1,n+1\right)& =& \frac{\left({b}_{n+1}^{0}-{b}_{n+1}\right)\left(\lambda -{b}_{n}^{0}\right)}{{a}_{n-1}^{0}{a}_{n}^{0}}+\left({a}_{n}^{0}-\frac{{a}_{n}{c}_{n}}{{a}_{n}^{0}}\right).\end{array}$
We apply the `unperturbed' operator to both parts of (3.5 )
 $\begin{array}{ccc}\left({J}_{0}-\lambda \right){v}_{n}& =& {a}_{n-1}^{0}{v}_{n-1}+\left({b}_{n}^{0}-\lambda \right){v}_{n}+{a}_{n}^{0}{v}_{n+1}\end{array}$
 $\begin{array}{ccc}& =& \left({J}_{0}-\lambda \right){\psi }_{n}\left(\lambda \right)+{a}_{n-1}^{0}\left\{A\left(\lambda ;n-1,n\right){v}_{n}+A\left(\lambda ;n-1,n+1\right){v}_{n+1}\right\}\end{array}$
 $\begin{array}{ccc}& +& \left({b}_{n}^{0}-\lambda \right)A\left(\lambda ;n,n+1\right){v}_{n+1}+{\sum }_{m=n+2}^{\infty }\left({J}_{0}-\lambda {\right)}_{n}A\left(\lambda ;n,m\right){v}_{m}\end{array}$
or ${a}_{n-1}^{0}{v}_{n-1}+\left({b}_{n}^{0}-\lambda \right){v}_{n}+{a}_{n}^{0}{v}_{n+1}=\left({b}_{n}^{0}-{b}_{n}\right){v}_{n}+\left({a}_{n}^{0}-\frac{{a}_{n}{c}_{n}}{{a}_{n}^{0}}\right){v}_{n+1},$  which gives exactly (3.3 ).
Multiply (3.5 ) through by ${w}^{-n}$  , where $w$  is defined in (2.9 ):
 $\begin{array}{c}{\stackrel{~}{v}}_{n}:={v}_{n}{w}^{-n}={\psi }_{n}\left(\lambda \right){w}^{-n}+{\sum }_{m=n+1}^{\infty }\stackrel{~}{A}\left(\lambda ;n,m\right){\stackrel{~}{v}}_{m},\end{array}$ (3.7)
$\stackrel{~}{A}\left(\lambda ;n,m\right):=A\left(\lambda ;n,m\right){w}^{m-n},$  or
 $\begin{array}{c}{V}_{n}\left(\lambda \right)={\sum }_{m=n+1}^{\infty }\stackrel{~}{A}\left(\lambda ;n,m\right){\psi }_{m}\left(\lambda \right){w}^{-m}+{\sum }_{m=n+1}^{\infty }\stackrel{~}{A}\left(\lambda ;n,m\right){V}_{m}\left(\lambda \right),\end{array}$ (3.8)
with ${V}_{n}\left(\lambda \right)=\left({v}_{n}\left(\lambda \right)-{\psi }_{n}\left(\lambda \right)\right){w}^{-n}.$  Equation (3.8 ) is analyzed thoroughly in [7,Theorem3, for real symmetric Jacobi matrices $\left({c}_{n}={a}_{n}>0,$  ${b}_{n}=\overline{{b}_{n}}\right)$  . The existence of the solution $V$  such that $|{V}_{n}\left(\lambda \right){s}_{N}\left(\lambda \right)|=O\left(1\right),n\to \infty$  uniformly on compact subsets of the domain $\mathbb{C}\\left\{{\mu }_{k}^{±}\right\}$  has been established (the reason for the factor ${s}_{N}$  to enter the asymptotic relation is to `suppress' poles of ${\psi }_{n}$  ).
We will be interested in the bounds of the form $|{v}_{n}\left(\lambda \right)-{\psi }_{n}\left(\lambda \right)|\le \frac{K\left(\lambda \right){w}^{n}{\kappa }_{0}\left(n\right)}{|1-{w}^{2N}|},\lambda /\in {\Lambda }_{r},$  wherein a positive function $K\left(\lambda \right)$  is given explicitly in terms of the spectral data of the background and uniformly bounded off certain small neighborhoods of the set ${\Lambda }_{r}$  ,
 $\begin{array}{c}{\kappa }_{0}\left(n\right):={\sum }_{m=n+1}^{\infty }{d}_{m},{d}_{m}:=|{b}_{m}^{0}-{b}_{m}|+|{a}_{m-1}^{0}-\frac{{a}_{m-1}{c}_{m-1}}{{a}_{m-1}^{0}}|.\end{array}$ (3.9)
We solve this problem completely for the case $N=2$  , that is performed later on.
In the rest of this section we show how the method of successive approximations works in connection with equation (3.8 ). Appropriate bounds (see lemma 5.2 ) for the kernel $\stackrel{~}{A}$  lead to the uniform convergence of the series
 $\begin{array}{c}{V}_{n,1}\left(\lambda \right):={\sum }_{m=n+1}^{\infty }\stackrel{~}{A}\left(\lambda ;n,m\right){\psi }_{m}\left(\lambda \right){w}^{-m}\end{array}$ (3.10)
on compact subsets of the domain $\mathbb{C}\\left(\cup \left\{{\mu }_{k}^{±}\right\}\cup {\Lambda }_{r}\right)$  , and moreover $|{V}_{n,1}\left(\lambda \right)|\le \frac{K\left(\lambda \right)}{|1-{w}^{2N}|}{\kappa }_{0}\left(n\right).$  Put ${V}_{n,j+1}:={\sum }_{m=n+1}^{\infty }\stackrel{~}{A}\left(\lambda ;n,m\right){V}_{m,j}\left(\lambda \right)$  and prove by induction that $|{V}_{n,j}\left(\lambda \right)|\le \frac{1}{\left(j-1\right)!}{\left(\frac{K\left(\lambda \right){\kappa }_{0}\left(n\right)}{|1-{w}^{2N}|}\right)}^{j}.$  Then the required solution of (3.8 ) is given by
 $\begin{array}{c}{V}_{n}\left(\lambda \right)={\sum }_{j=1}^{\infty }{V}_{n,j}\left(\lambda \right),|{V}_{n}\left(\lambda \right)|\le \frac{K\left(\lambda \right){\kappa }_{0}\left(n\right)}{|1-{w}^{2N}|}exp\left(\frac{K\left(\lambda \right){\kappa }_{0}\left(n\right)}{|1-{w}^{2N}|}\right).\end{array}$ (3.11)
In particular for $n=0$  thanks to ${\psi }_{0}=1$  we have $|{v}_{0}\left(\lambda \right)-1|\le \frac{{K}_{1}\left(w\right){\sum }_{m=1}^{\infty }{d}_{m}}{|1-{w}^{2N}|}exp\left(\frac{{K}_{1}\left(w\right){\sum }_{m=1}^{\infty }{d}_{m}}{|1-{w}^{2N}|}\right),$  which makes it possible to describe the region of the variable $w$  wherein ${v}_{0}\ne 0$  .
The similar argument (with slightly different bounds) holds under the assumption
 $\begin{array}{c}{\sum }_{m=1}^{\infty }m{d}_{m}<\infty .\end{array}$ (3.12)
It remains only to point out that the set of zeros of the function ${v}_{0}$  agrees with the set of eigenvalues (discrete spectrum) of the operator $J$  off ${\sigma }_{c}\left({J}_{0}\right)$  .

4 Reconstruction of matrix of period 2 from spectral data

Let ${J}_{0}$  be a real symmetric Jacobi matrix of period 2 with the matrix entries ${a}_{j+2}^{0}={a}_{j}^{0}$  , ${b}_{j+2}^{0}={b}_{j}^{0}$  . The first few polynomials ${s}_{n}$  , ${c}_{n}$  can be easily computed from recurrence relation (2.1 ):
 $\begin{array}{c}\left\{\begin{array}{cccc}{s}_{0}=0,& {s}_{1}=1,& {s}_{2}=\frac{\lambda -{b}_{1}^{0}}{{a}_{1}^{0}},& {s}_{3}=\frac{\left(\lambda -{b}_{1}^{0}\right)\left(\lambda -{b}_{2}^{0}\right)-\left({a}_{1}^{0}{\right)}^{2}}{{a}_{1}^{0}{a}_{2}^{0}},\\ {c}_{0}=1,& {c}_{1}=0,& {c}_{2}=-\frac{{a}_{2}^{0}}{{a}_{1}^{0}},& {c}_{3}=\frac{{b}_{2}^{0}-\lambda }{{a}_{1}^{0}}.\end{array}\end{array}$ (4.1)
The Hill discriminant
 $\begin{array}{c}u\left(\lambda \right)=\frac{1}{2}\left({s}_{3}\left(\lambda \right)+{c}_{2}\left(\lambda \right)\right)=\frac{{\lambda }^{2}-\left({b}_{1}^{0}+{b}_{2}^{0}\right)\lambda +{b}_{1}^{0}{b}_{2}^{0}-\left({a}_{2}^{0}{\right)}^{2}-\left({a}_{1}^{0}{\right)}^{2}}{2{a}_{1}^{0}{a}_{2}^{0}}\end{array}$ (4.2)
is a quadratic parabola with the positive leading coefficient. Hence the bands of continuous spectrum $\left\{\lambda :-1\le u\le 1\right\}$  are symmetric with respect to the vertex of this parabola and have the same length. By shifting the spectral parameter we can put the vertex to the origin. Denote the endpoints of the spectrum by $\left\{-d,-s,s,d\right\},$  $0  . Then
 $\begin{array}{c}u\left(\lambda \right)-1=C\left({\lambda }^{2}-{d}^{2}\right),u\left(\lambda \right)+1=C\left({\lambda }^{2}-{s}^{2}\right),{u}^{2}\left(\lambda \right)-1={C}^{2}\left({\lambda }^{2}-{d}^{2}\right)\left({\lambda }^{2}-{s}^{2}\right),\end{array}$ (4.3)
whence it follows that $C=2\left({d}^{2}-{s}^{2}{\right)}^{-1}$  and
 $\begin{array}{c}u\left(\lambda \right)=\frac{2}{{d}^{2}-{s}^{2}}\left({\lambda }^{2}-\frac{{d}^{2}+{s}^{2}}{2}\right).\end{array}$ (4.4)
Let $\nu$  be a root of the polynomial ${s}_{2},$  $\nu ={b}_{1}^{0}$  . By the assumption (2.5 ) we have $|\nu |  . Put $\varepsilon =1$  in the case when the Weyl function $m\left(\lambda \right)$  has a pole at $\nu$  and $\varepsilon =-1$  otherwise. Our goal here is to restore the matrix ${J}_{0}$  from its Borg sequence $\left\{±s,±d,\nu ,\varepsilon \right\}$  and to derive a formula for the Weyl function as a function of variable $w$  (2.9 ), which is related to $u$  by the equality
 $\begin{array}{c}u\left(\lambda \right)=\frac{{w}^{2}\left(\lambda \right)+{w}^{-2}\left(\lambda \right)}{2}.\end{array}$ (4.5)
By comparing (4.2 ) and (4.4 ) we come to the relations for the matrix entries:
 $\begin{array}{c}{b}_{2}^{0}=-{b}_{1}^{0}=-\nu \end{array}$ (4.6)
and
 $\begin{array}{c}{a}_{1}^{0}{a}_{2}^{0}=\frac{{d}^{2}-{s}^{2}}{4},{\nu }^{2}+\left({a}_{1}^{0}{\right)}^{2}+\left({a}_{2}^{0}{\right)}^{2}=\frac{{d}^{2}+{s}^{2}}{2},\end{array}$ (4.7)
so that $\left({a}_{1}^{0}{\right)}^{2}$  , $\left({a}_{2}^{0}{\right)}^{2}$  are roots of the quadratic equation ${x}^{2}-\left(\frac{{d}^{2}+{s}^{2}}{2}-{\nu }^{2}\right)x+{\left(\frac{{d}^{2}-{s}^{2}}{4}\right)}^{2}=0.$  Hence
 $\begin{array}{ccc}4\left({a}_{min}^{0}{\right)}^{2}& =& {d}^{2}+{s}^{2}-2{\nu }^{2}-2{\left({d}^{2}-{\nu }^{2}\right)\left({s}^{2}-{\nu }^{2}\right)\right)}_{+}^{1/2},\end{array}$
 $\begin{array}{ccc}4\left({a}_{max}^{0}{\right)}^{2}& =& {d}^{2}+{s}^{2}-2{\nu }^{2}+2{\left(\left({d}^{2}-{\nu }^{2}\right)\left({s}^{2}-{\nu }^{2}\right)\right)}_{+}^{1/2},\end{array}$ (4.8)
where ${a}_{min}^{0}=min\left\{{a}_{1}^{0},{a}_{2}^{0}\right\}$  , ${a}_{max}^{0}=max\left\{{a}_{1}^{0},{a}_{2}^{0}\right\}$  and $\left({\right)}_{+}^{1/2}$  designates the arithmetic value of the square root.
Let us show that $\varepsilon =1\left(\varepsilon =-1\right)$  is equivalent to ${a}_{1}^{0}<{a}_{2}^{0}$  $\left({a}_{2}^{0}<{a}_{1}^{0}\right)$  . To this end write
 $\begin{array}{ccc}v\left(\lambda \right)& =& \frac{1}{2}\left({s}_{3}\left(\lambda \right)-{c}_{2}\left(\lambda \right)\right)=\frac{{\lambda }^{2}-{\nu }^{2}-\left({a}_{1}^{0}{\right)}^{2}+\left({a}_{2}^{0}{\right)}^{2}}{2{a}_{1}^{0}{a}_{2}^{0}}\end{array}$
 $\begin{array}{ccc}& =& \frac{2}{{d}^{2}-{s}^{2}}\left({\lambda }^{2}-{\nu }^{2}-\left({a}_{1}^{0}{\right)}^{2}+\left({a}_{2}^{0}{\right)}^{2}\right),\end{array}$
and so
 $\begin{array}{c}v\left(\nu \right)=\frac{2}{{d}^{2}-{s}^{2}}\left(\left({a}_{2}^{0}{\right)}^{2}-\left({a}_{1}^{0}{\right)}^{2}\right).\end{array}$ (4.9)
With regard to (4.8 ) and (4.3 ) (see also (2.6 )) the latter gives ${v}^{2}\left(\nu \right)=\frac{4}{\left({d}^{2}-{s}^{2}{\right)}^{2}}\left({d}^{2}-{\nu }^{2}\right)\left({s}^{2}-{\nu }^{2}\right)={u}^{2}\left(\nu \right)-1,$  and therefore $|v\left(\nu \right)|={\left({u}^{2}\left(\nu \right)-1\right)}_{+}^{1/2}$  . In two-band case the Weyl function admits representation $m\left(\lambda \right)=\frac{v\left(\lambda \right)+{\left({u}^{2}\left(\lambda \right)-1\right)}_{+}^{1/2}}{{s}_{2}\left(\lambda \right)},|\lambda |  and has a pole if and only if $|v\left(\nu \right)|=v\left(\nu \right)$  , that is equivalent to ${a}_{1}^{0}<{a}_{2}^{0}$  by (4.9 ).
Thus we come to the following
Lemma 4.1. The entries of a two-periodic Jacobi matrix can be restored from the Borg sequence $\left\{-d,-s,s,d,\nu ,\varepsilon \right\}$  by the formulae:
${b}_{2}^{0}=-{b}_{1}^{0}=-\nu ,$  $4\left({a}_{1}^{0}{\right)}^{2}={d}^{2}+{s}^{2}-2{\nu }^{2}-2\varepsilon {\left(\left({d}^{2}-{\nu }^{2}\right)\left({s}^{2}-{\nu }^{2}\right)\right)}_{+}^{1/2},$  $4\left({a}_{2}^{0}{\right)}^{2}={d}^{2}+{s}^{2}-2{\nu }^{2}+2\varepsilon {\left(\left({d}^{2}-{\nu }^{2}\right)\left({s}^{2}-{\nu }^{2}\right)\right)}_{+}^{1/2}.$
Corollary 4.2. The following inequalities hold
 $\begin{array}{c}\frac{d-s}{2}\le {a}_{j}^{0}\le \frac{d+s}{2}.\end{array}$ (4.10)
Our next problem is to find effective bounds for the Weyl solution, more precisely, for the function ${\chi }_{n}\left(\lambda \right)={\psi }_{n}\left(\lambda \right){w}^{-n}$  in terms of the variable $w$  . As ${\chi }_{n+2}={\chi }_{n}$  , ${\chi }_{0}={\psi }_{0}=1$  , we only need estimate the function ${\chi }_{1}\left(\lambda \right)={w}^{-1}\left(\lambda \right){\psi }_{1}\left(\lambda \right)$  . By the definition of $w$  and in view of (4.5 ) we have
 $\begin{array}{c}{w}^{2}\left(\nu \right)=u\left(\nu \right)-{\left({u}^{2}\left(\nu \right)-1\right)}^{1/2}.\end{array}$ (4.11)
Remind that in the two-band case ${\left({u}^{2}\left(\nu \right)-1\right)}^{1/2}<0$  .
Lemma 4.3. The following representation holds
 $\begin{array}{c}{\chi }_{1}\left(\lambda \right)=\frac{4{a}_{1}^{0}\left(\lambda +\nu \right)w\left(\lambda \right)}{{d}^{2}-{s}^{2}}\frac{1}{{w}^{2}\left(\lambda \right)-{w}^{2\varepsilon }\left(\nu \right)}.\end{array}$ (4.12)
• Proof. The wronskian of two solutions ${s}_{n}\left(\lambda \right)$  and ${\psi }_{n}\left(\lambda \right)$  does not depend on $n$  so $〈\psi ,s〉={a}_{2}^{0}\left({\psi }_{2}{s}_{3}-{s}_{2}{\psi }_{3}\right)={a}_{0}^{0}\left({\psi }_{0}{s}_{1}-{\psi }_{1}{s}_{0}\right)={a}_{0}^{0}:={a}_{2}^{0},$  that is  $\begin{array}{c}{s}_{3}\left(\lambda \right){\psi }_{2}\left(\lambda \right)-{s}_{2}\left(\lambda \right){\psi }_{3}\left(\lambda \right)=1.\end{array}$ (4.13)
Since (see Section 1) ${\psi }_{2}={w}^{2}{\psi }_{0}={w}^{2}$  , ${\psi }_{3}={w}^{2}{\psi }_{1}$  , it follows from (4.13 ), (2.1 ), (4.1 ) and theorem 4.1 that  $\begin{array}{ccc}{\psi }_{1}& =& \frac{{s}_{3}{w}^{2}-1}{{w}^{2}{s}_{2}}=\frac{\left(\left(\lambda -{b}_{2}^{0}\right){s}_{2}-{a}_{1}^{0}\right){w}^{2}\left({a}_{2}^{0}{\right)}^{-1}-1}{{w}^{2}{s}_{2}}\end{array}$
 $\begin{array}{ccc}& =& \frac{\lambda +\nu }{{a}_{2}^{0}}-\frac{{a}_{1}^{0}{w}^{2}+{a}_{2}^{0}}{{a}_{2}^{0}{w}^{2}{s}_{2}}=\frac{\lambda +\nu }{{a}_{2}^{0}}-\frac{{a}_{1}^{0}{\psi }_{2}+{a}_{0}^{0}{\psi }_{0}}{{a}_{2}^{0}{w}^{2}{s}_{2}}\end{array}$
 $\begin{array}{ccc}& =& \frac{\lambda +\nu }{{a}_{2}^{0}}-\frac{\left(\lambda -{b}_{1}^{0}\right){\psi }_{1}}{{a}_{2}^{0}{w}^{2}{s}_{2}}=\frac{\lambda +\nu }{{a}_{2}^{0}}-\frac{{a}_{1}^{0}}{{a}_{2}^{0}{w}^{2}}{\psi }_{1},\end{array}$
i.e., ${\psi }_{1}\left(1+\frac{{a}_{1}^{0}}{{w}^{2}{a}_{2}^{0}}\right)=\frac{\lambda +\nu }{{a}_{2}^{0}},$  and hence  $\begin{array}{c}{\psi }_{1}\left(\lambda \right)=\frac{\left(\lambda +\nu \right){w}^{2}}{{a}_{2}^{0}{w}^{2}+{a}_{1}^{0}}=\frac{4{a}_{1}^{0}\left(\lambda +\nu \right){w}^{2}}{4{a}_{1}^{0}{a}_{2}^{0}{w}^{2}+4\left({a}_{1}^{0}{\right)}^{2}}.\end{array}$ (4.14)
But by (4.3 ), (4.4 ), (4.7 ) and theorem 4.1 $\frac{4\left({a}_{1}^{0}{\right)}^{2}}{{d}^{2}-{s}^{2}}=\frac{2}{{d}^{2}-{s}^{2}}\left(\frac{{d}^{2}+{s}^{2}}{2}-{\nu }^{2}\right)+\varepsilon \frac{2}{{d}^{2}-{s}^{2}}{\left(\left({d}^{2}-{\nu }^{2}\right)\left({s}^{2}-{\nu }^{2}\right)\right)}_{+}^{1/2},$  that is $\frac{4\left({a}_{1}^{0}{\right)}^{2}}{{d}^{2}-{s}^{2}}=-u\left(\nu \right)-\varepsilon {\left({u}^{2}\left(\nu \right)-1\right)}^{1/2}.$  Relations (4.11 ), (4.5 ) imply  $\begin{array}{c}\frac{4\left({a}_{1}^{0}{\right)}^{2}}{{d}^{2}-{s}^{2}}=\left(w\left(\nu \right){\right)}^{2\varepsilon }.\end{array}$ (4.15)
Next we plague (4.15 ) into (4.14 ) and take into account (4.7 ):  $\begin{array}{c}{\psi }_{1}\left(\lambda \right)=\frac{4{a}_{1}^{0}\left(\lambda +\nu \right){w}^{2}\left(\lambda \right)}{\left({d}^{2}-{s}^{2}\right)\left({w}^{2}\left(\lambda \right)-{w}^{2\varepsilon }\left(\nu \right)\right)},\end{array}$ (4.16)
which proves (4.12 ) since ${\chi }_{1}\left(\lambda \right)={w}^{-1}\left(\lambda \right){\psi }_{1}\left(\lambda \right)$  .

5 Bounds for solutions of integral equation

The bounds in the method of successive approximations displayed in Section 3 for the case $N=2$  is based upon explicit expressions for $w$  and the Weyl functions $m,\stackrel{^}{m}$  . We begin with the following simple result.
Lemma 5.1. Let $0\le |\nu |  and $\varepsilon =±1$  . Put
 $\begin{array}{c}\tau \left(\nu ,\varepsilon \right):=\frac{\varepsilon {\left(\left({d}^{2}-{\nu }^{2}\right)\left({s}^{2}-{\nu }^{2}\right)\right)}^{1/2}-{\nu }^{2}}{{d}^{2}},\tau =\tau \left(0,\varepsilon \right)=\frac{\varepsilon s}{d},\xi =\frac{{d}^{2}+{s}^{2}}{2{d}^{2}}.\end{array}$ (5.1)
For $|z|<1$  consider the functions $f\left(z,\nu ,\varepsilon \right):=1+\tau \left(\nu ,\varepsilon \right)z+{\left(\left(1-z\right)\left(1-\tau z\right)\right)}^{1/2},$  $g\left(z\right):=1-\xi z+{\left(1-z\right)\left(1-\tau z\right)\right)}^{1/2},$  where the branch of the square root is taken positive for $-1  .
Then
 $\begin{array}{c}|f\left(z,\nu ,\varepsilon \right)|\ge \frac{\left(1+\tau \left(\nu ,\varepsilon \right){\right)}^{2}}{4}\ge \frac{\left(1-|\tau |{\right)}^{2}}{4}=\frac{\left(d-s{\right)}^{2}}{4{d}^{2}},\end{array}$ (5.2)
 $\begin{array}{c}|g\left(z\right)|\ge \frac{|{\xi }^{2}-{\tau }^{2}|}{4}=\frac{\left(1-{\tau }^{2}{\right)}^{2}}{4}=\frac{\left({d}^{2}-{s}^{2}{\right)}^{2}}{4{d}^{4}}.\end{array}$ (5.3)
• Proof. We have $f\left(z,\nu ,\varepsilon \right)={f}_{1}+{f}_{2}$  , where ${f}_{1}^{2}-{f}_{2}^{2}=\left(1+\tau \left(\nu ,\varepsilon \right)z{\right)}^{2}-\left(1-z\right)\left(1-{\tau }^{2}z\right)=\left(2\tau \left(\nu ,\varepsilon \right)+{\tau }^{2}+1\right)z+\left({\tau }^{2}\left(\nu ,\varepsilon \right)-{\tau }^{2}\right){z}^{2},$  and so $f\left(z,\nu ,\varepsilon \right)=\frac{2\tau \left(\nu ,\varepsilon \right)+{\tau }^{2}+1+\left({\tau }^{2}\left(\nu ,\varepsilon \right)-{\tau }^{2}\right)z}{\left({f}_{1}\left(z\right)-{f}_{2}\left(z\right)\right){z}^{-1}}.$  The function $h={f}_{1}-{f}_{2}$  is analytic in $\mathbb{D}$  , $h\left(0\right)=0$  and $|h\left(z\right)|\le 1+|\tau \left(\nu ,\varepsilon \right)|+{\left(2\left(1+{\tau }^{2}\right)\right)}^{1/2}.$  An elementary analysis of the function $\tau \left(\nu ,\varepsilon \right)$  shows that  $\begin{array}{c}|\tau \left(\nu ,\varepsilon \right)|\le |\tau |<1,\end{array}$ (5.4)
i.e., $|h|\le 4$  . By Schwarz's Lemma $|h|\le 4|z|$  for $|z|\le 1$  and hence the second inequality in (5.2 ) follows from (5.4 ).
The below bound for the function $g$  comes out in a similar manner: $g={g}_{1}+{g}_{2},{g}_{1}^{2}-{g}_{2}^{2}=\left(1-\xi z{\right)}^{2}-\left(1-z\right)\left(1-{\tau }^{2}z\right)=\left({\xi }^{2}-{\tau }^{2}\right){z}^{2},$  by Schwarz's Lemma $|{g}_{1}-{g}_{2}|\le 4|z{|}^{2}$  , which leads to (5.3 ).
Let us next turn to the kernel $\stackrel{~}{A}$  (3.6 ), (3.7 ).
Lemma 5.2. The following inequalities take place
 $\begin{array}{c}|\stackrel{~}{A}\left(\lambda ;n,m\right)|\le \frac{{K}_{1}\left(s,d\right)|w\left(\lambda \right)|}{|1-{w}^{4}\left(\lambda \right)|}{d}_{m},\lambda \in \mathbb{C},n,m\in {\mathbb{Z}}_{+},\end{array}$ (5.5)
where
 $\begin{array}{c}{K}_{1}\left(s,d\right):=\frac{256{d}^{3}}{\left(d-s{\right)}^{4}};{d}_{m}=|{b}_{m}-{b}_{m}^{0}|+|{a}_{m-1}^{0}-\frac{{a}_{m-1}{c}_{m-1}}{{a}_{m-1}^{0}}|.\end{array}$ (5.6)
• Proof. Consider the expression  $\begin{array}{c}G\left(\lambda ;n,m\right){w}^{m-n}=\frac{{\chi }_{n}\left(\lambda \right){\stackrel{^}{\chi }}_{m}\left(\lambda \right)-{\stackrel{^}{\chi }}_{n}\left(\lambda \right){\chi }_{m}\left(\lambda \right){w}^{2\left(m-n\right)}}{〈\psi ,\stackrel{^}{\psi }〉}.\end{array}$ (5.7)
For the denominator in (5.7 ) we have  $\begin{array}{ccc}〈\psi ,\stackrel{^}{\psi }〉& =& \frac{2{a}_{2}^{0}}{{s}_{2}}{\left({u}^{2}\left(\lambda \right)-1\right)}^{1/2}=\frac{2{a}_{1}^{0}{a}_{2}^{0}}{\lambda -\nu }{\left({u}^{2}\left(\lambda \right)-1\right)}^{1/2}\end{array}$
 $\begin{array}{ccc}& =& \frac{{d}^{2}-{s}^{2}}{4\left(\lambda -\nu \right)}\left({w}^{-2}\left(\lambda \right)-{w}^{2}\left(\lambda \right)\right).\end{array}$
The functions ${\chi }_{n},{\stackrel{^}{\chi }}_{n}$  in the numerator are 2-periodic, and also ${\chi }_{2n}\left(\lambda \right)={\stackrel{^}{\chi }}_{2n}=1,{\chi }_{2n+1}\left(\lambda \right)=m\left(\lambda \right){w}^{-1}\left(\lambda \right),{\stackrel{^}{\chi }}_{2n+1}\left(\lambda \right)=\stackrel{^}{m}\left(\lambda \right)w\left(\lambda \right),n\in {\mathbb{Z}}_{+}.$  Thereby we have 4 different expressions for the right hand side (5.7 ):  $\begin{array}{c}G\left(\lambda ;2p,2q\right){w}^{2\left(q-p\right)}=D\frac{\left(\lambda -\nu \right){w}^{2}\left(1-{w}^{4\left(q-p\right)}\right)}{1-{w}^{4}},\end{array}$ (5.8)
 $\begin{array}{c}G\left(\lambda ;2p,2q+1\right){w}^{2\left(q-p\right)+1}=D\frac{\stackrel{^}{m}\left(\lambda \right)\left(\lambda -\nu \right){w}^{2}-m\left(\lambda \right)\left(\lambda -\nu \right){w}^{4\left(q-p\right)+3}}{1-{w}^{4}},\end{array}$ (5.9)
 $\begin{array}{c}G\left(\lambda ;2p+1,2q\right){w}^{2\left(q-p\right)-1}=D\frac{m\left(\lambda \right)\left(\lambda -\nu \right)w-\stackrel{^}{m}\left(\lambda \right)\left(\lambda -\nu \right){w}^{4\left(q-p\right)+1}}{1-{w}^{4}},\end{array}$ (5.10)
 $\begin{array}{c}G\left(\lambda ;2p+1,2q+1\right){w}^{2\left(q-p\right)}=D\frac{m\left(\lambda \right)\stackrel{^}{m}\left(\lambda \right)\left(\lambda -\nu \right){w}^{2}\left(1-{w}^{4\left(q-p\right)}\right)}{1-{w}^{4}}\end{array}$ (5.11)
with $D=\frac{4}{{d}^{2}-{s}^{2}}.$  We can estimate right hand sides in (5.8 ) -(5.11 ) by using the explicit formulae for $w$  , $m$  , $\stackrel{^}{m}$  . Assume first that $|\lambda |\ge d$  . Then  $\begin{array}{ccc}{w}^{2}\left(\lambda \right)& =& u\left(\lambda \right)-{\left({u}^{2}\left(\lambda \right)-1\right)}^{1/2}=\frac{1}{u\left(\lambda \right)+{\left({u}^{2}\left(\lambda \right)-1\right)}^{1/2}}\end{array}$
 $\begin{array}{ccc}& =& \frac{{d}^{2}-{s}^{2}}{2}\frac{1}{{\lambda }^{2}-\left({s}^{2}+{d}^{2}\right)/2+{\left(\left({\lambda }^{2}-{s}^{2}\right)\left({\lambda }^{2}-{d}^{2}\right)\right)}^{1/2}},\end{array}$
so that $\left(\lambda -\nu {\right)}^{2}{w}^{2}\left(\lambda \right)=\frac{{d}^{2}-{s}^{2}}{2g\left(z\right)}{\left(1-\frac{\nu }{\lambda }\right)}^{2},z=\frac{{d}^{2}}{{\lambda }^{2}}.$  By lemma 5.1  $\begin{array}{c}|\left(\lambda -\nu \right)w\left(\lambda \right)|\le \frac{\sqrt{2}{d}^{2}}{{\left({d}^{2}-{s}^{2}\right)}^{1/2}}\left(1+\frac{|\nu |}{d}\right),|\lambda |\ge d.\end{array}$ (5.12)
The Weyl function is easily seen to satisfy as $z=\frac{{d}^{2}}{{\lambda }^{2}}$   $\begin{array}{ccc}\left(\lambda -\nu \right)m\left(\lambda \right)& =& \frac{2{a}_{1}^{0}}{{d}^{2}-{s}^{2}}\left({\lambda }^{2}+{d}^{2}\tau \left(\nu ,\varepsilon \right)-{\left(\left({\lambda }^{2}-{s}^{2}\right)\left({\lambda }^{2}-{d}^{2}\right)\right)}^{1/2}\right)\end{array}$
 $\begin{array}{ccc}& =& \frac{2{a}_{1}^{0}}{{d}^{2}-{s}^{2}}\frac{2{d}^{2}\tau \left(\nu ,\varepsilon \right)+{s}^{2}+{d}^{2}+\left({d}^{4}{\tau }^{2}\left(\nu ,\varepsilon \right)-{s}^{2}{d}^{2}\right){\lambda }^{-2}}{f\left(z,\nu ,\varepsilon \right)},.\end{array}$
By the definition of $\tau \left(\nu ,\varepsilon \right)$  (5.1 ) and the property (5.4 ) it is not hard to derive $|2{d}^{2}\tau \left(\nu ,\varepsilon \right)+{s}^{2}+{d}^{2}|\le \left(s+d{\right)}^{2},|{d}^{4}{\tau }^{2}\left(\nu ,\varepsilon \right)-{s}^{2}{d}^{2}|\le 3{\nu }^{2}\left(s+d{\right)}^{2},$  and so the application of lemma 5.1 gives  $\begin{array}{c}|m\left(\lambda \right)\left(\lambda -\nu \right)|\le \frac{8{a}_{1}^{0}\left(s+d{\right)}^{2}}{{d}^{2}-{s}^{2}}\frac{4{d}^{2}}{\left(d-s{\right)}^{2}}\le \frac{16\left(s+d{\right)}^{2}{d}^{2}}{\left(d-s{\right)}^{3}},|\lambda |\ge d\end{array}$ (5.13)
(in the later inequality we use $2{a}_{1}^{0}\le s+d$  (see (4.10 )). In the same way  $\begin{array}{ccc}\stackrel{^}{m}\left(\lambda \right)\left(\lambda -\nu \right){w}^{2}\left(\lambda \right)& =& \frac{2{a}_{1}^{0}}{{d}^{2}-{s}^{2}}\frac{{\lambda }^{2}+{d}^{2}\tau \left(\nu ,\varepsilon \right)+{\left({\lambda }^{2}-{s}^{2}\right)\left({\lambda }^{2}-{d}^{2}\right)\right)}^{1/2}}{{\lambda }^{2}-{d}^{2}\xi +{\left(\left({\lambda }^{2}-{s}^{2}\right)\left({\lambda }^{2}-{d}^{2}\right)\right)}^{1/2}}\frac{{d}^{2}-{s}^{2}}{2}\end{array}$
 $\begin{array}{ccc}& =& {a}_{1}^{0}\frac{f\left(z,\nu ,\varepsilon \right)}{g\left(z\right)},z=\frac{{d}^{2}}{{\lambda }^{2}},\end{array}$
and by lemma 5.1  $\begin{array}{c}|\stackrel{^}{m}\left(\lambda \right)\left(\lambda -\nu \right){w}^{2}\left(\lambda \right)|\le \frac{16{a}_{1}^{0}{d}^{4}}{\left({d}^{2}-{s}^{2}{\right)}^{2}}\le \frac{8{d}^{4}}{\left(d-s\right)\left({d}^{2}-{s}^{2}\right)},|\lambda |\ge d.\end{array}$ (5.14)
Finally $m\left(\lambda \right)\stackrel{^}{m}\left(\lambda \right)=-\frac{{c}_{3}\left(\lambda \right)}{{s}_{2}\left(\lambda \right)}=\frac{\lambda +\nu }{\lambda -\nu },m\left(\lambda \right)\stackrel{^}{m}\left(\lambda \right)\left(\lambda -\nu \right)w\left(\lambda \right)=\left(\lambda +\nu \right)w\left(\lambda \right)$  and as above in (5.12 )  $\begin{array}{c}|m\left(\lambda \right)\stackrel{^}{m}\left(\lambda \right)\left(\lambda -\nu \right)w\left(\lambda \right)|\le \frac{\sqrt{2}{d}^{2}}{{\left({d}^{2}-{s}^{2}\right)}^{1/2}}\left(1+\frac{|\nu |}{d}\right),|\lambda |\ge d.\end{array}$ (5.15)
For $|\lambda |\le d$  the argument is much more elementary and is based on $|w|\le 1$  :  $\begin{array}{c}|\left(\lambda ±\nu \right)w|\le d+|\nu |,\end{array}$ (5.16)
 $\begin{array}{c}|m\left(\lambda \right)\left(\lambda -\nu \right)|\le \frac{2{a}_{1}^{0}}{{d}^{2}-{s}^{2}}\left({d}^{2}+{d}^{2}|\tau |+2{d}^{2}\right)\le \frac{4{d}^{2}}{d-s},\end{array}$ (5.17)
and the same estimate holds for $\stackrel{^}{m}\left(\lambda \right)\left(\lambda -\nu \right)$  .
It is clear that the worst bound comes in (5.13 ) and thus we arrive at the following inequalities  $\begin{array}{c}|G\left(\lambda ;n,m\right){w}^{m-n}|\le {K}_{1}\left(s,d\right)\frac{|w\left(\lambda \right)|}{|1-{w}^{4}\left(\lambda \right)|},\lambda \in \mathbb{C},n,m\in {\mathbb{Z}}_{+}.\end{array}$ (5.18)
The desired result now stems from (5.18 ) and the definition of the kernel $\stackrel{~}{A}$  .
An application of (5.12 ) and (4.10 ) to (4.12 ) gives
 $\begin{array}{ccc}|{\chi }_{1}\left(\lambda \right)|& \le & \frac{2\left(d+s\right)}{{d}^{2}-{s}^{2}}\frac{2\sqrt{2}{d}^{2}}{{\left({d}^{2}-{s}^{2}\right)}^{1/2}}\frac{1}{|{w}^{2}\left(\lambda \right)-{w}^{2\varepsilon }\left(\nu \right)|}\end{array}$
 $\begin{array}{ccc}& =& \frac{4\sqrt{2}{d}^{2}}{\left(d-s\right){\left({d}^{2}-{s}^{2}\right)}^{1/2}}\frac{1}{|{w}^{2}\left(\lambda \right)-{w}^{2\varepsilon }\left(\nu \right)|},\end{array}$ (5.19)
and in fact this bound is true for all ${\chi }_{n}$  .
We are now in a position to estimate the solution of equation (3.8 )
 $\begin{array}{c}{V}_{n}\left(\lambda \right)={\sum }_{m=n+1}^{\infty }\stackrel{~}{A}\left(\lambda ;n,m\right){\chi }_{m}\left(\lambda \right)+{\sum }_{m=n+1}^{\infty }\stackrel{~}{A}\left(\lambda ;n,m\right){V}_{m}\left(\lambda \right)\end{array}$ (5.20)
with constants expressed explicitly in terms of the spectral data for the 2-periodic background. Assume first that
 $\begin{array}{c}{\sum }_{m=1}^{\infty }{d}_{m}<\infty .\end{array}$ (5.21)
By (5.19 ) and lemma 5.2 the first series in (5.20 ) converges uniformly on compact subsets of the domain
 $\begin{array}{c}\Omega \left(\varepsilon \right)=\left\{\begin{array}{cc}\mathbb{C}\\left\{±s,±d\right\},& \varepsilon =-1,\\ \mathbb{C}\\left\{±s,±d,\nu \right\},& \varepsilon =1,\end{array}\end{array}$ (5.22)
and its sum is subject to $|{V}_{n,1}\left(\lambda \right)|\le \frac{{K}_{2}\left(s,d\right){\kappa }_{0}\left(n\right)|w\left(\lambda \right)|}{|{w}^{2}\left(\lambda \right)-{w}^{2\varepsilon }\left(\nu \right)||1-{w}^{4}\left(\lambda \right)|},$
 $\begin{array}{c}{K}_{2}\left(s,d\right)={K}_{1}\left(s,d\right)\frac{4\sqrt{2}{d}^{2}}{\left(d-s\right){\left({d}^{2}-{s}^{2}\right)}^{1/2}},\end{array}$ (5.23)
${\kappa }_{0}\left(n\right)$  is defined in (3.9 ), $\kappa \left(n\right)=o\left(1\right)$  as $n\to \infty$  . Hence for ${V}_{n}$  we have (cf.(3.11 ))
 $\begin{array}{c}|{V}_{n}\left(\lambda \right)|\le \frac{K\left(\lambda \right){\kappa }_{0}\left(n\right)}{|1-{w}^{4}\left(\lambda \right)|}exp\left(\frac{K\left(\lambda \right){\kappa }_{0}\left(n\right)}{|1-{w}^{4}\left(\lambda \right)|}\right),K\left(\lambda \right)=\frac{{K}_{2}\left(s,d\right)|w\left(\lambda \right)|}{|{w}^{2}\left(\lambda \right)-{w}^{2\varepsilon }\left(\nu \right)|},\end{array}$ (5.24)
which leads to the following result.
Theorem 5.3. In assumption $\left(5.21\right)$  there exists a solution ${v}_{n}$  of equation $\left(3.3\right)$  which satisfies
 $\begin{array}{c}|{v}_{n}\left(\lambda \right)-{\psi }_{n}\left(\lambda \right)|\le \frac{K\left(\lambda \right){\kappa }_{0}\left(n\right)|{w}^{n}\left(\lambda \right)|}{|1-{w}^{4}\left(\lambda \right)|}exp\left(\frac{K\left(\lambda \right){\kappa }_{0}\left(n\right)}{|1-{w}^{4}\left(\lambda \right)|}\right),\lambda \in \Omega \left(\varepsilon \right),\end{array}$ (5.25)
where $K\left(\lambda \right)$  is given in $\left(5.24\right)$  , $\left(5.23\right)$  and $\left(5.6\right)$  , ${\kappa }_{0}\left(n\right)$  is defined in $\left(3.9\right)$  .
$\square$
Inequality (5.25 ) with $n=0$  implies $|{v}_{0}\left(\lambda \right)-1|\le \frac{K\left(\lambda \right)}{|1-{w}^{4}\left(\lambda \right)|}{\sum }_{m=1}^{\infty }{d}_{m}exp\left(\frac{K\left(\lambda \right)}{|1-{w}^{4}\left(\lambda \right)|}{\sum }_{m=1}^{\infty }{d}_{m}\right).$  Taking into account the spectral interpretation of zeros of the Jost function ${v}_{0}$  we can draw the following conclusion.
Corollary 5.4. Define the domain $G$  in $\lambda$  -plain by inequality
 $\begin{array}{c}G:=\left\{\lambda \in \mathbb{C}:\frac{{K}_{2}\left(s,d\right)|w\left(\lambda \right)|}{|{w}^{2}\left(\lambda \right)-{w}^{2\varepsilon }\left(\nu \right)||1-{w}^{4}\left(\lambda \right)|}{\sum }_{m=1}^{\infty }{d}_{m} (5.26)
where $t\simeq 0.567..$  is a unique positive root of the equation $xexp\left(x\right)=1$  .
Then $G$  is free from the discrete spectrum of $J$  . $\square$
In the case when the first moment of the perturbation is finite
 $\begin{array}{c}{\sum }_{m=1}^{\infty }m{d}_{m}<\infty ,\end{array}$ (5.27)
the bounds for the Green kernel are performed in a slightly different way by using a simple inequality $|\frac{1-{w}^{n}}{1-w}|\le n,|w|\le 1.$  For the right hand sides in (5.8 ) and (5.11 ) we see that
 $\begin{array}{ccc}|G\left(\lambda ;2p,2q\right){w}^{2\left(q-p\right)}|& \le & \frac{4\left(q-p\right)}{{d}^{2}-{s}^{2}}|\left(\lambda -\nu \right)w\left(\lambda \right)||w|,\end{array}$
 $\begin{array}{ccc}|G\left(\lambda ;2p+1,2q+1\right){w}^{2\left(q-p\right)}|& \le & \frac{4\left(q-p\right)}{{d}^{2}-{s}^{2}}|\left(\lambda +\nu \right)w\left(\lambda \right)||w|.\end{array}$
Next, for (5.9 ) $G\left(\lambda ;2p,2q+1\right){w}^{2\left(q-p\right)+1}={G}^{\prime }+{G}^{\prime \prime },$  where
 $\begin{array}{ccc}{G}^{\prime }& :=& \frac{4\left(\lambda -\nu \right)}{\left({d}^{2}-{s}^{2}\right)\left({w}^{-2}\left(\lambda \right)-{w}^{2}\left(\lambda \right)\right)}\left(\stackrel{^}{m}\left(\lambda \right)-m\left(\lambda \right)\right)w\left(\lambda \right)\end{array}$
 $\begin{array}{ccc}& =& \frac{{s}_{2}}{2{a}_{2}^{0}{\left({u}^{2}-1\right)}^{1/2}}\frac{±2{\left({u}^{2}-1\right)}^{1/2}}{{s}_{2}}w\left(\lambda \right),\end{array}$
and so $|{G}^{\prime }|\le \frac{|w\left(\lambda \right)|}{{a}_{2}^{0}}<\frac{2|w\left(\lambda \right)|}{d-s};$  ${G}^{\prime \prime }:=\frac{4\left(\lambda -\nu \right)}{{d}^{2}-{s}^{2}}\frac{m\left(\lambda \right)w\left(\lambda \right)\left(1-{w}^{4\left(p-q\right)}\right)}{{w}^{-2}\left(\lambda \right)-{w}^{2}\left(\lambda \right)},$  and $|{G}^{\prime \prime }|\le \frac{4\left(q-p\right)}{{d}^{2}-{s}^{2}}|\left(\lambda -\nu \right)m{w}^{3}|.$  Hence $|G\left(\lambda ;2p,2q+1\right){w}^{2\left(q-p\right)+1}|\le \frac{2|w|}{d-s}+\frac{4|\left(\lambda -\nu \right)m{w}^{3}|}{{d}^{2}-{s}^{2}}\left(q-p\right).$  The similar inequality holds for $G\left(\lambda ;2p+1,2q\right){w}^{2q-2p-1}$  . Finally, $|\stackrel{~}{A}\left(\lambda ;n,m\right)|\le {K}_{1}\left(s,d\right)\left(m-n\right){d}_{m}|w\left(\lambda \right)|.$  The method of successive approximations of Section 3 is applicable and provides the bound for the solution of the basic integral equation in assumption (5.27 ):
$|{v}_{n}\left(\lambda \right)-{\psi }_{n}\left(\lambda \right)|\le K\left(\lambda \right){\kappa }_{1}\left(n\right)exp\left(K\left(\lambda \right){\kappa }_{1}\left(n\right)\right),$  where $K\left(\lambda \right)$  is defined in (5.24 ), ${\kappa }_{1}\left(n\right):={\sum }_{m=n+1}^{\infty }\left(m-n\right){d}_{m}.$  We are aimed here at the condition which guarantees the lack of discrete spectrum for the operator $J$  . That is why it seems reasonable to suppose that the background operator ${J}_{0}$  has pure continuous spectrum, i.e., in our notation $\varepsilon =-1$  . Then $\frac{1}{|{w}^{2}\left(\lambda \right)-{w}^{-2}\left(\nu \right)|}=\frac{|{w}^{2}\left(\nu \right)|}{|1-{w}^{2}\left(\nu \right){w}^{2}\left(\lambda \right)|}\le \frac{1}{1-|{w}^{2}\left(\nu \right)|},$  and hence $|{v}_{0}\left(\lambda \right)-1|\le \frac{{K}_{2}\left(s,d\right)}{1-|w\left(\nu \right){|}^{2}}{\sum }_{m=1}^{\infty }m{d}_{m}exp\left(\frac{{K}_{2}\left(s,d\right)}{1-|w\left(\nu \right){|}^{2}}{\sum }_{m=1}^{\infty }m{d}_{m}\right),$  that gives the following result.
Theorem 5.5. The operator $J$  has no discrete spectrum as long as $\frac{{K}_{2}\left(s,d\right)}{1-|w\left(\nu \right){|}^{2}}{\sum }_{m=1}^{\infty }m{d}_{m}
References

1. G. Teschl, Jacobi Operators and Completely Integrable Nonlinear Lattices Math. Surv. and Mon.,Vol. 72, AMS, Rhode Island, 2000.
2. M. Toda, Theory of Nonlinear Lattices, Springer, Berlin, 1981.
3. E. Titchmarsh, Eigenfunction Expansions Associated with Second-Order Differential Equations, Part II, Oxford University Press, Oxford, 1958.
4. I. Egorova, L. Golinskii, On location of discrete spectrum for complex Jacobi matrices, to appear in Proc. AMS
5. L. Percolab, Inverse problem for periodic Jacobi matrix,Teor. funk., funk. anal., pril., 42 (1984), 107-121.
6. V. Lyantse, Spectrum and resolvent of a non-selfconjugate difference operator,Ukr. Math. J., 20, no.4 (1968), 489-503.
7. J. Geronimo, W. Van Assche, Orthogonal polynomials with asymptotically periodic recurrence coefficients, J.of Approx. Theory , 46 (1986), 251-283.

Institute for Low Temperature Physics and Engineering, 47, Lenin Ave, Kharkiv, Ukraine E-mail address : egorova@ilt.kharkov.ua Institute for Low Temperature Physics and Engineering, 47, Lenin Ave, Kharkiv, Ukraine E-mail address : golinskii@ilt.kharkov.ua