, , ,

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

ℓ^{2} (N)

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 = (\begin{matrix} b_{1} & c_{1} \\ a_{1} & b_{2} & c_{2} \\ a_{2} & b_{3} & c_{3} \\ . . . & . . . & . . . \end{matrix}), J_{0} = (\begin{matrix} 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{matrix}),

be Jacobi matrices with the entries

a_{n}, b_{n}, c_{n} \in C, a_{n} c_{n} \neq 0; a_{n + 2}^{0} = a_{n}^{0} > 0, b_{n + 2}^{0} = b_{n}^{0} \in R,

and

\begin{matrix} (J y)_{n} & = & a_{n - 1} y_{n - 1} + b_{n} y_{n} + c_{n} y_{n + 1} = λ y_{n}, λ \in C \end{matrix}

\begin{matrix} (J_{0} y)_{n} & = & a_{n - 1}^{0} y_{n - 1} + b_{n}^{0} y_{n} + a_{n}^{0} y_{n + 1} = λ y_{n}, \end{matrix}

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{matrix} d_{m} : = | b_{m}^{0} - b_{m} | + | a_{m - 1}^{0} - \frac{a_{m - 1} c_{m - 1}}{a_{m - 1}^{0}} | . \end{matrix}

(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

σ_{c} (J_{0}) = [- d, - s] ⋃ [s, d], 0 < s < d .

Put

ɛ = 1

when

J_{0}

has an eigenvalue

ν

- s < ν < s

, and

ɛ = - 1

otherwise (this is actually the case when

ν

is an eigenvalue of the Jacobi matrix with shifted entries

{\hat{a}}_{n}^{0} = a_{n + 1}^{0}

{\hat{b}}_{n}^{0} = b_{n + 1}^{0}

ν = \pm s

)¹ . Let

w^{2} (λ)

| w (λ) | \leq 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

(1.1)

Then in the domain of variable

λ

, defined by the relation

\begin{matrix} \frac{K_{2} (s, d) | w (λ) |}{| w^{2} (λ) - w^{2 ɛ} (ν) | | 1 - w^{4} (λ) |} \sum_{m = 1}^{\infty} d_{m} < t, \end{matrix}

(1.2)

with

t ≃ 0.567 . .

being a unique positive root of the equation

x exp (x) = 1

and

K_{2} (s, d) = \frac{1024 \sqrt{2} d^{5}}{(d - s)^{5} {(d^{2} - s^{2})}^{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

ν

, as long as it is an eigenvalue of

J_{0}

(i.e.,

ɛ = 1

), or

ν = \pm s

. We can also observe that even if

ν

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} \neq a_{n + 1}^{0}

. Let

K_{2} (s, d)

and

t

be taken from theorem 1.1. Then under assumption

\frac{K_{2} (s, d)}{1 - | w (ν) |^{2}} \sum_{m = 1}^{\infty} m d_{m} < t,

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] ).

¹ See Section 2 for more information about periodic problem

2 Preliminaries on periodic spectral problem

Let

J_{0} = (\begin{matrix} 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{matrix}), a_{j}^{0} > 0, b_{j}^{0} = \bar{b_{j}^{0}}

be an infinite Jacobi matrix with

N

periodic entries,

N \geq 2

a_{j + N}^{0} = a_{j}^{0}; b_{j + N}^{0} = b_{j}^{0}; j \in N = {1, 2, \dots} .

Put

a_{0}^{0} = a_{N}^{0}

and consider the three term equation

\begin{matrix} a_{n - 1}^{0} y_{n - 1} + b_{n}^{0} y_{n} + a_{n}^{0} y_{n + 1} = λ y_{n}; n \in N, λ \in C . \end{matrix}

(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} (λ) = \frac{λ^{n - 1}}{a_{1}^{0} \dots a_{n - 1}^{0}} + \dots .

The Wronskian

〈 s, c 〉 (n) = a_{n - 1}^{0} (s_{n - 1} c_{n} - s_{n} c_{n - 1})

of these two solutions does not depend on

n

and by periodicity of

a_{n}^{0}

〈 s, c 〉 (N + 1) = a_{N}^{0} (s_{N} c_{N + 1} - s_{N + 1} c_{N}) = 〈 s, c 〉 (1) = - a_{N}^{0}

\begin{matrix} s_{N + 1} (λ) c_{N} (λ) - s_{N} (λ) c_{N + 1} (λ) = 1, λ \in C . \end{matrix}

(2.2)

The following two polynomials with real coefficients

\begin{matrix} u (λ) = \frac{1}{2} (s_{N + 1} (λ) + c_{N} (λ)) = \frac{λ^{N}}{2 a_{1}^{0} \dots a_{N}^{0}} + \dots \end{matrix}

(2.3)

\begin{matrix} v (λ) = \frac{1}{2} (s_{N + 1} (λ) - c_{N} (λ)) \end{matrix}

(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

ℓ^{2} (N)

. Indeed, as is known by [2,Chapter4] , the spectrum

σ (J_{0}) = σ_{c} (J_{0}) \cup σ_{d} (J_{0})

is a union of at most

N

disjoint closed intervals (bands) which constitute the continuous spectrum

σ_{c} (J_{0})

σ_{c} (J_{0}) = [μ_{0}, μ_{N}] \^{M - 1} ⋃_{k = 1} Γ_{k}, Γ_{k} = (μ_{k}^{-}, μ_{k}^{+}), M \leq N,

with at most one eigenvalue inside each gap

Γ_{k}

(they form the discrete spectrum

σ_{d} (J_{0})

). The continuous spectrum is related to the Hill discriminant by

σ_{c} (J_{0}) = {λ : - 1 \leq u (λ) \leq 1}

(see [2,Section7.1] ). Throughout the paper we assume that

M = N

, i.e., an equation

u^{2} = 1

has no multiple zeros. Hence

μ_{k}^{-} < μ_{k}^{+}

and

{λ : u (λ) = \pm 1} = {μ_{0}, μ_{1}^{-}, μ_{1}^{+}, . . ., μ_{N - 1}^{+}, μ_{N}} .

By (2.3 )

u (μ_{N}) = 1

and

u \to + \infty

λ \to + \infty

. The behavior of

u

for

λ \to - \infty

is determined by the parity of

N

Consider the function

{(u^{2} (λ) - 1)}^{1 / 2} = \frac{1}{2 a_{1}^{0} \dots a_{n}^{0}} {((λ - μ_{0}) (λ - μ_{N})^{N - 1} \prod_{k = 1} (λ - μ_{k}^{-}) (λ - μ_{k}^{+}))}^{1 / 2},

where the branch of the square root is taken positive for

λ > μ_{N}

. This function is real-valued inside the gaps

Γ_{k}

in such a way that

sign {(u^{2} - 1)}^{1 / 2} = (- 1)^{N - k + 1},

λ \in Γ_{k}

. On the set

σ_{c} (J_{0})

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 (λ) = 〈 (J_{0} - λ I)^{- 1} e_{1}, e_{1} 〉 = \frac{v (λ) - {(u^{2} (λ) - 1)}^{1 / 2}}{s_{N} (λ)} .

Denote by

Λ_{r}

the set of all poles of

m

, which is clearly a subset of the set

Λ = {λ_{k}}_{k = 1}^{N - 1}

of all roots of the polynomials

s_{N}

(they all are real and simple and

λ_{k} \in [μ_{k}^{-}, μ_{k}^{+}]) .

We assume that all

λ_{k}

stay strictly inside the gaps, that is

\begin{matrix} Λ \subset^{N - 1} ⋃_{k = 1} Γ_{k} . \end{matrix}

(2.5)

The Weyl solution

ψ_{n}

of (2.1 ) is defined in a standard way

ψ_{n} (λ) = c_{n} (λ) + m (λ) s_{n} (λ); ψ_{0} = 1, ψ_{1} = m,

{ψ_{n}} \in ℓ^{2} (N)

for

λ / \in σ_{c} (J_{0}) \cup Λ_{r} .

Along with the function

m

consider the function ²

\hat{m} (λ) : = \frac{v (λ) + {(u^{2} (λ) - 1)}^{1 / 2}}{s_{N} (λ)} .

It is easy to see from (2.2 )-(2.4 ) that

\begin{matrix} v^{2} (λ_{k}) = u^{2} (λ_{k}) - 1, \end{matrix}

(2.6)

and so one of the functions

m, \hat{m}

has a pole at each point

λ_{k}

and the other a removable singularity .

Let us introduce the second solution of (2.1 )

{\hat{ψ}}_{n} (λ) = c_{n} (λ) + \hat{m} (λ) s_{n} (λ), λ / \in Λ \ Λ_{r} .

As the Wronskian

〈 ψ, \hat{ψ} 〉 = a_{N}^{0} (ψ_{0} {\hat{ψ}}_{1} - ψ_{1} {\hat{ψ}}_{0}) = 2 a_{N}^{0} \frac{{(u^{2} (λ) - 1)}^{1 / 2}}{s_{N}} \neq 0,

the solutions

ψ

and

\hat{ψ}

are linearly independent off the endpoints of

Γ_{k}

. Note also that

{\hat{ψ}}_{n} (λ + i 0) = \bar{ψ_{n} (λ + i 0)} = ψ_{n} (λ - i 0)

for

λ \in σ_{c} (J_{0})

, and both solutions take real values for

λ \in R \ σ (J_{0})

. It follows from the properties of the Weyl functions

m, \hat{m}

that for

n \neq k N,

k \in Z_{+} = {0, 1, \dots}

the only one of

ψ_{n}, {\hat{ψ}}_{n}

may have a pole at

λ_{k}

. For

n = k N

they both are continuous at

λ_{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

φ_{n} (λ)

, which satisfies

\begin{matrix} φ_{n + N} (λ) = ρ (λ) φ_{n} (λ), n \in Z_{+} . \end{matrix}

(2.7)

Here

ρ (λ) = u (λ) - {(u^{2} (λ) - 1)}^{1 / 2}

is the Floquet multiplier (see [1] ), with

| ρ (λ) | = 1

for

λ \in σ_{c} (J_{0})

and

| ρ (λ) | < 1

for

λ \in σ_{c} (J_{0})

. It is clear that

{φ_{n}} \in ℓ^{2} (Z_{+})

for

λ \in C \ σ (J_{0})

, and so it agrees up to a constant multiplier with the Weyl solution. We can put

φ_{n} (λ) \equiv ψ_{n} (λ)

. In addition by ([1,formula(7.19)] ) for the second solution

\begin{matrix} {\hat{ψ}}_{n + N} (λ) = ρ^{- 1} (λ) {\hat{ψ}}_{n} (λ) \end{matrix}

(2.8)

holds. Following [7] we introduce the function

w

\begin{matrix} w^{N} (λ) = ρ (λ) . \end{matrix}

(2.9)

It defines a conformal mapping of the upper

C_{+}

and lower

C_{-}

half-planes onto the lower

W_{-}

and upper

W_{+}

half-disks with cuts

\begin{matrix} W_{\pm} = {w : | w | < 1; \pm Im w > 0} \^{N - 1} ⋃_{k = 1} β_{k}^{\pm}, \end{matrix}

(2.10)

where

β_{k}^{\pm} = [exp (\pm i π (N - k) N^{- 1}), exp (\pm i π (N - k) N^{- 1}) | w (γ_{k}) |],

and

{γ_{k}}_{k = 1}^{N - 1}

are the points of local extremum of the Hill discriminant

u

γ_{k} \in (μ_{k}^{-}, μ_{k}^{+})

(see [5,p.110] ). Moreover, the upper side of the interval

[μ_{k}^{+}, μ_{k + 1}^{-}]

goes to the circular arc with endpoints

exp \frac{i π (k - N)}{N}

and

exp \frac{i π (k + 1 - N)}{N},

the lower side goes to the symmetric arc on the upper semicircle. The gap

\bar{Γ_{k}}

viewed as a part of the boundary of

C_{+}

is mapped on both sides of the cut

β_{k}^{-}

, in such a way that

γ_{k}

corresponds to the vertex of the cut and

μ_{k}^{-}

μ_{k}^{+}

exp (i π (k - N) N^{- 1} \mp i 0)

, respectively. As a part of the boundary of

C_{+}

the gap

\bar{Γ_{k}}

goes to the symmetric cut

β_{k}^{+}

. The infinite gaps

(- \infty, μ_{0})

and

(μ_{N}, + \infty)

are mapped onto

(- 1, 0)

and

(0, 1)

, respectively;

w (λ) \to 0

for

λ \to \infty

. Hence the points

μ_{0}, μ_{1}^{-}, . . ., μ_{N}

correspond to

w^{2 N} = 1

and each point from

Λ

has two symmetric images on symmetric sides of the cuts.

Consider the functions

ψ_{n} (λ)

and

{\hat{ψ}}_{n} (λ)

as functions of variable

w

for

w \in W_{+} \cup W_{-} \cup (- 1, 0) \cup (0, 1)

. Then they have continuous boundary values with

\begin{matrix} ψ_{n} (\bar{w}) = \bar{ψ_{n} (w)}, {\hat{ψ}}_{n} (\bar{w}) = \bar{\overset{n}{\hat{ψ}} (w)}, | w | = 1, \end{matrix}

(2.11)

ψ_{n} (\bar{w}) = ψ_{n} (w) \in R \hat{ψ} (\bar{w}) = \bar{\overset{n}{\hat{ψ}} (w)} \in R, w \in β_{k}^{\pm} .

Note that by (2.7 ),(2.8 ) and (2.9 ) the equalities

\begin{matrix} ψ_{n} (w) = w^{n} χ_{n} (w), {\hat{ψ}}_{n} (w) = w^{- n} \hat{χ} (w) \end{matrix}

(2.12)

hold, where

χ_{n} (w) = χ_{N + n} (w)

{\hat{χ}}_{n} (w) = {\hat{χ}}_{N + n} (w)

are

N

periodic functions.

² The function $\hat{m}$ appears to be the Weyl function of the operator ${\hat{J}}_{0} : ℓ^{2} (Z_{-}) \to ℓ^{2} (Z_{-})$ with periodically extended entries $a_{i}$ , $b_{i}$ .

3 Integral equation

Take an infinite Jacobi matrix

J = (\begin{matrix} b_{1} & c_{1} \\ a_{1} & b_{2} & c_{2} \\ a_{2} & b_{3} & c_{3} \\ . . . & . . . & . . . \end{matrix}), a_{j}, b_{j}, c_{j} \in C, a_{j} c_{j} \neq 0,

and the related three term recurrence relation

\begin{matrix} a_{n - 1} y_{n - 1} + b_{n} y_{n} + c_{n} y_{n + 1} = λ y_{n}; λ \in C, n \in N . \end{matrix}

(3.1)

We assume that the matrix entries

{a_{n}}

{b_{n}}

and

{c_{n}}

are close to

N

periodic sequences

{a_{n}^{0}}

{b_{n}^{0}}

in the following sense

\begin{matrix} \sum_{n = 1}^{\infty} {| a_{n} - a_{n}^{0} | + | b_{n} - b_{n}^{0} | + | c_{n} - a_{n}^{0} |} < \infty . \end{matrix}

(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{matrix} a_{n - 1}^{0} v_{n - 1} + b_{n} v_{n} + \frac{c_{n} a_{n}}{a_{n}^{0}} v_{n + 1} = λ v_{n} . \end{matrix}

(3.3)

Under the Green function (for the unperturbed problem) we mean

\begin{matrix} G (λ; n, m) : = {\begin{matrix} \frac{ψ_{n} (λ) {\hat{ψ}}_{m} (λ) - ψ_{m} (λ) {\hat{ψ}}_{n} (λ)}{〈 ψ, \hat{ψ} 〉} & ; & m > n \\ 0 & ; & m \leq n \end{matrix}, m, n \geq 0, \end{matrix}

(3.4)

where the Weyl solutions

ψ_{n}

{\hat{ψ}}_{n}

are defined in Section 2. It is easy to check that

a_{n - 1}^{0} G (λ; n - 1, m) + (b_{n}^{0} - λ) G (λ; n, m) + a_{n}^{0} G (λ; n + 1, m) = δ_{n, m},

where

δ_{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{matrix} v_{n} (λ) = ψ_{n} (λ) + \sum_{m = n + 1}^{\infty} A (λ; n, m) v_{n} (λ), λ / \in Λ_{r} . \end{matrix}

(3.5)

with the kernel

\begin{matrix} A (λ; n, m) = (b_{m}^{0} - b_{m}) G (λ; n, m) + (a_{m - 1}^{0} - \frac{a_{m - 1} c_{m - 1}}{a_{m - 1}^{0}}) G (λ; n, m - 1) . \end{matrix}

(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} - ψ_{n} \to 0 .

Indeed, by the definition

\begin{matrix} A (λ; n - 1, m) & = & \frac{b_{n}^{0} - b_{n}}{a_{n - 1}^{0}}, \end{matrix}

\begin{matrix} A (λ; n - 1, n + 1) & = & \frac{(b_{n + 1}^{0} - b_{n + 1}) (λ - b_{n}^{0})}{a_{n - 1}^{0} a_{n}^{0}} + (a_{n}^{0} - \frac{a_{n} c_{n}}{a_{n}^{0}}) . \end{matrix}

We apply the `unperturbed' operator to both parts of (3.5 )

\begin{matrix} (J_{0} - λ) v_{n} & = & a_{n - 1}^{0} v_{n - 1} + (b_{n}^{0} - λ) v_{n} + a_{n}^{0} v_{n + 1} \end{matrix}

\begin{matrix} = & (J_{0} - λ) ψ_{n} (λ) + a_{n - 1}^{0} {A (λ; n - 1, n) v_{n} + A (λ; n - 1, n + 1) v_{n + 1}} \end{matrix}

\begin{matrix} + & (b_{n}^{0} - λ) A (λ; n, n + 1) v_{n + 1} + \sum_{m = n + 2}^{\infty} (J_{0} - λ)_{n} A (λ; n, m) v_{m} \end{matrix}

a_{n - 1}^{0} v_{n - 1} + (b_{n}^{0} - λ) v_{n} + a_{n}^{0} v_{n + 1} = (b_{n}^{0} - b_{n}) v_{n} + (a_{n}^{0} - \frac{a_{n} c_{n}}{a_{n}^{0}}) v_{n + 1},

which gives exactly (3.3 ).

Multiply (3.5 ) through by

w^{- n}

, where

w

is defined in (2.9 ):

\begin{matrix} {\tilde{v}}_{n} : = v_{n} w^{- n} = ψ_{n} (λ) w^{- n} + \sum_{m = n + 1}^{\infty} \tilde{A} (λ; n, m) {\tilde{v}}_{m}, \end{matrix}

(3.7)

\tilde{A} (λ; n, m) : = A (λ; n, m) w^{m - n},

\begin{matrix} V_{n} (λ) = \sum_{m = n + 1}^{\infty} \tilde{A} (λ; n, m) ψ_{m} (λ) w^{- m} + \sum_{m = n + 1}^{\infty} \tilde{A} (λ; n, m) V_{m} (λ), \end{matrix}

(3.8)

with

V_{n} (λ) = (v_{n} (λ) - ψ_{n} (λ)) w^{- n} .

Equation (3.8 ) is analyzed thoroughly in [7,Theorem3] , for real symmetric Jacobi matrices

(c_{n} = a_{n} > 0,

b_{n} = \bar{b_{n}})

. The existence of the solution

V

such that

| V_{n} (λ) s_{N} (λ) | = O (1), n \to \infty

uniformly on compact subsets of the domain

C \ {μ_{k}^{\pm}}

has been established (the reason for the factor

s_{N}

to enter the asymptotic relation is to `suppress' poles of

ψ_{n}

We will be interested in the bounds of the form

| v_{n} (λ) - ψ_{n} (λ) | \leq \frac{K (λ) w^{n} κ_{0} (n)}{| 1 - w^{2 N} |}, λ / \in Λ_{r},

wherein a positive function

K (λ)

is given explicitly in terms of the spectral data of the background and uniformly bounded off certain small neighborhoods of the set

Λ_{r}

\begin{matrix} κ_{0} (n) : = \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{matrix}

(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

\tilde{A}

lead to the uniform convergence of the series

\begin{matrix} V_{n, 1} (λ) : = \sum_{m = n + 1}^{\infty} \tilde{A} (λ; n, m) ψ_{m} (λ) w^{- m} \end{matrix}

(3.10)

on compact subsets of the domain

C \ (\cup {μ_{k}^{\pm}} \cup Λ_{r})

, and moreover

| V_{n, 1} (λ) | \leq \frac{K (λ)}{| 1 - w^{2 N} |} κ_{0} (n) .

Put

V_{n, j + 1} : = \sum_{m = n + 1}^{\infty} \tilde{A} (λ; n, m) V_{m, j} (λ)

and prove by induction that

| V_{n, j} (λ) | \leq \frac{1}{(j - 1)!} {(\frac{K (λ) κ_{0} (n)}{| 1 - w^{2 N} |})}^{j} .

Then the required solution of (3.8 ) is given by

\begin{matrix} V_{n} (λ) = \sum_{j = 1}^{\infty} V_{n, j} (λ), | V_{n} (λ) | \leq \frac{K (λ) κ_{0} (n)}{| 1 - w^{2 N} |} exp (\frac{K (λ) κ_{0} (n)}{| 1 - w^{2 N} |}) . \end{matrix}

(3.11)

In particular for

n = 0

thanks to

ψ_{0} = 1

we have

| v_{0} (λ) - 1 | \leq \frac{K_{1} (w) \sum_{m = 1}^{\infty} d_{m}}{| 1 - w^{2 N} |} exp (\frac{K_{1} (w) \sum_{m = 1}^{\infty} d_{m}}{| 1 - w^{2 N} |}),

which makes it possible to describe the region of the variable

w

wherein

v_{0} \neq 0

The similar argument (with slightly different bounds) holds under the assumption

\begin{matrix} \sum_{m = 1}^{\infty} m d_{m} < \infty . \end{matrix}

(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

σ_{c} (J_{0})

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{matrix} {\begin{matrix} s_{0} = 0, & s_{1} = 1, & s_{2} = \frac{λ - b_{1}^{0}}{a_{1}^{0}}, & s_{3} = \frac{(λ - b_{1}^{0}) (λ - b_{2}^{0}) - (a_{1}^{0})^{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} - λ}{a_{1}^{0}} . \end{matrix} \end{matrix}

(4.1)

The Hill discriminant

\begin{matrix} u (λ) = \frac{1}{2} (s_{3} (λ) + c_{2} (λ)) = \frac{λ^{2} - (b_{1}^{0} + b_{2}^{0}) λ + b_{1}^{0} b_{2}^{0} - (a_{2}^{0})^{2} - (a_{1}^{0})^{2}}{2 a_{1}^{0} a_{2}^{0}} \end{matrix}

(4.2)

is a quadratic parabola with the positive leading coefficient. Hence the bands of continuous spectrum

{λ : - 1 \leq u \leq 1}

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

{- d, - s, s, d},

0 < s < d

. Then

\begin{matrix} u (λ) - 1 = C (λ^{2} - d^{2}), u (λ) + 1 = C (λ^{2} - s^{2}), u^{2} (λ) - 1 = C^{2} (λ^{2} - d^{2}) (λ^{2} - s^{2}), \end{matrix}

(4.3)

whence it follows that

C = 2 (d^{2} - s^{2})^{- 1}

and

\begin{matrix} u (λ) = \frac{2}{d^{2} - s^{2}} (λ^{2} - \frac{d^{2} + s^{2}}{2}) . \end{matrix}

(4.4)

Let

ν

be a root of the polynomial

s_{2},

ν = b_{1}^{0}

. By the assumption (2.5 ) we have

| ν | < s

. Put

ɛ = 1

in the case when the Weyl function

m (λ)

has a pole at

ν

and

ɛ = - 1

otherwise. Our goal here is to restore the matrix

J_{0}

from its Borg sequence

{\pm s, \pm d, ν, ɛ}

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{matrix} u (λ) = \frac{w^{2} (λ) + w^{- 2} (λ)}{2} . \end{matrix}

(4.5)

By comparing (4.2 ) and (4.4 ) we come to the relations for the matrix entries:

\begin{matrix} b_{2}^{0} = - b_{1}^{0} = - ν \end{matrix}

(4.6)

and

\begin{matrix} a_{1}^{0} a_{2}^{0} = \frac{d^{2} - s^{2}}{4}, ν^{2} + (a_{1}^{0})^{2} + (a_{2}^{0})^{2} = \frac{d^{2} + s^{2}}{2}, \end{matrix}

(4.7)

so that

(a_{1}^{0})^{2}

(a_{2}^{0})^{2}

are roots of the quadratic equation

x^{2} - (\frac{d^{2} + s^{2}}{2} - ν^{2}) x + {(\frac{d^{2} - s^{2}}{4})}^{2} = 0 .

Hence

\begin{matrix} 4 (a_{min}^{0})^{2} & = & d^{2} + s^{2} - 2 ν^{2} - 2 {(d^{2} - ν^{2}) (s^{2} - ν^{2}))}_{+}^{1 / 2}, \end{matrix}

\begin{matrix} 4 (a_{max}^{0})^{2} & = & d^{2} + s^{2} - 2 ν^{2} + 2 {((d^{2} - ν^{2}) (s^{2} - ν^{2}))}_{+}^{1 / 2}, \end{matrix}

(4.8)

where

a_{min}^{0} = min {a_{1}^{0}, a_{2}^{0}}

a_{max}^{0} = max {a_{1}^{0}, a_{2}^{0}}

and

()_{+}^{1 / 2}

designates the arithmetic value of the square root.

Let us show that

ɛ = 1 (ɛ = - 1)

is equivalent to

a_{1}^{0} < a_{2}^{0}

(a_{2}^{0} < a_{1}^{0})

. To this end write

\begin{matrix} v (λ) & = & \frac{1}{2} (s_{3} (λ) - c_{2} (λ)) = \frac{λ^{2} - ν^{2} - (a_{1}^{0})^{2} + (a_{2}^{0})^{2}}{2 a_{1}^{0} a_{2}^{0}} \end{matrix}

\begin{matrix} = & \frac{2}{d^{2} - s^{2}} (λ^{2} - ν^{2} - (a_{1}^{0})^{2} + (a_{2}^{0})^{2}), \end{matrix}

and so

\begin{matrix} v (ν) = \frac{2}{d^{2} - s^{2}} ((a_{2}^{0})^{2} - (a_{1}^{0})^{2}) . \end{matrix}

(4.9)

With regard to (4.8 ) and (4.3 ) (see also (2.6 )) the latter gives

v^{2} (ν) = \frac{4}{(d^{2} - s^{2})^{2}} (d^{2} - ν^{2}) (s^{2} - ν^{2}) = u^{2} (ν) - 1,

and therefore

| v (ν) | = {(u^{2} (ν) - 1)}_{+}^{1 / 2}

. In two-band case the Weyl function admits representation

m (λ) = \frac{v (λ) + {(u^{2} (λ) - 1)}_{+}^{1 / 2}}{s_{2} (λ)}, | λ | < s,

and has a pole if and only if

| v (ν) | = v (ν)

, 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

{- d, - s, s, d, ν, ɛ}

by the formulae:

b_{2}^{0} = - b_{1}^{0} = - ν,

4 (a_{1}^{0})^{2} = d^{2} + s^{2} - 2 ν^{2} - 2 ɛ {((d^{2} - ν^{2}) (s^{2} - ν^{2}))}_{+}^{1 / 2},

4 (a_{2}^{0})^{2} = d^{2} + s^{2} - 2 ν^{2} + 2 ɛ {((d^{2} - ν^{2}) (s^{2} - ν^{2}))}_{+}^{1 / 2} .

Corollary 4.2. The following inequalities hold

\begin{matrix} \frac{d - s}{2} \leq a_{j}^{0} \leq \frac{d + s}{2} . \end{matrix}

(4.10)

Our next problem is to find effective bounds for the Weyl solution, more precisely, for the function

χ_{n} (λ) = ψ_{n} (λ) w^{- n}

in terms of the variable

w

. As

χ_{n + 2} = χ_{n}

χ_{0} = ψ_{0} = 1

, we only need estimate the function

χ_{1} (λ) = w^{- 1} (λ) ψ_{1} (λ)

. By the definition of

w

and in view of (4.5 ) we have

\begin{matrix} w^{2} (ν) = u (ν) - {(u^{2} (ν) - 1)}^{1 / 2} . \end{matrix}

(4.11)

Remind that in the two-band case

{(u^{2} (ν) - 1)}^{1 / 2} < 0

Lemma 4.3. The following representation holds

\begin{matrix} χ_{1} (λ) = \frac{4 a_{1}^{0} (λ + ν) w (λ)}{d^{2} - s^{2}} \frac{1}{w^{2} (λ) - w^{2 ɛ} (ν)} . \end{matrix}

(4.12)

Proof. The wronskian of two solutions

s_{n} (λ)

and

ψ_{n} (λ)

does not depend on

n

〈 ψ, s 〉 = a_{2}^{0} (ψ_{2} s_{3} - s_{2} ψ_{3}) = a_{0}^{0} (ψ_{0} s_{1} - ψ_{1} s_{0}) = a_{0}^{0} : = a_{2}^{0},

that is

\begin{matrix} s_{3} (λ) ψ_{2} (λ) - s_{2} (λ) ψ_{3} (λ) = 1 . \end{matrix}

(4.13)

Since (see Section 1)

ψ_{2} = w^{2} ψ_{0} = w^{2}

ψ_{3} = w^{2} ψ_{1}

, it follows from (4.13 ), (2.1 ), (4.1 ) and theorem 4.1 that

\begin{matrix} ψ_{1} & = & \frac{s_{3} w^{2} - 1}{w^{2} s_{2}} = \frac{((λ - b_{2}^{0}) s_{2} - a_{1}^{0}) w^{2} (a_{2}^{0})^{- 1} - 1}{w^{2} s_{2}} \end{matrix}

\begin{matrix} = & \frac{λ + ν}{a_{2}^{0}} - \frac{a_{1}^{0} w^{2} + a_{2}^{0}}{a_{2}^{0} w^{2} s_{2}} = \frac{λ + ν}{a_{2}^{0}} - \frac{a_{1}^{0} ψ_{2} + a_{0}^{0} ψ_{0}}{a_{2}^{0} w^{2} s_{2}} \end{matrix}

\begin{matrix} = & \frac{λ + ν}{a_{2}^{0}} - \frac{(λ - b_{1}^{0}) ψ_{1}}{a_{2}^{0} w^{2} s_{2}} = \frac{λ + ν}{a_{2}^{0}} - \frac{a_{1}^{0}}{a_{2}^{0} w^{2}} ψ_{1}, \end{matrix}

i.e.,

ψ_{1} (1 + \frac{a_{1}^{0}}{w^{2} a_{2}^{0}}) = \frac{λ + ν}{a_{2}^{0}},

and hence

\begin{matrix} ψ_{1} (λ) = \frac{(λ + ν) w^{2}}{a_{2}^{0} w^{2} + a_{1}^{0}} = \frac{4 a_{1}^{0} (λ + ν) w^{2}}{4 a_{1}^{0} a_{2}^{0} w^{2} + 4 (a_{1}^{0})^{2}} . \end{matrix}

(4.14)

But by (4.3 ), (4.4 ), (4.7 ) and theorem 4.1

\frac{4 (a_{1}^{0})^{2}}{d^{2} - s^{2}} = \frac{2}{d^{2} - s^{2}} (\frac{d^{2} + s^{2}}{2} - ν^{2}) + ɛ \frac{2}{d^{2} - s^{2}} {((d^{2} - ν^{2}) (s^{2} - ν^{2}))}_{+}^{1 / 2},

that is

\frac{4 (a_{1}^{0})^{2}}{d^{2} - s^{2}} = - u (ν) - ɛ {(u^{2} (ν) - 1)}^{1 / 2} .

Relations (4.11 ), (4.5 ) imply

\begin{matrix} \frac{4 (a_{1}^{0})^{2}}{d^{2} - s^{2}} = (w (ν))^{2 ɛ} . \end{matrix}

(4.15)

Next we plague (4.15 ) into (4.14 ) and take into account (4.7 ):

\begin{matrix} ψ_{1} (λ) = \frac{4 a_{1}^{0} (λ + ν) w^{2} (λ)}{(d^{2} - s^{2}) (w^{2} (λ) - w^{2 ɛ} (ν))}, \end{matrix}

(4.16)

which proves (4.12 ) since

χ_{1} (λ) = w^{- 1} (λ) ψ_{1} (λ)

. □

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, \hat{m}

. We begin with the following simple result.

Lemma 5.1. Let

0 \leq | ν | < s < d

and

ɛ = \pm 1

. Put

\begin{matrix} τ (ν, ɛ) : = \frac{ɛ {((d^{2} - ν^{2}) (s^{2} - ν^{2}))}^{1 / 2} - ν^{2}}{d^{2}}, τ = τ (0, ɛ) = \frac{ɛ s}{d}, ξ = \frac{d^{2} + s^{2}}{2 d^{2}} . \end{matrix}

(5.1)

For

| z | < 1

consider the functions

f (z, ν, ɛ) : = 1 + τ (ν, ɛ) z + {((1 - z) (1 - τ z))}^{1 / 2},

g (z) : = 1 - ξ z + {(1 - z) (1 - τ z))}^{1 / 2},

where the branch of the square root is taken positive for

- 1 < z < 1

Then

\begin{matrix} | f (z, ν, ɛ) | \geq \frac{(1 + τ (ν, ɛ))^{2}}{4} \geq \frac{(1 - | τ |)^{2}}{4} = \frac{(d - s)^{2}}{4 d^{2}}, \end{matrix}

(5.2)

\begin{matrix} | g (z) | \geq \frac{| ξ^{2} - τ^{2} |}{4} = \frac{(1 - τ^{2})^{2}}{4} = \frac{(d^{2} - s^{2})^{2}}{4 d^{4}} . \end{matrix}

(5.3)

Proof. We have $f (z, ν, ɛ) = f_{1} + f_{2}$ , where $f_{1}^{2} - f_{2}^{2} = (1 + τ (ν, ɛ) z)^{2} - (1 - z) (1 - τ^{2} z) = (2 τ (ν, ɛ) + τ^{2} + 1) z + (τ^{2} (ν, ɛ) - τ^{2}) z^{2},$ and so $f (z, ν, ɛ) = \frac{2 τ (ν, ɛ) + τ^{2} + 1 + (τ^{2} (ν, ɛ) - τ^{2}) z}{(f_{1} (z) - f_{2} (z)) z^{- 1}} .$ The function $h = f_{1} - f_{2}$ is analytic in $D$ , $h (0) = 0$ and $| h (z) | \leq 1 + | τ (ν, ɛ) | + {(2 (1 + τ^{2}))}^{1 / 2} .$ An elementary analysis of the function $τ (ν, ɛ)$ shows that
$\begin{matrix} | τ (ν, ɛ) | \leq | τ | < 1, \end{matrix}$ (5.4)
i.e., $| h | \leq 4$ . By Schwarz's Lemma $| h | \leq 4 | z |$ for $| z | \leq 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} = (1 - ξ z)^{2} - (1 - z) (1 - τ^{2} z) = (ξ^{2} - τ^{2}) z^{2},$ by Schwarz's Lemma $| g_{1} - g_{2} | \leq 4 | z |^{2}$ , which leads to (5.3 ). □

Let us next turn to the kernel

\tilde{A}

(3.6 ), (3.7 ).

Lemma 5.2. The following inequalities take place

\begin{matrix} | \tilde{A} (λ; n, m) | \leq \frac{K_{1} (s, d) | w (λ) |}{| 1 - w^{4} (λ) |} d_{m}, λ \in C, n, m \in Z_{+}, \end{matrix}

(5.5)

where

\begin{matrix} K_{1} (s, d) : = \frac{256 d^{3}}{(d - s)^{4}}; d_{m} = | b_{m} - b_{m}^{0} | + | a_{m - 1}^{0} - \frac{a_{m - 1} c_{m - 1}}{a_{m - 1}^{0}} | . \end{matrix}

(5.6)

Proof. Consider the expression

\begin{matrix} G (λ; n, m) w^{m - n} = \frac{χ_{n} (λ) {\hat{χ}}_{m} (λ) - {\hat{χ}}_{n} (λ) χ_{m} (λ) w^{2 (m - n)}}{〈 ψ, \hat{ψ} 〉} . \end{matrix}

(5.7)

For the denominator in (5.7 ) we have

\begin{matrix} 〈 ψ, \hat{ψ} 〉 & = & \frac{2 a_{2}^{0}}{s_{2}} {(u^{2} (λ) - 1)}^{1 / 2} = \frac{2 a_{1}^{0} a_{2}^{0}}{λ - ν} {(u^{2} (λ) - 1)}^{1 / 2} \end{matrix}

\begin{matrix} = & \frac{d^{2} - s^{2}}{4 (λ - ν)} (w^{- 2} (λ) - w^{2} (λ)) . \end{matrix}

The functions

χ_{n}, {\hat{χ}}_{n}

in the numerator are 2-periodic, and also

χ_{2 n} (λ) = {\hat{χ}}_{2 n} = 1, χ_{2 n + 1} (λ) = m (λ) w^{- 1} (λ), {\hat{χ}}_{2 n + 1} (λ) = \hat{m} (λ) w (λ), n \in Z_{+} .

Thereby we have 4 different expressions for the right hand side (5.7 ):

\begin{matrix} G (λ; 2 p, 2 q) w^{2 (q - p)} = D \frac{(λ - ν) w^{2} (1 - w^{4 (q - p)})}{1 - w^{4}}, \end{matrix}

(5.8)

\begin{matrix} G (λ; 2 p, 2 q + 1) w^{2 (q - p) + 1} = D \frac{\hat{m} (λ) (λ - ν) w^{2} - m (λ) (λ - ν) w^{4 (q - p) + 3}}{1 - w^{4}}, \end{matrix}

(5.9)

\begin{matrix} G (λ; 2 p + 1, 2 q) w^{2 (q - p) - 1} = D \frac{m (λ) (λ - ν) w - \hat{m} (λ) (λ - ν) w^{4 (q - p) + 1}}{1 - w^{4}}, \end{matrix}

(5.10)

\begin{matrix} G (λ; 2 p + 1, 2 q + 1) w^{2 (q - p)} = D \frac{m (λ) \hat{m} (λ) (λ - ν) w^{2} (1 - w^{4 (q - p)})}{1 - w^{4}} \end{matrix}

(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

\hat{m}

. Assume first that

| λ | \geq d

. Then

\begin{matrix} w^{2} (λ) & = & u (λ) - {(u^{2} (λ) - 1)}^{1 / 2} = \frac{1}{u (λ) + {(u^{2} (λ) - 1)}^{1 / 2}} \end{matrix}

\begin{matrix} = & \frac{d^{2} - s^{2}}{2} \frac{1}{λ^{2} - (s^{2} + d^{2}) / 2 + {((λ^{2} - s^{2}) (λ^{2} - d^{2}))}^{1 / 2}}, \end{matrix}

so that

(λ - ν)^{2} w^{2} (λ) = \frac{d^{2} - s^{2}}{2 g (z)} {(1 - \frac{ν}{λ})}^{2}, z = \frac{d^{2}}{λ^{2}} .

By lemma 5.1

\begin{matrix} | (λ - ν) w (λ) | \leq \frac{\sqrt{2} d^{2}}{{(d^{2} - s^{2})}^{1 / 2}} (1 + \frac{| ν |}{d}), | λ | \geq d . \end{matrix}

(5.12)

The Weyl function is easily seen to satisfy as

z = \frac{d^{2}}{λ^{2}}

\begin{matrix} (λ - ν) m (λ) & = & \frac{2 a_{1}^{0}}{d^{2} - s^{2}} (λ^{2} + d^{2} τ (ν, ɛ) - {((λ^{2} - s^{2}) (λ^{2} - d^{2}))}^{1 / 2}) \end{matrix}

\begin{matrix} = & \frac{2 a_{1}^{0}}{d^{2} - s^{2}} \frac{2 d^{2} τ (ν, ɛ) + s^{2} + d^{2} + (d^{4} τ^{2} (ν, ɛ) - s^{2} d^{2}) λ^{- 2}}{f (z, ν, ɛ)}, . \end{matrix}

By the definition of

τ (ν, ɛ)

(5.1 ) and the property (5.4 ) it is not hard to derive

| 2 d^{2} τ (ν, ɛ) + s^{2} + d^{2} | \leq (s + d)^{2}, | d^{4} τ^{2} (ν, ɛ) - s^{2} d^{2} | \leq 3 ν^{2} (s + d)^{2},

and so the application of lemma 5.1 gives

\begin{matrix} | m (λ) (λ - ν) | \leq \frac{8 a_{1}^{0} (s + d)^{2}}{d^{2} - s^{2}} \frac{4 d^{2}}{(d - s)^{2}} \leq \frac{16 (s + d)^{2} d^{2}}{(d - s)^{3}}, | λ | \geq d \end{matrix}

(5.13)

(in the later inequality we use

2 a_{1}^{0} \leq s + d

(see (4.10 )). In the same way

\begin{matrix} \hat{m} (λ) (λ - ν) w^{2} (λ) & = & \frac{2 a_{1}^{0}}{d^{2} - s^{2}} \frac{λ^{2} + d^{2} τ (ν, ɛ) + {(λ^{2} - s^{2}) (λ^{2} - d^{2}))}^{1 / 2}}{λ^{2} - d^{2} ξ + {((λ^{2} - s^{2}) (λ^{2} - d^{2}))}^{1 / 2}} \frac{d^{2} - s^{2}}{2} \end{matrix}

\begin{matrix} = & a_{1}^{0} \frac{f (z, ν, ɛ)}{g (z)}, z = \frac{d^{2}}{λ^{2}}, \end{matrix}

and by lemma 5.1

\begin{matrix} | \hat{m} (λ) (λ - ν) w^{2} (λ) | \leq \frac{16 a_{1}^{0} d^{4}}{(d^{2} - s^{2})^{2}} \leq \frac{8 d^{4}}{(d - s) (d^{2} - s^{2})}, | λ | \geq d . \end{matrix}

(5.14)

Finally

m (λ) \hat{m} (λ) = - \frac{c_{3} (λ)}{s_{2} (λ)} = \frac{λ + ν}{λ - ν}, m (λ) \hat{m} (λ) (λ - ν) w (λ) = (λ + ν) w (λ)

and as above in (5.12 )

\begin{matrix} | m (λ) \hat{m} (λ) (λ - ν) w (λ) | \leq \frac{\sqrt{2} d^{2}}{{(d^{2} - s^{2})}^{1 / 2}} (1 + \frac{| ν |}{d}), | λ | \geq d . \end{matrix}

(5.15)

For

| λ | \leq d

the argument is much more elementary and is based on

| w | \leq 1

\begin{matrix} | (λ \pm ν) w | \leq d + | ν |, \end{matrix}

(5.16)

\begin{matrix} | m (λ) (λ - ν) | \leq \frac{2 a_{1}^{0}}{d^{2} - s^{2}} (d^{2} + d^{2} | τ | + 2 d^{2}) \leq \frac{4 d^{2}}{d - s}, \end{matrix}

(5.17)

and the same estimate holds for

\hat{m} (λ) (λ - ν)

It is clear that the worst bound comes in (5.13 ) and thus we arrive at the following inequalities

\begin{matrix} | G (λ; n, m) w^{m - n} | \leq K_{1} (s, d) \frac{| w (λ) |}{| 1 - w^{4} (λ) |}, λ \in C, n, m \in Z_{+} . \end{matrix}

(5.18)

The desired result now stems from (5.18 ) and the definition of the kernel

\tilde{A}

. □

An application of (5.12 ) and (4.10 ) to (4.12 ) gives

\begin{matrix} | χ_{1} (λ) | & \leq & \frac{2 (d + s)}{d^{2} - s^{2}} \frac{2 \sqrt{2} d^{2}}{{(d^{2} - s^{2})}^{1 / 2}} \frac{1}{| w^{2} (λ) - w^{2 ɛ} (ν) |} \end{matrix}

\begin{matrix} = & \frac{4 \sqrt{2} d^{2}}{(d - s) {(d^{2} - s^{2})}^{1 / 2}} \frac{1}{| w^{2} (λ) - w^{2 ɛ} (ν) |}, \end{matrix}

(5.19)

and in fact this bound is true for all

χ_{n}

We are now in a position to estimate the solution of equation (3.8 )

\begin{matrix} V_{n} (λ) = \sum_{m = n + 1}^{\infty} \tilde{A} (λ; n, m) χ_{m} (λ) + \sum_{m = n + 1}^{\infty} \tilde{A} (λ; n, m) V_{m} (λ) \end{matrix}

(5.20)

with constants expressed explicitly in terms of the spectral data for the 2-periodic background. Assume first that

\begin{matrix} \sum_{m = 1}^{\infty} d_{m} < \infty . \end{matrix}

(5.21)

By (5.19 ) and lemma 5.2 the first series in (5.20 ) converges uniformly on compact subsets of the domain

\begin{matrix} Ω (ɛ) = {\begin{matrix} C \ {\pm s, \pm d}, & ɛ = - 1, \\ C \ {\pm s, \pm d, ν}, & ɛ = 1, \end{matrix} \end{matrix}

(5.22)

and its sum is subject to

| V_{n, 1} (λ) | \leq \frac{K_{2} (s, d) κ_{0} (n) | w (λ) |}{| w^{2} (λ) - w^{2 ɛ} (ν) | | 1 - w^{4} (λ) |},

\begin{matrix} K_{2} (s, d) = K_{1} (s, d) \frac{4 \sqrt{2} d^{2}}{(d - s) {(d^{2} - s^{2})}^{1 / 2}}, \end{matrix}

(5.23)

κ_{0} (n)

is defined in (3.9 ),

κ (n) = o (1)

n \to \infty

. Hence for

V_{n}

we have (cf.(3.11 ))

\begin{matrix} | V_{n} (λ) | \leq \frac{K (λ) κ_{0} (n)}{| 1 - w^{4} (λ) |} exp (\frac{K (λ) κ_{0} (n)}{| 1 - w^{4} (λ) |}), K (λ) = \frac{K_{2} (s, d) | w (λ) |}{| w^{2} (λ) - w^{2 ɛ} (ν) |}, \end{matrix}

(5.24)

which leads to the following result.

Theorem 5.3. In assumption

(5.21)

there exists a solution

v_{n}

of equation

(3.3)

which satisfies

\begin{matrix} | v_{n} (λ) - ψ_{n} (λ) | \leq \frac{K (λ) κ_{0} (n) | w^{n} (λ) |}{| 1 - w^{4} (λ) |} exp (\frac{K (λ) κ_{0} (n)}{| 1 - w^{4} (λ) |}), λ \in Ω (ɛ), \end{matrix}

(5.25)

where

K (λ)

is given in

(5.24)

(5.23)

and

(5.6)

κ_{0} (n)

is defined in

(3.9)

□

Inequality (5.25 ) with

n = 0

implies

| v_{0} (λ) - 1 | \leq \frac{K (λ)}{| 1 - w^{4} (λ) |} \sum_{m = 1}^{\infty} d_{m} exp (\frac{K (λ)}{| 1 - w^{4} (λ) |} \sum_{m = 1}^{\infty} d_{m}) .

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

λ

-plain by inequality

\begin{matrix} G : = {λ \in C : \frac{K_{2} (s, d) | w (λ) |}{| w^{2} (λ) - w^{2 ɛ} (ν) | | 1 - w^{4} (λ) |} \sum_{m = 1}^{\infty} d_{m} < t}, \end{matrix}

(5.26)

where

t ≃ 0.567 . .

is a unique positive root of the equation

x exp (x) = 1

Then

G

is free from the discrete spectrum of

J

□

In the case when the first moment of the perturbation is finite

\begin{matrix} \sum_{m = 1}^{\infty} m d_{m} < \infty, \end{matrix}

(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} | \leq n, | w | \leq 1 .

For the right hand sides in (5.8 ) and (5.11 ) we see that

\begin{matrix} | G (λ; 2 p, 2 q) w^{2 (q - p)} | & \leq & \frac{4 (q - p)}{d^{2} - s^{2}} | (λ - ν) w (λ) | | w |, \end{matrix}

\begin{matrix} | G (λ; 2 p + 1, 2 q + 1) w^{2 (q - p)} | & \leq & \frac{4 (q - p)}{d^{2} - s^{2}} | (λ + ν) w (λ) | | w | . \end{matrix}

Next, for (5.9 )

G (λ; 2 p, 2 q + 1) w^{2 (q - p) + 1} = G^{'} + G^{''},

where

\begin{matrix} G^{'} & : = & \frac{4 (λ - ν)}{(d^{2} - s^{2}) (w^{- 2} (λ) - w^{2} (λ))} (\hat{m} (λ) - m (λ)) w (λ) \end{matrix}

\begin{matrix} = & \frac{s_{2}}{2 a_{2}^{0} {(u^{2} - 1)}^{1 / 2}} \frac{\pm 2 {(u^{2} - 1)}^{1 / 2}}{s_{2}} w (λ), \end{matrix}

and so

| G^{'} | \leq \frac{| w (λ) |}{a_{2}^{0}} < \frac{2 | w (λ) |}{d - s};

G^{''} : = \frac{4 (λ - ν)}{d^{2} - s^{2}} \frac{m (λ) w (λ) (1 - w^{4 (p - q)})}{w^{- 2} (λ) - w^{2} (λ)},

and

| G^{''} | \leq \frac{4 (q - p)}{d^{2} - s^{2}} | (λ - ν) m w^{3} | .

Hence

| G (λ; 2 p, 2 q + 1) w^{2 (q - p) + 1} | \leq \frac{2 | w |}{d - s} + \frac{4 | (λ - ν) m w^{3} |}{d^{2} - s^{2}} (q - p) .

The similar inequality holds for

G (λ; 2 p + 1, 2 q) w^{2 q - 2 p - 1}

. Finally,

| \tilde{A} (λ; n, m) | \leq K_{1} (s, d) (m - n) d_{m} | w (λ) | .

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} (λ) - ψ_{n} (λ) | \leq K (λ) κ_{1} (n) exp (K (λ) κ_{1} (n)),

where

K (λ)

is defined in (5.24 ),

κ_{1} (n) : = \sum_{m = n + 1}^{\infty} (m - n) 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

ɛ = - 1

. Then

\frac{1}{| w^{2} (λ) - w^{- 2} (ν) |} = \frac{| w^{2} (ν) |}{| 1 - w^{2} (ν) w^{2} (λ) |} \leq \frac{1}{1 - | w^{2} (ν) |},

and hence

| v_{0} (λ) - 1 | \leq \frac{K_{2} (s, d)}{1 - | w (ν) |^{2}} \sum_{m = 1}^{\infty} m d_{m} exp (\frac{K_{2} (s, d)}{1 - | w (ν) |^{2}} \sum_{m = 1}^{\infty} m d_{m}),

that gives the following result.

Theorem 5.5. The operator

J

has no discrete spectrum as long as

\frac{K_{2} (s, d)}{1 - | w (ν) |^{2}} \sum_{m = 1}^{\infty} m d_{m} < t .

References

G. Teschl, Jacobi Operators and Completely Integrable Nonlinear Lattices Math. Surv. and Mon.,Vol. 72, AMS, Rhode Island, 2000.
M. Toda, Theory of Nonlinear Lattices, Springer, Berlin, 1981.
E. Titchmarsh, Eigenfunction Expansions Associated with Second-Order Differential Equations, Part II, Oxford University Press, Oxford, 1958.
I. Egorova, L. Golinskii, On location of discrete spectrum for complex Jacobi matrices, to appear in Proc. AMS
L. Percolab, Inverse problem for periodic Jacobi matrix,Teor. funk., funk. anal., pril., 42 (1984), 107-121.
V. Lyantse, Spectrum and resolvent of a non-selfconjugate difference operator,Ukr. Math. J., 20, no.4 (1968), 489-503.
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

Iryna Egorova

Leonid Golinskii