8 раздел МАТЕМАТИКА и МЕХАНИКА

УДК 517.984
ББК 22,162

ОБРАТНАЯ СПЕКТРАЛЬНАЯ ЗАДАЧА ДЛЯ ПУЧКОВ

ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ НА КОНЕЧНОМ ИНТЕРВАЛЕ
Бутерин С.А., Юрко В.А.

Исследуется обратная задача спектрального анализа для дифференциаль-

ных уравнений второго порядка с нелинейной зависимостью от спектрального
параметра. Доказана теорема единственности и получена конструктивная про-
цедура решения обратной задачи.

Введение. В заметке исследуется обратная спектральная задача восстановления коэффициентов краевой

задачи L := (l, U , V ) вида
ly := y′′ + ( ρ 2 + i ρ q1 ( x) + q0 ( x)) y = 0, 0 < x < π , (1)
U ( y ) := y′(0) + (i ρ h1 + h0 ) y (0) = 0, V ( y ) := y′(π ) + (i ρ H1 + H 0 ) y (π ) = 0, (2)
где q j ( x ) ∈ W1 [0, π ] – комплекснозначные функции, а h j , H j – комплексные числа, h1 ≠ ±1, H1 ≠ ±1.
j

Последние условия исключают из рассмотрения задачи типа Редже, которые требуют отдельного исследования
(см. [1]). Рассматриваются три вида спектральных характеристик: функция Вейля, являющаяся обобщением
классической функции Вейля для оператора Штурма-Лиувилля [2], спектры двух краевых задач для уравнения
(1) с одним общим краевым условием и спектр вместе с так называемыми весовыми числами. Отметим, что
последние являются обобщением классических спектральных данных для оператора Штурма-Лиувилля, зада-
ние которых равносильно заданию его спектральной функции [3], [4]. Показана эквивалентность задания всех
рассматриваемых типов спектральных характеристик. Развивая идеи метода спектральных отображений [5]-[7],
мы доказываем теорему единственности и даем конструктивную процедуру решения обратной задачи. Отме-
тим, что некоторые аспекты теории обратных спектральных задач для пучков дифференциальных операторов
на конечном интервале исследовались в [1], [8]-[12] и других работах. В [13] решена обратная задача восста-
новления дифференциального уравнения (1) на полуоси по функции Вейля. Отметим, что прямые задачи спек-
трального анализа для пучков операторов исследовались в [14]-[19] и других работах.
Постановка обратной задачи. Теорема единственности. Пусть функции ϕ ( x, ρ ), ψ ( x, ρ ), S ( x, ρ ) и
Φ( x, ρ ) являются решениями уравнения (1) при условиях
ϕ (0, ρ ) = ψ (π , ρ ) = S ′(0, ρ ) = U (Φ ) = 1, U (ϕ ) = V (ψ ) = S (0, ρ ) = V (Φ ) = 0. (3)
Функцию Φ ( x, ρ ) будем называть решением Вейля, а M ( ρ ) := Φ (0, ρ ) – функцией Вейля для L. При
каждом фиксированном x ∈ [0, π ] функции ϕ ( x, ρ ), ψ ( x, ρ ), S ( x, ρ ) вместе со своими производными по
x являются целыми аналитическими по ρ . Собственные значения {ρ n } задачи L с учётом кратностей сов-
падают с нулями ее характеристической функции ∆ ( ρ ) := ψ ( x, ρ ), ϕ ( x, ρ ) , где y, z := yz ′ − y′z. Ясно,
что ∆ (rho) = V (ϕ ) = −U (ψ ). Функция ∆ 0 ( ρ ) := ψ (0, ρ ) является характеристической функцией краевой
задачи для уравнения (1) с краевыми условиями y (0) = 0, V ( y ) = 0. Пусть {ρ n } – ее собственные значения.
0

Очевидно, что
Φ( x, ρ ) = −ψ ( x, ρ )(∆ ( ρ )) −1 = S ( x, ρ ) + M ( ρ )ϕ ( x, ρ ), (4)
ϕ ( x, ρ ), Φ ( x, ρ ) ≡ 1, (5)
M ( ρ ) = −∆ 0 ( ρ )(∆ ( ρ ))−1 . (6)
Таким образом, M ( ρ ) – мероморфная функция, с полюсами в точках ρ n , а нулями в точках ρ , причем 0
n

ясно, что{ρ n } ∩ {ρ } = ∅. Удобно занумеровать собственные значения L следующим образом: {ρ n }n∈w ,

0
n
где w = {n : n = ±0, ±1, ±2,…}. Известным методом (см., например, [4]) можно показать, что {ρ n } имеют
асимптотику:
1 1 (1 + h1 )(1 − H1 ) π
ρ n = n + ω0 + O( ), n → ±∞, ω0 =
(1 − h1 )(1 + H1 ) ∫0
(ln + q1 (t ) dt ). (7)
n 2iπ
Обозначим mn – кратность ρ n ( ρ n = ρ n +1 = … = ρ n + mn −1 ), S := {n : n ∈ w, ρ n −1 ≠ ρ n }. Заметим, что в
силу (7) для достаточно больших | n | имеем mn = 1.
 Вестник Башкирского университета.2006.№4. 9

ТЕОРЕМА 1. Справедливо представление

mn −1
M n +ν
M (ρ ) = ∑ ∑ , (8)
n∈S ν = 0 ( ρ − ρ n )ν +1
причём коэффициенты {M n }n∈w имеют асимптотику
1 1
Mn = (1 + O( )), n → ±∞. (9)
nπ (1 − h1 )
2
n
Кроме того, при | ρ |→ ∞, ± arg ρ ∈ [ε , π − ε ], где ε > 0 фиксировано,
1 1
M (ρ ) = (1 + O( )). (10)
i ρ (h1 ± 1) ρ
Из (7), (10), в частности, вытекает
ω0 = lim( ρ n − n), h1 = − lim( xM (ix))−1 − 1. (11)
n →∞ x →∞
Числа {ρ n , M n } будем называть спектральными данными пучка L. Отметим, что так введенные спек-
тральные данные обобщают те, что были использованы в [9], а также классические спектральные данные для
оператора Штурма-Лиувилля [3]. Рассмотрим следующие обратные задачи.
ЗАДАЧА 1. По заданной функции Вейля M ( ρ ) найти коэффициенты пучка L.
ЗАДАЧА 2. По двум спектрам {ρ n }, {ρ n } найти коэффициенты пучка
0
L.
ЗАДАЧА 3. По спектральным данным {ρ n , M n } найти коэффициенты пучка L.
Заметим, что задачи 1-3 эквивалентны. В самом деле, в силу (8) задание функции Вейля равносильно зада-
нию спектральных данных. Вместе с тем, согласно (6) M ( ρ ) однозначно определяется заданием двух спек-
тров {ρ n }, {ρ n } и наоборот.
0

Введем обозначения
1 dν
ϕν ( x, ρ ) = ϕ ( x, ρ ), ν ≥ 0,
ν! d ρ ν
1 x 1
Q( x) = ∫ q1 ( s ) ds, Gδα = {ρ :| ρ − k − α |≥ δ , k ∈ Z ∪ {−α }}, [1] = 1 + O( ).
2 0 ρ
Известным методом (см., например, [4], [18]) доказывается следующая

ЛЕММА 1) При | ρ |→ ∞, j = 0,1 равномерно по x ∈ [0, π ]

2
1 − (−1)k h1
ϕ ( j ) ( x, ρ ) = ∑ ((−1)k i ρ ) j exp((−1)k (i ρ x − Q( x)))[1],
k =1 2
2
1 + (−1) H1
k
ψ ( j ) ( x, ρ ) = ∑ ((−1) k +1 i ρ ) j exp((−1) k (i ρ (π − x) − Q(π ) + Q( x)))[1].
k =1 2
ω0
2) При | ρ |→ ∞, ρ ∈ Gδ , δ > 0 функция ∆ ( ρ ) имеет вид
∆( ρ ) = − ργ sin(( ρ − ω0 )π )[1],
где γ = (1 − h12 )(1 − H12 ) при надлежащем выборе значения корня.
Наряду сL будем рассматривать пучок L% того же вида, но с другими коэффициентами q% j ( x), h% j, H% j.
Условимся, что если некоторый символ α обозначает объект, относящийся к L, то α% обозначает аналогич-
% и α̂ = α − α% . Докажем теорему единственности решения обратной задачи.
ный объект, относящийся к L,
ТЕОРЕМА 2. Если M ( ρ ) = M
% ( ρ ), то L = L% . Таким образом, задание функции Вейля однозначно опреде-
ляет коэффициенты пучка (1), (2).
ДОКАЗАТЕЛЬСТВО. Рассмотрим матрицу P ( x, ρ ) = [ Pjk ( x, ρ )] j ,k =1, 2 , определяемую равенством
10 раздел МАТЕМАТИКА и МЕХАНИКА

% ( x, ρ )   ϕ ( x, ρ ) Φ( x, ρ ) 
 ϕ% ( x, ρ ) Φ
P( x, ρ )  = .
% ′( x, ρ )  ϕ ′( x, ρ ) Φ′( x, ρ ) 
(12)
ϕ% ′( x, ρ ) Φ
Учитывая (5), вычисляем
% ′( x, ρ ) − Φ ( j −1) ( x, ρ )ϕ% ′( x, ρ ), 
Pj1 ( x, ρ ) = ϕ ( j −1) ( x, ρ )Φ
% ( x, ρ ). 
(13)
Pj 2 ( x, ρ ) = Φ ( j −1) ( x, ρ )ϕ% ( x, ρ ) − ϕ ( j −1) ( x, ρ )Φ 
Обозначим
1 1
Ω( x ) = (exp(Qˆ ( x)) + exp(−Qˆ ( x))), Λ ( x) = − (exp(Qˆ ( x)) − exp(−Qˆ ( x))). (14)
2 2i
Согласно (8), (11) в условиях теоремы имеем ω0 = ω% 0, h1 = h%1. Тогда с помощью (4), (7), (13), (14) и лем-
мы 1 приходим к асимптотике
P11 ( x, ρ ) = Ω( x) + O( ρ −1 ), P12 ( x, ρ ) = ρ −1Λ ( x) + O( ρ −2 ), 
 (15)
P21 ( x, ρ ) = − ρΛ ( x) + O(1), P22 ( x, ρ ) = Ω( x) + O( ρ −1 ) 
ω
при | ρ |→ ∞, ρ ∈ Gδ 0 , δ > 0 равномерно по x ∈ [0, π ]. С другой стороны, используя (4) и (13), вы-
числяем
Pj1 ( x, ρ ) = ϕ ( j −1) ( x, ρ ) S% ′( x, ρ ) − S ( j −1) ( x, ρ )ϕ% ′( x, ρ ) + ( M% ( ρ ) − M ( ρ ))ϕ ( j −1) ( x, ρ )ϕ% ′( x, ρ ),
Pj 2 ( x, ρ ) = S ( j −1) ( x, ρ )ϕ% ( x, ρ ) − ϕ ( j −1) ( x, ρ ) S% ( x, ρ ) + ( M ( ρ ) − M% ( ρ ))ϕ ( j −1) ( x, ρ )ϕ% ( x, ρ ).
Так как M ( ρ ) ≡ M % ( ρ ), то при каждом фиксированном x ∈ [0, π ] функции P ( x, ρ ) являются целыми
jk

аналитическими по ρ. (15) это дает, в частности, P11 ( x, ρ ) ≡ Ω( x), P12 ( x, ρ ) ≡ 0, и Λ ( x) ≡ 0.

Вместе с
Следовательно, в силу (14) Q ˆ ( x) ≡ iπα , где α ∈ Z . Дифференцируя, получаем qˆ ( x) ≡ 0, то есть Qˆ ( x) ≡ 0,
1
Ω( x) ≡ 1. Подставляя P11 ( x, ρ ) = 1, P12 ( x, ρ ) = 0 в (12), находим, что при всех x и ρ ϕ ( x, ρ ) = ϕ% ( x, ρ ),
Φ( x, ρ ) = Φ
% ( x, ρ ), и следовательно, L = L% .
СЛЕДСТВИЕ 1. Если {ρ n } = {ρ% n}, {ρ n } = {ρ% n}, то L = L% . Таким образом, задание двух спектров одно-
0 0

значно определяет коэффициенты пучка (1), (2).

СЛЕДСТВИЕ 2. Если {ρ n } = {ρ% n}, {M n } = {M
% n}, то L = L% . Таким образом, задание спектральных дан-
ных однозначно определяет коэффициенты пучка (1), (2).
Основное уравнение. Решение обратной задачи. Пусть {ρ n , M n } – спектральные данные задачи L. Вы-
числим h1 , ω0 по формулам (8), (11) и выберем задачу L% так, чтобы h%1 = h1 , ω% 0 = ω0 , а в остальном произ-
вольно. Тогда согласно (7), (9) имеем ξ n :=| ρ n − ρ% n | + (| n | +1) | M n − M % n |= O( 1n ). Обозначим
ρ = ρ , ρ = ρ% , M = M , M = M% , m = m , m = m% n и S = S , S = S% . Пусть i, j ∈ {0,1},
n0 n n1 n n0 n n1 n n0 n n1 0 1

n ∈ Si , тогда для ν = 0, mni − 1 положим ϕ n +ν ,i ( x) = ϕν ( x, ρ ni ), ϕ% n +ν ,i ( x) = ϕ%ν ( x, ρ ni ),

mni −1
1 ∂ p −ν ϕ% ( x, ρ ), ϕ% ( x,θ )
A% n +ν ,i ( x, ρ ) = ∑ν
p=
M n + p ,i
( p −ν )! ∂θ p −ν ρ −θ
,
θ = ρ ni

mni −1
1 % ( x, ρ ), ϕ% ( x, θ )
∂ p −ν Φ
B% n +ν ,i ( x, ρ ) = ∑ν
p=
M n + p ,i
( p −ν )! ∂θ p −ν ρ −θ
,
θ = ρ ni
ν
1 ∂
A% ( x, ρ )
P% n +ν ,i ;kj ( x) = , k ∈ w.
ν! ∂ρν kj ρ = ρni
Пусть V – множество индексов u = ( n, i ), n ∈ w, i = 0,1. При каждом фиксированном x ∈ [0, π ] опре-
делим вектор
ψ ( x) = [ψ u ( x)]Tu∈V = [ψ n 0 ( x),ψ n1 ( x)]Tn∈w ,
 Вестник Башкирского университета.2006.№4. 11

где T – знак транспонирования, по формулам

ψ n 0 ( x)   χ n − χn  ϕn 0 ( x)  ξ n−1 , ξ n ≠ 0,
ψ ( x)   0=    , χ = 
1  ϕn1 ( x)   0, ξ n = 0.
n
 n1  
Без ущерба для общности считаем, что если ρ n = ρ% n и ρ n −1,i = ρ n,i при некотором i, то ρ n −1 = ρ% n −1.
Это, в частности, обеспечивает ϕ n 0 ( x ) = ϕ n1 ( x) при ξ n = 0. Поэтому, зная ψ ni ( x ), можно восстановить
ϕ ni ( x). Аналогично вводятся ψ% u ( x), ψ% ( x) заменой в предыдущем определении ϕu ( x) на ϕ% u ( x). Рассмот-
рим также блочную матрицу
 H% n 0,k 0( x) H% n 0,k 1( x) 
H% ( x) = [ H% u ,v ( x)]u ,v∈V =   ,
 H% n1,k 0( x) H% n1,k 1( x)  n,k∈w
u = (n, i ), v = (k , j ), где
 H% n 0,k 0( x) H% n 0,k1( x)   χ n − χn   P% n 0,k 0( x) P% n 0,k 1( x)  ξ k 1
 % =   .
 H n1,k 0( x) H% n1,k1( x)   0 1   P% n1,k 0( x) P% n1,k 1( x)   0 −1
Используя лемму 1, получаем оценки
| ψ ni ( x) |≤ C , | ψ% ni( x) |≤ C , sup ∑ | H% ni,kj ( x) |< ∞,
n ,i k, j
где C не зависит от n, x. Используя метод спектральных отображений (см. [7]), получаем следующее утвер-
ждение.
ТЕОРЕМА 3. Для каждого фиксированного x ∈ [0, π ] справедливы соотношения
Ω( x)ϕ% ( x, ρ ) = ϕ ( x, ρ ) + ∑ ( A% k 0( x, ρ )ϕ k 0 ( x) − A% k 1( x, ρ )ϕ k1 ( x)), (16)
k
% ( x, ρ ) = Φ ( x, ρ ) + ∑ ( B% ( x, ρ )ϕ ( x) − B% ( x, ρ )ϕ ( x)),
Ω( x ) Φ (17)
k0 k0 k1 k1
k

Ω( x)ψ% ni ( x) = ψ ni ( x) + ∑ ( H% ni, k 0( x)ψ k 0 ( x) + H% ni ,k1( x)ψ ni ,k 1 ( x)), (18)

k
где i = 0,1, n, k ∈ w. При этом ряды сходятся абсолютно и равномерно по x ∈ [0, π ] и по ρ на компактах.
При каждом фиксированном x ∈ [0, π ] правая часть (18) порождает ограниченный оператор в простран-
стве m ограниченных последовательностей α = [α u ]u∈V с нормой α m = supu∈V | α u | . Пусть для простоты
L и L% таковы, что при всех x ∈ [0, π ] Ω( x) ≠ 0. Например, это всегда выполняется, если qˆ ( x) – вещест- 1

веннозначная функция. Обозначим z ( x) = (Ω( x)) ψ ( x), −1

v( x, ρ ) = (Ω( x)) −1ϕ ( x, ρ ),
w( x, ρ ) = (Ω( x)) Φ ( x, ρ ). Умножая обе части (18) на (Ω( x))−1 , получаем
−1

ψ% ( x) = z ( x) + H% ( x) z ( x). (19)
Соотношение (19) называется основным уравнением обратной задачи. Методом, изложенным в [7], дока-
зывается следующая

ТЕОРЕМА 4. При каждом фиксированном x ∈ [0, π ] уравнение (19) имеет единственное решение
z ( x) ∈ m.
Так как функции ϕ ( x, ρ ), Φ ( x, ρ ) являются решениями уравнения (1), то функции v( x, ρ ), w( x, ρ )
удовлетворяют уравнениям
a( x)v′ + (i ρ q1 ( x) + h( x))v = −v′′ − ρ 2 v, 
 (20)
a( x) w′ + (i ρ q1 ( x) + h( x)) w = − w′′ − ρ 2 w, 
где
a ( x) = 2Ω′( x) /Ω( x), h( x) = q0 ( x) + a′( x) / 2 + a 2 ( x) / 4. (21)
Ясно, что зная z ( x ), можно получить v( x, ρ ), w( x, ρ ) при помощи формул (16), (17) соответственно.
Заметим также, что в силу (5) v ( x, ρ ), w( x, ρ ) = Ω ( x ). Итак, приходим к следующей процедуре решения
−2

обратной задачи.
12 раздел МАТЕМАТИКА и МЕХАНИКА

АЛГОРИТМ 1. Пусть даны {ρ n , M n } – спектральные данные пучка L.

1) Вычисляем h1 , ω0 по формулам (8), (11).
2) Выбираем L% так, чтобы h%1 = h1 , ω% 0 = ω0 , и строим функции ϕ% ( x, ρ ), Φ % ( x, ρ ), A% ( x, ρ ),
ni

%
B ni ( x, ρ ), %
H ( x ), ψ % ( x ).
3) Решая основное уравнение (19), находим z ( x ).
4) Используя (16), (17) строим v( x, ρ ), w( x, ρ ).
5) Вычисляем функции a ( x ), q1 ( x ), h( x ), решая систему линейных алгебраических уравнений (20) с опре-
−2
делителем −Ω ( x ) ≠ 0.
6) Строим q0 ( x ), используя (21).
7) Находим функции ϕ ( x, ρ ) = Ω( x)v ( x, ρ ), Φ ( x, ρ ) = Ω( x ) w( x, ρ ), где Ω( x ) – решение задачи Ко-
ши
2Ω′( x) = a ( x)Ω( x), Ω(0) = 1,
и, наконец, вычисляем константы h0 , H 0 , H1 из соотношений (3).
ЗАМЕЧАНИЕ 1. Алгоритм 1 можно модифицировать так, чтобы им охватывался и случай, когда Ω( x ) мо-
жет обращаться в нуль.
ЛИТЕРАТУРА
1. Юрко В.А. О краевых задачах с параметром в краевых условиях // Известия АН Арм. ССР. Сер. Ма-
тем. 1984. Т.19. №5. С.398-409.
2. Левитан Б.М., Саргсян И.С. Введение в спектральную теорию. М.: Наука, 1970.
3. Марченко В.А. Операторы Штурма-Лиувилля и их приложения. Киев: Наукова Думка, 1977.
4. Freiling G., Yurko V.A. Inverse Sturm-Liouville Problems and their Applications. New York: NOVA
Science Publishers, 2001.
5. Юрко В.А. Обратные спектральные задачи и их приложения. Саратов: изд-во СПИ, 2001.
6. Yurko V. Inverse Spectral Problems for Linear Differential Operators and Their Applications. New York:
Gordon and Breach, 2000.
7. Yurko V. Method of Spectral Mappings in the Inverse Problem Theory. Inverse and Ill-posed Problems
Series. Utrecht: VSP, 2002.
8. Баранова Е.А. Об обратной задаче спектрального анализа для одного класса задач с параметром в
краевых условиях // Дифферен. уравнения. 1972. Т.8. №12. С.2130-2139.
9. Гасымов М.Г., Гусейнов Г.Ш. Определение оператора диффузии по спектральным данным // ДАН
Азерб. ССР. 1981. Т.37. №2. С.19-23.
10. Губреев Г.М., Пивоварчик В.Н. Спектральный анализ задачи Редже с параметрами //Функ. ан. и при-
лож. 1997. Т.31. №1. С.70-74.
11. Юрко В.А. Обратная задача для систем дифференциальных уравнений с нелинейной зависимостью от
спектрального параметра // Дифферен. уравнения. 1997. Т.33. №3. С.390-395.
12. Yamamoto M. Inverse eigenvalue problem for a vibration of a string with viscous drag // J. Math. Anal.
Appl. 1990. V.152. №1. P.20-34.
13. Юрко В.А. Обратная задача для пучков дифференциальных операторов // Математический сб. 2000.
T.191. №10. C.137-160.
14. Вагабов А.И. Об уточнении одной асимптотической теоремы Тамаркина // Дифферен. уравнения.
1993. T.29. №1. C.41-49.
15. Келдыш М.В. О собственных значениях и собственных функциях некоторых классов несамосопря-
женных уравнений // ДАН СССР. 1951. Т.77. С.11-14.
16. Костюченко А.Г., Шкаликов А.А. Самосопряженные квадратичные пучки операторов и эллиптиче-
ские задачи // Функц. анализ и его прилож. 1983. Т.17. №2. С.38-61.
17. Маркус А.С. Введение в спектральную теорию полиномиальных операторных пучков. Кишинев:
Штиница, 1986.
18. Тамаркин Я.Д. О некоторых общих задачах теории обыкновенных линейных дифференциальных
уравнений. Петроград, 1917.
19. Шкаликов А.А. О базисности собственных векторов квадратичных операторных пучков // Математ.
заметки. 1981. Т.30. №3. С.371-385.

Работа выполнена при финансовой поддержке гранта РФФИ 04-01-00007

Поступила в редакцию 06.06.2006 г.