CC BY
0
Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2024. Т. 24, вып. 2. С. 200-208
Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2024, vol. 24, iss. 2, pp. 200-208 https://mmi.sgu.ru https://doi.org/10.18500/1816-9791-2024-24-2-200-208, EDN: ZORJSE
Article
Global solvability of the inverse spectral problem for differential systems on a finite interval
V. A. Yurko
Saratov State University, 83 Astrakhanskaya St., Saratov 410012, Russia
Vjacheslav A. Yurko, yurkova@sgu.ru, https://orcid.org/0000-0002-4853-0102, AuthorlD: 2934
Abstract. The inverse spectral problem is studied for non-selfadjoint systems of ordinary differential equations on a finite interval. We provide necessary and sufficient conditions for the global solvability of the inverse problem, along with an algorithm for constructing its solution. For solving this nonlinear inverse problem, we develop ideas of the method of spectral mappings, which allows one to construct the potential matrix from the given spectral characteristics and establish conditions for the global solvability of the inverse problem considered.
Keywords: differential systems, spectral characteristics, inverse problems, method of spectral mappings, global solvability
For citation: Yurko V. A. Global solvability of the inverse spectral problem for differential systems on a finite interval. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2024, vol. 24, iss. 2, pp. 200-208. https://doi.org/10.18500/1816-9791-2024-24-2-200-208, EDN: ZORJSE This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0)
Научная статья УДК 539.374
Глобальная разрешимость обратной спектральной задачи для дифференциальных систем на конечном интервале
В. А. Юрко
Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского, Россия, 410012, г. Саратов, ул. Астраханская, д. 83
Юрко Вячеслав Анатольевич, доктор физико-математических наук, заведующий кафедрой математической физики и вычислительной математики, yurkova@sgu.ru, https://orcid.org/0000-0002-4853-0102, AuthorlD: 2934
Аннотация. Исследуется обратная спектральная задача для несамосопряженных систем обыкновенных дифференциальных уравнений на конечном интервале. Получены необходимые и достаточные условия глобальной разрешимости обратной задачи, а также алгоритм построения ее решения. Для решения этой нелинейной обратной задачи используется развитие идей метода спектральных отображений, что позволяет построить потенциальную матрицу по заданным спектральным характеристикам и установить условия глобальной разрешимости рассматриваемой обратной задачи. Ключевые слова: дифференциальные системы, спектральные характеристики, обратные задачи, метод спектральных отображений, глобальная разрешимость
Для цитирования: Yurko V. A. Global solvability of the inverse spectral problem for differential systems on a finite interval [Юрко В. А. Глобальная разрешимость обратной спектральной задачи для
дифференциальных систем на конечном интервале] // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2024. Т. 24, вып. 2. С. 200-208. https://doi.org/ 10.18500/1816-9791-2024-24-2-200-208, EDN: ZORJSE
Статья опубликована на условиях лицензии Creative Commons Attribution 4.0 International (CC-BY 4.0)
Introduction
We study the inverse spectral problem for the following system of differential equations on a finite interval
¿Y(x) := QoY'(x) + Q(x)Y(x) = pY(x), 0 < x < T. (1)
Here Y = ^tk=m is a column-vector (t denotes the transposition), p is the spectral parameter, Qo = diag[qk]fc=in, where qk = 0 are different complex numbers, and Q(x) = [qkj(x)]kj_in, where qkj(x) e L(0, T) are complex-valued functions, and qkk(x) = 0. The matrix Q(x) is called the potential.
Inverse problems for systems of the form (1) in different formulations were studied by many authors. Most of the works are devoted to inverse problems for Dirac and AKNS systems, i.e. to the case of n = 2 (see, for example, [1]). The main tool for these investigations was the transformation operator method, and the obtained results are similar to the results for the Sturm-Liouville operator (see [1,2] and the references therein). These results can be easily generalized by the same method for n > 2 but only in the exceptional case when all qk are real (see, for example, [3-5]). However, for system (1) of general form with arbitrary complex qk and arbitrary integrable potentials the inverse problem is essentially more difficult to study. The method of spectral mappings [6] was created for solving the inverse problem in this general case. In particular, by this method the inverse problem for system (1) on the half-line has been solved in [7]. The inverse problem for system (1) on a finite interval in the general case has been solved in [8], where the uniqueness theorem was proved and a constructive procedure for the solution of the inverse problem was suggested.
In this paper, we study the inverse spectral problem for system (1) with arbitrary complex qk on a finite interval. As the main spectral characteristic we introduce and investigate the so-called Weyl matrix which is an analog of the classical Weyl function for the Sturm - Liouville operator and the Weyl matrix introduced in [9,10] for higher-order differential operators. The main method of the investigation is the method of spectral mappings. Developing the ideas of this method in connection with systems of the form (1) and using discovered properties of the Weyl matrix, we provide necessary and sufficient conditions for the solvability of the inverse problem considered. We will use some notations and facts from [8].
1. Properties of the spectral characteristics
Let the matrices h = [h^v_m and H = [H^v_m be given, where , are complex numbers, and det h = 0, detH = 0. We introduce the linear forms U(Y) = [U¿(Y)]^=rn, V(Y) = V(Y)]*=rn by the formulae U(Y) = hY(0), V(Y) = HY(T), i.e. '
U(Y) = [h^,..., hCn]Y(0), V¿(Y) = [H^,..., HCn]Y(T).
Let the vector-functions (x, p) = [$vm(x, p)]^, m = 1,n be solutions of system (1)
under the conditions U¿($m) = , £ = 1,m, Vn($m) = 0, n = 1,n - m. Here and in the sequel, is the Kronecker delta. Let Mmí(p) = U($m), M(p) = [Mm?(p)]m , $(x,p) = = [$1 (x, p),..., $n (x, p)] = [$vm (x, p)]v m_in. The functions M^m (p) are called the Weyl functions. The matrix M(p) is called the Weyl matrix for system (1).
Inverse problem 1. Fix Q0, h, H, i.e. the numbers qk, , H^v> k, v = 1, n are known and fixed. Given the Weyl matrix M(p), construct the potential Q(x), 0 < x < T.
It is easy to see that in the general case, the specification of the Weyl matrix does not determine uniquely the matrices of the linear forms h and H. It is possible to point out particular cases (when the matrices h and H are normalized and have a special structure) for which the specification of the Weyl matrix uniquely determines not only the potential but also the matrices of the linear forms. For simplicity, we confine ourselves here to the most principal and difficult problem of recovering the potential Q(x).
Let C(x, p) = [Ckm(x,p)]km=Y"n be a matrix-solution of system (1) under the initial condition U(C) = hC(0, p) = I (here and below I denotes the identity matrix of the corresponding dimension or the identity operator in the corresponding Banach space). In other words, the column-vectors Cm(x, p) = [Ckm(x, p)]*__, m = 1,n, are solutions of (1) under the initial
k—1 >n
conditions U(Cm) = m = 1,n. The functions Ckm(x, p) are entire in p for each fixed x.
Clearly, $(x,p) = C(x,p)N(p), where N(p) := Mt(p). One has
Mmk(p) = (Amm(p))-1 Amk(p), 1 < m < k < n, (2)
where
Amk(p) := (-1)m+k det[Vi(Cvm,n\k, 1 < m < k < n, Ann(p) := 1.
It is known that the p-plane can be partitioned into sectors Sj = {p : argp G (#j, 0j+1)}, j = 0, 2r - 1, 0 < 6>0 < < ... < $2r—1 < 2n in which there exist permutations ik = ik(Sj) of the numbers 1,... ,n, such that for the numbers Rk = Rk(Sj) of the form Rk = one has
Re(pRi) < ... < Re(pRn), p G Sj. (3)
We put +2kr := 0j, Sj+2kr := Sj, k G Z, and denote r = {p : argp = 0j}. Clearly, rj+2kr := rj, k G Z. We note that the number 2r of the sectors Sj depends on the location of the numbers {^k}k—^ on the complex-plane, and 1 < r < n(n - 1)/2. For example, if all lie on a line containing the origin, then r = 1. Denote
^k (j1, . . .,jm) := det[h j ]£—T~m—1>k; 1 < m < k < ^
Om(j1, . . . , jm) := ^m(j1, . . . , jm), O := 1,
^m(jm+1, . . . , jn) := det[Hj ]£—1>n-m> v—m+1,n.
Let _ _
Om(i1 ,...,im) = 0, om (im+1,...,in) = 0, m = 1,n - 1, j = 0, 2r - 1, (4)
where ik = ik (Sj) is the above-mentioned perturbation for the sector Sj. Condition (4) is called the regularity condition. Systems, that do not satisfy the regularity condition, possess qualitatively different properties for investigating inverse problems and are not considered in this paper. Fix j = 0,2r - 1. For p G rj, strict inequalities from (3) in some places become equalities.
Let m^ = m^ (j), p = p (j), i = 1, s, be such that for p G rj,
Re(pRmi-1) < Re(pRmi) = ... = Re(pRm* +p) < Re(pRm* +p+1), i = M,
where Rk = Rk (Sj). _ _
Denote Nj := {m : m = m1, m1 + p1 - 1,...,ms, ms + - 1}, Jm := {j : m G Nj}, Ym = U rj, Em = C \ Ym is the p- plane without the cuts along the rays from Ym. Clearly, the
j EJm
domain Em = |J Smv consists of sectors Smv, each of which is a union of several sectors Sj with
v
the same collection {R^Let rj>, := {p : dist (p, rj) < a}, a > 0, be a strip along the ray
2r-1 2r-1
rj, and let Ym,, := U j = {p : dist (p, Ym) < a}. Denote r^ := U j, r1 := U rj.
jJm j—0 j—0
Denote by Am = {p1m, m = 1,n — 1, the set of zeros (with multiplicities) of the entire
n-1
function Amm(p), and put A := (J Am. The numbers {p1mcoincide with the eigenvalues of
m=1
the boundary value problem Lm for system (1) under the conditions U (Y) = Vn(y) = 0, £ = 1,m,
__n-1
n = 1, n — m. Denote G^,m = {p : |p — pim| > 5, l > 1}, G^ = f| G^,m. Let A^ = {p0m}^1,
__m=1
m = 1,n — 1, be the eigenvalues of the "simplest" boundary value problems L^ for system (1) with Q(x) = 0. The following properties of the Weyl matrix were established in [8].
Theorem 1. 1. The Weyl functions Mmk (p), k > m are meromorphic in p with the set Am = {pimof poles. For |p| ^ ro, argp = 0 e (0j, 0j+1),
Mmk (p) = Mm k + O(p-1),
where Mmk = №(¿1,..., ¿m))-1^k(«1, • • •, ¿m)• Moreover,
|Mmk(p)| < C, p e , m • (5)
2. There exists a > 0 such that Am c Ym , a. Moreover, Am = (J Amj, where Amj e r, is
j EJm
the subsequence of Am located in the strip r, a, j e Jm.
5. The number nma of zeros of Amm(p) in the domain 7m , := {p : p e Ym , , |p| e [a, a + 1]} is bounded with respect to a.
4. There exist positive numbers rN ^ ro such that for sufficiently small 5 > 0, the circles |p| = rN lie in G^ for all N.
5. For m = 1, n — 1, one has p1m = p0m + O(1-1) as l ^ ro.
We consider the differential system
t*Z(x) := — Z'(x)Qo + Z(x)Q(x) = pZ(x), where Z = [zk]k=m is a row-vector. Clearly,
Z (x)tY (x) — t* Z (x)Y (x) = dX(Z (x)Qo Y (x)). (6)
It follows from (6) that if tY(x, p) = pY(x, p) and t* Z(x, p) = pZ(x, p), then
(p — p)Z(x, p) Y(x, p) = dx (Z(x, p)QoY(x, p)). (7)
Put U*(Z) = Z(0)h*, V*(Z) = Z(T)H*, where h* = [hy^=Tn := Qoh-1, H*
r— 1 TU^^ TT*ir7\ _ \TT*(r7\ TT*ir7W ЛГ*(7\ _ \ЛГ*(Ф\ ЛГ*\
= [^ := Qo H-1. Then U* (Z) = U (Z),..., Uj (Z)], V * (Z) = [V* (Z ),...,V1* (Z)],
where Un-^+1 (Z) = Z(°)[^]k=^, Vn-^+1 (Z) = Z(T)[Hfc]k=^ _
Denote Rm := —Rn-m+1. Let vector-functions $m(x,p) = [$km(x,p)]k=i^, m = 1,n be solutions of the equation t*Z = pZ, satisfying the conditions U|($m) = 5^m, £ = 1,m,
Vj($m) =0, n = 1,n — m. We put $ *(x,p) = [$n-m+1 (x,p)]im=^ =R-m+1,k(x,p)]m,fc=^•
2. Solution of the inverse problem
It was proved in [8] that the specification of the Weyl matrix M(p) uniquely determines the potential matrix Q(x). In this section, we provide a constructive solution to the inverse problem of recovering the potential matrix Q(x) from the given Weyl matrix M(p). For this purpose, we reduce our nonlinear inverse problem to the solution of the so-called main equation, which is a linear equation in a corresponding Banach space of sequences. We give a derivation of
the main equation and prove its unique solvability. Using the solution of the main equation we provide an algorithm for the solution of the inverse problem along with necessary and sufficient conditions for its solvability. For simplicity, in the sequel we confine ourselves to the case when the functions Amm(p), m = 1,n - 1, have only simple zeros (the general case requires minor technical modifications).
For po G A we define the matrix F (po) = [j (po)]j>k—x^ via
F (po ) = -(N(o) (po ))-1 N<_1) (po).
Here and below f(k)(po) = (f (p))^—po denotes the k-th Laurent's coefficient for the function f (p) at the point p = po. In particular, f(_1) (po) = Res f (p).
Denote (po) = [Fvj(po=in-s, v=n-sn s = 1 n - 1 ло = л« = 0-
Property S1. If po G Am, then Fm+1,j(po) = ... = Fnj(po) = 0, j = 1,m. If, moreover, v < m - 1, po G Av, po G Av+1p| — fl Am_1, po G Am, 1 < v + 1 < m^n^then Fm>v+1 (po) = 0.
Property S2. The following relation holds rank As(po) < 1, s = 1, n - 1.
Fix N > 1. Denote by the set of functions f (x) such that f(v) (x), v = 0,N - 1, are absolutely continuous on [0,T]. We will write IgVn if Q(x) G . We will solve the inverse problem in the classes .
Let t G and let the Weyl matrix M(p) for system (1) be given. We take an arbitrary off-diagonal potential Q(x) g . We agree that everywhere below if a symbol a denotes an object related to Q, then a will denote the analogous object related to Q, and a := a - a.
Choose a > 0 such that A1 := A U A c r,. Let u be the contour (with a counterclockwise circuit) which is the boundary of r,, i.e. u := {p : dist(p, r1) = a}.
Denote J := {p : dist(p, r1) > a}. Then the following relations hold
Ф(х,р) = Ф(х,р) + -^ /ф(х,д)Ф*(x,a)Qo<£(x,p)^, p G J, (8)
a - p
1 f Ф(_. . )Ф*(x Ф(.. .)
t - p
Ф*(x, 0)Qo Ф(x, p) Ф* (x, 0)Qoф(х, p)
p - 0 p - 0
Ф* (x, 0)Qo ф (x, а)ф * (x,a)Qo $(x,p)7—^T-7, p,0GJ. (9)
2W ш (a - 0)(p - a)
Denote
k-i
C := ^ (Кк-i - pl,k-i I lYskl - 7skl |), l > 1
k=2 s=i
where Y£ki := Fks(pi,k-i), Yski := FL(pi,k-i), s = 1,k - 1, k = 2, n, I > 1. It is possible to choose Q(x) such that C = O(1-N-i) for l ^ ro.
For po g л1 we introduce the matrix DD(x, po,p) = [Dsm(x, po, p)]s,m=in by the formula
D( ) /ф*(x,a)Qo5(x,p)x(o) /ф*-р(x,po) , ф*o)(x,po)чПф( )
D(x,po,p) : =- = —^-+ —- )Qoi,(x, p)-
V p - T v (p - po)2 p - po /
Denote p^ko = pik, piki = Ф1к, T?ok = Yski, Yf! = YSki. We introduce the matrices
(l£(x) = [(k (x)]i=^,k=^ , (l£ (x) = [$k (x)]i=^,k=^ , Pl£(x, p) = [Pkm(x, p)]k=2n,m=in, ^(x, p) = [ilm(x, p)]k=^, ,
G(1e}(1o£0) (x) = [Gkim)(1o£0) (x)]k,m=2~ra, G(te)(io£0) (x) = [G^S)(lo£0) (x)]k,m=2^,
1,1o > 1, e,eo = 0,1,
V. A. Yurko. Global solvability of the inverse spectral problem for differential systems on a finite interval by the formulae
(x) = $jf,<0> (x,P,f-1,e), pf(x) = Фjf,<0> (x,P,f-1,e),
f-1
f-1
(x,p) = £ 7fefcDsm(x,pi,k-1,£,p), P^fop) = £ YsfDsm(x, pz,k-1,£, p),
s=1
s=1
G(1e)(loeo) (x) = ^£^0) (x, p1o,m-1,eo), G("iT)(loeo) (x) = (x, po,m-1,eo)-
Denote Um(x) := I exp(/m-1 Rmx)|, / e Am-1j, j e Jm-1, Rm = Rm(Sj). Using (8) and taking our notations into account we obtain
>fm
fm
jfm
Ф(х,р) = Ф(*,р) + £ (<рю(х)рРю(x,p) - (x)Pn(x,p)).
(10)
It follows from (10) that
<Ploeo (x) = Woeo (x) + Y1 (^0(x)G(10)(1oeo) (x) — (x)G(11)(1oeo)(x)) , (11)
/0 > 1, £0 = 0,1.
For each fixed x e [0,T], relation (11) can be considered as a system of linear equations with respect to (x), / > 1, £ = 0,1. But the series in (11) converges only "with brackets". Therefore, it is not convenient to use (11) as a main equation of the inverse problem. Below we will transfer (11) to a linear equation in a corresponding Banach space of sequences (see (15)). For this purpose we introduce the matrices
^e (x) = №e (x)]i=1~n, fc=2~n, H(1e)(1oeo) (x) = [H(1™(1oeo) ^ /0 > 1 £ £0 = 0, 1,
by the formulae
^(x) = (Cluik(x))-1 (<pJ0f(x) - <pJf (x)), < (x) = (uik(x))-1 <pJf (x),
\-U. Jf
if
if
-1 if
(12)
H
fm
(x) = Cluif (x)(ClQU1qm(x))-^Gwq0)(x) - G^ 1) (x))
Hf0)(, !) (x) = Cluif (x)(uiQm(x))-1 Gfm
(10)(1Q 1)'
(10)(1Q 1)
(x),
Hf
fm
(11)(1q 0)
(x) = u(f (x)teQ«,Qm(x))-1 (c^o0)(x) - G^ft, 1)(x) - Gflk0)(x) + GfT)», 1)(*)),
fm
(x) = Uf (x)(uiom(x))-^Gfm)(io 1)(x) - Gfm)(io 1)(x)).
Similarly, we define the matrices ?/1e(x) and H(je)(joeo)(x). Then
I^ie'(x)| < C, I^(x)| < C,
в,)(x)i, ^fsjdQ£q)(x)i <
CC1
|1 -101 + 1'
(13)
(14)
Let V be a set of indices u =(/,£), / > 1, £ = 0,1. For each fixed x e [0,T], we define the vector
^(x) = [^u(x)]uGV = [^10(x), (x)]Z^1 = [^10, ^11, ^20, ^21, . . .], and the block matrix
H (x) = [Huv (x)]u,vgV =
H(10)(1Q0) (x) H(10)(1Q1) (x) H(11)(1q0) (x) H(11)(1Q1) (x)
u =(/,£), v = (lo ,£q), £,£o = 0, 1.
Analogously, we define the matrices ?/>(x) and HT(x). In view of our notations, relation (11) transforms to the form
^Q £0 (x) = £0 (x) + ^ ^ (x)i^(1e)(lQ £Q ) (x)' Mo ^ 1 £,£0 = 0 1 1,£
or, which is the same,
^(x) = ^ (x)(I + HT(x)). (15)
According to (13) and (14), the series in (15) converges absolutely and uniformly in x e [0, T]. Starting from (8), we arrived at (15). By similar arguments, starting from (9) one can get the relation
(I + HT(x))(I - H(x)) = I. Interchanging places for Q and Q, we obtain
(I - H(x))(I + £(x)) = I.
Let us consider the Banach space m of bounded sequences a = [au]uGV with the norm ||a|| = supuGV |auIt follows from (14) that for each fixed x e [0,T], the operators I + H"(x) and
I — H(x), acting from m to m, are linear bounded operators, and
& /
< 00.
iih(x)n, ii#(x)ii < сsuP£ ;l
Г^ |1 - 'о | + 1
lo^l
Thus, we have proved the following theorem
Theorem 2. For each fixed x e [0,T], the vector ^(x) e m satisfies the equation (15) in the Banach space m. Moreover, the operator I + HT(x) has a bounded inverse operator, i.e. equation (15) is uniquely solvable.
Equation (15) is called the main equation of the inverse problem. Solving (15) we find the vector ^(x), and consequently, the functions (x). Then, by (10) we calculate $(x,p). Denote
£(x) = 2- J ($(x,^)$*(x,^)Qo — Qo$(x,M)$*(x,u)) . (16)
Theorem 3. The following relation holds
Q(x) = Q(x) + e(x). (17)
Proof. Differentiating (8) and using (7), we calculate
(x,p) = (x,p) + -^ / (x,^)$*(x,u)Qo<|(x,p)^- —
--*(x, p)d^.
2m Jw
Since $(x, p) is a solution of system (1) it follows that (x,p) = (pB0 — B(x))$(x, p), where Bo = Q-1, B(x) = BoQ(x). Similarly, (x,p) = (pBo — B(x))$(x, p). This yields
(pBo — B(x))<l(x, p) = (pBo — B(x))$(x, p)+
+ i (mBq — B(x))$(x,M)£*(x,M)Qo*(x,p)^ — ^ i *(x,M)$(x,p)dM.
Replacing here $(x, p) from (8), we calculate
BB(x)/(x,p) = J B$(x,p)<l*(x,p)Q0$(x,p)dp — 2- J $(x,p)/*(x,p)/(x,p)dp.
Multiplying this relation from the left on Q0, we obtain Q(x)$(x, p) = £(x)$(x, p), and consequently, (17) holds. □
The solution of the inverse problem can be found by the following algorithm.
Algorithm. Given the Weyl matrix M(p).
1. Choose Q(x), and construct ^(x) and H/(x).
2. Find ^(x) by solving equation (15).
3. Calculate $(x, p) via (10), where (x) is constructed from (12).
4. Construct Q(x) by (17).
Let us now formulate the necessary and sufficient conditions for the solvability of the inverse problem. Denote by W the set of meromorphic matrices M(p) = [Mmk(p)]m k=m, Mmk(p) = 5mk for m > k, having only simple poles A = (Jm Am (in general, the set A is different for each matrix M(p)) and such that (5) is valid and for each p0 e A the properties S1 and S2 hold.
Clearly, if t e Vn and M(p) is the Weyl matrix for t, then M(p) e W.
Theorem 4. A matrix M(p) e W is the Weyl matrix for some t e VN if and only if the following conditions hold:
1) (asymptotics) there exists t e VN such thatY] 1 £ < ro;
2) (condition S) for each fixed x e [0,T] the linear bounded operator I + H/(x), acting from m to m, has a bounded inverse operator;
3) £(x) e , where £(x) is defined by (16).
Under these conditions, the potential Q(x) is constructed by Algorithm.
The necessity part is proved above. In the sufficiency part, we have a matrix M(p) e W satisfying the conditions of Theorem 4. Using the Algorithm we construct the potential Q(x), i.e. we construct t e VN. By similar arguments as in [8], one can check that the matrix M(p) is the Weyl matrix for t.
Remark. The inverse problem from a system of spectra.
The zeros Amk := {p1mk} of the entire functions Amk(p) coincide with the eigenvalues of the boundary value problems Lmk for system (1) with the boundary conditions
U1 (Y) = ... = Um-1 (Y) = Uk (Y) = V1 (Y) = ... = Vn-m (Y) = 0.
The inverse problem of recovering the potential from the system of spectra is formulated as follows: given the spectra Am and Amk of the boundary value problems Lm and Lmk (m = 1,n — 1, k > m), construct the potential Q(x). Since the functions Amk(p) are uniquely determined by their zeros, it follows from (2) that this inverse problem can be reduced to the inverse problem from the Weyl matrix.
References
1. Levitan B. M., Sargsjan I. S. Sturm - Liouville and Dirac Operators. Mathematics and Aplications, vol. 59. Dordrecht, Kluwer Academic Publishers, 1991. 350 p. (Russ. ed.: Moscow, Nauka, 1988). https://doi.org/10.1007/978-94-011-3748-5
2. Freiling G., Yurko V. A. Inverse Sturm - Liouville Problems and Their Applications. New York, NOVA Science Publishers, 2001. 305 p.
3. Shabat A. B. An inverse scattering problem. Differential Equations, 1979, vol. 15, iss. 10, pp. 1299— 1307.
4. Malamud M. M. Questions of uniqueness in inverse problems for systems of differential equations on a finite interval. Transactions of the Moscow Mathematical Society, 1999, vol. 60, pp. 173-224.
5. Sakhnovich L. A. Spectral Theory of Canonical Differential Systems. Method of Operator Identities. Operator Theory: Advances and Applications, vol. 107. Basel, Birkhauser Verlag, 1999. 202 p. https://doi.org/10.1007/978-3-0348-8713-7
6. Yurko V. A. Method of Spectral Mappings in the Inverse Problem Theory. Inverse and Ill-Posed Problems Series, vol. 31. Utrecht, VSP, 2002. 303 p. https://doi.org/10.1515/9783110940961
7. Yurko V. A. An inverse spectral problem for singular non-selfadjoint differential systems. Sbornik: Mathematics, 2004, vol. 195, iss. 12, pp. 1823-1854. https://doi.org/10.1070/SM2004v195n12ABEH 000869
8. Yurko V. A. Inverse spectral problems for differential systems on a finite interval. Results in Mathematics, 2005, vol. 48, pp. 371-386. https://doi.org/10.1007/BF03323374
9. Yurko V. A. Recovery of nonselfadjoint differential operators on the half-line from the Weyl matrix. Mathematics of the USSR-Sbornik, 1992, vol. 72, iss. 2, pp. 413-438. https://doi.org/10.1070/ SM1992v072n02ABEH002146
10. Yurko V. A. Inverse Spectral Problems for Differential Operators and their Applications. Amsterdam, Gordon and Breach, 2000. 272 p. https://doi.org/10.1201/9781482287431
Поступила в редакцию / Received 29.11.2022 Принята к публикации / Accepted 24.05.2023 Опубликована / Published 31.05.2024
