• Aucun résultat trouvé

On two-spectra inverse problems

N/A
N/A
Protected

Academic year: 2021

Partager "On two-spectra inverse problems"

Copied!
13
0
0

Texte intégral

(1)

HAL Id: hal-01726268

https://hal.archives-ouvertes.fr/hal-01726268

Submitted on 8 Mar 2018

HAL

is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire

HAL, est

destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

On two-spectra inverse problems

Namig Guliyev

To cite this version:

Namig Guliyev. On two-spectra inverse problems. Proceedings of the American Mathematical Society,

American Mathematical Society, 2020, 148 (10), pp.4491-4502. �10.1090/proc/15155�. �hal-01726268�

(2)

arXiv:1803.02567v1 [math.SP] 7 Mar 2018

NAMIG J. GULIYEV

Abstract. We consider a two-spectra inverse problem for the one-dimensional Schr¨odinger equation with boundary conditions containing rational Herglotz–

Nevanlinna functions of the eigenvalue parameter and provide a complete so- lution of this problem.

Contents

1. Introduction and main result 1

2. Preliminaries 3

3. Properties of two problems with a common boundary condition 6

4. Inverse problem 7

Appendix A. Auxiliary results 9

References 11

1. Introduction and main result

The study of two-spectra inverse problems was initiated by Borg [4], who proved that the potentialqof the one-dimensional Schr¨odinger equation

−y′′(x) +q(x)y(x) =λy(x) (1.1) is uniquely determined by the spectra of the boundary value problems generated by this equation and the boundary conditions y(0) =h1y(0), y(π) =Hy(π) and y(0) = h2y(0), y(π) =Hy(π) respectively (withh1 6=h2). Subsequent develop- ments by Marchenko [20], Krein [15], Levitan and Gasymov [17], [18] and others showed that not only the potentialqbut also the boundary coefficientsh1,h2 and H are uniquely determined by these spectra, and that any two interlacing sequences satisfying certain asymptotic conditions are indeed the spectra of boundary value problems of the above form (see also [7], [21]). These results were relatively recently generalized to problems with distributional potentials [6], [13], [23].

In this paper we are interested in two-spectra inverse problems for boundary value problems with boundary conditions dependent on the eigenvalue parameter.

Such problems have also been considered in the literature. Some uniqueness results were obtained in [1], [2], [3], [8]. The papers [5], [19] contain some existence results for problems with one eigenvalue-parameter-dependent boundary condition. In the case when only one of the boundary conditions depends linearly on the eigenvalue parameter, necessary and sufficient conditions for solvability of the two-spectra

2010Mathematics Subject Classification. 34A55, 34B07, 34B24, 34L40, 47A75, 47E05.

Key words and phrases. two-spectra inverse problem, one-dimensional Schr¨odinger equation, boundary conditions dependent on the eigenvalue parameter.

1

(3)

inverse problem were found in [16], [9]. For problems with coupled boundary con- ditions dependent on the eigenvalue parameter, see [14] and the references therein.

We consider two-spectra inverse problems for boundary value problems generated by the equation (1.1) together with boundary conditions of the form

y(0)

y(0) =−f(λ), y(π)

y(π) =F(λ), (1.2)

whereq∈L2(0, π) is real-valued and f(λ) =h0λ+h+

Xd k=1

δk

hk−λ, F(λ) =H0λ+H+ XD k=1

k

Hk−λ (1.3) are rational Herglotz–Nevanlinna functions with real coefficients, i.e., h0, H0 ≥0, δk,∆k >0,h1 < . . . < hd, H1 < . . . < HD. Using Darboux-type transformations between such boundary value problems, we recently obtained in [11] various direct and inverse spectral results for boundary value problems of the form (1.1), (1.2).

But these transformations are not applicable to two-spectra inverse problems be- cause a pair of boundary value problems with a common boundary condition is transformed to a pair of boundary value problems with no common boundary con- ditions. Therefore we first reduce our two-spectra problem to an inverse problem solved in [11] and then completely solve the two-spectra problem.

We denote the boundary value problem (1.1)-(1.2) by P(q, f, F), and assume that α 6= 0 and indf ≥ 0 so that the problems P(q, f, F) andP(q, f +α, F) are different. We use the notation

xn =yn+ℓ2

1 n

to meanP

n=0|n(xn−yn)|2<∞. We also assume that no eigenvalue ofP(q, f, F) is a pole of f or, which is the same, the spectra of the problems P(q, f, F) and P(q, f +α, F) do not intersect. It turns out that the problems P(q, f, F) and P(q, f+α, F) are not, in general, uniquely determined by their spectra. However, we are able to describe all pairs of problems with the given two spectra. Our main result reads as follows.

Theorem 1.1. Two sequences{λn}n0and{µn}n0are the eigenvalues of a pair of problems of the form P(q, f, F)and P(q, f+α, F)if and only if they interlace and satisfy asymptotics of the form

n =n−L+ σ πn+ℓ2

1 n

, p

λn−p

µn= (n−L)2r1

ν+ℓ2

1 n

for some integer or half-integer L ≥ −1/2, σ ∈ R, ν ∈ R\ {0} and r ∈ {0,1}, with the exception of the case when L = −1/2 and r = 1. Moreover, there is a one-to-one correspondence between such problems and sets of nonnegative integers of cardinality not exceedingL+ (1−r)/2.

In particular, the proof of this theorem (Section 4) also yields the following uniqueness result.

Corollary 1.2. The problemsP(q, f, F)andP(q, f+α, F)are uniquely determined by their spectra and the poles of f.

(4)

So in a sense, the amount of spectral data required for the unique determination in our case (two spectra and a finite number of indices) is between that of the classical case (two spectra only) and of problems with coupled boundary conditions (two spectra and an infinite sequence of signs); for the latter case see, e.g., [12] and the references therein.

The paper is organized as follows. In Section 2 we introduce the necessary notation and obtain some useful identities. In Section3we find some conditions for the eigenvalues of the problemsP(q, f, F) andP(q, f+α, F). Section4is devoted to the proof of our main result, Theorem 1.1. Finally, in the appendix we prove two auxiliary lemmas used in the main text.

2. Preliminaries

First we introduce some further notation. We assign to each function f of the form (1.3) two polynomialsf andf by writing this function as

f(λ) =f(λ) f(λ), where

f(λ) :=h0 Yd k=1

(hk−λ), h0:=

(1/h0, h0>0, 1, h0= 0.

We define the index off as

indf := degf+ degf. Iff =∞then we just set

f(λ) :=−1, f(λ) := 0, indf :=−1.

It can easily be verified that each nonconstant function f of the form (1.3) is strictly increasing on any interval not containing any of its poles, andf(λ)→ ±∞

(respectively,f(λ)→h) asλ→ ±∞if its index is odd (respectively, even).

Let ϕ(x, λ), ψ(x, λ) and χ(x, λ) be the solutions of (1.1) satisfying the initial conditions

ϕ(0, λ) =f(λ), ψ(0, λ) =f(λ), χ(π, λ) =F(λ), ϕ(0, λ) =−f(λ), ψ(0, λ) =−f(λ)−αf(λ), χ(π, λ) =F(λ). (2.1) Then the eigenvalues of the boundary value problemsP(q, f, F) andP(q, f+α, F) coincide with the zeros of (theircharacteristic functions)

Φ(λ) :=F(λ)ϕ(π, λ)−F(λ)ϕ(π, λ) =f(λ)χ(0, λ) +f(λ)χ(0, λ) and

Ψ(λ) :=F(λ)ψ(π, λ)−F(λ)ψ(π, λ) =f(λ)χ(0, λ) + (f(λ) +αf(λ))χ(0, λ) respectively. These eigenvalues have the asymptotics (see [11, Theorem 4.1] for details)

n=n−indf+ indF

2 + σ

πn+ℓ2

1 n

(2.2) and √µn=n−indf+ indF

2 + σ

πn+ℓ2

1 n

(5)

with

σ−σ =

(α, indf is even 0, indf is odd.

In the next section we will obtain more refined asymptotics for the difference of the square roots of the eigenvaluesλn andµn.

Since for each eigenvalueλn ofP(q, f, F) the solutionsϕ(x, λn) andχ(x, λn) are linearly dependent, there exists a unique numberβn 6= 0 such that

χ(x, λn) =βnϕ(x, λn). (2.3) Thenorming constants of the problemP(q, f, F) are defined as

γn:=

Z π 0

ϕ2(x, λn) dx+fn)f2n) +Fn)Fn)−Fn)Fn)

β2n .

They have the asymptotics ([11, Theorem 4.1]) γn

2

n−indf+ indF 2

2 indf 1 +ℓ2

1 n

. (2.4)

The sequences {λn}n0, {βn}n0 and {γn}n0 are related by the identity ([11, Lemma 2.1])

Φn) =βnγn. (2.5)

In the remaining part of this section, we are going to show that the coefficients of the polynomial f(λ) satisfy a nonsingular system of linear equations whose coefficients are expressed in terms of the sequences {λn}n0 and {γn}n0. Thus any polynomial whose coefficients satisfy this system must necessarily coincide with f(λ). We will need this result in Section4.

We start with some identities for the eigenvalues and the norming constants of the problemP(q, f, F). Such identities are characteristic to problems with boundary conditions dependent on the eigenvalue parameter; they were used in [10] to obtain explicit expressions for all the coefficients of the boundary conditions in the case of linear dependence on the eigenvalue parameter (i.e., indf = indF = 2 in our notation).

Lemma 2.1. The following identities hold:

X n=0

λknfn) γn

= 0, k= 0, . . . , d−1.

Proof. From (2.1) and (2.3) we have

fn) =ϕ(0, λn) =χ(0, λn) βn

. Together with (2.5) this implies (for sufficiently largeN)

XN n=0

λknfn) γn =

XN n=0

Resλ=λn

λkχ(0, λ) Φ(λ) = 1

2πi Z

CN

λkχ(0, λ) Φ(λ) dλ, whereCN is the circle of radius

N−indf + indF−1 2

2

(6)

centered at the origin. Expressing χ(x, λ) as a linear combination of the cosine- and sine-type solutions we obtainχ(x, λ) =O√

λ

indF

e|Imλπ|

. On the other hand, from (A.1) we get (see, e.g., the proof of [7, Theorem 1.1.3] for details)

1

Φ(λ) =O√ λ

(indf+indF+1)

e−|Imλπ|

, λ∈[

N

CN, and thus

λkχ(0, λ) Φ(λ) =O

1 Nindf2k+1

, λ∈[

N

CN

with indf −2k+ 1≥3. Hence

Nlim→∞

Z

CN

λkχ(0, λ)

Φ(λ) dλ= 0,

which proves the lemma.

Denote bypd1,. . .,p0the non-leading coefficients of the polynomialf(λ) after dividing it by its leading coefficient:

(−1)d

h0 f(λ) = Yd k=1

(λ−hk) =λd+pd1λd1+. . .+p1λ+p0.

It is easy to see from the asymptotics of the eigenvalues and the norming constants that for eachk= 0,. . .,d−1 the series

sk :=

X n=0

λkn γn

converges absolutely. Lemma2.1implies the following identities between the num- berspi andsj:

d1

X

i=0

pisi+k=−sd+k, k= 0,1, . . . , d−1. (2.6) We consider them as a system of linear equations (with respect to the numberspi), the matrix of which is the following Hankel matrix:





s0 s1 . . . sd1

s1 s2 . . . sd

... ... . .. ... sd1 sd . . . s2d2





The quadratic form corresponding to this matrix is positive definite:

d1

X

i,j=0

si+jξiξj=

d1

X

i,j=0

X n=0

λi+jn ξiξj

γn = X n=0

d1

X

i,j=0

λi+jn ξiξj

γn = X n=0

1 γn

d1

X

i=0

λinξi

!2

≥0 with equality if and only ifPd1

i=0 λinξi= 0 for alln, i.e. ξ0=. . .=ξd1= 0. Thus the determinant of the above matrix is strictly positive and hence the system (2.6) has a unique solution.

(7)

3. Properties of two problems with a common boundary condition We are now going to study further properties of the sequences {λn}n0 and {µn}n0. We will first show that these two sequences interlace and then find more refined asymptotics for the difference of their square roots. As we will see in the next section, any two sequences with these two properties are indeed the eigenvalues of a pair of boundary value problems with a common boundary condition.

The function

m(λ) :=−Ψ(λ) Φ(λ)

satisfies the identitym(λ) =m(λ) and is a meromorphic function with poles atλn

and zeros atµn. For nonreal values ofλthe solution y(x, λ) :=ψ(x, λ) +m(λ)ϕ(x, λ) satisfies the boundary condition

F(λ)y(π, λ)−F(λ)y(π, λ) = 0.

Using (2.1) we calculate (λ−µ)

Z π 0

y(x, λ)y(x, µ) dx= (y(x, λ)y(x, µ)−y(x, λ)y(x, µ))

π

0

= (F(µ)−F(λ))y(π, λ)y(π, µ) +αf(λ)f(µ) (m(λ)−m(µ))

+ (f(λ)f(µ)−f(µ)f(λ)) (1 +m(λ)) (1 +m(µ)). Forµ=λthis yields

αImm(λ)

Imλ = 1

|f(λ)|2 Z π

0 |y(x, λ)|2 dx +

y(π, λ)

f(λ)

2ImF(λ)

Imλ +|1 +m(λ)|2Imf(λ) Imλ >0.

Thus αm(λ) is a Herglotz–Nevanlinna function, and hence its zeros µn and poles λn interlace.

Using (2.1), (2.3) and the constancy of the Wronskian we obtain Ψ(λn) =Fn)ψ(π, λn)−Fn(π, λn)

n(π, λn)ψ(π, λn)−ϕ(π, λn(π, λn))

n(0, λn)ψ(0, λn)−ϕ(0, λn(0, λn)) =αβnf2n).

Together with (2.5) this implies

γn =αf2nn) Ψ(λn) .

We will need this formula in the next section in order to transform our two-spectra inverse problem to an inverse problem solved in [11], but for now we will use it to obtain more refined asymptotics for the difference √

λn−√

µn. The mean value theorem yields

Ψ(λn) = Ψ(λn)−Ψ(µn) =p λn−p

µn

n+p µn

Ψn) (3.1)

(8)

forζn ∈[λn, µn] with√

ζn=n−(indf+ indF)/2 +O n1 . Thus pλn−p

µn = αf2nn)

√λn+√ µn

γnΨn).

Applying LemmaA.1to the problemsP(q, f, F) andP(q, f+α, F), and then apply- ing LemmaA.3to the functions Φ and Ψ and using (2.4), we obtain the asymptotics

n−p µn=

n−indf + indF 2

2r1

α(h0)2 π +ℓ2

1 n

! , where

r:= indf−2d=

(1, indf is odd, 0, indf is even.

4. Inverse problem

In this section, we will prove Theorem1.1. The results of the previous section shows that if two sequences{λn}n0and{µn}n0are the eigenvalues of the prob- lems P(q, f, F) and P(q, f +α, F), then they interlace and satisfy asymptotics of the form

n=n−L+ σ πn +ℓ2

1 n

, p

λn−p

µn= (n−L)2r1

ν+ℓ2

1 n

(4.1) where

L:= indf + indF

2 ≥d−1−r 2 ≥ −1

2, ν:= α(h0)2 π 6= 0.

Note also that if L=−1/2 then indf = 0, and consequentlyr= 0. We are now going to prove that these conditions are also sufficient for two sequences to be the eigenvalues of two such problems. However, unlike the case of constant boundary conditions, in order to determine these problems uniquely, we need some additional data. The identity Ψ(λ)−Φ(λ) = αf(λ)χ(0, λ) (see Section 2) shows that the zeros of f are also zeros of Ψ−Φ. As we will see shortly, they can be chosen arbitrarily among the zeros of Ψ−Φ.

Let now {λn}n0 and {µn}n0 be any two sequences such that they interlace and satisfy asymptotics of the form (4.1) for some integer or half-integerL≥ −1/2, realν 6= 0 andσ, andr∈ {0,1}. Define the functions

Φ(λ) :=−Y

n<L

n−λ)Y

n=L

π(λn−λ) Y

n>L

λn−λ (n−L)2 and

Ψ(λ) :=−Y

n<L

n−λ)Y

n=L

π(µn−λ)Y

n>L

µn−λ (n−L)2. Letdbe an integer with

0≤d≤L+1−r 2 ,

and let i1, i2, . . ., id be integers (indices) with 0≤i1< i2 < . . . < id. Define the polynomial

p(λ) :=

Yd k=1

ik−λ),

(9)

whereτ0< τ1< . . .are the zeros of the function Φ(λ)−Ψ(λ). LemmaA.3implies Φn) = (−1)n(n−L)2L

π 2 +ℓ2

1 n

.

Using (3.1) and LemmaA.3again we also have Ψ(λn) = (−1)n(n−L)2L2r

πν+ℓ2

1 n

. From the asymptotics of √

λn −√

µn and the fact that λn and µn interlace it follows that if ν > 0 (respectively, ν < 0) then µn < λn < µn+1 (respectively, λn< µn< λn+1) for eachn≥0. Thus the numbersγn defined by

γn :=πνp2nn) Ψ(λn) are all positive and have the asymptotics

γn = (n−L)4d+2r π

2 +ℓ2

1 n

.

By [11, Theorem 4.4], there exists a boundary value problem P(q, f, F) having the eigenvalues {λn}n0 and the norming constants {γn}n0. Moreover, indf = 2d+r ≥ 0 and indF = 2L−2d−r ≥ −1. Denote α := πν/(h0)2 with h0 defined as at the beginning of Section2. It only remains to show that the problem P(q, f+α, F) has the eigenvaluesµn. But first we show that the polynomialsf(λ) and p(λ) coincide up to a constant factor. Arguing as in the proof of Lemma2.1 we have

X n=0

λknp(λn) γn =

X n=0

λknΨ(λn)

πνp(λnn)= 1 2π2νi lim

N→∞

Z

CN

λk(Ψ(λ)−Φ(λ))

p(λ)Φ(λ) dλ= 0, where CN is the same as in that proof. Now arguing as after Lemma 2.1 we obtain that the non-leading coefficients of the polynomial (−1)dp(λ) satisfy the system (2.6). Thereforef(λ) =h0p(λ).

Denote the eigenvalues of the boundary value problem P(q, f +α, F) by bµn. They coincide with the zeros of the function

Ψ(λ) :=b F(λ)ψ(π, λ)−F(λ)ψ(π, λ),

whereψ(x, λ) is defined as in (2.1). Using the results of Section3, we obtain Ψ(λb n) =αf2nn)

γn

= πνp2nn) γn

= Ψ(λn), n≥0.

This and the proofs of Lemmas2.1, A.1and A.3show that

Ψ(λ)b −Ψ(λ) /Φ(λ) is an entire function satisfying the estimate

Ψ(λ)b −Ψ(λ)

Φ(λ) =O

1

√λ

on S

NCN and hence by the maximum principle on the whole plane. Then the Liouville theorem implies that this function is identically zero. ThusΨ(λ)b ≡Ψ(λ) and hence bµnn,n≥0.

(10)

Appendix A. Auxiliary results

In this appendix we prove two auxiliary lemmas used in the main body of the paper.

Lemma A.1. The characteristic functionΦ(λ)ofP(q, f, F)withindf ≥0 has the infinite product representation

Φ(λ) =−Y

n<L

n−λ)Y

n=L

π(λn−λ) Y

n>L

λn−λ (n−L)2 with

L:=indf+ indF

2 .

Proof. The first-order asymptotics Φ(λ) =λL+1/2sin√

λ+L

π+O

λLe|Imλπ|

(A.1) was obtained in [11] (see the proof of Lemma 2.2 therein). From Hadamard’s theorem we obtain

Φ(λ) =C Y n=0

1− λ

λn

=C Y

n<L

1− λ

λn

Y

n=L

1− λ

λn

Y

n>L

1− λ

λn

. According to our assumption,L is an integer or half-integer withL≥ −1/2. Then we can combine infinite product representations for the sine and cosine functions into

sin√ λ+L

π= (−1)L Y

n=L

π√ λY

n>L

1− λ

(n−L)2

! . The use of the identities

(−1)L=−Y

n<L

(−1)Y

n=L

(−1), λL+1/2= Y

n<L

λY

n=L

√λ

yields

λL+1/2sin√ λ+L

π=−Y

n<L

(−λ) Y

n=L

(−πλ)Y

n>L

1− λ

(n−L)2

! . Thus

Φ(λ) λL+1/2sin√

λ+L

π =−C Y

n<L

1 λn −1

λ Y

n=L

1 πλn − 1

πλ

× Y

n>L

(n−L)2 λn

Y

n>L

1 + λn−(n−L)2 (n−L)2−λ

! .

Taking the limit asλ→ −∞and using (A.1) and (2.2) we obtain C=−Y

n<L

λn

Y

n=L

πλn

Y

n>L

λn

(n−L)2,

which proves the lemma.

To prove our next result we need a lemma of Marchenko and Ostrovskii.

(11)

Lemma A.2 ([22, Lemma 3.3], [21, Lemma 3.4.2]). For functions u(z)and v(z) to admit representations of the form

u(z) = sinπz+Aπ 4z

4z2−1cosπz+g1(z)

z , v(z) = cosπz−Bπsinπz

z +g2(z) z , whereg1(z) =Rπ

0 eg1(t) cosztdt andg2(z) =Rπ

0 eg2(t) sinztdt witheg1,eg2∈L2[0, π]

andRπ

0 eg1(t) dt= 0, it is necessary and sufficient to have the form u(z) =πz

Y n=1

n2(u2n−z2), un=n−A n +ℓ2

1 n

,

v(z) = Y n=1

n−1

2 2

(v2n−z2), vn=n−1 2−B

n +ℓ2

1 n

.

Now we can prove

Lemma A.3. Let {ηn}n0 and {ζn}n0 be sequences of real numbers having the asymptotics

√ηn=n−L+ σ πn +ℓ2

1 n

, p

ζn=n−L+O 1

n

,

with an integer or half-integer L≥ −1/2 and a realσ, and let G(λ) :=−Y

n<L

n−λ)Y

n=L

π(ηn−λ)Y

n>L

ηn−λ (n−L)2. Then

Gn) = (−1)n(n−L)2L π

2 +ℓ2

1 n

.

Proof. Using the asymptotics ofηn and LemmaA.2we obtain the representations G(λ) =λL+1/2sin√

λ+L

π−σλLcos√ λ+L

π+G1(λ) and

G(λ) = π

Lcos√ λ+L

π+

L+σπ+ 1 2

λL1/2sin√ λ+L

π+G2(λ), whereG1(λ) andG2(λ) are of the form

G1(λ) =λL Z π

0

Ge1(t) cos√

λt+Lπ

dt+O

λL1/2e|Imλπ|

and

G2(λ) =λL1/2 Z π

0

Ge1(t) sin√

λt+Lπ

dt+O

λL1e|Imλπ|

withGe1∈L2[0, π]. The statement of the theorem now follows from the asymptotics

ofζn.

(12)

References

[1] R. Kh. Amirov, A. S. Ozkan and B. Keskin,Inverse problems for impulsive Sturm–Liouville operator with spectral parameter linearly contained in boundary conditions, Integral Trans- forms Spec. Funct.20(2009), no. 7-8, 607–618.

[2] A. I. Benedek and R. Panzone,On inverse eigenvalue problems for a second-order differential equation with parameter contained in the boundary conditions, Universidad Nacional del Sur, Instituto de Matem´atica, Bah´ıa Blanca, 1980.

[3] P. A. Binding, P. J. Browne and B. A. Watson, Equivalence of inverse Sturm–Liouville problems with boundary conditions rationally dependent on the eigenparameter, J. Math.

Anal. Appl.291(2004), no. 1, 246–261.

[4] G. Borg, Eine Umkehrung der Sturm–Liouvilleschen Eigenwertaufgabe, Acta Math. 78 (1946), 1–96

[5] M. V. Chugunova,Inverse spectral problem for the Sturm–Liouville operator with eigenvalue parameter dependent boundary conditions, Operator theory, system theory and related topics, Birkh¨auser, Basel, 2001, pp. 187–194.

[6] J. Eckhardt, F. Gesztesy, R. Nichols and G. Teschl, Inverse spectral theory for Sturm–

Liouville operators with distributional potentials, J. Lond. Math. Soc. (2) 88 (2013), no.

3, 801–828.arXiv:1210.7628

[7] G. Freiling and V. Yurko, Inverse Sturm–Liouville problems and their applications, Nova Science Publishers, Inc., Huntington, NY, 2001.

[8] G. Freiling and V. Yurko, Inverse problems for Sturm–Liouville equations with boundary conditions polynomially dependent on the spectral parameter, Inverse Problems26(2010), no. 5, 055003, 17 pp.

[9] N. J. Guliyev, Inverse eigenvalue problems for Sturm–Liouville equations with spectral pa- rameter linearly contained in one of the boundary conditions, Inverse Problems 21(2005), no. 4, 1315–1330.arXiv:0803.0566

[10] N. J. Guliyev,A uniqueness theorem for Sturm–Liouville equations with a spectral parameter linearly contained in the boundary conditions, Proc. Inst. Math. Mech. Natl. Acad. Sci. Azerb.

25(2006), 35–40.

[11] N. J. Guliyev, Essentially isospectral transformations and their applications, preprint.

arXiv:1708.07497

[12] I. M. Guseinov and I. M. Nabiev, Solution of a class of inverse Sturm–Liouville boundary value problems (Russian), Mat. Sb.186(1995), no. 5, 35–48; English transl. in Sb. Math.

186(1995), no. 5, 661–674.

[13] R. O. Hryniv and Ya. V. Mykytyuk, Inverse spectral problems for Sturm–Liouville opera- tors with singular potentials. II. Reconstruction by two spectra, Functional analysis and its applications, Elsevier, Amsterdam, 2004, pp. 97–114.arXiv:math/0301193

[14] Ch. G. Ibadzadeh and I. M. Nabiev, Reconstruction of the Sturm–Liouville operator with nonseparated boundary conditions and a spectral parameter in the boundary condition(Rus- sian), Ukra¨ın. Mat. Zh.69(2017), no. 9, 1217–1223; English transl. in Ukrainian Math. J.

69(2018), no. 9, 1416–1423.

[15] M. G. Krein, Solution of the inverse Sturm–Liouville problem (Russian), Doklady Akad.

Nauk SSSR (N.S.)76(1951), 21–24.

[16] N. Dzh. Kuliev,Inverse problems for the Sturm–Liouville equation with a spectral parameter in the boundary condition (Russian), Dokl. Nats. Akad. Nauk Azerb. 60(2004), no. 3-4, 10–16.

[17] B. M. Levitan,On the determination of a Sturm–Liouville equation by two spectra(Russian), Izv. Akad. Nauk SSSR Ser. Mat.28(1964), no. 1, 63–78; English transl. in Amer. Math. Soc.

Transl. (2)68(1968), 1–20.

[18] B. M. Levitan and M. G. Gasymov,Determination of a differential equation by two of its spectra(Russian), Uspehi Mat. Nauk19(1964), no. 2(116), 3–63; English transl. in Russian Math. Surveys19(1964), no. 2, 1–63.

[19] S. G. Mamedov, Determination of a second-order differential equation from two spectra with a spectral parameter entering into the boundary conditions(Russian), Izv. Akad. Nauk Azerba˘ıdzhan. SSR Ser. Fiz.-Tekhn. Mat. Nauk3(1982), no. 2, 15–22.

(13)

[20] V. A. Marchenko,Some questions of the theory of one-dimensional linear differential opera- tors of the second order. I (Russian), Trudy Moskov. Mat. Obˇsˇc.1(1952), 327–420; English transl. in Amer. Math. Soc. Transl. (2)101(1973), 1–104.

[21] V. A. Marchenko, Sturm–Liouville operators and applications (Russian), Naukova Dumka, Kiev, 1977; English transl.: AMS Chelsea Publishing, Providence, RI, 2011.

[22] V. A. Marchenko and I. V. Ostrovskii,A characterization of the spectrum of the Hill operator (Russian), Mat. Sb. (N.S.)97(139)(1975), no. 4(8), 540–606; English transl. in Math. USSR- Sb.26(1975), no. 4, 493–554.

[23] A. M. Savchuk and A. A. Shkalikov, Inverse problem for Sturm–Liouville operators with distribution potentials: reconstruction from two spectra, Russ. J. Math. Phys.12(2005), no.

4, 507–514.

Institute of Mathematics and Mechanics, Azerbaijan National Academy of Sciences, 9 B. Vahabzadeh str., AZ1141, Baku, Azerbaijan.

E-mail address: [email protected]

Références

Documents relatifs

Some directions for further work directly related to topics presented in this article include (i) a more systematic development and testing of the reciprocity gap approach as a

First we show how the tomography model described above corresponds to the delays experienced by probes in an appropriately defined queueing network also carrying cross traffic,

Theorem 2 is in fact a consequence of a more general result concerning the singular values of non necessarily selfadjoint compact Hankel operators.. Recall that the singular values of

We construct a Gaussian process prior for the (functional) parameter of interest and estab- lish sufficient conditions for frequentist consistency of the corresponding posterior

To improve their performances, DOA estimation schemes can be obtained in the framework of inverse problems2. For that, subspace based method (high-resolution) such as

On peut citer le mod`ele d’Ising ordinaire, le mod`ele de Sherrington-Kirkpatrick et, d’un int´erˆet particulier pour cette th`ese, le mod`ele de

In this section, we use the result for Dirac-type systems to establish Theorem 1: The Cauchy data of a connection Laplacian plus potential on a surface with boundary determines

A Landweber iterative algorithm for recovering the spatial function and a non-iterative inversion scheme based on the uniqueness proof for recovering the temporal function