Научная статья на тему 'On an inverse Regge problem for the Sturm-Liouville operator with deviating argument'

On an inverse Regge problem for the Sturm-Liouville operator with deviating argument Текст научной статьи по специальности «Математика»

CC BY
140
87
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ДИФФЕРЕНЦИАЛЬНЫЕ ОПЕРАТОРЫ / DIFFERENTIAL OPERATORS / ОТКЛОНЯЮЩИЙСЯ АРГУМЕНТ / DEVIATING ARGUMENT / ПОСТОЯННОЕ ЗАПАЗДЫВАНИЕ / CONSTANT DELAY / ОБРАТНЫЕ СПЕКТРАЛЬНЫЕ ЗАДАЧИ / INVERSE SPECTRAL PROBLEMS / REGGE PROBLEM / ЗАДАЧА РЕДЖЕ

Аннотация научной статьи по математике, автор научной работы — Ignatiev Mikhail Yu.

Boundary value problem of the form = 𝜌2 𝑦, 𝑦(0) = 𝑦′ (𝜋)+𝑖𝜌𝑦(𝜋) = 0, where is the Sturm-Liouville operator with constant delay is studied. The boundary value problem can be considered as a generalization of the classical Regge problem. The potential 𝑞( · ) is assumed to be a real-valued function from 𝐿2 (0, 𝜋) equal to 0 a.e. on (0, 𝑎). No other restrictions on the potential are imposed, in particular, we make no additional assumptions regarding an asymptotical behavior of 𝑞(𝑥) as → 𝜋. In this general case, the asymptotical expansion of the characteristic function of the boundary value problem as → ∞ contains no leading term. Therefore, no explicit asymptotics of the spectrum can be obtained using the standard methods. We consider the inverse problem of recovering the operator from given subspectrum of the boundary value problem. Inverse problems for differential operators with deviating argument are essentially more difficult with respect to the classical inverse problems for differential operators. “Non-local” nature of such operators is insuperable obstacle for classical methods of inverse problem theory. We consider the inverse problem in case of delay, which is not less than the half length of the interval and establish that the specification of the subspectrum of the boundary value problem determines, under certain conditions, the potential uniquely. Corresponding subspectra are characterized in terms of their densities. We also provide a constructive procedure for solving the inverse problem.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Об обратной задаче Редже для оператора Штурма-Лиувилля с отклоняющимся аргументом

Исследуется краевая задача вида = 𝜌2 𝑦, 𝑦(0) = 𝑦′(𝜋) + 𝑖𝜌𝑦(𝜋) = 0, где оператор Штурма-Лиувилля с постоянным запаздыванием 𝑎. Данная краевая задача является обобщением классической задачи Редже. Потенциал 𝑞( · ) есть вещественнозначная функция из пространства 𝐿2 (0, 𝜋), обращающаяся в 0 почти всюду на (0, 𝑎). Никаких других ограничений на потенциал не налагается, в частности, не предполагается никаких дополнительных условий относительно поведения 𝑞(𝑥) при → 𝜋. При столь общих предположениях асимптотическое разложение характеристической функции краевой задачи при → ∞ не содержит главного члена. Как следствие, стандартные методы не позволяют получить в явном виде асимптотику спектра. В работе рассматривается обратная задача восстановления оператора по заданному подмножеству спектра краевой задачи. Обратные задачи для дифференциальных операторов с отклоняющимся аргументом существенно сложнее по сравнению с классическими обратными задачами для дифференциальных операторов. «Нелокальность» таких операторов является непреодолимым препятствием для применения классических методов теории обратных задач. Мы рассматриваем обратную задачу в случае запаздывания, большего или равного половине длины интервала, и показываем, что задание подмножества спектра краевой задачи при определенных условиях однозначно определяет потенциал. Соответствующие подмножества спектра описываются в терминах их плотности. В работе также представлена конструктивная процедура решения обратной задачи.

Текст научной работы на тему «On an inverse Regge problem for the Sturm-Liouville operator with deviating argument»

Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki

[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 2, pp. 203-213 ISSN: 2310-7081 (online), 1991-8615 (print) d http://doi.org/10.14498/vsgtu1599

Differential Equations and Mathematical Physics

MSC: 34A55, 34B24, 47E05

On an inverse Regge problem for the Sturm—Liouville operator with deviating argument

M. Yu. Ignatiev

N. G. Chernyshevsky Saratov State University (National Research University),

83, Astrakhanskaya st., Saratov, 410012, Russian Federation.

Abstract

Boundary value problem of the form Ly = p2y, y(0) = y'(n)+ipy(n) = 0, where L is the Sturm-Liouville operator with constant delay a is studied. The boundary value problem can be considered as a generalization of the classical Regge problem. The potential q( ■) is assumed to be a real-valued function from L2(0,n) equal to 0 a.e. on (0,a). No other restrictions on the potential are imposed, in particular, we make no additional assumptions regarding an asymptotical behavior of q(x) as x ^ -k. In this general case, the asymptotical expansion of the characteristic function of the boundary value problem as p ^ <x contains no leading term. Therefore, no explicit asymptotics of the spectrum can be obtained using the standard methods. We consider the inverse problem of recovering the operator from given sub-spectrum of the boundary value problem. Inverse problems for differential operators with deviating argument are essentially more difficult with respect to the classical inverse problems for differential operators. "Non-local" nature of such operators is insuperable obstacle for classical methods of inverse problem theory. We consider the inverse problem in case of delay, which is not less than the half length of the interval and establish that the specification of the subspectrum of the boundary value problem determines, under certain conditions, the potential uniquely. Corresponding subspectra are characterized in terms of their densities. We also provide a constructive procedure for solving the inverse problem.

Keywords: differential operators, deviating argument, constant delay, inverse spectral problems, Regge problem.

Received: 10th January, 2018 / Revised: 12th April, 2018 / Accepted: 11th June, 2018 / First online: 27th June, 2018

Research Article

3 ©® The content is published under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/) Please cite this article in press as:

IgnatievM. Yu. On an inverse Regge problem for the Sturm-Liouville operator with deviating argument, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 2, pp. 203-213. doi: 10.14498/vsgtu1599. Author's Details:

Mikhail Yu. Ignatiev http://orcid.org/0000-0002-4354-9197

Cand. Phys. & Math. Sci.; Associate Professor; Dept. of Mathematical Physics and Computational Mathematics; e-mail: [email protected]

Introduction. Consider the boundary value problem:

—y"(x) + q(x)y(x — a) = p2y(x), 0 <x<ft, (1)

y(0) = y'(ft) + ipy(ft) = 0, (2)

where q(-) is a real-valued function (potential), q(-) e L2(0, ft) and q(x) = 0 a.e. on (0, a). In the paper, we study the inverse problem of recovering the potential from given subspectrum of the boundary value problem (1), (2). Inverse spectral problems consisting in recovering operators from their spectral characteristics often appear in mathematics, physics, mechanics, geophysics, electronics, meteorology, etc. The greatest success in the inverse problem theory has been achieved for the classical Sturm-Liouville operator and afterwards for higher order differential operators (see [1-4] and references therein). At the same time, the classical methods of inverse spectral theory, which allow obtaining global solutions of inverse problems for differential operators, are not applicable for differential operators with deviating argument as well as for other classes of nonlocal operators such as integro-differential, integral and other operators [5-7]. Therefore, the general inverse spectral theory for differential operators with deviating argument has not yet been constructed and there are only isolated results in this direction not forming the general picture [8-11] (see also references therein).

1. Preliminary Information. We note first that the spectrum of the boundary value problem (1), (2) coincides with the set of zeros of the characteristic function A(p) = S'(-K,p) + ipS(ft,p), where S(x,p) is a solution of (1) under the initial conditions S(0,p) = 0, S'(0,p) = 1. If q(x) = 0 a.e. on (0,n), then A(p) = Ao(p) = exp(ipw) and the corresponding spectrum is empty. Converse proposition is also true.

Theorem 1. If the spectrum of the boundary value problem (1), (2) is empty, then q(x) = 0 a.e. on (0,ft).

The proof of the Theorem 1 is actually contained in the proof of the uniqueness theorem in [5].

Everywhere below we assume that a e [ft/2, ft). Then for x ^ a the following representations hold:

sin OX COS p(x _ Qi) fX 1

S(x, p) =---——2- q(t) dt + —g I q(t) cos p(x _ 2t + a) dt,

P 2P Ja 2P J a

Sin o(x — Q/) fX 1 fX

S'(x,p)=cos px +---- q(t) dt _— q(t)sin p(x _ 2t + a) dt.

2P J a 2P J a

Therefore, we have:

1 r

A(p) = exp(ipft) + —- exp(ip(ft _ a)) q(t) dt_

2lP J a

1 r

—— exp(ip(ft + a)) q(t) exp(_2ipt) dt. 2lP Ja

As in the case of the classical Regge problem (see, for instance, [12] and references therein) the asymptotical expansion of the characteristic function for

p —y o, Imp > 0 does not contain a leading term and the standard methods do not allow obtaining the explicit asymptotic formulas for the spectrum without additional restrictions on q( ■).

In this paper, we study the inverse problem in a general case, without any additional restrictions on q( ■). In this case the properties of the spectrum can be characterized in terms of its angular density. For a set M we denote by um (t) the number of elements of M in the circle {|z| < t}. We recall that the first order countable set M is referred to have an angular density if for all pairs d1 < d2 (with possible exception of some countable set) there exists the limit:

P0M2)=lim n(t] ^,

t—y^o t

where n(t; d1 ,d2) is the number of elements of M in the sector [z = r exp(id) : r £ (0,t), d £ (d1,d2)}. We say that the angular density of the set M is determined by the nondecreasing function D(d) if P(d1,d2) = D(d2) — D(d1). Suppose the first order countable set M has the angular density. We call M a properly distributed set if the series ^zeM(1/z) converges in the principal-value sense, i.e., the following limit exists:

lim V^ —.

r—<x ^—' z zeM,\z\<r

Our analysis is based on the connection between the properties of the roots of entire functions and their growth. For reader's convenience we recall here some of theorems that we shall use below (see [13,14] for details).

Theorem 2 (Cartwright theorem). Let {zn} be the set of all nonzero roots of the entire function of exponential type F(z). If F(z) is bounded on the real axis, then:

1) F( ■ ) have the complete regularity of growth and its indicator is given by the formula:

h(d) = h±l sin0|, ±d £ [0, n],

where h+, h- are real values such that h+ + h- ^ 0, if, in addition, the set {zn} is nonempty, then h+ + h- > 0;

2) En IImz^ |<

3) for any e £ (0,n/2) the angular density of the first order sequence {zn} in each of angles | arg < e, — arg < e is equal to (h+ + h-)/2'K, the sequence {zn} has at most finite number of terms outside these angles;

4) the series IT converges in the principal-value sense.

Theorem 3. Suppose the set of roots {zn} of the canonical product

f M = n(l — ^) exp(^)

is a properly distributed set with the angular density determined by the function D( ■). Then for any z outside some

C 0 -set the following asymptotics holds ln | f(rexp(id)) I = H(d){r + o(r)), r — <x,

where

re

H(9) = (9 - ip) sin(9 - ip - ft)dD(ip) + t0 cos(9 - Q0), Je-2n

To exp(i9o) = ¿0 := ^ —.

n Zn

Consider again the boundary value problem (1), (2). One can write the representation for its characteristic function as follows:

/'K—a

u(t) exp(ipt) dt, (3)

-(■K—a)

1 r

u(t) = ~ q(0 (%. (4)

2 J (n+a—t)/2

From representation (3), (4) and the Paley-Wiener theorem it follows that A( ■) is an entire function of exponential type, it has a complete regular growth and its conjugate diagram is the segment [i(-K + a - 2b), in], where b := supsupp q. Moreover, if q(x) is real-valued, then A(-p) = A(p).

Using the Cartwright theorem we arrive at the following result.

Proposition 1. If q( ■) is not equal to 0 identically then the problem (1), (2) has a countable set a of eigenvalues. The set a is a properly distributed set, its angular density is determined by the function

D(9) =

2 b -a 2tT

in

where [ ■ ] denote the integer part. If q(x) is real-valued, then the set a is symmetric with respect to the imaginary axis, moreover, the set of pure imaginary eigenvalues is (at most) finite.

Remark 1. In formulations of Theorems 2, 3 the roots {zn} are counted according to their algebraic multiplicities. Similarly, the terms in the spectrum a are counted according to their algebraic multiplicities.

2. Inverse Problem. For the classical inverse Regge problem, it is known that the spectrum of the boundary value problem (1), (2) (with a = 0) uniquely determines the potential. In the case of a ^ ft/2 it will be found that the specification of some part of the spectrum uniquely determines the potential. We characterize the proper subspectra in terms of their densities. Such a method of characterization of the subspectra was introduced in [15], where the so called incomplete inverse problems were considered.

Problem 1. Given the symmetric with respect to the imaginary axis subspec-trum A C a of the boundary value problem (1), (2), find the potential q(x), x £ [a, ft].

The set A possibly contains multiple elements but the multiplicity of each element p0 £ A is less or equal to the algebraic multiplicity of p0 as an eigenvalue of the boundary value problem (1), (2). For the definiteness we assume 0 £ A.

We establish first the uniqueness result for the solution of the Problem 1. We agree that if a certain symbol denotes an object related to the boundary

value problem (1), (2) with the potential q( ■), then £ will denote the analogous object related to the boundary value problem (1), (2) with the potential f( ■ ), and | := £ - f.

Theorem 4. Suppose there exists (and is given) the limit

lim =

r—x na(r)

Suppose that

2r - 2a

K >-.

2r — a

Then the specification of the subspectrum A determines the potential uniquely. Namely, if A C a, A C f and

lim "A(T)= Um Ua(1 = K> ,

r—x na (r) r—x Ua (r) 2TT — a

then q(x) = f(x) a.e. on [a,r].

Proof. We note first that the specification of K determines uniquely the density of the spectrum a via the relation:

lim Ul(l = K-1 ■ lim UM.

v—^^o r r^-rx r

By virtue of Proposition 1 this means that the specification of K determines uniquely the value of that can be calculated by the formulas:

6= a + TKl, K1 = K-1 ■ lim UAM. (5)

2 r—x r

In what follows we assume b to be known.

Suppose A = {pn}n^i. Without loss of generality we assume that multiple elements of A are neighboring. We define the functions en(x) as follows. If pn = pn-i (or n = 1), then en(x) := exp(fpnx). If pn = pn-i = ■■■ = pn-v = pn-v-\, then

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

dv

&n(x) := -¡— (exp(ipx)) . dp" p=pn

Let a, f be the spectra of the boundary value problems (1), (2) with the potentials q and f respectively. We assume (see the discussion above) that supsupp q = supsupp f = b. By virtue of (3), (4) A C a imply the relations:

dv ( f \ -— ( exp( ipr) + exp(ip(t — b)) v(t) exp( ipt)dt )

dpV \ J-ib-a) J

= 0, n = 1,2,...,

P=Pn

dv / rb-a <ipv ' -^yry J-(b-a)

where

v(t) =u(t + T - b)

and, as above, for each n v is such that pn = pn-\ = ■■■ = pn-v = pn-v-\. Similarly, we have:

-— ( exp( ipr) + exp(ip(r — b)) v(t) exp( ipt)dt )

dpV \ J-(b-a) )

= 0, n = 1,2,....

P=Pn

Therefore, one can write:

rb—a

/o—a

v(t) en(t)dt = 0, n = 1, 2,.... (6)

-(b-a)

' — (b—a)

Let us show that the system {en(-)}n^l is complete in L2(a — b, b — a). By virtue of the Levinson theorem [13,14], it is sufficient to prove that

1(A) := lim (Na(R) — W—AR + 1 log r) > (7)

ft 2 J

na r)= iR n^d dr. J 0 r

r-R

n

Given arbitrary e > 0, for r > r0(e) we have:

. ,2b — a

na (r) > (1 — e)-r,

ft

nA(r) > (1 — e)Kna(r) > (1 — e)2(1 + 0)2 — 2a r,

2ft — a ft

where 0 > 0. Therefore,

n\(f) ,, „,2b — 2a 2ft — 2a 2b — a

■ > (1 — e) (1 + 0)---;-=: A.

r V J K ' ft 2ft — a 2b — 2a

Under the conditions of the theorem, by choosing e>0 such that (1 — e)2(1 + 0)>1 and taking into account that

2ft — 2a 2b — a 2ft — a 2b — 2a "

we obtain

2 — 2 a

A >-.

ft

Then for all sufficiently large R > 0 one has:

Na(R) > A(R — ro) > R

ft

and condition (7) is fulfilled.

Since the system {en(-)}n^l is complete, from (6) it follows that v(x) = 0 a.e. on (a — b,b — a), therefore u(x) = U(x), q(x) = q(x). □

Our next goal is to provide a constructive procedure for solving Problem 1. Suppose that the subspectrum A = {pn}n^i is given and the conditions of Theorem 4 are satisfied. This means, in particular, that we can assume the value of b = sup supp q to be also given. We choose q = 0. Then:

/K—a rb—a

u(t) exp(ipt) dt = exp(ip(ft — b)) v(t) exp(ipt) dt, (8)

-(■w—a) J— (b—a)

vit) = u(t + K - b).

(9)

Let us note that under the conditions of Theorem 4 A is a properly distributed set with the angular density determined by the function:

D(9) = K

2 b -a 2tT

0-K-

Indeed, to show this we actually need only to prove the existence of the limit:

Km Y —.

pn

\Pn\<r

Since A is symmetric with respect to the imaginary axis, we have:

1

Y Re— = 0, \\< pn

\Pn\<r

therefore there exists the limit:

Urn Y Re— = 0.

^ pn

\Pn\<r

Furthermore, by virtue of the Cartwright theorem one has:

1

E|Im

P

< œ,

and therefore the series

converges absolutely. Define the function:

EIm

n=1

Pn

<x

u(p) := exp(iM LI ( 1 - ) exP(

- Pn Pn

n=1

(10)

where the real number k will be chosen below. By virtue of Theorem 3 under the conditions of Theorem 4 w( ■) is an entire function of exponential type and its indicator is:

(d) = (b - a/2)K\ sin 9\ + (to - k) sin 9,

where

to

EIm

n=1

Pn

Now let us choose k such that the conjugate diagram of the function ■) will strictly contain the segment [i(i + a — 2b), i(i — a)], that is, by virtue of (8), the conjugate diagram of the function A( ■). Note that such a value of k exists since

H(—it/2) + H^(i/2) = (2b — a)K > 2b — 2a = HA—/2) + Hz (i/2)

1

1

for any k. By virtue of the Paley-Wienner theorem and Theorems 2, 3 one has H(0) > HA(0) for all d. Moreover, by virtue of Theorem 3, for p ^ <x> outside some C0-set we have:

log lw(p)l =H^(d){r + o(r)), p = rexp(id). (11)

Since all the circles that do not contain the points of A can be excluded from the C0-set [13], asymptotics (11) holds for p ^ x, p G Gs := {p : dist(p, A) > with arbitrary 5 > 0. For all sufficiently small 5 > 0 one can choose the subsequence of the circles {|p| = Rn}, RN ^ x lying in Gs. Our construction yields:

lim max

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

N\p\=RN

m

ш{р)

(12)

0

From (12) it follows that:

lim Г A^J^ NJ ш(ц) p — Ц.

\ц\=Rn

and the residue theorem yields:

Щ= E Res ( )) := lim £ Res Г ( )), (13)

MofcAo

where Л0 is the set with no multiple elements containing all the (different) elements of Л, Л0(К) := Л0 П [Ifxl < Rn}. Define the functions:

Un(p) = 2-[ — ppn))) dp, pe C \ Ло, (14)

2тгг J\tl-Pn\=s (p — ф(11)

where v is such that pn = ■ ■ ■ = pn-u = pn-v-\ (v = 0 if pn = pn-l or n = 1) and S e (0, lp — pn\) is such that the circle {p : — pnl ^ <5} does not contain the points of Ло different from pn. Then for any po = pn = ■■■ = pn+mn-i = pn+mn, p0 = pn-i we have:

R=es (^^) = ^(p). (15)

Furthermore, since pn is an eigenvalue of the boundary value problem (1), (2) and its algebraic multiplicity is not less than mn we

have A(v)(pn) = 0, v = 0, mn — 1.

By virtue of (3) this yields:

A( ^ pn) 1 ^ (exp(tpn)) =:&+,,. (16)

v\ v\ dp'

P=Pn

Then (15) can be written as:

A i \ \ — 1

Res (——(-- ) = V Pn+u^n+u (p).

Substituting this into (13) we obtain:

Wt £

n=1

where the series in the right-hand side converges in the principal-value sense:

x

E:= li^ .

N ^X n=1 \Pu\<RN

Finally, by multiplying both sides of the relation by w(p), we obtain the following reconstruction formula for the function —( ■):

X

A(p)=u(p) Y,PnUn(p). (17)

n=1

Now we use representations (8), (9) to complete our procedure of solving Problem 1. Thus, we arrive at the following result.

Theorem 5. Under the conditions of Theorem 4 the potential q(x), x € [a,i] can be recovered by making the following steps:

1. Find b by formula (5).

2. Construct the function w( ■) by formula (10).

3. Calculate {fin} and construct the functions {un( ■ )} using (16) and (14) respectively.

4. Recover the function —(■) via (17).

5. Find the u(^) as the inverse Fourier transform of the function —(■). Recover q( ■) by the formula q(x) = 4U(i + a — 2x).

Competing interests. I declare that I have no competing interests.

Author's Responsibilities. I take full responsibility for submitting the final manuscript

in print. I approved the final version of the manuscript.

Funding. This work was supported by the Russian Foundation for Basic Research (projects nos. 16-01-00015_a, 17-51-53180_GPhEN_a) and Russian Ministry of Education and Science (project no. 1.1660.2017/4.6).

References

1. Marchenko V. A. Sturm-Liouville operators and applications, Operator Theory: Advances and Applications, vol.22. Basel, Boston, Stuttgart, Birkhauser Verlag, 1986, xi+367 pp.; Russ. ed.: Kiev, Naukova Dumka, 1977, 393 pp.

2. Levitan B. M. Inverse Sturm-Liouville problems. Utrecht, VNU Science Press, 1987, x+240 pp.; Russ. ed.: Moscow, Nauka, 1984, 246 pp.

3. Beals R., Deift P., Tomei C. Direct and inverse scattering on the line, Mathematical Surveys and Monographs, vol. 28. Providence, RI, American Mathematical Society, 1988, xiii+209 pp.

4. Yurko V. A. Introduction to the theory of universe spectral problems. Moscow, Fizmatlit, 2007, 384 pp. (In Russian)

5. Buterin S. A. On an inverse spectral problem for a convolution integro-differential operator, Result. Math., 2007, vol.50, no. 3-4, pp. 73-181. doi: 10.1007/s00025-007-0244-6.

6. Kuryshova Ju. V. Inverse spectral problem for integro-differential operators, Math. Notes, 2007, vol.81, no. 6, pp. 767-777. doi: 10.1134/S0001434607050240.

7. Bondarenko N. P., Buterin S. A. On recovering the Dirac operator with an integral delay from the spectrum, Result. Math., 2017, vol.71, no. 3, pp. 1521-1529. doi: 10.1007/ s00025-016-0568- 1.

8. Freiling G., Yurko V. A. Inverse problems for Sturm-Liouville differential operators with a constant delay, Appl. Math. Lett., 2012, vol.25, no. 11, pp. 1999-2004. doi: 10.1016/j. aml.2012.03.026.

9. Vladicic V., Pikula M. An inverse problem for Sturm-Liouville-type differential equation with a constant delay, Sarajevo J. Math., 2016, vol. 12(24), no. 1, pp. 83-88. doi: 10.5644/ SJM.12.1.06.

10. Buterin S. A., Pikula M., Yurko V. A. Sturm-Liouville differential operators with deviating argument, Tamkang J. Math., 2017, vol.48, no. 1, pp. 61-71. doi: 10.5556/j.tkjm.48. 2017.2264.

11. Yurko V. A., Buterin S. A. An inverse spectral problem for Sturm-Liouville operators with a large constant delay, Anal. Math. Phys., 2017. doi: 10.1007/s13324-017-0176-6.

12. Gubreev G. M., Pivovarchik V. N. Spectral analysis of the Regge problem with parameters, Funct. Anal. Appl., 1997, vol.31, no. 1, pp. 54-57. doi: 10.1007/BF02466004.

13. Levin B. Ya. Distribution of zeros of entire functions, Translations of Mathematical Monographs, Providence, R.I., 1964, viii+493 pp.; Russ. ed.: Moscow, Gostechizdat, 1956, 632 pp.

14. Sedletskiy A. M. Classes of analytic Fourier transforms and exponential approximations. Moscow, Fizmatlit, 2005, 504 pp. (In Russian)

15. Gesztesy F., Simon B. Inverse spectral analysis with partial information on the potential, II. The case of discrete spectrum, Trans. Amer. Math. Soc., 2000, vol. 352, no. 6, pp. 2765-2787. doi:10.1090/S0002-9947-99-02544-1.

Конкурирующие интересы. Конкурирующих интересов не имею. Авторский вклад и ответственность. Я несу полную ответственность за предоставление окончательной версии рукописи в печать. Окончательная версия рукописи мною одобрена.

Финансирование. Работа выполнена при частичной финансовой поддержке РФФИ

(проекты № 16—01—00015_а, 17-51-53180_ГФЕН_а) и Министерства образования

и науки Российской Федерации (проект 1.1660.2017/4.6).

ISSN: 2310-7081 (online), 1991-8615 (print)

d http://doi.org/10.14498/vsgtu1599

УДК 517.984

Об обратной задаче Редже для оператора Штурма—Лиувилля с отклоняющимся аргументом

М. Ю. Игнатьев

Саратовский государственный университет им. Н. Г. Чернышевского (национальный исследовательский университет), Россия, 410012, Саратов, ул. Астраханская, 83.

Аннотация

Исследуется краевая задача вида Ьу = р2у, у(0) = у'(и) + гру(п) = 0, где Ь — оператор Штурма-Лиувилля с постоянным запаздыванием а. Данная краевая задача является обобщением классической задачи Редже. Потенциал ц( • ) есть вещественнозначная функция из пространства Ь2(0, п), обращающаяся в 0 почти всюду на (0, а). Никаких других ограничений на потенциал не налагается, в частности, не предполагается никаких дополнительных условий относительно поведения д(х) при х ^ п. При столь общих предположениях асимптотическое разложение характеристической функции краевой задачи при р ^ ж не содержит главного члена. Как следствие, стандартные методы не позволяют получить в явном виде асимптотику спектра. В работе рассматривается обратная задача восстановления оператора по заданному подмножеству спектра краевой задачи. Обратные задачи для дифференциальных операторов с отклоняющимся аргументом существенно сложнее по сравнению с классическими обратными задачами для дифференциальных операторов. «Нелокальность» таких операторов является непреодолимым препятствием для применения классических методов теории обратных задач. Мы рассматриваем обратную задачу в случае запаздывания, большего или равного половине длины интервала, и показываем, что задание подмножества спектра краевой задачи при определенных условиях однозначно определяет потенциал. Соответствующие подмножества спектра описываются в терминах их плотности. В работе также представлена конструктивная процедура решения обратной задачи.

Ключевые слова: дифференциальные операторы, отклоняющийся аргумент, постоянное запаздывание, обратные спектральные задачи, задача Редже.

Получение: 10 января 2018 г. / Исправление: 12 апреля 2018 г. / Принятие: 11 июня 2018 г. / Публикация онлайн: 27 июня 2018 г.

Научная статья

3 ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования

Ignatiev M. Yu. On an inverse Regge problem for the Sturm-Liouville operator with deviating argument, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 2, pp. 203-213. doi: 10.14498/vsgtu1599.

Сведения об авторе

Михаил Юрьевич Игнатьев & http://orcid.org/0000-0002-4354-9197 кандидат физико-математических наук, доцент; каф. математической физики и вычислительной математики; e-mail: [email protected]

i Надоели баннеры? Вы всегда можете отключить рекламу.