Inverse spectral problems for non-selfadjoint second-order differential operators with Dirichlet boundary conditions

Sergey A Buterin; Chung-Tsun Shieh; Vjacheslav A Yurko

doi:10.1186/1687-2770-2013-180

Impact Factor 0.819

Research

Open Access

Inverse spectral problems for non-selfadjoint second-order differential operators with Dirichlet boundary conditions

Sergey A Buterin¹,
Chung-Tsun Shieh²Email author and
Vjacheslav A Yurko¹

Boundary Value Problems20132013:180

https://doi.org/10.1186/1687-2770-2013-180

Received: 26 June 2013

Accepted: 23 July 2013

Published: 6 August 2013

Abstract

We study the inverse problem for non-selfadjoint Sturm-Liouville operators on a finite interval with possibly multiple spectra. We prove the uniqueness theorem and obtain constructive procedures for solving the inverse problem along with the necessary and sufficient conditions of its solvability and also prove the stability of the solution.

MSC:34A55, 34B24, 47E05.

Keywords

non-selfadjoint Sturm-Liouville operators inverse spectral problems method of spectral mappings generalized spectral data generalized weight numbers

1 Introduction

Inverse spectral problems consist of recovering operators from given spectral characteristics. Such problems play an important role in mathematics and have many applications in natural sciences and engineering (see, for example, monographs [1–7] and the references therein). We study the inverse problem for the Sturm-Liouville operator corresponding to the boundary value problem

L = L (q (x), T)

of the form

ℓ y : = - y^{″} + q (x) y = λ y, 0 < x < T < \infty,

(1)

y (0) = y (T) = 0,

(2)

where $q (x) \in L_{1} (0, T)$ is a complex-valued function. The results for the non-selfadjoint operator (1), (2) that we obtain in this paper are crucial in studying inverse problems for Sturm-Liouville operators on graphs with cycles. Here also lies the main reason of considering the case of Dirichlet boundary conditions (2) and arbitrary length T of the interval.

For the selfadjoint case, i.e., when $q (x)$ is a real-valued function, the inverse problem of recovering L from its spectral characteristics was investigated fairly completely. As the most fundamental works in this direction we mention [8, 9], which gave rise to the so-called transformation operator method having become an important tool for studying inverse problems for selfadjoint Sturm-Liouville operators. The inverse problems for non-selfadjoint operators are more difficult for investigation. Some aspects of the inverse problem theory for non-selfadjoint Sturm-Liouville operators were studied in [10–14] and other papers.

In the present paper, we use the method of spectral mappings [7], which is effective for a wide class of differential and difference operators including non-selfadjoint ones. The method of spectral mappings is connected with the idea of the contour integration method and reduces the inverse problem to the so-called main equation of the inverse problem, which is a linear equation in the Banach space of bounded sequences. We prove the uniqueness theorem of the inverse problem, obtain algorithms for constructing its solution together with the necessary and sufficient conditions of its solvability. In general, by sufficiency one should require solvability of the main equation. Therefore, we also study those cases when the solvability of the main equation can be proved or easily checked, namely, selfadjoint case, the case of finite perturbations of the spectral data and the case of small perturbations. The study of the latter case allows us to prove also the stability of the inverse problem.

In the next section, we introduce the spectral data, study their properties and give the formulation of the inverse problem. In Section 3, we prove the uniqueness theorem. In Section 4 we derive the main equation and prove its solvability. Further, using the solution of the main equation, we provide an algorithm for solving the inverse problem. In Section 5, we obtain another algorithm, which we use in Section 6 for obtaining necessary and sufficient conditions of solvability of the inverse problem and for proving its stability.

2 Generalized spectral data. Inverse problem

Let

{λ_{n}}_{n \geq 1}

be the spectrum of the boundary value problem (1), (2). In the self-adjoint case, the potential

q (x)

is determined uniquely by specifying the classical discrete spectral data

{λ_{n}, α_{n}}_{n \geq 1}

, where

α_{n}

are weight numbers determined by the formula

α_{n} = \int_{0}^{π} S^{2} (x, λ_{n}) d x,

(3)

while

S (x, λ)

is a solution of equation (1) satisfying the initial conditions

S (0, λ) = 0, S^{'} (0, λ) = 1 .

(4)

In the non-selfadjoint case, there may be a finite number of multiple eigenvalues and, hence, for unique determination of the Sturm-Liouville operator, one should specify some additional information. In the present section, we introduce the so-called generalized weight numbers, as was done for the case of operator (1) with Robin boundary conditions (see [11, 12]) and study the properties of the generalized spectral data.

Let the function

ψ (x, λ)

be a solution of equation (1) under the conditions

ψ (T, λ) = 0, ψ^{'} (T, λ) = - 1 .

(5)

For every fixed

x \in [0, T]

, the functions

S (x, λ)

,

ψ (x, λ)

and their derivatives with respect to x are entire in λ. The eigenvalues

λ_{n}

,

n \geq 1

of the problem L coincide with the zeros of its characteristic function

Δ (λ) : = 〈 ψ (x, λ), S (x, λ) 〉 = ψ (0, λ) = S (T, λ),

(6)

where

〈 y, z 〉 : = y z^{'} - y^{'} z

. It is known (see, e.g., [2]) that the spectrum

{λ_{n}}_{n \geq 1}

has the asymptotics

ρ_{n} : = \sqrt{λ_{n}} = \frac{π n}{T} + \frac{ω}{π n} + \frac{κ_{n}}{n}, κ_{n} = o (1),

(7)

where

ω = Q (T), Q (x) = \frac{1}{2} \int_{0}^{x} q (t) d t .

Denote by

m_{n}

the multiplicity of the eigenvalue

λ_{n}

(

λ_{n} = λ_{n + 1} = \dots = λ_{n + m_{n} - 1}

) and put

S = {n : n - 1 \in N, λ_{n - 1} \neq λ_{n}} \cup {1}

. Note that by virtue of (7) for sufficiently large n, we have

m_{n} = 1

. Denote

S_{ν} (x, λ) = \frac{1}{ν!} \frac{d^{ν}}{d λ^{ν}} S (x, λ), ψ_{ν} (x, λ) = \frac{1}{ν!} \frac{d^{ν}}{d λ^{ν}} ψ (x, λ) .

Hence, for

ν \geq 1

we have

\begin{array}{l} ℓ S_{ν} (x, λ) = λ S_{ν} (x, λ) + S_{ν - 1} (x, λ), S_{ν} (0, λ) = S_{ν}^{'} (0, λ) = 0, \\ ℓ ψ_{ν} (x, λ) = λ ψ_{ν} (x, λ) + ψ_{ν - 1} (x, λ), ψ_{ν} (T, λ) = ψ_{ν}^{'} (T, λ) = 0 . \end{array}}

(8)

Moreover, for

n \in S

formula (6) yields

S_{ν} (T, λ_{n}) = ψ_{ν} (0, λ_{n}) = \frac{1}{ν!} Δ^{(ν)} (λ_{n}) = 0, ν = \bar{0, m_{n} - 1} .

(9)

Put

S_{n + ν} (x) = S_{ν} (x, λ_{n}), ψ_{n + ν} (x) = ψ_{ν} (x, λ_{n}), n \in S, ν = \bar{0, m_{n} - 1} .

(10)

Thus,

{S_{n} (x)}_{n \geq 1}

,

{ψ_{n} (x)}_{n \geq 1}

are complete systems of eigen- and the associated functions of the boundary value problem L. Together with the eigenvalues

λ_{n}

we consider generalized weight numbers

α_{n}

,

n \geq 1

, determined in the following way:

α_{k + ν} = \int_{0}^{T} S_{k + ν} (x) S_{k + m_{k} - 1} (x) d x, k \in S, ν = \bar{0, m_{k} - 1} .

(11)

We note that the numbers $α_{n}$ for sufficiently large n coincide with the classical weight numbers (4) for the selfadjoint Sturm-Liouville operator.

Definition 1 The numbers ${λ_{n}, α_{n}}_{n \geq 1}$ are called the generalized spectral data of L.

Consider the following inverse problem.

Inverse Problem 1 Given the generalized spectral data ${λ_{n}, α_{n}}_{n \geq 1}$ , find $q (x)$ .

Let the functions

C (x, λ)

,

Φ (x, λ)

be solutions of equation (1) under the conditions

C (0, λ) = Φ (0, λ) = 1, C^{'} (0, λ) = Φ (T, λ) = 0 .

The functions

Φ (x, λ)

and

M (λ) : = Φ^{'} (0, λ)

are called the Weyl solution and the Weyl function for L, respectively. According to (6), we have

Φ (x, λ) = \frac{ψ (x, λ)}{Δ (λ)} = C (x, λ) + M (λ) S (x, λ),

(12)

〈 S (x, λ), Φ (x, λ) 〉 \equiv - 1,

(13)

M (λ) = - \frac{d (λ)}{Δ (λ)}, d (λ) : = 〈 ψ (x, λ), C (x, λ) 〉 = - ψ^{'} (0, λ) = C (T, λ) .

(14)

The function

d (λ)

is the characteristic function of the boundary value problem for the equation (1) with the boundary conditions

y^{'} (0) = y (T) = 0

. Let

{μ_{n}}_{n \geq 0}

be its spectrum. Clearly,

{λ_{n}}_{n \geq 1} \cap {μ_{n}}_{n \geq 0} = \emptyset

. Thus,

M (λ)

is a meromorphic function with poles in

λ_{n}

,

n \geq 1

, and zeros in

μ_{n}

,

n \geq 0

. Moreover, (see, e.g., [2])

Δ (λ) = \frac{T^{3}}{π^{2}} \prod_{n = 1}^{\infty} \frac{λ_{n} - λ}{n^{2}}, d (λ) = \frac{T^{2}}{π^{2}} \prod_{n = 0}^{\infty} \frac{μ_{n} - λ}{{(n + 1 / 2)}^{2}} .

(15)

Let $λ = ρ^{2}$ and put $τ = Im ρ$ . Using the known method (see, e.g., [3]), one can prove the following asymptotics.

Lemma 1 (i) For

| ρ | \to \infty

, the following asymptotics holds

\begin{array}{l} S (x, λ) = \frac{sin ρ x}{ρ} - Q (x) \frac{cos ρ x}{ρ^{2}} + \frac{1}{2 ρ^{2}} \int_{0}^{x} q (t) cos ρ (x - 2 t) d t \\ + O (\frac{1}{ρ^{3}} exp (| τ | x)), \\ S^{'} (x, λ) = cos ρ x + Q (x) \frac{sin ρ x}{ρ} - \frac{1}{2 ρ} \int_{0}^{x} q (t) sin ρ (x - 2 t) d t \\ + O (\frac{1}{ρ^{2}} exp (| τ | x)), \end{array}}

(16)

\begin{array}{l} ψ (x, λ) = \frac{sin ρ (T - x)}{ρ} - (Q (T) - Q (x)) \frac{cos ρ (T - x)}{ρ^{2}} \\ + o (\frac{1}{ρ^{2}} exp (| τ | (T - x))), \\ ψ^{'} (x, λ) = - cos ρ (T - x) - (Q (T) - Q (x)) \frac{sin ρ (T - x)}{ρ} \\ + o (\frac{1}{ρ} exp (| τ | (T - x))) \end{array}}

(17)

uniformly with respect to

x \in [0, T]

.

(ii)

Fix $δ > 0$ . Then for sufficiently large $| λ |$
$| Δ (λ) | \geq \frac{C_{δ}}{| ρ |} exp (| τ | T), λ \in G_{δ},$

(18)

where $G_{δ} = {λ = ρ^{2} : | ρ - π k / T | \geq δ, k \in Z}$ .

Using (7), (10), (11) and (16), one can calculate

α_{n} = \frac{T^{3}}{2 π^{2} n^{2}} (1 + \frac{κ_{n}}{n}), κ_{n} = o (1), n \to \infty .

(19)

Fix

k \in S

. According to (14), the function

M (λ)

has a representation

M (λ) = \sum_{ν = 0}^{m_{k} - 1} \frac{M_{k + ν}}{{(λ - λ_{k})}^{ν + 1}} + M_{k}^{0} (λ),

(20)

where

M_{k + m_{k} - 1} \neq 0

, and the function

M_{k}^{0} (λ)

is regular in a vicinity of

λ_{k}

. The sequence

{M_{n}}_{n \geq 1}

is called the Weyl sequence for L. By virtue of (14), (17) and (18), the following estimate holds

M (λ) = O (ρ), | λ | \to \infty, λ \in G_{δ} .

(21)

Moreover, according to (6), (14), (16) and (17), for each fixed

δ > 0

, we have

M (ρ^{2}) = i ρ + o (1), | ρ | \to \infty, arg ρ \in [δ, π - δ] .

(22)

The maximum modulus principle together with (7), (20) and (21) give

| M_{n} | \leq C n^{2} .

(23)

Choose

ω > 0

such that

Δ (\pm i ω) \neq 0

and put

β (λ) : = \frac{λ}{λ^{2} + ω^{2}}, b_{n + ν} : = \frac{1}{ν!} β^{(ν)} (λ_{n}), n \in S, ν = \bar{0, m_{n} - 1} .

According to (7) and (23), we get

(\frac{1}{λ - λ_{n}} + b_{n}) M_{n} = O (\frac{1}{n^{2}}), n \to \infty,

and hence the series

N (λ) : = \sum_{n \in S} \sum_{ν = 0}^{m_{n} - 1} (\frac{1}{{(λ - λ_{n})}^{ν + 1}} + b_{n + ν}) M_{n + ν}

(24)

converges absolutely and uniformly in λ on bounded sets.

Theorem 1 The following representation holds

M (λ) = N (λ) + a, a = lim_{τ \to + \infty} (i τ - N (- τ^{2})) .

(25)

Proof Consider the contour integral

I_{N} (λ) = \frac{1}{2 π i} \int_{Γ_{N}} (\frac{1}{λ - μ} + β (μ)) M (μ) d μ, λ \in int Γ_{N},

where the contour

Γ_{N} : = {μ : | μ | = {(π (N + 1 / 2) / T)}^{2}}

,

N \in N

has the counterclockwise circuit. According to (7), we have

Γ_{N} \subset G_{δ}

for sufficiently large N and sufficiently small fixed

δ > 0

. By virtue of (21), we obtain the estimate

(\frac{1}{λ - μ} + β (μ)) M (μ) = O (μ^{- \frac{3}{2}})

uniformly with respect to λ in bounded subsets of ℂ, and hence

lim_{N \to \infty} I_{N} (λ) = 0 .

(26)

On the other hand, using the residue theorem [15], we calculate

\begin{array}{rcl} I_{N} (λ) & = & - M (λ) + \sum_{n \in S, λ_{n} \in int Γ_{N}} (\underset{μ = λ_{n}}{Res} \frac{M (μ)}{λ - μ} + \underset{μ = λ_{n}}{Res} (M (μ) β (μ))) + b, \\ λ \in int Γ_{N} ∖ {λ_{n}}_{n \geq 1}, \end{array}

(27)

where

b = \underset{μ = i ω}{Res} (M (μ) β (μ)) + \underset{μ = - i ω}{Res} (M (μ) β (μ)) = \frac{M (i ω) + M (- i ω)}{2} .

Further, we calculate

\underset{μ = λ_{n}}{Res} \frac{M (μ)}{λ - μ} = \sum_{ν = 0}^{m_{n} - 1} \frac{M_{n + ν}}{{(λ - λ_{n})}^{ν + 1}}, \underset{μ = λ_{n}}{Res} (M (μ) β (μ)) = \sum_{ν = 0}^{m_{n} - 1} b_{n + ν} M_{n + ν} .

Substituting this into (27) and using (26), we obtain $M (λ) = N (λ) + b$ . By virtue of (22), we get $b = a$ and arrive at (25). □

Theorem 2 The coefficients

M_{n}

and the generalized weight numbers

α_{n}

determine each other uniquely by the formula

\sum_{j = 0}^{ν} α_{n + ν - j} M_{n + m_{n} - j - 1} = - δ_{ν, 0}, n \in S, ν = \bar{0, m_{n} - 1} .

(28)

Proof Using (10), (14) and (20), one can calculate

\sum_{j = 0}^{ν} M_{n + m_{n} - j - 1} Δ_{m_{n} + ν - j, n} = ψ_{n + ν}^{'} (0), n \in S, ν = \bar{0, m_{n} - 1},

(29)

where

Δ_{p, n} = Δ^{(p)} (λ_{n}) / (p!)

. Obviously,

ψ_{n} (x) = ψ_{n}^{'} (0) S_{n} (x)

,

n \in S

. Moreover, by virtue of (8) and (10), induction gives

ψ_{n + ν} (x) = \sum_{j = 0}^{ν} ψ_{n + j}^{'} (0) S_{n + ν - j} (x), n \in S, ν = \bar{0, m_{n} - 1} .

(30)

Further, since

- S^{″} (x, λ) + q (x) S (x, λ) = λ S (x, λ), - ψ^{″} (x, μ) + q (x) ψ (x, μ) = μ ψ (x, μ),

we get

{(S (x, λ) ψ^{'} (x, μ) - ψ (x, μ) S^{'} (x, λ))}^{'} = (λ - μ) S (x, λ) ψ (x, μ),

and (4), (5) and (6) yield

\frac{Δ (λ) - Δ (μ)}{λ - μ} = - \int_{0}^{T} S (x, λ) ψ (x, μ) d x .

Hence,

\frac{d}{d λ} Δ (λ) = - \int_{0}^{T} S (x, λ) ψ (x, λ) d x,

and we calculate

Δ_{m_{n} + ν, n} = - \frac{1}{m_{n} + ν} \sum_{j = 0}^{m_{n} + ν - 1} \int_{0}^{T} ψ_{j} (x, λ_{n}) S_{m_{n} + ν - 1 - j} (x, λ_{n}) d x, ν \geq 0 .

Using (8) and (10) and integrating by parts, we obtain

Δ_{m_{n} + ν, n} = - \int_{0}^{T} ψ_{n + ν} (x) S_{n + m_{n} - 1} (x) d x, n \in S, ν = \bar{0, m_{n} - 1} .

(31)

Substituting (30) in (31) and taking (11) into account, we arrive at

Δ_{m_{n} + ν, n} = - \sum_{j = 0}^{ν} α_{n + ν - j} ψ_{n + j}^{'} (0), n \in S, ν = \bar{0, m_{n} - 1} .

(32)

Finally, substituting (32) in (29), we get

\sum_{j = 0}^{ν} ψ_{n + ν - j}^{'} (0) \sum_{k = 0}^{j} α_{n + j - k} M_{n + m_{n} - k - 1} = - ψ_{n + ν}^{'} (0), n \in S, ν = \bar{0, m_{n} - 1} .

Since $ψ_{n}^{'} (0) \neq 0$ , $n \in S$ , by induction we obtain (28). □

According to (19) and (28), we have the asymptotics

M_{n} = - \frac{2 π^{2} n^{2}}{T^{3}} (1 + \frac{κ_{n}}{n}), κ_{n} = o (1) .

(33)

Consider the following inverse problems.

Inverse Problem 2 Given the spectra ${λ_{n}}_{n \geq 1}$ , ${μ_{n}}_{n \geq 0}$ , construct the function $q (x)$ .

Inverse Problem 3 Given the Weyl function $M (λ)$ , construct the function $q (x)$ .

Remark 1 According to (14), (15), (24), (25) and (28), inverse Problems 1-3 are equivalent. The numbers ${λ_{n}, M_{n}}_{n \geq 1}$ can also be used as spectral data.

3 The uniqueness theorem

We agree that together with L we consider a boundary value problem $\tilde{L} = L (\tilde{q} (x), \tilde{T})$ of the same form but with another potential. If a certain symbol γ denotes an object related to L, then this symbol with tilde $\tilde{γ}$ denotes the analogous object related to $\tilde{L}$ and $\hat{γ} : = γ - \tilde{γ}$ .

Theorem 3 If $λ_{n} = {\tilde{λ}}_{n}$ , $α_{n} = {\tilde{α}}_{n}$ , $n \geq 1$ , then $L = \tilde{L}$ , i.e., $T = \tilde{T}$ , $q (x) = \tilde{q} (x)$ a.e. on $(0, T)$ . Thus, the specification of the generalized spectral data ${λ_{n}, α_{n}}_{n \geq 1}$ determines the potential uniquely.

Proof By virtue of (7), we have

T = \tilde{T}

. According to Remark 1, it is sufficient to prove that if

M (λ) = \tilde{M} (λ)

, then

L = \tilde{L}

. Define the matrix

P (x, λ) = {[P_{j k} (x, λ)]}_{j, k = 1, 2}

by the formula

P (x, λ) [\begin{array}{c} \tilde{S} (x, λ) & \tilde{Φ} (x, λ) \\ {\tilde{S}}^{'} (x, λ) & {\tilde{Φ}}^{'} (x, λ) \end{array}] = [\begin{array}{c} S (x, λ) & Φ (x, λ) \\ S^{'} (x, λ) & Φ^{'} (x, λ) \end{array}] .

(34)

Using (13) and (34), we calculate

\begin{array}{l} P_{j 1} (x, λ) = Φ^{(j - 1)} (x, λ) {\tilde{S}}^{'} (x, λ) - S^{(j - 1)} (x, λ) {\tilde{Φ}}^{'} (x, λ), \\ P_{j 2} (x, λ) = S^{(j - 1)} (x, λ) \tilde{Φ} (x, λ) - Φ^{(j - 1)} (x, λ) \tilde{S} (x, λ), \end{array}}

(35)

\begin{array}{l} S (x, λ) = P_{11} (x, λ) \tilde{S} (x, λ) + P_{12} (x, λ) {\tilde{S}}^{'} (x, λ), \\ Φ (x, λ) = P_{11} (x, λ) \tilde{Φ} (x, λ) + P_{12} (x, λ) {\tilde{Φ}}^{'} (x, λ) . \end{array}}

(36)

It follows from (12) and (35) that

\begin{matrix} P_{11} (x, λ) = 1 + \frac{1}{Δ (λ)} (ψ (x, λ) ({\tilde{S}}^{'} (x, λ) - S^{'} (x, λ)) - S (x, λ) ({\tilde{ψ}}^{'} (x, λ) - ψ^{'} (x, λ))), \\ P_{12} (x, λ) = \frac{1}{Δ (λ)} (S (x, λ) \tilde{ψ} (x, λ) - ψ (x, λ) \tilde{S} (x, λ)), \\ P_{21} (x, λ) = \frac{1}{Δ (λ)} (ψ^{'} (x, λ) {\tilde{S}}^{'} (x, λ) - S^{'} (x, λ) {\tilde{ψ}}^{'} (x, λ)), \\ P_{22} (x, λ) = 1 + \frac{1}{Δ (λ)} (S^{'} (x, λ) (\tilde{ψ} (x, λ) - ψ (x, λ)) - ψ^{'} (x, λ) (\tilde{S} (x, λ) - S (x, λ))) . \end{matrix}

By virtue of (16)-(18), this yields

P_{11} (x, λ) = 1 + O (\frac{1}{ρ}), P_{12} (x, λ) = O (\frac{1}{ρ}), | λ | \to \infty, λ \in G_{δ},

(37)

P_{22} (x, λ) = 1 + O (\frac{1}{ρ}), P_{21} (x, λ) = O (1), | λ | \to \infty, λ \in G_{δ},

(38)

uniformly with respect to

x \in [0, T]

. On the other hand, according to (12) and (35), we get

\begin{matrix} P_{11} (x, λ) = C (x, λ) {\tilde{S}}^{'} (x, λ) - S (x, λ) {\tilde{C}}^{'} (x, λ) + \hat{M} (λ) S (x, λ) {\tilde{S}}^{'} (x, λ), \\ P_{12} (x, λ) = S (x, λ) \tilde{C} (x, λ) - \tilde{S} (x, λ) C (x, λ) - \hat{M} (λ) S (x, λ) \tilde{S} (x, λ) . \end{matrix}

Thus, if $\hat{M} (λ) \equiv 0$ , then for each fixed x, the functions $P_{11} (x, λ)$ and $P_{12} (x, λ)$ are entire in λ. Together with (37) this yields $P_{11} (x, λ) \equiv 1$ , $P_{12} (x, λ) \equiv 0$ . Substituting into (36), we get $S (x, λ) \equiv \tilde{S} (x, λ)$ and consequently $L = \tilde{L}$ . □

4 Main equation. Solution of the inverse problem

Let the spectral data

{λ_{n}, α_{n}}_{n \geq 1}

of

L = L (q (x), T)

be given. We choose an arbitrary model boundary value problem

\tilde{L} = L (\tilde{q} (x), T)

(e.g., one can take

\tilde{q} (x) \equiv 0

). Introduce the numbers

ξ_{n}

,

n \geq 1

by the formulae

\begin{array}{l} ξ_{k + ν} : = | ρ_{k} - {\tilde{ρ}}_{k} | + \frac{1}{k^{2}} \sum_{p = ν}^{m_{k} - 1} | M_{k + p} - {\tilde{M}}_{k + p} |, k \in S \cap \tilde{S}, m_{k} = {\tilde{m}}_{k}, ν = \bar{0, m_{k} - 1}, \\ ξ_{n} : = 1 for the rest of n . \end{array}}

(39)

According to (7) and (33), we have

ξ_{n} = O (\frac{1}{n}), n \to \infty .

(40)

Denote

\begin{matrix} λ_{n, 0} : = λ_{n}, λ_{n, 1} : = {\tilde{λ}}_{n}, M_{n, 0} : = M_{n}, M_{n, 1} : = {\tilde{M}}_{n}, \\ S_{0} : = S, S_{1} : = \tilde{S}, m_{n, 0} : = m_{n}, m_{n, 1} : = {\tilde{m}}_{n}, \\ S_{k + ν, i} (x) : = S_{ν} (x, λ_{k, i}), {\tilde{S}}_{k + ν, i} (x) : = {\tilde{S}}_{ν} (x, λ_{k, i}), k \in S_{i}, ν = \bar{0, m_{k, i} - 1}, i = 0, 1, \\ D (x, λ, μ) : = \frac{〈 S (x, λ), S (x, μ) 〉}{λ - μ} = \int_{0}^{x} S (t, λ), S (t, μ) d t, \\ D_{ν, η} (x, λ, μ) : = \frac{1}{ν! η!} \frac{\partial^{ν + η}}{\partial λ^{ν} μ^{η}} D (x, λ, μ) . \end{matrix}

For

i, j = 0, 1

,

n \in S_{i}

put

A_{n + ν, i} (x, λ) : = \sum_{p = ν}^{m_{n, i} - 1} M_{n + p, i} D_{0, p - ν} (x, λ, λ_{n, i}), P_{n + ν, i; k, j} (x) : = \frac{1}{ν!} \frac{\partial^{ν}}{\partial λ^{ν}} A_{k, j} (x, λ) |_{λ = λ_{n, i}},

where $k \geq 1$ , $ν = \bar{0, m_{n, i} - 1}$ . Analogously, we define $\tilde{D} (x, λ, μ)$ , ${\tilde{D}}_{ν, η} (x, λ, μ)$ , ${\tilde{A}}_{n, i} (x, λ)$ and ${\tilde{P}}_{n, i; k, j} (x)$ , $n, k \geq 1$ , $i, j = 0, 1$ , replacing S with $\tilde{S}$ in the definitions above.

By the same way as in [2], using (7), (16), (33) and Schwarz’s lemma [15], we get the such estimates as

\pm Re ρ \geq 0

,

n, k \geq 1

,

i, j = 0, 1

,

ν = 0, 1

| S_{n, i}^{(ν)} (x) | \leq C n^{ν - 1}, | S_{n, 0}^{(ν)} (x) - S_{n, 1}^{(ν)} (x) | \leq C ξ_{n} n^{ν - 1},

(41)

\begin{array}{l} | D (x, λ, λ_{k, j}) | \leq \frac{C exp (| τ | x)}{| ρ | k (| ρ \mp π k / T | + 1)}, \\ | D (x, λ, λ_{k, 0}) - D (x, λ, λ_{k, 1}) | \leq \frac{C ξ_{k} exp (| τ | x)}{| ρ | k (| ρ \mp π k / T | + 1)}, \end{array}}

(42)

\begin{array}{l} | P_{n, i; k, j} (x) | \leq \frac{C k}{(| n - k | + 1) n}, | P_{n, i; k, j}^{(ν + 1)} (x) | \leq C (ν k + \frac{k^{ν + 1}}{n}), \\ | P_{n, i; k, 0} (x) - P_{n, i; k, 1} (x) | \leq \frac{C k ξ_{k}}{(| n - k | + 1) n}, \\ | P_{n, i; k, 0}^{(ν + 1)} (x) - P_{n, i; k, 1}^{(ν + 1)} (x) | \leq C ξ_{k} (ν k + \frac{k^{ν + 1}}{n}), \\ | P_{n, 0; k, j} (x) - P_{n, 1; k, j} (x) | \leq \frac{C k ξ_{n}}{(| n - k | + 1) n}, \\ | P_{n, 0; k, j}^{(ν + 1)} (x) - P_{n, 1; k, j}^{(ν + 1)} (x) | \leq C ξ_{n} (ν k + \frac{k^{ν + 1}}{n}), \\ | P_{n, 0; k, 0} (x) - P_{n, 1; k, 0} (x) - P_{n, 0; k, 1} (x) + P_{n, 1; k, 1} (x) | \leq \frac{C k ξ_{n} ξ_{k}}{(| n - k | + 1) n}, \\ | P_{n, 0; k, 0}^{(ν + 1)} (x) - P_{n, 1; k, 0}^{(ν + 1)} (x) - P_{n, 0; k, 1}^{(ν + 1)} (x) + P_{n, 1; k, 1}^{(ν + 1)} (x) | \leq C ξ_{n} ξ_{k} (ν k + \frac{k^{ν + 1}}{n}) . \end{array}}

(43)

The analogous estimates are also valid for ${\tilde{S}}_{n, i} (x)$ , $\tilde{D} (x, λ, λ_{k, j})$ , ${\tilde{P}}_{n, i; k, j} (x)$ .

Lemma 2 The following relation holds

{\tilde{S}}_{n, i} (x) = S_{n, i} (x) - \sum_{k = 1}^{\infty} ({\tilde{P}}_{n, i; k, 0} (x) S_{k, 0} (x) - {\tilde{P}}_{n, i; k, 1} (x) S_{k, 1} (x)), n \geq 1, i = 0, 1,

(44)

where the series converges absolutely and uniformly with respect to $x \in [0, T]$ .

Proof Let real numbers a, b be such that

a < min Re λ_{n, i}

,

b > max | Im λ_{n, i} |

,

n \geq 1

,

i = 0, 1

. In the λ-plane consider a closed contour

γ_{N} : = \partial Ξ_{N}

(with a counterclockwise circuit), where

Ξ_{N} = {λ : a \leq Re λ \leq {(N + 1 / 2)}^{2} π^{2} / T^{2}, | Im λ | \leq b}

. By the standard method (see [2]), using (12), (35)-(37) and Cauchy’s integral formula [15], we obtain the representation

\tilde{S} (x, λ) = S (x, λ) - \frac{1}{2 π i} \int_{γ_{N}} \hat{M} (μ) \tilde{D} (x, λ, μ) S (x, μ) d μ + ε_{N} (x, λ),

(45)

where

lim_{N \to \infty} \frac{\partial^{ν}}{\partial λ^{ν}} ε_{N} (x, λ) = 0, ν \geq 0,

uniformly with respect to

x \in [0, T]

and λ on bounded sets. Calculating the integral in (45) by the residue theorem and using (20), we get

\frac{1}{2 π i} \int_{γ_{N}} \hat{M} (μ) \tilde{D} (x, λ, μ) S (x, μ) d μ = \sum_{k = 1}^{N} ({\tilde{A}}_{k, 0} (x, λ) S_{k, 0} (x) - {\tilde{A}}_{k, 1} (x, λ) S_{k, 1} (x))

for sufficiently large N. Taking the limit in (45) as

N \to \infty

, we obtain

\tilde{S} (x, λ) = S (x, λ) - \sum_{k = 1}^{\infty} ({\tilde{A}}_{k, 0} (x, λ) S_{k, 0} (x) - {\tilde{A}}_{k, 1} (x, λ) S_{k, 1} (x)) .

(46)

Differentiating this with respect to λ, the corresponding number of times and then taking $λ = λ_{n, i}$ , we arrive at (44). □

Analogously to (46), one can obtain the following relation

\tilde{Φ} (x, λ) = Φ (x, λ) - \sum_{k = 1}^{\infty} ({\tilde{F}}_{k, 0} (x, λ) S_{k, 0} (x) - {\tilde{F}}_{k, 1} (x, λ) S_{k, 1} (x)),

(47)

where

\begin{matrix} {\tilde{F}}_{n + ν, i} (x, λ) : = \sum_{p = ν}^{m_{n, i} - 1} M_{n + p, i} {\tilde{G}}_{p - ν} (x, λ, λ_{n, i}), n \in S_{i}, ν = \bar{0, m_{n, i} - 1}, i = 0, 1, \\ {\tilde{G}}_{ν} (x, λ, μ) : = \frac{1}{ν!} \frac{d^{ν}}{d μ^{ν}} \tilde{G} (x, λ, μ), \\ \tilde{G} (x, λ, μ) : = \frac{〈 \tilde{Φ} (x, λ), \tilde{S} (x, μ) 〉}{λ - μ} = \frac{1}{λ - μ} + \int_{0}^{x} \tilde{Φ} (t, λ) \tilde{S} (t, μ) d t . \end{matrix}

For each fixed $x \in [0, T]$ , the relation (44) can be considered as a system of linear equations with respect to $S_{n, i} (x)$ , $n \geq 1$ , $i = 0, 1$ . But the series in (44) converges only with brackets, i.e., the terms in them cannot be dissociated. Therefore, it is inconvenient to use (44) as a main equation of the inverse problem. Below, we will transfer (44) to a linear equation in the Banach space of bounded sequences (see (53)).

Let w be the set of indices

u = (n, i)

,

n \geq 1

,

i = 0, 1

. For each fixed

x \in [0, T]

, we define the vector

ϕ (x) = {[ϕ_{u} (x)]}_{u \in w}^{T} = {[ϕ_{n, 0} (x), ϕ_{n, 1} (x)]}_{n \geq 1}^{T}

(where T is the sign for transposition) by the formula

[\begin{array}{c} ϕ_{n, 0} (x) \\ ϕ_{n, 1} (x) \end{array}] = n [\begin{array}{c} χ_{n} & - χ_{n} \\ 0 & 1 \end{array}] [\begin{array}{c} S_{n, 0} (x) \\ S_{n, 1} (x) \end{array}], χ_{n} = {\begin{matrix} ξ_{n}^{- 1}, & ξ_{n} \neq 0, \\ 0, & ξ_{n} = 0 . \end{matrix}

Note that if

ϕ_{n, 0}

,

ϕ_{n, 1}

are given, then

S_{n, 0}

,

S_{n, 1}

can be found by the formula

[\begin{array}{c} S_{n, 0} (x) \\ S_{n, 1} (x) \end{array}] = \frac{1}{n} [\begin{array}{c} ξ_{n} & 1 \\ 0 & 1 \end{array}] [\begin{array}{c} ϕ_{n, 0} (x) \\ ϕ_{n, 1} (x) \end{array}] .

(48)

Consider also a block-matrix

H (x) = {[H_{u; v} (x)]}_{u, v \in w} = {[\begin{array}{c} H_{n, 0; k, 0} (x) & H_{n, 0; k, 1} (x) \\ H_{n, 1; k, 0} (x) & H_{n, 1; k, 1} (x) \end{array}]}_{n, k \geq 1}, u = (n, i), v = (k, j),

where

[\begin{array}{c} H_{n, 0; k, 0} (x) & H_{n, 0; k, 1} (x) \\ H_{n, 1; k, 0} (x) & H_{n, 1; k, 1} (x) \end{array}] = \frac{n}{k} [\begin{array}{c} χ_{n} & - χ_{n} \\ 0 & 1 \end{array}] [\begin{array}{c} P_{n, 0; k, 0} (x) & P_{n, 0; k, 1} (x) \\ P_{n, 1; k, 0} (x) & P_{n, 1; k, 1} (x) \end{array}] [\begin{array}{c} ξ_{k} & 1 \\ 0 & - 1 \end{array}] .

Analogously, we introduce

{\tilde{ϕ}}_{n, i} (x)

,

\tilde{ϕ} (x)

and

{\tilde{H}}_{n, i; k, j} (x)

,

\tilde{H} (x)

by the replacement of

S_{n, i} (x)

,

P_{n, i; k, j} (x)

in the preceding definitions with

{\tilde{S}}_{n, i} (x)

,

{\tilde{P}}_{n, i; k, j} (x)

, respectively. Using (41) and (43), we get the estimates

\begin{aligned} | ϕ_{n, i}^{(ν)} (x) | \leq C n^{ν}, | H_{n, i; k, j} (x) | \leq \frac{C ξ_{k}}{| n - k | + 1}, \\ | H_{n, i; k, j}^{(ν + 1)} (x) | \leq C ξ_{k} {(n + k)}^{ν}, ν = 0, 1, \end{aligned}

(49)

\begin{aligned} | {\tilde{ϕ}}_{n, i}^{(ν)} (x) | \leq C n^{ν}, | {\tilde{H}}_{n, i; k, j} (x) | \leq \frac{C ξ_{k}}{| n - k | + 1}, \\ | {\tilde{H}}_{n, i; k, j}^{(ν + 1)} (x) | \leq C ξ_{k} {(n + k)}^{ν}, ν = 0, 1, \end{aligned}

(50)

| {\tilde{H}}_{n, i; k, j} (x) - {\tilde{H}}_{n, i; k, j} (x_{0}) | \leq C ξ_{k} | x - x_{0} |, x, x_{0} \in [0, T] .

(51)

Consider the Banach space B of bounded sequences

a = {[a_{u}]}_{u \in w}^{T}

with the norm

{∥ a ∥}_{B} = {sup}_{u \in w} | a_{u} |

. It follows from (49) and (50) that for each fixed

x \in [0, T]

, the operators

H (x)

and

\tilde{H} (x)

, acting from B to B, are linear bounded ones and

{∥ H (x) ∥}_{B \to B}, {∥ \tilde{H} (x) ∥}_{B \to B} \leq C sup_{n \geq 1} \sum_{k = 1}^{\infty} \frac{ξ_{k}}{| n - k | + 1} < \infty .

(52)

Theorem 4 For each fixed

x \in [0, T]

, the vector

ϕ (x) \in B

satisfies the equation

\tilde{ϕ} (x) = (I - \tilde{H} (x)) ϕ (x)

(53)

in the Banach space B, where I is the identity operator.

Proof We rewrite (44) in the form

[\begin{array}{c} {\tilde{S}}_{n, 0} (x) \\ {\tilde{S}}_{n, 1} (x) \end{array}] = [\begin{array}{c} S_{n, 0} (x) \\ S_{n, 1} (x) \end{array}] - \sum_{k = 1}^{\infty} [\begin{array}{c} {\tilde{P}}_{n, 0; k, 0} (x) & - {\tilde{P}}_{n, 0; k, 1} (x) \\ {\tilde{P}}_{n, 1; k, 0} (x) & - {\tilde{P}}_{n, 1; k, 1} (x) \end{array}] [\begin{array}{c} S_{k, 0} (x) \\ S_{k, 1} (x) \end{array}], n \geq 1 .

Substituting here (48), and taking into account our notations, we arrive at

{\tilde{ϕ}}_{n, i} (x) = ϕ_{n, i} (x) - \sum_{(k, j) \in w} {\tilde{H}}_{n, i; k, j} (x) ϕ_{k, j} (x), (n, i) \in w,

which is equivalent to (53). □

For each fixed $x \in [0, T]$ , the relation (53) can be considered as a linear equation with respect to $ϕ (x)$ . This equation is called the main equation of the inverse problem. Thus, the nonlinear inverse problem is reduced to the solution of the linear equation. Let us prove the unique solvability of the main equation.

Theorem 5 For each fixed $x \in [0, T]$ , the operator $I - \tilde{H} (x)$ has a bounded inverse operator, namely $I + H (x)$ , i.e., the main equation (53) is uniquely solvable.

Proof Acting in the same way as in Lemma 2 and using (37) and (38), we obtain

D (x, λ, μ) - \tilde{D} (x, λ, μ) = \frac{1}{2 π i} \int_{γ_{N}} \tilde{D} (x, λ, ξ) \hat{M} (ξ) D (x, ξ, μ) d ξ + ε_{N}^{1} (x, λ, μ),

where

lim_{N \to \infty} \frac{\partial^{ν + j}}{\partial λ^{ν} \partial μ^{j}} ε_{N}^{1} (x, λ, μ) = 0, ν, j \geq 0,

uniformly with respect to

x \in [0, T]

and λ, μ on bounded sets. Calculating the integral by the residue theorem and passing to the limit as

N \to \infty

, we obtain

D (x, λ, μ) - \tilde{D} (x, λ, μ) = \sum_{p = 0}^{1} {(- 1)}^{p} \sum_{l \in S_{p}} \sum_{ν = 0}^{m_{l, p} - 1} {\tilde{A}}_{l + ν, p} (x, λ) D_{ν, 0} (x, λ_{l, p}, μ) .

According to the definition of

P_{n, i; k, j} (x)

,

{\tilde{P}}_{n, i; k, j} (x)

, we arrive at

P_{n, i; k, j} (x) - {\tilde{P}}_{n, i; k, j} (x) = \sum_{l = 1}^{\infty} ({\tilde{P}}_{n, i; l, 0} (x) P_{l, 0; k, j} (x) - {\tilde{P}}_{n, i; l, 1} (x) P_{l, 1; k, j} (x)), n, k \geq 1, i, j = 0, 1 .

Further, taking the definition of

H_{n, i; k, j} (x)

,

{\tilde{H}}_{n, i; k, j} (x)

into account, we get

H_{n, i; k, j} (x) - {\tilde{H}}_{n, i; k, j} (x) = \sum_{(l, p) \in w} {\tilde{H}}_{n, i; l, p} (x) H_{l, p; k, j} (x), (n, i), (k, j) \in w,

which is equivalent to

(I - \tilde{H} (x)) (I + H (x)) = I

. Symmetrically, one gets

(I + H (x)) (I - \tilde{H} (x)) = I .

Hence the operator ${(I - \tilde{H} (x))}^{- 1}$ exists, and it is a linear bounded operator. □

Using the solution of the main equation, one can construct the function $q (x)$ . Thus, we obtain the following algorithm for solving the inverse problem.

Algorithm 1 Let the spectral data

{λ_{n}, α_{n}}_{n \geq 1}

be given. Then

(i)

construct $M_{n}$ , $n \geq 1$ , by solving the linear systems (28);
(ii)

choose $\tilde{L}$ and calculate $\tilde{ϕ} (x)$ and $\tilde{H} (x)$ ;
(iii)

find $ϕ (x)$ by solving equation (53);
(iv)

choose $n \in S$ (e.g., $n = 1$ ) and construct $q (x)$ by the formula
$q (x) = \frac{ϕ_{n, 1}^{″} (x)}{ϕ_{n, 1} (x)} + λ_{n} .$

Remark 2 In the particular case, when

λ_{n} = {\tilde{λ}}_{n}

,

α_{n} = {\tilde{α}}_{n}

for

n > N

(let for definiteness

N + 1 \in S \cap \tilde{S}

) according to (44) and the definition of

S_{n, i} (x)

,

{\tilde{P}}_{n, i; k, j} (x)

, the main equation becomes the linear algebraic system

{\tilde{S}}_{n, i} (x) = S_{n, i} (x) - \sum_{k = 1}^{N} ({\tilde{P}}_{n, i; k, 0} (x) S_{k, 0} (x) - {\tilde{P}}_{n, i; k, 1} (x) S_{k, 1} (x)), n = \bar{1, N}, i = 0, 1,

(54)

whose determinant does not vanish for any $x \in [0, T]$ by virtue of Theorem 5.

In the next section for the case $q (x) \in L_{2} (0, T)$ , we give another algorithm, which is used in Section 6 for obtaining the necessary and sufficient conditions for the solvability of the inverse problem.

5 Algorithm 2

Here and in the sequel, we assume that

q (x) \in L_{2} (0, T)

. It is known that then

{κ_{n}} \in l_{2}

in formulae (7), (19) and (33). We agree that in the sequel one and the same symbol

{κ_{n}}

denotes different sequences in

l_{2}

. Let us choose the model boundary value problem

L = L (\tilde{q} (x), T)

, so that

\tilde{ω} = ω

(for example, one can take

\tilde{q} (x) \equiv 2 ω / T

). Then besides (40), according to (7), (33) and (39), we have

ξ_{n} = \frac{κ_{n}}{n}, Ω : = {(\sum_{n = 1}^{\infty} {(n ξ_{n})}^{2})}^{\frac{1}{2}} < \infty, \sum_{n = 1}^{\infty} ξ_{n} < \infty .

(55)

Denote

{\tilde{B}}_{n + ν, i} (x) : = \sum_{p = ν}^{m_{n, i} - 1} M_{n + p, i} {\tilde{S}}_{n + p - ν, i} (x), n \in S_{i}, ν = \bar{0, m_{n, i} - 1}, i = 0, 1,

(56)

ε_{0} (x) : = \sum_{k = 1}^{\infty} ({\tilde{B}}_{k, 0} (x) S_{k, 0} (x) - {\tilde{B}}_{k, 1} (x) S_{k, 1} (x)), ε (x) : = 2 ε_{0}^{'} (x) .

(57)

It is obvious that

{\tilde{A}}_{n, i}^{'} (x, λ) = \tilde{S} (x, λ) {\tilde{B}}_{n, i} (x), n \geq 1, i = 0, 1 .

(58)

Lemma 3 The series in (57) converges absolutely and uniformly on $[0, T]$ and allows termwise differentiation. The function $ε_{0} (x)$ is absolutely continuous, and $ε (x) \in L_{2} (0, T)$ .

Proof It is sufficient to prove for the case

m_{n, i} = 1

,

n \geq 1

,

i = 0, 1

. We rewrite

ε_{0} (x)

to the form

ε_{0} (x) = A_{1} (x) + A_{2} (x)

, where

\begin{array}{l} A_{1} (x) = \sum_{k = 1}^{\infty} (M_{k, 0} - M_{k, 1}) {\tilde{S}}_{k, 0} (x) S_{k, 0} (x), \\ A_{2} (x) = \sum_{k = 1}^{\infty} M_{k, 1} (({\tilde{S}}_{k, 0} (x) - {\tilde{S}}_{k, 1} (x)) S_{k, 0} (x) + {\tilde{S}}_{k, 1} (x) (S_{k, 0} (x) - S_{k, 1} (x))) . \end{array}}

(59)

It follows from (33), (41) and (55) that the series in (59) converges absolutely and uniformly on

[0, T]

, and

| A_{j} (x) | \leq C \sum_{k = 0}^{\infty} ξ_{k} \leq C Ω, j = 1, 2 .

Furthermore, using the asymptotic formulae (7), (16) and (33), we calculate

A_{1}^{'} (x) = \sum_{k = 1}^{\infty} (M_{k, 0} - M_{k, 1}) \frac{d}{d x} ({\tilde{S}}_{k, 0} (x) S_{k, 0} (x)) = \sum_{k = 1}^{\infty} (κ_{k} sin 2 k x + O (\frac{κ_{k}}{k})) .

Hence $A_{1} (x) \in W_{2}^{1} [0, T]$ . Similarly, we get $A_{2} (x) \in W_{2}^{1} [0, T]$ , and consequently $ε_{0} (x) \in W_{2}^{1} [0, T]$ . □

Lemma 4 The following relation holds

q (x) = \tilde{q} (x) + ε (x) .

(60)

Proof Differentiating (46) twice with respect to x and using (57) and (58), we get

\begin{matrix} {\tilde{S}}^{'} (x, λ) = S^{'} (x, λ) - ε_{0} (x) \tilde{S} (x, λ) - \sum_{k = 1}^{\infty} ({\tilde{A}}_{k, 0} (x, λ) S_{k, 0}^{'} (x) - {\tilde{A}}_{k, 1} (x, λ) S_{k, 1}^{'} (x)), \\ {\tilde{S}}^{″} (x, λ) = S^{″} (x, λ) - \sum_{k = 1}^{\infty} ({(\tilde{S} (x, λ) {\tilde{B}}_{k, 0} (x))}^{'} S_{k, 0} (x) - {(\tilde{S} (x, λ) {\tilde{B}}_{k, 1} (x))}^{'} S_{k, 1} (x)) \\ - 2 \tilde{S} (x, λ) \sum_{k = 1}^{\infty} ({\tilde{B}}_{k, 0} (x) S_{k, 0}^{'} (x) - {\tilde{B}}_{k, 1} (x) S_{k, 1}^{'} (x)) - \sum_{k = 1}^{\infty} ({\tilde{A}}_{k, 0} (x, λ) S_{k, 0}^{″} (x) \\ - {\tilde{A}}_{k, 1} (x, λ) S_{k, 1}^{″} (x)) . \end{matrix}

Using (1) and (8), we replace here the second derivatives, and then replace

S (x, λ)

using (46). This yields

\begin{aligned} \hat{q} (x) \tilde{S} (x, λ) \\ = 2 \tilde{S} (x, λ) \sum_{k = 1}^{\infty} ({\tilde{B}}_{k, 0} (x) S_{k, 0}^{'} (x) - {\tilde{B}}_{k, 1} (x) S_{k, 1}^{'} (x)) \\ + \sum_{k = 1}^{\infty} ({(\tilde{S} (x, λ) {\tilde{B}}_{k, 0} (x))}^{'} S_{k, 0} (x) - {(\tilde{S} (x, λ) {\tilde{B}}_{k, 1} (x))}^{'} S_{k, 1} (x)) \\ + \sum_{k = 1}^{\infty} ((λ - λ_{k, 0}) {\tilde{A}}_{k, 0} (x, λ) S_{k, 0} (x) - (λ - λ_{k, 1}) {\tilde{A}}_{k, 1} (x, λ) S_{k, 1} (x)) - A (x, λ), \end{aligned}

(61)

where

A (x, λ) = \sum_{j = 0}^{1} {(- 1)}^{j} \sum_{m_{k, j} \geq 2} \sum_{ν = 0}^{m_{k, j} - 2} {\tilde{A}}_{k + ν + 1, j} (x, λ) S_{k + ν, j} (x) .

Using (1) and (8) for

j = 0, 1

,

k \in S_{j}

,

ν = \bar{0, m_{k, j} - 1}

, we calculate

{(\tilde{S} (x, λ) {\tilde{B}}_{k + ν, j} (x))}^{'} + (λ - λ_{k, j}) {\tilde{A}}_{k + ν, j} (x, λ) = 2 \tilde{S} (x, λ) {\tilde{B}}_{k + ν, j}^{'} (x) + (1 - δ_{ν, m_{k, j} - 1}) {\tilde{A}}_{k + ν + 1, j} (x, λ) .

Applying this relation, we get

\begin{aligned} \sum_{k = 1}^{\infty} ({(\tilde{S} (x, λ) {\tilde{B}}_{k, 0} (x))}^{'} S_{k, 0} (x) - {(\tilde{S} (x, λ) {\tilde{B}}_{k, 1} (x))}^{'} S_{k, 1} (x)) \\ + \sum_{k = 1}^{\infty} ((λ - λ_{k, 0}) {\tilde{A}}_{k, 0} (x, λ) S_{k, 0} (x) - (λ - λ_{k, 1}) {\tilde{A}}_{k, 1} (x, λ) S_{k, 1} (x)) \\ = 2 \tilde{S} (x, λ) \sum_{k = 1}^{\infty} ({\tilde{B}}_{k, 0}^{'} (x) S_{k, 0} (x) - {\tilde{B}}_{k, 1}^{'} (x) S_{k, 1} (x)) + A (x, λ), \end{aligned}

which together with (57) and (61) gives (60). □

Thus, we obtain the following algorithm for solving the inverse problem.

Algorithm 2 Let the spectral data

{λ_{n}, α_{n}}_{n \geq 1}

be given. Then

(i)

construct $M_{n}$ , $n \geq 1$ , by solving the linear systems (28);
(ii)

choose $\tilde{L}$ so that $ω = \tilde{ω}$ and calculate $\tilde{ϕ} (x)$ and $\tilde{H} (x)$ ;
(iii)

find $ϕ (x)$ by solving equation (53), and calculate $S_{n, j} (x)$ , $n \geq 1$ , $j = 0, 1$ , by (48);
(iv)

calculate $q (x)$ by formulae (56), (57) and (60).

6 Necessary and sufficient conditions

In the present section, we obtain necessary and sufficient conditions for the solvability of the inverse problem. In the general non-selfadjoint case, they must include the requirement of the solvability of the main equation. In Section 7, some important cases will be considered when the solvability of the main equation can be proved by sufficiency, namely, the selfadjoint case, the case of finite-dimensional perturbations of the spectral data and the case of small perturbations.

Theorem 6 For complex numbers

{λ_{n}, α_{n}}_{n \geq 1}

to be the spectral data of a certain boundary value problem

L (q (x), T)

with

q (x) \in L_{2} (0, T)

, it is necessary and sufficient that

(i)

the relations (7) and (19) hold with ${κ_{n}} \in l_{2}$ ;
(ii)

$α_{n} \neq 0$ for all $n \in S$ ;
(iii)

(Condition S) for each $x \in [0, T]$ , the linear bounded operator $I - \tilde{H} (x)$ , acting from B to B, has a bounded inverse one. Here $\tilde{L}$ is chosen so that $\tilde{ω} = ω$ .

The boundary value problem $L = L (q (x), T)$ can be constructed by Algorithms 1 and 2.

The necessity part of the theorem was proved above; here, we prove the sufficiency. We note that sufficiency condition (ii) of the theorem allows to solve linear systems (28) for finding

M_{n}

,

n \geq 1

, which are used for constructing the main equation. Moreover, we have

M_{n + m_{n} - 1} \neq 0, n \in S .

(62)

Let

ϕ (x) = {[ϕ_{u} (x)]}_{u \in w}

be the solution of the main equation (53). Denote

H (x) = {[H_{u; v} (x)]}_{u, v \in w} : = {(I - \tilde{H} (x))}^{- 1} - I,

i.e.,

(I - \tilde{H} (x)) (I + H (x)) = (I + H (x)) (I - \tilde{H} (x)) = I .

(63)

Similarly to Lemma 1.6.7 in [2] using (51) and (53), one can prove the following assertion.

Lemma 5 For

n, k \geq 1

,

i, j, ν = 0, 1

,

x \in [0, T]

, the following relations hold

ϕ_{n, i} (x) \in C^{1} [0, T], | ϕ_{n, i}^{(ν)} (x) | \leq C n^{ν},

(64)

| ϕ_{n, i}^{(ν)} (x) - {\tilde{ϕ}}_{n, i}^{(ν)} (x) | \leq C Ω η_{n}^{1 - ν},

(65)

| H_{n, i; k, j} (x) | \leq C ξ_{k} (\frac{1}{| n - k | + 1} + Ω η_{n}),

(66)

| H_{n, i; k, j} (x) | \leq C ξ_{k} (\frac{1}{| n - k | + 1} + Ω η_{k}),

(67)

| H_{n, i; k, j}^{'} (x) | \leq C ξ_{k},

(68)

where Ω is defined in (55) and

η_{n} : = {(\sum_{k = 1}^{\infty} \frac{1}{k^{2} {(| n - k | + 1)}^{2}})}^{1 / 2} .

We define the functions

S_{n, i} (x)

by formulae (48), and according to (64), we get (41). Then (44) is also valid. By virtue of (48), (65) and Lemma 5, we have

| S_{n, i}^{(ν)} (x) - {\tilde{S}}_{n, i}^{(ν)} (x) | \leq \frac{C}{n} Ω η_{n}^{1 - ν},

(69)

Furthermore, we construct the functions

S (x, λ)

and

Φ (x, λ)

via (46) and (47) and the function

q (x)

by formulae (56), (57) and (60). Clearly,

S_{ν} (x, λ_{n, i}) = S_{n + ν, i} (x), n \in S_{i}, ν = \bar{0, m_{n, i} - 1}, i = 0, 1 .

(70)

Analogously to Lemma 1.6.8 in [2] using (41) and (69), one can prove the following assertion.

Lemma 6 $q (x) \in L_{2} (0, T)$ .

Lemma 7 For

i = 0, 1

,

n \in S_{i}

,

ν = \bar{1, m_{n, i} - 1}

the following relations hold

ℓ S_{n, i} (x) = λ_{n} S_{n, i} (x), ℓ S_{n + ν, i} (x) = λ_{n} S_{n + ν, i} (x) + S_{n + ν - 1, i} (x),

(71)

ℓ S (x, λ) = λ S (x, λ), ℓ Φ (x, λ) = λ Φ (x, λ),

(72)

S (0, λ) = 0, S^{'} (0, λ) = 1, Φ (0, λ) = 1, Φ (T, λ) = 0 .

(73)

Proof (1) According to the estimates (42), the series in (46) is termwise differentiable with respect to x, and hence

S (0, λ) = 0

,

S^{'} (0, λ) = 1

. By virtue of (70), we have

S_{n, j} (0) = 0

,

(n, j) \in w

. Thus, formula (47) gives

Φ (0, λ) = 1

.

(2)

In order to prove (71) and (72), we first assume that
$Ω_{1} : = {(\sum_{k = 0}^{\infty} {(k^{2} ξ_{k})}^{2})}^{1 / 2} < \infty .$

(74)

Differentiating (63) twice, we obtain

H^{″} (x) = (I + H (x)) {\tilde{H}}^{″} (x) (I + H (x)) + 2 (I + H (x)) {\tilde{H}}^{'} (x) H^{'} (x) .

(75)

It follows from (50), (66) and (67) that the series in (75) converges absolutely and uniformly for

x \in [0, T]

,

H_{n, i; k, j} (x) \in C^{2} [0, T]

, and

| H_{n, i; k, j}^{″} (x) | \leq C ξ_{k} (n + k) .

(76)

Solving the main equation (53), we infer

ϕ_{n, i} (x) = {\tilde{ϕ}}_{n, i} (x) + \sum_{k, j} H_{n, i; k, j} (x) {\tilde{ϕ}}_{k, j} (x), x \in [0, T], (n, i), (k, j) \in w .

(77)

According to (50) and (66), the series in (77) converges absolutely and uniformly for

x \in [0, T]

. Further, using (77), we calculate

\tilde{ℓ} ϕ_{n, i} (x) = \tilde{ℓ} {\tilde{ϕ}}_{n, i} (x) + \sum_{k, j} H_{n, i; k, j} (x) \tilde{ℓ} {\tilde{ϕ}}_{k, j} (x) - 2 \sum_{k, j} H_{n, i; k, j}^{'} (x) {\tilde{ϕ}}_{k, j}^{'} (x) - \sum_{k, j} H_{n, i; k, j}^{″} (x) {\tilde{ϕ}}_{k, j} (x),

where according to (50), (67), (68) and (76), the series converges absolutely and uniformly for

x \in [0, T]

and

\tilde{ℓ} ϕ_{n, i} (x) \in C [0, T], | \tilde{ℓ} ϕ_{n, i} (x) | \leq C n^{2}, (n, i) \in w .

On the other hand, it follows from the proof of Lemma 3 and from (74) that

q (x) - \tilde{q} (x) \in C [0, T]

; hence

ℓ ϕ_{n, i} (x) \in C [0, T], | ℓ ϕ_{n, i} (x) | \leq C n^{2}, (n, i) \in w .

Together with (48) this implies that

ℓ S_{n, i} (x) \in C [0, T], | ℓ S_{n, i} (x) | \leq C n, | ℓ S_{n, 0} (x) - ℓ S_{n, 1} (x) | \leq C n ξ_{n}, (n, i) \in w .

Using (44), (57) and (60), we get

\begin{aligned} \tilde{ℓ} {\tilde{S}}_{n, i} (x) = & ℓ S_{n, i} (x) - \sum_{k = 1}^{\infty} ({\tilde{P}}_{n, i; k, 0} (x) ℓ S_{k, 0} (x) - {\tilde{P}}_{n, i; k, 1} (x) ℓ S_{k, 1} (x)) \\ - \sum_{k = 1}^{\infty} (〈 {\tilde{S}}_{n, i} (x), {\tilde{B}}_{k, 0} (x) 〉 S_{k, 0} (x) - 〈 {\tilde{S}}_{n, i} (x), {\tilde{B}}_{k, 1} (x) 〉 S_{k, 1} (x)), (n, i) \in w . \end{aligned}

(78)

Similarly, using (46) and (47), we calculate

\begin{aligned} \tilde{ℓ} \tilde{S} (x, λ) = & ℓ S (x, λ) - \sum_{k = 1}^{\infty} ({\tilde{A}}_{k, 0} (x, λ) ℓ S_{k, 0} (x) - {\tilde{A}}_{k, 1} (x, λ) ℓ S_{k, 1} (x)) \\ - \sum_{k = 1}^{\infty} (〈 \tilde{S} (x, λ), {\tilde{B}}_{k, 0} (x) 〉 S_{k, 0} (x) - 〈 \tilde{S} (x, λ), {\tilde{B}}_{k, 1} (x) 〉 S_{k, 1} (x)), \end{aligned}

(79)

\begin{aligned} \tilde{ℓ} \tilde{Φ} (x, λ) = & ℓ Φ (x, λ) - \sum_{k = 1}^{\infty} ({\tilde{F}}_{k, 0} (x, λ) ℓ S_{k, 0} (x) - {\tilde{F}}_{k, 1} (x, λ) ℓ S_{k, 1} (x)) \\ - \sum_{k = 1}^{\infty} (〈 \tilde{Φ} (x, λ), {\tilde{B}}_{k, 0} (x) 〉 S_{k, 0} (x) - 〈 \tilde{Φ} (x, λ), {\tilde{B}}_{k, 1} (x) 〉 S_{k, 1} (x)) . \end{aligned}

(80)

For

n \in S_{i}

and

i = 0, 1

, it follows from (78) that

\begin{matrix} \begin{aligned} λ_{n, i} {\tilde{S}}_{n, i} (x) = & ℓ S_{n, i} (x) - \sum_{k = 1}^{\infty} ({\tilde{P}}_{n, i; k, 0} (x) ℓ S_{k, 0} (x) - {\tilde{P}}_{n, i; k, 1} (x) ℓ S_{k, 1} (x)) \\ - \sum_{k = 1}^{\infty} ((λ_{n, i} - λ_{k, 0}) {\tilde{P}}_{n, i; k, 0} (x) S_{k, 0} (x) - (λ_{n, i} - λ_{k, 1}) {\tilde{P}}_{n, i; k, 1} (x) S_{k, 1} (x)) \\ + \sum_{j = 0}^{1} {(- 1)}^{j} \sum_{m_{k, j} > 1} \sum_{s = 0}^{m_{k, j} - 2} {\tilde{P}}_{n, i; k + s + 1, j} (x) S_{k + s, j} (x), \end{aligned} \\ \begin{aligned} λ_{n, i} {\tilde{S}}_{n + ν, i} (x) + {\tilde{S}}_{n + ν - 1, i} (x) = & ℓ S_{n + ν, i} (x) - \sum_{k = 1}^{\infty} ({\tilde{P}}_{n + ν, i; k, 0} (x) ℓ S_{k, 0} (x) - {\tilde{P}}_{n + ν, i; k, 1} (x) ℓ S_{k, 1} (x)) \\ - \sum_{k = 1}^{\infty} (((λ_{n, i} - λ_{k, 0}) {\tilde{P}}_{n + ν, i; k, 0} (x) + {\tilde{P}}_{n + ν - 1, i; k, 0} (x)) S_{k, 0} (x) \\ - ((λ_{n, i} - λ_{k, 1}) {\tilde{P}}_{n + ν, i; k, 1} (x) + {\tilde{P}}_{n + ν - 1, i; k, 1} (x)) S_{k, 1} (x)) \\ + \sum_{j = 0}^{1} {(- 1)}^{j} \sum_{m_{k, j} > 1} \sum_{s = 0}^{m_{k, j} - 2} {\tilde{P}}_{n + ν, i; k + s + 1, j} (x) S_{k + s, j} (x), ν = \bar{1, m_{n, i} - 1}, \end{aligned} \end{matrix}

and, consequently, we arrive at

γ_{n, i} (x) = \sum_{k = 1}^{\infty} ({\tilde{P}}_{n, i; k, 0} (x) γ_{k, 0} (x) - {\tilde{P}}_{n, i; k, 1} (x) γ_{k, 1} (x)), (n, i) \in w,

(81)

where for

l \in S_{i}

,

ν = \bar{1, m_{l, i} - 1}

γ_{l, i} (x) : = ℓ S_{l, i} (x) - λ_{l, i} S_{l, i} (x), γ_{l + ν, i} (x) : = ℓ S_{l + ν, i} (x) - λ_{l, i} S_{l + ν, i} (x) - S_{l + ν - 1, i} (x) .

Using (81), we get

β_{n, i} (x) = \sum_{k, j} {\tilde{H}}_{n, i; k, j} (x) β_{k, j} (x), (n, i), (k, j) \in w,

(82)

where

β_{n, 1} (x) = n γ_{n, 1} (x), β_{n, 0} (x) = n χ_{n} (γ_{n, 0} (x) - γ_{n, 1} (x)) .

Since

| γ_{n, i} (x) | \leq C n

,

| γ_{n, 0} (x) - γ_{n, 1} (x) | \leq C n ξ_{n}

, we have

| β_{n, i} (x) | \leq C n^{2} .

(83)

It follows from (50), (74), (82) and (83) that $| β_{n, i} (x) | \leq C$ . Then, by virtue of Condition S in Theorem 6, $β_{n, i} (x) = 0$ , and consequently $γ_{n, i} (x) = 0$ . Thus, we obtain (71).

Furthermore, since

〈 \tilde{S} (x, λ), {\tilde{B}}_{n + ν, i} (x) 〉 = {\begin{matrix} (λ - λ_{n, i}) {\tilde{A}}_{n + m_{n, i} - 1, i} (x, λ), & ν = m_{n, i} - 1, \\ (λ - λ_{n, i}) {\tilde{A}}_{n + ν, i} (x, λ) - {\tilde{A}}_{n + ν + 1, i} (x, λ), & ν = \bar{0, m_{n, i} - 2}, \end{matrix}

formula (79) gives

λ \tilde{S} (x, λ) = ℓ S (x, λ) - λ \sum_{k = 1}^{\infty} ({\tilde{A}}_{k, 0} (x, λ) S_{k, 0} (x) - {\tilde{A}}_{k, 1} (x, λ) S_{k, 1} (x)) .

From this, by virtue of (46), it follows that $ℓ S (x, λ) = λ S (x, λ)$ . Analogously, using (80) we obtain $ℓ Φ (x, λ) = λ Φ (x, λ)$ . Thus, (71) and (72) are proved for the case when (74) is fulfilled.

Denote

Δ (λ) : = S (T, λ)

. It follows from (46) and (47) for

x = T

that

\tilde{Δ} (λ) = Δ (λ) - \sum_{k = 0}^{\infty} ({\tilde{A}}_{k, 0} (T, λ) Δ_{k, 0} - {\tilde{A}}_{k, 1} (T, λ) Δ_{k, 1}),

(84)

0 = Φ (T, λ) - \sum_{k = 0}^{\infty} ({\tilde{F}}_{k, 0} (T, λ) Δ_{k, 0} - {\tilde{F}}_{k, 1} (T, λ) Δ_{k, 1}),

(85)

where

Δ_{n + ν, i} = Δ^{(ν)} (λ_{n, i}) / ν!

,

n \in S_{i}

,

ν = \bar{0, m_{n, i} - 1}

. Differentiating (84) with respect to λ an appropriate number of times and substituting

λ = λ_{n 1}

, we get

Δ_{n, 1} = \sum_{k = 1}^{\infty} ({\tilde{P}}_{n, 1; k, 0} (T) Δ_{k, 0} - {\tilde{P}}_{n, 1; k, 1} (T) Δ_{k, 1}) .

(86)

Let us show that

{\tilde{P}}_{n, 1; k, 1} (T) = - δ_{n, k} .

(87)

Indeed, for

n, k \in \tilde{S}

,

ν = \bar{0, {\tilde{m}}_{n} - 1}

,

s = \bar{0, {\tilde{m}}_{k} - 1}

we have

{\tilde{P}}_{n + ν, 1; k + s, 1} (T) = \sum_{p = 0}^{{\tilde{m}}_{n} - 1 - s} {\tilde{M}}_{k + p + s} {\tilde{D}}_{ν, p} (T, {\tilde{λ}}_{n}, {\tilde{λ}}_{k}) .

(88)

Moreover, according to (9), we have

〈 {\tilde{S}}_{ν} (x, {\tilde{λ}}_{n}), \tilde{S} (x, {\tilde{λ}}_{k}) 〉 |_{x = T} = 0

, and hence

({\tilde{λ}}_{n} - {\tilde{λ}}_{k}) {\tilde{D}}_{ν, p} (T, {\tilde{λ}}_{n}, {\tilde{λ}}_{k}) + {\tilde{D}}_{ν - 1, p} (T, {\tilde{λ}}_{n}, {\tilde{λ}}_{k}) - {\tilde{D}}_{ν, p - 1} (T, {\tilde{λ}}_{n}, {\tilde{λ}}_{k}) = 0,

(89)

where

D_{α, β} (T, {\tilde{λ}}_{n}, {\tilde{λ}}_{k}) = 0

for negative α or β. For

{\tilde{λ}}_{n} \neq {\tilde{λ}}_{k}

solving the system (89), we obtain

D_{ν, p} (T, {\tilde{λ}}_{n}, {\tilde{λ}}_{k}) = 0

, which together with (88) gives

P_{n + ν, 1; k + s, 1} (x) = 0

for

n \neq k

. If

{\tilde{λ}}_{n} = {\tilde{λ}}_{k}

, then (11) and (89) give

{\tilde{D}}_{ν, p} (T, {\tilde{λ}}_{n}, {\tilde{λ}}_{n}) = {\begin{matrix} 0, & 0 \leq ν + p \leq {\tilde{m}}_{n} - 2, \\ {\tilde{α}}_{n + ν + p - {\tilde{m}}_{n} + 1}, & {\tilde{m}}_{n} - 1 \leq ν + p \leq 2 {\tilde{m}}_{n} - 2 . \end{matrix}

(90)

According to (88) and (90), we have

{\tilde{P}}_{n + ν, 1; n + s, 1} (T) = 0

,

ν < s

. Moreover, using (88), (90) and (28), we calculate

{\tilde{P}}_{n + ν, 1; n + s, 1} (T) = \sum_{p = 0}^{ν - s} {\tilde{α}}_{n + ν - s - p} {\tilde{M}}_{n + ν + p - {\tilde{m}}_{n} + 1} = - δ_{ν - s, 0}

and arrive at (87). Using (86) and (87), we get

\sum_{k = 1}^{\infty} {\tilde{P}}_{n, 1; k, 0} (T) Δ_{k, 0} = 0 .

Then, by virtue of Condition S,

Δ_{k, 0} = 0

,

k \geq 1

. Substituting this into (85) and using the relation

{\tilde{F}}_{k, 1} (T, λ) = 0

,

k \geq 1

, we obtain

Φ (T, λ) = 0

.

(3)

Let us now consider the general case when instead of (74) only (55) holds. Put
$ρ_{n, (l)} : = {\begin{matrix} ρ_{n}, & n < l, \\ {\tilde{ρ}}_{n}, & n \geq l, \end{matrix} M_{n, (l)} : = {\begin{matrix} M_{n}, & n < l, \\ {\tilde{M}}_{n}, & n \geq l . \end{matrix}$

We agree that if the symbol γ denotes an object constructed with the help of the numbers

{ρ_{n}, M_{n}}_{n \geq 1}

, then the symbol

γ_{(l)}

denotes the corresponding object, constructed with the help of

{ρ_{n, (l)}, M_{n, (l)}}_{n \geq 1}

. Then for all

l \geq 1

, we have

Ω_{1, (l)} = {(\sum_{n = 1}^{\infty} {(n^{2} ξ_{n, (l)})}^{2})}^{1 / 2} = {(\sum_{n = 1}^{l - 1} {(n^{2} ξ_{n})}^{2})}^{1 / 2} < \infty .

For each fixed

l \geq 1

, we solve the corresponding main equation

{\tilde{ϕ}}_{(l)} (x) = (I - {\tilde{H}}_{(l)} (x)) ϕ_{(l)} (x),

and construct the functions

S_{(l)} (x, λ)

and the boundary value problem

L (q_{(l)} (x), T)

. Using Lemma 1.5.1 in [2], one can show that

lim_{l \to \infty} {∥ q_{(l)} - q ∥}_{L_{2}} = 0, lim_{l \to \infty} max_{0 \leq x \leq T} | S_{(l)} (x, λ) - S (x, λ) | = 0 .

Denote by

S_{0} (x, λ)

the solution of equation (1) under the initial conditions

S_{0} (0, λ) = 0

,

S_{0}^{'} (0, λ) = 1

. According to Lemma 1.5.3 in [2], we obtain

lim_{l \to \infty} max_{0 \leq x \leq T} | S_{(l)} (x, λ) - S_{0} (x, λ) | = 0 .

Hence $S_{0} (x, λ) = S (x, λ)$ , i.e., $ℓ S (x, λ) = λ S (x, λ)$ . Similarly, we get $ℓ Φ (x, λ) = λ Φ (x, λ)$ .

Notice that we additionally proved that $Δ^{(ν)} (λ_{n}) = 0$ , $ν = \bar{0, m_{n} - 1}$ , $n \in S$ , i.e., ${λ_{n}}_{n \geq 1}$ is a spectrum of L. □

Proof of Theorem 6 According to (72) and (73), the function

Φ (x, λ)

is the Weyl function for the constructed boundary value problem L. Choose

n^{*}

so that

m_{n} = {\tilde{m}}_{n} = 1

,

n \geq n^{*}

, and put. Differentiating (47) with respect to x and then substituting

x = 0

, we obtain

\begin{aligned} M (λ) = & \tilde{M} (λ) + \sum_{k = n^{*}}^{\infty} (\frac{M_{k}}{λ - λ_{k}} - \frac{{\tilde{M}}_{k}}{λ - {\tilde{λ}}_{k}}) \\ + \underset{k < n^{*}}{\sum_{k \in S}} \sum_{ν = 0}^{m_{k} - 1} \frac{M_{k + ν}}{{(λ - λ_{k})}^{ν + 1}} - \underset{k < n^{*}}{\sum_{k \in \tilde{S}}} \sum_{ν = 0}^{{\tilde{m}}_{k} - 1} \frac{{\tilde{M}}_{k + ν}}{{(λ - {\tilde{λ}}_{k})}^{ν + 1}}, \end{aligned}

(91)

where the series converges uniformly with respect to λ in bounded sets. From (62) and (91), it follows that for each $n \in S$ , the number $λ_{n}$ is a pole of the function $M (λ)$ of order $m_{n}$ . Thus, ${λ_{n}}_{n \geq 1}$ is the spectrum, and ${M_{n}}_{n \geq 1}$ is the Weyl sequence of L. Consequently, ${λ_{n}, α_{n}}_{n \geq 1}$ are the spectral data of L. □

7 Spacial cases and stability of the solution

The requirement that the main equation is uniquely solvable (Condition S in Theorem 6) is essential and cannot be omitted (see Example 1.6.1 in [2]). Condition S is difficult to check in the general case. We point out three cases, for which the unique solvability of the main equation can be proved or checked.

(1)

The selfadjoint case. It is known that in the selfadjoint case, i.e., when the function $q (x)$ is real-valued, the spectral data ${λ_{n}, α_{n}}_{n \geq 1}$ are real numbers, and
$λ_{n} \neq λ_{m} (n \neq m), α_{n} > 0 .$

(92)

Let real numbers ${λ_{n}, α_{n}}_{n \geq 1}$ having the asymptotics (7) and (19) with ${κ_{n}} \in l_{2}$ and satisfying (92) be given. Choose $\tilde{L}$ , construct $\tilde{ϕ} (x)$ , $\tilde{H} (x)$ and consider the equation (53). Similarly to Lemma 1.6.6 in [2], one can prove the following assertion.

Lemma 8 For each fixed $x \in [0, T]$ , the operator $I - \tilde{H} (x)$ , acting from B to B, has a bounded inverse operator. Thus, the main equation (53) has a unique solution $ϕ (x) \in B$ .

By virtue of Theorem 6 and Lemma 8, the following theorem holds.

Theorem 7 For real numbers

{λ_{n}, α_{n}}_{n \geq 1}

to be the spectral data of a certain selfadjoint boundary value problem

L (q (x), T)

with

q (x) \in L_{2} (0, T)

, it is necessary and sufficient to satisfy the asymptotics (7) and (19) with

{κ_{k}} \in l_{2}

and condition (92).

(2)

Finite-dimensional perturbations of the spectral data. Let a model boundary value problem $\tilde{L}$ with the spectral data ${{\tilde{λ}}_{n}, {\tilde{α}}_{n}}_{n \geq 1}$ be given. We change a finite subset of these numbers. In other words, we consider numbers ${λ_{n}, α_{n}}_{n \geq 1}$ such that $λ_{n} = {\tilde{λ}}_{n}$ , $α_{n} = {\tilde{α}}_{n}$ , $n > N$ for certain $N + 1 \in \tilde{S}$ and arbitrary in the rest. Then for such spectral data, the main equation becomes the linear algebraic system (54), and Condition S is equivalent to the condition that the determinant of this system does not equal zero for each $x \in [0, T]$ . Such perturbations are very popular in applications. We note that for the selfadjoint case the determinant of the system (54) is always nonzero.
(3)

Local solvability of the main equation. For small perturbations of the spectral data, Condition S is fulfilled automatically. Let us for simplicity consider the case of simple spectra, i.e., $\tilde{S} = N$ . The following theorem is valid.

Theorem 8 Let

\tilde{L} = L (\tilde{q} (x), T)

be given. There exists

δ > 0

(which depends on

\tilde{L}

) such that if complex numbers

{λ_{n}, α_{n}}_{n \geq 1}

satisfy the condition

Ω < δ

, then there exists a unique boundary value problem

L (q (x), T)

with

q (x) \in L_{2} (0, T)

, for which the numbers

{λ_{n}, α_{n}}_{n \geq 1}

are the spectral data, and

{∥ q - \tilde{q} ∥}_{L_{2} (0, T)} < C Ω,

(93)

where C depends only on $\tilde{L}$ .

Proof Let C denote various constants, which depend only on $\tilde{L}$ . Since $Ω < \infty$ , the asymptotical formulae (7) and (19) are fulfilled. Choose $δ_{0} \in (0, 1)$ such that if $Ω < δ_{0}$ then $α_{n} \neq 0$ , $n \in S$ . According to (52), we have $∥ \tilde{H} (x) ∥ \leq C Ω$ . Choose $δ \leq δ_{0}$ such that if $Ω < δ$ , then $∥ \tilde{H} (x) ∥ \leq 1 / 2$ for $x \in [0, T]$ . In this case, there exists ${(I - \tilde{H} (x))}^{- 1}$ . Thus, all conditions of Theorem 6 are fulfilled, and hence there exists a unique $q (x) \in L_{2} (0, T)$ , such that the numbers ${λ_{n}, α_{n}}_{n \geq 1}$ are the spectral data of $L (q (x), T)$ . Moreover, (41) and (69) are valid. Using (57), one can get (93). □

Theorem 8 gives the stability of Inverse Problem 1. Denote

Ω^{'} : = {(\sum_{n = 1}^{\infty} {(n ξ_{n}^{'})}^{2})}^{\frac{1}{2}},

where the numbers

ξ_{n}^{'}

,

n \geq 1

are determined by the formulae

ξ_{k + ν}^{'} : = \frac{| λ_{k} - {\tilde{λ}}_{k} |}{k} + k^{2} \sum_{p = 0}^{m_{k} - 1 - ν} | α_{k + p} - {\tilde{α}}_{k + p} |

for

k \in S \cap \tilde{S}

,

m_{k} = {\tilde{m}}_{k}

,

ν = \bar{0, m_{k} - 1}

, and

ξ_{n}^{'} : = 1

for other n. According to (7), (19) and (28), we have

C_{1} Ω \leq Ω^{'} \leq C_{2} Ω

,

C_{1}, C_{2} > 0

, and hence (93) is equivalent to the estimate

{∥ q - \tilde{q} ∥}_{L_{2} (0, T)} < C Ω^{'} .

Similarly to [2], one can obtain the stability of the solution in the uniform norm and also the necessary and sufficient conditions of the solvability for the inverse problem, when $q (x)$ is in $W_{2}^{N} [0, T]$ or in $L_{1} (0, T)$ .

Declarations

Acknowledgements

This research was supported in part by the Russian Foundation for Basic Research (project 13-01-00134) and Taiwan National Science Council (project 99-2923-M-032-001-MY3).

Authors’ Affiliations

(1)

Department of Mathematics, Saratov State University

(2)

Department of Mathematics, Tamkang University

References

Chadan K, Colton D, Paivarinta L, Rundell W SIAM Monographs on Mathematical Modeling and Computation. In An Introduction to Inverse Scattering and Inverse Spectral Problems. SIAM, Philadelphia; 1997.View ArticleGoogle Scholar
Freiling G, Yurko VA: Inverse Sturm-Liouville Problems and Their Applications. Nova Science Publishers, New York; 2001.Google Scholar
Levitan BM: Inverse Sturm-Liouville Problems. Nauka, Moscow; 1984. English transl., VNU Sci. Press, Utrecht (1987)Google Scholar
Marchenko VA: Sturm-Liouville Operators and Their Applications. Naukova Dumka, Kiev; 1977. English transl., Birkhäuser (1986)Google Scholar
Pöschel J: Trubowitz E. Inverse Spectral Theory. Academic Press, New York; 1987.Google Scholar
Yurko VA: Inverse Spectral Problems for Linear Differential Operators and Their Applications. Gordon & Breach, New York; 2000.Google Scholar
Yurko V Inverse and Ill-Posed Problems Series. In Method of Spectral Mappings in the Inverse Problem Theory. VSP, Utrecht; 2002.View ArticleGoogle Scholar
Gelfand IM, Levitan BM: On the determination of a DE from its spectral function. Izv. Akad. Nauk SSSR, Ser. Mat. 1951, 15: 309-360. English transl. in AMS Transl. (2) 1 (1955)MathSciNetGoogle Scholar
Marchenko VA: Some problems in the theory of a second-order differential operator. Dokl. Akad. Nauk SSSR 1950, 72: 457-460.Google Scholar
Albeverio S, Hryniv R, Mykytyuk Y: On spectra of non-self-adjoint Sturm-Liouville operators. Sel. Math. New Ser. 2008, 13: 571-599. 10.1007/s00029-008-0051-2MathSciNetView ArticleGoogle Scholar
Buterin SA: On the reconstruction of a non-selfadjoint Sturm-Liouville operator. 2. In Matematika. Mekhanika. Saratov University, Saratov; 2000:10-13. (in Russian)Google Scholar
Buterin SA: On inverse spectral problem for non-selfadjoint Sturm-Liouville operator on a finite interval. J. Math. Anal. Appl. 2007, 335: 739-749. 10.1016/j.jmaa.2007.02.012MathSciNetView ArticleGoogle Scholar
Karaseva TM: On the inverse Sturm-Liouville problem for a non-Hermitian operator. Mat. Sb. 1953, 32(74):477-484. (in Russian)MathSciNetGoogle Scholar
Tkachenko V: Non-selfadjoint Sturm-Liouville operators with multiple spectra. Oper. Theory Adv. Appl. 134. In Interpolation Theory, Systems Theory and Related Topics. Birkhäuser, Basel; 2002:403-414.View ArticleGoogle Scholar
Conway JB I. In Functions of One Complex Variable. 2nd edition. Springer, New York; 1995.View ArticleGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.